查看“︁黎曼–希尔伯特问题”︁的源代码

[[数学]]中，得名于[[伯恩哈德·黎曼]]和[[大卫·希尔伯特]]的'''黎曼–希尔伯特问题'''是在[[复平面]]研究[[微分方程]]时出现的一类问题。[[马克·克林]]、Israel Gohberg等人提出了这种问题的[[存在性定理]]（见Clancey & Gohberg (1981)）。

==黎曼问题==
设<math>\Sigma</math>为复平面中的简单闭合轮廓，将复平面分为<math>\Sigma_{+}</math>（内侧）与<math>\Sigma_{-}</math>（外侧）两部分，分别用轮廓相对于点的[[卷绕数]]决定。黎曼的博士论文（参{{harvtxt|Pandey|1996}}）考虑的经典问题是寻找函数

:<math>M_+(z) = u(z) + i v(z)</math>

在<math>\Sigma_{+}</math>解析，这样''M''<sub>+</sub>沿<math>\Sigma</math>的边界值满足方程

:<math>a(z)u(z) - b(z)v(z) = c(z) </math>

<math>\forall z\in \Sigma</math>，其中''a''、''b''、''c''为给定的实值函数{{harv|Bitsadze|2001}}。

据[[黎曼映射定理]]，只需考虑<math>\Sigma</math>是单位圆的状况即可{{harv|Pandey|1996|loc=§2.2}}。这时可以寻找''M''<sub>+</sub>(''z'')及其[[施瓦兹反射原理|施瓦兹反射]]：

:<math>M_-(z) = \overline{M_+\left(\bar{z}^{-1}\right)}.</math>

在单位圆Σ上，有<math>z = 1/\bar{z}</math>，因此

:<math>M_-(z) = \overline{M_+(z)},\quad z\in\Sigma.</math>

于是问题简化为找到一对分别在单位圆内外解析的函数''M''<sub>+</sub>(''z'') and ''M''<sub>−</sub>(''z'')，所以在单位圆上

:<math>\frac{a(z)+ib(z)}{2}M_+(z) + \frac{a(z)-ib(z)}{2}M_-(z) = c(z),</math>

且无穷远处的条件成立：
:<math>\lim_{z\to\infty}M_-(z) = \overline{{M}_+(0)}.</math>

==希尔伯特问题==
希尔伯特的推广：试找到分别在曲线Σ内外侧解析的''M''<sub>+</sub>与''M''<sub>−</sub>，使在<math>\Sigma</math>上有
:<math>\alpha(z) M_+(z) + \beta(z) M_-(z) = c(z)</math>

其中α、β、''c''是任意给定的复值函数（不再只是复共轭函数）。

==黎曼–希尔伯特问题==
黎曼问题和希尔伯特推广中，轮廓<math>\Sigma</math>都是简单的。完整的黎曼–希尔伯特问题允许轮廓由多条不相交的定向光滑曲线的联合构成，其+、−侧可根据点相对于轮廓的卷绕数确定。黎曼–希尔伯特问题试图在+、−侧分别找到解析的函数''M''<sub>+</sub>、''M''<sub>−</sub>，且满足方程

:<math>\alpha(z) M_+(z) + \beta(z) M_-(z) = c(z)</math>

<math>\forall z\in\Sigma.</math>

==推广：矩阵分解问题==
给定有向“轮廓”Σ（严格来说：复平面内没有无穷多自交点的平滑曲线的有向联合），''黎曼–希尔伯特分解问题''如下：

给定定义在轮廓Σ上的矩阵函数''V''，求定义在Σ之补上的全纯矩阵函数''M''，且要满足两个条件：
# 若''M''<sub>+</sub>、''M''<sub>−</sub>表示''M''在接近Σ时的非切向极限，则在Σ的所有非交点上有''M''<sub>+</sub>&nbsp;=&nbsp;''M''<sub>−</sub>V。
# ''z''沿Σ之外的任何方向趋向无穷大时，''M''趋向于[[单位矩阵]]。

最简单的情况下，''V''光滑可积。较复杂的情形下，其可能存在奇异点。极限''M''<sub>+</sub>、''M''<sub>−</sub>可以是经典、连续的，也可以是[[平方可积函数|''L''<sub>2</sub>]]意义上的。
在轮廓Σ的端点或交点，跳跃条件没有定义，必须对附近M的增长加以限制，以确保唯一性（下详）。

==在可积性理论中的应用==
黎曼–希尔伯特问题可用于几类相关问题。

;A. [[可积系统|可积模型]]：与线上1+1维[[偏微分方程]]的[[柯西问题]]或周期问题或初边值问题（{{harvtxt|Fokas|2002}}）相关的[[逆散射问题]]或逆谱问题，都可视作是黎曼–希尔伯特问题。同样，[[潘勒韦解]]的逆单值性问题也可视作是黎曼–希尔伯特问题。

;B. [[正交多项式]]、[[随机矩阵]]：给定轮廓上的权重，可通过黎曼–希尔伯特分解，计算出相应的正交多项式（{{harvtxt|Fokas|Its|Kitaev|1992}}）。另外，若干经典问题中随机矩阵特征值的分布也可简化为设计正交多项式的计算（如{{harvtxt|Deift|2000}}）。

;C. 组合[[概率]]：最著名的例子是{{harvtxt|Baik|Deift|Johansson|1999}}关于随机排列最长递增子序列长度分布的定理。它与上述B.研究一起，是对所谓“可积概率”的严格研究之一。不过，可积理论与各种经典随机矩阵集合之间的联系可追溯到Dyson的研究（如{{harvtxt|Dyson|1976}}）。

;D. 与[[唐纳森-托马斯理论]]的联系：{{harvtxt|Bridgeland|2019}}的工作研究了一类来自唐纳森-托马斯理论的黎曼-希尔伯特问题，并将其与格罗莫夫-威滕理论与精确WKB联系起来。

黎曼-希尔伯特问题的数值分析为数值求解可积[[偏微分方程]]提供了有效途径，参Trogdon & Olver (2016)。

===用于渐进===
黎曼–希尔伯特分解问题可用于提取上述3个问题的渐进值（如当时间趋向无穷大，或分散系数趋向0，或多项式次数趋向无穷大，或置换的大小趋向无穷大）。有一种提取黎曼–希尔伯特问题解的渐进行为的方法，类似于适于指数积分的[[稳相近似法]]和[[最速下降法]]。

通过与经典渐近方法类比，可将无法明确求解的黎曼–希尔伯特问题“变形”为可以明确求解的问题。所谓稳相“非线性”法由{{harvtxt|Deift|Zhou|1993}}提出，推广了{{harvtxt|Its|1982}}、{{harvtxt|Manakov|1974}}以前的想法，并使用了{{harvtxt|Beals|Coifman|1984}}、{{harvtxt|Zhou|1989}}的技术背景结果。Deift–Zhou分析的关键要素是轮廓上奇异积分的渐进分析。相关核是标准[[柯西积分公式|柯西核]]（见{{harvtxt|Gakhov|2001}}；另参下文的标量示例）。

稳相非线性法的重要扩展是{{harvtxt|Deift|Venakides|Zhou|1997}}引入的所谓有限间隙g函数变换，这在大多数应用中都至关重要。这是受Lax、Levermore、Venakides的工作启发，他们将[[KdV方程]]的小分散极限分析简化为某外部场下对数势最大化问题的分析：“静电”类型的变分问题（参{{harvtxt|Lax|Levermore|1983}}）。g函数是最大化“均势”度量的对数变换。事实上，对[[KdV方程]]的小分散极限分析，为“实”正交多项式（即在实线上定义了正交条件）和厄米随机矩阵相关的大部分工作提供了分析基础。
 
到目前为止，该理论最复杂的扩展可能是{{harvtxt|Kamvissis|McLaughlin|Miller|2003}}对“非自交”情形的应用，即当基本Lax算子（[[Lax 对]]的第一个分量）不自交时。那时，需要定义和计算实际的“最速下降轮廓”。相应的变分问题是最值问题：寻找能使“均势”度量最小的轮廓。{{harvtxt|Kamvissis|Rakhmanov|2005}}对这变分问题进行了研究，并证明了在外部场的某些条件下存在规则解；产生的轮廓是“S形曲线”，1980年代由Herbert R. Stahl、Andrei A. Gonchar、Evguenii A Rakhmanov定义并研究。

{{harvtxt|McLaughlin|Miller|2006}}提供了黎曼–希尔伯特分解问题的另一种渐进分析法。在跳跃矩阵没有解析扩展时尤其方便。他们的方法基于对[[Dbar问题]]的分析，而非对轮廓上奇异积分的渐进分析。{{harvtxt|Varzugin|1996}}提出了另一种处理非解析推广的跳跃矩阵的方法。

