术语“积分”在数学中可以指代许多不同的概念。最常见的含义是微积分的基本对象,对应于对无穷小片段求和以找到连续区域的内容。“积分”的其他用途包括始终取整数值的值(例如,整嵌入,整图),整数形成基本示例的数学对象(例如,整环),以及方程的特定值(例如,积分曲线)。
在微积分中,积分是一个数学对象,可以解释为面积或面积的推广。积分与导数一起,是微积分的基本对象。积分的其他词语包括反导数和原函数。计算积分的过程称为积分(积分的更古老术语是求积法),积分的近似计算称为数值积分。
黎曼积分是最简单的积分定义,也是物理学和初等微积分中通常遇到的唯一积分定义。事实上,根据 Jeffreys 和 Jeffreys(1988,第 29 页),“似乎在物理学中,这些方法[即,黎曼积分的推广]适用而黎曼[积分定义]不适用的情况太罕见了,以至于不值得付出额外的努力。”
函数
在
上从
到
的黎曼积分写为
![int_a^bf(x)dx.](/images/equations/Integral/NumberedEquation1.svg) |
(1)
|
请注意,如果
,则积分简写为
![int_a^bdx](/images/equations/Integral/NumberedEquation2.svg) |
(2)
|
而不是
。
每个积分的定义都基于特定的测度。例如,黎曼积分基于若尔当测度,而勒贝格积分基于勒贝格测度。此外,根据上下文,可以使用各种其他积分符号。例如,可积函数
在集合
上的勒贝格积分,该集合
对于测度
是可测的,通常写为
![int_Xf(x)dmu.](/images/equations/Integral/NumberedEquation3.svg) |
(3)
|
如果 () 中的集合
是一个区间
,则通常采用 (2) 中的“下标-上标”表示法。黎曼积分的另一个推广是斯蒂尔吉斯积分,其中定义在闭区间
上的被积函数
可以对定义在
上的实值有界函数
进行积分,其结果形式为
![intf(x)dalpha(x),](/images/equations/Integral/NumberedEquation4.svg) |
(4)
|
或等效地
![intfdalpha.](/images/equations/Integral/NumberedEquation5.svg) |
(5)
|
在微分几何研究中,符号可能改变的另一种情况出现了,在整个研究中,被积函数
被认为更一般的微分k-形式
,并且可以使用以下等效符号在集合
上进行积分
![int_Xomega=int_Xfdmu,](/images/equations/Integral/NumberedEquation6.svg) |
(6)
|
其中
是上述勒贝格测度。值得注意的是,方程 () 左侧的符号与上面表达式 () 中的符号相似。
(黎曼)积分分为两类:定积分,例如 (5),它们具有上限和下限,以及不定积分,例如
![intf(x)dx,](/images/equations/Integral/NumberedEquation7.svg) |
(7)
|
它们在书写时没有极限。第一个微积分基本定理允许根据不定积分计算定积分,因为如果
是
的不定积分,则
![int_a^bf(x)dx=F(b)-F(a).](/images/equations/Integral/NumberedEquation8.svg) |
(8)
|
更重要的是,第一个微积分基本定理可以更一般地用微分形式(如上面的 () 中)重写,以说明微分形式
在某个可定向流形
的边界
上的积分等于
的外微分
在
内部上的积分,即
![int_(partialOmega)omega=int_Omegadomega.](/images/equations/Integral/NumberedEquation9.svg) |
(9)
|
以这种形式书写,第一个微积分基本定理被称为斯托克斯定理。
由于常数的导数为零,不定积分仅在任意积分常数
的范围内定义,即
![intf(x)dx=F(x)+C.](/images/equations/Integral/NumberedEquation10.svg) |
(10)
|
Wolfram Research 维护了一个网站 http://integrals.wolfram.com/,可以找到许多常见(和不太常见)函数的不定积分。
对积分求导会产生一些有用且强大的恒等式。例如,如果
是连续的,则
![d/(dx)int_a^xf(x^')dx^'=f(x),](/images/equations/Integral/NumberedEquation11.svg) |
(11)
|
这是第一个微积分基本定理。其他导数-积分恒等式包括
![d/(dx)int_x^bf(x^')dx^'=-f(x),](/images/equations/Integral/NumberedEquation12.svg) |
(12)
|
莱布尼茨积分法则
![d/(dx)int_a^bf(x,t)dt=int_a^bpartial/(partialx)f(x,t)dt](/images/equations/Integral/NumberedEquation13.svg) |
(13)
|
(Kaplan 1992,第 275 页),其推广形式
![d/(dx)int_(u(x))^(v(x))f(x,t)dt=v^'(x)f(x,v(x))-u^'(x)f(x,u(x))+int_(u(x))^(v(x))partial/(partialx)f(x,t)dt](/images/equations/Integral/NumberedEquation14.svg) |
(14)
|
(Kaplan 1992,第 258 页),以及
![d/(dx)int_a^xf(x,t)dt=1/(x-a)int_a^x[(x-a)partial/(partialx)f(x,t)+(t-a)partial/(partialt)f(x,t)+f(x,t)]dt,](/images/equations/Integral/NumberedEquation15.svg) |
(15)
|
通过在 (15) 的左侧应用 (14) 并使用分部积分可以看出。
其他积分恒等式包括
![int_0^xdt_nint_0^(t_n)dt_(n-1)...int_0^(t_3)dt_2int_0^(t_2)f(t_1)dt_1=1/((n-1)!)int_0^x(x-t)^(n-1)f(t)dt](/images/equations/Integral/NumberedEquation16.svg) |
(16)
|
![partial/(partialx_k)(x_jJ_k)=delta_(jk)J_k+x_jpartial/(partialx_k)J_k=J+rdel ·J](/images/equations/Integral/NumberedEquation17.svg) |
(17)
|
以及有趣的积分恒等式
![int_(-infty)^inftyF(f(x))dx=int_(-infty)^inftyF(x)dx,](/images/equations/Integral/NumberedEquation18.svg) |
(20)
|
其中
是任何函数,并且
![f(x)=x-sum_(n=0)^infty(a_n)/(x+b_n)](/images/equations/Integral/NumberedEquation19.svg) |
(21)
|
只要
且
是实数(Glasser 1983)。
具有有理指数的积分通常可以通过替换
来求解,其中
是指数的分母的最小公倍数。
参见
A-可积,
阿贝尔积分,
微积分,
切比雪夫-高斯求积,
切比雪夫求积,
达布积分,
定积分,
邓joy积分,
导数,
微分几何,
微分k-形式,
双指数积分,
二重积分,
欧拉积分,
形式积分,
高斯求积基本定理,
高斯-雅可比机械求积,
高斯求积,
哈尔积分,
埃尔米特-高斯求积,
HK积分,
不定积分,
积分学,
积分,
雅可比-高斯求积,
拉盖尔-高斯求积,
勒贝格积分,
勒贝格-斯蒂尔吉斯积分,
勒让德-高斯求积,
莱布尼茨积分法则,
洛巴托求积,
多重积分,
嵌套函数,
牛顿-科茨公式,
数值积分,
佩龙积分,
求积法,
拉道求积,
递归单调稳定求积,
累次积分,
龙贝格积分,
黎曼积分,
奇异积分,
斯蒂尔吉斯积分,
斯托克斯定理,
三重积分 在 MathWorld 课堂中探索此主题
此条目的部分内容由 Christopher Stover 贡献
使用 Wolfram|Alpha 探索
参考文献
Beyer, W. H. "Integrals." CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, pp. 233-296, 1987.Boros, G. and Moll, V. Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals. Cambridge, England: Cambridge University Press, 2004.Bronstein, M. Symbolic Integration I: Transcendental Functions. New York: Springer-Verlag, 1996.Dubuque, W. G. "Re: Integrals done free on the Web." [email protected] posting, Sept. 24, 1996.Glasser, M. L. "A Remarkable Property of Definite Integrals." Math. Comput. 40, 561-563, 1983.Gordon, R. A. The Integrals of Lebesgue, Denjoy, Perron, and Henstock. Providence, RI: Amer. Math. Soc., 1994.Gradshteyn, I. S. and Ryzhik, I. M. Tables of Integrals, Series, and Products, 6th ed. San Diego, CA: Academic Press, 2000.Jeffreys, H. and Jeffreys, B. S. Methods of Mathematical Physics, 3rd ed. Cambridge, England: Cambridge University Press, p. 29, 1988.Kaplan, W. Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, 1992.Piessens, R.; de Doncker, E.; Uberhuber, C. W.; and Kahaner, D. K. QUADPACK: A Subroutine Package for Automatic Integration. New York: Springer-Verlag, 1983.Ritt, J. F. Integration in Finite Terms: Liouville's Theory of Elementary Methods. New York: Columbia University Press, p. 37, 1948.Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 145, 1993.Wolfram Research. "The Integrator." http://integrals.wolfram.com/.在 Wolfram|Alpha 中被引用
积分
以此引用
Stover, Christopher 和 Weisstein, Eric W. "积分." 来自 MathWorld--Wolfram Web 资源. https://mathworld.net.cn/Integral.html
主题分类