Développement des fonctions en séries entières

Si nous pouvons exprimer une fonction \(f(x)\) quelconque avec une somme de puissances de \(x\), finie (\(\Rightarrow\)polynôme) ou infinie, alors nous sommes en mesure de l'intégrer, terme à terme. C'est pourquoi, au Japon et ailleurs, l'avancée majeure dans le calcul intégral et dans le calcul de \(\pi\) fut la découverte de sommes infinies de puissances de \(x\) (séries entières) pouvant exprimer certaines fonctions non polynomiales de \(x\), dont les fonctions trigonométriques en particulier. Les premières traces des séries entières exprimant des fonctions trigonométriques viennent de l'école de Kerala, en Inde, entre les XIVe et XVIe siècles. Du côté européen, on attribue à NewtonLeibniz et Gregory la découverte de ces séries dans la deuxième moitié du XVIIe siècle.  

Dans le contexte de la période d'Edo, où l'on ne disposait pas formellement des fonctions trigonométriques usuelles, telles \(\sin \), \(\cos\) et \(\tan\), on doit ce pas décisif à Takebe Katahiro, élève de Kowa Seki. Takebe est notamment connu pour avoir livré 41 décimales de \(\pi\) dans sa publication de 1722,  Tetsujutsu Sanke.  Il y est parvenu grâce à ses techniques d'analyse numérique, comparables à la méthode d'intégration de Romberg (1955), utilisant la méthode d'extrapolation de Richardson (1910).  

Takebe livre alors, dans son Tetsujutsu Sankei, une série entière pour la demi-longueur au carré d'un arc de cercle \((\frac{L}{2})^2\) en fonction de la longueur du sagitta \(= s = r(1 - \cos{\theta }) \).  Le sagitta, ou sinus verse, est la hauteur de l'arc de cercle de rayon \(r\) couvrant un angle de \( 2 \theta\), qui part du milieu de l'arc et se rend au millieu de la corde le sous-tendant, comme c'est illustré ci-contre. Takebe découvrit sa formule en observant les décimales d'un nombre qu'il a calculé avec une remarquable précision, à l'aide du soroban, soit la demi-longueur de l'arc au carré, \( (\frac{L}{2})^2\), pour un diamètre \(2r = 10\) et un sagitta \(s=10^{-5}\):

$$ \big(\frac{L}{2}\big)^2 =0.000010000003333335111112253969066 $$

Posons, pour simplifier la notation, \(S = s \div 2r=10^{-6}\). On peut déjà apercevoir à l'œil nu que cette valeur de \( \big(\frac{L}{2}\big)^2\) est approché par \( 2r (S + \frac{1}{3} S^2 )\).  Takebe se rendit compte d'une régularité dans les coefficients des \(S^k\) et obtint ainsi la série entière en \( S \) exprimant une fonction équivalente à \((2r \arcsin \sqrt{S} )^2  \).  Puisque \(s = r(1 - \cos\theta) = 2r(\sin{\frac{\theta}{2}})^2\), on a bel et bien que \( (\frac{L}{2})= r \theta = 2r (\arcsin{ \sqrt{S} })  \). 

$$  \Big(\frac{L}{2}\Big)^2 = 2r \Big\{  \frac{1}{3} S  + \frac{8}{45} S^2 + \frac{4}{35} S^3 + \frac{128}{1575} S^4  + \ldots \Big\}$$

En prenant un diamètre \(2r = 1\), on obtient le développement en série entière pour \((\arcsin \sqrt{s} )^2  \).  Et en posant \(s=S=1\), on tombe sur une formule pour \(\Big(\frac{\pi}{2}\Big)^2\):

$$  \Big(\frac{\pi}{2}\Big)^2 =  \frac{1}{3} + \frac{8}{45} + \frac{4}{35}+ \frac{128}{1575} + \ldots  = \sum_{j=0}^{\infty} \frac{2^{2n+1}(n!)^2}{(2n+2)!}$$

 

Découverte d'autres séries entières

Après Takebe, d'autres mathématiciens ont emboîté le pas dans une théorie plus explicite des développements en séries entières.  Dans publication de 1842, Enri Sankei, Koide Kanemasa dévoile les travail de son maître Wada Nei.

En présumant que les fonctions \(\sqrt{1-x}\) et \(1\div\sqrt{1-x}\) s'expriment sous forme d'une série entière, il en arrive à déduire les coefficients de ces séries:

$$ \sqrt{1-x}=\sum_{j=0}^{\infty}c_j x^j \\ 1-x = \sum_{j=0}^{\infty}\Big(x^j \sum_{k+m=j}c_k c_m\Big ) \\ 1-x = c_0^2+(2c_0 c_1)x + (2c_0 c_2 + c_1^2)x^2 + (2c_0 c_3 + 2c_1 c_2)x^3 + \ldots $$

On tire de cette égalité que \(1 = c_0^2\), d'où \(c_0 = 1\).  Il suit immédiatement que \(-1=2c_1\), d'où \(c_1=-1/2\).  On peut ainsi trouver successivement tous les \(c_j\) et on obtient la série entière 

$$\sqrt{1-x}=1 -\frac{1}{2}-\frac{1}{8}-\frac{3}{48}-\frac{15}{384}-\ldots = 1 -\frac{1}{2}-\frac{1}{2\,4}  -\frac{1\,3}{2\,4\,6} -\frac{1\,3\,5}{2\,4\,6\,8}-\ldots   $$

d'où l'on peut remarquer la formule

$$\sqrt{1-x}=1-\sum_{j=0}^{\infty}\frac{(2j)!}{(j!)^2 2^{2j}}x^j$$

Prenons la série entière aux coefficients inconnus \(d_j\) pour la fonction \(1\div\sqrt{1-x}\), élevons-la aussi au carré et multiplions par \(1-x\):

$$ \frac{1}{\sqrt{1-x}}=\sum_{j=0}^{\infty}d_j x^j \\ \frac{1}{1-x} = \sum_{j=0}^{\infty}\Big(x^j \sum_{k+m=j}d_k d_m\Big ) \\ 1 = d_0^2+(2d_0 d_1-d_0^2)x + (2d_0 d_2 + d_1^2 - 2d_0 d_1)x^2\\ \hspace{2cm} + (2d_0 d_3 + 2d_1 d_2-2d_0 d_2 + d_1^2)x^3 + \ldots $$

De cette nouvelle égalité on déduit successivement les \(d_j\) et on obtient alors

$$\frac{1}{\sqrt{1-x}}=1 +\frac{1}{2}+\frac{1}{8}+\frac{3}{48}+\frac{15}{384}+\ldots    $$

\(\Rightarrow\) Retour au enri

\(\Rightarrow\) Intégration des fonctions polynomiales

Vers le haut

  Recherche:   
Pavillon Alexandre-Vachon, 1045 av. de la Médecine, Local 1056, Québec (Québec) G1V 0A6 CANADA
Renseignements - Secrétariat: (418)656-2971 / Télécopieur: (418) 656-2817 / mat@mat.ulaval.ca
Ce site utilise TYPO3 Réalisation: Équipe Tactic