Fact-checked by Grok 2 weeks ago

Exponential function

In mathematics, the exponential function is a function of the form f(x) = a^x, where a > 0 and a \neq 1 is a constant base, and x is the independent variable in the exponent.^[1] This form produces rapid growth for a > 1 or decay for $0 < a < 1, making it essential for modeling processes where change is proportional to the current state, such as population dynamics or radioactive decay.^[2] The most prominent example is the natural exponential function f(x) = e^x, where e (Euler's number) is the irrational constant approximately equal to 2.71828, defined as the limit \lim_{n \to \infty} (1 + 1/n)^n.^[3] Key properties of the exponential function include its inverse relationship with the logarithm, where the natural logarithm \ln(x) undoes e^x, and its unique differentiability in calculus: the derivative of e^x is itself, \frac{d}{dx} e^x = e^x.^[4] This self-derivative property positions the exponential function as a foundational solution to differential equations modeling continuous growth or decay.^[2] For general bases, the function can be rewritten using the natural exponential as a^x = e^{x \ln a}, facilitating computations and proofs.^[5] Exponential functions have wide-ranging applications across disciplines. In finance, they model compound interest, where an investment grows as A = P e^{rt} with principal P, rate r, and time t.^[6] In biology and physics, they describe population growth, epidemic spread (e.g., COVID-19 models), and radioactive half-life decay, such as N(t) = N_0 e^{-\lambda t} for decay constant \lambda.^[7] These models highlight the function's role in predicting unbounded or asymptotic behaviors in real-world systems.^[8]

Definitions and Properties

Real Exponential Function

The real exponential function, denoted \exp(x) or e^x, is defined as the unique function f: \mathbb{R} \to \mathbb{R} that satisfies the differential equation f'(x) = f(x) for all real x, together with the initial condition f(0) = 1.^[9] This characterization ensures uniqueness, as the solution to such a first-order linear differential equation is determined solely by the initial value.^[9] The base e is then given by e = \exp(1), the value of the function at x = 1.^[9] An explicit construction of \exp(x) can be obtained via the limit definition: \exp(x) = \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n, where n is a positive integer.^[10] This limit converges for all real x, providing a concrete way to approximate the function numerically.^[10] Key values include \exp(0) = 1 and \exp(1) = e \approx 2.71828.^[9] The function is strictly monotonically increasing on \mathbb{R}, as its derivative f'(x) = f(x) > 0 for all x since f(x) > 0 everywhere.^[3] This monotonicity follows directly from the differential equation and the positive initial condition.^[3] The real exponential function extends naturally to the complex domain, though its full properties there are explored separately.^[11]

Fundamental Properties

The exponential function satisfies the functional equation \exp(x + y) = \exp(x) \exp(y) for all real numbers x and y, which underscores its multiplicative nature over addition in the exponent.^[12] This property follows from the limit definition of the exponential and ensures that the function preserves the group structure of the real numbers under addition.^[3] Analytically, the exponential function is its own derivative: \frac{d}{dx} \exp(x) = \exp(x).^[13] This equality holds because the derivative at any point x can be expressed using the limit \lim_{h \to 0} \frac{\exp(x + h) - \exp(x)}{h} = \exp(x) \lim_{h \to 0} \frac{\exp(h) - 1}{h}, where \lim_{h \to 0} \frac{\exp(h) - 1}{h} = 1.^[13] Consequently, all higher-order derivatives of \exp(x) are also \exp(x), reflecting the function's smooth and self-similar behavior.^[13] The indefinite integral is similarly straightforward: \int \exp(x) \, dx = \exp(x) + C, where C is the constant of integration, as direct differentiation confirms this antiderivative.^[14] Regarding limits, \exp(x) \to \infty as x \to \infty and \exp(x) \to 0 as x \to -\infty, establishing the function's unbounded growth to the right and approach to the x-axis from above on the left.^[3] These behaviors highlight the exponential's role as a prototype for rapid increase and decay. A key inequality is \exp(x) > 1 + x for all x \neq 0, with equality only at x = 0; this strict convexity follows from the Taylor series remainder or Bernoulli's inequality applied to the limit definition.^[15] This relation provides a lower bound and is fundamental for approximations in analysis.^[3]

Functional Equations

The exponential function \exp(x) satisfies the functional equation

\exp(x + y) = \exp(x) \exp(y)

for all real numbers x and y, with \exp(0) = 1.^[16] This relation is a specific instance of the multiplicative Cauchy's functional equation f(x + y) = f(x) f(y), which characterizes exponential behavior.^[17] When the domain is the real numbers and f is assumed to be continuous (or even merely measurable, monotonic on an interval, or bounded on some interval), all solutions are of the form f(x) = e^{c x}, where c \in \mathbb{R} is a constant; in particular, the natural exponential corresponds to c = 1.^[16]^[18] The continuity assumption ensures uniqueness up to the parameter c, as it rules out irregular behaviors and ties the solutions directly to the defining properties of exponentials.^[19] Without regularity conditions such as continuity or measurability, the equation admits additional pathological solutions over the reals; these are constructed non-explicitly using the axiom of choice and a Hamel basis for \mathbb{R} as a vector space over \mathbb{Q}, resulting in highly discontinuous, non-measurable functions that defy intuitive geometric or analytic interpretation.^[20]

Graphs and Visualization

Graph of the Natural Exponential

The graph of the natural exponential function y = [e](/page/E!)^x is a smooth, continuously increasing curve that starts near the x-axis for negative x values and rises steeply as x increases. It passes through the fixed point (0, 1), where [e](/page/E!)^0 = 1, serving as the y-intercept, while there is no x-intercept because [e](/page/E!)^x > 0 for all real x, preventing the graph from crossing the x-axis.^[21]^[22] A defining feature is the horizontal asymptote at y = 0 as x \to -\infty, where the function approaches but never reaches zero, creating the illusion of flattening out to the left. At the origin, the graph has a tangent line with slope 1, reflecting the fact that the derivative e^x evaluates to 1 at x = 0, which underscores its unique self-derivative property.^[21]^[23]^[13] In a standard plot, the curve appears concave up everywhere, accelerating upward without bound as x \to \infty, and it can be sketched by plotting key points like (1, e) \approx (1, 2.718) and observing the rapid growth. Compared to linear functions, which increase at a constant rate, the exponential graph demonstrates supralinear growth, eventually outpacing any straight line—for instance, y = e^x surpasses y = 2x after a certain point due to its compounding rate.^[22]^[24]

Asymptotic Behavior

The exponential function e^x demonstrates unbounded growth as x approaches positive infinity, with \lim_{x \to \infty} e^x = \infty. This growth outpaces any polynomial of finite degree, as evidenced by the limit \lim_{x \to \infty} \frac{e^x}{x^n} = \infty for any positive integer n, a fundamental property in real analysis that underscores the exponential growth of e^x that outpaces any polynomial.^[25] Conversely, as x approaches negative infinity, e^x decays to zero, satisfying \lim_{x \to -\infty} e^x = 0, approaching the horizontal asymptote y = 0 at an exponential rate that renders it negligible for large negative arguments in many applications.^[25] For small values of x, a useful approximation arises from the Taylor expansion around zero, where the second-order polynomial provides e^x \approx 1 + x + \frac{x^2}{2}, offering a quadratic estimate that captures the function's initial curvature with increasing accuracy as |x| diminishes.^[26] In asymptotic analysis, these behaviors inform big-O notation: polynomials of degree n satisfy x^n = o(e^x) as x \to \infty, while e^x itself is \omega(x^n) (little-omega), highlighting its dominance in growth hierarchies for bounding complexities in mathematical modeling and algorithm analysis.

Transformations and Variations

The exponential function y = e^{kx} + b undergoes various graphical transformations that modify its characteristic curve while preserving its overall shape as a smooth, increasing or decreasing function approaching a horizontal asymptote. A vertical shift occurs when b \neq 0, translating the graph up by b units if positive or down if negative; for instance, y = e^x + 2 shifts the standard y = e^x upward by 2 units, altering the y-intercept from (0, 1) to (0, 3) and raising the horizontal asymptote from y = 0 to y = 2. ^[27] The parameter k controls horizontal scaling: if k > 0, the graph stretches horizontally by a factor of $1/|k| (compression if |k| > 1) and remains increasing; a negative k reflects the graph over the y-axis, producing a decreasing function like y = e^{-x}, which approaches the asymptote from above as x \to \infty. ^[28] Reflections over the x-axis can be achieved by multiplying by -1, such as y = -e^{kx} + b, inverting the curve below the asymptote. ^[27] Logarithmic scales provide a powerful visualization tool for exponential functions, linearizing their curves to reveal underlying growth patterns more clearly. On a semi-log plot, where the y-axis is logarithmic and the x-axis linear, an exponential function y = a \cdot e^{kx} appears as a straight line with slope k, as the log transformation converts the multiplicative growth into additive change; this "straightening" effect is particularly useful for data spanning orders of magnitude, such as population growth or radioactive decay, where the curved exponential on linear scales becomes unwieldy. ^[29] For example, plotting y = e^x on a log-y scale yields a line with slope 1, allowing easy assessment of the growth rate without distortion from rapid increases. ^[30] Visual comparisons between exponential functions with different bases highlight their relative growth rates through graphical steepness. The graph of y = e^x rises more rapidly than y = 2^x for positive x, as the base e \approx 2.718 > 2 results in a steeper curve; both share a y-intercept at (0, 1) and approach y = 0 asymptotically as x \to -\infty, but at x = 2, e^2 \approx 7.389 exceeds $2^2 = 4, illustrating the faster ascent of the natural exponential. ^[28] These differences in curvature emphasize how base changes affect visualization, with larger bases compressing the graph horizontally relative to the natural exponential (as detailed in the section on exponential functions with arbitrary bases). ^[31] Transformations like those in e^{kx} + b systematically alter key features such as asymptotes and intercepts. The horizontal asymptote shifts vertically to y = b, maintaining the function's approach to this line from one side depending on the sign of k; for k > 0, it approaches from below as x \to -\infty and diverges upward as x \to \infty. ^[27] The y-intercept becomes e^{k \cdot 0} + b = 1 + b, while x-intercepts, if any, solve e^{kx} + b = 0 and shift with b, potentially introducing or removing roots based on the sign and magnitude of b. ^[32] These modifications do not change the domain (-\infty, \infty) or range (b, \infty) for k > 0, but they enhance the graph's adaptability for modeling real-world phenomena like adjusted growth curves.

Generalizations

Exponential Functions with Arbitrary Bases

The exponential function with an arbitrary positive base a > 0, a \neq 1, is defined for all real numbers x by the formula a^x = e^{x \ln a}, where e is the base of the natural exponential and \ln denotes the natural logarithm.^[33] This definition extends the natural exponential e^x to other bases while preserving key algebraic properties, such as a^{x+y} = a^x a^y and (a^x)^y = a^{xy}.^[33] The function f(x) = a^x is continuous and differentiable on the real line, with derivative f'(x) = a^x \ln a.^[33] The behavior of a^x depends on the value of a: if a > 1, the function is strictly increasing on \mathbb{R}, approaching 0 as x \to -\infty and \infty as x \to \infty; if $0 < a < 1, it is strictly decreasing, approaching \infty as x \to -\infty and 0 as x \to \infty.^[34] This monotonicity ensures that a^x is one-to-one, admitting an inverse function known as the logarithm base a.^[35] Consequently, the real exponential function with positive base is aperiodic, as strictly monotonic functions cannot repeat values periodically.^[34] Special cases of this function arise in various applications. For a = 10, $10^x is the inverse of the common logarithm \log_{10} x, widely used in scientific notation and engineering for its alignment with decimal scales. For a = 2, the binary exponential $2^x serves as the inverse of the binary logarithm \log_2 x, playing a key role in computer science for modeling powers of two in algorithms, data structures, and information theory.^[36] These bases highlight the versatility of the general form in practical computations.

Equivalence to Natural Exponential

The base e for the natural exponential function, often denoted \exp(x) or e^x, was introduced by the Swiss mathematician Leonhard Euler in the early 18th century. Euler first used the notation e in a 1731 letter to Christian Goldbach to represent the base of the natural logarithm, where \ln e = 1, and he systematically explored its properties in his 1748 treatise Introductio in analysin infinitorum, establishing e as approximately 2.71828 through series expansions and limits.^[37] This choice of base proved advantageous due to e's intrinsic ties to differentiation and integration, distinguishing it from other positive bases. The uniqueness of base e arises from its role as the solution to the differential equation f'(x) = f(x) with initial condition f(0) = 1. By the existence and uniqueness theorem for ordinary differential equations, this initial value problem has a single solution on the real line, given by f(x) = e^x.^[38] Equivalently, e can be defined as the limit e = \lim_{n \to \infty} (1 + 1/n)^n, where n is a positive integer, and the function e^x = \lim_{n \to \infty} (1 + x/n)^n satisfies the same differential equation, confirming its uniqueness among continuously differentiable functions with the required properties.^[39] These definitions underscore why e serves as the canonical base, reducing more general exponential forms to powers of it. For an arbitrary base a > 0 with a \neq 1, the exponential function a^x is equivalent to \exp(x \ln a), where \ln denotes the natural logarithm, the inverse of \exp. This reduction follows from the properties of the logarithm and the continuity of the exponential function. To derive it step by step, first consider positive integer exponents: a^n = a \cdot a \cdots a (n times), so \ln(a^n) = n \ln a by the additivity of the logarithm, \ln(ab) = \ln a + \ln b for a, b > 0.^[40] For negative integers, a^{-n} = 1/a^n, yielding \ln(a^{-n}) = -n \ln a. For rational exponents x = p/q with integers p, q (q > 0), a^{p/q} is the q-th root of a^p, and applying the logarithm gives \ln(a^{p/q}) = (p/q) \ln a, as roots preserve the multiplicative property under the continuous logarithm. Extending to irrational real numbers, the rational numbers are dense in the reals, and since both a^x (defined via limits of rational approximations) and \exp(x \ln a) are continuous functions, they coincide on the rationals and thus everywhere by the density theorem and uniform continuity on compact intervals.^[33] Therefore, a^x = \exp(\ln(a^x)) = \exp(x \ln a) for all real x, as the exponential is the inverse of the logarithm. This equivalence highlights how all real exponential functions are fundamentally powers of the natural base e, scaled by the logarithm of the arbitrary base.

Complex Exponential Function

The complex exponential function extends the real exponential to complex arguments, providing a foundation for much of complex analysis. For a complex number z = x + iy with x, y \in \mathbb{R}, the function is defined as \exp(z) = e^x (\cos y + i \sin y)./01:_Complex_Algebra_and_the_Complex_Plane/1.07:_The_Exponential_Function) This form arises from Euler's formula, which links the exponential to trigonometric functions, and aligns with the real exponential when y = 0, yielding \exp(x) = e^x.^[41] Alternatively, \exp(z) can be defined via its power series expansion \exp(z) = \sum_{n=0}^{\infty} \frac{z^n}{n!}, which converges absolutely for all z \in \mathbb{C}, ensuring the function is well-defined everywhere in the complex plane.^[42] As an entire function, \exp(z) is holomorphic (analytic) at every point in the finite complex plane, with no singularities.^[43] This property follows directly from the uniform convergence of its power series on any compact subset of \mathbb{C}, allowing term-by-term differentiation to confirm that \frac{d}{dz} \exp(z) = \exp(z) holds everywhere./01:_Complex_Algebra_and_the_Complex_Plane/1.07:_The_Exponential_Function) The entire nature of \exp(z) underscores its role as a prototype for transcendental functions in complex analysis, enabling applications in contour integration and residue theory without domain restrictions. The complex exponential exhibits periodicity with period $2\pi i, satisfying \exp(z + 2\pi i) = \exp(z) for all z \in \mathbb{C}.^[44] This stems from the periodicity of the cosine and sine functions, as \cos(y + 2\pi) + i \sin(y + 2\pi) = \cos y + i \sin y, preserving the value under the shift. More generally, \exp(z + 2k\pi i) = \exp(z) for any integer k, highlighting the function's quasi-periodic behavior along the imaginary axis.^[45] The magnitude of \exp(z) depends solely on the real part: |\exp(z)| = e^x for z = x + iy./01:_Complex_Algebra_and_the_Complex_Plane/1.07:_The_Exponential_Function) This follows from |\exp(z)| = e^x |\cos y + i \sin y| = e^x \cdot 1, since the modulus of the unit complex number e^{iy} is 1, illustrating how the exponential maps horizontal lines in the complex plane to rays from the origin.^[41]

