Calculus

Calculus

本篇微积分内容主要回顾一些重要结论的推导证明,全文没有严格上下文关系。

绘图我是实在肝不动了…索性用个草图好了,将个烂就

催更|辅导|私塾兼职|联系偷偷:LifeGoesOn_Rio

1. 三角函数

三角函数涉及到三角换元,反函数图像,积化和差公式等等..

1.1 三角换元

  • 正割:

$$
\sec x = \frac{1}{\cos x}
$$

  • 余割:

$$
\csc x = \frac{1}{\sin x}
$$

  • 常见换元:

$$
\begin{cases}
\sin^2 x + \cos^2 x = 1 \\
1 + \tan^2 x = \sec^2 = \frac{1}{\cos^2}
\end{cases}
$$

1.2 反三角函数

这里我觉得认识图像非常重要,当然还有后面的反三角函数求导,这里暂不做讲解。

1.2.1 反正弦函数(arcsin(x))

反正弦函数,记作 $\arcsin(x)$,是正弦函数的反函数。它的定义域为 $[-1, 1]$,值域为 $[-\frac{\pi}{2}, \frac{\pi}{2}]$。即对于任意 $y = \arcsin(x)$,有:

$$
\sin(y) = x, \quad y \in \left[-\frac{\pi}{2}, \frac{\pi}{2}\right]
$$

1.2.2 反余弦函数(arccos(x))

反余弦函数,记作 $\arccos(x)$,是余弦函数的反函数。它的定义域为 $[-1, 1]$,值域为 $[0, \pi]$。即对于任意 $y = \arccos(x)$,有:

$$
\cos(y) = x, \quad y \in [0, \pi]
$$

1.2.3 反正切函数(arctan(x))

反正切函数,记作 $\arctan(x)$,是正切函数的反函数。它的定义域为 $(-\infty, +\infty)$,值域为 $(-\frac{\pi}{2}, \frac{\pi}{2})$。即对于任意 $y = \arctan(x)$,有:

$$
\tan(y) = x, \quad y \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)
$$

反三角函数

1.3 积化和差公式

$$
\sin(x \pm y) = \sin(x)\cos(y) \pm \cos(x)\sin(y)
$$

$$
\cos(x \pm y) = \cos(x)\cos(y) \mp \sin(x)\sin(y)
$$

$$
\tan(x \pm y) = \frac{\tan(x) \pm \tan(y)}{1 \mp \tan(x)\tan(y)}
$$

$$
\sin(x) \cos(y) = \frac{1}{2} \left[ \sin(x + y) + \sin(x - y) \right]
$$

$$
\cos(x) \sin(y) = \frac{1}{2} \left[ \sin(x + y) - \sin(x - y) \right]
$$

$$
\cos(x) \cos(y) = \frac{1}{2} \left[ \cos(x + y) + \cos(x - y) \right]
$$

$$
\sin(x) \sin(y) = \frac{1}{2} \left[ \cos(x - y) - \cos(x + y) \right]
$$

1.4 倍角/半角公式

$$
\sin(2x) = 2 \sin(x) \cos(x)
$$

$$
\cos(2x) = \cos^2(x) - \sin^2(x) = 2\cos^2(x) - 1 = 1 - 2\sin^2(x)
$$

$$
\tan(2x) = \frac{2\tan(x)}{1 - \tan^2(x)}
$$

$$
\sin\left(\frac{x}{2}\right) = \pm \sqrt{\frac{1 - \cos(x)}{2}}
$$

$$
\cos\left(\frac{x}{2}\right) = \pm \sqrt{\frac{1 + \cos(x)}{2}}
$$

$$
\tan\left(\frac{x}{2}\right) = \pm \sqrt{\frac{1 - \cos(x)}{1 + \cos(x)}} = \frac{\sin(x)}{1 + \cos(x)} = \frac{1 - \cos(x)}{\sin(x)}
$$

1.5 万能公式

设 $u = \tan\left(\frac{x}{2}\right)$,则有:
$$
\sin x = \frac{2u}{1 + u^2}, \quad x \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)
$$

$$
\cos x = \frac{1 - u^2}{1 + u^2}, \quad x \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)
$$

$$
\tan x = \frac{2u}{1 - u^2}, \quad x \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)
$$

2. 一元二次方程

一元二次方程的标准形式是:

$$
ax^2 + bx + c = 0
$$

其中,$a$、$b$ 和 $c$ 是常数,且 $a \neq 0$。

一元二次方程的解的存在与否可以通过判别式 $\Delta$ 来判断,判别式的表达式是:

$$
\Delta = b^2 - 4ac
$$

根据 $\Delta$ 的值,可以判断方程的解的情况:

  • 如果 $\Delta > 0$,方程有 两个不相等的实数解
  • 如果 $\Delta = 0$,方程有 一个实数解,也叫做 重根
  • 如果 $\Delta < 0$,方程没有实数解,只有 两个共轭复数解

根据判别式 $\Delta$,方程的解可以通过求根公式来表示:

$$
x = \frac{-b \pm \sqrt{\Delta}}{2a}
$$

其中,“$\pm$”表示可以有两个解,分别是:

$$
x_1 = \frac{-b + \sqrt{\Delta}}{2a}, \quad x_2 = \frac{-b - \sqrt{\Delta}}{2a}
$$

  1. $\Delta = b^2 - 4ac$ 是判别式,它决定了方程解的个数和类型。
  2. 根据 $\Delta$ 的值,分别有不同的解的情况。

3. 等差/等比数列

3.1 等差数列的相关公式

等差数列是指每一项与前一项的差都相等的数列,常常用符号 $a_n$ 表示。

假设等差数列的首项为 $a_1$,公差为 $d$,则该数列的第 $n$ 项可以表示为:

$$
a_n = a_1 + (n - 1) d
$$

求和公式: 等差数列前 $n$ 项的和可以通过以下公式计算:

$$
S_n = \frac{n}{2} \left(2a_1 + (n - 1) d \right)
$$

或者

$$
S_n = \frac{n}{2} \left(a_1 + a_n \right)
$$

其中,$a_n$ 是数列的第 $n$ 项。

总结:

  1. 等差数列的第 $n$ 项公式:$a_n = a_1 + (n - 1)d$
  2. 等差数列前 $n$ 项的和公式:$S_n = \frac{n}{2} \left(2a_1 + (n - 1) d \right)$ 或者 $S_n = \frac{n}{2} \left(a_1 + a_n \right)$

3.2 等比数列的相关公式

等比数列是指每一项与前一项的比都相等的数列,常常用符号 $b_n$ 表示。

假设等比数列的首项为 $b_1$,公比为 $r$,则该数列的第 $n$ 项可以表示为:

$$
b_n = b_1 r^{n-1}
$$

求和公式: 等比数列前 $n$ 项的和可以通过以下公式计算:

  • 当 $r \neq 1$ 时,前 $n$ 项的和为:

$$
S_n = \frac{b_1 (1 - r^n)}{1 - r}
$$

  • 当 $r = 1$ 时,前 $n$ 项的和为:

$$
S_n = n \cdot b_1
$$

总结:

  1. 等比数列的第 $n$ 项公式:$b_n = b_1 r^{n-1}$
  2. 等比数列前 $n$ 项的和公式(当 $r \neq 1$):$S_n = \frac{b_1 (1 - r^n)}{1 - r}$
  3. 等比数列前 $n$ 项的和公式(当 $r = 1$):$S_n = n \cdot b_1$

4. 二项定理/组合数

二项式定理是用于展开 $(a + b)^n$ 的一个公式,它可以表示为:

$$
(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k
$$

其中,$\binom{n}{k}$ 是 组合数,表示从 $n$ 个不同的元素中选取 $k$ 个元素的方式数。它的公式为:

$$
\binom{n}{k} = \frac{n!}{k!(n-k)!}
$$

组合数的性质:

  1. 对称性:

$$
\binom{n}{k} = \binom{n}{n-k}
$$

  1. 递推公式:

$$
\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}
$$

  1. 边界条件:

$$
\binom{n}{0} = 1, \quad \binom{n}{n} = 1
$$

  1. 与阶乘的关系:

$$
\binom{n}{k} = \frac{n!}{k!(n-k)!}
$$

二项式展开公式的应用:
二项式定理展开式中的每一项 $\binom{n}{k} a^{n-k} b^k$ 表示的是 $(a + b)^n$ 展开后的第 $k$ 项,其中 $\binom{n}{k}$ 是对应的组合数,它可以用来计算每一项的系数。

总结:

  • 二项式定理展开式:$(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k$
  • 组合数公式:$\binom{n}{k} = \frac{n!}{k!(n-k)!}$
  • 组合数的一些性质:
    • $\binom{n}{k} = \binom{n}{n-k}$
    • $\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}$
    • $\binom{n}{0} = 1, \quad \binom{n}{n} = 1$

4.1 二项定理的证明

二项式定理的证明可以通过数学归纳法来进行,下面是详细的证明过程:

基本步骤:
我们希望证明对于任意自然数 $n$,都有:

$$
(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k
$$

其中,$\binom{n}{k}$ 是组合数,表示从 $n$ 个元素中选出 $k$ 个元素的方法数。

1.归纳基础: $n = 0$
首先,我们验证当 $n = 0$ 时,公式是否成立:

对于 $n = 0$:

$$
(a + b)^0 = 1
$$

而右边的展开式为:

$$
\sum_{k=0}^{0} \binom{0}{k} a^{0-k} b^k = \binom{0}{0} a^0 b^0 = 1
$$

显然,当 $n = 0$ 时,公式成立。

2.归纳假设: 假设对于 $n = k$ 时成立
假设对于某个自然数 $k$,我们有:

$$
(a + b)^k = \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i
$$

我们现在需要证明对于 $n = k+1$ 时,公式也成立。

3.归纳步骤: 证明 $n = k+1$ 时公式成立
考虑 $(a + b)^{k+1}$,我们可以将其分解为:

$$
(a + b)^{k+1} = (a + b)(a + b)^k
$$

根据归纳假设,$(a + b)^k$ 可以展开为:

$$
(a + b)^{k+1} = (a + b) \left( \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i \right)
$$

接下来,展开右边的乘积:

$$
(a + b) \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i = a \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i + b \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i
$$

将每项展开:

  1. 第一项是:

$$
a \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i = \sum_{i=0}^{k} \binom{k}{i} a^{k+1-i} b^i
$$

  1. 第二项是:

$$
b \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^i = \sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^{i+1}
$$

为了便于合并,我们将第二个求和的指标进行变换。令 $j = i+1$,则 $i = j-1$,且当 $i$ 从 $0$ 到 $k$ 变化时,$j$ 从 $1$ 到 $k+1$ 变化。因此:

$$
\sum_{i=0}^{k} \binom{k}{i} a^{k-i} b^{i+1} = \sum_{j=1}^{k+1} \binom{k}{j-1} a^{k-(j-1)} b^j = \sum_{j=1}^{k+1} \binom{k}{j-1} a^{k+1-j} b^j
$$

现在我们可以改写为:

$$
(a + b)^{k+1} = \sum_{i=0}^{k} \binom{k}{i} a^{k+1-i} b^i + \sum_{j=1}^{k+1} \binom{k}{j-1} a^{k+1-j} b^j
$$

为了合并这两个和式,我们将第一个和式的指标也改为 $j$。对于第一个和式,当 $i = j$,范围从 $0$ 到 $k$:

$$
(a + b)^{k+1} = \sum_{j=0}^{k} \binom{k}{j} a^{k+1-j} b^j + \sum_{j=1}^{k+1} \binom{k}{j-1} a^{k+1-j} b^j
$$

注意到:

  1. 在 $j=0$ 时,只有第一个和式有贡献,为 $\binom{k}{0}a^{k+1}b^0 = a^{k+1}$
  2. 在 $j=k+1$ 时,只有第二个和式有贡献,为 $\binom{k}{k}a^0b^{k+1} = b^{k+1}$
  3. 对于 $1 \leq j \leq k$,两个和式都有贡献

因此,我们可以将其重写为:

$$
(a + b)^{k+1} = \binom{k}{0}a^{k+1} + \sum_{j=1}^{k} \left( \binom{k}{j} + \binom{k}{j-1} \right) a^{k+1-j} b^j + \binom{k}{k}b^{k+1}
$$

根据组合数的递推关系(关键结论):$\binom{k+1}{j} = \binom{k}{j-1} + \binom{k}{j}$,上式可以写为:

$$
(a + b)^{k+1} = \binom{k+1}{0}a^{k+1} + \sum_{j=1}^{k} \binom{k+1}{j} a^{k+1-j} b^j + \binom{k+1}{k+1}b^{k+1}
$$

这可以进一步简化为:

$$
(a + b)^{k+1} = \sum_{j=0}^{k+1} \binom{k+1}{j} a^{k+1-j} b^j
$$

这正是我们需要的展开式,因此,二项式定理对于 $n = k+1$ 也成立。

4.结论
由归纳法可知,二项式定理对所有自然数 $n$ 都成立:

$$
(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k
$$

5. 常见等价无穷小

在 $x \to 0$时,以下等价无穷小成立:

5.1. 基本等价无穷小

$$ \sin x \sim x $$

$$ \tan x \sim x $$

$$ \arcsin x \sim x $$

$$ \arctan x \sim x $$

$$ 1 - \cos x \sim \frac{x^2}{2} $$

$$ x - \sin x \sim \frac{x^3}{6} $$

$$ e^x - 1 \sim x $$

$$ \ln(1 + x) \sim x $$

5.2. 组合与扩展

$$ \ln(1 - x) \sim -x $$

$$ a^x - 1 \sim x \ln a \quad (a > 0, a \neq 1) $$

$$ (1 + x)^a - 1 \sim ax \quad (a \text{ 为常数}) $$

5.3. 其他常见形式

$$ \sqrt{1 + x} - 1 \sim \frac{x}{2} $$

$$ \frac{1}{1 + x} \sim 1 - x $$

6. 常见重要极限

在 $x \to 0$ 时,以下极限成立:

6.1. 经典初等极限

$$ \lim\limits_{x \to 0} \frac{\sin x}{x} = 1 $$

$$ \lim\limits_{x \to 0} \frac{\tan x}{x} = 1 $$

$$ \lim\limits_{x \to 0} \frac{\arcsin x}{x} = 1 $$

$$ \lim\limits_{x \to 0} \frac{\arctan x}{x} = 1 $$

$$ \lim\limits_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2} $$

6.2. 指数与对数相关极限

$$ \lim\limits_{x \to 0} \frac{e^x - 1}{x} = 1 $$

$$ \lim\limits_{x \to 0} \frac{\ln(1 + x)}{x} = 1 $$

$$ \lim\limits_{x \to 0} \frac{\ln(1 - x)}{x} = -1 $$

$$ \lim\limits_{x \to \infty} \left( 1 + \frac{1}{x} \right)^x = e $$

$$ \lim\limits_{x \to 0} (1 + x)^{\frac{1}{x}} = e $$

6.3. 重要无穷小极限

$$ \lim\limits_{x \to 0} \frac{x - \sin x}{x^3} = \frac{1}{6} $$

$$ \lim\limits_{x \to 0} \frac{\tan x - x}{x^3} = \frac{1}{3} $$

$$ \lim\limits_{x \to 0} \frac{e^x - 1 - x}{x^2} = \frac{1}{2} $$

$$ \lim\limits_{x \to 0} \frac{\ln(1 + x) - x}{x^2} = -\frac{1}{2} $$

6.4. 其他重要极限

$$ \lim\limits_{x \to 0} \left( 1 + x \right)^{\frac{1}{x}} = e $$

$$ \lim\limits_{n \to \infty} \left( 1 + \frac{k}{n} \right)^n = e^k, \quad k \text{ 为常数} $$

$$ \lim\limits_{x \to 0} \frac{a^x - 1}{x} = \ln a, \quad (a > 0, a \neq 1) $$

7. 函数连续性

7.1. 极限存在

$$ \lim\limits_{x \to a} f(x) = L $$

极限存在是后续所有概念的基础。当函数 $f(x)$ 在点 $a$ 的邻域内有定义,且当 $x$ 无限接近 $a$ 时,函数值能够无限接近某个确定的常数 $L$,我们称该极限存在。

极限存在的条件:

  • 左极限和右极限相等
  • 极限值不依赖于函数在 $a$ 点的具体定义
  • 可以通过 $\epsilon-\delta$ 语言严格定义

7.2. 连续

$$ \lim\limits_{x \to a} f(x) = f(a) $$

连续是对极限的进一步要求:

  • 函数在点 $a$ 处有定义
  • 极限存在
  • 极限值等于函数在该点的函数值

连续的类型:

  • 点连续
  • 区间连续
  • 一致连续

7.3. 可导(derivative)

$$ f’(a) = \lim\limits_{x \to a} \frac{f(x) - f(a)}{x - a} $$

可导是连续的进一步强化条件:

  • 函数在点 $a$ 处连续
  • 函数在点 $a$ 处存在唯一的切线
  • 导数存在,表示函数在该点的瞬时变化率

可导的充要条件:

  • 左导数和右导数存在且相等

7.4. 可微(differentiable)

$$ f(x + \Delta x) = f(x) + f’(x)\Delta x + o(\Delta x) $$

可微是可导的更强条件:

  • 函数可导
  • 在点 $a$ 处可以用线性函数进行局部近似
  • 误差项 $o(\Delta x)$ 是高阶无穷小

可微的特点:

  • 提供了函数局部线性逼近
  • 在微积分和泰勒展开中有重要应用

7.5. 可偏导(partially differentiable)

$$ \frac{\partial f}{\partial x_i} = \lim\limits_{h \to 0} \frac{f(x_1, \ldots, x_i + h, \ldots, x_n) - f(x_1, \ldots, x_n)}{h} $$

可偏导是多变量函数的导数概念:

  • 定义在多元函数上
  • 固定其他变量,对某一变量求导
  • 每个自变量都存在偏导数

可偏导的条件:

  • 每个方向的导数都存在
  • 不要求所有偏导数连续

7.6 关系总结

  1. 极限存在 $\Rightarrow$ 连续

    • 极限存在是连续的必要条件
    • 但极限存在不一定保证连续
  2. 连续 $\Rightarrow$ 可导

    • 连续是可导的必要条件
    • 但连续不一定保证可导
  3. 可导 $\Rightarrow$ 可微

    • 可导是可微的必要条件
    • 可导函数一定可微
  4. 可导 $\Rightarrow$ 连续

    • 可导函数一定连续
    • 连续是可导的必要条件
  5. 多元函数的可偏导

    • 要求每个方向的导数存在
    • 不要求偏导数连续或存在

典型反例

  • $f(x) = |x|$ 在 $x = 0$ 处连续但不可导
  • $f(x) = x \sin(\frac{1}{x})$($x \neq 0$)在 $x = 0$ 处极限存在但不连续
关系总结

8. 常见函数的导数

8.1. 基本初等函数的导数

$$ (C)’ = 0, \quad C \text{ 为常数} $$

$$ (x^n)’ = nx^{n-1} $$

$$ (e^x)’ = e^x $$

$$ (\ln x)’ = \frac{1}{x} $$

$$ (\sin x)’ = \cos x $$

$$ (\cos x)’ = -\sin x $$

$$ (\tan x)’ = \sec^2 x $$

$$ (\cot x)’ = -\csc^2 x $$

$$ (\sec x)’ = \sec x \tan x $$

$$ (\csc x)’ = -\csc x \cot x $$

8.2. 反三角函数的导数

$$ (\arcsin x)’ = \frac{1}{\sqrt{1-x^2}} $$

$$ (\arccos x)’ = -\frac{1}{\sqrt{1-x^2}} $$

$$ (\arctan x)’ = \frac{1}{1+x^2} $$

$$ (\text{arccot } x)’ = -\frac{1}{1+x^2} $$

$$ (\text{arcsec } x)’ = \frac{1}{|x|\sqrt{x^2-1}} $$

$$ (\text{arccsc } x)’ = -\frac{1}{|x|\sqrt{x^2-1}} $$

8.3. 指数与对数函数的导数

$$ (a^x)’ = a^x \ln a, \quad (a > 0, a \neq 1) $$

$$ (\log_a x)’ = \frac{1}{x \ln a}, \quad (a > 0, a \neq 1) $$

8.4. 复合函数、积、商的导数

$$ [f(g(x))]’ = f’(g(x)) \cdot g’(x) $$

$$ (u \cdot v)’ = u’ \cdot v + u \cdot v’ $$

$$ \left(\frac{u}{v}\right)’ = \frac{u’ \cdot v - u \cdot v’}{v^2} $$

8.5. 双曲函数的导数

$$ (\sinh x)’ = \cosh x $$

$$ (\cosh x)’ = \sinh x $$

$$ (\tanh x)’ = \text{sech}^2 x $$

$$ (\coth x)’ = -\text{csch}^2 x $$

$$ (\text{sech } x)’ = -\text{sech } x \tanh x $$

$$ (\text{csch } x)’ = -\text{csch } x \coth x $$

9. 常见不等式

9.1. 基本不等式

$$ a \geq b \Rightarrow a^n \geq b^n, \quad (a,b > 0, n > 0) $$

$$ |a + b| \leq |a| + |b| $$

$$ |a - b| \geq \left| |a| - |b| \right| $$

$$ \frac{a+b}{2} \geq \sqrt{ab}, \quad (a,b > 0) $$

$$ \frac{a_1 + a_2 + \cdots + a_n}{n} \geq \sqrt[n]{a_1 a_2 \cdots a_n}, \quad (a_i > 0) $$

9.2. 三角函数不等式

$$ \sin x < x < \tan x, \quad (0 < x < \frac{\pi}{2}) $$

$$ \sin x \geq \frac{2x}{\pi}, \quad (0 \leq x \leq \frac{\pi}{2}) $$

$$ \cos x \geq 1 - \frac{x^2}{2}, \quad (x \in \mathbb{R}) $$

$$ |\sin x| \leq |x|, \quad (x \in \mathbb{R}) $$

$$ 1 - \cos x \leq \frac{x^2}{2}, \quad (x \in \mathbb{R}) $$

9.3. 指数与对数不等式

$$ e^x \geq 1 + x, \quad (x \in \mathbb{R}) $$

$$ e^x \geq 1 + x + \frac{x^2}{2}, \quad (x \geq 0) $$

$$ \ln(1+x) \leq x, \quad (x > -1) $$

$$ \ln x \leq x - 1, \quad (x > 0) $$

$$ x^a < x^b, \quad (0 < x < 1, a > b) $$

$$ x^a > x^b, \quad (x > 1, a > b) $$

9.4. 柯西不等式与其扩展

$$ \left( \sum_{i=1}^{n} a_i b_i \right)^2 \leq \left( \sum_{i=1}^{n} a_i^2 \right) \left( \sum_{i=1}^{n} b_i^2 \right) $$

$$ \left( \frac{a_1 + a_2 + \cdots + a_n}{n} \right)^2 \leq \frac{a_1^2 + a_2^2 + \cdots + a_n^2}{n} $$

$$ \frac{1}{a_1} + \frac{1}{a_2} + \cdots + \frac{1}{a_n} \geq \frac{n^2}{a_1 + a_2 + \cdots + a_n}, \quad (a_i > 0) $$

9.5. 经典不等式

$$ \frac{a^n + b^n}{2} \geq \left( \frac{a + b}{2} \right)^n, \quad (a, b > 0, n \geq 1) $$

$$ \frac{a^n + b^n}{2} \leq \left( \frac{a + b}{2} \right)^n, \quad (a, b > 0, 0 < n < 1) $$

$$ a^b \cdot b^a \leq a^a \cdot b^b, \quad (a, b > 0) $$

$$ \sqrt{1+x} < 1 + \frac{x}{2}, \quad (x > 0) $$

$$ (1+x)^n \geq 1 + nx, \quad (x > -1, n > 1) $$

10. 函数凹凸性

10.1. 函数的凹凸性定义

  • 凸函数(上凸函数): 若函数 $f(x)$ 在区间 $I$ 内满足:

    $$ f(\lambda x_1 + (1 - \lambda)x_2) \leq \lambda f(x_1) + (1 - \lambda) f(x_2), \quad (\lambda \in [0,1]) $$

    则称 $f(x)$ 在 $I$ 上是凸函数(Convex Function)

  • 凹函数(下凸函数): 若函数 $f(x)$ 在区间 $I$ 内满足:

    $$ f(\lambda x_1 + (1 - \lambda)x_2) \geq \lambda f(x_1) + (1 - \lambda) f(x_2), \quad (\lambda \in [0,1]) $$

    则称 $f(x)$ 在 $I$ 上是凹函数(Concave Function)

几何上,凸函数的图像在任意两点之间的弦线之下,凹函数的图像在弦线之上。


10.2. 通过二阶导数判断凹凸性

若 $f(x)$ 在区间 $I$ 二阶可导,则:

  • 若 $f’’(x) > 0$,则 $f(x)$ 在 $I$ 上凸(凸函数)
  • 若 $f’’(x) < 0$,则 $f(x)$ 在 $I$ 下凸(凹函数)
  • 若 $f’’(x) = 0$,需要进一步分析高阶导数或函数的局部行为。

示例:

  • $f(x) = x^2$,二阶导数 $f’’(x) = 2 > 0$,是凸函数(向上弯曲)。
  • $f(x) = -x^2$,二阶导数 $f’’(x) = -2 < 0$,是凹函数(向下弯曲)。
凹凸性

⚠️注意国内定义的凹凸性和国际上的凹凸性是反过来的…这里以国际定义为准


10.3. 拐点(Inflection Point)

若 $f(x)$ 的二阶导数在某点 $x = c$ 发生符号变化,即满足:

$$ f’’(c) = 0, \quad \text{且} \quad f’’(x) \text{ 在 } c \text{ 处改变符号} $$

则称 $x = c$ 为函数的拐点,即函数从凸变凹或从凹变凸的点。

示例:

  • $f(x) = x^3$,二阶导数 $f’’(x) = 6x$,在 $x = 0$ 处由负变正,因此 $x = 0$ 是拐点。

10.4. 经典结论

  1. 指数函数 $f(x) = e^x$,二阶导数 $f’’(x) = e^x > 0$,是凸函数
  2. 对数函数 $f(x) = \ln x$,二阶导数 $f’’(x) = -\frac{1}{x^2} < 0$,是凹函数
  3. 幂函数 $f(x) = x^p$:
    • 若 $p \geq 1$ 或 $0 < p < 1$,则 $f(x)$ 在 $x > 0$ 上是凸函数
    • 若 $p < 0$,则 $f(x)$ 在 $x > 0$ 上是凹函数

10.5. 例题解析

例 1:判断函数 $f(x) = x^4 - 4x^3 + 6x^2$ 的凹凸性及拐点

解:

  • 一阶导数:

    $$ f’(x) = 4x^3 - 12x^2 + 12x $$

  • 二阶导数:

    $$ f’’(x) = 12x^2 - 24x + 12 $$

  • 令 $f’’(x) = 0$ 求拐点:

    $$ 12(x^2 - 2x + 1) = 0 $$

    $$ 12(x - 1)^2 = 0 \Rightarrow x = 1 $$

  • 由于 $f’’(x)$ 在 $x = 1$ 两侧符号没有变化,说明函数在整个定义域内都是凸的


10.6. 重要不等式

  • Jensen 不等式(对凸函数成立):

    $$ f\left(\frac{x_1 + x_2}{2}\right) \leq \frac{f(x_1) + f(x_2)}{2} $$

    若 $f(x)$ 是凹函数,则不等号方向相反。

  • 均值不等式(对幂函数成立):

    $$ \frac{a^n + b^n}{2} \geq \left( \frac{a + b}{2} \right)^n, \quad (a, b > 0, n \geq 1) $$

    $$ \frac{a^n + b^n}{2} \leq \left( \frac{a + b}{2} \right)^n, \quad (a, b > 0, 0 < n < 1) $$

  • 指数与对数的不等式(由凹凸性推出):

    $$ a^b \cdot b^a \leq a^a \cdot b^b, \quad (a, b > 0) $$

    $$ \sqrt{1+x} < 1 + \frac{x}{2}, \quad (x > 0) $$

    $$ (1+x)^n \geq 1 + nx, \quad (x > -1, n > 1) $$


10.7. 总结

  • 凸函数满足 $f’’(x) > 0$,图像向上弯曲。
  • 凹函数满足 $f’’(x) < 0$,图像向下弯曲。
  • 拐点是函数从凹变凸或从凸变凹的点,满足 $f’’(x) = 0$ 且符号发生变化。
  • 经典结论
    • $e^x$ 是凸函数
    • $\ln x$ 是凹函数
    • $x^p$ 的凹凸性取决于 $p$ 的大小

10.8. Jesen不等式

Jensen不等式的基本形式

$$ \varphi\left(\sum_{i=1}^n \lambda_i x_i\right) \leq \sum_{i=1}^n \lambda_i \varphi(x_i), \quad (\varphi \text{ 为凸函数}) $$

$$ \varphi\left(\sum_{i=1}^n \lambda_i x_i\right) \geq \sum_{i=1}^n \lambda_i \varphi(x_i), \quad (\varphi \text{ 为凹函数}) $$

$$ \text{其中} \sum_{i=1}^n \lambda_i = 1, \lambda_i \geq 0, i=1,2,\ldots,n $$

等号成立当且仅当满足以下任一条件:

  1. $x_1 = x_2 = \cdots = x_n$

    即所有的 $x_i$ 都相等。

  2. $\varphi(x) \text{ 在包含所有 } x_i \text{ 的区间上是线性函数}$ 即 $\varphi(x) = ax + b$,其中 $a, b$ 为常数。

这两个条件可以这样理解:

当所有点 $x_i$ 相同时,无论权重 $\lambda_i$ 如何分配,加权平均值都等于这个公共值,因此等号成立。

当 $\varphi(x)$ 是线性函数时,它既不是严格凸的也不是严格凹的($\varphi’’(x) = 0$),这种情况下,函数值的加权平均恰好等于函数在加权平均点的值,从而等号成立。

对于严格凸函数($\varphi’’(x) > 0$)或严格凹函数($\varphi’’(x) < 0$),等号成立当且仅当所有 $x_i$ 都相等。


连续形式的Jensen不等式

$$ \varphi\left(\int_a^b f(x) g(x) dx\right) \leq \int_a^b \varphi(f(x)) g(x) dx, \quad (\varphi \text{ 为凸函数}) $$

$$ \varphi\left(\int_a^b f(x) g(x) dx\right) \geq \int_a^b \varphi(f(x)) g(x) dx, \quad (\varphi \text{ 为凹函数}) $$

$$ \text{其中} \int_a^b g(x) dx = 1, g(x) \geq 0 $$


概率形式的Jensen不等式

$$ \varphi(E[X]) \leq E[\varphi(X)], \quad (\varphi \text{ 为凸函数}) $$

$$ \varphi(E[X]) \geq E[\varphi(X)], \quad (\varphi \text{ 为凹函数}) $$

$$ \text{其中} E[X] \text{ 表示随机变量 } X \text{ 的期望} $$


典型应用案例

$$ \left(\frac{a_1 + a_2 + \cdots + a_n}{n}\right)^p \leq \frac{a_1^p + a_2^p + \cdots + a_n^p}{n}, \quad (a_i > 0, p > 1) $$

$$ \left(\frac{a_1 + a_2 + \cdots + a_n}{n}\right)^p \geq \frac{a_1^p + a_2^p + \cdots + a_n^p}{n}, \quad (a_i > 0, 0 < p < 1) $$

$$ \ln\left(\frac{a_1 + a_2 + \cdots + a_n}{n}\right) \geq \frac{\ln a_1 + \ln a_2 + \cdots + \ln a_n}{n}, \quad (a_i > 0) $$


Jensen不等式的几何解释

$$ \varphi(tx_1 + (1-t)x_2) \leq t\varphi(x_1) + (1-t)\varphi(x_2), \quad (0 \leq t \leq 1, \varphi \text{ 为凸函数}) $$

$$ \varphi(tx_1 + (1-t)x_2) \geq t\varphi(x_1) + (1-t)\varphi(x_2), \quad (0 \leq t \leq 1, \varphi \text{ 为凹函数}) $$

$$ \text{即凸函数图像上任意两点的连线位于图像上方,凹函数则位于图像下方} $$


严格不等式条件

$$ \varphi\left(\sum_{i=1}^n \lambda_i x_i\right) < \sum_{i=1}^n \lambda_i \varphi(x_i), \quad (\varphi \text{ 为严格凸函数且不是所有 } x_i \text{ 都相等}) $$

$$ \varphi\left(\sum_{i=1}^n \lambda_i x_i\right) > \sum_{i=1}^n \lambda_i \varphi(x_i), \quad (\varphi \text{ 为严格凹函数且不是所有 } x_i \text{ 都相等}) $$

11. 泰勒公式&麦克劳林公式

11.1 泰勒公式

泰勒公式是一种用多项式函数近似表示光滑函数的方法。它使我们能够在某点附近用幂级数展开函数。

假设函数 $f(x)$ 在点 $x=a$ 的某个邻域内具有 $n+1$ 阶连续导数,那么对于该邻域内的任意点 $x$,函数 $f(x)$ 可以表示为:

$$ f(x) = f(a) + f’(a)(x-a) + \frac{f’’(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x-a)^n + R_n(x) $$

其中 $R_n(x)$ 是拉格朗日余项,表示为:

$$ R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1} $$

这里 $\xi$ 是介于 $a$ 和 $x$ 之间的某个值。

泰勒公式的另一种常见形式是带有皮亚诺余项:

$$ f(x) = f(a) + f’(a)(x-a) + \frac{f’’(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x-a)^n + o((x-a)^n) $$

11.2 麦克劳林公式

麦克劳林公式是泰勒公式的特殊情况,即在点 $a=0$ 处展开:

$$ f(x) = f(0) + f’(0)x + \frac{f’’(0)}{2!}x^2 + \cdots + \frac{f^{(n)}(0)}{n!}x^n + R_n(x) $$

其中余项 $R_n(x)$ 表示为:

$$ R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}x^{n+1} $$

这里 $\xi$ 是介于 $0$ 和 $x$ 之间的某个值。

让我们看一个例子,计算 $\sin(0.1)$ 的近似值:

使用麦克劳林公式展开到 $x^5$ 项:
$$ \sin(0.1) \approx 0.1 - \frac{(0.1)^3}{3!} + \frac{(0.1)^5}{5!} $$
$$ \sin(0.1) \approx 0.1 - \frac{0.001}{6} + \frac{0.00001}{120} $$
$$ \sin(0.1) \approx 0.1 - 0.000167 + 0.000000083 \approx 0.099833 $$

实际值 $\sin(0.1) \approx 0.0998334$,所以这个近似是相当准确的。

11.3 常见函数的麦克劳林展开

以下是一些常见函数的麦克劳林展开式:

  1. 指数函数:
    $$ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots = \sum_{n=0}^{\infty} \frac{x^n}{n!} $$

  2. 正弦函数:
    $$ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} $$

  3. 余弦函数:
    $$ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} $$

  4. 自然对数函数:
    $$ \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n}, \quad |x| < 1 $$

  5. 反正切函数:
    $$ \arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}, \quad |x| \leq 1 $$

  6. 双曲正弦函数:
    $$ \sinh x = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots = \sum_{n=0}^{\infty} \frac{x^{2n+1}}{(2n+1)!} $$

  7. 双曲余弦函数:
    $$ \cosh x = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots = \sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!} $$

  8. $(1+x)^{\alpha}$ 的二项式展开(广义二项式定理):
    $$ (1+x)^{\alpha} = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!}x^2 + \frac{\alpha(\alpha-1)(\alpha-2)}{3!}x^3 + \cdots, \quad |x| < 1 $$
    $$ = \sum_{n=0}^{\infty} \binom{\alpha}{n} x^n, \quad |x| < 1 $$
    其中 $\binom{\alpha}{n} = \frac{\alpha(\alpha-1)(\alpha-2)\cdots(\alpha-n+1)}{n!}$

  9. 正切函数:
    $$ \tan x = x + \frac{x^3}{3} + \frac{2x^5}{15} + \frac{17x^7}{315} + \cdots, \quad |x| < \frac{\pi}{2} $$

  10. 反正弦函数:
    $$ \arcsin x = x + \frac{1}{2} \cdot \frac{x^3}{3} + \frac{1 \cdot 3}{2 \cdot 4} \cdot \frac{x^5}{5} + \frac{1 \cdot 3 \cdot 5}{2 \cdot 4 \cdot 6} \cdot \frac{x^7}{7} + \cdots, \quad |x| \leq 1 $$

  11. 平方根函数:
    $$ \sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16}x^3 - \frac{5}{128}x^4 + \cdots, \quad |x| < 1 $$

  12. 倒数函数:
    $$ \frac{1}{1-x} = 1 + x + x^2 + x^3 + \cdots = \sum_{n=0}^{\infty} x^n, \quad |x| < 1 $$

  13. 双曲正切函数:
    $$ \tanh x = x - \frac{x^3}{3} + \frac{2x^5}{15} - \frac{17x^7}{315} + \cdots, \quad |x| < \frac{\pi}{2} $$

  14. 余切函数级数:
    $$ \cot x = \frac{1}{x} - \frac{x}{3} - \frac{x^3}{45} - \frac{2x^5}{945} - \cdots, \quad 0 < |x| < \pi $$

  15. 正割函数:
    $$ \sec x = 1 + \frac{x^2}{2} + \frac{5x^4}{24} + \frac{61x^6}{720} + \cdots, \quad |x| < \frac{\pi}{2} $$

