Fracción continua de Gauss

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En análisis complejo la fracción continua de Gauss es un caso particular de fracción continua generalizada derivada de la serie hipergeométrica. Fue una de las primeras fracciones continuas analíticas conocidas en matemáticas y puede usarse para representar varias funciones elementales importantes, así cómo algunas de las más complicadas funciones trascendentes.

Historia[editar]

En 1768 Lambert publicó varios ejemplos de fracciones continuas de este tipo y ambos, Euler y Lagrange investigaron construcciones similares,[1] sin embargo fue Gauss quien utilizó el ingenioso desarrollo descrito en la siguiente sección para deducir la forma general de esta fracción continua, en 1813.[2]

Aunque Gauss le dio la forma de esta fracción continua, no ofreció una prueba de sus propiedades de convergencia. Bernhard Riemann[3] y Thomé[4] obtuvieron resultados parciales, pero la demostración final en la región en la que esta fracción continua converge no se obtuvo hasta 1901, por Edward Burr Van Vleck.[5]

Derivación[editar]

Sea f_0, f_1, f_2, \dots una secuencia de funciones analíticas tales que

f_{i-1} - f_i = k_i z f_{i+1} \,

para todo i > 0, donde cada k_i es constante.

Entonces

\frac{f_{i-1}}{f_i} = 1 + k_i z \frac{f_{i+1}}{{f_i}},\, \frac{f_i}{f_{i-1}} = \frac{1}{1 + k_i z \frac{f_{i+1}}{{f_i}}}.

Estableciendo g_i = f_i / f_{i-1} \, ,

g_i = \frac{1}{1 + k_i z g_{i+1}},

Así

g_1 = \frac{f_1}{f_0} = \cfrac{1}{1 + k_1 z g_2} = \cfrac{1}{1 + \cfrac{k_1 z}{1 + k_2 z g_3}}
 = \cfrac{1}{1 + \cfrac{k_1 z}{1 + \cfrac{k_2 z}{1 + k_3 z g_4}}} = \dots\ .

Repitiendo el razonamiento sucesivamente se obtiene la expresión de la fracción continua

\frac{f_1}{f_0} = \cfrac{1}{1 + \cfrac{k_1 z}{1 + \cfrac{k_2 z}{1 + \cfrac{k_3 z}{1 + {}_\ddots}}}}

En la fracción continua de Gauss, las funciones f_i son funciones hipergeométricas de la forma {}_0F_1, {}_1F_1, y {}_2F_1, y las ecuaciones f_{i-1} - f_i = k_i z f_{i+1} surgen como identidades entre funciones donde los parámetros difieren en cantidades enteras. Estas identidades pueden probarse de varias formas, por ejemplo, expandiendo la serie y comparando coeficientes, o haciendo las derivadas de varias formas y eliminándolas de las ecuaciones generadas.

La serie 0F1[editar]

El caso más simple involucra

\,_0F_1(;a;z) = 1 + \frac{1}{a\,1!}z + \frac{1}{a(a+1)\,2!}z^2 + \frac{1}{a(a+1)(a+2)\,3!}z^3 + \cdots\ .

Comenzando con la identidad

\,_0F_1(;a-1;z)-\,_0F_1(;a;z) = \frac{z}{a(a-1)}\,_0F_1(;a+1;z),

podemos tomar

f_i = {}_0F_1(;a+i;z),\,k_i = \tfrac{1}{(a+i)(a+i-1)},

dando

\frac{\,_0F_1(a+1;z)}{\,_0F_1(a;z)} = \cfrac{1}{1 + \cfrac{\frac{1}{a(a+1)}z}
{1 + \cfrac{\frac{1}{(a+1)(a+2)}z}{1 + \cfrac{\frac{1}{(a+2)(a+3)}z}{1 + {}_\ddots}}}}

o

\frac{\,_0F_1(a+1;z)}{a\,_0F_1(a;z)} = \cfrac{1}{a + \cfrac{z}
{(a+1) + \cfrac{z}{(a+2) + \cfrac{z}{(a+3) + {}_\ddots}}}}.