Applications in Real Analysis

Compound Interest and Growth Models

In financial mathematics, compound interest describes the growth of an investment where interest is added to the principal at regular intervals, and subsequent interest is earned on the accumulated amount. The discrete compounding formula for an initial principal P at annual interest rate r over t years, compounded n times per year, is A(t) = P \left(1 + \frac{r}{n}\right)^{nt}. As the compounding frequency n increases, this approaches continuous compounding in the limit as n \to \infty, yielding the exponential formula A(t) = P e^{rt}, where e is the base of the natural logarithm. This derivation arises from recognizing that \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n = e^x, applied to x = rt.^[46] Continuous compounding models idealized scenarios where interest accrues instantaneously, providing a smooth exponential growth curve that maximizes returns for a given rate.^[47] Exponential functions also model population growth under the assumption of unlimited resources, where the rate of change is proportional to the current population size. This leads to the differential equation \frac{dP}{dt} = kP, with initial population P_0, whose solution is P(t) = P_0 e^{kt} for growth constant k > 0./11%3A_Differential_equations_for_exponential_growth_and_decay/11.02%3A_Differential_equation_for_unlimited_population_growth) Here, k represents the per capita growth rate, reflecting factors like birth rates exceeding deaths without environmental constraints.^[48] This Malthusian model, though idealized, illustrates rapid acceleration in population size, such as in early-stage bacterial cultures or certain historical human demographics.^[49] Key metrics for exponential processes include doubling time for growth and half-life for decay. The doubling time, the period for a quantity to double, is t_d = \frac{\ln 2}{k} when k > 0./04%3A_Exponential_and_Logarithmic_Functions/4.06%3A_Exponential_and_Logarithmic_Models) Conversely, for decay where k < 0, the half-life t_{1/2} = \frac{\ln 2}{|k|} is the time for the quantity to halve.^[50] These formulas derive from setting P(t_d) = 2P_0 or P(t_{1/2}) = \frac{1}{2}P_0 in the exponential model and solving for t./04%3A_Exponential_and_Logarithmic_Functions/4.06%3A_Exponential_and_Logarithmic_Models) A prominent real-world application is radioactive decay, where the number of undecayed atoms N(t) decreases exponentially as N(t) = N_0 e^{-\lambda t}, with decay constant \lambda > 0.^[51] This model, verified through experiments on isotopes like carbon-14, underpins nuclear physics and dating techniques, with half-life t_{1/2} = \frac{\ln 2}{\lambda}.^[52] For instance, uranium-238 has a half-life of about 4.5 billion years, allowing its use in geochronology.^[53]

