区間
で定義される関数列
の極限
を考えます。自然に考えられるのは、次のような定義でしょう。
定義1.1 各点
において、極限
が収束するとき、
で定まる関数
を
とする。
この定義で何の問題もないように思えますが、実はこの定義はある意味では不十分です。この定義を満たしていても、もとの関数
たちの性質が
に引き継がれないことがあるのです。たとえば、任意のnについて
が連続であっても、
が連続とは限りません。
例1.2 閉区間
で定義される関数列
を考える。任意のnについて
は連続だが、
![{\displaystyle \lim _{n\to \infty }f_{n}(x)={\begin{cases}0&(0\leq x<1)\\1&(x=1)\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fa9e4026c78ca3470e8ad2c22a814263341cfd5)
は連続ではない。
そこで、定義1.1のようなただの収束(各点収束といいます)よりも強い条件を満たす収束を考えます。
定義1.3
を満たすとき、関数列
は
に一様収束するという。
一様収束は各点収束よりも強い条件です。すなわち、次が成り立ちます。
命題1.4
が
に一様収束するならば、
は
に各点収束する。
(証明)
一様収束の仮定より、
を任意にとると、ある自然数Nが存在して、
ならば
である。
一方、
を任意にとると、
である。よって、
ならば
である。つまり、
、すなわち
である。//
各点収束と一様収束の例を挙げます。
例1.5 例1.2の
は一様収束ではない。なぜならば、
である。一方、同じ区間
において
とすると、
であり、
なので、この収束は一様収束である。
一様収束するならば、例1.2のようなことは起きません。すなわち、次が成り立ちます。
定理1.6 連続関数の列
が
に一様収束するならば、
は連続である。
(証明)
と
を任意にとる。
は連続なので、ある
が存在し、
ならば
である。
一様収束の仮定より、ある自然数Nが存在して、
ならば
である。よって、
![{\displaystyle |f(x)-f(a)|\leq |f(x)-f_{n}(x)|+|f_{n}(x)-f_{n}(a)|+|f_{n}(a)-f(a)|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7df1c25829a04509b891bf93a14d34469cb1d41)
である。すなわちfは連続である。
//
定理1.6の逆は成り立ちません。一様収束でなくても、連続関数に収束することはあります。
例1.7
で定義される関数列
について、
は連続だが、
は存在しない。つまり、一様収束ではない。
関数列が一様収束するための十分条件をひとつ紹介しておきます。
定理1.8(ディニの定理)
有界閉区間
上で定義される連続関数の列
が、任意の
と任意の自然数nについて
を満たし、
も連続ならば、
は
に一様収束する。
(証明)
とする。
が一様収束しないと仮定すると、ある
を取れば、任意の自然数nに対して
を満たすような
が存在する。仮定より
なので、
である。
は有界閉区間Iに値をとる数列なので、ボルツァーノ=ワイエルシュトラスの定理より収束する部分列
を持つ。
とすると、
が連続であることから
となるが、これは
が0に各点収束することに矛盾する。//
以下、積分を考えますので、簡単のため
はすべて連続関数という状況で考えることにします。
関数列の極限と積分の順序を交換することはできるでしょうか。つまり、
![{\displaystyle \lim _{n\to \infty }\int _{a}^{b}f_{n}(x)dx=\int _{a}^{b}\lim _{n\to \infty }f_{n}(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caa492ed0f18a720d8449029ba58c2be84fe6e5a)
は成り立つでしょうか。結論からいうと、一般にはこれは成り立ちません。
例2.1
とすると、
だが、
である。
しかし、
にさらに条件を付けると、この順序交換ができる場合もあります。
まず、一様収束する場合は極限と積分の順序を交換できます。
定理2.2 関数列
が閉区間
で
に一様収束するとき、
![{\displaystyle \lim _{n\to \infty }\int _{a}^{b}f_{n}(x)dx=\int _{a}^{b}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bed2ff515c51972ef43158ca6beb60bdfd64176)
である。
(証明)一様収束の仮定より、任意の
に対してあるNが存在して、
ならば
なので、
![{\displaystyle {\begin{aligned}\left|\int _{a}^{b}f_{n}(x)dx-\int _{a}^{b}f(x)dx\right|&\leq \int _{a}^{b}|f_{n}(x)-f(x)|dx\\&<\int _{a}^{b}{\frac {\varepsilon }{b-a}}dx\\&=\varepsilon \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf005348c43f0fbe8ffa90c6e5d34ebd555a5a5c)
である。つまり、
、すなわち
である。//
一様収束の代わりに別の条件を仮定しても極限と積分の順序交換ができることがあります。ここでは、一様有界という条件を考えてみます。
定義2.3 区間
で定義される関数列
に対して定数Mが存在し、任意の自然数nと任意の
について
となるとき、関数列
は一様有界であるという。
一様有界な関数列が収束するならば極限
も有界で、関数
も一様有界です。また、次も成り立ちます。
命題2.4 区間
で定義される有界な関数の列
が一様収束するならば一様有界である。
(証明)一様収束の仮定より、ある自然数Nが存在して、
ならば任意の
に対して
である。よって、
![{\displaystyle M=\max\{\sup _{x\in I}|f_{1}(x)|,\sup _{x\in I}|f_{2}(x)|,\cdots ,\sup _{x\in I}|f_{N}(x)|,\sup _{x\in I}\left(|f(x)|+1\right)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd65e8678a1f72b4c26671d8e9922781de4bd194)
とすれば、任意の自然数nと任意の
について
となる。//
実はこの一様有界性が成り立てば、極限と積分の順序交換ができます。
定理2.5 (アルツェラの定理)
関数列
が閉区間
で一様有界のとき、
![{\displaystyle \lim _{n\to \infty }\int _{a}^{b}f_{n}(x)dx=\int _{a}^{b}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bed2ff515c51972ef43158ca6beb60bdfd64176)
である。
(証明)
自然数nに対して
とし、
とする。
は一様有界なので、あるMが存在して
![{\displaystyle M(b-a)\geq S_{1}\geq S_{2}\geq \cdots \geq S_{n}\geq \int _{a}^{b}|f_{n}(x)-f(x)|dx\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/361859f01fd9a8d2e2659ac84437d26ae340eb93)
である。よって、
を示せば、はさみうちの原理より定理が従う。
と自然数nを任意に取ると、
を満たす連続関数
で、
さらに
を満たすものが存在する。
とする。
は連続で、また
を満たす。
よって、
とすると、
である。
また、
なので、
である。
よって、
である。
以上より、
![{\displaystyle {\begin{aligned}\int _{a}^{b}h_{n}(x)dx&=\int _{a}^{b}(h_{n-1}(x)+g_{n}(x)-\mu _{n}(x))dx\\&>\int _{a}^{b}h_{n-1}(x)dx+S_{n}-{\frac {\varepsilon }{2^{n}}}-S_{n-1}\\&>\int _{a}^{b}h_{n-2}(x)dx+S_{n-1}-{\frac {\varepsilon }{2^{n-1}}}-S_{n-2}+S_{n}-{\frac {\varepsilon }{2^{n}}}-S_{n-1}\\&=\int _{a}^{b}h_{n-2}(x)dx+S_{n}-{\frac {\varepsilon }{2^{n-1}}}-{\frac {\varepsilon }{2^{n}}}-S_{n-2}\\&>\cdots \\&>\int _{a}^{b}h_{1}(x)dx+S_{n}-\sum _{k=2}^{n}{\frac {\varepsilon }{2^{k}}}-S_{1}\\&=S_{n}-\sum _{k=2}^{n}{\frac {\varepsilon }{2^{k}}}+\int _{a}^{b}g_{1}(x)dx-S_{1}\\&>S_{n}-\sum _{k=1}^{n}{\frac {\varepsilon }{2^{k}}}\\&=S_{n}-\varepsilon \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e80d27dce4034710f86a2185222c367aa960d03a)
である。
であり、
なので、
であり、
は定理1.8の仮定を満たすのでこれは一様収束。
よって
なので、
である。//
定理2.5は区間が開区間でも成り立ちます。
定理2.6 関数列
が開区間
で一様有界のとき、
![{\displaystyle \lim _{n\to \infty }\int _{a}^{b}f_{n}(x)dx=\int _{a}^{b}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bed2ff515c51972ef43158ca6beb60bdfd64176)
である。
(証明) 開区間
で
としてよい。任意の
に対し
とする。
は閉区間
において定理2.5の仮定を満たすので、
![{\displaystyle \lim _{n\to \infty }\int _{a+\delta }^{b-\delta }f_{n}(x)dx=\int _{a+\delta }^{b-\delta }f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46cf904db4986f11665648206cc44a8a2a51649a)
である。すなわち、ある自然数Nが存在して、
ならば
である。また、
![{\displaystyle \left|\int _{a}^{a+\delta }\left(f_{n}(x)-f(x)\right)dx\right|\leq \int _{a}^{a+\delta }\left|f_{n}(x)-f(x)\right|dx\leq \delta M\leq {\frac {\varepsilon }{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17c1c13197f3ad457d298b7d1bd588b10e7c9565)
![{\displaystyle \left|\int _{b-\delta }^{b}\left(f_{n}(x)-f(x)\right)dx\right|\leq \int _{b-\delta }^{b}\left|f_{n}(x)-f(x)\right|dx\leq \delta M\leq {\frac {\varepsilon }{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/221e8d68e8084e14d58a52fb10cc7be31638f5f3)
である。以上より、
ならば
![{\displaystyle \left|\int _{a}^{b}\left(f_{n}(x)-f(x)\right)dx\right|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6d3c3ca844d768c74e88c11441aa9ac6ac46e41)
である。すなわち、
![{\displaystyle \lim _{n\to \infty }\int _{a}^{b}f_{n}(x)dx=\int _{a}^{b}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bed2ff515c51972ef43158ca6beb60bdfd64176)
である。//
微分も極限ですので、前節の結果を使って微分と極限の順序交換についての定理が示されます。ただし、微分はこれまで扱ってきた数列の極限とは違い、関数の極限ですので、そこをつなぐ補題を用意しておきます。
補題2.7 有界閉区間
と任意の区間
の直積集合
で定義される有界な2変数関数
が変数xについて連続ならば、
について
![{\displaystyle \lim _{t\to \alpha }\int _{a}^{b}f(x,t)dx=\int _{a}^{b}\lim _{t\to \alpha }f(x,t)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ab91b83d66d64f7c15c88a18d96ea23392d5499)
(証明)
とする。この補題が成り立たないとすると、ある
が存在して、任意の自然数nに対して
を満たすような
が存在する。ところがこのとき、xについての関数の列
は一様有界なので、定理2.5より
となり、矛盾する。//
示したい主定理は次です。
定理2.8 有界閉区間
と任意の区間
の直積集合
で定義される2変数関数
がtについて偏微分可能で、偏導関数
は有界かつxについて連続な関数とする。
とすると、
![{\displaystyle F'(t)=\int _{a}^{b}f_{t}(x,t)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cd9fb182f8b7f84807d190a72eec728f1fa246f)
(証明)
を任意に取る。2変数関数
は
で連続である。
に平均値の定理を用いると、
![{\displaystyle q(x,t)=f_{t}(x,\alpha +\theta (t-\alpha ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcbea0e5f8580440085fa3cb7c619016f5c37459)
を満たす
が存在する。よって、補題2.7より
![{\displaystyle {\begin{aligned}F'(\alpha )&=\lim _{t\to \alpha }{\frac {F(t)-F(\alpha )}{t-\alpha }}\\&=\lim _{t\to \alpha }{\frac {\int _{a}^{b}\left(f(x,t)-f(x,\alpha )\right)dx}{t-\alpha }}\\&=\lim _{t\to \alpha }\int _{a}^{b}q(x,t)dx\\&=\lim _{t\to \alpha }\int _{a}^{b}f_{t}(x,\alpha +\theta (t-\alpha ))dx\\&=\int _{a}^{b}\lim _{t\to \alpha }f_{t}(x,\alpha +\theta (t-\alpha ))dx\\&=\int _{a}^{b}f_{t}(x,\alpha )dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6789ea0d58c5d86d4e913bc1fae6e39c19ccc58e)
である。//
前節と類似の結果は広義積分でも成り立ちます。しかし、次の例を見ればわかるように、広義積分の場合は一様収束だけでは不十分で、若干の修正が必要です。
例3.1
とすると、
なので
は0に一様収束するが、
である。
ここでは、
たちがよい関数で上から押さえられている状況を考えます。
定義3.2
であるような
が、任意の自然数nとa以上の任意の数xについて
を満たすとき、
を
の区間
における(可積分な)優関数と呼ぶことにする。
(可積分な)優関数が存在すれば、各
も可積分である(すなわち、広義積分が収束する)ことは、解析学基礎/広義積分#優関数の原理で示しました。ここではさらに、このとき極限と広義積分の順序が交換できることを示します。
定理3.3 関数列
が区間
において(可積分な)優関数
を持つとき、
![{\displaystyle \lim _{n\to \infty }\int _{a}^{\infty }f_{n}(x)dx=\int _{a}^{\infty }f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd5353b458f558c01564415db6754a303b730a04)
である。
(証明)
を任意にとり、
とする。
は有界な単調増加関数なので、
、
それに逆関数
が存在する。よって置換積分の公式より、
![{\displaystyle \int _{a}^{\infty }f_{n}(x)dx=\int _{\alpha }^{\beta }{\frac {f_{n}(\varphi (\psi ))}{g(\varphi (\psi ))}}d\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a84d52ba7435f3164100d922fa31c2f9e457b5a)
である。仮定より
なので、
は開区間
で一様有界である。よって、定理2.6より
![{\displaystyle {\begin{aligned}\lim _{n\to \infty }\int _{a}^{\infty }f_{n}(x)dx&=\lim _{n\to \infty }\int _{\alpha }^{\beta }{\frac {f_{n}(\varphi (\psi ))}{g(\varphi (\psi ))}}d\psi \\&=\int _{\alpha }^{\beta }{\frac {f(\varphi (\psi ))}{g(\varphi (\psi ))}}d\psi \\&=\int _{a}^{\infty }f(x)dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bf8ff586ec409bb01b800194bc8507e17debd98)
である。//
定理2.5から定理2.8が導かれるのとまったく同様に、定理3.3から微分と広義積分の順序交換に関する定理が導かれます。まず、補題2.7にあたるものを示します。
補題3.4 区間
と任意の区間
の直積集合
で定義される有界な2変数関数
が変数xについて連続で、(可積分な)優関数
を持つならば、
について
![{\displaystyle \lim _{t\to \alpha }\int _{a}^{\infty }f(x,t)dx=\int _{a}^{\infty }\lim _{t\to \alpha }f(x,t)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43918ea1a43b1c17bcebc05a092b2952a7991ff0)
(証明)
とする。この補題が成り立たないとすると、ある
が存在して、任意の自然数nに対して
を満たすような
が存在する。ところがこのとき、xについての関数の列
は区間
において(可積分な)優関数
を持つので、定理3.3より
となり、矛盾する。//
示したい主定理は次です。
定理3.5 区間
と任意の区間
の直積集合
で定義される2変数関数
が(可積分な)優関数
を持ち、tについて偏微分可能で、偏導関数
は有界かつxについて連続で(可積分な)優関数
を持つとする。
とすると、
![{\displaystyle F'(t)=\int _{a}^{\infty }f_{t}(x,t)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97d918ace6cbcac7843eebe37a6c650ca74a5e45)
(証明)
を任意に取る。2変数関数
は
で連続である。
に平均値の定理を用いると、
![{\displaystyle q(x,t)=f_{t}(x,\alpha +\theta (t-\alpha ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcbea0e5f8580440085fa3cb7c619016f5c37459)
を満たす
が存在する。よって、補題3.4より
![{\displaystyle {\begin{aligned}F'(\alpha )&=\lim _{t\to \alpha }{\frac {F(t)-F(\alpha )}{t-\alpha }}\\&=\lim _{t\to \alpha }{\frac {\int _{a}^{\infty }\left(f(x,t)-f(x,\alpha )\right)dx}{t-\alpha }}\\&=\lim _{t\to \alpha }\int _{a}^{\infty }q(x,t)dx\\&=\lim _{t\to \alpha }\int _{a}^{\infty }f_{t}(x,\alpha +\theta (t-\alpha ))dx\\&=\int _{a}^{\infty }\lim _{t\to \alpha }f_{t}(x,\alpha +\theta (t-\alpha ))dx\\&=\int _{a}^{\infty }f_{t}(x,\alpha )dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41db168994a15945ec83f0b090c5ea77448e5166)
である。//
一様有界(定義2.3)な関数列に対し、さらに同程度連続という条件を付すと、一様収束する部分列が存在することがわかります。まず、同程度連続性を定義します。
定義4.1
区間
で定義される関数列
について、任意の
に対してある
が存在し、
ならば任意の自然数nに対して
となるとき、
は同程度連続であるという。
nにはよらない
を選ぶことができる、ということがポイントです。一様有界かつ同程度連続であれば、次が成り立ちます。
定理4.2 (アスコリ=アルツェラの定理)
有界閉区間I上の関数列
が一様有界かつ同程度連続ならば、
の部分列
で、ある関数に一様収束するものが存在する。
(証明)
I上の有理数は可算個なので、適当に並べて数列
を作ることができる。
が一様有界であることより、数列
は有界なので、ボルツァーノ=ワイエルシュトラスの定理より収束部分列
を持つ。このとき、数列
は有界数列なので、同様に収束部分列
を持つ。以下同様にして、関数列
を作ることができ、
であれば
は収束する。このとき、
とすると、この関数列
は
の部分列であり、任意の有理数rに対して
は収束する。
この関数列
がI上一様収束することを示せばよい。
を任意にとると、
が同程度連続であることより、ある
が存在して
ならば任意のnに対して
となる。この
を固定し、区間Iを幅
の小区間に分割すると、Iは有界閉区間なので有限個の小区間に分かれる。xを任意にとると、xと同じ小区間に属する有理数rが存在する。このrに対し、数列
は収束するので、十分大きいl,l'を取れば
となる。よって、
![{\displaystyle |f_{n_{l}}(x)-f_{n_{l'}}(x)|\leq |f_{n_{l}}(x)-f_{n_{l}}(r)|+|f_{n_{l}}(r)-f_{n_{l'}}(r)|+|f_{n_{l'}}(r)-f_{n_{l'}}(x)|<{\frac {\varepsilon }{3}}+{\frac {\varepsilon }{3}}+{\frac {\varepsilon }{3}}=\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd5dcf0c1e09baf06d973031fa74599aad275802)
である。よって
は一様収束する。//