Applications coercitives
Bonjour. Je rappelle d'abord quelques définitions.
Soit $H$ un espace de [large]H[/large]ilbert.
Soit la forme bilinéaire, continue et positive $a(.,.)$ sur H et $A$ l'application définie de $H$ vers $H'$ telle que pour tout $u, v \in H$, $<Au, v>\,=a(u,v)$.
$<.,.>$ étant le crochet de dualité entre $H$ et $H'$.
Définition 1: $a(.,.)$ est $\alpha$-coercitif si pour tout $u\in H,~a(u,u)\ge \alpha ||u||^2$.
Définition 2: $A$ est coercitif si $\lim_{||u||\to +\infty} \frac{<Au-Au_o,u-u_o>}{||u-u_o||}=+\infty$.
Maintenant mon problème est de montrer le sens retour de cette proposition.
Proposition: $a(.,.)$ est $\alpha$-coercitif si et seulement si $A$ est coercitif.
Merci pour tout aide.
Soit $H$ un espace de [large]H[/large]ilbert.
Soit la forme bilinéaire, continue et positive $a(.,.)$ sur H et $A$ l'application définie de $H$ vers $H'$ telle que pour tout $u, v \in H$, $<Au, v>\,=a(u,v)$.
$<.,.>$ étant le crochet de dualité entre $H$ et $H'$.
Définition 1: $a(.,.)$ est $\alpha$-coercitif si pour tout $u\in H,~a(u,u)\ge \alpha ||u||^2$.
Définition 2: $A$ est coercitif si $\lim_{||u||\to +\infty} \frac{<Au-Au_o,u-u_o>}{||u-u_o||}=+\infty$.
Maintenant mon problème est de montrer le sens retour de cette proposition.
Proposition: $a(.,.)$ est $\alpha$-coercitif si et seulement si $A$ est coercitif.
Merci pour tout aide.
Réponses
-
Pour ce sens retour voilà ce que j'ai tenté.
Soit $u_o \in H$. Comme $A$ est coercif, alors il existe $r>0$ tel que $||u||>r$ entraîne que $a(u-u_o,u-u_o)\ge ||u-u_o||$.
Pour $u=\frac{-ru_o}{||u_o||}$, on a $||u||=r$ avec ça j'obtiends plutôt ceci:
$a(u_o,u_o)\ge \frac{1}{r+||u_o||}||u_o||^2$ ce qui n'est pas bon car la constante de coercivité dépend de $u_o$ -
Gilbert X:-(
(Désolé pour ce message inutile mais ça m'a fait sourire) -
Pourquoi ça vous fait sourire ?
-
Ça le fait sourire, car il s'agit d'espace de Hilbert. Et non Gilbert
Sinon, par contraposée :
Si $a$ n'est pas $\alpha$ coercif, alors il existe une suite $(u_n)$ d'éléments de norme 1 tels que $a(u_n,u_n) = \langle Au_n, u_n \rangle < \frac{1}{n}$
Posons $v_n = n u_n + u_0$, alors $\|v_n\| \to +\infty$
Mais alors on aurai
$ \frac{ \langle Av_n - Au_0, v_n-u_0 \rangle}{\| v_n - u_0\|} = \frac{ \langle n Au_n, nu_n \rangle}{\|n u_n\|} = n a(u_n,u_n) < 1$
Donc cette quantité ne tend pas vers +$\infty$ -
Merci beaucoup.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.5K Toutes les catégories
- 41 Collège/Lycée
- 22K Algèbre
- 37.4K Analyse
- 6.2K Arithmétique
- 56 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 16 CultureMath
- 49 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 79 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 73 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 329 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 786 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres