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

Maximize integral of an integral

I'm trying to maximize an integral of a function that is itself an integral. I haven't used the constraint in my calculation, so I'm wondering if I have made a mistake. Any help would be appreciated.
Mike
  • 45
1
vote
0 answers

clarification regarding the extremization of a functional related to vibrating membrane

Recently I was studying to minimize a functional containing multiple integrals and found the following article in Wikipedia : Clearly the functional above has been divided into two parts, one corresponds to the plane region $D$, and another…
am_11235...
  • 2,142
1
vote
1 answer

How to check if stationary point is extremum?

In this question the solution of Euler–Lagrange equation is $y=x$ function. $L = (y')^3$ so $L''_{y'} = 6y'$ and is positive when $y=x$. But from the answer of Emanuele Paolini follows that it is not enough to $y$ be a minimum. So what is the…
Ashot
  • 4,753
  • 3
  • 34
  • 61
1
vote
0 answers

Extremals of a functional subject to integral constraint

I want to check if my solution is correct. Exercise: Find the extremals of the functional $$J(y) = \int_{0}^{1}\Big(10y^{2}(t) - y(t)\dot{y}(t) + 5\dot{y}^{2}(t)\Big)dt$$ subject to constraints $$ y(0) = 0,~y(1) = 1,~\int_{0}^{1}y(t)dt = 1.$$ My…
1
vote
0 answers

How does this proof of the Lemma of du Bois-Reymond generalize?

The lemma of du Bois-Reymond as given in the textbook "A fist course in variational calculus" by Mark Kot: The proof is as follows: The proof uses a specific variation $\eta(x)$, but I'm struggling to see how this generalizes to all possible…
Dahlai
  • 217
1
vote
0 answers

How to derive Snell's law through Fermat's principle?

It is an exercise from an textbook of Classical Mechanics. Specifically a chapter about calculus of variations. I would like a hint first. What I don't understand is how to apply Euler equation when $y(x)$ is defined by parts (is it a function $y_1$…
1
vote
0 answers

Find function in $W^{1,1}(0,1)$

I want to show that there is no minimizer for $F[u]:=\int \limits_{0}^{1} \sqrt{u(x)^2+u^{\prime}(x)^2}dx$ in $\mathcal{Z}:= \lbrace u \in W^{1,1}(0,1):u(0)=0 \; \; \text{and} \; \; u(1)=1 \rbrace $. The idea is to show at first that $F[u]\geq 1$…
McBotto.t
  • 452
1
vote
1 answer

Calculus of Variations (Gelfand & Fomin): Derivation of 2nd Variation

I'm having trouble understanding how Gelfand & Fomin go from $$ \begin{align} \Delta J[h] &= J[y+h] - J[y] \\ &= \int_a^b \left( F_y h + F_y' h' \right) \, dx + \frac{1}{2}\int_a^b \left( \bar{F}_{yy}h^2 + 2\bar{F}_{yy'}hh' +…
1
vote
1 answer

Clarification on Term Order of an Infinitesimal

I've seen several questions posted on this, namely What is the order of an infinitesimal? Determine the order of an infinitesimal. I'm asking this question because I've seen it pop up in variational calculus and want to make sure the answers in…
1
vote
0 answers

Derivatives of the eikonal

Let $y$ be an extremal function of the functional $$J[y]=\int_{x_1}^{x_2} L(x, y(x), y'(x)) \mathrm{d}x$$ So it satisfies the Euler-Lagrange equation: $$\frac{\partial L}{\partial y}-\frac{\mathrm{d}}{\mathrm{d}x}\frac{\partial L}{\partial…
Botond
  • 11,938
1
vote
1 answer

Existence of a minimizer by means of direct methodes

The following is given: Let $\Omega\subset \mathbb{R}^n$ be a bounded, connected open set with Lipschitz boundary. Let $f\in C^0(\overline{\Omega}\times \mathbb{R}\times \mathbb{R}^n)$, $f=f(x,u,\xi)$, satisfy H1) $\xi\mapsto f(x,u,\zeta)$ is convex…
Idun E.
  • 478
1
vote
0 answers

rate-distortion function: derivative of a functional

My question concerns the answer on this post: Characterisation of the rate distortion function: issue with functional derivative What do the symbols $\delta_{x',x_0}$ and $\delta_{\hat{x}_0,\hat{x}}$ mean; in particular, how is the third line…
Zed
  • 174
1
vote
1 answer
1
vote
0 answers

calculus of variations: To find the angle at which the boundary point slides

Consider the functional $ I(y(x))=\int_{x_0}^{x_1}{f(x,y) \sqrt{1+y'^2} e^{\tan^{-1}{y'}}}dx$ where $f(x,y)\ne 0$. Let the left end of the extremal be fixed at the point $ A(x_0, y_0) $ and the right end $ B(x_1, y_1) $ be movable along the curve…
Priyanka
  • 437
1
vote
0 answers

Limit Definition of Functional Derivative for multifunction functionals

Imagine variational calculus on nonlinear multifunction functionals. Let $C^k[a,b]$ denote the set of all $k$ times differentiable functions from $[a,b]$ to $\mathbb{R}$. Now consider a functional $F[\mu,\lambda]:C^k[a,b] \times C^k[a,b] \to…