主题
Search

积分


术语“积分”在数学中可以指代许多不同的概念。最常见的含义是微积分的基本对象,对应于对无穷小片段求和以找到连续区域的内容。“积分”的其他用途包括始终取整数值的值(例如,整嵌入整图),整数形成基本示例的数学对象(例如,整环),以及方程的特定值(例如,积分曲线)。

微积分中,积分是一个数学对象,可以解释为面积面积的推广。积分与导数一起,是微积分的基本对象。积分的其他词语包括反导数和原函数。计算积分的过程称为积分积分的更古老术语是求积法),积分的近似计算称为数值积分

黎曼积分是最简单的积分定义,也是物理学和初等微积分中通常遇到的唯一积分定义。事实上,根据 Jeffreys 和 Jeffreys(1988,第 29 页),“似乎在物理学中,这些方法[即,黎曼积分的推广]适用而黎曼[积分定义]不适用的情况太罕见了,以至于不值得付出额外的努力。”

函数f(x)x上从ab黎曼积分写为

 int_a^bf(x)dx.
(1)

请注意,如果f(x)=1,则积分简写为

 int_a^bdx
(2)

而不是int_a^b1dx

每个积分的定义都基于特定的测度。例如,黎曼积分基于若尔当测度,而勒贝格积分基于勒贝格测度。此外,根据上下文,可以使用各种其他积分符号。例如,可积函数f在集合X上的勒贝格积分,该集合X对于测度mu可测的,通常写为

 int_Xf(x)dmu.
(3)

如果 () 中的集合X是一个区间X=[a,b],则通常采用 (2) 中的“下标-上标”表示法。黎曼积分的另一个推广是斯蒂尔吉斯积分,其中定义在闭区间I=[a,b]上的被积函数f可以对定义在I上的实值有界函数alpha(x)进行积分,其结果形式为

 intf(x)dalpha(x),
(4)

或等效地

 intfdalpha.
(5)

微分几何研究中,符号可能改变的另一种情况出现了,在整个研究中,被积函数f(x)dx被认为更一般的微分k-形式omega=f(x)dx,并且可以使用以下等效符号在集合X上进行积分

 int_Xomega=int_Xfdmu,
(6)

其中mu是上述勒贝格测度。值得注意的是,方程 () 左侧的符号与上面表达式 () 中的符号相似。

(黎曼)积分分为两类:定积分,例如 (5),它们具有上限和下限,以及不定积分,例如

 intf(x)dx,
(7)

它们在书写时没有极限。第一个微积分基本定理允许根据不定积分计算定积分,因为如果F(x)f(x)不定积分,则

 int_a^bf(x)dx=F(b)-F(a).
(8)

更重要的是,第一个微积分基本定理可以更一般地用微分形式(如上面的 () 中)重写,以说明微分形式omega在某个可定向流形Omega边界partialOmega上的积分等于omega外微分domegaOmega内部上的积分,即

 int_(partialOmega)omega=int_Omegadomega.
(9)

以这种形式书写,第一个微积分基本定理被称为斯托克斯定理

由于常数的导数为零,不定积分仅在任意积分常数C的范围内定义,即

 intf(x)dx=F(x)+C.
(10)

Wolfram Research 维护了一个网站 http://integrals.wolfram.com/,可以找到许多常见(和不太常见)函数的不定积分

对积分求导会产生一些有用且强大的恒等式。例如,如果f(x)是连续的,则

 d/(dx)int_a^xf(x^')dx^'=f(x),
(11)

这是第一个微积分基本定理。其他导数-积分恒等式包括

 d/(dx)int_x^bf(x^')dx^'=-f(x),
(12)

莱布尼茨积分法则

 d/(dx)int_a^bf(x,t)dt=int_a^bpartial/(partialx)f(x,t)dt
(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
(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,
(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
(16)
 partial/(partialx_k)(x_jJ_k)=delta_(jk)J_k+x_jpartial/(partialx_k)J_k=J+rdel ·J
(17)
int_VJd^3r=int_Vpartial/(partialx_k)(x_iJ_k)-int_Vrdel ·Jd^3r
(18)
=-int_Vrdel ·Jd^3r
(19)

以及有趣的积分恒等式

 int_(-infty)^inftyF(f(x))dx=int_(-infty)^inftyF(x)dx,
(20)

其中F是任何函数,并且

 f(x)=x-sum_(n=0)^infty(a_n)/(x+b_n)
(21)

只要a_n>=0b_n是实数(Glasser 1983)。

具有有理指数的积分通常可以通过替换u=x^(1/n)来求解,其中n是指数的分母最小公倍数


参见

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, ChristopherWeisstein, Eric W. "积分." 来自 MathWorld--Wolfram Web 资源. https://mathworld.net.cn/Integral.html

主题分类