閉作用素とresolvent
こんにちは。ひよこてんぷらです。さて、今回は関数解析の基本的な命題を考えてみます。
をBanach空間とし、 を部分空間とします。ここで次の線形作用素
\begin{equation} A:D(A) \to X \end{equation}
および次の集合
\begin{equation} \rho(A)=\left\{\lambda \in \mathbb{C} \, \left| \, \begin{gathered} \lambda I-A : D(A) \to \mathrm{Im}(\lambda I-A): \text{injective} \\ \mathrm{Im}(\lambda I-A) : \text{closed} \\ (\lambda I-A)^{-1} \in \mathcal{L}(\mathrm{Im}(\lambda I-A),X) \end{gathered}\right.\right\} \end{equation}
を考えます。このとき、 ならば は閉作用素となることを示します。
さて、ではいきましょう。点列 に対して が存在して、
\begin{equation} \lim_{n \to \infty}u_n=u \quad \text{in } X , \quad \lim_{n \to \infty}A u_n=v \quad \text{in } X \end{equation}
が成立するとしましょう。さて、仮定からある が取れるので、新たな点列 を
\begin{equation} f_n=(\lambda I-A )u_n \in \text{Im}(\lambda I-A) \end{equation}
と定義します。仮定から
\begin{equation} \lim_{n \to \infty}f_n=\lambda \lim_{n \to \infty}u_n-\lim_{n \to \infty}A u_n=\lambda u-v \quad \text{in } X \end{equation}
が成立するので、これを とおきましょう。ここで は閉集合なので、 です。さて、
\begin{equation} u_n=(\lambda I-A)^{-1}f_n \end{equation}
であるから、 より両辺の極限をとって
\begin{equation} u=(\lambda I-A)^{-1}f \end{equation}
を得ます。これより が分かり、
\begin{equation} \lambda u-A u=f \end{equation}
を得ます。また なので
\begin{equation} \lambda u-A u=f=\lambda u-v \end{equation}
から を得ます。ゆえに は閉作用素です。
さて、もし の定義が
\begin{equation} \rho (A)=\left\{\lambda \in \mathbb{C} \, \left| \, \begin{gathered} \lambda I-A : D(A) \to X :\text{bijective} \\ (\lambda I-A)^{-1} \in \mathcal{L}(X) \end{gathered}\right.\right\} \end{equation}
だった場合は、これは に相当するので、 の完備性からやはり成立します。しかしながら
\begin{equation} \rho (A)=\left\{\lambda \in \mathbb{C} \, \left| \, \begin{gathered} \lambda I-A : D(A) \to X_0 :\text{bijective}, \quad \overline{X_0}=X \\ (\lambda I-A)^{-1} \in \mathcal{L}(X_0,X) \end{gathered}\right.\right\} \end{equation}
であった場合は成立しません。反例をあげます。
\begin{equation} X=l^2=\left\{ x=\{x_n\}_{n=1}^{\infty} \subset \mathbb{R} \, \left| \, \|x\|_{l^2}=\left( \sum_{n=1}^{\infty}|x_n|^2 \right)^{\frac{1}{2}} \lt \infty \right.\right\} \end{equation}
とし、
\begin{equation} D(A)=l_0=\left\{ x=\{x_n\}_{n=1}^{\infty} \subset \mathbb{R} \, \left| \, {}^{\exists}N \in \mathbb{N} , \, x_n=0 \text{ for } n \ge N \right.\right\} \end{equation}
とします。 は遠方でずっと となる点列なので、 となります。同様に とします。さて、 は易しいです。実際、任意の に対して
\begin{equation} \|x\|_{l^2}=\left( \sum_{n=1}^{\infty}|x_n|^2 \right)^{\frac{1}{2}} \lt \infty \end{equation}
ですから、任意の に対してある が存在して
\begin{equation} \left( \sum_{n=N_{\varepsilon}}^{\infty}|x_n|^2 \right)^{\frac{1}{2}} \lt \varepsilon \end{equation}
とできます。したがって
\begin{equation} y_n=\left\{\begin{array}{cl} x_n & n \le N_{\varepsilon}-1 \\ 0 & n \ge N_{\varepsilon} \end{array}\right. \end{equation}
とすれば、 かつ
\begin{equation} \|x-y\|_{l^2}=\left( \sum_{n=1}^{\infty}|x_n-y_n|^2 \right)^{\frac{1}{2}} =\left( \sum_{n=N_{\varepsilon}}^{\infty}|x_n|^2 \right)^{\frac{1}{2}} \lt \varepsilon \end{equation}
となり、OKです。さて、では作用素 を
\begin{equation} A:D(A) \to X_0, \quad Ax=\{nx_n\}_{n=1}^{\infty} \end{equation}
と定義しましょう。 なので、定数倍しても遠方はどうせ であり、well-definedです。さて、 を確認しましょう。逆の存在はすぐ分かり、
\begin{equation} A^{-1}:X_0 \to D(A), \quad A^{-1}x=\{n^{-1}x_n\}_{n=1}^{\infty} \end{equation}
となります。線形性は大丈夫で、有界性も
\begin{equation} \|A^{-1}x\|_{l^2}=\left( \sum_{n=1}^{\infty}|n^{-1}x_n|^2 \right)^{\frac{1}{2}} \le \left( \sum_{n=1}^{\infty}|x_n|^2 \right)^{\frac{1}{2}} =\|x\|_{l^2} \end{equation}
より大丈夫ですね。したがって です。では最後に が閉作用素でないことを見ましょう。
\begin{equation} x_n^m=\left\{\begin{array}{cl} n^{-2} & n \le m -1 \\ 0 & n \ge m \end{array}\right. \end{equation}
で与えられる列 を考えましょう。これに を作用させると であり、
\begin{equation} nx_n^m=\left\{\begin{array}{cl} n^{-1} & n \le m -1 \\ 0 & n \ge m \end{array}\right. \end{equation}
となります。さて、先ほどのdensityの議論と同様に、 はそれぞれ に収束します。ゆえに閉作用素ならば となるはずですが、 は遠方でも にはならないため、矛盾となります。そういうことで一応これが反例になります。
しかしながら、次の集合
\begin{equation} \rho (A)=\left\{\lambda \in \mathbb{C} \, \left| \, \begin{gathered} \lambda I-A : D(A) \to X_0 :\text{bijective}, \quad \overline{X_0}=X \\ (\lambda I-A)^{-1} \in \mathcal{L}(X_0,X) \end{gathered}\right.\right\} \end{equation}
は なので、有界作用素を 上に拡張して解釈すれば先ほどの場合と同じ集合になり、初めの主張は成立すると思われます。実際そのような拡張は一意に存在するので、このように考えればそこまで問題にはならないかなあとも思います。上で示した反例も、 の定義域を拡張すれば作用自体はできて一致もします。
さて、今回はここまでとしますが、少しだけコメントをしておきます。一般に はresolvent集合と呼ばれるものですが、通常はこの集合はどのように定義されているものなのでしょうか??「 ならば は閉作用素」という標語はresolvent集合がどういう意味なのかを検討する必要がありますね。ちなみに僕は 派です。