View source for Riemann-Hilbert problem

<!--
r0819001.png
$#A+1 = 52 n = 0
$#C+1 = 52 : ~/encyclopedia/old_files/data/R081/R.0801900 Riemann\ANDHilbert problem,
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

''linear conjugation problem, Riemann problem, Hilbert problem, Riemann boundary value problem, Riemann–Privalov problem, Hilbert–Privalov problem''

One of the main [[Boundary value problems of analytic function theory|boundary value problems of analytic function theory]]. It can be stated in the simplest case as follows. Let  $  L $
be a simple smooth closed contour that splits the plane into a bounded interior domain  $  D  ^ {+} $
and the domain  $  D  ^ {-} $
complementary to it, containing the point at infinity. Let two functions  $  G ( t) $
and  $  g ( t) $
be given on  $  L $, 
satisfying a [[Hölder condition|Hölder condition]] ( $  H $-
condition), with  $  G ( t) \neq 0 $
everywhere on  $  L $. 
It is required to find two functions  $  \Phi  ^  \pm  ( z) $, 
analytic in  $  D  ^  \pm  $, 
respectively, continuous up to the contour except for finitely many points  $  t _ {k} $, 
where they may have discontinuities satisfying

$$ 
| \Phi ( z) |  < \ 

\frac{A}{| z - t _ {k} | ^ {\alpha _ {k} } }
 ,
$$

and satisfying on  $  L $
the boundary condition

$$ \tag{* }
\Phi  ^ {+} ( t)  =  G ( t) \Phi  ^ {-} ( t) + g ( t) ,
$$

where the function  $  G ( t) $
is called the coefficient of the problem. The integer

$$ 
\kappa  =   \mathop{\rm ind}  G ( t)  =  
\frac{1}{2 \pi }

\int\limits _ { L } d  \mathop{\rm arg}  G ( t)  = \ 

\frac{1}{2 \pi i }
 \int\limits d   \mathop{\rm ln}  G ( t)
$$

is called the index of the coefficient  $  G ( t) $
and at the same time the index of the Riemann–Hilbert problem. Suppose that one is looking for a solution satisfying the condition  $  \Phi  ^ {-} ( \infty ) = 0 $. 
Then for  $  \kappa > 0 $, 
the homogeneous Riemann–Hilbert problem (that is, when  $  g ( t) \equiv 0 $) 
and the non-homogeneous Riemann–Hilbert problem are unconditionally solvable; the solution depends linearly on  $  \kappa $
arbitrary constants and are expressed linearly in terms of a polynomial of degree  $  \kappa - 1 $
with arbitrary coefficients. If  $  \kappa = 0 $, 
the homogeneous Riemann–Hilbert problem has only the trivial zero solution, and the non-homogeneous problem is solvable unconditionally and uniquely. If  $  \kappa < 0 $, 
the homogeneous problem has only the trivial solution, and the non-homogeneous problem has a unique solution only if  $  | \kappa | $
solvability conditions are satisfied, which can be expressed linearly in terms of a polynomial with variable coefficients.

The solution of the Riemann–Hilbert problem in all cases is represented in closed form by quadratures in terms of integrals of Cauchy type (cf. [[Cauchy integral|Cauchy integral]]). The boundary values of the unknown functions necessarily satisfy the  $  H $-
condition on the contour. The result listed above can be carried over unchanged to the case of a multiply-connected domain  $  D  ^ {+} $
bounded by finitely many simple mutually non-intersecting closed curves. The case of a contour consisting of open curves presents the peculiarity that at the ends of the curves of the contour the solutions of the Riemann–Hilbert problem, depending on the chosen class of solutions, may become infinite or remain bounded. The index depends on the chosen class of solutions. The index in the class of solutions with an admissible infinity at the end of order less than one (an integrable infinity) is equal to one plus the index in the class of solutions bounded at this end. In accordance with this, the number of linearly independent solutions increases by one or the number of solvability conditions decreases by one. A similar situation occurs in the case when the coefficient  $  G ( t) $
has discontinuities of the first kind; the solution at the points of discontinuity behaves in the same way as at the ends of the contour.

In the general case, when the contour consists of finitely many arbitrarily situated closed and open curves, the Riemann–Hilbert problem is solved by the same methods as the simple cases mentioned above, and similar results hold. Some difficulties are presented by the investigation of the solution at the points where several curves of the contour meet.

