El exponente es una función exponencial , donde es el número de Euler .
La función exponencial se puede definir de varias formas equivalentes. Por ejemplo, a través de la serie de Taylor :
o al otro lado del límite :
.Aquí hay cualquier número complejo .
La palabra expositor proviene del lat. " exponere", que se traduce como " poner adelante; mostrar ", que a su vez proviene del lat. prefijos " ex-" ("adelante") y lat. las palabras " ponere" ("poner, arreglar"); [1] El significado de usar tal palabra para el exponente es que el signo del exponente está "colocado fuera" de la línea habitual de escritura (ligeramente por encima y a la derecha del lugar donde normalmente se debe colocar la figura).
El exponente complejo es una función matemática dada por la relación , donde es un número complejo . El exponente complejo se define como la continuación analítica del exponente de una variable real :
Definamos una expresión formal
.La expresión así definida sobre el eje real coincidirá con el exponente real clásico. Para la completa corrección de la construcción, es necesario probar la analiticidad de la función , es decir, mostrar que se expande en alguna serie que converge a esta función. Vamos a mostrarlo:
.La convergencia de esta serie se demuestra fácilmente:
.La serie converge absolutamente en todas partes , es decir, converge en todas partes en general, por lo tanto, la suma de esta serie en cada punto específico determinará el valor de la función analítica . De acuerdo con el teorema de unicidad , la extensión resultante será única, por lo tanto, en el plano complejo, la función está definida en todas partes y es analítica.
De manera similar, el exponente se define para un elemento de un álgebra asociativa arbitraria . En un caso particular, también se requiere prueba de que estos límites existen.
El exponente de una matriz cuadrada (o un operador lineal ) se puede definir formalmente sustituyendo la matriz en la serie adecuada:
La serie así definida converge para cualquier operador con norma acotada, ya que está dominada por una serie para el exponente de la norma , por tanto, el exponente de una matriz siempre está definido y es él mismo una matriz.
Usando el exponente matricial, es fácil especificar la forma de la solución de una ecuación diferencial lineal con coeficientes constantes : la ecuación con la condición inicial tiene su solución
La introducción del exponente se basa en el segundo límite notable :
En , se obtiene el exponente habitual [2] .
La función inversa a la función exponencial es el logaritmo natural . designado :