[论文解读] Strong asymptotics for Christoffel functions of planar measures

Tom Bloom, N. Levenberg|ArXiv.org|Sep 13, 2007

Mathematical functions and polynomials参考文献 13被引用 4

一句话总结

本文利用加权势论和全纯势论的工具，建立了复平面上紧集上变权重Christoffel函数的强渐近性质。证明了归一化的Christoffel函数弱-*收敛到加权平衡测度，推广了实轴上的已知结果，并将其扩展到具有变权重的平面测度。

ABSTRACT

We prove a version of strong asymptotics of Christoffel functions with varying weights for a general class of sets E and measures in the complex plane. This class includes all regular measures in the sense of Stahl-Totik on regular compact sets E in the plane and even allows varying weights. Our main theorems cover some known results for subsets E of the real line R; in particular, we recover information in the case of E=R with Lebesgue measure dx and weight w(x) = exp(-Q(x)) where Q(x) is a nonnegative, even degree polynomial having positive leading coefficient.

研究动机与目标

• 将Christoffel函数的强渐近结果从实轴推广到复平面上的紧集。
• 为一类一般的平面测度建立归一化Christoffel函数收敛到加权平衡测度的结果。
• 推广实轴上的已知结果，包括 $ E = \mathbb{R} $ 时 $ w(x) = \exp(-Q(x)) $ 的情形，推广至 $ \mathbb{C} $ 中的非极紧集。
• 通过 $ \mathbb{C}^2 $ 中的全纯势论，为分析复平面上变权重正交多项式提供统一框架。
• 通过加权Bernstein-Markov不等式，证明自由能的存在性及大偏差估计。

提出的方法

• 利用 $ \mathbb{C} $ 中的加权势论与 $ \mathbb{C}^2 $ 中的全纯势论之间的对应关系，如文献 [3] 所述。
• 应用加权Bernstein-Markov不等式，以确保极限“自由能”的存在性（定理 2.1）。
• 通过Christoffel函数的对数的Laplacian定义测度序列 $ \mu_n = \Delta(\frac{1}{2n}\log K_n) $。
• 证明 $ \mu_n $ 在紧集 $ E \subset \mathbb{C} $ 上弱-*收敛到加权平衡测度 $ \mu_{eq}^w $。
• 利用由自由能极限存在性导出的大偏差估计（命题 4.2），依赖于标准势论。
• 应用Deift著作 [6] 和Berman工作 [1,2] 中结果的修改版本，将普遍性类型结果扩展到复平面。

实验结果

研究问题

• RQ1 能否将变权重Christoffel函数的强渐近性质从实轴推广到复平面上的一般紧集？
• RQ2 在何种条件下，对于紧集 $ E \subset \mathbb{C} $、权重 $ w $ 和测度 $ \mu $，归一化Christoffel函数会收敛到加权平衡测度？
• RQ3 在 $ \mathbb{C}^2 $ 中使用全纯势论如何促进对复平面上变权重正交多项式的分析？
• RQ4 自由能存在的条件是什么？它与正交多项式的大偏差原理有何关系？
• RQ5 对于 $ E = \mathbb{R} $，$ w(x) = \exp(-Q(x)) $，$ \mu = dx $ 的情形，结果在多大程度上可推广至 $ \mathbb{C} $ 中的非紧或非实集？

主要发现

• 序列 $ \frac{1}{2n}\log K_n(z) $ 在 $ \mathbb{C} $ 上一致收敛，意味着 $ \Delta(\frac{1}{2n}\log K_n) $ 弱-*收敛到加权平衡测度 $ \mu_{eq}^w $。
• 对于任意满足加权Bernstein-Markov不等式的紧集 $ E \subset \mathbb{C} $、可适权重 $ w $ 和测度 $ \mu $，Christoffel函数满足强渐近性质：$ \frac{1}{n+1}K_n(x)w(x)^{2n}dx \to d\mu_{eq}^w(x) $ 弱-*。
• 该结果推广了Totik在实轴上的强渐近性质至复平面，包括 $ E = \mathbb{R} $，$ w(x) = \exp(-Q(x)) $，$ Q $ 为正首项系数的偶次多项式的情形。
• 通过Bernstein-Markov不等式的势论后果，建立了自由能的存在性（定理 2.1）。
• 广义的 $ m $-点关联函数 $ R_m^{(n)} $ 弱-*收敛到 $ \mu_{eq}^w $ 的 $ m $ 重积，将普遍性结果扩展至复平面。
• 当 $ E = \mathbb{R} $，$ w(x) = \exp(-Q(x)) $ 时，极限 $ \lim_{n\to\infty} \mathcal{Z}_n^{1/n^2} $ 存在且等于 $ \delta^w(\mathbb{R}) $，在大紧区间 $ \tilde{E} $ 上的归一化因 $ w $ 的指数衰减而保持该极限。