Adloun

La relation d'Euler des fonctions homogènes

Exercice de TD · niveau 3 (difficile) · mathématiques (PSI), chapitre 10 — Calcul Différentiel et Optimisation

Énoncé

Relation d'Euler : soit différentiable sur , homogène de degré ( pour ). Montrer que (dériver en de deux façons : règle de la chaîne d'un côté, de l'autre).

Corrigé

Stratégie : dériver la même quantité par deux chemins. On fabrique une fonction d'une seule variable réelle, , et on la dérive en de deux façons : par la règle de la chaîne d'un côté, par l'hypothèse d'homogénéité de l'autre. L'unicité de la dérivée identifie les deux résultats — c'est ainsi qu'une identité fonctionnelle devient une identité différentielle.

Fixons et posons

1. est bien définie et dérivable. Pour , on a (car et ), donc appartient bien à , le domaine de . L'application est de classe de dans , avec (elle est linéaire en ). Comme est différentiable, la règle de la chaîne donne la dérivabilité de et

2. La seconde lecture. L'homogénéité donne pour tout , où est une constante ( est fixé). Cette fonction de est dérivable sur et

3. Identification. La dérivée d'une fonction en un point est unique : les deux calculs portent sur la même au même point , donc

Si de plus est de classe , le gradient existe et la relation s'écrit

Le point délicat est de ne pas dériver l'identité « par rapport à » : c'est en , à fixé, que la dérivation est licite et informative.

4. Lecture géométrique — et elle se calcule. Écrivons avec unitaire. La relation devient

la composante radiale du gradient est entièrement déterminée par et le degré, sans autre information. Cas particulier (une fonction homogène de degré est constante sur chaque demi-droite issue de l'origine) : on obtient , c'est-à-dire que le gradient est orthogonal au rayon. Cette orthogonalité n'est pas une évidence de dessin : c'est le produit scalaire qu'on vient de calculer, et il vaut zéro.

Contrôle chiffré. Prenons sur . Elle est homogène de degré : — vérifié numériquement au point avec : et ✓. La relation d'Euler prédit . En : , et , donc

Contre-épreuve : n'est homogène d'aucun degré. En : , et , soit un rapport ; en : , et , soit un rapport . Les deux rapports diffèrent : aucun constant ne convient, comme il se doit.

Ce qui est acquis. Toute identité de la forme se dérive en ; et la relation d'Euler dit qu'une fonction homogène ne contient, dans sa dérivée radiale, aucune information nouvelle.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.