Exponenciación

La exponenciación es una operación definible en un álgebra sobre un cuerpo normada completa o álgebra de Banach (espacio vectorial normado completo que además es un anillo) que generaliza la función exponencial de los números reales.

Cuando a y b son dos números enteros la operación ${displaystyle scriptstyle a^{b}}$ puede definirse en términos algebraicos elementales como equivalente a la potenciación. Sin embargo cierto número de problemas físicos concretos llevaron a tratar de generalizar la fórmula anterior a valores de b no enteros. Cuando b = 1/2 la operación equivale a una raíz cuadrada. Finalmente la exponenciación trata de generalizar la operación ${displaystyle scriptstyle a^{b}}$ a valores de b cualesquiera. Usualmente dicha operación puede reducirse al cálculo de la operación ${displaystyle scriptstyle e^{bln(a)}}$. Este artículo generaliza esta operación a casos donde el exponente no es necesariamente un número real, sino un número complejo, un número cuaterniónico o más generalmente un elemento de un espacio de Banach.

Dado un elemento de un álgebra de Banach tenemos definidas una operación conmutativa de suma y otra de multiplicación, lo cual permite definir el anillo de polinomios sobre dicha álgebra. Además por tener una norma puede definirse para algunas series formales de potencias una noción de convergencia y por tanto de límite. En esas condiciones puede definirse la siguiente operación:

${displaystyle e^{A}=lim _{n o infty }sum _{k=0}^{n}{A^{k} over k!}=1+A+{A^{2} over 2!}+{A^{3} over 3!}+{A^{4} over 4!}+cdots }$

Nótese que:

La exponenciación de números reales se realiza mediante la función exponencial. Dado un número real su exponenciación está siempre bien definida y tiene las siguientes propiedades:

La exponenciación de números complejos se define sin problemas mediante serie de potencias al igual que en el caso de números reales. Dado un número complejo separado en sus partes real e imaginaria z = a + bi su exponenciación resulta ser:

${displaystyle e^{z}=e^{a+bi}=e^{a}(cos b+isin b);}$

Las propiedades de la exponenciación de números complejos son similares a las de los números reales (aunque las propiedades que involucran orden no son extendibles a los complejos):

La exponenciación de números cuaterniónicos es computacionalmente más complicada aunque está definida sin ambigüedad. Dado un cuaternión escrito en forma canónica q = a + bi + cj + dk su exponenciación resulta ser:

${displaystyle e^{q}=e^{a+bi+cj+dk}=e^{a}left(cos {sqrt {b^{2}+c^{2}+d^{2}}}+{frac {sin {sqrt {b^{2}+c^{2}+d^{2}}}}{sqrt {b^{2}+c^{2}+d^{2}}}}(bi+cj+dk) ight)}$

Al no ser conmutativo el producto de cuaterniones no resulta cierto que la exponenciación de una suma sea igual al producto de exponenciales de los sumandos. Por ejemplo si consideramos q₁ = πi y q₂ = πj tenemos:

${displaystyle {egin{cases}e^{ipi }=-1\e^{jpi }=-1\e^{ipi +jpi }=cos {{sqrt {2}}pi }+{cfrac {sin {{sqrt {2}}pi }}{sqrt {2}}}(i+j)& eq e^{ipi }e^{jpi }end{cases}}}$

La exponenciación de un número cuaterniónico de parte real nula, permite representar de manera muy conveniente las rotaciones en tres dimensiones de la misma manera que la exponenciación de un número imaginario puro permite representar rotaciones en el plano.

Dados dos conjuntos finitos M y N, tales que el primer contiene m elementos y el segundo n elementos, uno puede pensar en cuantas funciones matemáticas pueden definirse entre ambos. Para el caso de conjuntos finitos como los anteriores el número de funciones resulta ser precisamente ${displaystyle scriptstyle m^{n}}$. El problema también puede plantearse en el caso de conjuntos inifinitos cuyo cardinal es un número transfinito. Así la operación ${displaystyle scriptstyle alpha ^{eta }}$ donde ahora ${displaystyle scriptstyle alpha }$ y ${displaystyle scriptstyle eta }$ son dos cardinales transfinitos se define como:

