Questions on the calculus of variations, which deals with the optimization of functionals mostly defined on an infinite dimensional spaces.

learn more… | top users | synonyms

7
votes
1answer
228 views

References on the Nash-Moser Implicit Function Theorem

To learn, the Nash-Moser implicit function theorem, I tried with Hamilton (1982) The Inverse Function Theorem of Nash and Moser. But, the article is very encyclopedic. I have a background in ...
0
votes
0answers
10 views

Non-linear hyperbolic systems

This question is about a naive approach to non-linear hyperbolic systems, thinking in the context of elasticity. To set up the problem suppose $\Omega\subset \mathbb{R}^n$ is open and bounded. ...
0
votes
1answer
24 views

The meanings of some symbols in “Calculus of variations”

Could someone tell me the meanings of the "C" and its superscript "1" and subscript "0" in the equation which I have marked. Thank you very much!!!
0
votes
1answer
21 views

Euler equation formula

When I am using Euler equation for Fourier transform integrals of type $$\int_{-\infty}^{\infty} dx f(x) exp[ikx] $$ I am getting following integrals: $\int_{-\infty}^{\infty} dx f(x) cos(kx)$ ...
3
votes
0answers
33 views

Fundamental Lemma of the Calculus of Variations with higher derivatives

The fundamental lemma of the calculus of variations is often presented as: If $M(x) \in C[a,b]$ such that $\int_{a}^{b}{M(x)\eta(x)} = 0 ~~\forall\eta\in C^1[a,b],\eta(a)=\eta(b)=0$, then $M(x)=0$ for ...
0
votes
0answers
19 views

Differentiate functional with delta function when calculating Euler-Lagrange equation

The paper "active contours without edges" by Chan and Vese http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=902291, My goal is to understand how to derive the corresponding euler-lagrange ...
2
votes
1answer
27 views

Gradient of the Fourier transform of a function

I am wondering if there is a simple way to express the first variation of the Fourier transform of a function as a function of said function. In other words, if $g:x\mapsto F(f)(x)$, where $F(f)$ is ...
1
vote
0answers
35 views

What curved ramp transports a ball from (1,1) to (0,0) most quickly, under the acceleration of gravity, with no friction or air resistance?

An infinitisemally small ball is placed at the top of a ramp which has a height of 1m and ends 1m away horizontally. What is the optimal curve of the ramp to minimize time taken for the ball to reach ...
4
votes
1answer
602 views

Find the extremal to the functional and discuss whether they provide a max/min

I am having a hard time getting my head around Functionals and Calculus of Variations, My question is: Given a functional and using the Euler-Lagrange equation to find an extremal, how do we show ...
1
vote
1answer
25 views

calculus of the measure of a $C^1 $ hypersurface

I have to prove that: $$\lim_{r \to 0} \frac {\mathcal H ^{n-1}(M \cap B(x,r))}{\omega_{n-1} r^{n-1}}=1, $$ where $\mathcal H ^{n-1}$ is the ($n-1$)-dimensional Hausdorff measure, $M$ is a $C^1$ ...
4
votes
1answer
358 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
0answers
70 views

A variational approach to symplectomorphisms

Let $(\Sigma,\omega)$ be a compact symplectic surface, and let $\mathcal{D}$ be the group of diffeomorphisms of $\Sigma$. Is there some known variational approach to determine if an element ...
0
votes
1answer
23 views

Absolute Continuity defined by Necas

I read a definition of the absolute continuity in Necas' book "Direct Methods in the Theory of Elliptic Equations": Let $\Omega$ be a domain in $\mathbb{R}^n$ , $P$ a line verifying ...
0
votes
1answer
16 views

Regularity of limit measure and prove that $|\mu_h|\stackrel{*}{\rightharpoonup}|\mu|$

I have some questions. First of all, let $\mu_h$ a sequence of Radon measures and suppose that $\mu_h$ weakly-converge to another measure $\mu$. Now, this limit measure $\mu$ is still Borel? Is it ...
0
votes
1answer
33 views

