Difference between revisions of "12-267/Derivation of Euler-Lagrange"

From Drorbn
Jump to: navigation, search
(Created page)
 
m (corrected date of lecture)
Line 1: Line 1:
Disclamer: This is a student prepared note based on [http://drorbn.net/dbnvp/12-267-121002-2.php the lecure of Tuesday October 1st].
+
Disclamer: This is a student prepared note based on [http://drorbn.net/dbnvp/12-267-121002-2.php the lecure of Tuesday October 2nd].
  
 
For a function <math>y(x)</math> defined on <math>[a, b]</math> to be an extremum of <math>J(y) = \int_a^b F(x, y, y') dx</math>, it must be that for any function <math>h(x)</math> defined on <math>[a, b]</math> that preserves the endpoints of <math>y</math> (that is, <math>h(a) = 0</math> and <math>h(b) = 0</math>), we have  <math> \frac{d}{d \epsilon } J(y + \epsilon h) </math><math>|_{\epsilon = 0} = 0 </math>.
 
For a function <math>y(x)</math> defined on <math>[a, b]</math> to be an extremum of <math>J(y) = \int_a^b F(x, y, y') dx</math>, it must be that for any function <math>h(x)</math> defined on <math>[a, b]</math> that preserves the endpoints of <math>y</math> (that is, <math>h(a) = 0</math> and <math>h(b) = 0</math>), we have  <math> \frac{d}{d \epsilon } J(y + \epsilon h) </math><math>|_{\epsilon = 0} = 0 </math>.

Revision as of 19:07, 12 October 2012

Disclamer: This is a student prepared note based on the lecure of Tuesday October 2nd.

For a function y(x) defined on [a, b] to be an extremum of J(y) = \int_a^b F(x, y, y') dx, it must be that for any function h(x) defined on [a, b] that preserves the endpoints of y (that is, h(a) = 0 and h(b) = 0), we have  \frac{d}{d \epsilon } J(y + \epsilon h) |_{\epsilon = 0} = 0 .

 \frac{d}{d \epsilon } J(y + \epsilon h) |_{\epsilon = 0}

 = \frac{d}{d \epsilon } \int_a^b F(x, y + \epsilon h, y' + \epsilon h') dx |_{\epsilon = 0}

Let F_n signify F differentiated with respect to its nth variable.

 = \int_a^b (F_1 \cdot 0 + F_2 \cdot h + F_3 \cdot h') dx |_{\epsilon = 0}

 = \int_a^b (F_2(x, y, y') \cdot h + F_3(x, y, y') \cdot h') dx

 = \int_a^b (F_2 \cdot h + [\frac{d}{dx} F_3] \cdot h) dx  + F_3 \cdot h |_a^b (integrating by parts)

Due to the constraints of h(a) = 0 and h(b) = 0, F_3 \cdot h |_a^b = 0.

 = \int_a^b (F_2 - \frac{d}{dx} F_3) \cdot h dx

As this must be equal to 0 for all h satisfying the endpoint constraints, we must have that F_2 = \frac{d}{dx} F_3, or in other terms, F_y - \frac{d}{dx} F_y' = 0.