贡献者: addis
如果一个 $N$ 维欧几里得空间中的函数 $f( \boldsymbol{\mathbf{r}} ) = f(x_1, x_2, \dots, x_N)$ 满足 $f(- \boldsymbol{\mathbf{r}} ) = f( \boldsymbol{\mathbf{r}} )$,我们就说它具有偶宇称(even parity),如果满足 $f(- \boldsymbol{\mathbf{r}} ) = -f( \boldsymbol{\mathbf{r}} )$ 我们就说它有奇宇称(odd parity)。
我们以下要说明的结论是:在中心对称的定义域(即如果 $ \boldsymbol{\mathbf{r}} $ 在定义域中,$- \boldsymbol{\mathbf{r}} $ 也在定义域中),具有奇宇称的函数的定积分为 0,具有偶宇称的函数的定积分可能不为 0。
对于 $N = 1, 2, 3$,这是容易理解的,例如一元函数 $\sin x$ 具有奇宇称,所以在任意对称的区间 $[-a, a]$ 做定积分都为 0。又例如二元函数 $x^3 + y^3$ 和三元函数 $ \sin\left(x + y + z\right) $ 也具有奇宇称。证明的思想很简单,做定积分时每个 $ \boldsymbol{\mathbf{r}} $ 处的 “微元” $ \,\mathrm{d}{x} \,\mathrm{d}{y} \,\mathrm{d}{z} $ 都会在 $- \boldsymbol{\mathbf{r}} $ 处有一个函数值为相反数的 “微元”,使两个微元的积分互相抵消。
另一种情况如三维空间中的二维曲面上的积分,如球谐函数满足(见式 17 )
如果两个函数 $f( \boldsymbol{\mathbf{r}} )$ 和 $g( \boldsymbol{\mathbf{r}} )$ 分别可能具有奇宇称或偶宇称,它们相乘所得的函数 $h( \boldsymbol{\mathbf{r}} ) = f( \boldsymbol{\mathbf{r}} ) g( \boldsymbol{\mathbf{r}} )$ 的宇称如何呢?从定义不难证明,如果二者宇称相同,那么 $h( \boldsymbol{\mathbf{r}} )$ 具有偶宇称,如果一奇一偶,则是奇宇称。