📚 الرئيسية

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

مسابقة تخصص · Analyse Fonctionnelle

Concours d'entrée en Doctorat 3ème cycle EDP — Épreuves : Analyse fonctionnelle / Équations de la physique mathématique / Analyse numérique et EDP / Analyse fonctionnelle et variationnelle, documents scannés mixtes 2012-2015 (insertion brute selon la règle demandée).

التمرين 1

Exercice 1 — Symboles pseudo-différentiels et stabilité par dérivation

#functional-analysis#pseudo-differential-operators#symbol-class

Soit SmS^m l'ensemble des fonctions p=p(x,ξ)p=p(x,\xi), C(RN×RN)C^\infty(\mathbb{R}^N\times\mathbb{R}^N), telles que pour tous multi-indices α,β\alpha,\beta, il existe CαβC_{\alpha\beta} avec xβξαp(x,ξ)Cαβ(1+ξ)mα|\partial_x^\beta\partial_\xi^\alpha p(x,\xi)| \leq C_{\alpha\beta}(1+|\xi|)^{m-|\alpha|}.

  1. Vérifier que si p1Sm1p_1 \in S^{m_1} et p2Sm2p_2 \in S^{m_2} alors p1+p2Smax(m1,m2)p_1+p_2 \in S^{\max(m_1,m_2)}.
  2. Vérifier que si pSmp \in S^m alors ξαpSmα\partial_\xi^\alpha p \in S^{m-|\alpha|}.
  3. Vérifier que si pSmp \in S^m et qSq \in S alors pqSm+αpq \in S^{m+\alpha} (selon l'énoncé scanné).
  4. Si p1Smp_1 \in S^m est elliptique et p2Smεp_2 \in S^{m-\varepsilon}, montrer que p1+p2p_1+p_2 est elliptique pour un certain domaine en ξ|\xi|.
الحل

Par définition des classes de symboles et estimations sur les dérivées. La somme préserve la classe dominante, la dérivation en ξ\xi fait baisser l'ordre, le produit additionne les ordres, et l'ellipticité est stable par perturbation d'ordre inférieur pour ξ|\xi| assez grand.

التمرين 2

Exercice 2 — Distribution homogène, valeur principale et équations xT=0, xT=1

#distributions#homogeneous-distributions#principal-value
  1. La transformée de T par l'homothétie hλh_\lambda de rapport λ\lambda est définie par Thλ,φ=1λT,φh1/λ\langle T\circ h_\lambda, \varphi\rangle = \frac{1}{|\lambda|}\langle T, \varphi\circ h_{1/\lambda}\rangle. On dit que TT est homogène de degré pp si Thλ=λpTT\circ h_\lambda = \lambda^p T.

    a. Montrer que les distributions x|x|, sgn(x)\operatorname{sgn}(x) sont homogènes et déterminer leurs degrés. b. Même question pour vp(1/x)vp(1/x) et Pf(1/x2)Pf(1/x^2).

  2. Pour toute φD(R)\varphi \in \mathcal{D}(\mathbb{R}), on définit

vp(1x)(φ)=0+φ(x)φ(x)xdx.vp\left(\frac{1}{x}\right)(\varphi) = \int_0^{+\infty} \frac{\varphi(x)-\varphi(-x)}{x}dx.

a. Montrer que xvp(1/x)=1xvp(1/x)=1. b. Résoudre dans D(R)\mathcal{D}'(\mathbb{R}) l'équation xT=0xT=0. c. En déduire la solution dans D(R)\mathcal{D}'(\mathbb{R}) de xT=1xT=1.

الحل

Les degrés d'homogénéité se lisent directement sous l'action de l'homothétie. La distribution vp(1/x)vp(1/x) vérifie xvp(1/x)=1x\,vp(1/x)=1. Les solutions de xT=0xT=0 sont les multiples de δ0\delta_0, et celles de xT=1xT=1 sont de la forme vp(1/x)+cδ0vp(1/x)+c\delta_0.

xT=0    T=cδ0,xT=1    T=vp(1/x)+cδ0\boxed{xT=0 \iff T=c\delta_0, \quad xT=1 \iff T=vp(1/x)+c\delta_0}

التمرين 3

Exercice 3 — Problème de chaleur et estimation d'énergie

#pde#heat-equation#galerkin-method#energy-estimate

Soit ΩRn\Omega \subset \mathbb{R}^n ouvert borné de classe C3C^3 et gL2(Ω)g \in L^2(\Omega). On considère

{utΔu=0xΩ,  t(0,T),u(x,0)=g(x)xΩ,u(x,t)=0xΩ.\begin{cases} u_t - \Delta u = 0 & x \in \Omega, \; t \in (0,T), \\\\ u(x,0)=g(x) & x \in \Omega, \\\\ u(x,t)=0 & x \in \partial\Omega. \end{cases}

a) Trouver une formulation variationnelle, construire le système de Galerkin et discuter l'existence d'une solution approchée usu_s.

b) Montrer que uL2(Ω)12tgL2(Ω)\|\nabla u\|_{L^2(\Omega)} \leq \frac{1}{\sqrt{2t}}\|g\|_{L^2(\Omega)} pour tout t>0t \gt 0.

c) Si gH01(Ω)g \in H_0^1(\Omega), montrer que uL2(Ω)eλ1tgL2(Ω)\|\nabla u\|_{L^2(\Omega)} \leq e^{-\lambda_1 t}\|\nabla g\|_{L^2(\Omega)}.

الحل

Par méthode de Galerkin sur la base des fonctions propres du Laplacien. L'estimation énergétique standard donne : ddtu22+2u22=0\frac{d}{dt}\|u\|_2^2 + 2\|\nabla u\|_2^2 = 0, d'où la borne en 1/t1/\sqrt{t}. Si gH01g \in H_0^1, la décomposition spectrale donne la décroissance exponentielle en fonction de la première valeur propre λ1\lambda_1.