Fracción continua de Gauss

Fracción continua de Gauss

Fracción continua de Gauss

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.

Contenido

Historia

En 1768 Lambert publicó varios ejemplos de fracciones continuas de este tipo y ambos, Euler y Lagrange investigaron construcciones similares,[1] sin embargo fue Gauus 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

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

fi − 1fi = kizfi + 1

para todo i > 0, donde cada ki 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 gi = fi / fi − 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 fi son funciones hipergeométricas de la forma 0F1, 1F1, y 2F1, y las ecuaciones fi − 1fi = kizfi + 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

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

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 fi − 1fi = kizfi + 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 1F1(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

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 fi − 1fi = kizfi + 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 2F1(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

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 0F1 y 1F1, 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 2F1, 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 Plantilla:Math a el punto eliminado en infinito . En la mayoría de los casos Plantilla:Math es una rama puntual y la línea desde Plantilla:Math 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

La serie 0F1

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 en 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ν 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

Desde ez = 1F1(1;1;z), 1 / ez = 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

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

  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.)
Obtenido de "Fracci%C3%B3n continua de Gauss"

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Fracción continua generalizada — Saltar a navegación, búsqueda En análisis complejo, una rama de las matemáticas, una fracción continua generalizada o fracción fractal es una generalización de una fracción continua en la cual los numeradores parciales y los denominadores… …   Wikipedia Español

  • Fracción continua de Euler — Saltar a navegación, búsqueda En teoría analítica de fracciones continuas, la fracción continua de Euler es una identidad que conecta una clase general de series infinitas con una fracción continua infinita. Publicada por primera vez en 1748, fue …   Wikipedia Español

  • Constante de Gauss — En matemática, la constante de Gauss, denotada mediante la letra G, es definida como la inversa de la media aritmético geométrica de 1 y la raíz cuadrada de 2: La constante es así llamada en honor a Carl Friedrich Gauss, quien el 30 de mayo de… …   Wikipedia Español

  • Demostración de la irracionalidad de π — Saltar a navegación, búsqueda Símbolo del número π, popularizado por Leonhard Euler. Aunque la constante matemática conocida como π (pi) ha sido estudiada desde la antigüedad, y también el concepto de número irracional, no fue sin …   Wikipedia Español

  • Número π — π (pi) es la relación entre la longitud de una circunferencia y su diámetro, en geometría euclidiana. Es un número irracional y una de las constantes matemáticas más importantes. Se emplea frecuentemente en matemáticas, física e ingeniería. El… …   Wikipedia Español

  • Leonhard Euler — Retrato de Leonhard Euler, pintado por Johann Georg Bruck …   Wikipedia Español

  • Historia de la electricidad — Un fragmento de ámbar como el que pudo utilizar Tales de Mileto en su experimentación del efecto triboeléctrico. El nombre en griego de est …   Wikipedia Español

  • Enana blanca — Saltar a navegación, búsqueda Comparación de tamaños entre la enana blanca IK P …   Wikipedia Español

  • Urano (planeta) — Para otros usos de este término, véase Urano. Urano …   Wikipedia Español

  • Algoritmo divide y vencerás — En la cultura popular, divide y vencerás hace referencia a un refrán que implica resolver un problema difícil, dividiéndolo en partes más simples tantas veces como sea necesario, hasta que la resolución de las partes se torna obvia. La solución… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”