Funkcjonał

Funkcjonał – wieloznaczne pojęcie matematyczne, opisujące różne typy funkcji; przeważnie są definiowane przeciwdziedziną, a czasem też dziedziną w sensie zbioru argumentów. Według różnych autorów funkcjonał to funkcja:

1. o wartościach liczbowychSzablon:Odn;
2. o wartościach liczbowych na zbiorze funkcjiSzablon:Odn;
3. rzeczywista lub zespolona określona na dowolnym zbiorze;
4. rzeczywista lub zespolona na dowolnym zbiorze funkcji;
5. z przestrzeni liniowej w ciało jej skalarówSzablon:Odn;
6. powyższego typu będąca jednocześnie przekształceniem liniowymSzablon:Odn;
7. rzeczywista na przestrzeni liniowej nad ciałem liczb rzeczywistychSzablon:Odn;
8. rzeczywista na przestrzeni Banacha lub jej podzbiorzeSzablon:Odn.

Trzecie ani czwarte znaczenie nie są rozłączne z piątym, ponieważ:

• funkcję rzeczywistą lub zespoloną można określić na przestrzeni liniowej ze skalarami rzeczywistymi lub zespolonymi;
• przestrzenią tą może być przestrzeń funkcyjna.

Funkcjonał w szóstym znaczeniu to inaczej forma, przy czym termin ten miewa też inne znaczenie. Tak rozumiany funkcjonał (forma) to szczególny przypadek operatora, czyli przekształcenia, które funkcji przyporządkowuje inną funkcję (np. operator różniczkowy funkcji przypisuje jej funkcję pochodną).

Pojęcie funkcjonału pierwotnie pojawiło się w rachunku wariacyjnym, który polega na znajdowaniu ekstremum funkcjonału, zwanego działaniem Hamiltona (tzw. zasada najmniejszego działania). Szczególnie istotnym zastosowaniem w fizyce jest znajdowanie stanu układu, dla którego funkcjonał energii osiąga minimum.

Przykłady

Dualność

Szablon:Osobny artykuł (1) Funkcja

$x_0\mapsto f(x_0)$

przekształca argument $x_0$ na wartość funkcji $f$ w punkcie $x_0.$

(2) Możliwe jest przyporządkowanie danej funkcji $f$ całej rodziny funkcji, takiej że poszczególne funkcje zależą od argumentu $x_0,$ tj.

$f,x_0\mapsto g(x_0).$

Jeśli $f$ jest przekształceniem liniowym z przestrzeni wektorowej w ciało skalarne, nad którym rozpięta jest ta przestrzeń, to przekształcenie $f,x_0\mapsto g(x_0)$ wyznaczone przez dany argument $x_0$ odwzorowaniem wzajemnie jednoznacznym pomiędzy argumentem a funkcją – funkcję $g$ – nazywa się wtedy dualną do funkcji $f,$ a obydwie funkcje są funkcjonałami liniowymi.

Całka oznaczona

Szablon:Osobny artykuł Całki postaci

$f\mapsto I[f]=\underset{a}{\overset{b}{\int }}H(f(x),f^{\prime }(x),\dots )\text{d}x,$

gdzie:

$H$ – funkcja o wartościach rzeczywistych,

tworzy pewną klasę funkcjonałów przekształcających funkcję $f$ na liczbę rzeczywistą.

W szczególności należą do tej klasy:

• pole pod wykresem nieujemnej funkcji $f$

$f\mapsto S(f)=\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x,$

• p-ta norma funkcji całkowalnej

$f\mapsto \Vert f{\Vert }_p={(\underset{a}{\overset{b}{\int }}|f(x){|}^p\mathrm{d}x)}^{1/p},$

• długość krzywej na płaszczyźnie

$f\mapsto L(f)=\underset{a}{\overset{b}{\int }}\sqrt{1+|f^{\prime }(x){|}^2}\mathrm{d}x.$

Iloczyn skalarny

Szablon:Osobny artykuł Dla danego wektora $\overrightarrow{x}$ z przestrzeni wektorowej $X,$ iloczyn skalarny $\overrightarrow{x}$ z wektorem $\overrightarrow{y}$ oznaczony $\overrightarrow{x}\cdot \overrightarrow{y}$ lub $⟨\overrightarrow{x},\overrightarrow{y}⟩$ jest skalarem. Dlatego $\overrightarrow{x}$ wyznacza funkcjonał:

$\overrightarrow{y}\mapsto \overrightarrow{x}\cdot \overrightarrow{y}.$

Równanie funkcyjne

Szablon:Osobny artykuł Rozwiązaniami równania funkcyjnego postaci $F=G$ są funkcje, dla których wartości funkcjonałów $F$ i $G$ są równe. Na przykład funkcja jest addytywna, jeśli spełnia równanie funkcyjne:

$f(x+y)=f(x)+f(y).$

Pochodna funkcjonalna i całka funkcjonalna

Pochodna funkcjonalna niesie informację o zmianie wartości funkcjonału przy niewielkiej zmianie funkcji będącej jego argumentem. Pochodne funkcjonalne używane są w mechanice klasycznej i rachunku wariacyjnym.

Richard Feynman zastosował całki funkcjonalne w swoim sformułowaniu mechaniki kwantowej. Zastosowanie to przewiduje całkowanie nad pewną przestrzenią funkcyjną.

Forma a funkcjonał

W literaturze matematycznej istnieje spora niekonsekwencja w użyciu terminów forma i funkcjonał:

(1) GleichgewichtSzablon:Odn wyraźnie rozróżnia termin funkcjonał od określenia forma. Ten ostatni termin oznacza w jego książce formułę, wyrażenie formalne. I tak, na przykład, pisze on:

[...] napiszemy wzór (10.1) w postaci

$f(x)={\alpha }_1{\xi }_1+{\alpha }_2{\xi }_2+\dots +{\alpha }_n{\xi }_n$

zwanej formą liniową, [...]

a potem

(10.4) $\phi (x,y)=\sum _{i,j=1}^n{\alpha }_{ij}{\xi }_i{\eta }_j.$

[...] Prawa strona wyrażenia (10.4) nazywa się formą dwuliniową.

Należy też zwrócić uwagę, że same przekształcenia w ciało (np. $f,\phi$ powyżej) są konsekwentnie określane jako funkcjonały.

(2) LangSzablon:Odn używa określenia funkcjonał na odwzorowania liniowe z przestrzeni wektorowej $V$ (nad ciałem $K$) w ciało $K.$ Słowo forma jest używane tu dla odwzorowań wieloliniowych oraz kwadratowych (tzn. mówi się w tej książce o formach wieloliniowych, formach kwadratowych itd.).

• Natomiast Komorowski (1978) używa jedynie określenia forma, piszącSzablon:Odn:

Elementy przestrzeni $V^{*}$ nazywamy formami liniowymi na $V;$ często, kiedy nie prowadzi to do nieporozumień, formy liniowe nazywa się krótko formami.

W kolejnym rozdziale Komorowski wprowadza następującą definicję:

Elementy p.w. $L(V_1,\dots ,V_n;K)$ nazywamy formami n-liniowymi.

(3) Musielak (1976) piszeSzablon:Odn:

[...] operator liniowy $T:X⟶𝐊$ nazywamy funkcjonałem liniowym lub formą liniową.

Jednak w pozostałych częściach tekstu używa on głównie zwrotu funkcjonał liniowy.

Zobacz też

• dystrybucja
• forma liniowa
• forma półtoraliniowa
• forma dwuliniowa
• forma kwadratowa

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę

Literatura dodatkowa

• Szablon:Cytuj książkę