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
148 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 ...
13
votes
8answers
7k 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 ...
5
votes
0answers
587 views

Maximum and minimum of an integral under integral constraints.

Find the maximum and minimum of the following integral in terms of $f(x),a,C$: \begin{align}I=\int_{0}^{a} \frac{x}{f(x)}p(x)dx \end{align} s.t.: 1) $\int_{0}^{a} p(x)dx=1$ 2) $\int_{0}^{a} ...
4
votes
1answer
329 views

Assumption that $\delta q'$ is small in the derivation of Euler-Lagrange equations.

I have never completely understood the justification of this step in the derivation of the E-L equation: $\delta L = L(q + \delta q, q' + \delta q', x) - L(q, q', x) = \partial_q L \delta q + ...
10
votes
5answers
3k views

Introductory text for calculus of variations

I am currently working on problems that require familiarity with calculus of variations. I am fairly new to this field. Please suggest a good introductory book for the same that could help me pick up ...
11
votes
5answers
483 views

When is the moment of inertia of a smooth plane curve is maximum?

Given a smooth plane curve $(x(s),y(s))$, parameterized in arc length $s$, of fixed finite length $L$, its moment of inertia about its center of mass (axis perpendicular to the plane) is given as $$MI ...
49
votes
10answers
1k views

Arc length contest! Minimize the arc length of $f(x)$ when given three conditions.

Contest: Give an example of a continuous function $f$ that satisfies three conditions: $f(x) \geq 0$ on the interval $0\leq x\leq 1$; $f(0)=0$ and $f(1)=0$; the area bounded by the graph of $f$ and ...
9
votes
2answers
2k views

Euler-Lagrange, Gradient Descent, Heat Equation and Image Denoising

For an image denoising problem, the author has a functional $E$ defined $$E(u) = \iint_\Omega F \;\mathrm d\Omega$$ which he wants to minimize. $F$ is defined as $$F = \|\nabla u \|^2 = u_x^2 + ...
2
votes
2answers
53 views

Minimizing a functional with a free boundary condition

Find the extremals of the functional $$\text{J}(y)= y^2(1) + \int_0^1 y'^2(x)dx , \ \ y(0)=1.$$ Answer: $y(x)=1-\frac{1}{2}x$ My solution: $ F (x,y,y')=y'^2(x)$ After solving the ...
4
votes
2answers
286 views

Optimization problem using Reproducing Kernel Hilbert Spaces

