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
16 views

Linearization of divergence of a vector field?

Let's $X$ is a fixed smooth vector field on semi-Riemannian manifold $(M,g)$. For a symmetric 2-tensor field $s$, and for sufficiently small values of $t$, $\tilde{g}=g+ts$ is a semi_Riemannian metric ...
-1
votes
1answer
25 views

Help in understanding the notation

I am reading the paper in this link https://dl.dropboxusercontent.com/u/20327748/99-16.ps.pdf Please help me in the notation used in page 5, $(M \vee \phi_n)\wedge M$ it is in line 2 of page 5. ...
0
votes
1answer
50 views

Optimize monotonic function in calculus of variations

I'm interested in the variational problem $$\min_{y} \int_a^b F(x,y(x),y'(x))dx \qquad \text{subject to} \quad -y'(x)\leq 0 \quad \forall x \tag{1}$$ i.e. $y(x)$ has to be monotonic. I ...
1
vote
1answer
25 views

Variational calculus - inequality

Let $u \in L^1_{loc}(\Omega)$, and suppose that $\int _{\Omega} u(x)\eta (x)\; dx \geq 0$, $\forall \eta \in C ^{\infty}_{0} (\Omega)$ . Then $u(x) \geq 0$ , a. e. $x \in\Omega$
1
vote
1answer
315 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
0answers
13 views

Characterize $|\nabla f|$ as minimal function which satisfies an upper gradient inequality

Let $f \in C^1( \mathbb R^n, \mathbb R) .$ Then one by chain rule has $$ (*)\qquad |f(g(1))-f(g(0))| \leq \int_0^1 |\nabla f|(g_t)|g'(t) |\ dt, \quad \forall g \in C^1([0,1],\mathbb R^n). $$ I have ...
0
votes
1answer
41 views

How can I find the critical curves for the following functional

Find the critical curves for the following functional : $$J[y,z]=\int_{0}^{1} \sqrt{1+y'^2+z'^2}$$ such that :$$y^2+z^2=1$$ and $$y(0)=z(1)=1$$ $$y(1)=z(0)=0$$
0
votes
2answers
59 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
22 views

Proof for special concave form of functions

If $f(x)$ is a non decreasing concave function between $0$ and $1$ for $x\ge 0$, then for $a>1$ I am confident that $af(x)>f(ax)$, but I am not quite sure how to prove it. Any help would be ...
0
votes
0answers
11 views

Sufficient conditions for an optimization problem

Given an optimization problem \begin{equation} \max{F(x)} \text{ subjected to }T(x)=u \end{equation} Where $F:\mathbb{R}^n \rightarrow \mathbb{R}$ is concave function and $T:\mathbb{R}^n ...
1
vote
0answers
19 views

Calculation of a Frechet derivative

Say I have an infinite sequence $X=(x_i)$, $i=1,2,3,\ldots$ such that it's in $\ell^2$ space, i.e. $\sum_{i=1}^\infty|x_i|^2<\infty$. Now, this function that takes this infinite sequence to a real ...
0
votes
0answers
9 views

Variational function versus variational solution

I want to minimize the functional $F[f(x)]$ and I'm going to try this in two different ways: First I am going to numerically minimize the functional $F[f(x)]$, leading to the "true solution" $f(x)$. ...
1
vote
1answer
30 views

How should the Calculus of Variations deal with $\delta(t-t_0)$ variations?

I'm familiar with using the Calculus of variations to find the condition for which first order variations of a functional wrt a function are zero: We start with a functional $J[x]= ...
0
votes
1answer
21 views

Fastest path with limited acceleration

An object on point $A$ with the initial velocity of $\dot{\bf{x}} (t)$ have a maximal acceleration of $a$. What is the fastest path for the object to get to point $B$? I thought this should be all ...
1
vote
0answers
19 views

Find the critical curves for the following functional with subsidiary conditions

Find the critical curves for the following functional : $$J[y,z]=\int_{0}^{1}\left(y'^2+z'^2-xyz'-yz\right)dx$$ with subsidiary conditions : $$\int_{0}^{1}\left(y'^2-xy'-z'^2\right)dx=2$$ ...
0
votes
0answers
23 views

Partial derivative of an integral transform

