137
CALCUL DIRECT DES SÉRIES.
nous pouvons également les considérer comme des fonctions
des
des
des
et des
Je me propose de démontrer que
ces fonctions sont développables suivant les puissances des
et des ![{\displaystyle \tau _{i}^{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10c8e59c445a1bb4482260060411521dccb2d197)
Cette proposition est susceptible d’un autre énoncé évidemment
équivalent. Reprenons les variables
nos fonctions
seront périodiques par rapport aux
et aux
et, par
conséquent, développables en séries trigonométriques. Soit
![{\displaystyle \mathrm {A} \cos h\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbe98b61351e08f00f6a37433c82dfd8d75521ef)
ou
![{\displaystyle \quad \mathrm {A} \sin h\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/19291a3a91cca5ec7e2776293a4e9a1482722809)
un terme d’une de ces séries ; je suppose que
![{\displaystyle h={\textstyle \sum }\,m_{k}w_{k}+{\textstyle \sum }\,m_{k}'w_{k}',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97a042a198d8556136b0441706f8adb336ad7eb0)
les
et les
étant des entiers positifs ou négatifs. Les coefficients
sont des fonctions des
et des ![{\displaystyle x_{i}'^{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24ea9ec1ec5274d0a72b36151fb7df2a2eda6dbb)
Eh bien, notre proposition peut s’énoncer comme il suit :
est développable suivant les puissances des
Le développement est divisible par
![{\displaystyle \left(x_{i}'^{0}\right)^{|m_{i}'|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ad57b70d4dd15afa591b82e2ea65dd7b5f09bbb)
et tous ses termes contiennent
à une puissance paire si
est pair ou à une puissance impaire si
est impair.
Pour démontrer cette proposition, je me servirai d’un raisonnement
de récurrence. Dans le numéro précédent, nous avons
déterminé successivement les fonctions
par une série
d’équations auxquelles je conserverai ici le même numérotage que
dans le numéro précédent.
Il s’agit de démontrer que les valeurs des fonctions déterminées
par ces équations sont développables suivant les puissances des
et
J’observe d’abord que,
étant développable suivant les puissances
des
et des
les fonctions que nous avons appelées
sont développables suivant les puissances de
(12)
|
|
|