In the case when  $  G ( t) $
and  $  g ( t) $
are only continuous, but do not satisfy an  $  H $-
condition, the results stated above remain valid, except that here the boundary values of the solutions exist only as the contour is approached along non-tangential paths, and they are not continuous, but  $  \Phi  ^  \pm  ( t) \in L _ {p} $
for any  $  p > 0 $; 
if  $  G ( t) $
is continuous and  $  g ( t) \in L _ {p} $, 
then  $  \Phi  ^  \pm  ( t) \in L _ {p} $. 
The most general assumption for the coefficient  $  G ( t) $
under which the Riemann–Hilbert problem has been solved is that it belongs to the class of measurable functions with an additional condition on the value of the jump of the argument; here also  $  g ( t) \in L _ {p} $.

Riemann–Hilbert problems with infinite index have been considered, in which simple smooth curves have been chosen for the contours with one or both ends going to infinity. The following cases have been investigated: 1) a polynomial order of growth, when as  $  | t | \rightarrow \infty $
the asymptotic equalities

$$ 
 \mathop{\rm Ind}  G ( t)  \sim  \pm  | t |  ^  \rho 
$$

are satisfied ( $  0 < \rho < \infty $
for the case one infinite end,  $  0 < \rho < 1 $
for both ends infinite); and 2) a logarithmic order of growth, when as  $  | t | \rightarrow \infty $,

$$ 
 \mathop{\rm Ind}  G ( t)  \sim  \pm   \mathop{\rm ln}  ^  \alpha   | t | ,\ \ 
0 < \alpha < \infty .
$$

At both ends with a positively infinite index the number of linearly independent solutions is infinite and is expressed in terms of an entire function whose form depends on the order of the indices. For a negative infinite index the homogeneous problems has no non-trivial solutions, and the non-homogeneous problem is solvable only if an infinite set of solvability conditions is satisfied. The main difficulty lies in distinguishing the finite solutions.

The solution of the Riemann–Hilbert problem on a Riemann surface, and the equivalent problem on the fundamental domain of an automorphic function belonging to a group of permutations, has been investigated for automorphic functions of this class. The number of solutions or solvability conditions depends on the index, and in certain (singular) cases also on the genus of the surface or on the fundamental domain.

If in condition (*)  $  G $
is a matrix and  $  \Phi  ^  \pm  $
and  $  g $
are ( $  n $-
dimensional) vectors, then there arises the Riemann–Hilbert problem for a componentwise-analytic vector. This is significantly more complicated than the scalar case  $  ( n = 1 ) $
considered above. The investigation is carried out by reduction to a system of integral equations. The number of linearly independent solutions or solvability conditions depends on  $  n $
unknown quantities, called partial indices, the dependence of which on the coefficient matrix has not been established explicitly. An important role is played by the index of the determinant of  $  G $, 
called the total index of the problem.

The Riemann–Hilbert problem (for a componentwise-analytic vector) occurred first with B. Riemann (see [[#References|[1]]]) in connection with the solution of the problem of constructing a linear differential equation from a given group of permutations ([[Monodromy group|monodromy group]]). However, in the approximate form stated above the Riemann–Hilbert problem was first considered by D. Hilbert in 1905 (see [[#References|[2]]]) under less general conditions; the first results (of an alternative character) were obtained by reduction to an integral equation. In 1908 J. Plemelj (see [[#References|[3]]]), using for the first time integrals of Cauchy type, reduced the Riemann–Hilbert vector problem to an integral equation and completely solved the problem of differential equations posed by Riemann. The non-homogeneous Riemann–Hilbert problem (in a somewhat different formulation) was first considered by I.I. Privalov [[#References|[4]]]; his results are concerned mainly with function-theoretical generalizations.

The Riemann–Hilbert problem has many applications. The main ones are in the theory of singular integral equations. Generalizations have been given in various directions: the Riemann–Hilbert problem with a shift or with conjugation, with differentials for generalized analytic functions, and others. The theory of the Riemann–Hilbert problem and its generalizations and applications are more fully reflected in [[#References|[5]]] and [[#References|[6]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B. Riemann,   "Collected works" , Dover, reprint  (1953)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D. Hilbert,   "Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen" , Chelsea, reprint  (1953)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  J. Plemelj,   "Riemannsche Funktionenscharen mit gegebenen Monodromiegruppe"  ''Monatsh. Math. Phys.'' , '''19'''  (1908)  pp. 211–245</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  I.I. Privalov,   "On a boundary problem in analytic function theory"  ''Mat. Sb.'' , '''41''' :  4  (1934)  pp. 519–526  (In Russian)  (French abstract)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.I. Muskhelishvili,   "Singular integral equations" , Wolters-Noordhoff  (1972)  pp. Chapt. 2  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  F.D. Gakhov,   "Boundary value problems" , Pergamon  (1966)  (Translated from Russian)</TD></TR></table>

====Comments====
The Riemann–Hilbert problem plays a central role in soliton theory. Cf. [[Boundary value problems of analytic function theory|Boundary value problems of analytic function theory]] (and its editorial comments) for information on this and additional material.