Interpolating Between Vectorized Green's Theorems

Green's theorem says that (subject to some very reasonable conditions that we need not concern ourselves with here) the counterclockwise line integral of the vector field F = [P Q] around the boundary of a region is equal to the double intregral of \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y} over the region itself. It's natural to think of it as a special case of Stokes's theorem in the case of a plane. We can also think of the line integral as the integral of the inner product of the vector field with the unit tangent, leading us to write Green's theorem like this:

 \oint_{\partial D}\vec{\mathbf{F}}\cdot\vec{\mathbf{T}}\, ds=\iint_{D}(\mathrm{curl\,}\vec{\mathbf{F}})\cdot\vec{\mathbf{k}}\, ds

But some texts (I have Mardsen and Tromba's Vector Calculus and Stewart's Calculus: Early Transcendentals in my possession; undoubtedly there are others) point out that we can also think of Green's theorem as a special case of the divergence theorem! Suppose we take the integral of the inner product of the vector field with the outward-facing unit normal (instead of the unit tangent)—it turns out that

\oint_{\partial D}\vec{\mathbf{F}}\cdot\vec{\mathbf{n}}\, ds=\iint_{D}\mathrm{div\,}\vec{\mathbf{F}} ds

—which suggests that there's some deep fundamental sense in which Stokes's theorem and the divergence theorem are really just mere surface manifestations of one and the same underlying idea! (I'm told that it's called the generalized Stokes's theorem, but regrettably I don't know the details yet.)

But here's something I thought was pretty. We have these two equations, one of which involves the unit tangent vector, and one of which involves the unit normal vector. (It's actually pointing in the opposite direction of the unit normal that we use to define the Frenet frame, which one might argue is an unfortunate clash of conventions, but whatever.) So my linear-algebraic intuitions say: hey, why not smoosh them together in a linear combination? (Making linear combinations is just what you do when you see orthogonal unit vectors, right?) Then it's like we're interpolating between the two forms of Green's theorem. Specifically, let θ be a constant. Then we have

\oint_{\partial D}\vec{\mathbf{F}}\cdot((\sin\theta)\vec{\mathbf{T}}+(\cos\theta)\vec{\mathbf{n}})\, ds

(component decomposition of some unit vector)

=\oint_{\partial D}\vec{\mathbf{F}}\cdot(\sin\theta)\vec{\mathbf{T}}+\vec{\mathbf{F}}\cdot(\cos\theta)\vec{\mathbf{n}}\, ds

(inner product distributes over vector addition)

=(\sin\theta)\oint_{\partial D}\vec{\mathbf{F}}\cdot\vec{\mathbf{T}}\, ds+(\cos\theta)\oint_{\partial D}\vec{\mathbf{F}}\cdot\vec{\mathbf{n}}\, ds

(linearity of integrals, bilinearity of inner product)

=(\sin\theta)\iint_{D}(\mathrm{curl\,}\vec{\mathbf{F}})\cdot\vec{\mathbf{k}}\, dA+(\cos\theta)\iint_{D}\mathrm{div\,}\vec{\mathbf{F}} dA

(vectorized Green's theorem)

=(\sin\theta)\iint_{D}\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\, dA+(\cos\theta)\iint_{D}\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}\right)dA

(planar curl and divergence)

=\iint_{D}(\cos\theta)\frac{\partial P}{\partial x}+(\sin\theta)\frac{\partial Q}{\partial x}-(\sin\theta)\frac{\partial P}{\partial y}+(\cos\theta)\frac{\partial Q}{\partial y}\, dA

(linearity of integrals)

Isn't that great!? Nor is it a mere coincidence that the coefficients in the final line resemble the entries of the two-by-two matrix representing a counterclockwise rotation by θ. Ideally, we would then generalize this to an arbitrary number of dimensions and gain true insight into the generalized Stokes's theorem, and thus, a facet of the nature of reality itself.

But I'm not there yet.

2 thoughts on “Interpolating Between Vectorized Green's Theorems

  1. You should read (e.g.) Calculus on Manifolds by Michael Spivak. You will love it (P > 0.9).

    The generalized Stokes theorem is part of a beautiful theory which unfortunately is almost completely obscured by traditional "vector calculus". The proper formalism for this material is the language of differential forms. There is no reason that a serious student shouldn't work in terms of the latter right from the start. (Indeed, I couldn't even properly understand Green/Gauss/Stokes until I understood generalized Stokes. Cf. my comment on LW: http://lesswrong.com/lw/a54/seeking_education/5whm )

    We should be in touch.

  2. Thanks. (I actually am aware that differential forms exist, and in fact own a copy of Calculus on Manifolds, but it felt less embarassing to write "I'm told [...] but regrettably I don't know the details yet," rather than "I tried to learn differential forms, but found it difficult and set it aside for later.")

Leave a Reply

Your email address will not be published. Required fields are marked *