UNIVERSITAIRE
DE MATHEMATIOUES
Robert CAMPBELL
Professeur de Mecanique generale a la Faculte des Sciences de Caen
Maitre de Conferences
de Mathematiques pures a l'Ecole polytechnique
LESINTEG
RA
LES
EULERIENNES
ET
LEURS
APPLICATIONS
,
Etudeapprofondie
de la fonction
gamma
PREFACE DE
Ch. PISOT
Professeur
a la Faculte
des Sciences
DUNOD
l?A.RIS
1966
de Paris
T oute reproduction,
meme portielle, de eel ouvroge est interd1te. Une copie ou reproduction
par quelque precede que ce
soil, pho1ogroph1e.
m1crofilm, bande magnetlque,
d1sque ou
autre, cons!ilue une contrefar;on pass1ble des peines prevues
par la 101 du 11 mars 1957 sur la protection des dro1ts d'au!eur.
DuNoo, 1966
PREFACE
Certaines fonctions introduites en Analyse se retrouvent constamment dans
les branches les plus diverses des mathematiques. La raison en est qu'elles
possedent des proprietes extremement variees et sont liees a des questions tres
differentes. Telle est la fonction I'. Depuis Euler, il n'est presque pas de mathematicien qui n'ait eu a apporter une part personnelle a l'etude de cette fonction
et l'ensemble de nos connaissances sur ce sujet est particulierement abondant.
Plusieurs definitions equivalentes ont ete proposees. Celle d 'Euler, la plus
ancienne, relie la fonction I' a l'interpolation. Elle fait pressentir que l'on
retrouvera cette fonction dans les problemes de l 'interpolation. Ces questions
sont liees intimement aux polynomes de Bernoulli; il se trouve effectivement que
la fonction I''/ I' + C + l /x, ou C est la mysterieuse constante d 'Euler,
peut etre consideree comme un polynome de Bernoulli convenablement generalise et correspondant a l 'indice -1. Cela eclaire la definition de I' proposee
par Artin et basee sur la convexite de Log I', ainsi que le developpement asymptotique de Stirling. Par ailleurs les nombres de Bernoulli sont en connexion
etroite avec la fonction ( (s) introduite par Riemann pour l'etude des nombres
premiers, comme le montre la relation Bs = - s C(1 - s). Il n 'est done pas
etonnant que la fonction I', prolongee au complexe par la definition de Gauss,
joue un role particulierement fondamental dans l'etude de C(s). Ces questions
sont actuellement en train de prendre un renouveau d'interet par !'utilisation
a la place de l'analyse dans le corps des nombres complexes, de l'analyse dans
les corps p-adiques et il est a prevoir que dans ces nouveaux domaines, la
fonction I' nous apportera un outil precieux et des sujets de recherches passionnantes.
Rappelons encore le fait que I' n'est solution d'aucune equation differentielle algebrique; ce theoreme (de Holder) est lui aussi de nature arithmetique et confere a la fonction une place a part parmi les fonctions usuelles.
Toutes ces proprietes expliquent l'interet tout particulier que les theoriciens des
nombres portent a cette remarquable fonction. Malgre ma predilection
personnelle pour ces problemes, je ne peux cependant pas passer sous silence
le role, non moins important, que joue la fonction I' dans !'analyse fonctionnelle, dans la transformation de Fourier, dans la transformation de Laplace
et le calcul symbolique. Elle est par suite intimement liee a l'etude des equations
differentielles et des equations aux derivees partielles, ainsi qu'a la convolution.
Par la elle est au centre de la Physique theorique et en est un outil indispensable.
Rediger un ouvrage qui permette au lecteur d'acquerir le plus possible de
connaissances sur la fonction I', s'avere etre une tache particulierement ardue,
M. Robert CAMPBELL
a SU eviter l'ecueil d'ecrire un ouvrage encyclopedique.
Son expose est construit suivant un plan logique impeccable. Au lieu de se
cantonner dans !'enumeration successive des diverses proprietes de la fonction
I', ii les place au contraire dans leur contexte propre, n'hesitant pas a etendre
VIII
PREFACE
le champ des sujets traites. La lecture n'en est nullement rendue plus difficile,
au contraire cette methode permet de mieux approfondir la vraie nature de
la propriete etudiee et en facilite grandement la comprehension.
Je pense que cet ouvrage va etre accueilli avec une grande satisfaction par
tous ceux qui ont a se servir de la fonction r, non seulement par Jes mathematiciens purs qui seront particulierement sensibles a l'ordre et a la rigueur
logique, mais aussi par tous les utilisateurs qui y trouveront a peu pres tous
les resultats connus actuellement et qui pourront etre amenes a des rapprochements tres utiles avec des questions voisines.
Ch. PISOT
Professeur
a la
AVANT-PROPOS
C'est au cours d'une conversation que j'eus, ii y a une dizaine d'annees,
avec le Doyen PERESqu'il fut pour Ia premiere fois question de ce livre. II
m'avait demande de consulter avec un renouveau d'attention un ouvrage qu'il
appreciait particulierement : Les Lq:ons sur /es Equations aux Derivees partielles
du type hyperbolique de M. Hadamard. Dans cet ouvrage, I 'auteur, devant
resoudre un probleme de Cauchy, introduit en effet Ia notion de partie finie
d'une integrale divergente, qui touche a la fois au produit de composition,
et a la sommation des integrales et des series divergentes, et qui aujourd 'hui
debouche directement sur la theorie des distributions.
Le probleme que j'avais alors a resoudre concernait une formule de Sonine
relative aux fonctions de Bessel, dont je pensais que la demonstration devait
etre largement facilitee par !'usage de la derivation d'ordre fractionnaire (1).
Je fus alors conduit a reconsulter, outre l'ouvrage allegue de M. Hadamard,
un autre memoire : L'Jntegrale de Riemann-Liouville et le Probleme de
Cauchy, de M. Marcel Rrnsz, ou ii est fait un usage systematique de la
a valeurs complexes, et en particulier de sa propriete de merofonction I' (<:X)
morphie. M. PERES,ace propos, me signala qu 'ii trouvait regrettable la carence
d'ouvrages (en langue frarn;aise du moins) traitant des fonctions de Bessel,
des fonctions euleriennes, et plus generalement des fonctions <lites speciales
utilisees par la physique mathematique : ii Jui semblait que !'on desertait
systematiquement, dans la recherche comme dans l'enseignement, ce domaine
pourtant si important des mathematiques. Et ii termina l'entretien en me disant
que la redaction d'un ou de plusieurs ouvrages sur ces sujets serait accueillie
par Jui comme une bonne action.
Les recherches que je poursuivais alors sur Ia sommabilite des series de
polynomes orthogonaux me firent abandonner un moment le projet d 'une
telle redaction. C'est seulement quelques annees plus tard que, relatant incidemment a mon camarade Andre Lichnerowicz ces propos du doyen Peres,
je le vis me proposer sur le champ de publier dans sa collection l'ouvrage
suggere. C'est cet ouvrage que je presente aujourd 'hui au public.
Tous Jes ouvrages (ou presque) de langue etrangere qui traitent des Jonctions speciales ont un premier chapitre intitule La Fonction Gamma (2)
( 1) La demonstration
de cette formule, reproduite au cours de ce volume,
par GuELFAND et CHILOV (Les Distributions, Dunod, editeur, 1962).
(2) Citons-en quelques-uns :
a ete donnee
AVANT-PROPOS
AVANT-PROPOS
XI
( 1) On peut s'etonner du fait queje n'ai pas parle, ou presque, de la fonction dite gamma
incomplete (cf Appendice); mais cette fonction, malgre sa denomination, n'est pas
Eulerienne et concerne Jes fonctions hypergeometriques confluentes. Elle pourra faire l'objet
d'un autre ouvrage.
REMARQUES PRELIMINAIRES
relatives aux notations
Les noms d'auteurs ou d'ouvrages cites en notes au bas des pages renvoyent
directement a la Bibliographie a la fin du volume. 11y a par ailleurs des notations ambigues en ce qui concerne les polynomes et surtout les nombres de
Bernoulli comme il est explique aux pages 81 et 86. Dous avons donne la
correspondance entre deux modes de representation mais nous avons utilise
les deux modes pour permettre au lecteur de lire sans difficultes Jes memoires
originaux.
Ainsi, par exemple, ecrivons-nous :
bk quand nous citons un travail de BOURBAKI
et
Bk quand nous nous reportons a WHITTAKER.
..........
PREMIERE
XIX
PARTIE
I -
3
3
. . . .
3.
4.
5.
6.
Legendre-Gauss . . . . . . . .
Cas particuliers simples et usuels . . . .
Formule de Knar . . . . . . . . . . .
Remarque sur la formule de multiplication
Application a l'integrale de Raabe. . . .
.
.
de
.
. . . . . . . .
. . . . . . . .
Legendre-Gauss
. . . . . . . .
4
5
IO
11
14
15
17
18
18
21
22
23
25
26
16
29
30
31
32
33
In I'(x) et de sa derivee . . . . . . . . . . . . . . . . . . . . .
35
XIV
3.
4.
5.
6.
38
39
40
43
43
. . . . . . . .
43
43
45
47
1.
2.
3.
4.
48
50
50
51
52
56
CHAPITRE
II -
2. Nombres de Bernoulli . . . . . . .
1.
2.
3.
4.
5.
64
56
58
60
60
67
. . .
67
<p(x)
68
69
. . .
. . .
de Bernoulli
.....
.
71
72
74
74
77
Definition . . . . . . . . . . . . . . . . . . . . . . . . 77
Determination des nombres de Bernoulli par la methode de Lukas 78
Extension de la propriete et de la methode precedentes .
79
Remarques sur la fonction ((s) de Riemann
82
Remarques et precisions sur la formule de Stirling . . .
82
xv
84
85
88
+ 1) -
f(x) = q;(x)
90
gi (x) = In x. Determination
solution particuliere de (F)i. Theoreme d'unicite (I)
2. Extension de la methode precedente. Theoreme II .
3. Formule de Stirling. Theoreme III . . . . . .
4. Etude du reste dans le developpement de Stirling .
Exercices .....
.
d'une
90
93
95
97
98
4. Fonctions de Bernoulli.
100
CHAPITRE
1. Equation de Bessel
. . . . . .
2. Equation hypergeometrique confluente .
109
110
2. Application de I'(x)
112
Primitive d'ordre fractionnaire
113
Prolongement analytique . . .
114
Derivation d'ordre fractionnaire.
115
Prolongement par serie . . . . .
117
Applications des notions de derivee et de primitive d'ordre non
entier . . . . . . . . . . .
118
7. Remarques sur la convolution . . . . . . . . . . . .
122
2.
3.
4.
5.
6.
125
126
128
133
XVI
133
1.
2.
3.
4.
DEUXIEME PARTIE
LES FONCTIONS EULERIENNES DANS LE DOMAINE COMPLEXE
CHAPITRE
1. Representations -
147
147
149
150
152
159
161
162
162
1. Integrale de Hankel . . . . . .
2. Exemples d'applications de la formule de Hankel
165
3. Expressions de B(J..,) par une integrale de contour (Pochhammer) 166
Exercice . . . . . . . . . . . . . . . . . . .
169
3. Applications des integrates euleriennes
a complexes .
170
170
171
174
176
177
178
179
180
V-
1.
2.
3.
4.
5.
6.
7.
8.
9.
. . . . . . .
2. Formules asymptotiques . . . . . . . .
1.
2.
3.
4.
5.
6.
7.
8.
9.
CHAPITRE
VI -
182
182
183
189
196
198
200
200
201
203
1. Definition de !'original
2. Images de polynomes
3. Applications diverses.
4. Convolution (simple et
5. Produit d'originaux
Exercices . . . . . . . .
et de !'image .
. . . .
. . . .
repetee)
. . . .
182
CAMPBELL
XVII
220
220
221
222
223
224
226
227
227
229
230
232
235
236
237
237
239
2
XVIII
1.
2.
3.
4.
5.
6.
APPENDICE
........
1. La decomposition de Prym
2. La fonction gamma incomplete
BIBLIGRAPIDE
244
255
255
257
261
267
INTRODUCTION
Remarques sur la Definition en general
et sur celle
de la Fonction Gamma en particulier
(1) Frag. 93 (it propos de !'oracle de Delphes) : II ne <lit nine cache, ii fait un signe.
(2)
HUSSERL,
p. 4 et 6.
xx
que ce soit d'autre. Ces regles, ces axiomes sont donnes conventionnellement,
et le Vrai se reduit a !'ensemble des deductions conformes au systeme formel
considere.
Comme l'annonce avec autorite M. Dieudonne a la premiere ligne de son
livre (1) : !'analyse moderne est axiomatique et abstraite, c'est un fait auquel
on ne peut rien changer, meme si on le deplore. Ainsi !'operation fondamentale des mathematiques n'est-elle plus ni la regle de trois, ni le passage a la
limite, c'est la definition.
Et cette science progresse (2), lorsqu 'elle a trouve une definition meilleure.
Ainsi dit-on souvent que, de nos jours, pour faire des mathematiques, ii suffit
de savoir les definitions, (ou, plus precisement, de savoir un systeme coherent
de definitions et d'axiomes). Le travail de l'etudiant en mathematiques consiste
a deduire de ce systeme toutes Jes verites formelles qui s'y trouvent. Chacun y
parvient plus ou moins bien, plus ou moins vite, mais aucun apport de l'exterieur ne peut lui venir en aide. Abandonne a ses propres forces, il ne peut
compter que sur lui.
Pourquoi ces regles-la plutot que d'autres? 11 y a la une question qui ne
concerne pas l'usager. Mais si celui-ci veut approfondir la genese de telle definition dont il se sert, cela ne derange en rien le gouvernement qui siege en haut
lieu, et dont les decrets n 'ont pas besoin d'etre discutes pour etre salutaires.
Ce genre de despotisme eclaire ne peut etre qu'absolu. On nous avait recemment
annonce l'arrivee de la terreur dans les Lettres (3); la voila qui se repand aussi
dans les Sciences. 11 n'y a la rien de bien etonnant, rien d'imprevisible. Ces
regles, ces reglages, ces reglements, portant seulement sur des mots, ne sont
compatibles qu'avec une autorite souveraine; un grand theoricien politique
anglais l'affirmait deja au xvnesiecle :
La science est la connaissance de la verite des propositions. C'est qu 'ii
n 'y a de verite que par rapport aux noms et aux relations qu 'ii est possible
d 'etablir entre eux. Mais s 'ii n 'y a de verite que dans les mots, ii n 'y a pas de
verite, sinon pour les etres qui usent du langage (mais celui-ci n'est lui-meme
que le produit de !'invention arbitraire des hommes) (4). Et selon Hobbes,
cette conception de la verite conduit directement au pouvoir absolu. Par qui,
en effet, cette verite peut-elle etre connue, sinon par le Souverain, puisque c'est
lui qui donne leur nom aux choses, qui decide des regles, done enonce aussi
des definitions (5).
(1) Les Fondements de /'Analyse moderne, (Hermann, 1965).
(2) Si I 'on ose dire par definition .
(3) Jean PAULHAN,Les Fleurs de Tarbes ou la Terreur dans /es Lettres, N.R.F., 1953.
Nous appelons Terreurs ces passages dans I' Histoire des Nations ( qui succedent souvent
a quelque famine), ou ii semble soudain qu'il faille a la conduite de l'Etat, non pas l'astuce
et la methode, ni meme la science et la technique (de tout cela !'on n'a plus que faire), mais
bien plutot une purete de l'iime et la fraicheur de !'innocence commune. (ouvrage cite,p. 54)
(4) Thomas HOBBES,Elements of Law, chap. V, art. 10.
(5) Thomas HOBBES,De Corpore, chap. III, art. 7.
References empruntees a l'ouvrage de Raymond POLIN, Politique et Philosophie chez
Thomas Hobbes, (P. U. F., 1952).
INTRODUCTION
XXI
* *
En ce qui concerne la proposition d 'existence et d 'unicite, Euler, en 1730,
l 'admet tout a fait lui-meme lorsque, cherchant en effet a interpoler la fonction
factorielle, ii se trouve conduit a une infinite de solutions (cf. le chapitre I, 1,
du present volume). Parmi les solutions, qui s'offrent a lui, en existe-t-il une qui
soit la bonne? C'est ce dont il ne doute pas un seul instant, puisqu'il la donne,
s'en tient a elle et l'etudie directement, comme s'il etait impensable qu'il en
put exister une autre. Et quand nous disons qu'Euler la donne , cela veut
dire : sans aucune justification , sans devoiler comment ii l' a trouvee ,
comme s'il la tenait directement de !'oracle. II n'y en a evidemment qu'une
et la voici, nous dit-il, laissant aux algebristes de l'avenir (3) le soin de trouver
XXII
2 1 -"x3"
1+n
2 +n
--X
3 1 -"x4"
(1)
3+n
produit qui, ainsi qu'on peut le verifier aisement, se, reduit, quand n est entier
a n! (2) Euler d'ailleurs ne se soucie en rien de la convergence de ce produit
infini, qu'il l'etudie sans la moindre inquietude, et lui trouve a peu pres toutes
les proprietes fondamentales que l' on demontre aujourd 'hui dans Jes cours sur
la fonction gamma.
Avant de donner une conclusion aces considerations sur la Definition, ii est
juste d 'ouvrir ici une parenthese historique montrant dans quel ordre le genie
d 'Euler posait les questions et par quelles methodes ii les resolvait.
La premiere question qui se pose a lui est evidemment celle du calcul numerique des valeurs de cette fonction quand n n'est pas entier. Comme les bons
eleves, qui commencent par faire le probleme pose sur une cas particulier,
Euler cherche a calculer la valeur de (1) pour x = 1/2, le produit infini (I)
s'ecrit alors :
2x4x
3x3
4x6x
5x5
6x8 x ...
7x7
(2)
Euler reconnait alors cette expression; il l'a deja vue dans une formule due
a Wallis, obtenue, en 1655, dans un travail relatif a la quadrature du cercle,
ou Wallis prouvait que l'aire du cercle de rayon l'unite avait pour expression
le quart de la quantite qui figure sous le radical de (2). (3) L'expression (1)
pour x =-!-vaut done yn.
( 1) Cette fonction se trouve ecrite pour la premiere fois dans l'etude d'Euler intitulee
De Progressionibus transcendentibus seu quorum Termini genera/es algebricas dari nequeunt.
(<Euvres completes, tome XIV, pp. I ii 24).
(2) Remarquons que dans ce choix immediat et decisif, Euler est guide par des considerations qui ne sont pas toutes d'ordre mathematique; au souci d'efficacite en effet s'ajoute
le souci d 'elegance : la nouvelle fonction qui doit etre la plus utile, doit etre egalement la
plus belle. Haec theoria, dit-il, non solum utilitate, sed etiam pulchritudine diligentium sibi
postulat. (Art. cite).
(3) Ces formules de Wallis sont d'ailleurs classiques encore aujourd'hui; on Jes demontre
regulierement dans Jes cours d'analyse, en application de Ia methode d'integration par
parties, ii partir des integrales :
n/ sin2P x dx, et
Jn/
2
sin2P+l x dx
(3)
(p etant un entier)
....!_
))2
2k
(4)
XXIII
INTRODUCTION
Euler interpolant n! par le produit (1) trouve dans ces conditions que :
n/2
sin" x dx
qui avaient conduit Wallis a la formule (2) fournissant la valeur den sous forme
de produit infini. C'est done a ces integrales qu'Euler se reporte. En posant
COS X = t, J'integra)e
1t/2
s'ecrit :
sin" xdx,
Ll
Mais Euler etudie tout de suite une integrale plus generale que celle-ci, a
savoir
xq(l -x)"dx
(l-x)"
= 1 _ ~x + n(n-1) x 2
1
lx2
x3 +
lx2x3
XXIV
LES INTEGRALES
EULERIENNES
J1
xP(l-x)
. dx= [xq+l
-n
q+l
nxq+z
lx(q+2)
n(n-l)xq+
lx2x(qx3)
- ,
0
soit :
1
n
-------+----q+l
lx(q+2)
n(n-1)
lx2x(q+3)
--
pour n = 2,
1X 2
pour n=3;
(q + l)(q +2)(q +3)
pour n = n; valeur qui est a tres peu de choses pres celle du produit infini ll)
introduit des le debut (1).
Ce calcul aboutit a !'expression suivante de I'(rx):
I'(rx)
t+oo
e-t trldt
que l'on prenait comme definition de I'(rx) au debut de notre siecle et meme
jusqu'a 1950 (et plus). Cette definition etait peu satisfaisante, on la donnait,
elle aussi, comme si on I'avait tenue de !'oracle; la parente avec n! s 'y voyait bien
ma!; bref, elle etait decevante, elle ne collait plus avec son epoque: elle etait
devenu mauvaise . II y avait d'ailleurs eu d'autres definitions de I' depuis
Euler; celles de Gauss, de Legendre, de Weierstrass, et en 1931, celle d'Artin.
On le voit, peu d 'exemples sont plus expressifs que celui de la fonction I' pour
illustrer Jes vicissitudes d'une definition au cours de l'histoire, et montrent
aussi lumineusement la necessite de ces changements. De nos jours, ce n'est
plus tant la formule, l' expression d'une fonction qui compte, mais sa
signification au sein des mathematiques, sa conformite avec les besoins du
siecle, ou encore,_comme disait Cavailles, son uniforme .
J~xq(I
x)n dx et le produit
I)!
+ I) (q + 2)
... (q
+ n)
s'etablit dans Jes cours d'analyse actuels de maniere plus rigoureuse a partir de !'integration
par parties de cette integrale. Nous etablissons ce passage de Ia forme produit infini
a la forme integrale definie au cours du chapitre I.
INTRODUCTION
XXV
Dans son livre qui vient de paraitre en frarn;ais sous le titre : Symetrie et
mathematique moderne , Hermann Weyl nous montre des sculptures grecques,
des tableaux du xve siecle, des etoiles de mer, des polyedres reguliers, des
flocons de neige, des eglises romanes, des coquillages geants, des mosai:ques
persanes et des vases egyptiens etc. Mais M. Georges Guilbaud dans sa preface
nous previent : Ce ne sont pas Jes images qui comptent ici, <lit-ii, c'est ce
qu'il ya derriere , c'est leur signification, et elle est algebrique .
Ainsi en est-ii pour la fonction gamma : nous vivons dans un siecle tout
impregne d'algebre. II nous fallait done la signification algebrique de la fonction
gamma. Artin nous l'a fournie : c'est sa convexite /ogarithmique. Telle est
done, de nos jours, la bonne definition (1).
CHAPITRE PREMIER
= f(x+x')
f(x)f(x')
= f(x+x')
f(x)f(x')
(1)
= 1;
II) [f(x)]2
III) f(x,)
f(x) f( - x)
=f(2x),
ou
f(x)
= f(x,
=[f(x/2)]
+x2
+ ... +xn)
[CHAP. I]
[f(x)]1 1".
Si done
IX
La solution cherchee est done bien la fonction ax. Et l'on s'apen;oit seulement
apres sa determination, que cette fonction obtenue est indefiniment derivable
et convexe.
2. Definition classique de I'(x)
Si l'on veut tenter une interpolation analogue pour la fonction N! definie (1)
elle aussi sur les en tiers, ii faut, la aussi, tenir compte d 'abord de la propriete
fonctionnelle de N!, a savoir :
f(N
+ l) =
Nf(N).
Nous cherchons done, de meme, seulement une solution interpolante f(x) telle
que
f(x
+ 1) =
xf(x).
( 1)
(2)
x/ 1 (x)
= xf 2(x)
[CHAP. I]
/ 1(x)
/ 2 (x)
(3)
egalite qui montre que la fonction f, (x)f/ 2 (x) est periodique et de periode 1.
Ainsi s'aper~oit-on que, si l'on a trouve une solution/ 1 (x) de (2), on en obtient
immediatement une infinite d 'autres en multipliant f 1 (x) par une fonction
periodique arbitraire de periode 1. Le probleme de !'interpolation de N!
admet done (meme si l'on tient compte de !'equation fonctionnelle) encore
une infinite de solutions, circonstance qui ne se produisait pas dans le cas
de la fonction exponentielle. Pour trouver ace probleme une solution univoque,
il faut done la soumettre a d'autres conditions. Bohr et Mollerup ont montre
en 1922 que la fonction r definie par Euler etait convexe( 1 ). Cherchant
a etablir la reciproque, on est parvenu a montrer que, a une Constante numerique pres, la seule solution de f(x + l) = xf(x) qui soit convexe etait la fonction r, d 'ou l 'idee de se servir de cette propriete et de l 'utiliser pour la definition. Cette maniere de definir rest consideree de nos jours comme la meilleure.
Plus commodement on cherche a determiner I'(x) a un facteur pres comme
la solution de (I) qui est logarithmiquement convexe. Cette propriete est un
peu plus forte que la convexite ordinaire. Toute fonction logarithmiquement
convexe est convexe (la proposition inverse est fausse). D'autre part ii est plus
commode de raisonner sur !'equation g(x + l) - g(x) = In x que sur
f(x+I) = xf(x).
3. Definitionmodernede I'(x)
On se propose done de chercher pour !'equation (2)
g(x+l)-g(x)
= In x
une solution convexe definie dans ]O, oo[ et prenant la valeur zero pour x = l;
(ii suffit evidemment de l'obtenir dans l'intervalle ]O, 11).
II n'est que d'ecrire ici la propriete des fonctions convexes selon laquelle,
pour tout entier N > I, la pente de la droite joignant le point (N, g(N)) au
point (x, g(x)) est fonction croissante de x.
On a ainsi les inegalites (avec O < x ~ I)
g(N-1)g(N)
~,--~,--~~~
(N-1)-N
g(N + 1)-g(N)
~,------,~~~
(N+l)-N
(4)
(1) Cf. Laerebog i matematisk Analyse, t. III, Kopenhagen, 1922, pp. 149-164.
(2) Nous designerons dans la suite par In x le logarithme reel de la variable reelle x et
reservons la notation Log z au cas ou la variable z est complexe, et ou !'on choisit la determination principale du logarithme.
= xf(x), que nous
Nous designerons d'autre part par (F) la relation fondamentale/(x+l)
aurons continuellement a utiliser.
[CHAP. I]
:( x In N.
(5)
Courbe y=g(x)
[(N-1) ,g(N-1)
:r
0
FIG. 1-1
= Inx
g(x+l)-g(x)
g(x+2)-g(x+l)
= In (x+l)
= In (x+N-1),
g(x+N)-g(x+N-1)
d'ou:
g(x+N)-g(x)
= Inx + ln(x+l)+
... + ln(x+N-1).
g(N) = ln2+ln3+
... +ln(N-1)
= ln(N-1)!
On en deduit aussitot :
N-1
g(x+N)-g(N)=g(x)+lnx
(ln(x+k)-Ink).
k=l
+ In (N-1)
- In (N-2)+
... + In 1,
ou encore
N
In N = ln -N-1
N-l
+ In -N-2
+ + ln2
= L
k=2
k
In ,
k-l
[CHAP. I]
N-1
k=2
ln-
k-1
~ g(x) + lnx +
L (ln(x+k-1)-
~ x
ln(k-1))
k=2
k=2
k-1
L ln
2) :
k
= x ln -
k-1
- ln (x+k-1)
+ In (k-1)
(6)
et
N
gN(x)
=-
ln x
+L
h=2
(6')
uh(x)
l :
Ainsi g (x), la fonction convexe cherchee, est, si elle existe, la limite, pour N
infini, de gN(x). Or gN(x), grace a l'equation (6'), s'exprime a l'aide d'une
serie convergente uk(x); l'on deduit cette convergence du fait que uk(x) peut
s'ecrire, d'apres (6) :
uk(x)=
+ x: 1)+111(1-D
-xln(1-D-1n(1
qui montre que uk(x), pour x > 0, est un infiniment petit de la forme :
( )
Uk X
x(x-1)
-
2k
Toutes les fonctions uk(x) sont convexes, -lnx aussi; (6)' montre alors que g(x)
!'est aussi. Comme uk(l) = 0, et g(l) = 0, ii reste a verifier que }'equation
fonctionnelle (F 1) admet bien g(x) comme solution. Or on a la relation
uk(x+ 1) = uk+l (x)+x ( In-- k
k-1
k+
- In --
1)
g(x)
=-
lnx +
k=2
uk(x).
:
CJ)
g(x+l)
CAMPBELL
= - ln(x+l)+xln2
k=3
uk(x)
= lnx+g(x).
3
[CHAP. I]
EXERCICES
2----x2x2
1t
1x3
2n
2n+1
X --
X"
1
.Jn(n+B)
-------=---avec -!-<
= I'(x+t),
I'(x+1)
---Jx+e(x)
0),
avec:
B(x)
-x+x--
I'(x)I'(x+l)
r2(x+t)
-x+xF[-l
z,
1. x 1]
z,
,
[CHAP. I]
1
= -,
4
@(1)=--1.
1t
1t
...;7t =
-~---_-_-_-_
~n+e(n)
JxTI
Jx+1
(Inegalite de Watson).
n n.
x(x+ l)(x+2) ... (x+n)
(1)
Cf.
BOURBAKI,
p. 163.
= -- l
n-l
+ ( In-- n
n-l
- -- l ) ,
n-l
(1)
IO
[CHAP. I]
n-1
- --
n-1
ex/(n-1)
(2)
1+-
x
n-1
n-1
n-1
ln--+--
=-
r(x)
+ 00
exfn
TI--,
n=l
(3)
1 +x/n
I'(x)
1 ),
I: (1
--n x+n
I" (x)
-=-y--+
00
-1 - -- 1
n
x+n
(4)
n=t
. fi'eneur
.
1 a
est m
ou ega
a ;
a
n(n-a)
(I +x/n)
1
I(x+n/
I~
---).1
(n-a/
(5)
[CHAP. I]
11
2 :
~[lnI'(x)]=
dxk
(-1)\k-1)!_
(6)
(x + nl
n=o
Je-t
par l'integrale
ta-I dt =I'(Ct.).
f
1
ll(N,Ct.)
(1-xtxa-ldx.
(7)
En integrant
;f
1
ll(N,Ct.)
= [lxa(l-xtl
(1-xt-lxadx.
(8)
Le terme tout integre etant nu!, si !'on integre par parties, de nouveau, dans
la formule (7), on obtient finalement
ll(N, Ct.)=
1x2x3xXN
Ct.(Ct.+
1) (Ct.+N-1)
I'(Ct.) = lim
N--+oo
J(1- _!_)NtN
dt.
(10)
12
[CHAP. I]
I'(Ct.)=
e-,t~-
1 dt.
(11)
O~e
qui permet d'ecrire
-t
1-
(2
N)N~e -t N
(
Jim
N--+co
J(1- _!_)\a-=
i
dt
I'(Ct.).
On peut d 'ailleurs aller plus vite pour effectuer ce passage a Ia limite, en appliquant le critere de convergence dominee de Lebesgue, plus fort que Jes
theoremes de convergence uniforme.
Si une suite de fonctions fN(x), supposees sommables sur un intervalle (a, b),
converge presque partout vers une limite f(x), et que, de plus, ii existe une
fonction :F(x) sommable telle que lfn(x)I~ .'F(x), alors f(x) est elle-meme
sommable et
b
Jim
N--+co
fN(x)dx
(1)
Cf.
WHITTAKER,
p. 242.
f
b
f(x)dx.
[CHAP. I]
13
= (1
--J;J
ta-l
si
O<
SI
x > N
~N
(12)
(13)
On peut aussi obtenir Jes expressions par integrates definies des derivees
successives; ii n'y a qu'a deriver sous le signe somme :
J
00
I'(x)
e-ttx-
1 dt
(14)
f
00
I' '(x)
,x-dt
(14')
e-t(ln tYtx-ldt
(14")
e -tin t
I
00
r<P\x) =
valables pour tout p, puisque Jes integrales du second membre sont toutes
uniformement convergentes.
on pose e-
= u, on obtient :
f[ l]x-1
1
I'(x)
In;
du.
(15)
14
2) En posant maintenant tx
[CHAP. I]
v, on obtient
f
00
r( X )
= -1
e -vl/xd
(16)
X
0
Cette derniere forme est tres utile dans les applications. Si l'on y fait x
on obtient
2,
00
e-t 2 dt
=-!-I'(-!-)=rm=
~n-
(18)
d
t/J(x) = -lnI'(x)=--.
dx
(19)
I'(x)
dx2
00
In r(x) = t/l'(x) =
L --
o (x+n)
(20)
2
t/l'(x)+t/1'(1-x)
00
= L
-oo
--2
7t2
(x+n)
= -. -2-.
(21)
sm nx
_!_=
x2
~
- _!_
2
2
sin nx
(22)
FAYARD
(cf. cours
[CHAP. I]
15
d'une part et
et si l'on remarque que les fonctions 1f!(x)+(1-x)+l/x
-n cot nx+l/x d'autre part sont continues a l'origine, et prennent en ce
point la valeur zero, on obtient immediatement l'egalite
= -n cot nx
1f!(x)+1f!(l-x)
(23)
I'(x)I'(l-x)
n
.
smnx
= -.-
(24)
= - --
[(11-1)!]
4)
(25)
xsin nx
= --
2) I'(}+x)I'(f-x)
3)I'(n+x)I'(n-x)
(25')
cosnx
=
2
I'(n+}+x)I'(n~-!--x)
[I'(n+-m
Yl(1-
__!:!_
sinnxm=l
_mx;)
(25")
_1_TI(l_
cosnx
n=l
4x 2
(2m-1)2
(25"')
Je-'(ln
t)2tx-idt
est positive, I" (x) ne peut done s 'annul er qu 'une fois et, s 'annule en fait,
pour une valeur de x (situee entre 1 et 2 puisque I'(l) = I'(2) = 1); on trouve
que I'(x) a un minimum -0,88560 pour la valeur x 0 - 1,46163... C'est pour
les valeurs de x situees entre +-!-et +2 que la fonction I'(x) est le plus souvent
utilisee clans la pratique. Pour preciser la courbe y = I'(x), on peut calculer
I" (I) et I"(}).
16
[CHAP. I]
rrx!
I'(X)
'
,,
2
'-
:r:
-1
-2
-3
-4
-5
-5 -4
-3
Fm. 1.2. -
-2
-1
< x < 4.
1 'I' (:c)
.-......
1,2
i,.
o,a
1'1..
r-
II'
/
0,4
r,....
I\
-0,4
-0,8
-12
'-3
i"'...._
1,/
' I"....,.,
-........_
"
I/
I/
,1
'
--
-2
-1
F1G.
1.3. -
<
< 5.
i: (-1- !)
n+l
n=l
-y
(26)
et
(27)
[CHAP. I]
17
I -- 1 - -00
1-2
1)=
2n+l
2n+2
21n2.
(29)
EXERCICE
Inegalites verifiees par I'(x)
a I'(x)
= 1/1-a.
f(t) = e-at+ax
= e -(1-a)t
g ()t
(1-a)x+a-1
f
00
00
f(t)g(t)dt
00
[I
[f(t)]PdtJ
[J
[g(t)]qdtJ-a
s'ecrit
00
r(x+a)
00
e-ttx+a-ldt
00
[I
e-ttxdtJ
[J
e-ttx-ldtJl-a)
I'(x+a)
x I'(x).
0
(x+a)
1 -a
I'(x+a).
)1-a
I'(x+a)
---<1.
x 0 r(x)
(Wendel)
18
[CHAP. I]
Si l'on fait ici tendre x vers l'infini, a restant compris entre O et 1, on obtient
la formule asymptotique classique :
Jim I'(x+a)
n...,oo
= 1.
x 0 I'(x)
-----<--
I'(2)I'(2+2a)
2
a2
(Gurland)
+2
l!o
r2(2+a-j/2)
I'(2-j/2)I'(2+2a-j/2)::,:;
(n + 1) 1 -/l
n+{J 2
De nombreux calculs numeriques ont ete effectues pour obtenir des precisions
sur le graphe de I'(x); voir ci-dessous [Cf. chap. 4, p. 160] une methode
faisant intervenir des valeurs complexes de la variable.
1,00
02
04
06
08
1,10
12
14
16
18
1,20
22
24
26
28
1,30
32
34
36
38
1,40
42
44
46
48
1,50
52
54
56
58
1,60
62
64
66
68
1,70
72
74
76
78
1,80
82
84
86
88
1,90
92
94
96
98
2,00
POUR 1,;;;x,;;; 4
I'(x)
I'(x)
I'(x)
I'(x)
1,0000
0,9888
0,9784
0,9687
0,9597
0,9514
0,9436
0,9364
0,9298
0,9237
0,9182
0,9131
0,9085
0,9044
0,9007
0,8975
0,8946
0,8922
0,8902
0,8885
0,8873
0,8864
0,8858
0,8856
0,8857
0,8862
0,8870
0,8882
0,8896
0,8914
0,8935
0,8959
0,8986
0,9017
0,9050
0,9086
0,9126
0,9168
0,9214
0,9262
0,9314
0,9368
0,9426
0,9487
0,9551
0,9618
0,9688
0,9761
0,9837
0,9917
1,0000
2,00
02
04
06
08
2,10
12
14
16
18
2,20
22
24
26
28
2,30
32
34
36
38
2,40
42
44
46
48
2,50
52
54
56
58
2,60
62
64
66
68
2,70
1,0000
1,0086
1,0176
1,0269
1,0365
3,00
02
04
06
08
3,10
12
14
16
18
3,20
22
24
26
28
3,30
32
34
36
38
2,000
2,037
2,076
2,115
2,156
2,198
2,240
2,284
2,330
2,376
2,424
2,473
2,524
2,575
2,629
2,683
2,740
2,798
2,857
2,918
4,00
02
04
06
08
4,10
12
14
16
18
4,20
22
24
26
28
4,30
32
34
36
38
6,000
6,153
6,311
6,473
6,640
6,813
6,990
7,173
7,362
7,556
7,757
7,963
8,176
8,396
8,622
3,40
42
44
46
48
2,981
3,046
3,112
3,181
3,251
3,50
52
54
56
58
3,60
62
64
66
68
3,70
72
74
76
78
3,80
82
84
86
88
3,90
92
94
96
98
4,00
3,323
3,398
3,474
3,553
3,634
3,717
3,803
3,891
3,981
4,075
4,171
4,269
4,371
4,476
4,583
4,694
4,808
4,926
5,047
5,171
5,299
5,431
5,567
5,707
5,851
6,000
4,40
42
44
46
48
4,50
52
54
56
58
4,60
62
64
66
68
8,855
9,096
9,344
9,600
9,864
10,136
10,417
10,707
11,005
11,314
11,632
11,960
12,299
12,648
13,009
13,381
13,766
14,162
14,572
14,995
4,70
72
74
76
78
4,80
82
84
86
88
4,90
92
94
96
98
5,00
15,431
15,882
16,348
16,829
17,325
17,84
18,37
18,91
19,48
20,06
20,67
21,29
21,94
22,60
23,29
24,00
72
74
76
78
2,80
82
84
86
88
2,90
92
94
96
98
3,00
1,0465
1,0568
1,0675
1,0786
1,0900
1,1018
1,1140
1,1266
1, 1395
1, 1529
1,1667
1,1809
1,1956
1,2107
1,2262
1,2422
1,2586
1,2756
1,2930
1,3109
1,3293
1,3483
1,3678
1,3878
1,4084
1,4296
1,4514
1,4738
1,4968
1,5204
1,5447
1,5696
1,5953
1,6216
1,6487
1,6765
1,7051
1,7344
1,7646
1, 7955
1,8274
1,8600
1,8936
1,9281
1,9636
2,0000
20
[CHAP. I]
I'(x) =
I'(x+n+l)
x(x+l)(x+n)
-(n+l)<x<
-n.
(1)
f(x+n)
I) x f(x).
La formule de Weierstra/3 [I, 2, (3)] (p. 10) montre que, quand x tend vers
zero. I'(x) "' I/x. On en deduit que, quand x tend vers -n :
I'(x) ,...., ( - lt
n!(x+n)
(2)
Ainsi la fonction I/ I'(x) est continue sur tout I 'axe reel negatif et definie pour
tout x negatif non entier. Pour la completer, il suffit alors de lui donner la
valeur zero quand x est nul ou entier negatif. On a done alors, pour tout x
reel:
--
1 = 1.
I'(x)
1m x(x+l)(x+n)
nxn!
n---+oo
(l+ -X)
e -x/n .
n=l
(3)
11
I"(x) = I"(x+n+
I'(x)
I'(x+n+
(4)
! __ 1_ ... __
1) _
1)
x
x+ l
1_
x+n
(5)
I"'(x)I'(x)-r'2(x)
r2(x)
= I'"(x+n+l)I'(x+n+l)-I"2(x+n+l)
r2(x + n + l)
+ I, _1
0
__
(x + k) 2
Le premier terme du second membre est positif, car il vaut f/11 (x + n +I), le
second aussi, on en deduit (4).
I' est done convexe pour - (2n + 2) < x < - (2n + I), concave dans le cas
contraire. On en deduit le graphe de I'(x) pour x negatif.
[CHAP. I]
21
n'est pas valable telle quelle pour les valeurs negatives de x, l 'integrale etant
divergente. Cauchy (1) et Saalschiitz (2) l 'ont modifiee en integrant par parties
autant de fois que necessaire pour que l'integrale qui reste soit convergente.
Cauchy des 1827, a donne ainsi, apropos de I'(x), un premier exemple de ce
que l'on nomme aujourd'hui regularisation d'une integrale divergente et
qui constitue un processus tres employe dans la theorie des distributions.
C'est une methode de prolongement analytique qui a ete employee par
Hadamard, et sur laquelle nous reviendrons (3).
Soit done l'integrale (4 )
OCJ
G(x)=
+Jtx-
[e-
-1+t-~+-+(-1/+
2!
.C]dt
k!
(6)
= {-tx[ e -t -l+t-
k+l1tk]}oo
t
12. ++(-1)
k.
!J
OCJ
tx{e- 1 -l+t++(-ll~}dt.
(k-1)!
(6')
G(x) satisfait
1
-G(x+l).
a la
(7)
Six est cornpris entre O et -1, rnais si k est pris nu!, le rnerne raisonnement
subsiste, et l'on a de rnerne :
G(x)
= ! G(x+ 1)
X
Cf.
WHITTAKER,
p. 243.
O>x>-1.
22
[CHAP. I]
Ainsi pour O > x > 1, G(x) = I'(x), }'equation precedente (7) montre que
G(x) coi:ncide avec I'(x) pour toute valeur de x moindre que -1. Ainsi, pour
toute valeur de x negative peut-on ecrire
00
I'(x)=
x-1[
e -1 -1+
tk]
k+l
1++(-1)
k! dt
(8)
ou k est l 'entier immediatement inferieur a - x (la meme remarque sera utilisable dans la definition de I' pour les valeurs complexes).
3. Graphe de I'(x) pour x < 0. Precisions asymptotiques
On a vu que la fonction I'(x), definie d'abord pour x > 0, pouvait etre
prolongee a tout l'axe reel prive des entiers negatifs et de zero. On a vu, d'autre
part, que
n
I'(x)xI'(l-x)
= --.
sin nx
En changeant,
T(x+N
+ 1)I'(-x-N)
+ N + 1, on obtient :
(-1t+11t
n
sm n(x+N
+1)
----
smnx
(-1t+1
x
I' (x + N + 1) sin nx
I'(-x-N)=
(9)
Quand x prend des valeurs reelles negatives (non entieres), I'(x) prend ainsi
des valeurs alternativement positives et negatives, en commen~ant par etre
negative entre zero et - I. Dans tout intervalle ] - N, - N - 1[, I'(x) admet
+x., (x. etant
un extremum pour une valeur que nous designerons par -N-1
ainsi une valeur comprise entre O et I).
= HN(x). On introduit
Posons alors par commodite (- It I'(-x-N)
ainsi une suite de fonctions H N (x) definies sur l 'intervalle ouvert ]O, I[. Ces
fonctions, toutes positives, ont pour expression, si O < x < 1 :
HN(x)
= ----
1t
-------
(10)
et elles satisfont
a la
relation
_ HN(x)
H N+l (X ) ---x+N+l
(11)
[CHAP. I]
23
sur tout intervalle [ix,/J] (ou O < a < p < 1). Cette suite converge uniformement, par rapport a x, vers la fonction identiquement nulle. Le graphe de
HN(x) a !'allure suivante :
Ona figure
Hn l!t Hn,,.1
FIG. I-4
(x)
N+t
Etudions la suite
= (x+N + l)H~(x)-HN(x)
(x+N+l)2
(12)
X +N)N+x
( -e,J2n(X+N)
4
24
[CHAP. 1]
OU
(14)
la valeur asymptotique
H (X) "
( NJ-:
~
_!!__ . l
2N KxsinnX
N)
(15)
On deduit de la que, pour N grand, la suite des rxNse comporte asymptotiquement comme celle des extrema de la fonction Nx sin nx, lesquels sont fournis
par l'equation
n
tgnx= -(16)
ln n
qui montre que, avec les notations deja employees, rxN - 1/N.
Si l'on veut preciser encore davantage l'approximation, on poussera un
peu plus loin, dans (14), le developpement du second membre, qui s'ecrit
Nx sin nx [I +0(1/N)], c'est-a-dire, en tenant compte, des termes en 1/N, l/N 2 ...
du developpement de Stirling (qu'on determinera plus loin):
tgx
=n
1 + 0(1/N)
In N +0(1/N
2)
L'extremum
correspondant
1
= +--+0
In N
( -- 1 )
(In N) 3
(17)
[CHAP. I]
25
EXERCICE
lntegrales definies et constante d 'Euler
On a montre que
f
00
r<l(l) = d"~~l) =
e-"(ln utdu,
~r<>c-D
...; 7t
Application
r'(l)
= -y,
I"'(l)
y2 +((2),
-y3-3
I""(l)=
~rm=
((2)-2((3);
-J,
~n
J;/"Ct)
= J +3((2),
2
~I'"'(t)
-J
-9J((2)-14((3).
~n
2) Montrer que :
dP.
dy
-=
-nP._
1,
dQ. = -nQn-1
dJ
26
3) Plus generalement,
[CHAP. I]
si l'on pose
f
00
Rn(x)
= IX e-at(ln tfdt
IX
= ex (X reel)
= -nRn-i,
= ao +2
In r(x)
n=l
'
\ a, -
I
1
(1)
(2)
avec:
/ b, -
(3)
+-rcos
4nx
+ ...+ ~
cos 2nnx
a la
+ ...
[CHAP. I]
27
+ ...+4a.
+t (cos 4nx) +
+ t(cos 6nx) + ...
-tln (2n);
ak
=-.
4k
b) Le calcul des coefficients bk est beaucoup moins immediat. On peut l'effectuer en rempla9ant ln I'(x) par une integrale definie selon une formule due
a Binet (1)
I[
1
ln I'(x) =
zx -z
.
--(x +
z-1
dz J
.
lnz
(4)
1)--
(Cette formule utilisee ici pour x reel est d'ailleurs valable aussi, comme on le
verra, pour x complexe, a condition toutefois que R(x) > 0).
On obtient ainsi
sin 2 knx dx dz
ln z
(5)
x-l
.
k d
sm 2 nx x =
2kn(l-z)
.
z[(ln z) 2 +4k 2 n 2]
Par ailleurs
1
Jsin 2knxdx
=0
et
Jx sin 2knxdx
= - - 1-.
2kn
On en tire aussitot :
= e - 2 kn 1
I[-1_
"'
bk= _1
2kn
1+ t2
e-2kittJ~t
(1)
Cf.
WHITTAKER,
28
f(_
[CHAP. I]
co
1
2n
b 1 -_
kb k-
2 ,,,
-e
zk1tt)dt _ In k
- - -,
t
2n
_f (e-,__
co
1 ) dt
1+ t t
= Y,
f(-1-__
co
b1 _ 1'._=
2 1C
_!_
1_
1 + t2
2 1C
1+ t
+ e-'-e-2,,,)dt
(6)
Cette derniere integrale vaut zero, comme il est facile de s'en rendre compte
en changeant t en 1/t. Ainsi :
= 1'....
+ _!_In (2 n).
b1
2n
2n
In I'(x) = -!ln(2n)
[cos 2nnx
2n
n=l
(2n)-
+ -!(y + In 2n)(l-2x)
. 2 nx + + -In n sm
. 2 nnx +
= -1 [In
- 1 sm
ou encore
-1 L
co
1Cn= 1
Inn .
-sm2nnx,
n
~
L.
n-1
sin nO
-n= i(:n-0)
et
..z,-ncos nO
= -
L.
1
(7)
nn
0)
In 2 sin 2
(8)
[CHAP. I]
29
f(x)
et qu'on additionne
telles que :
cos 2pnx
+-,
n-1
+ - , ..., X + --
+ cos2pn(x + ~) + cos2pn(
n:l),
ou Jes cosinus portent sur des arcs en progression arithmetique (meme remarque
avec Jes sinus). Ces sommes sont nulles sauf sip = kn et !'on obtient finalement
k=n-1
k=o
k)
+ - = f(x) + f
fl
(x + -1)+ + f (x + n-=1)
fl
fl
(9)
+(a
2n
cos 4nnx
+ b 2 n sin 4nnx) + ]
F(x)
= a0 + 2
L
k=l
30
[CHAP. I]
kt
k=n-1
k]
+~ =
t9')
nF(nx)
1)
X . X
OU,
ln I' x + -
k=O
I'(x) X
k)= ln I'(nx) + n-
k=n-1
en passant
+ n : 1) = <P( nx) .
<p( X
a la
ln 2n+(-t-nx)
ln n
fonction I' :
r( + ~} r(+ l)=
X
n:
(2n)t(n-l)
nt-nx I'(nx).
I'(-tx)I'(-tx+l)
/ir 1 I'(x)
2x-
I'(-tx)I'(-tx+l)I'(-tx+2)
2n
= 3x_tI'(x)
(I)
( 1) Cf.
CARATHEODORY,
[CHAP. I]
31
(11)
X2X10= 2n,
On n'a plus ainsi a calculer que x 1 , x 2 et x 5 On fait pour cela x = t et x = i
dans la formule de Legendre-Gauss ou p = 2 et x = i dans la meme formule
ou p = 3; on obtient alors le systeme
r
= 2213 -v1tX4,
X2Xs
r
X1X7=2 s;6 -v1tX2,
(III)
J!
r(-t)r(t).
nt)
113 /~ [I'({)J2
\/
7t
I'(_i__)= 23/43-l/SJ~
I'(D.
r I'(t)
i 2
4. Formule de Knar
On peut tirer de la une formule <lite de Knar. Dans la formule de duplication, on fait successivement x = v/2, x = v/2 2 , .. , x = v/2". En faisant
le produit des equations ainsi obtenues, on obtient de nouveau
I'v=
( )
1
22"(1-1/2")"
I'-(
V)
2"
- 1 (1-+- V)]
}li .Jn
2
2m .
n
En faisant tendre n vers l'infini et en tenant compte de la relation fondamentale, on a la formule de Knar :
r(t+v)=2
2"
n .J~
m=1
7t
r(!+~)-
2m
32
[CHAP. I]
(x+k)
g -
k=p-1
k=O
= g(x)
(10)
g(x) verifie evidemment une identite analogue, ou p est remplace par p" (n est
un entier positif), c'est-a-dire
k=pn-1
g -.
k=O
(11)
p"
P~
L.
k=O
g ,(x+k)---gx.
p"
'( )
f
1
g'(t)dt.
La quantite g' (x), qui Jui est egale, est done une constante, et, g(x) une fonction
lineaire, soit g(x) = a(x+b). A quelles conditions satisfait-elle a (IO)?
Pour le voir, ii suffit de substituer
(1)
Cf.
BOURBAKI,
[CHAP. I]
33
identite qui laisse a arbitraire et montre que b = --!-;g(x) est done de la forme
a(x--t).
Nous allons demontrer d'abord une premiere proposition : pour tout
nombre reel z distinct d'un entier negatif ou nul, et pour tout entier p > 0,
on a
Cette formule caracterise pour x reel positif la fonction I' parmi les solutions
de !'equation fonctionnelle f(x + l) = xf(x).
De fa<;on plus precise la fonction I'(x) est la seule fonction positive ayant
une derivee continue pour x ~ 0 et verifiant les relations (F) et (12). Pour
demontrer cette propriete, considerons d 'abord la fonction g(x) a derivee
continue pour x ~ 0 et qui verifie, pour p donne, l'identite
k=f-1
g(-x+p_k) = g(x).
k=O
Soit al ors C (x) une fonction verifiant f(x +I) = xf(x) et la formule multiplicative de Gauss. Posons g 1 (x) = In I'(x) et g 2 (x) = ln C(x).
La fonction g(x) = g 1 (x)-g 2 (x) est a derivee continue pour x > 0 et
verifie l'identite (10), d'ou
g(x) = a(x--!-).
d'ou g(x+l)-g(x)
annoncee.
6. Application
a l'integrale de Raabe
x+I
(1)
Cf.
BOURBAKI,
OUY.
lnI'(t)dt=x(lnx-1)+-!-log(ln).
cite, p. 177.
(11)
34
[CHAP. I]
J
I
lnI'(x)dx
par ailleurs que, dans ]O, I], la fonetion ln I'(x) etait deeroissante. On peut
done ecrire, pour tout a > 0 :
I In r (~)~ Jln
a
k; 1
I'( x) dx ,
J
a
a. Or
In I'(x)dx
tend vers
I,
k;q+
lnr(~)tendversflnI'(x)dx.
n
Ainsi:
1
JIn
= lim
I'(x)dx
n--+oo
!n I, ln r(~)-n
(12)
k;l
In I'(x)dx
n-1
= hm n--+oo
1 Inn
ln (2rr) - - = - In (2rr).
2n
2 n
2
a l'intervalle
= lnI'(x)+Inx,
lnI'(x+I)
d'ou
In I'(t+ l)dt =
ln I'(t)dt +
ln tdt
(x > 0)
[CHAP. I]
35
x+l
lnI'(t)dt=x(lnx-1)+-tln(2n)
rm= .Jn
ou encore
()_
( -n )
Il r- 3 -- 640
3
V3
n=B
n=l
;-
Les resultats Jes plus substantiels dans ce domaine ont ete obtenus par Gauss
et concernent la nature arithmetique des valeurs de I" (x)/I'(x) quand x est
rationnel. Rappelons que I' on designe par If/ (x) la fonction I" (x)/ I'(x), derivee
logarithmique de I'(x).
2. Methode de Gauss pour le calcul des valeurs de la fonction
Soit a calculer IJl(p/q) (ou I
(cf. p. 9); on obtient
~ p ~ q-1).
(qp)
tp
(p/q)
q I (1
---- 1 )
n
n+p/q
l/J - - -y--+
00
(1)
n=l
(p) [
1 1
1
y+i/J - =q --+---+----++--+
p+q
1
2q
1
p+2q
-1
p+nq
1
(n+l)q
J,
(1)
36
[CHAP. I]
q Jc-xp-l+xq-1+
... -xp-l+nq+x<+l)q-1+
(2)
)dx.
La quantite sous le signe J se compose de 2 series geometriques de meme raison xq. On peut !es separer et ecrire :
(I!_)
=q
y + 1/1
I
1
xq-
i -
xP-
dx .
(3)
1-xq
p-1
-X
q-1
xq-1
1.
"'Ah--,
q-1
L,
h=l
'P
x-Ah
q~l
L,
h= 1
2nhp cos -q
. nhp)
.. 2nhp)[i
1+ism-n(2
smq
q
.
+ in
(1
hp)]
2 q
---
Tenant compte du fait que cette quantite est reelle, on obtient l'egalite :
(p)
q
2q
y+i/J - = -n
q-l
h=l
(2h-q)sin-- 2nhp q
L,
h=o
q~i
L.
h= 1
h
cos 2 0(
1
= -+
2
L,
h=1
h=l
a partir
sin(2q-l)oc
----2 sin ct
cosoc-cos(2q-l)oc
sm 2 oc=
2 sin oc
q-l
a oc,on trouve,
'
.
apres simplifications:
. 2h
sin2qoc 2q cos(2q-l)oc
2 h sm
ct = --2 sin 2 ct
2 sin ct
[CHAP. I]
37
d'ou
q~,1(2 h
~
cos(2q-1)1X + cos1X
2 sin IX
) . 2h
sin2qlX
sm IX=----q
2 sin 2 IX
-q
h= 1
IX
(2h-q)sm--
h= 1
p1t
= -q cot-.
q
(4)
Pour evaluer
L In ( 2sin~h
q-1
h=1
) , ou
In q-l
TI ( 2sin~h ) ,
q
h=1
on peut ecrire :
Or:
q-l
h=1
d'ou
q-1(
TI 2 sin~h ) = TI (1- Ah).
q-1
h=1
h=1
Or:
qf In (2 sin hqn).
h=1
On obtient finaiement :
(p)
i/1 - = -y--cot7t
q
p1t
- - Inq
q
+ q-I I ( cos--2hp1t)
h= 1
. h1t)
In ( 2smq
(5)
38
[CHAP. I]
cos (2q-2h)
q-h
sin --n
. hn
sin-.
I.
hn
. n
sm-;; = sm = 1
d'ou finalement :
i/1(;)
= -y--!-n cot
+ 2[(q- Lll/
h=l
21
:n - In q +
(
p )
(
. hn)
cos 2 h - n In 2 sm q
q
+ {( -
lY In 2 si q est pair
O si q est impair.
(6)
On peut demontrer une autre formule <lite de Gauss dans le meme ordre
d 'idees en partant de la formule precedente (3) :
p)
y+i/J(- =
q
I
l
xq-l_xp-1
----dx.
1-xq
(3)
Soit un nombre entier fixe et pun nombre entier prenant les valeurs 1, 2, 3, ... , q.
Soit, par ailleurs, k etant entier fixe, exp (2kni/q) une racine q-ieme de !'unite,
(3) peut s 'ecrire :
I
l
y-q
xq- 1 dx
=
1-xq
I
-i/1(p)
l
-q
xp- 1 dx
--.
1-xq
(3')
Dans (3)', seul le second membre varie avec les diverses valeurs de p, le premier
[CHAP. I]
39
etant fixe, une fois q choisi. Si l'on multiplie les 2 membres de l'equation (3)'
successivement par exp (2pkni/q), (p prenant les valeurs 1, 2, 3 ... q) et qu'on
ajoute Jes equations ainsi obtenues, le premier membre donne zero puisque
c'est un nombre independant de p et que
q
=0
exp(2pkni/q)
p=l
L
p=1
1 ~ [xp-l x exp(2pkni/q)]dx
i/1 P. exp(2pkni/q) = -q
P_-_l _________
1-xq
(7)
0
q
geometrique
ljl(P.)exp(2pkni/q)
q
p=l
= -qln[l
- exp(2pkni/q)]
(8)
1 ),
f
I
n dt
[1-(1 - t) ] t
1
2
1
3
= 1 + - + - + + - .
(9)
(10)
0
CAMPBELL
40
[CHAP. I]
rm
Remarquant
= -(y+2
ln 2).
alors que
n
J= J+ J et q ue J
~t
= In n ,
-J(l I -J(l
1
00
-e -t)dt- t
Y-
e -tdt-
-e -t -e -1/t)dt
-.
t
1
1
= l +-+-++--nn
}',, = 1 +
n
Jes 2 diffe-
!2 + !3 + + !n -
aconsiderer
'
In (n + 1) ,
= ln(l +
(1)
Cf.
( 2)
On admettra
l)>
2) Jim (y~-y~)=O,
0,
n---+oo
p. 272.
d'abord la double inegalite qui sera demontree ci-dessous, pp. 44-45.
CARATHEODORY,
-y
+I
<
In
(I + -I)< -I
y
(avec y
>
0) .
41
[CHAP. I]
On en deduit que
et qu'ainsi
y=
lim
y~=
n-+oo
lim
r:
n-+oo
+ z- - .
3
3!
montre que
Yn-1-Yn = ln l+l/ 2 n - 2__!__
= 2[! x _l_ + ! x _l_ + ]
1- l/2n
2n
3 (2n) 3 5 (2n) 5
}'= Yn-(Yn-Yn+1)-(Yn+1-Yn+2)
1 1
1
= [ 1+-+-++--ln(n+-t)-2
L
00
p=n+l
[1-x--+-x--+.
1
1
3 (2p) 3 5
1
(2p) 5
-1 I
00
12t3p
103210678210...
= 0,000266241582,,
In \ 5 = 2,525728644328...
1 00 1
80t3p 5
I-=
= 0,5772156649...
0,000000121322,
42
[CHAP. I]
Des proprietes de la fonction I'(x), en particulier de sa convexite logarithmique, on peut deduire pour I'(x) une serie asymptotique, dite de Stirling
qui rend les plus grands services (en particulier pour le calcul numerique).
Cette representation par serie sera etendue plus loin au domaine complexe.
Pour etablir l 'existence de cette serie et en calculer les coefficients, il est
necessaire de rappeler quelques theoremes sur la representation des fonctions
analytiques par des series de fractions rationnelles.
l) Tout d'abord quelques remarques sur le developpement en serie de la
fonction logarithmique Log z. En supposant provisoirement z complexe, on
sait que le developpement
1
l+z
-Log--=
2
1-z
Izl<
z3
z
+-
ZZn+l
+ +
(2n+l)
(7)
l+z
--=x,
1-z
il vient (x etant complexe aussi) :
2Log x =
(X-
1 1
1) 3
1
1)
x+ 1 + 3 x+ 1 + + 2n+ 1 x+ 1
X -
(8)
developpement qui, Jui, est valable si R(x) > 0. 11 est souvent interessant de
poser x = 1 + 1/y, ce qui donne
x-1
x+l
2y+l
on obtient alors :
CARATHEODORY,
p. 251.
[CHAP.I]
DEFINITION
ET PROPRIETES
DE LA FONCTIONGAMMA
43
EXERCICES
Calcul d 'integrales
Montrer que
32
= 32-1
[F(t)J4
1)
1W
5 2 -1
X~
72
72-1
9 2-1
112
112-1
(Whittaker, P. 259)
TII'(r/3) = 6~0
( n_)3
3
.J3
2)
(Ibid.)
r=l
f
1
3) 2
a-1
-1 -dt
1+t
= l/l(ta+!)-1/!(!a)
f
1
1a-1_tp-1
----dt
(l+t)lnt
= ln
F(la+l)I'(l-/J)
2
r(!a)F(!/J+!)
(si a et /J> 0)
(Kummer)
f
1
4)
xa-1
(1-xb)
----dx
1-x
= l/l(a+b)-1/!(a).
5)
J" .J3-~=-
cos
r2w .
4.Jn
a termes
44
[CHAP. I]
Un+ 1
Un
= lim
(1)
~Un.
n-+oo
Un+l
--=
Un
nn
nn
X-=---=--n!
(n+l)"
n!/nn
1
(1+1/n)"
ou e.
(2)
1l
= 0 (1/n).
In (n)! =
In p
p=l
et
n+l
J In xdx=
L aire Mmm'M'.
n+ 1
An=
Inxdx--t[Inn+In(n+l)]
= (n+!)In(l+l/n)-1=0(1/n
f
n
In p =
In xdx + A-0(1/n)-!
In (n + 1)
0(1/n).
2 ).
[CHAP. I]
45
(3)
(n,:fn)
m'
m
FIG. 1-5
1) y+!1 [ + -
-- 1 < In ( 1 + - < --
y+!
1
12y
1
12(y+l)
J.
(4)
xi
-<
Log(l+X)
<X
(5)
quand X est reel et compris entre O et I. Si l'on pose X = 1/Y, on a, alors, pour
y > I:
- - y
(6)
En utilisant l 'identite
1
Y-1
2Y 2
Y+l
2Y2(Y+l)
---=--+----
(7)
46
[CHAP. I]
1)< - .
-- 1 < In ( 1 + Y+l
1
Y
(8)
3(2 y + 1)
5(2 y + 1)4 +
...
<3(2 y + 1)
[
2
1
1
1 + (2 y + 1)2 + (2 y + 1)4 + ...
le terme entre crochets etant une serie geometrique, on peut remplacer dans
(14) le membre de droite par :
1
1
3 [(2 y + 1)2 -1],
OU
(9)
12 y
12(+1)'
Y+-t
Y+}
[ 1 + --1 1
12Y 12(+1)
J.
1 +-
1)3/2(
1)5/2
1+ 2
1 )n-1/2
1 + -n-1
=2
3/2
35/2
X -
2 512
n-1/2
-----
(n-1)"-
(10)
1 12
et
n-1/2
112
=--.
(n-1)!
e-1;12
_n__
(n-1)!
<
n-1/2
e"-1
< ---,
(n-1)!
(11)
(12)
avec e 11! 12 < A(n) < e ou, numeriquement, 2,50 < A(n) < 2,72. Cette
approximation fournit n! avec une erreur d'environ 10 %-
[CHAP. I]
47
n+ 1t 2 e- A(n).
(13)
A(n) etant une fonction de n restant bornee. Une fonction qui interpole n!
est done representable par une expression de la forme
x!
(14)
pourvu que B(x) = A (n) lorsque x est entier. Pour des raisons de conformite
aux notations habituelles dans les resultats qui vont suivre, nous ecrirons la
formule asymptotique sous la forme
(15)
ou a designe une constante numerique. La fonction (x)
premiere fois consideree et etudiee par Binet (1).
a ete pour la
(16)
(l+xf+l/Z
= _____
(17)
II en resulte aussit6t
I'(x+l)
___
I'(x)
X _X
xx+ 1/2
e(x+l)-(x)
1)
fonctionnelle
(18)
g(x)
OU
g(x) = (x+t)
In (1 +l/x)-1.
et immediatement
(x)
= g(x)+g(x+l)+
... +g(x+n)+
g(x+k)
(19)
h=O
48
[CHAP. I]
!)
!)-
In (1 +
1
1 < - 1- 12x 12(x+ 1)
(20)
1
12(x+ 1)'
<----12x
(21)
c'est-a-dire
0
1
12(x+n+l)
- -----
12(x+n)
(22)
1
12x
(23)
... > 0,
(25)
-+-.
X
1
2x 2
e 1 -1t<1 > le theoreme de Bohr-Mollerup-
OU 0<8(x)<l.
(26)
49
[CHAP. I]
En particulier, si n est un entier positif, on retrouve une expression asymptotique de n!, bien meilleure que l'inegalite trouvee ci-dessus, a savoir :
(27)
ou O < 8(n) < I. La constante a peut etre alors calculee par la formule de
Wallis, mais c'est un calcul un peu penible, une autre methode beaucoup plus
forte sera donnee ulterieurement. Rappelons seulement que a est comprise
entre e 11 112 ~ 2,5009 et e ~ 2,7183. Reste a preciser la fonction (x) <1)
pour pouvoir l'utiliser numeriquement, c'est ce qu'on peut faire en la representant par serie :
1
(2z+2n+l)
1
Ip=I -I
2p+l
00
(x)=
00
n=O
(28)
2 P.
Ce calcul est long et suppose connues !'existence et les proprietes des nombres
de Bernoulli, nous le developperons plus loin (2).
Remarques
Comme la formule de Stirling est souvent utilisee pour le calcul numerique,
on a essaye diverses techniques pour faciliter la pratique des operations.
Ainsi par exemple Pearson (3) se limite aux 2 premiers termes
1
12x
360x 3
a sin
~ = a(~
- /36
3
= (x+-!)
In x-x
K.
PEARSON,
+ ,
et
/J =
-)5
1
+ In ~/2n + - sin--_+
12
x-)5
II(x)
LOSCH
et
SCHOBLIK,
p. 44.
l/y5.
50
[CHAP. I]
ou
II(x) = S3 (x)-R 3 (x). Pour une approximation correcte de IJ(x) on
peut appliquer la formule de Taylor. On trouve ainsi, avec O < (), ()' < I :
.)5
S 3 (x) =
R ()
3
= -
n
k~3
e .JS( - 1r
(2k-l)!(x.j5)
~
k~3
t-
( -
2 k-l
+ 12(2n+l)!(x.j5
+-
b4k
(2k-l)(2k)x
(1).
Ob4n+t
(2n+1)(2n+2)x
2 k-l
2 "+ 1
(x) > 0.
(1)
(x) > 0
si
g(x) > 0
(2)
>0
LANCZOS,
A>O
(l ')
B>O
(2')
[CHAP. I]
51
et
B X 2 + 2B' X + B" sont positifs pour tout X reel. 11 en est alors de meme de
leur somme, ce qu'exprime l'inequation
+B') 2 ;?; 0
ou encore
+g')2 ~ 0,
(f +g)(f" +g")-(f'
c'est-a-dire f +g EC;..
2. Theoreme II
f(x, t)dt
J
b
f(x, t)dt
baL
=-=n
n-
x, a+p
p=O
(b
a)].
-=-
(3)
n-1
Commef(x,
I 'intervalle /.
B) D'apres une propriete des fonctions convexes (1), ln gn convergeant
simplement vers
J
b
ln
f(x, t)dt,
a
(1) Pour une demonstration
cite, p. 167.
BOURBAKI,
tome
52
[CHAP. I]
a la
fonction e - t tx -
f(x, t)
tx-1 e-t'
(on pourrait l'appliquer plus generalement d'abord a tx-i rp(t) (2), ou rp(t)
serait positive et continue, et faire ensuite rp(t) = e-t); In tx-i = (x- I) Int
est une fonction de x convexe deux fois derivable si t > 0. II en resulte
que la fonction
I
00
g(x)
tx-l e-tdt
> 0,
est la fonction I'(x) elle-meme, puisque d'une part elle est logarithmiquement
= I etqueg(x+l)
= xg(x)comme
convexe(d'apresletheoremell),queg(l)
le montre immediatement !'integration par parties
J
00
g(x+ 1) =
txe-'dt
Cf.
BOURBAKI,
I
00
= [ -e-,n~+x
tx-le-'dt.
53
[CHAP. I]
Le rapport entre Jes deux definitions de F(x) (J'une par produit infini, l'autre par
integrale) apparait ainsi, grace a une demonstration sans calculs de la plus
haute elegance, comme la consequence directe de la convexite logarithmique
de r(x).
4. Application
Gauss
de Legendre-
(x)
r (x+l)
... r (x+p-1)
.
px-112
r(x) = ----r
(2rr)<p-1)/2
f(x) =
px
(4)
la fonction
1) r (x+
p-1)
(Px) r (x+
x
-P-
... x
(5)
= I, d 'ou
(6)
. rn(k)
- =
hm
n-+oo
(1) Cf.
(2) Cf.
CARATHEODORY,
4.
chap. I,
p, 281.
nkfpn!pn+l
k(k+ p)(k+2p)
ak
"' (k+np)
(7)
54
[CHAP. I]
= (np)! (npt[ ( + 11
11
a = p hm
n---+oo
(n!)Pp"P
(np)!n(p-l)/Z
(8)
OU O < {) < 1.
d'ou
aP=a
( 8(n)
p-l ;- 1.
vP 1m exp p---n---+oo
12n
8(np))
12np
d'ou
x) r (x+
r (p
p
1) (x+ pp-1)
=(2ny-112pt-xF(x).
I'
[CHAP. I]
55
EXERCICE
Theoreme de Dinghas
J(x)
ext
-- 1
e'-1
- -1
1]
+ - -dt
2
-oo
1
2x2
1
---+-l
2(x+1) 2 x+l
1
x
et
= 1-(x+t)
J(x+I)-J(x)
1 (x)
ln (I +1/x).
In x-x;
= -l+lnx-(x+-t)ln(l+l/x).
On en deduit
ln I'(x) = K +(x-t)
K etant une constante egale
de Legendre
lnr(tx)
a y2n,
In x-x+J(x),
+ lnr(tx+t)-
11en resulte
f{
0
In I'(x) =
ex1 -e
--
-(x-l)e
}
1
e1 -l
dt
-,
> 0.
-oo
Cf. Bibliographie.
6
56
[CHAP. I]
8. LA FONCTION B(x, y)
1. Definition de B(x, y)(1)
On a vu ci-dessus que Euler avait introduit tout naturellement Jes integrales
de la forme (deja consideree par Wallis).
1
J(l-,r,z-1
dr.
On etudie systematiquement
introduite par Legendre
f
1
B(x,y) =
tx- 1 (1-t)Y-
1 dt
(1)
= lim
nx B(x, n).
I'(x)I'(y)
(2)
I'(x+ y)
de cette formule :
La plus simple, et sans doute la plus ancienne, est la suivante : pour x > 0,
on a defini
f
00
I'(x)
e-ttx-
( 1)
On enonce : Beta de x et de y.
dt.
(3)
[CHAP. I]
57
u 2 , (3) devient
OCJ
I'(x) = 2
e_"2u2x-1du.
(4)
f
00
=2
I'(y)
e_"2u2y-1du,
d'ou
I'(x)I'(y)
(5)
,i.
tj2
I'(x)I'(y)
=4
c'est-a-dire
Bourbaki
appel a la
davantage,
I
OCJ
e-' 2 r 2 x+ 2 y-ldr,
a) L'integrale
I
1
tx-1(1-t)y-ldt.
qui definit B(x, y), montre en meme temps que cette fonction, ou x est considere comme la variable, est logarithmiquement convexe pour x > 0.
(1) p. 168.
58
[CHAP. I]
b) La fonction de la variable x :
satisfait
a !'equation
+y)
fonctionnelle
f(x+ I) = xf(x).
En effet (1) :
= B(x+l,y)
f(x+l)
I'(x+y+I);
OU
/(x+l)
c) Comme
a la
d) On a f(l)
= -B(x,y).
= xf(x).
(x+y)I'(x+y)
x+y
f
1
B(l,y)
(1-t)Y-
1 dt
= y-
1,
alors f(l) = y-
I'(y+I)
I'(x+y)
= I'(x) I'(y).
I'(xi) 1(x
2 )
I'(xn)
I'(x 1 +x 2 + +xn)
(1)
Cf.
WHITTAKER,
p 254.
[CHAP. I]
59
tique de B(x, y) pour x tres petit; le calcul est interessant (1) et fournit une
valeur de la constante d 'Euler :
1
I'(x)
= -I'(x+
Xn-
+ -I'(n>(l)+O(xn).
n!
= I'(y) +
l!
J+ ... +
d [ 1
dy I'(y)
Xn dn [ 1
n! dyn I'(y)
J+
01(X
n+l
Le developpement du produit
I'(X)
I'(y)
X ---
I'(x+ y)
I +[I"(l)
- I"(y)] +
I'(y)
+ x[I'"(l)
2
+ 2 I"2(y)-I'(y)I'"(y)]
- I''(l)I"(y)
I'(y)
+ O(x2 ).
(6)
2I' 2 (y)
x-1
(1-
+t ----
tY- l -1
t
On a ainsi:
I
1
B(x,y)
= - +
tx
(1 _ t)Y-
1_
X
0
La fonction
(1-t)y-l
<p(t)=----
{1) BOURBAKI,
p. )69.
_ 1
dt.
(7)
60
OU
x+ i
jR.(x,t)l~--l(lnt)"+
(n+l)!
I, car
lnt~O.
x>O.
B(x,y)
= -1 + <p(t)dt+ +-x
X
n!
<p(t)(lnt)"dt+0
1
2 (x"+ ).
dt = I''(l) - r'(y).
I'(y)
(1-t)'-1-1
t
= -y (constante d'Euler)
Comme r'(l)
I
1
Y=
1-(1-t)x-l
t
dt - r'(x).
I'(x)
I. Proprietes
1) B(x, y)
= B(y, x).
= 1'.s(x+l,y),
2) B(x,y+l)
3) B(x,y)
B(x+l,y)+B(x,y+l).
X
4) B(x+ 1, y) = -B(x,
x+y
y).
[CHAP. I]
[CHAP. I]
61
B(x+l,y)=
I(l-tt+y-l
c~tJdt
= - [ (1- tY+y ( - t
x+y
1-t
)x]+
1
~=
_x_J(l-tY+y(_t_)x-1
X +y
1- t
(1- t) 2
_x_B(x,y).
+y
n
5) Si n est un entier positif : B(x, n + 1) = ------x (x + 1) (x + n)
B(x, y) = I
vx-ldv
---(1 + vy+y
(4)
J
= 00
Bx,
( y)
Vx - 1
+ Vy -
(1 +vY+y
(R(x)
dv
(R(y)
> 0)
> 0)
(5)
= /J+rt./p,
= fJ-a/p,
e2pt'
~J J
00
B[{J
+ p~' {J-
= _!___
4/l-l
ch2 t dt.
ch 2 pt
(6)
62
[CHAP. I]
ch 2rxtdt = __ 1 _
ch nt
2 cos rt
(8)
On obtient, de meme :
I
00
JR(rx)I
< -!-n.
(8')
Remarque
Les formules precedentes s'obtiennent facilement en appliquant la formule
des complements ainsi que la relation
I'(rt) I'(/J)
I
1
1) 2 1 -x-y
[(1+tY-
(1-t)Y-
1 +(1+tY-
(1-t)x-l]dt.
(Cf. Magnusp.10)
(b > -1)
(b
> 0)
(b
< a)
4)
1
(a-by+y-l
J(t-bYb
(a-t)Y-
1 dt.
63
[CHAP. I]
1 dt_
1 (a-tt-
S) (a-cf(b-cYJ(t-bY(a-by+y-i
(c < b < a)
(t-cy+y
f
+l
6) -2x+y-2
(l+t)2x-1(1-t)2y-1
(l+t2f+y
dt.
-1
1t/2
7)
2bx
t COS 2 y-l
sin 2 x-l
b>O
~~~~~-dt
I
00
8)
2bx
ht h 2 x-l
(1 + b sh 2 tY+y
dt.
b>O
B(;,y)=z
f e-x (1-e-
9)
,Y-
1 dt=z
10)
B(p, q)
f
1
00
tx- 1 (1-t')Y-
1 [1
1-q
(1-q)(2-q)
- +
+ ---2P p
2(1+p)
24(2+p)
1
dt.
=-
+-
[1
-+
2q q
1-p
(1-p)(2-p)
+
2(1+q)
24(2+q)
(1-q)(2-q)(3-q)
246(3+p)
+ ...
(1-p)(2-p)(3-p)
246(3+q)
+.
a l'inequation:
ppqq
B(p+l,
q+l)
<
(p+q)P
+
q
1t/2
12)
cosa+b
-2
u cos(a-b)u
du= --
2a+b- I
I'(a+b-1)
I'(a) I'(b)
64
[CHAP. I]
sin rn
= --
cos 2rudu
2r
Dans le second membre de (12) on a alors B(!, -!-)et B(I, I) (qui vaut 1). On
obtient done
= B(-!-, -!-);
r
or B(-t, -!-)se calcule elementairement
et vaut n, d'ou
B(r, 1-r)
= --.
sin rn
On en deduit
B(t, r) B(t+r,
B( s t) B ( 1 -s 1 -l )
'
'
= --,
1-r)
tsin rn
nsin(s+t)n
= ---------
(Cauchy)
(1-s-t)sin(sn)sin(tn)
EXERCICES
Montrer que
+1
1)
(l+x)P-
1 (1-x)q-ldx
= 2p+q-l
B(p,q).
-1
Jf
1 1
2)
f(x, y) (l -xt-
1 y(l
- yy-
0 0
dz
(WHITTAKER,
+l
(1
-1
+x
) 2m-1 (1
-x
(l+x2r+n
)2n-1
dx =
2m+n-
B(m n)
'
p. 255-256).
[CHAP. I]
65
f(
+n/2
2a
de
1[
2 sin (n cos 2 a)
-x/2
(WHITTAKER,
B(a,b)
= (l+ptlf
xa- 1 (1-x/-
_d_x __
(x+ Pl+b
0
1)
/
- -([(l+t)
]+ ...
f
1
1n B( p,q ) -1
- n--p+q
pq
(1-vP)(l-vq)d
(1-v) ln v
v.
'
In
(vp-v-p)
(_!:_!!_)
=
(l+v)lnv
tg pn
dv
'
ou encore
f
1
In B(p, q) =
(1-vP)(1-vq)-(1-v)2
v(l-v)In v
dv.
p. 261-262)
66
f
I
dB(p, q)
vv- i (1-vq)dv,
1-v
B(p, q)dp
0
)2
[CHAP. I]
CHAPITRE 11
LA FONCTION GAMMA
ET LES FONCTIONS DE BERNOULLI
1. EQUATIONS AUX DIFFERENCES FINIES ET POLYNOMES DE
BERNOULLI
On a vu que la fonction In I'(x) etait solution de !'equation fonctionnelle:
= In x.
f(x+ 1)-.f(x)
(F)
= q;(x)
.f(x+l)-.f(x)
I
X
dx
x"
u.-ua
I
0
t(n),
68
[CHAP. II]
u 1 -u
= f(O)
J.
0
.#" 0 = I;
.#" 1 = x;
.#" 2 = x(x-1),
... ,.A1 P
= x(x-1)
... (x-p+I)
<p(x)
= tp(x)
qui s'ecrit aussi Llf= tp(x), ou encore L1- 1 tp =f, ou tp(x) est donne, et
satisfait a certaines conditions qui seront precisees en temps voulu. On a
[CHAP. II]
69
(2)
cp(x)+Cte.
k=O
Avant de chercher a obtenir des proprietes assez generales de cette solution (2)
de I 'equation (F) 1 nous allons etudier un cas particulier tres important, a horde
pour la premiere fois par Jakob Bernoulli (1), c'est le cas ou q.,(x) = x\
k etant un entier positif. Comme on l'a vu au !, la solution f(x) cherchee
est alors un polynome Pk(x) (tel par consequent que Pk(x) = Ll- 1 ~); cela
a une constante additive pres (qu'on determine en choisissant conventionnellement Pk(O), par exemple Pk(O) = 0). Cette solution est unique; on peut
le demontrer directement : s'il existait, en effet, un autre polynome solution
Pl(x), la difference c5(x) = Pk(x)-Pl(x)
serait telle que c5(x+l)-c5(x) soit
nulle, c'est-a-dire telle que :
c5(0) = c5(1) = ... = c5(n) = c5(n+ 1) ...
Et al ors le polynome c5(x)- c5(0), ayant un nombre illimite de zeros, serait
identiquement nul (toujours a une constante additive pres). On obtient ainsi :
Pk(x)
Ok+lk+
... +(x-I)k
(3)
Po(x)=x-1;
P1(x)=x(x-l).
2
'
P2(x)=x(x-1)(2x-1)
6
'
...
(4)
On voit sur (4), que, pour x entier, !es polynomes Pk (x) soot identiques aux
sommes des puissances semblables des entiers successifs, et soot de degre k + 1.
II reste a preciser les constantes : on prend x = 0, Pk(l)-Pk(O)
= Ok = 0,
si k?: 1. Done Pk(O) = 0 si k?: I; mais P 0 (0) = -1, puisque P 0 (x) = x-1.
3. Polynomes Bk(x) de Bernoulli
Cependant on reserve, en general (2) le nom de polynomes de Bernoulli aux
derives des precedents qui, eux, soot de degre k :
(5)
( 2)
relative
a ces
polyn6mes.
70
[CHAP. II]
= kxk-l
Bk(x+l)-Bk(x)
I
(k ;;, I) .
{O
si k;;, 1
1 si k = 0.
Bk(x)dx = -Pk(O) =
(6)
(7)
Les relations (5) et (6) determinent les Bk(x) d'une maniere unique (on le voit
immediatement en la demontrant par l'absurde, comme au paragraphe
precedent).
Les polyn6mes Bk (x) sont definis par la relation (6) qui peut s'ecrire :
Bk+ 1 (x+I)-Bk+i(x)
(k+l)xk.
(8)
k+l
Bt(x)
1 (x)
(k+ l)kxk-l.
= (k+l)
(9)
Bk(x). L'equation
(8) s'ecrit
_ B;(x) = kxk-i,
k+l
que :
1 (0)
= (k+l)Ok
= 0.
Bk(x)dx
= 0 si
~ 1.
Les polyn6mes Bk+ 1 (x) et Bk(x), qui ne different que par la constante
additive Yk, sont done identiques. Cette constante Yk est done nulle, c'est-a-dire
que
(11)
[CHAP. II]
71
= Bk(l
-x),
les relations
= Bk(-x)-Bk(-x+l)
= -[Bk(-x+l)-Bk(-x)]
Ak(x+l)-Ak(x)
precedentes
= -k(-xl-
deviennent
(12)
soit:
(13)
Ainsi les Ak(x) sont des polynomes solutions d'une equation fonctionnelle
identique a celle verifiee par (- ll Bk(x). D'apres une remarque deja faite,
Ak(x) et (- ll Bk(x) ne different done que d'une constante y{. On peut la
determiner comme ci-dessus. On a en effet, pour k ~ 1
f
1
f
1
Ak(x)dx
f
1
Bk(l-x)dx
Bk(x)dx
= 0.
(14)
= (- ll Bk(x).
Bk(l -x)
(15)
2, on avait la relation :
= kOk-i = 0.
Bk(l)-Bk(O)
(16)
= -
B2h+
(1)
B2h+
(1) =
(17)
B2h+
(0),
B2h+
(0) = 0.
d'ou
(17)'
D'autre
B2h+1m
(18)
0,
4. Fonction wk(x)
Pour la suite, ii est utile de poser :
(k ~ 1, 0
<
< 1)
(19)
wk(x+I) = wk(x).
Nous definissons de cette maniere une fonction periodique de periode 1 pour
tout x reel non entier.
La formule (15) relative aux Bk(x) donne
et
wk(l -x)
CAMPBELL
= (- ll wk(x)
(20)
7
72
[CHAP. II]
et la formule (14) :
lX)
roi+1
= wk(x)
(21)
w 2 (x)
= t(x
x +-!) .
2-
Enfin Jes formules (15), (16), (17) et (18) permettent de construire Jes graphes
des wk (x) pour tout k.
Ainsi, si k = I,
w 1 (x) = x-t;
si k
= 2,
W2
(x)
X2
= - - - + A.2
ro 2 (x)dx
= 1/12.
FIG. 11-1
5. Polynomes binomiaux
On a vu, des le debut de cette etude que, dans ces equations aux differences,
la base qui se pretait le mieux aux calculs etait celle des polynomes ..;f/'1 , , % P'
On peut augmenter encore la commodite du calcul en prenant la base
%0
%1
O!
1!
-,,-
,,,vp
p!
...
[CHAP. II]
73
Cl=
X
cz =
(X)
= JV = 1
O
O!
o
(X)
= %1
=
1
1!
(x)=
2
C! =
(22)
%2
2!
= x(x-1)
2
(x)=
Jl,P = x(x-l)(x-2)
p!
(x- p+ 1)
p!
'
v+l
(X
+ 1)(v+l
v+l
X
(X)
v
f(n)
= boC~+b1C!+... +b.c: =
b,c:.
v=O
'f,b,(
x )
v+ 1
v=O
satisfait
a !'equation
aux differen,es :
AP 0 (x) =
v=O
= 0.
v=O
74
[CHAP. II]
00
-="bez - 1
z"
b0
(23)
et
(24)
En appliquant la regle de multiplication des series a (24) dont le premier
membre s'ecrit:
00
[
Jo
z'J[i (xzt],
00
b,;:i
ml
ou encore:
(26)
OU
n-1()
L
=
n B,(x)
r=O
nxn-1
= 2,3,4,
(26)'
(1) Cf.
MAGNUS,
pp. 36 et suivantes.
[CHAP. II]
75
ez+ 1
oo
Zn
L En(x)
n=O
tt!
lzI<
TC,
(28)
Les nombres En sont dits nombres d 'Euler, les polynomes En (x) polynomes
d'Euler. Les equations de definition sont seulement analogues ( 1); et l'on ne
passe pas de maniere immediate des Bn(x) aux En(x). 11existe cependant des
relations simples entre les polynomes d'Euler et ceux de Bernoulli. Voici
les plus importantes.
A) En derivant !'equation de definition (27) en x, et en egalant ensuite les
coefficients de zn, on obtient
E~(x)
(28)'
= nEn-1.
zm
oo E z' oo
2 e z;2 ez<x-tl
----
OU
ez+l
t'
L,
r=O
--
2'r!
1)m -,
m!
t'
,
L,(X-2
0
En particulier, si x =
t
En= 2n En(t)
equation correspondant
Bernoulli.
!'equation
= 2xn
1
2
00
- I
r= 1
(30)
pour
O < x < 1.
76
[CHAP. II]
ex'dz
z\e'-1)
(ou k est un entier superieur a 1) le long d'un grand cercle centre a l'origine
et de rayon (2N + l)n (N etant un entier arbitrairement grand). Les poles de
la fonction a integrer sont d'une part les points z, = 2nir ( 1, 2) les residus
en ces points sont
Q, =
exp (2 nirx)
(2 niri
'
--
( )_
Wk X
kl
(2niri
r=-oo
'
En faisant x
2n+1
= 0,
~,cos 2nrx
( 2 nr )2n
L, 1
r=
~' sin2nrx.
L, ( 2
nr )2n+1
r=l
b2n=2c-1r+
1c2n)!
i'-- 1-
r=l
(2nr) 2n
et
1 )
(ch z) x ( = 1=
ch z
( 1)
Cf.
ScttWATT,
oo
2 2n
b2n+1=0.
a
oo
2 2m
L E2n-(2n)! L (2m)!
-
n=O
n=O
[CHAP. II]
a celle de
77
Lukas
L (Ct)E2,
r;O
= 0,
E6
I,
= -61,
= 1385, ...
Enfin on peut substituer, par la meme methode, aux expressions trigonometriques des expressions par integrales definies. Ainsi
00
Ezn(x)= 4
(-ttf
t 2 nsin(nx)ch(nt)dt
ch2nt - cos2nx
0
J
00
Ein+ 1 (x)
= 4(-
lt+
2. NOMBRES DE BERNOULLI
pour
Si k est un impair superieur ou egal
d'ordre impair sont done nuls :
a 3, bk = 0.
b2h+1=0.
2.
(1)
(2)
Par ailleurs b2h est du signe de (- J)h+t (b 1 , qui vaut --!-, echappe a la regle).
II y a bien des methodes pour obtenir les valeurs arithmetiques des nombres
de Bernoulli.
78
[CHAP. II]
... +hk =
p=k
L CfhPxk-p.
p=O
(3)
la suite des hk etant la meme que dans (3). Or la formule deja etablie
(3")
montre que
et comme
p
k-p
Ckx-k--
cp-1
k,
il vient finalement :
P~-1(x) = Bk-1(x) =
OU
Cfh0xk- 1+cf_
1h 1xk- 2 + ...
p=k-1
Bk-1(x) =
Cf-1hpxk-l-p
p=O
(4)
On deduit de la que la formule B.(x) = (x +h)" est valable pour tout n entier.
Si !'on fait alors x = 0 dans la formule (3"), on a
Bk(I)-Bk(O)
=0
[CHAP. II]
79
ou encore
(k > 2)
(5)'
Cette formule fournit tres facilement une methode de calcul pour la suite des
nombres hk. En faisant en effet successivement k = l, 2, ... , n, ... la formule (5)
donne:
2h 1 + I
= 0,
3h 2 + 3h1 + I
(T)
= 0,
= 0,
(6)
b1 = --t,
= 0,
3b 2 +3b 1 +I
= 0,
b2 =
+ !-,
b3 = 0,
b4 = -}o-
En resume, cette methode de calcul des nombres de Bernoulli consiste a considerer d'abord le symbole hk comme la k-ieme puissance de h, puis comme une
inconnue lineaire : hk = bk.
3. Extension de la propriete et de la methode precedentes
80
[CHAP. II]
= C1.
= Q'(O),
(7)
= zf'(O)
f[(h+l)z]-f[hz]
(8)
... +G'(x-1)
= G(x+h)-G(h).
dans l'equation
+ l)z]-
(7), c'est-a-dire
(10)
dans
(IO)
Cette relation, valable quand Q est un polyn6me, l'est encore si Q est une serie
entiere. Ainsi si l'on prend Q(t) = et la relation (8) fournit
(9)
I2,
1 n
'?, 1
1
I-,
...,I-,
1 n2 P
1 n4
00
[CHAP. II]
81
n'
((s)=I-
a fait
1- z
2
cot -tz
= 1-
((2n)
z 2 ".
22n-11C2n
00
n=l
f (-l)" ~z2n
(2n)!
= _
n=l
n=l
2((2;) z2n.
(2n)
2(2n)! ((2n).
(2n)2n
(13)
= (-1)"-1
B.
h2".
= n 2 /6,
((4) = n 4 /90,
((6) = n 6 /945.
= 2(2n)! ((2n),
(2n)2n
(14)
(Dans toutes les notations employees les nombres de Bernoulli sont toujours
rationnels).
(1) Voir la remarque, p. 86.
oo
I
nB
82
[CHAP. II]
Cette fonction ( (s) dite de Riemann a ete tres etudiee et s 'introduit tout
naturellement dans la theorie des integrales euleriennes. Nous aurons a etudier
en details ses rapports avec la fonction I' (1). lei contentons-nous de rappeler
que, si les valeurs numeriques de ((2n) sont bien connues, on ne sait rien sur
la nature arithmetique de ( (2n + 1), (n designant un entier positif). La suite des
nombres ((2n) est monotone et decroissante quand n croit, elle tend tres
rapidement vers l.
A vec les notations precedentes, on a done
Bn+l
Ji;=
(2n+1)(2n+2)
4n 2
((2n+2)
((2n)
cette formule fournit un bon procede de calcul des nombres de Bernoulli (2).
5. Remarques et precisions sur la formule de Stirling
= (2t-1)
l{l(t)
2 P+1.
La relation (7) donne alors pour le calcul des nombres de Bernoulli, avec Jes
notations deja utilisees :
(2h+l)
2 p+l_(2h-1)
2 p+l
= 2(2p+l).
= 1+
2p(2p+l)
2
(2h) +
(2p+l)(2p)(2p-1)(2p-2)
4!
(2h) . (15)
(2h) 4 + ... =
34
r=l
c~r~l (2h)
'
( 1)
W+x)=
(3)
Voir
CARATHEODORY,
"
"-+---+Rn,
x(n + l)X
PL;;,,pl+z
p 257.
(16)
2r(2r-1)
< Rn <
a la formule
I
nl+z . (cf. p. 88).
[CHAP. II]
relation qu'on
83
(l 7)
Uo=
--
2p+l
(18)
(2h) 2'
u =(-l)r-tc2p~1
2r 2
2r(2r-1)
Montrons que
0
<
Uo
<
<
U1
Uz ".
<
up-
=u
(19)
1
u 0 = --~-<2p+ 1
En faisant appel
u,+ 1
-=
u,
(2 p-2r+
a (14)
1)(2p-2r)
~ r ~
=2B
(p~
(20)
2).
on a, par ailleurs :
4B,+
X--=
(2r+ 1)(2r+2)
Mais pour I
p-2,
n2r+2)
(2 p-2r+
1)(2p-2r)
n
B,
on a tout d'abord
((2r+ 2)
(20)'
((2r)
(20)"
> I,
d'ou
((2r+2)
((2r)
n2
--->-
(21)
et d 'autre part
(2p-2r+
l) (2p-2r)
5 x 4
OU
20,
d'ou
(22)
sont alternativement
positifs
et negatifs.
Soit done
84
~ p-
[CHAP. II]
+ ... +(-1t-
Uo-Ui
=0
uk-1 +(-Itep,kuk
(23)
OU
0 < ep,k < I.
Pour k = p, !'equation (17) montre que l'on peut prendre eP,P = I. (Les termes
dont les indices sont superieurs a p sont nuls d'apres leur definition).
Pour tout entier k ~ p on a done finalement :
_1_
2p+ 1
= k~l
(2h)2r
lr-l (2r-1)2r
c2p-1
r~l
c2p-1
(2h)2k
p,k lk-l (2k-1)2k
_1_
2p+ 1
k;l( l)
m-1
(2p-1)(2p-2)
1
2
k+i
2p-l
+(-lr+l_l_
.. (2p-2k+2)
2k-2
2p-2
X
-2-
...
2p-2m+2
2m-2
a la
(24)
place des h :
4kBk
2k(2k
4mBm
2m(2m-l)@m,p
(25)
ou
Bi
a1
N -
a2
B2
+ ... + -
l)m
Bm-1
(2m-3)(2m-2)
am-1
et ou les coefficients
( 1)
aP
Ch. I, p. 47.
85
[CHAP. 11)
00
ak
n=O
(2x+2n+l)
2p-l
00
2k-1
L -- 1
p=k
2p-2
X --
1
(2x+2n+1)
2p-2k+2
2k-2
X -------
ak
2 p-lk
1
u~;
X
1
(x)
1680x 7 +
l)me
Bm
m2(2m-1)(2m)x
m-l'
On applique ici les resultats precedents, relatifs aux nombres et aux polynomes de Bernoulli, a la demonstration d 'une celebre formule de sommation,
dont nous donnerons ci-dessous d 'autres demonstrations.
Soit G(t) une fonction dont les derivees sont continues jusqu'a l'ordre 2h
pour O ~ t ~ I. Nous integrons par parties !'expression
I
1
G"(t)w 1(t)dt,
w 1 (t) designant la fonction etudiee ci-dessus (Cf. chap. II., 4, p. 72). On obtient
1
[G'(t)(t--mi
G'(t)d1,
d'ou
1
G'(O) = G(l)-G(O)--HG'(l)-G'(O)]
W1(t)G"(t)dt.
86
[CHAP. II]
G'(O) = G(l)-G(O)-t[G'(l)-G'(O)]+[w
(t)G"(t)]J-
f
1
-[w
(t)G"'(t)]J
+[w
h(t)G< 2 h>(t)]J-
w 2 h(t)G< 2 h+l)(t)dt.
(28)
Comme
b2p
w 2 p(l)
= w 2 p(O)= (2 p)!,
w 2 p+ 1 (1)
= w 2 p+ 1 (0) = 0,
on en deduit :
G'(O) = G(l)-G(O)
+ bz [G"(l)-G"(O)]+
2!
+ bi [G'(l)-G'(O)]
1!
-f
(28)'
Bien que cette formule, consideree telle quelle, soit suffisante pour !'application
que nous voulons en faire maintenant, en raison de son importance nous
faisons quelques remarques. Elle apparait comme le cas particulier d 'une
formule <lite formule d 'Euler-Mac Laurin et qui s'ecrit plus generalement :
(x-a)
G'(a)
b
+ ~(x-a)
2!
G(x)-G(a)
- x-a [G'(x)-G'(a)]
2
[G"(x)-G"(a)]
b
+ + ~(x-a)
(2h)!
-(x-a)
2h+l
w 2h(t)
G(Zh+l)
[a+(x-a)t]dt.
(29)
Remarque
II y a lieu de faire attention. Dans ces questions les notations sont loin d'etre
univoques. Ainsi trouve-t-on tres souvent dans la litterature la formule ecrite
[CHAP. II]
87
autrement. Par exemple clans le livre de Whittaker (A Course of modern Analysis) la formule revet une forme differente du fait que les polyn6mes de
Bernoulli sont nommes autrement. Soient BP !es nombres de Bernoulli utilises
par Whittaker, ils sont lies aux precedents par la relation
h2h = (-1t+
Bh.
on a :
G'(O) = G(l)-G(O)-HG'(l)-G'(O)]
L (- l)q+ 1 _q_'[G(lq)(l)-G(lq)(O)]
q=l
(2q).
- - 1-
(2n)!
(30)
G'(O) = G(l)-G(O)-HG'(l)-G'(O)]
-f
1
+ nf
q=l
(-1)q+l~[G
(2q)!
2 q(l)-G
2 q(O)] -
- 1
G(ln+l)(t)<Pin(t)dt.
(31)
(2n)!
La formule (30), comme celle de Taylor, prend d 'autres formes usuelles. Ainsi
si l'on pose x-a = h et si l'on ecrit F(x) pour G'(x) elle s'ecrit
a+h
h
F(u)du =-[F(a)+F(a+h)]+
2
- r=lf b2,h2r
[F(2r-l)(a+h)-F(2r-l)(a)]+h2n+l
(2r)!
Jw2n(t)F(2n)(a+ht)dt
(32)
En substituant
CAMPBELL
successivement
aa
88
[CHAP. II]
J F(x)dx
h{tF(a)+F(a+h)+
... +-!-F(a+rh)}
n b h2q
~ [F 2q- 1 (a+rh)-F(
(2q).
q=1
2q-l)(a)]+Rn,
avec:
1
Rn= h 2"+ l
W2nU)
{:t:
p(ln)(a + qh + ht)
}at,
(33)
(Cette formule est tres employee pour le calcul numerique des integrales definies
et donne une methode beaucoup plus puissante que celle des trapezes ou celle
de Simpson).
8. Complement
Approximation
de la somme de la serie
00
n=1
1
1+x'
n
1
21+x
1
31+x
1
'' -.
nl+x
00
.. =
n';:1
(34)
dn
(35)
> 1-nx.
(36)
[CHAP. II]
89
( 1)-x
1-~
(1+~ 1)-x
et
>1+~
>1-~.
(37)
OU
On a done
nx
X
---<-<----(n+lY
n
1-
nx
(n-lY
nx
-----<--<-----.
nx (n+lY
(n-lY
nx
n 1 +x
(38)
En ecrivant cette inequation pour les valeurs n + 1, n +2, ... , n +p, ... onobtient:
1
00
---<
x(n+1y
p=1
(n+p) 1 +x
<-.
xnx
(39)
-<
xnx
x(n+
1y +--nl+x
'
L" p- 11-+x +
p=1
1
x(n+lY
+ Rn
(40)
OU
O<Rn<-1+.
n
1
X
Cette expression de S(l +x) permet de calculer la somme cherchee avec une
erreur arbitrairement petite si n est suffisamment grand. Remarquons que R"
est toujours positif.
90
[CHAP. II]
= <p(x)(1)
On a etudie au chapitre I les solutions de cette equation pour le cas particulier qi(x) = In x.
On a demontre relativement aux solutions de cette equation, un theoreme
d'existence et d'unicite qui a permis une definition precise de la fonction
Log I'(x) a partir de cette equation. Le but de l'etude qui suit est de rechercher
si ce theoreme est susceptible d'une extension a !'equation fonctionnelle plus
generale
(1)
f(x+I)-f(x)
= qi(x)
qi(x) etant une fonction soumise a des conditions qui seront donnees ulterieurement.
Commern;ons par etablir un important theoreme que, pour plus de commodite, nous enorn;ons tout de suite, avant d'en donner la demonstration.
Theoreme I. - On suppose que qi(x) est une fonction definie decroissante
pour x ?,o0, tendant vers zero quand x tend vers l'infini. L'equation
f(x+I)-f(x)
= qi(x)
possede la solution
00
f(x)
[<p(n)-<p(n+x)]+f(O),
n=O
et si f(O) est donne, cette solution est la seule qui soil croissante pour x
0.
Tout d'abord montrons que si l'on a trouve pour (I) deux solutions f 1 (x)
etf 2 (x) croissantes toutes les deux pour x ?,o0, leur difference est une constante.
Pour cela, nous considerons la difference :
J(x) = f 1 (x)- f 2 (x).
a un
[CHAP. II]
91
(F) 1 montre immediatement que b(x+ 1)-b(x) = 0, done que b(x) est une
fonction periodiq ue, de periode I ; ii suffit done de Ia determiner pour O ~ x < I.
Si N designe un entier positif ou nul, on peut ecrire (avec
< I) :
lxl
f,
(N +x)- / 2 (N +x)
b(N +x).
On en tire des inegalites sur b(N +x) en prenant le minimum def, (N +x)
et le maximum def 2 (N +x) dans l'intervalle (N, N + 1) et, de meme, en prenant
le minimum de / 2 et le maximum def, dans cet intervalle, ce qui entraine,
les fonctions / 1 et / 2 etant croissantes :
(2)
Or:
Mais
b(x)
b(N)+(f)(N).
c5(x) = c5(0).
b(x) est done bien une constante.
Soit alors uN(x) = (f)(N)- (f)(N +x) le terme general d'une sene. Pour
x ~ 0, on a ((J(N) ~ (f)(N +x), c'est-a-dire uN(x) ~ 0. Supposons que x soit
compris entre les deux nombres entiers consecutifs K et K + 1 :
uN(x)
(f)(N)- (f)(N+K+I)
VN (serie numerique).
Alors :
V0 +V, + ... +VN
= ((J(O)+((J(l) + ... +
(f)(K)-
[(f)(N+I)+
... +((J(N+K+I)]
OU
N
SN(x)
= u 0 (x)+
... +uN(x)
h=O
[<p(h)-<p(h+x)]
92
[CHAP. II]
SN(x+l)-SN(x)
[<p(h)-<p(h+x+l)]
- [<p(h)-<p(h+x)],
h=O
OU
N
= <p(x)-<p(x+N+l).
[<p(h+x)-<p(h+x+l)]
h=O
Or
Jim
qi(x+N
+I)=
O; done
si S(x) designe
N-+oo
S(x+l)-S(x)
= qi(x), ce qui montre que S(x) est une solution croissante
de (I). Par ailleurs uN(O) = qi(N)- qi(N) = 0, done S(O) = 0, c'est-a-dire
que :finalement la quantite
00
S(x)
[<p(N)-<p(N +x)]
N=O
est, a une constante pres, la seule solution de (F) 1 qui soit croissante pour x?:: 0.
Remarque
Supposons maintenant que x soit negatif et que qi(x) soit encore de:finie
pour certaines valeurs de x negatives. S'il existe au surplus des nombres
entiers h pour lesquels qi(x+h) soit de:finie, alors les uN(x) sont encore de:finis
pour ces valeurs. Soit x une telle valeur et supposons que
-k~x::a;-k+I
Or
vk+ ... +vN = -[qi(O)+ ... +qi(k-I)J
+ [qi(N-k+I)+
... +qi(N)J
S(x) =
L [<p(N)-<p(N
+x)]
est encore, pour ces valeurs negatives de x, une solution de !'equation fonc-
[CHAP. II]
93
tionnelle (I). On ne peut toutefois rien affirmer ici sur sa croissance a cause
des termes du debut de la serie : u0 (x), u 1 (x), ... , uk- i (x).
Le theoreme precedent, que dans la suite on designera par Theoreme I
permet de demontrer maintenant le suivant qui est plus fort, et que nous designerons par Theoreme II.
2. Extension de Ia methode precedente
Theoreme II. - Soit <P(x) une fonction donnee, k fois derivable, et telle que
sa derivee d'ordre k, <P<k>,
soit decroissante pour x ~ 0 et tende vers zero
lorsque x augmente indefiniment. L'equation fonctionnelle
F(x+l)-F(x)
(1)
<P(x)
ou S(x) vaut
L
00
n=O
X
xk
cP(n)+-cP'(n)++-cP<k\n)-cP(n+x),
1!
k!
Comme S(x), on l'a vu, converge uniformement pour x ?,o 0, on peut integrer
terme a terme de O a x la serie Un(x) = .rp(n)-<p(n +x) du theoreme I qui
s'ecrit ici
I
X
un(x)dx
94
[CHAP. II]
OU
cP(k-t)(n)+ +cP(n)-cP(n+x),
La serie
S(x)
L
00
n;O
X
cP(n) + -cP'(n)+
1!
+ -Xk
k!
cP\n)-cP(n+x)
J
,
c'est-a-dire
CJ)
S(x) =
L Un(x),
1
= ... =
s<k-tl(O);
0. On
s<kl(x) = S(x)
(Cf. theoreme I).
s<kl(x+l)-s<kl(x)
<t><kl(x),
puisque cette equation se reduit a S(x + 1)-S(x) = qi(x), ce qui est bien
verifie (Cf. theoreme I).
La difference entre s<kl(x+l)-s<kl(x) = <t><kl(x)etant nulle, il en resulte
que <P(x)-[S(x+l)-S(x)]
est un polynome en x de degre k-1. Cherchons
a evaluer ce polynome. Tout d'abord, on a son developpement de Mac Laurin
cP(x)-[S(x+l)-S(x)]
= [cP(O)-S(l)] +- [cP'(O)-S'(l)]+
1!
k-1
+ _x__
(k-1)!
[cP<k-1)(0)-s<k-tJ(l)].
(3)
[CHAP. II]
95
= <P(x)-[S(x+l)-S(x)]
+ 1)-
F(x),
= H(x).
= Q(x),
Cette equation fonctionnelle se resout facilement si, pour exprimer les polyn6mes Q(x), on prend comme base, selon une remarque deja faite, les
polyn6mes de Bernoulli Pk(x) a la premiere maniere definis deja par la propriete
Pk(x+l)-Pk(x)
L'equation Q(x+l)-Q(x)
Q(x)
... +ak-1Pk-1
= F(O)+ [<P(O)-S(l)]x+
[<P'(0)-S'(l)]
P 1 (x)
1!
En rempla9ant F(x) par -F(x) et <P(x) par -<P(x), on voit que l'on peut
intervertir les mots croissant et decroissant dans les theoremes I et II.
3. Formule de Stirling
Theoreme ID. -
96
[CHAP. 11)
theoreme fl avec k = 2h, h ;,, I, <P2h(x) etant continue pour x ;,, 0. Soit F(x)
la solution de I' equation
F(x
+ 1)-F(x)
= <P(x)
definie par le theoreme II. A/ors la fonction F' (x) possede le developpement
asymptotique suivant dit de Stirling :
[F'( )()
bi
b2 "( )
b2h-2
' 'X - <PX +LJ<P (x + l!<P X + ... + (lh-l)!<P
1
(I)
. OU
IR,- -
(2h-2)(
X +Rh,
Prenons en effet, pour la fonction appelee ci-dessus G(t) ('), une fonction que
2h>(x+t) etf(t) = F<2h>(x+t)
nous ecrirons F(x+t). Les 2 fonctions rp(t) = <1><
verifient les conditions du theoreme I, done
00
+ L
F<2h>(x+t) = F( 2h\x)
2h>(x+n)-<P<21r>(x+n+t)].
[<P<
n=O
t sur le
= F<2h>(x)
w 2h- l (t)dt
JJ
1
I
I
W2h- l (t)dt
(1) Cette fonction G(t) est celle qui figure dans la formule d'Euler-Mac Laurin etablie
au 7 du chapitre II, p. 85 formule que ]'on ecrit jusqu'it l'ordre 2'1-2.
[CHAP. II]
97
I
I
ntof2hl(x+11+u)w 2h-i(u)du.
<1><
-t I
n+I
00
<P(Zhl(x
+ t) Wzh- 1 (t)dt =
<P(2h>(x+t)w2 h-i(t)dt,
peut s'ecrire
= <P(x+t).
F(x+t+ 1)-F(x+t)
On a done bien la formule asymptotique
(1).
Si l'on y fait k = 2m (m
Wzm(O)=
00
L
n= I
cos (2nnt--tkn)
11k
I), on obtient :
~ = (-l)m+l
(2m)!
_2_
(2n) 2 m
I ~'
n=I
11
(1) Ce reste Rn n'est pas tout a fait celui obtenu dans le 7, mais celui qu'on obtient apres
une integration par parties en tenant compte du fait que
W2h-1(t)
W2h-2(t),
98
[CHAP. II]
On a alors
f
00
Rh= -
2h>(x+t)dt
w 2h_ 1(t)<P<
f
00
2h>(x+ t)]~ +
= -[w 2h(t) <P<
2h+1l(x + t)dt
w 2h(t) <P<
0
00
= ~<P(2hl(x)+J
w (t)<P(2h+l)(x+t)dt.
2h
(2h)!
f
00
00
= ~ <P(2h)(x).
(2h)!
R
h
2hl(x)+R
= ~ <P<
(2h)!
h+l
ou encore:
2hl(x)
= e ~ <P<
R
h
\2h)!
EXERCICES
xu(x)
(E)
[CHAP. II]
99
u(x+2) = -u(x)
x+l
et peut se ramener a la forme etudiee f(x + 1)- /(x)
En deduire que la seule solution logarithmiquement
fonction
<p(x).
convexe de (E) est la
g(x) = ~ I'(-tx)
~2 I'(-tx+l)
(BOURBAKI,
p. 172).
U=
2tx
et
I'(l--tx)
V=---I'(-t--tx)
= xF(x) + ---
I'(l-x)
= I'(x);
1
I'(l-x)
~ In I'(l - -tx).
dx
I'(l-tx)
100
[CHAP. II]
4. FONCTIONS DE BERNOULLI
1. Definition des fonctions de Bernoulli
(1)
Pa(x+l)=
ro
[(n+lt-(n+x+lt]
n=O
[na-(n+xt]
(2)
n=l
alors
Pa(x)= -xa+
[na-(n+xt].
(3)
n= 1
-axa-l
_a
I,
ro
(n+xt-
= -a
(n +xt-
n=O
n=l
Ba(x) = P:(x) = -a
(n+xr-l'
pour a< 0,
n=O
[CHAP. 11]
IOI
ix n'est pas entier). Le theoreme II montre alors qu 'il existe une seule fonction
Pa (x) verifiant la relation
pour x
I,
I),
on obtient:
(x
I).
Ba(x)
=-IXL
1.
(n+xr-
n=O
A) Si
IX
- Ba(x)
= - jaj L
n=O
la fonction
s'ecrit
1
(n+x)lal+l
(3')
elle est done decroissante et tend vers zero pour x tres grand ; done, a une
102
[CHAP. II]
= ax-
aPa_ 1(x+l)-aPa_,(x)
Comme aPa_ 1(x) est aussi croissante et qu'elle satisfait a la meme equation
que Ba(x) qui est elle-meme croissante, il resulte du theoreme I que Ba(x)
et a Pa_ 1 (x) ne different que d 'une constante; done
= -aPa-1Cx)
-B.(x)
c e.
1
= -aP.-
-B.(I)
(1)
+ C'e.
(4)
On pose Ba(!) = ba et l'on appelle ce nombre nombre de Bernoulli d'ordre a.
B) Si a > 0, une analyse semblable s'applique en partant du theoreme
d'unicite.
Si k est compris entre a et a+l, la derivee (k-1)-ieme de Ba(x) est croissante pour x ~ 1, et celle de xa- 1 decroit vers zero, on a done de meme
Ba(x)
aP 0 _ 1(x)+b .
= aB
0 _
1 (x).
(5)
lei a doit etre different de (-1); a part cela, toutes ces formules (3), (4), (5)
sont egalement valables si a est un entier positif ou nul.
3. Formule de multiplication
I, et m entier
2) :
(7)
[CHAP. II]
103
Pour k =[IX]+ 1 (1), la derivee k-ieme de Fa(x) croit. Si IX< 0, Fa(x) est luimeme croissant, on a done :
Ba -m +B a - m
++B a
=f. 0
Ba(x)
=---.
ma 1
Cette formule sera utilisee ci-dessous pour obtenir la formule de multiplication de Legendre-Gauss.
Dans ce qui precede, ii y a lieu de mettre a part le cas ou IXvaut -1 (on
retrouve ici une circonstance analogue a celle qui se produit dans l'etude
elementaire de la fonction x\ dont la primitive a la meme forme xa+ 1/(IX+ 1),
sauf pour IX= - I qui necessite une etude speciale).
On pourrait etudier la fonction B _ 1 +, (x) et faire tendre s vers zero, mais
ce detour n'est pas necessaire. Les theoremes I et II sont demontres en effet
104
[CHAP. II]
4. La fonction F(x)
Ainsi peut-on prendre tout de suite q:,(x) = ln (I +x), on tombe alors
sur !'equation fonctionnelle;
= In (1 +x)
f(x+l)-f(x)
dont il a ete deja question (1)et qui admet pour solution ln I'(x). Le theoreme II
montre que cette equation fonctionnelle admet une solution et une seule a
derivee croissante. donnee par I'expression :
=f(O)+x[q:,(0)-S(l)]+S(x)
f(x)
(8)
OU:
00
S(x)
[q,(n)+xq/(n)-<p(n+x)],
n=O
n=O
[1n(n+l)+~-ln(n+x+l)]=
n+l
[1n11+~-ln(n+x)J(9)
n
n=l
00
f(x) =f(O)-yx
+L
n=1
In -l+x/11
00
(1 1)
I -- 'l
n+x
= -r'(x)
I'(x)
= -1 .
x
[CHAP. 11]
105
1 2: (1
-- -
Cx>
= - -+
P -1
00
n=l
1 )
n+x
I'(x) est done liee aux fonctions de Bernoulli par la formule fondamentale :
r'(x)
--
= - y+P _ 1 (x)
r(x)
(10)
Considerons la fonction
F(x)
= mx I'
(x)(x+l) (x+m-1)
;
(11)
I'(x/m+l)
----'-- = m---F(x)
I'(x/m)
X.
In F(x) = x In m
+lnr(;)
++lnI'e+:-l)
(x)(x+ (x+m-1)
-xr;(1)
r;(2) (m-1)
1)I'
r; r-----,;;Posons alors :
=m
I'~
I'(x)
106
[CHAP. II]
(h)( h)= TI --
y2 = m-l
TI r - r
m
h=l
1--
m-l
n
h=l sin hn/m
Or:
Comme:
m
1
~ = l+z+
z-1
m-1
TI Cz-e2ih1t/m),
... +zm-1
h=l
ce qui entraine
TI sm. -h n _-
m-1
h=l
(')m-1
m-1
-I
e -in[1+2+ +(m-1)]/m TI (1 -e
2
h=l
=
Ainsi done
y; = (2nr-
/m, et
x)
r ( -m
r (x+l)
-m
2ihn/m)
(m-l)in/2
e
2m-l
e-in(m-1)/2 m
= m/2m-1.
finalement :
... r
(x+m-1)
= (2nim-l)/Z
_
r(x).
mx t
(12)
Cette formule demontree ici pour x ~ l est valable, comme on le verra, pour
tout x complexe different d 'un entier negatif et de zero. Elle apparait ici comme
le cas particulier d'une formule beaucoup plus generale valable pour toutes
les fonctions de Bernoulli.
6. Formule de Stirling pour les fonctions de Bernoulli
et
a x + 1, on
obtient
et si l'on substitue x
a
b1
Bax( ) = x - l!ax
a-1
a(a-1)
2!
a-2
a(a-1)
cP(x)
(x+ I)"
+
(a-2h+
(2h)!
1)
a-Zh
bzhX
+Rh+l(x,a)
[CHAP. II]
107
OU:
I
00
Rh+1Cx,a) = -a(a-l)(a-2h+l)
W2h+1Ct)(x+tr-Zh- 2dt
(13)
Bk(x) = xk-txk-l+Cfb2Xk-2+
Par ailleurs, pour a> 0 avec a< k < a+I, la derivee d'ordre k de xa, ainsi
que celle d 'ordre k + 2m sont decroissantes, et celles d 'ordre k + 2m + 1 sont
croissantes et ten dent vers zero. Pour a < 0, Jes derivees d 'ordre 2m + 1 sont
croissantes et tendent vers zero. On peut done appliquer la formule (13),
soit a Ba(x), soit a -Ba(x) et ainsi :
(a-2h+3)
(2h-2)!
e
h
a-2h+2
2h- 2 X
xa-2h
a(a-l)(a-2h+l)b
2h!
(14)
aveco::;;eh<l,
x~l.
2h~[a]+l.
Pour a < 0, la formule (11) est valable quel que soit h.
7. Formule de Stirling pour la fonction r(x)
F'(x) = lnr(x+
l)+J
= <P(x)-}<P'(x) +
k=l
OU:
-I
b
~ip(Zh)(x)+R
(2k)!
00
R =
OJ
(avec O <
eh < 1).
2h
(9
~ q,<Zh)(x)
h (2 h) !
108
[CHAP. II]
Or:
<l>'(x)= ln(x+ l); P"(x) = _1_' ... ' <l>(2hl(x)= (2k-2)!
x+ 1
(x+ l)2k-1
d 'ou, en rempla~ant encore (x +I) par x (et si x
"
In x + L.
k= 1
h-1
I) :
+ R
--
2k
2k(2k-1)
x 2 k-
(15)
h
avec:
00
Rh= -(2h-
2)!J W2h-1(t)dt
(x+t) 2 h-i
8hbzh
2h(2h-1)
_1_
x 2 h-i
I'(x)
I'(x+-!)
= 2l-Zx .JnI'(2x).
o< e1 <
1.
CHAPITRE III
( 1--y=O
n 2)
x2
(1)
admet la solution
J (x)
n
(::)n[_!_
- __H'![_+ ... + (-1)'(x/2)2r
2
n!
l!(n+l)!
r!(n+r)!
+ "']
'
110
[CHAP. III]
Si l'entier nest remplace par un nombre reel quelconque v, on deduit immediatement de la definition de r que !'expression suivante est solution de (1)
pour tout x et pour tout v :
(x/2) 2
l!I'(v+2)
x)'[
1
J,(x)= (
I'(v+l)-
( - l)'(x/2)
++r!I'(v+r+l)+
'
(2)
dy
x-+(c-x)--ay=O
dx
dx 2
(3)
a l'origine
r 2 +(c- l)r = 0
de racines O et 1-c (a l'infini, la singularite de (3) n'est pas fuchsienne, et la
solution y admet en general un point singulier essentiel).
On obtient une integrale de (3) sous la forme
(n+2)(n+1)qn+2 = (n+a)qn
(n
= 1,2,3, ... ).
Pourvu que c ne soit pas un entier ~ 0, on a ainsi une integrale de (3) sous
la forme mentionnee. Si l'on prend q 0 = I, cette serie, convergente dans tout
le plan, s'ecrit
a ( a + 1) ( a + n - 1) xn
<I>
(a,c,x ) -_ 1 + ~
L.
n=l
c(c+l)(c+n-1)
(4)
n!
[CHAP. III]
111
xd ~
dx
+ (2e+c-x)dy
-[a+e
e(e+c-l)]Y
dx
En faisant e = 1-c,
= 0.
d 2y
xdx 2
dy
+ (2-c-x)-
- (a-c+
dx
l)Y/ = 0
(5)
= A<P(a,c;x)+Bx
(5)'
etc en 2-c.
-c<P(a-c+l,2-c;x)
(6)
qui n'est plus valable si c est entier positif negatif ou nul, On peut remedier
a cette disparition en prenant comme solution non plus la fonction <P(a,c, x)
definie par (4), mais la fonction
<P*(a,c;x)
= _l_<P(a,c;x)=
I'(c)
n=o
a(a+l)(a+n-1)
I'(c+n)
x"
n!
(6')
0
lim
c-1-m
(n=0,1,,m-1)
1
1
I'(c+n)
(n=m,m+l,)
(n-m)!
Ainsi:
<P* (a, 1 -m;x)=
.
hm
* (a,c;x),
<P
c-1-m
ce qui s'ecrit
( a + n - 1) x"
I a (a + 1)(n-m)!
-.
n=m
n!
00
<P (a,1-m;x)=
I'(a+m)
I'(a)
xm<P(a+m,m+l;x).
(7)
112
[CHAP. III]
on peut ecrire,
a condition
f f f f f
X
J.(x)
l;n-
!;n-
f;2
l;1
f(c;)dc;dc;1 dc;n-1 dx
sous la forme
X
fn(x)
= - 1-JJ(t)(x-t)"(n-1)!
dt.
(1)
= f(x)dx
on a done alors J"f(x) = fn(x), ouf(x) et Xn-l SOntremp(aces par zero SiX < 0.
On peut essayer d'etendre la formule (I) au cas ou nest d'abord un nombre
reel positif quelconque. On appellera a ce nombre quand il ne sera pas entier,
[CHAP. III]
APPLICATIONS
113
DE LA FONCTION GAMMA
l"f(x) = - 1- Jf(t)(x-t)~I'(a)
1 dt
(x
> b)
(2)
b etant un nombre fini (OU egal a - CX)). (Rappelons que Hadamard etait
parti de la meme integrale, mais sans le facteur I'(a) au denominateur, pour
definir ce qu'il a appele partie finie d'une integrale definie dans le cas des
valeurs negatives non entieres de a). L'absence du facteur 1/I'(a) rendait
impossible !'extension de cette notion a la valeur zero ou aux valeurs negatives
entieres de a (2).
Nous supposons quef(x) est continue dans l'intervalle (b, x) et que, sit tend
vers -oo, f(t) tend vers zero de fa.;on que ne s'introduise aucune complication provenant eventuellement des grandes valeurs de t.
L'integrale ecrite a la formule (2), qu'on appelle aussi parfois de RiemannLiouville , est alors convergente pour toute valeur positive de a, (et meme
pour tout a complexe tel que R(a) > 0). Elle diverge pour tout a negatif ou nul.
2. Primitive d'ordre fractionnaire
= f"+Pj(x).
f"(I/J f(x))
(3)
1
J"[Jf1f(x)] =
Jcx-tY.
I'(a) I'(/J)
1 dtJJ(v)(t-v)f1-
1 dv,
soit :
X
1
J1(v)dvf
I'(a) I'(/J)
b
(x-tt-
u-vi-
dt.
Cette seconde integrale est eulerienne et s'ecrit par Jes changements de variable
simples t-v = U, puis U = (x-v)u :
1
(x-vy+P-l
J(l-uy-
B(a,f]),
(1) Marcel Rrnsz: l'integrale de Riemann- Liouville et le probleme de Cauchy (Acta. Math.),
t. 81, (1949).
( 2 ) Cf. Le~ons sur !es Equations aux Derivees partielles du type hyperbolique, pp. 1-223.
(3) WHITTAKER,
p. 76.
114
[CHAP. III]
J
X
f(t)dt
si a. ou R(a.) est positif; rJ(x) est une fonction holomorphe par rapport a a..
(Bien remarquer que dans tout ce calcul la valeur x est fixee.)
3. Prolongement analytique
il
k=o
J<k)(b)
T(a.+k+
(x-b)a+k
1)
JJ<">(t)(x-t)a+n-ldt
T(a.+n)
b
(4)
Les formules (4) et (5) montrent que, dans Jes conditions precedentes, rJ(x),
consideree comme fonction analytique de a., peut se prolonger hors du domaine
de convergence de l'integrale de depart, ce prolongement pouvant s'etendre
a toutes
115
[CHAP. III]
-J
- 1
(x-tYI'(oc)
(6)
1 f(t)dt
On supposera, pour le montrer, tout d'abord, c fini etf(x) continue dans (c, x);
rf(x) s'ecrit alors :
-f
X
Jaf(x) = - 1
[f(t)-
rw
f(x)] (x-t)a-
dt
+ f(x)
rw
JextY-
dt.
(7)
1 dt
[f(t)-f(x)](x-tY-
par
J + I.
x-b
Le terme
J est arbitrairement
x-0
x-b
f,
116
[CHAP. III]
zero avec expuisque zero annule 1/I'(ex). Le cas ou c vaudrait -oo se ramene
aussitot au precedent, l 'intervalle ( - oo, c) etant tel que I'integrale, pour Jes
memes raisons, tend vers zero avec ex.On peut done bien poser / 0 /(x) = f(x).
La formule du prolongement analytique (4) se reduit, dans le cas ou ex= 0,
au developpement de Taylor :
J'J<">(t)(x-t)"X
f(x)
n-1 f(k)()
L __ c
(x-c/+--
k!
k=O
dt.
(n-1)!
C
Signification de rJ(x)
r"J(x)=
lim
rJ(x)=J<">cx).
(8)
cx-+-n+O
x-b
1
I'(ex)
J(t)(x-t)-
dt
( ()> 0)
x-b
etant toujours
Jprise
C
sur le
APPLICATIONS
[CHAP. III]
117
DE LA FONCTION GAMMA
d
-1
dx
1J+ 1
1
f(x) =
-dJ f(t)(x-t/dt
I'(/3 + 1) dx
= -1
I'(/3)
J(t)(x-tl
1 dt
J:
= JPJ(x).
P(t) =
n-1
k~O
f(k)(x)
--(t-x)k.
k!
l"f(x)
= - 1-JJ(t)(x-t)"-
1 dt
I'(rt)
s'ecrit :
-f
X
- 1
I'(rt)
-f
X
[f(t)-P(t)](x-t),,-
]dt
1
I'(rt)
+-
(I)
HADAMARD,
P(t)(x-t)"-
dt.
(9)
118
[CHAP.
IIJ]
f(t)-P(t)
(x-tf
reste borne lorsque t tend vers x; (9) realise d'ailleurs une extension de (7).
11 peut etre commode, dans ces calculs, de placer la singularite a l'origine,
c'est-a-dire d'ecrire (avec les notations de M. Riesz)
-J
b
rJ(O)
=-1
1 dt.
f(t)ta-
r(rx)
P(l)
fkl(O)
I --t\
k!
k=O
on obtient
J[f(t)-P(l)Jtb
rJ(O)
=-
r(rx)
1 d1
+-
I f(k)(O)
--- bk+a ;
n-1
I'(rx) k=o
(k+rx) k!
en particulier :
J 0J(O) = f(O)
et
rkf(O)
= ( -1/ t<k>(o).
(10)
Remarque
On peut d 'ailleurs proceder d 'une autre maniere, extremement simple,
pour obtenir rf(x) quand rx est negatif (mais ni entier ni nul).
En effet ce qui est important dans cette question de convergence, c'est le
signe de rx. Supposons que f(x) soit p fois derivable et qu'on veuille en calculer
et -p. On
la derivee d'ordre rx, rx etant un nombre compris entre -(p-1)
calcule d'abord la derivee ordinaire d'ordre (p) soit J<P>(x)et on applique a
J<P>(x) l'operateur r-p. Comme rx-p > 0, r-p est bien convergente, et,
par consequent repond a la question.
6. Applications des notions de derivee et de primitive d'ordre non entier
On peut introduire la derivee d'ordre non entier pour ecrire des formules
deja connues; il arrive que cette maniere de les ecrire revele des relations
jusqu'ici cachees, entre des fonctions (meme entre des methodes). Nous en
[CHAP.
111]
119
J p(z)
J(1-
= ____}_/lY,r(p+!)yn
(11)
Posons zt
= w, on obtient :
z
JP(z)=
-J(z
2
(2zY f'(p+!)Jn
(12)
-w 2 y-tcoswdw
jv dv
cos
Jv
(13)
-q-1
de cette equation :
2P ,- p/2j
_ d-p-q-t
-.Jnu
p(Ju)] - du-p-q-t
( COS'\/ i U)
Ju
'
(14)
soit:
2p+q+1 ln;ut(p+q+1) J
( fu)
\/
p+q+1 V ,
ou, en reprenant la definition (11) de Jp(z) :
u
2q+luf(p+q+llJ
dv
(15)
(1)
Cf.
CAMPBELL
GUELFAND,
-
p. 118.
IO
120
[CHAP. Ill]
e :
(16)
F(rt.,{3,y;x)=
I'(y)
I'(/3) I'(y-
ftp-
(17)
1 (1-t)y-p-!(1-tx)-adt
/3)
0
ou R(y),
jxj < I.
R(/3) > 0 et
a) Posons w = x(l-t)/(1-tx),
on obtient
xi
F(rt.,{3, ; x)
y
= I'(y) (1-xy-a-p
r({J)
I'(y-{3)
- 1-J~y-p-i
(1-wl-r(x-wi-
dw,
x1 - r
0
;?:c0)
:
(18)
I
X
I'(y)xl-y
I'(/3) I'(y- /3)
P-1(1-
)-ac X -
)y-p-ld
soit encore, si x
;?:cO
;~:
F(rt.,{3,y;x)
= d~P-:r cp-)~~x)-a)-
(19)
[CHAP. III]
121
= (1-x)Y-a-p
F(y-a,
y-p, y; x).
on obtient:
d-o xy-1
-F(a,[3,y;x)
dx
I'(y)
soit, en revenant
a la
dp-y-o [x(J-1(1-xra]
p- _ 0 --_-dx r
I'(/3)
xy+o-1
=
I'(y+c5)
F(a,[3,y+c5;x),
definition (17) :
X
F(a f3 y x)(x-w)
' ' '
0 - 1 dw
'
OU:
1
(1-w)-
F(a,[3,y;xw)dw.
(20)
a la
representation de
J
X
g(x) =
1
I'(l-a)
f(~)d~ .
(21)
(x-~t
-J
X
g'(e)d~ ;
(x-~)1-a
(l)
Cf. GUELFAND
et
CHILOV,
122
r-
or
[CHAP. III]
f
X
1
I'(a)
J(x)
g' (i;)di;
(x-i;)1-a
(22)
= f(x) * -
f,.(x)
I'(n)
f(x)
xa-1
= f(x) * _+_
fa(x)
I'(a)
f(x) peut etre alors une distribution quelconque concentree sur Ox. On rappelle
que la fonctionnelle
1 est
x"+.-
definie ainsi
pour
x<
pour
x>O
(-1 <Ji.< 0)
X+
I'(a)
= <P(a)'
= f(x) * <P(a).
Or on sait que
123
[CHAP. III]
fo(x) = f(x)
f_,(x)
=f(x)*<P-1
= f(x),
=f(x)*J'(x)
=f'(x).
1)
Justification de la definition
soit:
x"t--1
x!-1
--*--=---.
I'(/3)
F(a)
x"t-+p-1
r(a
+ /3)
et que, aussi,
x"'+p-1
- _+ __
<P
a+p- I'(a+/3)'
f
1
x"'+P-l
t"'- 1(1-ti-l
dt.
124
[CHAP. III]
P=
I, en particulier :
da
dxa U(x)
x~a
= I'(l-a)'
(k
0) on obtient de (23)
da ( X+a+k-1)
dxa I'(oi-k)
= i5(k)(x),
Application
J
X
g(x)
1
I'(l-oi)
/(~)d~
(x-~t'
(24)
[CHAP. III]
125
il faut appliquer
a g la derivation
= dl-ag(x).
f(x)
dxl-a
La solution s'obtient par la convolution de g avec la fonctionnelle <Pa-I
g(x)
* cPa-1 =
(f(x)
-a
I'(l -a)
X+
soit:
X
OU
I
X
1 . _
1
(x) - r(a)
g'(e)d(;
(x-~)1-a
Comme on l'a deja dit, Abel avait obtenu cette formule pour a =
!-
126
[CHAP. III]
II
( 1)
f(x, y) dxdy.
R2
II
r~O
o~e~2n
JI
21t
00
(2)
dr
L x; = Cte.
i
III-
I
f(x
1,
Rn
I f -III
00
f(x)dx
dr
fds,
(1)
Cf.
SCHWARTZ
127
[CHAP. III]
II...I
If-
J
f(x)dx
R"
(3)
I(r)dr.
1,
x 2,
x.) est
/~ x~
\i
7'
'
= Sn
f(x)dx
R"
g(r)r"-
(4)
1 dr
Jexp(-x
R"
2 )dx=
+oo
exp(-xf)dx
- oo
+oo
exp(-xDdx
- oo
- oo
I
00
Sn
-r2
n-ld
r'
( 1)
SCHWARTZ,
exp(-x;)dxn.
128
r. En egalant
[CHAP. III]
(5)
Connaissant les Sm on a toutes les integrales spheriques sans nouvelles integrations. Par exemple le volume de la sphere dans Rn est
R
Sn
n- t
(.JnrRn
d = S Rn =
r
n
----
r(n/2+1)
Ainsi:
Une importante application des integrales euleriennes est celle employee par
Dirichlet et que nous traitons en detail car elle intervient dans la theorie
de la convolution et dans le calcul symbolique. La methode de Dirichlet
consiste a ramener, en utilisant la fonction I', des integrales multiples a des
integrales simples.
Soit a calculer d'abord
(6)
etendu
a un
triangle
0, y ): 0,
X ):
I I
1
l2
+y
1 :
1-x
dx
f(x+y)x"-
1 yp-idy.
(7)
[CHAP. III]
1-v
a essayer
y = -x -
= --x,
V
X,
129
= xdv
- ,
v2
Alors:
1-x
f(x+y)x~-1yp-1dy
devient
(8)
soit:
I
1
f(x/v)x~+p-iv-p-i(1-vl-
1 dv.
Dans !'expression (7) trouvee pour / 2 , on inverse alors l'ordre des integrations.
Les 3 inegalites x > 0, y > 0, x + y < l delimitant le domaine deviennent
x > 0, 0 < v < 1, x < v (figure 111-1).
V
V=l
1----~---~
x,ir
X
FIG. Ill-I.
a la justification
M.M.P., (ch. I, I)
J:
130
[CHAP. III]
Jdx Jf(x/v)x"+P-i
0
... v-<P+lJ(l-v)'l-
dv
"
devient
I
1
1dx.
If,)
1
Id
. (,
)p-1 V d ,
OU:
v"-1(l-v/-1dv
,a.+p-1f(,)d,,
ou encore:
1
dr,
f1c
1
I'(rx) I'(/3)
I'(rx + /3)
,),a.+p-1 dr.
(9)
III
1yp-i
f(x+ y+z)x"-
etendue ax~
0, y
0, z
0, x+y+z
I I
1-x
1-x-y
dy
zY- 1dxdydz
.f(x+y+z)yP-
1zr- 1dz.
[CHAP. III]
131
a la
1-v
z = y-v-
y
= ;-y
forme obtenue
OU
y+z = -.
V
.f(x+ y/v)yP+r
v 1 -y(l-v)Y-
comme
dv.
D'ou l 'integrale
1-x
dy
f(x+y/v)yP+y-tv-t-y(l-vf-
dv.
y/(1-x)
FIG. IIl-2.
Jdv J
0
f(x+y/v)yp+y-tv-t-y(l-v)Y-
Posant
y/v = r : dy = vdr,
1
1-x
Jdv Jf(x+r)(l-v)Y0
1 v 1 -P,P+r
1 dr,
dy.
a I, y
132
[CHAP. III]
formule qui nous ramene au cas precedent. Cette quantite vaut done
1-x
I'(/3)I'(y)
I'(/3+y)
1cx+r )r y+p-1d r.
(10)
1-x
xa-ldx
I'(f3)I'(y) .
I'(/3 +y)
.f(x+r)rp+y-
1dr,
Pour
t; ~
0,
L t;
1-).-fn-
I I
t 1 +t 2 + ... +tn-z
= A
I I
l
1-;.
fO+r)(l
[CHAP. III]
133
soit:
1-l
B((Xn-1, (Xn)
1 dr.
(12)
a une
integrale simple.
EXERCICE
Ramener
a une
fff
f[(x/a)" +(y/bt
etendue
+(z/c)
1]
dxdydz.
a
X ~
{
0,
(x/a)"+(y/bt
0,
Z ~
0,
+(z/cY ~ 1,
134
[CHAP. III]
f(u)
Jf(x)e'"xdx.
.
=---=1
(1)
.J2n
-
00
f(x)
J. .
1
=---=
f(u)e-'"xdu.
(2)
.J2n
-
00
I
00
TCF(f)=lc(u)
= );12 f(x)cosuxdx
(3)
; I
- J2
00
f(x) sm uxdx.
(3)'
Contrairement a ce qui se passe dans ( 1) et (2), dans les formules (3) et (3)'
Jes quantites le et ls et f sont exactement commutables, ce qui fait Ieur inten~t.
II n'y a pas d'inconvenient, alors, a dire quele etfsont transformees de Fourier
I'une de I 'autre, sans preciser la variable (de meme ls et f).
TITCHMARSH
[CHAP. III]
135
oo
J ](x)g(x)dx
-
+oo
00
+oo
l
~2n
a par definition
J g(x)dx J f(u)eiuxdu
= )~n
00
g; on
00
+oo
J g(x)eiuxdx.
f(u)du
-oo
-co
f(u)g(-u)du.
- 00
Supposons qu'on remplace g(u) par g(-u), alors g(u) est remplace par g(x)
(le surlignement signifiant le passage a l'imaginaire conjuguee), on en deduit :
+oo
](x) g(x)dx
+oo
J/(x)g(x)dx
00
(4)
00
J]c(x)gc(x)dx
0
00
Jf(x)
g(x)dx.
(4')
1,
(5)
(1)
Cf.
CAMPBELL
TITCHMARSH,
p. 181.
11
136
[CHAP. Ill]
si c(a) designe
<X)
x"-
cos xdx.
et
J? c(a)x-a
(6)
J?c(a)
[J!c(l-a)x
-"]
c'est-a-dire
(2/n) c(a) c(l-a)
Cette transformation
formule (6) :
x 1 -".
-c(a)c(l-a)=l
ou
c(a)c(l-a)=n/2.
(7)
7T,
On demontre une formule analogue a (7) en remplar;ant cos par sin, soit
s(a) s(l -a) = n/2.
cric= ~
l+x
(7)'
[CHAP. III]
137
Ainsi la fonction
f
00
r (Q) =
e - X Xa - l dx
f
00
I'(a)
= ~
n
x-u c(a) dx
t+x
ou encore
c(a)
cos (an/2)'
f
00
x-adx
1+ x
vaut
2
2 cos (an/2)
c(a)
cos an/2
la formule (7) donne done :
I'(a)I'(l-a)
= -.-
sm an
(8)
c'est laformule des complements (on peut l'obtenir d'une fa1;on analogue avec
les transformees de Fourier sinus).
4. Application de Ia convolution au calcul de certaines integrales definies
portant sur des fonctions euleriennes
Cf.
WHITTAKER,
p. 118.
138
[CHAP. III]
J/'--..
/'--..
-1
f(t) g(t)eixtdt
2n
-oo
OU
-oo
-oo
soit encore(1)
+oo
2~
+oo
+oo
f /(0eit(x-u)dt
g(u)du
Lf
-oo
-oo
g(u)J(x-u)du.
(9)
-oo
/'--..
f *g = f g
(9)'
(le symbole designant le produit ordinaire). Cette operation peut etre iteree
et l'on montre facilement que la quantite
Lf
+oo
+oo
h(v)dv
-oo
g(u)f(x-u-v)du
-oo
/'--..
/'--..
/'--..
-oo
-oo
+oo
...
11(u 1)J(x-u
-u 2 ... -un)du
(10)
-oo
/"-
/"-
/"-
TITCHMARSH,
c'est-a-dire
p. 51.
fn
encore, que
(10)'
[CHAP. 111)
139
Remarque
On vient de voir que si
/'....
zero
f(t) =
(2 cos
-ttY+p-z
I'(rx+/3-1)
si
JtJ<n.
I'(y+t)
1
I'(c5-t)'
00
+it
(2 cos -tu)Yu-z (2 cos (x- u)/2)+/l- 2 exp[-!-i(y- c5)u +-!-i(rx- /3)(x - u)] du.
-it
oc+J
f(
+it
a peu
1 )"+p-2 d u
2 COSzU1 )r+a-2 (2 S!IlzU
On obtient ainsi :
+ 00
00
e-iittdt
I'(rx + t)I'(/3
exp[-!-in(rx-/3)]
140
[CHAP. III]
+co
I'(a+x) eixtdt.
I'(/3 + x)
(11)
-co
En se rappelant que
I'(a+x) x I'(l-a-x)
sin n(a+x)
on peut ecrire
+co
b(t)
l
J I'(/J+x)I'(l-a-x)
=n
eixr
----dx.
sin n(a+x)
(12)
-co
~i-e-Zix(a+x)] = 2i
:t:
exp [ -in(2m+
l)(a+x)].
Alors:
+co
_ .
(t)-2mm~o
co
exp [ixt-in(2m+
l)(a+x)]
I'(/J+x)I'(l-a-x)
dx
(13)
-co
+co
-co
e-iuydu
I'(a+u)I'(
zero si
!YI<n
!YI~ n.
[CHAP. III]
141
On calcule facilement par des operations sur les integrales de contour dans
le plan complexe l 'integrale (1) :
+n/2
COS 0
2U X
ei"xdu =
nI'(a-l)
--2a-Z I'[(a +x)/2] I' [(a -x)/2]
(a > 1)
(14)
-n/2
e-iuxdx
-oo
En posant a=
+oo
2a-1
+oo
a+[J, x
2V+a-[J,
C0Sa-2U
SI
I'(a-1)
0
fy,
si
JuJ~ n/2.
on obtient
e-;vydV
2a+p-
I'(et+ V) I'(/J
-oo
si
IYl<n.
I'(a+ V) I'([J-
!VI
jVl -a-p
pour
grand, est d'ordre
condition peut etre amelioree.)
Cas particulier
:y
V)
+oo
dv
I'(a+ V)I'(/3-
V)
I'(a+[J-1)
-oo
( 1)
142
[CHAP. III]
COMPLEMENTS ET EXERCICES
1) Utilisant la formule
sin mnu = ei(m--sin nu
l)itu
+e
i(m-3)itu
+ ... +e
-i(m-
l)itu
montrer que :
00
I' ( Cl.
U)
I' (IX-
.
.
.
= 0 SI m est un entler pa1r
U)
22a-3
--I'(2a-l)
,
.
.
SI m est Impair .
2) Montrer que
I
00
cos nxdx
[ I' (a+ X) I'( IX-
X )]
1
2.
2 = -4I'_(_2_1X
___l )_[_I'_(
IX-)]-
(1)
f
00
i/J(x+l)-
lnx = 2
[i/l(t+l)-
lnt]cos2nxtdt.
i/J(x+l)=
I(
e-t
e-xt)
----dt=-+lnx-2
t
e1 - l
1
2x
I(
00
Cf.
TITCHMARSH,
p. 186.
dt
(t +x
2
(1)
J
00
00
2 )(e 21 -
l)
[CHAP.
111]
APPLICATIONS
143
DE LA FONCTION GAMMA
on obtient
00
00
J[i/!(1+1)-
lnt]cos2rrxtdt
=2
00
du
00
J(
Je
-l - -- 1 ) du
u e" -1
J(~- /_ 1)e-"
J(
00
-ut
c'est-a-dire l/l(x+l)-lnx.
cos 2nxtdt = 2
-1 - -- 1 ) -- tdt
2t
e 21 - 1 t 2 + x 2
DEUXIEME PARTIE
CHAPITRE IV
DEFINITIONS -
PROPRIETES DE I'(z)
1=
--
I'(z)
ze yz
Tioo
(l+ -Z)
n
n=l
e -z/n .
(1)
z2
! z3
..
3 n3
On voit que pour n > N fixe, cette quantite est moindre que
ou encore que
N
4 n2
(1+ ! + _!_+ )
lzl~ 1 N.
O')
L
n=N+
converge, et la serie
n2
1 N2
OU
2n
148
[CHAP. IV]
est une serie de fonctions analytiques, qui converge absolument et uniformement; sa somme est done, elle-meme, analytique. II en est de meme pour le
produit
TI [(1
+ :)e-z/n],
n
n=N+l
qui est une fonction analytique pour lz/~ -t N; mais N etant n'importe quel
entier, elle est analytique dans tout le plan. On pose done :
I'(z)
zeYz
n= 1
La fonction I'(z) est elle-rnerne analytique sauf aux points 0, - 1, - 2, ... , - n, ...
qu'elle admet pour poles simples. Au voisinage de -n, on a, comme on l'a
deja vu pour z reel :
(z+n)I'(z)---.
(-lf
n!
De meme que pour z reel, on montre que le definition precedente est equivalente a celles de GauI3 et d 'Euler (1).
Sip designe un nombre entier positif et si l=I< p, la serie Log (1 + z/n)-z/n,
ou n > p, est convergente et il en est ainsi pour toute serie obtenue en derivant
un nombre k arbitraire de fois le terme general, puisque
ll- I~
z:n
n(/-p)
et
(z:n/1
~ (n~ p/
si n > p et k > 1 . I'(z) est done inde.finiment derivable en tous les points du
plan complexe distincts des entiers negatifs et de zero (2).
On obtient facilement !es formules suivantes
(1-z)(l
+-tz)(l-!z)(l
Jn
+tz) ... =
(2)
I'(l +-!-z)I'(i--!-z)
TI[(l _ ~)ex/n]
= exI'(z+l)
z+n
I'(z-x+l)
1
n=l
(1)
Cf.
BOURBAKI,
p. 174.
(3)
LA FONCTION
[CHAP. IV]
I'(z)
POUR
149
COMPLEXE
TI[(1
+ -=)e-z/n]x TI[(1
n;
n
n; _-=)ez/n]n
= - \
TI[(1
_....:...)
ez/""]
[(1
+ --=-)
e - z/nn]
nn
nn
n; 1
-n
z sm nz
= -.-
r(z)xI'(-z)
Comme I'(l-z)
= -z I'(-z),
(4)
on a
I'(z)xI'(l-z)
=-.-.
(5)
sm nz
En particulier
I'(it)
I'(-it)
= ---m
t sin nit
(6)
t sh nt
I'(t-it)
n
sin(tn+nit)
(7)
chnt
On a aussi
r(t-it)
= r(t+
it),
t sh nt
et
lr(t+it)J
J-n-.
ch nt
(8)
150
[CHAP. IV]
= ~
I'(n+z)xI'(n-z)
[(n-1 !] 2
sin nz
I'(n+-!-+z)I'(n+-t-z)
[I'(n+-!-)] 2
Yi1
(i_~)
9)
m2
m=I
_1
_ [I [l_(2m-1)
J
4z 2
COS7!Zm=l
(JO)
Cette formule, etablie par plusieurs methodes dans le domaine reel, est
valable dans le domaine complexe; on peut le verifier comme ii suit (1) :
Soit done p un entier quelconque positif; on a vu que
I'(z) = Jim
n-oo
z(z+
__ n_=_n_!
___
l)(z+2)
(z+n)_
(11)
z)(z+l)
r (pr
-pI'
(z+p-1)
p
=(2nlp-l)J
p+-=I'(z).
p).
(z+1)r (z+2)
P ...r (z+
-P-
r P
(12)
2 )/Pn!
11<=+
c;l)C;l
+1)-c;l+n)x(z;2)(z;2
+1}(z;2
+n)x...
n(z+p)/pn!
X
c;p)(z;p
1}-(z;p
+n)
1)(z+2)
l)p]
(1) Cf.
BOURBAKI,
[CHAP. IV]
I'(z)
LA FONCTION
151
POUR Z COMPLEXE
En particulier, s1 z = 0 :
n<p+1)12p<n+t)p(n!Y
= Jim
J(O)
[(n+l)p]!
n-+ oo
n'[(n+l)p]!
hm----
/(0)-
n_,
00
(13)
(z+l)(z+2)[z+(n+l)p]
zp-z
)z
11+1
[(n+l)p]'[(n+l)p]!
z(z+l)(z+2)[z+(n+l)p]
d'ou:
-=rez )
. /(z)
I1m
-=zp
/(0)
n-+ oo
Calculons
a part
J(O)
= ['
(p1)['(2)
p ...['(p-1)
p = }I (k)
p,
p-1
I'
mais s'ecrit aussi bien, en ecrivant ces facteurs dans l'ordre inverse :
rTIr
p-1
k)
1- -
k=l
ou encore
JYlr(~)r(1-~)
p
k=l
np-1
. n.
2n
sm - Sill p
Jnp-12p-1
.
Sill
(p
-l)rr=
us Integrates euleriennes
[z +(n-1)
~]
12
152
sinnz
= ----
2i
[CHAP. IV]
de la formule trigonometrique
e-niz(e2niz_1)
2i
. Z Sill
. ( Z + ;n) Sill
. ( Z + (n - nl)n)
= A Sill
ou Ia constante A vaut
.n.2n
.(n-l)n
Sill - Sill- Sill
11
n
n
(il suffit de diviser les 2 membres de !'equation
faire tendre z vers zero (1)).
= --
2n-l
4. Le theoreme de Holder
En arithmetique on demontre qu'il existe des nombres, appeles transcendants qui ne peuvent etre solutions d 'aucune equation algebrique entiere
a coefficients entiers. Ainsi les nombres e et n, !es nombres <lits de Liouville
sont des nombres transcendants.
Peut-il exister en theorie des fonctions un theoreme analogue? C'est-a-dire
existe-t-il des fonctions qui ne peuvent etre solutions d 'une equation differentielle a coefficients algebriques. Les transcendantes connues depuis
Iongtemps, telles que I 'exponentielle, les fonctions de Bessel, celles de Legendre,
sont solutions d 'equations differentielles a coefficients algebriques. On a cherche
des exemples de fonctions pour lesquelles il n 'en serait pas ainsi. Hurwitz (2)
a donne un moyen de former de telles fonctions transcendamment transcendantes (3).
( 2)
[CHAP. IV]
LA FONCTION
I'(z)
POUR Z COMPLEXE
153
fausse de
= g 0 +g 1 z+
et un nombre entier n tel que Jes facteurs premiers contenus dans Jes denominateurs des fractions reduites
divisent respectivement
{! (n);
g(n) x g(n+I);
g(n) x g(n+l)
x g(n+2) ...
Jes nombres g(n) etant tous differents de zero. A partir de cette propriete,
Hilrwitz a construit sans difficulte une fonction ne pouvant satisfaire a aucune
equation differentielle algebrique, c'est la somme de la serie :
x3
x"
l+x + - + + +
27!
(n")!
(on remarquera l'analogie de cette recherche avec celle de Liouville sur Jes
nombres transcendants). Mais Hilrwitz ajoute a la fin de son memoire que !'on
connaissait de telles fonction& avant celles qu'il envisage dans son theoreme,
a savoir, par exemple, la fonction eulerienne I'(x).
On s'etait d'ailleurs, en effet, depuis longtemps pose la question de savoir
si la fonction I'(x) satisfaisait a une equation differentielle a coefficients algebriques (1). On croyait avoir trouve que la reponse etait negative. Weierstraf3
deja connaissait cette propriete, comme l'affirme Holder lui-meme (2). Mais
c'est a Holder qu'il revenait de demontrer le premier cet important theoreme,
d 'autant plus important que la fonction I'(x) semble le premier cas simple
qu'on ait rencontre possedant cette propriete.
Nous allons donner de cette propriete la demonstration de Barnes qui est
un peu plus courte (3), mais qui n 'est guere moins lourde que celle des autres,
encore que son appareil mathematique soit finalement le moins complique.
(1) La question de savoir si elle est solution d'une equation di/ferentiel!e en general est sans
grand interet; ii est evident qu'elle satisfait a un nombre arbitraire d'equations differentielles
dont Jes coefficients contiendraient Ia fonction I'(x) elle-meme et ses derivees successives.
(2) Herr Weierstral3 schon fiihrer in einer mundlichen Ausserung die Aufgabe stellt ,
om,. cite, p. 1.
(3) D'autres auteurs, ont, posterieurement a Holder et a Barnes, donne des demonstrations
de ce theoreme. Cf. par exemple :
MooRE, A new proof of Holder's theorem (Math. Ann., loc. cit.).
OSTROWSKI, Neues Beweis des Holderschen Satzes (Math. Ann., T. 79, 1919, p. 286).
154
[CHAP. IV]
Supposons done avec Barnes (2) que <P(x) soit solution de !'equation
f[x, Y, y', ... , y<n>]= 0.
(15)
Remarquons qu'une telle equation peut toujours etre ecrite de fa<;on que f
apparaisse comme une somme de termes de la forme
(16)
= }, 2, ... , n+l)
etant des exposants (entiers naturellement). Barnes definit d'abord la classe
du terme precedent (16) : c'est le nombre entier
Dans une equation telle que (15), il existe en general plusieurs termes de
meme classe. Par exemple, si la classe est 2, on peut obtenir pour s les decompositions suivantes :
S
= 2+2
0,
avec
ou bien:
avec
s=0+2xl,
= 3+2
O+ 3
0,
avec
s = I +2 x 1 +3 x 0,
avec
ou bien
ou bien
s = 0+2
x 0+3 x I,
avec
(1)! W(x) a done pour derivee la fonction tp(x) (nous avons tenu
de Barnes.)
(2) Cf. Messenger of Math., Tome XXIX, p. 122.
a garder
[CHAP. IV]
LA FONCTION
I'(z) POUR
155
Z COMPLEXE
On peut ranger tous Jes termes d'une meme classe par ordination du polynome en y, y', .. ., y<nJ suivant les puissances decroissantes de y. On a ainsi,
pour le terme de classe s, !'expression :
(17)
On peut diviser tous Jes termes de I'expression par R 0 (x), c'est-a-dire l 'ecrire
sous la forme :
Q?(y)
+ R 1 (x) Qt(y)+
...
Ro(x)
Q~ (y) se reduit d 'ailleurs au seul terme y. Supposons al ors que <P(x) soit
solution de !'equation :
= 0,
!J
+ R1 (x+ 1)
Ro(x+l)
= 0,
c'est-a-dire,
Rk(x+l)Qk[
Ro(x+l)
s
<P(x)+x
!J+
r*
=O
'
terme s'ecrit :
Q?[<P(x)+ 1/xJ-Q?
[<P(x)]
156
[CHAP. IV]
c'est-a-dire
R 0 (x
+ 1) _
+ 1)
R 1 (x)J
R 0 (x)
R 0 (x
+ 1)
Rk(x)]
Ro(x)
au plus, ce qui
Q![<P(x)] + A = 0
(l 9)
<P(x) est solution d'une equation contenant k et non plus (k+l) termes de
classe s.
En iterant le processus, on epuisera les termes de classe s, et on obtiendra
pour <P(x) une equation de classe s-1, puis en recommern;ant autant de fois
que necessaire, on arrivera a une equation qui sera de classe 1, c'est-a-dire
de la forme:
II est impossible que <P(x) soit solution d 'une telle equation, / 1 et / 2 etant
algebriques.
Ce raisonnement est en defaut si l 'equation obtenue apres soustraction
s'evanouit identiquement. Cela n'est pas possible en general, car Jes termes
Q; (y), ... , Q~(y) sont, par hypothese, de type different. Pour que cette equation
s'evanouisse effectivement ii faudrait que !'on ait
R 1 (x+1)
R 0 (x+l)
R 0 (x+1)
_ Rk(x) _ 0
(20)
Ro(x)
egalites exprimant que les fractions rationnelles Rk (x)/ R 0 (x) sont des fonctions
periodiques, pour tout k, ce qui n'est evidemment possible que si elles se
reduisent a des constantes. Dans ce cas, Jes termes de classes de !'equation
auraient pour expression :
(21)
ou tous les 'iseraient des constantes. Si, done, !'on n'est pas dans ce cas,
on peut former une equation differentielle satisfaite par <P(x) et ayant un
nombre de termes moindre que la precedente. Mais si !'on suppose que
!'ensemble des termes de classe s est de la forme (21), <P(x) satisfait alors a
LA FONCTION
[CHAP. IV]
I'(z)
POUR Z COMPLEXE
157
+ S1(x+l)Q_
Ro(x+l)
( +!)y
S 1(x)Q1_ ( )+A=O
R 0 (x) s 1 y
(22)
est de classes-
Q;.:01 (y)
P 0 (1/x) +A,
a une
equation du type
S;(x+ 1) _ S;(x)
R 0 (x)
R 0 (x+ I)
= P;(Ijx)
i = (1, 2, , /),
equation qui n'admet aucune solution rationnelle a moins que tous les P;(x)
ne s 'annulent, auquel cas toutes les fractions S; (x)/ R 0 (x) sont des constantes.
Done cf>(x)est solution d'une equation de classe s-1, a moins que !'equation
obtenue ne puisse s'ecrire :
+ To(x) Q?-2(Y)+
+ Tm(x) Q;_2(Y)+A = 0,
158
[CHAP. IV]
... y<n>]+ko(x)f2(Y)
= 0,
f 1 et f 2
!1(x) Q;(y)+
...
+fk(x)
Qf(y)]
(23)
S [x, <p(x)]
0
----,
R 0 [x, <p(x)]
S1 [x, <p(x)]
'R
[x,<p(x)]
= P(l/x).
LA FONCTION
[CHAP. IV]
I'(z)
POUR Z COMPLEXE
159
Reste a montrer maintenant que I'(x) ne peut satisfaire elle non plus a
aucune equation du type envisage.
Designons <l>(x)par y, I'(x) par z, alors y = z' /z. Si z satisfaisait a !'equation
f[z, z', ... , z<n>]
= 0
(24)
comme
z' = zy;
z" = zy' +z'y = zy' +zy
etc.
2 ,
= 0.
(24)'
(24)"
Eliminant z entre (24)' et (24) ", on obtient un resultat qui ne peut etre une
identite et par consequent est une equation en y. Done si I'(x) etait solution
de (24), <l>(x)serait solution d'une equation de meme type, ce qui est impossible.
5. Complements
Integrale de Raabe
z
L'integrale de Raabe, deja demontree pour z reel (1) est valable aussi pour
complexe, (meme demonstration); c'est-a-dire que si
z+l
Log I'(t)dt,
z Logz-z+-iln(2n).
= 22v(l-
l/2n)
r(1+ ~) Ii
2n
I'(!+ v/2n)
,Jn
= 4z [I
n=l
I'(!+z/2n).
,Jn
160
[CHAP. IV]
= I'(x)
1 ).
z = z0
oo
+L
n=l
(w-wol
n!
OU
z-zo
= f,( Z ) -Wo
J(z)
De }'expression
I+ I (1
- - - 1),
n n+z
00
1/J(z)= -y - z
n=l
on deduit que l/l(z) n'a pas de poles pour R(z) > O; et ii en est de meme
pour lf/ (z), qui vaut
1
OCJ
OCJ
ou encore
i-(n_+_z-)2
.t
(n +x+iy)
2 '
= -z
I,
n=O
y(n+x)
[(n+x)2+y2]
quantite qui n'est pas nulle sauf pour la valeur y = 0, quand R(x) > 0,
lfJ(z) est done une fonction uniforme pour R(z) > 0, w = l/l(z) aussi et la
fonction inverse egalement dans D' image de D.
Apres un calcul assez long, mais elementaire, on trouve pour la valeur z,
ou IF(z)I prend la valeur minimale :
Z1 = 1 +
n-1
( 1)
( 2)
[-1/J;l)J"
n,
[d"n--11 {J(z)}"J
dz
z=
[CHAP.
rv]
I'(z)
LA FONCTION
On en tire le developpement
minimum de I' :
161
POUR Z COMPLEXE
du
EXERCICES
I) Montrer que
t
00
{1
11
;-1!
= I'(z)
J1r(z+k)
z+l
++
(-It
}
+
k!(z+k)
On considerera !'expression
1
- +
1
z(z+l)
On la decomposera
1
+ ... + -----z(z+l)(z+m)
m
n=O
z+n
I -"-,
avec
an =
-_1_)"
[1+ _!_! + _!_
+ ... + _1_]
n!
2!
(m-n)!
--- ( -1)"
n!
Remarquant
-1}
{ e-
00
r!
r=m-n+l
alors que
00
r=m-n+
- < -----,
1
r!
(m-n+l)!
-1
on montrera que
1im I'"
m--->oo
n=O
( -1)"
n!
z+n
00
r=m-n+l
1}
- -o
r!
p. 238).
162
[CHAP. IV]
2) Calculer
Jim -- 1l+z
_l_
l_ nz.
l+z/n
X X __
l+z/2
n-oo
(WHITTAKER,
3) Montrer que
I'(z)I'll+a)
-~~=I
I'(z+a)
00
(-lta(a-l)(a-n)
n!
~.1
z+n
(WHITTAKER,
p. 260).
arg (-t),,;
+n
LA FONCTION
[CHAP. IV]
I'(z)
POUR Z COMPLEXE
163
petit) et, enfin du segment rectiligne constitue par la partie inferieure Q'P
de l'axe reel (Cf. figureIV-1). Sur PQ, arg(-t)
= -n, c'est-a-dire que
(-ty-1
= e-in(z-l)tz-1
FIG.
IV-1
= +n c'est-a-dire que
( _ t)z-1 = ei1t(z-l) t'-1.
Sur le petit cercle QRQ' on peut poser - t = Jeie et !'on obtient ainsi, en
posant OP= p:
f
/j
(-tY-Ie-tdt
e-in(z-l)tz-le-tdt
f
f
+1t
+
(c5eiey- 1exp[c5(cosB+isinB)]c5eieidB
_,,
p
e+in(z-l)t'-le-tdt,
/j
(-tY-
Jtp
e-tdt=
-2isinnz
1e-tdt + ibz
f
+n
-n
exp[(izB+c5e; 8 )]dB,
164
[CHAP. IV]
"
_,,
-x
f
p
(-tY-le-tdt
-2i sin nz
tz-le-tdt.
L'egalite precedente ayant lieu pour tout p positif, on peut faire tendre p
vers l'infini, on a alors un contour C equivalent a celui de la figure IV-2 :
f
00
(-tY-
1 e-tdt=
-2isinnz
,z- 1 e- 1dt.
FIG. IV-2
-l
2i sin nz
f<-tY-
e- 1 dt.
(2)
On a precedemment fait l'hypothese que R(z) etait positif, c'etait pour permettre de conclure que J tendait vers zero en meme temps que J : mais etant
donne que l'egalite (2) est valable sur tout contour de la forme C, c'est-a-dire
ne passant pas par 0, cette hypothese R(z) > 0 devient inutile; la fonction
2
est une fonction analytique uniforme pour tout z; et la formule (2) est, ainsi,
valable pour tout z different d 'un entier, positif, negatif ou nul. Si dans cette
LA FONCTION
[CHAP. IV]
I'(z)
165
POUR Z COMPLEXE
J(
-t )-z e-td t.
C
(O+)
La notation
comme !'expression,
oo
Comme contour C precedent, on peut choisir celui qui est figure ci-contre,
compose du quart de cercle centre en / (d 'affixe - a) et des points extremes P
et P', complete par les rayons Pl, IP' [Pest d'affixe p, P' d'affixe -a+i(p +a)].
-a
FIG. IV-3
lim J(-t)-ze-
dt= lim
p-+oo
p-+oo
= -
(-t)-ze-
-a+ip
Posant alors t
a-1u, on obtient
+ 00
1
I'(z)
J e(a+iu)(a+iurzdu,
2n
-
00
dt.
166
[CHAP. IV]
expression deja obtenue en 1812 par Laplace dans la Theorie analytique des
Probabilites.
-a
t----+----1
Fm. IV-4
=:J
x/2
1
I'(z)
cos(tge-ze)cosz-
ede.
"
On a trouve ci-dessus une expression de I'(z) qui est valable pour tout z
complexe different d 'un entier negatif ou nul (integrale de Hankel). On doit a
Pochhammer une definition analogue de B(l, ) par une integrale de contour.
On considere le contour ci-contre constitue par un chemin partant d 'un
point P voisin de zero et situe sur la partie inferieure du segment (0, 1) qu'il
va suivre jusqu'en P', qui entoure ensuite (dans le sens trigonometrique)
le point + 1, arrive au point Q situe sur la partie superieure du segment (0, 1),
qu'il decrit jusqu'au point Q' voisin de +o, entoure ensuite le point O (dans
le sens trigonometrique) arrive alors au point R, decrit la partie superieure
du segment (0, 1) jusqu'en R', entoure le point ( + l) dans le sens inverse
jusqu'en S, decrit la partie inferieure du segment ( + 1, 0) jusqu'en S', entoure
le point O dans le sens inverse, jusqu'en T et parcourt, pour finir, la partie
inferieure du segment (0, 1) pour revenir en P au point de depart.
(1)
WHITTAKER,
p. 256.
I'(z)
LA FONCTION
[CHAP. IV]
167
POUR Z COMPLEXE
(le symbole
= E(J,
t.1.-1(1-ft-ldt
o+,o+,1-,0-
(3)
Arg t
Arg l -t
en P
en Q (l er tour +)
2n
en R (2m tour +)
2n
2n
s (3metour - )
2n
en
en P (4metour - )
sur Jes diverses parties du contour c'est-a-dire que Jes valeurs des quantites a
integrer sont respectivement, sur Jes 4 parties rectilignes
sur
sur
sur
sur
PP',
QQ',
RR',
1 = A,
t.1.-1(1-tlt.1.-1(1-tl-1
e21ti(-1)
t.1.-1 e2xi(.l.-1) X (l-tl-1
SS',
t.1.-1 e2xi(.l.-1)(1-t}-1
= '.D.
$,
e2xi(-1)
= C,
1,
C
c{
Fm. IV-5
CAMPBELL -
13
168
[CHAP. IV]
f
1
(A+.'B+e+ '.D)dt,
E(A,) = e-"i(H)
ou encore:
E(A,) = e-"i(H'(l-e
2 "u)(l-e
2 "i)B(A,),
f
1
t).- 1 (1-tY-
1 dt;
E(A,) = (e-"u-e+ni).)(e-"i_e+ni)B(A,)
-4n
(4)
r(l-A)r(l-)I'(A+)
(l+,o+,1-,0-)
E(A,)=
-----
e-,,i().+)
(5)
4 sin An sin n
Le contour precedent peut evidemment etre remplace par le suivant (fig. IV-6)
que lui est equivalent.
Fm. IV-6
[CHAP. IV]
LA FONCTION
T(z) POUR
169
Z COMPLEXE
B(l,)
.. 1
21 sm n
Jl-
1 (1-1y-
dt
(6)
B().,)
= . -1.
21 sm
(7)
nA.
o<=)
ou R() > 0, larg (-t)I
~ n,).
et
EXERCICE
f
00
r(z)
= 2_e"az
smnz
l) arc tg t]dt.
(Cf.
BOURGUET,
WHITTAKER,
p. 246).
170
[CHAP. IV]
TIu.,
c'est-a-dire
[I
1
A _(n_-_a_
2_) _ _(_n_-_a_k)
1_) _(n_-_a_
(n-b 1 )(n-b 2 )(n-be)
(1)
(n-a
(n-b
1 )(n
-a
1 )(n-b
2 )
2 )
(n -ak)
(n-bk)'
ou encore
ou encore
exp
( b;)
ai-
_1____
(1)
Cf.
WHITTAKER,
p. 238.
1_
LA FONCTION
[CHAP. IV]
I'(z)
POUR
171
Z COMPLEXE
P=
TI(l-aifn)ea1fn(l-a2/n)eaz/n
OO
n= 1
(1- b1/n)ebtfn(l-
(1-ak/n)eak/n
.
b2/n)ebz/n ... (1- bk/n)ebk/n
r, on a vu que
(y etant la constante
tt[(i- ~)ez/n]
=
---zI'-(-~-z-)e---yz
r:
=
rc1-bm)
m=l I'(l-am)
(2)
EXERCICES (1)
l) Montrer que
00
n(a+b+n)
Q (a+n)(b+n)
2) Montrer que si a = e2
I'(a+l)I'(b+l)
I'(a+b+l)
in/n:
a des questions de
calcul
172
[CHAP. IV}
I
00
I'(z) = az
e-altz-ldt.
(3)
I
00
za'1"
R(z) > -1
ou
R(a) = 0, a f:: 0,
on a
00
Jt
z-1 e -ar{COS}/3tt=-d
I'(z) {cos} z.8
sin
(/
sin
~Jt'-
00
1 cosf3tdt=
- I'(z)costnz
IPIZ
4) Faisant t = , 2
etJl'-
1sin/3tdt=sgn/3
IPI'
00
00
LA FONCTION
[CHAP. IV]
I'(z) POUR
173
Z COMPLEXE
5)
00
lJ,;,
0
00
~ sgn P
J,;,
ip,puis a =
iPpour P> 0,
00
)z-ld
e iPt(
it
I'(z)
= + --
iP%
e -in(z-1)
1t
(arg it)=
+ -
et
I
0
eiPt(ity-1 dt =
r(z)
--e
(ip)"
-i,r(z-1)
(arg(-
it))= -
00
-oo
(P > 0,
R(a) > 0,
-tn
on obtient:
+oo
-oo
PsinnzI'(z),
pz
1,
!!.
2
174
en 1-z
+ 00
ei(Jt
J---dt=-----
[CHAP. IV]
:
2n e-a(Jpz-1
(a+itY
I'(z)
-oo
dt
2
(a+bY+w-1
----
(a+itY(b-itr
I'(z+w)
I'(z)I'(w)
00
+ 00
___
d_t
=0
R(a) > 0
R(b)
(a+itY(b+itr
>0
00
I{
t"
R(p) > - 1
za- 1 e -czdz
OU
R(rx)< 1, c > 0
LA FONCTION
[CHAP. IV]
I'(z)
175
POUR Z COMPLEXE
valeur de l'integrale sur ce contour complet etant nulle, et les integrales sur
les arcs de cercle tendant vers zero si R tend vers l 'infini, e vers zero; en raison
des conditions imposees a /J,et si R(rx) > 0, on verifie immediatement que la
somme des integrales partielles prises sur les 2 parties rectilignes est nulle.
Fm. IV-7
Ainsi:
f
<Xl
= c-" I'(rx)
avec I/JI
~ !n et O < R(rx) < l.
En egalant les parties reelles et imaginaires, on obtient les integrales suivantes
(les calculs sont dus a Euler) :
<Xl
t"-
1 e-ct
cos Pcos
= I'(rx)c -"cos
(rxP),
0
00
Jt"-
0
00
176
[CHAP. IV]
si oc> 0, p > I, on a
Plus generalement,
00
I
1
B(A,)
t).- 1 (1-t)"-
1 dt
(5)
(z, oc,p, y)
(6)
z-8
IX-y
(6')
--
z-y
IX-/J
/J-y
Z-IX
1-t=---.
(7)
/J-IX z-y
z-/J = Cte;
= 2kn, done (d'apres (6)), Arg -Z
Arg (1 - t)
-IX
Z-IX
z-y
B(A, )
(/J-y)\y-lX)"
(/J-IX)H-1
IXPYet en
(z-1Xf-1(z-Pt-1
(z -y)H
(h
(1) Cf. JULIA, Exercices d'Ana/yse, T. II, p. 175.
= Cte.
dz.
decrit !'arc
Poe
LA FONCTION
[CHAP. IV]
signe
I'(z)
177
POUR Z COMPLEXE
a la
F(z+l)
zF(z),
on peut exprimer, par des fonctions I', des solutions d'equations fonctionnelles
lineaires sans second membre telles que :
R 1 (z)f(z+1)+R
=0
(z)f(z)
(8)
R 1 (z)
Plus commodement,
L
k;O
Akzk
et
R 2 (z)
Bkzk.
k;O
en faisant apparaitre
les zeros de R 1 et R 2
R 1 (z)
= Am(z-ix
1)
(z-ixm)
(9)
R 2 (z)
= B.(z-{J
1)
(z-/J.).
(10)
[<- lr-
!:J
I'(z-/11)
la solution particuliere
X I'(z-/Jz)
x[I'(z-{1.)xI'(ix
X
1 -z+l)x
xI'(ix.-z+l)],
178
[CHAP. IV]
(avec la valeur principale du logarithme). Pour le verifier, il n'est que de decomposer / 0 en trois facteurs :
f,, / 2 , /
La solution f 0 (z) ainsi definie est reguliere dans tout le plan sauf aux points
et de cl'. Par un theoreme deja allegue ( 1), la solution generate de (8) peut
s'ecrire :
f(z)
p(z)f
(z),
a chercher
=0
... +A2nan+1 = 0.
I'(z)
LA FONCTION
[CHAP. IV]
179
POUR Z COMPLEXE
l'equation hypergeometrique :
z(I-z)w"+[y-(a+.B+l)z]w'-a.Bw
= 0.
(11)
Si l'on en cherche, selon une methode tres connue, des solutions de la forme
-[(g+k)(g+k+a+.6)+a.6]
Ck= 0
(12)
ou tous les coefficients Ck peuvent s'exprimer avec des fonctions I', on a une
solution particuliere dont I'expression est
ck= I'(g+k+a)I'(g+k+.6).
I'(g+k+ 1) I'(g+k+y)
Le fait que le systeme (12) presente des equations de recurrence a 2 termes
seulement est en rapport avec la nature des points singuliers des coefficients
de !'equation differentielle consideree. L'equation hypergeometrique (11) ne
presente que des singularites regulieres (en 0, 1, oo) et conduit a des equations
du type(8). Tlarrive que, pour des singularites d'un ordre plus eleve, on ne puisse
se ramener qu'a des equations de recurrence comportant 3 termes au minimum.
C'est ce qui arrive par exemple pour Jes equations de Mathieu, de Lame,
de Heun (1).
7. Application
a la sommation de certaines
series
y
-oo
I'(a+n)I'(b+n)
I'(c+n)I'(d+n)
vaut
-----x------------sin na sin nb
si R(a+b-c-d)
(1) Cf.
WHITTAKER,
I'(c-a)
I'(c+d-a-b-1)
I'(d-a)
I'(c- b) I'(d- b)
chap. XVII.
180
[CHAP. IV]
SI
et par
a+b-c-d
(-z)
sinn(z+c)sinn(z+d)
sin n(z + a) sin n(z + b)
si
EXERCICES
Calculer
f
1
l)
n 3 !4
Valeur: _v_
dx
(1 +x) ;jx 2
~3
0
00
x
--
l+x
dx,
(-1
< s < + 1)
a> 0,
f(
+tn
4)
cos :) + sin
Valeur:
2 cos
(l+ptp
Za
cos:) - sine
--}n
g)cosdB
nns)
2 sin (ncos 2 a)
) .
[CHAP. IV]
LA FONCTION
5) Calculer l'integrale
Lt'\/
T(z) POUR
dz
31 --
1-z
Fm. IV-8
3)-
Z COMPLEXE
181
CHAPITRE V
ETUDE APPROFONDIE
DE LA FONCTION Log I'(z)
1. THEOREMES DE GAUSS ET DE BINET
1. La fonction ifi(z); Ies fonctions polygamma
if;Cz)= Y - - +
Z
I (1
-n - Z-+1n)
n=
00
Les for-
(1)
I; (-lt(k-1)!.
Dk-11/J(z)=
n=O
(z+n)
(2)
polygamma,
(3)
(4)
1/J(n)(mz)=
-- 1
mn+ l
r-1
(
1/J(n)
z
+ ~) .
n
(5)
Au demeurant, la fonction I'(z) etant definie par un produit infini, son logarithme s'introduit tout naturellement dans les calculs. II etait done tres bienvenu de l'etudier en details. Pringsheim et Binet ont apporte une large contribution a cette etude.
2. Formule de Pringsheim
= Logz+LogI'(z)
(6)
[CHAP. Y]
183
Log I'(z)
I [:-
Log(t
(7)
+ :)]
11
n= I
11
Loo [z2
- - -z3 3 +
n=I
311
211 2
(-l)PzP
(8)
p11p
L -- lY ((p)zP.
00
( -
(9)
p=2
= I"(l) = I''(l) = - y,
I'(l)
dz
z=O
(10)
et plus generalement :
1/tk-J(l)=[d\LogI'(l+z)J
=(-tt(k-t)!((k).
dz
(11)
z=O
Cette serie de Mac Laurin convergeant d 'ailleurs pour z = I (regle des series
alternees), et Log T(2) etant nul, on a, pour la constante d 'Euler, l'interessante
expression :
00
y = HC2)-H(3)+HC4)+
=I
2
1t
(12)
-=-,ck).
k
Binet a donne le premier des formules relatives a I'(z) qui ont permis
d 'etablir rigoureusement le developpement de Stirling. On vient de trouver que
.
\".,
( 1
I" (z) = - y - -1 + hm
1/t(z ) = -L... -
I'(z)
(1) WHITTAKER,
CAMPBELL
n->oom=I
1 )
z+m
--
(13)
p. 247.
14
184
[CHAP.
v]
= Je-l(z+m)dt
_1_
(14)
z+m
0
ce qui est possible lorsque m est un entier positif ou nul, et si R(z) > 0, alors
on obtient:
00
00
I
00
= -y + lim
=I(~ _!)e1
1-e
dt,
on obtient
f
00
1/J(z)=
00
(e-1 t
La derniere integrate ecrite tend vers zero; on le voit par exemple en remarquant
que, d'une part si O < t ~ I, !'expression
1-e-
1 -e -t
est une fonction bornee de t dont la limite pour t tendant vers zero est finie,
et que, d 'autre part, si t ;;,, I, elle est moindre que
t+!e-
1-e-
OU
2
1-(1/e)
[CHAP. V]
Log I'(z)
185
d 'integration, on ait :
1-z-zt
1 -e -t
<K,
I
ro
f
ro
-zt
----=:..__
e<n+l)tdt <
-t
1 -e
e-<n+l)tdt = 0(1/n)
et que
f
ro
i/l(z)
(e-t
t
- ~)dt
1-e
(15)
1
I[
1
i/J(z) =
1
sz-l]
- ds.
ln (1/s)
1-s
--
(15)'
i/J(z)
[e-a-(1
+oc)-z]
:'.
(On remarque toutefois que l'on ne peut pas immediatement effectuer cette
transformation, chacune de ces 2 integrales etant divergente pour la limite
inferieure; mais on les calcule entre i5 et l'infini (J > O); le passage a la limite
pour i5 -+ 0 se fait ensuite sans difficulte (2)).
Si dans chacune des integrales precedentes on fait al ors z = 1, et si l 'on se
rappelle que I" (1 )/ I'( I) = I" (1) = - y, on obtient pour y les trois expressions
1
=f (-1-t1__
l )dt =f(~-!)e-tdt=f
In 1/t
1-e
t
00
00
(1) DIRICHLET,
(2) PRJNGSHEIM,
(-1
l+t
-e-1)
dt.
186
[CHAP. V]
1/J(z) =
Jl-tz-1
1-t
(16)
dt-y
I
OC)
1/J(z) =
e~t:ee-~tzdt-y
(16')
u
00
1/J(z)=
J[l+t-(l+tYt-y.
1
1 Jdt
(16")
En derivant k-1
a z,
on obtient, si k ?: 2:
lnk-1(1 + t) dt.
tO + tY
(17)
par rapport
OU
I
OC)
1/J(k-l)(z)
= (-It
on fait z
dk
-[Log
= 1, en se rappelant que
I'(l +z)]z=O
dxk
= (-1)\k-
((k)
f _!_= (-lt-l
(k-1)!
I
11k
J~
(18)
l)! ((k).
a savoir
(in
tt-l ~
1-1
(19)
Jtk-ldt
OC)
((k)=(k-1)!
e'-1
(19')
0
00
((k)=-1-J
(k-1)!
[In(l+t)]k-ldt.
t(l+t)
0
(19")
[CHAP. Y]
187
Log I'(z)
En effet, comme
f
co
r(k)
co
e- 1 l-
1 dt
nk
e-" 1 tk- 1 dt
J_t__
J _t_dt.
00
( k = -- 1
( )
k-1
I'( k)
00
e_ dt = --1
k-1
-t
I'( k)
1- e - '
(20)
1-
I(e-t e-tz)
co
-d Log I'(z
dz
+ 1) =
- --
e1 - l
(21)
dt
c'est-a-dire
I( 1
co
LogI'(z+l)=fLogz+zLog(z-1)+
1)_zt_
dt
----+e1 - l
co
+1 -
J(-1- ! + !)e-1
l
e1 -
"
dt.
t
(22)
188
[CHAP.
v]
Pour evaluer la seconde de ces integrales, on peut proceder ainsi (1) : soient
les 2 integrales
(23)
(24)
on a
-t+J-I.
In I'(-t) =-!In-!=
(25)
I{
00
d e
- - (
dt
- tt -e -t)
21
e - tt -e -t
t
-t]oo
1 Je -t -e
+00
=[-
=-t+-!In-t.
On a done la valeur de /, qui est
(1)
Cf.
WHITTAKER,
p. 249.
1-t In (2n).
-t}
2t
e - tt -e
- -
- tt
dt
dt
[CHAP. V]
Log T(z)
189
1 1)_
j.(-00
Log I'(z+l)
=!Log
(2nz)+z(Log
z-1)
1 - - + - e
e1 - l
t
2
dt
t
zt -
(26)
I!(!-!+
t
_1
e1 -1
)I
~KI
e-txdt,
c'est-a-dire K/x.
Ainsi quand R(z) est grand, !'expression
(z) = (z-}) Log z-z+}
In (2n)
(27)
I[
00
LogI'(z)
e-zt_e-t
_ +(z-l)e1-e I
Jdt
due
a Malmsten
et
f
00
Log r(z) =
[(z-l)e-
+ (l+t)-z-(l+t)(1 + t)
1
]
dt
due a Feaux.
4. Rappel de quelques formules sommatoires classiques (1)
( 1)
Cf.
LINDELOF,
190
[CHAP.
v]
r(p),
p=l
des valeurs prises par une fonction analytique f(z), pour des valeurs entieres
successives de la variable z. En un certain sens, cette operation transforme
une somme relative aux valeurs entieres de la variable en une integrale portant
sur la fonction. Pour le demontrer, on remarque que la fonction n cot nz
admet tout nombre entier n comme pole simple de residu + I, d'ou resulte
que la valeur f(n) est egale au residu de n cot nz f(z) relatif au pole z = n
(pourvu que f(z) y soit holomorphe).
Considerons un contour ferme simple C contenant a son interieur les
points m, m + 1, ... , n et ne passant par aucun des points d 'abscisse entiere de
l'axe reel. Supposons que, a son interieur, f(z) soit uniforme, ne presente
qu 'un nombre fini de points singuliers, et reste holomorphe sur C.
On a alors
cot nz xJ(z)dz =
~In
2m
In
J(p)
+ L(R)
(28)
p=m
Iftp)
m
FIG V-1
[CHAP. V]
Log I'(z)
191
----
e-2itiz_1
;--COt7tz
I
+1 + e+2""-l~
if
f(z)dz -
ay"P
f(z)dz +
Py'a
ay"P
f(z)dz = -
/(z)dz
e-21tiz_
py'a
ay"p
~(~)dz niz_ 1
= -r+it:
f(z)dz =
Py'a
f(-r)d-r.
'Ef(p) = ft(-r)d-r +
ffl
f(z~dz
e-2n1z_
ay'p
!(~)dz .
1
e21t1z_
(29)
ay"p
a l 'axe
:c
FIG. V-2
I
p
tf(p)
= /(-r)d-r+J(rx,
a
b)-I(/3,
o)+R(b)
(30)
192
[CHAP.
v]
OU:
l('r, o)
/(z)dz
fl
R(o)
J,-;
0
<+i /(z)dz
e-2,,;:_1
e2.ffIZ_
fl
J('r+io)d-r
e-2,,;,+2,,6_
f(-r-io)d-r
e2,,;.+2,,6_
Par la suite,il suffira de considerer des cas particuliers dans Iesquels Jes formules
precedentes se simplifient.
On supposeraf(z) holomorphe pour oc~ -r ~ f3 quel que soit t et, de plus, que
lim e-
2 " 1t 1
lf(-r+it)I
= 0,
t=oo
I J(p) = f
fl
(I)
{J-+
(31)
oo
b'r-----,-,----------,
I
I
I
a'
, .J
Tf)-1
Axe
II
n -+-r-e~.e~I -
,,.,
I
I
I
I
L
bl{~ ___
I
__,_,
_________
__.
FIG. V-3
(II)
m
~f(p)
/(r)dr
ot
cx+ioo
oo
ot
cx-ioo
f(z)dz
e-21:nz -
IX
f(z)dz
e2:7llz -
[CHAP. V]
Log I'(z)
193
II faut alors integrer sur un contour rectangulaire, mais en evitant les points
d 'abscisse entiere
a = m-I+e
a' = m-1 +ie
= m-
b'
I +ic>
a"= m-1-ie
b"=m-I-ic>.
La somme des 2 integrales prises sur a' b' et a" b" s 'ecrit, en posant
z = m-1 +it :
.f
o
f(m-1
+it)- f(m-1-it)d
e2it1
-1
t--_
2 Iq(m-1,
---e2"1
t)d
-1
t.
OU !'on a pose
q (Jc,t)
= .!_[J(Jc + it)2i
f(J.- it)].
= __ 1 x
2ni
e-2itiz_l
+ <p(z)
J(z)
z-(m-1)
ou l,p(z)I est borne lorsque e tend vers zero. L'integrale prise le long de !'arc
s'ecrit done, en posant z-(m-1)
= ee;,i, :
~2
- 21n
~2
f(m-1
+ee;,i,)dt/J+ie
q,(z)e;,i, dt/J;
(Ill)
ff(p)
= Hf(m)+f(n)]
+ Jf('r)d-r-2
m
m
oo
I q(m, !)-q(n,
e "1 -1
0
t) dt.
194
[CHAP. V]
=0
et
oo
!~n:
e-
2 " 1' 1
IJ(r+it)ldt
= 0,
-0'.)
on peut ecrire
I
O'.)
O'.)
f J(p) = {J(m)
(IV)
+ Jf(r)dr-2
q\m, t)dt
e "1 -l
Cette derniere formuie (IV) permet d'obtenir une integrale definie interessante
representant Log I'(z).
On a en effet montre ci-dessus (1) que :
d2
-
dz
Log I'(z)
L
p=o(z+p)
O'.)
d
-LogI'(z)
dz 2
=-
1 +
2z 2
O'.)
J ---2
dr
(z+r)
q(z,t)
J ez,,
-1
1
OU
q(z t)
'
= -1 [
2i (z+it)
- -- 1
(z-it)
J,
ou encore
J
O'.)
dz 2
L0 I' Z --+-+1
g ( ) - 2z 2
1
z
4tzdt
(z 2 + t 2 ) 2 (ez,,1 -1)
(32)
La quantite l2z/(z2 +t
(1)
Cf.
LINDELOF,
p. 87.
)1etant
[CHAP. V]
Log I'(z)
195
J
00
a un
entre I et z,
a z.
On obtient ainsi :
J
00
tdt
(z +t)(e"
-l)
Jarctg
e"
LogI'(z)=(z-t)Logz+(C-l)z+C'+2
(t/z)
-l
dt.
t/z
d'ou:
<~I~.
00
!Log I'(z)-(z-l)
Log z-(C-l)z-C'I
e2 " 1 - l
Log z+z-t
In (2n)I
LogI'(z)=(z-t)Logz-z+tln(2n)+2
e "1
arc tg u =
-1
dt
+ t2
196
[CHAP. V]
1~~ [J(ix,b)-/(/3.b)]
tf(p) = f(,)d, +
a
f f(p) = --!-J(m-l)
(V)
I
00
00
f(,)d,-2J
m-1
q(m2-l,t)dt
e nt_ 1
0
5. Applications
A) Ca/cul de !'integrate
I
00
Arctg tdt.
e2nt _
faisons f(z)
= Log z, on obtient :
= I nous obtenons
00
In (1. 2. 3 n)
(n +-!-) In n - n + l - 2
dt
arc tg t - 2--
nt_
I
00
+2
t dt
arc tg - - 2--
n e
nr_
(33)
la formule
Comme le dernier terme de la formule (33) tend vers zero, on en deduit (2).
(1)
(2)
Cf.
Cf.
LINDELOF,
LINDELOF,
p. 57.
p. 70.
[CHAP. V]
Log I'(z)
197
1-2J
00
B) Application
+r
L.. -1 p=mP
Inn
J= -2m1 - In
00
m +2
Jm2+t 2 e2nt-1
--- 1
--- dt
J--1+t ,2 ---e2"1dt-1
00
y=-+21
2
(34)
m-1
L 1/n :
n=l
J----.
00
1
1
y=l+-++--+--lnm+2
2
m-1
dt
m 2 +t 2 e 2 " 1 -l
2m
En supposant x reel et positif, le calcul est valable, les conditions etant verifiees;
si !'on fait m = I dans la formule precedente (V), on obtient
J
00
1 1
--+-+
2 X
sin xtdt
e 2 " 1 -l
(formule due
a Legendre).
198
[CHAP.
v]
=!
f (_1t-
_! +
2 2k-
I '
(2k)!
k=t
00
00
B= 4kf e2n -l
t 2 k-ldt
2k(2k-1)
= + -----
2k-2
L og (l - e -2nt)d t
(35)
In x+x-ln
reel, la fonction
y2n
(36)
= 1-(z+-t)
(z+l)-(z)
Log (1 +1/z).
(37)
(38)
=-
z+l
Log(l+l/z).
(39)
On voit facilement que Jes seconds membres de (37) et (38) sont d 'ordre I/ z 2
quand lzl - -+co. On obtient alors aisement Jes expressions :
(z) =
[<z+n+!)
n=O
v(z)
= -
I [z+n+l
1
n=O
Log(l
+ - 1-)z+n
1]
- Log(l + - 1 )] .
z+n
(40)
(40')
[CHAP. V]
Log I'(z)
199
On a, ainsi, en tenant compte des conditions aux limites de (z), le developpement suivant <lit de Gudermann :
I [cz+n+-!-)Log(l+-
1-)-1]
z+n
n=l
(41)
I [-z+n1-
t/J(z+l) = Log(z+t)-
n=l
- Log(l + - 1-)]
z+n
(41')
Si l'on prend z pour que lz+nl > 1, on peut developper les seconds membres
de (4l)et (41)' en puissances de 1/(z+n); on obtient alors le developpement en
serie double
+ l)+(z +-!-)Log (z + 1)
f f
n=l
c-1t
k=2
k-l
2k(k+l)
- 1(z+nt
(42)
Comme on peut intervertir l'ordre des sommations, (ce qu'il est facile de verifier), (42) s 'ecrit :
00
+In)2n+
(-ll
k=2
a fait
2k(k+ 1)
((z,k).
(43)
semblable :
t/J(z+l)=Log(z+l)-
k=2
(-l/((z,k).
(43')
7. Series de Burnside
Les series precedentes, outre qu'elles expriment une relation interessante
entre , vet(, sont tres convergentes. On peut en trouver encore de meilleures
CAMPBELL
15
200
[CHAP. V]
en posant:
Log I'(z+ I) = (z +t) Log (z+t)-(z
(44)
(44')
I1
e(z) = -
k=
00
I1
a(z) = +
k=
((z,2k)
(45)
2k(2k + 1)2 2 k
((z,2k+l)
(2k+1)2
(45')
2 k.
Remarques
Log (z +t)-(z
+t) + In ~2n.
-t
I(
Y = 1 _ In~ _
2
k=l
(0, 2 k + 1)-1
(2k+1) 2 k
__~J
00
(z)-
Log (l-e2
2
t +x
2 " 1)
dt,
e, a, et
[CHAP. V]
00
e-z'(-1
2)
e1 - l
201
Log I'(z)
! + !)
2
dt
t
(Binet)
arctg t
, R(z) > 0
e2nzl_ 1
et
(Schaar)
B) Expressions de v(z)
J
00
1)
I
00
e-zt (- 1l-e
+ !)dt;
_!_+ 2
2)
2z
tdt
(l+t
)(1-e
2 "z1)
(Poisson)
C) Relations entre et v
= v(z)
d(z)
dz
_!_.
2z
= .!_[f(r+it)-J(r-it)]
2i
"'!_,
J(p)
oo
';'
.
m
e2nt
-1
(47)
(48)
202
[CHAP. V]
-1
= F(O) + ~F'(O)+
+ - 1--F<-tJ(O)+R,
1!
(-1)!
OU:
I
1
-- t
(-1)!
(l-uy-
p<J(ut)du.
(49)
d"
- q(r,O) = 0
di"
(50)
d'ecrire :
si v est pair :
si v est impair :
d"
-p(t,0)=0
dt"
(51)
p(r, t) =f(r)
t2k-2
- -f"(r)+
2!
+(-1t-
+(-
(2k-2)!
ll-
2k-1
_!___
pzk-lJ(r)+q
(2k-1)!
OU:
I
1
(-lt
p 2k(r, t) = -2
t2k
(2k- l)!
( t t) =
2k+l '
(-1/
__
2
J
1
t2k+
-(2k)!
(52)
2k+lJ(r-iut)]du.
[CHAP. V]
Log I'(z)
203
00
.
1
'
Ie d'fi
. :
0 n cons1"d'ere mamtenant
mtegra
e me
q(r,t)dt
2
e "1 -1
+ ... + ( -
J
00
+2
q2k+ 1(r,t)dt_
e2nt_l
( 54)
f
n
tf(p)
= -Hf(m)+ J(n)] +
f(r)dr +
(-ly-1
v =1
~ J<2v-1>(n)-J<2v-1J(m)
2V
(2 V-1) !
+R.
Le calcul du reste R est complique, par cette methode, son expression est
importante pour l'etablissement de la formule de Stirling, ii s'ecrit (1) apres
quelques modifications destinees a faire apparaitre Jes fonctions wk(x) deja
rencontrees a propos des polynomes de Bernoulli :
f
1
RP= -
W2p+1(t)!<2P+1\x+l-t)dt
de la formule de
2. FORMULES ASYMPTOTIQUES
Nous nous proposons maintenant d'etendre a la fonction I'(z) la formule de
Stirling deja demontree dans le domaine reel. Dans le cas de z complexe,
(1)
Cf.
LINDELOF,
pp. 75-84.
204
[CHAP. V]
la demonstration est facile si R(z) > 0, mais exige des moyens plus forts dans
le cas ou R(z) < 0 [Dans le cas intermediaire ou zest imaginaire pur, ii existe
une demonstration, que nous donnons ci-dessous et qui est issued 'une formule
de Pincherle (1).]
1. Reste dans la formule d'Euler-Mac Laurin
La demonstration la plus simple qu'on connaisse qui soit valable pour tout z
est celle donnee par Artin et Bourbaki : elle consiste a majorer fortement le
reste de la formule sommatoire d'Euler dont on a donne !'expression au I.
Avec Jes notations de Bourbaki, cette formule s'ecrit :
x+l
f(x)
= J J(t)-!fl(x+
1)-f(x)]
~ [J<2k-1>(x+l)-J<2k-1\x)]+Rp(x)
(1)
(2k)!
k=l
avec:
1
R
p
= -
l
(2p+l)!
Jb
2p+l
(t)J( 2p+1>(x+l-t)dt.
(1 ')
1)+ + f(x+n)
~: J(x+k)=f(x)+f(x+
= J f(t)dt-l[f(x+n
+ 1)-f(x)]
k=l
b2k [J<2k-l>(x+n+l)-j<2k-1\x)]+Tp(x,n)
(2k)!
avec:
1
Tp(x,n)
= -
1
(2 p+ 1)!
Jb 2p+1(t)
/f 2P+1>(x+k+l-t)]dt.
k=O
(2)
[CHAP. V]
w (t)
Log I'(z)
205
utilisees, posons
= B2k+1(t).
(2k+1)!
1
(2p+ 1)!
(t)/< 2 p+l>(x+k+a-t)dt
Zp+l
k+l
(3)
Tp(x,n)
= -
(4)
lbznl~ 4
(2 n)!
(2 n)2n
2) jBn(x)I ~ 4
Ln
k=O
pour
trouvees ci-dessus :
n
1.
k'
(4n)'
C~-
= --
(2nt
(2n) 2 n
(2=)k 4e
Ln -"< -k=O
k!
"n'.
(2nt
d'ou:
x+n+l
2 +1
jTp(x,n)j ~ 4e2"
(2 n) P
(1) BOURBAKI,
li(2p+1>(t)jdt(1).
(5)
206
[CHAP. V]
Soient x et y deux nombres complexes non situes sur le demi-axe reel negatif.
A 2rri pres, on peut ecrire, avec Jes conventions habituelles sur les logarithmes, et en faisant appel a la definition de I'(z) comme produit infini :
Log I'(x) - Log I'(y) =
!~~ [(x-y)
Inn+
kt
a la
k)l
fonction
= Log(y+t)-Log(x+t).
et que/< 2 k- 1 >(n+l) tend vers zero pour n infini pour tout k ~ I, et qu'il en
est de meme de
/(n+l)
= Log
(1 _Y_)-(1
+
Log
n+l
(7)
+ ~)n+l
Log (x+t)dt
= (x+n+l)
[Log (x+n+l)-1]-x(Log
x-1)
= nlnn-n+xlnn+O(l/n).
(8)
II resulte de ces proprietes que pour n grand, la quantite Tp(n) reste bornee,
et tend meme vers une limite RP(x, y). On peut alors ecrire
Log I'(x)- g(x)
= Log I'(y)-
g(y) + Rp(x, y)
(mod 2rri),
OU !'on a pose
g(x)
Reste
=x
a trouver
Log x-x--!
Log x + "'
b2k
k'212k(2k-l)x
2 k-i"
[CHAP. V]
Log I'(z)
207
nous supposons x et y situes dans le plan complexe, dans la region definie par
les inequations
IJ(z)I ~ A
R(z) ~ A,
Fm. V-4.
Six=
D'ou
a A, on
oo
du
lx+ul2p+1
~
du
(A+u)2p+1
= 2pA2p.
lx+ul = ls+u+itl ~
y A2 +(s+u)
2 ,
d'ou
n+l
du
----~
jx + ul2p+i
OU cp ne depend que de p.
Le critere de Cauchy montre alors que si lzldevient grand, z demeurant dans
la region hachuree, la fonction Log I'(z)- g(z) a une limite finie <>,et que,
en posant
.Q(z) = max (R(z), IJ(z)I);
208
[CHAP. V]
= 0 [-/-],
Log I'(z)-g(z)-c5
mod 2ni
Q P(z)
En particulier, si x est reel, g(x) I'est aussi, I'(x) est positif, J aussi, on peut
en deduire J en faisant appel a la formule de duplication de Legendre, qui
s'ecrit
x
x
x x+l
x+l
x-1
-In - - - + - In -- -+ 2c5=
2
2 2 2
2
2
= x lnx-x-
lnx+(-t-x)ln
2+tln(2n)+c5+o(l),
d 'ou l'on tire J = -tIn (2n). On deduit de la la formule <litede Stirling, valable
pour tout z de grand module et d 'argument different de n; et tout cela a 2ni pres
Log I'(z) = z Log z-z-!
+ L,,f,
----
1
--+0
z 2k-t
b2k
k=l 2k(2k-1)
[ -- 1
Q 2P(z)
Log z-z].
r (z)
2z
.f
L,
k =1
b2 k
2k
z2k
+ 0 n2p+t(z)
J.
~,!
f
X
I"(t)
[CHAP. V]
209
Log I'(z)
f(z
+ 1)-.f(z) =
(11)
<p(z)
Soit (D) un domaine du plan complexe contenant le point z et tous Jes points
z+n (n etant en entier quelconque). Soit d'autre part une fonction <p(z)definie
dans (D) et telle que, pour n assez grand, on ait l'egalite asymptotique :
<p(z+n) =
Alors la solution particulieref
qui s'ecrit
o[lz:nl"l
avec
oi
~ 1.
(12)
/ 0
(z) = -
<p(z+n),
n=O
convergente et la solution
f(z) =fo(z)+p(z)
ou p(z) est une fonction periodique, de periode I. Comme domaine D, on va
choisir le secteur S0 defini par
-n+<>:::::;arg z:::::;n-<>.
ou O < <>< n.
Comme <p(z)= 0(1/lzl") quand lzl tend vers l'infini et que
auss1
oi
> I, on a
(15)
Plus particulierement
<p(z) =
1 J
L ~z + 0 [ ,1z1m+2
m-1
(16)
r= 2
on a aussi
(17)
(1) Cf. pp. 22
a 28.
210
[CHAP. Y]
ak + 1
c- 1t I c- 1/ c~aj + 1 .
(18)
j=O
c'est-a-dire
2a-l
2a-1_1
Q"-1
Ainsi lfo (z)I ::;;Hf Qa- 1 (la Constante H ne contenant pas z).
Prenant a = 2, on a dans le domaine (D)
fo(z)
lim
z--+co
[f
0
(z) -
o(_!_)
JzJ
(20)
I ~]=
(20')
k=l
0.
On remarque que le crochet qui figure dans (10) est une solution de !'equation
F(z+ 1)-F(z)
= [ / 0 (z) -
k~l
a]z+l
j
z
i ~ [(1
+ !)-k
- 1]
k= 1 zk
(21)
(22)
[CHAP. V]
ou, en developpant (I + I/ z) - k
a
{m
+ 1- k
k=IZ
;=!
+0
)}
IZ ln+2-k
Cf,(23) peut
1 )
L ~ + 0 IZ Jm+2
1=2 Z
m+ 1
<p(z) -
211
I -1 .I c/1
m
<p(z) -
Log I'(z)
(23)
s'ecrire :
(24)
o(lzl!+z)
o(lzl!+i),
c'est-a-dire que, dans (D) Jim F 0 (z) = 0. Nous avons ainsi trouve 2 solutions
z-> oo
particulieres F0 (z) et
m
fo(z) -
I
k=t
ak
zk.
On sait, d'apres les remarques (12) et (13), que leur difference est une fonction
periodique de periode I. Mais en raison de (20) et (20)' il est facile de constater
qu'elle est identiquement nulle.
Cas ou cp(z) = 1/z2 On a vu que si l'on prend f(z) = lfl'(z), on a un
second membre de l'ordre de 1/z2 Prenons cp(z) = - l/z 2 , c'est-a-dire a2 = -1
et a 1 = 0, pour tout I jusqu'a m + ! , on a done, pour Jes coefficients ak, le
systeme d'equations
1-1
(-llC~ak+t
= 0.
k=O
Ce systeme n'est autre, a un changement trivial de notation pres, que celui qui
determine Jes nombres de Bernoulli par la methode de Lukas exposee
ci-dessous au Chapitre II (1). Ainsi Jes coefficients du developpement asympto(1) Cf. CARATHEODORY, p. 265.
212
[CHAP. V]
tique obtenu pour IJl(z) sont les nombres 'de Bernoulli. On retrouve done
bien la formule de Stirling.
I"(z) = Lo z
I'(z)
g
_!_-
2z
_!_+
b2n
211 z 2 n
m=l
o(
1
)
.Q(z)2 m+ 2
Log z-z+-l
ln (2n)+O(l/z),
2) On a egalement, ct et
o(-1-)(1).
Zn+ 1
I'(z+ct)
-- z a-p[l + -(ct1 .
--I'(z+/3)
2z
/J).(ct+ /J-
1)0(
+
-1 )] .
z2
I'(z+ct2)
I'(z+ct1)
-------=Z
r(z+/3 1)I'(z+/3 2 )
C2
(z+l)(z+2)
J.
+ ... '
Tl s'agit de montrer que I'(?:,+i17) tend vers zero quand 17, suppose reel,
tend vers l 'infini. Posons par commodite
F(x)
= -,
I'(x)
= e1xx
TI(1+
n= 1
(1)
(2)
(3)
PINCHERLE,
~)e-xfn.
ti
[CHAP. Y]
Log I'(z)
213
D'ou immediatement:
Il (l
F(+i1/) = eyiq(l + ~)
~
F()
+ JL)e-iq/n.
n+~
n=l
12
I
,,2 I
IF(~+i17)
F(~)
= }!o1 + (-11-+-~)00
TI
(1 + 17/11
1
sh n11= n11
2 ).
On peut alors ecrire, en designant par m le plus grand entier contenu dans
00
TIconvenablement
1
17(1+ 1]2 )(1 + 172 /4) (1 + 1]2 /(m -1)
rI [l+17 /(n+~)2].
2
2 ) n=O
TI
Comme m < , la quantite sous le signe est inferieure ou, a la rigueur, egale
a l'unite, et cela quel que ~oit 17.Quant au denominateur, c'est un polyn6me
en 17de degre 2m- I. On en deduit que si 17est grand et positif (ce qui n 'est
pas restrictif puisque c'est en realite sh n17qui intervient):
P(17)~ 171 -
2m
sh n17,
d'ou
P('l) =
1
sh 11:17 17(l+112 /l)(l+1]
Il
[1+172 /(11+~)2]
2 /m 2 )n=O [l+17 2 /(11+m+l) 2 ]
TI
214
[CHAP. V]
a la
GJ
= .j2nz
I'(z+l)
(25)
e(z)
avec:
co
[s]-s+tds,
s+z
(z)=I
(26)
d'ou
b2
b4
(z) = -+ -12z
34z
+ -56z
b6
5
+ ... +
b2p
(2p-1)2pz
+ ...
2 p-l
L'egalite (25) est valable dans le plan complexe coupe par le demi-axe reel
negatif, les valeurs considerees sont les valeurs principales.
On peut tirer de ces considerations une definition nouvelle de (z). On a
vu que (d 'apres la definition de WeierstraB) on avait
Log I'(z+ l)+yz
I [:.- (1
k=l
Log
+ :.)]
k
(27)
I D00
LogI'(z)+yz
Log(l
1-0
+ ~)]<d[s]-s)+(z+l)Log(z+l)-z.
(28)
v]
[CHAP.
Log I'(z)
215
y =
1(d[s]-s),
1-0
-I
00
Log r(z+l)
Log (z+l)-z
([s]-s)(-
1-
- !)ds
s+z
1
k+I
I J (k-s)(-
=zLog(z+l)-z+
k=I
1--!)ds
s+z
s
= zLog(z+l)-z
I {(k+z)Log(l
+- 1-)-kLog(i+!)}
k+z
k=I
= (z+l)'e-z
))
(e::=)
TI(ek+=)
ek
k=O
Remarque
G. Vacca, en 1910 (1), a donne un developpement interessant pour la constante
d'Euler qui a ete generalise en 1912 par Hardy. On peut developper ((s) sous
la forme suivante
1
((s) = +y+
s-1
1)
CAMPBELL
XLI,
00
Yh(s-It.
h=t
p. 363.
16
216
[CHAP. Y]
Les Yh sont des coefficients dont le calcul est malaise, y la constante d 'Euler.
Si a designe la base (en ti ere et positive) d 'un systeme de logarithmes, et si
!'on pose
k est multiple de a,
cas contraire.
On a:
'l'h=
(--
1
lt Inn
. [k=m
L (In
-- kt - (In
---mt+]
h!
k=l
m--+oo
h+ 1
I
1
tft(z)
=-
[ y + - 1 + -n cot nz + -n
2z
2
2
= In 2 - n
sin ntu
JJtg :t( ----t
sin nu
0 0
ou encore
ou encore
y
= 1112-
f _1_
2k+l
1
((2k+l).
22 k
)d u d t
r et Jes
[CHAP. Y]
Log I'(z)
217
pour la fonction (,
, (3) =
1t
12
J,(1-
t 2)
tg nt dt,
2
I
1
((5) = -n
720
t(l-t
2 )(7-3t
2 )tg
nt
-dt;
2
= '..::._
.
( (6)
945
x/en iy/en
fl ---OO
e-yx
e-iyy
n=l
l+(x+iy)/n
OUl'on a pose
1
+ _J.:1:'.__
= rn exp (i<pn),
x+n
OU
_Y_ = tg <pn
x+n
( 1)
et
a la
218
[CHAP. V]
9. Complement
> 0, on a
L
00
(s+m+!)
m=O
In s+m+l
s+m
- 1 ,
r(s) = Jim
q-oo
q s q '
s(s+l)(s+q)
L
q
(s+m+!)
m=O
ln s+m+l
s+m
- 1 = -
L
q
(s+m)-(s-!)lns
m=O
q!-s In q+ 0(1)-(s-!)
Ins,
Ins +s-ln
q! +q In q +! In q + 0(1).
1,
on montre que
In q !- q In q + q -! In q
tend vers une constante c pour q tres grand et cela suffit pour etabiir la proposition.
(2) Tout le calcul est developpe dans Landau, ouvr. cite, p. 225.
[CHAP. V]
Log I'(z)
219
= In T(s)-[(s--!-)
= 0(1/t),
ln s-s+c]
c'est-a-dire qu'il existe un choix de t 0 et de t tel que, pour t > t 0 , IG(s)i < I/t.
Ill. Avec les memes notations, si a 1
In I'(s) = - n t+(a--!-)
~a~
In I +it(ln t-1)
a 2 , on a uniformement
+ .:'.(a--!-)i+c+O(l/t).
On en deduit
I'(s)
= b(cr)exp(-
~t}o--+exp[it(ln
t-1)]
Jim
t--+ 00
[1+0(1/t)J,
CHAPITRE VI
LA FONCTION I'
ET LES AUTRES FONCTIONS FONDAMENTALES
DE L'ANALYSE
1. LA FONCTION
ET LA FONCTION ( DE RIEMANN
Plusieurs formules deja obtenues ont fait intervenir la fonction ( (s); par
exemple on a vu que :
tfr{k-l\O)
I ~),
n
n=l
00
ou le coefficient
n=l
00
I --
n=o (z+nl
(1)
'
! ( (z, k)
(2)
[CHAP. VI]
221
+z)
I'(l+z)
an(z-zof,
n=O
avec:
nan=
(-1)q((z
(3)
,q)an-q
q=l
LogI'(l+z)
i-lf
(3')
Snzn
n=l
OU
{
s.=((l,n)=
y constante d 'Euler, si n
((n)s1n
= I.
(4)
2.
LogI'(l+z)=
-Log(l+z)
-1)"
--(S.-l)zn.
n
L
00
n=l
(5)
+ z) =
J (1-z)[
-- nz
--
sin nz 1 + z
exp
~
L.
=o
S2n+1-1 z 2n+1J .
2n+ 1
(6)
-t.11est fondamental
222
[CHAP. VI]
I
00
(a+n)-s I'(s) =
e-(n+a)xxs-ldx
(7)
formule valable si R(s) > 1 et si x est reel (on pose souvent R(s) = a). Une
sommation par rapport an permet de faire aussit6t apparaitre la fonction ( (s)
generalisee :
ntf
00
I'(s)x((s,a)
= ;i~
x-te-<n+a)xdx
00
I'(s)x((s,a)=
00
xs-
1 e - ax
xs-
dx-hm
1-e-x
Comme x
0 et
ex ~
1-e-x
N-+oc
1 e - N + 1 + ax
dx.
(8)
I
00
xq-2e-(N+a)xdx'
Je
00
((s,a)=-
I'(s)
-ax
s-1
1-e-x
dx.
(9)
Cette formule definit (Cs) de fa<;on analogue a celle qui definit T(a) par l'integrale
I
00
e -t X ~-ld
(1)
Cf.
WHITTAKER,
pp. 267-272.
X.
[CHAP. VI]
223
On peut aussi, par analogie avec la definition de Hankel pour I'(z), definir
( (s) par une integrale de contour. II suffit de revenir a l 'integrale de Hankel
elle-meme en utilisant le meme contour (qui ne doit contenir a son interieur
aucun des points 2Nni (N entier) ), en supposant, ici aussi, que iarg ( -z)I ~ n.
On envisage l 'integrale
) e
f (-----z1-e-z
oo
(0 +)
s-1
-az
d z- _ [ e1ti(s-1) -e
-ax
s-1
e
1-e-x
dx.
(10)
r, et
en tenant
-1ti(s-1)]
+ 00
0+1
((s,a)=
-I'(1-s)
2.
(-z)8-
1 e-
-e
-z
=dz
.
(11)
00
Les seules singularites possibles de ( sont done celles de I'(l -s); mais comme
((s, a) est analytique pour R(s) > I, Ia seule singularite possible est finalement
le points = I. Si !'on fait directement s = I dans l'integrale qui est au premier
membre de (10), elle devient, apres division par 1/2ni :
J1--dz
0+
1
2ni
e-az
(12)
1-e-z
00
quantite qui est egale au residu en Ode Ia fonction sous le signe integral, c 'est-a.dire a + I. Ainsi done
lim ((s,a) = -1
I'(l - s)
(13)
s--->1
I'(I -s) ayant un seul pole en s = + I avec le residu -1, la seule singularite
de ( (s, a) est un pole en + I, avec le residu + I.
a !'equation
F(s,a)
fonctionnelle
= F(s,a+m)
m-1
L --
n=o (a+n)8
224
[CHAP. VI]
f
1
I'(s) ((s, a)
ta-l
[ln l/t]
(1-t)
s- i
>0
r-
(- 1
= _1_
n=I
f
00
I'(s)
x- 1_dx .
ex+l
I
00
(2 8 -
2
l)((s) = ((s,-!-) = F(s)
x-lex
-2-dx.
e x_ 1
5) Le contour d 'integration
(2n + l) ni,
O+
21-r(l-s)
((s) = 2ni(2 1 --1)
(-z)'-1
e'+l
dz.
00
5. Formule de Hurwitz
1
2in
(-z)'-le-az
1-e-z
dz
le contour etant celui qui est represente figure VI-1 (cercle de centre 0, de
rayon (2n+l)n, arg (-z) etant nul au point z = -(2N+l)n,
et la lacet
entourant le point 0). La fonction a integrer etant analytique sauf aux
points 2Nni, Rn et R~ designant les residus en 2Nni et en - 2Nni respectivement, on obtient ainsi :
I
1
(Rn+R~) = _1_
2 ni
J(-z)'-le-az
1- e- '
C
(O+)
dz - _1_
2 ni
(2N+l)1t
(-z)'-le-az
1- e- '
dz.
[CHAP. VI]
-(2N+l).1C
225
(2N+l)Jt
Fm. VI-I
Au point -z = 2nne-i"
2, le residu est
(2nn:)'-1 e-(s-1)1'i/2e-2an7'i.
Selon le processus habituel, on montre que, pour O < a ~ 1, quand zest sur C
il existe N tel que [e-az (1- e- z)- 1[ < K, K etant une Constante independante
de N. Ainsi en passant a la limite, on obtient pour ( (s, a) I 'expression
re ) = 2I'(l-s)1
._ s a
'
(2n) -s
[ sm
. (srr)
- Loocos 2nna
2 1 nl-s
+ cos (Sn)
2
2nna] ,
nl-s
Loosin
(14)
ces 2 series etant convergentes. C'est la formule <lite de Hurwitz : elle permet
d'etablir une remarquable relation (due a Riemann). Si en effet l'on fait a = I
dans (14) et si l'on applique la formule des complements, on obtient
2 1-sr(s)((s)cos
sn
= 1t ((1-s).
5
(15)
Comme les fonctions qui figurent dans chacun des membres de cette egalite
sont analytiques, (sauf aux points ou elles ont des singularites polaires),
!'equation (15) demontree pour R(s) < 0 est valable quel que soit s.
On en deduit que I'(s/2) ((s)n-ts est invariant dans le changement des en
1-s, et que les zeros de ((s) en -2, -4, -6, ... sont des zeros simples. On
remarquera l'analogie deja alleguee de cette formule (15) avec la formule des
complements.
226
[CHAP. VI]
EXERCICES
I) Demontrer que
1-]=
s-1
lim[((s,a)-s--->1
2) Demontrer
p. 271).
I
00
n-s I'(s/2)n-s/2
e-.2nxxts-1dx.
= te-i",
oo ~ t
~ r
> 0,
= rern,
-n
e~
n,
(C 3 ): z
= tei",
0 < r
(C
1):
(C 2 )
t ~ +oo.
B,(x)
-0(
(n+xr-
et que
I'(oi)
n=O
=-
1
2 ni
Je z -d z.
z
En appliquant
alors
a l'integrale
:t:J
e(k+x>0 e-de
Cn
I'(oi + 1)
2ni
exoe- d8.
C,
e8 -1
[CHAP. VI]
227
r < 2n.
Montrer quef 0 (x) ainsi definie est unefonction entiere de a et verifie les relations
d
-Ja(x)
dx
= aJ
1 (x).
0 _
C. Posant alors
F,(x)
F 0 (x+ l)-F
(x) = x",
F 0 (l) = 0.
En deduire quef 0 (x) = B 0 (x) et que l'integrale precedente realise le prolongement analytique, pour a complexe, de la fonction B 0 (x) definie pour x reel
positif, et qu 'elle est une fonction entiere de a. En particulier
Rappelons que, etant donnee une fonction de variable reelle h(t), appelee
228
[CHAP. VI]
+oo
J(p)=p
ou
e-pth(t)dt,
rx<R(p)</JC)
(1)
-oo
formule qu'on ecrit plus rapidement f(p) ~ h(t). On montre dans les traites
de calcul symbolique que, inversement on peut obtenir )'original a partir de
l 'image par la formule (2)
c+ioo
h(t)
=~
2m
ou
epif(Pp)dp
rx< c <
fJ
(2)
c-ioo
formule qu'on ecrit h(t) =; f(p). Ces formules sont directement rattachables
a celles qui definissent la transformee de Fourier. II est commode d'introduire
pour ce calcul la fonction U(t) <lite fonction-unite .
l si t > 0,
-t si t = 0,
0 si t < 0,
U(t)
(3)
+oo
J(p) = P
f
00
e-ptU(t)dt
-oo
pe-P 1 dt = 1
(4)
c+ioo
U(t)
_1_
2ni
ePtdpp
(5)
c-ioo
TITCHMARSH
pp. 6-7
OU VAN
DER POL:
[CHAP. VI]
229
f(p) = p
e-pt h* (t)dt
!Y.
(6)
*
h(t)U(t)=-
1
2ni
(7)
c-ico
2. Images de polynomes
Soit a chercher )'image de t", OU plus generalement de tv, la puissance
n'etant pas forcement entiere. Elle n'existe pas sur l'intervalle (-oo, +co).
Nous chercherons done seulement !'image de tv U(t). Ainsi
+ 00
00
J e-pttv U(t)dt
P
-
= p t"e-p'dt =
I'(:~
l)
(8)
00
ou encore:
tvU(t) =; I'(v+l)
pv
avec
O < R(p)
(8')
R{v)>-1
1
I'(v+ 1) = 2ni
_1
(R(v)
> -1
>0).
(9)
c-ioo
__
de la forme ci-dessous.
::)
230
[CHAP. VI]
3. Applications diverses
A) 11ya lieu de faire remarquer avec Van der Pol (cf, p. 27) que les images
de 2 fonctions h(t) et h* (t) peuvent etre tres differentes. Ainsi pour
1
U(t)
et
e1 + 1
e +l
1
Pour la premiere
(soit K(p)).
-
(11)
00
Jest la meme,
-pn
e' + 1 sin pn
yu
(11)'
la transforme en
!!_
u(p-1)/2
du .
1 +u 112
2
0
I
1
1-tzd
--
1-t
t=y+
r'(z+l)
I'(z+l)
'
(12)
U(t) =; p_[r'(!p+l)
e1 +1
2 I'(fp+l)
_ r'(!p+})]
r(-tp+-t)
(13)
[CHAP. VI]
231
Remarque
h (t, v)
=.f(p,
v),
/3
(14)
a
av
a (p,v),
av
-h(t,v)=.-
'U()
==
I'(v+l)
.
O<R(v).
'
- [ln t-1/J(v+l)]
T(v+ 1)
=.-ln p ,
p
R(v)>
=. -lnp,
-1,
0 < R(p).
v :
(15)
y, on en tire par
0 < R(p),
(16)
soit :
-ln t U(t)
=.lnp+y,
f
n=O
_1 _
(n+a)''
R(v) > 1
(on obtient la fonction ((s) habituelle pour a = 1). Or on demontre que ((v, a)
Cf.
CAMPBELL
VAN DER
POL, p. 31.
17
232
est representable
[CHAP. VI]
par l 'integrale
Jx
00
v-1
e
1-e-x
-ax
dx
si l'on y remplace a par pet si l'on multiplie par p T(v), on obtient aussitot
t'-1
-1 -e
En faisant a=
-t
oo)
1 dans ((v, a) :
I
OC)
I'(v) ((v) =
xv-1 dx
ex-1
R(v)>l.
En substituant
= p, x = e - 1
I'(p+l)((p)
..
+1'
e
(17)
4. Convolution
Les regles habituelles du calcul symbolique permettent de trouver ou de
retrouver des proprietes de la fonction r, par exemple a !'aide de la convolution.
Considerons le couple de transformees
h1 (t),
IX1
f2(P) . . h2(t),
IX2
!1 (p).
/31 ,
alors on a la propriete
+oo
~f1(P)f2(P)
=,
-
h1(i")h 2 (t-r)dr
00
h(t+A) =, e'Pf(p).
(18)
[CHAP. VI]
233
; !1 (p)f2(P) = f2(P)
-
+oo
J e-P'fz(p)h
e-p,h1 (r)dr =
-
00
(r)dr,
00
U(t),
1X1
=:h2 (t)
U(t),
cx2
f 2 (p)
+ oo), en
< R(p),
< R(p).
; !1 (p)f2(P).
J h 1(r) U(r)h
(t-r)
U(t-r)dr.
(19)
00
;Ji
(p)f2(P).
U(t)
Jh 1(r) h (t-r)dr
2
avec
max (cx1 ,
ix 2 )
(20)
Applications
a) Reprenons les transformations
1 ....: tU(t)
p :-- I'(v+l)'
(1)
Cf.
p. 38-41.
deja rencontrees
> -1,
R(p) > 0,
R()
R(p) > 0,
R(v)>-1.
234
[CHAP. VI)
I
t
~ U(t)
_!__!_= _1_
p p p'
r(t-r)'dr
I'(+l)I'(v+l)
p+v+l
U(t).
I'(+v+2)
En divisant alors par U(t) (t > 0), et en posant r = ts, on obtient, avec un
leger changement d'ecriture
1
s- l (1-sr-
ds = I'() I'(v),
I'(+v)
( R()
>-1)'
R(v)>-1
I'(p+l)
e-.-,,
R(p) > 0,
I'(l-p)
;= e--',
R(p) < 0.
La convolution effectuee ici ne fournirait rien puisqu 'ii n 'y a pas d 'intervalle
d'integration commun pour Jes 2 formules ecrites. Mais on peut proceder
un peu differemment en remarquant que :
__p___
I'(p+
2)
= pI'(p + 1) ~ e-,
p+l
e--,:
R(p)
> -1.
r (p + 1) r (1 -
p)
- - 1- ,
l+e'
:=hi(t) '
:=h2(t),
:=h3(t),
OC1
OC2
/32 ,
OC3
/33
[CHAP. VI]
On a vu que
+ 00
fi (p)~ 2 (p)
h 1(t-,
2)
h 2(, 2)dr2
00
f f
+oo
fi(P)f~~)f
(p)
+oo
d, 2
-oo
-oo
Plus generalement :
+oo
+oo
+oo
f f
J dr2 J d,3
-
00
00
+oo
00
drnh1(t-r2-T3
-rn)h2(r2)hn(rn),
00
R(p)>O.
5. Produit d'originaux
0:1
h2 (t) =, !2 (p) ,
0:2
/Ji ,
/J2 ;
alors :
c+ioo
h1(t)h2(t) =, ~
2m
c-ioo
OU:
li(s) 12(p-s)ds
s
p-s
235
236
[CHAP. VI]
=; pI'(p+a),
e-.-, =; p I'(p+b),
e-ate--
e-bt
On obtient
c+ioo
e-<a+b)te-2.-,
J' I'(s+a)I'(p-s+b)ds
==_!!_
2ni
(21)
c-ioo
c > -R(a).
En faisant p
= 0,
I'(a+b)
2a+b-l
ioo
J I'(a+s)I'(b-s)ds,
=-: 1
(22)
c-ioo
-R(a)
Si a= b = I:
c+ioo
m
2
-l<c<l.
I'(l+s)I'(l-s)ds,
c-ioo
Pour c
I
00
tdt
sh nt
1
2
(23)
00
EXERCICES
Demonstration de la formule de Legendre-Gauss
Considerons !'image de (l-e- 1)' U(t) qu'on peut obtenir par un calcul
deja effectue en posant e - ' = s, et qui donne, si I' on suppose que v est un
237
[CHAP. VI]
entier n:
(l-e-t)"U(t)
=; F(n+l)I'(p+l)
r(p + n + 1)
n!
(p + 1)(p + 2) .. (p + n)
e-t)n
U(t+Inn)
=;
n!nP
(p+l)(p+2)
.. (p+n)
R(p)
> 0.
Sin tend vers l'infini, !'original du 1er membre se reduit a e-e- pour toutes
valeurs de t dont I 'image est I'(p +I).
On obtient ainsi par un calcul (non absolument rigoureux) la definition de
Gauss pour r :
F(p+1)
= lim --------
nlnP
(p+ l)(p+2)
n->oo
"' (p+n)
Autre exemple
Soit
a determiner
= s, on obtient
(0 < R(p)),
c'est-a-dire que
> 0.
(24)
c-ioo
+ 00
2en =
-
r(l +iw)dw.
(25)
00
238
[CHAP. VI]
coefficients egalement rationnels. Chacune de ces equations se forme immediatement a partir de l 'autre, et de l 'integrale generale de l'une on deduit l 'integrale
generale de l 'autre. Pour mettre cette correspondance en evidence, il est
commode de considerer d'abord l'equation
(1)
+a m,p e-pt)lJ'(m)(t) = 0 ,
en supposant que les coefficients polynomiaux en e - ' sont tous du meme degre,
ce qui n 'est pas restrictif, on peut former alors la transformee de Laplace de
cette equation. Remarquons d'abord que, d'apres un theoreme de Poincare (1),
si t croit indefiniment par valeurs reelles et positives, on a :
lim e-xt'I'(t) = 0
(2)
t-+ 00
f(x) =
e-xt'I'(t)dt
(2)
(4)
l'integrale etant calculee sur un chemin C venant de l'infini positif, contournant chacune des singularites de l'equation (1) et retournant a l'infini positif
comme l'indique la figure ci-dessous .
FIG. Vl-2
(1) American Journal of Math., t. VII,
n 3.
(2) II est clair que cette fonction ':P(t) n 'est pas celle qui designe
tout
a fait
quelconque.
~~;~) ,
fCHAP. VI]
239
e-xtp(h)(t)dt
et
Je-xte-ktp(h)(t)dt.
(x+klf(x+k)
[ao,k+a1,k(x+k)+
... +am,kCx+krJJ(x+k)
=o
(5)
k=O
Inversement soit une equation aux differences finies de la forme precedente (5) et soit
Jex'.f(x)dx
'I'(t) =
(6)
(J.)
= ... =
).
).
Je<x+p)tf(x+p)dx.
(7)
).
Jex (x+klf(x+h)dx
1
).
240
[CHAP. VI]
r(x+n) = 0
ou r(x) vaut
et ou nest un entier quelconque positif ou nul (1). Soient alors ex1, cx2 ,
Jes zeros de r(x); Jes poles de f(x) sont ,
OU
cxm
= I, 2, 3, ... , m.
Soit une ligne fermee A comprenant a son interieur les points ex1, cx1 -1, ... ,
cx1 -met ne passant par aucun autre pole def(x). L'integrale
2:
I extf(x)dx
2m
(A)
sera egale a la somme des residus de ex1 f(x) aux pointscx 1,cx1 -l,
De la meme fa~on l 'integrale
2:I e(x+l)tf(x+l)dx
2m
2:
f extf(x)dx
2m
- - 1-.
2m
+ I) aux points
e<x+l)tf(x+ l)dx
2:
f extf(x)dx
2m
(A)
est egale
a la
~
2m
e(x+p)tf(x+p)dx
( 1)
MELLIN,
ex1 - I ,ex1
2, ... ,
[CHAP. VI]
241
Si l'on integre alors le long du chemin A, de fa~on que Jes conditions ci-dessus
ne cessent jamais d'etre satisfaites, si l 'integrale conserve un sens lorsque n
tend vers l 'infini, et si le residu en a 1 - n tend vers zero, les conditions (7)
demeurent satisfaites; a la solotion f(x) de !'equation aux differences
correspond pour I'equation differentielle la solution
'l'(t) =
ex'f(x)dx.
().)
3. Application
est
= 0.
(9)
e-(x+p)t
if
(1-aket}'1kdt.
/Jk
(11)
k=l
(e)
a la
=0
(12)
1e-i)IJ''(t)+
+(am,o+am,1e-
)IJl<m>(t)
= 0.
(12)'
242
[CHAP. VI]
TIr(xev)
r(x-u,)
(13)
v=l
les u, celles de
-J
-1
2ni
extf(x)dx
).
est une integrale de l'equation (12), pourvu qu'elle ait un sens, et pourvu
que la limite pour n infini du residu de ext f(x) relative au point l! 1 - n soit zero.
Ce residu est facilement calculable, puisque.f(x) s'exprime par des fonctions r,
et il vient
m
[CHAP. VI]
243
est de meme nature que la serie des R., dont on demontre facilement la convergence absolue pour toutes Jes valeurs de t telles que e-t soit borne. (II suffit
d 'appliq uer la regle de d 'Alembert). Cette serie est une integrale de (12)' et
peut s'ecrire
(14)
avec:
Ce-n
Cn
= -,-
n.
TI (u,-Q
v=I
+ l)(u,-Q
+n)
+n)
-m~------------------
TI (Q,-() 1 + l)(Q,-()
v=2
244
ouam1 =
[CHAP. VI]
(15)
ex1f(x)dx.
a+ ioo
P(t)
= _1
2ni
I'(X-(}1)I'(X-(}z)I'(X-(}m)
r(x-a1)
I'(x-a2)
extdx
I'(x-am-1)
a-ioo
(h, , (}m
a toutes
xf(x)-f(x+
= 0,
-e-
a l'equation
1J'(t)+IJ''(t) = 0;
a+ioo
l
2ni
I' (X)ext dx
= e - e - ' ( + c1e)
a-ioo
Soit sun point situe a l'interieur d'un rectangle de sommets aiw, biw,
a et b etant des reels positifs, de telle fai;on que I'(z) soit partout reguliere
dans le domaine. Le theoreme classique de Cauchy permet d 'ecrire
I'(s)
= _1_
2ni
I'(z) dz
z-s
(1)
[CHAP. VI]
245
prise sur les 2 cotes horizontaux tend vers zero d 'apres la propriete asymptotique etablie ci-dessus et l'on obtient, si a < b :
a+ioo
F(s)=-1
2 ni
b+ioo
r(z) dz + _1_
s-z
2ni
a-ioo
r(z) dz
z-s
(2)
b-ioo
avec
a< R(s) < b.
a +iw
b + i,({)
i1 -
b-
b-i w
t{t)
Fm. Vl-3
--1
s-z
< 0. On
00
X s-z-td
et
--1 =
z-s
X s-z-ld
X.
(3)
F(z)x-zdz
(3)
r(s)=~Jx-
a+ioo
1 dx
2m
0
a-ioo
b+ioo
oo
I'(z)x-zdz+~Jx-
1 dx
2m
1
b-ioo
ou l'on a le droit d'intervertir l'ordre des integrations moyennant des conditions assez generales sur lesquelles on reviendra. Or la fonction I'(z) x-z
246
[CHAP. VI]
a+ioo
b+ioo
I'(z)x-zdz
a-ioo
I'(z)x-zdz.
(4)
I'(z)x-zdz
(5)
1dx
(5')
b-ioo
a+ioo
00
r(s)
J'xs-1
dx
2 ni
a-ioo
I
00
F(s) =
H(x,a)xs-
si
a+ioo
H(x, a)
- 1-
2ni
I'(z)x-zdz,
a-ioo
qui converge pour les valeurs positives de x. Pour calculer H, Mellin (1)compare
les integrales H(x, a) et H(x, -n +t), a etant suppose positif, et applique
le theoreme des residus a l'integrale precedente prise suivant le rectangle
dont !es cotes verticaux sont !es droites a +t +n (et dont les cotes horizontaux
sont envoyes a l'infini comme ci-dessus). A l'interieur de ce rectangle il y a
des poles aux points 0, - 1, ... , -n + 1. Au pole z = - v le residu de
I'(z) x- z vaut :
. (
. (z+v)F(z+v)x-z
)I'( ) -z
I1m
z+v
z x
= 11m
z--,
-n-1
z--,
-n
LXVIII,
.. ,(z+v-1)
-n+I
FIG. Vl-4
(1)
z(z+l)
p. 315.
[CHAP. VI]
247
-----------=
(-l)'x
(-v)(-v+l)(-v+2)
Reste
s'ecrit
a calculer
H(x, t-n)
.. (-l)
v!
-!--n +it,
+ 00
J'
= Xn-t
-
H(x,1;-n)
2n
(t+it-1)
-
... (t+it-n)
00
+ 00
<
xn-t
x ... x(2n-1)/2
txf
irct+i1)1d,
-oo
f
00
I'(z)
e-xxz-l
dx,
R(z) > 0
a+ioo
e-x
- 1-
2ni
I'(z)x-zdz
a-ioo
2. Transformation de Mellin
f
(X)
F(s)
= f(x)x"-
1 dx
(6)
c+ioo
f(x)
=~
2m
F(x)x-ds.
(7)
c-ioo
CAMPBELL -
us intt!graks eult!riennes
18
248
[CHAP. VI]
(6')
- co
+ co
f(e~) =
_!_
2n
F(c+it)e-~<c+it)dt
(7')
- co
y2n ec~f(e~)
F(c+it)
et
f
co
I'(s)
e-xxs-
1 dx.
e-x = _l_
2ni
J I'(z)x-zdx
(c > 0).
c-ioo
r et la fonction hypergeometrique
Soit l'integrale
k+ico
f(z) =
~
2m
I'(s)I'(a-s)I'(b-s)
I'(c-s)
I'(c)
-sd
(8)
I'(a) I'(b)
k-ioo
r, ou
Supposons z reel, soit z = x, on peut ealculer f(x) par la methode des residus
[CHAP. VI]
249
p
.k
+---+--+--+------1
-2,-1, 0
k-ip
FtG. Vl-5
l-
l)n
0), on a
n!(x+n)
On en deduit que, ens = 0, le residu est 1; que, ens = -1, il est (ax b/c x I) x,
et que, d 'une fa~on generale, en s = - n, ii est :
a(a+l)(a+n)xb(b+l)(b+n).
c(c+l)
'
(c+n)n!
d'ou
ab
I ---x+
cl!
()
fx=
a(a+l)xb(b+l)
c(c+1)2!
x+
(9)
= F(a, b, c,
F(s)
= I'(s)xI'(a-s)xI'(b-s)
-x)
I'(c, -s)
(1)
Cf.
TITCHMARCH,
p. 191.
x _I'_(c_)_
I'(a)I'(b)
(10)
250
[CHAP. VI]
f(x)
7t
I'(s)I'(a-s)
I'(a)
Log (1 +x)
7t
(1- s) sin sn
c-x)
l+x
I'(s)
I'(l-s)
----
(l+xt
(l+xrpm-l
O<R(s)<
sin sn
l+x
x [I'(m-s)J
I'(m)
f(x)
pour
rl-x~-l
pour
O<x<l
x~l
O<x<l
x~l
tx-1:-a
I'(s)I'(a)
R(s) > 0
I'(s+a)
R(a) > 0
I'(a-s)I'(l-a)
I'(l-s)
avec R(O) < R(a) < 1
O<x~l
J,(x)
2-rc+~-s)
rc-;-a)
R(s)
< IR(a)I + 1
2- 1 I'[(s+v)/2]
I'[(v-s)/2+1]
251
[CHAP. VI]
5. Autres correspondances
oo
k+ico
.'.F(s)(1-s)
J [(1-s)ds Jf(x)x-
ds = - 12ni
k-ico
k-ioo
1 dx]
oo
k+ ioo
J (l-s)x-
=~Jf(x)dx
2m
0
1 ds
k-ioo
00
= f(x) g(x)dx.
0
co
J I'(a+s)I'(b-s)ds
~
2m
k-ioo
= Jxa+b-Ie-
xdx,
I'(a + b)
2a+b
(-a<k<b).
I
00
(1)
Cf.
TJTCHMARSCH,
p. 193.
nI'(2a)
22 a
(a> 0).
252
a la
[CHAP. VJl
sommation de quelques
[f( n +a)]'.
n=O
a la
On verifie, relativement
et
F(s+ v)
v.f(x)
et
F(s/v)
a- F(s)
et
.f(ax)
(a 1
a 2 ).
+ ioo +a
=-
f(x)
2ni
a 1 <a<a
F(s)x-ds,
2 ,
a= :R(s),
-ioo+a
on deduit, en faisant x = n +a :
+ 00
f(n+a)
n=O
= -.
2m
a+ioo
f [f
F(s)
a+ioo
(n+a)-s]ds
~
2m
F(s)((s,a)ds.
u-ico
a-ioo
a) Soit
a calculer
la somme
~
L,
n=l
(1)
(2)
Cf.
Cf.
TITC'HMARSCH,
TITCHMARSCH,
p. 60,
p, 63.
cos ny
2
n
[CHAP. VI]
253
Si f(x) = cos x,
F(s) = 2s-1 y'nI'(s/2)
(0 <a< 1).
I'[(l-s)/2]
2s- 3y'nI'(s/2-1)
et
x2
+ v), en particulier
I'[(3-s)/2]
a calculer
(1)
u+ioo
2s-3 y'nI'(s/2-1)
I'[(3-s)/2]
y-sc(s)ds.
2 < a < 3
a-ico
Comme la fonction qu 'on integre tend vers zero si R (s) tend vers - oo, on
obtient immediatement
co~ ny
(ny) 2
n=l
= ~ _ ..!:..+ ! .
6y 2
2y
b) Calcul de
1r
" (
I---J1(2n+1,y)
o
2n+ 1
se correspondaient,
(1)
Cf.
MACFARLANE,
a condition
et
2s-l I'[(s+v)/2]
(1 +(v-s)i2]
T.
-f.
40, p. 188.
f(x),
F(s)
donnait
254
[CHAP. VI]
_21
(l2)1-s
I'(s/2)
I'(2-s/2)
22sL (-l)n+1(2n+
1)-s= C(s,t)-((s,i),
S=-
2ni
I'(s/ 2) [((s,t)-((s,l.)]T
4
I'(2-s/2)
!(l)l-s
2 2
28 ds.
a-ioo
I,
n=O
(-lr( 2 y) 2n+l
4I'(n+l)r(n+2)
[((-2n,t)-((-2n,f)],
c'est-a-dire
00
1 (-lfB2n+1(!)(2y)
(2n+l)I'(n+l)I'(n+2)
-~2
n+l
On n 'a pas ici la valeur exacte de la somme, mais on a remplace la serie donnee
par une autre qui, contenant des fonctions I' au denominateur, est tres rapidement convergente.
APPENDICE
1. DECOMPOSITION DE PRYM
2. FONCTION GAMMA INCOMPLETE
Dans certains ouvrages, on etudie, apres la fonction I', une autre fonction dite
fonction r incomplete qui generalement est definie par l 'integrale
I
"
y(oc,x)
e-ttx-ldt
qui devient I'(x) si oc devient infini; y(oc,x) est ainsi definie avec le meme
element differentiel, mais non sur le meme intervalle d 'integration. En fait,
cette fonction y(oc,x) a sa place dans l'etude de la fonction hypergeometrique
confluente, et nous n'en donnons pas ici une etude approfondie (1).
1. La decomposition de Prym (2)
=1
(1)
n-+oo
F(z+ 1)
zF(z),
(2)
Prym demontre que la fonction I'(z) est la seule qui satisfasse a ces 2 conditions et cherche a isoler dans I'(z) une partie restant finie au voisinage des
poles, de fa<;on que l'on ait :
I'(z)
= P(z) + Q(z),
Q(z) etant une fonction analytique dans tout le plan. Pour cela il envisage a
priori la serie
P(z)
1 !(z+ 1)
=--
1
( -1)'
+ --- +
+
2!(z+2)
v!(z+v)
TRICOMI,
256
APPENDICE
1
- e
+ 1) = z P(z)
=0
. Jim P(z+n)
\ n-+oo (n-l)!nz
tP(z+l)
= zP(z)-!.
lim
z-+(-v)
(-lf
]=0(1),
v!(z+v)
[ I'(z)-
[p(
z) -
(- lf
v!(z+v)
J=
0 ( 1) .
I'(x)
= J e-ttx-
dt.
dt,
P(x)=
Je-ttx0
on peut ecrire :
00
Q(x) = I'(x)-P(x)
= J e-ttx-
dt.
c. du developpement
en serie de Q(x)
FONCTION
257
GAMMA INCOMPLETE
I
00
r' = -1
e -t Log n t-.dt
n!
L'on montre, comme pour P(z), que Q(z) est la solution unique du systeme
lim Q(z+n)
-oo (n-l)!nz
=1
(Ih
1
Q(z+l)=zQ(z)+-.
(Ilh
00
00
I'=f=J+J
0
complexe :
rcz) =
f v!(z+v)
c-1r + f c.z
1
ou les
c.
(4)
qQ(z)
= z S(z) + I
S(z+l)
= k
C'est
a !'occasion
en
f
1
e-tta-ldt
I
00
e-tt-ldt
R(a) > 0
(1)
258
APPENDICF
y(a,x)
e- 1 t0 - 1 dt
(2)
00
I'(a,x)
Je-
1 0-
(3)
dt.
x) = I'(a)
y(a, x)+I'(a,
(R(a)
> 0).
11est plus opportun d 'ailleurs, cela pour des raisons deja plusieurs fois rencontrees, de poser
(4)
= e-x<P*(I, a+ 1; x)
y*(a,x)
Tricomi a montre qu'une troisieme fonction notee y 1 (a, x) etait plus commode
X
y 1 (a,x)
Je t
1
dt
s1
R(a) > 0
(1) Les notations et denominations employees sont mal fixees par l'usage. Celles utilisees
ici sont Jes memes que dans TRICOMI (Funzioni ipergeometrichi conj/uenti).
259
= e-xcp*(l, 1-n,x)
y*(-n,x)
= e-xx"cJ>(n+I,n+I;x)
soit :
= x",
y*(-n,x)
= 0, I, 2, ....
= r(a)
y(a, -xiO)
x" eaiti
y*(a, -x)
soit encore
eait;
Yt (a, x).
(x > 0).
(-x)"
I
n=O (a+n)n!
00
I'(a)
OU
+ r),
-x
~
L.... -----.
xn
n=OI'(a+n+l)
(5)
(6)
qui admet aussi la solution x-\ ces 2 solutions sont lineairement distinctes
tant que a n 'est pas un entier negatif ou nu!. On verifie aussitot les developpements en serie entiere suivant (a rayon de convergence infini)
Y*(a,x)=-
et qui, rapportes
Loo
l-
X )"
---=e-x
I'(a) n=O (a+n)n!
a y,
Xn
Loo
n=O I'(a+n+l)
donnent
(- l)"xa+n
----=e
n=O (a+n)n!
00
y(a,x) =
-x
L-
xa+n
--
n=O (a)n+l
260
Grace
APPENDICE
a des changements
'}'*(a-1,x)
= xy*(a,x)
e-x
+ --,
I'(a)
a y)
x) = a y(a, x)-xa
e-x.
(7)
(1) L'equation (6) de Ia page 261 est Ia meme, a un changement tres simple de notation
pres, que )'equation (3) de Ia page 110 etudiee directement.
BIBLIOGRAPHIE
1 JAHNKE-EMDE-LOSCH,
Tiifeln Hoherer Funktionen
B.G. Teubner, Verlassgesellschaft, Stuttgart (1960).
O
2 Marcel BOLL,
Tables numeriques universel/es
Dunod. ed., Paris.
262
BIBLIOGRAPHIE
BOURGUET,(suite)
Developpement de l/I'(a) en puissances croissantes de a, Bull. Sc. Math. (1881)
43-51.
BROMWICH(T.J.), An introduction to the Theory of infinite series, Mac Millan and Co,
Ldt, London (1947).
BRUUN (N.G.), Mathematica Zutphen, B. 5, 170-180.
BRUNEL(G.), Monographie de la fonction I' (Memoire de la Soc. Sc. Bordeaux)
vol. III (1886).
CARATHEODORY,
Funktionen Theorie, Verlag Birkhauser, Basel (1950).
CARLITZ(L.), Note of the integral of the product of several Bernoulli polynomials,
J. London Math. Soc., 34 (1959) 361-363.
CARLITZ(L.), Note on Bernoulli and Euler polynomes, Scripta Math., 25 (1961) 323.
CARLITZ(L.), Expansions of q-Bernoulli Numbers, Duke Math. J., 25 (1958) 355-364.
CASTOLDI(L.), Una esatta formula generalizzata di Stirling, Rend. Sem. Fae. Sci.
Univ. Cagliari, 24 (1954) 152-156.
CAUCHY(A.), Exercices de Mathematiques, Paris (1827).
CHAK (A. M.), A class of polynomials and a generalisation of Stirling numbers,
Duke Math. J., 23 (1956) 45-55.
CHILOV,Les distributions, Dunod, 1962.
CRAMER(H.), Contribution to the theory of statistical estimation, Skandinavish
Aktwarietidskrift (1946).
DAVIS (M. T.), Tables of the Higher Mathematical Functions, The Principia Press
(1933).
DINGHAS(A.), Zur Theorie der Gammafunktion, Math. Phys. Semesterber, 6 (1958/59)
245-252.
DIXON (A.L.) and FERRAR(W.L.), Quart. J. Math. Oxford, Ser. 7 (1936) 81-96.
DOETSCH(G.), Theorie und Anwendungen der Laplace-transformation,
Springer.
DOUGALL(J.), Trans. Edinburg Roy., 41 (1904) 138.
DUFRESNOY(J.), Voir PISOT.
EDWARDS(J.), A Treatise on the integral Calculus, Mac Millan, vol. 2 (1922) 276.
VAN ENGEN(H.), Tohoku Math. J., 45 (1938) 124-129.
ENNEPER(H.), Uber die Function II von Gauss mit complexen Argument, Diss.
Gottingen (1856).
ERDELYI(A.), Voir MAGNUS.
EULER (L.), Opera Omnia, Leipzig-Berlin (Teubner). Voir en particulier : T. XIV
(1924); T. XV (1927); T. XVII (1915); T. XIX (1932).
De progressionibus harmonicis observationes, Comment. Acad. Petrop., vol. 7
(1734) 156.
Letter to Goldbach. Oct. 13 (1729). Correspondance Math. et phys. de quelques
geometres du 18e siecle, publiee par Fuss, vol. I (St. Petersburg, 1843).
EULER (L.), De progressionibus transcendentibus seu quarum termini generales
algebraicae dari nequeunt, Comment. Acad. Petrop., vol. 5 (1730-31) published 1738,
36-37.
Evolutio formulae integralis, etc., Novi Comment. Acad. Petrop., vol. 16 (1771)
91-139.
Remarques sur un beau rapport entre !es series des puissances tant directes que
reciproques, Mem. Acad. Sc., Berlin (17) (1761) 83-106.
FAVARO(J.), Cours d'Analyse de /'Ecole polytechnique, Paris. Gauthier-Villars 1964.
BIBLIOGRAPHIE
263
FILON (L.N.G.), Proc. Roy. Edin., 49 (1928-29) 38; Philos. Trans., A 201 (1903) 63.
FORT TOMLINSON,Finite differences, Oxford (1948).
GAUSS(C. F.), Werke, T. III, Gottingen (1866).
GAUTSCH!(J.), J. Math. Phys., T. 38 (1959-60).
GELFAND: voir CHILOV.
GILBERT,Recherches sur le developpement de la fonction I' et sur certaines integrales
definies qui en dependent, Mem. Acc. Belgique, 41 (1873) 1-60.
GoDEFROY (I.), La fonction Gamma, theorie, histoire, bibliographie (Paris 1904).
GoKHALE(D. V.), An inegality for I' functions, Skand Aktuaristidsk (1962) 215-225.
GRONWALL(T. H.), Sur !es zeros des fonctions P(z) et Q(z) associees a la fonction
Gamma, Ann. E.N.S., 1916.
GRUN (0.), Beziehungen zwischen Bernoullischen Zahlen, Math. Ann., 135 (1958)
417-419.
GuDERMANN(C.), Additamentum functionis I' Theoriam, J. of Math., 29 (1845).
Gu1NAND(A. P.), A note on the logarithmic derivate of the Gamma function, Edinburg
Math. Notes, 38 (1952) 1-4.
GuRLAND (J.), An inequality satisfied by the Gamma function, Skand. Aktuarietidskr,
39 (1956) 171-172.
On Wallis' Formula, American Math. Monthly, vol. 63, N 9 (1956).
HADAMARD(J.), Lerons sur !es equations aux derivees partieffes du type hyperbolique,
Paris, Gauthier-Villars (1932).
HANKEL, Expression de I' par integrales definies, Zeitschrift fur Math. und Phys.,
IX (1864).
HARDING(J. W.) and SNEDDON(L N.), Proc. Cambridge Phil. Soc., 41 (1945).
HARDY (G. H.), Quart. J. Math., 43 (1912) 215-216.
HASKINS(C. N.), On the zeros of the function complementary to the incomplete
Gamma function, Trans. Ann. Math. Soc., vol. 16 (1915) 405-412.
HERMITE(Ch.), Sur I'integrale eulerienne de seconde espece, J. fur Math., vol. 90
(1881) 332-338.
HoLDER (0.), Memoire sur Ia fonction I', Math. Ann. (1887) 1-13.
HORWITZ (M.A.), Sur le developpement des fonctions satisfaisant a une equation
differentielle algebrique, Ann. de f'E. N. S., 6 (1889) 327-332.
HUTCHINSON(J. I.), Trans. Amer. Math. Soc., 31, 222-344 et 25, 49-60.
JEFFERY(H. M.), On the derivatives of the Gamma funktion, Quart. J. of Math.,
vol. 6 (1864) 82-108.
JENSEN(W. V.), Gamma Funktionen Theory i elementaer Fremstilling, Nyt Tydsskrift
for Math., BD 11 B (1891) 33-55.
KAZARINOFF,Sur une formule de Wallis, Proc. Ed. Math. Soc., 2 (1958-59) 42.
KELISKY(R. P.), On formulas involving both the Bernoulli and Fibonacci numbers,
Scripta Math., 23 (1957) 27-35.
KESAVA(P.), Some inequalities involving the I' and C functions, Math. Student.,
II (1943) 10-12.
KLUYVER(J.C.), Quart. J. Math., 50 (1927) 185-192.
KNOPP (I.), Theorie und Anwendung der unendlichen Reihen, Berlin-Heidelberg (1947).
Funktion Theorie, Berlin 1949.
KUMMER(E.E.), Serie de Fourier de Log I'(x), Journal fur Math., XXXV (1847) 1-4.
Beitrag zur Theorie der Funktion I', Journal fur Math. reine und angew., 35 (1847).
LAPLACE,Theorie analytique des probabilites (1812).
CAMPBELL
19
264
BIBLIOGRAPHIE
BIBLIOGRAPHIE
265
266
BIBLIOGRAPHIE
INDEX
des auteurs cites
A
ABEL,
APPELL,
ARTIN,
B
153, 154, 212.
BERNOULLI, 49, 67, 69, 74, 75, 76, 77, 78,
79, 81, 82, 84, 87, 93, 95, 100, 101, 102,
104, 106, 108, 197, 201, 205, 212, 214,
217,226.
BESSEL, 109, 119, 152, 253.
BINET, 47, 65, 84, 182, 183, 189, 196, 198,
201, 210, 214.
BOHR, 5, 8, 48, 55.
BOREL, 261.
BOURBAKI, 9, 32, 51, 52, 57, 59, 99, 148,
150, 152, 204, 205.
BoURGUET, 169.
BURNSIDE, 200.
BiiRMANN, 128.
BARNES,
C
30, 40, 42, 44, 47, 53,
82, 112, 211.
CARSON, 228.
CAUCHY, 21, 64, 112, 174, 189, 196, 207,
244.
CHILOV, 121.
CARATHEODORY,
D
243.
55.
DIRAC, 122.
DIRICHLET, 113, 125, 128, 129, 185.
DOUGALL, 179.
D'ALEMBERT,
F
14.
189.
FOURIER, 26, 28, 29, 97, 133, 134, 137,
138, 140, 228, 235, 248, 251.
FRULLAMI, 142.
FuBINI, 129.
FUCHS, 110.
FAYARD,
FEAUX,
G
9, 20, 29, 30, 32, 33, 34, 35, 38,
39, 53, 103, 105, 108, 148, 150, 182,
236, 237.
GAUTSCH!, 18.
GUDERMANN,
199.
GUELFAND, ll8, 121.
GUIMAND, 142.
GURLAND,
18.
GAUSS,
H
21, 113, 114, 117.
162, 165, 166, 223, 229.
HARDY, 215.
HEAVISIDE, 124, 228.
HEUN, 179.
HOLDER, 17, 152, 153, 154.
HURWITZ,
152, 153, 224, 225.
HADAMARD,
HANKEL,
DINGHAS,
J
JENSEN,
JULIA,
199.
176.
EULER,
KAZARINOFF,
8.
268
KNAR,
INDEX
31, 159.
43, 110, 258.
PRINGSHEIM,
KUMMER,
PRYM,
L
160.
LANDAU, 218.
LAME, 179.
LAPLACE, 133, 166, 174, 238.
LEBESGUE, 12, 40, 52.
LEGENDRE, 29, 31, 34, 53, 55, 56, 64, 103,
105, 108, 109, 150, 192, 197, 208, 221,
236, 250.
LINDELOF, 90, 189, 194, 196, 203, 204.
LIOUVILLE, 113, 152.
LOSCH, 50, 172, 173, 178, 200, 209, 221,
257.
LUKAS, 77, 79, 211.
LAGRANGE,
s
SAALSCHilTZ,
SCHOBLIK,
257.
126, 127, 129.
76.
SIMPSON, 88.
SONINE, 119, 120.
STIELTJES, 214, 215.
STIRLING, 23, 24, 42, 43, 45, 49, 54, 82, 85,
95, 96, 97, 106, 107,108,183,196,203,
205, 206, 208, 212, 214, 215, 216.
SCHWATT,
M
252, 253.
MAC LAURIN,
85, 86, 87, 94, 96, 183,
190, 204, 205.
MAGNUS, 62.
MALMSTEN, 189.
MATHIEU, 179.
MELLIN,
133, 212, 240, 242, 244, 246,
247, 248, 250, 251, 252.
MIKOLAS, 216.
MOLLERUP, 5, 8, 48, 55.
MOORE, 152, 153.
0LKIN,
T
50, 87,116,202,220,221.
TEIXEIRA, 153.
TITCHMARSCH,
134, 138, 142, 228, 249,
252.
TRICOMI, 255, 258, 260.
TAYLOR,
0
62.
VACCA,
VAN ENGEN,
53.
135,137.
79.
PEARSON, 49.
PINCHERLE, 204,212,214,237.
PISOT, 90.
PocHHAMMER,
166.
POINCARE, 238.
POISSON, 197, 201, 206.
PARSEVAL,
PASCAL,
214,228,229,230,231,233.
212.
w
8, 15, 49, 52, 56.
WATSON, 9.
WEBER, 109.
WENDEL, 17.
WEIERSTRASS, 10, 20, 35, 147, 153, 171,
188,212,214.
WHITTAKER,
12, 21, 26, 27, 43, 58, 64,
65, 87, 99, 113, 137, 161, 162, 166,
169, 170, 171, 179, 183, 188, 222, 226.
WALLIS,
215.
18.
OSTROWSKI,
21, 50.
50, 172, 178, 200, 209, 221,
SCHWARTZ,
MACFARLANE,
0BERHETTINGER,
201
SCHAAR,