<< Chapter < Page
  Signal theory   Page 1 / 1
Chapter >> Page >
Introduces calculus of variations problems in optimization and their solutions based on the Euler-Lagrange equation.

The calculus of variations refers to a generic class of optimization problems that can be written in terms of

minimize J ( x ) subject to x ( t 1 ) = a 1 , x ( t 2 ) = a 2 ,

where J ( x ) : C [ t 1 , t 2 ] R is a function that can be written as

J ( x ) = t 1 t 2 f ( x ( t ) , x ˙ ( t ) , t ) d t ,

where x ˙ ( t ) = d x ( t ) d t . The function f must meet the following conditions:

  • f ( x ( t ) , x ˙ ( t ) , t ) is continuous on x ( t ) , x ˙ ( t ) , and t as individual inputs,
  • f ( x ( t ) , x ˙ ( t ) , t ) has continuous partial derivatives with respect to x ( t ) and x ˙ ( t ) , written as
    f x ( x ( t ) , x ˙ ( t ) , t ) = x f x ( x ( t ) , x ˙ ( t ) , t ) , f x ˙ ( x ( t ) , x ˙ ( t ) , t ) = x ˙ f x ( x ( t ) , x ˙ ( t ) , t ) .

Consider the set of admissible functions x C [ t 1 , t 2 ] . One can pick any particular admissible function x and then define the rest of the set in terms of x + h , where h ( t 1 ) = h ( t 2 ) = 0 . Therefore, at an optimum x , we require the directional derivative in the feasible directions h to be zero valued, i.e., J ( x ; h ) = 0 for all feasible directions h . Now recall that since J ( x ) is scalar-valued, we have

J ( x ; h ) = α J ( x + α h ) | α = 0 , = α t 1 t 2 f ( x ( t ) + α h ( t ) , x ˙ ( t ) + α h ˙ ( t ) , t ) d t | α = 0 , = t 1 t 2 α f ( x ( t ) + α h ( t ) , x ˙ ( t ) + α h ˙ ( t ) , t ) d t | α = 0 .

We use the following fact:

Fact 1 For any function g ( x , y , z ) , we have that

α g ( x + α x 1 , y + α y 1 , z ) = x g ( x + α x 1 , y + α y 1 , z ) x 1 + y g ( x + α x 1 , y + α y 1 , z ) y 1 .

Therefore,

J ( x ; h ) = t 1 t 2 x f ( x ( t ) + α h ( t ) , x ˙ ( t ) + α h ˙ ( t ) , t ) h + x ˙ f ( x ( t ) + α h ( t ) , x ˙ ( t ) + α h ˙ ( t ) , t ) h ˙ d t | α = 0 , = t 1 t 2 f x ( x + α x , x ˙ + α h ˙ , t ) h d t + t 1 t 2 f x ˙ ( x + α x , x ˙ + α h ˙ , t ) h ˙ d t α = 0 ,

where we drop the dependence of the functions for brevity (i.e., x ( t ) is written x ). Using integration by parts ( u = f x ˙ ( x + α x , x ˙ + α h ˙ , t ) , d v = h ˙ d t ), we get

J ( x ; h ) = t 1 t 2 f x ( x + α x , x ˙ + α h ˙ , t ) h d t + [ f x ( x ( t ) + α h ( t ) , x ˙ ( t ) + α h ˙ ( t ) , t ) h ( t ) ] t = t 1 t 2 - t 1 t 2 h t f x ˙ ( x + α h , x + α h ˙ , t ) d t α = 0 ;

since h ( t 1 ) = h ( t 2 ) = 0 , we have that

J ( x ; h ) = t 1 t 2 h ( t ) f x ( x + α h , x ˙ + α h , t ) - t f x ˙ ( x + α h , x ˙ + α h ˙ , t ) d t α = 0 , = t 1 t 2 h ( t ) f x ( x ( t ) , x ˙ ( t ) , t ) - t f x ˙ ( x ( t ) , x ˙ ( t ) , t ) d t .

It follows that for J ( x ; h ) = 0 for all feasible directions α , we must have

f x ( x ( t ) , x ˙ ( t ) , t ) - t f x ˙ ( x ( t ) , x ˙ ( t ) , t ) = 0 ,

which provides the following condition on the solution x ( t ) of the problem [link] :

f x ( x ( t ) , x ˙ ( t ) , t ) = t f x ˙ ( x ( t ) , x ( t ) , t ) .

This condition is known as the Euler-Lagrange equation.

Example 1 Looking for a function x ( t ) C [ t 1 , t 2 ] that minimizes the length of the path (curve) between the points ( t 1 , c 1 ) and ( t 2 , c 2 ) , as shown in [link] .

Example of a calculus of variations problem: finding the curve connecting two points that achieves minimum length, which is computed in a differential fashion.

In this case, we can consider increments of the curve's length l in terms of differences of the input d t and the output d x :

d L = d t 2 + d x 2 = d t 1 + d x d t 2 d t 1 + x ˙ 2 ,

and by integrating both sides we get that

L = t 1 t 2 d L = t 1 t 2 1 + x ˙ 2 d t = t 1 t 2 f ( x , x ˙ , t ) d t ,

