<< Chapter < Page | Chapter >> Page > |
Example 2. Again let S be the unit cylinder, and define the tangent vector field $V(\theta ,t)=(-sin(\theta ),cos(\theta ),0)$ (equivalently, $\varphi (\theta ,t)=0$ ). V is the unit vector field horizontally tangent (in a counterclockwise direction) to the surface. We see from equation [link] that $E\left(V\right)=2\pi $ . See the following figure.
Example 3. Let S be a frustum with base radius 2, top radius 1, and unit height: $S=\left(\right(2-t)cos(\theta ),(2-t)sin(\theta ),t)$ . Let V again be the unit vector field horizontally tangent to S : $V(\theta ,t)=(-sin(\theta ),cos(\theta ),0)$ . From equation [link] , we can calculate
See the following figure.
Now that we have a solid concept of the energy of a vector field, we can answer a number of questions. Specifically, we are interested in finding an expression for the unit vector field with minimal energy on a given surface (if it exists), with specified boundary conditions. To do so, we use a technique from the calculus of variations.
A common problem in calculus of variations asks a question very similar to ours: given a collection of paths $y\left(x\right):x\in [a,b]$ and a function $L(x,y\left(x\right),{y}^{\text{'}}\left(x\right))$ , which path y minimizes the cost functional $J\left[y\right]={\int}_{a}^{b}L(x,y\left(x\right),{y}^{\text{'}}\left(x\right))dx$ ?
Suppose that y is such a minimizer. For any “perturbation" $\eta \left(x\right)$ with $\eta \left(a\right)=\eta \left(b\right)=0$ , we can consider the cost $J\left(\u03f5\right)=J[y+\u03f5\eta ]={\int}_{a}^{b}L(x,y\left(x\right)+\u03f5\eta \left(x\right),{y}^{\text{'}}\left(x\right)+\u03f5{\eta}^{\text{'}}\left(x\right))dx$ . We calculate $\frac{dJ}{d\u03f5}$ and evaluate at $\u03f5=0$ . If y is a minimizing path, then $\u03f5=0$ should be a critical point of $J\left(\u03f5\right)$ . Supposing that $0=\frac{dJ}{d\u03f5}{|}_{\u03f5=0}$ , we obtain the famous Euler-Lagrange equation:
Any path y which minimizes the cost functional J must satisfy this differential equation. Note that the condition is necessary, not sufficient- not every function which satisfies [link] will produce minimal cost.
We wish to apply a similar technique in our situation. For now, we restrict our attention to the cylinder with unit radius, and only consider vector fields with unit length. Thus, it becomes convenient to use the angle notation mentioned in section 1.2: any vector field $V(\theta ,t):0\le \theta \le 2\pi ,0\le t\le h$ in consideration can be represented by the angle $\varphi (\theta ,t)$ that $V(\theta ,t)$ makes with the horizontal tangent vector.
Suppose that ϕ is the angle representation of the unit vector field with minimal energy on the cylinder. Let $\eta :[0,2\pi ]\times [0,h]\to \mathbb{R}$ be a perturbation with $\eta (\theta ,0)=\eta (\theta ,h)=0$ . Mimicking the calculus of variations technique, we want to plug into our cost functional, equation [link] . Dropping the $(\theta ,t)$ arguments:
Since η is periodic in θ and $\eta (\theta ,0)=\eta (\theta ,h)=0$ , integration by parts on the right-hand terms yields
This expression holds for all perturbations η . Thus, we can deduce
Any function ϕ which describes the vector field of minimal energy on the unit cylinder will satisfy this equation. Assuming that ϕ is rotationally symmetric, or independent of θ (sometimes a reasonable assumption, we will see later), equation [link] becomes an ODE. Unfortunately, it is not a friendly ODE to solve. One can find approximate solutions by considering the Taylor series expansion of $\frac{sin\left(2x\right)}{2}$ , but such solutions are nonsatisfactory. A far better method of approximation is explored in "Computer Approximations" . And even if we cannot solve the equation analytically, we can still determine properties of solutions.
Notification Switch
Would you like to follow the 'The art of the pfug' conversation and receive update notifications?