[论文解读] An integral representation for Herglotz-Nevanlinna functions in several variables

Annemarie Luger, Mitja Nedic|KTH Publication Database DiVA (KTH Royal Institute of Technology)|May 30, 2017

Social and Educational Sciences参考文献 2被引用 4

一句话总结

本文为多复变数的Herglotz-Nevanlinna函数建立了完整的积分表示，推广了经典的单变量Nevanlinna表示。证明了此类函数可表示为实常数、非负线性项以及满足增长条件和Nevanlinna条件的正Borel测度的组合，从而实现了对函数在多上半平面之外的表征与解析延拓分析。

ABSTRACT

In this article, a characterization of the class of Herglotz-Nevanlinna functions in $n$ variables is given in terms of an integral representation. Furthermore, alternative conditions on the measure appearing in this representation are discussed in detail. Symmetry properties induced by the integral representation are also investigated.

研究动机与目标

• 为$n$变量的Herglotz-Nevanlinna函数提供完整的积分表示，推广经典的一维情形。
• 消除先前研究（如Vladimirov的方法）中对分布理论和边界测度假设的依赖。
• 通过自然的增长条件与Nevanlinna条件表征表示测度的类。
• 分析这些函数在$(\mathbb{C} \setminus \mathbb{R})^n$上的解析延拓及其对称性。
• 将$n=2$时的早期结果推广并简化至一般$n$变量情形。

提出的方法

• 基于Cauchy积分公式与Helly选择原理，采用直接方法推导积分表示。
• 通过共形映射将单位多圆盘上具有非负实部函数的积分表示适配至上半平面。
• 显式定义核函数$K_n(\vec{z}, \vec{t})$，其表达式基于$n$变量Cauchy核的虚部。
• 对测度$\mu$施加两个关键条件：增长条件$\int_{\mathbb{R}^n} \frac{1}{1+|\vec{t}|^2} d\mu(\vec{t}) < \infty$与Nevanlinna条件（4.2），以确保虚部非负。
• 利用核函数与测度的结构，证明任何具有此类表示的函数均为Herglotz-Nevanlinna函数。
• 通过研究积分行为并推导涉及共轭变量的对称公式，分析函数在$(\mathbb{C} \setminus \mathbb{R})^n$上的延拓。

实验结果

研究问题

• RQ1 能否为$n$复变量的Herglotz-Nevanlinna函数建立一个完整积分表示，使其推广经典的一维情形？
• RQ2 使积分表示产生Herglotz-Nevanlinna函数的表示测度$\mu$的必要与充分条件是什么？
• RQ3 函数在扩展域$(\mathbb{C} \setminus \mathbb{R})^n$上的对称性如何体现？
• RQ4 在什么条件下，函数在扩展域中为常数，即使其在多上半平面中非恒定？
• RQ5 Nevanlinna条件与增长条件之间有何关系，它们如何与函数的解析性质及边界行为相互关联？

主要发现

• 在$n$变量情形下，Herglotz-Nevanlinna函数$q$具有如下积分表示：$q(\vec{z}) = a + \sum_{\ell=1}^n b_\ell z_\ell + \frac{1}{\pi^n} \int_{\mathbb{R}^n} K_n(\vec{z}, \vec{t}) d\mu(\vec{t})$，其中$a \in \mathbb{R}$，$\vec{b} \in [0,\infty)^n$，且$\mu$为满足增长条件与Nevanlinna条件的正Borel测度。
• Nevanlinna条件（4.2）等价于要求$q$的虚部在多上半平面上非负，且已被证明是该表示的必要且充分条件。
• 该积分表示允许$q$解析延拓至$(\mathbb{C} \setminus \mathbb{R})^n$，在此区域中，即使$q$在$\mathbb{C}^{+n}$中非恒定，其值也可能变为常数。
• 推导出扩展形式的对称公式（6.4），以共轭变量与关联于测度的函数$q_0$表示$q(\vec{z})$，揭示了其对虚部符号的依赖性。
• $q_0$（对应于常数项与线性项为零的测度$\mu$）满足$q_0(\vec{z}) = \frac{1}{\pi^n} \int_{\mathbb{R}^n} K_n(\vec{z}, \vec{t}) d\mu(\vec{t})$，其在共轭下的行为是整个对称性分析的核心。
• 通过一个显式例子验证了对称公式（6.4）正确再现了$q(z_1,z_2) = 2z_2 - \frac{1}{z_1 + z_2}$在$\mathbb{C}^2 \setminus \mathbb{R}^2$上的延拓，从而验证了理论框架的正确性。