I am encountering a problem concerning Reproducing Kernel Hilbert Spaces (RKHS) in the context of machine learning using Support Vector Machines (SVMs). With refernce to this paper [Olivier Chapelle, ...
2
votes
2answers
82 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
2answers
737 views

satisfy the Euler-Lagrange equation

Two circles of unit radius, each normal to the line through their centers are a distance d apart. A soap film is formed between themas shown below; energetic considerations require the filem to ...
4
votes
2answers
1k views

Geodesics of a Sphere in Cartesian Coordinates

I want to minimize $I = \int |\dot{x}|^2 dt$ subject to the constraint $|x|^2=1$ (sphere) which gives an Euler equation of $\lambda x - \ddot{x} = 0$. I have to show that the Euler equation is ...
1
vote
1answer
280 views

Maximizing a function by finding derivative

I want to find the value of $\vec{p}$, $p_s$, $p_t$ each of which is a function of the form $f:\mathbb{R}^2 \to \mathbb{R}$ that maximize the following function : $$\begin{align} \int_\mathbb{R^2} ...
59
votes
1answer
2k views

What's the largest possible volume of a taco, and how do I make one that big?

Let $f$ be a continuous, even, positive function over some interval $I=[-a,a]$ such that the total arc length of $f$ over $I$ is at least $2$, $f(0)=0$, and $f$ is increasing on $(0,a)$. View the ...
13
votes
4answers
349 views

How can $y$ and $y'$ be independent in variational calculus?

In variational calculus, functionals are written as \begin{eqnarray} F = \int f(x,y,y') dx \end{eqnarray} Where $F$ depends upon choice of $y,y'$. But for smooth regular functions specifying the $y$ ...
13
votes
1answer
376 views

Arnol'd's trivium problem #68

I came across this blog that says that its French version has answers to most of Arnol'd's trivium problems, and I figured I'd try my hand at some of the ones they don't have. Number 68 raised my ...
18
votes
2answers
223 views

Time-optimal control to the origin for two first order ODES - Trying to take control as we speak!

I want to find the time optimal control to the origin of the system: $$\dot{x}_1 = 3x_1+ x_2$$ $$\dot{x}_2 = 4x_1 + 3x_2 + u$$ where $|u|\leq 1$ I ran straight into the problem full strength, hit it ...
4
votes
1answer
354 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 ...
7
votes
1answer
876 views

Euler-Lagrange, Gradient Descent, Heat Equation and Image Denoising

I have a question about Euler-lagrange equation which you can check this file. http://www.bekirdizdaroglu.com/ceng/Downloads/ISCE10.pdf, specifically in page 6,equation 8 , not equation 9... There ...
2
votes
0answers
71 views

A variational strategy for finding a family of curves?

In a recent question, I asked for examples of families of distinct smooth curves with fixed area and perimeter (which for this question I will dub as doubly-isometric). That wording allows $C^1$ ...
2
votes
2answers
2k views

Derivative of $f(x,y)$ with respect to another function of two variables $k(x,y)$

Suppose that we have a function $f(x,y)$ of two variables: $$f(x,y) = g(x) + h(y) + 5(x-y) = x^2 + y^2 + 5(x-y)$$ where $g(x) = x^2$ and $h(y) = y^2$ are also functions of $x$ and $y$, respectively. ...
1
vote
0answers
57 views

Constraint optimization with Calculus of Variations. How to handle positive function constraint?

the I am attempting to maximize the functional $F[f]$ with a constrain that $f$ has to be non-negative and some other integral constraints. More, specifically, \begin{align*} &\max F[f]\\ ...
14
votes
1answer
266 views

Fastest curve from $p_0$ to $p_1$

I'm trying to solve a problem in path planning: Given points $p_0$ and $p_1$ and vectors $v_0$ and $v_1$, find a function $p(t)$ st. $p(0) = p_0$, $p(T) = p_1$, $p'(0) = v_0$ and $p'(T) = ...
5
votes
1answer
258 views

Calculus of Variations: Contains an integral of my goal function

OK, using the calculus of variations, I want to find a function $f$ that maximizes: $$J = \int_0^n L(x,f(x)) \text{d}x$$. But $L$ has multiple integrals in it (for example, $\displaystyle \int_0^n y ...
1
vote
2answers
145 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. ...
1
vote
1answer
71 views

Calculation mistake in variation of length functional?

This should be pretty simple to check if you know the basics of variational calculus. I feel like I am making an obvious mistake somewhere like not using chain rule somewhere. Let $g : \mathbb{R}^n ...
0
votes
2answers
445 views

Moment of inertia about center of mass of a curve that is the arc of a circle.

Let $(x(s),y(s))$ be a smooth 2-d plane curve which is an arc of a circle of a certain radius $r$. Assume it is represented by an inelastic string $S$ of finite length, lying in a 2-d plane. Let there ...
0
votes
1answer
312 views

Show that minimum exists (direct method)

Consider $$ F(v):=\int\limits_0^1\lvert v'(x)\rvert^2\, dx, $$ with $$ \left\{v\in H^{1,2}(0,1), v(0)=0=v(1)\right\}. $$ Show that a minimum exists and use the direct method. When I am right ...
5
votes
1answer
468 views

Optimizing a functional with a differential equation as a constraint

I am working on solving the following optimization problem. I think it is well-poised but, if not, please give me some pointers that could make the question make more sense. We have a parametric ...
5
votes
3answers
386 views

Treacherous Euler-Lagrange equation

If I have an Euler-Lagrange equation: $(y')^2 = 2 (1-\cos(y))$ where $y$ is a function of $x$ subjected to boundary conditions $y(x) \to 0$ as $x \to -\infty$ and $y(x) \to 2\pi$ as $x \to ...
4
votes
1answer
259 views

Step in derivation of Euler-Lagrange equations of motion

From http://www.mathpages.com/home/kmath523/kmath523.htm Variations in $x,y,z$ and $X$ at constant $t$ are independent of $t$ (since each of these variables is strictly a function of $t$), so we ...
4
votes
2answers
94 views

Laplace Boundary Problem

Consider a boundary given by vertices $(0,a)$, $(0,0)$ and $(1,0)$ (an 'L' shaped boundary). The problem is to find the equation that passes between the endpoints $(0,a)$ $(1,0)$ of minimum length ...
3
votes
0answers
115 views

Regularity of a Weak Solution to Fokker-Planck Equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE \begin{align} \partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\ \rho(t ...
3
votes
1answer
107 views

Direct Method of Variationcalculation

Consider the Bolza problem $$ \inf\left\{F(u)=\int\limits_0^1 ((1-u'^2)^2+u^2)\, dx, u\in W^{1,4}(0,1), u(0)=0=u(1)\right\}. $$ Show that $\inf F(u)=0$, but that it does not exist an $u_0$ with ...
2
votes
0answers
109 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 ...
2
votes
1answer
70 views

How to calculate this functional derivative?

How can I calculate the functional derivative of this functional? $$F[x](t) = \int_{0}^{t}x(t_1)a(t_1)\left \{ \int_{0}^{t_1}x(t_2)b(t_2) \,dt_2\right \} dt_1 .$$ Where $a(t)$ and $b(t)$ are real ...
2
votes
2answers
123 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.
2
votes
1answer
42 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
2answers
118 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: ...
2
votes
1answer
120 views

Calculus of Variations: Mul-variable-mul-function

My question is: How to find the necessary condition for minimizing/maximizing the functional $$J(f,g)=\int\int_{R}F(x,y,f(x),g(y))dxdy,~~~~~~~~~~(1)$$ where we have two functions $f(x)$ which only ...
2
votes
1answer
80 views

Interpretation of the variational principle for the Ritz approximation, solid Mechanics

Below $U$ and $V$ are recpectively the internal and external energy components of a given structural element: $$U+V=W$$ Expressing $U$ in terms of the strains $\varepsilon$ and the material ...
2
votes
1answer
94 views

Infimum length of curves

Let the unit disc $\{(x,y): r^2=x^2+y^2<1\}\subset\mathbb R^2$ be equipped with the Riemannian metric $dx^2 +dy^2\over 1-(x^2+y^2)$. Why does it follow that the shortest/infimum length of curves ...
1
vote
0answers
69 views

Second variation of the domain functionals.

I am reading a paper which deals with the second variation of the domain functionals and applications . The following problem is solved . The eigen value $\lambda(t)$ which is characterised by the ...
1
vote
0answers
49 views

How does integration by parts work with multivariable functions

How does integration by parts work with multivariable function? Lets say I have the functions $f(\textbf{x})$ and $g(\textbf{x})$, where $\textbf{x}\in\mathbb{R}^n$. How would integration by parts be ...
1
vote
1answer
68 views

How to transform $ \int_a^b f(x^2+y(x)^2)\sqrt{1+y'(x)^2}\;dx$ into polar coordinates

I have the following homework problem (from Calculus of Variations course) : Show that if in $$ \min \int_a^b f(x^2+y(x)^2)\sqrt{1+y'(x)^2}\;dx$$ polar coordinates are used, then the ...
1
vote
1answer
48 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 ...
1
vote
0answers
40 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
27 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 ...
1
vote
1answer
130 views

How to check if stationary point is extremum?

In this question the solution of Euler–Lagrange equation is $y=x$ function. $L = (y')^3$ so $L''_{y'} = 6y'$ and is positive when $y=x$. But from the answer of Emanuele Paolini follows that it is ...