Développement : Théorème de Lax-Milgram et une application

Détails/Enoncé :

Soit $H$ un espace de Hilbert. Soit $a$ une forme bilinéaire telle que

$ \exists M > 0, \forall u,v, |a(u,v)| \le M ||u|| \dot{} ||v|| $ (a est continue)

$\exists \nu >0, \forall u , a(u,u) \ge \nu ||u||^2 $ ($a$ est coercive)

Soit $l$ une forme linéaire continue.
Alors il existe un unique $u \in H$ tel que $\forall v \in H$, $a(u,v) = l(v)$.

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Pour une application détaillée, consulter également la référence : Analyse pour l'agrégation de mathématiques, 40 développements, J. et L. Bernis, Ellipses

    Énoncé : Soit $f\in\mathbb{L}^2([0,1],\mathbb{R})$, $\alpha \in \mathbb{L}^{\infty}([0,1],\mathbb{R})$ et $\beta\in\mathcal{C}^1([0,1],\mathbb{R})$. On suppose que :
    -- Il existe $\alpha_{\mathrm{min}}\in\mathbb{R}_+^*$ telle que, pour $\lambda-$presque tout $x\in[0,1]$, on ait $\alpha_{\mathrm{min}}\leq \alpha(x)$,
    -- Pour tout $x\in [0,1]$, $\beta'(x)\leq 2$.
    Alors il existe un unique élément $u$ de $H_0^1(]0,1[,\mathbb{R})$ qui soit solution, au sens des distributions, du problème :
    \begin{equation} -(\alpha u')'+\beta u' + u = f \end{equation}

  • Référence :