Samoadjungovaný operátor

Samoadjungovaný operátor je lineární operátor se zvláštními vlastnostmi. Operátory a především samoadjungované operátory studuje funkcionální analýza. Samoadjungovaný operátor je zobecněním samoadjungované matice.

Definice

V této části je uvedena definice samoadjungovaného operátoru. V první části pro omezené operátory, ve druhé pro neomezené. Vzhledem k tomu, že omezené operátory lze definovat vždy na celém vektorovém prostoru, je omezený samoadjungovaný operátor speciálním případem neomezeného samoadjungovaného operátoru.

Omezené operátory

Nechť $(H,⟨.,.⟩)$ je Hilbertův prostor sestávající z vektorového prostoru $H$ a skalárního součinu $⟨\cdot ,\cdot ⟩$ a nechť $T:H\to H$ je omezený lineární operátor. Pokud operátor $T$ splňuje rovnici

$⟨Tx,y⟩=⟨x,Ty⟩,$

nazývá se samoadjungovaný.Šablona:Sfn V tomto případě je definice ekvivalentní s definicí symetrického operátoru.

Neomezené operátory

Nechť $(H,⟨.,.⟩)$ je Hilbertův prostor sestávající z vektorového prostoru $H$ a skalárního součinu $⟨\cdot ,\cdot ⟩$ a nechť $T:D(T)\to H$ je hustě definovaný operátor. Nechť $D(T^{*})$ je prostor všech $y\in H,$ takový, že lineární funkcionál

$x\mapsto ⟨Tx,y⟩$

je spojitý. Tento funkcionál má definiční obor $D(T)$, a proto je hustě definovaný v $H$. Proto má jednoznačně spojité rozšíření na celé $H$. Podle Rieszovy věty o reprezentaci existuje jednoznačně určený prvek $T^{*}y\in H,$ takový, že

$⟨Tx,y⟩=⟨x,T^{*}y⟩$

platí pro všechna $x\in H$. Operátor $T^{*}$ s definičním oborem $D(T^{*})$ je k $T$ jednoznačně přiřazený sdružený operátor.

Operátor $T$ se nazývá samoadjungovaný, pokud platí $T=T^{*}$ a $D(T)=D(T^{*}),$ tedy pokud operátor $T$ se svým adjungovaným operátorem $T^{*}$ mají stejný definiční obor.Šablona:Sfn

Historie

Základy teorie neomezených operátorů položil John von Neumann v roce 1929, a byl také první, kdo rozpoznal nutnost rozlišovat symetrické a samoadjungované operátory. Protože pouze pro samoadjungované operátory může existovat spektrální rozklad popsaný v poslední části tohoto článku. Von Neumann nazýval symetrické operátory hermitovskými. Zjistil, že je pro spektrální rozklad mimo jiné důležité, aby operátor nepřipouštěl žádná symetrická rozšíření, a nazval tuto třídu operátorů maximálně Hermitovskou. Tento požadavek však není postačující pro spektrální větu, která předpokládá samoadjungované operátory. Na podnět Erharda Schmidta von Neumann nazval samoadjungované operátory hypermaximální. Pojem samoadjungovaný operátor zavedl Marshall Harvey Stone.Šablona:Sfn

Příbuzné objekty

Samoadjungovaná matice

Nechť $𝕂\in \{ℝ,ℂ\}$ je reálné nebo komplexní těleso a nechť je $⟨\cdot ,\cdot ⟩$ je skalární součin na ${𝕂}^n,$ pak $({𝕂}^n,⟨\cdot ,\cdot ⟩)$ je Hilbertův prostor. Matice $A$ se nazývá samoadjungovaná, pokud pro všechna $x,y\in {𝕂}^n$ platí

$⟨Ay,x⟩=⟨y,Ax⟩.$

Matici $A$ chápeme jako Lineární zobrazení na ${𝕂}^n$. Protože $A$ je zobrazení mezi vektorovými prostory konečné dimenze, je zobrazení reprezentované $A$ omezené, a proto je spojité a tedy také hustě definované. Samoadjungovaná matice je tedy také samoadjungovaným operátorem. Pokud uvažujeme ${ℝ}^n$ se svým standardním skalárním součinem, pak symetrické matice odpovídají samoadjungovaným. V případě ${ℂ}^n$ s odpovídajícím kanonickým skalárním součinem jsou Hermitovské matice samoadjungované.

Symetrický operátor

Operátor $T:D(T)\to H$ se nazývá symetrický, pokud pro všechny $x,y\in D(T)$ platí

