# Exponential Function
Source: algebrica.org - CC BY-NC 4.0
https://algebrica.org/exponential-function/
Fetched from algebrica.org post 5571; source modified 2026-03-20T18:17:24.
Concept
The structure of the entry is shown in the conceptual map, where each branch represents a core component and the sub-nodes highlight the specific notions discussed.
Intermediate
1
Requires
5
Enables
The following concepts, [Functions](../functions.md), are required as prerequisites for this entry.
## Introduction
The exponential function is a [function](../functions.md) of the form:
\\[
f(x) = a^x, \\quad a \\in \\mathbb{R}^+, \\quad a \\neq 1
\\]
In general, for any base \\( a > 0 \\), the graph of the exponential function \\( y = a^x \\) always intersects the y-axis at the point \\( (0, 1) \\), because \\( a^0 = 1 \\). It lies entirely above the x-axis, since \\( a^x > 0 \\) for all \\( x \\in \\mathbb{R} \\) and never intersects the x-axis; in other words, \\( a^x \\neq 0 \\) for any real \\( x \\). The behavior of the function depends on the value of the base \\(a\\), and three cases are distinguished.
## Properties for \\(a > 1\\)
When \\( a > 1 \\), the exponential function \\( y = a^x \\) is strictly increasing over \\( \\mathbb{R} \\).
- [Domain](../determining-the-domain-of-a-function.md): \\( \\mathbb{R} \\).
- Range: \\( \\mathbb{R}^+ \\).
- Monotonicity: the function is strictly increasing over \\( \\mathbb{R} \\).
- The function is bijective from \\( \\mathbb{R} \\) to \\( \\mathbb{R}^+ \\).
- The function is [continuous](../continuous-functions.md) and differentiable over \\( \\mathbb{R} \\).
- The function has no [maximum or minimum points](../maximum-minimum-and-inflection-points.md).
- Limits as \\( x \\) approaches the extremes of the domain:
\\[
\\begin{align} \\lim\_{x \\to -\\infty} a^x &= 0^+ \\[6pt] \\lim\_{x \\to +\\infty} a^x &= +\\infty \\end{align}
\\]
##### When \\( a > 1 \\), the exponential function grows without bound as \\( x \\to +\\infty \\) and approaches zero from above as \\( x \\to -\\infty \\). Each unit increase in \\( x \\) multiplies the value of the function by the constant factor \\( a \\).
## Properties for \\( 0 < a < 1 \\)
When \\( 0 < a < 1 \\), the exponential function \\( y = a^x \\) is strictly decreasing over \\( \\mathbb{R} \\).
- Domain: \\( \\mathbb{R} \\).
- Range: \\( \\mathbb{R}^+ \\).
- Monotonicity: the function is strictly decreasing over \\( \\mathbb{R} \\).
- The function is bijective from \\( \\mathbb{R} \\) to \\( \\mathbb{R}^+ \\).
- The function is continuous and differentiable over \\( \\mathbb{R} \\).
- The function has no maximum or minimum points.
- Limits as \\( x \\) approaches the extremes of the domain:
\\[
\\begin{align} \\lim\_{x \\to -\\infty} a^x &= +\\infty \\[6pt] \\lim\_{x \\to +\\infty} a^x &= 0^+ \\end{align}
\\]
##### When \\( 0 < a < 1 \\), the exponential function decreases without bound as \\( x \\to -\\infty \\) and approaches zero from above as \\( x \\to +\\infty \\). Each unit increase in \\( x \\) multiplies the value of the function by the constant factor \\( a \\), which is less than one.
## Properties for \\( a = 1 \\)
When \\( a = 1 \\), the exponential function reduces to the constant function \\( y = 1^x = 1 \\), which is excluded from the standard definition. Its graph is a horizontal line at height \\( y = 1 \\).
- Domain: \\( \\mathbb{R} \\).
- Range: \\( \\{1\\} \\).
- Monotonicity: the function is constant over \\( \\mathbb{R} \\).
- The function is continuous and differentiable over \\( \\mathbb{R} \\).
## Connection with the logarithmic function
The exponential function \\( y = a^x \\) is the inverse of the [logarithmic function](../logarithmic-function.md) \\( y = \\log\_a(x) \\), provided \\( a > 0 \\) and \\( a \\neq 1 \\). This inverse relationship means:
\\[
a^{\\log\_a(x)} = x
\\]
\\[
\\quad \\log\_a(a^x) = x
\\]
When the base \\( a \\) equals Euler’s number \\( e \\approx 2.71828 \\), the function is known as the natural exponential function:
\\[
f(x) = e^x
\\]
It is the unique function that is equal to its own derivative at every point:
\\[
\\frac{d}{dx} e^x = e^x
\\]
This property makes \\( e^x \\) a fundamental object in calculus and the theory of differential equations. The same function appears in the definition of the [exponential distribution](../exponential-distribution.md), which models the waiting time between events occurring at a constant rate.
## Generalized exponential functions
Three cases arise when the base or the exponent is replaced by a function of \\( x \\).
- If the function has the form \\( y = \[f(x)\]^{g(x)} \\), it is defined at those points where \\( f(x) > 0 \\) and \\( g(x) \\) is defined.
- If the function has the form \\( y = a^{f(x)} \\) with \\( a > 0 \\) and \\( a \\neq 1 \\), it is defined wherever \\( f(x) \\) is defined.
- If the function has the form \\( y = \[f(x)\]^a \\), the domain condition depends on the sign of the exponent: the function is defined for \\( f(x) \\geq 0 \\) when \\( a \\in \\mathbb{R}^+ \\), and for \\( f(x) > 0 \\) when \\( a \\in \\mathbb{R}^- \\).
## Limit, derivative and integral
The fundamental [limit](../limits.md) associated with the natural exponential function is:
\\[
\\lim\_{x \\to 0} \\frac{e^x - 1}{x} = 1
\\]
This limit expresses the fact that the derivative of \\( e^x \\) at the origin equals one, consistently with \\( \\frac{d}{dx} e^x = e^x \\). For a general base \\( a > 0 \\), \\( a \\neq 1 \\), the corresponding limit is:
\\[
\\lim\_{x \\to 0} \\frac{a^x - 1}{x} = \\ln(a)
\\]
* * *
The [derivative](../derivatives.md) of the exponential function follows directly from the fundamental limit above. Differentiating \\( a^x \\) with respect to \\( x \\) gives:
\\[
\\frac{d}{dx} a^x = a^x \\ln(a)
\\]
\\[
\\frac{d}{dx} e^x = e^x
\\]
* * *
The [integral of the exponential function](../integral-of-the-exponential-function.md) is obtained by reversing the differentiation formulas above:
\\[
\\int a^x \\, dx = \\frac{a^x}{\\ln(a)} + c
\\]
\\[
\\int e^x \\, dx = e^x + c
\\]
## Asymptotic growth
A fundamental property of the exponential function is that it grows faster than any polynomial or power function, and slower than the [factorial](../factorial.md). More precisely, for any \\( a > 1 \\) and any \\( k > 0 \\):
\\[
\\lim\_{x \\to +\\infty} \\frac{x^k}{a^x} = 0 \\qquad \\lim\_{x \\to +\\infty} \\frac{a^x}{x!} = 0
\\]
This establishes the following hierarchy of growth rates as \\(x \\to +\\infty\\):
\\[
\\log x \\ll x^k \\ll a^x \\ll x!
\\]
The table below illustrates this hierarchy for \\( a = 2 \\).
\\( x \\)
\\( \\log\_2 x \\)
\\( x^2 \\)
\\( 2^x \\)
\\( x! \\)
1
0
1
2
1
2
1
4
4
2
4
2
16
16
24
8
3
64
256
40,320
16
4
256
65,536
2.09 × 10¹³
32
5
1024
4.29 × 10⁹
2.63 × 10³⁵
##### The hierarchy \\( \\log x \\ll x^k \\ll a^x \\ll x! \\) is a central result in [asymptotic](../asymptotes.md) analysis and appears throughout computer science, where it underlies the classification of algorithm complexity in terms of time and space requirements.
## Hyperbolic functions derived from the exponential function
The exponential function provides the natural foundation for defining the hyperbolic functions, which appear in many areas of analysis and geometry. The three fundamental ones are the [hyperbolic sine and cosine](../hyperbolic-sine-and-cosine.md) and the hyperbolic tangent, defined as follows:
\\[
\\cosh(x) = \\frac{e^{x} + e^{-x}}{2} \\quad x \\in \\mathbb{R}
\\]
\\[
\\sinh(x) = \\frac{e^{x} - e^{-x}}{2} \\quad x \\in \\mathbb{R}
\\]
\\[
\\tanh(x) = \\frac{\\sinh(x)}{\\cosh(x)} \\quad x \\in \\mathbb{R} \\quad \\tanh(x) \\in (-1, 1)
\\]
Because they are defined through the exponential function, hyperbolic functions are smooth and differentiable over \\( \\mathbb{R} \\). Note that \\( \\tanh(x) \\) is bounded, unlike \\( \\sinh(x) \\) and \\( \\cosh(x) \\), which grow without bound as \\( x \\to \\pm\\infty \\).
##### Their definitions mirror those of the trigonometric functions, with the key difference that \\( \\cosh \\) and \\( \\sinh \\) parametrize the unit [hyperbola](../hyperbola.md) \\( x^2 - y^2 = 1 \\) rather than the unit circle \\( x^2 + y^2 = 1 \\).
