• Aucun résultat trouvé

Sur le développement des fonctions satisfaisant à une équation différentielle algébrique

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Sur le développement des fonctions satisfaisant à une équation différentielle algébrique"

Copied!
7
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

A NNALES SCIENTIFIQUES DE L ’É.N.S.

A. H

URWITZ

Sur le développement des fonctions satisfaisant à une équation différentielle algébrique

Annales scientifiques de l’É.N.S. 3e série, tome 6 (1889), p. 327-332

<http://www.numdam.org/item?id=ASENS_1889_3_6__327_0>

© Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1889, tous droits réservés.

L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www.

elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright.

Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques

http://www.numdam.org/

(2)

SUR LE

DÉVELOPPEMENT DES FONCTIONS

SATISFAISANT

A UNE ÉQUATION DIFFÉRENTIELLE ALGÉBRIQUE,

PAU M. A. HURWITZ,

PKOFESSEUK A I/UNIVERSITÉ DE KOENIGSBERG.

Dans le Tome IV (année 1887) de ces Annales, M. Gomes Teixein a énoncé le théorème suivant :

La série

( i ) y = ao-4- a^x 4- a^r2-!-.. .4- a^.^•/ f c+...,

où O(P a^ a^» ... représentent des fractions réduites à leur plus simple ex"

pression, ne peut pas être le développement d9 une fonction définie par une équation algébrique relativement à x^ y, y\ .. ., y^ à coefficients en- tiers

W F ( ^ , y , / , . . . , j ^ ) = : o ,

si les dénominateurs de a^^y a^^y ... contiennent indéfiniment des/ac- teurs premiers supérieurs respectivement à n-+-1, n4-2, ....

Mais ce théorème n'est pas juste. En effet, considérons la série

ï / ,- /""\ X X1 X^

y=^(^+.-^)=I+^+^+...+^j+...,

(3)

828 A. nuKwn'x.

qui satisfait à l'équation

f^y-^r 2 y'^-Y = 0.

Le dénominateur (2/1) ! du coefficient de ^ contient, dès n = i, un facteur premier supérieur à n, attendu qu'il y a toujours au moins un nombre premier entre les limites n et 2n.

Comment faut-il modifier le théorème de M. Teixeira? Pour répondre à cette question, supposons que la série (r) satisfasse à l'équation (2), sans vérifier une équation de degré moindre en j^. Désignons, en outre, pour plus de simplicité, par les lettres

///"» & ri • • •

des fonctions entières à coefficients entiers des quantités

•^ r> ./» • • • . y ^ '

En differentiant l'équation (2), on trouve un résultat de la forme (3) ^-Dy^^^o.

La substitution de la série (i) pour y donnera (4) /,:==C^-h..., /^o,

et nous pouvons admettre C^o, la série (ï) ne satisfaisant pas à Féqua-

non /,^= ——; == o.r àV

v (}f{l)

Cela posé, différen fions l'équation (^) 2p fois par rapport à x', nous obtenons

(5) y^PV^j^^P^)/,,^...^^^^)^^^^^

comme on le démontre aisément par voie d'induction.

Donnons maintenant à l'entier p une valeur déterminée, assujettie

(4)

SUR LE DÉVELOPPEMENT DES FONCTIONS, ETC. 32C)

seulement a la condition ï + p + i ^ î + ^ p - — À % c'est-à-dire p > k, et faisons, pour abréger, i+ 2p ==/?. L'équation (5) peut alors s'écrire comme suit :

