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
1
vote
0 answers

Calculus of Variations (Gelfand and Fomin) - Ambiguity in the definition of variation of a functional

In the book "Calculus of Variations" by Gelfand and Fomin, (continuous) linear functionals are defined as follow in the image: The fact that continuous is in parentheses seems to suggest that they implicitly assume that linear functionals they…
dylan
  • 37
1
vote
0 answers

Extremal subject to integral constraint

I am trying to find the extremal of $$I[y] = \int_{-1}^{1}{y}dx$$ Subject to the constraint $$\int_{-1}^{1}y^2+y’^2dx=1$$ And boundary conditions $y(-1)=y(1)=0$. I used the Lagrange multiplier and Euler Lagrange equations to find that the general…
1
vote
0 answers

Minimal surface functional independent on $\theta$

Suppose we have a minimization problem $F(u(x))=\int_A \sqrt{1+|\nabla u|^2}dA$, where $A$ is a ring such that $1<|x|<2$. After going to the polar coordinates we obtained: $$ F(\varphi(r,\theta))=\int_A…
1
vote
1 answer

Is this stronger version of the fundamental lemma of the calculus of variations true?

The fundamental lemma of the calculus of variations, as it is most commonly defined, says that if $g(x)$ is continuous on an interval $[a,b]$ and $$\int_a^b g(x)h(x) dx = 0$$ for an arbitrary infinitely differentiable $h(x)$ s.t. $h(a) = h(b) = 0$,…
1
vote
1 answer

Extreme value of $S$

Define $$S(y)=\int_{O}^{P}y'^2+yy'+y^2 dx$$ where $y(x)$ is an arbitrary curve connecting $O=(0,0)$, $P=(1,1)$. Show that $S$ is extremised when it is calculated along the curve $$y(x)=\frac{e^x-e^{-x}}{e-e^{-1}}$$ And show that this curve gives…
1
vote
0 answers

Weierstrass Erdmann conditions

If I want to minimize the functional $$J[y]=\int_0^{2\pi}(y'^2-y^2)dx$$ over piecewise $C^1$ and $y(0)=y(2\pi)=0$ one solution is obviously $y=0$. However the function $h$ which is $\sin(x)$ on $0
1
vote
0 answers

calculus of variations: does extremum squared give the same solution?

Do the following two integrals have the same solution? $J=\int^{{x}_2}_{{x}_1}f(y, \dot{y}, x)dx$, $J=\int^{{x}_2}_{{x}_1}f(y, \dot{y}, x)^2dx$. Several questions, such as shortest line in a plane, shortest line on a sphere, minimum surface of…
martian
  • 11
1
vote
1 answer

Quasiconvexity via dominated convergence theorem in Dacorogna

I am reading the proof of the Dacorogna formula for quasiconvex envelop on page 271 of the book Direct methods in the calculus of variations by Dacorogna (Theorem 6.9). In the beginning of step 3 of the proof. We have already…
1
vote
0 answers

Investigate whether the interval $[a,b]$ contains the conjugate points of $a$ as follows.

Given a functional $J[y]=\int_a^b (y^2+(y')^2-2ye^x) \ dx$. Investigate whether the interval $[a,b]$ contains conjugate points of $a$. Attempt: Let $F(x,y,y')=y^2+(y')^2-2ye^x$, we have $F_{y}=2y-2e^x$ and $F_{y'}=2y'$, so that $F_{yy}=2,…
lap lapan
  • 2,188
1
vote
1 answer

Minimizing the variational problem $ I(y(x)) = \int_{0}^1 e^{-y'(x)^2}dx $

This is a question from a mathematical contest. Let $X= \{ y \in C^1[0,1]| y(0)=y(1)=0 \}$. Define $I: X \to \mathbb{R}$ by: $$ I(y(x)) = \int_{0}^1 e^{-y'(x)^2}dx $$. Then which of the following are true: $I$ doesn't attain its infimum. $I$…
Kashif
  • 710
1
vote
0 answers

How to calculate this variation?

How to calculate the variation of the function $\Phi$ below, whose arguments are a vector and a scalar field, which occurs sometimes in fluid dynamics? $$ \Phi \left ( \vec{u}\,,\rho \right) = \bigtriangledown \times \vec{u}\cdot \bigtriangledown…
1
vote
1 answer

How is the first-order variation derived for an endpoint that is free to vary in both x and t?

When solving a calculus of variations problem with an endpoint that is free to vary in two dimensions (e.g. in t and x), it is necessary to relate the variation in $x_f$ with the variations in $x(t_f)$, and $t_f$, as seen here. According to the…
1
vote
1 answer

Verifying the solution of a calculus of variations problem

I am learning calculus of variations from the chapter in Mathematical Optimization and Economic Theory by Michael D. Intriligator (1971; it's what we had on the shelf). This question concerns the calculus of variations problem in a single spatial…
Max
  • 1,257
1
vote
1 answer

$\frac{d J}{d \alpha}$ or $\frac{\partial J}{\partial \alpha}$ in variational calculus

We've a functional $J(\alpha)=\int_{x_{1}}^{x_{2}} f\left\{y(\alpha, x), y^{\prime}(\alpha, x) ; x\right\} d x$ It's derivative with respect to the parameter $\alpha$ is given in textbook Classical Dynamics of Particles and Systems by Stephen T.…
Kashmiri
  • 547
1
vote
1 answer

Preserving the value of a functional after a small variation

In several (good) textbooks in calculus of variations one important step when dealing with the isoperimetric problem seems not to be properly addressed. The problem is as follows: let $G$ be a smooth enough function in three variables and…
Olod
  • 1,840