$⟨Ty,x⟩=⟨y,Tx⟩$

Na rozdíl od samoadjungovaného operátoru se nevyžaduje, aby operátor $T$ byl hustě definovaný (ale v literatuře to není jednotné). Je-li $T$ hustě definovaný (a v důsledku toho je adjungovaný operátor dobře definovaný), pak je $T$ symetrický, pravě tehdy, když platí $T\subseteq T^{*}$. Pro omezené operátory se pojmy samoadjungovaný a symetrický shodují. Proto jsou symetrické, ale ne samoadjungované operátory vždy neomezené. Hellingerova-Toeplitzova věta kromě toho říká, že každý symetrický operátor definovaný na celém $H$ je spojitý a proto je také samoadjungovaný.

V podstatě samoadjungovaný operátor

Operátor $T:D(T)\to H$ se nazývá v podstatě samoadjungovaný, pokud je symetrický, hustě definovaný a jeho uzávěr je samoadjungovaný. V podstatě samoadjungovaný operátor můžeme tedy vždy rozšířit na samoadjungovaný.

Příklady

Symetrické matice

Symetrické matice $A\in {ℝ}^{n\times n}$ můžeme chápat jako operátory $A:{ℝ}^n\to {ℝ}^n$. S ohledem na standardní skalární součiny je každá symetrická matice samoadjungovaná, to jest je samoadjungovaným operátorem.

Operátor -i ^d/_dx

Pokud je operátor omezený, pak, jak již bylo uvedeno, jsou pojmy symetrický operátor, v podstatě samoadjungovaný operátor a samoadjungovaný operátor ekvivalentní. V případě neomezených operátorů implikuje samoadjungovanost symetrii, ale obráceně to neplatí. Protipříklad ukazuje následující dvojice:

1. Uvažujeme Hilbertův prostor $C^{\mathrm{\infty }}((0,1))\cap L^2((0,1))$ a diferenciální operátor $p_1:=-\mathrm{i}\frac{\mathrm{d}}{\mathrm{d}x}=\frac{1}{\mathrm{i}}\frac{\mathrm{d}}{\mathrm{d}x}$ s dirichletovskými okrajovými podmínkami $\psi (0)=\psi (1)=0$.
2. a pro jeho rozšíření $p_2,$ požadujeme pouze „periodičnost“: $\psi (1)=\psi (0)$.

Z řetězu rovností

$⟨u,p_{i}v{⟩}_{L^2}-⟨p_{i}u,v{⟩}_{L^2}=\underset{0}{\overset{1}{\int }}\overline{u(x)}\cdot p_{i}v(x)-\overline{p_{i}u(x)}\cdot v(x)\mathrm{d}x=-\mathrm{i}\cdot (\bar{u}(1)\cdot v(1)-\bar{u}(0)\cdot v(0))=0$

plyne, že operátory $p_i$ pro $i\in \{1,2\}$ jsou symetrické. Avšak pouze operátor $p_2$ je samoadjungovaný, protože v prvním případě je definiční obor zbytečně omezený. Pak nemá vůbec žádné vlastní funkce, protože ty jsou všechny ve tvaru $\exp (i{\lambda }_n\cdot x)$, takže požadovaná podmínka $\psi (0)=0$ bude porušena.

Laplaceův operátor

Laplaceův operátor $\mathrm{\Delta }:D(\mathrm{\Delta })\to L^2({ℝ}^n)$ je neomezený operátor. S ohledem na $L^2$-skalární součiny je samoadjungovaný. To znamená, že je pro tento skalární součin symetrický, což pro všechny $f,g\in D(\mathrm{\Delta })$ znamená

$\underset{{ℝ}^n}{\int }\mathrm{\Delta }f(x)g(x)\mathrm{d}x=\underset{{ℝ}^n}{\int }f(x)\mathrm{\Delta }g(x)\mathrm{d}x,$

a je hustě definovaný. Diferenciál je zde potřeba chápat ve slabém smyslu. Pro definiční obor tedy platí

$D(\mathrm{\Delta })=\{u\in L^2({ℝ}^n):\mathrm{\Delta }u\in L^2({ℝ}^n)\}.$

Tomu vyhovuje Sobolevův prostor $H^2({ℝ}^n)$ kvadraticky integrovatelné a dvakrát slabě diferencovatelné funkce, které jsou husté v $L^2({ℝ}^n)$. Symetrie Laplaceova operátoru plyne z Greenových identit.

Operátor násobení