Elementary Examples of Functionals

I'm working on a research project that's a little over my head, so forgive some simple questions. Is a composite function $f(g(x))$ a functional? What are a handful of other simple examples of ...
0
votes
1answer
45 views

How to Invert the Euler Lagrange Equations?

Suppose I have a functional L. For example $L = y+3y'$. Where y is itself a function of real variable x It's easy for me to evaluate the Functional Derivative of L via the Euler Lagrange Equations: ...
0
votes
2answers
28 views

Minimum curve for the distance between two points at the plane

The problem is to determine the curve y=y(x) in the plane, the lenght of which is given by the functional: \begin{equation} I(y)=\int_{x_1}^{x_2}\sqrt{1+(y')^2}dx=\int_{x_1}^{x_2}F(x,y,y')dx ...
0
votes
1answer
21 views

Calculus of Variation: Euler-Lagrange Equation in 1D

I am currently trying to get into calculus of variation for a course of Image processing. In the lecture we learned that a smooth function u[a,b]->R that minimises: $$\int_a^b F(x,u,u') dx $$ ...
2
votes
2answers
61 views

Optimal String Shape Problem

So here is the problem I am working on, Given a curve of length L connecting the points (0,1) and (1,0) find an expression for the equation of the curve that minimizes the area underneath it. In ...
1
vote
1answer
293 views

Determine the minimum and maximum values of an integral subject to end conditions

The question: determine the minimum and maximum values of the integral $$\int_0^1 yy'dx$$ subject to the conditions $y(0)=0$ and $y(1)=1$. There is no explicit y dependence, so our Euler-Lagrange ...
0
votes
1answer
16 views

Prove that a sequence of measures weak-star converges to another measure

We have a set of locally finite perimeter and a sequence of sets $\{E_h\}_h$ with $C^1$ boundary such that $$E_h\to E \text{ and } \mu_{E_h}\stackrel{*}{\rightharpoonup} \mu_E,$$ where $\mu_{E_h}$ and ...
0
votes
0answers
41 views

The Dirichlet problem for the Laplace equation: classical solutions versus weak solution

Let $B_R$ a ball in $\mathbb{R}^n$. Consider $u^{\star} \in H^{1}(B_R) $ and $f \in H^{1}(B_R) \cap C(\overline{B_R})$. Suppose that $u^{\star}$ minimizes $$\int_{B_R} |\nabla u|^2, u \in \{ v \in ...
0
votes
1answer
45 views

Euler-Lagrange equation with constraints outside the integral

So I've been studying Euler-Lagrange equations, and on an assignment I have the problem to find them for $J(y)=\int_a^bF(x,y,y')dx-By(b)+Ay(a)$ Where $y(a)$ and $y(b)$ are free, $A$ and $B$ are ...
2
votes
0answers
21 views

How to use find the Lagrange Multipliers in multidimensional Calculus of Variations

Suppose I wish to minimise the integral $$I = \int_{s_0}^{s_1}\int_{t_0}^{t_1}F\, dt ds$$ Where $F$ is a function of the six variables $x(s,t)$, $y(s,t)$, and their four partial derivatives, ie $$F ...
-1
votes
0answers
9 views

weakly lower semi contiuous functional

Let $\Omega$ be a bounded open domain of $\mathbb R^n$, if we have the functional defined on $W^{2, p}_0(\Omega)$ by $$F(w) = \frac 1p \int_\Omega |D^2 w|^p dx.$$ I read in some papers this is a ...
2
votes
1answer
69 views

Surface of constant mean curvature

From PDE Evans, 2nd edition: Chapter 8, Exercise 12: Assume $u$ is a smooth minimizer of the area integral $$I[w]=\int_U (1+|Dw|^2)^{1/2} \, dx,$$ subject to given boundary conditions $w=g$ on ...
2
votes
2answers
52 views

Lagrangians independent of $x$

In PDE Evans, 2nd edition, the following formula is printed as equation $\text{(9)}$ in §8.6 (on page 514): $$\sum_{k=1}^n (L_{p_i}u_{x_k}-L\delta_{ik})_{x_i}=0 \quad (k=1,\ldots,n) \tag{9}$$ ...
10
votes
2answers
223 views

Elliptic regularization of the heat equation

This is from PDE Evans, 2nd edition: Chapter 8, Exercise 3: The elliptic regularization of the heat equation is the PDE $$ u_t - \Delta u -\epsilon u_{tt}=0 \quad \text{in }U_T, \tag{$*$}$$ where ...
0
votes
0answers
12 views

Definition of the Second Variational Derivative In terms of The first

I know that for functional $F$ the first variational derivative at $f$ with increment $h$ is defined as \begin{align*} \delta F[f,h]= \lim_{\alpha \to 0 } \frac{F[f+\alpha h]-F[f] ]}{\alpha }. ...
1
vote
1answer
51 views

The functional $I[w] = \int_U \frac{1}{2} |Dw|^2 - fw \, dx$ is weakly lower semicontinuous

I am studying calculus of variation, and I need to prove that $I[w] = \int_U \frac{1}{2} |Dw|^2 - fw \, dx$ with $f \in L^2(U)$ is weakly lower semicontinuous on $H_0^1(U)$. In classes, I only ...
3
votes
2answers
32 views

dirichlet principle: why $u-g\in W_0^{1,2}(\Omega)$?

Let $D\subset\mathbb R^n$ be open and bounded. Consider $\Delta u=f$ in $\Omega$ and $u=g$ on $\partial\Omega$. Let $g\in W^{1,2}(D)$ and $f\in L^\infty(D)$. Then the minimizer of $$ I(u)=\int_\Omega ...
1
vote
0answers
25 views

Calculus of variations - unilateral constraints [duplicate]

Question about Evans states, chapter 8.4.2! We have $I[w] := \int_U \frac{1}{2}|Dw|^2 - fw\, dx$, among all functions $w$ belonging to the set $$\mathcal{A} : = \{w \in H_0^1(U) : w \geq h \, ...
0
votes
1answer
347 views

DuBois-Reymond Lemma

I know thats the following statement is true. $f,g$ are continuous function $[a,b]$.Suppose $\int\limits_a^bf(t)h(t)+g(t)h'(t) \, dt=0$ for every $h$ belonging to $C_0^{\infty}[a,b]$, then $g$ is ...
0
votes
1answer
15 views

Euler equation for the functional has the form: $f_y-f_xy'-\frac{fy''}{1+y'^2}=0$

I want to show that the Euler equation for the functional $J(y)= \int_a^b f(x,y) \sqrt{1+y'^2}dx$ has the form: $$f_y-f_xy'-\frac{fy''}{1+y'^2}=0$$ $$L(x,y,y')= f(x,y) \sqrt{1+y'^2} dx$$ ...
0
votes
1answer
27 views

optical flow Euler-Langrange equation

I have a problem understanding how optical flow functional is plugged into Euler-Lagrange equation. The functional is: $\iint[(I_xu+I_yv+I_t)^2+\alpha^2(||\nabla u||^2 +||\nabla v ||^2)]dxdy$ ...
1
vote
0answers
24 views

Geodesic equation for surface of sphere

One of the standard problems of calculus of variations is showing that geodesics on the surface of the sphere are great circles. But I don't understand the equation. The equation for great circle ...
0
votes
1answer
30 views

Dirichlet energy

From PDE Evans, 2nd edition: Chapter 8, Exercise 17: Let $u,\hat{u} \in H_0^1(U)$ both be positive minimizers of the Dirichlet energy $$I[w] := \int_U |Dw|^2 \, dx,$$ subject to the constraint ...
7
votes
1answer
135 views

What function maximizes area for a constant arc length?

Suppose I have a continuous function $f$, such that $f(0) = f(1) = 0$. Given the length $l$ of the curve between $0$ and $1$, which function maximizes the area under the curve? I know that if $l \leq ...
0
votes
1answer
39 views

Finding a function of minimal arclength via Euler Lagrange theorem, stuck on solving differential equation

I want to minimize the arclength of a function $u(x) \geq 0$ for $x\in [-1,1]$ that is contrained by $u(-1)=0=u(1)$ and $\int_{-1}^{1} u(x) \, dx = A$, where $0<A<\pi/2.$ I have reduced the ...
1
vote
0answers
39 views

Derivation of Von Karman Equations

I'm reading Howell's Applied Solid Mechanics to gain background for a research project. I'm struggling with the following derivation in the text that the authors refer to as a "lengthy exercise." The ...
0
votes
1answer
94 views

Euler-Lagrange equation [duplicate]

This is PDE Evans, 2nd edition: Chapter 8, Exercise 2: Find $L=L(p,z,x)$ so that the PDE $$-\Delta u + D\phi \cdot Du = f \quad \text{in }U$$ is the Euler-Lagrange equation corresponding to the ...
0
votes
1answer
46 views

Calculus of Variations - Function dependent of $y'$ only

I completely understand the proof for the Euler-Lagrange equation for a general function $F(x,y,y')$. However, when I try to use the same proof technique on a function $F(y')$, I run into a curiosity ...
4
votes
2answers
228 views

Maximum area of a fenced playpen on the side of a house.

Here's an interesting problem: you just got a really cute puppy, and you want it to have a large rectangular playpen to run around in. What's more, your neighbor just happened to have 100 feet of ...
0
votes
0answers
14 views

Calculus of variational in 2 dimension with constraints

Let $S$ be a 2D region and its boundary is $\partial S$. $u(x,y)$ is defined in S. The functional is of the following type: $J[u] = \int_S F(x,y,u,u_{x},u_{y}) \mathrm{d}s + \int_{\partial S} ...
2
votes
1answer
53 views

Extremizing the boundary value problem $I[y]=\int_0^1y'^2(x)\,dx+y^2(0)-2y^2(1)$

Extremizing the boundary value problem $$I[y]=\int_0^1y'^2(x)\,dx+y^2(0)-2y^2(1)$$ My Thought: First, we use Euler-Lagrange equation and solving we get , $y(x)=C_1x+C_2$. Then we put it in ...
1
vote
0answers
59 views

How to prove $H_0^1(\Omega)=H_0(div;\Omega)\cap H_0(curl;\Omega)$

It was shown in the book "Finite Elements Methods for Navier-Stokes Equations" by Girault and Raviart that $$H_0^1(\Omega)=H_0(\operatorname{div};\Omega)\cap H_0(\operatorname{curl};\Omega).$$ The ...
0
votes
1answer
12 views

Minimizing constrained functions on $l^p$

Suppose we have some functionals $H,G:l^p(\mathbb{N}^+)\to\mathbb{R}$, and we want to find some $p \in l^p(\mathbb{N^+})$ which minimize $H$, subject to the constraint that $G(p)=0$ is constant. As ...
3
votes
0answers
30 views

Prove that two functionals with identical differentials differ by a constant.

I am self-studying Calculus of Variations and am struggling to prove results about the variation of a functional that are analogous to results in elementary analysis about differentials/derivatives. ...
1
vote
1answer
39 views

Find the curve which together with $\gamma$ encloses the greatest area.

I'm working through Gelfand & Fomin's Calculus of Variations by myself, and could use the guidance of someone familiar with the subject. The problem I'm on now is the following: "Given two points ...
2
votes
0answers
43 views

Find extremum of functional

I want to find the extremum of $$J(y)= \int_1^2 \frac{\sqrt{1+y'^2}}{x}dx, \ y(1)=0, \ \ y(2)=1$$ I thought to use the following theorem: If $y$ is a local extremum for the functional $J(y)= ...