Propiedades de la función exponencial

Como ya se ha visto, la función dada por la serie convergente:

𝑒𝑥𝑝 ∞ ∞
ℝ→ ℝ 𝑥𝑛 𝑥𝑛
𝑥→ exp(𝑥) = ∑ = 1+ ∑
𝑛! 𝑛!
𝑛=0 𝑛=1

Satisface las condiciones iniciales requeridas para la función exponencial:

exp(0) = 1

exp ′(𝑥) = exp(𝑥)

En efecto:
∞
0𝑛
exp(0) = 1 + ∑ = lim (1 + 01 + ⋯ + 0𝑛 ) = lim (1) = 1
𝑛! 𝑛→∞ 𝑛→∞
𝑛=1

Y además, como la serie es uniformemente convergente en ℝ:

∞ ∞ ∞
𝑛𝑥 𝑛−1 𝑛𝑥 𝑛−1 𝑥𝑛
exp ′(𝑥) = ∑ =∑ =∑ = exp(𝑥) ∎
𝑛! 𝑛(𝑛 − 1)! 𝑛!
𝑛=1 𝑛=1 𝑛=0

Además resulta de interés comprobar las características propias de esta función tanto
analíticas como aquellas propiedades comúnmente asociadas a la función exponencial.

𝒆𝒙𝒑(𝒙 + 𝒚) = 𝒆𝒙𝒑(𝒙) · 𝒆𝒙𝒑(𝒚)

∞
(𝑥 + 𝑦)𝑛
exp(𝑥 + 𝑦) = ∑
𝑛!
𝑛=0

Aplicando el binomio de Newton 1:

∞ ∞ 𝑛 ∞ 𝑛 ∞ 𝑛
(𝑥 + 𝑦)𝑛 1 𝑛! 𝑥 𝑛−𝑖 𝑦 𝑖 𝑦 𝑖 𝑥 𝑛−𝑖
∑ =∑ ∑ 𝑥 𝑛−𝑖 𝑦 𝑖 = ∑ ∑ = ∑∑
𝑛! 𝑛! 𝑖! (𝑛 − 𝑖)! 𝑖! (𝑛 − 𝑖)! 𝑖! (𝑛 − 𝑖)!
𝑛=0 𝑛=0 𝑖=0 𝑛=0 𝑖=0 𝑛=0 𝑖=0

Ahora aplicando el producto de Cauchy 2:

∞ 𝑛 ∞ ∞
𝑦 𝑖 𝑥 𝑛−𝑖 𝑥𝑛 𝑦𝑛
exp(𝑥 + 𝑦) = ∑ ∑ = (∑ ) (∑ ) = exp(𝑥) · exp(𝑦) ∎
𝑖! (𝑛 − 𝑖)! 𝑛! 𝑛!
𝑛=0 𝑖=0 𝑛=0 𝑛=0

𝑛
1 (𝑥 + 𝑎 ) 𝑛 = ∑ (𝑛𝑘)𝑥 𝑘 𝑎𝑛−𝑘
𝑘=0
2 (∑∞
𝑛=0 𝑋𝑛 ) · (∑∞ ∞ 𝑛
𝑛=0 𝑌𝑛 ) = ∑𝑛=0 ∑𝑖=0 𝑋𝑖 · 𝑌𝑛−𝑖
 𝟏
𝒆𝒙𝒑(−𝒙) = 𝒆𝒙𝒑(𝒙)−𝟏 =
𝒆𝒙𝒑(𝒙)
Sabemos que

exp(𝑥) · exp(−𝑥) = exp(𝑥 − 𝑥) = exp(0) = 1∎

𝝀
𝒆𝒙𝒑(𝝀𝒙) = (𝒆𝒙𝒑(𝒙)) ; 𝝀 ∈ ℝ
Para el caso 𝜆 = 0 es trivial, por la primera condición de exponencial.

Para 𝑎 ∈ ℤ se obtiene fácilmente de las dos propiedades anteriores, supongamos 𝑎 < 0

