Introduction to differential forms
Introduction to differential forms
Introduction to differential forms
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
As an application, Green’s theorem shows that the area of D can be computed<br />
as line integral on the boundary<br />
∫ ∫ ∫<br />
dxdy = ydx<br />
D<br />
If S is a closed oriented surface in R 3 , such as the surface of a sphere, S<strong>to</strong>ke’s<br />
theorem show that any exact 2-form integrates <strong>to</strong> 0. To see this write S as the<br />
union of two surfaces S 1 and S 2 with common boundary curve C. Orient C<br />
using the right hand rule with respect <strong>to</strong> S 1 , then orientation comming from S 2<br />
goes in the opposite direction. Therefore<br />
∫ ∫ ∫ ∫ ∫ ∫ ∫ ∫ ∫ ∫<br />
dω = dω + dω = ω − ω = 0<br />
S<br />
S 1 S 2 C<br />
C<br />
In vec<strong>to</strong>r notation, S<strong>to</strong>kes’ theorem is written as<br />
∫ ∫<br />
∫<br />
∇ × F · n dS = F · ds<br />
S<br />
where F is a C 1 -vec<strong>to</strong>r field.<br />
In physics, there a two fundamental vec<strong>to</strong>r fields, the electric field E and the<br />
magnetic field B. They’re governed by Maxwell’s equations, one of which is<br />
C<br />
∇ × E = − ∂B<br />
∂t<br />
where t is time. If we integrate both sides over S, apply S<strong>to</strong>kes’ theorem and<br />
simplify, we obtain Faraday’s law of induction:<br />
∫<br />
E · ds = − ∂ ∫ ∫<br />
B · n dS<br />
C ∂t<br />
To get a sense of what this says, imagine that C is wire loop and that we are<br />
dragging a magnet through it. This action will induce an electric current; the<br />
left hand integral is precisely the induced voltage and the right side is related <strong>to</strong><br />
the strength of the magnet and the rate at which it is being dragged through.<br />
S<strong>to</strong>ke’s theorem works even if the boundary has several components. However,<br />
the inner an outer components would have opposite directions.<br />
S<br />
C<br />
C<br />
2<br />
S<br />
C<br />
1<br />
16