符号积分

微积分学中，符号积分指找到给定函数f(x)的积分，即找到可微函数F(x)使

{\frac {dF}{dx}}=f(x).

也可以表示为

F(x)=\int f(x)\,dx.

讨论

“符号”问题异于数值问题，后者求给定输入时的F，而非求F的一般公式。

早在数字计算机出现之前，人们就认为这两个问题都具有重要意义，但现在则一般认为属于计算机科学范畴，因为计算机目前最常用于求解个别特例。

求表达式的微分很简单，很容易构建算法；求积分则困难得多。许多相对简单的表达式的积分无法表示为解析解。参见不定积分与非初等积分。

有一种称为Risch算法的程序，能确定初等函数（由有限多指数、对数、常数、方根通过有限次复合、4种初等运算组成）的积分是否初等，如果是，则可以返回待求积分。Risch算法的最初形式并不适合直接实现，其完整运算需要很长时间。它最早是在ruduce中实现了纯超越函数，James H. Davenport在reduce中解决了纯代数函数，Manuel Bronstein解决了一般情况，并在Axiom中实现了几乎全部算法。不过迄今为止，还没有一种Risch算法程序能处理其中所有特例与分支。^[1]^[2]

然而Risch算法只能用于不定积分，而物理学家、理论化学家和工程师更关注定积分，通常与拉普拉斯变换、傅里叶变换与梅林变换有关。由于缺乏通用算法，计算机代数系统的开发人员采用了基于模式匹配和特殊函数（尤其是不完全Γ函数）的启发式算法。^[3]虽然这种方法是启发式，而非算法式，但仍是解决实际工程应用遇到的许多定积分的有效方法。诸如Macsyma的早起系统有些定积分与表中的特殊函数有关，但这种方法设计特殊函数及其参数的微分、变量变换、模式匹配及其他操作，由Maple开发者首创^[4]，后来被Mathematica、Axiom、MuPAD等系统效仿。

例子

例如：

\int x^{2}\,dx={\frac {x^{3}}{3}}+C

是不定积分的符号结果（C是积分常数），

\int _{-1}^{1}x^{2}\,dx=\left[{\frac {x^{3}}{3}}\right]_{-1}^{1}={\frac {1^{3}}{3}}-{\frac {(-1)^{3}}{3}}={\frac {2}{3}}

是定积分的符号结果，而

\int _{-1}^{1}x^{2}\,dx\approx 0.6667

是同一定积分的数值结果。

另见

参考文献

^ Bronstein, Manuel. Manuel Bronstein on Axiom's Integration Capabilities. groups.google.com. 2003-09-05 [2023-02-10]. （原始内容存档于2023-02-10）.
^ integration - Does there exist a complete implementation of the Risch algorithm?. MathOverflow. 2020-10-15 [2023-02-10]. （原始内容存档于2023-08-21）（英语）.
^ K.O Geddes, M.L. Glasser, R.A. Moore and T.C. Scott, Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions, AAECC (Applicable Algebra in Engineering, Communication and Computing), vol. 1, (1990), pp. 149–165, [1]
^ K.O. Geddes and T.C. Scott, Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms, Proceedings of the 1989 Computers and Mathematics conference, (held at MIT June 12, 1989), edited by E. Kaltofen and S.M. Watt, Springer-Verlag, New York, (1989), pp. 192–201. [2]
^ http://algo.inria.fr/libraries/ （页面存档备份，存于互联网档案馆） algolib
^ http://ddmf.msr-inria.inria.fr （页面存档备份，存于互联网档案馆） Dynamic Dictionary of Mathematical functions

Bronstein, Manuel, Symbolic Integration 1 (transcendental functions) 2, Springer-Verlag, 1997, ISBN 3-540-60521-5
Moses, Joel, Symbolic integration: the stormy decade, Proceedings of the Second ACM Symposium on Symbolic and Algebraic Manipulation (Los Angeles, California), March 23–25, 1971: 427–440

外部链接

Bhatt, Bhuvanesh. Risch Algorithm. MathWorld.
Wolfram Integrator — Free online symbolic integration with Mathematica

[1] Bronstein, Manuel. Manuel Bronstein on Axiom's Integration Capabilities. groups.google.com. 2003-09-05 [2023-02-10]. （原始内容存档于2023-02-10）.

[2] tegration - Does there exist a complete implementation of the Risch algorithm?. MathOverflow. 2020-10-15 [2023-02-10]. （原始内容存档于2023-08-21）（英语）.

[3] K.O Geddes, M.L. Glasser, R.A. Moore and T.C. Scott, Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions, AAECC (Applicable Algebra in Engineering, Communication and Computing), vol. 1, (1990), pp. 149–165, [1]

[4] K.O. Geddes and T.C. Scott, Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms, Proceedings of the 1989 Computers and Mathematics conference, (held at MIT June 12, 1989), edited by E. Kaltofen and S.M. Watt, Springer-Verlag, New York, (1989), pp. 192–201. [2]

[5] ttp://algo.inria.fr/libraries/ （页面存档备份，存于互联网档案馆） algolib

[6] ttp://ddmf.msr-inria.inria.fr （页面存档备份，存于互联网档案馆） Dynamic Dictionary of Mathematical functions

[1]

[2]

[3]

[4]

[5]

[6]

讨论

最新进展

例子

另见

参考文献

外部链接