Voir la source de Fonction de plusieurs variables

{{ébauche|mathématiques}}

En [[mathématiques]] et plus spécialement en [[analyse vectorielle]], une '''fonction numérique à plusieurs variables''' [[Nombre réel|réelles]] est une [[fonction (mathématiques)|fonction]] dont l'[[Relation binaire#Définition formelle|ensemble de départ]] {{mvar|E}} est une partie du produit cartésien <math>\R^n</math>. L'[[ensemble d'arrivée]] {{mvar|F}} peut être <math>\R</math> ou <math>\R^p</math>. Le second cas peut se ramener au premier cas en considérant qu'il s'agit en réalité de {{mvar|p}} fonctions de <math>\R^n</math> dans <math>\R</math> appelées fonctions coordonnées.

La fonction est donc une relation associant à chaque [[n-uplet|''n''-uplet]] {{math|''x'' {{=}} (''x''{{ind|1}}, ''x''{{ind|2}}, ..., ''x{{ind|n}}'')}} élément de l'ensemble de départ un et un seul élément de l'ensemble d'arrivée, que l'on appelle [[image (mathématiques)|image]] de {{mvar|x}} par {{mvar|f}} et que l'on note {{math|''f''(''x'')}} ou {{math|''f''(''x''{{ind|1}}, ..., ''x{{ind|n}}'')}} :
<center><math>f : \begin{array}{ccc}
E & \longrightarrow & F\\
(x_1,\ldots,x_n) & \longmapsto & f(x_1,\ldots,x_n)\end{array}</math></center>

Si l'on munit les deux [[espace vectoriel|espaces vectoriels]] <math>\R^n</math> et <math>\R^p</math> d'une [[norme (mathématiques)|norme]], on peut étudier la [[Continuité (mathématiques)|continuité]] et la [[différentielle|différentiabilité]] de telles fonctions. En fixant les {{mvar|n}} variables réelles {{math|(''x''{{ind|1}}, ''x''{{ind|2}}, ..., ''x{{ind|n}}'')}} sauf une, on se ramène à l'étude de fonctions d'une variable réelle, à valeurs dans <math>\R^p</math> (ou même dans <math>\R</math>, en considérant les {{mvar|p}} fonctions coordonnées). Leurs [[dérivée]]s, lorsqu'elles existent, s'appellent les [[dérivée partielle|dérivées partielles]] de la fonction de départ.

== Fragments d'histoire ==
La notion de fonctions à plusieurs variables apparait très tôt en physique où l'on étudie souvent des quantités dépendant de plusieurs autres<ref>[[Jeanne Peiffer]], dans son ''Histoire des mathématiques, Routes et dédales'', {{p.|210}}, relate les efforts de [[Thomas Bradwardine]] (1290-1349) pour trouver une relation fonctionnelle liant la vitesse, la force et la résistance dans un mouvement.</ref> mais elle se développe considérablement à partir de la fin du {{s|XVII|e}}. En 1667, James Gregory, dans son ''Vera circuli et hyperbolae quadratura'' en donne une des premières définitions formelles : « une fonction est une quantité obtenue à partir d'autres quantités par une succession d'opérations algébriques ou par n'importe quelle opération imaginable »<ref>{{DahanPeiffer}}, {{p.|216}}.</ref>. Le {{s|XVIII|e}} voit le développement du calcul infinitésimal et la recherche de solutions d'[[équation différentielle|équations différentielles]] et d'[[Équation aux dérivées partielles|équations aux dérivées partielles]]<ref>On peut citer par exemple le mémoire de [[Joseph-Louis Lagrange|Lagrange]] à l'[[Académie des sciences (France)|Académie des sciences]] de 1773 ''[https://gallica.bnf.fr/ark:/12148/bpt6k77597p/f8n64.capture Recherches sur le calcul intégral aux différences partielles]'' ou bien le [http://www-irem.univ-fcomte.fr/bulletins/070/070_article3_cordes_vibrantes.html problème des cordes vibrantes].</ref>. Les fonctions à plusieurs variables sont alors manipulées autant que les fonctions à une seule variable. Il faut attendre la fin du {{s|XIX|e}} et le {{s|XX|e}} pour voir s'établir avec plus de rigueur les calculs sur les dérivées partielles, notamment les dérivées secondes<ref>[http://www.math93.com/theoreme/fonction_plusieurs_var_dp.html Histoire de l'apparition des dérivées partielles, de la différentielle totale, des fonctions de plusieurs variables, du théorème de Schwarz], sur Math93, histoire des maths et des mathématiciens.</ref>.

== Catégorisation ==
L'étude des fonctions à plusieurs variables peut se classifier selon le nombre de variables de départ et d'arrivée. Les objets étudiés sont alors des courbes, des surfaces, des champs scalaires ou vectoriels.
{| class="wikitable"
! Objet !! Représentation !! Application !! Opérations particulières
|-
! [[Courbe]]
| [[Image:Osculating circle.svg|120px]] || <math>f: \R\to\R^n</math> || Calcul de [[longueur d'un arc]], de [[courbure]].
|-
! [[Surface (géométrie analytique)|Surface]]
| [[Image:Helicoid.PNG|120px]] || <math>f: \R^2 \to \R^n</math> || Calcul de [[superficie]], de courbure.
|-
! [[Champ scalaire]]
| [[Image:Surface-plot.png|120px]] || <math>f: \R^n \to \R</math><br /><math>f: \R^n \to \Complex</math> || Calcul d'[[extremum]], de [[gradient]], de [[dérivée directionnelle]], d'[[intégrale multiple]], d'[[intégrale de surface]], d'[[intégrale curviligne]], de [[flux (mathématiques)|flux]].
|-
! [[Champ vectoriel]]
| [[Image:Vector field.svg|120px]] || <math>f: \R^n \to \R^n</math> || Calcul de [[gradient]], de [[Divergence (analyse vectorielle)|divergence]], de [[rotationnel]], d'[[intégrale de surface]], d'[[intégrale curviligne]], de [[flux (mathématiques)|flux]].
|}

== Analyse à plusieurs variables ==
Les concepts classiques de l'analyse s'étendent aux fonctions de plusieurs variables. L'introduction de l'[[algèbre linéaire]] se montre indispensable.

=== Fonction partielle selon une direction ===
Si {{math|''a'' {{=}} (''a''{{ind|1}}, ..., ''a{{ind|n}}'')}} est un point de <math>\R^n</math> et si {{math|''u'' {{=}} (''u''{{ind|1}}, ..., ''u{{ind|n}}'')}} est un vecteur de <math>\R^n</math>, on appelle fonction partielle de {{mvar|f}} au point {{mvar|a}} suivant la direction {{mvar|u}} la fonction de la variable réelle qui au réel {{mvar|t}} associe {{math|''f'' (''a'' + ''tu'')}}.

Lorsque {{mvar|u}} est un vecteur de la [[base canonique]] (toutes les composantes sont nulles sauf une seule), la fonction partielle consiste à considérer toutes les variables sauf une comme constantes. Si seule la {{mvar|k}}-ième variable est non constante, on parle de la {{mvar|k}}-ième composante partielle en {{mvar|a}} ou fonction partielle suivant la {{mvar|k}}-ième coordonnée.
: <math>f_{k,a}(t)=f(a_1, \cdots, a_{k-1},a_k+t,a_{k+1},\cdots, a_n)</math>

=== [[Limite (mathématiques)|Limites]] et [[Continuité (mathématiques)|continuité]] ===
Une norme étant choisie sur <math>\R^n</math>, et {{mvar|f}} étant une fonction à valeurs réelles définie sur un [[ouvert (topologie)|ouvert]] {{mvar|E}} de <math>\R^n</math>, on définit la continuité de la manière suivante : pour tout point {{mvar|a}} de {{mvar|E}}, {{mvar|f}} est continue en {{mvar|a}} si et seulement si
:<math>\forall \varepsilon >0\, \exists \alpha >0 , (||x-a|| < \alpha \text{ et } x \in E) \Rightarrow |f(x)-f(a)|< \varepsilon</math>

L'étude des limites et de la continuité conduit à de nombreux résultats contre-intuitifs. Ainsi, s'il est vrai qu'une fonction continue possède des fonctions partielles continues, la réciproque peut se révéler fausse. Un exemple couramment cité est celui de la fonction définie par
:<math>\left\{\begin{array}{cl}\text{si}\ (x,y)\ne(0,0),\ f(x,y)=\frac{xy}{x^2+y^2}~,\\f(0,0)=0~.\end{array}\right.</math>
Ses fonctions partielles à {{mvar|x}} constant ou à {{mvar|y}} constant sont continues alors que la fonction n'est pas continue en {{math|(0 ; 0)}}. En effet
:<math>\lim_{x\to 0}f(x,0)=0=\lim_{y \to 0}f(0,y)</math>
alors que la fonction partielle suivant la direction {{math|''u'' {{=}} (''a'',''b'')}} n'est pas continue car
:<math>\lim_{t \to 0, t \ne 0}f(ta,tb)=\frac{ab}{a^2+b^2}</math> .

Il existe même des fonctions dont les fonctions partielles sont continues quelle que soit la direction choisie, sans que la fonction le soit. Ainsi la fonction définie par
:<math>\left\{\begin{array}{cl}\text{si}\ (x,y)\ne(0,0),\ f(x,y)=\frac{x^2y}{x^4+y^2}~,\\f(0,0)=0\end{array}\right.</math>
possède des fonctions partielles continues selon toute direction. Mais si on approche de {{math|(0 ; 0)}} selon la parabole d'équation {{math|''y'' {{=}} ''x''{{2}}}}, {{math|''f''(''x'',''y'')}} s'approche de 1/2.

Cependant, si l'ouvert ''E'' est un produit d'intervalles {{math|(''E{{ind|i}}''){{ind|''i'' ∈ {1, ..., ''n''} }}}} et si la norme choisie est une [[Norme (mathématiques)#En dimension finie|norme p]] ou la norme infinie, lorsque les fonctions partielles {{mvar|f {{ind|i}}}} sont [[Application lipschitzienne|lipschitziennes]] de rapport {{mvar|k{{ind|i}}}}, la fonction {{mvar|f}} est alors lipschitzienne de rapport <math>\sum_{i=1}^nk_i</math>.

=== Calcul différentiel ===
{{Article détaillé|différentielle|dérivée partielle|matrice jacobienne|matrice hessienne}}

Les dérivées partielles généralisent le concept de [[dérivée]]. Une dérivée partielle d'une fonction de plusieurs variables est la dérivée de cette fonction selon une variable, les autres étant considérées constantes.

Une fonction {{mvar|f}} de <math>E \subset \R^n</math> dans <math>\R</math> sera dite différentiable en {{math|''a'' {{=}} (''a''{{ind|1}}, ..., ''a{{ind|n}}'')}} s'il existe un développement de la forme
:<math>f(a_1+h_1, \dots, a_n+h_n )= f(a_1, \dots, a_n ) + h_1\alpha_1+\dots + h_n\alpha_n + o\left(\|h\|\right)</math>
où <math>\| h \|</math> désigne la [[norme (mathématiques)|norme]] du vecteur {{mvar|h}} de composantes {{math|(''h''{{ind|1}}, ..., ''h{{ind|n}}'')}}. Lorsque la fonction est différentiable, on montre que les coefficients réels {{mvar|α{{ind|i}}}} apparaissant dans ce développement sont les dérivées partielles de {{mvar|f}}, c'est-à-dire les dérivées des fonctions partielles selon {{mvar|x{{ind|i}}}}. On note donc
:<math>\mathrm d f(a)(h)=h_1\cdot\frac{\partial f}{\partial x_1} (a)+\dots +h_n\cdot\frac{\partial f}{\partial x_n} (a)</math>
la différentielle totale de {{mvar|f}} en {{mvar|a}}.

Comme pour la continuité, il existe des résultats contre-intuitifs. Ainsi, une fonction différentiable possède des dérivées partielles mais une fonction possédant des dérivées partielles en {{mvar|a}} n'est pas nécessairement différentiable en {{mvar|a}}. Elle peut même ne pas être continue en {{mvar|a}}.
Ainsi, la fonction présentée précédemment :
: <math>f (x, y) = \frac {xy} {x^2+y^2}</math>
et vérifiant
:<math>f(0,0)=0\, </math>
possède des dérivées partielles en tout point mais n'est pas continue en 0.

Cependant une fonction possédant des dérivées partielles continues sur {{mvar|E}} est différentiable sur {{mvar|E}} et est dite de classe {{math|''C''{{1}}}}.

Le calcul des dérivées partielles d'ordre supérieur se heurte aussi à quelques pièges comme celui concernant l'ordre de dérivation (voir [[théorème de Schwarz]]).

Les dérivées partielles peuvent être combinées en de nombreuses façons pour créer des objets différentiels intéressants.

En [[analyse vectorielle]], l'opérateur [[nabla]] est utilisé pour définir des opérateurs comme le [[gradient]], la [[divergence (analyse vectorielle)|divergence]] et le [[rotationnel]]. Une matrice des dérivées partielles premières, la [[matrice jacobienne]], peut être utilisée pour représenter la dérivée d'une fonction d'un nombre quelconque de variables. La [[matrice hessienne]] est son analogue avec des dérivées partielles secondes.

Les [[équation différentielle|équations différentielles]] contenant des dérivées partielles sont appelées '''[[équation aux dérivées partielles|équations aux dérivées partielles]]''' (EDP). Elles sont généralement plus difficiles à résoudre que les équations différentielles ordinaires.

=== Calcul intégral ===
{{Article détaillé|intégrale multiple|intégrale de surface|intégrale curviligne}}
L'[[intégrale multiple]] généralise le concept d'intégrale. Les intégrales doubles et triples peuvent être utilisées pour calculer des surfaces et des volumes de régions de l'espace. Leur calcul passe généralement par leur expression en une composition d'intégrales simples, calculées à chaque fois selon une seule variable.

L'[[intégrale de surface]] et l'[[intégrale curviligne]] sont utilisées pour l'intégration sur des [[variété (géométrie)|variétés]].

=== Théorèmes fondamentaux de l'analyse à plusieurs variables ===
En analyse, ces théorèmes établissent un lien entre la dérivée et l'intégrale. Le lien entre dérivées partielles et intégrales multiples est assuré par les théorèmes [[théorème du gradient|du gradient]], [[théorème de flux-divergence|de flux-divergence]], [[théorème du rotationnel|du rotationnel]], [[théorème de Green|de Green]].

Dans une étude plus avancée de l'analyse vectorielle, on constate que ces théorèmes ne sont que l'incarnation d'un théorème plus général, le [[théorème de Stokes]], qui s'applique à l'intégration de [[forme différentielle|formes différentielles]] sur des [[variété (géométrie)|variétés]].

=== Analyse vectorielle ===
{{Article détaillé|analyse vectorielle}}
L'analyse vectorielle étudie les [[champ scalaire|champs de scalaires]] et [[champ de vecteurs|de vecteurs]] suffisamment réguliers des espaces euclidiens, c'est-à-dire les applications différentiables d'un ouvert d'un [[espace euclidien]] {{mvar|E}} à valeurs respectivement dans <math>\R</math> et dans {{mvar|E}}. L'analyse vectorielle est donc une branche – outre de l'analyse à plusieurs variables – de la [[géométrie différentielle]].

Mais l'importance de l'analyse vectorielle provient de son utilisation intensive en physique et dans les [[sciences de l'ingénieur]]. C'est pourquoi nous nous limitons le plus souvent au cas où <math>E=\R^3</math> est l'espace usuel à trois dimensions. Dans ce cadre, un champ de vecteurs associe à chaque point de l'espace un vecteur (à trois composantes réelles), tandis qu'un champ de scalaires y associe un réel. Imaginons par exemple l'eau d'un lac. La donnée de sa température en chaque point forme un champ de scalaires, celle de sa vitesse en chaque point, un champ de vecteurs. L'analyse vectorielle est ainsi un outil fondamental de la [[mécanique des fluides]], de la [[météorologie]], de l'[[électrostatique]], de l'[[électrodynamique]], de la [[géophysique]], etc.

== Notes et références ==
{{références}}
== Voir aussi ==
{{Autres projets
  | wikiversity = Fonctions de Rn dans Rp
  | wikiversity titre = Fonctions de Rn dans Rp
}}
* [[application (mathématiques)]]
* [[analyse vectorielle]]
* [[géométrie différentielle]]

{{Palette|Analyse vectorielle}}
{{Portail|analyse}}

[[Catégorie:Analyse à plusieurs variables]]
[[Catégorie:Fonction mathématique|Plusieurs variables]]