📚 الرئيسية

مسابقة دكتوراه 2013Université des Sciences et de la Technologie Houari Boumediène (USTHB) — الموضوع 01

مسابقة عامة · الرياضيات

Concours d'entrée à l'école doctorale EDP et Applications, Première épreuve, USTHB, Faculté de Mathématiques — 23 octobre 2013 (Durée : deux heures).

التمرين 1

Exercice 1 — Normes matricielles et différentiabilité

#matrix-norms#submultiplicativity#differentiability#operator-norm

Soit E=Mn(R)E = \mathcal{M}_n(\mathbb{R}) l'espace vectoriel sur R\mathbb{R} des matrices carrées d'ordre nn. Soit .\|.\| une norme sur Rn\mathbb{R}^n.

  1. Montrer que l'application
N:ER+,MN(M)=supx0MxxN : E \to \mathbb{R}_+, \quad M \mapsto N(M) = \sup_{x \neq 0} \frac{\|Mx\|}{\|x\|}

définit une norme sur EE.

  1. Montrer que N(M1M2)N(M1)N(M2)N(M_1 M_2) \leq N(M_1) N(M_2).

  2. Montrer que l'application

Φ:EE,MM3\Phi : E \to E, \quad M \mapsto M^3

est différentiable et donner la forme précise de la différentielle de Φ\Phi en un point MM.

الحل

1.

  • N(M)=0Mx=0N(M) = 0 \Rightarrow \|Mx\| = 0 pour tout x0x \neq 0, donc Mx=0Mx = 0 pour tout xx, donc M=0M = 0.
  • N(λM)=λN(M)N(\lambda M) = |\lambda| N(M) (homogénéité).
  • N(M1+M2)N(M1)+N(M2)N(M_1+M_2) \leq N(M_1)+N(M_2) par l'inégalité triangulaire sur .\|.\|.
N est une norme sur E\boxed{N \text{ est une norme sur } E}

2.

M1M2xN(M1)M2xN(M1)N(M2)x\|M_1 M_2 x\| \leq N(M_1) \|M_2 x\| \leq N(M_1) N(M_2) \|x\|, donc N(M1M2)N(M1)N(M2)N(M_1 M_2) \leq N(M_1) N(M_2).

N(M1M2)N(M1)N(M2)\boxed{N(M_1 M_2) \leq N(M_1) N(M_2)}

3.

Φ(M+H)=(M+H)3=M3+M2H+MHM+HM2+O(H2)\Phi(M+H) = (M+H)^3 = M^3 + M^2 H + MHM + HM^2 + O(\|H\|^2). La différentielle est DΦ(M)H=M2H+MHM+HM2D\Phi(M) \cdot H = M^2 H + MHM + HM^2.

DΦ(M)H=M2H+MHM+HM2\boxed{D\Phi(M) \cdot H = M^2 H + MHM + HM^2}

التمرين 2

Exercice 2 — Coefficients de Fourier et noyau de Poisson

#fourier-series#poisson-kernel#complex-series#harmonic-analysis

Étant donnée une fonction ff continue et périodique de période 2π2\pi, on appelle coefficients de Fourier de ff, les nombres

f^(n)=12πππf(x)einxdx,nZ\hat{f}(n) = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(x) e^{-inx}\,dx, \quad n \in \mathbb{Z}

Étant donnée une suite (αn)nZ(\alpha_n)_{n \in \mathbb{Z}}, on dit que la série nZαn\sum_{n \in \mathbb{Z}} \alpha_n est convergente si les séries n0αn\sum_{n \geq 0} \alpha_n et n1αn\sum_{n \geq 1} \alpha_{-n} le sont.

  1. Dire pour quelles valeurs du couple (t,x)R2(t,x) \in \mathbb{R}^2, la série nZenteinx\sum_{n \in \mathbb{Z}} e^{-|n|t} e^{inx} est convergente.

  2. On suppose maintenant t>0t \gt 0 et on définit sur R+×R\mathbb{R}_+^* \times \mathbb{R} la fonction PP par

P(t,x)=nZenteinxP(t,x) = \sum_{n \in \mathbb{Z}} e^{-|n|t} e^{inx}

a. Vérifier que P(t,x)P(t,x) est réelle et calculer ππP(t,x)dx\int_{-\pi}^{\pi} P(t,x)\,dx. b. Vérifier que la fonction PP est indéfiniment dérivable. c. Calculer 2Pt2+2Px2\frac{\partial^2 P}{\partial t^2} + \frac{\partial^2 P}{\partial x^2}.

  1. Calculer les coefficients de Fourier de la fonction PP.
الحل

1.

La série ent+inx\sum e^{-|n|t+inx} converge absolument si et seulement si t>0t \gt 0 (pour tout xx). Pour t=0t = 0, elle diverge sauf en x=0x = 0. Pour t<0t \lt 0, elle diverge.

Convergence pour t>0,  xR\boxed{\text{Convergence pour } t \gt 0, \; \forall x \in \mathbb{R}}

2.a.

