SOLUTIONS1 POUR HW7

Γ(s)
im QN=1 s <1+n)
N→∞ ePnN=1(1/n-γ)s
Stein et Shakarchi, chapitre 6
limN→∞ QnN=1 s(n + s)n-1
e(limN→∞ PnN=1 1/n-limN→∞ PnN=1 1/n+log(N))s
s(s + 1) -γ- =- (s
Exercice 1. Soit
+ N) im PnN=1n1 - log (N) la constante d'Euler-Mascheroni. Rappelons que par le théorème 1.7
limN→∞
Ni→m∞ elog(N)sN !
et le théorème de factorisation de Hadamard, nous avons

∞
seγs Y
1 + s n e-s/n

N
seγs
lim Y 1 + s e-s/n

N→∞ n
n=1
N s^1+slim n

N→∞ es/n-γs

s(s + 1) - - - (s + N) lim
N→∞ NN! s

L'inversion lorsque s 6= 0, -1, -2, . . . donne le résultat.

Exercice 2. Soit a et b positifs. Comme le produit infini pour 1/Γ(s) converge uniformément, nous pouvons réarranger
les termes pour obtenir

Γ(a+1)Γ(b+1) a + b+ 1 -γ YN (1 + (a + b+ 1)/n) 1

e
Γ(a + b + 1) (a+1)(b+1) Nli→m∞ n=1 (1+(a+1)/n)(1+(b+1)/n)e

a + b + 1 e-γ lim Y (n + 1)(n + a + b + 1) n e1/n (a + 1)(b + 1) N→∞ (n + a + 1)(n + b + 1)

n+1

N lim N lim
Y →∞ Y →∞
n n(n + a + b)
n=1 lim e-γ
e1/n - n=1
n+1 N→∞ (n + a)(n + b)

1
2 SOLUTIONS POUR HW7

lim 1 elog(N) - lim YNn(n+a+b) N→∞ N + 1 N→∞ (n + a)(n + b)

n(n + a + b)
(n + a)(n + b) .

∞
Y

n=1
 SOLUTIONS POUR HW7 3

Notez que la relation ci-dessus est valable pour a, b > -1, tant que a + b 6= -1. Supposons maintenant que 0 < s < 1,
et fixons a = s, b = -s. En utilisant la formule du produit pour sin(πs), on obtient
sΓ(s)Γ(1 s) Γ(s + 1)Γ(1 s)
Γ(s + 1)Γ(1 s)
Γ(1)
n2

(n + s)(n s)

sin(πs) .
Par continuation analytique, ceci est vrai pour tout s ∈ C.

Exercice 3. En manipulant la formule de Wallis, on obtient

π 2·2 4·4

2 1·3 3·5
Yn 2k - 2k
= nl→im∞ (2k - 1 ) - ( 2k+ 1)
(n ! (2n + 1) = im -------------------
4n )2

= nl→im∞ Qkn=0(2k + 1)2

(n ! (2n + 1) 4n )2

n→m∞ ((2n + 1) !)22-2n(n !)-2

(n ! (2n + 1) .
24n )4

= nl→im∞ ((2n + 1) ! )2

En prenant les racines carrées, on obtient le résultat.

Pour prouver la formule de duplication, nous utilisons l'exercice 1 (notez comment nous devons manipuler les
variables dans la limite) :
B(α,β) = 1
(1-t )α-1tβ-1

0 dt.

Γ(s)Γ(s + 1/2) n2s+1/2(n !)2

n→m∞ s(s + 1) - - - (s + n)(s + 1/2)(s + 3/2) - - - (s + 1/2 + n)
n2s+1/2(n !)222n+2
=
lim
n→∞ (2s)(2s + 1)---(2s+2n)(2s+2n+1)