该理论的另一种推广见于{{harvtxt|Kamvissis|Teschl|2012}}，黎曼–希尔伯特问题的基础空间是紧超椭[[黎曼曲面]]。根据[[黎曼-罗赫定理]]，正确的分解问题不再是全纯的，而是[[亚纯函数|亚纯的]]。相关的奇异核也不是通常的柯西核，而是涉及曲面自然定义的亚纯微分的更一般的核（参{{harvtxt|Kamvissis|Teschl|2012}}附录）。黎曼–希尔伯特问题变形理论适于无限周期[[户田晶格]]在“短程”扰动（如有限多粒子的扰动）下的稳定性问题。

文献中研究的黎曼–希尔伯特分解问题大多是2维的，即未知矩阵的维数为2。Arno Kuijlaars及同事研究了更高维的情形，参{{harvtxt|Kuijlaars|López|2015}}。

==例子：标量黎曼–希尔伯特分解问题==
设''V''&nbsp;=&nbsp;2，Σ是''z''&nbsp;=&nbsp;−1到''z''&nbsp;=&nbsp;1的轮廓。设''M''有界，则''M''的解为？

要解该问题，我们先取方程<math>M_+=M_- V</math>的[[对数]]：

:<math> \log M_+(z) = \log M_-(z) + \log 2. </math>

由于<math>M\to 1\Rightarrow \lim_{z\to\infty}\log M\to 0</math>。

关于[[希尔伯特变换|柯西变换]]的一个标准事实是<math>C_+ -C_- = I </math>，当中<math>C_+ , C_-</math>是柯西变换在Σ上下的极限，于是有

:<math> \frac{1}{2\pi i}\int_{\Sigma_+} \frac{\log 2}{\zeta-z} \, d\zeta - \frac{1}{2\pi i} \int_{\Sigma_-} \frac{\log{2}}{\zeta-z} \, d\zeta = \log 2
\text{ when } z\in\Sigma.
</math>

由于黎曼–希尔伯特分解问题的''M''的解唯一（[[刘维尔定理 (复分析)|刘维尔定理]]的应用），可用[[索霍茨基-魏尔斯特拉斯定理]]得到解。

:<math>\log M = \frac{1}{2\pi i}\int_{\Sigma}\frac{\log{2}}{\zeta-z}d\zeta = \frac{\log 2}{2\pi i}\int^{1-z}_{-1-z}\frac{1}{\zeta}d\zeta = \frac{\log 2}{2\pi i} \log{\frac{z-1}{z+1}}, </math>

即

:<math> M(z)=\left( \frac{z-1}{z+1} \right)^{\frac{\log{2}}{2\pi i}}</math>
其在轮廓<math>\Sigma</math>处有1个分支。
检验：

:<math>\begin{align}
M_+(0) &=(e^{i\pi} )^{\frac{\log 2}{2\pi i}} = e^{\frac{\log 2}{2}} \\ 
M_-(0) &=(e^{-i\pi})^{\frac{\log 2}{2\pi i}} = e^{-\frac{\log 2}{2}}
\end{align}</math>

于是，

:<math>M_+(0)=M_-(0)e^{\log{2}}=M_-(0)2.</math>

注意1：若问题不是标量，就不能轻易取对数。一般来说显式解非常罕见。

注意2：M在特殊点<math>\pm 1</math>附近的有界性（或至少是增长的限制）至关重要，否则任何
:<math> M(z)=\left( \frac{z-1}{z+1} \right)^{\frac{\log{2}}{2\pi i}} + \frac{a}{z-1}+ \frac{b}{z+1} </math> 
形式的函数也是解。一般来说，需要在特殊点（跳跃轮廓的端点或交点）上设置增长约束，以确保问题适定。

== 另见 ==
* [[黎曼–希尔伯特对应]]

==参考文献==
{{sfn whitelist |CITEREFBitsadze2001 |CITEREFGakhov2001}}
*{{citation|first1=J.|last1=Baik|first2=P.|last2=Deift|first3=K.|last3=Johansson|title=On the distribution of the length of the longest increasing subsequence of random permutations|journal=[[Journal of the American Mathematical Society]]|volume=12|issue=4|year=1999|pages=1119–1178|url=https://www.ams.org/jams/1999-12-04/S0894-0347-99-00307-0/home.html|doi=10.1090/S0894-0347-99-00307-0|doi-access=free|accessdate=2023-11-16|archive-date=2008-09-06|archive-url=https://web.archive.org/web/20080906215422/http://www.ams.org/jams/1999-12-04/S0894-0347-99-00307-0/home.html|dead-url=no}}.
*{{citation|first1=R.|last1=Beals|first2= R.R.|last2=Coifman|title=Scattering and inverse scattering for first order systems|journal=[[Communications on Pure and Applied Mathematics]]|volume= 37|pages=39–90|year=1984|doi=10.1002/cpa.3160370105}}.
*{{springer|id=b/b017400|last=Bitsadze|first=A.V.|title=Boundary value problems of analytic function theory|year=2001}}
*{{citation|first=T.|last=Bridgeland|title=Riemann–Hilbert problems from Donaldson–Thomas theory|journal=[[Inventiones Mathematicae]]|volume=216|year=2019|pages=69-124}}.
*{{citation|first1=K.|last1=Clancey|first2=I.|last2=Gohberg|title=Factorization of matrix functions and singular integral operators|series=Oper. Theory: Advances and Appl.|volume=3|publisher=Birkhäuser Verlag|location=Basel-Boston-Stuttgart|year=1981}}.
*{{citation|first=Percy A.|last=Deift|authorlink=Percy Deift|title=Orthogonal Polynomials and Random Matrices|publisher=[[American Mathematical Society]]|year=2000|isbn=978-0-8218-2695-9}}.
*{{citation|first1=Percy|last1=Deift|first2=S.|last2=Venakides|first3=X.|last3=Zhou|title=New Results in Small Dispersion KdV by an Extension of the Steepest Descent Method for Riemann–Hilbert Problems|series=International Mathematical Research Notices|year=1997|pages=286–299}}.
*{{citation|first1=Percy|last1=Deift|authorlink1=Percy Deift|first2=X.|last2=Zhou|title=A Steepest Descent Method for Oscillatory Riemann–Hilbert Problems; Asymptotics for the MKdV Equation|journal=[[Annals of Mathematics]] | series = Second Series| volume=137 |year=1993 |issue=2 |pages= 295&ndash;368|doi=10.2307/2946540|arxiv=math/9201261|jstor=2946540|s2cid=12699956 }}.
*{{citation|first=Freeman|last=Dyson|authorlink=Freeman Dyson|title=Fredholm Determinants and Inverse Scattering Problems|journal=[[Communications in Mathematical Physics]]|volume=47|issue=3|year=1976|pages=171–183|doi=10.1007/BF01608375|bibcode=1976CMaPh..47..171D|s2cid=122511904|url=http://projecteuclid.org/euclid.cmp/1103899727|accessdate=2023-11-16|archive-date=2020-08-13|archive-url=https://web.archive.org/web/20200813154942/https://projecteuclid.org/euclid.cmp/1103899727|dead-url=no}}.
*{{citation|first1=A.S.|last1=Fokas|title=Integrable nonlinear evolution equations on the half-line|journal=[[Communications in Mathematical Physics]]|volume=230|issue =1|year=2002|pages=1–39|doi=10.1007/s00220-002-0681-8 |bibcode=2002CMaPh.230....1F |s2cid=118630271 }}.
*{{citation|first1=A.S.|last1=Fokas|first2=A.R.|last2=Its|first3=A.V.|last3=Kitaev|title=The isomonodromy approach to matrix models in 2D quantum gravity|journal=[[Communications in Mathematical Physics]]|volume=147|issue =2|year=1992|pages=395–430|doi=10.1007/BF02096594 |bibcode=1992CMaPh.147..395F |s2cid=118343085 }}.
*{{springer| title=Riemann–Hilbert problem| id= r/r081900| last= Gakhov| first= F.D.| author-link=Fyodor Gakhov}}
*{{springer|first=G.|last=Khimshiashvili|title=Birkhoff factorization|id=b/b120240}}.
*{{citation|first=A.R.|last=Its|title=Asymptotics of Solutions of the Nonlinear Schrödinger Equation and Isomonodromic Deformations of Systems of Linear Differential Equations|journal=Soviet Mathematics - Doklady|volume=24|issue=3|year=1982|pages=14–18}}.
*{{citation|first=A.R.|last=Its|title=The Riemann–Hilbert Problem and Integrable Systems|journal=Notices of the AMS|volume=50|issue=11|year=2003|pages=1389–1400|url=https://www.ams.org/notices/200311/fea-its.pdf|accessdate=2023-11-16|archive-date=2023-12-04|archive-url=https://web.archive.org/web/20231204042659/https://www.ams.org/notices/200311/fea-its.pdf|dead-url=no}}.
*{{citation|first1=S.|last1=Kamvissis|first2=K.|last2=McLaughlin|first3=P.|last3=Miller|title=Semiclassical Soliton Ensembles for the Focusing Nonlinear Schrödinger Equation|series=Annals of Mathematics Study|volume=154|publisher=Princeton University Press|location=Princeton|year=2003}}.
*{{citation|first1=S.|last1=Kamvissis|first2=E.A.|last2=Rakhmanov|title=Existence and Regularity for an Energy Maximization Problem in Two Dimensions|journal=[[Journal of Mathematical Physics]]|volume=46|issue=8|pages=083505|year=2005|doi=10.1063/1.1985069|bibcode = 2005JMP....46h3505K |arxiv=0907.5571|s2cid=17284652 }}.
*{{citation|first1=S.|last1=Kamvissis|first2=G.|last2=Teschl|authorlink2=Gerald Teschl|title=Long-time asymptotics of the periodic Toda lattice under short-range perturbations|journal=J. Math. Phys.|volume=53|issue=7|pages=073706|year=2012|doi=10.1063/1.4731768|arxiv = 0705.0346 |bibcode = 2012JMP....53g3706K |s2cid=2579238 }}.
*{{citation|first1=Arno|last1=Kuijlaars|first2=Abey|last2=López|title=A vector equilibrium problem for the normal matrix model, and multiple orthogonal polynomials on a star |journal=Nonlinearity|volume=28|issue=2|year=2015|pages=347–406|arxiv=1401.2419|bibcode=2015Nonli..28..347K|doi=10.1088/0951-7715/28/2/347|s2cid=119171871 }}.
*{{citation|first1=Peter D.|last1=Lax|authorlink1=Peter D. Lax|first2=C.D.|last2=Levermore|title=The Zero Dispersion Limit for the KdV Equation I-III|journal=[[Communications on Pure and Applied Mathematics]]|volume=36|issue=3|year=1983|pages=253–290, 571–593, 809–829|doi=10.1002/cpa.3160360302}}.
*{{citation|first1=S.V.|last1=Manakov|title=Nonlinear Fraunnhofer diffraction|journal=Sov. Phys. JETP|volume=38|pages=693–696|year=1974|bibcode = 1974JETP...38..693M }}.
*{{citation|first1=K.|last1=McLaughlin|first2=P.|last2=Miller|title=The d-bar steepest descent method and the asymptotic behavior of polynomials orthogonal on the unit circle with fixed and exponentially varying nonanalytic weights|journal=IMRP|year=2006|pages=1–77}}.
*{{citation|first=J.N.|last=Pandey|title=The Hilbert transform of Schwartz distributions and applications|publisher=Wiley-Interscience|year=1996}}.
*{{citation|first=G.G.|last=Varzugin|title=Asymptotics of oscillatory Riemann-Hilbert problems|journal= [[Journal of Mathematical Physics]] |volume=37 |issue=11|pages=5869–5892|year=1996|doi=10.1063/1.531706|bibcode=1996JMP....37.5869V }}.
*{{citation|first1=Thomas |last1=Trogdon |first2=Sheehan |last2=Olver|title= Riemann–Hilbert Problems, Their Numerical Solution, and the Computation of Nonlinear Special Functions|publisher= SIAM |year=2016}}.
*{{citation|first=Xin|last= Zhou|title= The Riemann–Hilbert problem and inverse scattering|journal= SIAM J. Math. Anal. |volume=20 |pages= 966–986 |year=1989|issue= 4|doi= 10.1137/0520065}}.

{{Authority control}}
[[Category:复分析]]
[[Category:孤立子]]
[[Category:散射理论]]
[[Category:调和分析]]
[[Category:常微分方程]]
[[Category:偏微分方程]]
[[Category:数学问题]]
[[Category:伯恩哈德·黎曼]]
[[Category:大卫·希尔伯特]]