11.4 复合函数的麦克劳林展开

  1. $e^{-x^2}$ 的麦克劳林展开:
    $$ e^{-x^2} = 1 - x^2 + \frac{x^4}{2!} - \frac{x^6}{3!} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{n!} $$

  2. $\ln(1-x)$ 的麦克劳林展开:
    $$ \ln(1-x) = -x - \frac{x^2}{2} - \frac{x^3}{3} - \frac{x^4}{4} - \cdots = -\sum_{n=1}^{\infty} \frac{x^n}{n}, \quad |x| < 1 $$

  3. $\frac{1}{(1-x)^2}$ 的麦克劳林展开:
    $$ \frac{1}{(1-x)^2} = 1 + 2x + 3x^2 + 4x^3 + \cdots = \sum_{n=0}^{\infty} (n+1)x^n, \quad |x| < 1 $$

12. 常见积分的基本公式

12.1. 基本不定积分公式

  1. 常数积分:
    $$ \int k , dx = kx + C $$

  2. 幂函数积分:
    $$ \int x^n , dx = \frac{x^{n+1}}{n+1} + C, \quad (n \neq -1) $$

  3. 对数函数积分:
    $$ \int \frac{1}{x} , dx = \ln|x| + C $$

  4. 指数函数积分:
    $$ \int e^x , dx = e^x + C $$
    $$ \int a^x , dx = \frac{a^x}{\ln a} + C, \quad (a > 0, a \neq 1) $$

  5. 三角函数积分:
    $$ \int \sin x , dx = -\cos x + C $$
    $$ \int \cos x , dx = \sin x + C $$
    $$ \int \tan x , dx = -\ln|\cos x| + C = \ln|\sec x| + C $$
    $$ \int \cot x , dx = \ln|\sin x| + C $$
    $$ \int \sec x , dx = \ln|\sec x + \tan x| + C $$
    $$ \int \csc x , dx = \ln|\csc x - \cot x| + C = \ln|\tan(x/2)| + C $$

  6. 反三角函数积分:
    $$ \int \frac{1}{\sqrt{1-x^2}} , dx = \arcsin x + C = -\arccos x + C $$
    $$ \int \frac{1}{1+x^2} , dx = \arctan x + C $$
    $$ \int \frac{1}{|x|\sqrt{x^2-1}} , dx = \arccos\frac{1}{|x|} + C $$

  7. 双曲函数积分:
    $$ \int \sinh x , dx = \cosh x + C $$
    $$ \int \cosh x , dx = \sinh x + C $$
    $$ \int \tanh x , dx = \ln(\cosh x) + C $$
    $$ \int \coth x , dx = \ln|\sinh x| + C $$