Esta expansión converge a la función meromórfica definida por el cociente entre las dos series convergentes (siempre que, por supuesto, esa a no sea cero, ni un entero negativo).

La serie 1F1[editar]

El caso siguiente supone

{}_1F_1(a;b;z) = 1 + \frac{a}{b\,1!}z + \frac{a(a+1)}{b(b+1)\,2!}z^2 + \frac{a(a+1)(a+2)}{b(b+1)(b+2)\,3!}z^3 + \dots

para lo cual las dos identidades

\,_1F_1(a;b-1;z)-\,_1F_1(a+1;b;z) = \frac{(a-b+1)z}{b(b-1)}\,_1F_1(a+1;b+1;z)
\,_1F_1(a;b-1;z)-\,_1F_1(a;b;z) = \frac{az}{b(b-1)}\,_1F_1(a+1;b+1;z)

se usan alternativamente.

Sea

f_0(z) = \,_1F_1(a;b;z),
f_1(z) = \,_1F_1(a+1;b+1;z),
f_2(z) = \,_1F_1(a+1;b+2;z),
f_3(z) = \,_1F_1(a+2;b+3;z),
f_4(z) = \,_1F_1(a+2;b+4;z),

etc.

Esto da f_{i-1} - f_i = k_i z f_{i+1} donde k_1=\tfrac{a-b}{b(b+1)}, k_2=\tfrac{a+1}{(b+1)(b+2)}, k_3=\tfrac{a-b-1}{(b+2)(b+3)}, k_4=\tfrac{a+2}{(b+3)(b+4)}, produciendo

\frac{{}_1F_1(a+1;b+1;z)}{{}_1F_1(a;b;z)} = \cfrac{1}{1 + \cfrac{\frac{a-b}{b(b+1)} z}{1 + \cfrac{\frac{a+1}{(b+1)(b+2)} z}{1 + \cfrac{\frac{a-b-1}{(b+2)(b+3)} z}{1 + \cfrac{\frac{a+2}{(b+3)(b+4)} z}{1 + {}_\ddots}}}}}

o

\frac{{}_1F_1(a+1;b+1;z)}{b{}_1F_1(a;b;z)} = \cfrac{1}{b + \cfrac{(a-b) z}{(b+1) + \cfrac{(a+1) z}{(b+2) + \cfrac{(a-b-1) z}{(b+3) + \cfrac{(a+2) z}{(b+4) + {}_\ddots}}}}}

De forma similar

\frac{{}_1F_1(a;b+1;z)}{{}_1F_1(a;b;z)} = \cfrac{1}{1 + \cfrac{\frac{a}{b(b+1)} z}{1 + \cfrac{\frac{a-b-1}{(b+1)(b+2)} z}{1 + \cfrac{\frac{a+1}{(b+2)(b+3)} z}{1 + \cfrac{\frac{a-b-2}{(b+3)(b+4)} z}{1 + {}_\ddots}}}}}

o

\frac{{}_1F_1(a;b+1;z)}{b{}_1F_1(a;b;z)} = \cfrac{1}{b + \cfrac{a z}{(b+1) + \cfrac{(a-b-1) z}{(b+2) + \cfrac{(a+1) z}{(b+3) + \cfrac{(a-b-2) z}{(b+4) + {}_\ddots}}}}}

Desde {}_1F_1(0;b;z)=1, pongamos a a 0 y reemplacemos b + 1 con b en la primera fracción continua se obtiene un caso especial simplificado:

{}_1F_1(1;b;z) = \cfrac{1}{1 + \cfrac{-z}{b + \cfrac{z}{(b+1) + \cfrac{-b z}{(b+2) + \cfrac{2z}{(b+3) + {}_\ddots}}}}}

La serie 2F1[editar]

El caso final supone