Solutions to Differential Equations

The exponential function serves as the fundamental solution to the simplest first-order linear homogeneous ordinary differential equation (ODE) of the form y' = k y, where k is a constant.^[54] Substituting y = C e^{k x} into the equation yields k C e^{k x} = k (C e^{k x}), confirming it satisfies the ODE for any constant C.^[55] This solution arises naturally from separation of variables or integrating factors, highlighting the exponential's role in modeling constant-rate growth or decay processes.^[56] For second-order linear homogeneous ODEs with constant coefficients, given by a y'' + b y' + c y = 0, solutions are exponential functions determined by the roots of the characteristic equation a r^2 + b r + c = 0.^[57] If the roots r_1 and r_2 are real and distinct, the general solution is y = C_1 e^{r_1 x} + C_2 e^{r_2 x}; for a repeated root r, it takes the form y = (C_1 + C_2 x) e^{r x}.^[58] These exponential forms extend to higher-order linear homogeneous ODEs with constant coefficients, where the solution space is spanned by exponentials corresponding to the characteristic roots.^[59] In the method of separation of variables for first-order ODEs of the form \frac{dy}{dx} = f(x) g(y), the equation separates into \frac{dy}{g(y)} = f(x) \, dx, leading to integrals that often yield exponential solutions upon integration.^[60] Integrating both sides gives \int \frac{dy}{g(y)} = \int f(x) \, dx + C, and for many g(y), such as linear or power functions, exponentiation resolves the result, producing y = h\left( C \exp\left( \int f(x) \, dx \right) \right) where h is invertible.^[61] This technique underscores the exponential's centrality in solving separable nonlinear ODEs that model variable-rate phenomena.^[62] The uniqueness of these exponential solutions, under appropriate conditions like Lipschitz continuity of the right-hand side, is guaranteed by the Picard-Lindelöf theorem, which ensures a unique local solution exists for initial value problems in a neighborhood of the initial point.^[63] This theorem applies directly to the first-order case y' = k y with initial condition y(x_0) = y_0, yielding the unique solution y(x) = y_0 e^{k (x - x_0)}.^[64]