Nechť $(\mathrm{\Omega },\mathrm{\Sigma },\mu )$ je prostor s mírou a $f:\mathrm{\Omega }\to ℝ$ je měřitelná funkce. Operátor násobení $M_f:D(M_f)\to L^2(\mu )$ s definičním oborem $D(M_f)=\{x\in L^2(\mu ):f\cdot x\in L^2(\mu )\}\subset L^2(\mu )$ definujeme vztahem

$x\mapsto M_{f}x:=f\cdot x.$

Tento operátor je neomezený a hustě definovaný, protože pro ${\mathrm{\Omega }}_n:=\{\omega \in \mathrm{\Omega }:|f(\omega )|\le n\}$ obsahuje $D(M_f)$ všechny $L^2$-třídy, které mimo z ${\mathrm{\Omega }}_n$ zanikají, a kvůli $\mathrm{\Omega }=\bigcup _n{\mathrm{\Omega }}_n$ je $D(M_f)\subset L^2(\mu )$ hustý. Kromě toho je $M_f$ s ohledem na $L^2$-skalární součiny symetrický. Operátor je také samoadjungovaný. Protože pro symetrický operátor, jmenovitě $M_f\subset M_f^{*},$ platí, že $D(M_f)\subset D(M_f^{*})$ a $M_f^{*}{|}_{D(M_f)}=M_f,$ znamená to, že pro samoadjungovaný operátor musí platit $D(M_f^{*})\subset D(M_f)$. Nechť ${\chi }_n$ je charakteristická funkce z ${\mathrm{\Omega }}_n$. Pro $z\in D(M_f)$ a $x\in D(M_f^{*})$ platí

$⟨z,{\chi }_n{M}_f^{*}x{⟩}_{L^2}=⟨{\chi }_{n}z,M_f^{*}x{⟩}_{L^2}=⟨M_f({\chi }_{n}z),x{⟩}_{L^2}=⟨f{\chi }_{n}z,x{⟩}_{L^2}.$

To znamená, že ${\chi }_n{M}_f^{*}x={\chi }_{n}fx$ platí skoro všude. Tam, kde ${\chi }_n\to 1$ bodově konverguje, platí $M_f^{*}x=fx$ skoro všude. Protože $M_f^{*}x=fx$ leží v $L^2,$ je $x\in D(M_f)$, odtud $D(M_f)=D(M_f^{*}),$ čímž jsme dokázali, že $D(M_f)$ je samoadjungovaný.

Kritéria

Pro operátor $T:D(T)\to H$ hustě definovaný v Hilbertově prostoru $(H,⟨.,.⟩)$ existují další kritéria samoadjungovanosti.Šablona:SfnŠablona:SfnŠablona:Sfn

První kritérium

$T$ je samoadjungovaný operátor právě tehdy, když v $H$ platí

1. $T=T^{*}=T^{**}$.

Druhé kritérium

$T$ je samoadjungovaný operátor právě tehdy, když v $H$, pokud jsou splněny následující podmínky:

1. $T$ je symetrický.
2. $T$ je uzavřený.
3. Nulové prostory operátorů $T^{*}-\mathrm{i}\cdot I{d}_H$ a $T^{*}+\mathrm{i}\cdot I{d}_H$ jsou rovné $\{0\}$.

U nulových prostorů vyskytujících se v poslední podmínce zjišťujeme jejich dimenze. V případě symetrického operátoru $T$ to nazýváme defektní indexy. Poslední zmíněnou podmínku lze proto také vyjádřit, že defektní indexy $T$ jsou rovny 0.

Třetí kritérium

Podmínky 2 a 3 druhého kritéria lze interpretovat jako jedinou, a tímto způsobem dostaneme pro samoadjungovanost $T$ další rovnocenné kritérium:

$T$ je samoadjungovaný operátor v $H$, právě tehdy, když pokud jsou splněny následující podmínky:

1. $T$ je symetrický.
2. Obor hodnot operátorů $T-\mathrm{i}\cdot I{d}_H$ a $T+\mathrm{i}\cdot I{d}_H$ je roven $H$.

Čtvrté kritérium

Čtvrté kritérium ukazuje, že samoadjungovanost hustě definovaného operátoru je v podstatě určeno polohou jeho spektra v reálných číslech:

$T$ je samoadjungovaný operátor v $H$ právě tehdy, když jsou splněny následující podmínky:

1. $T$ je symetrický.
2. Spektrum $T$ je tvořeno pouze reálnými čísly, tedy $\sigma (T)\subset ℝ$.

Vlastnosti

