零函数（列）

贡献者： addis

预备知识　狄拉克 delta 函数

　　我们前面用函数列严格定义狄拉克 $δ$ 函数，那么类似地，下面我们定义另一类更简单的函数列，姑且称为零函数列或零函数。它的性质比 $δ$ 函数更简单

定义 1　零函数

　　对任何性质良好¹的平方可积函数 $f : R \to C$ ，若函数列 $z_{n} : R \to C$ （ $n = 1, 2, \dots$ ）满足

\begin{matrix} (1) & lim_{n \to \infty} \int_{a}^{b} z_{n} (x) f (x) = 0 . \end{matrix}

那么就把

z_{n} (x)

称为区间

(a, b)

（可以是无穷）零函数列或零函数，简记为

z (x)

。

例 1　

　　在任意积分区间 $(a, b)$ 上，

显然 $z_{n} (x) = 0$ 是一个零函数。
简谐函数 $\sin (n x + ϕ)$ ， $\exp (i n x)$ 都是零函数。
若 $f (x)$ 是一个性质良好的函数， $f (x) \sin (n x + ϕ)$ 和 $f (x) \exp (i n x)$ 也都是零函数，例如高斯波包 $A e^{- a x^{2}} e^{i n x}$ 。

　　定性来说这是符合直觉的：若一个函数 $f (x)$ 乘以一个另快速震荡的函数（震荡的平均值为零），这时 $| f (x) |$ 就是波包的包络线，那么震荡频率越来越快，式 1 的积分越接近 $0$ 。

定理 1　充分必要条件

　　一个函数列 $z_{n}$ 是区间 $(a, b)$ 的零函数的充分必要条件是，对 $(a, b)$ 中的任意区间 $(p, q)$ ，都有

\begin{matrix} (2) & lim_{n \to \infty} \int_{p}^{q} z_{n} (x) d x = 0 . \end{matrix}

　　读者可以用定理 1 验证例 1 的零函数。

定理 2　零函数的性质

　　容易证明，若 $z_{n} (x)$ 是零函数列，那么对它进行任意平移，拉伸，乘以性质良好的函数 $A (x)$ 等变换后仍然是零函数列：

\begin{matrix} (3) & A (x) z (k x + b) = z (x) . \end{matrix}

对于单调的可导函数

φ (x)

若满足

