Subsection 11.2.1 Fields and Surfaces
Given a vector field and a parametric curve, the line integral measured the interaction of the field and the curve. It told how much the field helped or hindered movement along the curve. This was measured by a dot product of the field with the tangent to the curve, since the dot product nicely measures the interaction of two vector. Now, instead of asking for the action of a field along a curve, I’m interesting in the action of a field through a surface.
The biggest difference here is that a surface doesn’t have the notion of movement. Instead, the surface is treated as a static object; I’m interesting in how the field moves through the surface. That said, parametrization still matters. A parametric surface has a normal calculated in the two parameters. Again, I look to the dot product. The dot product of the vector field with the normal to the surface shows the interaction.
If the field and the normal point roughly in the same direction, then the field is passing through the surfaces, transversely, at that point. This is a strong positive reaction. If the field and normal have nearly opposite direction, then there is a strong negative reaction. The parametrization and the normal gives an orientation to the surface: there is a differnce (in sign) between moving through the surface with the normal or against the normal. I can think of this of choosing sides of the surface: say, moving from below to above is positive and moving from above to below is negative. Unlike a locus, a parametric surface has this orientation, this choice of above and below, intrinsically built into the definition.
If the vector field and the normal to the surface are nearly perpendicualr, then the field mostly flows along the surface, tangentially. This is measured by a small dot prodcut.
The unit tangent was useful in the definition of the line integral. I’m going to need the equivalent definition here of the unit normal.
Definition 11.2.1.
Let \(\sigma(u,v)\) be a parametric surface in \(\RR^3\) defined over a simply-connected domain \(D\text{.}\) The unit normal \(N\) of the surface is the vector \(\frac{\sigma_u \times
\sigma_v}{|\sigma_u \times \sigma_v|}\text{.}\) (Note that in the definition of a parmetric surface, the normal can never be zero. Division by zero is avoided by this stipulation.)
For parametric curves, the parametrization by arclength is a unique parametrization that can be assigned to any particular curve shape. It has the property that its tangent is aways the unit tangent. I can also define a special parametrization of a surface, \(\sigma(s,t)\text{,}\) where the \(\sigma_s(s,t) \times
\sigma_t(s,t) = N\text{.}\) This is the unique parametrization where the normal is always the unit normal. Just like I used the parametrization by arclength to define line integrals, I use this special parametrization to defined integrals over parametric surfacees.
Definition 11.2.2.
Let \(\sigma(s,t)\) be a parametric surface in \(\RR^3\) defined over a simply-connected domain \(D\text{.}\) Assume the parametrization in parameters \((s,t)\) is the unique parametrization where \(\sigma_s \times \sigma_t = N\text{.}\) Let \(F\) be a vector field defined on a neighbourhood of the surface. (A neighbourhood is any open set which contains the entire surface.) The flux integral is defined to be the following integral.
\begin{equation*}
\int_{\sigma} F \cdot N dA = \int_{\sigma} F \cdot dA =
\int_D F(\sigma(s,t)) \cdot N(s,t) ds dt
\end{equation*}
The first notation is more complete, but the second notation is conventional.
As with curves, I don’t want to calculate with the special parametrizations, since it may be very difficult to actually produce that parametrization. I’d rather calculate with an arbitrary parametrization. In an arbitrary parametrization, \(dA =
|\sigma_u \times \sigma_v| du dv\text{.}\) I can perform a change of variables on the integral in the definition.
\begin{align*}
\int_{\sigma} F \cdot N dA \amp = \int_D F(\sigma(u,v)) \cdot
\frac{\sigma_u \times \sigma_v}{|\sigma_u \times \sigma_v|}
|\sigma_u \times \sigma_v| du dv\\
\amp = \int_D F(\sigma(u,v)) \cdot (\sigma_u \times \sigma_v)
du dv
\end{align*}
The result of the change of variables is a flux integral calcuted in any arbitrary parametrization. The length of the norml has conveniently cancelled off (like the length of the tangent cancelled off in the definition of a line integral.) The result is a very reasonable way to calcualte flux integrals in any arbitrary parametrizations with the knowledge that the integral doesn’t depend on the parametrizations.