Sharp Boundedness and Stability Estimates for Pseudodifferential Operators Associated with Fractional Hankel--Clifford Transforms

技术摘要：与分式汉克尔–克利福德变换相关的伪微分算子的尖锐有界性与稳定性估计

问题陈述
本文研究了与分式汉克尔–克利福德变换（fractional Hankel–Clifford transform）相关的伪微分演算，该框架此前由 Prasad 和 Kumar 开发。虽然现有文献已经确立了特定类型的伪微分算子在加权 Sobolev 型空间上的有界性，但这些算子范数常数的精确最优性仍未得到解决。具体而言，目前尚不清楚已建立的界限是否是尖锐的（即最小可能的常数），或者是否可以进一步改进。此外，在相关的 Cauchy 问题中，特定谱截断对于稳定性的结构必要性尚未得到严格量化。本文还探讨了将此演算扩展到更广泛的四参数设置时的限制。

方法论与分析引擎
本研究的核心分析工具是涉及分式汉克尔–克利福德变换卷积核的几何矩积分。作者建立了一个自洽的求值过程（引理 2.1），表明该积分等于一个 Beta 因子乘以一个高斯超几何函数 $_2F_1$。

• 坍缩机制： 该演算的一个关键特征是，在 Prasad 和 Kumar 定义的特定参数对角线上，该超几何函数满足一个终止条件，从而坍缩为一个初等表达式。这种“坍缩”使得导出精确的矩恒等式和卷积不等式成为可能。
• 尖锐性证明： 为了证明界限的尖锐性，作者构造了显式的集中序列 $\{V_n, \chi_n, \phi_n\}$。证明策略包含三个步骤：
  1. 相位对齐： 选择符号相位以与核相位对齐，使逐点缩减变为等式。
  2. 非负饱和： 使用非负集中剖面来饱和卷积不等式（对于非负数据，该不等式变为恒等式）。
  3. 支撑坍缩极限： 引入一个趋向于原点的辅助谱参数。该机制使分式卷积核的三角形支撑集收缩为单个点，从而协调了加权 $L^1$ 范数与加权 Sobolev 范数。

主要贡献与结果

1. 单算子界限的尖锐性（定理 3.2）：
   本文证明了第一类算子的算子范数有界性常数 $M(\nu, \mu, \theta)$ 是尖锐的。对于每一组容许的参数集，都存在使得测得的算子范数与理论界限之比趋于 1 的序列。这证实了 Prasad 和 Kumar 的方法论已被充分地进行定量利用。

2. 复合界限的尖锐性（定理 4.1）：
   研究将尖锐性结果扩展到了算子的复合（乘积）上。它证明了两个算子复合后的常数 $M(\nu, \mu, \theta)^2$ 不能被仅由参数组成的更小的函数所取代。证明过程利用了内层和外层算子的级联支撑坍缩构造。

3. 带限传播子的稳定性（定理 5.4）：
   通过将复合界限应用于奇异 Bessel 型 Cauchy 问题（$\partial_t u = B_\nu u$），本文导出了一个带限传播子的稳定性估计。一个关键发现是：单侧谱截断 $[\Lambda, \infty)$ 会导致常数无穷大，这是由于权重函数的不可积性造成的。因此，本文确定了双侧带限截断 $[\Lambda, \Lambda']$（其中 $\Lambda' < \infty$）是实现稳定性的结构必要条件。显式的尖锐常数表明，如果没有这个上界，稳定性估计将会失效。

4. 向四参数扩展的障碍（第 6 节）：
   本文分析了一个自然的四参数扩展演算。研究识别出一个显式的障碍：在偏离指定的参数对角线时，矩恒等式中的超几何因子不会终止。它不再坍缩为初等函数，而是保持为空间变量的超越函数。这种非终止性破坏了有界性定理所需的卷积结构，使得该扩展成为一个开放性问题。

意义与主张
本文声称提供了 Prasad–Kumar 演算的首个尖锐算子范数常数。通过超越仅仅是存在性界限而转向其最优性，这项工作揭示了非优化界限所无法观察到的定量后果。具体而言，在稳定性应用中的显式常数展示了带限谱截断的结构必要性，而这种细微之处是定性分析可能会忽略的。

作者强调，其“分析引擎”（Beta/超几何求值）是统一的关键因素：其初等坍缩使得当前结果成为可能，而其在对角线之外的失效则构成了泛化的精确障碍。研究结果作为现有两参数框架内的完整证明呈现，而四参数情况则作为一个需要新结构假设或恒等式的独立开放问题予以保留。