${displaystyle alpha ^{eta }={mbox{card}}(F_{A o B}),qquad {egin{cases}alpha ={mbox{card}}(A),&eta ={mbox{card}}(B)\F_{A o B}={f|f:A o B}end{cases}}}$

Algunos ejemplos concretos resultan ser:

${displaystyle 2^{aleph _{0}}=aleph _{1},aleph _{0}^{aleph _{0}}=aleph _{1}, forall bleq aleph _{n}:b^{aleph _{n}}=aleph _{n+1}}$

Las matrices cuadradas reales o complejas pueden ser interpretadas como expresiones en una base dada de una aplicación lineal. Este hecho puede ser aprovechado para computar más fácilmente la exponencial de una matriz. Si A representa la matriz de una cierta aplicación lineal ${displaystyle f:E o E}$ entonces la exponenciación de una matriz puede obtenerse a partir de la forma canónica de Jordan J_f de dicho endomorfismo y la matriz cambio de base C entre la base original y la base de Jordan:

${displaystyle A=C^{-1}J_{f}C o e^{A}=e^{C^{-1}J_{f}C}=sum _{k=0}^{infty }{frac {(C^{-1}J_{f}C)^{k}}{k!}}=sum _{k=0}^{infty }{frac {C^{-1}(J_{f})^{k}C}{k!}}=C^{-1}e^{J_{f}}C}$

La exponencial de la forma canónica de Jordan es muy sencilla, dado un bloque de Jordan B_J, submatriz nxn, que realiza la aplicación lineal en uno de los subespacios invariantes asociados a la aplicación de Jordan se tiene que:

${displaystyle B_{J}={egin{bmatrix}lambda &1&0&cdots &0\0&lambda &1&cdots &0\0&0&lambda &cdots &0\vdots &&&ddots &vdots \0&0&0&cdots &lambda end{bmatrix}}Rightarrow qquad e^{B_{J}}={egin{bmatrix}e^{lambda }&{frac {e^{lambda }}{1!}}&{frac {e^{lambda }}{2!}}&cdots &{frac {e^{lambda }}{(n-1)!}}\0&e^{lambda }&{frac {e^{lambda }}{1!}}&cdots &{frac {e^{lambda }}{(n-2)!}}\0&0&e^{lambda }&cdots &{frac {e^{lambda }}{(n-3)!}}\vdots &&&ddots &vdots \0&0&0&cdots &e^{lambda }end{bmatrix}}}$

La exponenciación de matrices tiene estas otras propiedades similares a los números reales:

Una propiedad importante de la exponenciación de matrices es que en general, a diferencia de lo que sucede con números reales, la exponenciación de una suma de matrices no es el producto de exponenciales matrices:

${displaystyle AB eq BARightarrow e^{A}e^{B} eq e^{A+B} eq e^{B}e^{A}}$

Aunque cuando el conmutador se anula sí se satisface la igualdad:

${displaystyle AB=BAiff e^{A}e^{B}=e^{A+B}=e^{B}e^{A}}$

La exponenciación de operadores lineales definidos sobre un espacio vectorial normado es una generalización del caso de la exponenciación de matrices. Ya que el hecho de que el espacio vectorial sea normado implica que el espacio de operadores es un espacio de Banach.

La exponenciación de operadores puede ser usada para resolver la ecuación de Schrödinger:

${displaystyle {hat {H}}left|psi (t) ight angle =ihbar {partial over partial t}left|psi (t) ight angle }$

Una solución formal de esta ecuación se obtiene por exponenciación del operador hamiltoniano:

${displaystyle left|psi (t) ight angle =e^{-{frac {i}{hbar }}int _{0}^{t}{hat {H}} dt}left|psi _{0} ight angle }$

Sin embargo, en muchos casos el cálculo de la exponenciación del operador hamiltoniano puede ser computacionalmente muy complejo. Además al ser normalmente el hamiltoniano un operador no acotado la exponencial sólo podría definirse sobre un dominio del espacio de Hilbert y entonces definir una extensión del operador obtenido previamente.

---