exp(𝑎𝑥) = exp(−1 · 𝑛𝑥) , 𝑛 ∈ ℕ

−1 −1

exp(−1 · 𝑛𝑥) = exp(𝑛𝑥)−1 = exp (𝑥

⏟+ ⋯ + 𝑥 ) = (exp(𝑥)
⏟ · … · exp(𝑥)) = (exp(𝑥))−𝑛
𝑛 𝑛
= (exp(𝑥))𝑎
𝑚
Asimismo, sea ℚ ∋ 𝑞 = ;𝑚 ∈ ℤ, 𝑛 ∈ ℕ:
𝑛

𝑚
(exp(𝑥))𝑞 = (exp(𝑥)) 𝑛

Por el desarrollo anterior

𝑚
(exp(𝑥)) 𝑛 = (exp(𝑚𝑥))1/𝑛

Y se tiene:

𝑚𝑥 1/𝑛 𝑚𝑥
(exp(𝑥))𝑞 = (exp(𝑚𝑥))1/𝑛 = (exp ( · 𝑛)) = exp ( ) = exp(𝑝𝑥)
𝑛 𝑛

Finalmente, para 𝜆 real tomemos {𝑞𝑛 }𝑛∈ℕ una sucesión de números racionales de forma que
lim 𝑞𝑛 = 𝜆; luego, aplicando que la propiedad se cumple para racionales se tiene:
𝑛→∞

(exp(𝑥))𝜆 = lim (exp(𝑥))𝑝𝑛 = lim exp(𝑝𝑛 · 𝑥) = exp(𝜆𝑥) ∎

𝑛→∞ 𝑛→∞

Propiedades analíticas de la función candidata.

𝐞𝐱𝐩(𝒙) > 𝟎, ∀𝒙 ∈ ℝ
Por la propiedad de producto de exponenciales

𝑥 𝑥 𝑥 𝑥 𝑥 2
exp(𝑥) = exp ( + ) = exp ( ) · exp ( ) = (exp ( )) ≥ 0
2 2 2 2 2

Además supongamos que exp(𝑥0 ) = 0 para un cierto 𝑥0

exp(𝑥) = exp(𝑥 + 𝑥0 − 𝑥0 ) = exp(𝑥0 ) · exp(𝑥 − 𝑥0 ) = 0 ⟹ exp(𝑥) = 0 ∀𝑥 ∈ ℝ

Pero como exp(0) = 1 ≠ 0 se llega a una contradicción.∎

𝐞𝐱𝐩 ∈ 𝓒∞ (ℝ)
La continuidad de la función en su dominio ya viene implícita a la condición de derivabilidad.
Asimismo, podemos asegurar la existencia y continuidad de las derivadas de órdenes
superiores ya que todas serán iguales a la función original.

Como además exp ′(𝑥) = exp(𝑥) y exp(𝑥) > 0 ∀𝑥 ∈ ℝ, la función e creciente en todo ℝ

Comportamiento límite de la función

Por ser exp( 𝑥) una serie funcional uniformemente convergente:
∞ ∞
𝑥𝑛 𝑥𝑛
lim exp(𝑥) = lim ∑ = ∑ lim =∞
𝑥→∞ 𝑥→∞ 𝑛! 𝑥→∞ 𝑛!
𝑛=0 𝑛=0

Y como la función es siempre mayor que cero:

1
lim exp(𝑥) = lim exp(−𝑥) = lim exp(𝑥)−1 = =0
𝑥→−∞ 𝑥→∞ 𝑥→∞ lim exp(𝑥)
𝑥→∞

De donde se tiene que la función es aisntótica en 0 hacia −∞ y no acotada superiormente.

𝒆𝒙𝒑
ℝ → (𝟎, +∞) es biyectiva
Para probarlo se encontrará una función inversa, una vez más desde una serie de potencias, tal
que su composición sea la identidad.