[论文解读] An inductive Julia-Caratheodory theorem for Pick functions in two variables

J. E. Pascoe|arXiv (Cornell University)|May 27, 2016

Meromorphic and Entire Functions参考文献 5被引用 3

一句话总结

本文通过引入一种将无穷远处的渐近行为与矩条件联系起来的归纳框架，为双变量 Pick 函数建立了更高阶的 Julia-Carathéodory 定理。证明了属于中间 Löwner 类 $\mathcal{L}^{N-}$ 的函数当且仅当其余项的虚部在阶数 $2N+1$ 处消失时，属于完整的 Löwner 类 $\mathcal{L}^{N}$，并表明在阶数 $2N+1$ 处出现实留数的情形恰好对应于第 $2N+1$ 阶导数为多项式的情形，从而将经典的一变量结果推广至双变量情形。

ABSTRACT

We study the asymptotic behavior of Pick functions, analytic functions which take the upper half plane to itself. We show that if a two variable Pick function $f$ has real residues to order $2N-1$ at infinity and the imaginary part of the remainder between $f$ and this expansion is of order $2N+1,$ then $f$ has real residues to order $2N$ and directional residues to order $2N+1.$ Furthermore, $f$ has real residues to order $2N+1$ if and only if the $2N+1$-th derivative is given by a polynomial, thus obtaining a two variable analogue of a higher order Julia-Carathéodory type theorem.

研究动机与目标

• 将经典 Julia-Carathéodory 定理推广至双变量 Pick 函数，通过在无穷远处发展更高阶渐近理论。
• 通过留数与矩条件，表征 Löwner 类 $\mathcal{L}^N$ 与 $\mathcal{L}^{N-}$。
• 通过余项虚部的有界性与消失性，建立从 $\mathcal{L}^{N-1}$、$\mathcal{L}^{N-}$ 到 $\mathcal{L}^N$ 的归纳判别准则。
• 通过构造反例，证明双变量情形下 Löwner 类的层级结构不会坍塌，与单变量情形不同。

提出的方法

• 利用双变量 Nevanlinna 表示，将 Pick 函数表达为算子内积，从而实现矩理论分析。
• 应用 Agler-McCarthy 向量矩理论，将渐近正则性转化为算子理论的矩条件。
• 运用谱理论与单调收敛定理，分析函数在无穷远处沿非切向路径的虚部渐近行为。
• 通过 $r_k(z)$ 函数导出留数的递归结构，这些函数是与预解式相关的向量的内积。
• 引入方向留数与标量/向量矩的概念，以表征至阶数 $2N+1$ 的正则性，将其与多项式导数联系起来。
• 在 $l^2(\mathbb{Z}_{2(n-1)})$ 中通过修改的左正则表示构造反例，以证明 $\mathcal{L}^N \neq \mathcal{L}^{N-}$。

实验结果

研究问题

• RQ1 在什么条件下，一个具有至阶数 $2N-1$ 实留数的双变量 Pick 函数，其至阶数 $2N$ 的实留数与至阶数 $2N+1$ 的方向留数也存在？
• RQ2 当函数属于中间 Löwner 类 $\mathcal{L}^{N-}$ 时，其属于完整 Löwner 类 $\mathcal{L}^N$ 的条件是什么？
• RQ3 标量与向量矩的存在性与 Pick 函数在无穷远处虚部渐近展开之间的精确关系为何？
• RQ4 双变量理论与单变量情形有何不同，特别是在 Löwner 类层级结构坍塌方面？
• RQ5 双变量 Pick 函数的第 $2N+1$ 阶导数在矩条件与留数结构方面如何表征？

主要发现

• 双变量 Pick 函数 $f$ 具有至阶数 $2N+1$ 的实留数，当且仅当其第 $2N+1$ 阶导数为多项式，从而在经典 Julia-Carathéodory 定理的精神下提供了完整的表征。
• 函数 $f$ 属于 $\mathcal{L}^N$ 当且仅当其属于 $\mathcal{L}^{N-}$，且在减去 $2N-1$ 阶展开后，余项的虚部在阶数 $2N+1$ 处消失，从而确保更高阶正则性。
• 双变量情形下层级关系 $\mathcal{L}^N \neq \mathcal{L}^{N-}$ 成立，通过一个具体反例得以证明：尽管低阶 $r_k(z)$ 为多项式，但 $r_{2n-1}(z)$ 并非多项式。
• 对所有 $b \in (\mathbb{R}^+)^2$，表达式 $s^{2N-1} \text{Im}[h(isb) - \sum_{|n|\leq 2N-3} \rho_n/(isb)^n]$ 的虚部有界，当且仅当 $h \in \mathcal{L}^{N-}$，从而确立了关键的归纳判别准则。
• 方向留数 $r_{2N-1}(b)$ 等于 $-\sum_{|n|=2N-1} \rho_n / b^n$，揭示了留数与主导余项之间精确的代数关系。
• 反例函数 $f(z) = \langle (A - z_Y)^{-1} \alpha, \alpha \rangle$ 属于 $\mathcal{L}^{N-}$ 但不属于 $\mathcal{L}^N$，因为 $r_{2n-1}(z)$ 不是多项式，从而证明了严格包含关系 $\mathcal{L}^N \subsetneq \mathcal{L}^{N-}$。