Teorema de inversión de Lagrange

En el análisis matemático, el teorema de la inversión de Lagrange, también conocido como la fórmula de Lagrange-Bürmann, proporciona la expansión en serie de Taylor de la función inversa de una función analítica.

Declaración

Suponga que z se define como una función de w por una ecuación de la forma

z=f()w){displaystyle z=f(w)}

Donde f es analítico en un punto a y f.()a)ل ل 0.{displaystyle f'(a)neq 0.} Entonces es posible invertidos o resolver la ecuación para w, expresando en la forma w=g()z){displaystyle w=g(z)} dada por una serie de energía

g()z)=a+.. n=1JUEGO JUEGO gn()z− − f()a))nn!,{displaystyle g(z)=a+sum _{n=1} {infty }g_{n}{frac {(z-f(a))} {n}}}}}}}

dónde

gn=limw→ → adn− − 1dwn− − 1[()w− − af()w)− − f()a))n].{displaystyle ¿Qué? {fn1} {fn1}}left[left({frac {w-a}{f(w)-f(a)}right)}}right)}}}right)} {n}right]

El teorema afirma además que esta serie tiene un radio no cero de convergencia, es decir, g()z){displaystyle g(z)} representa una función analítica de z en un barrio z=f()a).{displaystyle z=f(a).} Esto también se llama reversión de series.

Si se omiten las afirmaciones sobre el análisis, la fórmula también es válida para la serie de poder formal y se puede generalizar de varias maneras: Se puede formular para funciones de varias variables; se puede ampliar para proporcionar una fórmula lista para F()g()z) para cualquier función analítica F; y puede generalizarse al caso f.()a)=0,{displaystyle f'(a)=0,} donde el inverso g es una función multivalorada.

El teorema fue demostrado por Lagrange y generalizado por Hans Heinrich Bürmann, ambos a fines del siglo XVIII. Hay una derivación directa usando análisis complejo e integración de contornos; la versión formal compleja de series de potencias es consecuencia de conocer la fórmula de los polinomios, por lo que se puede aplicar la teoría de funciones analíticas. En realidad, la maquinaria de la teoría de la función analítica entra solo de manera formal en esta prueba, en el sentido de que lo que realmente se necesita es alguna propiedad del residuo formal, y se dispone de una prueba formal más directa.

Si f es una serie de potencia formal, entonces la fórmula anterior no da los coeficientes de la serie inversa composicional g directamente en términos de los coeficientes de la serie f. Si se pueden expresar las funciones f y g en series de potencias formales como

f()w)=.. k=0JUEGO JUEGO fkwkk!yg()z)=.. k=0JUEGO JUEGO gkzkk!{displaystyle f(w)=sum ¿Qué? }f_{k}{frac ¡Qquad! {text{y}qquad g(z)=sum _{k=0}{infty }g_{k}{frac !

con f₀ = 0 y f₁ ≠ 0, entonces se puede dar una forma explícita de coeficientes inversos en términos de polinomios de Bell:

gn=1f1n.. k=1n− − 1()− − 1)kn()k)Bn− − 1,k()f^ ^ 1,f^ ^ 2,...... ,f^ ^ n− − k),n≥ ≥ 2,{displaystyle G_{n}={frac {1}{1} {} {}}} {}}} {f} {f}}}}} {f}}}}}}}} {f}}}}}} {f}}}}}}}}}}}} {f}}}}}}}}}}}}}}}}}}}}}}}}} {}}} {}}}}}} {}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} ¿Por qué? {f}_{n-k}),quad ngeq 2,}

dónde

