logo

随伴作用素の性質 📂ヒルベルト空間

随伴作用素の性質

定理1

H,KH,Kヒルベルト空間としよう。有界線形作用素T:KHT : K \to Hに対して、次を満たすT:HKT^{\ast} : H \to KTT随伴作用素と呼ぶ。

Tv,wH=v,TwK,vK \left\langle T \textbf{v} , \textbf{w} \right\rangle_{H} = \left\langle \textbf{v} , T^{\ast} \textbf{w} \right\rangle_{K},\quad \forall \textbf{v} \in K このとき、随伴作用素は次の性質を持つ。

(a) TT^{\ast}は線形であり、有界である。

(b) (T)=T\left( T^{\ast} \right)^{\ast} = T

(c) T=T\left\| T^{\ast} \right\| = \left\| T \right\|

証明

(a)

  • Part 1. TT^{\ast}は線形である

    定義により

    T(αw+βu)=αT(w)+βT(u) T^{\ast}( \alpha \mathbf{w}+\beta \mathbf{u} )=\alpha T^{\ast}(\mathbf{w})+\beta T^{\ast}(\mathbf{u})

    を示せばよい。TT^{\ast}と内積の定義により、vK\mathbf{v}\in Kに対して次が成立する。

    v,T(αw+βu)K= Tv,αw+βuH= αTv,wH+βTv,uH= αv,TwK+βv,TuK= v,αTw+βTuK \begin{align*} \left\langle \mathbf{v}, T^{\ast}(\alpha \mathbf{w}+ \beta \mathbf{u}) \right\rangle_{K} =&\ \left\langle T\mathbf{v},\alpha \mathbf{w} + \beta \mathbf{u} \right\rangle_{H} \\ =&\ \overline{\alpha}\left\langle T\mathbf{v},\mathbf{w} \right\rangle_{H} +\overline{\beta} \left\langle T\mathbf{v}, \mathbf{u} \right\rangle_{H} \\ =&\ \overline{\alpha}\left\langle \mathbf{v}, T^{\ast}\mathbf{w} \right\rangle_{K} +\overline{\beta} \left\langle \mathbf{v}, T^{\ast} \mathbf{u} \right\rangle_{K} \\ =&\ \left\langle \mathbf{v}, \alpha T^{\ast} \mathbf{w}+\beta T^{\ast} \mathbf{u} \right\rangle_{K} \end{align*}

    全てのv\mathbf{v}に対してv,u=v,w\left\langle \mathbf{v},\mathbf{u} \right\rangle=\left\langle \mathbf{v},\mathbf{w}\right\rangle ならばu=w\mathbf{u}=\mathbf{w}が成り立つので

    T(αw+βu)=αT(w)+βT(u) T^{\ast}( \alpha \mathbf{w}+\beta \mathbf{u} )=\alpha T^{\ast}(\mathbf{w})+\beta T^{\ast}(\mathbf{u})

  • Part 2. TT^{\ast}は有界である

    定義により

    TwCw,wH \left\| T^{\ast}\mathbf{w} \right\| \le C \left\| \mathbf{w} \right\|,\quad \forall \mathbf{w}\in H

    を満たす定数CCが存在するかを示せばよい。内積とノルムの関係により次が成立する。

    Tw=supvKv=1v,TwK \left\| T^{\ast}\mathbf{w} \right\| = \sup \limits_{\substack{\mathbf{v}\in K \\ \left\| \mathbf{v} \right\|=1 }} \left| \left\langle \mathbf{v},T^{\ast}\mathbf{w} \right\rangle_{K} \right|

    そのため、TT^{\ast}の定義とコーシー・シュワルツの不等式により次が成立する。

    Tw= supvKv=1v,TwK= supvKv=1Tv,wHsupvKv=1Tvw \begin{align*} \left\| T^{\ast}\mathbf{w} \right\| =&\ \sup \limits_{\substack{\mathbf{v}\in K \\ \left\| \mathbf{v} \right\|=1 }} \left| \left\langle \mathbf{v},T^{\ast}\mathbf{w} \right\rangle_{K} \right| \\ =&\ \sup \limits_{\substack{\mathbf{v}\in K \\ \left\| \mathbf{v} \right\|=1 }} \left| \left\langle T\mathbf{v},\mathbf{w} \right\rangle_{H} \right| \\ \le& \sup \limits_{\substack{\mathbf{v}\in K \\ \left\| \mathbf{v} \right\|=1 }} \left\| T\mathbf{v} \right\| \left\| \mathbf{w} \right\| \end{align*}

    ここでTTは有界であるため、TvTv\left\| T\mathbf{v} \right\|\le \left\| T \right\| \left\| \mathbf{v} \right\|が成立する。従って、

    TwsupvKv=1TvwsupvKv=1TvwTw \begin{align*} \left\| T^{\ast}\mathbf{w} \right\| \le& \sup \limits_{\substack{\mathbf{v}\in K \\ \left\| \mathbf{v} \right\|=1 }} \left\| T\mathbf{v} \right\| \left\| \mathbf{w} \right\| \\ \le& \sup \limits_{\substack{\mathbf{v}\in K \\ \left\| \mathbf{v} \right\|=1 }} \left\| T \right\| \left\| \mathbf{v} \right\| \left\| \mathbf{w} \right\| \\ \le& \left\| T \right\| \left\| \mathbf{w} \right\| \end{align*}

    であるから、TT^{\ast}は有界である。

(b)

TT^{\ast}と内積の定義により単純に示すことができる。

Tv,wH= v,TwK= Tw,vK= w,(T)vK= (T)v,wK \begin{align*} \left\langle T\mathbf{v},\mathbf{w} \right\rangle_{H} =&\ \left\langle \mathbf{v},T^{\ast}\mathbf{w} \right\rangle_{K} \\ =&\ \overline{\left\langle T^{\ast}\mathbf{w},\mathbf{v} \right\rangle_{K}} \\ =&\ \overline{\left\langle \mathbf{w},(T^{\ast})^{\ast}\mathbf{v} \right\rangle_{K}} \\ =&\ \left\langle (T^{\ast})^{\ast}\mathbf{v},\mathbf{w} \right\rangle_{K} \end{align*}

これは全てのw\mathbf{w}に対して成立するので、**Part 1.**の論理と同様である。

Tv=(T)v    T=(T) T\mathbf{v}=(T^{\ast})^{\ast}\mathbf{v}\implies T=(T^{\ast})^{\ast}

(c)

**(a)**の証明からTT\left\| T^{\ast} \right\| \le \left\| T \right\|を得た。同様の方法で反対方向の不等式を得ることができる。

Tv= supwHw=1Tv,wH= supwHw=1v,TwKsupwHw=1vTwsupwHw=1vTwTv \begin{align*} \left\| T\mathbf{v} \right\| =&\ \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left| \left\langle T\mathbf{v},\mathbf{w} \right\rangle_{H} \right| \\ =&\ \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left| \left\langle \mathbf{v},T^{\ast}\mathbf{w} \right\rangle_{K} \right| \\ \le& \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left\| \mathbf{v} \right\| \left\| T^{\ast}\mathbf{w} \right\| \\ \le& \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left\| \mathbf{v} \right\| \left\| T^{\ast} \right\| \left\| \mathbf{w} \right\| \\ \le& \left\| T^{\ast} \right\| \left\| \mathbf{v} \right\| \end{align*}

従って、TT\left\| T^{} \right\|\le \left\| T^{\ast} \right\|が成立するので、

T=T \left\| T \right\| = \left\| T^{\ast} \right\|


  1. Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p72 ↩︎