Abstract
In this work, we discuss RiemannHilbert and its adjoint homogeneous problem associated with generalized Qholomorphic functions and investigate the solvability of the RiemannHilbert problem.
Keywords:
generalized Beltrami systems; Qholomorphic functions; RiemannHilbert problemIntroduction
Douglis [1] and Bojarskiĭ [2] developed an analog of analytic functions for elliptic systems in the plane of the form
where w is an vector and q is an quasidiagonal matrix. Also, Bojarskiĭ assumed that all eigenvalues of q are less than 1. Such systems are natural ones to consider because they arise from the reduction of general elliptic systems in the plane to a standard canonical form. Subsequently Douglis and Bojarkii’s theory has been used to study elliptic systems in the form
and the solutions of such equations were called generalized (or pseudo) hyperanalytic functions. Work in this direction appears in [35]. These results extend the generalized (or ‘pseudo’) analytic function theory of Vekua [6] and Bers [7]. Also, classical boundary value problems for analytic functions were extended to generalized hyperanalytic functions. A good survey of the methods encountered in a hyperanalytic case may be found in [8,9], also see [10].
In [11], Hile noticed that what appears to be the essential property of elliptic systems in the plane for which one can obtain a useful extension of analytic function theory is the selfcommuting property of the variable matrix Q, which means
for any two points , in the domain of Q. Further, such a Q matrix cannot be brought into a quasidiagonal form of Bojarskiĭ by a similarity transformation. So, Hile [11] attempted to extend the results of Douglis and Bojarskiĭ to a wider class of systems in the same form with equation (1). If is selfcommuting in and if has no eigenvalues of magnitude 1 for each z in , then Hile called the system (1) the generalized Beltrami system and the solutions of such a system were called Qholomorphic functions. Later in [12,13], using Vekua and Bers techniques, a function theory is given for the equation
where the unknown is an complex matrix, is a selfcommuting complex matrix with dimension and for . and are commuting with Q. Solutions of such an equation were called generalizedQholomorphic functions.
In this work, as in a complex case, following Vekua (see [[6], pp.228236]), we investigate the necessary and sufficient condition of solvability of the RiemannHilbert problem for equation (2).
Solvability of RiemannHilbert problems
In a regular domain G, we consider the problem
We refer to this problem as boundary value problem (A). Where the unknown is an complex matrixvalued function, is a Höldercontinuous function which is a selfcommuting matrix with and for . and are commuting with Q, which is
It is assumed, moreover, that Q is commuting with and is commuting with Q, where , . In respect of the data of problem (A), we also assume that A, B and and . If , , we have homogeneous problem ().
We refer to the adjoint, homogeneous problem (A) as (); it is given by
where ϕ is a generating solution for the generalized Beltrami system ([[11], p.109]), , and ds is the arc length differential. From the Green identity for Qholomorphic functions (see [[11], p.113]), we have
where is commuting with Q. For and , this becomes
Since satisfies the boundary condition
we have
where ϰ is a real matrix commuting with Q.
The solutions to problem () may be represented by means of fundamental kernels in terms of a real, matrix density ϰ as
see ([[14], p.543]). In (9), P is a constant matrix defined by
called Pvalue for the generalized Beltrami system [11]. Since ϰ is a real matrix commuting with Q, inserting the expression (9) into the boundary condition (7), we have
where
The integral in (10) is to be taken in the Cauchy principal value sense. If we denote this equation in an operator form by and its adjoint by , then it may be easily demonstrated that the index of (10) is . Here k and are dimensions of null spaces of and respectively. If is a complete system of solutions of (10), putting each of this into (9), we obtain the solutions of problem (). However, it is possible that some of these solutions may turn out to be trivial solutions, which occurs when takes on the boundary values of a Qholomorphic function on each component of boundary contours in which is, moreover, Qholomorphic in the domain bounded by the closed contour . Let be solutions of equation (10) to which linearly independent solutions (see [15]) of problem () correspond, then the remaining solutions satisfy the boundary condition of the form
Here are meant to be Qholomorphic functions outside of and . Hence the Qholomorphic functions satisfy the homogeneous boundary conditions
In a complex case, Vekua refers to problems of this type as being concomitant to () and denotes them by (). Let be a number of linearly independent solutions of this problem. Obviously, .
Let us now return to the discussion of problem (A), where we assume that in what follows. The solutions of this problem may be expressed in terms of the generalized Cauchy kernel as follows:
where
(see [[14], p.543]). From the Plemelj formulas, it is seen that the density μ must satisfy the integral equation
where
Problem () concomitant to problem () has the boundary condition on Γ, where Φ is Qholomorphic outside and . Denoting the numbers of linearly independent solutions of () and () by ℓ and respectively, we have . In order that (13) is solvable, it is necessary and sufficient that the nonhomogeneous data satisfy the auxiliary conditions
where are solutions to integral equation (10). These solutions may be broken up into two groups and such that for and for , where . Here and are solutions of problems () and () respectively. The condition (15) for given by (14) becomes
Consequently, the conditions (15) are seen to hold if (6) (with ) holds. From the above discussion, one obtains a Fredholmtype theorem for problem (A).
Theorem 1Nonhomogeneous boundary problem (A) is solvable if and only if the condition (6) is satisfied, being an arbitrary solution of adjoint homogeneous boundary problem ().
This theorem immediately implies the following.
Theorem 2Nonhomogeneous boundary problem (A) is solvable for an arbitrary righthand side if and only if adjoint homogeneous problem () has no solution.
Competing interests
The author declares that they have no competing interests.
References

Douglis, A: A function theoretic approach to elliptic systems of equations in two variables. Commun. Pure Appl. Math.. 6, 259–289 (1953). Publisher Full Text

Bojarskiĭ, BV: Theory of generalized analytic vectors. Ann. Pol. Math.. 17, 281–320 (1966) (in Russian)

Gilbert, RP: Constructive Methods for Elliptic Equations, Springer, Berlin (1974)

Gilbert, RP, Hile, GN: Generalized hypercomplex function theory. Trans. Am. Math. Soc.. 195, 1–29 (1974)

Gilbert, RP, Hile, GN: Hypercomplex function theory in the sense of L. Bers. Math. Nachr.. 72, 187–200 (1976). Publisher Full Text

Vekua, IN: Generalized Analytic Functions, Pergamon, Oxford (1962)

Bers, L: Theory of PseudoAnalytic Functions, Inst. Math. Mech., New York University, New York (1953)

Begehr, H, Gilbert, RP: Transformations, Transmutations, and Kernel Functions, Longman, Harlow (1992)

Gilbert, RP, Buchanan, JL: First Order Elliptic Systems: A Function Theoretic Approach, Academic Press, Orlando (1983)

Begehr, H, Gilbert, RP: Boundary value problems associated with first order elliptic systems in the plane. Contemp. Math.. 11, 13–48 (1982)

Hile, GN: Function theory for generalized Beltrami systems. Compos. Math.. 11, 101–125 (1982)

Hızlıyel, S, Çağlıyan, M: Generalized Qholomorphic functions. Complex Var. Theory Appl.. 49, 427–447 (2004)

Hızlıyel, S, Çağlıyan, M: Pseudo Qholomorphic functions. Complex Var. Theory Appl.. 49, 941–955 (2004)

Hızlıyel, S: The Hilbert problem for generalized Qhomomorphic functions. Z. Anal. Anwend.. 25, 535–554 (2006)

Hızlıyel, S, Çağlıyan, M: The Riemann Hilbert problem for generalized Qhomomorphic functions. Turk. J. Math.. 34, 167–180 (2010)