MathLabs

11年生

関数の極限

変数がある点に限りなく近づくとき、関数が近づく値。

直観ある点のすぐ隣で何が起きるか

x=x0x=x_0 で式を直接評価できないとしよう——例えば h=0h=0 における差分商 f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h} は 00\frac{0}{0} になる。その点自体には触れられなくても、両側から x0x_0 に限りなく近づき、f(x)f(x) がどの値に向かって落ち着くかを観察できる。その目標値が極限 lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L であり、f(x0)f(x_0) が存在するかどうかさえ問わない。

固定点 x0 と第2の点 x0+h を持つ曲線。h が 0 に縮むにつれて割線が回転し接線に重なる図。
割線の傾き f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h}:h→0h\to 0 に動かすと割線が接線に重なっていく——式自体が未定義な h=0h=0 における極限。

中高厳密な定義と基本極限

定義: 一点における関数の極限(ε–δ 定義)

ff は x0x_0 の周りの開区間(x0x_0 自体は除いてもよい)で定義されているとする。任意の許容誤差 ε>0\varepsilon>0 に対してある半径 δ>0\delta>0 が存在し ∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon が成り立つとき、lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L と書く。厳密な不等号 0<∣x−x0∣0<|x-x_0| に注意:この判定では xx は決して x0x_0 に等しくならない。

∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon

ここで ε\varepsilon は出力軸における LL の周りの縦方向の許容誤差、δ\delta(デルタ)は入力軸における x0x_0 の周りの横方向の窓である。幾何学と単調評価で証明される二つの基本極限 — lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1(xx はラジアン)と lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e — が、三角関数・指数関数・対数関数のすべての導関数を解き明かす。

lim⁡x→0sin⁡xx=1,lim⁡x→∞(1+1x)x=e\lim_{x\to 0}\frac{\sin x}{x}=1,\qquad \lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e
一点における片側極限と両側極限
関数と点左極限・右極限両側極限
x0=0x_0=0 における f(x)=∣x∣xf(x)=\frac{|x|}{x}左 =−1=-1、右 =+1=+1存在しない(−1≠+1-1\ne +1)
x0=1x_0=1 における f(x)=x2−1x−1f(x)=\frac{x^2-1}{x-1}左 =2=2、右 =2=222 に等しい(f(1)f(1) は未定義でも)
x0=0x_0=0 における f(x)=sin⁡xxf(x)=\frac{\sin x}{x}左 =1=1、右 =1=111 に等しい

大学主要定理とその証明

両側極限が存在するための必要十分条件は、左右の片側極限がともに存在して等しいことである:lim⁡x→x0f(x)=L  ⟺  lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=L\lim_{x\to x_0} f(x)=L \iff \lim_{x\to x_0^-} f(x)=\lim_{x\to x_0^+} f(x)=L。

なぜ正しいのか?

左の廊下と右の廊下から同じ扉に向かって歩いて同じ部屋に着けるのは、両方の廊下が本当に同じ場所で出会っているときだけである。

証明

(⇒\Rightarrow) lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L と仮定する。与えられた ε>0\varepsilon>0 に対し、ε–δ 定義より 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\varepsilon を満たす δ>0\delta>0 が存在する。

特に x0<x<x0+δx_0<x<x_0+\delta(右側の条件)または x0−δ<x<x0x_0-\delta<x<x_0(左側の条件)のとき自動的に 0<∣x−x0∣<δ0<|x-x_0|<\delta となるので ∣f(x)−L∣<ε|f(x)-L|<\varepsilon。よって左右の片側極限はいずれも LL に等しい。

(⇐\Leftarrow) 逆に、左右の片側極限がともに LL に等しいとする。与えられた ε>0\varepsilon>0 に対し、左極限から (x0−δ1,x0)(x_0-\delta_1,x_0) で成り立つ δ1>0\delta_1>0 が、右極限から (x0,x0+δ2)(x_0,x_0+\delta_2) で成り立つ δ2>0\delta_2>0 が得られる。

δ=min⁡(δ1,δ2)>0\delta=\min(\delta_1,\delta_2)>0 とおけば、0<∣x−x0∣<δ0<|x-x_0|<\delta を満たす任意の xx は (x0−δ1,x0)(x_0-\delta_1,x_0) または (x0,x0+δ2)(x_0,x_0+\delta_2) に属し、いずれの場合も ∣f(x)−L∣<ε|f(x)-L|<\varepsilon が成り立つ。したがって lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L。■\blacksquare

xx をラジアンで測るとき、lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1。

なぜ正しいのか?

単位円において、非常に小さい弧長 xx、縦の弦の長さ sin⁡x\sin x、外側の接線線分 tan⁡x\tan x は、角が 00 に近づくにつれて見分けがつかなくなる。

証明

中心 OO の単位円上で 0<x<π20<x<\frac{\pi}{2} とし、A=(1,0)A=(1,0)、円周上の点 B=(cos⁡x,sin⁡x)B=(\cos x,\sin x)、半直線 OBOB と AA における鉛直な接線との交点 T=(1,tan⁡x)T=(1,\tan x) をとる。

三角形 △OAB\triangle OAB は扇形 OABOAB の真に内側にあり、扇形は直角三角形 △OAT\triangle OAT の真に内側にある。3つの面積を比較すると 12sin⁡x<12x<12tan⁡x\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x が得られる。

