📚 الرئيسية

مسابقة دكتوراه 2026Université Ferhat Abbas - Sétif 1 — الموضوع 01

مسابقة تخصص · Analyse Fonctionnelle · المعامل: 3 · المدة: 2سا

Concours national d'accès au doctorat en Mathématiques au titre de l'année 2025-2026 — Filière Mathématiques, Spécialité Mathématiques Appliquées — Épreuve : Méthode d'analyse fonctionnelle, Introduction aux problèmes d'évolution, Méthodes fonctionnelles et numériques en mécanique, Université Ferhat Abbas - Sétif 1, Faculty of Sciences, Department of Mathematics — Date Samedi 24 janvier 2026 — Coefficient 3 — Durée 2h (15h-17h).

التمرين 1

Exercice 1 — Convergence de la solution d'une EDP parabolique vers l'état stationnaire

#parabolic-pde#stationary-solution#sobolev-spaces#energy-method

Soit ΩR2\Omega \subset \mathbb{R}^2 un ouvert borné de frontière Γ=Ω\Gamma = \partial\Omega de classe C2C^2. On note Ω1=]0,+[×Ω\Omega_1 = ]0,+\infty[ \times \Omega et Σ=]0,+[×Γ\Sigma = ]0,+\infty[ \times \Gamma. On étudie le comportement de uD(]0,+[×Ω)u \in \mathcal{D}'(]0,+\infty[ \times \Omega) solution de :

utΔu=fdans Ω1,\frac{\partial u}{\partial t} - \Delta u = f \quad \text{dans } \Omega_1, u(t,x)=g(x)sur Σ,u(t,x) = g(x) \quad \text{sur } \Sigma, u(0,x)=u0(x)dans Ω.u(0,x) = u_0(x) \quad \text{dans } \Omega.
  1. Supposons que le problème admet une solution unique dans C1,2C^{1,2}. Soit uu_* l'unique solution du problème aux limites (P):Δu=f(\mathcal{P}_*) : -\Delta u_* = f dans Ω\Omega, u=gu_* = g sur Γ\Gamma. En posant v(t,x)=u(t,x)u(x)v(t,x) = u(t,x) - u_*(x) : ① Montrer que tu(t,)L2(Ω)t \mapsto \|u(t,\cdot)\|_{L^2(\Omega)} est décroissante et que vL2(]0,+[×Ω)|\nabla v| \in L^2(]0,+\infty[ \times \Omega). ② Montrer que tv(t,)L2(Ω)t \mapsto \|\nabla v(t,\cdot)\|_{L^2(\Omega)} est décroissante. ③ Supposer que limt+v(t,)L20\lim_{t \to +\infty} \|\nabla v(t,\cdot)\|_{L^2} \to 0. Montrer que uuu \to u_* quand t+t \to +\infty.
الحل

vv vérifie tvΔv=0\partial_t v - \Delta v = 0 dans Ω1\Omega_1, v=0v = 0 sur Σ\Sigma, v(0)=u0uv(0) = u_0 - u_*.

Multiplions par vv et intégrons : 12ddtvL22+vL22=0\frac{1}{2}\frac{d}{dt}\|v\|_{L^2}^2 + \|\nabla v\|_{L^2}^2 = 0. Donc vL22\|v\|_{L^2}^2 est décroissante.

En intégrant en temps : 12v(0)20Tv2dt\frac{1}{2}\|v(0)\|^2 \geq \int_0^T \|\nabla v\|^2 dt. Donc vL2(Ω1)|\nabla v| \in L^2(\Omega_1).

Multiplions par Δv-\Delta v (ou tv\partial_t v) et intégrons. On obtient 12ddtv2+Δv2=0\frac{1}{2}\frac{d}{dt}\|\nabla v\|^2 + \|\Delta v\|^2 = 0, donc v\|\nabla v\| est décroissante.

Par Poincaré : v(t)L2Cv(t)L20\|v(t)\|_{L^2} \leq C\|\nabla v(t)\|_{L^2} \to 0. Donc v0v \to 0 dans L2L^2, i.e. uuu \to u_*.

التمرين 2

Exercice 2 — Fonction |x| dans H¹ mais pas dans H²

#sobolev-spaces#weak-derivative#regularity

Soit Ω=]1,1[\Omega = ]-1,1[ un ouvert de R\mathbb{R}. Montrer que fH1(]1,1[)f \in H^1(]-1,1[) et f(x)=xf(x) = |x| et n'est pas dans H2(]1,1[)H^2(]-1,1[).

الحل

La dérivée faible de x|x| est f(x)=sign(x)L2(]1,1[)f'(x) = \text{sign}(x) \in L^2(]-1,1[), donc fH1f \in H^1.

La dérivée faible de sign(x)\text{sign}(x) serait 2δ02\delta_0 (distribution de Dirac), qui n'est pas dans L2L^2. Donc fH2f \notin H^2.

xH1(]1,1[)H2(]1,1[)\boxed{|x| \in H^1(]-1,1[) \setminus H^2(]-1,1[)}

التمرين 3

Exercice 3 — Forme linéaire sur C[0,1] et norme du dual

#functional-analysis#dual-space#linear-form#operator-norm

Soit X=C[0,1]X = C[0,1] muni de la norme f=maxx[0,1]f(x)\|f\|_\infty = \max_{x \in [0,1]} |f(x)|. Définissons

φ(f)=01f(x)dx.\varphi(f) = \int_0^1 f(x) dx.
  1. Montrer que φX\varphi \in X'.
  2. Calculer φ|\varphi|.
الحل

1.

φ(f)=01f(x)dx01f(x)dxf|\varphi(f)| = |\int_0^1 f(x) dx| \leq \int_0^1 |f(x)| dx \leq \|f\|_\infty. Donc φ\varphi est linéaire continue.

2.

φ1|\varphi| \leq 1 par l'estimation ci-dessus. Pour f1f \equiv 1 : φ(f)=1=f\varphi(f) = 1 = \|f\|_\infty. Donc φ=1|\varphi| = 1.

φ=1\boxed{|\varphi| = 1}

التمرين 4

Exercice 4 — Endomorphisme anti-symétrique en dimension 3

#linear-algebra#anti-symmetric#eigenvalues#kernel-image

Soit EE un espace de dimension 3 muni d'un produit scalaire ,\langle \cdot, \cdot \rangle et uu un endomorphisme de EE.

  1. Montrer que pour tout (x,y)E2(x,y) \in E^2, u(x),y=x,u(y)\langle u(x), y \rangle = -\langle x, u(y) \rangle. On pourra utiliser z=x+yz = x+y et calculer u(z),z\langle u(z), z \rangle.
  2. (a) Démontrer que 00 est la seule valeur propre réelle possible de uu. (b) Soit Pu(X)P_u(X) le polynôme caractéristique de uu. degPu=3\deg P_u = 3, donc il admet au moins une racine réelle. En déduire que Pu(X)=XR(X)P_u(X) = XR(X)R(X)R(X) est de degré 2 sans racines réelles. (c) Montrer que ker(u)\ker(u) est de dimension 1. Quelle est la dimension de Im(u)\text{Im}(u) ?
  3. (a) Démontrer que si xker(u)x \in \ker(u) et yIm(u)y \in \text{Im}(u) alors x,y=0\langle x, y \rangle = 0. (b) En déduire que EE est somme directe de ker(u)\ker(u) et Im(u)\text{Im}(u).
الحل

1.

u(z),z=u(x+y),x+y=u(x),x+u(x),y+u(y),x+u(y),y\langle u(z), z \rangle = \langle u(x+y), x+y \rangle = \langle u(x),x \rangle + \langle u(x),y \rangle + \langle u(y),x \rangle + \langle u(y),y \rangle. Si uu est anti-symétrique : u(x),x=0\langle u(x),x \rangle = 0 pour tout xx (en effet u(x),x=x,u(x)=u(x),x\langle u(x),x \rangle = -\langle x, u(x) \rangle = -\langle u(x),x \rangle). Donc u(x),y+u(y),x=0\langle u(x),y \rangle + \langle u(y),x \rangle = 0.

2.a.

Si u(x)=λxu(x) = \lambda x : λx2=u(x),x=0\lambda\|x\|^2 = \langle u(x),x \rangle = 0. Donc λ=0\lambda = 0.

2.b.

PuP_u est de degré 3, a au moins une racine réelle, qui doit être 0. Les deux autres racines sont complexes conjuguées (polynôme réel). Pu(X)=XR(X)P_u(X) = XR(X).

2.c.

00 est valeur propre de multiplicité algébrique 1 (sinon RR aurait aussi la racine 0). Donc dimker(u)=1\dim\ker(u) = 1 et dimIm(u)=2\dim\text{Im}(u) = 2.

3.a.

Si y=u(w)y = u(w) et xker(u)x \in \ker(u) : x,y=x,u(w)=u(x),w=0\langle x, y \rangle = \langle x, u(w) \rangle = -\langle u(x), w \rangle = 0.

3.b.

ker(u)Im(u)={0}\ker(u) \cap \text{Im}(u) = \{0\} (car tout vecteur de l'intersection serait orthogonal à lui-même). Et dimker(u)+dimIm(u)=3=dimE\dim\ker(u) + \dim\text{Im}(u) = 3 = \dim E.

E=ker(u)Im(u)\boxed{E = \ker(u) \oplus \text{Im}(u)}