Power Series and Taylor Expansion

The power series representation of the exponential function centered at zero, known as its Maclaurin series, is given by

\exp(x) = \sum_{n=0}^{\infty} \frac{x^n}{n!}.

This infinite series was introduced by Leonhard Euler in his foundational work on infinite series and analysis.^[65] The series converges to \exp(x) for all real numbers x, with an infinite radius of convergence, as established by the ratio test applied to the coefficients: the limit of the absolute value of the ratio of consecutive terms is \lim_{n \to \infty} \frac{|x|}{n+1} = 0 < 1 for any fixed x.^[66] This rapid convergence stems from the super-exponential growth of the factorial n! in the denominator, which outpaces the polynomial growth of x^n for any fixed x, causing the terms to eventually decrease after reaching a maximum around n \approx |x|.^[67] One standard derivation of this series arises from the differential equation y' = y with initial condition y(0) = 1, which defines the exponential function. Assume a power series solution of the form y(x) = \sum_{n=0}^{\infty} a_n x^n. Differentiating term by term yields y'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} (n+1) a_{n+1} x^n. Setting y' = y gives (n+1) a_{n+1} = a_n for each n \geq 0, with a_0 = y(0) = 1. Solving the recurrence relation recursively produces a_n = \frac{1}{n!} for all n \geq 0, yielding the series \sum_{n=0}^{\infty} \frac{x^n}{n!}.^[67] To confirm this series equals \exp(x), Taylor's theorem provides the partial sum up to order n as s_n(x) = \sum_{k=0}^{n} \frac{x^k}{k!}, with the remainder R_n(x) = \exp(\xi) \frac{x^{n+1}}{(n+1)!} for some \xi between 0 and x in the Lagrange form.^[68] The Lagrange remainder bounds the approximation error: for x > 0, |R_n(x)| \leq e^x \frac{x^{n+1}}{(n+1)!}, and since \lim_{n \to \infty} R_n(x) = 0 due to the factorial growth dominating, the infinite series converges pointwise to \exp(x) everywhere.^[68] For x < 0, a similar bound holds using e^{|x|} as an upper estimate for e^\xi. This error estimate is particularly useful for assessing truncation accuracy in theoretical contexts.

Advanced Extensions

Exponential in Matrices and Operators

The matrix exponential of a square matrix A \in \mathbb{R}^{n \times n} is defined analogously to the scalar exponential via the power series

\exp(A) = \sum_{n=0}^{\infty} \frac{A^n}{n!},

where A^0 = I is the identity matrix and the series converges absolutely for every finite-dimensional matrix A.^[69]^[70] This definition extends the familiar scalar exponential, providing a fundamental solution operator in linear algebra. A key property of the matrix exponential is that if two square matrices A and B commute, meaning AB = BA, then

\exp(A + B) = \exp(A) \exp(B) = \exp(B) \exp(A).

This multiplicative behavior mirrors the scalar case but holds only under the commutativity condition, as non-commuting matrices generally do not satisfy the identity.^[69]^[70] The series converges in the operator norm for all square matrices over the complex numbers, ensuring the exponential is well-defined and analytic in finite dimensions.^[70] In the context of linear systems of differential equations, the matrix exponential provides an explicit solution to the homogeneous system \mathbf{x}'(t) = A \mathbf{x}(t) with initial condition \mathbf{x}(0) = \mathbf{x}_0, given by

\mathbf{x}(t) = \exp(tA) \mathbf{x}_0.

This formulation arises from verifying that the time derivative satisfies \frac{d}{dt} \exp(tA) = A \exp(tA), with the initial value \exp(0 \cdot A) = I.^[70]^[69] Thus, \exp(tA) serves as the state transition matrix, transforming the initial state directly to the solution at time t.

Exponential in Banach Algebras and Lie Groups

In a Banach algebra B equipped with a norm \|\cdot\|, the exponential of an element a \in B is defined by the power series

\exp(a) = \sum_{n=0}^{\infty} \frac{a^n}{n!}.

This series converges absolutely in the norm topology of B for every a \in B, since \|a^n\| \leq \|a\|^n implies that the terms satisfy the Weierstrass M-test with M_n = \|a\|^n / n!, which sums to a finite value.^[71] The exponential map \exp: B \to B is thus entire (holomorphic everywhere) and satisfies functional properties such as \exp(a + b) = \exp(a) \exp(b) when a and b commute.^[71] In the setting of Lie groups, the exponential map generalizes this construction to connect the Lie algebra \mathfrak{g} of a Lie group G (a vector space with a Lie bracket) to the group itself. Specifically, for a Lie group G over \mathbb{R} or \mathbb{C}, the exponential \exp: \mathfrak{g} \to G is defined by \exp(X) = \gamma_X(1), where \gamma_X: \mathbb{R} \to G is the unique one-parameter subgroup with \gamma_X'(0) = X \in \mathfrak{g}.^[72] This map is smooth (a C^\infty-morphism) and serves as a local diffeomorphism near the identity: there exists a neighborhood U of $0 \in \mathfrak{g} such that \exp|_U: U \to \exp(U) is a diffeomorphism onto its image, a neighborhood of the identity element e \in G, with differential d\exp_0 = \mathrm{Id}_\mathfrak{g}.^[72] It preserves the group structure in the sense that \exp(tX) = [\exp(X)]^t for t \in \mathbb{R} and X \in \mathfrak{g}.^[72] A concrete example arises in the special orthogonal group \mathrm{SO}(3), the Lie group of 3D rotations, whose Lie algebra \mathfrak{so}(3) consists of $3 \times 3 skew-symmetric matrices. The exponential map \exp: \mathfrak{so}(3) \to \mathrm{SO}(3) sends a skew-symmetric matrix [\boldsymbol{\omega}]_\times (corresponding to an angular velocity vector \boldsymbol{\omega} \in \mathbb{R}^3) to the rotation matrix achieved by rotating with constant angular velocity \boldsymbol{\omega} for unit time, via the closed-form Rodrigues' formula.^[73] This provides exponential coordinates for rotations, parameterizing \mathrm{SO}(3) locally near the identity.^[73] To handle products of exponentials in Lie groups, the Baker-Campbell-Hausdorff (BCH) formula expresses \log(\exp(X) \exp(Y)) as an infinite series in X, Y \in \mathfrak{g} and their iterated Lie brackets:

