- Research
- Open Access
- Published:

# The solvability of a kind of generalized Riemann–Hilbert problems on function spaces \(H_{\ast }\)

*Journal of Inequalities and Applications*
**volume 2020**, Article number: 234 (2020)

## Abstract

In this paper, we study a kind of generalized Riemann–Hilbert problems (R-HPs) with several unknown functions in strip domains. We mainly discuss methods of solving R-HPs with two unknown functions and obtain general solutions and conditions of solvability on function spaces \(H_{\ast }\). At the end of this paper, we consider in detail the behavior of the solution at ∞ and in different domains. Thus the results in this paper generalize and improve the theory of the classical Riemann–Hilbert problems.

## Introduction

It is well known that Riemann–Hilbert problems are a powerful mathematical tool widely applied in physics, fracture mechanics, engineering mechanics, engineering and technology, and many other fields [1–3]. Especially, the problem of finding solutions for some kinds of singular integral equations is often transformed to solving Riemann–Hilbert problems [4–15]. In [1, 2] the Riemann–Hilbert problems on an infinite straight line has systematically been studied, and the Riemann–Hilbert problems with unknown function on two parallel lines was further described. So far, the results of the boundary value problems for analytic functions have been mostly confined to the case of only one unknown function.

Motivated by the above researches, the main purpose of this paper is extending the theory to the R-HPs with \(n\geq 2\) unknown functions on *n* parallel straight lines, and we mainly discuss the case \(n=2\). Using the classical boundary value theory and principle of analytic continuation, we investigate the analytic solutions and the conditions of solvability on function spaces \(H_{\ast }\) (the notation \(H_{\ast }\) can be found in Sect. 2). At nodal points the asymptotic behavior of a solution of such a problem is discussed in detail. Our method of solving problems is innovate, different from those in classical cases. Meanwhile, this paper also improves some results of [2–4, 7].

## Definitions and lemmas

In this section, we introduce some definitions and lemmas.

### Definition 2.1

Let \(F(x)\) be a continuous function in the real number field \(\mathbb{R}\). A function \(F(x)\) belongs to *Ĥ* if the following two conditions are fulfilled:

(1) there exists \(B \in \mathbb{R}^{+} \) such that

on the neighborhood \(N_{\infty }\) of ∞, that is, there exists a sufficiently large \(M>0\) such that (2.1) is satisfied for all \(x_{1}, x_{2}\in \mathbb{R}\backslash [-M,M]\).

(2) \(F\in H\) on \([-M,M]\), where *H* is the class of Hölder continuous functions (for the notation *H*, see [1]).

### Definition 2.2

A function *F* belongs to \(H_{\ast }\) if it satisfies:

(1) \(F\in \hat{H}\), (2) \(F\in L^{2}(\mathbb{R})\) (see [1, 6] for the definition of \(L^{2}(\mathbb{R})\)).

With respect to the function spaces \(H_{\ast }\), one of its important properties is closedness under pointwise multiplication.

If a function *F* satisfies the Hölder condition on a neighborhood \(N_{\infty }\) of ∞, then we write \(F\in H(N_{\infty })\).

### Definition 2.3

Let \(f(t)\in H_{\ast }\). We define its Fourier transform \(\mathbb{F}\) and the inverse Fourier transform \(\mathbb{F}^{-1}\) as follows:

### Lemma 2.1

*Let functions* \(\Omega _{1}\) *and* \(\Omega _{2}\) *be analytic in the upper half*-*plane* \(\mathbb{C}^{+}\) *and the lower half*-*plane* \(\mathbb{C}^{-}\) *except their poles* \(z_{0}=\infty \) *and* \(z_{k}\) \((k=1,2,\dots,n)\). *Suppose that the boundary values of* \(\Omega _{1}\) *and* \(\Omega _{2}\) *on* \(\operatorname{Im}z=0\) *are equal*. *The main parts of the Laurent expansion of* \(\Omega _{1}\) *and* \(\Omega _{2}\) *at* \(z_{0}=\infty \) *are*

