有界C^k級Lipschitz関数の空間
こんにちは。ひよこてんぷらです。今回は次の有界 級Lipschitz関数の空間
\begin{equation} Lip^k(\Omega : X)=\left\{\left. f \in BC^k(\Omega :X) \, \right| \, \|f\|_{Lip^k(\Omega : X)} \lt \infty \right\} \end{equation}
の完備性を調べます。ただし
\begin{equation}\begin{split} \|f\|_{Lip^k(\Omega : X)} &= \|f\|_{BC^k(\Omega :X)}+[ f ]_{Lip^k(\Omega : X)} \\ \|f\|_{BC^k(\Omega :X)}&=\sum_{|\alpha| \le k}\sup_{x \in \Omega}\|\partial_x^{\alpha}f(x)\|_X \\ [ f ]_{Lip^k(\Omega : X)}&=\sum_{|\alpha|=k}\sup_{x,y \in \Omega , \, x \neq y} \frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f(y)\|_X}{|x-y|} \end{split}\end{equation}
とします。また、 は適当な 次元の領域とし、 はBanach空間とします。 とはbounded continuous、すなわち有界な 級の関数空間のことです。 階の可微分性は分かりませんが、これに関しては 階の微分に対してLipschitz連続性が成立するという形の正則性を有しています。
ここで注意することは、 ならば 階までの微分に対してはLipschitz連続性が成立するということです。これを確認していきましょう。まず多変数のTaylor展開から、 に対して ならば任意の に対して
\begin{equation}\begin{split} &f(x)-\sum_{|\alpha| \le j-1}\frac{\partial_x^{\alpha}f(y)}{\alpha !}(x-y)^{\alpha} \\ &=\sum_{|\alpha|=j}\frac{j}{\alpha !}(x-y)^{\alpha}\int_0^1 (1-\theta)^{j-1}(\partial_x^{\alpha}f)(y+\theta (x-y))d\theta \end{split}\end{equation}
が成立することに注意しましょう。さて、ここで ならば上の公式から
\begin{equation} f(x)-f(y)=\sum_{|\alpha|=1}\frac{1}{\alpha !}(x-y)^{\alpha}\int_0^1(\partial_x^{\alpha}f)(y+\theta (x-y))d\theta \end{equation}
であり、
\begin{equation}\begin{split} &\|f(x)-f(y)\|_X \\ &\le \sum_{|\alpha|=1}\frac{1}{\alpha !}|(x-y)^{\alpha}|\int_0^1\|(\partial_x^{\alpha}f)(y+\theta (x-y))\|_Xd\theta \\ &\le \|f\|_{BC^1(\Omega : X)}|x-y|\sum_{|\alpha|=1}\frac{1}{\alpha !} \end{split}\end{equation}
を得るので はLipschitz連続です。では次に および とし、 なる多重指数 に対して がLipschitz連続であることをみましょう。ここで であるから再び上の公式から
\begin{equation} \partial_x^{\beta}f(x)-\partial_x^{\beta}f(y)=\sum_{|\alpha|=1}\frac{1}{\alpha !}(x-y)^{\alpha}\int_0^1(\partial_x^{\alpha}\partial_x^{\beta}f)(y+\theta (x-y))d\theta \end{equation}
であり、同様の議論から
\begin{equation}\begin{split} &\|\partial_x^{\beta}f(x)-\partial_x^{\beta}f(y)\|_X \\ &\le \sum_{|\alpha|=1}\frac{1}{\alpha !}|(x-y)^{\alpha}|\int_0^1\|(\partial_x^{\alpha}\partial_x^{\beta}f)(y+\theta (x-y))\|_Xd\theta \\ &\le \|\partial_x^{\beta}f\|_{BC^1(\Omega : X)}|x-y|\sum_{|\alpha|=1}\frac{1}{\alpha !} \\ &\le \|f\|_{BC^k(\Omega : X)}|x-y|\sum_{|\alpha|=1}\frac{1}{\alpha !} \end{split}\end{equation}
なのでLipschitz連続です。ゆえに ならば 階までの微分に対してはLipschitz連続性が成立します。
つまり は 級関数でかつ 階までのすべての微分が有界かつLipschitz連続性を有する空間です。有界だから と書きたいですが、通常関数空間としてLipschitz関数空間を定義するときは有界性も含めるので、今回は と書くことにしましょう。
さて、では完備性について考えていきましょう。 の完備性は認めることにします。まずCauchy列をとりましょう。すなわち が
\begin{equation}\begin{split} &\lim_{n,m \to \infty}\|f_n-f_m\|_{Lip^k(\Omega : X)} \\ &= \lim_{n,m \to \infty}\|f_n-f_m\|_{BC^k(\Omega :X)}+\lim_{n,m \to \infty}[ f_n-f_m ]_{Lip^k(\Omega : X)} \\ &=0 \end{split}\end{equation}
を満たすとします。 の完備性から が存在して任意の に対して
\begin{equation} \lim_{n \to \infty}\sup_{x \in \Omega}\| \partial_x^{\alpha}f_n(x)-\partial_x^{\alpha}f(x) \|_X=0 \end{equation}
が成立します。さて、では の 階微分はLipschitz連続性を持ち、収束するでしょうか?確かめてみましょう。とりあえず をみてみます。
\begin{equation} [ f ]_{Lip^k(\Omega : X)}=\sum_{|\alpha|=k}\sup_{x,y \in \Omega , \, x \neq y} \frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f(y)\|_X}{|x-y|} \end{equation}
であるから、supの定義よりある が存在して
\begin{equation}\begin{split} [f_n]_{Lip^k(\Omega : X)} &\le 1+\sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f_n(x_0)-\partial_x^{\alpha}f_n(y_0)\|_X}{|x_0-y_0|} \\ &\le 1+\frac{ 2\|f_n\|_{BC^k(\Omega :X)} }{|x_0-y_0|} \end{split}\end{equation}
となります。 の完備性から
\begin{equation} \lim_{n \to \infty}\|f_n\|_{BC^k(\Omega :X)}=\|f\|_{BC^k(\Omega :X)} \end{equation}
なので、
\begin{equation} \limsup_{n \to \infty} [f_n]_{Lip^k(\Omega : X)} \le 1+\frac{ 2\|f\|_{BC^k(\Omega :X)} }{|x_0-y_0|} \lt \infty \end{equation}
が分かります。さて、 なる任意の に対して
\begin{equation}\begin{split} &\sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f(y)\|_X}{|x-y|} \\ &\le \sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f(y)-(\partial_x^{\alpha}f_n(x)-\partial_x^{\alpha}f_n(y))\|_X}{|x-y|} \\ &+\sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f_n(x)-\partial_x^{\alpha}f_n(y)\|_X}{|x-y|} \\ &\le \sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f_n(x)\|_X+\|\partial_x^{\alpha}f(y)-\partial_x^{\alpha}f_n(y)\|_X}{|x-y|} \\ &+\sum_{|\alpha|=k}\sup_{x,y \in \Omega , \, x \neq y}\frac{\|\partial_x^{\alpha}f_n(x)-\partial_x^{\alpha}f_n(y)\|_X}{|x-y|} \\ &\le \frac{2\|f-f_n\|_{BC^k(\Omega :X)}}{|x-y|}+[f_n]_{Lip^k(\Omega : X)} \end{split}\end{equation}
となるわけですが、ここで の上極限をとれば
\begin{equation} \sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f(y)\|_X}{|x-y|} \le \limsup_{n \to \infty}[f_n]_{Lip^k(\Omega : X)} \end{equation}
を得ます。右辺が有界であることは先にみたので、さらに によらないことにも注意すれば、supをとって を得ます。したがって です。さて、最後にこれが収束することをみれば証明完了です!!
さて、
\begin{equation}\begin{split} &[f-f_n]_{Lip^k(\Omega:X)} \\ &= \sum_{|\alpha|=k}\sup_{x,y \in \Omega , \, x \neq y}\frac{\|\partial_x^{\alpha}f(x)-\partial_x^{\alpha}f(y)-(\partial_x^{\alpha}f_n(x)-\partial_x^{\alpha}f_n(y))\|_X}{|x-y|} \\ &\lt \infty \end{split}\end{equation}
なので、supの定義から任意の に対してある が存在して
\begin{equation}\begin{split} &[f-f_n]_{Lip^k(\Omega:X)} \\ &\le \varepsilon+\sum_{|\alpha|=k}\frac{\|\partial_x^{\alpha}f(x_{\varepsilon})-\partial_x^{\alpha}f(y_{\varepsilon})-(\partial_x^{\alpha}f_n(x_{\varepsilon})-\partial_x^{\alpha}f_n(y_{\varepsilon}))\|_X}{|x_{\varepsilon}-y_{\varepsilon}|} \\ &\le \varepsilon + \sum_{|\alpha|=k} \frac{\|\partial_x^{\alpha}f(x_{\varepsilon})-\partial_x^{\alpha}f_n(x_{\varepsilon})\|_X+\|\partial_x^{\alpha}f(y_{\varepsilon})-\partial_x^{\alpha}f_n(y_{\varepsilon})\|_X}{|x_{\varepsilon}-y_{\varepsilon}|} \\ &\le \varepsilon + \frac{2\|f-f_n\|_{BC^k(\Omega :X)}}{|x_{\varepsilon}-y_{\varepsilon}|} \end{split}\end{equation}
となります。先に としてから とすれば
\begin{equation} \lim_{n \to \infty}[f-f_n]_{Lip^k(\Omega:X)}=0 \end{equation}
となります。したがって完備性が示されました!!
さて、これで今回はおしまいにしようと思いますが、少し補足しておきます。よく知られている空間として有界一様連続関数の空間 というものがあります。さらにこれは有界 級一様連続関数の空間 というものに一般化されます。これはつまり 級関数でかつ 階までのすべての微分が有界かつ一様連続性を有する空間です。これはLipschitz連続性より弱く、したがって
\begin{equation} Lip^k \subset BUC^k \end{equation}
です。実際、 がLipschitz連続性を持てば
\begin{equation} \|f(x)-f(y)\|_X \le [f]_{Lip(\Omega :X)}|x-y| \end{equation}
ですが、これは によらない評価なので、一様連続です。さて、ここで僕が思ったことは、
\begin{equation} BUC^{\infty}= \bigcap_{k \in \mathbb{N}} BUC^k , \quad Lip^{\infty}= \bigcap_{k \in \mathbb{N}} Lip^k \end{equation}
とすれば、 なのではないか??ということです。なお、 の場合はnormが微分階数に依存して大きくなってしまうので、Fréchet空間としてみることになると思います。さて、先に述べたことから
\begin{equation} Lip^{\infty} \subset BUC^{\infty} \end{equation}
なので、これの逆はどうかということですが、これも先に確認したことから ならば 微分はLipschitz連続なので逆も従うだろうと思います。 が有限なら微分階数が1階分弱くなってしまうのでこの主張は成立しないと思いますが、 ならばこの違いは無視でき一致するだろうということです。
今回はここまでとします。けっこう基本的なことだと思いましたがまともに計算するとなかなか大変でした。見てくださってありがとうございます。