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
3
votes
2 answers

Boundedness of Extremal

This question was asked in CSIR NET December 2017. $I[y]=\int_{0}^{1}\frac{1}{2}[(y')^{2}-4π^{2}(y)^{2}]dx$ Let $(P)m= \inf\{I[y]: y\in C^{1}[0,1], y(0)=0,y(1)=0\}$ Let $y_{0}$ satisfy the Euler-Lagrange Equation associated with $(P)$. Then…
S.S
  • 1,207
3
votes
0 answers

A lemma stated by Jacob Bernoulli. In Mathematics, is that lemma known as the fundamental lemma of calculus of variations?

I'm posting this question here as it is purely a mathematical question. About a week ago, on Physics.stackexchange, I posted an answer to the following question: Euler-Lagrange Equation: From boundary value to initial value problem As is recounted…
Cleonis
  • 186
3
votes
1 answer

Prove $\int_{-1}^{1} x^4(y')^2 dx$ doesn't have minimum over S

I'm taking an introductory course in the calculus of variations and have this question (From Bruce van Brunt "The calculus of variations" 2.2.5.b): Let J be the functional defined by $$ J(y)=\int_{-1}^{1} x^4(y')^2 dx $$ Without resorting to the…
3
votes
1 answer

variational calculus

$f,g$ are continuous function $[a,b]$.Suppose $$\int_a^b{f(t)h(t)+g(t)h'(t)}dt = 0$$ for every $h$ belonging to $C^1[a,b]$ with $h'(a)=h'(b)=0$. Why it is true that (1)$\int_a^bf(t)dt=0$---->This is clear. (2)$g$ belongs to $C^1[a,b]$ and $g'=f$ I…
Shen
  • 123
3
votes
1 answer

Brachistochrone Problem Query

In recent Calculus of Variations lecture, I learnt about the Brachistochrone problem and its solution. For those who don't know, it is a standard problem in dynamics which is often used as a motivating example in introductions to functional…
3
votes
2 answers

Help with Gelfand and Fomin section 3 theorem 2, calculus of variations

This question is probably pretty stupid, but I can't figure it out so... I'm trying to read Gelfand and Fomin's "Calculus of Variations" and on page 12, for some functional $J$ on a normed vector space $S$ they first define: $$\Delta J [y;h] =…
3
votes
0 answers

Proof of the time to get to the bottom of the brachistochrone curve (cycloid)

In the exercise, we have to prove that the time to get to the lowest part of this curve is $\pi \sqrt{\frac{a}{g}}$ no matter the initial point (which I am considering as $\theta = \alpha$). I have done the following $y = a(\theta -…
3
votes
1 answer

Show that the arc length integral is continuous in $C^1$

I came across this question and I am not sure how to prove it. Show that the arc length integral is continuous in $C^1$.
3
votes
1 answer

How to prove that $y$ is a minimiser for a certain functional $J$?

The problem Consider the functional $$J(y)=\int_a^b (y')^2 \, \mathrm{d}x$$ where $y \in D = C^{1,\mathrm{pw}}[a,b] \cap \{ y(a)=A,y(b)=B \}$ (the usual domain in the calculus of variations). We are told this functional is known as the "Dirichlet…
JoieNL
  • 225
3
votes
1 answer

Why is the variation of a derivative the same as the derivative of the variation?

An example of this is with regard to the variation of the Lagrangian density $\mathcal{L}(\phi(x^{\mu}),\partial_{\mu}\phi)$: $$ \delta\mathcal{L}=\frac{\partial{\mathcal…
3
votes
1 answer

Direct Method of Variationcalculation

Consider the Bolza problem $$ \inf\left\{F(u)=\int\limits_0^1 ((1-u'^2)^2+u^2)\, dx, u\in W^{1,4}(0,1), u(0)=0=u(1)\right\}. $$ Show that $\inf F(u)=0$, but that it does not exist an $u_0$ with $F(u_0)=0$. Hello! To my opinion the fist step is to…
user34632
3
votes
2 answers

What is the first variation of an indicator function?

I read in a paper which wants to find the minimizer to the following energy function $$J(u) = \int_{\Omega} |\nabla u|^2 + \chi(\{u>0\})Q^2 dx $$ where $Q$ is a measurable function and $\chi$ is the indicator function. I also read in another paper…
1024
  • 565
3
votes
1 answer

Minimizing an integral with variable endpoints

I am trying to minimize the following functional: $$ J[y]=\int\limits_0^T{\frac{\sqrt{1+y'(x)^2}}{y(x)}dx}, $$ $$ y(0)=1, ~ T-y(T)=1, $$ where $T$ is variable. Using the necessary conditions I've found that $$ (y(x),~T) =…
ivust
  • 359
3
votes
1 answer

Difficulty in solving calculus of variation problem.

I am having difficulty setting $F(x,y_1,y_2,y_1^{'},y_2^{'})$ of the following question. any help will be appreciated. $$v(y_1,y_2)=\displaystyle\int_{0} ^ {1}(y_1+y_2)dx$$ $$\ y_1(0)=y_2(0)=0$$ $$ y_1(1)=1 ,\ y_2(1)=-3 $$ $$\displaystyle…
zafran
  • 904
3
votes
3 answers

Euler-Lagrange equation has no solution

I need to find a function $f(x)$ that maximizes a functional: $$ J(f)= \int\limits_{-\infty}^{+\infty} e^{-x^2/2}f(x) \,dx$$ Where $$f(x)>0 \ \text{ and} \int\limits_{-\infty}^{+\infty} f(x) \,dx = 1$$ Euler-Langrange equation will simply be: $$…
grozhd
  • 962