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

116                                                         Regularity

                                             1
                       Theorem 4.5 Let g ∈ C ([a, b] × R) satisfy
                          (H2) there exist p> q ≥ 1 and α 2 ,α 3 ∈ R such that
                                                    q
                                       g (x, u) ≥ α 2 |u| + α 3 , ∀ (x, u) ∈ [a, b] × R .
                       Let
                                                        1   p
                                             f (x, u, ξ)=  |ξ| + g (x, u) .
                                                        p
                                            1             0 p−2     1
                                                               0
                       Then there exists u ∈ C ([a, b]),with |u |  u ∈ C ([a, b]), a minimizer of (P)
                       and the Euler-Lagrange equation holds everywhere, i.e.
                                     d  h     p−2     i
                                                  0
                                          0
                                        |u (x)|  u (x) = g u (x, u (x)) , ∀x ∈ [a, b] .
                                    dx
                                                     2
                       Moreover if 1 <p ≤ 2,then u ∈ C ([a, b]).
                          If, in addition, u → g (x, u) is convex for every x ∈ [a, b], then the minimizer
                       is unique.
                       Remark 4.6 The result cannot be improved in general, cf. Exercise 4.2.2.
                          Proof. The existence (and uniqueness, if g is convex) of a solution u ∈
                       W 1,p  (a, b) follows from Theorem 3.3. According to Lemma 4.2 we know that
                       u ∈ W  1,∞  (a, b) and since x → g u (x, u (x)) is continuous, we have that the
                       Euler-Lagrange equation holds everywhere, i.e.

                                      d  h     p−2     i
                                          0        0
                                         |u (x)|  u (x) = g u (x, u (x)) , x ∈ [a, b] .
                                     dx
                                         0 p−2  0  1                 0 p−2  0
                       We thus have that |u |  u ∈ C ([a, b]).Call v ≡ |u |  u .We may then infer
                       that
                                                          2−p
                                                     0    p−1
                                                    u = |v|   v.
                                              2−p                           1
                       Since the function t → |t|  p−1  t is continuous if p> 2 and C if 1 <p ≤ 2,we
                                                   1
                       obtain, from the fact that v ∈ C ([a, b]), the conclusions of the theorem.
                       4.2.1   Exercises
                       Exercise 4.2.1 With the help of Lemma 4.2, prove Theorem 4.3 in the following
                       manner.
                          (i) First show that u ∈ W  2,∞  (a, b), by proving (iii) of Theorem 1.36.
                          (ii) Conclude, using the following form of the Euler-Lagrange equation
                            d
                                                          00
                                       0
                                                                          0
                                                                                      0
                                                                       0
                                                        0
                               [f ξ (x, u, u )] = f ξξ (x, u, u ) u + f uξ (x, u, u ) u + f xξ (x, u, u )
                            dx
                                           = f u (x, u, u ) .
                                                       0
   124   125   126   127   128   129   130   131   132   133   134