235
NON-EXISTENCE DES INTÉGRALES UNIFORMES.
il vient
![{\displaystyle \Phi _{0}\left({\begin{array}{c}x_{1},\,x_{2},\,\ldots ,\,x_{n}\\y_{1},\,y_{2},\,\ldots ,\,y_{n}\\\end{array}}\right)=\psi \left({\begin{array}{c}\mathrm {F} _{0},\,x_{2},\,\ldots ,\,x_{n}\\y_{1},\,y_{2},\,\ldots ,\,y_{n}\\\end{array}}\right)\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97dc06d40809c251aeedde3fc63e65c3a7b86207)
est une fonction uniforme des
et des
si l’on y remplace
par la fonction uniforme
on obtiendra une fonction uniforme
de
de
et des
mais, par hypothèse, cette fonction
ne dépend que de ![{\displaystyle \mathrm {F} _{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f35d7133ed16ec752e55fb04946f919fe1d42d2)
Donc
est fonction uniforme de
Cela a lieu pourvu que
ne s’annule pas dans le domaine D ;
cela aura lieu également si l’une des dérivées
ne s’annule pas
dans le domaine D.
Cela posé, si
est une intégrale uniforme, il en sera de même de
![{\displaystyle \Phi -\psi (\mathrm {F} ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4922886720c4ce344336190a446dddc11e1b5e0)
est développable suivant les puissances de
et de plus
est divisible par
puisque
est nul. Posons donc
![{\displaystyle \Phi -\psi (\mathrm {F} )=\mu \Phi '\,:}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1df4fdbed0e792486973321e5966511483bb5f4)
sera une intégrale analytique et uniforme et il viendra
![{\displaystyle \Phi '=\Phi '_{0}+\mu \Phi '_{1}+\mu ^{2}\Phi '_{2}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8b5e7536fbcf3d6a88c475a195bb126a5d9a872)
En général,
ne sera pas une fonction de
si cela avait lieu,
on recommencerait la même opération.
Je dis qu’en recommençant ainsi cette opération, on finira par
arriver à une intégrale qui ne se réduira pas à une fonction de
pour
À moins toutefois que
ne soit une fonction de
auquel cas
les deux intégrales
et
ne seraient plus distinctes.
En effet, soit
le jacobien, ou déterminant fonctionnel de
et
de
par rapport à deux des variables
et
Je puis supposer
que ce jacobien n’est pas identiquement nul, puisque, si tous les
jacobiens étaient nuls,
serait fonction de
ce que nous ne
supposons pas.
sera manifestement développable suivant les puissances de
De plus
s’annulera avec
puisque
est fonction de
sera