<< Chapter < Page Chapter >> Page >

Minimizers

t -independence

Consider a ϕ that depends solely on s and is thus independent of t . In this case, the Euler-Lagrange equation is

α ( R , r , t ) ϕ ' ' ( s ) + κ ( R , r , t ) sin ( 2 ϕ ( s ) ) = 0
α ϕ ' ' ϕ ' + κ ϕ ' sin ( 2 ϕ ) = 0
( α 2 ( ϕ ' ) 2 - κ 2 cos ( 2 ϕ ) ) ' = 0
α ( ϕ ' ) 2 - κ cos ( 2 ϕ ) = 2 c
ϕ ' = κ α cos ( 2 ϕ ) + c 1 ( t ) , c 1 = 2 c α
d ϕ c 1 + κ α cos ( 2 ϕ ) = d s .

Thus, as in the case of the cylinder, we compute an explicit expression for ϕ .

Special minimizers

However, we note that the minimizing ϕ must independent both of s and t . When ϕ is constant, ϕ t = ϕ s 0 . In this case, the Euler-Lagrange equation is condensed to

R ( R + 2 r cos ( t ) ) r ( R + r cos ( t ) ) sin ( 2 ϕ ) = 0

which implies that, since R > r > 0 , sin 2 ϕ = 0 . This in turn implies that the minimizing ϕ = 0 or π 2 .

We note that E ( 0 ) = 4 π 2 r R 2 - r 2 and E ( π 2 ) = - 4 π 2 ( - 2 R + R 2 - r 2 ) r . Thus, the relationship between E ( 0 ) and E ( π 2 ) depends upon the relationship between r and R .

The inequality E ( 0 ) < E ( π 2 ) , written equivalently

4 π 2 r R 2 - r 2 < - 4 π 2 ( - 2 R + R 2 - r 2 ) r ,

is true when r < 3 2 R < R . In turn, E ( 0 ) > E ( π 2 ) when 3 2 R < r < R . Notice c ˜ d t = π r ( - 2 + R R 2 - r 2 ) cos ( 2 ϕ ) r (when ϕ is independent of s , t ) vanishes when r = 3 2 R . This implies that when r = 3 2 R , any constant ϕ has equal energy .

Limits and ratios of radii

We may continue this investigation of the effect of the torus' radii upon the associated energy. We may choose a few promising limits andsurvey the resulting limits of energy.

E ( 0 ) E ( π 2 )
R 0
r R 8 π 2
r 0 0

s -independence

Let a torus Φ ( s , t ) = ( cos ( s ) ( R + r cos ( t ) ) , sin ( s ) ( R + r cos ( t ) ) , r sin ( t ) ) , with 0 s , r 2 π , R > r > 0 be given.

Theorem 2

The function ϕ ( s , t ) which minimizes energy does not depend on s .

Proof:

Let

g ( s ) = 0 2 π a ( R , r , t ) ϕ t 2 + c ( R , r , t ) + c ˜ ( R , r , t , ϕ ( s , t ) ) d t

s [ 0 , 2 π ]

By compactness, g ( s ) assumes a minimum at some s = s 0 .

E ( ϕ ( s , t ) ) - E ( ϕ ( s 0 , t ) ) =
0 2 π [ 0 2 π a ( R , r , t ) 2 ϕ t ( s , t ) 2 + c ( R , r , t ) + c ˜ ( R , r , t , ϕ ( s , t ) ) d t
- 0 2 π a ( R , r , t ) 2 ϕ t ( s 0 , t ) 2 + c ( R , r , t ) + c ˜ ( R , r , t , ϕ ( s 0 , t ) ) d t
+ 0 2 π b ( R , r , t ) ϕ s ( s , t ) 2 d t ] d s > 0 .

Therefore, s -independent unit vector fields have a lower energy on the torus than any unit vector field that depends on s .

Second variation

We now examine the stability of the proposed minima ϕ = 0 and ϕ = π 2 . We do so by examining the second variation by way of the Euler-Lagrange equation.

J ' ' ( 0 ) = 0 2 π 0 2 π 2 r ( R + r c o s ( t ) ) [ η 2 cos 2 ϕ ( R 2 + 2 R r cos ( t ) )
+ η t 2 ( R + r cos ( t ) 2 ) + η s 2 r 2 ] d s d t

ϕ 0 is clearly a stable minimum when R 2 r . When 2 r ( R + r cos ( t ) ) [ η 2 ( R 2 + 2 r R cos ( t ) ] < 2 r ( R + r cos ( t ) ) [ η t 2 ( R + r cos ( t ) ) 2 + η s 2 r 2 ] , ϕ = π 2 is a stable minimum. More investigation on this last condition is a likely candidate for future work.

Future work

General surfaces of revolution

Although we focused our work largely on the torus and cylinder, we also began treating general surfaces of revolution. In doing so, weencountered several problems. First, we notice that any surface parametrized by Φ ( x , y ) = ( x , y , g ( x , y ) ) is difficult to work with due to the fact that using the Gram-Schmidt method to arrive at an expressionfor energy becomes unwieldy.

A parametrization Φ ( x , y ) = ( x , y , g ( y ) ) is much easier to work with ( Φ x and Φ y are, in fact, orthonormal), but defining boundary condtions becomes difficult. Parametrizing the surface as

Φ ( r , θ ) = ( r cos θ , r sin θ , f ( r ) )

(as [2] does) greatly simplifies thinking about boundary conditions; they can be defined similarly to those on the unit cylinder. We mustkeep in mind, though, that r > 0 to avoid a singularity at the origin.

In the case of this last parametrization, we may hope to arrive at a proof that, for any boundary conditions, there exists a continuoustangent unit vector field on Φ . A fruitful approach might involve allowing ϕ to simply change linearly; we leave the details for the future.

Other future work

The most pressing piece of future work is the proof of the existence of a minimizer ϕ on the torus. It is our hope that the method that we used for the analogous proof on the cylinder might be adaptableto the torus; however, it seems that there are some fundamental differences between the two ϕ functions.

As was mentioned earlier, more investigation into the stability of minima on the torus is required: we hope to further explore the natureof ϕ = π 2 on the torus.

Acknowledgments

We would like to thank the Rice VIGRE program and the National Science Foundation for making our research possible. We would also like tothank our faculty and graduate advisors, Leobardo Rosales, Robert Hardt, Michael Wolf, Ryan Scott, and Evelyn Lamb, as well as the entireRice University Department of Mathematics. We also thank our undergraduate students James Hart, Conor Loftis, Aneesh Mehta, and Anand Shah.

This research was supported by National Science Foundation grant DMS-0739420

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