Z = X + Y + \frac{1}{2}[X, Y] + \frac{1}{12}[X, [X, Y]] - \frac{1}{12}[Y, [X, Y]] + \cdots,

converging for sufficiently small \|X\|, \|Y\| in a neighborhood of $0 \in \mathfrak{g}, thus \exp(X) \exp(Y) = \exp(Z).^[74] This formula, derived in the early 20th century, is essential for understanding the simply connected covering groups and Lie algebra representations.^[74] The construction in Banach algebras and Lie groups extends the finite-dimensional matrix exponential, abstracting it to infinite-dimensional settings while preserving analytic properties.^[75]

Transcendence and Irrationality

The base e of the natural exponential function is irrational, as proved by Joseph Fourier in 1815 using the infinite series representation e = \sum_{n=0}^{\infty} \frac{1}{n!}. Fourier's argument assumes e = p/q for integers p, q > 0 with q > 1, truncates the series at n = q, and shows that the remainder leads to a contradiction since it would imply a fractional part between 0 and 1 equals an integer multiple, which is impossible.^[76] In 1873, Charles Hermite established the stronger result that e is transcendental, meaning it is not the root of any non-zero polynomial equation with rational coefficients. Hermite's proof relies on integral representations and properties of the gamma function to show that assuming e algebraic leads to a contradiction in the growth of certain approximations. This marked the first proof of transcendence for a specific non-trivial number.^[77] The Lindemann–Weierstrass theorem generalizes these results, stating that if \alpha is a non-zero algebraic number, then e^{\alpha} is transcendental. Proved by Ferdinand von Lindemann in 1882 and refined by Karl Weierstrass in 1885, the theorem implies that e^q is transcendental for any non-zero rational q, since rationals are algebraic. For instance, e^{\sqrt{2}} is transcendental because \sqrt{2} is a non-zero algebraic number. The proof involves showing algebraic independence of exponentials at linearly independent algebraic points over the rationals.^[78] While the transcendence of e^{\alpha} for algebraic \alpha \neq 0 is settled, broader questions about the algebraic nature of exponential values remain open. For example, under Schanuel's conjecture—which posits algebraic independence for certain tuples involving the exponential function and its arguments—the sum e + \pi would be transcendental, but this has not been proven. Similarly, the exact transcendence degree of fields generated by multiple such values, beyond what Lindemann–Weierstrass provides, continues to be an active area of research in transcendental number theory.^[79]

Computation and Approximations

Numerical Methods

Computing the exponential function \exp(x) in floating-point arithmetic requires careful handling of large argument ranges and precision constraints to ensure accurate results. Standard numerical methods decompose the computation into range reduction for arbitrary x, approximation for the reduced argument, and final scaling, all while adhering to IEEE 754 floating-point standards for error control. These approaches prioritize efficiency and correctness, often achieving results within a few units in the last place (ulp) of the true value. Range reduction is essential for large |x|, as direct series expansions diverge. The argument is rewritten as x = k \ln 2 + r, where k = \round(x / \ln 2) is an integer and |r| \le \ln 2 / 2 \approx 0.34657359, yielding \exp(x) = 2^k \cdot \exp(r).^[80] This confines r to a small interval where approximations converge quickly, with k computed using a high-precision constant for \ln 2 (e.g., 28 hexadecimal digits in double precision) to bound the reduction error below 0.56 ulp.^[81] For negative x leading to underflow, the result is gradually scaled toward zero, and overflow for large positive x returns infinity per IEEE 754.^[80] For the reduced argument r, table-lookup techniques provide fast, accurate evaluation by storing precomputed \exp(r_i) values at discrete points r_i in the interval, typically using 1024 to 4096 entries for double precision to balance memory and precision. Linear or quadratic interpolation between table entries approximates \exp(r), with the table designed via Remez algorithm to minimize maximum error (e.g., less than $2^{-54} relative error).^[80] The approximated \exp(r) is then scaled by $2^k via exponent adjustment in the floating-point format, avoiding explicit powering to reduce rounding errors.^[81] Error analysis quantifies contributions from each step: range reduction introduces up to 0.5 ulp, table lookup and interpolation add less than 0.5 ulp, and scaling contributes negligibly if performed exactly. Overall, implementations achieve faithfully rounded results (error < 1 ulp) across the double-precision range [-709, 709], with some advanced algorithms ensuring correct rounding (exact to the nearest representable value) using additional table-driven corrections.^[82] IEEE 754 recommends such transcendental functions be correctly rounded when feasible, though faithful rounding suffices for compliance; rigorous testing verifies ulp errors via exhaustive enumeration or interval arithmetic.^[83] On x86 architectures, the x87 Floating-Point Unit (FPU) lacks a dedicated \exp instruction but facilitates computation through primitives like F2XM1 (computes $2^x - 1 for |x| < 1) and FYL2X (computes y \cdot \log_2 x). A typical sequence computes \exp(x) = 2^{x \log_2 e} by scaling x with \log_2 e \approx 1.4426950408889634, extracting integer and fractional parts via FXTRACT, applying F2XM1 to the fractional exponent for $2^{\mathrm{frac}} - 1, adding 1, and shifting the exponent by the integer part. This hardware-assisted method ensures IEEE 754 compatibility in software libraries like those in glibc or Intel's Math Library.^[84]

Continued Fractions and Series

The exponential function admits an infinite continued fraction expansion derived from its Taylor series using Euler's continued fraction formula, which transforms general hypergeometric series into continued fractions. A standard representation is

e^{x} = 1 + \cfrac{x}{1 - \cfrac{x}{2 + \cfrac{x}{3 + \cfrac{x}{4 + \cfrac{x}{5 + \ddots}}}}}

This generalized continued fraction, with linear growth in the partial denominators, converges to e^x for all complex x except on the negative real axis where branch cuts may apply, providing rational approximants via its convergents.^[85]^[86] Compared to the Taylor series \sum_{n=0}^{\infty} \frac{x^n}{n!}, which serves as a baseline power series expansion converging everywhere in the complex plane with error bounded by the first omitted term, the continued fraction typically achieves faster practical convergence for |x| \gtrsim 1. The Taylor series requires increasingly many terms as |x| grows to maintain precision, whereas the continued fraction's convergents improve quadratically in accuracy per additional level due to the structure of the partial quotients, making it advantageous for analytic approximations in regions away from the origin.^[87]^[86] Ramanujan-type accelerations, inspired by summation techniques for divergent or slowly convergent series, can enhance the Taylor series for e^x by reweighting terms or incorporating integral representations, yielding exponentially improved convergence rates for large |x| without altering the underlying expansion. These methods, while more prominently applied to constants like \pi or \zeta(3), extend to the exponential via asymptotic refinements that reduce the effective number of terms needed.^[88]

