Calculate the extreme value of functional

  • Thread starter Thread starter skrat
  • Start date Start date
  • Tags Tags
    Functional Value
Click For Summary
SUMMARY

The discussion focuses on calculating the extreme value of the functional I(y) = ∫₀² y'(2 + e^x y') dx, where y is a continuously differentiable function satisfying y(0) = 0. The Euler-Lagrange equation is applied, leading to the conclusion that y must be identically zero, resulting in I(y) = 0. However, a critical condition regarding the derivative at x=2 is highlighted, which corrects the initial assumption and leads to the correct solution y(x) = e^{-x} - 1.

PREREQUISITES
  • Understanding of the Euler-Lagrange equation in calculus of variations.
  • Familiarity with functional analysis and continuous differentiability (C¹ functions).
  • Knowledge of integral calculus, particularly with respect to functionals.
  • Basic concepts of optimization in mathematical functions.
NEXT STEPS
  • Study the application of the Euler-Lagrange equation in different functional optimization problems.
  • Explore conditions for extrema in calculus of variations, particularly boundary conditions.
  • Learn about the implications of continuously differentiable functions in functional analysis.
  • Investigate advanced topics in functional analysis, such as the Legendre condition for optimality.
USEFUL FOR

Mathematicians, students of calculus of variations, and anyone involved in optimization problems in mathematical physics or engineering.

skrat
Messages
740
Reaction score
8

Homework Statement


We have functional ##I(y)=\int_{0}^{2}{y}'(2+e^x{y}')dx## where ##y\in C^1(\mathbb{R})## and ##y(0)=0##. Calculate the extreme value.

Homework Equations


The Attempt at a Solution



I am having some troubles here... :/

From Euler-Lagrange equation we get ##\frac{\partial L}{\partial y}-\frac{\mathrm{d} }{\mathrm{d} x}\frac{\partial L}{\partial {y}'}=0## where first part is obviously ##\frac{\partial L}{\partial y}=0## and the second part tells me that ##\frac{\partial L}{\partial {y}'}=konst.=C##.

So ##(2+e^x{y}')+{y}'e^x=C##

##e^x{y}'=\frac{C}{2}-1=D##, where D is just another constant...

##{y}'=De^{-x}## so

##y=-De^{-x}+E##

Now we know that ##y(0)=0## so ##y(0)=-D+E=0## therefore ##E=D##. The second condition says that ##\frac{\partial }{\partial {y}'}L(2)=0##.

Than ##(2+e^x{y}')+{y}'e^x=0## so ##{y}'=0##.

From ##y=-De^{-x}+E## we get that ##{y}'=De^{-x}##, therefore ##{y}'(2)=De^{-2}=0## and this gives me ##D=0## (remember that ##E=D##).

So everything together tells that ##y## is actually ##y\equiv 0## and also ##I(y)=0##.I seriously doubt that this is right? :/
 
Physics news on Phys.org
skrat said:

Homework Statement


We have functional ##I(y)=\int_{0}^{2}{y}'(2+e^x{y}')dx## where ##y\in C^1(\mathbb{R})## and ##y(0)=0##. Calculate the extreme value.

Homework Equations


The Attempt at a Solution



I am having some troubles here... :/

From Euler-Lagrange equation we get ##\frac{\partial L}{\partial y}-\frac{\mathrm{d} }{\mathrm{d} x}\frac{\partial L}{\partial {y}'}=0## where first part is obviously ##\frac{\partial L}{\partial y}=0## and the second part tells me that ##\frac{\partial L}{\partial {y}'}=konst.=C##.

So ##(2+e^x{y}')+{y}'e^x=C##

##e^x{y}'=\frac{C}{2}-1=D##, where D is just another constant...

##{y}'=De^{-x}## so

##y=-De^{-x}+E##

Now we know that ##y(0)=0## so ##y(0)=-D+E=0## therefore ##E=D##. The second condition says that ##\frac{\partial }{\partial {y}'}L(2)=0##.

Where do you get this condition from? All that's stated in the problem is that [itex]y(0)= 0[/itex] and [itex]y[/itex] is once continuously differentiable. We know that [itex]\dfrac{\partial L}{\partial y'} = 2(1 + D)[/itex] is constant, but without more information we cannot determine that constant (although we can choose it such that [itex]dI/dD = 0[/itex]).

Assuming you've omitted that condition from the problem, your error is here:
Than [itex](2+e^xy′)+y′e^x=0[/itex] so [itex]y′=0[/itex].

If [itex]\left.\dfrac{\partial L}{\partial y'}\right|_{(x=2)} = 2(1 + e^2 y'(2)) = 0[/itex] then [itex]y'(2) = -e^{-2} \neq 0[/itex].
 
pasmith said:
Where do you get this condition from? All that's stated in the problem is that [itex]y(0)= 0[/itex] and [itex]y[/itex] is once continuously differentiable. We know that [itex]\dfrac{\partial L}{\partial y'} = 2(1 + D)[/itex] is constant, but without more information we cannot determine that constant.

That's something that should be true in general, at least my professor said so. So if one condition ##y(a)=c## is given the other one is ##\frac{\partial }{\partial {y}'}L=0## calculated for ##x=b##. We've probably also proven that.

pasmith said:
Assuming you've omitted that condition from the problem, your error is here:


If [itex]\left.\dfrac{\partial L}{\partial y'}\right|_{(x=2)} = 2(1 + e^2 y'(2)) = 0[/itex] then [itex]y'(2) = -e^{-2} \neq 0[/itex].

You are right. My mistake. Taking that into account, ##D=E=-1## so ##y(x)=e^{-x}-1##.
 

Similar threads

Replies
5
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K