Math 2.0

Calculus of variations and optimal control; optimization Definition

Functional

Builds on Vector spaceFunction

Definition

Let ๐•‚\mathbb{K} be โ„\R or โ„‚\C, and let VV be a vector space over ๐•‚\mathbb{K}. A functional on VV is a function Jโ€‰โฃ:Vโ†’๐•‚J \colon V \to \mathbb{K}. More generally, a functional on a subset AโІVA \subseteq V is a function Jโ€‰โฃ:Aโ†’๐•‚J \colon A \to \mathbb{K}. In the calculus of variations, VV is usually a space of real functions, such as C1([a,b])C^1([a, b]), and JJ is real-valued.

Remarks

Example: on V=C([0,1])V = C([0, 1]), the map J(y)=โˆซ01y(x)2โ€‰dxJ(y) = \int_0^1 y(x)^2 \, dx is a real functional. It is not linear, since J(2y)=4J(y)J(2y) = 4 J(y) while a linear map would give 2J(y)2 J(y). A functional that is linear is a linear form; when VV is normed, the continuous linear functionals form the dual space Vโˆ—V^*. Non-example: the map yโ†ฆyโ€ฒy \mapsto y' on C1([0,1])C^1([0, 1]) takes values in C([0,1])C([0, 1]), not in ๐•‚\mathbb{K}, so it is an operator and not a functional. Some authors restrict the word to linear functionals; in the calculus of variations it means any scalar-valued map as above.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Function concept
  2. Vector space concept
  3. Functional definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Functional_(mathematics)
About this page
Tag1T23294NKC
URIm2://1T23294NKC
Kinddefinition
WritingW0 stub
MSC49-XX, 46-XX
DefinesFunctional
UsesVector space, Function

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.