極限の結果の見方
下の表は、左極限と右極限の数値的な推定値が、両側極限が存在すると報告されるかどうかをどのように決めるかをまとめたものです。
| 左極限と右極限の推定値 | 報告される結果 |
|---|---|
| 数値的な許容誤差内で一致 | 両側極限が存在する。報告される値は両者の平均 |
| 一致しない、またはどちらかの側が未定義 | この点における両側極限は存在しない |
- これは、cの両側から関数を非常に近い点で評価することに基づく数値的な推定であり、代数的な簡約は行いません。そのため、0/0のような典型的な不定形は、代数的な因数分解やロピタルの定理ではなく、数値的な傾向によって解決されます。
- 関数の極限がある点で存在するために、その点x = cで関数が正確に定義されている必要はありません。sin(x)/xはx = 0では未定義ですが、そこでの極限は1です。
- cにおいて除去可能な不連続点、ジャンプ不連続点、垂直漸近線を持つ関数は、通常、左極限と右極限の数値的な推定値の間に不一致を示し、両側極限が存在しないことを正しく示します。
- cの近くで非常に激しく振動する関数（xが0に近づくときのsin(1/x)など）は、誤解を招く数値的な推定値を生み出すことがあります。有限個の近くの点で評価するだけでは、その振動を捉えられないことがあるためです。
- 両側がともに無限大へ発散する場合も、互いの値が一致していても極限は存在しないと表示されます。c = 0 における f(x) = 1/x² が代表例です。そこでの推定値は刻み幅による見かけの値にすぎず（刻み幅を半分にすると値は4倍になります）、有限の両側極限は存在しません。
数値による極限とは？
極限とは、入力がある点cに限りなく近づくときに関数が近づいていく値のことであり、関数がc自体において実際に定義されているかどうかは問いません。この計算機はその値を数値的に推定します。すなわち、cに向かって左側と右側から縮んでいく一連の点で関数を評価し、それぞれの側の数列がどの値に近づいていくかを観察します。式を代数的に簡約したり、ロピタルの定理のような記号的な手法を適用したりすることはありません。
両側極限は、左極限と右極限の数値的な推定値が十分近い一致（小さな数値的許容誤差内）を示す場合にのみ、存在すると報告されます。両者が一致しない場合、例えばジャンプ不連続点や垂直漸近線がある場合には、この計算機は両側極限が存在しないと報告しつつ、左極限と右極限それぞれの値は引き続き表示します。
関数の極限がある点で存在するために、その点x = cで関数が定義されている必要はありません。典型例であるsin(x)/xは、x = 0では（0/0の形で）定義されていませんが、xが0に近づくときの極限はちょうど1です。これは、xがどちらの側から0に近づいても、関数の値が限りなく1に近づいていくためです。
この極限計算機の使い方
- xの関数を入力します。例えば、sin(x)/x、1/x、(x^2-1)/(x-1)などです。乗算は*を使って明示的に書く必要があり、べき乗には^を使います。
- 近づく値c、つまりxが近づいていく点を入力します。この点は、関数自体がそこで定義されている値である必要はありません。
- 左極限（cより小さい側から近づいたときの値）と右極限（cより大きい側から近づいたときの値）を確認します。
- 両側極限が存在するかどうかを確認します。左極限と右極限が一致する場合に報告され、一致しない場合には、この計算機は両側極限が存在しないと報告します。
数値的な極限の推定方法
左極限は、正のステップ幅hを次第に小さくしながらf(c − h)を評価し、hが0に向かって縮んでいくときの傾向を観察することで推定されます。右極限も同様に、f(c + h)を使って推定されます。
両側極限は、左極限と右極限の推定値が小さな数値的許容誤差内で一致する場合にのみ存在すると報告され、その場合の報告値は両者の平均です。一致しない場合、あるいはどちらかの側が未定義の場合には、たとえ片側または両側の一方向の極限が表示されていたとしても、両側極限は存在しないと報告されます。
計算例：f(x) = sin(x)/x、c = 0に近づく場合。sin(0)/0は（0/0の形で）未定義ですが、0に非常に近い両側の点で関数を評価すると、値がどちらの方向からも1に収束していくことがわかります。したがって、lim(x→0) sin(x)/x = 1です。
対照的な例：f(x) = 1/x、c = 0に近づく場合。左側から評価すると値は負の無限大に向かう傾向を示し、右側から評価すると値は正の無限大に向かう傾向を示します。両側が一致しないため、x = 0における両側極限は存在しません。
よくある間違い
- ロピタルの定理や代数的な因数分解による記号的な導出を期待してしまうこと。この計算機は、代数的な操作ではなく、cに非常に近い点で関数を評価することによって数値的に極限を推定します。
- 極限が存在するためには関数がx = cで定義されていなければならないと思い込んでしまうこと。極限は関数が近づいていく値を表すものであり、x = 0におけるsin(x)/xのように、f(c)自体が未定義であっても存在しうるものです。
- 両側極限が存在しない場合でも片側の極限は存在しうることを見落としてしまうこと。両側極限が存在しないと報告された場合は、左極限と右極限それぞれの結果を確認してください。
- xが0に近づくときのsin(1/x)のように、cの近くで激しく振動する関数を入力してしまうこと。有限個の点での数値的な評価は、真の数学的な挙動について誤解を招くことがあります。
- 「存在しない」という結果を計算エラーだと読み違えてしまうこと。左極限と右極限の挙動がその点で実際に一致しない場合、これは妥当で正しい数学的な結果です。
よくある質問
この計算機は、ロピタルの定理を使うような記号的な方法で極限を解いてくれますか？
いいえ。この計算機は、近づく値cに非常に近い一連の点で両側から関数を評価し、その傾向を観察することで、数値的に極限を推定します。代数的な簡約やロピタルの定理のような記号的な手法は使いません。
関数がその点で未定義であっても、極限は存在しますか？
はい。極限は、関数がその点で実際に取る値ではなく、近づいていく値を表すものです。典型例はsin(x)/xで、x = 0では（0/0の形で）未定義ですが、xが0に近づくときの極限はちょうど1です。
「極限が存在しない（両側）」とはどういう意味ですか？
左側と右側から近づいたときの数値的な推定値が十分に近い一致を示さないことを意味します。これは、ジャンプ不連続点、垂直漸近線、あるいはその点付近での振動の典型的なサインです。それでも、左極限と右極限それぞれの値は引き続き報告されるため、それぞれの方向から関数がどう振る舞うかを確認できます。
なぜ左極限と右極限が一致しないことがあるのですか？
これは通常、ジャンプ不連続点（関数の値が急激に飛ぶ場合）、垂直漸近線（関数が際限なく増大し、しばしば両側で逆向きの無限大に向かう場合。x = 0における1/xなど）、あるいは近づく点付近での激しい振動が原因で起こります。
数値的に推定された極限はどのくらい正確ですか？
近づく点で真の極限を持つ滑らかな関数については、数値的な推定値は非常に正確です。近づく点付近で激しく振動する関数や、cに非常に近い点での評価が数値的に不安定な関数では、精度が低下することがあります。
式にはどのような関数と演算子を使えますか？
sin、cos、tan、asin、acos、atan、sqrt、cbrt、abs、ln（自然対数）、log（底10の対数）、log2（底2の対数）、exp、floor、ceil、round、min、max。定数pi、e、tau。演算子+ − * / % ^。そして変数xで、三角関数はラジアンで評価されます。
参考文献
- Stewart J. Calculus. Cengage Learning (the formal and informal definitions of a limit, one-sided limits).
- Burden RL, Faires JD. Numerical Analysis. Cengage Learning (numerical approximation methods).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).