Também chamado de: forma diferencial · integral de linha
Definição 20.1Matemática universitária — Graduação 2 · Capítulo 20 — Integrais de linha e integrais múltiplas
Seja U⊆R2 um aberto. Uma forma diferencial de grau 1 e classe C0 em U é uma expressão ω=Pdx+Qdy com P,Q:U→Rcontínuas — formalmente, uma aplicação contínua de U no dual de R2, ω(M)=P(M)e1∗+Q(M)e2∗. Para um arco γ:[a,b]→U de classe C1, γ(t)=(x(t),y(t)), a integral de linha de ω ao longo de γ é
∫γω=∫ab(P(γ(t))x′(t)+Q(γ(t))y′(t))dt.
As definições se estendem literalmente a R3 (formas Pdx+Qdy+Rdz) e a arcos C1 por pedaços (soma sobre os pedaços).
Exemplos
Exemplo 20.4(Uma integral, duas parametrizações, uma armadilha de sinal)
Calcule ∫γxdy ao longo do semicírculo unitário superior de (1,0) a (−1,0). Com γ(t)=(cost,sint), t∈[0,π]:
∫0πcost⋅costdt=2π.
Com a parametrização por gráfico x↦(x,1−x2), x indo de 1 a −1 (atenção ao sentido!):
∫1−1x⋅1−x2−xdx=∫−111−x2x2dx=2π
(x=sinu a reduz a uma integral de Wallis). Mesmo valor, como a Proposição 20.2 garante — mas só porque os dois percursos vão de (1,0) a (−1,0); inverter o sentido troca o sinal. Fechar o caminho ao longo do eixo x (em que dy=0) não acrescenta nada, e o total 2π é a área do semidisco: a primeira instância das fórmulas de área pelo bordo de Green–Riemann abaixo.