紧李群波动方程的局部坐标系表达式技术问询

没问题，咱们一步步拆解这个问题，核心是先明确紧李群上拉普拉斯算子的局部坐标形式，再代入你给出的波动方程框架得到最终结果。

1. 先搞懂李群上拉普拉斯算子$L$的局部坐标表达式 #

紧李群$G$本身是一个光滑流形，我们先取单位元$e$附近的局部坐标系$(x^1, x^2, ..., x^n)$（$n$是李群的维数）。因为紧李群上一定存在双不变黎曼度量，所以我们可以基于这个度量来定义拉普拉斯算子：

通用形式（任意局部坐标） #

拉普拉斯算子本质是度量下的拉普拉斯-贝尔特拉米算子，在局部坐标下的标准公式是：
$$L u = \frac{1}{\sqrt{\det g}} \sum_{i,j=1}^n \partial_i \left( g^{ij} \sqrt{\det g} \partial_j u \right)$$
这里：

• $g_{ij}(x) = \langle X_i(x), X_j(x) \rangle$是双不变度量的局部坐标分量，$X_i$是局部切向量场
• $g^{ij}(x)$是$g_{ij}$的逆矩阵
• $\det g$是度量矩阵的行列式

简化形式（左不变正交基下） #

如果我们取左不变正交向量场${X_1, X_2, ..., X_n}$作为基（双不变度量下左不变基可以取正交的），这时候度量矩阵$g_{ij}$是单位矩阵，$\det g=1$，$g^{ij}=\delta{ij}$（克罗内克符号），拉普拉斯算子就简化为左不变向量场的平方和：
$$L u = \sum_{k=1}^n X_k^2 u$$
而左不变向量场在局部坐标下可以写成$X_k = \sum_{i=1}^n c_k^i(x) \partial_i$，其中$c_k^i(x)$是由李代数结构常数决定的光滑函数（左不变性要求向量场在左平移下不变，系数和指数映射直接相关）。

2. 代入波动方程得到局部坐标形式 #

已知波动方程为：
$$\partial^2_t u - a(t) L u = f$$
把上面两种拉普拉斯算子的形式代入，就能得到对应的局部坐标方程：

通用度量下的完整形式 #

如果用任意局部坐标和双不变度量，代入后方程变为：
$$\partial_t^2 u - a(t) \cdot \frac{1}{\sqrt{\det g(x)}} \sum_{i,j=1}^n \partial_i \left( g^{ij}(x) \sqrt{\det g(x)} \partial_j u \right) = f(t,x)$$

左不变正交基下的简化形式 #

如果用左不变正交基对应的局部坐标（比如指数坐标），把$L = \sum_{k=1}^n X_k^2$代入后，方程可以展开为：
$$\partial_t^2 u - a(t) \sum_{k=1}^n \left( \sum_{i=1}^n c_k^i(x) \partial_i \right)^2 u = f(t,x)$$
进一步展开平方项（考虑偏导的乘积和系数的导数）：
$$\partial_t^2 u - a(t) \sum_{k=1}^n \left( \sum_{i=1}^n c_k^i(x)2 \partial_i^2 u + \sum_{i \neq m} c_k^i(x) c_k^m(x) \partial_i \partial_m u + \sum_{i=1}^n (\partial_i c_k^i(x)) \partial_i u \right) = f(t,x)$$

额外小贴士 #

• 要是取群坐标（比如通过左平移把单位元的坐标映射到群上所有点），左不变向量场在这个坐标系下是常系数的，此时$L$就是常系数二阶微分算子，波动方程会变成更简洁的常系数形式。
• 紧李群的双不变性让拉普拉斯算子同时具有左、右不变性，这会让系数的性质更规整，在很多计算场景下能大幅简化推导。

内容的提问来源于stack exchange，提问作者Bull