Il faut bien comprendre cependant que cette “simplification” est seulement un procédé mnémotechnique, il ne s’agit pas de divisions.
On démontre la validité de cette formule au moyen du théorème fondamental du calcul. Cette approche s’adapte mal au cas des intégrales multiples, mais on peut comprendre ceci autrement.
Lorsque la variable \(u\) parcourt l’intervalle \([a,b]\text{,}\) la variable \(x = g(u)\) parcourt un intervalle, commençant à \(g(a)\) et finissant à \(g(b)\text{.}\) Il se peut que l’ordre des extrémités soit échangé (si \(g\) est décroissante par exemple). Il est aussi possible que \(x\) sorte de cet intervalle, en dépassant \(g(b)\text{,}\) mais elle doit revenir à \(g(b)\text{.}\) Au niveau de l’intégrale, ces deux passages s’annuleront.
Une variation \(\De u\text{,}\) par exemple une longueur d’intervalle, est transformée approximativement en une variation \(\De x = g'(u^\ast)\De u\text{.}\)
L’intégrande \(f(g(u))\) est transformé en \(f(x)\text{.}\)
Voyons comment adapter cette approche aux intégrales doubles.
Sous-sectionChangement de variables pour les intégrales doubles
Supposons donc que nous avons une région \(\cR\) dans le plan \(Oxy\) et que nous voulons effectuer un changement de variables. Ceci revient à nous donner une transformation \(\vr\) définie sur une partie du plan \(Ouv\text{,}\) donnée par \(\vr(u,v) = x(u,v)\vi + y(u,v)\vj\) et qui couvre la région \(\vr\text{.}\)
Comme précédemment, l’idée de base est d’analyser l’effet de la transformation \(\vr\) sur un petit élément d’aire \(\De u\, \De v\) en utilisant l’approximation linéaire. On suppose par surcroît que \(\vr\) est différentiable, ce qui garantit que cette approximation est bonne.
Considérons donc un rectangle \(\cS\) dans le plan \(Ouv\) dont les sommets sont les points \(S_0(u_0,v_0), S_1(u_0+\De u,v_0), S_2(u_0,v_0 + \De v)\) et \(S_3(u_0 + \De u, v_0+ \De v)\text{.}\) Les points images de ces points dans le plan \(Oxy\) par la transformation \(\vr\) sont alors
Nous avons alors l’approximation linéaire de \(\vr\) autour de \(S_0 = (u_0,v_0)\text{.}\) Pour une variation \(\pmb{\De}S= (\De u, \De v)\) près de \(S_0\text{,}\)
\begin{equation*}
\vr(u_0+\De u, v_0+\De v) \simeq \vr(u_0,v_0) + \pdiff{\vr}{u}(u_0,v_0)\De u + \pdiff{\vr}{v}(u_0,v_0)\De v\text{,}
\end{equation*}
ce qui, à son tour, peut s’écrire composante à composante :
\begin{align*}
x(u_0+\De u, v_0+ \De v) \simeq x(u_0,v_0) + \pdiff{x}{u}(u_0,v_0)\De u + \pdiff{x}{v}(u_0,v_0)\De v, \amp \\
y(u_0+\De u, v_0+\De v) \simeq y(u_0,v_0) + \pdiff{y}{u}(u_0,v_0)\De u + \pdiff{y}{v}(u_0,v_0)\De v \amp \text{.}
\end{align*}
Ainsi, on invoque trois fois ces formules pour obtenir
\begin{alignat*}{4}
\vp_0&=\vr(u_0,\,v_0),\\
\vp_1&=\vr(u_0+\De u, v_0)
&&\approx \vr(u_0,\,v_0)
&&+\pdiff{\vr}{u}(u_0,\,v_0)\,\De u,\\
\vp_2&=\vr(u_0, v_0+\De v)
&&\approx \vr(u_0,\,v_0) &&
&&+\pdiff{\vr}{v}(u_0,\,v_0)\,\De v,\\
\vp_3&=\vr(u_0+\De u, v_0+\De v)
&&\approx\vr(u_0,\,v_0)
&&+\pdiff{\vr}{u}(u_0,\,v_0)\,\De u
&&+\pdiff{\vr}{v}(u_0,\,v_0)\,\De v\text{.}
\end{alignat*}
Notons que nous avons laissé tomber les termes de degré 2 ou plus dans l’approximation de Taylor de \(\vr\text{.}\) Nous ne le ferons pas ici, mais il est possible de démontrer que ces termes ont une contribution nulle à l’intégrale : le passage à la limite les annule.
L’image de notre région \(\cS\) de départ peut être approchée par le quadrilatère de \(\vr(S_0), \vr(S_1), \vr(S_2)\) et \(\vr(S_3)\text{,}\) qui est lui-même approximativement un parallélogramme, puisque
Avec ces notations, la petite région \(\cS\) du plan \(Ouv\) est transformée en une région \(\cR\) du plan \(Oxy\) dont l’aire vaut
\begin{equation*}
\De A = \left|\pdiff{(x,y)}{(u,v)}\right|\De u \, \De v\text{.}
\end{equation*}
Prenons maintenant une région générale \(\cS\) dans \(Ouv\) telle que lorsque \((u,v)\) parcourt \(\cS\text{,}\) alors \(\vr(u,v) = x(u,v)\vi + y(u,v)\vj\) parcourt \(\cR\) une seule fois 2
En réalité, on peut affaiblir un peu cette condition : les points du bord de \(\cR\) pourraient être atteints plus d’une fois. En termes précis, on dira que la transformation \(\vr\) est injective sur \(cS\text{,}\) sauf peut-être sur son bord.
. On divise \(\cS\) en plusieurs rectangles \(\cS_{ij}\text{,}\) puis on dénote par \(\cR_{ij}\) leurs images par \(\vr\text{.}\)
Quand nous avons construit les intégrales doubles, nous avons considéré des divisions du domaine d’intégration \(\cR\) en rectangles pour construire les sommes de Riemann. Il se trouve que cette division peut être faite de façon plus générale, les rectangles ne sont pas nécessaires. Ici, nous allons utiliser les \(\cR_{ij}\) comme sous-régions. L’aire de chacune de ces régions sera notée \(\De A_{ij}\text{.}\) Ainsi,
Soit \(\cS\) et \(\cR\) deux régions élémentaires des plans \(Ouv\) et \(Oxy\) respectivement, \(\vr : \cS \to \cR\) une transformation de classe \(C^1\) telle que \(\vr(u,v)\) parcourt \(\cR\) une seule fois lorsque \((u,v)\) parcourt \(\cS\text{,}\) et \(f\) une fonction continue sur \(\cR\text{,}\) alors
Nous verrons quelques exemples, mais avant faisons la remarque qui suit.
Remarque3.6.5.
Nous avons que la dérivée de la transformation \(\vr\) est la matrice des dérivées partielles de ses composantes par rapport aux différentes variables, à savoir
\begin{align*}
\dee{A} &= \left|\det\left[\begin{matrix} u & v \\
-v & u
\end{matrix}\right]\right| \dee{u}\dee{v}
= (u^2+v^2)\,\dee{u}\,\dee{v}\text{.}
\end{align*}
Utiliser en pratique le Théorème 3.6.4 peut être complexe. Afin de choisir le changement de variables à effectuer, on doit tenir compte tant de la région d’intégration que de l’intégrande. Voyons un premier exemple.
Exemple3.6.9.
Soit \(\cR\) la région à l’intérieur du parallélogramme limité par les droites \(y=2x,\ y=2x-2,\ y=x\) et \(y=x+1\text{.}\) Calculer la valeur de \(\displaystyle \iint_\cR xy \ \dee{A}.\)
Solution.
Bien que l’intégrande soit simple, la région d’intégration suggère de faire un changement de variables. En effet, le bord du parallélogramme est donné par les droites d’équations \(y-2x = 0, \ y-2x=-2,\ y-x=0\) et \(y-x = 1\text{.}\)
Ceci suggère de poser \(u=y-2x\) et \(v= y-x\text{.}\) Notons qu’il s’agit d’un changement de variables qui est linéaire, puisque nous pouvons également écrire
La région \(\cS\) du plan \(Ouv\) qui correspond à \(\cR\) est le rectangle limité par les droites d’équations \(u=0,\, u=-2,\, v=0\) et \(v=1\text{.}\)
Nous devons exprimer \(x,y\) en fonction de \(u,v\text{.}\) Dans notre cas, le changement de variables est une transformation linéaire, nous pouvons donc simplement inverser la matrice :
Notons que ce changement de variables n’est pas un changement linéaire. À gauche, nous avons l’expression de \((s,t)\) en termes de \((x,y)\text{.}\) À droite, ce sont \((x,y)\) qui sont données en fonction de \((s,t)\text{.}\) Pour obtenir ceci, il faut simplement isoler les variables. Notons que ceci nous permet d’obtenir l’intégrande en fonction de \((s,t)\text{.}\) Bien entendu, afin d’effectuer le calcul, nous devons aussi :
exprimer le domaine d’intégration \(\cS\) en fonction des variables \(s\) et \(t\text{,}\) puis
calculer le jacobien de la transformation afin d’exprimer \(\dee{x}\,\dee{y}\) en termes de \(\dee{s}\,\dee{t}\text{.}\)
Afin d’étudier l’effet du changement de variables \((x,y)\mapsto (s,t)\) sur le domaine \(\cR\text{,}\) considérons son bord, puis voyons comment ce bord est exprimé en termes de \(s\) et \(t\text{.}\) Voici \(\cR\) dans le plan \(Oxy\text{.}\)
Cette région est un quadrilatère, ses côtés sont :
À gauche, une portion de la droite \(x=0\text{.}\) Comme nous avons \(x=s\text{,}\) en termes de \(s\) et \(t\text{,}\) nous devons avoir \(s=0\text{.}\)
À droite, une portion de la droite \(x=1\text{.}\) Nous devons avoir \(s=1\text{.}\)
Le bord inférieur est une portion de la droite \(y=1+x\text{,}\) où \(\frac{y}{1+x}=1\text{.}\) Puisque \(t=\frac{y}{1+x}\text{,}\) la portion du bord qui correspond en termes de \(s\) et \(t\) est \(t=1\text{.}\)
Le bord supérieur est une portion de la droite \(y=2(1+x)\text{,}\) ou encore \(\frac{y}{1+x}=2\text{.}\) En termes de \(s\) et \(t\text{,}\) la portion correspondante est \(t=2\text{.}\)
Ainsi, la région \(\cS\) dans le plan \(Ost\) qui correspond à \(\cR\) est
Nous avons maintenant tous les ingrédients pour appliquer le Théorème 3.6.4. Notons que le jacobien de la transformation est \(1+s\text{,}\) qui est positif sur \(\cS\text{.}\) Ainsi,
Soit \(\cR\) la région du premier quadrant limitée par les courbes \(xy=1,\ xy = 9\) et par les droites \(y=x,\, y=4x\text{.}\) Calculer \(\displaystyle \iint_{\cR} \sqrt{\frac{y}{x}} + \sqrt{xy}\ \dee{A}\text{.}\)
Solution1.
Considérons le changement de variables
\begin{equation*}
\begin{bmatrix}x\\y\end{bmatrix} = \vr(u,v) = \begin{bmatrix} u/v\\ uv\end{bmatrix} \qquad \text{ ou encore } \qquad \begin{bmatrix}u\\v \end{bmatrix} = \begin{bmatrix}\sqrt{xy}\\ \sqrt{y/x}\end{bmatrix}.
\end{equation*}
Ce changement de variables rend l’intégrande très simple, puisque
La région \(\cR\) qui nous intéresse est limitée par \(4\) courbes qui se coupent aux points \(P_1(1,1),\ P_2(3,3),\ P_3(\frac{3}{2},6)\) et \(P_4(\frac{1}{2},2)\text{.}\) Chacun de ces points, à son tour, correspond à deux points différents du plan \(Ouv\) sous la transformation \(\vr\) choisie :
\begin{align*}
P_1=\vr(S_1) = \vr(S_1'), \amp \text{ où } S_1(1,1), S'_1(-1,-1),\\
P_2=\vr(S_2) = \vr(S_2'), \amp \text{ où } S_2(3,1), S'_1(-3,-1),\\
P_3=\vr(S_3) = \vr(S_3'), \amp \text{ où } S_3(3,2), S'_1(-3,-2),\\
P_4=\vr(S_4) = \vr(S_4'), \amp \text{ où } S_4(1,2), S'_1(-1,-2)\text{.}
\end{align*}
Par ailleurs, la droite \(y=x\) correspond à \(v^2 = 1\text{,}\) c’est-à-dire à la paire de droites \(v=\pm 1\text{.}\) La droite \(y=4x\) correspond à la paire de droites \(v= \pm 2\text{.}\) De même, l’hyperbole \(xy = 1\) correspond à \(u^2 = 1\text{,}\) c’est-à-dire à la paire de droites \(u=\pm 1\text{,}\) et l’hyperbole \(xy=9\) correspond à la paire de droites \(u=\pm 3\text{.}\) Nous avons donc deux régions \(\cS\) et \(\cS'\) du plan \(Ouv\) qui correspondent à \(cR\) sous la transformation choisie. Afin de calculer l’intégrale qui nous intéresse, nous devons choisir l’une d’entre elles. Choisissons \(\cS = \{(u,v)| 1\leqslant u \leqslant 3,\ 1\leqslant v \leqslant 2 \}\text{.}\) Notons que, sur cette région, le jacobien de la transformation est positif et que nous pouvons calculer notre intégrale :
Un autre changement de variables est possible. On peut poser \(v=xy\) et \(u=y/x\text{.}\) Les calculs sont d’une complexité équivalente. Cependant, au niveau des régions d’intégration, on n’a pas à se soucier de la duplication des courbes. On laisse en exercice le calcul par cette méthode.
Sous-sectionChangements de variables pour les intégrales triples
Il existe une généralisation naturelle du Théorème 3.6.4 pour les intégrales triples (et même en plus haute dimension). Elles sont établies exactement de la même façon que ce qu’on a fait plus haut. Pour les intégrales triples, la pierre angulaire de la construction est le fait établi au Corollaire 1.4.5, qui exprime le volume d’un parallélépipède comme un déterminant.
Si l’on pose
\begin{align*}
\begin{bmatrix}x\\ y\\ z \end{bmatrix} \amp= \begin{bmatrix}x(u,v,w)\\y(u,v,w)\\ z(u,v,w)\end{bmatrix}
\end{align*}
lorsqu’on passe des coordonnées \(u,v,w\) aux coordonnées \(x,y,z\text{,}\) on aura aussi un jacobien, ce sera un déterminant \(3\times 3\text{.}\)
Définition3.6.12.
Étant donné une transformation \(\vr\) donnée par \(\vr(u,v,w) = x(u,v,w)\vi + y(u,v,w)\vj + z(u,v,w)\vk\text{,}\) son jacobien est le déterminant
Nous avons bien entendu l’énoncé analogue du Théorème 3.6.4 pour les intégrales triples, à savoir :
Théorème3.6.13.
Soit \(\cS\) et \(\cR\) deux régions élémentaires dans \(Ouvw\) et \(Oxyz\) respectivement, \(\vr : \cS \to \cR\) une transformation de classe \(C^1\) telle que \(\vr(u,v,w)\) parcourt \(\cR\) une seule fois lorsque \((u,v,w)\) parcourt \(\cS\text{,}\) et \(f\) une fonction continue sur \(\cR\text{,}\) alors
l’égalité (††), avec \(\rho\) dans le rôle de \(u\text{,}\) avec \(\theta\) dans le rôle de \(v\) et avec \(\varphi\) dans celui de \(w\text{,}\) donne
qui est exactement ce qui a été établi dans la Formule 3.5.9.
ExercicesExercices
Pour se pratiquer.
1.
Soit la fonction \(\vr:\cS \rightarrow \cR\) définie par \(\vr(u,v) = (x(u,v),y(u,v))\) sur la région \(S = \{(u, v)|0 \leqslant u \leqslant 1, 0 \leqslant v \leqslant 1\}\) et où \(\cR \subset \R^2\) est l’image de \(S\) sous \(r\text{.}\) Pour chaque définition de \(\vr(u,v)\text{:}\)
Justifiez que la fonction \(r\) est une transformation de classe \(C^1\text{.}\)
Trouvez l’image des sommets du carré unité \(S\) sous la fonction \(r\text{.}\)
Déterminez l’image \(\cR\) du carré unité \(S\) puis dessinez le graphe.
Par définition, \(\vr(u,v) = (g(u,v), h(u,v))\text{,}\) où \(x = g(u, v) = 2u - v\) et \(y = h(u, v) = u + 2v\text{.}\) Les fonctions \(g\) et \(h\) sont continues, différentiables et les dérivées partielles \(g_u(u, v) = 2\text{,}\)\(g_v(u, v) = -1\text{,}\)\(h_u(u, v) = 1\) et \(h_v(u, v) = 2\) sont continues sur \(S\text{.}\)
La région \(\cR\) est le parallélogramme ayant pour sommets \((0,0)\text{,}\)\((2,1)\text{,}\)\((-1,2)\) et \((1,3)\) dans le plan \(xy\text{.}\)
Par définition, \(\vr(u,v) = (g(u,v), h(u,v))\text{,}\) où \(x = g(u, v) = \frac{u}{2}\) et \(y = h(u, v) = \frac{v}{3}\text{.}\) Les fonctions \(g\) et \(h\) sont continues, différentiables et les dérivées partielles \(g_u(u, v) = \frac{1}{2}\text{,}\)\(g_v(u, v) = 0\text{,}\)\(h_u(u, v) = 0\) et \(h_v(u, v) = \frac{1}{3}\) sont continues sur \(S\text{.}\)
La région \(\cR\) est le rectangle ayant pour sommets \((0,0)\text{,}\)\((\frac{1}{2},0)\text{,}\)\((0,\frac{1}{3})\) et \((\frac{1}{2},\frac{1}{3})\) dans le plan \(xy\text{.}\)
Par définition, \(\vr(u,v) = (g(u,v), h(u,v))\text{,}\) où \(x = g(u, v) = u^3\) et \(y = h(u, v) = v^3\text{.}\) Les fonctions \(g\) et \(h\) sont continues, différentiables et les dérivées partielles \(g_u(u, v) = 3u^2\text{,}\)\(g_v(u, v) = 0\text{,}\)\(h_u(u, v) = 0\) et \(h_v(u, v) = 3v^2\) sont continues sur \(S\text{.}\)
La région \(\cR\) est le carré unité dans le plan \(xy\text{.}\)
2.
Déterminez si les transformations \(\vr:\cS \rightarrow \cR \subset \R^2\) sont injectives ou non.
\(\vr(u, v) = (x, y)\text{,}\) où \(x = u^4\) et \(y = u^2 + v\text{,}\) où \(\cS\) est le triangle ayant pour sommets \((-2, 0)\text{,}\)\((2, 0)\) et \((0, 2)\text{.}\)
\(\vr(u,v) = (x, y)\text{,}\) où \(x = 2u - v\) et \(y = u\text{,}\) où \(\cS\) est le triangle ayant pour sommets \((-1, 1)\text{,}\)\((-1, -1)\) et \((1, -1)\text{.}\)
\(\vr(u, v) = (x, y)\text{,}\) où \(x = u^2\) et \(y = v^2\text{,}\) où \(\cS\) est le rectangle ayant pour sommets \((-1,0)\)\((1,0)\text{,}\)\((1,1)\) et \((-1,1)\text{.}\)
\(\vr(u, v) = (x, y)\text{,}\) où \(x = 2u\) et \(y = 3v\text{,}\) où \(\cS\) est le carrée ayant pour sommets \((-1, 1)\text{,}\)\((-1, -1)\text{,}\)\((1, -1)\) et \((1, 1)\text{.}\)
Réponse.
\(r\) n’est pas injective.
\(r\) est injective.
\(r\) n’est pas injective.
\(r\) est injective.
3.
Soit la transformation injectives \(\vr:S \rightarrow \cR\) défnie par \(r(u, v) = (x, y)\text{.}\) Déterminez la transformation inverse \(\vr^{-1}: \cR \rightarrow S\) pour les cas suivants:
Considérons les transformations \(\vr: S \rightarrow \cR\) définies par \(\vr(u,v) = (x,y)\) sur les régions \(\cR \subset \R^2\) données. Déterminez la région \(S \subset \R^2\text{.}\)
\(x = au\text{,}\)\(y = bv\) et \(\cR = \{(x,y)|x^2 + y^2 \leqslant a^2b^2\}\text{,}\) où \(a,b > 0\text{.}\)
\(x = au\text{,}\)\(y = bv\) et \(\cR = \{(x,y)|\frac{x^2}{a^2} + \frac{y^2}{b^2} \leqslant 1\}\text{,}\) où \(a,b > 0\text{.}\)
Réponse.
\(\displaystyle S = \{(u,v)|\frac{u^2}{b^2} + \frac{v^2}{a^2} \leqslant 1\}\)
\(\displaystyle S = \{(u,v)|u^2 + v^2 \leqslant 1\}\)
5.
Pour chacune des transformations, déterminez le Jacobien.
\(\displaystyle r(u,v,w) = \left(v\cosh \left(\frac{1}{u}\right), v\sinh \left(\frac{1}{u}\right), u + w^2\right)\)
\(\displaystyle r(u,v,w) = (u - v, u + v, u + v + w)\)
Réponse.
\(\displaystyle \frac{3}{2}\)
\(\displaystyle -1\)
\(\displaystyle 2uv\)
\(\displaystyle \frac{v}{u^2}\)
\(\displaystyle 2\)
Pour mieux comprendre.
6.
La région triangulaire \(\cR\) ayant pour sommets \((0,0)\text{,}\)\((1,1)\) et \((1,2)\) est montrée dans la figure ci-dessous.
Le triangle de sommets \((0,0)\text{,}\)\((1,1)\) et \((1,2)\)
Trouvez une transformation \(\vr:\cS \rightarrow \cR \) de la forme \(\vr(u,v) = (x,y) = (au + bv, cu + dv)\text{,}\) où \(a\text{,}\)\(b\text{,}\)\(c\) et \(d\) sont des nombres réels avec \(ad - bc \neq 0\text{,}\) telle que \(\vr^{-1}(0,0) = (0,0)\text{,}\)\(\vr^{-1}(1,1) = (1,0)\) et \(\vr^{-1}(1,2) = (0,1)\text{.}\)
Utilisez la transformation \(\vr\) afin de déterminer l’aire \(A(\cR)\) de la région \(\cR\text{.}\)
7.
La région triangulaire \(\cR\) ayant pour sommets \((0,0)\text{,}\)\((2,0)\) et \((1,3)\) est montrée dans la figure ci-dessous.
Le triangle de sommets \((0,0)\text{,}\)\((2,0)\) et \((1,3)\)
Trouvez une transformation \(r:S \rightarrow \cR \) de la forme \(\vr(u,v) = (x,y) = (au + bv, cu + dv)\text{,}\) où \(a\text{,}\)\(b\text{,}\)\(c\) et \(d\) sont des nombres réels avec \(ad - bc \neq 0\text{,}\) telle que \(\vr^{-1}(0,0) = (0,0)\text{,}\)\(\vr^{-1}(2,0) = (1,0)\) et \(\vr^{-1}(1,3) = (0,1)\text{.}\)
Utilisez la transformation \(r\) afin de déterminer l’aire \(A(\cR)\) de la région \(\cR\text{.}\)
Réponse.
\(\displaystyle \vr(u,v) = (2u + v, 3v)\)
\(\displaystyle A(\cR) = 3\)
8.
Utilisez la transformation \(u = y - x\text{,}\)\(v = y\) afin d’évaluer les intégrales
\(\displaystyle \iint_{\cR}(y^2 - xy)dA\)
\(\displaystyle \iint_{\cR}(y - x)dA\)
sur le parallélogramme \(\cR\) ayant pour sommets \((0,0)\text{,}\)\((1,0)\text{,}\)\((2,1)\) et \((1,1)\) montrée dans la figure ci-dessous.
Le triangle de sommets \((0,0)\text{,}\)\((1,0)\)\((2,1)\) et \((1,1)\)
Réponse.
\(\displaystyle -\frac{1}{4}\)
Laissé au lecteur.
9.
Utilisez la transformation \(u = y - x\text{,}\)\(v = x + y\) afin d’évaluer les intégrales
\(\displaystyle \iint_{\cR}\sin(x - y)dA\)
\(\displaystyle \iint_{\cR}e^{x + y}dA\)
sur le carré \(\cR\) déterminé par les droites \(y = x\text{,}\)\(y = -x + 2\text{,}\)\(y = x + 2\) et \(y = -x\) montrée dans la figure ci-dessous.
Le triangle de sommets \((0,0)\text{,}\)\((1,0)\)\((2,1)\) et \((1,1)\)