# Definition:Sequence/Minimizing/Functional

< Definition:Sequence(Redirected from Definition:Minimizing Sequence of Functional)

Jump to navigation
Jump to search
This article needs to be linked to other articles.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Definition

Let $y$ be a real mapping defined on a space $\MM$.

This article is incomplete.In particular: what is $\MM$?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Stub}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

Let $J \sqbrk y$ be a functional such that:

- $\exists y \in \MM: J \sqbrk y < \infty$

- $\ds \exists \mu > -\infty: \inf_y J \sqbrk y = \mu$

Let $\sequence {y_n}$ be a sequence such that:

- $\ds \lim_{n \mathop \to \infty} J \sqbrk {y_n} = \mu$

Then the sequence $\sequence {y_n}$ is called a **minimizing sequence (of the functional $J \sqbrk y$)**.

### Limit Minimizing Function of Functional

Let $\sequence {y_n}$ be a minimizing sequence of a functional $J$.

Suppose:

- $\ds \lim_{n \mathop \to \infty} y_n = \hat y$

and

- $\ds \lim_{n \mathop \to \infty} J \sqbrk {y_n} = J \sqbrk {\hat y}$

Then $\hat y$ is the **limit minimizing function** of $J \sqbrk {y_n}$ and $J \sqbrk {\hat y} = \mu$.

## Sources

- 1963: I.M. Gelfand and S.V. Fomin:
*Calculus of Variations*... (previous) ... (next): $\S 8.39$: Minimizing Sequences