Explique por que o Teorema de Stokes generaliza o Teorema Fundamental do Cálculo e o Teorema de Green. Dê um exemplo numérico simples que ilustre essa conexão.

Passo 1

O enunciado pede duas coisas: (1) explicar por que o Teorema de Stokes é uma generalização do Teorema Fundamental do Cálculo (TFC) e do Teorema de Green; (2) dar um exemplo numérico simples que ilustre essa conexão.
Informações relevantes dadas implicitamente: queremos a conexão conceitual entre os teoremas e um exemplo concreto com cálculos que mostrem como um caso especial de Stokes se torna TFC (caso 1D) e Green (caso de superfície plana em 3D).

Passo 2

Enunciado geral do Teorema de Stokes (forma moderna, em termos de formas diferenciais):
\int_{M} d\omega = \int_{\partial M} \omega
Explicando isso devagarinho: \omega é uma forma diferencial de grau k-1 definida em uma variedade orientada M de dimensão k; d\omega é a diferencial exterior (uma forma de grau k); \partial M é a fronteira de M orientada; a igualdade diz que a integral da derivada d\omega sobre o interior M é igual à integral de \omega sobre a fronteira \partial M. Em linguagem vetorial para superfícies em \mathbb{R}^3 (a forma mais familiar em cálculo vetorial): para uma superfície orientada S com fronteira \partial S e um campo vetorial \mathbf{F},
\oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_{S} (\nabla\times\mathbf{F})\cdot \mathbf{n}\,dS.
Aqui \mathbf{n} é o versor normal a S, d\mathbf{r} é o elemento de curva orientado, e \nabla\times\mathbf{F} é o rotacional de \mathbf{F}. Essa forma vetorial é apenas um caso especial da identidade em formas diferenciais acima.

Passo 3

Como o TFC aparece como caso 1D de Stokes — explicação conceitual e cálculo simples.
Pegamos o caso mais simples de Stokes: M é um intervalo orientado [a,b] (dimensão k=1). Uma 0-forma \omega é simplesmente uma função F(x). A diferencial exterior de \omega é d\omega = F'(x)\,dx. A fronteira \partial [a,b] é os pontos \{b\} e \{a\} com orientação que dá F(b)-F(a). Aplicando o Teorema de Stokes:
\int_{[a,b]} d\omega = \int_{[a,b]} F'(x)\,dx = \int_{\partial[a,b]} \omega = F(b)-F(a).
Isso é exatamente o Teorema Fundamental do Cálculo. Vamos ilustrar com um exemplo numérico simples e bem conhecido:
Escolhemos F(x)=x^2 no intervalo [1,2]. Então F'(x)=2x. Compute passo a passo:
\int_{1}^{2} 2x\,dx = \bigl[x^2\bigr]_{1}^{2} = 2^2-1^2 = 4-1 = 3.
E pela forma de Stokes/TFC:
\int_{1}^{2} F'(x)\,dx = F(2)-F(1) = 4-1 = 3.
Resultado coincide: TFC é o caso 1D do Teorema de Stokes.

Passo 4

Como o Teorema de Green é um caso especial de Stokes — pensamento e demonstração.
Teorema de Green (forma usual em plano): para uma região plana D com fronteira orientada C=\partial D e um campo \mathbf{F}=(P(x,y),Q(x,y)),
\oint_{C} P\,dx + Q\,dy = \iint_{D} \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)\,dA.
Agora vemos isso como um caso de Stokes em \mathbb{R}^3. Considere o mesmo campo estendido para \mathbb{R}^3 por \mathbf{F}(x,y,z) = (P(x,y),Q(x,y),0) e tome a superfície S sendo a região plana D no plano z=0. O rotacional de \mathbf{F} é
\nabla\times\mathbf{F} = \left(0,0,\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right).
O versor normal escolhido para S no plano z=0 é \mathbf{n}=\mathbf{k}=(0,0,1) (orientação consistente com a orientação positiva de C). Então o produto escalar
(\nabla\times\mathbf{F})\cdot\mathbf{n} = \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}.
Aplicando Stokes (forma vetorial) obtemos exatamente Green:
\oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_{S} (\nabla\times\mathbf{F})\cdot\mathbf{n}\,dS \quad\Longrightarrow\quad \oint_{C} P\,dx+Q\,dy = \iint_{D} \left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\,dA.
Logo Green é Stokes aplicado a uma superfície plana em \mathbb{R}^3.