f^ ^ k=fk+1()k+1)f1,g1=1f1,yn()k)=n()n+1)⋯ ⋯ ()n+k− − 1){displaystyle {begin{aligned}{hat {f} {f} {f}} {f}} {f} {f}} {f}} {f} {f}} {f}}}} {f}} {f}} {f}} {f}} {f}} {f}} {f}}}}}}}} {f} {f}}}}} {f}}}}}}}}}}}}} {f}}}}}}}}}}}}} {f}}}}}}} {f}}}} {f}}} {f}}}}}}}}}}}}}}}}}}} {f}}}}}} {f}}}}}} {f}} {f}}}}}}}}}} {f}}}}}} {f}}}}}}}}}}}}}}}}}}} {f}}}}}}}} {f_{k+1}{(k+1)f_{1}}}g_{1} {={frac} {1}{f_{1}}},{text{ and}n^{(k)} {=n+1)cdots (n+k-1)end{aligned}}

es el factorial ascendente.

Cuando f₁ = 1, la última fórmula se puede interpretar en términos de las caras de los asociaedros

gn=.. Fcara deKn()− − 1)n− − dim⁡ ⁡ FfF,n≥ ≥ 2,{displaystyle G_{n}=sum ¿Por qué? F}f_{F},quad ngeq 2,}

Donde fF=fi1⋯ ⋯ fim{displaystyle F_{F}=f_{i_{1}cdots F_{i_{m}} para cada cara F=Ki1× × ⋯ ⋯ × × Kim{displaystyle F=K_{i_{1}times cdots times K_{i_{m}} de la asociación Kn.{displaystyle K_{n}

Ejemplo

Por ejemplo, la ecuación algebraica de grado p

xp− − x+z=0{displaystyle x^{p}-x+z=0}

puede resolverse para x mediante la fórmula de inversión de Lagrange para la función f(x) = x − x^p , lo que resulta en una solución de serie formal

x=.. k=0JUEGO JUEGO ()pkk)z()p− − 1)k+1()p− − 1)k+1.{displaystyle x=sum _{k=0}{infty {fnMicrosoft {fnMicroc}{(p-1)k+1}{(p-1)k+1}}}

Por pruebas de convergencia, esta serie es de hecho convergente para SilenciozSilencio≤ ≤ ()p− − 1)p− − p/()p− − 1),{displaystyle Silencioz eternaleq (p-1)p^{-p/(p-1)} que es también el disco más grande en el que un inverso local f se puede definir.

Bosquejo de la prueba

Para simplicidad, supongamos z=0=f()w=0){displaystyle z=0=f(w=0)}. Entonces podemos calcular

∮ ∮ w=0dw2π π i1f()w)− − z=∮ ∮ w=0dw2π π i1f.()g()z))w+O()w2)=1f.()g()z))=g.()f()w))=g.()z).{displaystyle oint _{w=0}{frac {dw}{2pi} {fnMicroc} {f}}=oint - ¿Por qué? }

Si desarrollamos el integrando usando la serie geométrica obtenemos

∮ ∮ w=0dw2π π i1f()w)− − z=.. n=0JUEGO JUEGO zn∮ ∮ w=0dw2π π i1()f()w))n+1=.. n=0JUEGO JUEGO zn∮ ∮ w=0dw2π π i1wn+1()wf()w))n+1=.. n=0JUEGO JUEGO znn!dndwn()wf()w))n+1Silenciow=0,{displaystyle oint _{w=0}{frac {dw}{2pi i}{frac {1}{f(w)-z}}=sum ¿Qué? ¿Qué? {fnMicroc}}=sum ¿Qué? ¿Qué? ¿Qué? {1}{n+1}}left({frac {w}}right)^{n+1}=sum ¿Qué? {fn}fn} {fn}fn} {f}}derecho)}derecha {n+1}derecho a la muerte_{w=0}

donde en el último paso usamos el hecho de que f()w){displaystyle f(w)} tiene un cero simple.

Finalmente podemos integrarnos z{displaystyle z} teniendo en cuenta g()0)=0{displaystyle g(0)=0}