. im (2+12(2+1 - im 22 ( « )241/
= n→∞ (2s)(2s + 1) - - - (2s + 2n)(2s + 2n + 1) n→∞ 2n + 1
- lim 22n(n !)2 (2n + 1)1/2
n→∞ (2n + 1) !
Γ(2s)222-2s-1/2√π2-1/2

Γ(2s)√π21-2s.

= <(β) > 0, nous définissons la fonction Beta par

Exercice 7. Pour <(α) > 0,
4 SOLUTIONS POUR HW7

(a) En suivant l'indice, nous avons

∞
∞ tα-1sβ-1e-t-s
Γ(α)Γ(β) = 00 dtds.

En fixant s = ur, t = u(1 - r ), on a u = s + t, r = s+st. Par conséquent, comme (s, t) s'étend sur (0, ∞) × (0, ∞), (u, r)
s'étend sur (0, ∞) × (0, 1). Le jacobien de cette transformation est

∂(t, s) -r -u
dét dét = |u|.
∂(u, r)

Par conséquent, nous obtenons

∞
∞ tα-1sβ-1e-t-s
Γ(α)Γ(β) 00 dtds

∞1
uα-1(1 - r )α-1uβ-1rβ-1e-uudrdu
00
Z0

Γ(α + β)B(α, β).

uα+β-1e-u α-1rβ-1
du

(b) En fixant u = 1t - 1 , on obtient t = u+1 1 et 1 - t = u+u 1. Par conséquent, lorsque t varie de 0 à 1, u varie de ∞ à
0. Nous avons

du = - dt = -(u + 1 ,
t2
)2dt

ce qui implique

B(α, β) = Z (1 - t )α-1tβ-1 dt 0
α-1 β-1
(u + 1 du )-2

∞ uα-1
= du.
0 (u + 1 )α+β
 SOLUTIONS POUR HW7 5

Exercice 8. Soit ν > - 12, et x > 0. Nous développons la fonction de Bessel en utilisant la série de Taylor pour
l'exponentielle et la formule de duplication pour la fonction Gamma :

(x/2 )ν Z 1 eixt(1 - t2)ν-1/2 dt

Jν(x) = Γ(ν + 1/2)√π

J
1∞
(x/2 )ν

II 1
(ixt (1 -
)n t2)ν-1/2
dt
Γ(ν + 1/2) π
(x/2 )ν
tn(1 - t2)ν-1/2 dt
Γ(ν + 1/2) π X∞ (ix)n Zn=0 n ! -

(x/2 )ν

Γ(ν + 1/2) π
+X(inx!)n n impair 1
tn(1 - t2)ν-1/2 dt

(x/2 )ν (-1)mx2m2Z1t2m(1-t2)ν-1/2dt
2
n=2m,m=0
(2m) ! 0
Γ(ν + 1/2) π
∞
m 2m 1
(x/2 )ν
X (-1) x um-1/2(1 - u)ν-1/2 du
Γ(ν + 1/2) π m=0 (2m) ! 0
∞
m 2m
X (-1) x
(x/2 )ν B(m+1/2,ν+1/2)
Γ(2m + 1) =
Γ(ν + 1/2) π
ν∞
(-1)mx2m Γ(m + 1/2)
Γ(m + ν + 1) Γ(2m + 1) π
m
ν X∞ (-1) mx
4

=0Γ (m+1)Γ(m+ν+1).

II (ix) Z tn(1 - t2)ν-1/2 dt n pair

n 1 -1
6 SOLUTIONS POUR HW7

Exercice 13. Soit s > 0. Puisque Γ(s) ∈ R pour s ∈ R, et qu'il est non nul pour s > 0, on peut utiliser le développement
du produit pour obtenir
∞
-1
s-1e-γs
Γ(s) es/n

log(Γ(s))
- log (s) -γs - Xlog( 1 +ns +ns n=1
1 ∞
1/n 1
-γ- +
d log(Γ(s)) ds s 1 + s/n n
n=1
∞
X1
γ-
n+s n=1
∞
1
1+Xs2
d2 log(Γ(s))ds2 (n + s )2

∞
X 1
)2.
n=0 (n + s

Aujourd'hui, la série III

n∞=0(n+ s)2 converge pour tout s ∈ C r {0, -1, -2, . ..}. Depuis
d2
log(T(s)) d ( T(s) N ( T(s) N
ds 2
ds Γ(s) Γ(s)
pour s > 0, ce qui montre que
1
/ T'(s) N = 'X
=
Γ(s) n=0 (n+s )2

pour s ∈ C r {0, -1, -2, . ..}.

Problème 1. (a) En utilisant la proposition 2.5 et le corollaire 2.6, on obtient

∞
1
ζ(s) + X
δn(s)
s-1
n=1
N-1 ∞
1 + δn(s) + δn(s)
s-1 n=1 n=N

N-1
1
+X1ns
s-1

N-1 ∞
1 x-s+1
s-1 -s+1
+X1ns + X δn(s) n=N
N1-ss-1 N-1 ∞

+Xn1s + X δn(s).n=1 n=N

Notez qu'il y a une erreur dans l'énoncé du problème dans le manuel.

IIIN∞
dx
+ X δn(s)
1 xs
n=N
 SOLUTIONS POUR HW7 7

(b) Nous évaluons ce qui précède à 1 + it, et laissons N = b|t|c . Nous utilisons les limites de δn(s) données dans la
Proposition 2.5 et comparons avec les intégrales pour obtenir

y-it N 1 -1
-o
|ζ(1+it)| ≤ , +2 +216.(1+ it)|
il - n1+a —
n=1 n=N
N-1 ∞
+X1 +|1+it|X1 n n2

n=1 n=N
1| +1+ZNdx+√1+t2Z∞ dx
t| 1x N-1 x2

1
+ 1 +log(N) + N1-+1t2 N-1
|
t
|
Le dernier terme s'approche de 1 lorsque |t| tend vers l'infini, et est donc limité par une constante (appelons-la M )
pour tout t. Par conséquent, pour |t| ≥ e, nous obtenons

|Lavaleur de l'indice est de 1, 5%, ce qui signifie que la

valeurde l'indice est de 1,5 %,

ce qui montre que |ζ(1 + it)| = O(log(|t|)).

(c) Nous voulons procéder de la même manière que pour la partie (b). Pour ce faire, nous avons besoin de bornes
sur δn0(s). Nous avons

Z n+1 log(n) δn0 + log(x) xs

(s)= n - ns
dx
.

En utilisant le théorème fondamental du calcul, nous avons (en supposant |s| ≥ 1 et n ≤ x ≤ n + 1)

log(x) log(n) ≤x n
1 s log(y) |log (x) + 1 4|s| log (n)
xs ns
- dy ≤ n<(s)+1 (x - n) ≤ n<(s)+1
ys+1 ys+1

et donc

0 4|s| log (n)

|δn(s)| ≤ n<(s)+1 .

Notez que ceci n'est valable que pour n ≥ 2.

En prenant la dérivée de la relation de la partie (a), on obtient
8 SOLUTIONS POUR HW7

N1-s N-1
log(n) ∞

ζ0(s) = - log (N)N 1-ss-1 (s-1)2 + -

ns + X δn0(s).
n=1 n=N
 SOLUTIONS POUR HW7 9

Nous prenons |t| suffisamment grand pour nous assurer que les intégrandes que nous considérons sont décroissantes (en
particulier |t| ≥ fonctionne). En comparant à nouveau avec l'intégrale, nous obtenons
e2

N-1
- log (N)N -it N-it (it)2 ∞

|ζ0(1+it)| ≤ +Xn=1 +X|δn0 (1 + it)| n=N

it log(n)n
1+it
1 NX-1 log(n) t2 X∞ log(n) n2
|t|2+ n +4 1+ n=N
log(N)|t| n=1

1 log(2) Z N log(x) +|t|2+ +

2 dx + 4√1+ t2∞ log(x)
N-1 x2
dx
2 x
1 log(2) Z N log(x) +|t|2+ +
2
2 x dx
log(N)|t|
∞ ∞
log(x) 1 x2

+4 1 + t2

x N-1
N-1

log(N) 1 log(2) log(N) 2

log(2 )2

+ |t|2+ + -
|t| 2 2 2
+4√1
+ t2 1
N-1
N-

Aujourd'hui, le terme

log(N) 1 log(2) log(2) 2

4√1 + t 2

+ |t|2+ - +
|t| 2 2 N-1

tend vers une limite finie lorsque |t| tend vers l'infini, et est donc limité parM1 pour tout |t| ≥ . De même, le terme IV e2

IV
1 + t2N-1

est limité par . Par conséquent, puisque |t| ≥ , nous obtenons

M2
e2

| ≤ M1 + M2 + 12 log(|t|)2,

et nous obtenons |ζ0(1 + it)| = O(log(|t|)2).

10 SOLUTIONS POUR HW7

Problème 2. Supposons d'abord que <(s) > 1, et que bxcdésigne le plus grand entier inférieur à x. Nous avons

N
n+1
∞
bxc XZ =n n
s
1 xs+1
dx lim s xs+1 dx
N→∞

N lim n+1

sn
n
N→∞
n
lim ns-1
N→∞ (n+ 1 )s

N lim
X N→∞
=
n+1 + 1
ns-1 (n+1) s
(n+ 1 )s

1 XN 1
lim 1 - N→∞
(N+1)s-1+n=1(n+1)s

2 n=1 1
1 + lim
N→∞ (n+ 1 )s

ζ(s).

Laissons maintenant {x}= x -bxc, et continuons à supposer que <(s) > 1. Cela donne

∞
∞
{x}
s dx s 1 dxxs- ζ (s)
1 xs+1
s 11
- ζ (s)
\N- xs-1
1-s
s - ζ (s).
s-

Puisque |{x}| ≤ 1, l'intégrale s R1∞ x{sx+}1 dx converge effectivement pour <(s) > 0, et le résultat tient alors par
continuation analytique.

Problème 3. Soit Q(x) = {x}- 12, de sorte que

s1 ∞
Q(x)
ζ(s) = s-1 - 2 -s 1 xs+1 dx,
 SOLUTIONS POUR HW7 11

et définir les polynômes Qk( x) de manière récursive comme dans le manuel. Puisqu'ils sont périodiques, nous avons |
Qk( x)| ≤ Mkpour tout x ∈ R. Supposons d'abord que <(s) > 0. En intégrant par parties, on obtient
s 1 d ∞ k

ζ(s) s-1-2-s 1 dxk Qk( x) x-s-1 dx

s
- -1 - s Q1(0) + (s + 1) k-1 Qk( x) x-s-2 dx
s-1 2 1
dxk-1

= - -
-s Q1(0) + (s + 1) Q2 (0) + (s + 2) Z
dd k-2 (x)
Qk
x-s-3 dx
s-1 2 1
dxk-2

...
=
s 1k

s-1 -2- (0)s(s + 1)(s + 2) - - - (s + n - 1 )

Qn
=
n=1

= - s(s + 1)(s + 2) - - - (s + k) (x)

Qk
x-s-k-1
dx.

Puisque |Qk (x)| ≤ Mk, l'intégrale de la dernière ligne converge en fait pour <(s) > -k, ce qui donne la suite analytique
pour ζ(s) à <(s) > -k.