Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 12-01-2019 19:19:58

mati
Membre
Inscription : 15-05-2018
Messages : 133

Théorème de prolongement dans Sobolev

Bonjour
Soit $u \in H^{-m}(\mathbb{R}^n)$. Je souhaite montrer que la forme linéaire continue
$$
\begin{align*}
\mathcal{D}(\mathbb{R}^n) &\to \mathbb{C}\\
\varphi &\to \langle u,\varphi \rangle_{\mathcal{D}',\mathcal{D}}
\end{align*}
$$
se prolonge en une forme linéaire continue
$$
\begin{align*}
H^m(\mathbb{R}^n) &\to \mathbb{C}\\
v &\to \langle u,v \rangle_{H^{-m},H^m}
\end{align*}
$$

On a les éléments suivant: tout d'abord montrer la continuité revient à montrer qu'il existe une constante positive $C>0$ telle que $\forall v \in H^m(\mathbb{R}^n), |\langle u,v\rangle_{H^{-m},H^m} | \leq C ||v||_{H^m}$.

Pour ça on a les deux éléments suivants:
1- Soit $v \in H^m(\mathbb{R}^n)$. Par la densité de $\mathcal{D}(\mathbb{R}^n)$ dans $H^m(\mathbb{R}^n)$, il existe une suite $(\varphi_j) \in \mathcal{D}(\mathbb{R}^n)$ telle que $\varphi_j \to v$ dans $H^m(\mathbb{R}^n)$.
2- Soit $u \in H^{-m}(\mathbb{R}^n)$, alors par définition il existe $C>0$ telle que $\forall \varphi_j \in \mathcal{D}(\mathbb{R}^n), |\langle u,\varphi_j\rangle_{D',D}| \leq C ||\varphi_j||_{H^m}$.

Je n'arrive pas à combiner ces éléments pour montrer la continuité et que la première forme se prolonge bien vers la deuxième forme.

Merci pour toute aide.

Dernière modification par mati (12-01-2019 19:20:42)

Hors ligne

Pied de page des forums