الرئيسية

مسابقة دكتوراه 2025Université Djilali Liabès - Sidi Bel Abbès — الموضوع 01

مسابقة عامة · الرياضيات · المدة: 1سا 30د

Concours d'accès au doctorat LMD 2024/2025 — Épreuve commune de Mathématiques générales (08 février 2025)

التمرين 1

Compacité de [0,1] et de {1/n}∪{0}

On munit R\mathbb{R} de sa topologie usuelle.

1. Montrer que X=[0,1]X=[0,1] est compact.

2. Soit A={1n: nN}{0}A=\left\{\dfrac1n:\ n\in\mathbb{N}^*\right\}\cup\{0\}. Montrer que AA est compact.

Remarque : l'ensemble A={1/n}{0}A=\{1/n\}\cup\{0\} est l'exemple type de compact non trivial : c'est une suite convergente réunie à sa limite ; retirer le point 00 le rend non compact.

الحل

1. Compacité de [0,1][0,1]

[0,1][0,1] est un fermé borné de R\mathbb{R}, donc compact d'après le théorème de Heine–Borel.

Démonstration directe (Borel–Lebesgue). Soit (Ui)iI(U_i)_{i\in I} un recouvrement ouvert de [0,1][0,1] et M={x[0,1]: [0,x] est recouvert par un nombre fini de Ui}.M=\{x\in[0,1]:\ [0,x]\ \text{est recouvert par un nombre fini de }U_i\}. MM est non vide (0M0\in M) et majoré par 11 ; soit s=supMs=\sup M. Un ouvert Ui0U_{i_0} contient ss, donc contient ]sε,s+ε[]s-\varepsilon,s+\varepsilon[ ; on recouvre [0,sε/2][0,s-\varepsilon/2] par un nombre fini d'ouverts, auquel on ajoute Ui0U_{i_0} : ainsi sMs\in M et, si s<1s<1, un point >s>s est aussi dans MM, contredisant s=supMs=\sup M. Donc s=1Ms=1\in M : [0,1][0,1] est compact.

2. Compacité de AA

Méthode 1 (fermé borné). A[0,1]A\subset[0,1] est borné. Il est fermé : son seul point d'accumulation est 00, qui appartient à AA. Un fermé borné de R\mathbb{R} est compact.

Méthode 2 (recouvrements). Soit (Ui)(U_i) un recouvrement ouvert de AA. Un ouvert Ui0U_{i_0} contient 00, donc contient ]ε,ε[]-\varepsilon,\varepsilon[ pour un ε>0\varepsilon>0 ; par conséquent Ui0U_{i_0} contient tous les 1n\tfrac1n avec n>1εn>\tfrac1\varepsilon, c'est-à-dire tous sauf un nombre fini. Chacun des points restants 1n\tfrac1n (en nombre fini) est couvert par un UinU_{i_n}. La sous-famille finie {Ui0}{Uin}\{U_{i_0}\}\cup\{U_{i_n}\} recouvre AA. Donc AA est compact.

التمرين 2

Fonction harmonique u=e^x cos y et sa conjuguée

On considère u(x,y)=excosyu(x,y)=e^{x}\cos y définie sur R2\mathbb{R}^2.

1. Montrer que uu est harmonique sur R2\mathbb{R}^2.

2. Déterminer une fonction vv conjuguée harmonique de uu (c'est-à-dire telle que f=u+ivf=u+iv soit holomorphe).

3. En déduire que u2v2u^2-v^2 est harmonique.

Remarque : reconnaître u+iv=ezu+iv=e^z évite tout calcul de laplacien à la question 3 : u2v2=Re(f2)u^2-v^2=\operatorname{Re}(f^2) est automatiquement harmonique puisque f2f^2 est holomorphe.

الحل

1. uu est harmonique

2ux2=excosy,2uy2=excosy,\frac{\partial^2 u}{\partial x^2}=e^x\cos y,\qquad \frac{\partial^2 u}{\partial y^2}=-e^x\cos y, donc Δu=uxx+uyy=0\Delta u=u_{xx}+u_{yy}=0 : uu est harmonique.

2. Conjuguée harmonique

Les équations de Cauchy–Riemann donnent vy=ux=excosyv_y=u_x=e^x\cos y et vx=uy=exsinyv_x=-u_y=e^x\sin y. En intégrant vy=excosyv_y=e^x\cos y : v=exsiny+g(x)v=e^x\sin y+g(x) ; puis vx=exsiny+g(x)=exsinyv_x=e^x\sin y+g'(x)=e^x\sin y impose g=0g'=0. Donc (à une constante près) v(x,y)=exsiny.v(x,y)=e^x\sin y. Alors f=u+iv=ex(cosy+isiny)=ex+iy=ezf=u+iv=e^x(\cos y+i\sin y)=e^{x+iy}=e^{z}, holomorphe sur C\mathbb{C}.

3. u2v2u^2-v^2 harmonique

On a f2=e2zf^2=e^{2z}, holomorphe. Or Re(f2)=Re((u+iv)2)=u2v2.\operatorname{Re}(f^2)=\operatorname{Re}\big((u+iv)^2\big)=u^2-v^2. La partie réelle d'une fonction holomorphe est harmonique, donc u2v2=Re(e2z)=e2xcos(2y)u^2-v^2=\operatorname{Re}(e^{2z})=e^{2x}\cos(2y) est harmonique.

v=exsiny,u2v2=e2xcos(2y) harmonique.\boxed{v=e^x\sin y,\qquad u^2-v^2=e^{2x}\cos(2y)\ \text{harmonique.}}

التمرين 3

Opérateur diagonal (x_n/2^n) sur ℓ² : norme, compacité et spectre

Soit H=2(N)H=\ell^2(\mathbb{N}^*) l'espace de Hilbert des suites réelles de carré sommable, et A:HHA:H\to H défini par A((xn)n1)=(xn2n)n1.A\big((x_n)_{n\ge1}\big)=\left(\frac{x_n}{2^n}\right)_{n\ge1}.

1. Montrer que AL(H)A\in\mathcal{L}(H) et calculer A\|A\|.

2. Montrer que AA est un opérateur compact.

3. Déterminer l'adjoint AA^*. AA est-il auto-adjoint ?

4. Déterminer les valeurs propres et le spectre de AA.

5. Le spectre de AA est-il réduit à ses valeurs propres ?

Remarque : c'est l'illustration typique d'un opérateur compact auto-adjoint : ses valeurs propres non nulles s'accumulent seulement en 00, et 00 appartient toujours au spectre (bien que non valeur propre ici, car AA est injectif).

الحل

1. AA borné et sa norme

Pour x=(xn)Hx=(x_n)\in H : Ax2=n1xn24n14n1xn2=14x2,\|Ax\|^2=\sum_{n\ge1}\frac{|x_n|^2}{4^n}\le\frac14\sum_{n\ge1}|x_n|^2=\frac14\|x\|^2, car 14n14\dfrac1{4^n}\le\dfrac14. Donc AA est borné avec A12\|A\|\le\tfrac12. Pour x=e1=(1,0,0,)x=e_1=(1,0,0,\dots) : Ae1=12e1Ae_1=\tfrac12 e_1, donc Ae1=12e1\|Ae_1\|=\tfrac12\|e_1\|. Ainsi A=12.\|A\|=\frac12.

2. Compacité

Soit ANA_N l'opérateur de rang fini défini par AN((xn))=(x1/2,,xN/2N,0,0,)A_N((x_n))=(x_1/2,\dots,x_N/2^N,0,0,\dots). Alors AAN=supn>N12n=12N+1N0.\|A-A_N\|=\sup_{n>N}\frac1{2^n}=\frac1{2^{N+1}}\xrightarrow[N\to\infty]{}0. AA est limite en norme d'opérateurs de rang fini, donc compact.

3. Adjoint

Pour x,yHx,y\in H : Ax,y=nxn2nyn=nxnyn2n=x,Ay\langle Ax,y\rangle=\sum_n\dfrac{x_n}{2^n}y_n=\sum_n x_n\dfrac{y_n}{2^n}=\langle x,Ay\rangle. Donc A=AA^*=A : AA est auto-adjoint (opérateur diagonal réel).

4. Valeurs propres et spectre

Pour chaque nn, Aen=12nenAe_n=\dfrac1{2^n}e_n : chaque 12n\dfrac1{2^n} est valeur propre (vecteur propre ene_n). Donc σp(A)={12n: n1}.\sigma_p(A)=\left\{\frac1{2^n}:\ n\ge1\right\}. Le spectre est fermé et contient σp(A)\sigma_p(A) ainsi que sa limite 00 : σ(A)={12n: n1}{0}.\sigma(A)=\left\{\frac1{2^n}:\ n\ge1\right\}\cup\{0\}.

5. Spectre vs valeurs propres

0σ(A)0\in\sigma(A) mais 00 n'est pas valeur propre : Ax=0Ax=0 impose xn/2n=0x_n/2^n=0 pour tout nn, donc x=0x=0 (AA est injectif). Ainsi le spectre n'est pas réduit aux valeurs propres : 00 appartient au spectre continu.

σ(A)={2n:n1}{0},0 est dans le spectre mais n’est pas valeur propre.\boxed{\sigma(A)=\{2^{-n}:n\ge1\}\cup\{0\},\quad 0\ \text{est dans le spectre mais n'est pas valeur propre.}}