查看“︁积分”︁的源代码

'''积分'''（integration）把许多小部分的贡献累积为一个整体。定积分用分割、求和与极限定义总量；不定积分表示一个函数的全部原函数。下面先从一个可以亲手计算的面积开始，再说明二者怎样联系。

== 用矩形量出一块曲边面积 ==
求曲线 <math>y=x^2</math>、横轴以及直线 <math>x=0,x=1</math> 围出的面积。长方形的面积会算，曲边区域却没有固定高度。把横向区间分成四段，每段宽 <math>1/4</math>，用右端点的函数值作高度，得到近似值
<math display="block">\frac14\left[\left(\frac14\right)^2+\left(\frac24\right)^2+\left(\frac34\right)^2+1^2\right]=\frac{1+4+9+16}{64}=\frac{15}{32}.</math>
图中的四个矩形就是这次计算。平方函数在此区间递增，所以矩形顶边都不低于对应曲线，这个数偏大。若改用左端点高度，得到 <math>(0+1+4+9)/64=7/32</math>，它偏小。

[[File:Gezhi-integral-sums-theme.svg|frame|center|alt=在零到一区间以四个右端点矩形近似平方函数下面的面积|四个右端点矩形总面积为15/32；缩小各段宽度，可以缩小高估与低估之间的差。]]

分成 <math>n</math> 段时，每段宽 <math>1/n</math>，第 <math>k</math> 个右端点为 <math>k/n</math>，所以右端点和为
<math display="block">U_n=\sum_{k=1}^n\left(\frac{k}{n}\right)^2\frac1n=\frac{1^2+2^2+\cdots+n^2}{n^3}=\frac13+\frac1{2n}+\frac1{6n^2}.</math>
这里用了平方和公式 <math>\sum_{k=1}^n k^2=n(n+1)(2n+1)/6</math>，它可由逐项相加 <math>(k+1)^3-k^3=3k^2+3k+1</math> 并使用 <math>\sum k=n(n+1)/2</math> 得出。左端点和少了最后一项 <math>1/n</math>，因此
<math display="block">L_n=\frac13-\frac1{2n}+\frac1{6n^2},\qquad U_n-L_n=\frac1n.</math>
上下两种近似都趋于 <math>1/3</math>，夹在中间的任何代表点和也趋于同一个数。这给出了面积的候选值。

下图把2、4、8等分放在同一尺度上。绿色矩形在曲线下方，金色矩形覆盖曲线；两套矩形总面积之差依次为 <math>1/2,1/4,1/8</math>。图示的是高估与低估之间的差在缩小，面积值则由上面的和式确定。

[[File:Gezhi-analysis-integral-refinement.svg|frame|center|alt=平方函数下面积以二四八等分分别画出上下矩形，列出对应上下和，差依次缩小为二分之一四分之一八分之一|增加分段时，两套矩形共同夹住同一块曲边区域。]]