g.()z)=.. n=0JUEGO JUEGO znn!dndwn()wf()w))n+1Silenciow=0⟹ ⟹ g()z)=.. n=0JUEGO JUEGO zn+1()n+1)!dndwn()wf()w))n+1Silenciow=0.{displaystyle g'(z)=sum _{n=0}{infty }{frac {fn}{n}}}left. {f} {f}f}}derecho {f} {f}}derecha)}derecha {f}}derecho a la muerte_{w=0}~Longrightarrow ~~g(z)=sum _{n=0} {infty }{n+1}}{n1)} {n0}{n} {n} {n}}}}}{n}}}}}}{n}} {n} {n}} {n}}}}}}{n}}}}}} {n}}}{n}}}}}}{n}}}}} {n} {n}}}}}}} {n}}}}}{n}}}} {n}}}}}}}}}}}}} {n}}}}}}{n}}}}}}}}}}}} {n}}}}}}} {fn}}derecho.

Después de una redefinición del índice de suma, obtenemos la fórmula indicada.

Aplicaciones

Fórmula de Lagrange-Bürmann

Hay un caso especial de Teorema de Inversión Lagrange que se utiliza en combinatoria y se aplica cuando f()w)=w/φ φ ()w){displaystyle f(w)=w/phi (w)} para algunos analytic φ φ ()w){displaystyle phi (w)} con φ φ ()0)ل ل 0.{displaystyle phi (0)neq 0} Toma. a=0{displaystyle a=0} para obtener f()a)=f()0)=0.{displaystyle f(a)=f(0)=0.} Entonces para el inverso g()z){displaystyle g(z)} (satisfying f()g()z))↑ ↑ z{displaystyle f(g(z))equiv z}), tenemos

g()z)=.. n=1JUEGO JUEGO [limw→ → 0dn− − 1dwn− − 1()()ww/φ φ ()w))n)]znn!=.. n=1JUEGO JUEGO 1n[1()n− − 1)!limw→ → 0dn− − 1dwn− − 1()φ φ ()w)n)]zn,{displaystyle {begin{aligned}g(z) ventaja=sum _{n=1}{infty }left[lim _{wto 0}{frac {fn} {fn}}left({frac} {fnfn}}}left(left({frac} {fn} {fn}}}}}}}}}}left(left(left({n-1} {fn}}} {fn}}}}}}}}}}} {left(left(left(left(left(left(left(left(left(left {left(left {left(left({left {left {left {left {eff} {left { {fnh}}derecha)derecha]{derecha]{frac {fn}{n}}\{}}}\{} {} {fn}}}}} {fn}}}}}\\{}}}}}}}}}}} {}}}}}} {}}}}}}}}}}}}}}}} {\\}}}}}}}}}}}}}}}} {\}}}}}}}}}} {\\\\\\}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}\\\\\\\}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} ¿Por qué? {d^{n-1} {dw^{n-1} {fi (w)}right]z^{n},end{aligned}}

que se puede escribir alternativamente como

[zn]g()z)=1n[wn− − 1]φ φ ()w)n,{displaystyle [z^{n}g(z)={frac {1} {n} {w^{n-1}fi (w)}

Donde [wr]{displaystyle [w^{r]} es un operador que extrae el coeficiente de wr{displaystyle w^{r} en la serie Taylor de una función w.

Una generalización de la fórmula se conoce como fórmula de Lagrange-Bürmann:

[zn]H()g()z))=1n[wn− − 1]()H.()w)φ φ ()w)n){displaystyle [z^{n}]H(g(z)={frac {1}{n}[w^{n-1}](H'(w)phi (w)^{n})}

donde H es una función analítica arbitraria.

A veces, la derivada H′(w) puede ser bastante complicado. Una versión más simple de la fórmula reemplaza a H′(w) con H(w)(1 − φ′(w)/φ(w)) para obtener

[zn]H()g()z))=[wn]H()w)φ φ ()w)n− − 1()φ φ ()w)− − wφ φ .()w)),{displaystyle [z^{n}H(g(z)=[w^{n}H(w)phi (w)^{n-1}(phi (w)-wphi '(w)),}

que implica φ′(w) en lugar de H′ (w).

Función W de Lambert

Lambert W función es la función W()z){displaystyle W(z)} que se define implícitamente por la ecuación

W()z)eW()z)=z.{displaystyle W(z)e^{W(z)}=z.}

Podemos usar el teorema para calcular la serie Taylor W()z){displaystyle W(z)} a z=0.{displaystyle z=0.} Nos llevamos f()w)=wew{displaystyle f(w)=we^{w} y a=0.{displaystyle a=0.} Reconociendo que

dndxneα α x=α α neα α x,{displaystyle {frac {fn} {fn}}e^{alpha x}=alpha ^{n}e^{alpha x}}}

