ワンポイントゼミ 無限大、無限小の極限の補足 [ネコ騙し数学]
ワンポイントゼミ 無限大、無限小の極限の補足
無限大、無限小に出てきた極限の求め方について補足説明することにする。
x→0のとき、1−cosx→0、また、x²→0だから、これは不定形。
したがって、ロピタルの定理より
と求めることができる。
また、半角公式から
となるので、
ここで、θ=x/2とおくと、x→0のときθ→0となるから
すこし大袈裟だが、マクローリン展開を利用すると、
となるから、
x≠0のとき
x→0のとき
したがって、ハサミ打ちの定理より
無限大、無限小 [ネコ騙し数学]
無限大、無限小
§1 高位、同位、低位の無限大、無限小
aを実数または±∞とする。
ならば、x→aのときf(x)は無限小であり、(または)ならばx→aのときfは無限大という。
f、gが無限小のとき
であるという。
fとが同位の無限小であるとき、fはgに対してα位の無限小であるといい、αを位数という
例1
だから、sinxはxと同位の無限小。
だから、1−cosxはx²と同位でxに対して2位の無限小である。
f、gが無限大のとき
であるという。
fとが同位の無限大であるとき、fはgに対してα位の無限大であるといい、αを位数という。
例2
だから、√xはxより低位の無限大で、
になるので、√xはxに対し1/2位の無限大。
だから、xは√xより高位の無限大で、xは√xに対して2位の無限大である。
nが任意の正の正数であるとき
が成立するので、指数関数は任意の高位の無限大である。
§2 ランダウ(Landau)のスモールオーo、ビッグオーO
であるとき、
で表し、oをランダウ(Landau)のスモールオーという。
また、
であるとき、
で表し、Oをランダウのビッグオーという。
例3
だから、
また、
だから
問1 次が成立することを示せ。
【解】
(1)
だから、
よって、
(2)
よって、
(解答終了)
定理 f(x)が0を含む開区間Iで級関数であるとき
である。
【証明】
マクローリンの定理よりをみたすθが存在する。
したがって、
は、f(x)がIで級だから、Iで連続。
かつ、だから、
よって、証明された。
(証明終了)
以上のことから、次のことが成り立つ。
任意の正の自然数に対して
ここで、
である。
(2)では偶数次の項の係数が0、(3)では奇数次の項の係数が0で、(2)では偶数次の項、(3)では奇数次の項が出ないので、強めると、次のようになる。