(6) ^(p)/,+y(p-i)y^+. . .+y(^-^/,^,+/^_^^o.

C'est de cette équation, vérifiée par la série (i) et linéaire par rapport àj^, y^-0, ..., j^-^, que je pars. En la d i f f é r e n t i a n t q fois de suite, je trouve

( 7 )

( yU^f^y^^[f^ + ^"/] + . . .

/ r

+y^^ /^+ qf^, ^ . . . ^ ( ^ ) / ^ -^f^-^ = o.

Ici les coefficients de y^"^\ y(/w/-^ . . . ^ y{p^r-^ ge réduisent pour

^ == o à des fonctions entières de y à coefficients rationnels. Ces fonc- tions ne peuvent pas s'évanouir tous, le coefficient de cf dans la der- nière fonction étant C. Ainsi, en posant x == o, l'équation (7) se ré- d u i t à

y^a)( ^ ^ ^ </ ^ . . . + ^a) ^ G(^ j,, . . ., ^(^-a-i,^

où l'entier a est compris entre o et k. Faisons p +q— a == m, nous pouvons écrire finalement

(8) y^ (co+ Ciw +...+ cam^) = c G(yo, Jo. • . •. J^'"^)

pour toute valeur de m dépassant une certaine limite, les coefficients CQ, <^, ..,, Ça, ^ étant des nombres entiers indépendants de m.

A partir d'une certaine valeur n de w, le coefficient de y^ ne peut jamais s^annuler. Par conséquent, si m'^n, les facteurs premiers con-

tenus dans le dénominateur dey^ divisent

g{ m ) = CQ -h Ci m "+-... -h Ca^,

a u t a n t qu'ils ne sont pas contenus dans les dénominateurs de yu,

Ànn. de l'Éc. Normale, à» Série. Tome VI. — OCTOBRE 1889. 42

(5)

33o A. lîunwiTz.

Y^ .. ., j^'"^ (1). Désignons par P le produit des nombres premiers q u i divisent les dénominateurs de yo,y\^ . . . , .y^"'^ Alors les facteurs premiers des dénominateurs de

,v(/î) ,,^?+-1)

^ -—— .r 0 /y ___ _2jL _____ ,

^•-"/rr' ^-^--(^-Fi)!

5

divisent respectivement

nlPg-(n), ^ + r ) ! P ^ ( / ^ ( n + i ) , . . . ou, ce qui. revient au même, respectivement

y(n), y(/i)y(n+ï), ...;

si l'on pose

y ( m ) -== ( n — l ) ! P m g ( W ) =r y^ + y,^ ///, 4- ...-+• y^ ///;-' ( y^ i:::: o, ^ :::= a "r ï ).

Nous pouvons donc énoncer le théorème s u i v a n t :

Si lu série à coefficients rationnels

y = CÎQ ~|- a^ x -+- a^ .z^ -i~ ...-+- a^ ^n +. ..

satisfait à une équation différentielle algébrique, il existe une fonction entière à coefficients entiers

y ( s ) == yo -+. yi .5 H- yg ,52 +. . . + yv ^v,

r^ ^n nombre entier n tel que les facteurs premiers contenus dans les dé-

(1) En désignant par dy, d^ ..., d^i les dénominaleurs de jo? .T^ - • - , :r\ft'i"i\ on trouve évidemment, à Faide de l'équation (8),

^^'^^^^^^[^^

A,» représentant un nombre entier.

(6)

SUR LE DÉVELOPPEMENT DES FONCTIONS, ETC. 331 nominateurs des fractions réduites

divisent respectivement

yW. y ^ O y O + i ) , 7 ( ^ ) 7 ( ^ 4 - 1 ) 7 ( ^ 4 - s), . . . .

Les nombres y(^), y(^ 4- r), y(/i 4- 2), . . . sont tous différents de zéro.

Nous avons omis l'hypothèse que l'équation différentielle en ques- tion soit à coefficients entiers, parce que la série y satisfait nécessaire- ment à une telle équation, si elle vérifie une équation algébrique quel- conque.

C'est là le théorème (généralisation d'une proposition connue d'Ei"

senstein) qu'il f a u t substituer au théorème de M. Tcixeira.

En se (bridant sur notre théorème;, il est aisé de former des séries ne vérifiant aucune équation différentielle algébrique.

Considérons, par exemple, la série

•z'2 .z-3 x^

y.=,,^^^^ + ^ ^ . . . ^ ^^+...,

qui représente une fonction holomorphe pour toutes les valeurs finies de x. Si cette série satisfaisait à une équation différentielle algébrique, il existerait u n e fonction y(s) jouissant des propriétés énoncées plus liant. Supposons, comme il est permis, que y^ soit positif et détermi- nons m tellement grand que

y ( m ) > y ( w — ï ) , y ( w ) > 7 ( / n — 2 ) , ..., y{m)'>y{n), m^ 2 y ( w ) .

Comme il y a toujours un nombre premier entre les limites y(/?%) et 2y(w), il est clair que (w^)! contient au moins un facteur premier qui ne divise pas le produit

7 ( ^ ) 7 ( ^ 4 - 1 ) . ..y(w).

(7)

332 À. HURWITZ. — SUR LE DÉVELOPPEMENT DES FONCTIONS, ETC.

Mais cela ne s'accorde pas avec notre théorème. Ainsi nous avons la proposition :

La fonction

X- X " A

^

W = i + ^ + ^ + ^ +. . .4- ^ +.

ne salis/au à aucune équation différentielle algébrique.

Je remarque, en terminant, qu'il y a des fonctions de la même pro- priété déjà parmi les fonctions élémentaires. En effet, M. EIôlder, dans un autre ordre d'idées, a démontré (Math. Annalen, t. X X V I I I ) que la fonction r'(;r) d'Euler ne vérifie aucune équation différentielle algé- brique.

Références

Télécharger maintenant ( PDF - 7 Page - 541.76 KB )

Documents relatifs

Le développement durable

ou développement durable qui se définit &#34; Un développement qui réponds aux besoins du présent sans compromettre la capacité des générations futures à répondre

Sur une équation différentielle du second ordre qui joue un rôle important dans la mécanique céleste

Sur une équation différentielle du second ordre qui joue un rôle important dans la mécanique céleste.. Annales de la faculté des sciences de Toulouse 1 re série, tome 2

Analise transcendante. Sur quelques cas de développement des fonctions, et en particulier sur le développement des puissances fractionnaires des sinus et cosinus

Sur quelques cas de développement des fonctions, et en particulier sur le développement des puissances fractionnaires des sinus et cosinus.. Annales de Mathématiques pures

Sur une formule relative au potentiel de simple couche et son application à la recherche des fonctions harmoniques, satisfaisant à certaines conditions

Sur une formule relative au potentiel de simple couche et son application à la recherche des fonctions harmoniques, satisfaisant à certaines conditions.. Annales scientifiques

Sur la représentation trigonométrique approchée des fonctions satisfaisant à une condition de Lipschitz

A condition de spécifier que G ne contiendra que de telles fonctions, on peut donc supposer que les intégrales qu'on rencontrera sont de la nature de celles qu'on considère dans

Sur quelques séries pour le développement des fonctions à une seule variable

Ainsi se trouve exprimée par une intégrale définie la somme des (m-i-i) premiers termes de la série. Dans chaque cas, on pourra faire usage de cette expression pour reconnaître

Sur le calcul des fonctions symétriques des racines d'une équation

3° Toute fonction symétrique entière et homogène d'un certain nombre de lettres est composée linéaire- ment de fonctions symétriques de la forme 2«*Z^.... , X sont des nombres

Note sur la résolution d'une classe particulière d'équations à plusieurs inconnues

Cette méthode revient à trouver les coefficients d'une équation de degré n, lorsqu'on connaît les valeurs de n fonctions symétriques des racines de cette équation ;