logo

ヒルベルト空間のベッセル列 📂ヒルベルト空間

ヒルベルト空間のベッセル列

定義1

ヒルベルト空間 HHのシーケンス {vk}k∈N⊂H\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}} \subset Hに対して、以下を満たすB>0B > 0が存在した場合、{vk}k∈N\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}}をベッセルシーケンスbessel sequenceと呼び、BBをベッセルバウンドbessel boundという。

∑k=1∞∣⟨v,vk⟩∣2≤B∥v∥2,∀v∈H \sum_{k=1}^{\infty} \left| \left\langle \mathbf{v} , \mathbf{v}_{k} \right\rangle \right|^{2 } \le B \left\| \mathbf{v} \right\|^{2}, \quad \forall \mathbf{v} \in H

説明

直感的に見ると、ベッセルシーケンスは無限次元ベクトルv\mathbf{v}の係数が後ろに行くほど小さくなるように曲げるシーケンスと見ることができる。ほとんどの数学と同様に、バウンドされていないものは研究が難しいが、ベッセルシーケンスの存在が与えられるだけでさまざまな危険な飛躍から自由になることができる。もちろんその存在を見出すために以下のような簡単な同値条件が知られている。

定理

ヒルベルト空間HHのシーケンス {vk}k∈N⊂H\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}} \subset HとB>0B > 0が与えられたとする。以下の二つの条件は同値である。

  • {vk}k∈N\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}}がベッセルバウンドBBを持つベッセルシーケンスである。

  • 以下のように定義された作用素 TTが線形で、有界であり、∥T∥≤B\left\| T \right\| \le \sqrt{B}を満たしている。

    T:l2→HT{ck}k∈N:=∑k∈Nckvk T : l^{2} \to H \\ T \left\{ c_{k} \right\}_{k \in \mathbb{N}} := \sum_{k \in \mathbb{N}} c_{k} \mathbf{v}_{k}