Efficient Algorithms

Binary splitting provides an efficient method for evaluating the Taylor series of the exponential function at arbitrary precision by recursively dividing the summation into subproblems, minimizing intermediate computations and leveraging fast multiplication techniques. This approach decomposes the series sum into products and sums that can be computed in parallel or with reduced overhead, achieving a complexity of O(M(n) log n) where M(n) is the cost of n-bit multiplication, particularly effective in the FFT regime for high-precision arithmetic. For instance, the recursion defines partial sums Σ_{k;δ} and products Π_{k;δ} = (k+δ)! / k!, enabling evaluation of exp(x) after range reduction to a small interval. The arithmetic-geometric mean (AGM) iteration offers another optimized technique for computing exp(x) to high precision, exploiting quadratic convergence to evaluate the function in O(M(n) log n) time through iterative arithmetic and geometric means applied to suitably transformed arguments. Originally developed for related constants like π, extensions of the AGM to elementary functions, including the exponential, involve representing exp(x) via integrals or inverse relations that align with the AGM's rapid convergence properties, making it suitable for precisions where n > 10^7 bits. Seminal work by Brent and Salamin established this framework, with modern variants incorporating precomputations for further speedup.^[89] Polynomial approximations using Chebyshev polynomials enable fast evaluation of exp(x) over finite intervals by minimizing the maximum error through minimax properties, often combined with range reduction to map the argument into [-1, 1]. These approximations truncate the Chebyshev series expansion, yielding near-optimal degrees d such that the error is below a tolerance δ, with d ≈ Θ(√(B log(1/δ))) for exp(-x) over [0, B] in certain regimes, allowing efficient horner-like evaluation. This method is particularly advantageous for hardware or vectorized implementations due to the orthogonality of Chebyshev bases, which reduces coefficient sensitivity.^[90] Modern libraries incorporate these techniques for practical high-performance computation. The GNU Multiple Precision Arithmetic Library (GMP) implements mpf_exp using a combination of AGM for moderate ranges and binary splitting for series acceleration, supporting arbitrary precision up to memory limits with internal error bounding via extra guard bits. On graphics processing units, CUDA-based implementations in libraries like cuBLAS or custom kernels leverage Chebyshev or minimax polynomials post-range reduction for vectorized exp evaluations, achieving throughput speeds exceeding 10^9 operations per second on recent hardware for single-precision workloads in machine learning contexts.^[90]

References