12.2. 特殊形式积分

  1. 分式积分:
    $$ \int \frac{1}{a^2+x^2} , dx = \frac{1}{a}\arctan\frac{x}{a} + C, \quad (a > 0) $$
    $$ \int \frac{1}{a^2-x^2} , dx = \frac{1}{2a}\ln\left|\frac{a+x}{a-x}\right| + C, \quad (|x| < a) $$
    $$ \int \frac{1}{x^2-a^2} , dx = \frac{1}{2a}\ln\left|\frac{x-a}{x+a}\right| + C, \quad (|x| > a) $$

  2. 根式积分:
    $$ \int \frac{1}{\sqrt{a^2-x^2}} , dx = \arcsin\frac{x}{a} + C, \quad (|x| < a, a > 0) $$
    $$ \int \frac{1}{\sqrt{x^2-a^2}} , dx = \ln|x + \sqrt{x^2-a^2}| + C, \quad (x > a > 0) $$
    $$ \int \frac{1}{\sqrt{x^2+a^2}} , dx = \ln|x + \sqrt{x^2+a^2}| + C, \quad (a > 0) $$
    $$ \int \sqrt{a^2-x^2} , dx = \frac{x\sqrt{a^2-x^2}}{2} + \frac{a^2}{2}\arcsin\frac{x}{a} + C, \quad (|x| < a, a > 0) $$
    $$ \int \sqrt{x^2+a^2} , dx = \frac{x\sqrt{x^2+a^2}}{2} + \frac{a^2}{2}\ln|x + \sqrt{x^2+a^2}| + C, \quad (a > 0) $$
    $$ \int \sqrt{x^2-a^2} , dx = \frac{x\sqrt{x^2-a^2}}{2} - \frac{a^2}{2}\ln|x + \sqrt{x^2-a^2}| + C, \quad (x > a > 0) $$

  3. 特殊乘积结构:
    $$ \int x\sin x , dx = \sin x - x\cos x + C $$
    $$ \int x\cos x , dx = \cos x + x\sin x + C $$
    $$ \int x^n e^x , dx = x^n e^x - n\int x^{n-1}e^x , dx $$
    $$ \int x^n \ln x , dx = \frac{x^{n+1}}{n+1}\ln x - \frac{x^{n+1}}{(n+1)^2} + C, \quad (n \neq -1) $$

  4. 有理三角函数变形:
    $$ \int \sin^2 x , dx = \frac{x}{2} - \frac{\sin 2x}{4} + C $$
    $$ \int \cos^2 x , dx = \frac{x}{2} + \frac{\sin 2x}{4} + C $$
    $$ \int \sin^n x , dx = -\frac{\sin^{n-1}x \cos x}{n} + \frac{n-1}{n}\int \sin^{n-2}x , dx, \quad (n > 1) $$
    $$ \int \cos^n x , dx = \frac{\cos^{n-1}x \sin x}{n} + \frac{n-1}{n}\int \cos^{n-2}x , dx, \quad (n > 1) $$

  5. 平方和与差的积分:
    $$ \int \frac{1}{x^2+a^2} , dx = \frac{1}{a}\arctan\frac{x}{a} + C, \quad (a > 0) $$
    $$ \int \frac{x}{x^2+a^2} , dx = \frac{1}{2}\ln(x^2+a^2) + C $$
    $$ \int \frac{x^2}{x^2+a^2} , dx = x - a\arctan\frac{x}{a} + C, \quad (a > 0) $$

12.3. 特殊定积分

  1. 常见定积分:
    $$ \int_0^{\pi/2} \sin^n x , dx = \int_0^{\pi/2} \cos^n x , dx = \begin{cases}
    \frac{(n-1)!!}{n!!} \cdot \frac{\pi}{2}, & \text{n 为偶数} \
    \frac{(n-1)!!}{n!!}, & \text{n 为奇数}
    \end{cases} $$
    其中 $n!! = n(n-2)(n-4)\cdots$

  2. 对称区间上的奇偶性质:
    $$ \int_{-a}^{a} f(x) , dx = 2\int_0^a f(x) , dx, \quad \text{当 } f \text{ 为偶函数} $$
    $$ \int_{-a}^{a} f(x) , dx = 0, \quad \text{当 } f \text{ 为奇函数} $$

  3. 华里士公式:
    $$ \int_0^{\pi/2} \sin^m x \cos^n x , dx = \frac{1}{2}B\left(\frac{m+1}{2}, \frac{n+1}{2}\right) = \frac{\Gamma\left(\frac{m+1}{2}\right)\Gamma\left(\frac{n+1}{2}\right)}{2\Gamma\left(\frac{m+n+2}{2}\right)} $$
    其中 $B$ 是贝塔函数,$\Gamma$ 是伽马函数

  4. $\Gamma$ 函数相关积分:
    $$ \int_0^{\infty} x^{n-1}e^{-x} , dx = \Gamma(n), \quad (n > 0) $$
    $$ \int_0^{\infty} e^{-x^2} , dx = \frac{\sqrt{\pi}}{2} $$

  5. 重要极限类型定积分:
    $$ \lim_{n \to \infty} \int_0^1 (1-x^n)^n , dx = \frac{1}{e} $$
    $$ \lim_{n \to \infty} \int_0^{\infty} \frac{x^n}{n^{n+1}} e^{-x/n} , dx = 1 $$

12.4. 换元积分法的典型例子

  1. 三角换元:
    $$ \int \sqrt{a^2-x^2} , dx = \frac{a^2}{2}\arcsin\frac{x}{a} + \frac{x\sqrt{a^2-x^2}}{2} + C, \quad (|x| < a) $$
    (令 $x = a\sin t$)

  2. 双曲换元:
    $$ \int \sqrt{x^2+a^2} , dx = \frac{x\sqrt{x^2+a^2}}{2} + \frac{a^2}{2}\ln|x + \sqrt{x^2+a^2}| + C $$
    (令 $x = a\sinh t$)

  3. 有理分式积分:
    $$ \int \frac{1}{(x-a)(x-b)} , dx = \frac{1}{a-b}\ln\left|\frac{x-a}{x-b}\right| + C, \quad (a \neq b) $$
    $$ \int \frac{1}{(x-a)^2} , dx = -\frac{1}{x-a} + C $$

13. Gamma函数

1. Gamma 函数的定义

Gamma 函数的基本定义为:
$$
\Gamma(x) = \int_0^\infty t^{x-1} e^{-t} , dt, \quad x > 0
$$
它是阶乘的连续扩展,并且在所有正实数 $x$ 上收敛。


2. Gamma 函数与阶乘的关系

Gamma 函数在正整数点满足:
$$
\Gamma(n) = (n-1)!
$$
即对于任意正整数 $n$:
$$
\Gamma(n) = \int_0^\infty t^{n-1} e^{-t} , dt = (n-1)!
$$
这表明 Gamma 函数是阶乘的推广,使得非整数的阶乘也可以计算。


3. Gamma 函数的性质

(1) 递推关系

$$
\Gamma(x+1) = x \Gamma(x)
$$
这类似于阶乘的递推公式:
$$
n! = n \times (n-1)!
$$
但适用于所有实数 $x$。

(2) 特殊值

$$
\Gamma(1) = \int_0^\infty e^{-t} dt = 1
$$
$$
\Gamma\left(\frac{1}{2}\right) = \sqrt{\pi}
$$

(3) 反射公式(欧拉反射公式)

$$
\Gamma(x) \Gamma(1-x) = \frac{\pi}{\sin(\pi x)}
$$
这在计算某些特殊值时非常有用。

(4) 斯特林近似公式

对于 $x \to \infty$,Gamma 函数可以近似为:
$$
\Gamma(x) \approx \sqrt{2\pi} x^{x-\frac{1}{2}} e^{-x}
$$
这表明它在大数时的增长速度类似于阶乘。


4. Gamma 函数的应用

(1) 在概率统计中的应用

Gamma 分布的概率密度函数:
$$
f(x; k, \theta) = \frac{x^{k-1} e^{-x/\theta}}{\theta^k \Gamma(k)}
$$
在贝叶斯统计、可靠性分析等领域有重要作用。

(2) 在积分计算中的应用

一个重要的积分公式:
$$
\int_0^\infty x^{s-1} e^{-ax} dx = \frac{\Gamma(s)}{a^s}, \quad a > 0
$$
这在傅里叶变换、Laplace 变换等领域广泛使用。

(3) 物理学中的应用

Gamma 函数出现在玻尔兹曼统计、量子场论等许多物理理论中。例如,在统计物理中,配分函数的计算可能涉及 Gamma 函数。


5. Gamma 函数的推广

Gamma 函数可以推广到复数域,并且除了 $x = 0, -1, -2, -3, \dots$ 这些点(它们是极点),在整个复平面都是解析的。这种推广在复分析和特殊函数理论中非常重要。


总结

  1. Gamma 函数是阶乘的推广,并满足 $\Gamma(n) = (n-1)!$。
  2. 它具有递推关系 $\Gamma(x+1) = x\Gamma(x)$。
  3. 重要特殊值:$\Gamma(1) = 1$,$\Gamma(1/2) = \sqrt{\pi}$。
  4. 反射公式 $\Gamma(x)\Gamma(1-x) = \frac{\pi}{\sin(\pi x)}$。
  5. 斯特林公式可用于近似计算 Gamma 函数。

14. Beta函数

1. Beta 函数的定义

Beta 函数 $B(x, y)$ 是一个重要的特殊函数,定义为:
$$
B(x, y) = \int_0^1 t^{x-1} (1 - t)^{y-1} dt, \quad x > 0, \ y > 0
$$
它在许多数学分析、概率论和物理学问题中有广泛的应用。


2. Beta 函数与 Gamma 函数的关系

Beta 函数可以通过 Gamma 函数表示,其最重要的性质是:
$$
B(x, y) = \frac{\Gamma(x) \Gamma(y)}{\Gamma(x + y)}
$$
其中 $ \Gamma(x) $ 是 Gamma 函数。这一性质表明 Beta 函数可以看作 Gamma 函数的比值。


3. Beta 函数的性质

(1) 对称性

Beta 函数满足交换律,即:
$$
B(x, y) = B(y, x)
$$
这可以直接从定义式中 $t \to (1-t)$ 的变量代换推导出。

(2) 递推关系

Beta 函数的递推关系类似于 Gamma 函数:
$$
B(x+1, y) = \frac{x}{x + y} B(x, y)
$$
$$
B(x, y+1) = \frac{y}{x + y} B(x, y)
$$

(3) 结合积分计算

在计算某些积分时,Beta 函数提供了有用的公式:
$$
\int_0^\infty \frac{t^{x-1}}{(1+t)^{x+y}} dt = B(x, y)
$$
这个积分在概率论和随机变量分析中常见。

(4) 通过 Gamma 函数计算特殊值

利用 $\Gamma(x)$ 的性质,可以计算 $B(x, y)$ 的一些具体值。例如,当 $x = y = 1/2$ 时:
$$
B\left(\frac{1}{2}, \frac{1}{2}\right) = \frac{\Gamma(1/2) \Gamma(1/2)}{\Gamma(1)}
$$
由于 $\Gamma(1/2) = \sqrt{\pi}$,且 $\Gamma(1) = 1$,所以:
$$
B\left(\frac{1}{2}, \frac{1}{2}\right) = \frac{\pi}{\Gamma(1)} = \pi
$$


4. Beta 函数的应用

(1) 在概率论中的应用

Beta 分布是一个常见的概率分布,其概率密度函数(PDF)为:
$$
f(x; \alpha, \beta) = \frac{x^{\alpha - 1} (1 - x)^{\beta - 1}}{B(\alpha, \beta)}, \quad 0 < x < 1
$$
Beta 分布在贝叶斯统计、顺序检验等领域有广泛应用。

(2) 在组合数学中的应用

Beta 函数可以用于计算某些组合数公式,例如:
$$
B(n, m) = \frac{(n-1)! (m-1)!}{(n+m-1)!}
$$
这在组合分析和统计物理中有所应用。

(3) 在积分计算中的应用

Beta 函数常用于计算涉及二项式的积分,例如:
$$
\int_0^1 x^{m-1} (1 - x)^{n-1} dx = B(m, n)
$$
这在数学分析和应用数学中经常出现。


总结

  1. Beta 函数的定义为 $B(x, y) = \int_0^1 t^{x-1} (1 - t)^{y-1} dt$,适用于 $x, y > 0$。
  2. Beta 函数与 Gamma 函数的关系:$B(x, y) = \frac{\Gamma(x) \Gamma(y)}{\Gamma(x + y)}$。
  3. 具有对称性:$B(x, y) = B(y, x)$。
  4. 递推关系:$B(x+1, y) = \frac{x}{x + y} B(x, y)$。
  5. 重要特殊值:$B(1/2, 1/2) = \pi$。
  6. 在概率论(Beta 分布)、组合数学和积分计算中有广泛应用。

15. 向量乘法相关

15.1 向量点乘

向量点乘(内积)是两个向量相乘的一种方式,其结果是一个标量,反映了两个向量在同一方向上的相似程度。它在几何、物理和计算机科学中具有重要应用,如计算投影、夹角以及能量计算等。

给定两个 $n$ 维向量 $\mathbf{A} = (a_1, a_2, \dots, a_n)$ 和 $\mathbf{B} = (b_1, b_2, \dots, b_n)$,它们的点乘定义为:

$$
\mathbf{A} \cdot \mathbf{B} = \sum_{i=1}^{n} a_i b_i
$$

在三维空间中,点乘可以表示为:

$$
\mathbf{A} \cdot \mathbf{B} = a_x b_x + a_y b_y + a_z b_z
$$

重要公式

  1. 代数定义(坐标形式):

$$
\mathbf{A} \cdot \mathbf{B} = \sum_{i=1}^{n} a_i b_i
$$

  1. 几何定义(角度关系):

$$
\mathbf{A} \cdot \mathbf{B} = |\mathbf{A}| |\mathbf{B}| \cos \theta
$$

其中 $|\mathbf{A}|$ 和 $|\mathbf{B}|$ 分别是 $\mathbf{A}$ 和 $\mathbf{B}$ 的模,$\theta$ 是它们之间的夹角。

  1. 单位向量的点乘

$$
\mathbf{i} \cdot \mathbf{i} = \mathbf{j} \cdot \mathbf{j} = \mathbf{k} \cdot \mathbf{k} = 1
$$

$$
\mathbf{i} \cdot \mathbf{j} = \mathbf{j} \cdot \mathbf{k} = \mathbf{k} \cdot \mathbf{i} = 0
$$

  1. 投影公式

    向量 $\mathbf{A}$ 在向量 $\mathbf{B}$ 方向上的投影:
    $$
    \text{proj}_{\mathbf{B}} \mathbf{A} = \frac{\mathbf{A} \cdot \mathbf{B}}{|\mathbf{B}|}
    $$

  2. 正交判别(向量垂直的条件):
    若 $\mathbf{A} \cdot \mathbf{B} = 0$,则 $\mathbf{A}$ 与 $\mathbf{B}$ 垂直。


15.2 向量叉乘

相关概念
向量叉乘(外积)是另一种向量乘法,它适用于三维向量,并且结果是一个新的向量,而不是标量。它在物理(如力矩、磁场计算)和计算机图形学(如法向量计算)中有广泛应用。

给定两个三维向量 $\mathbf{A} = (a_x, a_y, a_z)$ 和 $\mathbf{B} = (b_x, b_y, b_z)$,它们的叉乘 $\mathbf{A} \times \mathbf{B}$ 计算如下:

$$
\mathbf{A} \times \mathbf{B} =
\begin{vmatrix}
\mathbf{i} & \mathbf{j} & \mathbf{k} \\
a_x & a_y & a_z \\
b_x & b_y & b_z
\end{vmatrix}
$$

展开行列式得:

$$
\mathbf{A} \times \mathbf{B} =
\begin{bmatrix}
a_y b_z - a_z b_y \\
a_z b_x - a_x b_z \\
a_x b_y - a_y b_x
\end{bmatrix}
$$

重要公式

  1. 代数定义(坐标形式)

$$
\mathbf{A} \times \mathbf{B} =
\begin{bmatrix}
a_y b_z - a_z b_y \\
a_z b_x - a_x b_z \\
a_x b_y - a_y b_x
\end{bmatrix}
$$

  1. 几何定义(模长)
    叉乘的模长为:

$$
|\mathbf{A} \times \mathbf{B}| = |\mathbf{A}| |\mathbf{B}| \sin \theta
$$

其中 $\theta$ 是 $\mathbf{A}$ 和 $\mathbf{B}$ 之间的夹角。

  • $|\mathbf{A}| |\mathbf{B}| \sin \theta$ 表示 $\mathbf{A}$ 和 $\mathbf{B}$为邻边的平行四边形的面积
  1. 方向判定(右手定则)
    叉乘的方向由右手定则确定:右手四指从 $\mathbf{A}$ 指向 $\mathbf{B}$,大拇指的方向就是 $\mathbf{A} \times \mathbf{B}$ 的方向。

  2. 单位向量的叉乘

$$
\mathbf{i} \times \mathbf{j} = \mathbf{k}, \quad
\mathbf{j} \times \mathbf{k} = \mathbf{i}, \quad
\mathbf{k} \times \mathbf{i} = \mathbf{j}
$$

$$
\mathbf{j} \times \mathbf{i} = -\mathbf{k}, \quad
\mathbf{k} \times \mathbf{j} = -\mathbf{i}, \quad
\mathbf{i} \times \mathbf{k} = -\mathbf{j}
$$

  1. 平行向量的叉乘(零向量):

    若 $\mathbf{A} \parallel \mathbf{B}$,则 $\mathbf{A} \times \mathbf{B} = \mathbf{0}$。

  2. 混合积(体积计算)

    三个向量 $\mathbf{A}, \mathbf{B}, \mathbf{C}$ 组成的平行六面体体积可通过混合积计算:

$$
V = |\mathbf{A} \cdot (\mathbf{B} \times \mathbf{C})|
$$


15.3 总结

  1. 向量点乘

    • 计算公式:$\mathbf{A} \cdot \mathbf{B} = |\mathbf{A}| |\mathbf{B}| \cos \theta$。
    • 结果是一个标量,表示两个向量的相似程度。
    • 用于计算投影、角度、正交性等。
  2. 向量叉乘

    • 计算公式:$\mathbf{A} \times \mathbf{B} = (a_y b_z - a_z b_y, a_z b_x - a_x b_z, a_x b_y - a_y b_x)$。
    • 结果是一个向量,垂直于原向量所在平面。
    • 用于计算法向量、角动量、力矩等。

16. 三维空间的平面方程

在三维空间中,平面是由一点和一个法向量唯一确定的。平面方程可以有不同的表示方式,包括一般式、点法式和截距式,每种形式在不同的应用场景下有不同的优势。

16.1. 一般式

平面的一般式是最常见的平面方程形式,它描述了平面上的所有点满足的一个线性方程。

$$
Ax + By + Cz + D = 0
$$

其中:

  • $(A, B, C)$ 是平面的法向量,表示平面垂直于该方向。
  • $D$ 是常数项,决定了平面与坐标轴的相对位置。
  • 任意在该平面上的点 $(x, y, z)$ 都满足该方程。

特点

  • 通用性强,适用于解析几何和计算交点问题。
  • 法向量 $(A, B, C)$ 直观地表示平面的方向
  • 通过已知三点 $(x_1, y_1, z_1)$, $(x_2, y_2, z_2)$, $(x_3, y_3, z_3)$,可求出平面方程:

$$
\begin{vmatrix}
x - x_1 & y - y_1 & z - z_1 \\
x_2 - x_1 & y_2 - y_1 & z_2 - z_1 \\
x_3 - x_1 & y_3 - y_1 & z_3 - z_1
\end{vmatrix} = 0
$$


16.2. 点法式

平面的点法式(点法向量式)方程由平面上一点和法向量来唯一确定。

$$
A(x - x_0) + B(y - y_0) + C(z - z_0) = 0
$$

其中:

  • $(x_0, y_0, z_0)$ 是已知的平面上一点。
  • $(A, B, C)$ 是平面的法向量,表示平面的方向。

特点

  • 形式直观,直接体现了平面经过某一点,并由法向量决定方向。
  • 适用于已知一点和法向量的情况,如物理中的力场计算。
  • 适用于计算点到平面的距离:

$$
d = \frac{|Ax_1 + By_1 + Cz_1 + D|}{\sqrt{A^2 + B^2 + C^2}}
$$
其中 $(x_1, y_1, z_1)$ 是平外一点。


16.3. 截距式

截距式描述了平面与坐标轴的交点,适用于平面与坐标轴都有交点的情况。

$$
\frac{x}{a} + \frac{y}{b} + \frac{z}{c} = 1
$$

其中:

  • $a, b, c$ 分别是平面在 $x$、$y$ 和 $z$ 轴上的截距,即平面与坐标轴的交点 $(a, 0, 0)$,$(0, b, 0)$,$(0, 0, c)$。

特点

  • 适用于平面与三坐标轴均有交点的情况。
  • 若平面平行于某坐标轴,则该坐标轴方向上的截距不存在,不能使用该公式。
  • 形式简洁,适用于几何分析。

16.4. 总结

  1. 一般式

    • 公式:$Ax + By + Cz + D = 0$。
    • 适用于解析几何计算,法向量 $(A, B, C)$ 直观表示平面方向。
  2. 点法式(点法向量式)

    • 公式:$A(x - x_0) + B(y - y_0) + C(z - z_0) = 0$。
    • 适用于已知一点和法向量的情况,可用于计算点到平面的距离。
  3. 截距式

    • 公式:$\frac{x}{a} + \frac{y}{b} + \frac{z}{c} = 1$。
    • 适用于平面与三坐标轴都有交点的情况,形式直观。

三维空间的平面方程在物理、计算机图形学、工程计算等领域中有广泛应用!

17. 三维空间的直线方程

在三维空间中,直线不再仅由一个斜率描述,而是需要用方向向量或参数来表示。常见的三维直线方程形式包括一般式、点法式和截距式。

17.1. 一般式

一般式是三维直线的隐式方程,它由两个平面的交集表示。由于两个平面唯一确定一条直线,因此可以用两个线性方程组来描述三维直线。

若直线是两个平面方程的交线,则可以表示为:

$$
A_1x + B_1y + C_1z + D_1 = 0
$$

$$
A_2x + B_2y + C_2z + D_2 = 0
$$

其中,$(A_1, B_1, C_1)$ 和 $(A_2, B_2, C_2)$ 分别是两个平面的法向量,两个方程联立可以唯一确定直线。
特点

  • 适用于解析几何中的直线求交问题。
  • 通过解方程组求出直线上的点。
  • 适用于与平面方程配合使用,但不够直观。

17.2. 点法式

点法式(参数方程)使用直线上一点和一个方向向量来唯一确定直线。方向向量 $\mathbf{d} = (l, m, n)$ 表示直线的方向,而直线上一点 $P_0(x_0, y_0, z_0)$ 用于定位。

重要公式
直线的点法式方程(参数方程):

$$
x = x_0 + lt
$$

$$
y = y_0 + mt
$$

$$
z = z_0 + nt
$$

其中:

  • $P_0(x_0, y_0, z_0)$ 是直线上已知的一点。
  • 方向向量 $\mathbf{d} = (l, m, n)$ 决定了直线的方向。
  • $t$ 是参数,表示不同的点。

特点

  • 直观且易于计算,适用于物理和工程中的轨迹问题。
  • 可以直接用于计算直线与平面的交点(代入平面方程)。
  • 方向向量不能为零向量,否则无法确定方向。

17.3. 截距式

截距式描述了直线在各坐标轴上的截距。当直线与坐标轴有明确交点时,可以使用这种形式。

三维空间中的直线截距式可以表示为:

$$
\frac{x}{a} = \frac{y}{b} = \frac{z}{c}
$$

其中:

  • $a, b, c$ 为直线在 $x$、$y$、$z$ 轴上的截距。
  • 若直线经过原点,则该式不适用(因分母不能为零)。

特点

  • 适用于直线与三坐标轴都有交点的情况。
  • 形式简洁,直观显示直线与坐标轴的关系。
  • 不能用于方向向量平行于某坐标轴的情况。

17.4.总结

  1. 一般式

    • 由两个平面方程的交集表示:
      $A_1x + B_1y + C_1z + D_1 = 0$,$A_2x + B_2y + C_2z + D_2 = 0$。
    • 适用于解析几何问题,如直线交点计算。
  2. 点法式(参数方程)

    • 直线上一点 $P_0(x_0, y_0, z_0)$ 和方向向量 $\mathbf{d} = (l, m, n)$。
    • 公式:
      $x = x_0 + lt$,
      $y = y_0 + mt$,
      $z = z_0 + nt$。
    • 适用于运动轨迹和计算交点问题。
  3. 截距式

    • 适用于直线与坐标轴有截距的情况。
    • 公式:$\frac{x}{a} = \frac{y}{b} = \frac{z}{c}$。
    • 不能用于直线经过原点的情况。

18. 平面与平面的关系

在三维空间中,两个平面可以是平行的、相交的或重合的。我们可以通过法向量的关系来判断它们的几何关系,并计算它们的夹角。


18.1. 如何判断两个平面平行

两个平面平行,当且仅当它们的法向量共线,即法向量成比例。

设两个平面方程为:

$$
A_1x + B_1y + C_1z + D_1 = 0
$$

$$
A_2x + B_2y + C_2z + D_2 = 0
$$

若它们的法向量 $\mathbf{n_1} = (A_1, B_1, C_1)$ 和 $\mathbf{n_2} = (A_2, B_2, C_2)$ 成比例,即存在非零常数 $k$ 使得:

$$
(A_2, B_2, C_2) = k (A_1, B_1, C_1)
$$

则两个平面平行。


18.2. 如何判断两个平面垂直

两个平面垂直,当且仅当它们的法向量垂直,即法向量的点积为零。

$$
\mathbf{n_1} \cdot \mathbf{n_2} = A_1 A_2 + B_1 B_2 + C_1 C_2 = 0
$$

若满足此条件,则两个平面垂直。


18.3. 如何计算两个平面的夹角

两个平面的夹角等于它们法向量的夹角,由点积公式计算。

设两个法向量 $\mathbf{n_1}$ 和 $\mathbf{n_2}$ 的夹角为 $\theta$,则:

$$
\cos\theta = \frac{\mathbf{n_1} \cdot \mathbf{n_2}}{|\mathbf{n_1}| |\mathbf{n_2}|}
$$

其中:

  • $|\mathbf{n_1}| = \sqrt{A_1^2 + B_1^2 + C_1^2}$ 是 $\mathbf{n_1}$ 的模长。
  • $|\mathbf{n_2}| = \sqrt{A_2^2 + B_2^2 + C_2^2}$ 是 $\mathbf{n_2}$ 的模长。

19. 直线与直线的关系

