1
vote
0answers
18 views

Integral invariant under parametrization

Consider a continuous function $F(z,p)\colon \Omega\subset\mathbb{R}^N \times \mathbb{R}^N \to \mathbb{R}$ and the functional $$ \mathcal{F}(u)=\int_{a}^{b}{F(u(t),u'(t))\,dt}. $$ Prove that ...
0
votes
1answer
60 views

Minimizing cost function (Eikonal)

Given a cost function $F(x_{1},x_{2},x_{3})$ and a starting Point $S \in \mathbb{R}^{3}$ we define a function $T$ as $T(x,y,z)=\min_{\gamma} \int_{0}^{1} F(\gamma(t))dt$ such that $\gamma(0)=S$ and ...
2
votes
2answers
52 views

Equivalent norm in Sobolev space

Let $\rho\in H^{1}(0,\pi)$ be a function, and consider the functional $$ I(\rho)=\bigg(\int_{0}^{\pi}{\sqrt{\rho^2(t)+\dot\rho^2(t)}\,dt}\bigg)^2. $$ I'm asking if it is equivalent to the norm $$ ...
0
votes
2answers
25 views

Quadratic Minimization

Consider a functional $I\colon H \to R$ on $H$ Banach space, sufficiently regular. Is in generally true that $$ \inf_{\rho \in H}{I^2(\rho)}=\Big(\inf_{\rho \in H}{I(\rho)} \Big)^2 \quad ? $$ If ...
1
vote
0answers
12 views

Minimization Problem and Winding number

Consider the minimization problem associated to the functional $$ \mathcal{F}(u)=\int_{0}^{2\pi}{\lvert \dot u\rvert\bigg(1+\bigg(\frac{\dot u}{\lvert \dot u\rvert}\cdot m(u)\bigg)^2\bigg),dx} $$ ...
0
votes
1answer
60 views

Eikonal Equation [duplicate]

Given a cost function $F(x_{1},x_{2},x_{3})$ and a starting Point $A \in \mathbb{R}^{3}$ we define a function $T$ as $T(x,y,z)=\min_{\gamma} \int_{0}^{1} F(\gamma(t))dt$ such that $\gamma(0)=A$ and ...
1
vote
0answers
25 views

On a Variational Inequality

Let $H$ be a Hilbert space with real inner product. Consider $f: C \rightarrow C$, where $C \subset H$ is closed and convex. I am not sure about the variational inequality problem: find $x \in H$ ...
0
votes
1answer
24 views

Coercivity for functional and complete orthonormal system

Consider with $\rho \in W^{1,2}([0,\pi])$ the following functional $$J(\rho)=\frac{1}{2}\int_{0}^{\pi}{\rho^2\,dx}$$ I know that in the $L^{2}([0,\pi])$ the coercivity condition is satisfied, but i'm ...
11
votes
1answer
331 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 ...
0
votes
1answer
58 views

Indicator function of a level set

Consider a positive definite locally Lipschitz function $V:\mathbb{R}^2\to\mathbb{R}_{\geq0}$. Fix $c\in\mathbb{R}_{\geq0}$ and consider the sublevel-set $E_c=\{x:\in\mathbb{R}^2:V(x)\leq c\}$, ...
0
votes
1answer
22 views

References about Nemytskii Mappings

I need some references about Nemytskii Mappings. Can anyone tell me some textbook about it? I am reading chapter 2 of this text www.math.tifr.res.in/~publ/ln/tifr81.pdf . And I need more results ...
1
vote
1answer
22 views

Derivation of inner variations

In Giaquinta's and Hildebrandt's 1996, "Calculus of Variations 1", pages 147-148, they develop the definition of inner variations. They first fix $\lambda\in ...
0
votes
2answers
123 views

Calculus of variations, what is a functional

I'm reading a bit about the calculus of variations, and I've encountered this bit: Suppose the given function $F(.,.,.)$ is twice continuously differentiable with respect to all of its arguments. ...
0
votes
1answer
36 views

Finding extremal of function J

Find a curve passing through $\left(0,0\right)$ and $\left(1,1\right)$ that is an extremal for the functional $\displaystyle{{\rm J}\left(x,y,y'\right) = \int\left\{\left[y'(x)\right]^{2} + ...
6
votes
0answers
89 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 ...
2
votes
2answers
109 views

Natural growth conditions and weak solutions for inhomogenous systems.

Let $\Omega\subset \mathbb{R}^n, \ n\geq 2$ be a bounded Lipschitz domain. Consider the following inhomogenous system (in divergence form) subject to zero Dirichlet boundary conditions: ...
1
vote
1answer
30 views

Derivation of weak form of Euler Lagrange Equation

In Giaquinta's and Giusti's 1982 paper entitled "On the regularity of the minima of variational integrals", they look at the following quadratic functional: \begin{equation} ...
3
votes
1answer
145 views

Dido's problem with Euler equations

I'm considering Dido's problem: Consider 2 differentiable arcs $C$ and $C_0$ in $\mathbb{R}^2$ from the point $P$ to $Q$ and back. We keep $C_0,P,Q$ fixed, and want to choose the arc $C$ such that ...
1
vote
0answers
58 views

The equvalence of the virtual work and the Hamiltonian equations

I am reading Whittaker's Analytical Dynamics. This is chapter 10 *Hamiltonian Systems&. Paragraph 109 is Hamiltonian Systems & Their integral invariants. Whittaker starts with the Lagrangian ...
1
vote
1answer
67 views

Piecewise $C^1$ function is element of $W^{1,\infty}$

Hey I'm confused about the following (apparantly) fact: Let $u:[a,b]\to\mathbb{R}$ a piecewise $C^1$ function, i.e. there exists $a=t_1<t_2<\cdots < t_n = b$ such that $u|_{[t_i,t_{i+1}]} ...
1
vote
0answers
26 views

On the controllability function (minimising a functional)

Consider a system of ODEs $$\dot{x}(t)=f(x(t))+g(x(t))u(t),$$ where $f:\mathbb{R}^n\to\mathbb{R}^n$ and $g:\mathbb{R}^n\to\mathbb{R}^{n\times m}$ are smooth. Let $L:\mathbb{R}^n\times ...
4
votes
2answers
253 views

fundamental lemma for variational calculus

Is it possible to use the fundamental lemma of calculus of variations in some way in the following case: $F(x,y)$ is a locally integrable function on $\mathbb{R}^n \times \mathbb{R}^n$. We know that ...
1
vote
1answer
61 views

To show that $ J(u) = \frac{1}{2}\int_\Omega |\nabla u|^2 -\frac{1}{p+1}\int_\Omega |u|^{p+1} $ is not bounded above for $1 < p < 2^*-1$

For a bounded $ \Omega\subset\mathbb{R}^n $ with smooth boundary, and for $ 1 < p < \frac{n+2}{n-2} = 2^* -1 $ where $ \frac{1}{2^*} = \frac{1}{2}-\frac{1}{n}$, I have the functional $ J : ...
1
vote
1answer
40 views

Restriction of a lower semi-continuous functional again lower semi-continuous?

Let $F: [a,b]\times \mathbb R \times \mathbb R \rightarrow \mathbb R$ be continuous, $J(u) = \int_{[a,b]} F(x, u, u') dx$ be a functional over $W^{k,p}([a,b])$. We assume that for any uniformly ...
0
votes
1answer
72 views

Why is this homotopy an isotopy?

I am trying to follow the proof of Willem's quantitative deformation lemma and I get everything except the justification for the (iv) property which states: $\eta_t(u)$ is a homeomorphism for ...
2
votes
2answers
65 views

Showing that this Coercivity condition implies uniform boundedness of a minimising sequence.

The following problem is in Dacorogna's book "Introduction to the Calculus of Variations": Let $\Omega\subset\mathbb{R}^n$ be open and bounded with a Lipschitz boundary. Let $f\in C(\mathbb{R}^n\times ...
0
votes
1answer
98 views

Condition or Proof: Minimizer of one function is maximizing another function

I have two real functions $f(X),g(X)$ where the argument $X$ is a real matrix. The solution $X^*$ for the problem of minimizing $f$ is ending up maximizing $g$ as well. I am looking for a way to prove ...
0
votes
0answers
63 views

Green's function

Please can someone told me how to find the Green's function $G(t,x)$ of BVP : $$u'''(t)=0 , \quad t\in (0,1)$$ and BC : $$u(0)=u'(p)=\int_q^1 w(s)u''(s) ds =0 $$ where $\frac12 < p<q<1$ are ...
3
votes
0answers
145 views

Green's function for third order boundary value problems

How to find the Green's function $G(t,x)$ for the BVP consisting of the equation : $$u'''(t)=0 , \quad t\in (0,1)$$ and BC : $$u(0)=u'(p)=\int_q^1 w(s)u''(s) ds =0 $$ where $\frac12 < ...
0
votes
1answer
183 views

Weak Minimizer of a Functional

I showed that $u(x) = \frac{x^2}{2}$ is a potential minimizer for the functional $\int_0^2 \frac{n}{2}u'(x)^2-nu(x) \, dx$ in $C^2[0,2]$ with $u(0) = 0$ and $u(2)=2$ where $n$ is a positive constant ...
2
votes
0answers
119 views

Gamma Convergence of functionals on Probability measures

Would be grateful if someone could provide a hint or an appropriate reference for the following. Notation: $\mathcal{P}(\mathbb{R}^n)$- Space of probability measures on $\mathbb{R}^n$ ...
3
votes
0answers
67 views

Different functional brachystochrone

Until today I thought that $$ \int_0^b \sqrt{\frac{1+y'(x)^2}{2gy(x)}} dx$$ would be the only functional to derive the brachystochrone, but in the textbook Variational Methods in Mathematical Physics ...
1
vote
0answers
29 views

variation of a final state due to changes in period (where the period is a parameter)

I have a simple ordinary differential equation $\frac{dx}{dt}=f(x,t,p,T)$ $x(0) = x_0$, $x(T) = x_T$ where $p$ and $T$ are constant parameters. How do I compute $\frac{dx_T}{dT}$ ? Thanks! NOTE: I ...
0
votes
0answers
84 views

A variation of fundamental lemma of variation of calculus .

I have a question on a variation of the fundamental lemma . If $\int_\Omega f(x) g(x)=0$ and $f, g $ are $C^0\Omega$ functions and $\int_\Omega g(x)=0 $ then is it possible that there exist some ...
6
votes
1answer
315 views

Prove that $\int_0^1[f''(x)]^2dx\ge4.$

Let $f$ be a $C^2$ function on $[0,1]$ such that $f(0)=f(1)=f'(0)=0,f'(1)=1.$ Prove that $\int_0^1[f''(x)]^2dx\ge4.$ Find all $f$ for equality to occur.
1
vote
1answer
467 views

Fundamental lemma of calculus of variation .

Fundamental lemma in calculation of variation states that $\int_a^b f(x)g(x) dx =0$ for $f$ continuous in $(a, b) $ and and $g(x)$ which has compact support and is continuous in $(a,b)$ , then ...
1
vote
0answers
160 views

Finding a force function from bodies in equilibrium

(This is an edited version of the original question, since I'm starting a bounty) I'm trying to find a function $y$ from given data. Reverse optimization, so to speak. Say we have two ...
1
vote
0answers
83 views

Extremizing an Integral under a cyclic condition

Let $h$ be a nonnegative, smooth and convex function on $[0,1]$ and let $f(x,y):[0,1]\times[0,1]\rightarrow[0,1]$ with $f(x,y)=f(y,x)$ and $f$ continuous. Suppose I fix $r>0$ and demand that $$ ...
16
votes
3answers
543 views

What's the minimum of $\int_0^1 f(x)^2 \: dx$, subject to $\int_0^1 f(x) \: dx = 0, \int_0^1 x f(x) \: dx = 1$?

The question is as in the title: what's the minimum of $\int_0^1 f(x)^2 \: dx$, subject to $\int_0^1 f(x) \: dx = 0, \int_0^1 x f(x) \: dx = 1$? (Assume suitable smoothness conditions.) A problem in ...
12
votes
8answers
5k views

Why Circle encloses largest Area?

In this wikipedia, article http://en.wikipedia.org/wiki/Circle#Area_enclosed its stated that the circle is the closed curve which has the maximum area for a given arc length. First, of all i would ...