Nella teoria analitica delle frazioni continue generalizzate, la formula della frazione continua di Eulero è un'identità che mette in connessione una generica serie molto generale con una frazione continua. Pubblicata per la prima volta nel 1748, fu inizialmente considerata come una semplice identità per mettere in connessione una somma finita con una frazione continua finita in modo tale che l'estensione al caso infinito fosse immediatamente evidente.[1] Oggi è maggiormente apprezzata come strumento utile ad affrontare analiticamente il problema generale della convergenza per le frazioni continue infinite con elementi complessi.
Eulero derivò la formula mettendo in connessione una somma finita di prodotti con una frazione continua finita.
![{\displaystyle a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+\cdots +a_{0}a_{1}a_{2}\cdots a_{n}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{1+a_{2}-{\cfrac {\ddots }{\ddots {\cfrac {a_{n-1}}{1+a_{n-1}-{\cfrac {a_{n}}{1+a_{n}}}}}}}}}}}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a3330abc088ab1f6283e0bbc2e6b0924c82fe0e)
L'identità può essere dimostrata facilmente per induzione su n e, perciò, è applicabile al limite: se l'espressione a sinistra iviene estesa per rappresentare una serie convergente, allora anche l'espressione a destra può essere estesa per rappresentare una frazione continua infinita convergente.
Se ri sono numericomplessi e x è definito da
![{\displaystyle x=1+\sum _{i=1}^{\infty }r_{1}r_{2}\cdots r_{i}=1+\sum _{i=1}^{\infty }\left(\prod _{j=1}^{i}r_{j}\right)\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26346fe1972a0006e35eb49503b8836d640784d5)
allora questa uguaglianza può essere provata per induzione
.
dove l'uguaglianza deve essere intesa come equivalenza, nel senso che l'n-esimo convergente (cioè l'n-esima frazione continua finita ottenuta troncando la frazione continua infinita dopo n iterazioni) di ciascuna frazione continua è uguale all'n-esima somma parziale della serie scritta sopra. Quindi, se tale serie è convergente – o uniformemente convergente, quando gli ri sono funzioni di qualche variabile complessa z – allora anche le frazioni continue finite convergono o convergono uniformemente.[2]
L'espressione
può essere riscritta sotto forma di una frazione continua.
![{\displaystyle {\begin{aligned}a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+a_{0}a_{1}a_{2}a_{3}&=a_{0}(a_{1}(a_{2}(a_{3}+1)+1)+1)\\[8pt]&={\cfrac {a_{0}}{\cfrac {1}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}\\[8pt]&={\cfrac {a_{0}}{{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)+1}{a_{1}(a_{2}(a_{3}+1)+1)+1}}-{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}}\\[8pt]&={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)+1}{a_{2}(a_{3}+1)+1}}}}}\\[8pt]&={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{2}(a_{3}+1)+1}}+{\cfrac {a_{2}(a_{3}+1)+1}{a_{2}(a_{3}+1)+1}}-{\cfrac {a_{2}(a_{3}+1)}{a_{2}(a_{3}+1)+1}}}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}(a_{3}+1)}{a_{2}(a_{3}+1)+1}}}}}}\\[8pt]&={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{\cfrac {a_{2}(a_{3}+1)+1}{a_{3}+1}}}}}}}\\[8pt]&={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{{\cfrac {a_{2}(a_{3}+1)}{a_{3}+1}}+{\cfrac {a_{3}+1}{a_{3}+1}}-{\cfrac {a_{3}}{a_{3}+1}}}}}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{1+a_{2}-{\cfrac {a_{3}}{1+a_{3}}}}}}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2220d0ee296b162bc6d1d865431c25db083f18de)
Ciò può essere applicato ad una sequenza di qualsiasi lunghezza e, perciò, si può applicare anche nel caso infinito.
La funzione esponenziale ez è una funzione intera esprimibile come serie di potenze che converge uniformemente su ogni dominio limitato nel piano complesso.
![{\displaystyle e^{z}=1+\sum _{n=1}^{\infty }{\frac {z^{n}}{n!}}=1+\sum _{n=1}^{\infty }\left(\prod _{j=1}^{n}{\frac {z}{j}}\right)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9cf16ec994536669a3d685bc5a5cb3a143fc1ec)
L'applicazione della formula della frazione continua di Eulero è semplice:
![{\displaystyle e^{z}={\cfrac {1}{1-{\cfrac {z}{1+z-{\cfrac {{\frac {1}{2}}z}{1+{\frac {1}{2}}z-{\cfrac {{\frac {1}{3}}z}{1+{\frac {1}{3}}z-{\cfrac {{\frac {1}{4}}z}{1+{\frac {1}{4}}z-\ddots }}}}}}}}}}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28d6768fa3e1ef48d5b40e164f4665a0a4754b58)
Applicando una trasformazione equivalente che consiste nel semplificare le frazioni, l'espressione in questo esempio si semplifica ulteriormente
![{\displaystyle e^{z}={\cfrac {1}{1-{\cfrac {z}{1+z-{\cfrac {z}{2+z-{\cfrac {2z}{3+z-{\cfrac {3z}{4+z-\ddots }}}}}}}}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b7448731ad70100490f1c967e6aceab79dded59)
dopo di che, certamente questa frazione continua converge uniformemente su ogni dominio limitato nel piano complesso perché è equivalente alle serie di potenze per ez.
The Serie di Taylor per il ramo principale della funzione logaritmo naturale in un intorno di z = 1 è nota:
![{\displaystyle \log(1+z)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}-{\frac {z^{4}}{4}}+\cdots =\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}z^{n}}{n}}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33c4c491cfc6cd32e67569fdd7d26e20fc11e09c)
Questa serie converge quando |z| < 1 e può essere espressa anche come una somma di prodotti:[3]
![{\displaystyle \log(1+z)=z+(z)\left({\frac {-z}{2}}\right)+(z)\left({\frac {-z}{2}}\right)\left({\frac {-2z}{3}}\right)+(z)\left({\frac {-z}{2}}\right)\left({\frac {-2z}{3}}\right)\left({\frac {-3z}{4}}\right)+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e38839926adf0cc9aec0f829383f0f679bf2037a)
Applicando la formula della frazione continua di Eulero a questa espressione si ha
![{\displaystyle \log(1+z)={\cfrac {z}{1-{\cfrac {\frac {-z}{2}}{1+{\frac {-z}{2}}-{\cfrac {\frac {-2z}{3}}{1+{\frac {-2z}{3}}-{\cfrac {\frac {-3z}{4}}{1+{\frac {-3z}{4}}-\ddots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d282def15f592d3c7145f1f8cfe572ca92ed71c3)
ed applicando poi una trasformazione equivalente per semplificare tutte le frazioni risulta
![{\displaystyle \log(1+z)={\cfrac {z}{1+{\cfrac {z}{2-z+{\cfrac {2^{2}z}{3-2z+{\cfrac {3^{2}z}{4-3z+\ddots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29b379d0014765ae7c83abd3935ae5d8939839b3)
Questa frazione continua converge quando |z| < 1 poiché è equivalente alla serie da cui è stata ottenuta.[3]
La serie di Taylor della funzione seno converge sull'intero piano complesso e può essere espressa come somma di prodotti.
![{\displaystyle {\begin{aligned}\sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}&=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+{\frac {x^{9}}{9!}}-\cdots \\[8pt]&=x+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)\left({\frac {-x^{2}}{4\cdot 5}}\right)+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)\left({\frac {-x^{2}}{4\cdot 5}}\right)\left({\frac {-x^{2}}{6\cdot 7}}\right)+\cdots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc847450258bfb8bba32de1c626c47468155a663)
Si può applicare la Formula della frazione continua di Eulero
![{\displaystyle {\cfrac {x}{1-{\cfrac {\frac {-x^{2}}{2\cdot 3}}{1+{\frac {-x^{2}}{2\cdot 3}}-{\cfrac {\frac {-x^{2}}{4\cdot 5}}{1+{\frac {-x^{2}}{4\cdot 5}}-{\cfrac {\frac {-x^{2}}{6\cdot 7}}{1+{\frac {-x^{2}}{6\cdot 7}}-\ddots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c83d6885f3c937a874566556d782f0d8a309f6d6)
Si può poi utilizzare una trasformazione equivalente per semplificare i denominatori:
![{\displaystyle \sin x={\cfrac {x}{1+{\cfrac {x^{2}}{2\cdot 3-x^{2}+{\cfrac {2\cdot 3x^{2}}{4\cdot 5-x^{2}+{\cfrac {4\cdot 5x^{2}}{6\cdot 7-x^{2}+\ddots }}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ae5cdfd66bd7be2e7da75309f96379d121c7266)
Lo stesso ragionamento può essere applicato alla funzione coseno:
![{\displaystyle {\begin{aligned}\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}&=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+{\frac {x^{8}}{8!}}-\cdots \\[8pt]&=1+{\frac {-x^{2}}{2}}+\left({\frac {-x^{2}}{2}}\right)\left({\frac {-x^{2}}{3\cdot 4}}\right)+\left({\frac {-x^{2}}{2}}\right)\left({\frac {-x^{2}}{3\cdot 4}}\right)\left({\frac {-x^{2}}{5\cdot 6}}\right)+\cdots \\[8pt]&={\cfrac {1}{1-{\cfrac {\frac {-x^{2}}{2}}{1+{\frac {-x^{2}}{2}}-{\cfrac {\frac {-x^{2}}{3\cdot 4}}{1+{\frac {-x^{2}}{3\cdot 4}}-{\cfrac {\frac {-x^{2}}{5\cdot 6}}{1+{\frac {-x^{2}}{5\cdot 6}}-\ddots }}}}}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfba04d28890375b61217b61171786d3860d958a)
da cui
![{\displaystyle \cos x={\cfrac {1}{1+{\cfrac {x^{2}}{2-x^{2}+{\cfrac {2x^{2}}{3\cdot 4-x^{2}+{\cfrac {3\cdot 4x^{2}}{5\cdot 6-x^{2}+\ddots }}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc48c3ad9e4760907bc34abda83bbc74f04f8f6d)
Le funzioni trigonometriche inverse possono essere rappresentate come frazioni continue.
![{\displaystyle {\begin{aligned}\sin ^{-1}x=\sum _{n=0}^{\infty }{\frac {(2n-1)!!}{(2n)!!}}\cdot {\frac {x^{2n+1}}{2n+1}}&=x+\left({\frac {1}{2}}\right){\frac {x^{3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {x^{5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {x^{7}}{7}}+\cdots \\[8pt]&=x+x\left({\frac {x^{2}}{2\cdot 3}}\right)+x\left({\frac {x^{2}}{2\cdot 3}}\right)\left({\frac {(3x)^{2}}{4\cdot 5}}\right)+x\left({\frac {x^{2}}{2\cdot 3}}\right)\left({\frac {(3x)^{2}}{4\cdot 5}}\right)\left({\frac {(5x)^{2}}{6\cdot 7}}\right)+\cdots \\[8pt]&={\cfrac {x}{1-{\cfrac {\frac {x^{2}}{2\cdot 3}}{1+{\frac {x^{2}}{2\cdot 3}}-{\cfrac {\frac {(3x)^{2}}{4\cdot 5}}{1+{\frac {(3x)^{2}}{4\cdot 5}}-{\cfrac {\frac {(5x)^{2}}{6\cdot 7}}{1+{\frac {(5x)^{2}}{6\cdot 7}}-\ddots }}}}}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e48943c46be1565da33ae0668dce771c7e1586fb)
Con una trasformazione equivalente si ottiene
![{\displaystyle \sin ^{-1}x={\cfrac {x}{1-{\cfrac {x^{2}}{2\cdot 3+x^{2}-{\cfrac {2\cdot 3(3x)^{2}}{4\cdot 5+(3x)^{2}-{\cfrac {4\cdot 5(5x^{2})}{6\cdot 7+(5x^{2})-\ddots }}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc672d9b1a66ad52d47fbd5c780b93c1f1fabb2)
La frazione continua per la funzione arcotangente è semplice:
![{\displaystyle {\begin{aligned}\tan ^{-1}x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n+1}}{2n+1}}&=x-{\frac {x^{3}}{3}}+{\frac {x^{5}}{5}}-{\frac {x^{7}}{7}}+\cdots \\[8pt]&=x+x\left({\frac {-x^{2}}{3}}\right)+x\left({\frac {-x^{2}}{3}}\right)\left({\frac {-3x^{2}}{5}}\right)+x\left({\frac {-x^{2}}{3}}\right)\left({\frac {-3x^{2}}{5}}\right)\left({\frac {-5x^{2}}{7}}\right)+\cdots \\[8pt]&={\cfrac {x}{1-{\cfrac {\frac {-x^{2}}{3}}{1+{\frac {-x^{2}}{3}}-{\cfrac {\frac {-3x^{2}}{5}}{1+{\frac {-3x^{2}}{5}}-{\cfrac {\frac {-5x^{2}}{7}}{1+{\frac {-5x^{2}}{7}}-\ddots }}}}}}}}\\[8pt]&={\cfrac {x}{1+{\cfrac {x^{2}}{3-x^{2}+{\cfrac {(3x)^{2}}{5-3x^{2}+{\cfrac {(5x)^{2}}{7-5x^{2}+\ddots }}}}}}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d12abf4c05581843e491d5c3609e1a43b17638b1)
Possiamo utilizzare gli esempi precedenti coinvolgendo la funzione arcotangente per costruire una rappresentazione come frazione continua di π. Infatti, possiamo osservare che
![{\displaystyle \tan ^{-1}(1)={\frac {\pi }{4}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fd323a8cf6c6a3229ba9a099e79fcc8dab9ee35)
Allora, ponendo x = 1 nel risultato precedente, otteniamo immediatamente
![{\displaystyle \pi ={\cfrac {4}{1+{\cfrac {1^{2}}{2+{\cfrac {3^{2}}{2+{\cfrac {5^{2}}{2+{\cfrac {7^{2}}{2+\ddots }}}}}}}}}}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd82f52596d0307f1318b1a7d07dcca6fca0111b)
Ricordando la relazione tra le funzioni iperboliche e le funzioni trigonometriche,
![{\displaystyle \sin ix=i\sinh x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/675f09b65e3395f3dd8c9d0894c631bce1bdf909)
![{\displaystyle \cos ix=\cosh x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9421132535a9d72c14427096a02ca978854c32ba)
ed essendo
si ricavano facilmente le seguenti frazioni continue da quelle scritte sopra:
![{\displaystyle \sinh x={\cfrac {x}{1-{\cfrac {x^{2}}{2\cdot 3+x^{2}-{\cfrac {2\cdot 3x^{2}}{4\cdot 5+x^{2}-{\cfrac {4\cdot 5x^{2}}{6\cdot 7+x^{2}-\ddots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b80703e22f63d0d28f2b6d1d152798928952e48)
![{\displaystyle \cosh x={\cfrac {1}{1-{\cfrac {x^{2}}{2+x^{2}-{\cfrac {2x^{2}}{3\cdot 4+x^{2}-{\cfrac {3\cdot 4x^{2}}{5\cdot 6+x^{2}-\ddots }}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1059c64fba7f4bd632419d185e388cb551b30bd)
Le funzioni iperboliche inverse sono correlate alle funzioni trigonometriche inverse in modo simile a come lo sono funzioni iperboliche e funzioni trigonometriche,
![{\displaystyle \sin ^{-1}ix=i\sinh ^{-1}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8174bc48767a1b3882b87ae77adcd195b86f586)
![{\displaystyle \tan ^{-1}ix=i\tanh ^{-1}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb9f015500b5424cbf1606a0bb5c1205d8b749ef)
e le seguenti frazioni continue sono facilmente ricavabili:
![{\displaystyle \sinh ^{-1}x={\cfrac {x}{1+{\cfrac {x^{2}}{2\cdot 3-x^{2}+{\cfrac {2\cdot 3(3x)^{2}}{4\cdot 5-(3x)^{2}+{\cfrac {4\cdot 5(5x^{2})}{6\cdot 7-(5x^{2})+\ddots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1a2387e8f1913f1098461af099f62768fd9d5c8)
![{\displaystyle \tanh ^{-1}x={\cfrac {x}{1-{\cfrac {x^{2}}{3+x^{2}-{\cfrac {(3x)^{2}}{5+3x^{2}-{\cfrac {(5x)^{2}}{7+5x^{2}-\ddots }}}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d4ab04c808402b68a9f7bdc1c956ae8edfcaa8b)
- ^ Leonhard Euler, 18, in Introductio in analysin infinitorum, I, 1748.
- ^ Wall 1948, p. 17
- ^ a b Questa serie converge per |z| < 1, per il criterio di Abel (applicato alla serie di log(1 − z)).
- H. S. Wall, Analytic Theory of Continued Fractions, D. Van Nostrand Company, Inc., 1948; reprinted (1973) by Chelsea Publishing Company ISBN 0-8284-0207-8.