Cesko.wiki Distribuce (matematika)
Author
Albert FloresZobecněné funkce, neboli distribuce, představují velmi užitečný nástroj nejen v matematice, ale především v pokročilých partiích moderní fyziky. Jedná se o spojité lineární funkcionály definované na speciálních množinách funkcí. Na těchto funkcionálech jsou dále zavedeny dodatečné operace jako derivace, konvoluce či Fourierova transformace.
Teorii zobecněných funkcí vytvořil a rozvinul francouzský matematik Laurent Schwartz. Již předtím se ale objevily intuitivní koncepty objektů s vlastnostmi zobecněných funkcí. +more Typickým příkladem je Diracova \scriptstyle \delta-funkce.
Motivace zavedení pojmu
V první polovině dvacátého století zavedl anglický teoretický fyzik Paul Dirac formálně funkci \scriptstyle \delta s následujícími vlastnostmi
:\delta(x) = 0 \ \text{pro} \ x \neq 0,
:\int_{- \infty}^{+ \infty} \delta(x) \mathrm{d} x = 1.
Aby mohl být integrál nenulový, tak se formálně "definuje" \scriptstyle \delta(0) = + \infty. Pojem \scriptstyle \delta-funkce Dirac zavedl více méně intuitivně. +more Výborně se hodil pro popis fyzikálních jevů, se kterými pracoval. Ve skutečnosti ale žádná taková funkce \scriptstyle \delta, která by splňovala výše uvedené vlastnosti, neexistuje. Až později toto intuitivní chápání upřesnil L. Schwartz, jenž rozvinul teorii zobecněných funkcí. V rámci jeho teorie lze postavit pojem \scriptstyle \delta-funkce na pevný matematický základ. Je ale nutné zavést jakousi "mezivrstvu" mezi definičním oborem funkce a jejími hodnotami. Zatímco intuitivně chápaná \scriptstyle \delta-funkce je definovaná na množině reálných čísel \scriptstyle \mathbb{R} a její hodnoty jsou (více méně) opět reálná čísla, matematicky korektně definovaná \scriptstyle \delta-funkce zobrazuje z množiny jistých "pěkně se chovajících funkcí" do reálných čísel. Zmíněné "pěkné" funkce samotné jsou pak definovány na "původní" množině \scriptstyle \mathbb{R}. Nemůžeme už tak dále mluvit o hodnotě \scriptstyle \delta-funkce v nějakém reálném bodě, nanejvýš o její hodnotě na nějaké konkrétní "pěkné" funkci.
Definice zobecněné funkce a související pojmy
Než budeme moci přikročit k definici zobecněné funkce, musíme zavést několik průvodních pojmů. Zobecněná funkce bude jistý funkcionál definovaný na jisté množině funkcí. +more Specifikujme nyní, jakou množinu funkcí máme přesně na mysli.
Testovací funkce
Mějme přirozené číslo \scriptstyle n \in \mathbb{N}. Označme množinu všech hladkých funkcí s kompaktním nosičem definovaných na \scriptstyle \mathbb{R}^n jako \scriptstyle \mathcal{D} \equiv \mathcal{D}(\mathbb{R}^n) a nazývejme ji prostor testovacích funkcí (každou funkci z tohoto prostoru tedy nazýváme testovací funkce). +more Uvažujme na tomto prostoru takovou topologii, v níž posloupnost testovacích funkcí \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} konverguje k testovací funkci \scriptstyle \varphi na prostoru \scriptstyle \mathcal{D}, právě když mají funkce \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} stejnoměrně omezené nosiče a pro každý multiindex \scriptstyle \alpha \in \mathbb{Z}^n_+ je pro \scriptstyle k \to \infty splněno.
: \partial^\alpha \varphi_k \rightrightarrows \partial^\alpha \varphi \quad \text{na} \ \mathbb{R}^n,
kde symbol \scriptstyle \rightrightarrows značí stejnoměrnou konvergenci a symbol \scriptstyle \partial^\alpha označuje parciální derivaci funkce podle proměnných, jejichž index leží v multiindexu \scriptstyle \alpha. Neboli
: \partial^\alpha \varphi \equiv \frac{\partial^
| \alpha |
|---|
kde \scriptstyle \alpha = (i_1, \ldots, i_n) a \scriptstyle |\alpha| \equiv i_1 + \ldots + i_n, \scriptstyle (\forall j \in \{ 1, \ldots, n \})(i_j \in \mathbb{N}) .
V dalším je užitečné neuvažovat zobecněné funkce definované na celém prostoru, ale jen na jeho podmnožině. K tomu si zaveďme následující pojem.
Nechť \scriptstyle G je otevřená podmnožina \scriptstyle \mathbb{R}^n. Definujme prostor \scriptstyle \mathcal{D}(G) jako množinu těch testovacích funkcí z \scriptstyle \mathcal{D}, jejichž nosič leží v \scriptstyle G. +more Obdobně jako u \scriptstyle \mathcal{D} si na \scriptstyle \mathcal{D}(G) zaveďme konvergenci posloupnosti testovacích funkcí. O posloupnosti \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} testovacích funkcí z \scriptstyle \mathcal{D}(G) řekneme, že konverguje k \scriptstyle \varphi v prostoru \scriptstyle \mathcal{D}(G), právě když platí současně:.
# (\exists K \subset G, K \ \text{kompaktní})(\forall k \in \mathbb{N})(\text{supp} \ \varphi_k \subset K), # (\forall \alpha \in \mathbb{Z}^n_+)(\partial^\alpha \varphi_k \rightrightarrows \partial^\alpha \varphi \ \text{na} \ G \ \text{pro} \ k \to \infty).
Symbolem \scriptstyle \text{supp} \ \varphi označujeme nosič funkce \scriptstyle \varphi.
Zobecněné funkce
Definujeme, že lineární zobrazení \scriptstyle P: \mathcal{D} \to \mathcal{D}, popř. \scriptstyle f: \mathcal{D} \to \mathbb{C}, je spojité, právě když toto zobrazení zobrazuje každou posloupnost, která konverguje v \scriptstyle \mathcal{D}, opět na konvergentní posloupnost. +more Lineární funkcionál na prostoru testovacích funkcí \scriptstyle \mathcal{D}(G), který je spojitý ve smyslu předchozí věty, nazveme zobecněnou funkcí neboli distribucí. Množinu všech těchto zobecněných funkcí označíme \scriptstyle \mathcal{D}'(G), pro \scriptstyle G = \mathbb{R}^n budeme pro odpovídající množinu zobecněných funkcí používat označení \scriptstyle \mathcal{D}'. Hodnotu funkcionálu \scriptstyle f na testovací funkci \scriptstyle \varphi budeme (namísto obvyklého \scriptstyle f(\varphi)) značit \scriptstyle (f,\varphi). Toto značení nepřipomíná značení skalárního součinu náhodně, pro analogii viz regulární zobecněné funkce níže.
Linearita zobecněné funkce \scriptstyle f \in \mathcal{D}'(G) znamená, že
:(\forall \varphi, \psi \in \mathcal{D}(G))(\forall \alpha \in \mathbb{C})\big( (f, \alpha \varphi + \psi) = \alpha (f, \varphi) + (f, \psi) \big).
Navíc na množině \scriptstyle \mathcal{D}'(G) lze klasickým způsobem zavést operace sčítání dvou zobecněných funkcí a jejich násobení komplexním číslem. A sice
:(\forall \varphi \in \mathcal{D}(G))(\forall \alpha \in \mathbb{C})(\forall f, g \in \mathcal{D}'(G)) \big( (\alpha f + g, \varphi) = \alpha (f, \varphi) + (g, \varphi) \big).
Je snadné ukázat, že množina zobecněných funkcí \scriptstyle \mathcal{D}'(G) s výše zavedenými operacemi sčítání a násobení číslem tvoří vektorový prostor. Budeme-li navíc uvažovat výraz \scriptstyle (f, \varphi), kde \scriptstyle f \in \mathcal{D}'(G) a \scriptstyle \varphi \in \mathcal{D}(G), jako hodnotu zobrazení \scriptstyle (\cdot, \cdot): \mathcal{D}'(G) \times \mathcal{D}(G) \to \mathbb{C} dvou proměnných s argumenty \scriptstyle f a \scriptstyle \varphi, tak je toto zobrazení bilineární.
Definujme nyní konvergenci posloupnosti zobecněných funkcí. Řekneme, že posloupnost \scriptstyle \{ f_k \}_{k \in \mathbb{N}} zobecněných funkcí konverguje k \scriptstyle f v prostoru \scriptstyle \mathcal{D}'(G), právě když pro každou testovací funkci \scriptstyle \varphi \in \mathcal{D}(G) existuje limita číselné posloupnosti funkčních hodnot funkcí \scriptstyle f_k na \scriptstyle \varphi a tato posloupnost konverguje k \scriptstyle (f,\varphi). +more V symbolech.
:(\forall \varphi \in \mathcal{D}(G))(\exists \lim_{k \to \infty} (f_k, \varphi) \wedge \lim_{k \to \infty} (f_k, \varphi) = (f, \varphi)).
Konvergence na prostoru \scriptstyle \mathcal{D}'(G) je tedy zavedena ve slabém smyslu.
Reálné a komplexní zobecněné funkce
O zobecněné funkci řekneme, že je reálná, právě když zobrazuje každou reálnou testovací funkci na reálné číslo. Lze definovat i komplexně sdruženou zobecněnou funkci \scriptstyle \bar{f} k zobecněné funkci \scriptstyle f \in \mathcal{D}' vztahem
:(\forall \varphi \in \mathcal{D})((\bar{f}, \varphi) = \overline{(f, \bar{\varphi})}).
V tuto chvíli lze zavést i reálnou a imaginární část zobecněné funkce \scriptstyle f \in \mathcal{D}'(G) vztahy
: \text{Re} \, f = \frac{f + \bar{f}}{2}, \quad \text{Im} \, f = \frac{f - \bar{f}}{2 \mathrm{i}}.
Zobecněná funkce je zjevně reálná, právě když je rovna své reálné části.
Nosič zobecněné funkce
Ačkoli, jak již bylo zmíněno, nemůžeme hovořit o hodnotě zobecněné funkce v bodě, lze zavést pojem nosiče zobecněné funkce. Než tak učiníme, řekněme si, co chápeme pod tím, že je někde zobecněná funkce nulová. +more Mějme otevřenou množinu \scriptstyle G \subset \mathbb{R}^n a zobecněnou funkci \scriptstyle f \in \mathcal{D}'(\mathbb{R}^n). Pak řekneme, že \scriptstyle f je rovna nule na množině \scriptstyle G, právě když.
:(\forall \varphi \in \mathcal{D}(G)) \left( (f, \varphi) = 0 \right).
Navíc, řekneme, že \scriptstyle f je rovna nule lokálně na množině \scriptstyle G, právě když
:(\forall x \in G)(\exists U = U^\circ \subset G, x \in U)(f \ \text{je rovna nule na} \ U).
Je jasné, že pokud je \scriptstyle f rovna nule na \scriptstyle G, tak je rovna nule i na každé její podmnožině \scriptstyle \tilde{G} \subset G. Lze ukázat i opačné tvrzení, tj. +more je-li zobecněná funkce lokálně rovna nule na otevřené množině, tak je na této množině rovna nule ve smyslu definic výše. Nyní už můžeme přikročit k definici nosiče zobecněné funkce.
Uvažujme všechny \scriptstyle G coby otevřené podmnožiny \scriptstyle \mathbb{R}^n, na kterých je zobecněná funkce \scriptstyle f \in \mathcal{D}' rovna nule. Označme si sjednocení všech takových množin jako \scriptstyle \mathcal{N}(f). +more Tato množina je zřejmě největší otevřená množina, na níž je \scriptstyle f rovna nule. Její doplněk, tj. množinu \scriptstyle \mathbb{R}^n \setminus \mathcal{N}(f) pak nazýváme nosič zobecněné funkce \scriptstyle f a značíme \scriptstyle \text{supp} f.
Pokud má zobecněná funkce \scriptstyle f omezený nosič, tak řekneme, že je \scriptstyle f finitní.
Regulární zobecněné funkce
Mějme \scriptstyle G otevřenou množinu v \scriptstyle \mathbb{R}^n vybavenou Lebesgueovou mírou. O měřitelné funkci \scriptstyle F definované na \scriptstyle G řekneme, že je lokálně integrovatelná, právě když je splněno
:(\forall x \in G)(\exists U = U^\circ \subset G, x \in U) \left( \int_U |F(x)| \mathrm{d}^n x
Podobně jako u p-integrabilních funkcí i zde uvažujme množinu všech lokálně integrovatelných funkcí na \scriptstyle G, kterou vyfaktorizujeme podle množiny lokálně integrovatelných funkcí nenulových na množině míry nula. Jinými slovy, uvažujme množinu integrabilních funkcí faktorizovanou podle množiny těch lokálně integrovatelných funkcí \scriptstyle F, pro něž \scriptstyle \int_U |F(x)| \mathrm{d}^n x = 0. +more Vzniklý faktorprostor označíme \scriptstyle L^1_\text{loc} (G, \mathrm{d}^n x), popř. jen \scriptstyle L^1_\text{loc} (G), a nazveme prostor lokálně integrovatelných funkcí. Správně tedy prvky tohoto prostoru nejsou funkce samotné, ale jejich třídy ekvivalence. Jak je ale obvyklé, budeme dále považovat za prvky prostoru lokálně integrovatelných funkcí funkce samotné, ne jejich třídy ekvivalence.
Je též dobré si uvědomit, že funkce \scriptstyle F je lokálně integrovatelná na \scriptstyle G, právě když pro každou kompaktní podmnožinu \scriptstyle K \subset G je zúžení \scriptstyle F|_K z prostoru \scriptstyle L^1 (K, \mathrm{d}^n x).
Buď nyní \scriptstyle F \in L^1_\text{loc} (G) a definujme funkcionál \scriptstyle f na \scriptstyle \mathcal{D}(G) jako
:(\forall \varphi \in \mathcal{D}(G)) \left( (f,\varphi) \equiv \int_G F(x) \varphi(x) \mathrm{d}^n x \right).
Integrál výše je konečný, protože ve skutečnosti neintegruji přes celou množinu \scriptstyle G, ale pro každou konkrétní testovací funkci \scriptstyle \varphi integruji vždy jen přes její nosič \scriptstyle \text{supp}\ \varphi \subset G, což je kompaktní množina (viz poznámku před vzorcem výše). Díky linearitě integrálu je funkcionál \scriptstyle f též lineární. +more Navíc je i spojitý (ve smyslu konvergence zavedené výše). Mějme posloupnost \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} konvergující v \scriptstyle \mathcal{D}(G) k funkci \scriptstyle \varphi. Všechny nosiče \scriptstyle \text{supp} \ \varphi_k jsou tedy podmnožinou nějaké kompaktní množiny \scriptstyle K \subset G a pro limitu hodnot integrálu platí.
: \lim_{k \to \infty} \int_G F(x) \varphi_k (x) \mathrm{d}^n x = \lim_{k \to \infty} \int_K F(x) \varphi_k (x) \mathrm{d}^n x.
Nyní využijeme toho, že posloupnost \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} konverguje na \scriptstyle K stejnoměrně (viz definici konvergence na prostoru testovacích funkcí), abychom mohli zaměnit limitu s integrálem. Dostáváme tedy
: \lim_{k \to \infty} \int_K F(x) \varphi_k (x) \mathrm{d}^n x = \int_K F(x) (\lim_{k \to \infty} \varphi_k (x)) \mathrm{d}^n x = \int_K F(x) \varphi (x) \mathrm{d}^n x = \int_G F(x) \varphi (x) \mathrm{d}^n x.
O funkcionálu \scriptstyle f jsme tedy právě ukázali, že je dobře definovaný (integrál je pro každou testovací funkci konečný), lineární a spojitý. Jedná se tedy o zobecněnou funkci.
Dále definujeme, že obecná zobecněná funkce \scriptstyle f \in \mathcal{D}'(G) je regulární zobecněná funkce, právě když existuje lokálně integrovatelná funkce \scriptstyle F \in L^1_\text{loc} (G) taková, že
:(\forall \varphi \in \mathcal{D}(G)) \left( (f,\varphi) \equiv \int_G F(x) \varphi(x) \mathrm{d}^n x \right).
Operace nad zobecněnými funkcemi
Na prostoru zobecněných funkcí \scriptstyle \mathcal{D}' lze definovat zobrazení, jež lze chápat jako zobecnění operací nad klasickými funkcemi. Jedná se např. +more o násobení hladkou funkcí, derivování či Fourierovu transformaci. Vzhledem k tomu, že zobecněné funkce tvoří vektorový prostor, je výhodné, aby zobrazení definovaná na této množině byla lineární.
Operace nad \scriptstyle \mathcal{D}' přitom zavádíme tak, že udáme, jak se zobecněná funkce vzniklá působením takové operace chová na testovacích funkcích. Tento postup lze chápat i tak, že když chceme definovat operaci \scriptstyle T: \mathcal{D}' \to \mathcal{D}', tak se v podstatě snažíme najít k ní duální operaci \scriptstyle \tilde{T} působící na prostoru testovacích funkcí \scriptstyle \mathcal{D}. +more Přesněji, pro dané \scriptstyle T: \mathcal{D}' \to \mathcal{D}' udáme \scriptstyle \tilde{T}: \mathcal{D} \to \mathcal{D} tak, aby.
:(\forall \varphi \in \mathcal{D}) \big( (T f, \varphi) = (f, \tilde{T} \varphi) \big).
Od zobrazení \scriptstyle \tilde{T} přitom požadujeme, aby přirozeným způsobem zobecňovalo operace definované na obyčejných funkcích (viz oddíly Motivace zavedení u každé operace níže). Vyjdeme z regulárních zobecněných funkcí, jimž lze přiřadit "obyčejnou" funkci, zjistíme jak se na nich diskutovaná operace chová a podle toho definujeme danou operaci pro všechny zobecněné funkce.
Mějme nyní \scriptstyle f \in \mathcal{D} zobecněnou funkci. Platí, že spojitost zobrazení \scriptstyle \tilde{T} již vynucuje spojitost funkcionálu \scriptstyle T f. +more Mějme posloupnost \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} jdoucí k nule v prostoru \scriptstyle \mathcal{D}. Dále nechť \scriptstyle \tilde{T}: \mathcal{D} \to \mathcal{D} je spojité zobrazení na prostoru testovacích funkcí. To znamená, že posloupnost \scriptstyle \{ \tilde{T} \varphi_k \}_{k \in \mathbb{N}} též konverguje k nule v \scriptstyle \mathcal{D}. Ze spojitosti \scriptstyle f plyne.
:\lim_{k \to \infty} (T f, \varphi_k) = \lim_{k \to \infty} (f, \tilde{T} \varphi_k) = 0.
Ukažme ještě, že operátor \scriptstyle T: \mathcal{D}' \to \mathcal{D}' zavedený pomocí pomocného zobrazení \scriptstyle \tilde{T}: \mathcal{D} \to \mathcal{D} způsobem výše je nutně spojitý. Buď \scriptstyle \{ f_k \}_{k \in \mathbb{N}} posloupnost zobecněných funkcí konvergující k nule v prostoru \scriptstyle \mathcal{D}'. +more Pak.
:(\forall \varphi \in \mathcal{D}) \big( \lim_{k \to \infty} (T f_k, \varphi) = \lim_{k \to \infty} (f_k, \tilde{T} \varphi) = 0. \big)
Afinní transformace souřadnic
Afinní transformace na vektorovém prostoru je obecně transformace tvaru \scriptstyle A x + b, kde \scriptstyle A je lineární zobrazení a \scriptstyle b je vektor posunutí. Zaveďme nyní afinní transformaci pro zobecněné funkce.
Motivace zavedení
Aby byl pochopitelný způsob, jakým je afinní transformace pro zobecněné funkce zavedena, uveďme si příklad, na kterém demonstrujeme vlastnosti, které od transformace budeme požadovat. Mějme regulární matici \scriptstyle A \in \text{GL}(\mathbb{R},n), kde \scriptstyle n \in \mathbb{N}, vektor (resp. +more uspořádanou \scriptstyle n-tici) \scriptstyle b \in \mathbb{R}^n, lokálně integrabilní funkci \scriptstyle f \in L^1_\text{loc}(\mathbb{R}^n) a funkci \scriptstyle g definovanou předpisem.
:g(x) = f(A x + b).
Uvažujme dále libovolnou testovací funkci \scriptstyle \varphi \in \mathcal{D}. Klasickými úpravami a větou o substituci v integrálu dostáváme
:(g,\varphi) = \int_{\mathbb{R}^n} g(x) \varphi(x) \mathrm{d}^n x = \int_{\mathbb{R}^n} f(A x + b) \varphi(x) \mathrm{d}^n x = \frac{1}
| \det A |
|---|
Díky tomuto vztahu je zřejmá podoba následující definice.
Definice
Mějme zobecněnou funkci \scriptstyle f \in \mathcal{D}'(\mathbb{R}^n). Afinní transformaci pro tuto funkci s maticí \scriptstyle A \in \text{GL}(\mathbb{R},n) a vektorem posunutí \scriptstyle b \in \mathbb{R}^n definujeme vztahem
:(\forall \varphi \in \mathcal{D}) \left( (f(A x + b), \varphi (x)) \equiv \frac{1}
| \det A |
|---|
Zde je třeba chápat výraz \scriptstyle f(A x + b) jako nedělitelný. Jak bylo uvedeno výše a jak vyplývá z definice zobecněné funkce, nelze hovořit o hodnotě funkce v nějakém bodě z \scriptstyle \mathbb{R}^n. +more Symbol \scriptstyle f(A x + b) představuje novou zobecněnou funkci. Výraz v závorce "pouze" označuje, jaké souřadnice na \scriptstyle \mathbb{R}^n jsme si zvolili a se kterými zrovna pracujeme.
Korektnost definice
Ověřme, že výše uvedená definice je konzistentní s dosavadními definicemi. Zobrazení \scriptstyle f(A x + b) je zřejmě funkcionál na testovacích funkcích, který je navíc lineární. +more Ověřme tedy jeho spojitost (ve smyslu konvergence). Mějme tedy libovolnou posloupnost testovacích funkcí \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} \subset \mathcal{D}, která konverguje k jisté testovací funkci \scriptstyle \varphi. Zde je dobré si uvědomit, že testovací funkce tvoří lineární prostor a proto stačí uvažovat případ \scriptstyle \varphi \equiv 0. Kdybychom totiž měli posloupnost \scriptstyle \{ \tilde{\varphi}_k \}_{k \in \mathbb{N}} \subset \mathcal{D} konvergující k \scriptstyle \tilde{\varphi} \neq 0, tak dostaneme.
:\tilde{\varphi}_k \to \tilde{\varphi} \quad \Leftrightarrow \quad \tilde{\varphi}_k - \tilde{\varphi} \to 0.
Položíme-li \scriptstyle \varphi_k \equiv \tilde{\varphi}_k - \tilde{\varphi}, platí
:\varphi_k \to 0 \equiv \varphi.
Máme tedy bez újmy na obecnosti posloupnost \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} \subset \mathcal{D} konvergující v prostoru \scriptstyle \mathcal{D} k nule. Ověřme nejdříve spojitost zobrazení \scriptstyle T: \mathcal{D} \to \mathcal{D}, které každé testovací funkci přiřadí jinou testovací funkci předpisem
:(T \varphi)(x) \equiv \varphi (A x + b).
Funkce \scriptstyle (T \varphi) je skutečně testovací funkce. Je totiž hladká (jedná se o složení dvou hladkých zobrazení) a má kompaktní nosič (samotná transformace \scriptstyle A x + b je difeomorfizmus a tedy převádí kompaktní množinu opět na kompaktní množinu). +more Zobrazení \scriptstyle T je tedy dobře definované.
Jak je to s jeho spojitostí. Uvědomíme-li si, jakým způsobem se derivují složené funkce, je zjevné, že pro každý multiindex \scriptstyle \alpha \in \mathbb{Z}^n_+ je parciální derivace \scriptstyle \partial^\alpha (T \varphi) nějakou lineární kombinací funkcí \scriptstyle (\partial^\beta \varphi)(A x + b), kde multiindexy \scriptstyle \beta splňují \scriptstyle |\beta| = |\alpha|. +more Jestliže nyní máme posloupnost \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} \subset \mathcal{D} konvergující v prostoru \scriptstyle \mathcal{D} k nule, má posloupnost \scriptstyle \{ T \varphi_k \}_{k \in \mathbb{N}} stejnoměrné omezené nosiče a konverguje zjevně včetně všech svých derivací stejnoměrně k nulové funkci. Tím jsme dokázali, že zobrazení \scriptstyle T: \mathcal{D} \to \mathcal{D} je spojité.
Definujme si nyní pomocnou posloupnost testovacích funkci \scriptstyle \{ \psi_k \}_{k \in \mathbb{N}}, kde \scriptstyle \psi_k \equiv \varphi_k (A^{-1} (x - b)). Tato posloupnosti konverguje v prostoru \scriptstyle \mathcal{D} k nule a navíc podle definice afinní transformace platí
:(f(A x + b), \varphi_k (x)) = \frac{1}
| \det A |
|---|
Pravá strana rovnice jde pro \scriptstyle k \to \infty k nule, což plyne ze spojitosti zobecněné funkce \scriptstyle f. Takto jsme ověřili zatím jen spojitost funkcionálu \scriptstyle f(A x + b). +more Tj. ukázali jsme, že obraz zobecněné funkce při afinní transformaci je opět zobecněná funkce. Ukažme ještě, že samotná afinní transformace jako zobrazení na zobecněných funkcích je spojitá. Uvažujme tedy zobrazení \scriptstyle \tilde{T}: \mathcal{D}' \to \mathcal{D}' takové, že \scriptstyle T f(x) = f (A x + b). Toto zobrazení je lineární. Chceme o něm ukázat, že je spojité. Za tímto účelem si tedy vezměme posloupnost zobecněných funkcí \scriptstyle \{ f_k \}_{k \in \mathbb{N}} konvergující v prostoru \scriptstyle \mathcal{D}' k nulové zobecněné funkci. Pak.
:(\forall \varphi \in \mathcal{D})(\lim_{k \to \infty} (f_k, \varphi) = 0).
Tím pádem je tedy splněn i vztah dokazující spojitost \scriptstyle \tilde{T}, protože
:\lim_{k \to \infty} (\tilde{T} f_k, \varphi) = \lim_{k \to \infty} (f_k, \varphi (A^{-1} (x - b))) = 0.
Násobení hladkou funkcí
Definujme si nyní násobení zobecněné funkce "obyčejnou" hladkou funkcí. (Definovat násobení zobecněné funkce zobecněnou funkcí naráží na problémy a obecně takové násobení definovat nelze. +more).
Motivace zavedení
Mějme otevřenou množinu \scriptstyle G = G^\circ \in \mathbb{R}^n, hladkou funkci \scriptstyle h \in C^\infty (G) a testovací funkci \scriptstyle \varphi \in \mathcal{D}(G). Mějme dále funkci \scriptstyle F \in L^1_\text{loc}(G). +more Je zřejmé, že i \scriptstyle h F \in L^1_\text{loc}(G). Potom.
:(h F, \varphi) = \int_G (h F) \varphi \, \mathrm{d}^n x = \int_G F (h \varphi) \, \mathrm{d}^n x = (F, h \varphi).
Definice
Nechť \scriptstyle G = G^\circ \in \mathbb{R}^n. Mějme dále \scriptstyle f \in \mathcal{D}'(G) a \scriptstyle h \in C^\infty(G). Pak
:(\forall \varphi \in \mathcal{D}(G)) \big( (h f, \varphi) = (f, h \varphi) \big).
Korektnost definice
Pravá strana rovnice výše je dobře definovaná, neboť \scriptstyle h \varphi \in \mathcal{D}(G). Násobek zobecněné funkce je tak dobře definovaný funkcionál na prostoru testovacích funkcí. +more Je zřejmě i lineární. Ověřme, že je spojitý, tj. že násobek zobecněné funkce hladkou funkcí je opět zobecněná funkce. Mějme nejprve \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} posloupnost testovacích funkcí takovou, že \scriptstyle \lim_{k \to \infty} \varphi_k = 0 v prostoru \scriptstyle \mathcal{D}(G). Pak v tomto prostoru k nulové funkci konverguje zřejmě i posloupnost \scriptstyle \{ h \varphi_k \}_{k \in \mathbb{N}}. Vynásobením funkcí \scriptstyle h jsme totiž nosiče jednotlivých funkcí \scriptstyle \varphi_k nezvětšili, a jsou tedy stále stejnoměrně omezené. Navíc jdou všechny derivace \scriptstyle \partial^\alpha (h \varphi_k) stejnoměrně k nule, protože z Leibnizova pravidla plyne, že lze funkci \scriptstyle \partial^\alpha (h \varphi_k) vyjádřit pomocí derivací \scriptstyle \partial^\mu h a \scriptstyle \partial^\nu \varphi_k pro jisté multiindexy \scriptstyle \mu, \nu \in \mathbb{Z}^n_+. Ty první jsou hladké funkce, ty druhé pak z předpokladu konvergence posloupnosti \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} v prostoru \scriptstyle \mathcal{D}(G) konvergují stejnoměrně k nule. Máme tedy.
:\lim_{k \to \infty} (h f, \varphi_k) = \lim_{k \to \infty} (f, h \varphi_k) = (f, \lim_{k \to \infty} (h \varphi_k)) = 0,
což dokazuje spojitost funkcionálu \scriptstyle h f (ve druhé rovnosti jsme využili spojitosti funkcionálu \scriptstyle f).
Ověřili jsme tak, že násobek zobecněné funkce hladkou funkcí je opět zobecněná funkce. Ukažme nyní, že samotné násobení, coby zobrazení na prostoru zobecněných funkcí, je spojité (to, že je lineární, je zřejmé). +more Označme si toto zobrazení jako \scriptstyle T. Buď \scriptstyle \{ f_k \}_{k \in \mathbb{N}} posloupnost zobecněných funkcí jdoucí k nule, tj. \scriptstyle (\varphi \in \mathcal{D}(G))( \lim_{k \to \infty} (f_k, \varphi) = 0). Pak ale \scriptstyle \lim_{k \to \infty} (T f_k, \varphi) = \lim_{k \to \infty} (f_k, h \varphi) = 0, což dokazuje spojitost.
Derivování zobecněných funkcí
Na prostoru zobecněných funkcí lze i korektně zavést operaci derivování. Od této zobecněné derivace požadujeme, aby se pro "pěkné" funkce redukovala na běžnou derivaci. +more Přesněji, chceme, aby zobecněná derivace dávala na funkcích ze třídy \scriptstyle C^1 téže výsledky jako derivace obyčejná. (Platí inkluze \scriptstyle C^1 \subset L^1_\text{loc}. ).
Motivace zavedení
Nechť \scriptstyle G je otevřená podmnožina v \scriptstyle \mathbb{R}^n, \scriptstyle f \in C^1 (G) a \scriptstyle \varphi \in \mathcal{D}(G). Ukotvěme si navíc jistý index \scriptstyle i \in \{ 1, \ldots, n \}. +more Platí tedy, že \scriptstyle f \in L^1_\text{loc} a navíc \scriptstyle \frac{\partial f}{\partial x^i} \in L^1_\text{loc}. Upravíme-li integrál v definici regulární zobecněné funkce metodou per partes, obdržíme.
: \left( \frac{\partial f}{\partial x^i}, \varphi \right) = \int_{\mathbb{R}^n} \frac{\partial f}{\partial x^i} \varphi \, \mathrm{d}^n x = 0 - \int_{\mathbb{R}^n} f \frac{\partial \varphi}{\partial x^i} \, \mathrm{d}^n x = - \left( f, \frac{\partial \varphi}{\partial x^i}\right).
Tento vztah vezmeme za definici zobecněné derivace.
Definice
Nechť \scriptstyle G \subset \mathbb{R}^n je otevřená, \scriptstyle f \in \mathcal{D}'(G) a \scriptstyle i \in \{ 1, \ldots, n \}. Pak
:(\forall \varphi \in \mathcal{D}(G)) \bigg( \left( \frac{\partial f}{\partial x^i}, \varphi \right) \equiv - \left( f, \frac{\partial \varphi}{\partial x^i} \right) \bigg).
Přitom v případě \scriptstyle \frac{\partial \varphi}{\partial x^i} jde o běžnou derivaci testovací funkce a výraz \scriptstyle \frac{\partial f}{\partial x^i} je definován právě vzorcem výše (\scriptstyle f je nyní již libovolná zobecněná funkce, ne obecně regulární). Derivaci zavedené tímto způsobem říkáme zobecněná derivace či derivace v zobecněném smyslu.
Korektnost definice
Za prvé, definice výše má dobrý smysl. To lze snadno nahlédnout z toho, že zobrazení \scriptstyle \partial^\alpha: \mathcal{D} \to \mathcal{D} pro každý multiindex \scriptstyle \alpha \in \mathbb{Z}^n_+ je spojité a lineární (platí \scriptstyle \mathrm{supp} \, \partial^\alpha \varphi \subset \mathrm{supp} \, \varphi). +more Takže zobrazení \scriptstyle \frac{\partial}{\partial x^i} je spojité a zobrazení \scriptstyle \frac{\partial f}{\partial x^i} je spojitý funkcionál definovaný na \scriptstyle \mathcal{D}(G). Derivace \scriptstyle \frac{\partial}{\partial x^i} je spojitá i v zobecněném smyslu. Mějme \scriptstyle \frac{\partial}{\partial x^i}: \mathcal{D}'(G) \to \mathcal{D}'(G) a posloupnost \scriptstyle \{ f_k \}_{k \in \mathbb{N}} jdoucí k nule v \scriptstyle \mathcal{D}'. Platí.
:\lim_{k \to \infty} \left( \frac{\partial}{\partial x^i} f_k, \varphi \right) = - \lim_{k \to \infty} \left( f_k, \frac{\partial \varphi}{\partial x^i} \right) = 0.
Pro zderivované zobecněné funkce také platí
:(\forall \alpha \in \mathbb{Z}^n_+)(\forall f \in \mathcal{D}')(\mathrm{supp} \, \partial^\alpha f \subset \mathrm{supp} \, f).
Abychom ukázali vztah výše, nechť \scriptstyle \varphi \in \mathcal{D} je testovací funkce, jejíž nosič leží v doplňku nosiče zobecněné funkce \scriptstyle f. Neboli \scriptstyle \mathrm{supp} \, \varphi \subset \mathcal{N}(f), kde \scriptstyle \mathcal{N}(f) = \mathbb{R}^n \setminus \mathrm{supp} \, f. +more Pak \scriptstyle \mathrm{supp} \, \partial^\alpha \varphi \subset \mathrm{supp} \, \varphi \subset \mathcal{N}(f) a.
:(\partial^\alpha f, \varphi) = (-1)^
| \alpha |
|---|
To znamená, že \scriptstyle \partial^\alpha f = 0 na \scriptstyle \mathcal{N}(f). Neboli \scriptstyle \mathcal{N}(f) \subset \mathcal{N}(\partial^\alpha f) a tedy \scriptstyle \mathrm{supp} \, \partial^\alpha f \subset \mathrm{supp} \, f.
Leibnizovo pravidlo
Ačkoli nelze obecně zavést násobení dvou zobecněných funkcí, můžeme uvažovat násobek zobecněné funkce hladkou funkcí a její derivaci. Pro takovouto derivaci platí, stejně jako pro klasické funkce, Leibnizovo pravidlo, tj.
:(\forall h \in C^\infty (\mathbb{R}^n))(\forall f \in \mathcal{D}')(\forall \alpha \in \mathbb{Z}^n_+) \left( \partial^\alpha (h f) = \sum_{\beta, 0 \leq \beta \leq \alpha} \frac{\alpha . }{\beta . +more (\alpha - \beta) . } (\partial^\beta h) (\partial^{\alpha - \beta} f) \right).
Výraz výše lze dokázat matematickou indukcí, ukažme nyní její první část pro \scriptstyle |\alpha| = 1. Buď \scriptstyle \varphi \in \mathcal{D}, pak
:\left( \frac{\partial}{\partial x^i} (h f), \varphi \right) = - \left(h f, \frac{\partial \varphi}{\partial x^i} \right) = - \left(f, h \frac{\partial \varphi}{\partial x^i} \right) = - \left(f, \frac{\partial (h \varphi)}{\partial x^i} \right) + \left(f, \frac{\partial h}{\partial x^i} \varphi \right) = \left(\frac{\partial f}{\partial x^i} , h \varphi \right) + \left(\frac{\partial h}{\partial x^i} f, \varphi \right) = \left(h \frac{\partial f}{\partial x^i} + \frac{\partial h}{\partial x^i} f, \varphi \right).
Neboli
:\frac{\partial (h f)}{\partial x^i} = \frac{\partial h}{\partial x^i} f + h \frac{\partial f}{\partial x^i}.
Tenzorový součin zobecněných funkcí
Stejně jako u klasických funkcí můžeme i v případě zobecněných funkcí definovat jejich tenzorový součin. Toto zobrazení je přímým zobecněním tenzorového součinu klasických funkcí.
Motivace zavedení
V případě klasických funkcí je tenzorový součin definován následovně. Buď \scriptstyle f \in L_\text{loc}^1 (\mathbb{R}^m), \scriptstyle g \in L_\text{loc}^1 (\mathbb{R}^n), pak jejich tenzorový součin je definován jako funkce \scriptstyle f \otimes g \in L_\text{loc}^1 (\mathbb{R}^{m+n}) působící způsobem
: (f \otimes g)(x,y) \equiv f(x) \, g(y).
Takto definované zobrazení vytvářející ze dvou funkcí jejich tenzorový součin je mimo jiné aditivní v obou svých proměnných. Na tenzorový součin dvou jistých funkcí \scriptstyle f \in L_\text{loc}^1 (\mathbb{R}^m) a \scriptstyle g \in L_\text{loc}^1 (\mathbb{R}^n) můžeme nahlížet jako na regulární zobecněnou funkci na prostoru \scriptstyle \mathbb{R}^{m+n}. +more Vezměme tedy funkci \scriptstyle \varphi \in \mathcal{D}(\mathbb{R}^{m+n}), pak.
: (f \, \otimes \, g, \varphi) = \int_{\mathbb{R}^{m+n}} f(x) g(y) \varphi (x,y) \, \mathrm{d}^m x \, \mathrm{d}^n y = \int_{\mathbb{R}^m} f(x) \left( \int_{\mathbb{R}^n} g(y) \varphi (x,y) \, \mathrm{d}^n y \right) \, \mathrm{d}^m x = (f(x),(g(y),\varphi)), kde jsme využili Fubiniovy věty.
Rozšíříme-li platnost vztahu výše pro všechny zobecněné funkce \scriptstyle f \in \mathcal{D}'(\mathbb{R}^m) a \scriptstyle g \in \mathcal{D}'(\mathbb{R}^n), dostáváme následující definici, jejíž korektnost však musí být ještě dokázána.
Definice
Nechť \scriptstyle f \in \mathcal{D}'(\mathbb{R}^m) a \scriptstyle g \in \mathcal{D}'(\mathbb{R}^n). Pak symbolem \scriptstyle f \otimes g rozumíme zobecněnou funkci z prostoru \scriptstyle \mathcal{D}'(\mathbb{R}^{m + n}) působící na libovolnou \scriptstyle \varphi \in \mathcal{D}(\mathbb{R}^{m + n}) následujícím způsobem
: \big( f(x) \otimes g(y), \varphi (x,y) \big) = \left( f(x),(g(y), \varphi (x,y)) \right).
Tuto zobecněnou funkci nazýváme tenzorový součin zobecněných funkcí \scriptstyle \boldsymbol{f} a \scriptstyle \boldsymbol{g}.
Korektnost definice
Lze dokázat, že je-li \scriptstyle g \in \mathcal{D}'(\mathbb{R}^n) a \scriptstyle \varphi \in \mathcal{D}(\mathbb{R}^{m+n}), pak je funkce \scriptstyle \psi(x) \equiv (g(y),\varphi(x,y)) prvkem prostoru \scriptstyle \mathcal{D}(\mathbb{R}^m). Pravá strana definiční rovnosti výše má tedy dobrý smysl. +more Dá se též dokázat, že tenzorový součin definovaný vztahem výše je spojitý funkcionál.
Vlastnosti
Uveďme některé důležité vlastnosti tenzorového součinu ve smyslu zobrazení \scriptstyle \otimes: \mathcal{D}'(\mathbb{R}^m) \times \mathcal{D}'(\mathbb{R}^n) \to \mathcal{D}'(\mathbb{R}^{m+n}). Pokud nebude uvedeno jinak, tak budeme uvažovat \scriptstyle f \in \mathcal{D}'(\mathbb{R}^m), \scriptstyle g \in \mathcal{D}'(\mathbb{R}^n), \scriptstyle h \in \mathcal{D}'(\mathbb{R}^p) a funkci \scriptstyle \varphi vždy libovolnou testovací funkci z odpovídajícího prostoru testovacích funkcí.
* bilinearita : \begin{align} (\lambda f_1 + f_2) \otimes g \ & = & \lambda f_1 \otimes g + f_2 \otimes g \\ f \otimes (\lambda g_1 + g_2) \ & = & \lambda f \otimes g_1 + f \otimes g_2 \end{align}
* asociativita : (f \otimes g) \otimes h = f \otimes (g \otimes h)
* komutativita : f \otimes g = g \otimes f, \quad \text{neboli} \quad \big( f(x), (g(y), \varphi (x,y)) \big) = \big( g(y), (f(x), \varphi (x,y)) \big)
* spojitost v obou argumentech - Mějme posloupnost zobecněných funkcí \scriptstyle \{ f_k \}_{k \in \mathbb{N}} konvergujících k \scriptstyle f v prostoru \scriptstyle \mathcal{D}'. Pak posloupnost \scriptstyle \{ f_k \otimes g \}_{k \in \mathbb{N}} konverguje k \scriptstyle f \otimes g. +more Podobně, pokud posloupnost \scriptstyle \{ g_k \}_{k \in \mathbb{N}} konverguje k \scriptstyle g v \scriptstyle \mathcal{D}', tak \scriptstyle \{ f \otimes g_k \}_{k \in \mathbb{N}} konverguje k \scriptstyle f \otimes g.
* derivace - Pro libovolný multiindex \scriptstyle \alpha \in \mathbb{Z}^m_+ platí (pro derivace podle proměnné \scriptstyle y obdobně) : \partial^\alpha_x \big( f(x) \otimes g(y) \big) = \partial^\alpha_x f(x) \otimes g(y).
* násobení hladkou funkcí - Buď \scriptstyle a \in C^\infty (\mathbb{R}^m). Pak : a(x) \big( f(x) \otimes g(y) \big) = \big( a(x) f(x) \big) \otimes g(y).
* transformační vlastnost - Buď \scriptstyle b \in \mathbb{R}^m. Pak : \big( f \otimes g \big)(x+b,y) = f(x+b) \otimes g(y).
Důkazy zmíněných vlastností
Bilinearita a asociativita
Bilinearita plyne ihned z příslušných definic. Zobecněné funkce tvoří lineární vektorový prostor. +more Pro důkaz asociativity stačí uvážit : \big( (f(x) \otimes g(y)) \otimes h(z), \varphi(x,y,z) \big) = \big( f(x), (g(y), (h(z), \varphi(x,y,z))) \big) = \big( f(x) \otimes (g(y) \otimes h(z)), \varphi(x,y,z) \big).
* Komutativita
Nejdříve uvažme testovací funkce následujícího tvaru
: \omega (x,y) = \sum_{j=1}^N u_j (x) \otimes v_j (y),
kde \scriptstyle u_j \in \mathcal{D}(\mathbb{R}^m), \scriptstyle v_j \in \mathcal{D}(\mathbb{R}^n) a \scriptstyle N je libovolné přirozené číslo. Snadno nahlédneme, že funkce takovéhoto tvaru tvoří vektorový podprostor v prostoru \scriptstyle \mathcal{D}(\mathbb{R}^{m+n}). +more Ukážeme nejprve, že tenzorový součin zúžený na tento podprostor je komutativní zobrazení. Protože jsou zobecněné funkce lineární zobrazení, můžeme se při důkazu bez újmy na obecnosti omezit na testovací funkce speciálního tvaru \scriptstyle \varphi = u \otimes v, kde \scriptstyle u \in \mathcal{D}(\mathbb{R}^m) a \scriptstyle v \in \mathcal{D}(\mathbb{R}^n). Pro ně platí.
: \Bigg( f(x), \Big( g(y), \big( u \, \otimes \, v \big)(x,y) \Big) \Bigg) = \Bigg( f(x), \Big( g(y), u(x) \, v(y) \Big) \Bigg) = \Big( f(x), u(x) \Big) \Big( g(y), v(y) \Big) = \Bigg( g(y), \Big( f(x), u(x) \, v(y) \Big) \Bigg) = \Bigg( g(y), \Big( f(x), \big(u \, \otimes \, v \big)(x,y) \Big) \Bigg).
Lze též dokázat důležité tvrzení, že vektorový podprostor tvořený funkcemi definovanými výše je hustý v prostoru \scriptstyle \mathcal{D}(\mathbb{R}^{m+n}). To znamená, že jakoukoli funkci z \scriptstyle \mathcal{D}(\mathbb{R}^{m+n}) můžeme vyjádřit jako limitu posloupnosti funkcí tvaru sumy, viz výše. +more Protože je tenzorový součin spojité zobrazení dostáváme limitním přechodem vztah komutativity pro libovolnou testovací funkci. Konkrétně, mějme zobecněné funkce \scriptstyle f \in \mathcal{D}'(\mathbb{R}^m), \scriptstyle g \in \mathcal{D}'(\mathbb{R}^n) a testovací funkci \scriptstyle \varphi \in \mathcal{D}(\mathbb{R}^{m+n}). Dále nechť \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} je posloupnost funkcí tvaru sumy výše konvergující k \scriptstyle \varphi v prostoru \scriptstyle \mathcal{D}. Pak.
: \Big( f(x), \big( g(y),\varphi(x,y) \big) \Big) = \lim_{k \to \infty} \Big( f(x),\big( g(y), \varphi_k (x,y) \big) \Big) = \lim_{k \to \infty} \Big( g(y), \big( f(x), \varphi_k (x,y) \big) \Big) = \Big( g(y), \big( f(x),\varphi(x,y) \big) \Big),
kde jsme využili toho, že na funkcích \scriptstyle \varphi_k tenzorový součin komutuje, jak jsme ověřili výše. Máme tak dokázánu komutativitu pro jakoukoli testovací funkci.
* Spojitost v obou argumentech
Ukažme platnost tvrzení pro první argument. Z komutativity bude již tvrzení platit i pro argument druhý:
:\lim_{k \to \infty} \big( f_k(x) \otimes g(y), \varphi(x,y) \big) = \lim_{k \to \infty} \big( f_k(x), (g(y), \varphi(x,y)) \big) = \big( f(x), (g(y), \varphi(x,y)) \big) = \big( f(x) \otimes g(y), \varphi(x,y) \big).
* Derivace
Mějme zobecněnou funkci \scriptstyle g \in \mathcal{D}'(\mathbb{R}^n) a testovací funkci \scriptstyle \varphi \in \mathcal{D}(\mathbb{R}^{m+n}), pak lze ukázat, že funkce \scriptstyle \psi(x) = (g(y),\varphi(x,y)) leží v \scriptstyle \mathcal{D}(\mathbb{R}^m) a splňuje pro libovolné \scriptstyle \alpha \in \mathbb{Z}^m_+ vztah
: \partial^\alpha \psi(x) = (g(y), \partial^\alpha_x \varphi(x,y)).
Přiřazení \scriptstyle \varphi \mapsto \psi je navíc spojité. Využitím tohoto vztahu můžeme psát
: \Big( \partial^\alpha_x (f(x) \otimes g(y)), \varphi(x,y) \Big) = (-1)^
| \alpha |
|---|
* Násobení hladkou funkcí a transformační vlastnost
Pro násobení hladkou funkcí ihned dostáváme
: \Big( a(x) (f(x) \otimes g(y)), \varphi(x,y) \Big) = \Big( f(x) \otimes g(y), a(x) \varphi(x,y) \Big) = \Big( f(x), (g(y), a(x) \varphi(x,y)) \Big) = \Big( f(x), a(x) (g(y), \varphi(x,y)) \Big) = \Big( a(x) f(x), (g(y), \varphi(x,y)) \Big) = \Big( a(x) f(x) \otimes g(y), \varphi(x,y) \Big).
Pro transformační vlastnost v dokazovaném tvrzení pak
: \Big( (f \otimes g)(x+b,y), \varphi(x,y) \Big) = \Big( f(x) \otimes g(y), \varphi(x - b,y) \Big) = \Big( f(x), (g(y), \varphi(x - b,y)) \Big) = \Big( f(x+b), (g(y), \varphi(x,y) \Big) = \Big( f(x+b) \otimes g(y), \varphi(x,y) \Big).
Příklady zobecněných funkcí
Diracova delta funkce
Uvažujme lineární funkcionál \scriptstyle \delta působící na množině \scriptstyle \mathcal{D}(\mathbb{R}^n) způsobem
:(\forall \varphi \in \mathcal{D})((\delta, \varphi) = \varphi(0)).
Tento funkcionál je spojitý. Platí totiž, že každá posloupnost testovacích funkcí \scriptstyle \{ \varphi_k \}_{k \in \mathbb{N}} konvergující k nulové funkci splňuje \scriptstyle \lim_{k \to \infty} \varphi_k = 0. +more Funkcionál \scriptstyle \delta je tedy zobecněná funkce z \scriptstyle \mathcal{D}'(\mathbb{R}^n), kterou nazýváme Diracova \scriptstyle \boldsymbol{\delta}-funkce.
Vlastnosti
Vlastnosti prostoru testovacích funkcí
Nechť \scriptstyle G \subset \mathbb{R}^n a \scriptstyle p \in [1, + \infty). Pak prostor \scriptstyle \mathcal{D}(G) je hustý v prostoru \scriptstyle p-integrabilních funkcí \scriptstyle L^p (G, \mathrm{d}^n x). +more Neboli (výraz \scriptstyle \overline{(\cdot)}_p značí uzávěr vůči \scriptstyle p-normě).
:(\forall \, G = G^\circ \subset \mathbb{R}^n)(\forall p \in [1, + \infty))(\overline{(\mathcal{D}(G))}_p = L^p (G, \mathrm{d}^n x)).
Regularizace
S některými funkcemi je výhodné pracovat jako se zobecněnými funkcemi. U některých funkcí ale nastává problém, že je nelze jako zobecněné funkce přímo chápat, protože nejsou lokálně integrovatelné a nemohou definovat žádnou regulární zobecněnou funkci. +more Tato obtíž se obchází pomocnou procedurou, které se říká regularizace. Ta spočívá v tom, že si danou funkci lehce upravíme na jí podobnou funkci, kterou již za zobecněnou funkci chápat lze.
Méně formálně řečeno můžeme za lehkou úpravu například považovat vhodné přičtení malého parametru k argumentu původní funkce. Takto upravená funkce již může být lokálně integrovatelná, definuje tedy zobecněnou funkci. +more Tu můžeme pustit na testovací funkci a obdržíme smysluplný (konečný) výsledek závisející na našem uměle vloženém malém parametru. Tento parametr pak můžeme (v některých případech) položit rovný nule a tvářit se, že jsme ho vůbec nepoužili.
Regularizace funkce {{Zlomek|1|x}}
Funkce \scriptstyle \frac{1}{x} se vyskytuje v mnoha oblastech nejen matematiky, ale především fyziky. Za všechny jmenujme např. +more Coulombův či gravitační potenciál. Je tedy nutné s touto funkcí umět dobře zacházet a využívat jejích vlastností. Z pohledu zobecněných funkcí ale nastává problém v tom, že tuto funkci nelze chápat jako regulární zobecněnou funkci. Je totiž sice kromě nuly definovaná na celém reálném oboru \scriptstyle \mathbb{R}, není ale lokálně integrovatelná. Je zde tedy snaha o to tuto funkci nějakým způsobem regularizovat. V praxi se vyskytují především dva typy regularizace:.
# regularizace integrálem ve smyslu hlavní hodnoty, # regularizace přičtením malého parametru.
Pro bližší popis obou postupů viz níže.
Regularizace integrálem ve smyslu hlavní hodnoty
Celý postup spočívá v tom, že z množiny, přes kterou integrujeme v definici regulární zobecněné funkce, vyjmeme jistá (malá) symetrická okolí singulárních bodů o poloměru \scriptstyle \varepsilon. Původně lokálně neintegrabilní funkci lze nyní na této upravené množině po vynásobení testovací funkcí zintegrovat (dostaneme konvergentní integrál). +more Výsledek integrace nyní závisí na parametru \scriptstyle \varepsilon. Tento parametr následně pošleme k nule a za výsledek působení zregularizované funkce \scriptstyle \frac{1}{x} na testovací funkci prohlásíme výsledek této limity.
Přesněji uvažujme kladný reálný parametr \scriptstyle \varepsilon > 0 a definujme posloupnost pomocných funkcí \scriptstyle \{ f_\varepsilon \}_{\varepsilon \in \mathbb{R}} následujícím způsobem:
:f_\varepsilon (x) \equiv \left\{ \begin{matrix} \frac{1}{x} & \quad \text{pro} \quad |x|>\varepsilon \\ 0 & \quad \text{pro} \quad |x|
Každá z funkcí \scriptstyle f_\varepsilon je zřejmě již lokálně integrovatelná a můžeme pomocí ní tedy zavést regulární zobecněnou funkci, kterou si pro jednoduchost opět označíme \scriptstyle f_\varepsilon. Její působení na libovolnou testovací funkci \scriptstyle \varphi \in \mathcal{D} vypadá takto:
:(f_\varepsilon, \varphi) = \int_{\mathbb{R} \setminus (- \varepsilon, \varepsilon)} \frac{\varphi (x)}{x} \mathrm{d} x.
Uvažujme nyní limitu \scriptstyle \lim_{\varepsilon \to 0+} (f_\varepsilon, \varphi) o níž lze ukázat, že existuje. Tento výraz můžeme dále upravovat
: \lim_{\varepsilon \to 0+} \int_{\mathbb{R} \setminus (- \varepsilon, \varepsilon)} \frac{\varphi (x)}{x} \mathrm{d} x = \lim_{\varepsilon \to 0+} \left( \int_{-\infty}^{- \varepsilon} \frac{\varphi (x)}{x} \mathrm{d} x + \int_{\varepsilon}^{\infty} \frac{\varphi (x)}{x} \mathrm{d} x \right).
Nyní v prvním integrálu napravo provedeme substituci \scriptstyle x \to - x, což nás přivede na celkový tvar
: \lim_{\varepsilon \to 0+} \int_{\varepsilon}^{\infty} \frac{\varphi (x) - \varphi (-x)}{x} \mathrm{d} x.
Abychom mohli tento výraz zjednodušit, rádi bychom provedli limitu a místo \scriptstyle \varepsilon v dolní mezi integrálu napsali nulu. Prozkoumejme, zda to můžeme udělat. +more Nejprve si všimneme, že.
: \lim_{x \to 0} \frac{\varphi (x) - \varphi (-x)}{x} = \lim_{x \to 0} \frac{\varphi (x) - \varphi (0)}{x} \, + \, \lim_{x \to 0} \frac{\varphi (0) - \varphi (- x)}{x} = \lim_{x \to 0} \frac{\varphi (x) - \varphi (0)}{x} \, + \, \lim_{-x \to 0} \frac{\varphi (-x) - \varphi (0)}{-x} = 2 \varphi'(0).
Funkce \scriptstyle g_\varphi definovaná předpisem
: g_\varphi (x) \equiv \left\{ \begin{matrix} \frac{\varphi (x) - \varphi (-x)}{x} & \quad \text{pro} \quad x \neq 0 \\ 2 \varphi'(0) & \quad \text{pro} \quad x = 0 \end{matrix} \right.
je tedy spojitá na celém \scriptstyle \mathbb{R}, především ale v nule už nenastává singularita. Jedná se tedy o omezenou funkci s kompaktním nosičem v \scriptstyle \mathbb{R}. +more Neboť je integrál spojitou funkcí své meze, tak skutečně můžeme provést danou limitu (integrál s nulou v dolní mezi zůstane konečný) s výsledkem.
:\lim_{\varepsilon \to 0+} \int_{\varepsilon}^{\infty} \frac{\varphi (x) - \varphi (-x)}{x} \mathrm{d} x = \int_{0}^{\infty} \frac{\varphi (x) - \varphi (-x)}{x} \mathrm{d} x.
Konečně definujme zobrazení \scriptstyle \mathrm{P}(\frac{1}{x}), které dané testovací funkci \scriptstyle \varphi \in \mathcal{D} přiřadí integrál za poslední rovností výše. Máme tedy zobrazení
:\mathrm{P}\Big(\frac{1}{x} \Big): \varphi \to \int_{0}^{\infty} \frac{\varphi (x) - \varphi (-x)}{x} \mathrm{d} x.
O tomto zobrazení jsme si výše ukázali, že je dobře definované. Zřejmě se také jedná o funkcionál (testovací funkci přiřazuje číslo). +more Je triviální ověřit, že je tento funkcionál lineární. Jednoduše se též dokáže, že je i spojitý. Představuje tedy zobecněnou funkci.
Pro funkci \scriptstyle \frac{1}{x} jsme tak její regularizací nalezli zobecněnou funkci \scriptstyle \mathrm{P}(\frac{1}{x}), což byl náš cíl.
Zmiňme se ještě o názvu této procedury. Ten plyne z toho, že se limitě
:\lim_{\varepsilon \to 0+} \int_{\mathbb{R} \setminus (- \varepsilon, \varepsilon)} F(x) \mathrm{d} x \equiv \mathrm{Vp} \int_\mathbb{R} F(x) \, \mathrm{d} x
obecně říká výpočet integrálu ve smyslu hlavní hodnoty.
Celkově tak máme
:(\forall \varphi \in \mathcal{D}) \left( \Big(\mathrm{P}\Big(\frac{1}{x} \Big), \varphi \Big) = \mathrm{Vp} \int_\mathbb{R} \frac{\varphi (x)}{x} \mathrm{d} x = \int_{0}^{\infty} \frac{\varphi (x) - \varphi (-x)}{x} \mathrm{d} x \right).
Regularizace přičtením malého parametru
Nyní se pokusíme funkci \scriptstyle \frac{1}{x} zregularizovat tak, že k jejímu argumentu přičteme (malý) parametr. Konkrétně uvažujme jisté \scriptstyle \varepsilon > 0 a funkce \scriptstyle \frac{1}{x + \mathrm{i} \varepsilon}, popř. +more \scriptstyle \frac{1}{x - \mathrm{i} \varepsilon}. Přešli jsme tak od reálné funkce \scriptstyle \frac{1}{x} ke dvěma vzájemně komplexně sdruženým funkcím, které už jsou lokálně integrovatelné (jsou dokonce hladké) a definují tedy regulární zobecněnou funkci. Jak níže ověříme, provedeme-li limitu \scriptstyle \varepsilon \to 0^+, dostaneme dobře definované zobecněné funkce. Ty se symbolicky značí \scriptstyle \frac{1}{x + \mathrm{i} 0}, popř. \scriptstyle \frac{1}{x - \mathrm{i} 0}, a platí.
:(\forall \varphi \in \mathcal{D}) \left( \Big( \frac{1}{x \pm \mathrm{i} 0}, \varphi (x) \Big) = \lim_{\varepsilon \to 0+} \int_\mathbb{R} \frac{\varphi (x)}{x \pm \mathrm{i} \varepsilon} \, \mathrm{d} x \right).
Omezíme se nyní na případ \scriptstyle \frac{1}{x + \mathrm{i} \varepsilon} a ověříme existenci limity ve výrazu výše. Důkaz pro funkci \scriptstyle \frac{1}{x - \mathrm{i} \varepsilon} je zcela stejný, zaměníme-li \scriptstyle \mathrm{i} \to - \mathrm{i}.
Nejprve upravíme zlomek v integrandu výše následujícím způsobem
: \frac{1}{x + \mathrm{i} \varepsilon} = \frac{x}{x^2 + \varepsilon^2} - \frac{\mathrm{i} \varepsilon}{x^2 + \varepsilon^2},
rozložili jsme ho tedy na reálnou a imaginární část. Spočtěme nyní patřičný integrál pro každý ze sčítanců zvlášť. Pro první člen dostáváme
: \int_\mathbb{R} \frac{x \varphi (x)}{x^2 + \varepsilon^2} \, \mathrm{d} x = \int_{-\infty}^0 \frac{x \varphi (x)}{x^2 + \varepsilon^2} \, \mathrm{d} x + \int_0^\infty \frac{x \varphi (x)}{x^2 + \varepsilon^2} \, \mathrm{d} x.
Nyní substituujeme \scriptstyle x \to -x v prvním integrálu a oba integrály sečteme s výsledkem
: \int_0^\infty \frac{x}{x^2 + \varepsilon^2} (\varphi (x) - \varphi (-x)) \, \mathrm{d} x = \int_0^\infty \frac{x^2}{x^2 + \varepsilon^2} \frac{ \varphi (x) - \varphi (-x)}{x} \, \mathrm{d} x.
Zanalyzujme nyní integrand tohoto integrálu. První zlomek je určitě menší než jedna. Navíc, funkci
:g_\varphi (x) = \frac{ \varphi (x) - \varphi (-x)}{x}
lze spojitě dodefinovat v nule (viz výše). Tato funkce má navíc omezený nosič, což implikuje její integrabilitu. +more Integrand tedy splňuje Lebesgueovu větu a můžeme zaměnit limitu a integrál. Neboli.
:\lim_{\varepsilon \to 0+} \int_0^\infty \frac{x^2}{x^2 + \varepsilon^2} \frac{ \varphi (x) - \varphi (-x)}{x} \, \mathrm{d} x = \int_0^\infty \frac{\varphi (x) - \varphi (-x)}{x} \, \mathrm{d} x.
Popasujme se nyní s druhým členem, pro nějž dostáváme
:- \mathrm{i} \varepsilon \int_\mathbb{R} \frac{\varphi (x)}{x^2 + \varepsilon^2} \, \mathrm{d} x.
Tento výraz si upravíme substitucí \scriptstyle x \to \varepsilon x na tvar
:- \mathrm{i} \varepsilon \int_\mathbb{R} \frac{\varphi (\varepsilon x)}{\varepsilon^2 x^2 + \varepsilon^2} \, \varepsilon \mathrm{d} x = - \mathrm{i} \int_\mathbb{R} \frac{1}{x^2 + 1} \varphi (\varepsilon x) \, \mathrm{d} x.
Zlomek v integrandu představuje integrovatelnou funkci a absolutní hodnotu výrazu \scriptstyle \varphi (\varepsilon x) lze seshora odhadnout konstantou, jež nezávisí na parametru \scriptstyle \varepsilon. Můžeme tedy opět využít Lebesgueovy věty, zaměnit tedy limitu a integrál, a máme
: - \mathrm{i} \lim_{\varepsilon \to 0+} \int_\mathbb{R} \frac{1}{x^2 + 1} \varphi (\varepsilon x) \, \mathrm{d} x = - \mathrm{i} \int_\mathbb{R} \frac{1}{x^2 + 1} \varphi (0) \, \mathrm{d} x = - \mathrm{i} \pi \varphi (0).
Vrátíme-li se k původnímu výrazu, tak sečtením výše odvozených výsledků dostáváme
: \lim_{\varepsilon \to 0+} \int_\mathbb{R} \frac{\varphi (x)}{x + \mathrm{i} \varepsilon} \, \mathrm{d} x = \int_0^\infty \frac{\varphi (x) - \varphi (-x)}{x} \, \mathrm{d} x - \mathrm{i} \pi \varphi (0) = \left( \mathrm{P} \Big( \frac{1}{x} \Big), \varphi (x) \right) - \mathrm{i} \pi (\delta, \varphi).
V poslední rovnosti jsme využili definice Diracovy \scriptstyle \delta-funkce a zobecněné funkce definované v prvním způsobu regularizace výše. Celkově tedy pro obě vzájemně komplexně sdružené regularizované funkce máme vztahy
: \frac{1}{x \pm \mathrm{i} 0} = \mathrm{P} \Big( \frac{1}{x} \Big) \mp \mathrm{i} \delta (x),
které se nazývají Sochockého vzorce, popř. Sochockého formule.
Použití
Použití ve fyzice
Viz bodový náboj, kvantová teorie pole, kvantová mechanika, atd.
Použití v matematice
Řešení parciálních dif. rovnic, Greenovy funkce...