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 22-01-2017 22:15:14

tina
Membre
Inscription : 27-03-2014
Messages : 285

question

Bonjour,
soit l'opérateur
\begin{align*}
A: H^1 &\to H^{-1}\\
     u &\to Au= \sum_{i,j=1}^n D_i(a_{ij} D_j u)
\end{align*}

où $(a_{ij})$ sont des fonctions réelles, bornées, t.q $a_{ij}= a_{ji}$, et t.q $\sum_{i,j=1}^n a_{ij}(x) \xi_i \xi_j \geq |\xi|^2$.

On a le théorème suivant:
$$\forall \lambda >0,\forall f \in H^{-1}, \exists! u \in H^{-1}: Au-\lambda u=f$$

Je cherche à démontrer ce théorème. Voici la preuve que j'ai trouvé. On utilise le lemme suivant:
l'application
\begin{align*}
H^1 \times H^1 &\to \mathbb{C}\\
(u,v) &\to (u,v)*
\end{align*}
avec
$$
(u,v)*= \sum_{i,j=1}^n \int a_{ij}D_i \overline{D_j v} + \lambda \int u \overline v
$$

défini un produit scalaire sur $H^1$, et sa norme est équivalente à celle de $H^1$.

Preuve de l'existence: soit $f \in H^{-1}$, et soit $\lambda >0$. On considère la forme linéaire continue
\begin{align*}
H^1 &\to \mathbb{C}\\
v &\to <f,v>_{H^{-1},H^1}
\end{align*}

D'après Riesz,
$$\exists! w \in H^1, \forall v \in H^1: <f,v>_{H^{-1},H^1}= (x,w)*$$

Soit $\phi \in \mathcal{D}$. On a $$<f,phi>_{H^{-1},H^1}= <f,\phi>_{D',D}$$
\begin{align*}
<f,\phi>_{D',D}&= (\phi,w)*\\
& = \sum_{i,j} \int a_{ij} D_i \phi \overline{D_j w} + \lambda \int \phi \overline{w}\\
                       & = \sum <a_{ij} D_j w,D_i \phi>_{D',D}+ \lambda <w,\phi>_{D',D}\\
                       & = - <\sum D_i(a_{ij} D_j w),\phi> + <\lambda w,\phi>_{D',D}
\end{align*}
donc on conclut que $$f= -\sum_{i,j} D_i(a_{ij} D_j w)+ \lambda w$$




Mes questions s'il vous plaît, sont:

1. Pourquoi on a besoin que $a_{ij}= a_{ji}$?
2. à quoi sert la condition $\sum_{i,j} a_{ij}(x) \xi_i \xi_j \geq C |\xi|^2$?
3. Que signifie exactement le théorème? S'il vous plaît.
4. Dans la preuve du théorème: partie existence:
4.1. Je ne comprend pas pourquoi on introduit a forme linéaire continue qui à $v \in H^1$ associe $<f,v>_{H^{-1},H^1}$
4.2. Je n'arrive pas à comprendre pourquoi on introduit Riesz.
4.3. S'il vous plaît, pourquoi et comment on écrit pour tout $\phi \in  D, <f,\phi>_{H^{-1},H^1}= <f,\phi>_{D',D}= (\phi,w)*$? Je ne comprend pas pourquoi on peut l'écrire et quel est sont intérêt? S'il vous plaît.

Je vous remercie par avance pour votre aide.

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le troisième mot de cette phrase?

Pied de page des forums