Passo 5

Exemplo numérico para ilustrar Green como caso de Stokes (cálculo passo a passo).
Escolho um campo simples cujo rotacional é constante: \mathbf{F}(x,y) = \bigl(-\tfrac{y}{2},\tfrac{x}{2},0\bigr). Note que P(x,y) = -\tfrac{y}{2} e Q(x,y)=\tfrac{x}{2}. Calcule o rotacional (só a componente z importa):
\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = \frac{\partial}{\partial x}\!\left(\tfrac{x}{2}\right) - \frac{\partial}{\partial y}\!\left(-\tfrac{y}{2}\right) = \tfrac{1}{2} - (-\tfrac{1}{2}) = 1.
Então a integral dupla sobre uma região D qualquer será a área de D. Para simplicidade, tome D como o disco unitário \{(x,y)\mid x^2+y^2\le 1\}. Então a integral dupla
\iint_{D} \left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\,dA = \iint_{D} 1\,dA = \text{area}(D) = \pi\cdot 1^2 = \pi.
Agora calcule a integral de linha ao longo da fronteira C, o círculo unitário orientado positivamente. Parametrização padrão:
\mathbf{r}(t) = (\cos t,\sin t),\qquad 0\le t\le 2\pi.
Compute dx = -\sin t\,dt e dy = \cos t\,dt. A integral de linha é
\oint_{C} P\,dx + Q\,dy = \int_{0}^{2\pi} \left(-\tfrac{\sin t}{2}\right)(-\sin t\,dt) + \left(\tfrac{\cos t}{2}\right)(\cos t\,dt).
Simplificando o integrando:
\left(-\tfrac{\sin t}{2}\right)(-\sin t) + \left(\tfrac{\cos t}{2}\right)(\cos t) = \tfrac{\sin^2 t}{2} + \tfrac{\cos^2 t}{2} = \tfrac{1}{2}.
Então
\oint_{C} P\,dx + Q\,dy = \int_{0}^{2\pi} \tfrac{1}{2}\,dt = \tfrac{1}{2}\cdot 2\pi = \pi.
Comparando: integral de linha = \pi e integral de área = \pi. Isso confirma concretamente que Green (caso planar de Stokes) vale para este exemplo numérico simples.

Passo 6

Resumo conceitual final e intuição:
  • O Teorema de Stokes na sua forma geral \int_{M} d\omega = \int_{\partial M}\omega é uma identidade sobre variedades de qualquer dimensão. Ele diz: “integrar a derivada no interior é igual a integrar a forma original sobre a fronteira”.
  • Quando M tem dimensão 1 isso vira o TFC (a diferencial de uma função é a sua derivada multiplicada por dx).
  • Quando M é uma superfície plana em \mathbb{R}^3 e \omega corresponde à forma de linha P\,dx+Q\,dy, a identidade vira o Teorema de Green.
    Os exemplos numéricos que fizemos (TFC com F(x)=x^2 e Green/Stokes com \mathbf{F}=(-\tfrac{y}{2},\tfrac{x}{2},0) no disco unitário) ilustram na prática como o mesmo princípio unificador funciona em casos concretos. Força aí — entender isso é um grande passo; com esses exemplos você já consegue ver o padrão e aplicar em provas.

Resposta

O Teorema de Stokes generaliza o TFC e o Teorema de Green porque ambos são casos especiais da identidade geral \displaystyle \int_{M} d\omega = \int_{\partial M}\omega: o TFC aparece quando M=[a,b] (dimensão 1) e \omega=F é uma 0-forma, e Green aparece quando M é uma região planar em \mathbb{R}^3 (superfície no plano z=0) com \mathbf{F}=(P,Q,0). \
Exemplos numéricos: \
TFC (caso 1D): \displaystyle \int_{1}^{2} 2x\,dx = \bigl[x^2\bigr]_{1}^{2} = 3. \
Green/Stokes (caso planar): para \mathbf{F}=(-\tfrac{y}{2},\tfrac{x}{2},0) no disco unitário, \displaystyle \oint_{C} P\,dx+Q\,dy = \pi = \iint_{D}1\,dA.

Exercícios relacionados