[论文解读] Coxeter system of lines are sets of injectivity for the twisted spherical means on $\mathbb C$

R. K. Srivastava|arXiv (Cornell University)|Mar 23, 2011

Mathematical functions and polynomials参考文献 9被引用 5

一句话总结

本文证明了复平面上任意通过原点的偶数条直线构成的考克斯eter系统，是扭曲球均值（TSM）的单射性集合，扩展了先前结果：即在多项式谱投影条件下，单条通过原点的直线是 TSM 的单射性集合。关键贡献在于利用海森堡群上的调和分析以及拉盖尔多项式与谱投影的性质，证明了在 $L^q(\mathbb{C})$ 上 $1 \leq q \leq 2$ 时 TSM 的单射性。

ABSTRACT

It is well known that a line in $\mathbb R^2$ is not a set of injectivity for the spherical means for odd functions about that line. We prove that any line passing through the origin is a set of injectivity for the twisted spherical means (TSM) for functions $f\in L^2(\mathbb C),$ whose each of spectral projection $ e^{\frac{1}{4}|z|^2}f imesφ_k$ is a polynomial. Then, we prove that any Coxeter system of even number of lines is a set of injectivity for the TSM for $L^q(\mathbb C),~1\leq q\leq2.$

研究动机与目标

• 确定某些直线的几何构型是否可作为复平面 $\mathbb{C}$ 上扭曲球均值（TSM）的单射性集合，特别是与欧几里得球均值的经典结果进行对比。
• 将单条通过原点的直线的单射性结果推广至多条直线的系统，特别是偶数条直线的考克斯eter系统。
• 研究谱投影和 $f$ 上的多项式条件在确保 $L^q(\mathbb{C})$ 上 $1 \leq q \leq 2$ 时 TSM 单射性中的作用。
• 探讨海森堡群的非交换几何结构及其对单射性的影响，与欧几里得积分几何结果形成鲜明对比。
• 为将这些结果推广至更高维空间以及更复杂的曲线（如 $\mathbb{C}^n$ 中的实解析曲线或超平面）奠定基础。

提出的方法

• 通过与 $\varphi_k$（厄米特函数）的扭曲卷积及 Heck-Bochner 恒等式，对 $f \in L^2(\mathbb{C})$ 进行谱分解，以分析 $f \times \varphi_k$ 的结构。
• 施加条件：对每个 $k$，$e^{\frac{1}{4}|z|^2} f \times \varphi_k$ 为多项式，该条件刻画了比 $U(1)$-有限函数更大的函数类。
• 应用如下事实：若对所有 $r > 0$ 及所有位于某条直线（例如实轴）上的 $x$，扭曲球均值 $f \times \mu_r(x)$ 恒为零，则几乎处处有 $f = 0$，从而确立该直线的单射性。
• 利用 TSM 的旋转对称性，将单射性从 $X$-轴推广至任意通过原点的直线。
• 应用已知结果：两条互相垂直的直线（即二阶考克斯eter系统）是 $L^q(\mathbb{C})$ 上的单射性集合（$1 \leq q \leq 2$），并将其推广至任意偶数条直线的考克斯eter系统。
• 依赖于谱投影的实解析性及解析延拓的唯一性，将对所有中心处的消失要求简化为在 $\mathbb{R}$ 中具有极限点的序列。

实验结果

研究问题

• RQ1 当 $f$ 的谱投影为多项式时，单条通过原点的直线是否可作为 $\mathbb{C}$ 上扭曲球均值的单射性集合？
• RQ2 单射性性质是否可从单条直线推广至多条直线系统，特别是偶数条直线的考克斯eter系统？
• RQ3 与欧几里得情形相比，海森堡群的非交换几何结构如何改变扭曲球均值的单射性行为？
• RQ4 在多项式谱投影条件下，是否可能使一条通过原点的实解析曲线成为 TSM 的单射性集合？
• RQ5 用于 $L^q(\mathbb{C})$ 的技术是否可推广至更高维海森堡群 $\mathbb{H}^n$ 或更一般的曲线与测度？

主要发现

• 当 $f \in L^2(\mathbb{C})$ 且对所有 $k \in \mathbb{Z}_+$，$e^{\frac{1}{4}|z|^2} f \times \varphi_k$ 为多项式时，任意通过原点的直线均为 $\mathbb{C}$ 上扭曲球均值的单射性集合。
• $X$-轴是 TSM 的单射性集合，且在相同谱多项式条件下，通过旋转可得任意通过原点的直线亦为单射性集合。
• 任意通过原点的偶数条直线构成的考克斯eter系统，均为 $L^q(\mathbb{C})$ 上 $1 \leq q \leq 2$ 时 TSM 的单射性集合。
• 两条互相垂直直线的结果意味着任何偶数条直线的考克斯eter系统均具有单射性，这是由于其底层群的对称性与结构所致。
• 在 $L^q(\mathbb{C})$ 上的单射性结果是精确的，即在无额外假设下，其无法推广至奇数条直线的考克斯eter系统，此问题仍为开放问题。
• 谱投影 $f \times \varphi_k$ 为实解析函数，因此若 TSM 在 $\mathbb{R}$ 中某具有极限点的集合上消失，则可推出 $f = 0$ a.e.。