Afin d’utiliser le théorème de Stokes, nous devons exprimer \(\cC\) comme le bord \(\partial \cS\) d’une surface \(\cS\text{.}\) Puisque
\begin{equation*}
\cC=\Set{(x,y,z)}{x^2+y^2+z^2=4,\ z=y}
\end{equation*}
est une courbe fermée, ceci est possible. En fait, nous avons plusieurs choix pour \(\cS\text{.}\) Trois possibilités, esquissées ci-bas, sont
\begin{align*}
S&=\Set{(x,y,z)}{x^2+y^2+z^2\leqslant 4,\ z=y},\cr
S'&=\Set{(x,y,z)}{x^2+y^2+z^2= 4,\ z\geqslant y},\cr
S''&=\Set{(x,y,z)}{x^2+y^2+z^2= 4,\ z\leqslant y}\text{.}
\end{align*}
La première de ces surfaces, qui fait partie d’un plan, est la plus susceptible de donner lieu à des calculs simples.
Afin de nous préparer, calculons
\(\vnabla\times\vF\) et
\(\vn\,\dee{S}\text{.}\) Pour le dernier, nous appliquons la formule
\(\vn\,\dee{S}=\pm(-f_x,-f_y,1)\,\dee{x}dy\) (de la
Formule 4.7.2) à la surface
\(z=f(x,y)=y\text{.}\) Nous choisissons le signe
\(+\) pour avoir le vecteur normal pointant vers le haut.
\begin{align*}
\vnabla\times\vF
&=\det\left[\begin{matrix}
\vi & \frac{\partial }{\partial x} & z-y \\
\vj & \frac{\partial }{\partial y} & -x-z \\
\vk & \frac{\partial }{\partial z} & -x-y
\end{matrix}\right]\\
&=\vi\big(-1-(-1)\big)-\vj\big(-1-1\big)+\vk\big(-1-(-1)\big)\\
&=2\,\vj\\
\vn\,\dee{S}&=(0,-1,1)\,\dee{x}\dee{y}\\
\vnabla\times\vF\cdot\vn\,\dee{S}&=(0,2,0)\cdot(0,-1,1)\,\dee{x}\dee{y}
=-2\,\dee{x}\dee{y}
\end{align*}
Les variables d’intégration sont \(x\) et \(y\text{.}\) Par définition, le domaine d’intégration est
\begin{equation*}
R=\Set{(x,y)}{(x,y,z)\text{ est dans }S\text{ pour un certain }z}\text{.}
\end{equation*}
Afin de déterminer ce domaine plus précisément, observons que, puisque \(z=y\) sur \(\cS\text{,}\) \(x^2+y^2+z^2\leqslant 4\) équivaut à \(x^2+2y^2\leqslant 4\) sur \(\cS\) :
\begin{equation*}
\cS=\Set{(x,y,z)}{x^2+2y^2\leqslant 4,\ z=y}
\implies R=\Set{(x,y)}{x^2+2y^2\leqslant 4}\text{.}
\end{equation*}
Ainsi, le domaine d’intégration est une ellipse avec semi-axe majeur \(a=2\) et semi-axe mineur \(b=\sqrt{2}\text{,}\) de sorte que son aire est \(\pi a b=2\sqrt{2}\pi\text{.}\) L’intégrale est alors
\begin{equation*}
\oint_{\cC}\vF\cdot \dee{\vr}
=\iint_{\cS} \vnabla\times\vF\cdot\vn\,\dee{S}
=\iint_{\cR}(-2)\,\dee{x}\dee{y}
=-2\ \text{Aire}\,(R)
=-4\sqrt{2}\pi\text{.}
\end{equation*}
Théorème de Stokes, prise 2
Puisque l’intégrande est une constante (après Stokage, pas l’intégrande original) et que \(\cS\) est si simple (nous avons fait de bons choix!), nous pouvons évaluer l’intégrale \(\iint_{\cS} \vnabla\times\vF\cdot\vn\,\dee{S}\) sans calculer \(\dee{S}\) explicitement et même établir les limites d’intégration. Nous avons \(\vnabla\times\vF=2\,\vj\text{.}\) Puisque \(\cS\) est la surface de niveau \(z-y=0\text{,}\) le gradient \(\vnabla(z-y)=-\vj+\vk\) est normal à \(\cS\text{.}\) Ainsi, \(\vn = \frac{1}{\sqrt{2}}(-\vj+\vk)\) et
\begin{align*}
\oint_{\cC}\vF\cdot \dee{\vr}
&=\iint_{\cS} \vnabla\times\vF\cdot\vn\,\dee{S}
=\iint_{\cS} (2\vj)\cdot \frac{1}{\sqrt{2}}(-\vj+\vk)\,\dee{S}\\
&=\iint_{\cS} -\sqrt{2}\,\dee{S}
=-\sqrt{2}\ {\rm Aire}\,(S)\text{.}
\end{align*}
Puisque \(\cS\) est un cercle de rayon \(2\text{,}\) \(\oint_{\cC}\vF\cdot \dee{\vr}=-4\sqrt{2}\pi\text{,}\) encore une fois.