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

Euler-Lagrange equation                                            49

                                          1
                identity holds for every v ∈ C ([a, b]) with v (a)= v (b)= 0
                      Z  b  ∙                                     ¸
                            d
                                                              0
                                           0
                          −   [f ξ (x, u (x) , u (x))] + f u (x, u (x) , u (x)) v (x) dx =0 .
                       a    dx
                Applying the fundamental lemma of the calculus of variations (Theorem 1.24)
                we have indeed obtained the Euler-Lagrange equation (E).
                   Part 2.Let u be a solution of (E) with u (a)= α, u (b)= β.Since (u, ξ) →
                f (x, u, ξ) is convex for every x ∈ [a, b],we get from Theorem1.50that
                     f (x, u, u ) ≥ f (x, u, u )+ f u (x, u, u )(u − u)+ f ξ (x, u, u )(u − u )
                                                                       0
                                                                          0
                                        0
                                                    0
                                                                              0
                            0
                for every u ∈ X. Integrating the above inequality we get
                       I (u) ≥ I (u)
                                  Z  b
                                              0
                                +    [f u (x, u, u )(u − u)+ f ξ (x, u, u )(u − u )] dx .
                                                                        0
                                                                    0
                                                                 0
                                   a
                Integrating by parts the second term in the integral, bearing in mind that u (a)−
                u (a)= u (b) − u (b)= 0,we get
                         I (u) ≥ I (u)
                                    Z  b  ∙          d          ¸
                                                 0
                                  +     f u (x, u, u ) −  f ξ (x, u, u ) (u − u) dx .
                                                               0
                                     a               dx
                Using (E) we get indeed that I (u) ≥ I (u), which is the claimed result.
                   Part 3.Let u, v ∈ X be two solutions of (P) (recall that m denote the value
                of the minimum) and let us show that they are necessarily equal. Define
                                                 1    1
                                            w =   u + v
                                                 2    2
                and observe that w ∈ X. Appealing to the convexity of (u, ξ) → f (x, u, ξ),we
                obtain
                                               µ                   ¶
                    1            1                1    1   1    1
                                                             0
                                                                                0
                             0
                                         0
                     f (x, u, u )+ f (x, v, v ) ≥ f  x, u + v, u + v 0  = f (x, w, w )
                    2            2                2    2   2    2
                and hence
                                        1       1
                                   m =   I (u)+ I (v) ≥ I (w) ≥ m.
                                        2       2
                We therefore get
                      b
                    Z  ∙                          µ                    ¶¸
                        1            1                1    1   1    1
                                 0
                                             0
                                                                 0
                         f (x, u, u )+ f (x, v, v ) − f  x, u + v, u + v  0  dx =0 .
                        2            2                2    2   2    2
                     a
   57   58   59   60   61   62   63   64   65   66   67