esto da

W()z)=.. n=1JUEGO JUEGO [limw→ → 0dn− − 1dwn− − 1e− − nw]znn!=.. n=1JUEGO JUEGO ()− − n)n− − 1znn!=z− − z2+32z3− − 83z4+O()z5).{displaystyle {begin{aligned}W(z) ¿Por qué? {fn} {fn}\\fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} - ¿Por qué? {3}{2}z^{3}-{3} {8} {4}+O(z^{5}).end{aligned}}}

El radio de convergencia de esta serie es e− − 1{displaystyle e^{-1} (Dando la rama principal de la función Lambert).

Una serie que converge para mayor z (aunque no para todos) z) también se puede derivar por la inversión de serie. La función f()z)=W()ez)− − 1{displaystyle f(z)=W(e^{z})-1} satisfice la ecuación

1+f()z)+In⁡ ⁡ ()1+f()z))=z.{displaystyle 1+f(z)+ln(1+f(z))=z.}

Entonces... z+In⁡ ⁡ ()1+z){displaystyle z+ln(1+z)} se puede ampliar en una serie de energía e invertir. Esto da una serie para f()z+1)=W()ez+1)− − 1:{displaystyle f(z+1)=W(e^{z+1})-1{text{:}}

W()e1+z)=1+z2+z216− − z3192− − z43072+13z561440− − O()z6).{displaystyle W(e^{1+z})=1+{frac {Z}{2}+{frac} {fnMicroc} {fnMicroc} {fnMicroc} {fnMicroc} {4}{3072}}+{frac {13z^{5}{61440}-O(z^{6}).}

W()x){displaystyle W(x)} puede ser calculado por sustitución In⁡ ⁡ x− − 1{displaystyle ln x-1} para z en la serie anterior. Por ejemplo, sustitución −1 para z da el valor W()1).. 0.567143.{displaystyle W(1)approx 0.567143.}

Árboles binarios

Considere el conjunto B{displaystyle {máthcal {B}} de árboles binarios sin etiquetar. Un elemento B{displaystyle {máthcal {B}} es una hoja de tamaño cero, o un nodo raíz con dos subárboles. Denote by Bn{displaystyle B_{n} el número de árboles binarios en n{displaystyle n} nodos.

Eliminar la raíz divide un árbol binario en dos árboles de menor tamaño. Esto produce la ecuación funcional en la función generadora B()z)=.. n=0JUEGO JUEGO Bnzn:{displaystyle textstyle B(z)=sum _{n=0}{infty }B_{n}z^{n}{text{:}}}

B()z)=1+zB()z)2.{displaystyle B(z)=1+zB(z)^{2}

Letting C()z)=B()z)− − 1{displaystyle C(z)=B(z)-1}, uno tiene así C()z)=z()C()z)+1)2.{displaystyle C(z)=z(C(z)+1)^{2} Aplicar el teorema con φ φ ()w)=()w+1)2{displaystyle phi (w)=(w+1)^{2} rendimientos

Bn=[zn]C()z)=1n[wn− − 1]()w+1)2n=1n()2nn− − 1)=1n+1()2nn).{displaystyle B_{n}=[z^{n]C(z)={frac {1}{n} [w^{n-1} [w+1) {2n}={frac} {1}{n}{binom} {2n}{n-1}={frac} {1}{n+1}{binom} {2n} {n}}

Esto demuestra que Bn{displaystyle B_{n} es nel número catalán.

Aproximación asintótica de integrales

En el teorema de Laplace-Erdelyi que da la aproximación asintótica para las integrales de tipo Laplace, la inversión de la función se toma como un paso crucial.