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

1
vote
1answer
49 views

A question of variational inequality on H. Brezis' functional analysis book.

On page 134, H. Brezis gives an example of the connection of minimization problem and variational inequality. Here I quote: Suppose $F$ : $\mathbb R \to \mathbb R$ is a differentiable function and ...
1
vote
0answers
56 views

Is $(-\Delta)^{s}$ c0incident with $(-\Delta)^{s/2}$?

We already know the following facts: $$\displaystyle (-\Delta)^su(x):=c_{n,s}\text{P.V.}\int_{\mathbb{R}^N}\frac{u(x)-u(y)}{|x-y|^{N+2s}}\,dy, $$ where $s\in (0,1)$. $$\int_{\mathbb{R}^N} ...
1
vote
1answer
56 views

How to find upper bound Bessel's zero by Rayleigh quotient?

I'm trying to find an upper bound of the first zero (not including $0$) of Bessel's function of orden zero, $J_0$. The method proposed is using the Rayleigh quotient evaluated at a simple function. ...
4
votes
1answer
60 views

The constraint subset of $H_0^1(\Omega)$ is a $C^1$-submanifold.

This problem comes from the constraint problem in CoV. (the lagrange-multiplier case) Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. We define the sub-manifold $$ M:=\{u\in ...
1
vote
0answers
64 views

The best constant of Poincare inequality can be determined by eigenvalue of Laplace operator

Given $\Omega\subset \mathbb R^N$ be open bounded and smooth boundary. Then for $u\in H_0^1(\Omega)$ we have well-known Poincare inequality $$ \int_\Omega \lvert u\lvert^2dx\leq C\int_\Omega ...
1
vote
1answer
29 views

Some calculation details in elliptic PDE operator.

Define function $f$: $\mathbb R^N\to \mathbb R$ by $$f(\xi):=A\xi\cdot\xi $$ where $A$ is $N \times N$ uniformly elliptic matrix, i.e., $A\xi\cdot\xi\geq \theta\lvert\xi\lvert^2$ for some ...
0
votes
1answer
67 views

Using Direct method to prove Rayleigh Quotient Theorem

Define the elliptic PDE operator $Lu:=-\partial_j(a_{ij}\partial_iu)+cu$ where $A=(a_{ij})$ is and uniformly elliptic matrix and $c\geq 0$, i.e., $A\xi\cdot\xi\geq \theta \lvert\xi\lvert^2$ for ...
1
vote
0answers
47 views

The $p$-Laplacian is strongly monotone

I am studying the solution of $p$-Laplacian by finding the minimizer of the following energy, among the space $W_0^{1,p}(\Omega)$, $p\geq 2$, $$ E[u]=\frac{1}{p}\int_\Omega \lvert\nabla ...
2
votes
0answers
71 views

Regularity energy minimizing harmonic maps

I am using the book "Geometric Measure Theory- An introduction" by Fanghua and Xiaoping. I'm studying the proof of the following Lemma (Lemma 2.1.8 page 38). This chapter is dealing with the theory ...
0
votes
0answers
13 views

Existence and interchange of integrals

Let $F: [a,b] \times \mathbb{R}^d \times \mathbb{R}^d \to \mathbb{R}$ written as $F(t,u,p)$ and $F$ is continuous w.r.t $t$ and $C^1$ w.r.t. $u$ and $p$. Let $u\in AC([a,b],\mathbb{R}^d)$ Then the ...
1
vote
1answer
77 views

Maximum moment of inertia of arc

Is there is variational calculus solution to the problem of maximum moment of inertia of a wire of uniform density per unit length $s$ between two fixed endpoints, about z-axis in 3-Space? ...
2
votes
0answers
65 views

Is there a way to graphically show that a solution is the minimum or stationary solution to a functional?

I'm looking for the functional analogue to the visual representations of function optimization you most commonly see. To illustrate, if we have some function: $$ f(x) = (x-1)^2+1 $$ We can look at ...
2
votes
2answers
90 views

Dirichlet Principle in Sobolev Spaces

According to Zeidler, 1995, in his book "Applied Functional Analysis: Application to Mathematical Physics". Dirichlet problem is a problem to minimize $$F(u)=\frac{1}{2}\int_G(u')^2\ dx-\int_G fu\ ...
1
vote
1answer
36 views

Extremizing a functional with a non-elementary solution to the Euler-Lagrange equation

Someone recently asked this question, but deleted it before I could post an answer. I figured I might as well share it for future internet travellers. The question is problem $10$ here. It states ...
3
votes
0answers
58 views

Calculus of Variations with discontinuous Lagrangian

Consider the classical problem of extremizing a functional of the form $$S[x] = \int_a^b L\left(t,x,\dot{x}\right)\ dt.$$ In almost all cases of consideration, the integrand $L$ is considered to be a ...
2
votes
1answer
102 views

Solve Integral equation with convolution

I have to solve the following integral equation \begin{align*} \int_{-\infty}^\infty e^{-y^2} \log \left( \int_{-\infty}^\infty e^{-(y-x-t)^2} f(t) dt\right) dy=-cx^2 \end{align*} where $c$ is some ...
0
votes
1answer
42 views

Finding the unique weak solution of Non-linear boundary problem

We are given the equation \begin{cases} -\Delta u=0&x\in \Omega\\ \partial_\nu u+\beta(u)=0&x\in\partial\Omega \end{cases} where $\Omega$ is bounded bounded smooth boundary and $0<a\leq ...
3
votes
3answers
230 views

Reference request: calculus of variations

I am searching for a good book to self-study calculus of variations. It should be fairly complete; build up gradually from the very basics; offer detailed explanations; have some emphasis on ...
0
votes
0answers
37 views

Calculus of Variations-First and Second Order Deviations

I'm new to Calculus of Variations and the Method of Least Action (L=T-V) What I'm unsure about is how first and second order deviations are used in finding the least action. I know it's used to find ...
2
votes
2answers
93 views

Calculus of Variations. Lagrangian Hamiltonian Mechanics Mathpages.

Over at http://www.mathpages.com/home/kmath523/kmath523.htm is an article about Lagrangian and Hamiltonian Mechanics with a derivation of the Euler-Lagrange equations of motion. Mid-way through is ...
2
votes
1answer
125 views

Functional Derivative (Gateaux variation) of functional with convolution

I have the following functional \begin{align*} F[f]=\int f(x) \log(g(x)) dx$ \end{align*} where $g(x)$ is given by convolution $g(x)=y(x) * f(x)=\int y(\tau) f(x-\tau) d\tau$, so \begin{align*} ...
4
votes
1answer
55 views

Independence of function and its derivative in calculus of variations

It's common to see in calculus of variation that the integrand $f$ of functional $F[y]=\int f(y,y',x)dx$ is a function of $y,y'$ and $x$. Why do we regard the derivative $y'$ as an independent ...
3
votes
0answers
114 views

A conjectural inequality of the form $\int_a^b g(B'_1(t)) dt \le \int_a^b g(B'_2(t)) dt $ with convex increasing $g$

Assume $ g:[0,\infty)\to [0,\infty) $ be strictly convex and increasing monotonic function and $B_1:[0,\infty)\to [0,\infty) $ be convex and increasing monotonic function and $B_2:[0,\infty)\to ...
0
votes
0answers
27 views

Fixed vs. variable functions in functional variation

Given the functional $$F[y,y'] = \int L[y(x),y'(x),y_0(x),y_0'(x)]\ dx\ ,$$ I want to find the function $y(x)$ that extremizes $F$ for known functions $y_0(x)$ and $y_0'(x)$. Since both $y_0(x)$ and ...
1
vote
0answers
35 views

Existence of measure given the margin is a step function

Suppose $Q:[0,1]\to [0,1]$ is given by a nondecreasing step function $$Q(x)=A, if \phantom{0}0\leq x < x^*$$ $$\phantom{0000} = B, if\phantom{0} x^*\leq x\leq 1 $$ s.t. $$A,B\in[0,1] ...
1
vote
1answer
169 views

Minimization of Variational - Total Variation (TV) Deblurring

Under the Linear Blurring Model - $ f = H \ast u $. I'm trying to calculate the Euler Lagrange of with respect to $ u $ of the functional: $$ E \left( u \right) = {\left\| f - H \ast u ...
0
votes
1answer
69 views

How to find the curve extremizing a given functional?

Given a functional $$I(y)=\int_1^2 {\frac {\sqrt{1+(y'(x))^2}}{x}}dx ,$$ with $y(1)=0$ and $y(2)=1$. How to find the curve extremizing this functional?
4
votes
2answers
90 views

Proving the shortest function connecting two points is a straight line WITHOUT assuming the Euler-Lagrange equation

For learning purposes, I'm trying to prove that the shortest function passing through the two points $(x_1, y_1)$, $(x_2, y_2)$ is a straight line, without using the Euler-Lagrange equation. My ...
0
votes
1answer
25 views

Smooth and Lipschitz domains

We know that an open ball $B_{r}\subseteq R^{n}$ is a smooth domain. It follows that this is a Lipschitz domain. How can I show explicitly the function $\varphi_{x}\in C^{0,1}(R^{n-1})$ that is ...
3
votes
1answer
40 views

Solving for f(t) in presence of f'(t)

Here's the situation: I have a function $$e(t) = \frac{a~d(t)}{b + d(t)}$$ with first derivative $$e'(t) = \frac{a~b~d'(t)}{[b+d(t)]^2}$$ where $a$ and $b$ are constants. For a given constant $K$ I ...
2
votes
1answer
70 views

What does this sentence regarding the Riemannian metric mean?

I am slowly working through a text on ordinary differential equations and I don't understand what this particular exercise is even asking of me. The exercise says to determine the geodesics in ...
0
votes
0answers
88 views

Solving differential equation by weak formulation and minimizing a functional

I want to give a weak formulation of the boundary value problem \begin{align*} -(c(x)(u'(x)-1))' & = 0 \textrm{ on } \Omega = (-1,1) \\ u(-1) = u(1) & = 0 \end{align*} where $c(x)$ is ...
0
votes
0answers
32 views

Minimum of functional

Find for which $w:\mathbb{R}^2\rightarrow \mathbb{R}$ attains following functional a minimum $$ F[w] = \int_0^1 \frac1{p(x)} \left(\int_0^1 w(x,y)f(x,y)\,dy\right)^2 \,dx + \int_0^1 ...
0
votes
0answers
34 views

Ritz Approximation

I have the following problem: $1/r * d/dr(r*d \theta/dr) - N_1(\theta-\theta_a)^2 -N_2(\theta^4-\theta_a~^4)=0$ where $N_1, N_2,$ and $\theta_a$ are constants Subject to $r=1$ : $\theta=1$ $r=L$ ...
0
votes
0answers
33 views

Euler Lagrange of a Curve

Let $C(s) = (x (s), y(s))$ be a closed curve inside a plane where $s$ is the parametric arc length parameter. What is Euler Lagrange equation for the following functional $$-\int_0^L \nabla C ds$$ ...
0
votes
0answers
29 views

Euler Lagrange of the following equation.

I've worked the Euler -Lagrange for the following equation $$E(u(x,y),v(x,y)) = \int \int (I_x u + I_y v + I_t) + \alpha ((u_x^2 + u_y^2) + (v_x^2 + v_y^2))dx dy$$ and got the following equations: $$0 ...
0
votes
0answers
36 views

Using Euler-Lagrange to find the first variational curve of

I have been working on this optimization problem for days but I cannot figure out the right way to finish it off. I am reading from Optimization Theory by Pierre, and this is problem 3.3. Note that ...
2
votes
0answers
53 views

Doubt in the derivation of the field Euler-Lagrange equations

I'm looking at a derivation of the Euler-Lagrange equations in a field setting, and one step in the proof is continually eluding me. Let $\phi(\vec x,t)$ be a field and $\mathscr ...
12
votes
3answers
148 views

Show $\inf_f\int_0^1|f'(x)-f(x)|dx=1/e$ for continuously differentiable functions with $f(0)=0$, $f(1)=1$.

Let $C$ be the class of all real-valued continuously differentiable functions $f$ on the interval $[0,1]$ with $f(0)=0$ and $f(1)=1$. How to show that $$\inf_{f\in ...
3
votes
1answer
84 views

Relation between Fourier components of a positive function

Here's a problem that has recently come up in my physics research: Let f be a function on [0, 2 $\pi$], which yields positive real numbers. Let the integral of $\int_0^{2\pi}f(x)= 1$. (Just for the ...
0
votes
1answer
58 views

I want to find Euler-Lagrange equation for the given functional.

I want to find Euler-Lagrange equation for the following: $$J(u) = \int \left( \frac{\psi(x) u + \dot{u}}{\psi(x)u - \dot{u}} \right)dx, \text{where} \ \psi(x) \ \text{is an explicit function of} \ ...
1
vote
1answer
93 views

How do first integrals help you solve differential equations?

I am reading about Euler-Lagrange equations and this particular section is a little unclear. Consider the differential equation $$\begin{bmatrix} \dot{x}\\ \dot{y} \end{bmatrix} = \begin{bmatrix} ...
1
vote
0answers
25 views

Functional derivative of a repeated integral

For a given function $f$, the functional derivative of the functional $\mathcal{F}[\rho]=\int f(x,\rho(x))\,dx$ is well-known to be $\frac{\delta}{\delta \rho(x)}\mathcal{F}[\rho]=\frac{\partial ...
1
vote
0answers
22 views

Determine whether it's min or max of functional.

so I have such functional: $$\phi(y)=\int\limits_0^1 (y^2+2y'^2+y''^2)dx, \ \ y(0)=y(1)=0, \ y'(0)=1, \ y'(1) = -\sinh1.$$ By using Euler-Lagrange formula, I get $$y^{IV} - 2y'' + y = 0$$ After ...
1
vote
2answers
43 views

Find the first-variational curve which corresponds to the functional $\int_{-1}^1 t^2 \dot{x}^2 dt$ when $x(-1) = -1$ and $x(1) = 1$.

Find the first-variational curve which corresponds to the functional $$\int_{-1}^1 t^2 \dot{x}^2 dt$$ when $x(-1) = -1$ and $x(1) = 1$. Here is what I did: \begin{align} \delta J(x)(h) &= ...
1
vote
1answer
27 views

Does $x^*(t) =(\frac{2 - e + e^2}{2 - 2e^2})e^t + (\frac{e - 3e^2}{2 - 2e^2})e^{-t} + \frac{1}{2}te^{-t}$ contain corner points?

I want to know if $x^*(t) =(\frac{2 - e + e^2}{2 - 2e^2})e^t + (\frac{e - 3e^2}{2 - 2e^2})e^{-t} + \frac{1}{2}te^{-t}$ can contain corner points. This $x^*(t)$ is the solution to the differential ...
3
votes
2answers
44 views

Solution verification for finding an extremal under constraints

Find the extremal of $\int_0^1 \left[\dot{x}^2 + 2x\dot{x} + 2x\right] dt$ with $x(0)=0$, and $x(1)=\frac12$ subject to the constraint $\int_0^1 12tx dt=24$ Could anyone verify the anwer to this? I ...
2
votes
0answers
129 views

Proof of fundamental lemma of calculus of variation.

Suppose $\Omega$ is an open subset of $\mathbb{R}^n$ and let $L^1_\text{Loc}\Omega$ denote all locally integrable functions on $\Omega$ and $C^{\infty}_0\Omega$ for smooth functions whose support lie ...
1
vote
1answer
49 views

Select $x(t)$ such that it minimizes $J$, $J = \int_0^T \left[(x - e^{-t})^2 + (\dot{x} + 1)^2\right]dt$.

I am given two situations, $A$ and $B$. For $A$, the ideal $x(t)$ is $e^{-t}$ for $0 \le t \le T$. However, for $B$, the ideal $\frac{dx}{dt}$ is $-1$ for $0 \le t \le T$. I am to make a compromise ...
2
votes
0answers
62 views

Calculus of variations: time of travel between two points

I'm reading Calculus of Variations by Elsgolc. On the page 35 there is example number 7. Let me introduce the problem. We have a functional given by: $v(y(x)) = \int_{x_0}^{x_1}F(x,y,y')dx$ If $F$ ...