在三维空间中,两个直线可以是平行的、相交的或异面的。我们可以通过它们的方向向量来判断它们的关系,并计算夹角。


19.1. 如何判断两条直线平行

两条直线平行,当且仅当它们的方向向量共线,即方向向量成比例。

设两条直线的方向向量分别为 $\mathbf{d_1} = (l_1, m_1, n_1)$ 和 $\mathbf{d_2} = (l_2, m_2, n_2)$,若存在非零常数 $k$ 使得:

$$
(l_2, m_2, n_2) = k (l_1, m_1, n_1)
$$

则两条直线平行。


19.2. 如何判断两条直线垂直

两条直线垂直,当且仅当它们的方向向量垂直,即方向向量的点积为零。

$$
\mathbf{d_1} \cdot \mathbf{d_2} = l_1 l_2 + m_1 m_2 + n_1 n_2 = 0
$$

若满足此条件,则两条直线垂直。


19.3. 如何计算两条直线的夹角

两条直线的夹角等于它们方向向量的夹角,由点积公式计算。

设两条直线的方向向量 $\mathbf{d_1}$ 和 $\mathbf{d_2}$ 夹角为 $\theta$,则:

$$
\cos\theta = \frac{\mathbf{d_1} \cdot \mathbf{d_2}}{|\mathbf{d_1}| |\mathbf{d_2}|}
$$

其中:

  • $|\mathbf{d_1}| = \sqrt{l_1^2 + m_1^2 + n_1^2}$ 是 $\mathbf{d_1}$ 的模长。
  • $|\mathbf{d_2}| = \sqrt{l_2^2 + m_2^2 + n_2^2}$ 是 $\mathbf{d_2}$ 的模长。

20. 直线与平面的关系

直线与平面可能是相交的、平行的或在平面内。我们可以通过方向向量和法向量的关系来判断它们的几何关系,并计算夹角。


20.1. 如何判断直线与平面垂直

直线与平面垂直,当且仅当直线的方向向量与平面的法向量平行,即方向向量成比例。

设直线的方向向量为 $\mathbf{d} = (l, m, n)$,平面的法向量为 $\mathbf{n} = (A, B, C)$,若存在非零常数 $k$ 使得:

$$
(A, B, C) = k (l, m, n)
$$

则直线与平面垂直。


20.2. 如何判断直线在平面上

直线在平面上,当且仅当直线的方向向量与平面的法向量垂直,且直线上一点满足平面方程。

重要公式
(1) 直线的方向向量 $\mathbf{d} = (l, m, n)$ 满足:

$$
\mathbf{d} \cdot \mathbf{n} = lA + mB + nC = 0
$$

(2) 直线上一点 $(x_0, y_0, z_0)$ 代入平面方程:

$$
A x_0 + B y_0 + C z_0 + D = 0
$$

若两者均满足,则直线在平面上。


20.3. 如何求直线和平面的夹角

直线与平面的夹角是指直线方向向量与平面法向量的夹角的补角

设直线方向向量为 $\mathbf{d} = (l, m, n)$,平面法向量为 $\mathbf{n} = (A, B, C)$,夹角 $\theta$ 满足:

$$
\sin\theta = \frac{|\mathbf{d} \cdot \mathbf{n}|}{|\mathbf{d}| |\mathbf{n}|}
$$

其中 $\theta$ 为直线与平面的夹角(取锐角)。

21. 偏导数(partial derivative)

偏导数是多元函数在某一方向上的变化率,描述了函数对某个特定变量的变化率,而其他变量保持不变。


21.1. 偏导数的几何意义

在单变量微积分中,导数表示曲线在某点的切线斜率,而在多元函数中,偏导数描述函数在某个方向上的变化率。

设 $z = f(x, y)$ 是一个二元函数,其偏导数的几何意义为:

  • $\frac{\partial f}{\partial x}$:表示在 $y$ 固定时,函数沿 $x$ 方向的变化率,对应于曲面 $z = f(x, y)$ 在 $x$ 方向的切线斜率。
  • $\frac{\partial f}{\partial y}$:表示在 $x$ 固定时,函数沿 $y$ 方向的变化率,对应于曲面 $z = f(x, y)$ 在 $y$ 方向的切线斜率。

偏导数的定义:

$$
\frac{\partial f}{\partial x} = \lim\limits_{h \to 0} \frac{f(x+h, y) - f(x, y)}{h}
$$

$$
\frac{\partial f}{\partial y} = \lim\limits_{h \to 0} \frac{f(x, y+h) - f(x, y)}{h}
$$

若 $f(x, y)$ 可微,则其全微分为:

$$
dz = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy
$$

表示函数在 $x$ 和 $y$ 方向上的变化综合作用。


21.2. 多元函数求偏导数

在求偏导数时,只对指定的变量求导,将其他变量视为常数。例如:

  • 求 $\frac{\partial f}{\partial x}$ 时,$y$ 视为常数;
  • 求 $\frac{\partial f}{\partial y}$ 时,$x$ 视为常数。

设 $f(x, y) = x^2y + e^x \sin y$,则:

$$
\frac{\partial f}{\partial x} = 2xy + e^x \sin y
$$

$$
\frac{\partial f}{\partial y} = x^2 + e^x \cos y
$$

若 $f(x, y, z) = x^2 y + yz^3 + \ln z$,则:

$$
\frac{\partial f}{\partial x} = 2xy
$$

$$
\frac{\partial f}{\partial y} = x^2 + z^3
$$

$$
\frac{\partial f}{\partial z} = 3yz^2 + \frac{1}{z}
$$


21.3. 偏导数的链式法则

当 $z = f(x, y)$ 且 $x, y$ 由另一个变量 $t$ 变化时,可以使用链式法则计算 $z$ 对 $t$ 的变化率。

重要公式
(1) 单参数情况
若 $x = x(t)$,$y = y(t)$,则:

$$
\frac{dz}{dt} = \frac{\partial f}{\partial x} \frac{dx}{dt} + \frac{\partial f}{\partial y} \frac{dy}{dt}
$$

(2) 多参数情况
若 $z = f(x, y)$,其中 $x = x(u, v)$,$y = y(u, v)$,则:

$$
\frac{\partial z}{\partial u} = \frac{\partial f}{\partial x} \frac{\partial x}{\partial u} + \frac{\partial f}{\partial y} \frac{\partial y}{\partial u}
$$

$$
\frac{\partial z}{\partial v} = \frac{\partial f}{\partial x} \frac{\partial x}{\partial v} + \frac{\partial f}{\partial y} \frac{\partial y}{\partial v}
$$

偏导数

示例
设 $z = x^2 + xy$,其中 $x = t^2, y = e^t$,则:

$$
\frac{\partial f}{\partial x} = 2x + y, \quad \frac{\partial f}{\partial y} = x
$$

$$
\frac{dx}{dt} = 2t, \quad \frac{dy}{dt} = e^t
$$

则:

$$
\frac{dz}{dt} = (2x + y) \cdot 2t + x \cdot e^t
$$

代入 $x = t^2, y = e^t$,得:

$$
\frac{dz}{dt} = (2t^2 + e^t) \cdot 2t + t^2 e^t
$$

总结

  1. 偏导数描述多元函数在某个方向上的变化率,几何上表示曲面的切线斜率。
  2. 求偏导时,仅对指定变量求导,其余变量视为常数。
  3. 偏导数的链式法则用于计算复合函数的变化率,在多元微积分和物理中广泛应用。

22. 二元函数的极值判断

在二元函数 $f(x, y)$ 中,极值点是使函数达到局部最大值或最小值的点。我们可以通过 二阶偏导数判别法(即 $\Delta$ 方法)来判断极值。


22.1. 关键概念

设 $f(x, y)$ 是二元可微函数,若在点 $(x_0, y_0)$ 处有:

$$
\frac{\partial f}{\partial x} = 0, \quad \frac{\partial f}{\partial y} = 0
$$

则称 $(x_0, y_0)$ 为驻点(临界点),可能是极大值、极小值或鞍点。

为了进一步判断驻点的性质,需要计算 二阶偏导数判别式

$$
\Delta = f_{xx} f_{yy} - (f_{xy})^2
$$

其中:

  • $f_{xx} = \frac{\partial^2 f}{\partial x^2}$ 是 $x$ 方向的二阶偏导数。
  • $f_{yy} = \frac{\partial^2 f}{\partial y^2}$ 是 $y$ 方向的二阶偏导数。
  • $f_{xy} = \frac{\partial^2 f}{\partial x \partial y}$ 是混合偏导数。

22.2. 极值判断方法($\Delta$ 方法)

  1. 若 $\Delta > 0$ 且 $f_{xx} > 0$,则 $(x_0, y_0)$ 为局部极小值。
  2. 若 $\Delta > 0$ 且 $f_{xx} < 0$,则 $(x_0, y_0)$ 为局部极大值。
  3. 若 $\Delta < 0$,则 $(x_0, y_0)$ 为鞍点(既不是极大值也不是极小值)。
  4. 若 $\Delta = 0$,无法判断,需要进一步分析。

22.3. 重要公式

  • 一阶条件(求驻点):

    $$
    \frac{\partial f}{\partial x} = 0, \quad \frac{\partial f}{\partial y} = 0
    $$

  • 二阶判别式(判断极值):

    $$
    \Delta = f_{xx} f_{yy} - (f_{xy})^2
    $$
    根据 $\Delta$ 的取值判断极值类型。


22.4. 示例

例 1:判断函数 $f(x, y) = x^3 + y^3 - 3xy$ 的极值*

第一步:求驻点

计算一阶偏导数:

$$
f_x = 3x^2 - 3y = 0
$$

$$
f_y = 3y^2 - 3x = 0
$$

解方程组:

$$
\begin{cases}
3x^2 - 3y = 0 \quad \Rightarrow \quad y = x^2 \\
3y^2 - 3x = 0 \quad \Rightarrow \quad x = y^2
\end{cases}
$$

代入 $y = x^2$ 到 $x = y^2$:

$$
x = (x^2)^2 = x^4
$$

即:

$$
x^4 - x = 0 \quad \Rightarrow \quad x(x^3 - 1) = 0
$$

解得:

$$
x = 0, \quad x = 1, \quad x = -1
$$

代入 $y = x^2$:

$$
(0,0), \quad (1,1), \quad (-1,1)
$$

第二步:计算二阶偏导数

$$
f_{xx} = 6x, \quad f_{yy} = 6y, \quad f_{xy} = -3
$$

计算 $\Delta$:

$$
\Delta = f_{xx} f_{yy} - (f_{xy})^2 = (6x)(6y) - (-3)^2
$$

第三步:判断极值

  • 点 $(0,0)$:

    $$
    \Delta = (6 \cdot 0)(6 \cdot 0) - (-3)^2 = -9 < 0
    $$

    由于 $\Delta < 0$,$(0,0)$ 是鞍点

  • 点 $(1,1)$:

    $$
    \Delta = (6 \cdot 1)(6 \cdot 1) - (-3)^2 = 36 - 9 = 27 > 0
    $$

    由于 $\Delta > 0$ 且 $f_{xx} = 6 > 0$,$(1,1)$ 是局部极小值

  • 点 $(-1,1)$:

    $$
    \Delta = (6 \cdot (-1))(6 \cdot 1) - (-3)^2 = -36 - 9 = -45 < 0
    $$

    由于 $\Delta < 0$,$(-1,1)$ 也是鞍点


总结

  1. 求驻点:令 $\frac{\partial f}{\partial x} = 0, \frac{\partial f}{\partial y} = 0$,解方程组。
  2. 计算二阶偏导数:$f_{xx}, f_{yy}, f_{xy}$。
  3. 计算 $\Delta = f_{xx} f_{yy} - (f_{xy})^2$ 并判断极值:
    • 若 $\Delta > 0$ 且 $f_{xx} > 0$,则是局部极小值
    • 若 $\Delta > 0$ 且 $f_{xx} < 0$,则是局部极大值
    • 若 $\Delta < 0$,则是鞍点
    • 若 $\Delta = 0$,需进一步分析。

23. 梯度(Gradient)

在微积分中,梯度(Gradient)描述的是一个多元函数在某一点处的最大变化率及其方向。梯度是一个向量,表示函数在该点的最陡上升方向。

设 $f(x,y)$ 是一个二元函数,其梯度记为 $\nabla f$(nabla 读作“纳布拉”),定义如下:

$$
\nabla f = \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right)
$$

若 $f$ 是三元函数 $f(x,y,z)$,其梯度则为:

$$
\nabla f = \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, \frac{\partial f}{\partial z} \right)
$$

梯度的几何意义
梯度向量 $\nabla f$ 指向函数值增长最快的方向,其模长 $|\nabla f|$ 代表该方向上的最大变化率。

  • 若 $\nabla f = 0$,则函数在该点处达到极值或是一个平稳点。
  • 梯度的方向与等高线(即 $f(x,y) = c$ 的曲线)垂直。

梯度的应用:

  • 最速上升方向:梯度的方向是函数增长最快的方向。

  • 法向量:在某点 $(x_0, y_0)$ 处,$\nabla f(x_0, y_0)$ 代表等高线 $f(x,y) = c$ 的法向量。

  • 方向导数:沿任意方向 $\mathbf{v} = (v_x, v_y)$ 的变化率可由梯度计算:

    $$
    D_{\mathbf{v}} f = \nabla f \cdot \mathbf{v} = \frac{\partial f}{\partial x} v_x + \frac{\partial f}{\partial y} v_y
    $$


示例
设 $f(x,y) = x^2 + y^2$,计算其梯度:
$$
\nabla f = \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right) = (2x, 2y)
$$

在点 $(1,2)$ 处:

$$
\nabla f(1,2) = (2,4)
$$

表示该点处函数增长最快的方向为 $(2,4)$,即沿着该方向移动时 $f(x,y)$ 变化最快。

总结

  1. 梯度的定义:$\nabla f = (\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, \cdots)$
  2. 梯度的几何意义:指向函数值增长最快的方向,且与等高线垂直。
  3. 梯度的应用
    • 确定最速上升方向
    • 计算方向导数
    • 作为等高线的法向量

24. 散度(Divergence)

在微积分中,散度(Divergence) 描述的是一个向量场在某一点的“发散”或“汇聚”程度。它衡量的是向量场的体积膨胀或收缩趋势。

设 $\mathbf{F}$ 是一个三维向量场:

$$
\mathbf{F} = (P, Q, R)
$$

其中 $P, Q, R$ 分别是 $x, y, z$ 的函数,则散度(记作 $\nabla \cdot \mathbf{F}$)定义为:

$$
\nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}
$$

若 $\mathbf{F}$ 是二维向量场 $\mathbf{F} = (P, Q)$,则散度为:

$$
\nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y}
$$

24.1. 散度的物理意义

  • 正散度($\nabla \cdot \mathbf{F} > 0$):向量场在该点处“发散”,即周围有“源”。
  • 负散度($\nabla \cdot \mathbf{F} < 0$):向量场在该点处“汇聚”,即周围有“汇”。
  • 零散度($\nabla \cdot \mathbf{F} = 0$):表示该点附近没有净体积膨胀或收缩。

24.2. 示例

设向量场:
$$
\mathbf{F} = (x^2, y^2, z^2)
$$
计算散度:
$$
\nabla \cdot \mathbf{F} = \frac{\partial}{\partial x} (x^2) + \frac{\partial}{\partial y} (y^2) + \frac{\partial}{\partial z} (z^2)
$$
$$
= 2x + 2y + 2z
$$
在点 $(1,1,1)$ 处:
$$
\nabla \cdot \mathbf{F} = 2(1) + 2(1) + 2(1) = 6
$$
表示该点处的向量场有较强的发散趋势。


24.3 总结

  1. 散度的定义
    $$
    \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}
    $$
  2. 散度的几何意义
    • $\nabla \cdot \mathbf{F} > 0$:源(向外发散)。
    • $\nabla \cdot \mathbf{F} < 0$:汇(向内收缩)。
    • $\nabla \cdot \mathbf{F} = 0$:无散场。
  3. 散度的应用
    • 流体力学:表示流体的局部膨胀或压缩。
    • 电磁学:高斯定理用于描述电场的散度。
    • 向量场分析:判断向量场是否为无散场。

25. 旋度(Curl)

在微积分中,旋度(Curl)描述的是一个向量场在某一点的旋转绕流程度。它衡量的是向量场的局部旋转趋势,即围绕某点的小范围流体是否存在旋转效应。

设 $\mathbf{F}$ 是三维向量场:

$$
\mathbf{F} = (P, Q, R)
$$

其中 $P, Q, R$ 分别是 $x, y, z$ 的函数,则旋度(记作 $\nabla \times \mathbf{F}$)定义为:

$$
\nabla \times \mathbf{F} =
\begin{vmatrix}
\mathbf{i} & \mathbf{j} & \mathbf{k} \\
\frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\
P & Q & R
\end{vmatrix}
$$

展开行列式后:

$$
\nabla \times \mathbf{F} =
\left(
\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z},
\frac{\partial P}{\partial z} - \frac{\partial R}{\partial x},
\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}
\right)
$$

若 $\mathbf{F}$ 是二维向量场 $\mathbf{F} = (P, Q)$,则旋度可以写为:

$$
\nabla \times \mathbf{F} = \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}
$$

此时旋度是一个标量,而在三维中旋度是一个向量

25.1. 旋度的几何意义

  • $\nabla \times \mathbf{F} \neq 0$:向量场在该点附近存在旋转趋势,表示局部旋转效应。
  • $\nabla \times \mathbf{F} = 0$:向量场在该点附近无旋转趋势,即场是无旋场

旋度的方向给出流体旋转的轴向方向,而旋度的模长表示旋转的强度。

25.2. 示例

设向量场:

$$
\mathbf{F} = (y, -x, 0)
$$

计算旋度:
$$
\nabla \times \mathbf{F} =
\begin{vmatrix}
\mathbf{i} & \mathbf{j} & \mathbf{k} \\
\frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\
y & -x & 0
\end{vmatrix}
$$

$$
= \left( \frac{\partial 0}{\partial y} - \frac{\partial (-x)}{\partial z}, \frac{\partial y}{\partial z} - \frac{\partial 0}{\partial x}, \frac{\partial (-x)}{\partial x} - \frac{\partial y}{\partial y} \right)
$$

$$
= (0 - 0, 0 - 0, -1 - 1) = (0,0,-2)
$$
表示该向量场在 $z$ 方向上有一个逆时针旋转的趋势。


25.3. 总结

  1. 旋度的定义

  2. $$
    \nabla \times \mathbf{F} =
    \begin{vmatrix}
    \mathbf{i} & \mathbf{j} & \mathbf{k} \\
    \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\
    P & Q & R
    \end{vmatrix}
    $$

  3. 旋度的几何意义

    • $\nabla \times \mathbf{F} \neq 0$:表示向量场具有旋转趋势。
    • $\nabla \times \mathbf{F} = 0$:表示无旋场。
  4. 旋度的应用

    • 流体力学:判断流体是否有旋转效应。
    • 电磁学:麦克斯韦方程描述电磁场的旋度。
    • 向量场分析:判断向量场是否可由势函数表示。

26. 雅可比行列式(Jacobian Determinant)

在微积分和向量分析中,雅可比行列式(Jacobian Determinant) 描述了多元函数的局部伸缩变换程度。它用于坐标变换、隐函数定理和多重积分的变量代换。

设一个向量值函数:

$$
\mathbf{F}(x_1, x_2, \dots, x_n) = (f_1, f_2, \dots, f_n)
$$

其中,每个 $f_i$ 是 $n$ 个变量的函数,则 雅可比矩阵(Jacobian Matrix) 定义为:

$$
J =
\begin{bmatrix}
\frac{\partial f_1}{\partial x_1} & \frac{\partial f_1}{\partial x_2} & \dots & \frac{\partial f_1}{\partial x_n} \\
\frac{\partial f_2}{\partial x_1} & \frac{\partial f_2}{\partial x_2} & \dots & \frac{\partial f_2}{\partial x_n} \\
\vdots & \vdots & \ddots & \vdots \\
\frac{\partial f_n}{\partial x_1} & \frac{\partial f_n}{\partial x_2} & \dots & \frac{\partial f_n}{\partial x_n}
\end{bmatrix}
$$

雅可比行列式(Jacobian Determinant)定义为:

$$
\det(J) = \begin{vmatrix}
\frac{\partial f_1}{\partial x_1} & \frac{\partial f_1}{\partial x_2} & \dots & \frac{\partial f_1}{\partial x_n} \\
\frac{\partial f_2}{\partial x_1} & \frac{\partial f_2}{\partial x_2} & \dots & \frac{\partial f_2}{\partial x_n} \\
\vdots & \vdots & \ddots & \vdots \\
\frac{\partial f_n}{\partial x_1} & \frac{\partial f_n}{\partial x_2} & \dots & \frac{\partial f_n}{\partial x_n}
\end{vmatrix}
$$

26.1. 雅可比行列式的几何意义

  • $\det(J) > 0$:局部变换保持方向(不翻转)。
  • $\det(J) < 0$:局部变换导致翻转(如镜像变换)。
  • $\det(J) = 0$:变换在该点处不可逆(例如折叠或压缩成低维结构)。

雅可比行列式的绝对值 $|\det(J)|$ 表示变换前后体积的局部伸缩比例。在变量替换的积分计算中,它用于调整体积元素。

26.2. 示例

设二维坐标变换:

$$
x = r\cos\theta, \quad y = r\sin\theta
$$

$$
\det(J) =
\begin{vmatrix}
\cos\theta & -r\sin\theta \\
\sin\theta & r\cos\theta
\end{vmatrix}
= r(\cos^2\theta + \sin^2\theta) = r
$$

在极坐标积分中,$dx,dy$ 需要乘以 $|\det(J)| = r$,即:

$$
dx,dy = r , dr , d\theta
$$


26.3 总结

  1. 雅可比矩阵定义

    $$
    J = \left[ \frac{\partial f_i}{\partial x_j} \right]
    $$

  2. 雅可比行列式的意义

    • $\det(J) > 0$:变换保持方向。
    • $\det(J) < 0$:变换翻转方向。
    • $\det(J) = 0$:变换不可逆。
  3. 雅可比行列式的应用

    • 积分变换:极坐标、球坐标等。
    • 隐函数定理:判断方程组是否可解。
    • 几何分析:研究曲面的局部伸缩。

27. 二元函数的泰勒展开

在数学分析中,泰勒展开(Taylor Expansion)用于用多项式逼近光滑函数。对于二元函数 $f(x, y)$,泰勒展开可以表示它在某一点的局部近似。

设 $f(x, y)$ 在点 $(a, b)$ 处具有足够高阶的连续偏导数,则它的 二阶泰勒展开式 为:

$$
f(x, y) \approx f(a, b) + f_x (a, b) (x - a) + f_y (a, b) (y - b)
$$

$$
+\frac{1}{2} \left[ f_{xx} (a, b) (x - a)^2 + 2 f_{xy} (a, b) (x - a)(y - b) + f_{yy} (a, b) (y - b)^2 \right]
$$

其中:

  • $f_x = \frac{\partial f}{\partial x}$,$f_y = \frac{\partial f}{\partial y}$ 表示一阶偏导数
  • $f_{xx} = \frac{\partial^2 f}{\partial x^2}$,$f_{yy} = \frac{\partial^2 f}{\partial y^2}$,$f_{xy} = \frac{\partial^2 f}{\partial x \partial y}$ 表示二阶偏导数

更一般地,n 阶泰勒展开可以写成:
$$
T_n(x, y) = \sum_{i+j \leq n} \frac{1}{i!j!} \frac{\partial^{i+j} f}{\partial x^i \partial y^j} (a, b) (x - a)^i (y - b)^j
$$
其中求和范围是 $i + j \leq n$,即所有偏导数阶数之和不超过 $n$。


27.2 几何意义

  • 一阶展开 仅包含线性项,对应于函数在 $(a,b)$ 处的切平面
  • 二阶展开 包含二次项,可以更准确地逼近函数,对应于二次曲面
  • 高阶展开 可以更精确地近似 $f(x, y)$,但计算复杂度更高。

应用

  • 函数近似:用低阶多项式代替复杂函数,简化计算。
  • 优化问题:二阶泰勒展开用于分析临界点,判断极值(如 Hessian 矩阵)。
  • 物理建模:在流体力学、量子力学等领域,用于研究微小扰动。

27.3. 示例

设函数:
$$
f(x, y) = e^x \cos y
$$
在点 $(0,0)$ 处的二阶泰勒展开:

  1. 计算函数值:
    $$
    f(0,0) = e^0 \cos 0 = 1
    $$
  2. 计算一阶偏导数:
    $$
    f_x = e^x \cos y, \quad f_x(0,0) = 1
    $$
    $$
    f_y = -e^x \sin y, \quad f_y(0,0) = 0
    $$
  3. 计算二阶偏导数:
    $$
    f_{xx} = e^x \cos y, \quad f_{xx}(0,0) = 1
    $$
    $$
    f_{yy} = -e^x \cos y, \quad f_{yy}(0,0) = -1
    $$
    $$
    f_{xy} = -e^x \sin y, \quad f_{xy}(0,0) = 0
    $$
  4. 代入二阶泰勒公式:
    $$
    f(x, y) \approx 1 + x + \frac{1}{2} (x^2 - y^2)
    $$

27.4. 总结

  1. 一阶泰勒展开
    $$
    f(x, y) \approx f(a, b) + f_x (a, b) (x - a) + f_y (a, b) (y - b)
    $$
  2. 二阶泰勒展开
    $$
    f(x, y) \approx f(a, b) + f_x (a, b) (x - a) + f_y (a, b) (y - b)
    $$
    $$
    +\frac{1}{2} \left[ f_{xx} (a, b) (x - a)^2 + 2 f_{xy} (a, b) (x - a)(y - b) + f_{yy} (a, b) (y - b)^2 \right]
    $$
  3. 应用
    • 函数近似
    • 极值判断
    • 物理建模

28. 计算曲线长度

在微积分中,曲线的长度(弧长)可以通过积分计算。我们通常使用参数方程极坐标方程来描述曲线,并根据不同的表达方式推导相应的弧长公式。


28.1. 采用参数方程的曲线长度

若曲线由参数方程:
$$
x = x(t), \quad y = y(t), \quad t \in [a, b]
$$
给出,则其弧长 $L$ 由以下积分计算:
$$
L = \int_a^b \sqrt{\left( \frac{dx}{dt} \right)^2 + \left( \frac{dy}{dt} \right)^2} , dt
$$
其中:

  • $\frac{dx}{dt}$ 和 $\frac{dy}{dt}$ 分别是 $x$ 和 $y$ 对 $t$ 的导数。
  • 积分的上限和下限 $a, b$ 是参数 $t$ 的取值范围。

