# Calculus of Variations: Looking for theorem that ensures that a given variational problem has maxima and minima

Mathematics Asked by user on August 3, 2020

Is there a theorem that garuantees that a variational problem $$I[y] = int_a^bF(x,y,y’)dx$$ has local/ global maxima and minima?

Perhaps similar to the extreme value theorem for continuous functions on compact sets?!

Specifically once I obtain a solution to the Euler- Lagrange equations how can I show that such a solution is an extemum/ minimum / maximum?

Are there similar theorems for constrained problems?
Many thanks!

## One Answer

If $$F$$ is a continuous function and your constraint set is compact, the Weierstrass theorem still applies. The problem is that compactness in function spaces is much more complicated than in finite-dimensional vector spaces.

What it sounds like you really want is second-order sufficient conditions: "Specifically once I obtain a solution to the Euler- Lagrange equations how can I show that such a solution is an extemum/ minimum / maximum?"

The corresponding versions of the SOSC's for optimal control come in two flavors. Arrow's sufficient conditions are on the fundamentals of the problem, while Mangasarian's are on the optimized Hamiltonian. This is a pretty good reference, if you are at a university:

https://www.jstor.org/stable/2525753?seq=1

Otherwise, googling around for "Arrow-Mangasarian Sufficient Conditions, Optimal Control" will turn up thousands of references.

Correct answer by user807138 on August 3, 2020

## Related Questions

### Can Laplace’s transformation be equal to a Gaussian for any integer?

2  Asked on November 2, 2021

### Is there analytical solution to this heat equation?

1  Asked on November 2, 2021 by titanium

### Proving Threshold Properties of a Dynamic Programming Problem

0  Asked on November 2, 2021

### Assumptions in converting between nominal/effective interest/discount

1  Asked on November 2, 2021 by minyoung-kim

### How can I prove that 3 planes are arranged in a triangle-like shape without calculating their intersection lines?

7  Asked on November 2, 2021

### Detailed analysis of the secretary problem

1  Asked on November 2, 2021 by saulspatz

### Are all finite-dimensional algebras of a fixed dimension over a field isomorphic to one another?

6  Asked on November 2, 2021 by perturbative

### Why does the plot of $f(x)=|cos x|-|sin x|$ look almost piecewise linear?

2  Asked on November 2, 2021 by meowdog

### Excluded middle, double negation, contraposition and Peirce’s law in minimal logic

2  Asked on November 2, 2021 by lereau

### Does iterating the complex function $zmapstofrac{2sqrt z}{1+z}$ always converge?

3  Asked on November 2, 2021 by mr_e_man

### If an infinite set $S$ of positive integers is equidistributed, is $S+S$ also equidistributed?

1  Asked on November 2, 2021 by vincent-granville

### How to evaluate $int frac{dx}{sin(ln(x))}$?

6  Asked on November 2, 2021

### $lfloorfrac12+frac1{2^2}+frac1{2^3}+cdotsrfloor;$ vs $;lim_{ntoinfty}lfloorfrac12+frac1{2^2}+cdots+frac1{2^n}rfloor$

2  Asked on November 2, 2021 by drift-speed

### Finding the Center of Mass of a disk when a part of it is cut out.

6  Asked on November 2, 2021

### Do functions with the same gradient differ by a constant?

4  Asked on November 2, 2021

### What loops are possible when doing this function to the rationals?

2  Asked on November 2, 2021 by user808945

### Is there an explicit construction of this bijection?

2  Asked on November 1, 2021 by gregory-j-puleo

### How can I determine the radius of 4 identical circles inside an equilateral triangle $ABC$?

5  Asked on November 1, 2021 by user766881

### Prove that $tan^{-1}frac{sqrt{1+x^2}+sqrt{1-x^2}}{sqrt{1+x^2}-sqrt{1-x^2}}=frac{pi}{4}+frac 12 cos^{-1}x^2$

4  Asked on November 1, 2021

### Why is my value for the length of daylight wrong?

2  Asked on November 1, 2021 by user525966

### Ask a Question

Get help from others!

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir