[论文解读] On the support of measures in multiplicative free convolution semigroups

Hao-Wei Huang, Ping Zhong|arXiv (Cornell University)|Feb 18, 2013

Spectral Theory in Mathematical Physics参考文献 26被引用 4

一句话总结

本文研究了在正实轴和单位圆上乘法自由卷积半群中测度的支撑结构与正则性。通过使用来自 ⊠-无限可分测度的 η-变换的次级函数，作者推导出绝对连续部分密度的显式公式，并证明支撑中连通分支的数量随半群参数 t 单调减少，从而在自由概率论中确立了一个关键正则性性质。

ABSTRACT

In this paper, we study the supports of measures in multiplicative free semigroups on the positive real line and on the unit circle. We provide formulas for the density of the absolutely continuous parts of measures in these semigroups. The descriptions rely on the characterizations of the images of the upper half-plane and the unit disc under certain subordination functions. These subordination functions are $η$-transforms of infinitely divisible measures with respect to multiplicative free convolution. The characterizations also help us study the regularity properties of these measures. One of the main results is that the number of components in the support of measures in the semigroups is a decreasing function of the semigroup parameter.

研究动机与目标

• 刻画在正实轴和单位圆上乘法自由卷积半群中测度的支撑。
• 分析这些测度的正则性性质，特别是其绝对连续部分的行为。
• 确定支撑中连通分支数量随半群参数 t 的演化方式。
• 利用次级函数为 μ^⊠t 的绝对连续部分密度提供一个隐式公式。
• 证明支撑中分支数量是 t 的单调递减函数，推广了关于加法自由卷积的已知结果。

提出的方法

• 本研究采用 η-变换与 ψ-变换分析 Mℝ₊× 和 M𝕋× 中的测度，利用上半平面与单位圆盘中的解析性质。
• 使用次级函数 ωt 将 μ^⊟t = μ ⊟ λt 表示为 μ^⊟t = μ ∘ ωt，其中 ωt 是一个 ⊟-无限可分测度的 η-变换。
• 通过 Julia-Carathéodory 理论，特别是单位圆边界点处的性质，刻画次级函数 ωt 的取值范围。
• 通过逆 η-变换与次级关系 ημ^⊟t = ημ ∘ ωt，隐式推导出 μ^⊟t 绝对连续部分的密度。
• 通过研究 ωt 在单位圆上的原像及其在边界点的行为，分析支撑中分支数量。
• 理论工具包括函数 u(z) = -log(ημ(z)/z) 及其 Julia-Carathéodory 导数，用以关联边界行为与原子成分。

实验结果

研究问题

• RQ1 当半群参数 t 从 1 增加到 ∞ 时，μ^⊟t 支撑中连通分支的数量如何演化？
• RQ2 次级函数 ωt 与 μ^⊟t 绝对连续部分密度之间的确切关系是什么？
• RQ3 在何种条件下 μ^⊟t 具有原子？其质量如何用 μ 和 t 表示？
• RQ4 次级函数 ωt 将单位圆盘映射到的像如何与 μ^⊟t 支撑的拓扑结构相关联？
• RQ5 η-变换及其 Julia-Carathéodory 导数在刻画 μ^⊟t 的正则性与成分结构方面起什么作用？

主要发现

• μ^⊟t 支撑中连通分支的数量是 t 的非增函数，随 t 增加而单调减少。
• μ^⊟t 的绝对连续部分具有可通过次级函数 ωt 与 μ 的 η-变换隐式描述的密度。
• 当且仅当 μ 在 1/ωt(ζ) 处有一个质量超过 1 - t⁻¹ 的原子时，μ^⊟t 才具有原子，其质量为 tμ({1/ωt(ζ)}) - (t - 1)。
• μ^⊟t 的支撑至多由可数个分支组成，每个分支要么是点质量（原子），要么是单位圆上的闭弧。
• 对于 μ ∈ M𝕋× 且 t > 1，μ^⊟t 的支撑是有限个原子与可数个弧的并集，且总分支数在 t 上严格递减。
• 次级函数 ωt 是一个 ⊟-无限可分测度的 η-变换，其边界行为决定了支撑的成分结构。