示例
计算圆的四分之一弧长,参数方程:
$$
x = r\cos t, \quad y = r\sin t, \quad t \in [0, \frac{\pi}{2}]
$$
计算导数:
$$
\frac{dx}{dt} = -r\sin t, \quad \frac{dy}{dt} = r\cos t
$$
代入公式:
$$
L = \int_0^{\frac{\pi}{2}} \sqrt{(-r\sin t)^2 + (r\cos t)^2} , dt
$$
$$
= \int_0^{\frac{\pi}{2}} \sqrt{r^2 (\sin^2 t + \cos^2 t)} , dt
$$
$$
= \int_0^{\frac{\pi}{2}} r , dt = r \frac{\pi}{2}
$$
因此,圆的四分之一弧长为:
$$
\frac{\pi r}{2}
$$


28.2. 采用极坐标方程的曲线长度

若曲线由极坐标方程:
$$
r = f(\theta), \quad \theta \in [\alpha, \beta]
$$
给出,则其弧长 $L$ 由以下积分计算:
$$
L = \int_\alpha^\beta \sqrt{ \left( \frac{dr}{d\theta} \right)^2 + r^2 } , d\theta
$$
其中:

  • $r = f(\theta)$ 是极坐标曲线的方程。
  • $\frac{dr}{d\theta}$ 是 $r$ 对 $\theta$ 的导数。

示例
计算螺旋线 $r = a\theta$ 在 $\theta \in [0, 2\pi]$ 上的弧长:

  1. 计算导数:
    $$
    \frac{dr}{d\theta} = a
    $$
  2. 代入弧长公式:
    $$
    L = \int_0^{2\pi} \sqrt{ a^2 + (a\theta)^2 } , d\theta
    $$
    $$
    = \int_0^{2\pi} \sqrt{ a^2(1 + \theta^2) } , d\theta
    $$

该积分一般需要数值方法计算。


28.3. 总结

  1. 参数方程的弧长公式
    $$
    L = \int_a^b \sqrt{\left( \frac{dx}{dt} \right)^2 + \left( \frac{dy}{dt} \right)^2} , dt
    $$

    • 适用于参数化曲线
    • 计算需要求 $x$ 和 $y$ 对参数 $t$ 的导数。
  2. 极坐标方程的弧长公式
    $$
    L = \int_\alpha^\beta \sqrt{ \left( \frac{dr}{d\theta} \right)^2 + r^2 } , d\theta
    $$

    • 适用于极坐标曲线
    • 计算需要求 $r$ 对 $\theta$ 的导数。
  3. 应用

    • 计算螺旋线、圆弧、摆线等曲线的长度。
    • 物理应用:如卫星轨道、波长计算等。

29. 计算平面面积

在微积分中,平面区域的面积可以通过积分计算。根据曲线的表达方式,我们可以使用参数方程极坐标方程来推导面积公式。


29.1. 采用参数方程计算面积

若区域由参数方程
$$
x = x(t), \quad y = y(t), \quad t \in [a, b]
$$
给出,我们可以利用格林公式计算面积:
$$
A = \int_a^b x(t) \frac{dy}{dt} , dt
$$
或者:
$$
A = -\int_a^b y(t) \frac{dx}{dt} , dt
$$
其中:

  • $\frac{dx}{dt}$ 和 $\frac{dy}{dt}$ 是 $x$ 和 $y$ 对 $t$ 的导数。

示例
椭圆 $\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$ 的面积,参数方程:
$$
x = a\cos t, \quad y = b\sin t, \quad t \in [0, 2\pi]
$$
计算导数:
$$
\frac{dy}{dt} = b\cos t
$$
代入面积公式:
$$
A = \int_0^{2\pi} a\cos t \cdot b\cos t , dt
$$
$$
= ab \int_0^{2\pi} \cos^2 t , dt
$$
利用 $\int_0^{2\pi} \cos^2 t , dt = \pi$,得:
$$
A = ab\pi
$$
这与椭圆面积公式 $A = \pi ab$ 一致。


29.2. 采用极坐标方程计算面积

若区域由极坐标方程
$$
r = f(\theta), \quad \theta \in [\alpha, \beta]
$$
给出,则面积 $A$ 由以下积分计算:
$$
A = \frac{1}{2} \int_\alpha^\beta r^2 , d\theta
$$
其中:

  • $r = f(\theta)$ 是极坐标曲线的方程。

示例
极坐标方程 $r = a\cos\theta$ 代表的心形曲线的面积:

  1. 取对称区域 $0 \leq \theta \leq \pi/2$ 计算面积:
    $$
    A = \frac{1}{2} \int_0^{\frac{\pi}{2}} (a\cos\theta)^2 , d\theta
    $$
  2. 计算积分:
    $$
    A = \frac{a^2}{2} \int_0^{\frac{\pi}{2}} \cos^2\theta , d\theta
    $$
    利用 $\int \cos^2 \theta , d\theta = \frac{\theta}{2} + \frac{\sin 2\theta}{4}$,计算:
    $$
    A = \frac{a^2}{2} \left( \frac{\pi}{4} + 0 \right) = \frac{a^2\pi}{8}
    $$
  3. 由于曲线关于 $x$ 轴对称,完整的面积为:
    $$
    A_{\text{总}} = 4 \times \frac{a^2\pi}{8} = \frac{a^2\pi}{2}
    $$

29.3. 总结

  1. 参数方程的面积公式
    $$
    A = \int_a^b x(t) \frac{dy}{dt} , dt
    $$

    $$
    A = -\int_a^b y(t) \frac{dx}{dt} , dt
    $$

    • 适用于参数化曲线围成的区域
    • 计算时需要求 $x$ 和 $y$ 对 $t$ 的导数。
  2. 极坐标方程的面积公式
    $$
    A = \frac{1}{2} \int_\alpha^\beta r^2 , d\theta
    $$

    • 适用于极坐标描述的封闭曲线
    • 计算时需要对 $r^2$ 进行积分。
  3. 应用

    • 计算椭圆、心形曲线、玫瑰曲线等的面积。
    • 物理应用:如天文学中的行星轨道面积计算等。

30. 圆锥曲线

设圆锥曲线的一般方程为:
$$
Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0
$$

将 $f(x, y)$ 写为上面圆锥曲线的一般式,可以求偏导:

  • $\frac{\partial f}{\partial x} = 2Ax + By + D$
  • $\frac{\partial f}{\partial y} = 2Cy + Bx + E$

于是,代入点 $(x_0, y_0)$,切线方程为:
$$
(2Ax_0 + By_0 + D)(x - x_0) + (2Cy_0 + Bx_0 + E)(y - y_0) = 0
$$

30.1 椭圆的切线

求椭圆 $\displaystyle \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$ 在点 $(x_0, y_0)$ 处的切线。

将椭圆方程改写为标准形式:
$$
f(x, y) = \frac{x^2}{a^2} + \frac{y^2}{b^2} - 1 = 0
$$

对 $x$、$y$ 分别求偏导:

  • $\frac{\partial f}{\partial x} = \frac{2x}{a^2}$
  • $\frac{\partial f}{\partial y} = \frac{2y}{b^2}$

代入点 $(x_0, y_0)$,切线方程为:
$$
\frac{2x_0}{a^2}(x - x_0) + \frac{2y_0}{b^2}(y - y_0) = 0
$$

整理得:
$$
\frac{x_0x}{a^2} + \frac{y_0y}{b^2} = 1
$$

这就是椭圆在点 $(x_0, y_0)$ 处的切线方程


30.2 抛物线的切线公式

设标准抛物线为:
$$
y^2 = 2px
$$

将其写为隐函数形式:
$$
f(x, y) = y^2 - 2px = 0
$$

求偏导数:

  • $\frac{\partial f}{\partial x} = -2p$
  • $\frac{\partial f}{\partial y} = 2y$

根据切线公式代入得:
$$
(-2p)(x - x_0) + 2y_0(y - y_0) = 0
$$

整理得:
$$
y_0 y = p(x + x_0)
$$

这就是抛物线 $y^2 = 2px$ 在点 $(x_0, y_0)$ 的切线方程


30.3 双曲线的切线公式

设标准双曲线为:
$$
\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1
$$

写为隐函数形式:
$$
f(x, y) = \frac{x^2}{a^2} - \frac{y^2}{b^2} - 1 = 0
$$

求偏导:

  • $\frac{\partial f}{\partial x} = \frac{2x}{a^2}$
  • $\frac{\partial f}{\partial y} = -\frac{2y}{b^2}$

代入切线公式:
$$
\frac{2x_0}{a^2}(x - x_0) - \frac{2y_0}{b^2}(y - y_0) = 0
$$

整理得:
$$
\frac{x_0 x}{a^2} - \frac{y_0 y}{b^2} = 1
$$

这就是双曲线 $\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1$ 在点 $(x_0, y_0)$ 的切线方程

31. 定积分求导

设函数 $f(x, t)$ 关于 $t$ 可积,且在 $x$ 上也具有适当的可导性质。考虑以下形式的积分函数:
$$
F(x) = \int_{a}^{b} f(x, t) , dt
$$

31.1 常数上下限的定积分求导(换序法则)

若 $f(x, t)$ 在 $x$ 关于导数存在,且在 $[a, b]$ 关于 $t$ 连续,则:
$$
\frac{d}{dx} \left( \int_a^b f(x, t) , dt \right) = \int_a^b \frac{\partial f}{\partial x}(x, t) , dt
$$

这称为「在积分号内求导」的法则。

示例 1

计算:
$$
\frac{d}{dx} \left( \int_0^1 x t^2 , dt \right)
$$

我们有:
$$
f(x, t) = x t^2 \quad \Rightarrow \quad \frac{\partial f}{\partial x} = t^2
$$

所以:
$$
\frac{d}{dx} \left( \int_0^1 x t^2 , dt \right) = \int_0^1 t^2 , dt = \frac{1}{3}
$$


31.2 变上限积分函数的导数(基本形式)

设:
$$
F(x) = \int_a^x f(t) , dt
$$

若 $f(t)$ 在 $[a, x]$ 上连续,则:
$$
\frac{dF}{dx} = f(x)
$$

这就是著名的「微积分基本定理」的一个形式。

示例 2

设:
$$
F(x) = \int_1^x \ln t , dt
$$

则:
$$
F’(x) = \ln x
$$


31.3 上下限都为函数的情形(莱布尼茨公式)

若:
$$
F(x) = \int_{u(x)}^{v(x)} f(x, t) , dt
$$

则导数为:
$$
F’(x) = f(x, v(x)) \cdot v’(x) - f(x, u(x)) \cdot u’(x) + \int_{u(x)}^{v(x)} \frac{\partial f}{\partial x}(x, t) , dt
$$

这是最一般形式的定积分求导公式(莱布尼茨公式)。

示例 3

设:
$$
F(x) = \int_{x}^{x^2} \sin t , dt
$$

此时:

  • $u(x) = x \Rightarrow u’(x) = 1$
  • $v(x) = x^2 \Rightarrow v’(x) = 2x$
  • $f(t) = \sin t$

代入公式得:
$$
F’(x) = \sin(x^2) \cdot 2x - \sin(x) \cdot 1 = 2x\sin(x^2) - \sin x
$$

32. 常见三角函数的积、商、幂的积分整理表

三角代换在处理以下三类无理根号表达式的定积分中非常有效:

一、遇到 $\sqrt{a^2 - x^2}$ 类型

令 $x = a\sin\theta$,$\theta \in \left[-\frac{\pi}{2}, \frac{\pi}{2}\right]$

代换后:
$$
\sqrt{a^2 - x^2} = \sqrt{a^2 - a^2\sin^2\theta} = a\cos\theta
$$

示例 1

计算:
$$
\int_0^a \sqrt{a^2 - x^2} , dx
$$

令 $x = a\sin\theta$,则 $dx = a\cos\theta, d\theta$

当 $x = 0 \Rightarrow \theta = 0$,$x = a \Rightarrow \theta = \frac{\pi}{2}$

积分变为:
$$
\int_0^{\pi/2} a\cos\theta \cdot a\cos\theta , d\theta = a^2 \int_0^{\pi/2} \cos^2 \theta , d\theta
= a^2 \cdot \frac{\pi}{4}
$$

所以:
$$
\int_0^a \sqrt{a^2 - x^2} , dx = \frac{\pi a^2}{4}
$$

这实际上是四分之一圆的面积


二、遇到 $\sqrt{a^2 + x^2}$ 类型

令 $x = a\tan\theta$,$\theta \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)$

代换后:
$$
\sqrt{a^2 + x^2} = a\sec\theta
$$


三、遇到 $\sqrt{x^2 - a^2}$ 类型

令 $x = a\sec\theta$,$\theta \in [0, \frac{\pi}{2}) \cup (\pi, \frac{3\pi}{2})$

代换后:
$$
\sqrt{x^2 - a^2} = a\tan\theta
$$

小结图表:三角代换记忆表

根号类型 代换方法 $\sqrt{\cdots}$ 的结果
$\sqrt{a^2 - x^2}$ $x = a\sin\theta$ $a\cos\theta$
$\sqrt{a^2 + x^2}$ $x = a\tan\theta$ $a\sec\theta$
$\sqrt{x^2 - a^2}$ $x = a\sec\theta$ $a\tan\theta$

偷偷说

基本上能把考试要用到的最重要的点Cover掉了;当然求旋转体的体积也是一个很重要的考点,不过偷偷在这里就不赘述了…做数学题这件事仿佛离我的生活越来越远了,但是偷偷一直在用数学的方式在思考:)


Calculus
http://toutou.zeabur.app/2025/02/21/Calculus/
Author
toutou
Posted on
February 21, 2025
Licensed under