1. 替换球贝塞尔函数的线性映射的核求解 #

咱们先明确这个线性映射的定义：假设我们考虑的是由第一类球贝塞尔函数${j_l}_{l=0}^{\infty$张成的函数空间（比如$\mathbb{R}}+$上的函数，可表示为$j_l$的有限线性组合或收敛级数），线性映射$T$的作用是把每个基元$j_l$替换为对应的第二类球贝塞尔函数$y_l$（球诺依曼函数），再线性扩展到整个空间。

根据线性映射核的定义，$\ker(T)$是所有满足$T(f)=0$的函数$f$的集合。这里关键要用到两个结论：

• ${j_l}$是线性无关的族（不同阶的第一类球贝塞尔函数无法互相线性表示）；
• ${y_l}$同样是线性无关的族（它们是球贝塞尔方程的线性无关解，不同阶的$y_l$也无法线性组合得到零函数）。

对于任意$f = \sum_{l} a_l j_l$（有限和或合适拓扑下的收敛级数），$T(f) = \sum_{l} a_l y_l$。因为${y_l}$线性无关，只有当所有系数$a_l=0$时，$\sum_{l} a_l y_l = 0$，也就是$f=0$。因此这个线性映射的核是零空间，只包含零函数。

如果你的映射是更一般的索引替换（比如$j_i$映射到$y_{\sigma(i)}$，$\sigma$是某个索引变换），那需要结合$\sigma$的性质分析，但常规的“一对一替换”下，核就是零空间。

2. 线性映射族$[F]_{l,m}$的化简与物理意义 #

首先看这个映射的定义：
$$ [F]{l,m} = \int{S^2} F(\hat n) \exp(ik \hat r\cdot \hat n) Y_l^m(\hat n) dS(\hat n) $$
积分区域是单位球面$S^2$，它在球坐标系下的波动方程分析（比如散射理论、波的传播）中非常有用，核心是把平面波与函数$F$的耦合投影到球谐基上。

利用平面波展开式化简 #

咱们用给定的平面波展开恒等式代入积分：
$$ \exp(i k \hat r \cdot \hat n) = 4 \pi \sum_{l'=0}^\infty \sum_{m'=-l'}^{l'} i^{l'} j_{l'}(k r) (Y_{l'}^{m'}(\hat n))^* Y_{l'}^{m'}(\hat r) $$

把展开式代入$[F]{l,m}$的积分，交换积分与求和（只要$F$是平方可积函数，收敛性就能保证，符合Fubini定理的条件）：
$$
\begin{align*}
[F]{l,m} &= \int_{S^2} F(\hat{n}) \left[ 4\pi \sum_{l'=0}^\infty \sum_{m'=-l'}^{l'} i^{l'} j_{l'}(kr) (Y_{l'}^{{m'}(\hat{n}))}* Y_{l'}^{m'}(\hat{r}) \right] Y_l^m(\hat{n}) dS(\hat{n}) \
&= 4\pi \sum_{l'=0}^\infty \sum_{m'=-l'}^{l'} i^{l'} j_{l'}(kr) Y_{l'}^{m'}(\hat{r}) \int_{S^2} F(\hat{n}) Y_l^m(\hat{n}) (Y_{l'}^{{m'}(\hat{n}))}* dS(\hat{n})
\end{align*}
$$

进一步简化（结合球谐函数性质） #

这里的积分项$\int_{S^2} F(\hat{n}) Y_l^m(\hat{n}) (Y_{l'}^{{m'}(\hat{n}))}* dS(\hat{n})$可以理解为：函数$F(\hat{n})Y_l^{m(\hat{n})$在球谐基${Y_{l'}}{m'}}$下的$(l',m')$阶展开系数，记为$F_{l,m; l',m'}$。

如果$F(\hat{n})$本身是球谐函数（比如$F(\hat{n})=Y_L^M(\hat{n})$），可以利用球谐函数的乘积公式（Gaunt系数）进一步简化：此时积分项会退化为Gaunt系数$C(L, l, l'; M, m, m')$，只有当$l'$满足三角条件$|L-l|\leq l'\leq L+l$且$m'=M+m$时，系数才非零，求和会大幅简化。

物理意义 #

这个映射族的核心价值在于将平面波的角向信息分解为球谐模式：球贝塞尔函数$j_{l'}(kr)$是球坐标系下亥姆霍兹方程的径向解，球谐函数$Y_{l'}^{m'}(\hat{r})$是角向解，因此$[F]_{l,m}$相当于提取了$F$中与$(l,m)$阶球谐相关的分量，并耦合到平面波的各阶球谐-球贝塞尔模式上，这在计算散射振幅、远场辐射模式、球对称介质中的波传播等问题中是关键的一步。

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