Nechť $T$ je hustě definovaný operátor na Hilbertově prostoru $(H,⟨.,.⟩),$

• pak $T^{*}T$ je samoadjungovaný operátor s $⟨Tx,x⟩\ge 0.$

Nechť $T$ je samoadjungovaný operátor na Hilbertově prostoru $(H,⟨.,.⟩).$

• Pro spektrum $\sigma (T)$ operátoru $T$ platí $\sigma (T)\subset ℝ.$ Neexistují tedy žádné spektrální hodnoty, které jsou vlastními komplexními čísly. Především samoadjungovaná matice má pouze reálné spektrum, případně vlastní čísla.
• Operátor $T$ je pozitivní, což znamená, že pro všechny $x\in D(T)$ platí $⟨Tx,x⟩\ge 0$ právě tehdy, když pro spektrum $\sigma (T)$ platí inkluze $\sigma (T)\subset ⟨0,\mathrm{\infty }⟩$.
• Pokud $⟨Tx,x⟩\ge 0$ platí pro všechna $x\in H$, pak existuje samoadjungovaný operátor $B$ splňující $⟨Bx,x⟩\ge 0$ pro všechna $x\in H,$ takový, že platí $B\circ B=T$.

Friedrichsovo rozšíření

Šablona:Podrobně Nechť $(H,⟨,{⟩}_H)$ je Hilbertův prostor a $T:D(T)\to H$ hustě definovaný polootevřený operátor. Pro operátor $T$ znamená polootevřený, že pro operátor platí buď nerovnost $⟨Tx,x{⟩}_H\ge C\Vert x{\Vert }_H^2$ nebo nerovnost $⟨Tx,x{⟩}_H\le C\Vert x{\Vert }_H^2$ pro $C\in ℝ$ a pro všechna $x\in D(T)$. Pak existuje k $T$ samoadjungované rozšíření $T$, které splňuje stejnou podmínku.

Je třeba poznamenat, že pro polootevřený operátor $T$ musí být výraz $⟨Tx,x{⟩}_H$ reálný, jinak relace uspořádání $\ge$ a $\le$ nejsou definované; a operátory, pro které platí $⟨Tx,x{⟩}_H\in ℝ$ pro všechna $x\in H$, jsou symetrické.

Nechť $T:D(A)\to H$ je uzavřený a hustě definovaný operátor. Pak lze z Friedrichsova rozšíření odvodit, že $T^{*}T:\{x\in D(T):Tx\in D(T^{*})\}\to H$ je hustě definovaný a samoadjungovaný.

Spektrální věta pro neomezené operátory

Spektrální rozklad

Šablona:Podrobně Nechť $(H,⟨.,.{⟩}_H)$ je Hilbertův prostor a $\mathrm{\Sigma }$ je borelovská σ-algebra. Pro každý samoadjungovaný operátor $T:D(T)\to H$ existuje jednoznačná spektrální míra $E:\mathrm{\Sigma }\to L(H,H),$ taková, že pro $x\in D(T)$ a $y\in H$ platí

$⟨Tx,y{⟩}_H=\underset{ℝ}{\int }t\mathrm{d}⟨E_{t}x,y{⟩}_H.$

Tento výrok je spektrální věta pro neomezené samoadjungované operátory. Pokud požadujeme, aby operátory byl omezený a samoadjungovaný nebo dokonce i kompaktní a samoadjungované, pak se výsledek zjednoduší. To je podrobněji vysvětleno v článku Spektrální věta.

Operátor násobení

Nechť $H$ je Hilbertův prostor a nechť $T:H\supset D(T)\to H$ je samoadjungovaný operátor. Pak existuje (v separabilním případě $\sigma$-konečný) prostor s mírou $(\mathrm{\Omega },\mathrm{\Sigma },\mu )$, měřitelná funkce $f:\mathrm{\Omega }\to ℝ$ a unitární operátor $U:H\to L^2(\mu )$, tak že platí:

1. $x\in D(T)\iff f\cdot Ux\in L^2(\mu )$ a
2. $UT{U}^{*}\varphi =f\cdot \varphi$ pro $\varphi \in \{\varphi \in L^2(\mu ):f\cdot \varphi \in L^2(\mu )\}$.

V podstatě je tedy operátor násobení $\varphi \mapsto f\cdot \varphi$ jediným příkladem samoadjungovaného operátoru.

Odkazy

Literatura

• Šablona:Citace monografie
• Šablona:Citace monografie Šablona:Wayback
• Šablona:Citace monografieŠablona:Nedostupný zdroj
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie