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
2
votes
1 answer

An MCQ for finding the extremal of the 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$ $y(x) =…
2
votes
0 answers

calculus of variations with free endpoint

I have a Lagrangian $L(x,\dot x)$ and want to solve $$\arg\min_{\gamma(t)} \int_0^\infty L(\gamma, \dot \gamma)\,dt$$ subject to holding only one of the endpoints fixed: $\gamma(0) = \gamma_0$. Now I can solve this problem by introducing a new…
user7530
  • 49,280
2
votes
1 answer

Solving a functional problem with break points

I'm totally out with solving functional problems when we need to find broken extremals, can someone show me how to solve the following problem: Can the following problem have break (corner) points? Find extremum which could have on corner point…
jjepsuomi
  • 8,619
2
votes
1 answer

When the Euler Lagrange equation simplifies to zero

My question is rather simple, and I'm sure I'm missing something simple, and yet... I'm trying to calculate the Euler Lagrange Equations for the example function here: http://en.wikipedia.org/wiki/First_variation $E(y(x)) = \int yy'dx$ From what I…
Tim
  • 45
  • 4
2
votes
1 answer

Calculus of variations with double integral, inner integral's upper limit is outer variable of integration

I want to find the function $\gamma(t)$ that makes the following stationary. $S(t) = \int_0^t \gamma(t'') \Big(\beta\int_0^{t''}(1-\gamma(t'))dt' + e_0\Big) dt''$ Constraints: $\beta\gt0$, $e_0\ge0$, $1\ge\gamma(t)\ge0$ for all $t$. Can this be…
Andrew
  • 61
2
votes
1 answer

Proof of Fundamental Lemma of Calculus of Variations

Let me preface this question by saying I'm actually a physicist, not a mathematician, so a lot of the language I see you guys using here is over my head, so if you can keep it simple, that would be preferable. The fundamental lemma of calculus of…
2
votes
1 answer

What does this sentence regarding the Riemannian metric mean?

I am slowly working through a text on ordinary differential equations and I don't understand what this particular exercise is even asking of me. The exercise says to determine the geodesics in $\mathbb{R}^3$ of the cylinder with unit radius with…
JessicaK
  • 7,655
1
vote
1 answer

Inverse optimization problem

This may seem like a weird question, but it's something which has been intriguing me for quite a while. In the Calculus of Variations we are told to find the extrema of a functional defined over a certain set, but has nobody tried to solve the…
1
vote
1 answer

variation of functional

A little confused about finding the variation of the functional J = $\int_{t0}^{tf}(e^{x_1(t)+x_2(t)})dt$ When I perturb and find the increment, I get: $\Delta J = \int_{t0}^{tf} (e^{x_1(t) + \delta x_1(t) + x_2(t) + \delta x_2(t)} - e^{x_1(t) +…
1
vote
1 answer

extremal problem-how to check istrong minima,maxima condition

The functional $I[y(x)]=\int_{0}^{2}(xy^{'}+y^{'2})dx,y(0)=1,y(2)=0$ possess a.strong minima b.strong maxima c.strong maxima but not weak minima d.weak maxima but not strong minima How do we show if the functiona is strong minima,maxima..how do we…
amit
  • 295
  • 1
  • 4
  • 17
1
vote
1 answer

Variation of the determinant of a Jacobian

I am following a derivation in a Calculus of Variation problem. After introducing a one-parameter family of one-to-one mappings from $R^{2}$ to itself, $$z({x},\epsilon)$$, $x = (x_1,x_2)$, such that $$z({x},0) = x$$. The mapping is used for a…
An aedonist
  • 2,568
1
vote
0 answers

Finding extremals over y in two ways

We can find the extremal of $$\int_0^1(\frac{1}{2}y'^2+yy'+y'+y)dx$$ amongst all y with $y(0)=1$ by imposing the natural boundary condition $\frac{\partial F}{\partial x}=y'+y+1=0$ at $x=1$.Solving this gives $$y=2e^{-x}-1$$ How do we do this by…
Nicky
  • 13
1
vote
0 answers

Non-standard applications of Noether's theorem

The particular "Noether's theorem" that I'm referring to is the one that appears in the calculus of variations: if the Lagrangian in a variational problem is invariant under a one parameter group of diffeomorphisms then the corresponding "Noether…
Paul Siegel
  • 9,117
1
vote
0 answers

Integrating a Functional

Reading the quote the so called "Feynmann path integral", which, as far as I understand, means "integrating" a functional (action) on some infinite-dimentional space of configurations (fields) of a system. leaves me wondering, how does one set up…
bolbteppa
  • 4,389
1
vote
1 answer

Question about variational principles involving light rays.

In question 9 (see this link: http://view.samurajdata.se/psview.php?id=28b2e4b5&page=1 ), I've shown the light rays are follow a parabolic paths using the Euler-Lagrange equation and Fermat's principle. How do I obtain the expression given relating…