La funcin exponencial real

Definicin
Hay varios puntos posibles de entrada para la definicin de la
funcin exponencial: a partir de la propiedad de su derivada
(derivada igual a la funcin original), sus propiedades
algebraicas o por expansin en serie.

A partir de su derivada :
Llamamos funcin exponencial a la nica funcin que es solucin de la ecuacin diferencial que
satisface el siguiente problema de Cauchy:

A partir del logaritmo neperiano (base e):
La funcin exponencial es la funcin inversa o biyeccin recproca de la funcin logaritmo base e
de x. A partir de la frmula de derivacin de la funcin inversa obtenemos:

Por otro lado, f(0) = 1 pues ln(1) = 0. De ah que se satisface la ecuacin diferencial definida
previamente.
A partir de su desarrollo en serie:
Finalmente, mediante la aplicacin del mtodo de bsqueda de soluciones analticas de las
ecuaciones diferenciales lineales, podemos definir la x exp o ex exponencial x ex como la serie
de radio infinito de convergencia:
,
Propiedades
A partir de la segunda definicin de la funcin exponencial, vista como la inversa de ln, claramente
queda demostrado que exp es estrictamente creciente de en *+ y que:


De la misma manera demostramos que la funcin exponencial transforma la suma en productos,
es decir para cualesquiera x,y reales se cumple que e
x + y
= e
x
e
y
.

Definicin alternativa de la funcin exponencial
Podemos definir a la funcin exponencial como el lmite de una sucesin real particular, a saber:

()

Fcilmente, se puede verificar explcitamente que la sucesin

es creciente a partir
de

|| y acotada superiormente. En virtud del teorema de las sucesiones montonas,

(

converge a *

+.

Demostraciones de sus propiedades a partir de esta definicin :
I. Para todo

Prueba:

)
(
)
()()
)

De ah que:

II. Para todo

Prueba: de I, tenemos que

.
A partir de la definicin de exp(x), sabemos que

, por lo que si

para
algn , entonces llegaramos a la contradiccin de que

Las condiciones de continuidad y de diferenciabilidad se cumplen ya que la funcin exponencial
definida de esta manera es una composicin de funciones continuas y derivables. Con apoyo de
teoremas sobre lmites de este tipo de sucesiones, se puede demostrar que (

Como

es estrictamente creciente, es montona, por tanto biyectiva, en sus respectivos

dominio y contradominio definicin, por lo cual es invertible y su funcin recproca es el logartimo
natural de x.
Por consiguiente queda demostrada la equivalencia de todas estas definiciones de la
funcin exponencial real.