积分基础知识

单变量函数的积分学是数学分析的核心内容之一,源于求曲边梯形面积、变速运动路程等实际问题。本文参考 中国科学技术大学数学分析讲义 §5.1,按 由浅入深、循序渐进 的方式梳理 Riemann 定积分的基础知识:从定义与可积性出发,经基本性质与微积分基本定理,到换元、分部积分等计算方法,并附常用公式与典型技巧。


导读:学习路径

阶段 章节 核心内容 目标
入门 §1–§2 几何背景、Riemann 和、可积函数类 理解积分定义,判断函数是否可积
性质 §3–§4 线性性、区间可加、保序、估值、中值定理 比较、估计积分,不直接计算
核心定理 §5 变上限积分、原函数、Newton–Leibniz 公式 把积分与导数联系起来
计算 §6–§8 换元、分部积分、对称性、递推、Riemann 和极限 会算常见积分
拓展 §9 非初等积分、用积分定义新函数 了解积分的理论边界

建议:先掌握 Newton–Leibniz 公式(§5),再系统练习换元与分部积分(§6)。对称区间上的奇偶性、区间再现等技巧(§7)可大幅减少计算量。


§1 积分的定义

1.1 几何背景:曲边梯形的面积

上连续。将区间 分割

每个小区间 上,用矩形面积 )近似"小长条"面积。把所有矩形面积相加得 Riemann 和

当分割越来越细时,若 的极限存在且与分割方式、取样点 无关,该极限即为曲边梯形的面积。

类似地,变速直线运动在 上的路程也可通过"分段匀速近似、再取极限"得到。

术语被积函数积分下限积分上限被积表达式积分变量

表述,只要 ,无论 如何取,都有

注意:定义中有两个"任意"——分割的任意性、取样点 的任意性。积分值与积分变量名称无关:


§2 可积函数类

经典反例:Dirichlet 函数(有界但不可积)

上任一分割,每个小区间上 同时取到 0 和 1,Riemann 和极限不存在。

例(改变单点函数值不影响积分):设

。有限个点上的函数值变化不影响 Riemann 积分。


§3 积分的基本性质

3.1 区间约定与可加性

为方便,约定:

在此约定下,对可积的 及任意 ,恒有

3.2 线性性

上可积, 为常数,则 可积,且

进一步, 也在 上可积。

3.3 保序性与估值

条件 结论
连续,

例(比较大小):在 上,,故 ,从而

例(估值):在 上,,故


§4 积分中值定理

应用:估计含参积分极限。例如 时,由第一中值定理,


§5 微积分基本定理

5.1 变上限积分

上可积。对 ,定义

变上限积分(积分上限函数)。

条件 结论
上可积 连续
处连续 可导,且
上连续

5.2 原函数与 Newton–Leibniz 公式

注意:可积与原函数存在性并不等价

5.3 变限求导公式

上连续, 上可导且取值于 ,则


§6 积分的计算方法

6.1 Newton–Leibniz 公式(直接法)

先求原函数,再代入上下限。基本初等函数的原函数见 附录 A

6.2 换元积分法

不定积分换元示例

定积分换元示例

换元陷阱 若令 ,则 但上下限均变为 1,得 0——违反定理条件。正确做法:拆分为 ,或在 上分别换元。

经典换元(半圆面积)。

6.3 分部积分法

口诀 优先选对数、反三角、多项式; 优先选指数、三角、微分形式简单的部分。

6.4 区间再现公式

上连续,则

即可。特别地,对连续


§7 对称性与特殊技巧

7.1 奇偶函数

上连续:

类型 公式
奇函数
偶函数

7.2 区间中心对称

上连续,中点

技巧:对 ,检验 是否具有上述对称性。

7.3 周期函数

为周期的连续函数,则对任意

7.4 乘积对称公式

上连续,(常数),则

经典推论 上连续):

7.5 倒数对称(

上连续,,则

7.6 递推公式

Wallis 型):

递推关系:


§8 Riemann 和求极限

许多数列极限可改写为定积分。核心思路:将 识别为某函数在 上的 Riemann 和。

(具体题目需根据通项精确识别 与区间。)


§9 用积分定义函数

不少初等函数的积分不能用初等函数表示,如

此时可用积分定义新函数,并研究其性质。

例:用积分定义

定义 。由微积分基本定理,。对 ,换元可证

进而得到 等性质,可将 记为

椭圆积分(不能用初等函数表示):

其中 为参数,在力学与几何中有重要应用。


§10 Taylor 余项的积分表示

在区间上有直到 阶连续导数,则带积分余项的 Taylor 公式为

由积分中值定理可进一步得到 Cauchy 余项

),则


附录 A 常用积分公式

A.1 幂函数与基本初等函数

积分 结果( 条件

A.2 常用定积分

积分 结果
见 §7.6 Wallis 公式

A.3 与线性代数/内积的联系

在多项式空间 上,区间积分内积

是定义范数 的自然方式。例如


附录 B 记号一览

记号 含义
上的 Riemann 定积分
分割 的模(最大子区间长度)
对应分割 的 Riemann 和
变上限积分
$\left.F(x)\right _a^b$
上 Riemann 可积
上连续函数全体

参考文献


文档版本:2026-07 · 对应 USTC 数学分析 chap5_1 单变量定积分基础