(0,π2)(0,\frac{\pi}{2}) では sin⁡x>0\sin x>0 なので、全体に 2sin⁡x\frac{2}{\sin x} を掛けると 1<xsin⁡x<1cos⁡x1 < \frac{x}{\sin x} < \frac{1}{\cos x}。逆数をとると不等号の向きが逆転し cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 となる。

x→0+x\to 0^+ のとき cos⁡x→1\cos x\to 1 だから、はさみうちの定理より lim⁡x→0+sin⁡xx=1\lim_{x\to 0^+}\frac{\sin x}{x}=1。最後に g(x)=sin⁡xxg(x)=\frac{\sin x}{x} は偶関数(g(−x)=sin⁡(−x)−x=−sin⁡x−x=g(x)g(-x)=\frac{\sin(-x)}{-x}=\frac{-\sin x}{-x}=g(x))なので lim⁡x→0−sin⁡xx=1\lim_{x\to 0^-}\frac{\sin x}{x}=1 も成り立ち、合わせて lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 が得られる。■\blacksquare

大学実世界での応用と具体例

関数の極限は物理学において平均変化率を瞬間変化率(速度・加速度・電流)へと変え、幾何光学(カメラレンズ・望遠鏡)や振り子力学における近軸の小角近似 sin⁡θ≈θ\sin\theta\approx\theta を正当化し、さらに lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e を通じて離散複利を連続複利へと結びつける。

例

落下する石の時刻 tt(秒)における位置が s(t)=5t2s(t)=5t^2(メートル)で表される。区間 [2, 2+h][2,\ 2+h] での平均速度の極限を用いて、t=2t=2 秒における瞬間速度を求めよ。

解答

h≠0h\ne 0 として時間区間 [2, 2+h][2,\ 2+h] における平均速度は vavg(h)=s(2+h)−s(2)h=5(2+h)2−5⋅22hv_{\text{avg}}(h)=\frac{s(2+h)-s(2)}{h}=\frac{5(2+h)^2-5\cdot 2^2}{h}。

分子を展開すると:5(4+4h+h2)−20=20h+5h2=h(20+5h)5(4+4h+h^2)-20=20h+5h^2=h(20+5h)。

極限では h≠0h\ne 0 なので hh で約分すると:vavg(h)=20+5hv_{\text{avg}}(h)=20+5h。

h→0h\to 0 の極限をとると:v(2)=lim⁡h→0(20+5h)=20v(2)=\lim_{h\to 0}(20+5h)=20 m/s。極限をとる前に約分することで、不定形 00\frac{0}{0} が解消されることに注目しよう。

例

近軸光学では、レンズ設計者は lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 を根拠にスネルの法則 n1sin⁡θ1=n2sin⁡θ2n_1\sin\theta_1=n_2\sin\theta_2 の sin⁡θ\sin\theta を θ\theta(ラジアン)に置き換える。はさみうちの不等式 cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 を用いて、入射角 θ=0.1\theta=0.1 rad(≈5.7∘\approx 5.7^\circ)の光線に対する相対誤差 θ−sin⁡θsin⁡θ\frac{\theta-\sin\theta}{\sin\theta} が 1%1\% 未満であることを示せ。

解答

0<θ<π20<\theta<\frac{\pi}{2} における cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 の逆数をとると 1<θsin⁡θ<1cos⁡θ1<\frac{\theta}{\sin\theta}<\frac{1}{\cos\theta}。

全体から 11 を引くと:0<θ−sin⁡θsin⁡θ<1cos⁡θ−1=1−cos⁡θcos⁡θ0<\frac{\theta-\sin\theta}{\sin\theta}<\frac{1}{\cos\theta}-1=\frac{1-\cos\theta}{\cos\theta}。

1−cos⁡θ=2sin⁡2(θ/2)<2(θ/2)2=θ221-\cos\theta=2\sin^2(\theta/2)<2(\theta/2)^2=\frac{\theta^2}{2} および cos⁡(0.1)>0.99\cos(0.1)>0.99 を用いると、θ=0.1\theta=0.1 では θ−sin⁡θsin⁡θ<0.0050.99≈0.00505\frac{\theta-\sin\theta}{\sin\theta}<\frac{0.005}{0.99}\approx 0.00505、すなわち約 0.5%<1%0.5\%<1\% となる。

(実際、正確な値は ≈0.167%\approx 0.167\% である。)これこそ、線形化されたレンズの公式 1do+1di=1f\frac{1}{d_o}+\frac{1}{d_i}=\frac{1}{f} が光軸付近の光線に対して極めて高い精度を持つ理由である。

lim⁡x→2x2−4x−2\lim_{x\to 2}\frac{x^2-4}{x-2} を求めよ。

x<1x<1 で f(x)=x+1f(x)=x+1、x≥1x\ge 1 で f(x)=x2f(x)=x^2 とする。lim⁡x→1f(x)\lim_{x\to 1} f(x) はどうなるか。

lim⁡x→0sin⁡(3x)x\lim_{x\to 0}\frac{\sin(3x)}{x}(xx はラジアン)の値はいくつか。

lim⁡x→∞(1+1x)x\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x によって定義される有名な定数はどれか。

参考文献

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity