复变函数的广义柯西积分公式与边值问题
我们先从柯西积分公式的基础开始。设 \(f(z)\) 在区域 \(D\) 内全纯,且在闭区域 \(\overline{D}\) 上连续,\(\gamma\) 是 \(D\) 内一条可求长的简单闭曲线,其内部属于 \(D\)。那么,对于 \(\gamma\) 内部的任意一点 \(z_0\),经典的柯西积分公式成立:
\[f(z_0) = \frac{1}{2\pi i} \oint_{\gamma} \frac{f(z)}{z - z_0} \, dz. \]
这个公式表明,函数在区域内部的值完全由它在边界上的值决定。
现在,我们考虑一个更一般的情况。假设 \(f(z)\) 在区域 \(D\) 内全纯,但在边界 \(\partial D\) 上可能不连续,或者我们只知道 \(f(z)\) 在边界上满足某种特定的条件(例如,是某个函数空间的元素,如 \(L^p(\partial D)\))。我们能否通过边界上的某种“积分表示”来恢复或定义区域内部的函数值?这就是广义柯西积分公式与边值问题的核心。
首先,我们定义柯西型积分。设 \(\Gamma\) 是复平面上一条光滑或分段光滑的曲线(可以是开的,也可以是闭的),\(\phi(\zeta)\) 是定义在 \(\Gamma\) 上的可积函数(例如,\(\phi \in L^p(\Gamma)\))。那么,对于不在 \(\Gamma\) 上的点 \(z\),柯西型积分定义为:
\[F(z) = \frac{1}{2\pi i} \int_{\Gamma} \frac{\phi(\zeta)}{\zeta - z} \, d\zeta. \]
函数 \(F(z)\) 在 \(\mathbb{C} \setminus \Gamma\) 上是全纯的。关键在于,当点 \(z\) 从两侧趋近曲线 \(\Gamma\) 时,\(F(z)\) 的极限行为如何?这就是著名的索霍茨基-普莱梅尔公式(Sokhotski-Plemelj Formula)所描述的内容。
假设 \(\Gamma\) 是一条光滑的简单闭曲线,将复平面分成内部 \(D^+\) 和外部 \(D^-\)。设 \(\phi(\zeta)\) 是 \(\Gamma\) 上的赫尔德连续函数(即满足 \(|\phi(\zeta_1) - \phi(\zeta_2)| \leq C |\zeta_1 - \zeta_2|^{\mu}, \, 0 < \mu \leq 1\))。那么,当 \(z\) 从内部趋近 \(\Gamma\) 上的一点 \(t\) 时,柯西型积分的极限值为:
\[F^+(t) = \frac{1}{2} \phi(t) + \frac{1}{2\pi i} \text{v.p.} \int_{\Gamma} \frac{\phi(\zeta)}{\zeta - t} \, d\zeta. \]
当 \(z\) 从外部趋近 \(t\) 时,极限值为:
\[F^-(t) = -\frac{1}{2} \phi(t) + \frac{1}{2\pi i} \text{v.p.} \int_{\Gamma} \frac{\phi(\zeta)}{\zeta - t} \, d\zeta. \]
这里,\(\text{v.p.}\) 表示柯西主值积分,即对称地绕过奇点 \(\zeta = t\)。这两个公式相减得到 \(F^+(t) - F^-(t) = \phi(t)\),相加得到 \(F^+(t) + F^-(t) = \frac{1}{\pi i} \text{v.p.} \int_{\Gamma} \frac{\phi(\zeta)}{\zeta - t} \, d\zeta\)。索霍茨基-普莱梅尔公式是研究奇异积分算子的基础。
现在,我们可以陈述黎曼-希尔伯特问题的一个基本形式。设 \(\Gamma\) 是一条简单光滑闭曲线,\(D^+\) 是其内部,\(D^-\) 是其外部(包含无穷远点)。给定 \(\Gamma\) 上的一个函数 \(g(t)\)(通常要求赫尔德连续),以及一个非零的复函数 \(G(t)\)(称为跳跃因子)。黎曼-希尔伯特问题要求寻找两个函数 \(\Phi^+(z)\) 和 \(\Phi^-(z)\),分别在全纯于 \(D^+\) 和 \(D^-\)(包括无穷远点,通常要求 \(\Phi^-(\infty)\) 有界或为零),使得在边界 \(\Gamma\) 上满足跳跃条件:
\[\Phi^+(t) = G(t) \Phi^-(t) + g(t), \quad \forall t \in \Gamma. \]
这是一个边值问题,因为解在区域内部的性态由它们在边界上的关系所决定。
当 \(g(t) \equiv 0\) 时,问题称为齐次的;否则为非齐次的。当 \(G(t) \equiv 1\) 时,问题退化为寻找一个在整个复平面上全纯的函数(可能在 \(\Gamma\) 上有跳跃),这通常与解析延拓有关。
黎曼-希尔伯特问题与广义柯西积分公式紧密相连。其解法通常涉及构造一个柯西型积分。假设我们想求解齐次问题 \(\Phi^+(t) = G(t) \Phi^-(t)\)。首先,对上述两边取对数(需要谨慎处理指标问题),将其转化为可加性的跳跃条件。然后,解可以表示为:
\[\Phi(z) = \exp\left( \frac{1}{2\pi i} \int_{\Gamma} \frac{\log G(\tau)}{\tau - z} \, d\tau \right) \cdot P(z), \]
其中 \(P(z)\) 是一个在整个复平面上全纯的函数(例如多项式)。这个表达式中的指数部分正是一个柯西型积分的指数,它产生了所需的边界跳跃。
黎曼-希尔伯特问题在复分析、可积系统、随机矩阵理论等领域有深远应用。例如,在可积系统中,线性谱问题(如薛定谔方程)的散射数据可以构成一个黎曼-希尔伯特问题,而其解则给出了原方程的解。