平方可积

平方可积 (Square Integrable)

平方可积是实分析和泛函分析中的核心概念，指一个函数的绝对值的平方在给定测度空间上的勒贝格积分为有限值。平方可积函数全体构成了L^p空间中最重要的特例——$L^2$空间，该空间配备内积后可自然成为希尔伯特空间，是量子力学、信号处理和傅里叶分析的数学根基。

定义

设 $(X, \mathcal{A}, \mu)$ 为一个测度空间，函数 $f: X \to \mathbb{R}$（或 $\mathbb{C}$）称为平方可积的，若其绝对值的平方的积分有限：

所有平方可积函数的集合记作 $L^2(X, \mathcal{A}, \mu)$，简记为 $L^2(\mu)$ 或 $L^2(X)$。在勒贝格测度意义下，几乎处处相等的函数被视为同一等价类，因此 $L^2$ 空间中的元素实际上是函数的等价类。

内积结构

$L^2$ 空间之所以独特，在于它可以自然地赋予内积：

由此诱导的范数为 $\|f\|_2 = \sqrt{\langle f, f \rangle} = \left( \int_X |f|^2 \, d\mu \right)^{1/2}$。内积的引入使 $L^2$ 成为内积空间，且在完备性条件下成为希尔伯特空间。这一结构直接导出了柯西-施瓦茨不等式：

这是分析学中最基本的不等式之一。

与其它 L^p 空间的关系

$L^2$ 空间是 $L^p$ 空间的特殊情形（$p=2$），但具有其它 $p \neq 2$ 时不具备的独特性质：

• 自对偶性：$L^2$ 的对偶空间可自然等同为自身（里斯表示定理），这对 $L^p$ 一般成立仅在 $1 < p < \infty$ 且 $1/p + 1/q = 1$ 时。
• 正交性：内积允许定义正交概念，从而可以讨论正交补、正交投影和正交基。
• 帕塞瓦尔恒等式：对于傅里叶级数，有 $\|f\|_2^2 = \sum_{n=-\infty}^{\infty} |\hat{f}(n)|^2$，即函数能量等于其傅里叶系数能量的总和。

常见平方可积函数

• 定义在有限区间上的连续函数。
• 定义在 $\mathbb{R}$ 上的高斯函数 $e^{-x^2}$，其平方的积分为 $\sqrt{\pi/2}$。
• 辛格函数 $\sin x / x$ 在 $\mathbb{R}$ 上不属于 $L^1$，但属于 $L^2$。
• 紧支集上的有界可测函数。

在量子力学中的应用

在量子力学中，波函数 $\psi(x)$ 的模平方 $|\psi(x)|^2$ 解释为粒子在位置 $x$ 处的概率密度。归一化条件要求 $\int_{\mathbb{R}^3} |\psi(x)|^2 dx = 1$，因此波函数必须平方可积。事实上，量子力学的态空间正是 $L^2(\mathbb{R}^3)$ 希尔伯特空间。位置算符、动量算符和哈密顿算符均为该空间上的（无界）自伴算子，其谱理论直接决定了可观测量的可能取值。

平方可积条件是现代分析学和理论物理的基石之一，它将经典的微积分推广到更一般的函数空间，并为傅里叶分析和偏微分方程理论提供了严格的数学框架。