{}_2F_1(a,b;c;z) = 1 + \frac{ab}{c\,1!}z + \frac{a(a+1)b(b+1)}{c(c+1)\,2!}z^2 + \frac{a(a+1)(a+2)b(b+1)(b+2)}{c(c+1)(c+2)\,3!}z^3 + \dots\,.

De nuevo, se usan dos identidades alternativamente.

\,_2F_1(a,b;c-1;z)-\,_2F_1(a+1,b;c;z) = \frac{(a-c+1)bz}{c(c-1)}\,_2F_1(a+1,b+1;c+1;z),
\,_2F_1(a,b;c-1;z)-\,_2F_1(a,b+1;c;z) = \frac{(b-c+1)az}{c(c-1)}\,_2F_1(a+1,b+1;c+1;z).

Estas son, esencialmente, la misma identidad con a y b intercambiadas.

Sea

f_0(z) = \,_2F_1(a,b;c;z),
f_1(z) = \,_2F_1(a+1,b;c+1;z),
f_2(z) = \,_2F_1(a+1,b+1;c+2;z),
f_3(z) = \,_2F_1(a+2,b+1;c+3;z),
f_4(z) = \,_2F_1(a+2,b+2;c+4;z),

etc.

Esto proporciona f_{i-1} - f_i = k_i z f_{i+1} donde k_1=\tfrac{(a-c)b}{c(c+1)}, 
k_2=\tfrac{(b-c-1)(a+1)}{(c+1)(c+2)}, k_3=\tfrac{(a-c-1)(b+1)}{(c+2)(c+3)}, k_4=\tfrac{(b-c-2)(a+2)}{(c+3)(c+4)}, produciendo

\frac{{}_2F_1(a+1,b;c+1;z)}{{}_2F_1(a,b;c;z)} = \cfrac{1}{1 + \cfrac{\frac{(a-c)b}{c(c+1)} z}{1 + \cfrac{\frac{(b-c-1)(a+1)}{(c+1)(c+2)} z}{1 + \cfrac{\frac{(a-c-1)(b+1)}{(c+2)(c+3)} z}{1 + \cfrac{\frac{(b-c-2)(a+2)}{(c+3)(c+4)} z}{1 + {}_\ddots}}}}}

o

\frac{{}_2F_1(a+1,b;c+1;z)}{c{}_2F_1(a,b;c;z)} = \cfrac{1}{c + \cfrac{(a-c)b z}{(c+1) + \cfrac{(b-c-1)(a+1) z}{(c+2) + \cfrac{(a-c-1)(b+1) z}{(c+3) + \cfrac{(b-c-2)(a+2) z}{(c+4) + {}_\ddots}}}}}

Desde {}_2F_1(0,b;c;z)=1, damos a a el valor 0 y reemplazamos c + 1 con c obteniéndose un caso especial simplificado de la fracción continua:

{}_2F_1(1,b;c;z) = \cfrac{1}{1 + \cfrac{-b z}{c + \cfrac{(b-c) z}{(c+1) + \cfrac{-c(b+1) z}{(c+2) + \cfrac{2(b-c-1) z}{(c+3) + {}_\ddots}}}}}

Propiedades de convergencia[editar]

En esta sección, los casos donde uno o más de los parámetros es un entero negativo se excluye, en virtud de que en estos casos o bien la serie hipergeométrica no está definida o bien son polinomios por lo que la fracción continua se acaba. Se excluyen también otras excepciones triviales.

En los casos {}_0F_1 y {}_1F_1, la serie converge por doquier así que la fracción de la izquierda es una función meromórfica. Las fracciones continuas de la derecha convergerán uniformemente en cualquier conjunto cerrado que no contenga polos de esta función.[6]

En el caso {}_2F_1, el radio de convergencia de la serie es 1 y la fracción de la izquierda es una función meromórfica en este círculo. Las fracciones continuas de la derecha convergerán a la función por doquier dentro de este círculo.

