next up previous contents
: 補足2 : 変分法 : 変分問題2   目次


補足1:少し神経質なお話

この例では$ S(x,h)$$h \to 0$のとき$x$に関し一様に$S_0(x)$に収束することから 極限記号と積分記号の交換が可能で

\begin{displaymath}
\lim_{h \to 0} \int_0^1 S(x,h) dx = \int_0^1 \lim_{h \to 0} S(x,h) dx
\end{displaymath}

となりましたが,収束が一様でない場合は注意を要します。
以下の例の様に極限記号と積分記号の交換できない場合もあります。
再び,微積分の復習になります,
$ S(x,h)$$h \to 0$のとき$S_0(x)$に各点収束するとは
任意の正数 $\varepsilon > 0$に対して,その$\varepsilon$$x$の両方に 依存して決まるある正数 $\delta(\varepsilon,x) > 0$が存在して,

\begin{displaymath}
\vert h\vert < \delta(\varepsilon,x)
\end{displaymath}

ならば

\begin{displaymath}
\vert S(x,h) - S_0(x)\vert< \varepsilon
\end{displaymath}

が成立つことです。
$\delta(\varepsilon,x)$$\varepsilon$$x$の両方に依存してきまると, 以下のように,一様収束の場合と様子が違ってきます。

$x$について各点収束する関数の例として$ S(x,h)$

\begin{displaymath}S(x,h) = \frac{x}{h} \exp^{- \frac{x^2}{h} } \quad x \in [0,1]\end{displaymath}

で定義します。

まず, $h \to 0$のときの

\begin{displaymath}
\lim_{h \to 0}S(x,h)
\end{displaymath}

を調べておきます。

$x=0$のときは $S(0,h) = 0 $ となるので

\begin{displaymath}\lim_{h \rightarrow 0}S(h,0) = 0 \end{displaymath}

です。それ以外の$x \in (0,1]$では

\begin{displaymath}\lim_{h \rightarrow 0}S(x,h) =
\lim_{h \rightarrow 0}
\frac{x}{h}\exp^{- \frac{x^2}{h} }
= 0\end{displaymath}

定義から

\begin{displaymath}
S(x,0) = 0, x\in [0,1]
\end{displaymath}

ですので,

$h \to 0$のとき

\begin{displaymath}
\lim_{h \to 0}S(x,h)=S(x,0), x\in [0,1] (ただし,各点の収束)
\end{displaymath}

さて,この例では極限記号と積分記号の交換は可能でしょうか?

\begin{eqnarray*}
\lim_{h \rightarrow 0} \int_0^1S(x,h)\,dx
& = & \lim_{h \right...
...1 {\frac{x}{h}}
\exp^{- \frac{x^2}{h} }\,dx \\
&=& \frac{1}{2}
\end{eqnarray*}



しかし一方

\begin{displaymath}\int_0^1 S_0(x)dx = 0 \end{displaymath}

ゆえに

\begin{displaymath}\lim_{h \rightarrow 0}\int_0^1S(x,h)\,dx
\ne \int_0^1\lim_{h \rightarrow 0}S(x,h)\,dx\end{displaymath}

上の式のように困った事態になるのは関数$ S(x,h)$が一様収束しないからです。 一様収束するには以下の条件が必要です。


\begin{displaymath}\lim_{h \rightarrow 0}\max_{0 \le x \le 1}\vert S(x,h)-S_0(x)\vert=0 \end{displaymath}

そこで $\vert S(x,h)-S_0(x)\vert=\vert S(x,h)\vert$の最大値を調べてみます。

\begin{displaymath}\frac{d S(h,x)}{dh}
=\frac{1}{h}\exp^{-\frac{x^2}{h}}(1-2\frac{x^2}{h})=0
\end{displaymath}

となるのは

\begin{displaymath}
x= \sqrt{ \frac{h}{2} }
\end{displaymath}

のときで, 最大値は

\begin{displaymath}
S(h,\sqrt{ \frac{h}{2} }) = \sqrt{ \frac{1}{2 h \exp} }
\end{displaymath}

となり,結局,

\begin{eqnarray*}
\lim_{h \rightarrow 0}\max_{0 \le x \le 1}\vert S(x,h)-f(x)\ve...
...im_{h \rightarrow 0} \sqrt{ \frac{1}{2 h \exp} } \\
&= &\infty
\end{eqnarray*}



というように $h \rightarrow 0$のとき無限大に発散してしまいます。
従って関数列$ S(x,h)$は一様収束しません。


next up previous contents
: 補足2 : 変分法 : 変分問題2   目次
Yasunari SHIDAMA