[论文解读] On the Hardy-Littlewood-P\'olya and Taikov type inequalities for multiple operators in Hilbert spaces

В. Ф. Бабенко, Yu. V. Babenko+2 more|arXiv (Cornell University)|Jul 26, 2020

Advanced Harmonic Analysis Research参考文献 34被引用 3

一句话总结

本文提出了一套统一框架，用于推导希尔伯特空间中多个闭算子的哈代-利特尔伍德-波利亚型与泰科夫型的精确均方和乘法不等式。通过利用谱理论和算子分解，作者建立了紧致黎曼流形上拉普拉斯-贝尔特拉米算子幂的新型精确不等式，并在极限情况下恢复了经典结果，包括在Rd上的泰科夫与哈代-利特尔伍德-波利亚不等式。

ABSTRACT

We present unified approach to obtain sharp mean-squared and multiplicative inequalities of Hardy-Littlewood-Poly\'a and Taikov types for multiple closed operators acting on Hilbert space. We apply our results to establish new sharp inequalities for the norms of powers of the Laplace-Beltrami operators on compact Riemmanian manifolds and derive the well-known Taikov and Hardy-Littlewood-Poly\'a inequalities for functions defined on $d$-dimensional space in the limit case. Other applications include the best approximation of unbounded operators by linear bounded ones and the best approximation of one class by elements of other class. In addition, we establish sharp Solyar-type inequalities for unbounded closed operators with closed range.

研究动机与目标

• 开发一种统一方法，用于推导希尔伯特空间中多个闭算子的哈代-利特尔伍德-波利亚型与泰科夫型的精确不等式。
• 建立紧致黎曼流形及CROSS空间上拉普拉斯-贝尔特拉米算子幂的范数的新型精确不等式。
• 将Rd上的经典泰科夫与哈代-利特尔伍德-波利亚不等式作为所提算子理论框架的极限情形恢复。
• 通过谱分解求解无界泛函的最佳逼近问题（Stechkin问题），即用有界线性算子逼近无界泛函。
• 推导闭无界算子（包括拉普拉斯-贝尔特拉米算子）的精确索里亚型不等式，其值域闭。

提出的方法

• 利用希尔伯特空间中自伴算子与正规算子的谱分解，将范数表示为傅里叶系数与算子作用的函数形式。
• 引入广义范数∥·∥B,h，用于作用于共同定义域上的算子Bj，实现对均方不等式的统一处理。
• 通过在正权向量h ∈ R^{m+1}_+上进行变分技术与优化，推导不等式中的精确常数。
• 通过均方不等式的齐次化与缩放，利用拉格朗日乘子法建立乘法不等式。
• 应用希尔伯特空间中最佳逼近理论，求解无界泛函的Stechkin问题。
• 通过利用算子的闭值域与自伴性，结合对偶与商空间技术，推导出索里亚型不等式。

实验结果

研究问题

• RQ1 能否为希尔伯特空间中多个闭算子的哈代-利特尔伍德-波利亚型与泰科夫型不等式建立统一框架以推导精确不等式？
• RQ2 在紧致黎曼流形上，函数的L^p范数与拉普拉斯-贝尔特拉米算子k次幂的L^q范数之间的不等式中，精确常数是什么？
• RQ3 Rd上的经典泰科夫与哈代-利特尔伍德-波利亚不等式如何作为所提算子理论框架的极限情形出现？
• RQ4 对于闭无界算子（值域闭）的索里亚型不等式，其精确常数是什么，特别是针对拉普拉斯-贝尔特拉米算子的幂？
• RQ5 能否在此框架内求解无界泛函的最佳逼近问题（即用有界线性算子逼近无界泛函）？

主要发现

• 本文建立了在d维紧致黎曼流形M上，∆^k x的L^2范数的精确不等式：||∆^k x||_2^2 ≤ ||x||_p ||∆^{2k} x||_q，当x ∈ H^{4k}_q(M)且满足k ≥ d/2(1/2 − 1/p)时成立。
• 不等式||∆^k x||_2^2 ≤ C ||x||_p ||∆^{2k} x||_q中的精确常数为C = 1/π^d ∫_{R^d_+} t^{2k} dt / ∑_{l=0}^m h_l t^{2r_l}，其中h ∈ R^{m+1}_+适当选取，且在特定序列的极限下取等。
• 当m = d且r_0 = 0时，经典Rd上的泰科夫不等式作为极限情形被恢复，经变量代换后显式常数为C = ∫_{R^d_+} u^{2k} du / ∑_{l=0}^m u^{2r_l}。
• 为闭无界算子（值域闭）导出了精确的索里亚型不等式：||Ax||_H^2 ≤ ||x||_X ||A^*Ax||_{X^*}，且在极限下取等，推广了拉普拉斯-贝尔特拉米算子的结果。
• 该框架恢复并推广了V. G. 索里亚[34]在环面T上的结果，表明当p > 1且k > d/4时，极值函数存在。
• 通过商空间对偶与极值泛函的构造，求解了无界泛函的最佳逼近问题（Stechkin问题），并达到精确上界。