Mathematics · Glossary

What is Differential form; line integral?

Also known as: differential form · line integral

Definition 20.1 University Mathematics — Year 2 · Chapter 20 — Line Integrals and Multiple Integrals

Let UR2U \subseteq \R^2 be open. A differential form of degree 11 and class C0\mathcal{C}^0 on UU is an expression ω=P ⁣dx+Q ⁣dy\omega = P\,\dd x + Q\,\dd y with P,Q ⁣:URP, Q \colon U \to \R continuous — formally, a continuous map from UU into the dual of R2\R^2, ω(M)=P(M)e1+Q(M)e2\omega(M) = P(M)\,e_1^* + Q(M)\,e_2^*. For a C1\mathcal{C}^1 arc γ ⁣:[a,b]U\gamma \colon [a, b] \to U, γ(t)=(x(t),y(t))\gamma(t) = (x(t), y(t)), the line integral of ω\omega along γ\gamma is

γω=ab(P(γ(t))x(t)+Q(γ(t))y(t)) ⁣dt.\int_\gamma \omega = \int_a^b \Bigl(P(\gamma(t))\,x'(t) + Q(\gamma(t))\,y'(t)\Bigr)\,\dd t .

The definitions extend verbatim to R3\R^3 (forms P ⁣dx+Q ⁣dy+R ⁣dzP\,\dd x + Q\,\dd y + R\,\dd z) and to piecewise C1\mathcal{C}^1 arcs (sum over the pieces).

Examples

Example 20.4 (One integral, two parametrizations, one sign trap)

Compute γx ⁣dy\int_\gamma x\,\dd y along the upper unit semicircle from (1,0)(1, 0) to (1,0)(-1, 0). With γ(t)=(cost,sint)\gamma(t) = (\cos t, \sin t), t[0,π]t \in \intcc0\pi:

0πcostcost ⁣dt=π2.\int_0^\pi\cos t\cdot\cos t\,\dd t = \frac\pi2 .

With the graph parametrization x(x,1x2)x \mapsto (x, \sqrt{1 - x^2}), xx from 11 to 1-1 (note the direction!):

11xx1x2 ⁣dx=11x21x2 ⁣dx=π2\int_1^{-1}x\cdot\frac{-x}{\sqrt{1 - x^2}}\,\dd x = \int_{-1}^{1}\frac{x^2}{\sqrt{1 - x^2}}\,\dd x = \frac\pi2

(x=sinux = \sin u reduces it to a Wallis integral). Same value, as Proposition 20.2 guarantees — but only because both runs go from (1,0)(1,0) to (1,0)(-1,0); reversing the travel flips the sign. Closing the path along the xx-axis (where  ⁣dy=0\dd y = 0) adds nothing, and the total π2\frac\pi2 is the area of the half-disk: the first instance of the boundary-area formulas of Green–Riemann below.

Read in context →