Page 153 - INTRODUCTION TO THE CALCULUS OF VARIATIONS
P. 153

140                                                   Minimal surfaces

                       Theorem 5.19 Under the above hypotheses there exists Σ 0 ∈ S so that

                                           Area (Σ 0 ) ≤ Area (Σ) ,  ∀ Σ ∈ S .
                                                                                     ¡ ¢
                       Moreover there exists v satisfying (S1), (S2) and (S3), such that Σ 0 = v Ω and
                                    ¡     ¢
                          (i) v ∈ C  ∞  Ω; R 3  with ∆v =0 in Ω,
                                     2          2
                          (ii) E = |v x | = G = |v y | and F = hv x ; v y i =0.
                          (iii) v maps the boundary ∂Ω topologically onto the Jordan curve Γ.
                       Remark 5.20 (i) The theorem asserts that Σ 0 is of minimal area. To solve
                       completely Plateau problem, we still must prove that Σ 0 is a regular surface (i.e.
                       v x ×v y 6=0 everywhere); we will then be able to apply Theorem 5.12 to conclude.
                       We will mention in the next section some results concerning this problem. We
                       also have a regularity result, namely that v is C  ∞  and harmonic, as well as a
                       choice of isothermal coordinates (E = G and F =0).
                          (ii) The proof uses properties of conformal mappings in a significant way and
                       hence cannot be generalized as such to R n+1 , n ≥ 2. The results of De Giorgi,
                       Federer, Fleming, Morrey, Reifenberg (cf. Giusti [50], Morrey [75]) and others
                       deal with such a problem
                          Proof. We will only give the main ideas of the proof. It is divided into four
                       steps.
                          Step 1.Let Σ ∈ S and define
                                                           ZZ
                                       Area (Σ)= J (v)=        |v x × v y | dxdy
                                                             Ω
                                                      ZZ  ³          ´
                                                    1         2     2
                                          D (v) ≡          |v x | + |v y |  dxdy .
                                                    2
                                                        Ω
                       We then trivially have
                                                    J (v) ≤ D (v)                       (5.7)
                       since we know that

                                           p            1          1  ³  2     2 ´
                                 |v x × v y | =  EG − F ≤  (E + G)=   |v x | + |v y |  .  (5.8)
                                                    2
                                                        2          2
                       Furthermore, we have equality in (5.8) (and hence in (5.7)) if and only if E = G
                       and F =0 (i.e., the parametrization is given by isothermal coordinates). We
                       then consider the minimization problems

                                   (D) d =inf {D (v): v satisfies (S1), (S2), (S3)}
                                  (A)   a =inf {Area (Σ): Σ ∈ S} .
   148   149   150   151   152   153   154   155   156   157   158