Fuera del círculo, la fracción continua representa la extensión analítica de la función a el plano complejo con el eje real positivo, desde +1 a el punto eliminado en infinito . En la mayoría de los casos +1 es una rama puntual y la línea desde +1 a más infinitoes una rama cortada para esta función. La fracción continua converge a una función meromórfica en este dominio y converge uniformemente en cualquier subconjunto finito cerrado de este dominio que no contenga polos.[7]

Aplicaciones[editar]

La serie 0F1[editar]

Tenemos

\cosh(z) = \,_0F_1({\tfrac{1}{2}};{\tfrac{z^2}{4}}),
\sinh(z) = z\,_0F_1({\tfrac{3}{2}};{\tfrac{z^2}{4}}),

por tanto

\tanh(z) = \frac{z\,_0F_1({\tfrac{3}{2}};{\tfrac{z^2}{4}})}{\,_0F_1({\tfrac{1}{2}};{\tfrac{z^2}{4}})}
= \cfrac{z/2}{\tfrac{1}{2} + \cfrac{\tfrac{z^2}{4}}{\tfrac{3}{2} + \cfrac{\tfrac{z^2}{4}}{\tfrac{5}{2} + \cfrac{\tfrac{z^2}{4}}{\tfrac{7}{2} + {}_\ddots}}}} = \cfrac{z}{1 + \cfrac{z^2}{3 + \cfrac{z^2}{5 + \cfrac{z^2}{7 + {}_\ddots}}}}.

Esta expansión particular se conoce como fracción continua de Lambert y data de 1768.[8]

Fácilmente se sigue que

\tan(z) = \cfrac{z}{1 - \cfrac{z^2}{3 - \cfrac{z^2}{5 - \cfrac{z^2}{7 - {}_\ddots}}}}.

La expansión de tanh puede usarse para probar que e^n es irracional para cualquier entero n (lo cual no es suficiente, desgraciadamente, para probar que e es un número trascendente). La expansión de tan fue usada por Lambert y Legendre para probar que π es irracional.

La función de Bessel J_\nu puede escribirse

J_\nu(z) = \frac{(\tfrac{1}{2}z)^\nu}{\Gamma(\nu+1)}\,_0F_1(;\nu+1;-\frac{z^2}{4}),

de lo cual, se sigue que

\frac{J_\nu(z)}{J_{\nu-1}(z)}=\cfrac{z}{2\nu - \cfrac{z^2}{2(\nu+1) - \cfrac{z^2}{2(\nu+2) - \cfrac{z^2}{2(\nu+3) - {}_\ddots}}}}.

Estas fórmulas también son válidad para cualquier complejo z.

La serie 1F1[editar]

Desde e^z = {}_1F_1(1;1;z), 1/e^z = e^{-z}

e^z = \cfrac{1}{1 + \cfrac{-z}{1 + \cfrac{z}{2 + \cfrac{-z}{3 + \cfrac{2z}{4 + \cfrac{-2z}{5 + {}_\ddots}}}}}}
e^z = 1 + \cfrac{z}{1 + \cfrac{-z}{2 + \cfrac{z}{3 + \cfrac{-2z}{4 + \cfrac{2z}{5 + {}_\ddots}}}}}.

Con alguna manipulación, esto puede usarse para probar la representación en fracción simple continua de e,

e=2+\cfrac{1}{1+\cfrac{1}{2+\cfrac{1}{1+\cfrac{1}{1+\cfrac{1}{4+{}_\ddots}}}}}

La función error erf (z), dada por


\operatorname{erf}(z) = \frac{2}{\sqrt{\pi}}\int_0^z e^{-t^2} dt,

puede también calcularse en términos de la función hipergeométrica de Kummer:


\operatorname{erf}(z) = \frac{2z}{\sqrt{\pi}} e^{-z^2} \,_1F_1(1;{\scriptstyle\frac{3}{2}};z^2).

Mediante la aplicación de la fracción continua de Gauss puede obtenerse una útil expansión válida para todo número complejo z:[9]


