[论文解读] Note on Löwner's theorem on matrix monotone functions in several commuting variables of Agler, McCarthy and Young

J. E. Pascoe|arXiv (Cornell University)|Sep 9, 2014

Holomorphic and Operator Theory参考文献 2被引用 4

一句话总结

该论文通过消除C¹光滑性假设，将Löwner关于矩阵单调函数的经典定理推广到多个交换变量的情形。利用光滑化技术，作者证明了任意在ℝᵈ开子集上局部矩阵单调的函数必然是解析的，并可解析延拓至上半空间ℂᵈ₊，从而将Agler、McCarthy和Young的结果推广至非光滑函数。

ABSTRACT

In this brief note, we show that the hypotheses of Löwner's theorem on matrix monotonicity in several commuting variables as proved by Agler, McCarthy and Young can be significantly relaxed. Specifically, we extend their theorem from continuously differentiable locally matrix monotone functions to arbitrary locally matrix monotone functions using mollification techniques.

研究动机与目标

• 通过放宽局部矩阵单调函数的C¹光滑性要求，推广Agler、McCarthy和Young的多变量Löwner定理。
• 证明仅凭局部矩阵单调性即可在多个交换变量中推出解析性。
• 利用逼近技术将矩阵单调函数的解析延拓性质推广至非光滑函数。
• 证明在不假设可微性的情况下，函数到上半空间ℂᵈ₊的解析延拓依然成立。

提出的方法

• 使用光滑且紧支集的核φₜ对局部矩阵单调函数f进行光滑化，得到一系列光滑逼近fₜ = φₜ * f。
• 通过在交换自伴矩阵空间中沿非减路径保持单调性，证明对足够小的t，每个光滑化函数fₜ均为局部矩阵单调。
• 利用定理2.2（来自[4]）控制fₜ导数的增长，确保当t → 0时，其导数构成正规族。
• 通过证明光滑化序列fₜ在紧集上一致收敛且借助正规族继承解析性，从而证明极限函数f为解析函数。
• 利用差商ρ_ε = (f(x+ε₁)−f(x))/ε的弱极限，在测度密度存在的点控制fₜ的导数。
• 利用上半空间ℂᵈ₊的结构及C¹函数已知的延拓结果，推断f的解析延拓。

实验结果

研究问题

• RQ1 Agler、McCarthy和Young的多变量Löwner定理中的C¹光滑性假设能否被移除？
• RQ2 在多个交换变量中，仅凭局部矩阵单调性是否能推出解析性而不假设可微性？
• RQ3 光滑化技术能否用于将解析延拓结果推广至非光滑矩阵单调函数？
• RQ4 通过光滑函数逼近时，f到ℂᵈ₊的解析延拓是否保持不变？

主要发现

• Agler、McCarthy和Young定理中的C¹光滑性假设可被移除：仅凭局部矩阵单调性即可推出解析性。
• 每个在开集E ⊂ ℝᵈ上的局部矩阵单调函数f: E → ℝ均为解析函数，该结论通过光滑化与正规族方法得以证明。
• 对足够小的t，光滑化函数fₜ保持局部矩阵单调性，其单调性在卷积下得以保留。
• 由于光滑化序列fₜ构成正规族且导数一致有界，极限函数f继承了解析性。
• 在紧集内部点处，fₜ的导数通过差商弱极限得到控制，确保方向导数的上极限有限。
• 作为推论，函数f: E → ℝ为局部矩阵单调当且仅当其为解析函数，且可解析延拓至ℂᵈ₊，取值于闭上半平面。