P(t,x)=1+n1(ent+inx+entinx)=1+2n1entcos(nx)P(t,x) = 1 + \sum_{n \geq 1}(e^{-nt+inx} + e^{-nt-inx}) = 1 + 2\sum_{n \geq 1} e^{-nt}\cos(nx), qui est réelle. En intégrant : ππP(t,x)dx=2π\int_{-\pi}^{\pi} P(t,x)dx = 2\pi (seul le terme n=0n=0 contribue).

P est reˊelle, ππP(t,x)dx=2π\boxed{P \text{ est réelle, } \int_{-\pi}^{\pi} P(t,x)\,dx = 2\pi}

2.b.

Pour t>0t \gt 0, les dérivées partielles de chaque terme sont majorées par nkent|n|^k e^{-|n|t}, série convergente. Par convergence uniforme des séries dérivées, PP est CC^\infty.

2.c.

2Pt2=n2ent+inx\frac{\partial^2 P}{\partial t^2} = \sum n^2 e^{-|n|t+inx} et 2Px2=n2ent+inx\frac{\partial^2 P}{\partial x^2} = -\sum n^2 e^{-|n|t+inx}. Donc la somme est nulle : PP est harmonique.

2Pt2+2Px2=0\boxed{\frac{\partial^2 P}{\partial t^2} + \frac{\partial^2 P}{\partial x^2} = 0}

3.

Par identification directe : P^(n)=ent\hat{P}(n) = e^{-|n|t}.

P^(n)=ent\boxed{\hat{P}(n) = e^{-|n|t}}

التمرين 3

Exercice 3 — Mesure de Lebesgue et convergence dominée

#lebesgue-measure#dominated-convergence#uniform-convergence#integration

A) Soit ff dans l'espace de Lebesgue L1(R)\mathcal{L}^1(\mathbb{R}).

  1. Soit E={xR:sinx=1}E = \{x \in \mathbb{R} : |\sin x| = 1\}. Évaluer la mesure de Lebesgue de EE.
  2. Calculer
limn+Rf(x)(sinx)ndx\lim_{n \to +\infty} \int_{\mathbb{R}} f(x)(\sin x)^n\,dx

B) Soit α0\alpha \geq 0. Pour tout nNn \in \mathbb{N}^* et xRx \in \mathbb{R} on pose :

fn,α(x)=eαxnI[0,n2](x)f_{n,\alpha}(x) = \frac{e^{-\alpha|x|}}{n} I_{[0,n^2]}(x)

I[0,n2]I_{[0,n^2]} est la fonction indicatrice de l'intervalle [0,n2][0, n^2].

  1. Montrer que la suite (fn,α)n1(f_{n,\alpha})_{n \geq 1} tend vers 00 uniformément sur R\mathbb{R} lorsque n+n \to +\infty.
  2. Étudier la limite suivante :
limn+Rfn,α(x)dx\lim_{n \to +\infty} \int_{\mathbb{R}} f_{n,\alpha}(x)\,dx

pour α=0\alpha = 0 et α=1\alpha = 1. Que peut-on en conclure ?

الحل

A.1.

E={x:sinx=1}={π2+kπ:kZ}E = \{x : |\sin x| = 1\} = \{\frac{\pi}{2} + k\pi : k \in \mathbb{Z}\}. C'est un ensemble dénombrable, donc de mesure de Lebesgue nulle.

λ(E)=0\boxed{\lambda(E) = 0}

A.2.

Pour xEx \notin E (p.p.), (sinx)n0(\sin x)^n \to 0. On a f(x)(sinx)nf(x)L1|f(x)(\sin x)^n| \leq |f(x)| \in L^1. Par convergence dominée :

limnRf(x)(sinx)ndx=0\boxed{\lim_{n \to \infty} \int_{\mathbb{R}} f(x)(\sin x)^n\,dx = 0}

B.1.

supxRfn,α(x)1nsupx0eαx=1n0\sup_{x \in \mathbb{R}} |f_{n,\alpha}(x)| \leq \frac{1}{n} \sup_{x \geq 0} e^{-\alpha x} = \frac{1}{n} \to 0.

fn,α0 uniformeˊment\boxed{f_{n,\alpha} \to 0 \text{ uniformément}}

B.2.

Pour α=0\alpha = 0 : fn,0=1nn2=n+\int f_{n,0} = \frac{1}{n} \cdot n^2 = n \to +\infty.

Pour α=1\alpha = 1 : fn,1=1n0n2exdx=1en2n0\int f_{n,1} = \frac{1}{n}\int_0^{n^2} e^{-x}dx = \frac{1-e^{-n^2}}{n} \to 0.

Conclusion : la convergence uniforme vers 0 n'implique pas la convergence des intégrales vers 0 (contre-exemple α=0\alpha = 0). Il faut une hypothèse de domination (α=1\alpha = 1).

α=0:diverge;α=1:converge vers 0\boxed{\alpha = 0 : \text{diverge} ; \quad \alpha = 1 : \text{converge vers } 0}