next up previous
Next: About this document ...

    

微分積分学概論AI要約 No.14

\fbox{不定形の極限}

今回は、総復習の意味もこめて、レポート12 の解答を述べるとともに、 不定形の極限の扱いについて少し補足することにする。

レポート12 は、 $ x\to \infty$ のときの問題であるが、 それを $ x\to 0$ の極限に作りかえたければ、変数を変換してたとえば

$\displaystyle \lim_{x\to 0} \frac{e^{-\frac{1}{x^2}}}{x^6}
$

を求める問題を考えれば良い。

もっと一般に、

$\displaystyle \lim_{x\to 0}
\frac
{e^{-\frac{1}{x^2}}
+x^3 e^{-\frac{1}{2 x^4}}}
{5 e^{-\frac{1}{x^2}}
+
7 e^{-\frac{1}{x^4}}
+8 e^{-\frac{2}{x^2}}
}
$

などの極限の計算も、どの項が大きくなるか目星がついておれば、 大変楽に計算できる。

(今回はレポートはありません。)

来週は試験です。

持ち込み:他の人の邪魔にならないもの、通信機能を持たないものならば、 何でも可。

試験にでそうな問題:

◯上の極限はいくらだろうか。(答え: $ \dfrac{1}{5}$ .)

$\displaystyle f(x)=
\frac
{e^{-\frac{1}{x^2}}
+x^3 e^{-\frac{1}{2 x^4}}}
{5 e^{-\frac{1}{x^2}}
+
7 e^{-\frac{1}{x^4}}
+8 e^{-\frac{2}{x^2}}
}
$

とおいたとき、$ f(x)$ $ \dfrac{1}{5}$ との差が与えられた $ \epsilon(>0)$ より小さくなるように収めるには、$ x$ の範囲をどの程度 0 に 近くとれば良いだろうか。 つまり、

$\displaystyle 0<\vert x\vert<\delta \implies \vert f(x)-\frac{1}{5}\vert<\epsilon
$

をみたすようにするには、 $ \delta$ としてどのような値を 選べばよいだろうか。

◎期限を過ぎたレポートは、特例欠席等の正当の理由がない限り 受け取りませんのであしからず御了承ください。。

問題12.1 解答。

解答にうつる前に、記号を説明しておこう。 実数 $ x$ にたいして、$ x$ より大きい整数が存在する。 (アルキメデスの原理。)その一つを $ x_1$ としよう。 また、$ x$ 以下の整数が存在することも($ -x$ に対してアルキメデスの原理 を適用することにより)分かる。その一つを $ x_0$ としよう。 すると、$ x$ 以下の整数のうち $ x_0$ 以上のものは

$\displaystyle x_0,x_0+1,x_0+2,\dots, x_1
$

という有限個の整数のリストのなかに含まれており、とくに $ x$ 以下の整数のうち最大のものがこのリストの中に存在する。 それを

$\displaystyle \lfloor x \rfloor
$

と書く。言い換えれば、 $ \lfloor x \rfloor $

% latex2html id marker 883
$\displaystyle \lfloor x \rfloor \leq x < \lfloor x \rfloor +1$ (☆)

を満たす整数である。 一昔前はこれを $ [x]$ で書いて「ガウスの記号」と呼んでいたが、 近頃は段々 $ \lfloor x \rfloor $ が市民権を得つつあるようである。

解答を始めよう。まず、

$\displaystyle (1.1)^4=1.4641
$

により、 $ (1.1)^4<2<e$ であることに注意する。 さて、任意の $ \epsilon>0$ にたいして、 $ M=10000/\epsilon$ ととると、 $ x>M$ なる任意の $ x$ に対して、

% latex2html id marker 900
$\displaystyle \frac{x^3}{e^x} \leq$ $\displaystyle \frac{x^3}{(1.1)^{4x}} = \frac{x^3}{((1.1)^{x})^4}$    
% latex2html id marker 902
$\displaystyle \leq$ $\displaystyle \frac{x^3}{((1.1)^{\lfloor x \rfloor})^4}$    
% latex2html id marker 904
$\displaystyle \leq$ $\displaystyle \frac{x^3}{(1+0.1 \lfloor x \rfloor)^4}$   (二項定理)    
% latex2html id marker 906
$\displaystyle \leq$ $\displaystyle \frac{x^3}{(0.1 x )^4}$   (← ☆)    
$\displaystyle =$ $\displaystyle \frac{10000}{x} < \epsilon$    

この範囲の $ x$ に対してはもちろん $ \frac{x^3}{e^x}>0$ であるから、

$\displaystyle \vert\frac{x^3}{e^x}-0\vert< \epsilon
$

がなりたつことが分かった。

解説 いわゆる不定形の極限の問題である。

$\displaystyle \lim_{x\to \infty} \frac{x^3}{e^x}
=\frac{\lim_{x\to\infty} x^3}{ \lim_{x\to \infty} e^x}=\frac{\infty}{\infty}
$

$\displaystyle \lim_{x\to \infty} \frac{x^3}{e^x}
=\lim_{x\to \infty} \frac{x}{e^x}\lim_{x\to \infty}x^2
=0 \cdot \infty
$

などとやっても、極限は求まらない。 「$ \infty$ 」 は、「$ x$ が大きくなったとき等にいくらでも大きくなる」という 現象をあらわしているだけで、数ではないからである。 もっといえば、「極限」という概念自体が(正確には $ \epsilon$ -$ \delta$ 論法で 述べられるような)一つの現象の記述だとも言える。

では不定形の極限はどのように扱えば良いかと言えば、この問題で言えば $ e^x$$ x^3$ との大きくなりかたの競争を観察することになる。 講義でも少し述べたように、この競争はハッキリ「カタ」がついていて、 かなり控え目に見積もっても $ e^x$ が圧勝する。上記解答はそのような見積もりの 一方法である。

二項定理を巾指数が整数でない場合にも用いている解答が多かったが、 厳密には本講義では巾指数が正の整数の場合しか扱っていない。 したがって上記解答のように少し工夫が必要である。


next up previous
Next: About this document ...
2009-07-23