Une différentielle et un extremum
Bonjour.
Je planche sur l'exercice suivant.
Je planche sur l'exercice suivant.
On munit $\R^n$ de sa structure euclidienne canonique.
Soit $f$ un endomorphisme autoadjoint de $\R^n$ dont toutes les valeurs propres sont strictement positives.
1. Montrer que $⟨f(x),x⟩>0$, pour tout $x\in \R^n$ non nul.
2. Soient $u$ un vecteur de $\R^n$ et $g : \R^n\to \R$ l’application définie par $g(x)=\frac12⟨f(x),x⟩−⟨u,x⟩$
Calculer le vecteur gradient de $g$ en tout vecteur $x$ de $\R^n$.
Montrer que $g$ admet un unique point critique.
Montrer que $g$ admet un minimum global.
Soit $f$ un endomorphisme autoadjoint de $\R^n$ dont toutes les valeurs propres sont strictement positives.
1. Montrer que $⟨f(x),x⟩>0$, pour tout $x\in \R^n$ non nul.
2. Soient $u$ un vecteur de $\R^n$ et $g : \R^n\to \R$ l’application définie par $g(x)=\frac12⟨f(x),x⟩−⟨u,x⟩$
Calculer le vecteur gradient de $g$ en tout vecteur $x$ de $\R^n$.
Montrer que $g$ admet un unique point critique.
Montrer que $g$ admet un minimum global.
J'ai écrit un développement limité à l'ordre 1 : $$g(x+h)=g(x)+⟨f(x)-u,h⟩+\frac12⟨f(h),h⟩$$
J'ai un peu de mal à écrire pourquoi le dernier terme est un $o(||h||)$.
En posant $h'=\frac{h}{||h||}$, j'obtiens $⟨f(h),h⟩=||h||^2⟨f(h'),h'⟩$ et là, je n'ai plus les idées claires...
J'ai un peu de mal à écrire pourquoi le dernier terme est un $o(||h||)$.
En posant $h'=\frac{h}{||h||}$, j'obtiens $⟨f(h),h⟩=||h||^2⟨f(h'),h'⟩$ et là, je n'ai plus les idées claires...
Quant à la première question, mais ça me préoccupe moins, j'ai écrit que si $(x_1,\dots,x_n)$ sont les coordonnées de $x$ dans une base où $f$ est diagonale, la quantité $⟨f(x),x⟩$ vaut $\sum_i \lambda_ix_i^2$ avec les $\lambda_i$ tous strictement positifs, et est donc strictement positive.
Y a-t-il une autre manière de l'écrire ?
Merci !
Merci !
Réponses
-
Bonjour,$f$ est une application linéaire continue $\R^n\to\R^n.\quad \exists A>0 \: $tel que $\:\forall h \in\R^n, \:\:\|f(h)\|\leqslant A\|h\|.$Ainsi: $\:\:|\langle f(h),h \rangle|\leqslant\|f(h)\| .\|h\|\leqslant A \|h\|^2.$
-
Je vois.Cauchy-Schwarz + continuité des applications linéaires en dimension finie.Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 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
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres