<< Chapter < Page Chapter >> Page >
E ( ϕ ) - E ( ϕ ˜ ) = Γ 1 cos 2 ( ϕ ) - cos 2 ( m ) + ϕ θ 2 + ϕ t 2 .

On Γ 1 , cos 2 ( ϕ ) cos 2 ( m ) , with strict inequality when ϕ ( θ , t ) < m . Then by a similar argument as in Theorem 3, we can find a smooth function which approximates ϕ ˜ with an energy that converges to that of ϕ ˜ . Since, by assumption, there are some ( θ , t ) where this occurs, we can conclude that E ( ϕ ) > E ( ϕ ˜ ) and thus ϕ is not a minimizer.

Some results on general surfaces

Until now, most of our work has focused on the cylinder of unit radius. Working on an arbitrary surface of revolution requires much more complicated equations, but much of the theory is the same.

Let our surface S be parametrized by Φ ( θ , t ) = r ( t ) cos ( θ ) , r ( t ) sin ( θ ) , t : 0 θ 2 π , 0 t h , where r ( t ) is the radius of S at height t . We would again like to define a vector field tangent to S by rotating the horizontal tangent vector field ( - sin ( θ ) , cos ( θ ) , 0 ) by an angle ϕ ( θ , t ) . This rotation must take place inside the tangent plane- in other words, we want to rotate ( - sin ( θ ) , cos ( θ ) , 0 ) by ϕ ( θ , t ) around Φ θ × Φ t . The resulting vector field V ( θ , t ) takes the form

V ( θ , t ) = ( - sin ( θ ) cos ( ϕ ) , cos ( θ ) cos ( ϕ ) , 0 )
+ r ' ( t ) cos ( θ ) sin ( ϕ ) 1 + r ' ( t ) 2 , r ' ( t ) sin ( θ ) sin ( ϕ ) 1 + r ' ( t ) 2 , sin ( ϕ ) 1 + r ' ( t ) 2

The energy of the vector field defined by ϕ is given by

0 2 π 0 h α ( ϕ ( θ , t ) , t ) + β ( t ) ϕ t ( θ , t ) 2 + γ ( t ) ϕ θ ( θ , t ) 2 + κ ( t ) d t d θ

where

α ( x , t ) = ( 1 + 4 r ' ( t ) 2 + 2 r ' ( t ) 4 ) cos 2 ( x ) + 2 r ( t ) 2 r ' ' ( t ) 2 sin 2 ( x ) r ( t ) 1 + r ' ( t ) 2 5 / 2 β ( t ) = r ( t ) 1 + r ' ( t ) 2 γ ( t ) = 1 + r ' ( t ) 2 3 + 3 r ' ( t ) 2 + r ' ( t ) 4 r ( t ) 1 + r ' ( t ) 2 5 / 2 κ ( t ) = r ' ( t ) 2 r ( t ) 1 + r ' ( t ) 2

Note that α , β , γ , κ are all nonnegative, and that this energy agrees with equation [link] when r ( t ) = 1 .

The euler-lagrange equation

Using the methods of section 2.2, we can calculate the Euler-Lagrange equation of energy on a general surface:

a 11 ϕ θ θ + a 22 ϕ t t + b 2 ϕ t + F ( ϕ , t ) = 0

where

a 11 ( t ) = 1 + r ' ( t ) 2 r ( t ) a 22 ( t ) = r ( t ) 1 + r ' ( t ) 2 b 2 ( t ) = 2 r ' ( t ) 1 + r ' ( t ) 2 + 2 r ( t ) r ' ' ( t ) 1 + r ' ( t ) 2 2 F ( ϕ , t ) = 1 + 4 r ' ( t ) 2 + 2 r ' ( t ) 4 - 2 r ( t ) 2 r ' ' ( t ) 2 r ( t ) 1 + r ' ( t ) 2 5 / 2 sin ( 2 ϕ ) 2

Again, note that this agrees with equation [link] when r ( t ) = 1 . This equation is not particularly enlightening in this form; without a given r ( t ) , we can say very little, and even with a known r ( t ) , it is no easier to solve than equation [link] . Any ϕ ( θ , t ) which describes an energy-minimizing vector field on a given surface will satisfy equation [link] . This PDE also can be put to great use in our numerical approximations.

θ -independent vector fields

Let a surface S with radius r ( t ) be given. Suppose that the boundary conditions ϕ ( θ , 0 ) , ϕ ( θ , h ) of a vector field on S do not depend on θ : that is, ϕ ( θ , 0 ) = ϕ 0 , ϕ ( θ , h ) = ϕ h for all θ [ 0 , 2 π ] and constant ϕ 0 , ϕ h .

Theorem 5. The function ϕ ( θ , t ) which minimizes energy given constant boundary conditions ϕ ( θ , 0 ) = ϕ 0 , ϕ ( θ , h ) = ϕ h does not depend on θ . In other words, the vector field described by ϕ is constant along every horizontal “slice" of the surface.

Proof: Let a θ -dependent ϕ ( θ , t ) be given. We will find a θ -independent ϕ ˜ ( θ , t ) with lower energy.

Consider the function f ( θ ) = 0 h α ( ϕ ( θ , t ) , t ) + β ( t ) ϕ t ( θ , t ) 2 + κ ( t ) d t for θ [ 0 , 2 π ] . Since the domain is compact, there is some θ 0 which minimizes f . Define ϕ ˜ ( θ , t ) = ϕ ( θ 0 , t ) . Essentially, ϕ ˜ takes the vertical slice of the vector field described by ϕ with minimal “vertical energy," and pastes that slice all around the surface. We compute:

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, The art of the pfug. OpenStax CNX. Jun 05, 2013 Download for free at http://cnx.org/content/col10523/1.34
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'The art of the pfug' conversation and receive update notifications?

Ask