Questions on the calculus of variations, a subfield of calculus that deals with the optimization of functionals.

learn more… | top users | synonyms

1
vote
0answers
18 views

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 ...
0
votes
1answer
25 views

An application of the mountain pass lemma

I am trying to show the existence of classical solution for the following problem using the mountain pass theorem : $$ \left\{ \begin{array}{ccccccc} u^{''} + \lambda u + u³ = 0 (0<t<\pi)\\ ...
0
votes
0answers
7 views

How does invariance of $q$ wrt $\lambda$ for a stationary functional, restrict the function?

Suppose I have the following functional: $$S(q) = \int_{b}^{a}L(t, q(t), q'(t))dt$$ and $q(t) = x(t) + \lambda$, where $\lambda$ is a constant independent of t. If $S(q)$ is stationary for a ...
1
vote
0answers
12 views

Semilinear Poisson Equation Using Direct Method of Calculus of Variations

The following problem comes from: http://people.physics.anu.edu.au/~gvn105/analyticMethPDE.pdf 12.9 Exercises 12.3: Let $\Omega$ be a bounded domain in the plane with smooth boundary. Let $f$ be ...
0
votes
0answers
24 views

Case C: Euler's equation in Simmon's textbook

Working through Simmons' Differential Equations with Applications and Historical Notes and we're stuck in Case C, page 360. Case C: If x is missing from the function $f(x,y,y')$, then Euler's ...
2
votes
1answer
28 views

bilinear continuous, coercive form

Let $k\in \mathbb{R}, k\neq 1$, consider the space $$ V = \{u\in H^1(0,1): u(0) = ku(1)\}$$ Let $$a(u,v) = \int_0^1 (u'v'+ uv)\; dx - \left(\int_0^1 u\; dx\right) \left(\int_0^1 v\; ...
11
votes
1answer
280 views

A variation of the isoperimetric problem in the plane

The isoperimetric problem in the plane: « The classical isoperimetric problem dates back to antiquity. The problem can be stated as follows: Among all closed curves in the plane of fixed ...
2
votes
1answer
37 views

Differential of Lagrangian

My professor wrote this $\frac{\partial L}{\partial q}\dot{q}=\frac{d}{dt}(\frac{\partial L}{\partial \dot{q}})$. Due to the fact that I am very very very very bad at Math, could you explain me about ...
0
votes
1answer
24 views

Euler Lagrange Theorem doubt

When applying the euler lagrange equation, if we ever obtain $\partial$y/$\partial$y' where y' is dy/dt why do we take it to be zero?
3
votes
2answers
59 views

What is the most elementary but still correct according to the most rigorous standard proof of the isoperimetric inequality?

Can you write the most elementary proof of the isoperimetric inequality (but still correct according to the most rigorous standard )? $$l^2> 4πA$$
0
votes
1answer
12 views

about lower semicontinuous functional

Let $X$ a topological space.My book define : A functional $\varphi: X \rightarrow R$ is lower-semicontinuous (l.s.c) if $\varphi^{-1}(a, + \infty)$ is open in $X$ for any $a \in R.$ (1) And the book ...
1
vote
0answers
37 views

Existence of a Minimizer $h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $

given the following functional $h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $ with $\rho>0$ , $\|\rho\|_1 = 1$ and obviously $\rho\in L^1(\mathbb R^3)$. Can I see ...
0
votes
0answers
24 views

Isoperimetric inequality proof [duplicate]

Can someone give me a neat clear proof (the most simple but rigorous avaiable) of the isoperimetric inequality $L^2> 4πA$?
1
vote
0answers
22 views

Image histogram equalization using variational calculus

In an image processing course at Coursera.org, on the section on PDE and calculus of variations, the professor gave the following as the functional to be optimized for image histogram modification: ...
3
votes
1answer
136 views

Finding the shortest path length on a curved surface(hyperboloid)

I wish to find the minimum path length between two points $P_1(\sqrt2,0,-1)$ and $P_2(0,\sqrt2,1)$ on a hyperbolic surface $S =\{(x,y,z)\in R^3\ |\ x^2+y^2-z^2=1\}$ I faintly recall studying ...
2
votes
2answers
88 views

Function extremal - calculus of variations

Find a curve passing through (1,2) and (2,4) that is an extremal of the function: $J(x,y')=\int_1^2 xy'(x)+(y'(x))^2dx$ I don't know what methods to use at all.
0
votes
1answer
40 views

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 ...
0
votes
0answers
34 views

Calculus of variation derivative

$f(x)=\frac{y'(x)}{x}$ Want to find $m=\frac{d}{dx} \frac{\partial f}{\partial y'(x)}$ Calculation: $\frac{\partial f}{\partial x} = \frac{2y'}{x}$ $m=2y"+\frac{2y'}{x}$ Is this correct?
9
votes
1answer
144 views

Equivalence of variational inequalities

Let $\phi \colon \mathbb R^n \to \mathbb R$ be convex, proper and lower semi-continuous (lsc). Let $M$ be a measurable subset of $\mathbb R^n$. We can define a functional $\Phi \colon L^2(M) \to ...
0
votes
1answer
24 views

Is this differentiation correct?

$J(x,y')=\int_1^2 xy'(x)+(y'(x))^2dx = \int_1^2{f(y,y^\prime,x)}$ Need to find $\frac{d}{dx}(\frac{\partial f}{\partial y^\prime})$ $\frac{\partial f}{\partial y^\prime}=x+2y'(x)$ ...
3
votes
3answers
353 views

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

Converse of Noether's (first) theorem

Noether's (first) theorem states that if a Lagrangian $L$ admits a continuous symmetry, then the following quantity are conserved. $$\left(\frac{\partial L}{\partial \dot q}\cdot\dot ...
0
votes
1answer
34 views

Elliptic partial differential equations

Consider the following elliptic PDE: $$ \Delta u=f(u), $$ where $f(u)$ is a smooth function. Which references (books, papers,...etc.) about existence of solutions for this PDE do you recommend to have ...
2
votes
0answers
85 views

Calculating the maximum of a function

How can one determine $$\max_{f_0,f_1}\frac{\int_{\mathbb{R}}f_1(y)^xf_0(y)^{1-x}\log\left(\frac{f_1(y)}{f_0(y)}\right)\mbox{d}y}{\int_{\mathbb{R}}f_1(y)^xf_0(y)^{1-x}\mbox{d}y}$$ given ...
2
votes
0answers
82 views

Calculus of variations for implicitly defined functional

I would like to minimize a functional of the type: $$L[\gamma]=\int_a^b F(T(\gamma(t))dt$$ on the space of paths $\gamma$, where $T=T(\gamma,t)$. Now, usually I would simply apply Euler-Lagrange's ...
0
votes
1answer
23 views

how to introduce time into calculus of variations for image processing?

I'm studying some topics about calculus of variation applied to image processing. I'd like to understand how to introduce time parameter to evolve an image in an iterative way. For example, let's ...
1
vote
1answer
36 views

How to take derivative?

Find a curve passing through (0,0) and (1,1) that is an extremal of the function $${\rm J}\left(x,y,y'\right)= \int_{0}^{1}\left[ y'^{\,2}\left(x\right ) + 12\,x\,{\rm y}\left(x\right)\right]\,{\rm ...
1
vote
0answers
47 views

Euler–Lagrange equation

Does this PDE $\nabla\cdot( \frac{ \nabla u}{u} )+a\, \Delta u+b\,u=0$ (*) have a variational structure? Here $a$ and $b$ are constants. In other words, the question I am asking is: Does there ...
2
votes
0answers
29 views

Sufficient conditions for the use of the Beltrami identity

For reference, I shall use the notation used in the wikipedia article for the Beltrami identity in the application section (http://en.wikipedia.org/wiki/Beltrami_identity) In the article, the ...
3
votes
1answer
206 views

Derivation of Euler-Lagrange equation

Here is a simple (probably trivial) step in the derivation of the Euler-Lagrange equation. If we denote $Y(x) = y(x) + \epsilon \eta(x) $, I want to know why is $\dfrac{\partial ...
1
vote
2answers
52 views

Existence of solution in Hölder spaces

Let's say we have a PDE, for example the Laplace equation: $$ \Delta u = f. $$ Usually, to solve such a thing, one finds its variational formulation, and solves it in some Sobolev space. My question ...
1
vote
0answers
54 views

Stationary action functional

The last part in the derivation of the Euler-Lagrange equations for a stationary action has me confused. It's about the order of differentiation and evaluation, and whichever comes first. I'll ...
0
votes
0answers
20 views

The Volterra derivative of a functional with an argument being a second order derivative.

An exercise demands that we calculate the Volterra derivative of a functional $\Phi(x)(t)$ with respect to argument $x(t)$: $\Phi (x)(t) = x''(t) + \int_a^b \int_a^b K(t,s_1,s_2,x(s_1),x(s_2)) ~dx $, ...
0
votes
2answers
60 views

Calculus of Variations

In the Calculus of Variations there is a passage from Euler's characteristic equation: $$ \frac {\partial F}{\partial y} - \frac {d}{dx} \left(\frac {\partial F}{\partial y'} \right)=0 $$ in ...
2
votes
2answers
31 views

A variational problem with a lagrangian , what is the lagrangian?

given the 2 PDE $$ \Delta u-au_{tt}+u_{t}=0$$ and $$ \Delta u + Du*Df=0 $$ here $ \Delta u $ is the Laplacian $ Du= grad(u) $ is the gradient and * means scalar product $u_{t} = \frac{\partial ...
2
votes
0answers
38 views

What methods are available for this optimization problem?

I have an intermediate knowledge of the calculus of variations: I can handle constraints in functional or integral forms and extrapolate to multiple variables and functions. If I dig in my notebooks I ...
0
votes
0answers
14 views

Spectrum of operator with unknown function

I'm working on a variational problem in elasticity which involves a hefty number of Lagrange multipliers. I have calculated the second variation to be [; \int ds ~h \left[ \frac{d^4 }{ds^4 } + ...
0
votes
1answer
47 views

Calculus of variation: Reduce the order of a differential equation using a 1 parameter lie group adfmitted by it.

We are asked to reduce $y^"+y-y^{-3}=0$ using $X= \sin2x\frac{\partial}{\partial x}+y\cos2x\frac{\partial}{\partial y}$ I know we have to find the first prolongation of X and solve $X^1$F=0 using ...
1
vote
2answers
29 views

Reading Speed for Constant Time to Finish

You open a very long new book on your e-reader and read a few pages. It helpfully informs you that based on your reading speed you have 16 hours of reading left until you are done. You read the rest ...
0
votes
1answer
28 views

Counterexample for the Chain rule for the Gateaux-derivative

I'm reading the book of Drabek, Milota - Methods of Nonlinear Analysis, and at page 121, they state: but I can't manage to find such counterexample. For clarity the Gateaux derivative is defined ...
0
votes
0answers
26 views

Minimising line integral over a scalar field part 2

This is a continuation of this question whose general point is summarised below Say we want to find a path $y=y(x)$ in the scalar field $S(x,y)$ that finds the extrema of of its line integral. ...
1
vote
0answers
25 views

variational problem: obtain the lagrangian from the PDE equations of motion [duplicate]

given the 2 PDE $$ \Delta u-au_{tt}+u_{t}=0$$ and $$ \Delta u + Du*Df=0 $$ here $ \Delta u $ is the Laplacian $ Du= grau$ and * means scalar product $u_{t} = \frac{\partial u}{\partial t}$ my ...
0
votes
0answers
44 views

Euler-Lagrange Calculus of Variations Example

I have been working on solving Euler-Lagrange Equation problems in attempts to learn Calculus of Variations, but this one example has me stuck. I am probably making mistakes in my integration. I am ...
2
votes
1answer
25 views

Minimising line intergral over a scalar field part 1

I'm self teaching myself calculus of variations, and decided to solve a problem to practice what I learned. Say we want to find a path $y=y(x)$ in the scalar field $S(x,y)$. Therefor we wish to ...
2
votes
0answers
13 views

Maximizing an integral through maximum principle

Suppose that we wish to achieve $$\max\int_0^1 (1-x^2-\dot{x}^2)dt, x(0)=0, x(1)\geq 1$$ Two possible ways one can do this is by Euler-Lagrange eqn or maximum principle. Applying the Euler-Lagrange ...
0
votes
0answers
34 views

Maximising function

How do we maximise the function: $$S = \frac{\mathbb{E}[xg(x)]^2}{\mathbb{E}[xg(x)]^2(\mathbb{E}[g(x)^2]-\mathbb{E}[xg(x)]^2 + N)+N},$$ w.r.t some arbitrary function $g(\cdot)$ that satisfies $0\leq ...
1
vote
0answers
20 views

specific non linear pde

I would really appreciate to hear your insights or comments about the following problem: Consider the following non linear pde: let $\Omega$ be the unit square with vertices at (0,0),(1,0),(0,1) and ...
0
votes
0answers
21 views

How to find the infintesimal generator and conserved current of the symmetries of the minimal surface problem

For the Lagrangian $L(x,y,z,z_x,z_y)=\sqrt{1+z^2_x+z^2_y}$ how do you find infinitesimal generator and conserved current of the six symmetries (3 translations and 3 rotations)? I was using Noether's ...
4
votes
0answers
90 views

Euler-Lagrange Equation example

I have been working on solving Euler-Lagrange Equation problems in differential equations, specifically in Calculus of Variations, but this one example has me stuck. I am probably making mistakes in ...
1
vote
1answer
52 views

How to properly take derivatives in calculus of variations (Euler-Lagrange formula)

Why is it that, in calculus of variations (specifically Euler-Lagrange), we can take the derivative of a function with respect to a function $f$ and set this derivative to $0$ if only $f'$ appears in ...