*where* \(c_{m}^{0}\neq 0\) *and* \(c_{k}^{0}\) \((1\leq k\leq m)\) *are constants*. *The main parts of the Laurent expansion for* \(\Omega _{1}\) *and* \(\Omega _{2}\) *at every pole* \(z_{k}\) \((k=1,2,\dots, n)\) *are*

*where* \(c_{l}^{k}\) \((1\leq l\leq p)\) *are constants*, *and* \(c_{p}^{k}\neq 0\), \(p\geq 1\). *Then* \(\Omega _{1}\) *and* \(\Omega _{2}\) *can be represented by the same function* Ω *in the complex plane* \(\mathbb{C}\), *namely*,

*where* \(c_{0}\) *is a complex constant*.

### Proof

We can prove the lemma by using the generalized Liouville theorem [14, 16, 17] and the principle of analytic continuation [1, 2, 7]. □

The following lemmas are obvious facts, and we omit their proofs.

### Lemma 2.2

*If there exists a sufficiently large positive number* *B* *such that* \(F(z)\in H\) *for* \(|z|< B \) *and* \(F(z)\) *is analytic for* \(|z|\geq B\), *then* \(F(z)\in \hat{H}\) *on the complex plane* \(\mathbb{C}\).

### Lemma 2.3

*Let* \(f(t)\in \{0\}\) *and* \(F(x)=\mathbb{F}f(t)\). *The Cauchy*-*type integral is defined as*

*Then for* \(z\in \mathbb{C}^{+}\), *we have*

*and for* \(z\in \mathbb{C}^{-}\), *we have*

*It is easy to prove that* \(\Theta ^{+}(z)\) *and* \(\Theta ^{-}(z)\) *are analytical in* \(z\in \mathbb{C}^{+}\) *and* \(z\in \mathbb{C}^{-}\), *respectively*.

## Problem presentation and solution

We now propose boundary value problems for analytic functions with \(n\geq 2\) unknown functions on *n* parallel lines, and then we discuss the methods of solution of such problems.

Suppose that *n* lines \(\gamma _{j}\) \((1\leq j\leq n)\) are parallel to the *X*-axis and denote them by \(L=\Sigma _{j=1}^{n}\gamma _{j}\), where \(\gamma _{j} (1\leq j\leq n)\) take the direction from left to right as the positive direction and can be expressed by \(\xi _{j}=x+iR_{j}\) (\(R_{n}< \cdots <R_{2}<R_{1}\)), where \(x, R_{j}\in \mathbb{R}\). Our goal is to obtain functions \(F_{j}(z) (1\leq j\leq n)\) such that \(F_{j}(z)\) are analytic in \(R_{j}< \operatorname{Im}z<R_{j-1} (2\leq j\leq n)\) and \(F_{1}(z)\) is analytic in \(\operatorname{Im}z>R_{1}\) and \(\operatorname{Im}z< R_{n}\), and the following boundary value conditions are fulfilled:

when \(j=n\), denote \(F_{n+1}^{-}(\xi )\) as \(F_{1}^{-}(\xi )\), where the given functions \(A_{j}(\xi )\), \(B_{j}(\xi ) (1\leq j\leq n)\) belong to \(H_{\ast }\) on \(\gamma _{j}\). Obviously, R-HP (3.1) can also be written in the following form:

It follows from (3.1) that the orders of \(F_{j}(z) (1\leq j\leq n)\) are equal to each other at ∞. Thus, when the orders of \(F_{j}(z)\) are *m* at ∞, (3.1) can be denoted as \(R_{m}\). In fact, the problem \(R_{0}\) and problem \(R_{-1}\) are frequently discussed. On the problem \(R_{0}\), \(F_{j}(z)\) are supposed to be finite and nonzero at ∞. On problem \(R_{-1}\), \(F_{j}(z)\) are assumed to be zero at ∞. When \(A_{j}(\xi ) (1\leq j\leq n)\) are not zero on *L*, problem (3.1) is said to be of normal type; otherwise, it is called of nonnormal type or of exception type.

Note that since the positive direction of \(\gamma _{j} (1\leq j\leq n)\) is the direction from left to right, when the observer moves from left to right on \(\gamma _{j}\), the boundary values of left domain of \(\gamma _{j}\) are positive, that is, the positive boundary values of \(F_{j}(z) (1\leq j\leq n)\) are the boundary values above \(\gamma _{j}\), and the negative boundary values of \(F_{j}(z)\) are those below \(\gamma _{j}\).

Without loss of generality, in this paper, we only discuss the case \(n=2\). As for R-HP with \(n>2\) unknown functions on *n* parallel lines, there is no essential difference for the methods of solution with the case \(n=2\).

When \(n=2\), R-HP (3.1) can be stated as follows.

### Problem

Assume that \(\gamma _{1}: \xi =x+i\beta \) and \(\gamma _{2}:\xi =x+i\alpha \) are two oriented lines, where *α* and *β* are real numbers with \(\alpha <\beta \). Similarly to the above statement, we take the direction of \(\gamma _{1}\) and \(\gamma _{2}\) from left to right as the positive direction. We want to obtain functions \(F_{1}(z)\) and \(F_{2}(z)\) such that \(F_{1}(z)\) is analytic in \(\{\operatorname{Im}z>\beta \}\cup \{\operatorname{Im}z<\alpha \}\), and \(F_{2}(z)\) is analytic in \(\{z:\alpha <\operatorname{Im}z<\beta \}\) and satisfies the following boundary value conditions on \(\gamma _{1}\) and \(\gamma _{2}\):

In fact, (3.3) is the R-HP on two parallel straight lines \(\operatorname{Im}z=\beta \) and \(\operatorname{Im}z=\alpha \) with \(z=\infty \) as a pole, and it is a generalization of the classical R-HP.

Here \(F_{1}^{+}(\xi )\) is the boundary value of the analytic function \(F_{1}(z)\), which is analytic in \(\{z:\operatorname{Im}z>\beta \}\), and belongs to \(H_{\ast }\) on \(\gamma _{1}\); \(F_{1}^{-}(\xi )\) is the boundary value of the analytic function \(F_{1}(z)\), which is analytic in \(\{z:\operatorname{Im}z<\alpha \}\), and belongs to \(H_{\ast }\) on \(\gamma _{2}\); \(F_{2}^{\pm }(\xi )\) are the boundary values of the analytic function \(F_{2}(z)\), which is analytic in \(\{z:\alpha <\operatorname{Im}z<\beta \}\), and belong to \(H_{\ast }\) on \(\gamma _{1},\gamma _{2}\), respectively. Since \(A_{j}(\xi ), B_{j}(\xi ) \ (j=1,2)\) belong to \(H_{\ast }\) on \(\gamma _{j}\). Thus, for the functions appearing in (3.3), their one-sided limits exist as \(x\rightarrow \infty \) on \(\gamma _{1},\gamma _{2}\), and we have

Similarly to \(B_{j}(\xi )\ (j=1,2)\), we also have

In this paper, we only solve problem (3.3) in problem \(R_{0}\). For problem \(R_{m}\), similar arguments can be done. Since \(F_{1}(z)\in H_{\ast }\) on \(\gamma _{j}\ (j=1,2)\), the \(\lim_{z\rightarrow \infty }F_{1}(z)\) exists, that is, both \(F_{1}^{+}(\infty )\) and \(F_{1}^{-}(\infty )\) exist. Therefore, on \(\gamma _{1}\) and \(\gamma _{2}\), we have

Similarly, the \(\lim_{z\rightarrow \infty }F_{2}(z)\) exists, and so do \(F_{2}^{+}(\infty )\) and \(F_{2}^{-}(\infty )\). Then on \(\gamma _{1}\) and \(\gamma _{2}\), we also have

Hence, \(F_{1}(\infty )\) and \(F_{2}(\infty )\) are finite and nonzero. Here we only consider the case of normal type, that is, \(A_{j}(\xi ), A_{j}^{-1}(\xi )\) \((j=1,2)\) have no zero point on \(\gamma _{j}\). For the case of nonnormal type, similar discussions also work (see [13–15]). To solve R-HP (3.3), we define \(\kappa _{j}\) as follows:

and

Then we call *κ* as the index of R-HP (3.3). Set

Since \(z=\infty \) is a branch point of \(\ln A_{j}(\xi )\ (j=1,2)\), on the neighborhood \(N(\infty )\) of ∞, \(\ln A_{1}(\xi )\) and \(\ln A_{2}(\xi )\) are taken to be continuous branches, respectively, such that \(0\leq \mu _{\infty }<1\). Without loss of generality, we take three points \(z_{0},z_{1}, z_{2} \) such that \(\alpha <\operatorname{Im}z_{0}<\beta \), \(\operatorname{Im}z_{1}>\beta \), \(\operatorname{Im}z_{2}<\alpha \), and we define the functions \(Y_{1}(z)\) and \(Y_{2}(z)\) as follows:

and

where

in which we have taken the analytic branches of \(\ln E_{j}(t)\ (j=1,2)\), provided that we have chosen

Note that the integrands appeared in (3.12) belong to \(H_{\ast }\) on \(\gamma _{1}\), \(\gamma _{2}\), respectively, and therefore their integrals exist. Due to (3.10) and (3.11), we know that \(Y_{1}^{+}(z)\) and \(Y_{1}^{-}(z)\) are analytic in \(\operatorname{Im}z>\beta \) and \(\operatorname{Im}z<\beta \), respectively; \(Y_{2}^{+}(z)\) and \(Y_{2}^{-}(z)\) are analytic in \(\operatorname{Im}z>\alpha \) and \(\operatorname{Im}z<\alpha \), respectively. Therefore, \(Y_{1}(z)\) and \(Y_{2}(z)\) are sectionally holomorphic functions, and

It is easy to see that \(Y_{1}(z),Y_{2}(z)\) are the canonical functions, and one has

Denote

it is not difficult to verify that \(Y(z)\) satisfies the definition of a canonical function (see [1–3]), thus we call \(Y(z)\) as the canonical function of (3.3). Since \(A_{j}(\xi )\ (j=1,2)\) belong to \(H_{\ast }\), similar to the discussion in [4], one must have, near \(z=\infty \),

Substituting (3.13) into (3.3), we obtain

The first equality in (3.14) is multiplied by \([Y_{2}^{+}(\xi )]^{-1}\), and the second one is multiplied by \([Y_{1}^{-}(\xi )]^{-1}\), so we get

Note that in (3.15), we cannot apply the Sokhotski–Plemelj formula [8, 16, 17] directly. In general, when \(\kappa =\kappa _{1}+\kappa _{2}>0 \), \(B_{1}(\xi )[Y_{1}^{+}(\xi )Y_{2}^{+}(\xi )]^{-1}\) \(\notin H_{\ast }\), and so does \(B_{2}(\xi )[Y_{1}^{-}(\xi )Y_{2}^{+}(\xi )]^{-1}\). In order to unify, no matter how *κ* is chosen, let

and

The first and second equalities in (3.15) are multiplied by \((\xi -z_{0})^{-\kappa }\), respectively, and thus (3.15) can be transformed to

Since \(X_{1}(z)\), \(X_{2}(z)\) are bounded and nonzero on \(\gamma _{1},\gamma _{2}\), respectively, and \(B_{1}(t)\in H_{\ast }\), by (3.16) and (3.17) we get \(\frac{B_{1}(t)}{X_{1}^{+}(t)X_{2}^{+}(t)}\in H_{\ast }\). Therefore we can define the sectionally analytic function

According to Privalov’s theorem (see [1]), we easily see that \(\psi _{1}(z)\) is analytic in \(\operatorname{Im}z>\beta \) and \(\operatorname{Im}z<\beta \). Applying the Sokhotski–Plemelj formula to \(\psi _{1}(z)\) in (3.19), we have

Thus the first equality in (3.18) can be reduced to

Similarly, we also define the function

