图

多元函数的傅里叶级数

预备知识 傅里叶级数, 重积分

   我们知道有限长区间中一个性质足够良好(满足迪利克雷条件)函数可以展开为三角函数的线性组合, 同理, 一个性质足够良好的 $N$ 元函数 $f(x_1, \dots, x_N)$ 也可以展开为 $N$ 个三角函数乘积的线性组合

\begin{equation} f(x_1, \dots, x_N) = \sum_{n_1,\dots, n_N} C_{n_1,\dots, n_N} \exp\left( \mathrm{i} \frac{n_1\pi}{l_1} x_1\right) \dots \exp\left( \mathrm{i} \frac{n_N \pi}{l_N} x_N\right) \end{equation}
其中 $x_i$ 的区间长度为 $l_i$, 每个指标求和时取负无穷到正无穷的所有整数. 系数 $C_{n_1,\dots, n_N}$ 可以由 $N$ 重积分得到
\begin{equation} C_{i_1,\dots, i_N} = \int \exp\left(- \mathrm{i} \frac{n_1 \pi}{l_1} x_1\right) \dots \exp\left(- \mathrm{i} \frac{n_N \pi}{l_N} x_N\right) f(x_1, \dots, x_N) \,\mathrm{d}{x_1} \dots \,\mathrm{d}{x_N} \end{equation}

   为了方便讨论, 我们取 $N = 2$, 更高元的情况类比可得. 区间 $x\in [0, a], y\in [0, b]$ 内的二元函数 $f(x, y)$ 的傅里叶展开为

\begin{equation} f(x, y) = \sum_{m = -\infty}^\infty \sum_{n = -\infty}^\infty C_{m, n} \exp\left( \mathrm{i} \frac{m \pi}{a} x\right) \exp\left( \mathrm{i} \frac{n \pi}{b} y\right) \end{equation}
系数由二重积分计算
\begin{equation} C_{m, n} = \int_0^b\int_0^a \exp\left(- \mathrm{i} \frac{m \pi}{a} x\right) \exp\left(- \mathrm{i} \frac{n \pi}{b} y\right) f(x, y) \,\mathrm{d}{x} \,\mathrm{d}{y} \end{equation}

致读者: 小时物理百科一直以来坚持所有内容免费且不做广告,这导致我们处于日渐严重的亏损状态。长此以往很可能会最终导致我们不得不选择商业化,例如大量广告,内容付费,会员制,甚至被收购。因此,我们鼓起勇气在此请求广大读者热心捐款,使网站得以健康发展。如果看到这条信息的每位读者能慷慨捐助 10 元,我们几天内就能脱离亏损状态,并保证网站能在接下来的一整年里向所有读者继续免费提供优质内容。感谢您的支持。

编辑词条(需要权限) 返回目录 返回主页 捐助项目 © 小时物理百科 保留一切权利