== 从等分矩形到定积分的定义 ==
等分和为计算提供方便，定义则要涵盖不等分。设有界实函数 <math>f</math> 定义在有限区间 <math>[a,b]</math>，其中 <math>a<b</math>。取分点
<math display="block">a=x_0<x_1<\cdots<x_n=b,\qquad\Delta x_i=x_i-x_{i-1},</math>
在第 <math>i</math> 段内选一个代表点 <math>\xi_i</math>，形成'''黎曼和'''
<math display="block">S=\sum_{i=1}^n f(\xi_i)\Delta x_i.</math>
每一项都是“高度乘宽度”。记最大段长为 <math>\|P\|=\max_i\Delta x_i</math>。如果存在数 <math>I</math>，对每个 <math>\varepsilon>0</math> 都能选出 <math>\delta>0</math>，使所有 <math>\|P\|<\delta</math> 的划分、所有代表点选择都满足 <math>|S-I|<\varepsilon</math>，就称函数黎曼可积，记
<math display="block">I=\int_a^b f(x)\,dx.</math>
最大段长变小，意味着每一部分都被细分；只增加分段总数却一直留着一段很宽的区间，不足以达到这个要求。[https://openstax.org/books/calculus-volume-1/pages/5-2-the-definite-integral OpenStax §5.2]介绍了这种求和定义。

回到平方函数，任一小段的最大、最小高度差为 <math>x_i^2-x_{i-1}^2=(x_i+x_{i-1})\Delta x_i\le2\Delta x_i</math>。全部高估与低估之间的差因而不超过
<math display="block">2\sum_i(\Delta x_i)^2\le2\|P\|\sum_i\Delta x_i=2\|P\|.</math>
只要最大段长足够小，上下和就能任意接近。由下节的上下和判据，平方函数确实可积；它的积分须等于先前等分和的极限，故 <math>\int_0^1x^2\,dx=1/3</math>。

同样的和式也可描述流量：若高度是每分钟多少升，宽度是持续多少分钟，每项就是这段进入的升数。<math>dx</math> 指明累积所针对的变量；积分的单位是函数值的单位乘以自变量的单位。

== 上下和与不可积的例子 ==
对有界函数，在每个小区间取下确界 <math>m_i</math> 和上确界 <math>M_i</math>，形成下和与上和。黎曼可积的等价判据是：对任意正误差，都存在一个划分，使 <math>\sum_i(M_i-m_i)\Delta x_i</math> 小于该误差。上下和把“所有代表点”变成两个可比较的极端。

闭区间上的连续函数具有一致连续性：同一个足够小的距离限制，可以让区间内任意两点的函数值相差小于给定误差。具体地，令每段振幅小于 <math>\varepsilon/[2(b-a)]</math>，则上下和之差不超过 <math>\sum_i\varepsilon\Delta x_i/[2(b-a)]=\varepsilon/2<\varepsilon</math>。因此连续函数黎曼可积。有界且除有限个点外连续的函数仍然黎曼可积；特别地，有限个跳跃不破坏可积性：可将跳跃点附近区间取得很窄，使它们对总误差的贡献受控，而其余部分用连续性处理。

相反，在 <math>[0,1]</math> 上有理数处取 1、无理数处取 0 的函数不可黎曼积。任意非退化小区间都同时含有两类点，因此每段下确界为 0、上确界为 1；无论怎样细分，下和恒为 0，上和恒为 1。这是有界但不可黎曼积的明确反例。

== 定积分与原函数怎样连接 ==
如果 <math>f</math> 在 <math>[a,b]</math> 连续，定义累计函数 <math>A(x)=\int_a^x f(t)\,dt</math>。对内部点 <math>x</math>，其差商为小区间上的平均值：
<math display="block">\frac{A(x+h)-A(x)}h-f(x)=\frac1h\int_x^{x+h}[f(t)-f(x)]\,dt.</math>
连续性保证当 <math>h</math> 足够小时，被积差值在该小区间上一致小于任意给定误差；积分绝对值除以 <math>|h|</math> 后仍被同一误差控制。因此 <math>A'(x)=f(x)</math>。这一步是微积分基本定理的一部分。

若 <math>F</math> 在 <math>[a,b]</math> 连续，并在 <math>(a,b)</math> 满足 <math>F'=f</math>，则 <math>(F-A)'=0</math>，由中值定理，差值在区间上为常数。比较端点便得
<math display="block">\int_a^b f(x)\,dx=F(b)-F(a).</math>
这也重新计算了开头的面积：<math>F(x)=x^3/3</math> 的导数是 <math>x^2</math>，因此 <math>\int_0^1x^2\,dx=F(1)-F(0)=1/3</math>，与矩形求和一致。求和建立了积分，原函数使计算简便；基本定理的完整证明见[[微积分]]。

不定积分 <math>\int f(x)\,dx=F(x)+C</math> 表示在一个区间上的全部原函数；两个原函数的差为常数，来自上述中值定理。定积分已经被端点固定为一个数，不再附加任意的 <math>C</math>。如果定义域不连通，各个区间的积分常数可以不同，不能强行用同一个常数跨过奇点。

== 当累积量有正负方向 ==
取教学运动模型 <math>v(t)=t-2</math> 米每秒，时间范围 <math>0\le t\le3</math> 秒。速度在前两秒为负，之后为正。位移为
<math display="block">\int_0^3(t-2)\,dt=\left[\frac{t^2}{2}-2t\right]_0^3=-\frac32\,\mathrm{m}.</math>
路程则要在变号点拆开：
<math display="block">\int_0^2(2-t)\,dt+\int_2^3(t-2)\,dt=2+\frac12=\frac52\,\mathrm{m}.</math>
物体先向负方向移动 2 米，再返回半米，最终位置比起点低 1.5 米，而总共走了 2.5 米。这里的负号是方向信息，并不是“负的几何长度”。

== 换元与分部积分：把求导规则反向使用 ==
换元公式来自链式法则。设 <math>a<b</math>，<math>g</math> 在 <math>[a,b]</math> 上连续可导，<math>f</math> 在包含 <math>g([a,b])</math> 的区间上连续；令 <math>u=g(x)</math>，则
<math display="block">\int_a^b f(g(x))g'(x)\,dx=\int_{g(a)}^{g(b)}f(u)\,du.</math>
这里不要求 <math>g</math> 单调；右侧按有向上下限理解。设 <math>F'=f</math>，链式法则给出 <math>(F(g(x)))'=f(g(x))g'(x)</math>；两边积分得到 <math>F(g(b))-F(g(a))</math>，正是右侧积分的端点差。
例如 <math>\int_0^1 2xe^{x^2}\,dx</math>，取 <math>u=x^2</math>，微分因子为 <math>du=2x\,dx</math>，上下限从 0、1 变到 0、1，得到 <math>\int_0^1e^u\,du=e-1</math>。其中 <math>2x</math> 正是内层平方函数的导数。也可直接验证 <math>(e^{x^2})'=2xe^{x^2}</math>，再代入端点。

乘积求导公式积分后给出分部积分。在 <math>u,v</math> 连续可导的区间上，
<math display="block">\int_a^b u(x)v'(x)\,dx=[u(x)v(x)]_a^b-\int_a^b u'(x)v(x)\,dx.</math>
以 <math>\int_0^1 xe^x\,dx</math> 为例，令 <math>u=x,v'=e^x</math>，则原积分等于 <math>[xe^x]_0^1-\int_0^1e^x\,dx=e-(e-1)=1</math>。选择哪一项去求导，目标是让剩下的积分更简单，而不是为了凑出形式。

== 反常积分：端点有问题就先截断 ==
黎曼积分的上述定义要求有限区间和有界函数。若区间无限或函数在端点无界，需先取正常积分，再研究截断参数的极限。对于 <math>p\ne1</math>，
<math display="block">\int_\varepsilon^1 x^{-p}\,dx=\frac{1-\varepsilon^{1-p}}{1-p}.</math>
因此当 <math>\varepsilon\to0^+</math> 时，该积分仅在 <math>p<1</math> 收敛，值为 <math>1/(1-p)</math>；当 <math>p=1</math> 时得到 <math>-\log\varepsilon</math>，发散。于是 <math>1/\sqrt{x}</math> 虽在 0 无界，反常积分仍为 2；<math>1/x</math> 则不行。

内部奇点必须从两边分别检查。例如 <math>\int_{-1}^1 dx/x</math> 的普通反常积分不存在，因为左右积分分别发散。对称截断 <math>\int_{-1}^{-\varepsilon}dx/x+\int_\varepsilon^1dx/x=0</math> 定义的是柯西主值，而非通常的收敛积分。若未经说明便用“正负抵消”给出 0，就把两个不同概念混在了一起。


== 线性、区间可加与平均值 ==
若 <math>f,g</math> 在同一区间黎曼可积，常数 <math>\alpha,\beta</math> 满足
<math display="block">\int_a^b(\alpha f+\beta g)=\alpha\int_a^b f+\beta\int_a^b g.</math>
理由可以从有限求和开始理解：在同一划分、同一组代表点下，和式本身就具有这个等式；各积分存在后再取极限即可。把区间在某点切成两段，两个积分也能相加为原区间的积分。约定交换上下限改变符号、两端相等时积分为零，就使区间可加性能够统一处理不同方向。

这些性质允许把复杂信号分解为容易处理的部分，但积分并不把所有运算都逐项穿过。例如一般情况下，乘积的积分不等于积分的乘积。在 <math>[0,1]</math> 取两个因子都为 <math>x</math>，乘积积分为 <math>1/3</math>，各自积分相乘则为 <math>1/4</math>；两者表达的累计关系不同。

若函数可积，区间平均值定义为 <math>(b-a)^{-1}\int_a^b f</math>。当函数连续时，存在一点使函数值等于这个平均数。证明可以先用最小值、最大值夹住积分平均数，再用介值定理找出对应的点。连续性在这里保障中间值能够被取到；一般可积函数不一定真正取到自身平均值，例如取值仅为 0 和 1、两种状态各持续半个区间的阶跃函数，平均值是二分之一，却从未取这个值。

在非均匀分布的场景中，平均还需要权重。若非负权重 <math>w</math> 的积分为 1，加权平均为 <math>\int fw</math>。概率密度对应这种归一化权重，因而把积分与[[期望]]联系起来。没有归一化就只能称加权总和，不能省略除以总权重的步骤。

== 可积不代表每一点都能恢复原来的高度 ==
一个有界函数在有限多个点上的取值改变，不会改变其黎曼积分。可以把这些点分别放进总长度任意小的区间；由于函数仍有统一界，这些区间最多造成“界乘总长度”量级的差别，其他位置完全一致。因此定积分对孤立点的取值不敏感。

然而导数是点附近的变化结构，不能只凭积分值相同就认为函数逐点相同。例如在 <math>[-1,1]</math> 上，函数除零点取 1 外处处取 0，其任意子区间积分都为零；对应累计函数恒为零，导数也恒为零，并没有在零点恢复原被积函数的值。这正说明基本定理的连续性条件在逐点恢复时有实际作用。

反过来，存在某个累计函数并不要求它在每一点都可导。把阶跃函数作为被积函数，累计函数可以连续而在跳跃位置有折角。

== 面积中的坐标变换与方向 ==
换元公式中的导数因子反映局部长度如何改变。若将区间变量由 <math>x</math> 改为 <math>u=2x</math>，一小段 <math>dx</math> 对应 <math>du=2dx</math>，所以 <math>dx=du/2</math>。遗漏这个因子等于在换了刻度之后仍用旧刻度累加，哪怕函数值替换得完全正确，总量也会错。

若变换使方向反转，例如 <math>u=1-x</math>，则 <math>du=-dx</math>，上下限也随之对调。负号与方向变化相互配合，不能只保留其中一项。

当积分用来计算几何面积时，还需检查区域由哪些边界围成。两条曲线之间的面积不是无条件的“第一条减第二条”；应在每个区间内以较高函数减较低函数。如果曲线交叉，就在交点分段，或对差值取绝对值。计算有向差的积分可以发生抵消，而几何面积不能为负。

例如在 <math>[-1,1]</math> 上比较 <math>y=x</math> 与横轴，上下关系在零点改变。直接积分 <math>x</math> 得零，说明左右有向贡献抵消；实际两块三角形面积之和为 1。判断“上减下”的工作属于几何分析，不能指望积分运算法则替代。


== 历史：求积问题与积分定义 ==
古代几何已经研究曲线区域的求积。十七世纪，卡瓦列里等人的方法、巴罗的切线与求积关系、牛顿与莱布尼茨的微积分相继形成不同的计算路线。莱布尼茨的积分记号与其求和观点相连；这段发展史见 [https://mathshistory.st-andrews.ac.uk/HistTopics/The_rise_of_calculus/ MacTutor 微积分史]。

十九世纪黎曼在研究三角级数等问题时讨论了更一般函数的积分条件；其 1854 年的任教资格论文是黎曼积分历史的重要文本，见 [https://mathshistory.st-andrews.ac.uk/Biographies/Riemann/ MacTutor：黎曼传]。黎曼的工作把积分的讨论从连续曲线扩展到更一般的函数。

== 来源与继续阅读 ==
* [https://openstax.org/books/calculus-volume-1/pages/5-2-the-definite-integral OpenStax，《Calculus Volume 1》§5.2]：定积分与黎曼和。
* [https://openstax.org/books/calculus-volume-1/pages/5-3-the-fundamental-theorem-of-calculus 同书 §5.3]：基本定理。
* [https://openstax.org/books/calculus-volume-2/pages/3-7-improper-integrals OpenStax，《Calculus Volume 2》§3.7]：反常积分。
* [https://mathshistory.st-andrews.ac.uk/Biographies/Riemann/ MacTutor：Bernhard Riemann]；[https://mathshistory.st-andrews.ac.uk/HistTopics/The_rise_of_calculus/ The rise of calculus]：历史来源。
* 先修：[[极限]]、[[导数]]；相关：[[微积分]]、[[数值积分]]、[[期望]]。
[[分类:分析]]