Questão 2. O rotacional de um campo vetorial \overrightarrow{\mathbf{A}} em um dado ponto P\left(x_{0}, y_{0}, z_{0}\right) é um vetor cuja magnitude é a circulação máxima de \overrightarrow{\mathbf{A}} por unidade de área (quando esta se reduz a zero em torno de P ) e cuja direção \hat{\mathbf{n}} é aquela para a qual essa circulação é máxima. A componente do rotacional em uma direção \hat{\mathbf{n}} qualquer é dada por:
Informações relevantes a usar: expressão para integral de linha \oint_C \overrightarrow{\mathbf{A}}\cdot\mathrm{d}\overrightarrow{\mathbf{l}}, aproximações de Taylor de primeira ordem para campos suaves e a definição dada do componente do rotacional como circulação por unidade de área no limite.
Passo 2
Estratégia para (a): vamos calcular explicitamente a componente do rotacional na direção \hat{\mathbf{k}} (eixo z) usando a definição de circulação por unidade de área aplicada a um pequeno retângulo no plano xy. Esse cálculo dá a fórmula para (\nabla\times\overrightarrow{\mathbf{A}})_z. Depois, por simetria cíclica, obtemos as componentes x e y e montamos a forma determinantal.
Primeiro lembretes pedagógicos:
Para um elemento de curva \mathrm{d}\overrightarrow{\mathbf{l}} alinhado com o eixo x, tem-se \mathrm{d}\overrightarrow{\mathbf{l}}=\mathrm{d}x\,\hat{\mathbf{i}}. Para eixo y, \mathrm{d}\overrightarrow{\mathbf{l}}=\mathrm{d}y\,\hat{\mathbf{j}}.
A integral de linha ao longo de uma aresta é a integral do componente tangencial do campo multiplicado pelo diferencial de comprimento: por exemplo, ao longo de um segmento horizontal, \int A_x\,\mathrm{d}x (avaliação adequada dos pontos).
Aproximação de Taylor de primeira ordem para uma função suave f(x,y) ao deslocar-se por \Delta x,\Delta y:f(x+\Delta x,y+\Delta y)\approx f(x,y)+\frac{\partial f}{\partial x}\Delta x+\frac{\partial f}{\partial y}\Delta y.
Passo 3
Construção do retângulo e orientação (para \hat{\mathbf{k}}):
Considere o ponto central P=(x_0,y_0,z_0). Tome um pequeno retângulo no plano z=z_0 com lados paralelos aos eixos x e y: comprimento \Delta x na direção x e comprimento \Delta y na direção y. A área é \Delta S=\Delta x\,\Delta y.
Escolha a orientação do contorno C tal que, visto pelo lado positivo de \hat{\mathbf{k}} (ou seja, olhando ao longo de \hat{\mathbf{k}} em direção negativa), o caminho seja contraclockwise. Pela regra da mão direita, essa escolha corresponde a \hat{\mathbf{n}}=\hat{\mathbf{k}}.
Agora parametrizamos as quatro arestas (começando pela aresta inferior, no sentido anti-horário):
Aresta 1: de (x_0,y_0) para (x_0+\Delta x,y_0). Aqui \mathrm{d}\overrightarrow{\mathbf{l}}=\mathrm{d}x\,\hat{\mathbf{i}}.
Aresta 2: de (x_0+\Delta x,y_0) para (x_0+\Delta x,y_0+\Delta y). Aqui \mathrm{d}\overrightarrow{\mathbf{l}}=\mathrm{d}y\,\hat{\mathbf{j}}.
Aresta 3: de (x_0+\Delta x,y_0+\Delta y) para (x_0,y_0+\Delta y). Aqui \mathrm{d}\overrightarrow{\mathbf{l}}=-\mathrm{d}x\,\hat{\mathbf{i}}.
Aresta 4: de (x_0,y_0+\Delta y) para (x_0,y_0). Aqui \mathrm{d}\overrightarrow{\mathbf{l}}=-\mathrm{d}y\,\hat{\mathbf{j}}.
A integral de linha total é a soma das integrais nessas arestas:
Aproximando A_x(x,y_0,z_0) por A_x(x_0,y_0,z_0) (valor no ponto de referência) mais variação linear, mas como integraremos sobre \Delta x e depois vamos dividir por \Delta x\Delta y e tomar limite, a aproximação de primeira ordem suficiente é:
I_1 \approx A_x(x_0,y_0,z_0)\,\Delta x
(termos de ordem \Delta x^2 serão desprezíveis no limite).
Aresta 3 (superior, direção -\hat{\mathbf{i}}), o integrando é o componente A_x avaliado em y_0+\Delta y:
Analogamente, ao aplicar a mesma construção a pequenos retângulos nos planos yz e zx, orientados de acordo com \hat{\mathbf{i}} e \hat{\mathbf{j}}, obtém-se:
que é exatamente a expressão pedida no item (a). Aqui cada elemento da linha do meio atua sobre a linha de baixo como operador derivada, e o desenvolvimento do determinante reproduz as fórmulas das componentes mostradas acima.
Passo 7
Agora (b): deduzir o Teorema de Stokes a partir da definição local do rotacional.
Idéia geral (intuição antes do formal): o teorema de Stokes resulta de somar as contribuições de circulação de muitos pequenos elementos de superfície que cobrem S. Cada elemento pequeno satisfaz, pela definição local, que a circulação ao longo da sua borda é igual ao produto do rotacional pelo vetor área desse elemento. Somando sobre todos os elementos internos de uma tesselação, as integrais ao longo de arestas internas aparecem com sinais opostos e se cancelam. Restam apenas as integrais ao longo da fronteira externa C. No limite em que a malha tende a contínua, a soma passa para integral de superfície do rotacional; o cancelamento interno leva ao enunciado do teorema.
Vou transformar essa ideia em passos matemáticos controlados.
Passo 8
Dividir a superfície S (suave, orientada) em muitas pequenas sub-superfícies S_i de área \Delta S_i. Cada S_i tem fronteira C_i orientada consistentemente com a normal \hat{\mathbf{n}} de S (regra da mão direita).
Pela definição local do rotacional aplicada a cada S_i,
onde \varepsilon_i é um erro que vai para zero mais rápido do que \Delta S_i quando o tamanho da partição vai a zero (porque a definição é um limite local). Mais precisamente, \varepsilon_i=o(\Delta S_i).
Observação sobre as fronteiras internas: cada aresta interna pertence a exatamente duas sub-superfícies S_i e S_j, e as orientações das curvas C_i e C_j ao longo dessa aresta são opostas (porque as normais \hat{\mathbf{n}} das duas peças coincidem e a regra da mão direita impõe orientações contrárias nos limites adjacentes). Assim, ao somar \oint_{C_i} sobre todas as sub-superfícies, as integrais ao longo de arestas internas cancelam par a par. O único termo que sobra na soma das integrais de contorno é a integral ao longo da fronteira externa única C de S:
Fazer o limite da malha para zero: quando o diâmetro máximo das sub-superfícies tende a zero, a soma de Riemann \sum_i (\nabla\times\overrightarrow{\mathbf{A}})\cdot\hat{\mathbf{n}}\,\Delta S_i converge para a integral de superfície
Além disso, como cada \varepsilon_i=o(\Delta S_i), a soma \sum_i \varepsilon_i tende a zero no limite (mais formalmente: existe uma constante K tal que |\varepsilon_i|\le K(\Delta S_i)^2 para partições suficientemente finas, logo a soma tende a zero).
Isso é exatamente o Teorema de Stokes desejado. A orientação das integrais está consistente porque a orientação de C é a fronteira orientada de S determinada pela regra da mão direita aplicada à normal \hat{\mathbf{n}}.
Passo 11
Comentários didáticos finais e verificação de consistência:
A dedução da forma para as componentes do rotacional a partir da definição local é um cálculo puramente local (pequeno retângulo). Ele não usa nenhuma propriedade profunda além da continuidade/diferenciabilidade dos componentes de \overrightarrow{\mathbf{A}}.
O salto para o Teorema de Stokes usa a linearidade da integral e o cancelamento das arestas internas quando se soma sobre uma tesselação, mais a passagem ao limite (soma de Riemann). Esse é o mesmo tipo de argumento usado na prova do Teorema de Gauss (divergência), mas adaptado à circulação/rotacional.
Orientação: sempre atentar ao sinal — a orientação de C deve ser compatível com a normal escolhida (regra da mão direita). Se a orientação for invertida, o sinal da integral de linha muda, como esperado.