積分の結果の見方
下の表は、正確な値がわかっているいくつかの標準的な定積分を示しており、この数値計算機が単純な関数に対してどう振る舞うかを確認するのに役立ちます。
| 関数f(x) | 区間[a, b] | 正確な積分値 |
|---|---|---|
| x | [0, 1] | 0.5 |
| x² | [0, 1] | 0.33333333（1/3） |
| 1/x | [1, e] | 1 |
| sin(x) | [0, pi] | 2 |
- この計算機は、定積分の数値近似を返すものであり、原始関数の公式F(x)ではありません。不定積分（一般的な公式に定数Cを加えたものを求めること）は、このツールが行わない別の記号的な演算です。
- 積分区間を逆にすると結果の符号が反転します：∫ᵦᵃ f(x) dx = −∫ₐᵇ f(x) dx。これは定積分の標準的な性質であり、エラーではありません。
- [a, b]の内部に特異点や不連続点をまたいで積分すること（例えば、x = 0をまたぐ1/xや、x = π/2をまたぐtan(x)）は、不正確な結果や結果なしにつながることがあります。シンプソン法は、区間全体にわたって被積分関数が連続で扱いやすいことを前提としているためです。
- 有限区間上の滑らかな関数については精度は非常に高くなりますが、激しく振動する関数やほぼ特異な被積分関数は、どのような数値計算手法にとっても正確に収束させるのが難しい場合があります。
数値による定積分とは？
定積分∫ₐᵇ f(x) dxは、区間aからbにおいて関数のグラフとx軸の間にある符号つきの正味の面積を表します。f(x)が正である部分は正の面積として、負である部分は負の面積として数えられます。この計算機は、記号的な原始関数F(x)を導出することなく、この数値を直接計算します。「x³/3 + C」のような公式を返すことは決してなく、入力された積分区間ちょうどに対応する積分の単一の数値だけを返します。
使われる手法は適応型合成シンプソン法です。区間[a, b]は多数の小区間に分割され、隣り合う小区間の組ごとに放物線の弧が当てはめられ、これらの放物線の下の面積が合計されます。分割数は繰り返し2倍にされ、連続する推定値が十分に厳しい数値的な許容誤差内で一致するまで続けられます。これにより、滑らかで連続な関数について高い精度が得られます。
この計算機はまた、[a, b]上のfの平均値も報告します。これは積分の平均値の定理により、積分を区間の幅で割ったもの、(1 / (b − a)) × ∫ₐᵇ f(x) dxとして定義されます。これは、[a, b]上の一定の高さの長方形が、この積分と同じ面積を持つために必要な高さです。
この積分計算機の使い方
- xの関数を入力します。例えば、x^2、sin(x)、exp(-x^2)などです。乗算は*を使って明示的に書く必要があり、べき乗には^を使います。
- 区間の下限aと上限bを入力します。
- bがaより小さい場合、この計算機はbからaまでの積分の符号を反転させた値を返します。これは、積分区間が逆になった場合の標準的な符号の慣例です。
- 定積分の値を確認し、aとbが異なる場合には、その区間における関数の平均値も確認します。
数値積分を支える公式
合成シンプソン法は、∫ₐᵇ f(x) dx ≈ (h/3) × [f(x₀) + 4f(x₁) + 2f(x₂) + 4f(x₃) + … + 4f(xₙ₋₁) + f(xₙ)]として近似します。ここで区間はn個の等しい幅h = (b − a)/nの小区間に分割され、係数は端点の間で4、2、4、2、…と交互に変わります。この計算機はnを繰り返し2倍にし、連続する推定値が収束した時点で停止するため、滑らかな関数について高い精度が保証されます。
[a, b]上のfの平均値は、積分の平均値の定理から導かれます：f_avg = (1 / (b − a)) × ∫ₐᵇ f(x) dx。
計算例：f(x) = x²、a = 0、b = 1。∫₀¹ x² dx = 1/3 ≈ 0.33333333。区間の幅b − a = 1なので、平均値は積分値そのもの、1/3に等しくなります。
よくある間違い
- 「x³/3 + C」のような記号的な原始関数を期待してしまうこと。この計算機は、入力された積分区間ちょうどに対応する定積分の数値だけを返し、一般的な不定積分の公式は返しません。
- 特異点や不連続点をまたいで積分してしまうこと。例えば、x = 0をまたぐ1/xや、x = π/2をまたぐtan(x)です。この数値計算手法は被積分関数が連続であることを前提としており、不正確または結果なしにつながることがあります。
- aとbを入れ替えたことによる符号の反転をエラーだと捉えてしまうこと。∫ᵦᵃ f(x) dx = −∫ₐᵇ f(x) dxは、定積分の標準的で想定内の性質です。
- 単一の数値である定積分と、定数Cだけ異なる関数の族である不定積分（原始関数）を混同すること。
- 数値による結果が大きければ、常に大きな正の面積を意味すると思い込んでしまうこと。定積分は符号つき（正味）の面積であるため、f(x)が負である部分は合計に加算されるのではなく、差し引かれます。
よくある質問
この計算機は、x³/3 + Cのような原始関数を教えてくれますか？
いいえ。この計算機は、入力した特定の積分区間aとbに対する定積分の数値だけを、数値計算手法によって求めます。記号的な積分は行わず、一般的な原始関数の公式も返しません。
この積分計算機はどのような数値計算手法を使っていますか？
適応型合成シンプソン法です。曲線の下の面積を、小区間ごとに当てはめた放物線の弧によって近似し、それらの面積を合計します。推定値が十分に厳しい数値的な許容誤差内に収束するまで、小区間の数を細かくしていきます。
上限を下限より小さく入力するとどうなりますか？
この計算機は、増加する順に並べた積分区間で計算した積分の符号を反転させた値を返します。これは、∫ᵦᵃ f(x) dx = −∫ₐᵇ f(x) dxという標準的な慣例に従っています。
平均値の結果は何を意味しますか？
[a, b]上のfの平均値は、積分を区間の幅で割ったもの、(1 / (b − a)) × ∫ₐᵇ f(x) dxです。これは、曲線の下の領域と同じ面積を持つために、[a, b]の上に必要な長方形の高さに相当します。
この計算機は、区間内に不連続点がある関数にも対応できますか？
確実には対応できません。シンプソン法は、被積分関数が[a, b]全体で連続かつ扱いやすいことを前提としています。x = 0をまたぐ1/xのような特異点をまたいで積分すると、不正確な結果や結果なしにつながることがあります。
どのような関数と演算子に対応していますか？
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 definite integral, Simpson's rule, and the mean value theorem for integrals).
- Burden RL, Faires JD. Numerical Analysis. Cengage Learning (composite Simpson's rule and its error bounds).
- Atkinson KE. An Introduction to Numerical Analysis. Wiley (numerical integration methods).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods — quadrature. dlmf.nist.gov.