\frac{\sqrt{\pi}}{2} e^{z^2} \operatorname{erf}(z) = \cfrac{z}{1 - \cfrac{z^2}{\frac{3}{2} +
\cfrac{z^2}{\frac{5}{2} - \cfrac{\frac{3}{2}z^2}{\frac{7}{2} + \cfrac{2z^2}{\frac{9}{2} -
\cfrac{\frac{5}{2}z^2}{\frac{11}{2} + \cfrac{3z^2}{\frac{13}{2} -
\cfrac{\frac{7}{2}z^2}{\frac{15}{2} + - \ddots}}}}}}}}.

Un argumento similar puede hacerse para derivar expansiones de fracciones continuas para la integral de Fresnel, para la función Dawson y para la función gamma incompleta. Una versión más simple del argumento da paso a dos útiles expansiones de fracción continua de la función exponencial.[10]

La serie 2F1[editar]

Desde

(1-z)^{-b}={}_1F_0(b;;z)=\,_2F_1(1,b;1;z),
(1-z)^{-b} = \cfrac{1}{1 + \cfrac{-b z}{1 + \cfrac{(b-1) z}{2 + \cfrac{-(b+1) z}{3 + \cfrac{2(b-2) z}{4 + {}_\ddots}}}}}

Se muestra fácilmente que la expansión en serie de Taylor de arcotangente de z en un entorno de cero viene dada por:


\arctan z = zF({\scriptstyle\frac{1}{2}},1;{\scriptstyle\frac{3}{2}};-z^2).

La fracción continua de Gauss puede aplicarse a esta identidad, dando paso a la expansión


\arctan z = \cfrac{z}{1 + \cfrac{z^2}{3 + \cfrac{(2z)^2}{5 + \cfrac{(3z)^2}{7 + \cfrac{(4z)^2}{9 + \ddots}}}}},

que converge a la rama principal de la función inversa de la tangente en el plano complejo , con el cut extendiéndose a lo largo de el eje imaginario desde i hasta el punto en infinito y desde -i hasta el punto en infinito.[11]

Esta fracción continua particular converge clara y rápidamente cuando z = 1, dando el valor de π/4 con siete decimales hacia el noveno convergente. La serie correspondiente


\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + - \dots

converge mucho más lentamente, necesitándose más de un millón de términos para dar lugar a siete decimales de exactitud.[12]

Algunas variaciones de este argumento se pueden usar para producir expansiones de fracciones continuas para el logaritmo natural, la función arcoseno y la serie binomial generalizada.

Referencias[editar]

  1. Jones & Thron (1980) p. 5
  2. C. F. Gauss (1813), Werke, vol. 3 pp. 134-138.
  3. B. Riemann (1863), "Sullo svolgimento del quoziente di due serie ipergeometriche in frazione continua infinita" en Werke. pp. 400-406. (Posthumous fragment).
  4. L. W. Thomé (1867), "Über die Kettenbrüchentwicklung des Gaussen quotienten …," Jour. für Math. vol. 67 pp. 299-309.
  5. E. B. Van Vleck (1901), "On the convergence of the continued fraction of Gauss and other continued fractions." Annals of Mathematics, vol. 3 pp. 1-18.
  6. Jones & Thron (1980) p. 206
  7. Wall, 1973 (p. 339)
  8. Wall (1973) p. 349.
  9. Jones & Thron (1980) p. 208.
  10. Véase el ejemplo en el artículo Padé table para las expansiones de ez como fracciones continuas de Gauss.
  11. Wall (1973) p. 343. Notice that i and −i are branch points for the inverse tangent function.
  12. Jones & Thron (1980) p. 202.
  • Jones, William B.; Thron, W. J. (1980). Continued Fractions: Theory and Applications. Reading, Massachusetts: Addison-Wesley Publishing Company. pp. 198–214. ISBN 0-201-13510-8. 
  • Wall, H. S. (1973). Analytic Theory of Continued Fractions. Chelsea Publishing Company. pp. 335–361. ISBN 0-8284-0207-8. 
    (This is a reprint of the volume originally published by D. Van Nostrand Company, Inc., in 1948.)

Enlaces externos[editar]