<< Chapter < Page Chapter >> Page >
This report summarizes work done as part of the Geometric Calculus of Variations PFUG under Rice University’s VIGRE program in Summer 2011. VIGRE is a program of Vertically Integrated Grants for Research and Education in the Mathematical Sciences under the direction of the National Science Foundation. A PFUG is a group of Postdocs, Faculty, Undergraduates and Graduate students formed round the study of a common problem. The purpose of the PFUG was to study extremal length and metric minimization on several domains.

Introduction

The primary objective of the PFUG was to study extremal metrics on the Swiss Cross, which is defined to be five unit squares arranged in a cross (Figure 1).

Swiss Cross

Let Γ = { ( Connected curves between A and B ) ( Connected curves between C and D ) } . Then we wish to find a metric ρ ( x , y ) on the Swiss Cross (S.C.) which minimizes

S.C. ρ 2 ( x , y ) d x d y

subject to the constraint

inf γ Γ γ ρ ( x , y ) d s 3

Another problem of interest is finding the extremal metric on a unit disk where Γ ' = { Connected curves between antipodal points on the boundary } . Again we are trying to minimize

Δ ρ 2 ( x , y ) d x d y

on Δ = the unit disk, subject to the constraint that

inf γ ' Γ ' γ ' ρ ( x , y ) d s 2

Definitions

Definition 1 A functional is a mapping from a function space to the real numbers. We are particularly interested in the maps F : L 2 ( ) .

Definition 2 The Area functional, A ρ ( Ω ) , is defined to be:

A ρ ( Ω ) = Ω ρ 2 ( x , y ) d x d y

where Ω is our region of interest.

Definition 3 The L e n g t h of Γ with respect to a metric ρ is defined to be:

L ρ ( Γ ) = inf γ Γ γ ρ ( x , y ) d s

where the γ are rectifiable curves in the set of curves Γ .

Definition 4 The Extremal Length of a region Ω with respect to a set of curves Γ contained within Ω is defined to be:

E L Ω ( Γ ) = sup ρ L ρ 2 ( Γ ) A ρ ( Ω )

where ρ L 2 ( ) and ρ : 2 +

Previous results

There has not been very much work done on the topic of extremal length, and thus, most of the previous results are limited to one source by Ahlfors. Nevertheless there are still many useful theorems that we can apply to our topic. The following are two theorems from [1].

Theorem 1 Let us say that a metric ρ ( x , y ) is admissible if L ρ ( Γ ) 1 . Then the extremal length is equal to 1 inf A ρ ( Ω ) .

This can easily be applied to our Swiss Cross case, as instead of defining an admissible metric as one where L ρ ( Γ ) 1 , we can define it as L ρ ( Γ ) 3 .

Another result is one that lets us actually check if a metric ρ ( x , y ) is an extremal metric.

Theorem 2 The metric ρ 0 is extremal for Γ on a region Ω if Γ contains a subfamily Γ 0 with the following properties:

γ ρ 0 d s = L ρ 0 ( Γ ) for all γ Γ 0

And secondly, for any real-valued h on Ω , h satisfying

γ h d s 0

for all γ Γ 0 implies:

Ω h ρ 0 d x d y 0

This is useful because it states that the set of extremal curves, Γ 0 covers the whole region Ω except possibly where ρ 0 is equal to zero.

Results

Swiss cross

Preliminary inspection of extremal metrics yields a constant value of ρ ( x , y ) = 1 as a function which satisfies the constraints and has metric area 5. However, ρ 1 is not extremal for the Swiss Cross. This can be shown by the function in Figure 2.

Swiss Cross Function

Theorem 3 The function in Figure 2 satisfies the constraints of the extremal length problem, and has a smaller metric area than ρ 1 .

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