Questions tagged [calculus-of-variations]

This tag is for problems relating to the calculus of variations that deal with maximizing or minimizing functionals. This problem is a generalization of the problem of finding extrema of functions of several variables. In fact, these variables will themselves be functions and we will be finding extrema of “functions of functions” or functionals.

The calculus of variations seeks to minimize or maximize an entire functional's worth of parameters instead of changing just one parameter. It achieves this by applying standard calculus techniques to the integral of a functional, thereby reducing $\mathbb R \to \mathbb R$ to just one parameter $\in\mathbb R$.

In symbols one considers $\displaystyle\max \int f(x) \ker(x)$ $dx$ rather than $\max f(s)$.

Two famous applications of the calculus of variations are the brachistochrone problem and deriving the catenary shape of a rope hanging between two poles.

Some basic problems in the calculus of variations are:

$(i)$ find minimizers

$(ii)$ find necessary conditions which minimizers must satisfy

$(iii)$ find solutions (extremals) which satisfy the necessary conditions

$(iv)$ find sufficient conditions which guarantee that such solutions are minimizers

$(v)$ qualitative properties of minimizers, like regularity properties

$(vi)$ how do the minimizers depend on parameters?

$(vii)$ stability of extremals depending on parameters.

Application: A huge number of problems in the calculus of variations have their origin in physics where one has to minimize the energy associated to the problem under consideration. Nowadays many problems come from economics.

References:

https://en.wikipedia.org/wiki/Calculus_of_variations

http://mathworld.wolfram.com/CalculusofVariations.html

http://www.math.uni-leipzig.de/~miersemann/variabook.pdf

2968 questions
5
votes
0 answers

Constructing a Lagrangian whose Euler-Lagrange equation yields a Poisson bracket

I was wondering if it is possible to construct a Lagrangian $\mathcal{L}$ such that the first variation of the action $\mathcal{S}(f, g)$ in the second argument $g$ yields the Poisson bracket of $f$ and $g$? That is, can we find an $\mathcal{L}$…
Matthew Cassell
  • 4,248
  • 4
  • 21
  • 30
5
votes
3 answers

Find the extremal to the functional $J(y) = \int_{0}^{1} ((y')^2 -y)dx$ and discuss whether they provide a max/min

I am having a hard time getting my head around Functionals and Calculus of Variations, My question is: Given a functional and using the Euler-Lagrange equation to find an extremal, how do we show that the extremal provides a min/max (if it does) The…
Dan
  • 71
  • 1
  • 4
5
votes
4 answers

Curve enclosing the maximum area

the curve of fixed length $l$ that joins the points $(0,0)$ and $(1,0)$ lies above the $x-axis$ and encloses the maximum area between itself and the $x-axis$, is a segment of A straight line A parabola An ellipse A circle I don't know exactly how…
5
votes
2 answers

What does first and second approximations mean in this context?

In the Feynman lectures on physics, Feynman in talking about the principle of least action, discusses how we should be able to find the true path $x(t)$ which has the least action, and the way to do it he says: When we have a quantity which has…
Omar Nagib
  • 1,258
4
votes
1 answer

Isoperimetric problem in the calculus of variations

I'm trying to solve the following isoperimetric problem: A plane curve has length $l$ and end points at $(0, 0)$ and $(a, 0)$ on the positive $x$ axis. Show that the area $A$ under this curve is given by $$A = \int_0^l y\sqrt{1 - y'^2}ds,$$ where…
saurs
  • 1,377
4
votes
1 answer

Extremals of functional $J = \int_{a}^{b} F(x, y, y^{'})$

Consider a functional $$J = \int_{a}^{b} F(x, y, y^{'}),$$ where $F(x, y, y^{'}) = \frac{1 + y^{2}}{(y^{'})^2}$ for admissible function $y(x).$ Which of the following are extremals for $J$? $y(x) = A \sin x $ $y(x) = A\sinh(x) + B\cosh(x)…
user87543
4
votes
1 answer

Assumption that $\delta q'$ is small in the derivation of Euler-Lagrange equations.

I have never completely understood the justification of this step in the derivation of the E-L equation: $\delta L = L(q + \delta q, q' + \delta q', x) - L(q, q', x) = \partial_q L \delta q + \partial_{q'} L \delta q'$ This is only valid when both…
4
votes
1 answer

Is it possible to combine the Euler-Lagrange equations with the method of Lagrange multipliers?

In particular, say we seek a sufficiently smooth function $ u : [a,b] \to \mathbb{R} $ such that the solution $x$ to the differential equation with given initial conditions $$ G(x, x', \dots, x^{(n)} ; u, u', \dots, u^{(m)}) = 0, \quad x^{(k)}(0) =…
anon
  • 151,657
4
votes
3 answers

Procedure for Gâteaux Derivative with functionals

Not after an answer, just the method/procedure as I'm stumped... We have the functionals: $$ T[y] = \int_2^3 \left( 3\left| \frac{dy}{dx}\right|^2 - 8y \right)dx $$ $$ S[y] = \cosh(T[y]) $$ Now, to find the Gâteaux derivative of $S[y]$ my approach…
Mike
  • 461
4
votes
1 answer

Variational calculus

In variational calculus how many ways are there to define a variation, i.e. can it only be $$ \delta F(x) = \bar{F}(x) - F(x) \mbox{ , where } \bar{F}(x) = F(x + \delta x)$$ or is there another form? basically I want to know the definition of the…
user63407
4
votes
1 answer

In what function space, does the calculus of variations hold?

I only know that the calculus of variations holds for continuous function spaces. But does it work for non-smooth functions, like the functions with jumps or with some points having the property similar to the Dirac-delta function? Thanks a lot!
Ryan
  • 655
4
votes
0 answers

Calculus of variations

The particular function that extremises a certain functional $J$ among all the functions that render $L$ to another functional $K$ also gives an extremum to the functional $K$ among all the functions that give $J$ a presribed value. How would I go…
4
votes
0 answers

Calculus of variations - when $y'$ doesn't exist; example: the isoperimetric problem

The isoperimetric problem is the following: Among all curves of length L in the upper half-plane passing through the points $( - a, 0)$ and $(a, 0)$, find the one which together with the interval $[ - a, a]$ encloses the largest area. Solution from…
Rafael Deiga
  • 1,325
  • 8
  • 15
4
votes
1 answer

Catenary curve for minimum surface of revolution

Given two fixed points in plane, we can hang catenaries of different length. However maybe just one of them satisfies the minimum surface of revolution condition. Which one is that?
4
votes
2 answers

How to find the minimum length of $f(x)$

Let $f(0)=0, f(1)=t $ and $$ \int_0^1 f(x) dx = 1 $$ How find the minimum length of $f(x)$ in $[0, 1]$ ? For example when t=2, the minimum length of f(x) is the segment of OA (O is the origin and A=(1, 2)) But how find the minimum length when t=3…
c-2785
  • 361
1
2
3
21 22