| g^{'} (x) | > 0

也有

\begin{matrix} (4) & z [φ (x)] = z (x) . \end{matrix}

　　该定理笔者同样不会证，但同样符合直觉。式 4 告诉我们，零函数的震荡的频率可以随 $x$ 变化。

1. 两组正交的函数基底

　　定义零函数有什么用呢？我们可以以此判断两组连续的函数基底（例如量子力学的一维散射态）是否正交。在 “ $δ$ 函数” 中，我们知道若两个含参数的函数满足

\begin{matrix} (5) & \int_{- n}^{n} f^{*} (k_{1}, x) f (k_{2}, x) d x = δ_{n} (k_{2} - k_{1}), \end{matrix}

或者简写为

\int_{- \infty}^{\infty} f^{*} (k_{1}, x) f (k_{2}, x) d x = δ (k_{2} - k_{1})

。那么它们就是正交归一的。正交归一的好处是，若一个平方可积函数

g (x)

可以用一组

f (k, x)

展开函数

\begin{matrix} (6) & g (x) = \int_{- \infty}^{\infty} C (k) f (k, x) d k . \end{matrix}

那么就有系数公式

\begin{matrix} (7) & C (k) = \int_{- \infty}^{\infty} f^{*} (k, x) g (x) d x . \end{matrix}

具体过程类见？

未完成：需要在 delta 函数文章补充类似式 9 的定理。需要强调

g (x)

是平方可积的。

　　但若我们有两组（多组也同理）正交归一的函数 $f_{1} (k, x)$ 和 $f_{2} (k, x)$ 组成的正交归一基底用于展开 $g (x)$

\begin{matrix} (8) & g (x) = \int_{- \infty}^{\infty} C_{1} (k) f_{1} (k, x) d k + \int_{- \infty}^{\infty} C_{2} (k) f_{2} (k, x) d k . \end{matrix}

那么两组函数基底间满足什么样的正交归一条件才可以使以下系数公式仍然成立呢？

\begin{matrix} (9) & C_{i} (k) = \int_{- \infty}^{\infty} f_{i}^{*} (k, x) g (x) d x (i = 1, 2) . \end{matrix}

下面会证明：除了要求

f_{1}, f_{2}

各自正交归一（式 5 ），还需要保证

f_{1}, f_{2}

之间满足以下正交条件

\begin{matrix} (10) & \int_{- n}^{+ n} f_{1}^{*} (k_{1}, x) f_{2} (k_{2}, x) d x = z_{n} (k_{2} - k_{1}), \end{matrix}

或者简写为

\begin{matrix} (11) & \int_{- \infty}^{\infty} f_{1}^{*} (k_{1}, x) f_{2} (k_{2}, x) d x = z (k_{2} - k_{1}), \end{matrix}

这是相当于式 5 的只有正交没有归一的变形。

　　同理，我们也可以把以上所有定积分区间变为其他，例如 $(0, \infty)$ 。

例 2　

　　证明

\begin{matrix} (12) & \int_{0}^{\infty} \sin (k^{'} x) \cos (k x) d x = z (k^{'} - k) + \frac{1}{4 k} . \end{matrix}

证：

\begin{matrix} (13) & \begin{aligned} \int_{0}^{n} \sin (k x) \cos (k x) d x & = \frac{1}{2} \int_{0}^{n} \sin (2 k x) d x \\ = - \frac{1}{4 k} \cos (2 n k) + \frac{1}{4 k} . \end{aligned} \end{matrix}

根据例 1 以可判断第一项是一个零函数。证毕。

　　可见 $\sin (k x)$ 和 $\cos (k x)$ 在 $(0, \infty)$ 上并不是正交的。但它们在 $(- \infty, \infty)$ 上却是正交的，见下例。

例 3　

　　若 $f (k, x), g (k^{'}, x)$ 分别是关于 $x$ 的偶函数和奇函数，那么

\begin{matrix} (14) & \int_{- \infty}^{+ \infty} f (k^{'}, x) g (k, x) d x = z (k^{'} - k) . \end{matrix}

证明显然，因为奇函数乘以偶函数得奇函数，而奇函数在区间

(- n, n)

的积分始终为零。

　　具体的例子如： $f (k, x) = \cos (k x)$ ， $g (k, x) = \sin (k x)$ 。

　　量子力学中的应用可以参考 “有限深方势阱” 或者其他势阱问题中的两组散射态波函数。当两组散射态波函数归一化后，就可以用于展开波包，并计算波包随时间的变化。

形式证明

　　要证明系数公式式 9 ，把式 8 代入式 9 右边，以 $i = 1$ 为例，得

\begin{matrix} (15) & \begin{aligned} \int_{- \infty}^{\infty} C_{1} (k^{'}) \int_{- \infty}^{\infty} f_{1}^{*} (k, x) f_{1} (k^{'}, x) d x d k^{'} + \int_{- \infty}^{\infty} C_{2} (k^{'}) \int_{- \infty}^{\infty} f_{1}^{*} (k, x) f_{2} (k^{'}, x) d x d k^{'} \\ = \int_{- \infty}^{\infty} C_{1} (k^{'}) δ (k^{'} - k) d k^{'} + \int_{- \infty}^{\infty} C_{2} (k^{'}) z (k^{'} - k) d k^{'} \\ = C_{1} (k) + 0 . \end{aligned} \end{matrix}

i = 2

同理，证毕。

　　这个证明过程和傅里叶变换的证明类似，只是要用零函数保证第二个积分为零。

1. ^ 例如迪利克雷条件。也可能根据具体问题判断。

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。

零函数（列）

定义 1 零函数

例 1

定理 1 充分必要条件

定理 2 零函数的性质

1. 两组正交的函数基底

例 2

例 3

形式证明

定义 1　零函数

例 1　

定理 1　充分必要条件

定理 2　零函数的性质

例 2　

例 3　