We again apply the Sokhotski–Plemelj formula to \(\psi _{2}(z)\) in (3.22), and thus the second equality in (3.18) can also be reduced to

Combining (3.21) and (3.23), we obtain

Thus we need only to discuss problem (3.24) instead of (3.3). Adding \(-\psi _{2}^{+}(\xi )\) in the first equality of (3.24) and subtracting \(\psi _{1}^{-}(\xi )\) in the second one, we get

We denote the left side of the first equality in (3.25) by \(\Phi _{1}^{+}(z)\), whereas the right side is denoted by \(\Phi _{1}^{-}(z)\), that is,

We define the following function \(\Phi _{1}(z)\):

By the boundary value conditions (3.25) we know that \(\Phi _{1}^{+}(z)=\Phi _{1}^{-}(z)\) on \(\operatorname{Im}z=\beta \).

We first give explicit solutions of \(\Phi _{1}^{+}(z)\) and \(\Phi _{1}^{-}(z)\) in \(\operatorname{Im}z>\beta \) and \(\operatorname{Im}z<\beta \), respectively. In \(\operatorname{Im}z>\beta \), since \([X_{1}^{+}(z)]^{-1}\) and \([X_{2}^{+}(z)]^{-1}\) are analytic, \([X_{1}^{+}(z)X_{2}^{+}(z)]^{-1}\) is also analytic. Since \(\psi _{j}^{+}(z)\ (j=1,2)\) are analytic, it follows that \(\Phi _{1}^{+}(z)\) is analytic, so the \(\lim_{z\rightarrow \infty }\Phi _{1}^{+}(z)\) exists. For convenience, we assume that

and thus

where \(D_{1}(z)\) is analytic in \(\operatorname{Im}z>\beta \), and the \(\lim_{z\rightarrow \infty }D_{1}(z)\) exists.

In \(\operatorname{Im}z<\beta \), when \(\kappa \geq 0\), \([X^{-}(z)]^{-1}\) and \([X_{1}^{-}(z)X_{2}^{+}(z)]^{-1}\) have a pole \(z_{0}\) of order *κ*; when \(\kappa <0\), \([X_{1}^{-}(z)X_{2}^{+}(z)]^{-1}\) has no singularity, but \(X_{1}^{-}(z)X_{2}^{+}(z)\) has a pole \(z_{0}\) of order \(|\kappa |\). Hence, using Lemmas 2.1 and 2.2, the generalized Liouville theorem, and the principle of analytic continuation, it follows that

where we have set

with arbitrary constants \(c_{j}\ (0\leq j\leq \kappa )\). When \(\kappa >-1\), \(q_{\kappa }(z)\) is a polynomial of degree no more than *κ*; when \(\kappa \leq -1, q_{\kappa }(z)\equiv 0\). Due to (3.26), (3.28), and (3.29), we have

that is,

where

Similarly, the left side of the second equality in (3.25) is denoted by \(\Phi _{2}^{+}(z)\), whereas the right side is denoted by \(\Phi _{2}^{-}(z)\), namely,

We also have

In \(\operatorname{Im} z <\alpha \), since \([X_{j}^{-}(z)]^{-1}\) and \(\psi _{j}^{-}(z)\ (j=1,2)\) are analytic, \(\Phi _{2}^{-}(z)\) is also analytic. Similarly to the above discussion, we may denote \(\Phi _{2}^{-}(z)=D_{2}(z)\), where \(D_{2}(z)\) is analytic in \(\operatorname{Im}z<\alpha \), and the \(\lim_{z\rightarrow \infty }D_{2}(z)\) exists.

In \(\operatorname{Im} z>\alpha \), note that when \(\kappa \geq 0\), \([X_{1}^{-}(z)X_{2}^{+}(z)]^{-1}\) has a pole \(z=z_{0}\) of order *κ*; when \(\kappa <0\), \([X_{1}^{-}(z)X_{2}^{+}(z)]^{-1}\) has no singularity, but \(X_{1}^{-}(z)X_{2}^{+}(z)\) has a pole \(z=z_{0}\) of order \(|\kappa |\). Therefore we also obtain