証明

  • (  ⟹  )(\implies)

    {vk}k∈N\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}}がベッセルバウンドBBを持つベッセルシーケンスであり、{ck}k∈N∈l2\left\{ c_{k} \right\}_{k \in \mathbb{N}} \in l^{2}とする。T{ck}k∈N=∑k∈NckvkT \left\{ c_{k} \right\}_{k \in \mathbb{N}} = \sum_{k \in \mathbb{N}} c_{k} \mathbf{v}_{k}が収束してうまく定義されることを示すために、二つの自然数 n>mn > mを考える。

    ∥∑k=1nckvk−∑k=1mckvk∥=∥∑k=m+1nckvk∥=sup⁡∥w∥=1∣∑k=m+1n⟨ckvk,w⟩∣ \left\| \sum_{k =1}^{n} c_{k} \mathbf{v}_{k} - \sum_{k =1}^{m} c_{k} \mathbf{v}_{k} \right\| = \left\| \sum_{k = m + 1}^{n} c_{k} \mathbf{v}_{k} \right\| = \sup_{\left\| \mathbf{w} \right\| = 1 } \left| \sum_{k = m + 1}^{n} \left\langle c_{k} \mathbf{v}_{k} , \mathbf{w} \right\rangle \right|

    三角不等式により、

    sup⁡∥w∥=1∣∑k=m+1n⟨ckvk,w⟩∣≤sup⁡∥w∥=1∑k=m+1n∣⟨ckvk,w⟩∣ \sup_{\left\| \mathbf{w} \right\| = 1 } \left| \sum_{k = m + 1}^{n} \left\langle c_{k} \mathbf{v}_{k} , \mathbf{w} \right\rangle \right| \le \sup_{\left\| \mathbf{w} \right\| = 1 } \sum_{k = m + 1}^{n} \left| \left\langle c_{k} \mathbf{v}_{k} , \mathbf{w} \right\rangle \right|

    コーシー・シュワルツの不等式により、

    sup⁡∥w∥=1∑k=m+1n∣⟨ckvk,w⟩∣≤(∑k=m+1n∣ck∣2)1/2sup⁡∥w∥=1(∑k=m+1n∣⟨vk,w⟩∣2)1/2≤(∑k=m+1n∣ck∣2)1/2B \begin{align*} & \sup_{\left\| \mathbf{w} \right\| = 1 } \sum_{k = m + 1}^{n} \left| \left\langle c_{k} \mathbf{v}_{k} , \mathbf{w} \right\rangle \right| \\ \le & \left( \sum_{k = m + 1}^{n} \left| c_{k} \right|^{2} \right)^{1/2} \sup_{\left\| \mathbf{w} \right\| = 1 } \left( \sum_{k = m + 1}^{n} \left| \left\langle \mathbf{v}_{k} , \mathbf{w} \right\rangle \right|^{2} \right)^{1/2} \\ \le & \left( \sum_{k = m + 1}^{n} \left| c_{k} \right|^{2} \right)^{1/2} \sqrt{B} \end{align*}

    {ck}k∈N∈l2\left\{ c_{k} \right\}_{k \in \mathbb{N}} \in l^{2}はコーシー数列なので、{∑k=1nckv}n=1∞⊂H\displaystyle \left\{ \sum_{k=1}^{n} c_{k} \mathbf{v} \right\}_{n=1}^{\infty} \subset Hもコーシー数列であり、したがってTTがうまく定義されることが確認できる。TTは定義により、線形であり、

    ∥T{cK}k∈N∥=sup⁡∥w∥=1∣⟨T{ck}k∈N,w⟩∣≤B(∑k∈N∣ck∣2)1/2=B∥{ck∈N}∥2 \begin{align*} \left\| T \left\{ c_{K} \right\}_{k \in \mathbb{N}} \right\| =& \sup_{\left\| \mathbf{w} \right\| = 1 } \left| \left\langle T \left\{ c_{k} \right\}_{k \in \mathbb{N}} , \mathbf{w} \right\rangle \right| \\ \le & \sqrt{B} \left( \sum_{k \in \mathbb{N}} \left| c_{k} \right|^{2} \right)^{1/2} \\ =& \sqrt{B} \left\| \left\{ c_{k \in \mathbb{N}} \right\} \right\|_{2} \end{align*}

    これにより、両側を∥{ck∈N}∥2\left\| \left\{ c_{k \in \mathbb{N}} \right\} \right\|_{2}で割ると∥T∥≤B\left\| T \right\| \le \sqrt{B}を得る。

  • (  ⟸  )(\impliedby)

    {vk}k∈N\left\{ \mathbf{v}_k \right\}_{k \in \mathbb{N}}がヒルベルト空間HHで定義されたシーケンスだとする。有界線形作用素T:l2→HT : l^{2} \to Hが以下のように定義されているとする。

    T{ck}k∈N:=∑k=1∞ckvk T \left\{ c_{k} \right\}_{k \in \mathbb{N}} := \sum_{k=1}^{\infty} c_{k} \mathbf{v}_{k}

    すると、TTの随伴作用素T∗:H→l2T^{ \ast } : H \to l^{2}は次のように表される。

    T∗v={⟨v,vk⟩H}k∈N T^{ \ast } \mathbf{v} = \left\{ \left\langle \mathbf{v} , \mathbf{v}_{k} \right\rangle_{H} \right\}_{k \in \mathbb{N}}

    さらに、すべてのv∈H\mathbf{v} \in Hに対して、

    ∑k=1∞∣⟨v,vk⟩H∣2≤∥T∥2∥v∥H2 \sum_{k=1}^{\infty} \left| \left\langle \mathbf{v} , \mathbf{v}_{k} \right\rangle_{H} \right|^{2} \le \left\| T \right\|^{2} \left\| \mathbf{v} \right\|_{H}^{2}

    TTは∥T∥≤B\left\| T \right\| \le \sqrt{B}を満たすように定義されているので、

    ∑k=1∞∣⟨v,vk⟩∣2≤∥T∥2∥v∥2≤B∥v∥2 \sum_{k=1}^{\infty} \left| \left\langle \mathbf{v} , \mathbf{v}_{k} \right\rangle \right|^{2} \le \left\| T \right\|^{2} \left\| \mathbf{v} \right\|^{2} \le B \left\| \mathbf{v} \right\|^{2}

    したがって、{vk}k∈N\left\{ \mathbf{v}_k \right\}_{k \in \mathbb{N}}はベッセルバウンドBBを持つベッセルシーケンスとなる。

■

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