I have a Lagrangian of the form $\mathcal{L}(x,f)=[s(x)-\int_a^b A(x,x')f(x')dx']g(x)$, where $a,b$ are constants, and $g(x),s(x)$ and the kernel $A(x,x')$ are given . I am interested in computing ...
4
votes
2answers
1k views

Are triangles the strongest shape?

They are according to the buzz on the Internet (and most stable too), despite competition from circles. Mythbasters even proclaim that "triangles are the strongest shape because any added force is ...
0
votes
1answer
386 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
22 views

Does Euler-lagrange Equation hold with discontinuous integrand?

Suppose I have a function $Heaviside(x-1) \sqrt{1+f'(x)^2}$ or some other discontinuous function, how do I find the minima with E-L Eqn or in other way?
0
votes
1answer
44 views

Why would integrating acceleration give the following solution?

Suppose I have a mass with equation of motion described by: $x^{''}(t) = F(t) - 1$, $0<t<T$, all initial conditions equal to zero $F(t)$ is some unknown force My text claims that the equation ...
2
votes
1answer
75 views

Poincaré hyperbolic geodesics in half-plane and disc models

EDIT1: The derivation of geodesics of the two models follows in a straightforward manner from the metric. For the half-plane we have in Cartesian coordinates $$ ds^2 = (dx^2 + dy^2)/y^2 \tag{1} ...
2
votes
0answers
22 views

Analytic version of Hilbert's XIX problem

The famous Hilbert's nineteenth problem, initially stated in the $C^\omega$ category, was reduced by Bernstein and Petrowsky to the analogous statement in the $C^\infty$ category (and, after ...
1
vote
0answers
30 views

Minimizing sequences and topology (direct method)

To show the importance of the choice of the topology for the direct method we have been assigned the following exercise which I've not been able to solve due to my lack of understanding on how strong ...
0
votes
1answer
16 views

How to calculate route variations/permutations

If I have 5 trucks and 10 deliveries to make per truck, that's 50 deliveries total, but how many different route variations could there be? You could give each truck the list of deliveries and they ...
1
vote
1answer
67 views

Extremizing the following boundary value problem

Consider the functional $$J(y)=y^2(1)+\int_0^1y'^2(x)\,dx$$ with $y(0)=1$ , where $y\in C^2[0,1]$. If $y$ extremizes $J$ then find the value of $y(x)$. I tried through Bolza problem. Firstly ...
0
votes
0answers
37 views

Calculus of variations of multiple integrals and multiple constrains

Let $q(x_1,\dots, x_6)$ be a arbitrary multivariate density that we choose beforehand. What I want is to calculate a new multivariate density $p(x_1, \dots, x_6)$, which is obtained by minimizing the ...
4
votes
1answer
615 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
2answers
29 views

What does first and second approximations mean in this context?

In the Feynman lectures on physics, Feynman in talking about the principle of least action, discusses how we should be able to find the true path $x(t)$ which has the least action, and the way to do ...
1
vote
0answers
23 views

Calculus of Variations transformation

In the Calculus of Variations book by Gelfand and Fomin it says to consider the transformation $$x^{*} = \Phi(x,y,y')$$ $$y^{*} = \Psi(x,y,y').$$ Here it seems that $y'$ is the derivative of $y$ with ...
0
votes
1answer
24 views

Maximize $J[f] = \int_\mathbb{R} f(x)\log f(x)\,dx$ over smooth surjections $f : \mathbb{R}\to (0, \alpha)$ subject to $\int_\mathbb{R} f(x)\,dx = 1$.

Maximize $J[f] = \int_\mathbb{R} f(x)\log f(x)\,dx$ over smooth surjections $f : \mathbb{R}\to (0, \alpha)$, where $\alpha$ is a real number, subject to $\int_\mathbb{R} f(x)\,dx = 1$. I have no idea ...
2
votes
0answers
23 views

Why does minimizing $H[f] =\sum^{N}_{i=1}(y_i-f(x_i))^2+\lambda \| Pf \|^2 $ leads to solution of the form $ f(x) =\sum^N_{i=1}c_iG(x; x_i)+p(x)$?

I was reading the following paper of dimensionality reduction (1) and also one on theory of networks for approximations and learning (2) and was trying to understand how the regularization problem ...
0
votes
3answers
32 views

Derivative with respect to $y'$ in the Euler-Lagrange differential equation

I am having trouble understanding the $ \dfrac{\partial L}{\partial y'} $ part in Euler-Lagrange Equation. For example, if $ L = y^2(z) $, what is the symbolic expression for $ ...
0
votes
1answer
28 views

Clarifying A Calculus of Variations Problem

Let F[y] be a functional defined like so: F[y] = $\int y(x)^2 + (y'(x))^2 dx$. I'm trying to find the function y which maximizes the value of F, and because the Euler Lagrange equation specifies a ...
2
votes
1answer
27 views

The Euler-Lagrange equation yields a constant function?

My functional is $J[f] = \int_{-\infty}^{\infty} f(x) \log f(x)\,dx$. I want to maximize it using the calculus of variations. In order to use the Euler-Lagrange equation, I define $L(t, y, y')$ such ...
2
votes
0answers
19 views

geodesic of Stiefel manifold

Define a metric on Stiefel manifold $V_{n,p}$ as $$\left<\Delta_1,\Delta_2\right>=\text{tr}\Delta_1^T\left(I-\frac{1}{2}YY^T\right)\Delta_2$$ $\forall \Delta_1,\Delta_2\in T_YV_{n,p}$ how to ...
1
vote
1answer
18 views

Double integral of a product in calculus of variations

Let's say I have an integral of the form $$ V(u) = \iint\limits_{[0,T]^2}f(x,y)u(x)u(y)\mathrm dx\mathrm dy $$ which I would like to optimize over smooth functions $u$. For the variation I get $$ ...
0
votes
0answers
17 views

strong minima and maxima condition in calculus of variation

I am going through the topic CALCULUS OF VARIATION. There are not many examples on the topic strong/weak maxima minima. Can anybody provide the link of the source or book name where this topic is ...
0
votes
0answers
24 views

What type of self-adjoint operator does $\hat{P}$ has to be for Green's function to result in a radial exponetial $e^{-\| x-t \|^2}$

I was reading the following paper on hyper basis function (HBF) (similar to radial basis function RBF network) and was trying to understand when is it the case that the network has radial basis ...
2
votes
1answer
38 views

Defining a partial derivative with respect to an antisymmetric tensor/matrix

I'm looking at some nonlinear electrodynamics, and have been following a textbook which contains a primer on some of the stuff I'm interested in following up. However, I seem to have fallen at the ...
7
votes
1answer
281 views

References on the Nash-Moser Implicit Function Theorem

To learn, the Nash-Moser implicit function theorem, I tried the document Hamilton (1982) The Inverse Function Theorem of Nash and Moser, but the article is very encyclopedic. I have a ...
2
votes
1answer
19 views

Derivation of Euler Equation

In the following notes here I don't understand the very last line of proof of theorem 6.1 . We now use the fact that $\frac{\partial}{\partial a}S[x_a(t)]$ must be zero for any function ...
1
vote
1answer
40 views

Dirichlet energy and Fourier transform

Is there a direct relationship between the Dirichlet energy of a function: $$E(f)=\int_{\Omega}\lvert\nabla f(\mathbf{x})\rvert^2\mathrm{d}V$$ and its Fourier transform ...
1
vote
2answers
23 views

Bivariate optimal density

Consider any feasible $p:[0,1]^2\to [0,1]$ that allows discontinuities and the problem $$\min_{p(.)} \int_0^1\int_0^1 p(x,y)^2 dF(x) dG(y)$$ s.t. $$\int_0^1 p(x,y)dG(y)=k\phantom{0} for \phantom{0} ...
3
votes
1answer
39 views

What is the significance of the integral of the Hessian determinant?

The integral of a function over some region measures the total value of the function in that region: $$T(u)=\int u\thinspace\mathrm{d}V$$ The integral of the squared norm of the gradient of the ...
4
votes
2answers
376 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
1answer
65 views

Arc length function of a helix/spiral is convex?

Given the arc-length of a parametric curve, $\int_a^b\|\gamma'(t)\|$ if the parametric curve was non-convex, can the arc length be a convex function?If the parametric curve was convex, will the arc ...
11
votes
2answers
440 views

Can there be a cubical bubble?

Although not physically perfect, a reasonable mathematical model for a bubble's shape is that it minimizes surface area subject to fixed volume. A single floating bubble is usually a sphere, but ...
0
votes
0answers
21 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. ...
1
vote
1answer
30 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
26 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)$ ...