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).
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):
Explicando isso devagarinho:
é uma forma diferencial de grau
definida em uma variedade orientada
de dimensão
;
é a diferencial exterior (uma forma de grau
);
é a fronteira de
orientada; a igualdade diz que a integral da derivada
sobre o interior
é igual à integral de
sobre a fronteira
. Em linguagem vetorial para superfícies em
(a forma mais familiar em cálculo vetorial): para uma superfície orientada
com fronteira
e um campo vetorial
,
Aqui
é o versor normal a
,
é o elemento de curva orientado, e
é o rotacional de
. 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: é um intervalo orientado
(dimensão
). Uma 0-forma
é simplesmente uma função
. A diferencial exterior de
é
. A fronteira
é os pontos
e
com orientação que dá
. Aplicando o Teorema de Stokes:
Pegamos o caso mais simples de Stokes:
Isso é exatamente o Teorema Fundamental do Cálculo. Vamos ilustrar com um exemplo numérico simples e bem conhecido:
Escolhemos
no intervalo
. Então
. Compute passo a passo:
E pela forma de Stokes/TFC:
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 com fronteira orientada
e um campo
,
Teorema de Green (forma usual em plano): para uma região plana
Agora vemos isso como um caso de Stokes em
. Considere o mesmo campo estendido para
por
e tome a superfície
sendo a região plana
no plano
. O rotacional de
é
O versor normal escolhido para
no plano
é
(orientação consistente com a orientação positiva de
). Então o produto escalar
Aplicando Stokes (forma vetorial) obtemos exatamente Green:
Logo Green é Stokes aplicado a uma superfície plana em
.
Passo 5
Exemplo numérico para ilustrar Green como caso de Stokes (cálculo passo a passo).
Escolho um campo simples cujo rotacional é constante: . Note que
e
. Calcule o rotacional (só a componente
importa):
Escolho um campo simples cujo rotacional é constante:
Então a integral dupla sobre uma região
qualquer será a área de
. Para simplicidade, tome
como o disco unitário
. Então a integral dupla
Agora calcule a integral de linha ao longo da fronteira
, o círculo unitário orientado positivamente. Parametrização padrão:
Compute
e
. A integral de linha é
Simplificando o integrando:
Então
Comparando: integral de linha =
e integral de área =
. 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
é 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
tem dimensão isso vira o TFC (a diferencial de uma função é a sua derivada multiplicada por ). - Quando
é uma superfície plana em e corresponde à forma de linha , a identidade vira o Teorema de Green.
Os exemplos numéricos que fizemos (TFC come Green/Stokes com 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
: o TFC aparece quando
(dimensão 1) e
é uma 0-forma, e Green aparece quando
é uma região planar em
(superfície no plano
) com
. \
Exemplos numéricos: \
TFC (caso 1D): \
Green/Stokes (caso planar): para no disco unitário,
Exemplos numéricos: \
TFC (caso 1D):
Green/Stokes (caso planar): para