[论文解读] Mellin convolution operators in Bessel potential spaces with admissible meromorphic kernels

Roland Duduchava|arXiv (Cornell University)|Feb 22, 2015

Spectral Theory in Mathematical Physics参考文献 23被引用 8

一句话总结

本文在贝塞尔势空间中建立了具有可接受亚纯核的梅林卷积算子的弗雷德霍姆理论与有界性性质，借助对偶分析与巴拿赫代数技术。关键贡献在于提出了基于符号的弗雷德霍姆性判别准则与加权贝塞尔势空间及索伯列夫–斯洛博德基夫空间中的指标公式，通过提升与插值方法将经典结果推广至核中具有极点的算子。

ABSTRACT

The paper is devoted to Mellin convolution operators with meromorphic kernels in Bessel potential spaces. We encounter such operators while investigating boundary value problems for elliptic equations in planar 2D domains with angular points on the boundary. Our study is based upon two results. The first concerns commutants of Mellin convolution and Bessel potential operators: Bessel potentials alter essentially after commutation with Mellin convolutions depending on the poles of the kernel (in contrast to commutants with Fourier convolution operatiors.) The second basic ingredient is the results on the Banach algebra $\mathfrak{A}_p$ generated by Mellin convolution and Fourier convolution operators in weighted $\mathbb{L}_p$-spaces obtained by the author in 1970's and 1980's. These results are modified by adding Hankel operators. Examples of Mellin convolution operators are considered. The first version of the paper was published in {\em Memoirs on Differential Equations and Mathematical Physics} {\bf 60}, 135-177, 2013. The formulations and proofs there contain fatal errors, which are improved in the present preprint. Part of the results, obtained with V. Didenko, are published in the preprint

研究动机与目标

• 发展具有亚纯核的梅林卷积算子在贝塞尔势空间中的弗雷德霍姆理论。
• 分析梅林卷积算子与贝塞尔势算子之间的对偶结构，表明核中的极点会改变贝塞尔势的行为。
• 通过引入哈尼克算子并修正已知的巴拿赫代数结果，将傅里叶卷积算子的经典理论推广至梅林设定。
• 建立加权勒贝格空间与贝塞尔势空间中梅林卷积算子的有界性与提升性质。
• 通过插值与正则化技术，推导出在索伯列夫–斯洛博德基夫空间中基于符号的弗雷德霍姆性判别准则与指标公式。

提出的方法

• 使用指数变换 $ Z_{\beta} $ 与 $ Z^{-1}_{\beta} $ 将 $ \mathbb{R}^+ $ 上的梅林卷积方程映射为 $ \mathbb{R} $ 上的傅里叶卷积方程。
• 通过变换核的傅里叶变换，推导出贝塞尔势空间中梅林卷积算子的符号 $ \mathcal{A}^s_p(\xi, \infty) $。
• 应用局部化原理，将全局弗雷德霍姆性质简化为在原点处的局部可逆性条件。
• 利用对偶技术与贝塞尔势理论，构造提升算子 $ \mathbf{A} $：$ \widetilde{\mathbb{H}}^s_p(\mathbb{R}^+) \to \mathbb{H}^s_p(\mathbb{R}^+) $。
• 通过贝塞尔势空间之间的实插值，将结果推广至索伯列夫–斯洛博德基夫（贝索夫）空间 $ \mathbb{W}^s_p = \mathbb{B}^{s}_{p,p} $。
• 采用克拉斯诺谢利斯基插值定理，保持误差项的紧致性，确保在插值空间中保持弗雷德霍姆性质。

实验结果

研究问题

• RQ1 梅林卷积算子在具有亚纯核时，与贝塞尔势算子对易的行为如何？与傅里叶卷积情形有何不同？
• RQ2 梅林卷积算子在贝塞尔势空间中的符号是什么？它如何决定弗雷德霍姆性质？
• RQ3 在加权贝塞尔势空间中，梅林卷积算子在原点处局部可逆的条件是什么？
• RQ4 如何将此类算子的弗雷德霍姆性质与指标从贝塞尔势空间推广至索伯列夫–斯洛博德基夫空间？
• RQ5 哈尼克算子在梅林与傅里叶卷积算子的巴拿赫代数框架中起什么作用？

主要发现

• 提升的梅林算子 $ \mathbf{A} $ 的符号 $ \mathcal{A}^s_p(\omega) $ 在 $ \Gamma_1 $ 上为椭圆的充要条件是 $ \inf_{\xi \in \mathbb{R}} |\det \mathcal{A}^s_p(\xi, \infty)| > 0 $，该条件刻画了在原点处的局部可逆性。
• 算子 $ \mathbf{A} : \widetilde{\mathbb{H}}^s_p(\mathbb{R}^+) \to \mathbb{H}^s_p(\mathbb{R}^+) $ 为弗雷德霍姆算子当且仅当其符号为椭圆，且指标满足 $ \operatorname{Ind} \mathbf{A} = -\operatorname{ind} \det \mathcal{A}^s_p $。
• 弗雷德霍姆性质与指标公式在实插值下保持不变，因此 $ \mathbf{A} : \widetilde{\mathbb{W}}^s_p(\mathbb{R}^+) \to \mathbb{W}^s_p(\mathbb{R}^+) $ 在 $ s \in (s_0, s_1) $，$ p \in (p_0, p_1) $ 时仍为弗雷德霍姆算子，且指标相同。
• 通过引入包含哈尼克算子与傅里叶卷积分量的修正巴拿赫代数 $ \mathfrak{A}_p $，建立了梅林卷积算子的有界性与提升性质。
• 梅林卷积算子与贝塞尔势算子的对偶结构在核的极点处不再保持不变，这与傅里叶情形不同，从根本上改变了谱结构。
• 该理论适用于具有角点的二维区域中的边值问题，此类算子自然源于具有固定奇点的局部积分方程。