where \(q_{k}(z)\) is as before. From the previous discussions we know that

where

Combining (3.31) and (3.35), R-HP (3.3) has the general solutions given by the formulas

in which we have put

where \(q_{k}(z)\) is a polynomial of degree no more than *κ* as before, and \(D_{1}(z)\) and \(D_{2}(z)\) are analytic in \(\operatorname{Im}z>\beta \) and \(\operatorname{Im}z<\alpha \), respectively.

Now we can formulate the main results with respect to the solutions of R-HP (3.3).

### Theorem 3.1

*R*-*HP* (3.3) *with two unknown functions* \(F_{1}(z)\) *and* \(F_{2}(z)\) *on two parallel lines has solutions in* \(\{z:\alpha <\operatorname{Im}z<\beta \}\) *and* \(\{\operatorname{Im}z>\beta \}\cup \{\operatorname{Im}z<\alpha \}\), *respectively*. *Its general solutions can be expressed by* (3.36), *where* \(X_{j}(z)\ (j=1,2)\) *are defined by* (3.16) *and* (3.17), *and* \(\psi _{1}(z)\), \(\psi _{2}(z)\) *are given by* (3.19) *and* (3.22), *respectively*. *When* \(\kappa >-1\), \(q_{\kappa }(z)\) *is a polynomial of degree no more than* *κ*; *when* \(\kappa \leq -1\), \(q_{\kappa }(z)=0\). *In conclusion*, *the degree of freedom of the solution is equal to* \(\kappa +1\).

If \(F_{1}(\infty )=F_{2}(\infty )=0\), then (3.3) gives a solution in problem \(R_{-1}\). In this case, we have the following conclusion.

### Theorem 3.2

*Under the conditions* \(F_{1}(\infty )=F_{2}(\infty )=0\), *R*-*HP* (3.3) *has a solution if and only if* \(B_{1}(\infty )=B_{2}(\infty )=0\). *In such a case*, *a solution of* (3.3) *is similar to* (3.36), *and the only difference lies in that* \(q_{\kappa }(z)\) *should be substituted by* \(q_{\kappa -1}(z)\) *in* (3.36). *However*, *the degree of freedom of the solution for* (3.3) *is equal to* *κ*.

At the end of this section, we give an important example in practical application. In problem (3.3), we suppose that

Then (3.3) can be transformed to the following form:

Without loss of generality, we assume that \(z_{0}=\frac{1}{2}i\), \(z_{1}=\frac{3}{2}i\), \(z_{2}=-\frac{1}{2}i\). Then we have \(\kappa _{1}=\kappa _{2}=0\) and \(\kappa =0\). Therefore we get

Similarly to the discussion in [1–3], from (3.19), (3.22), and Lemma 2.3 we have

Then we obtain the following solutions of problem (3.39):

where \(D(z)\) is an analytic function in the whole complex plane \(\mathbb{C}\). We can easily verify that (3.42) are solutions of problem (3.39).

## The conditions of solvability of R-HP (3.3)

Now we are concerned about solution (3.36) and the conditions of solvability of R-HP (3.3).

(1) It follows from the discussion in Sect. 3 that when \(\kappa <0\), \(z_{0}\) is a \(|\kappa |\)th-order pole of \(X_{1}^{-}(z)X_{2}^{+}(z)\). To guarantee that (3.3) is solvable, the following −*κ* conditions are required:

(2) The cases of the solutions in \(\alpha <\operatorname{Im}z<\beta \). For \(z\in \{z:\alpha <\operatorname{Im}z<\beta \}\), if \(A_{1}(z)\) and \(A_{2}^{-1}(z)\) have no zero points, then \(F_{1}(z)\) and \(F_{2}(z)\) can be obtained by (3.36). Otherwise, if \(\vartheta _{1},\vartheta _{2}, \ldots,\vartheta _{n}\) are common zero points of \(A_{1}(z)\) and \(A_{2}^{-1}(z)\) of orders \(s_{1},s_{2}, \ldots, s_{n}\), respectively, then we must have

Therefore we obtain:

(a) when \(\kappa \geq 0\), the following equations with the unknown elements \(c_{0},c_{1},\ldots,c_{k}\) have solutions:

(b) when \(\kappa <0\), the following equalities must be satisfied:

where \(j=0,1,2,\ldots,s_{k}\), \(k=1,2,\ldots, n\), and \(c_{0},c_{1},\ldots,c_{k}\) are the coefficients of \(q_{k}(z)\).

(3) The behavior of solution at \(z=\infty \). If \(z=\infty \) is an ordinary node, then \(0<\mu _{\infty }<1\). It follows from \(\psi _{1}(\infty )=\psi _{2}(\infty )=0 \) that near \(z=\infty \),

In (3.36), since \(F_{2}(\xi )\) is bounded, \(F_{2}(\infty )\) is taken as a finite value. Note that \(0<\mu _{\infty }<1\). If \(\mu _{\infty }>\frac{1}{2}\), then we easily see that

and

where *ε* is a sufficiently small positive number such that \(\mu _{\infty }-\varepsilon >\frac{1}{2}\).

If \(\mu _{\infty }\leq \frac{1}{2}\), when \(\kappa \geq 0\), the coefficient \(e_{k}\) of *κ*th-power item in \(q_{k}(z)\) should be taken as

when \(\kappa <0\), (4.1) is required to fulfill.

If \(z=\infty \) is a special node, that is, \(\mu _{\infty }=0\), then we can transform it into the case \(\mu _{\infty }\leq \frac{1}{2}\) as an ordinary node, and similar arguments can be done (see [16–19]).

## Conclusions

In this paper, we propose one kind of R-HP with several unknown functions in strip domains. By using the methods of the classical boundary value problems for analytic functions, we obtain the exact solution, defined by integrals, of problem (3.3) and the conditions of solvability on function spaces \(H_{\ast }\). Our method is different from those of the classical R-HP and is novel and effective.

R-HP (3.1) has important applications in practical problems, such as elastic mechanics, heat conduction, and electrostatics. Many problems, such as piezoelectric material, voltage magnetic materials, and functional gradient materials, can often attribute the problem to find the solutions of (3.1). Therefore the solving method of (3.1) has important meaning not only in applications, but also in the theory of resolving the equation itself. This paper mainly deals with the solvability and explicit solutions of the R-HP with two unknown functions. Indeed, it is possible to solving the problem mentioned above in Clifford analysis, which is similar to that in [20–27]. We omit further discussion.

## Availability of data and materials

Not applicable.

## References

- 1.
Muskhelishvilli, N.I.: Singular Integral Equations. Nauka, Moscow (2002)

- 2.
Lu, J.K.: Boundary Value Problems for Analytic Functions. World Scientific, Singapore (2004)

- 3.
Li, P.R.: Generalized boundary value problems for analytic functions with convolutions and its applications. Math. Methods Appl. Sci.

**42**, 2631–2645 (2019) - 4.
Li, P.R., Ren, G.B.: Solvability of singular integro-differential equations via Riemann–Hilbert problem. J. Differ. Equ.

**265**, 5455–5471 (2018) - 5.
Du, H., Shen, J.H.: Reproducing kernel method of solving singular integral equation with cosecant kernel. J. Math. Anal. Appl.

**348**(1), 308–314 (2008) - 6.
Li, P.R., Ren, G.B.: Some classes of equations of discrete type with harmonic singular operator and convolution. Appl. Math. Comput.

**284**, 185–194 (2016) - 7.
Litvinchuc, G.S.: Solvability Theory of Boundary Value Problems and Singular Integral Equations with Shift. Kluwer Academic, London (2004)

- 8.
Li, P.R.: Generalized convolution-type singular integral equations. Appl. Math. Comput.

**311**, 314–323 (2017) - 9.
Li, P.R.: Some classes of singular integral equations of convolution type in the class of exponentially increasing functions. J. Inequal. Appl.

**2017**, 307 (2017) - 10.
Jiang, Y., Xu, Y.: Fast Fourier–Galerkin methods for solving singular boundary integral equations: numerical integration and precondition. J. Comput. Appl. Math.