[1]
[PDF] Exponential Functions
For any positive number a > 0, there is a function f : R → (0,с) called an exponential function that is defined as f(x) = ax.
[2]
Exponential Equations - Department of Mathematics at UTSA
Jan 10, 2022 · The exponential function equals its own derivative. Thus, it appears in the solutions of many differential equations. Moreover, it satisfies the ...
[3]
[PDF] The Exponential Function
The limit e, called Euler's Constant, can be approximated to a high degree of accuracy. For example, e ≈ 2.718281828459045235360287471352662497757247093699959.<|control11|><|separator|>
[4]
Calculus I - Exponential Functions - Pauls Online Math Notes
Nov 16, 2022 · However, for most people, this is simply the exponential function. Definition : The natural exponential function is f(x)=ex f ( x ) = e x where ...
[5]
The exponential function - Math Insight
To form an exponential function, we let the independent variable be the exponent. A simple example is the function f(x)=2x.
[6]
5.7 Applications of Exponential and Logarithmic Functions
Equations 5.2 and 5.3 both use exponential functions to describe the growth of an investment. It turns out, the same principles which govern compound interest ...
[7]
Exponential and logarithmic functions - Student Academic Success
Exponential functions are commonly used to model phenomena such as population growth, the spread of coronavirus, radioactive decay and compound interest.
[8]
[PDF] The Exponential Function - UNL Digital Commons
There appears to be much to study and understand in the world of exponential functions and its applications to our world. I can now look back and recognize that ...<|control11|><|separator|>
[9]
[PDF] Section 6.1 The Exponential Function - Dartmouth Mathematics
dx exp(x2)=2xexp(x2). In fact, the exponential function is the only function f for which both f(0) = 1 and ... see another example of a differential equation.
[10]
The Number e and the Exponential Function - Galileo
The Exponential Function e Taking our definition of e as the infinite n limit of (1+1n)n, it is clear that ex is the infinite n limit of (1+1n)nx. Let us write ...
[11]
[PDF] 1. THE EXPONENTIAL FUNCTION. The solution of first-order linear ...
That is, the exponential function equals its own derivative! Another way of saying this is that E is a solution of the 'first order differential equation': f0 = ...
[12]
[PDF] 1 Definition and Properties of the Exp Function
Definition 1. The number e is defined by ln e = 1. i.e., the unique number at which ln x = 1. Remark.
[13]
Calculus I - Derivatives of Exponential and Logarithm Functions
Nov 16, 2022 · In this section we derive the formulas for the derivatives of the exponential and logarithm functions.
[14]
Integration of Exponential Functions - UC Davis Math
The following problems involve the integration of exponential functions. We will assume knowledge of the following well-known differentiation formulas.
[15]
[PDF] The natural exponential function - Brooklyn College
Dec 11, 2015 · Note that the first inequality here results by multiplying both sides of inequality (1) by 1 + x. This is allowed, since 1 + x is ...
[16]
Cauchy's Equation - an overview | ScienceDirect Topics
... solutions of equations. Examples of such equations are the classical Cauchy equations: f(x + y)=f(x) + f(y). f(x = y)=f(x)f(y). f(xy)=f(x) + f(y)(x,y > 0).
[17]
Exponential Functional Equations
### Summary of Exponential Functional Equation Content
[18]
Cauchy's Functional Equation - IMOMath
Cauchy's functional equation is the equation of the type f(x+y)=f(x)+f(y). The situation is simple if the domain of f is the set of rational numbers.
[19]
Exponential Functional Equations
The famous exponential functional equation f .x C y/ D f .x/f .y/ simplifies the elegant property of the exponential function, for example, exCy D exey ...<|control11|><|separator|>
[20]
Are there any non-linear solutions of Cauchy's equation $f(x+y)=f(x ...
Mar 5, 2011 · All Lebesgue measurable solutions are linear, so there are no nonlinear solutions if you assume the Axiom of Determinacy.
[21]
4.1 - Exponential Functions and Their Graphs
The graph passes through the point (0,1) · The domain is all real numbers · The range is y>0. · The graph is increasing · The graph is asymptotic to the x-axis as x ...Missing: fundamental | Show results with:fundamental<|control11|><|separator|>
[22]
[PDF] MATH 12002 - CALCULUS I §5.3: The Natural Exponential Function
y = ex has domain (−∞,∞) and range (0,∞). That is, ex is defined for all x, but ex is never 0 or negative. e0 = 1 and e1 = e, so the points (0,1) and (1,e) are ...Missing: key features
[23]
[PDF] Derivatives of Exponential and Logarithm Functions
In words, the theorem tells us that the derivative of an exponential function is produced by multiplying the function by the derivative of the exponent.
[24]
MFG Comparing Exponential and Linear Growth
An exponential function with growth factor 2 eventually grows much more rapidly than a linear function with slope 2, as you can see by comparing the graphs in ...Missing: faster | Show results with:faster
[25]
5.2 Properties and Graphs of Exponential Functions
In this chapter, we study functions of the form f ( x ) = b x where the base b is a constant and the exponent x is the variable. We start our exploration of ...
[26]
Algebra - Exponential Functions - Pauls Online Math Notes
Nov 16, 2022 · We will be taking a look at some of the basic properties and graphs of exponential functions. We will also discuss what many people consider to
[27]
Teaching logarithms (logs) by Dr. Eric M. Baer, Geology Program ...
A exponential function (y=10x) will plot as a line on a log-normal (also called semi-logarithmic) graph.
[28]
None
Nothing is retrieved...<|control11|><|separator|>
[29]
Exponential Functions
Different values of a>1 give essentially the same graph, only stretched horizontally. For instance, since 4x=(22)x=22x, the graph y=4x is just like y=2x, ...Missing: visual comparison
[30]
Graphs and End Behavior of Exponential Functions
To find the end behavior of an exponential function, we first need to figure out whether it represents growth or decay. After that, we can use the shape of the ...
[31]
9.4 Other bases
Definition 9.4.1 For a>0 and x∈R, we define ax=exlna. The function f(x)=ax is the exponential function with base a. Separately, we define 0x=0 for x>0.
[32]
[PDF] Monotonic functions. Exponential function. Uniform continuity.
Increasing and decreasing functions are called strictly monotonic. Theorem 1 Any one-sided limit of a monotonic function exists (assuming it makes sense).
[33]
4.8 Exponential and Logarithmic Functions | Math 140 - Calculus ...
It turns out that (1) if a>1, then y=ax is increasing; (2) if 0<a<1, y=ax is decreasing (see Figure 4.14).
[34]
[PDF] Understanding Logarithms Intuitively - Mathematics
In fact, there are only three bases that you will commonly see: common logs (base 10), natural logs (base e), and binary logs (base 2). Here's how they ...
[35]
[PDF] The Enigmatic Number e: A History in Verse and Its Uses in the ...
The intention is to celebrate the history of this venerable number in verse, and to put the mathematical ideas connected with it in historical and artistic ...
[36]
[PDF] Chapter 3 Differential Equations
In other words, the natural exponential function y = et is equal to its own derivative. This property of the function y = et is largely what makes the base e so ...
[37]
[PDF] The Definition of e - Math 131 Calculus 1 Resources
In this note, we will understand how the number e is defined to be the base of the unique exponential function which is its own derivative. For this reason e is ...
[38]
[PDF] Notes on ax and loga(x)
Proof. By Proposition 6, we have ln(ex) = x ln(e) . Differentiate both sides using what we have proven and ...
[39]
[PDF] 6. The complex exponential
The exponential function is a basic building block for solutions of ODEs. Complex numbers expand the scope of the exponential function, and bring trigonometric ...
[40]
[PDF] Contents 2 Complex Power Series - Evan Dummit
• Definition: For z ∈ C, we define the complex exponential ez = ∞. X n=0 zn ... complex exponential as a power series agrees with that of our earlier approach.
[41]
[PDF] 18.04 S18 Topic 2: Analytic functions - MIT OpenCourseWare
A function that is analytic at every point in the complex plane is called an entire function. We will see that e. . , . , sin( ) are all entire functions.
[42]
[PDF] Chapter 13: Complex Numbers - Arizona Math
The exponential function is periodic with period 2πi: indeed, for any integer k ∈ Z, exp(z + 2kπi) = exp(x) (cos(y + 2kπ) + i sin(y + 2kπ)).
[43]
[PDF] Notes on the complex exponential and sine functions (§1.5)
It's clear from this definition and the periodicity of the imaginary exponential (§I) that ez+2πi = ez, i.e.: “The complex exponential function is periodic ...
[44]
WWWFinance - Proof of Formula for Continuous Compounding
We wish to show that if interest compounds continuously, then the effective annual interest rate is equal to e R - 1.
[45]
[PDF] 1 Interest rates, and risk-free investments
in which case the compounding becomes continuous compounding yielding a payoff at time t of lim k→∞ yt(k) = lim k→∞ x0(1 + rt k. )k. = x0ert,. (3) where l ...
[46]
8.6 Population Growth and the Logistic Equation
The constant k in the differential equation d P d t = k P is called the per capita growth rate . It is the ratio of the rate of change to the population.. In ...
[47]
Exponential growth and decay: a differential equation - Math Insight
If the constant k is positive it has exponential growth and if k is negative then it has exponential decay.
[48]
Exponential Growth and Decay | College Algebra - Lumen Learning
... . To find the half-life of a function describing exponential decay, solve the following equation: 1 2 A 0 = A o e k t. We find that the half-life ...
[49]
[PDF] Growth and Decay Models
Dec 2, 2018 · When a substance undergoes radioactive decay, the release of decay particles precipitates additional ... (exponential decay). k is called ...
[50]
[PDF] Radioactive decay as an exponential decay process - s2.SMU
Mathematical model for exponential decay. dP dt. = kP, P(0) = P0. We can solve this to get P(t) = P0ekt and then P(30) = P0ek30. What is P0? That's the initial ...<|control11|><|separator|>
[51]
[PDF] Exponential Functions: Population Growth, Radioactive Decay, and ...
In these examples we will use exponential and logistic functions to investigate population growth, radioactive decay, and temperature of heated objects.
[52]
[PDF] Differential Equations
The equation ˙y = ky, or ˙y - ky = 0 is linear and homogeneous, with a particularly simple p(t) = -k. Because first order homogeneous linear equations are ...
[53]
[PDF] 2 Growth, Decay, and Oscillation
The solutions to this equation are exponential functions of the form. y y0 ekt . Such a function only grows over time when k > 0; when k < 0, the function ...
[54]
[PDF] First Order Differential Equations
(c.f. The linear function y = mx + b.) The solution method for linear equations is based on writing the equation as y0 − P(x)y = q(x) which is the same as.
[55]
[PDF] Second-Order Homogeneous Linear Equations with Constant ... - UAH
Second-order homogeneous linear equations with constant coefficients are of the form ay'' + by' + cy = 0, where a, b, and c are constants. The characteristic ...
[56]
Unit II: Second Order Constant Coefficient Linear Equations
In this unit we learn how to solve constant coefficient second order linear differential equations, and also how to interpret these solutions when the DE is ...
[57]
Differential Equations - Second Order DE's - Pauls Online Math Notes
Mar 18, 2019 · In this section give an in depth discussion on the process used to solve homogeneous, linear, second order differential equations.
[58]
Differential Equations - Separation of Variables
Nov 16, 2022 · In this section show how the method of Separation of Variables can be applied to a partial differential equation to reduce the partial ...
[59]
https://tutorial.math.lamar.edu/classes/de/introsecondorder.aspx
[60]
[PDF] Separable Differential Equations - Purdue Math
Feb 16, 2007 · We will illustrate with an example. Example 1.4.4. Find all solutions to y. = −2y2x. (1.4.3). Solution: Separating the variables yields y. −2.
[61]
[PDF] Picard's Existence and Uniqueness Theorem
One of the most important theorems in Ordinary Differential Equations is Picard's. Existence and Uniqueness Theorem for first-order ordinary differential ...
[62]
Existence & Uniqueness for ODEs: Picard–Lindelöf Theorem | Real ...
We show existence and uniqueness of first order ordinary differential equations (ODEs). This is the Picard–Lindelöf theorem and is a wonderful application ...
[63]
"Introductio in analysin infinitorum, volume 1" by Leonhard Euler
Sep 25, 2018 · In the Introductio in analysin infinitorum (this volume, together with E102), Euler lays the foundations of modern mathematical analysis. He ...<|control11|><|separator|>
[64]
https://ocw.mit.edu/courses/18-100b-real-analysis-spring-2025/resources/ocw_18100b-lec23-2025may08_mp4/
[65]
Differential Equations - Review : Taylor Series
Nov 16, 2022 · In this section we give a quick reminder on how to construct the Taylor series for a function. Included are derivations for the Taylor series ...
[66]
https://mathworld.wolfram.com/ExponentialSeries.html
[67]
Matrix Exponential -- from Wolfram MathWorld
The power series that defines the exponential map e^x also defines a map between matrices. In particular, exp(A) = e^(A) (1) = sum_(n=0)^(infty)(A^n)/(n!)
[68]
[PDF] Nineteen Dubious Ways to Compute the Exponential of a Matrix ...
... matrix and x(t) is the system response. In principle, the solution is given by x(t) = etAx0 where etA can be formally defined by the convergent power series.<|control11|><|separator|>
[69]
[PDF] Lectures on Banach Algebras | Michael Taylor
We say B has a unit I if I ∈ B satisfies. (1.2). Ix = xI = x, ∀x ∈ B, kIk = 1. Banach algebras arise in a variety of settings. Examples include L(V ) ...
[70]
[PDF] 7. The exponential map of a Lie group - MIT OpenCourseWare
The map µ2 is called the commutator and denoted by x, y 7→ [x, y]. Thus we have. (7.1) exp(x) exp(y) = exp(x + y + 1.<|separator|>
[71]
3.2.3. Exponential Coordinates of Rotation (Part 2 of 2)
The matrix exponential maps the so(3) matrix representation of the 3-vector of exponential coordinates of rotation to a rotation matrix in SO(3), and the matrix ...
[72]
[PDF] Baker-Campbell-Hausdorff Formula - Brown Math
Summary. These notes are dedicated to a summary of the Baker-Campbell-Hausdorff Formula. They are take directly from Brian Hall's proof from 'Lie Groups, ...
[73]
Lie Groups, Lie Algebras, and Representations - SpringerLink
In stockThis textbook treats Lie groups, Lie algebras and their representations in an elementary but fully rigorous fashion requiring minimal prerequisites.
[74]
[PDF] IRRATIONALITY OF π AND e 1. Introduction Numerical estimates for ...
A general discussion about irrationality proofs is in Section 4, and we apply those ideas to prove irrationality of nonzero rational powers of e in Section 5.
[75]
[PDF] TRANSCENDENCE OF e - KEITH CONRAD
In 1873, Hermite [4] proved e is transcendental. • In 1874, Cantor [1] published his first paper on set theory, where he showed that the set of algebraic real ...
[76]
Lindemann-Weierstrass Theorem -- from Wolfram MathWorld
If algebraic integers alpha_1 , ..., alpha_n are linearly independent over Q , then e^(alpha_1) , ..., e^(alpha_n) are algebraically independent over Q.
[77]
[PDF] AWS Lecture 5 Conjectures and open problems
We first consider Schanuel's Conjecture on algebraic independence of values of the exponential function. The main special case, which is yet open, is the ...
[78]
Table-driven implementation of the exponential function in IEEE ...
Algorithms and implementation details for the exponential function in both single- and double- precision of IEEE 754 arithmetic are presented here.
[79]
[PDF] Computation of expm1(x) = exp(x) − 1 - University of Utah Math Dept.
Jul 9, 2002 · These notes describe an implementation of an algorithm for accurate com- putation of expm1(x) = exp(x) − 1, one of the new elementary ...
[80]
[PDF] Correctly Rounded Exponential Function in Double Precision ...
May 24, 2006 · This algorithm is based on floating-point opera- tions in the widespread IEEE-754 standard, and is therefore more efficient than those using.
[81]
[PDF] IEEE Standard 754 for Binary Floating-Point Arithmetic
May 31, 1996 · Then perform an error-analysis to confirm that iterating this formula produces the same values Y(n·θ) as would be produced without ε except ...
[82]
Use the Compiler Math Library - Intel
To obtain accurate results, user applications that call 64-bit decimal transcendentals should ensure that the x87 unit is operating in 80-bit precision (64-bit ...
[83]
Exponential function: Continued fraction representations
Continued fraction representations (6 formulas)
[84]
[PDF] Infinite continued fractions - People
For example, we'll show that 4/π and π can be written as the continued fractions: 4 π. =1+. 12. 2 +. 32. 2 +. 52.
[85]
[PDF] Automatic computation of continued fraction representations as ...
continued fraction indeed corresponds to the power series expansion of exp(x), that is ... Hence all elements of the given continued fraction expansion of arctan ...
[86]
[PDF] Ramanujan's approximation to the exponential function and ... - arXiv
May 17, 2022 · Ramanujan's approximation to the exponential function is reexamined with the help of Perron's saddle-point method. This allows for a wide ...
[87]
[PDF] The Borwein brothers, Pi and the AGM - arXiv
Feb 21, 2018 · This paper considers some of Jonathan and Peter Borweins' contributions to the high-precision computation of π and the elementary functions log, ...
[88]
[PDF] Optimal-Degree Polynomial Approximations for Exponentials ... - arXiv
May 12, 2022 · In this paper we make heavy use of the Chebyshev polynomials. Chebyshev polynomials appear prominently throughout polynomial approximation ...