Fonctions définies sur un produit

Les hypothèses et les notations restent celles des pages précédentes du même chapitre, mais on suppose maintenant que E est un produit d'espaces de Banach, E=E1×E2×...×En. Soit donc U un ouvert de E et f: U → F une application continue. Pour chaque a=(a1,...,an) ∈ U nous considérons l'injection λi : Ei → E, définie par : $$\lambda _{i}\left ( x_{i} \right )=\left ( a_{1},...,a_{i-1},x_{i},a_{i+1},...,a_{n} \right )$$ Si nous notons ui:Ei → E l'injection canonique, déjà rencontrée dans la page précédente et définie par $$u_{i}\left ( x_{i} \right )=\left ( 0,...,0,x_{i},0,...,0 \right )$$ qui est linéaire, continue et dérivable on a évidemment : $$\lambda _{i}\left ( x_{i} \right )=a+u_{i}\left ( x_{i}-a_{i} \right )$$ $$\lambda _{i}\left ( a_{i} \right )=a$$ Il en résulte que λi est continue comme composée de 3 applications continues (une translation, une application linéaire et une autre translation). Donc λi-1(U) est un ouvert de Ei. En outre en utilisant ce résultat, conjointement avec la règle de dérivation des fonctions composées ainsi que ce résultat, on voit que λi est différentiable en tout point xi de Ei, et que : $$\lambda _{i}'(x_{i})=u_{i}$$

L'application composée foλi est définie dans l'ouvert (λi)-1(U) ⊆ Ei, qui contient ai, s'appelle la i-ème application partielle de f au point a.

Avec les notations précédentes :

Si f est différentiable au point a, alors pour chaque entier i (1≤i≤n) l'application partielle foλi est différentiable au point ai.

En effet, il résulte de ce qui précède et du théorème de dérivation des fonctions composées que si f est différentiable en a foλi est différentiable en ai, et (foλi)'=f'(a)oui.

La dérivée de la i-ème application partielle au point a, qui est donc f'(a)oui, s'appelle la i-ème dérivée partielle de f au point a, ou encore la dérivée partielle de f par rapport à xi. Elle se note de différentes manières : $\frac{\partial f}{\partial x_{i}}\left ( a \right )$, $D_{i}f(a)$, $d_{i}f(a)$, $f_{i}'\left ( a \right )$.

Avec les notations précédentes :

Pour tout (h1, ..,hn) ∈ E, on a : $$f'(a).(h_{1}, ... ,h_{n})=\sum_{i=1}^{n}\frac{\partial f}{\partial x_{i}}(a).h_{i} \tag{1}$$
En reprenant les notations de cette page : $$\begin{cases} & p_{i}\circ u_{i}=Id_{E_{i}}\\ & \sum_{i=1}^{n}u_{i} \circ p_{i}=Id_{E}\end{cases} $$ On a $$f=f\circ \sum_{i=1}^{n}u_{i} \circ p_{i}$$ Qui donne : $$f'(a)=\sum_{i=1}^{n}(f'(a) \circ u_{i})\circ p_{i}=\sum_{i=1}^{n}\frac{\partial f}{\partial x_{i}}(a) \circ p_{i}$$ qui est une autre manière d'écrire (1).

Nous résumons donc tout ce qui précède en disant que si une application f est différentiable en un point a d'un espace produit, elle possède nécessairement des dérivées partielles de tous ordres en ce point. On peut se poser la question de la réciproque. Une application qui possède en un point des dérivées partielles relativement à chacune des variables, est-elle différentiable en ce point ? La réponse est négative. Voir par exemple cet exercice pour un contre-exemmple. Nous avons cependant un théorème d'existence de la dérivée à partir des dérivées partielles si on impose en plus une condition de continuité. Supposons maintenant que f soit différentiable en tout point de U, et soit $$f': U \rightarrow \mathfrak{L}(E;F)$$ l'application dérivée. Alors l'application 'dérivée partielle' : $$\frac{\partial f}{\partial x_{i}} : U \rightarrow \mathfrak{L}\left ( E_{i};F \right )$$ est composée de f' et de l'application linéaire : $$\mathfrak{L}(E;F) \rightarrow \mathfrak{L}\left ( E_{i};F \right ) \tag{2}$$ qui à toute application linéaire continue φ:E → F associe φoui. Or l'application (2) est continue et de norme ≤1. il en résulte que :

Si f est de classe C1 sur U, les applications $\frac{\partial f}{\partial x_{i}}$ sont toutes continues.

Il est clair également , d'après la relation (1) que si on suppose f différentiable sur U, et si les fonctions dérivées partielles sont continues sur U il en est de même de f'. Nous énonçons maintenant sans démonstration la réciproque de ce théorème, qui ne suppose pas a priori la différentiabilité de f :

Une condition suffisante pour que f soit de classe C1 sur U est que les n applications dérivées partielles Dnf soit de classe C1 sur U.

La démonstration sera donnée ultérieurement car elle nécessite des outils supplémentaires (théorème des accroissements finis).

Revenons maintenant un peu sur des écritures classiques que l'on trouve dans des ouvrages anciens et d'autres sans aucune forme de justification.
Si f est une fonction de deux variables x et y, on trouve souvent l'écriture
$$df(a)=\frac{\partial f}{\partial x}(a)dx +\frac{\partial f}{\partial y}(a)dy$$
exprimant la différentielle totale en fonction des dérivées partielles.
Que signifie les termes dx et dy dans cette écriture ?
Les exposés anciens étaient plutôt évasifs voire incohérents sur cette interprétation. De fait il n'existe qu'une manière de comprendre ces écritures. Il ne s'agit certes pas "d'accroissements infinitésimaux" comme on pouvait le lire dans la première moitié du 20-ième siècle, dx et dy sont des applications linéaires.
dx est la première projection dx.(h,k)=h et dy est la seconde projection dy.(h,k)=k.

Exercices

Laisser un commentaire