**234**, 2792–2807 (2010) - 11.
Li, P.R.: Singular integral equations of convolution type with reflection and translation shifts. Numer. Funct. Anal. Optim.

**40**(9), 1023–1038 (2019) - 12.
Li, P.R.: On solvability of singular integral-differential equations with convolution. J. Appl. Anal. Comput.

**9**(3), 1071–1082 (2019) - 13.
Li, P.R.: Non-normal type singular integral-differential equations by Riemann–Hilbert approach. J. Math. Anal. Appl.

**483**(2), 123643 (2020) - 14.
Li, P.R.: Solvability theory of convolution singular integral equations via Riemann–Hilbert approach. J. Comput. Appl. Math.

**370**(2), 112601 (2020) - 15.
Li, P.R.: The solvability and explicit solutions of singular integral-differential equations of non-normal type via Riemann–Hilbert problem. J. Comput. Appl. Math.

**374**(2), 112759 (2020) - 16.
Mau, N.V., Hoa, N.T.: On solvability of a boundary value problem for singular integral equations. Southeast Asian Bull. Math.

**26**, 235–244 (2002) - 17.
Li, P.R.: Singular integral equations of convolution type with Hilbert kernel and a discrete jump problem. Adv. Differ. Equ.

**2017**, 360 (2017) - 18.
Li, P.R.: Singular integral equations of convolution type with cosecant kernels and periodic coefficients. Math. Probl. Eng.

**2017**, Article ID 6148393 (2017) - 19.
Li, P.R.: Two classes of linear equations of discrete convolution type with harmonic singular operators. Complex Var. Elliptic Equ.

**61**(1), 67–75 (2016) - 20.
Li, P.R.: Solvability of some classes of singular integral equations of convolution type via Riemann–Hilbert problem. J. Inequal. Appl.

**2019**, 22 (2019) - 21.
Abreu Blaya, R., Bory Reyes, J., Brackx, F., De Schepper, H.: Boundary value problems for the quaternionic Hermitian in \(R^{4}\). Bound. Value Probl.

**2012**, 74 (2012) - 22.
Li, P.R.: Linear BVPs and SIEs for generalized regular functions in Clifford analysis. J. Funct. Spaces

**2018**, Article ID 6967149 (2018) - 23.
Ren, G.B., Kaehler, U., Shi, J.H., Liu, C.W.: Hardy–Littlewood inequalities for fractional derivatives of invariant harmonic functions. Complex Anal. Oper. Theory

**6**(2), 373–396 (2012) - 24.
Wang, W.: On non-homogeneous Cauchy–Fueter equations and Hartogs phenomenon in several quaternionic variables. J. Geom. Phys.

**58**, 1203–1210 (2008) - 25.
Gentili, G., Stoppato, C., Struppa, D.C.: Regular Functions of a Quaternionic Variable. Springer, Berlin (2013)

- 26.
Li, P.R.: One class of generalized boundary value problem for analytic functions. Bound. Value Probl.

**2015**, 40 (2015) - 27.
Li, P.R.: Singular integral equations of convolution type with Cauchy kernel in the class of exponentially increasing functions. Appl. Math. Comput.

**344–345**, 116–127 (2019)

## Acknowledgements

The author is thankful to the editor and anonymous referees for their valuable comments and suggestions.

## Funding

Research is supported by the National Natural Science Foundation of China (Grant No. 11971015).

## Author information

### Affiliations

### Contributions

Author read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The author declares that no competing interests exist.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Li, P. The solvability of a kind of generalized Riemann–Hilbert problems on function spaces \(H_{\ast }\).
*J Inequal Appl* **2020, **234 (2020). https://doi.org/10.1186/s13660-020-02501-x

Received:

Accepted:

Published:

### MSC

- 30E25
- 30G35
- 40G35

### Keywords

- Riemann–Hilbert problems
- Singular integral equations
- Sokhotski–Plemelj formula
- Canonical function
- Function spaces \(H_{\ast }\)