Aubin-Lionsの補題
こんにちは。ひよこてんぷらです。今日はAubin-Lionsの補題をやります。なお、証明は「Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations and Related Models」を参考にしています。まずは主張を確認しましょう。
(Aubin-Lionsの補題) とする。 また をnorm空間および をBanach空間とする。ここで が成立し、埋め込み はcompactで、埋め込み は連続と仮定する。このとき、次で定義される関数空間
\begin{equation}\begin{split} \mathcal{E}_{p,q} &=\mathcal{E}_{p,q}(0,T) \\ &=\left\{ f \in L^p((0,T):Y_0) \, | \, \partial_tf \in L^q((0,T):Y_1) \right\} \end{split}\end{equation}
に対して次が成立する。
(i) ならばcompactな埋め込み が成立する。
(ii) かつ ならばcompactな埋め込み が成立する。
さて、いくつか補足をしておきましょう。まずcompactな埋め込みの定義を確認しておきます。埋め込み がcompactとは、まず連続な埋め込み
\begin{equation} \|x\|_X \le C\|x\|_{Y_0} \quad f \in Y_0 \end{equation}
が成立し、さらに任意の有界列 に対してある に収束するような部分列が取れるということとします。また、関数空間 は
\begin{equation} \|f\|_{\mathcal{E}_{p,q}}=\|f\|_{L^p((0,T):Y_0)}+\|\partial_tf\|_{L^q((0,T):Y_1)} \end{equation}
をnormに持ちます。ゆえに上での埋め込みはこの位相で考えているということです。また、 よりHölderの不等式を用いると
\begin{equation}\begin{split} &\|f\|_{W^{1,1}((0,T):Y_1)} \\ &=\|f\|_{L^1((0,T):Y_1)}+\|\partial_tf\|_{L^1((0,T):Y_1)} \\ &=\int_0^T\|f(t)\|_{Y_1}dt+\int_0^T\|\partial_tf(t)\|_{Y_1}dt \\ &\le C\int_0^T\|f(t)\|_{Y_0}dt+\int_0^T\|\partial_tf(t)\|_{Y_1}dt \\ &\le C\left(\int_0^Tdt\right)^{1/p'}\left(\int_0^T\|f(t)\|_{Y_0}^pdt\right)^{1/p} \\ &+\left(\int_0^Tdt\right)^{1/q'}\left(\int_0^T\|\partial_tf(t)\|_{Y_1}^qdt\right)^{1/q} \\ &=CT^{1/p'}\|f\|_{L^p((0,T):Y_0)}+T^{1/q'}\|\partial_tf\|_{L^q((0,T):Y_1)} \\ &\le (CT^{1/p'}+T^{1/q'})\|f\|_{\mathcal{E}_{p,q}} \end{split}\end{equation}
なので、 に対しては微積分学の基本定理
\begin{equation} \tag{$*$} f(t_1)-f(t_2)=\int_{t_1}^{t_2}\partial_tf(s)ds \quad \text{in } Y_1 \quad 0 \le t_1,t_2 \le T \end{equation}
が成立し、したがって となることに注意します。
さて、では証明しましょう。証明に使うのはやはりAscoli-Arzelàの定理ですね。
(Ascoli-Arzelàの定理) とし、 をBanach空間とする。このときBanach空間 の部分集合 は次を満たすとする。
(i) 各 に対して集合 は で相対compactである。
(ii) は同程度連続である。すなわち、任意の および に対して十分小さい が存在して、任意の および に対して
\begin{equation} |t-s| \lt \delta \quad \Longrightarrow \quad \|f(t)-f(s)\|_{Y_1} \lt \varepsilon \end{equation}
が成立する。
このとき は相対compactである。
さて、ここで が相対compactとはつまり、 のどんな点列からも の元に収束するような部分列がとれるということですね。
そしてもう一つ基本的な不等式を示しておきます。先の において、任意の に対してある定数 が存在して
\begin{equation} \tag{$**$} \|x\|_X \le \varepsilon \|x\|_{Y_0}+C_{\varepsilon}\|x\|_{Y_1} \quad x \in Y_0 \end{equation}
が成立します。これは背理法で示しましょう。すなわち、ある および に対して
\begin{equation} \|x_j\|_X \gt \varepsilon \|x_j\|_{Y_0}+j\|x_j\|_{Y_1} \end{equation}
が成立しているとしましょう。右辺は正なので常に も正です。したがって両辺を割って
\begin{equation} 1=\|y_j\|_X \gt \varepsilon \|y_j\|_{Y_0}+j\|y_j\|_{Y_1} , \quad \text{where} \quad y_j=x_j/\|x_j\|_X \end{equation}
としましょう。この不等式から直ちに
\begin{equation} \|y_j\|_{Y_0} \lt \varepsilon^{-1} \quad \text{and} \quad \|y_j\|_{Y_1} \lt 1/j \end{equation}
が分かります。したがって は有界列ですね。さて、仮定から埋め込み はcompactですから、部分列をとればこれはある に収束するはずです。常に ですからもちろん になるわけですが、一方で埋め込み は連続ですから、部分列は にも収束します。しかし上の不等式から すなわち のはずなので、これは矛盾ですね。ゆえに が成立します。
では準備が整ったのでAubin-Lionsの補題を証明しましょう!!少し手順が多いですが、焦らず頑張りましょう。示すべきことを整理すると、compactな埋め込みを示したいわけですね。(i)の場合、 のときは、もし点列 が有界ならば、すなわち2つの点列
\begin{equation} \{f_j\}_{j=1}^{\infty} \subset L^p((0,T):Y_0) , \quad \{\partial_tf_j\}_{j=1}^{\infty} \subset L^q((0,T):Y_1) \end{equation}
がそれぞれのnormで有界ならば、 から のCauchy列となるような部分列を選べるということを言えばいいわけです。一方(ii)の場合、 の場合はさらに を仮定すれば のCauchy列となるような部分列を選べるわけですね。基本は(i)の場合を考えますが、(ii)もほとんど同様です。証明中に注意を述べながらやっていきます。
初めに、もし上の仮定で のCauchy列が構成できればそれは のCauchy列にもなることを示しましょう。さて、部分列 が のCauchy列であるとしましょう。仮定からこれは で有界であることに注意します。すなわち
\begin{equation} \sup_{j \in \mathbb{N}}\|f_{\varphi(j)}\|_{L^p((0,T):Y_0)} \le M \end{equation}
なる がありますね。したがって を用いれば任意の に対して
\begin{equation}\begin{split} &\|f_{\varphi(j_1)}(t)-f_{\varphi(j_2)}(t)\|_X \\ &\le \frac{\varepsilon}{2M} \|f_{\varphi(j_1)}(t)-f_{\varphi(j_2)}(t)\|_{Y_0}+C_{\varepsilon,M}\|f_{\varphi(j_1)}(t)-f_{\varphi(j_2)}(t)\|_{Y_1} \end{split}\end{equation}
ですから、両辺の normを取って
\begin{equation}\begin{split} &\|f_{\varphi(j_1)}-f_{\varphi(j_2)}\|_{L^p((0,T):X)} \\ &\le \frac{\varepsilon}{2M} \|f_{\varphi(j_1)}-f_{\varphi(j_2)}\|_{L^p((0,T):Y_0)}+C_{\varepsilon,M}\|f_{\varphi(j_1)}-f_{\varphi(j_2)}\|_{L^p((0,T):Y_1)} \\ &\le \varepsilon +C_{\varepsilon,M}\|f_{\varphi(j_1)}-f_{\varphi(j_2)}\|_{L^p((0,T):Y_1)}\end{split}\end{equation}
が得られます。さて、定数 は によらないので、部分列 が のCauchy列であることより
\begin{equation} \limsup_{j_1,j_2 \to \infty}\|f_{\varphi(j_1)}-f_{\varphi(j_2)}\|_{L^p((0,T):X)} \le \varepsilon \end{equation}
とできます。 は任意ですから、これは
\begin{equation} \lim_{j_1,j_2 \to \infty}\|f_{\varphi(j_1)}-f_{\varphi(j_2)}\|_{L^p((0,T):X)} =0 \end{equation}
を意味しますね。ゆえにこれは のCauchy列であるということです。
そういうわけで、上の仮定のもとで のCauchy列を構成できれば十分ですね。ではこれを示していきましょう。初めに、点列 に対して より が従うことに注意しましょう。そこで、まずは次のcutoff関数
\begin{equation} \chi \in C^{\infty}([0,T]) , \quad \chi(t)=\left\{\begin{array}{cc} 1 & 0 \le t \le T/4 \\ 0 & (3T)/4 \le t \le T \end{array}\right. \end{equation}
を取ってきて、
\begin{equation} f_j=\chi f_j+(1-\chi)f_j \end{equation}
としましょう。さらに次のように関数を拡張しておきます。
\begin{equation}\begin{split} f_j^{(1)}(t)&=\left\{\begin{array}{cc} \chi (t)f_j(t) & 0 \le t \le T \\ 0 & T \lt t \lt \infty\end{array}\right. \\ f_j^{(2)}(t)&=\left\{\begin{array}{cc} (1-\chi (t) )f_j(t) & 0 \le t \le T \\ 0 & -\infty \lt t \le 0\end{array}\right. \end{split}\end{equation}
ここで および よりこれは連続拡張ですから、
\begin{equation} f_j^{(1)} \in C([0,\infty):Y_1) , \quad f_j^{(2)} \in C((-\infty,T]:Y_1) \end{equation}
が成立します。さて、このような拡張を行うことで、任意の に対して次のような分割を考えられます。
\begin{equation}\begin{split} f_j^{(1)}(t) &=\frac{1}{h}\int_t^{t+h}f_j^{(1)}(s)ds+\frac{1}{h}\int_t^{t+h}\{f_j^{(1)}(t)-f_j^{(1)}(s)\}ds \\ &=f_{j,h}^{(1,1)}(t)+f_{j,h}^{(1,2)}(t) \\ f_j^{(1)}(t) &=\frac{1}{h}\int_{t-h}^tf_j^{(1)}(s)ds+\frac{1}{h}\int_{t-h}^t\{f_j^{(1)}(t)-f_j^{(1)}(s)\}ds \\ &=f_{j,h}^{(2,1)}(t)+f_{j,h}^{(2,2)}(t) \end{split}\end{equation}
さて、そろそろ添え字が嫌な感じになってきましたね。拡張が正の方向および負の方向にそれぞれ行われているので、その方向に対して だけ動かしても関数が定義され得るということです。ここでの は後で動かしますが、今は適当に固定しておきましょう。
これ以降の議論は でも でも同様ですから、 について考えます。ここで、もちろん各 は に属します。Ascoli-Arzelàの定理を使いたいので、部分集合 を考えます。これに対して各 における の相対compact性、および の同程度連続性を見ましょう。
では計算を続けます。すぐ分かるように、Hölderの不等式から
\begin{equation}\begin{split} &\|f_{j,h}^{(1,1)}(t)\|_{Y_0} \\ &\le \frac{1}{h}\int_t^{t+h}\|f_j^{(1)}(s)\|_{Y_0}ds \\ &\le \frac{1}{h}\left( \int_t^{t+h}ds \right)^{1/p'}\left(\int_t^{t+h}\|f_j^{(1)}(s)\|_{Y_0}^p ds\right)^{1/p} \\ &\le \frac{1}{h}h^{1/p'}\|f_j^{(1)}\|_{L^p((0,T):Y_0)} \\ &\le h^{-1/p}\|f_j\|_{L^p((0,T):Y_0)}\end{split}\end{equation}
となります。さて、仮定から は有界列だったので、すなわち各 に対して点列 は に関して で有界です。さらに仮定から埋め込み はcompactで埋め込み は連続だったので、これよりcompactな埋め込み が従います。したがって から で収束するような部分列がとれます。これは相対compact性を示していますね。
では同程度連続性はどうでしょうか。これは次の計算で示されます。まずは の定義から
\begin{equation}\begin{split} \partial_tf_{j,h}^{(1,1)}(t) &=\frac{1}{h}\{f_j^{(1)}(t+h)-f_j^{(1)}(t)\} \\ &=\frac{1}{h}\int_t^{t+h}\partial_tf_j^{(1)}(s)ds \end{split}\end{equation}
であり、再びHölderから
\begin{equation}\begin{split} &\|\partial_tf_{j,h}^{(1,1)}(t)\|_{Y_1} \\ &\le \frac{1}{h}\int_t^{t+h}\|\partial_tf_j^{(1)}(s)\|_{Y_1}ds \\ &\le \frac{1}{h}\left(\int_t^{t+h}ds\right)^{1/q'}\left(\int_t^{t+h}\|\partial_tf_j^{(1)}(s)\|_{Y_1}^q ds\right)^{1/q} \\ &\le \frac{1}{h}h^{1/q'}\|\partial_tf_j^{(1)}\|_{L^q((0,T):Y_1)} \\ &\le h^{-1/q}\|\partial_tf_j\|_{L^q((0,T):Y_1)} \end{split}\end{equation}
です。さてまた仮定から は有界列だったので、すなわちこれは点列 が に関して で有界ということです。微分して有界なので、これは によらない連続性を意味します。すなわち同程度連続性が示されました。これでようやくAscoli-Arzelàの定理が使えます!!つまり点列 の部分列を選ぶことで、 の元に収束するようにできるということです。そしてもちろんこれは極限関数が に属することを意味しますね。ここまでは でも同様の主張が言えますね。
さて、ではもう一方の点列 を検討しましょう。 より
\begin{equation}\begin{split} f_{j,h}^{(1,2)}(t) &=\frac{1}{h}\int_t^{t+h}\{f_j^{(1)}(t)-f_j^{(1)}(s)\}ds \\ &=\frac{1}{h}\int_t^{t+h}\int_t^s\partial_tf_j^{(1)}(r)drds \end{split}\end{equation}
ですから、これのnormを計算していきましょう。Hölderを2回使っていきます。
\begin{equation}\begin{split} &\|f_{j,h}^{(1,2)}(t)\|_{Y_1}^p \\ &\le \left( \frac{1}{h}\int_t^{t+h}\int_t^s\|\partial_tf_j^{(1)}(r)\|_{Y_1}drds \right)^p \\ &\le \frac{1}{h^p} \left( \int_t^{t+h}ds \right)^{p/p'}\left( \int_t^{t+h} \left| \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1}dr \right|^p ds \right)^{p/p} \\ &\le \frac{1}{h^p} h^{p/p'} \int_t^{t+h}\left( \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1}^{1/p'}\|\partial_tf_j^{(1)}(r)\|_{Y_1}^{1/p} dr \right)^p ds \\ &\le \frac{1}{h} \int_t^{t+h} \left(\int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^{p/p'} \left(\int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^{p/p} ds \\ &\le \frac{1}{h} \left(\int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^{p/p'} \int_t^{t+h} \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr ds \end{split}\end{equation}
さてここでFubiniを使いましょう。これにより
\begin{equation}\begin{split} &\int_t^{t+h} \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr ds \\ &=\int_t^{t+h} \int_r^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1} ds dr \\ &= \int_t^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dr \end{split}\end{equation}
となります。さて、この両辺を で積分して再びFubiniを使います。ここでの変数変換は注意が必要です。というのも積分領域が平行四辺形であり、真面目に変換後の積分領域を考えるとめんどくさいので、ちょっと多めに見積もりましょう。
\begin{equation}\begin{split} &\int_0^T\int_t^{t+h} \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr ds dt \\ &= \int_0^T \int_t^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dr dt \\ &\le \int_0^T \int_t^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dr dt \\ &\le \int_h^T \int_{r-h}^r \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dt dr \\ &+\left(\int_0^h+\int_T^{T+h}\right) \int_t^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dr dt \end{split}\end{equation}
さて、最後の変形は第1項でFubiniを使っているわけですが、これでは積分領域全体の変換になっていないため、余った部分を補う形で第2項が表れています。図形を描いて考えると分かりやすいです。これで第1項は
\begin{equation}\begin{split} &\int_{r-h}^r (t+h-r)dt \\ &= \left[ \frac{1}{2}t^2+(h-r)t \right]_{r-h}^r \\ &= \frac{1}{2}r^2+(h-r)r-\frac{1}{2}(r-h)^2-(h-r)(r-h) \\ &=\frac{1}{2}r^2+rh-r^2+\frac{1}{2}(r-h)^2 \\ &=rh-\frac{1}{2}r^2+\frac{1}{2}(r^2-2rh+h^2) \\ &=\frac{1}{2}h^2 \end{split}\end{equation}
より
\begin{equation}\begin{split} &\int_h^T \int_{r-h}^r \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dt dr \\ &\le \frac{1}{2}h^2 \int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1}dr \end{split}\end{equation}
であり、他方第2項は大雑把に評価して
\begin{equation}\begin{split} &\left(\int_0^h+\int_T^{T+h}\right) \int_t^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1}(t+h-r) dr dt \\ &\le h \left(\int_0^h+\int_T^{T+h}\right) \int_t^{t+h} \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr dt \\ &\le h \int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \left(\int_0^h+\int_T^{T+h}\right) dt \\ &=2h^2\int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \end{split}\end{equation}
となりますね。では初めのnorm評価に戻れば
\begin{equation}\begin{split} &\|f_{j,h}^{(1,2)}(t)\|_{Y_1}^p \\ &\le \frac{1}{h} \left(\int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^{p/p'} \int_t^{t+h} \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr ds \end{split}\end{equation}
だったので、両辺を で積分して
\begin{equation}\begin{split} &\int_0^T\|f_{j,h}^{(1,2)}(t)\|_{Y_1}^p dt \\ &\le \frac{1}{h} \left(\int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^{p/p'} \int_0^T \int_t^{t+h} \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr ds dt \\ &\le \frac{1}{h} \left(\int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^{p/p'} \left(\frac{1}{2}h^2+2h^2\right) \int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \\ &\le \frac{5}{2}h \left( \int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \right)^p\end{split}\end{equation}
が得られます。さて、もう一度Hölderを用いれば
\begin{equation}\begin{split} &\|f_{j,h}^{(1,2)}\|_{L^p((0,T):Y_1)} \\ &\le \left(\frac{5}{2}h\right)^{1/p} \int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1} dr \\ &\le \left(\frac{5}{2}h\right)^{1/p} \left(\int_0^T dr\right)^{1/q'}\left( \int_0^T \|\partial_tf_j^{(1)}(r)\|_{Y_1}^q dr \right)^{1/q} \\ &\le \left(\frac{5}{2}h\right)^{1/p} T^{1/q'} \|\partial_tf_j\|_{L^q((0,T): Y_1)} \end{split}\end{equation}
となるわけです。さて、ここまでの計算が結構長い道のりでしたが、実際ただ で抑えたいだけならもっと簡単に評価できます。しかしここでは で減衰することを言いたかったので少し計算が煩雑になっているわけです。実際、仮定から は有界ですから、上式は によらず で に収束することが言えるわけですね。
では のときはというと、実はもっと簡単に計算できます。再び初めの評価に戻れば、
\begin{equation}\begin{split} &\|f_{j,h}^{(1,2)}(t)\|_{Y_1} \\ &\le \frac{1}{h}\int_t^{t+h} \int_t^s \|\partial_tf_j^{(1)}(r)\|_{Y_1}drds \\ &\le \frac{1}{h}\int_t^{t+h} \left(\int_t^s\|\partial_tf_j^{(1)}(r)\|_{Y_1}^q dr\right)^{1/q}\left(\int_t^s dr\right)^{1/q'}ds \\ &\le \frac{1}{h}\|\partial_tf_j^{(1)}\|_{L^q((0,T):Y_1)}\int_t^{t+h}(s-t)^{1/q'}ds \\ &=\frac{1}{h}\|\partial_tf_j^{(1)}\|_{L^q((0,T):Y_1)} \frac{1}{1+1/q'}h^{1+1/q'} \\ &=\frac{h^{1/q'}}{1+1/q'}\|\partial_tf_j^{(1)}\|_{L^q((0,T):Y_1)} \end{split}\end{equation}
となるわけです。さて(ii)の仮定は および でした。ここで が課されているのは上と同様に での収束性を担保したかったからですね。
さて、いままで長い長い議論を行ってきましたが、結局関数列 を と とに分け、さらに と を考えていたわけです。そして前者は収束部分列が取れ、後者は で に収束することを示しました。初めに断ったように、 に対しても同様の議論が適用できます。
では最後に収束列を構成しましょう!!先ほど示したことを振り返ると、Ascoli-Arzelàの定理から、点列 の適切な部分列を選べば の元に収束します。ここでの議論では は固定していましたから、 として適用します。そして収束する部分列を と書きましょう。さて、この添え字だけ取ってきた部分列 を再び考えれば、やはりAscoli-Arzelàの定理が使えます。これを で適用すれば、今度は部分列 に対する収束部分列 が取れます。
このような操作を各 に対して行うことで、収束部分列 が順次構成されます。ここで注意すべきことは、このような方法で順次選んだ添え字に対する部分列 はそれぞれ前の部分列からどんどん抜き取っているので、すべての においても部分列 は同じ収束先を持つ収束列であるということです。
さて、こうして構成した部分列に対して、添え字の対角成分 を考えます。そうすると、なんと は のCauchy列になっています!!では証明しましょう。
\begin{equation} f_{\varphi_k(k)}^{(1)}=f_{\varphi_k(k),h}^{(1,1)}+f_{\varphi_k(k),h}^{(1,2)} \end{equation}
において、とにかく第2項は によらず で に収束するため、任意の に対して十分大きな を考えれば
\begin{equation} \|f_{j,1/N}^{(1,2)}\|_{L^p((0,T):Y_1)} \lt \varepsilon /3 \quad \text{for all} \quad j \in \mathbb{N} \end{equation}
が成立します。そして対角成分から構成した部分列は上で注意したことからどの部分列も同じ収束先を持つ収束列であり、したがって十分大きな に対していつでも
\begin{equation} \|f_{\varphi_{j_1}(k_1),1/N}^{(1,1)}-f_{\varphi_{j_2}(k_2),1/N}^{(1,1)}\|_{L^p((0,T):Y_1)} \lt \varepsilon /3 \quad \text{for all} \quad j_1,j_2 \in \mathbb{N} \end{equation}
が成立します。これが によらないのは、そもそも が大きければ部分列がどんどん抜き取られて少なくなっていくので、より早く が大きくなるからですね。さて、これで
\begin{equation}\begin{split} &\| f_{\varphi_{k_1}(k_1)}^{(1)}-f_{\varphi_{k_2}(k_2)}^{(1)} \|_{L^p((0,T):Y_1)} \\ & = \| f_{\varphi_{k_1}(k_1),1/N}^{(1,1)}+f_{\varphi_{k_1}(k_1),1/N}^{(1,2)}-f_{\varphi_{k_2}(k_2),1/N}^{(1,1)}-f_{\varphi_{k_2}(k_2),1/N}^{(1,2)} \|_{L^p((0,T):Y_1)} \\ &\le \| f_{\varphi_{k_1}(k_1),1/N}^{(1,1)}-f_{\varphi_{k_2}(k_2),1/N}^{(1,1)} \|_{L^p((0,T):Y_1)} \\ &+\|f_{\varphi_{k_1}(k_1),1/N}^{(1,2)}\|_{L^p((0,T):Y_1)}+\|f_{\varphi_{k_2}(k_2),1/N}^{(1,2)}\|_{L^p((0,T):Y_1)} \\ &\lt \varepsilon /3+\varepsilon /3+\varepsilon /3 \\ &=\varepsilon\end{split}\end{equation}
すなわち部分列 が のCauchy列となることを示せました!! も同様に議論することで、証明完了です!!
なお、 のときはAscoli-Arzelàの定理により構成した部分列は で収束していましたから、連続関数の一様収束性から(ii)もOKですね。
さて、長くなりましたが今日はここまでとします。見てくださってありがとうございます。