Réciproque du théorème d'Euler
Bonjour
Quelqu'un a-t-il une référence de la preuve de la réciproque du théorème d'Euler ? Ou sait comment cela se démontre ? J'en ai vraiment urgemment besoin.
Voici l'énoncé du théorème.
Si $f$ est différentiable et vérifie $\displaystyle \lambda f(x)=\sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)$ en tout point de $\left(\mathbb{R}_{+}^{*}\right)^{n}$, alors $f$ est homogène de degré $\lambda$ sur $\left(\mathbb{R}_{+}^{*}\right)^{n}$.
Merci d'avance.
Quelqu'un a-t-il une référence de la preuve de la réciproque du théorème d'Euler ? Ou sait comment cela se démontre ? J'en ai vraiment urgemment besoin.
Voici l'énoncé du théorème.
Si $f$ est différentiable et vérifie $\displaystyle \lambda f(x)=\sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)$ en tout point de $\left(\mathbb{R}_{+}^{*}\right)^{n}$, alors $f$ est homogène de degré $\lambda$ sur $\left(\mathbb{R}_{+}^{*}\right)^{n}$.
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$$df(x,y).(x,y) = \sqrt{x^{4} + y^{4}}$$
$f_t^{\prime}(x) = \sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)$.
Maintenant , en utilisant l'hypothèse, on obtient :
$f_t^{\prime}(x) = \lambda f(x)$. A ce niveau, je ne vois pas comment aboutir au résultat.
Tu devrais essayer de trouver une équa diff simple vérifiée par $t\mapsto f(tx)$ (où $x$ est un vecteur fixé).
Si $f$ est différentiable et vérifie $\displaystyle \lambda f(x)=\sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)$ en tout point de $\left(\mathbb{R}_{+}^{*}\right)^{n}$, alors $f$ est homogène de degré $\lambda$ sur $\left(\mathbb{R}_{+}^{*}\right)^{n}$.
On a $ g^{\prime}(t) = \sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)$. En utilisant l'hypothèse, on obtient :
$ g^{\prime}(t) = \sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)=\lambda f(x)$. Donc
$ g^{\prime}(t) = \lambda g(1)$.
Cette dernière équation me donne:
$g(t)=\lambda g(1)t= \lambda f(x) t + constante $; c'est-à-dire :
$f(tx)=\lambda f(x)t+ f(0)$.
A ce niveau je ne vois pas comment on obtient le résultat.
On calcule sans difficulté la dérivée de $g$, qui est $g'(t)=\frac{-\lambda}{t^{\lambda+1}} f(tx)+\frac{1}{t^\lambda} Df(tx).x=\frac{1}{t^{\lambda+1}} (-\lambda f(tx)+Df(tx).(tx))$.
Ainsi les fonctions $g_x$ sont constantes si et seulement si la relation d'Euler est vérifiée.
> Ok. Pour $x$ fixé, soit $g$ la fonction $ t \longmapsto f(tx)$.
> On a $ g^{\prime}(t) = \sum_{i=1}^{n} x_{i} \frac{\partial f}{\partial x_{i}}(x)$.
Revois ton application de la règle de la chaîne.
Merci à tous pour vos lumières !