where we have written f ( x , x ˙ , t ) = 1 + x ˙ 2 , and the problem has set the boundary conditions x ( t 1 ) = c 1 , x ( t 2 ) = c 2 . Thus, we have a calculus of variations problem.

To obtain the solution to this problem, we set up the Euler-Lagrange equation:

f x ( x , x ˙ , t ) = 0 , f x ˙ ( x , x ˙ , t ) = 1 2 · ( 1 + x ˙ ) - 1 2 · 2 x ˙ = x ˙ 1 + ( x ˙ ) 2 , 0 = d d t f x ˙ ( x , x ˙ , t ) ;

in words, f x ˙ ( x , x ˙ , t ) must be a constant as a function of t , which implies that x ˙ ( t ) must be a constant function of t ; such a function with constant first derivative is a straight line. Therefore, the shortest path between the two aforementioned points is obtained by the straight line that connects them.

Example 2 Consider a retirement plan with the following constraints:

  • Your current capital is S dollars, and ideally by the end of your life you will have spent it all; that is, if x ( t ) is your capital at time t , then x ( 0 ) = S and x ( T ) = 0 .
  • Your expense rate is given by the function r ( t ) , and spending r dollars gives you a quantifiable amount of enjoyment u [ r ( t ) ] .

The goal of the planning is to maximize your total enjoyment:

0 T e - β t u [ r ( t ) ] d t ,

where the exponential weights enjoyment to specify that enjoyment decreases with age. The change in your capital is given by its derivative, which must account for your expense rate and the return on investment:

x ˙ = - r ( t ) + α x ( t ) ,

where α > 1 . The problem is thus to maximize the function of your capital function

J ( x ) = 0 T e - β t u [ α x ( t ) - x ˙ ( t ) ] d t = 0 T f ( x ( t ) , x ˙ ( t ) , t ) d t ,

which together with the initial constraints gives us a calculus of variation problem. Thus, once again, we set up the Euler-Lagrange equation: if we denote u ' [ r ] = d d r u [ r ] , then

f x ( x , x ˙ , t ) = α e - β t u ' [ α x ( t ) - x ˙ ( t ) ] , f x ˙ ( x , x ˙ , t ) = e - β t u ' [ α x ( t ) - x ˙ ( t ) ] , t f x ˙ ( x , x ˙ , t ) = β e - β t u ' [ α x ( t ) - x ˙ ] - e - β t t u ' [ α x ( t ) - x ˙ ( t ) ] .

So we obtain

α e - β t u ' [ α x ( t ) - x ˙ ( t ) ] = β e - β t u ' [ α x ( t ) - x ˙ ] - e - β t t u ' [ α x ( t ) - x ˙ ( t ) ] , ( β - α ) u ' [ α x ( t ) - x ˙ ( t ) ] = t u ' [ α x ( t ) - x ˙ ( t ) ] .

Now we can switch back to the rate of expense r ( t ) = α x ( t ) - x ˙ ( t ) to get

( β - α ) u ' [ r ( t ) ] = d d t u ' [ r ( t ) ] ,

which is a differential equation. The solution for u ' [ r ( t ) ] is therefore given by

u ' [ r ( t ) ] = u ' [ r ( 0 ) ] e ( β - α ) t .

To move forward, we need to select a candidate form for the utility function u . Our goals for this function is to showcase a diminishing marginal enjoyment as one spends increasing amounts of money (i.e., u ' [ m ] 0 as m ) and a sense of significantly increasing enjoyment as the amount of money spent is small but increasing (i.e., u ' ( 0 ) = ). A candidate function that obeys these two conditions is u [ m ] = 2 m 1 / 2 , which provides u ' [ m ] = m - 1 / 2 ; replacing in [link] , we get that the rate of expense must obey

r ( t ) - 1 / 2 = r ( 0 ) - 1 / 2 e ( β - α ) t , r ( t ) = r ( 0 ) e 2 ( α - β ) t .

Connecting back to the capital function, we get that

α x ( t ) - x ˙ ( t ) = r ( 0 ) e 2 ( α - β ) t ,

which is another differential equation. The solution to this equation is

x ( t ) = e α t x ( 0 ) + r ( 0 ) α - 2 β ( e α t - e 2 ( α - β ) t ) .

In this equation we can replace x ( 0 ) = S ; assuming α > β > α / 2 , we can find r ( 0 ) by setting T = 0 above; since x ( T ) = 0 , we get

r ( 0 ) = ( 2 β - α ) x ( 0 ) 1 - e ( α - 2 β ) T = ( 2 β - α ) S 1 - e ( α - 2 β ) T .

Therefore, the final solution to the problem is

x ( t ) = e α t S - S 1 - e ( α - 2 β ) T ( e α t - e 2 ( α - β ) t ) , = e α t S e ( α - 2 β ) t - e ( α - 2 β ) T 1 - e ( α - 2 β ) T .

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Signal theory. OpenStax CNX. Oct 18, 2013 Download for free at http://legacy.cnx.org/content/col11542/1.3
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Signal theory' conversation and receive update notifications?

Ask