[论文解读] Fourier--Bessel functions of singular continuous measures and their many asymptotics

Giorgio Mantica|arXiv (Cornell University)|Mar 27, 2006

Mathematical Dynamics and Fractals参考文献 40被引用 18

一句话总结

本文研究了与奇异连续测度相关的傅里叶-贝塞尔函数的渐近行为，特别是源自朱利亚集和迭代函数系统（IFS）的测度。它引入了这些函数动力学与量子间歇性之间的一种新颖联系，利用正交多项式与雅可比矩阵分析衰减速率和广义维数，关键结果将谱性质与多重分形测度联系起来，并提出了关于间歇性函数普遍性的猜想。

ABSTRACT

We study the Fourier transform of polynomials in an orthogonal family, taken with respect to the orthogonality measure. Mastering the asymptotic properties of these transforms, that we call Fourier--Bessel functions, in the argument, the order, and in certain combinations of the two is required to solve a number of problems arising in quantum mechanics. We present known results, new approaches and open conjectures, hoping to justify our belief that the importance of these investigations extends beyond the application just mentioned, and may involve interesting discoveries.

研究动机与目标

• 理解奇异连续测度下傅里叶-贝塞尔函数的渐近行为，特别是在量子力学和量子间歇性背景下的表现。
• 建立这些函数衰减速率与底层测度几何或维数性质（如广义维数和相关维数）之间的联系。
• 提出并探讨关于迭代函数系统（IFS）不变测度等价类中间歇性函数普遍性的猜想。
• 通过分析雅可比矩阵和平衡测度在决定F-B.函数动力学中的作用，弥合数学物理、正交多项式与势论之间的鸿沟。

提出的方法

• 本文使用关于奇异连续测度μ的正交多项式的傅里叶-贝塞尔变换，定义为 $ \mathcal{J}_n(\mu;t) = \int d\mu(s)\, p_n(\mu;s)\, e^{-its} $，以分析其渐近行为。
• 对 $ \mathcal{J}_0(\mu;t) $ 应用切萨罗平均以稳定其振荡衰减，揭示了与测度的发散横坐标相关的代数衰减规律。
• 采用矩阵指数的切比雪夫展开，推导出关于阶数 $ n $ 的指数衰减估计，表明在有界支撑下，对任意 $ \alpha \geq 0 $，有 $ |\mathcal{J}_n(\mu;t)| \leq C_\alpha e^{-\alpha n} $。
• 通过梅林变换技术，将F-B.函数的渐近行为与广义维数 $ D_q(\mu) $（特别是 $ D_0(\mu) $ 和相关维数）联系起来。
• 开发了用于构建线性IFS的雅可比矩阵并计算F-B.函数的数值算法，从而实现对振荡与间歇行为的经验研究。
• 通过势论分析平衡测度及其分布函数，计算广义维数以比较不同IFS配置下的结果。

实验结果

研究问题

• RQ1 当 $ t $ 很大时，傅里叶-贝塞尔函数 $ \mathcal{J}_n(\mu;t) $ 的渐近行为如何，特别是当 $ \mu $ 为奇异连续测度时？
• RQ2 测度 $ \mu $ 的广义维数（如 $ D_0(\mu) $ 和相关维数）与平均F-B.函数的衰减速率之间存在何种关系？
• RQ3 对于具有相同 $ D_0(\mu) $ 的不同IFS配置，均匀吉布斯测度的间歇性函数是否保持不变？还是支撑的几何差异会影响动力学？
• RQ4 能否通过广义维数的简单论证，证明 $ \beta(\alpha) $ 在两-map IFS测度等价类中具有普遍性？
• RQ5 平衡测度 $ \nu $ 的性质（如其广义维数）如何决定F-B.函数 $ \mathcal{J}_n(\mu;t) $ 的渐近行为？

主要发现

• 当 $ t $ 很大时，切萨罗平均后的F-B.函数 $ \mathcal{J}_n(\mu;t) $ 的衰减速度快于 $ t^{-x} $，其中 $ x $ 小于一个势论函数的发散横坐标，该横坐标在 $ n=0 $ 时被识别为局部维数 $ D_0(\mu) $。
• 平均模平方 $ |\mathcal{J}_n(\mu;t)|^2 $ 的衰减速率快于 $ t^{-x} $，其中 $ x $ 小于测度 $ \mu $ 的相关维数，表明衰减速率与分形结构之间存在直接关联。
• 对于固定的 $ t $，F-B.函数在 $ n $ 上的衰减快于指数级，满足 $ |\mathcal{J}_n(\mu;t)| \leq C_\alpha e^{-\alpha n} $，其中任意 $ \alpha \geq 0 $，在有界支撑下成立。
• 与IFS相关的平衡测度 $ \nu $ 的广义维数在具有相同 $ D_0(\mu) $ 的两-map IFS测度等价类中完全一致，暗示了更深层次的不变性。
• 反例表明，对于具有相等权重和压缩比的三-map IFS，即使 $ D_0(\mu) $ 固定，间歇性函数仍可能不同，这是由于覆盖集之间间隙的几何比不同所致。
• 提出一个猜想：均匀吉布斯测度的间歇性函数仅依赖于其平衡测度的广义维数谱，而不依赖于具体的IFS结构，暗示了普遍性。