要理解弱导数，最好从经典导数（即我们在微积分中学习的导数）的局限性开始说起。
1. 经典导数的困境
在经典微积分中，一个函数 \( f \) 在点 \( x \) 处的导数定义为：
\[ f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h} \]
这个定义要求函数 \( f \) 在 \( x \) 处必须是连续的，而且这个极限必须存在。然而，有很多函数并不满足这个条件。
例如，考虑一个简单的绝对值函数 \( f(x) = |x| \)。
- 当 \( x > 0 \) 时，导数是 \( 1 \)。
- 当 \( x < 0 \) 时，导数是 \( -1 \)。
- 但是在 \( x = 0 \) 这一点，函数有一个尖点，导数不存在。
在数学（特别是偏微分方程和变分法）和工程（如信号处理）中，我们经常需要处理这种“不够光滑”的函数。但我们又希望能够像处理经典函数一样对它们进行“微分”运算。这就引出了弱导数的概念。
2. 弱导数的核心思想：转移求导对象
分部积分回顾：
\[ \int_a^b f'(x) \phi(x) , dx = \left. f(x)\phi(x) \right|_a^b - \int_a^b f(x) \phi'(x) , dx \]
为了让这个公式更简洁，我们引入一类特殊的函数：测试函数。
什么是测试函数？
测试函数通常用希腊字母 \( \phi \) 表示。它们具有非常好的性质：
- 它们是无穷次可导的（光滑的）。
- 它们具有紧支集。简单来说，就是函数只在某个有界区间内部不为零，而在区间外（靠近边界的地方）恒为零。
由于测试函数在边界 \( a \) 和 \( b \) 处为零，分部积分公式中的边界项 \( \left. f(x)\phi(x) \right|_a^b \) 就等于 0。因此，公式简化为：
这个简洁的公式就是定义弱导数的钥匙。
3. 弱导数的正式定义
假设我们有一个函数 \( f \)，它可能并不可导（在经典意义下）。我们想找一个函数 \( g \)，让它充当 \( f \) 的“导数”。
定义： 对于一个在区间 \( (a, b) \) 上局部可积的函数 \( f \)（记为 \( f \in L^1_{\text{loc}}(a,b) \)），如果存在另一个局部可积的函数 \( g \)，使得对于所有的测试函数 \( \phi \)，都有以下等式成立：
那么，我们就称 \( g \) 是 \( f \) 的弱导数。
我们通常用 \( f' \) 或 \( Df \) 来表示这个弱导数 \( g \)。
解读这个定义：
- 左边是“目标导数” \( g \) 与测试函数的积分。
- 右边是原始函数 \( f \) 与测试函数的导数的积分，前面带一个负号。
- 这个定义绕开了对 \( f \) 直接求导。只要存在这样一个 \( g \)，使得它对所有测试函数 \( \phi \) 都满足这个关系，我们就说 \( f \) 有一个弱导数 \( g \)。
4. 经典例子：绝对值函数 \( f(x) = |x| \)
让我们用这个定义来求 \( f(x) = |x| \) 的弱导数。
我们知道，在经典意义下，除了 \( x=0 \) 那一点，\( f'(x) \) 是：
\[ f'(x) = \text{sign}(x) = \begin{cases} 1 & \text{if } x > 0 \ -1 & \text{if } x < 0 \end{cases} \]
在 \( x=0 \) 处，经典导数无定义。但这个符号函数 \( g(x) = \text{sign}(x) \) 是局部可积的。
现在，我们验证 \( g(x) = \text{sign}(x) \) 是否满足弱导数的定义。
对于任意测试函数 \( \phi \)，我们需要检查：
\[ \int_{-\infty}^{\infty} g(x) \phi(x) , dx \stackrel{?}{=} - \int_{-\infty}^{\infty} f(x) \phi'(x) , dx \]
计算右边：
\[ -\int_{-\infty}^{\infty} |x| \phi'(x) , dx = -\left( \int_{-\infty}^{0} (-x) \phi'(x) , dx + \int_{0}^{\infty} x \phi'(x) , dx \right) \]
对这两项分别进行分部积分（注意，现在是对 \( \phi' \) 积分，这是允许的，因为 \( \phi \) 是光滑的）：
- 第一项：\( \int_{-\infty}^{0} (-x) \phi'(x) , dx = \left[ (-x)\phi(x) \right]{-\infty}^{0} - \int^{0} \phi(x) (-1) , dx = (0 - 0) + \int_{-\infty}^{0} \phi(x) , dx = \int_{-\infty}^{0} \phi(x) , dx \)
- 第二项：\( \int_{0}^{\infty} x \phi'(x) , dx = \left[ x\phi(x) \right]{0}^{\infty} - \int^{\infty} \phi(x) , dx = (0 - 0) - \int_{0}^{\infty} \phi(x) , dx = -\int_{0}^{\infty} \phi(x) , dx \)
将这两项代入原式：
\[ -\left( \int_{-\infty}^{0} \phi(x) , dx - \int_{0}^{\infty} \phi(x) , dx \right) = -\int_{-\infty}^{0} \phi(x) , dx + \int_{0}^{\infty} \phi(x) , dx \]
这正是左边 \( \int_{-\infty}^{\infty} g(x) \phi(x) , dx \) 的计算结果，因为：
\[ \int_{-\infty}^{\infty} \text{sign}(x) \phi(x) , dx = \int_{-\infty}^{0} (-1)\phi(x) , dx + \int_{0}^{\infty} (1)\phi(x) , dx = -\int_{-\infty}^{0} \phi(x) , dx + \int_{0}^{\infty} \phi(x) , dx \]
两边完全相等。
因此，\( f(x) = |x| \) 虽然经典导数在 0 点不存在，但它存在一个弱导数 \( g(x) = \text{sign}(x) \)。那个不可导的点（尖点）在弱导数的框架下被“忽略”了，因为单个点的取值不影响积分值。
5. 总结
- 弱导数是经典导数的推广：如果一个函数是经典可导的，那么它的经典导数也是它的弱导数。
- 它允许函数存在“坏点”：函数可以在有限个（甚至更多）点上不可导、不连续，但只要这些点不影响积分结果，它仍然可以有弱导数。
- 它是通过积分和测试函数定义的：这使得它天然地适合在积分方程和偏微分方程中使用。
- 弱导数是索伯列夫空间（Sobolev Spaces）的基础，而索伯列夫空间正是求解偏微分方程的主要函数空间。