在上一篇中,我们学习了积分基础,包括基本积分法则与换元法。今天我们将深入探讨“定积分”的概念、定义及其性质。这一部分对理解定积分在实际中的应用至关重要,为即将到来的“定积分与应用之积分与面积的关系”做一个良好的铺垫。
定积分的定义
定积分可以理解为对某一函数在给定区间上的“累计”值。我们将通常用符号 $F(x)=\int_a^b f(x) , dx$ 表示函数 $f(x)$ 在区间 $[a, b]$ 上的定积分。
形式化定义
定积分的正式定义依赖于“黎曼和”(Riemann sum)。对于区间 $[a, b]$,我们将其划分为 $n$ 个小区间,每个小区间的长度为 $\Delta x_i = x_{i} - x_{i-1}$,其中 $x_0 = a$,$x_n = b$。选择每个小区间 $[x_{i-1}, x_i]$ 上的一个点 $c_i$,则黎曼和为:
$$
S_n = \sum_{i=1}^{n} f(c_i) \Delta x_i
$$
当 $n \to \infty$,即小区间的数量无限增加,长度无限减小时,黎曼和的极限即为定积分:
$$
\int_a^b f(x) , dx = \lim_{n \to \infty} S_n
$$
图形理解
从图形上理解,定积分可以看作是在区间 $[a, b]$ 上,曲线 $y = f(x)$ 与 $x$ 轴之间的“净面积”。正面积和负面积可以互相抵消,因此,在某些情况下,定积分可能会为负。
定积分的性质
定积分有几个重要的性质,这些性质对于后续的计算和应用极为关键:
线性性质:
如果 $c$ 是常数,$f(x), g(x)$ 是可积函数,则有:
$$
\int_a^b [cf(x) + g(x)] , dx = c \int_a^b f(x) , dx + \int_a^b g(x) , dx
$$区间可加性:
如果 $a < b < c$,则有:
$$
\int_a^c f(x) , dx = \int_a^b f(x) , dx + \int_b^c f(x) , dx
$$反向区间:
反向积分的性质可以表示为:
$$
\int_a^b f(x) , dx = -\int_b^a f(x) , dx
$$不等式性质:
如果 $a \leq f(x) \leq b$ 对于区间 $[c, d]$ 成立,则:
$$
\int_c^d a , dx \leq \int_c^d f(x) , dx \leq \int_c^d b , dx
$$
通过这些性质,我们可以变换和简化定积分的计算。
应用案例:计算定积分
接下来,我们通过一个简单的功能示例来实际运用定积分的定义和性质。
案例:计算 $f(x) = x^2$ 在区间 $[1, 3]$ 上的定积分
我们来计算 $f(x) = x^2$ 在 $[1, 3]$ 上的定积分:
$$
\int_1^3 x^2 , dx
$$
计算步骤
求原函数:
$f(x) = x^2$ 的原函数 $F(x)$ 是:
$$
F(x) = \frac{x^3}{3} + C
$$应用基本定理:
根据牛顿-莱布尼茨公式,我们得到:
$$
\int_1^3 x^2 , dx = F(3) - F(1) = \left( \frac{3^3}{3} \right) - \left( \frac{1^3}{3} \right) = 9 - \frac{1}{3} = \frac{26}{3}
$$结果:
因此,$f(x) = x^2$ 在 $[1, 3]$ 上的定积分为 $\frac{26}{3}$。
代码实现
我们也可以使用Python进行计算,代码如下:
1 | import sympy as sp |
运行后,输出结果为 $\frac{26}{3}$,确认了我们的计算。
结论
本文中我们探讨了定积分的定义、性质及一个具体的计算案例。这些内容为后续的“定积分与应用之积分与面积的关系”奠定了基础。在接下来的教程中,我们将进一步探讨定积分如何与几何面积相关联。通过这系列的学习,您将能够更深入地理解和应用微积分在人工智能领域中的重要性。