The Baker-Akhiezer function and
factorization of the Chebotarev-Khrapkov matrix
A new technique is proposed for the solution of the Riemann-Hilbert problem with the Chebotarev-Khrapkov matrix coefficient , , , is a zero-trace polynomial matrix. This problem has numerous applications in elasticity and diffraction theory. The main feature of the method is the removal of essential singularities of the solution to the associated homogeneous scalar Riemann-Hilbert problem on the hyperelliptic surface of an algebraic function by means of the Baker-Akhiezer function. The consequent application of this function for the derivation of the general solution to the vector Riemann-Hilbert problem requires the finding of the zeros of the Baker-Akhiezer function ( is the genus of the surface). These zeros are recovered through the solution to the associated Jacobi problem of inversion of abelian integrals or, equivalently, the determination of the zeros of the associated degree- polynomial and solution of a certain linear algebraic system of equations.
AMS subject classifications. 30E25, 30F99, 45E
Key words. Riemann-Hilbert problem, Baker-Akhiezer function, Riemann surfaces
Many problems of elasticity , , , , , electromagnetic diffraction , , , , , , , , and acoustic diffraction , ,  require the solution of the vector Riemann-Hilbert problem (RHP) of the theory of analytic functions  , , where is either the whole real axis, or a finite segment, when the matrix has the Chebotarev-Khrapkov (also known as Daniele-Khrapkov) structure , , ,
Here, and are Hölder functions on , , and is a zero-trace polynomial matrix. In the case (, and has simple zeros only) the problem was solved in . For a particular case of the matrix (1.1) and when , the exact solution was derived in . For any finite , the vector problem is reduced  to a scalar RHP on a hyperelliptic surface of genus . A theory of the RHP on compact Riemann surfaces and a constructive procedure for the solution of the associated Jacobi inversion problem was proposed in  (see also ). This technique was further developed and adjusted to specific needs of the RHPs on hyperelliptic surfaces arising in elasticity , , diffraction theory in , ,  and for symmetric vector RHPs in , . The method for the vector RHP with the coefficient (1.1) in the elliptic and hyperelliptic cases first factorizes the coefficient of the associated scalar RHP using the Weierstrass analogue of the Cauchy kernel. In general, that solution has an essential singularity at the infinite points of the surface due to unavoidable poles of the Weierstrass kernel. The next step of the procedure, the removal of the essential singularities, leads to the classical problem of the inversion of abelian integrals and, eventually, to the finding of the zeros of a certain degree- polynomial.
The main goal of this paper was to develop a new factorization procedure for matrices of the form (1.1) based on the use of the Baker-Akhiezer function. The Baker-Akhiezer function plays an important role in the study of analytic properties of eigenfunctions of ordinary differential operators with periodic coefficients , , , , . The representation of the Baker-Akhiezer function on a genus- hyperelliptic surface
that we employ for the solution of the Wiener-Hopf matrix factorization problem was first written by A. R. Its in context of the finite gap solutions of the KdV equation . Here, , is an abelian integral of the second kind with zero -periods and a certain prescribed polynomial growth at the infinite point of the surface , is the theta Riemann function, form the canonical basis of abelian integrals of the first kind, , are simple poles of the Baker-Akhiezer function, are the Riemann constants associated with the homology basis , , and , .
In section 2 we state the vector RHP in the real axis with the matrix coefficient (1.1) and reduce it to a scalar RHP on a hyperelliptic surface of the algebraic function . We derive a particular solution, , to the scalar RHP in section 3. This solution satisfies the boundary condition but has inadmissible essential singularities at the two infinite points and of the surface. In section 4 we construct the Baker-Akhiezer function (1.2) of the surface . This function is associated with an abelian integral of the second type with zero--periods used to remove the essential singularities and two Riemann -functions which serve to make the solution continuous through the -cross-sections. We find the Wiener-Hopf factors in terms of the functions and and the general solution to the vector RHP in section 5.
2 Scalar RHP on a Riemann surface associated with the Chebotarev-Khrapkov matrix
Motivated by numerous applications in acoustics, electromagnetic theory, fluid mechanics and elasticity we assume that the Riemann-Hilbert contour, , is the whole real axis which splits the plane of a complex variable into two half-planes, and . Let be a matrix which is nonsingular in and whose structure is
where , , , and are polynomials, and is the class of all Hölder functions in any finite interval in which tend to a definite limit as . For large , they satisfy the condition , , . Without loss of generality assume that . Let be an order-2 -vector-function on such that is the zero-vector. Consider the following RHP.
Given and find two vectors, and , analytic in the domains and , respectively, bounded at infinity, -continuous up to the contour and satisfying the boundary condition
Denote and . All zeros, , of are simple, while the zeros of the polynomial , , have multiplicity , respectively, and . Some or all zeros of the polynomial may have an odd multiplicity . In this case the -th zero is counted as a simple zero of and an order- zero of the polynomial . Assume that none of the zeros of and falls in the contour (we refer to  otherwise). In addition, we assume that is even, (this is true for all known applications of the problem (2.2) with the matrix coefficient (2.1) to elasticity and diffraction theory). This implies . Denote , , and for simplicity, accept that and , ().
Choose a single branch of in the plane cut along simple smooth disjoint arcs , , such that , . The functions
are the eigenvalues of the matrix , and their product is the determinant of . To pursue the Wiener-Hopf factorization of , we split it as
and reduce the problem of matrix factorization to a scalar RHP on a Riemann surface . First we introduce two new vectors, and ,
The components of the vector are expressed through the components of the vector as
Similar formulas can be written for the components of the vectors and . The new functions and may grow at infinity if . Let . Then since the functions and are bounded as , we have , , , .
Due to continuity of the vector through the branch cuts (), we have , . This implies that the components of the vector satisfy the following Riemann-Hilbert boundary conditions:
and may have poles of multiplicity , at the zeros of the polynomial .
We wish to reformulate (2.9) as a scalar RHP on a Riemann surface. Let be the two-sheeted Riemann surface of the algebraic function formed by gluing two copies, and , of the extended complex plane along the cuts () such that
is a single-valued function on the surface . Here, is the branch chosen before. Let , () be a homology basis of the genus- surface (Figure 1).
Denote the contour on the surface with () being two copies of the contour . With each pair of the functions , and we associate the following functions on the surface :
The function may have simple poles at the branch points of the surface , (recall  that a branch point of the Riemann surface is called an order- pole of the function if , , const, and is a local uniformizing parameter of the point ). We also assert that the function is continuous through the contours (), and therefore the vector RHP (2.2) on the plane is equivalent to the following scalar RHP on the surface .
Find a piece-wise analytic function with the discontinuity contour , -continuous up to the contour , satisfying the boundary condition
and having poles of multiplicity , in both sheets of the surface and simple poles at the branch points . In neighborhoods of the two infinite points of the surface the function satisfies the inequality , , .
3 Solution with an essential singularity at the infinite points
We begin with factorization of the function . For an analogue of the Cauchy kernel we choose the Weierstrass kernel
and analyze the integral
Pick a point on , , and treat it as the starting point, , of the contour (it is convenient to take ). Let
where is the index of the function , and is the increment of as traverses the contour in the positive direction with being the starting point. Because of the continuity of the functions and in the contour both numbers, and , are integers. Fix branches of the logarithmic functions and by the condition , Then at the terminal point of the contour (to distinguish the terminal and starting points, we denote the former point as ), . Analysis of the singular integrals in the right-hand side (3.2) implies
Consequently, the integral in the left-hand side (3.2) has a logarithmic singularity at the point in both sheets of the surface
It is an easy matter to move the singularity from the contour to the surface by adding the extra term
Here, are smooth simple contours which do not intersect the contours , , , are arbitrary fixed points, are their affixes, and , . The function is continuous through the contour except for the points and at which the integral has logarithmic singularities. In addition, the integral has logarithmic singularities at the internal points ,
The function satisfies the homogeneous boundary condition
does not have singularities at the points and , but has inadmissible essential singularities at the points and . Also, it has simple zeros on the sheet if and simple poles on if (, ).
4 Baker-Akhiezer function
Our aim is to quench the essential singularities at the infinite points of the function by employing the Baker-Akhiezer function, , on the genus- surface associated with the function . The function has to satisfy the following two conditions:
(i) it is meromorphic everywhere on except at the points and ,
(ii) the function is bounded at the points and .
we study the behavior of the function at the infinite points. For the branch chosen we have
where is the factorial symbol. By virtue of (4.2)
and therefore, as ,
This brings us to the expansion of the function at the infinite points
Our next step is to construct a special abelian integral of the second kind,
Determine by the following properties:
(a) , , ,
We seek the abelian differential in the form
where the coefficients are to be determined. We wish to exploit this formula in order to study the behavior of the integral at the infinite points. Because of (4.3) we have
where are defined recursively by
By integrating (4.12) we determine the asymptotic expansion of the abelian integral
where and are constants. On satisfying the property (a) of the integral we find the coefficients , …,
Due to (4.13) we can express the coefficients () through
The remaining coefficients in the representation (4.11) of the abelian differential are fixed by solving the system of linear algebraic equations
which follows from the property (b) of the integral . Here,
This completes the construction of the abelian integral .
It becomes evident that the product is bounded as , . This function is continuous through the cross-sections of the surface because of the zero -periods and discontinuous through the cross-sections () due to the non-zero -periods of the integral . Our efforts will now be directed towards annihilating the jumps ,
of the function through the cross-sections , .
Let () be the canonical basis of Abelian differentials of the first kind
where the constants () are chosen such that
Denote the periods of the basis by
The matrix () is symmetric and is positive definite. The principal tool we shall use to suppress the discontinuities of is the Riemann -function
Because of the positive definiteness of the matrix the series converges for all . The -function has periods , are integers, and quasiperiods , ,
Introduce next the function
Here, and are the integrals
which form the canonical basis of abelian integrals of the first kind. It is convenient to choose as the branch point . The numbers are chosen to be
where () are some arbitrary distinct fixed points on say, on ,