Vous êtes sur la page 1sur 4

ÉCOLE POLYTECHNIQUE FILIÈRE MP

CONCOURS D’ADMISSION 2001

PREMIÈRE COMPOSITION DE MATHÉMATIQUES


CDurée : 4 heures)

L’utilisation des calculatrices n’est pas autorisée pour cette épreuve.

***

On attachera la plus grande importance à la clarté, à la précision et à la concision de la


rédaction.

***

Première partie

On désigne par S le plan complexe C privé du sous-ensemble -N - 1/2 = { -1/2, -3/2, . . . }.


Pour tout s dans S on note (E,) l’équation différentielle

2341 - x)f”(Z) + (2s + 1 - (2s + 3)$(z) - Sf(X) = 0

On cherche une solution de (E,) sous la forme d’une série entière

fs(z) = C U~(S)~? avec au = 1 .


7120

1. Écrire a,+r(s) en fonction de a,(s).

2. Déterminer la limite de “u+;(,’ lorsque s n’est pas un entier négatif ou nul.


R.

3. Montrer que le rayon de convergence de la série est égal à 1 ou à +CC et que sa somme
fs(z) est effectivement une solution de (E,).

4. Montrer que la fonction (s, X) H fs(z) est continue sur Sx] - l,l[.

5. On considère maintenant l’équation différentielle

(-a t2(1 - t2)F’(t) - 2t3P(t) + s(1 - s)(l - t2)iqt) = 0 ) t E]O, 1[ .

1
a) Ramener sa résolution à celle de (E,) en cherchant F(t) sous la forme t”f(t2). [On
dt”
rappelle que dt = st”-l.]

b) Montrer que, si s n’appartient pas à Z + 1/2, les fonctions as(t) = t”fs(t2) et


CE&(t) = t’-“fl-s(t2) f orment une base de l’espace des solutions de (EL).

Deuxième partie

On désigne par ‘FI l’ensemble des nombres complexes z = z + iv tels que y > 0 ; on pose
Re z = 2, Im z = 9.

6. Démontrer les résultats suivants :

zcosQ - sirit
a) Pour tout z E ‘FI et tout 0 E R, le nombre complexe est bien défini et
z sin 0 + COS19
appartient à IFI (on précisera sa partie imaginaire).

zcosf3 - siri8
b) Si l’on pose Ad4 = z sin e + con e, on obtient une action du groupe additif R sur 3-1.
.-

1212+ 1
c) La fonction réelle sur ‘FI : z H c(z) = 2 est invariante par les transformations AQ,

c’est-à-dire ~(AH(Z)) = c(z) VJZE ‘FL, ‘d8 E R.

d) Si z est différent de i, on a A@(z) = Ao/ (2) si et seulement si 6 - 0’ E TZ.

7. On fixe un point zo de EH, distinct de i.

a) Vérifier que l’orbite de za sous l’action du groupe R est incluse dans le cercle de centre
ic(za) et de rayon (~(20)~ - 1)‘i2.

b) Montrer que l’orbite de ze est égale à ce cercle.

8. On définit une application indéfiniment différentiable U de 10, l[xR dans ‘FI par
U(t, 0) = A&).

a) Calculer le déterminant jacobien de U, qu’on notera J(t, 0).

[On utilisera la formule J(t, 0) = Im gg 1.


(- )

b) Démontrer les assertions suivantes :

(1) U(]O, l[ xR) est égal à l’ensemble N’ = 3-t privé du point i ;

(2) on a U(t, t9) = U(t’, i3’) si et seulement si t = t’ et 19- 19’ E n-2.

2
Troisième partie

On désigne par Cw(‘H’) l’espace des fonctions complexes de classe C” sur 3-1’ et par
CV, l[W,er celui des fonctions de classe C” sur 10: 1 [x R qui sont périodiques de période
T par rapport à 8.

9. Montrer qu’en associant à toute fonction cp de Cw(‘H’) la fonction Q = cp o U, on obtient


un isomorphisme, qu’on notera V, de CT(W) sur Ca (]O, 1[ xR)~~~.

On considère l’opérateur différentiel sur l-t’ défini par

on admettra que, pour toute cp E Cw(‘H’) et tout B E R, on a D(p o Ae) = D(y) o Ao.

On désigne par fi l’endomorphisme de C” (10, 1 [x R&, défini par

ij=VoDoV-‘.

10. Pour tout élément (t. 13’) de ]0,1[ xR et tout 19E R, on pose :

TO@, 0’) = (t. 0 + 0’) .

Vérifier que l’on a :

a) V(P) 0 TO = V(cp 0 AO) pour cp E Cw(‘H’) , 0 E R.

b) D($OT~)= fi($ pour $ E Cw(]O, ~[xR)~~~ . 8 E R.

On désigne par s un nombre complexe et par cps la fonction sur 7-L définie par

a(z) = lT(Im Ao(~))“d~.

11. Montrer que cpS est de classe C”, est invariante par les Ao, et est solution de l’équation
D(cps) = 4s - 1)~s.

[On pourra considérer la fonction W(Z) = (Im z)‘.]

12. On définit une fonction F’ sur 10, +oo[ par F,(t) = cps(it).

Comparer F,(t) et F, i .
0

13. Montrer que FS = FI-,.


[On pourra faire le changement de variable cotan 19= IL dans l’intégrale définissant F,(k)].

On suppose maintenant que s n’appartient pas à Z + 1/2.

On pourra admettre que, si une fonction @ est de la forme $~(t, @) = F(t), on a

E($)(t. 0) = &t2(l - t”)F”(t) - 2t”F’(t)] .

14. Démontrer l’existence d’une famille de nombres complexes A, tels que l’on ait

FS = X,sQ,s + Xl-,s%-5

(les fonctions as et @I-.~ ont été définies à la question 5.b).

15. Supposant Re s < 1/2, exprimer A, sous la forme d’une intégrale sur l’intervalle 10, TT[.

Nota : L’ensemble ‘FI est appelé demi-plan de Poincaré et est le cadre d’une géométrie non
euclidienne; les transformations z ++ s (a, h, c, d réels et ad - bc = 1) jouent un rôle
analogue à celui des déplacements du plan euclidien, les transformations AQ un rôle analogue à
celui des rotations. Enfin l’opérateur différentiel D est l’analogue du laplacien.

* *
*