In this paper, we study methods of solution for some kinds of convolution type singular integral equations with Cauchy kernel. By means of the classical boundary value problems for analytic functions and of the theory of complex analysis, we deal with the necessary and sufficient conditions of solvability and obtain the general solutions and the conditions of solvability for such equations. All cases as regards the index of the coefficients in the equations are considered in detail. Especially, we discuss some properties of the solutions at the nodes. This paper will be of great significance for the study of improving and developing complex analysis, integral equation and boundary value problems for analytic functions (that is, Riemann–Hilbert problems). Therefore, the classical theory of integral equations is extended.
Hinweise
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
1 Introduction
There were rather complete investigations on the method of solution for integral equations of Cauchy type and integral equations of convolution type [1‐5]. The solvability of a singular integral equation (SIE) of Wiener–Hopf type with continuous coefficients was considered in [6, 7]. For operators with Cauchy principal value integral and convolution, the conditions of their Noethericity were discussed in [8, 9]. Recently, Li [10‐16] studied some classes of SIEs with convolution kernels and gave the Noether theory of solvability and the general solutions in the cases of normal type. It is well known that integral equations of convolution type, mathematically, belong to an interesting subject in the theory of integral equations.
In this paper, we study the solvability and the explicit solutions for several classes of SIEs with Cauchy kernel and convolution kernel, in which include equations with one or two convolution kernels, equation of Wiener–Hopf type, and dual equations. Here, we give the new methods of solution for these equations, and our approach of solving the equations is novel and effective, different from the ones in classical cases. Thus, the results in this paper generalize ones in Refs. [1, 2, 10‐12], and improve the theory of SIEs and boundary value theory.
Anzeige
Our study of the following equations is motivated by continuous efforts of those studies as well as a sufficiently long list of the above-mentioned materials. Now we consider the following some classes of SIEs of convolution type with Cauchy kernel.
where a, b (\(b\neq 0\)), \(a_{j}\), \(b_{j}\) are constants and \(b_{j}\) are not equal to zero simultaneously. For these equations, we will discuss their Noether theory and methods of solution in a different class of function, that is, these equations are transformed by integral transformation into Riemann–Hilbert problems with nodes. Some special kinds of Riemann–Hilbert problems with discontinuous coefficients appear in the course of solution, which are solved in the same time. Actually, the problem to find their solutions is very important in practical applications.
2 Definitions and lemmas
The concepts of classes \(\{\{0\}\}\) (\(((0))\), \(\langle \!\langle 0 \rangle \!\rangle \)) and \(\{0\}\) (\((0)\), \(\langle0\rangle \)) are introduced as follows.
Definition 2.1
A function \(F(s)\) belongs to \(\{\{0\}\}\), if the following two conditions are fulfilled:
(1)
\(F(s)\in \hat{H}\), that is, it satisfies the Hölder condition on \(\mathbb{R}\cup \{\infty \}\) (for the notation Ĥ, cf. [2]).
(2)
\(F(s)\in L^{2}(\mathbb{R})\).
Definition 2.2
A function \(f(t)\in \{0\}\), if its Fourier transform
Let \(F(s)\) be a continuous function on \(\mathbb{R}\). If
(1) \(F(s)\in \hat{H}\). (2) \(F(s)=O(|s|^{-\rho })\), \(\rho >\frac{1}{2}\), where \(|s|\) is sufficiently large.
Then we write \(F(s)\in ((0))\) or \(((0))^{\rho }\).
If \(F(s)\in ((0))\) or \(((0))^{\rho }\), we write \(f(t)\in (0)\) or \((0)^{\rho }\).
Definition 2.4
If (1) \(F(s)\in \hat{H}\); (2) \(F(s)\in H^{ \rho }(N_{\infty })\), \(\rho >\frac{1}{2}\), i.e., it belongs to H in the neighborhood \(N_{\infty }\) of ∞, and \(F(\infty )=0\).
Then we write \(F(s)\in \langle \!\langle 0 \rangle \!\rangle \) or \(\langle \!\langle 0 \rangle \!\rangle ^{\rho }\), and \(f(t)\in \langle0\rangle \) or \(\langle0\rangle ^{\rho }\).
Let \(H_{1}=\{F(s)|F(s)\in L^{2}(\mathbb{R})\}\), \(H_{2}=\{F(s)|F(s)=O(|s|^{- \rho }), \rho >\frac{1}{2}\}\), and
Since \(f\in \{0\}\), then \(F=\mathbb{F}f\in \{\{0\}\}\) and \(F\in C(\mathbb{R})\). By \(F(0)= 0\) and \(F(s)\in L^{2}(\mathbb{R})\), we have \(F(s)\operatorname{sgn}s \in C(\mathbb{R}) \cup L^{2}(\mathbb{R})\). For any two points \(s_{1}\), \(s_{2}\) in the neighborhood of +∞ (or −∞), that is, there exists a sufficiently large constant M such that \(s_{j}> M\) (or \(s_{j}<- M\)). Since
Through the above discussion, we obtain \(F(s)\operatorname{sgn}s\in \{\{0\}\}\) and then \(Tf\in \{0\}\). □
In Lemma 2.3, note that \(F(0)=0\) is a necessary condition, otherwise the lemma is invalid. Similarly, we can prove that, if \(f\in (0)\) (\(\langle0\rangle \)), and \(F(0)=0\), then \(Tf\in (0)\) (\(\langle0\rangle \)).
In order to transform the above-mentioned SIEs into Riemann–Hilbert problems, we give Lemma 2.4.
Lemma 2.4
Let\(\omega (t)\in \{0\}\), \(\varOmega (x)=\mathbb{F} \omega (t)\), and\(\tilde{\varOmega }(z)=\frac{1}{2 \pi i}\int _{ \mathbb{R}}\frac{\varOmega (s)}{s-z}\,ds\), then, we have
(1)
\(\operatorname{Im}z>0\), \(\tilde{\varOmega }(z)=\frac{1}{\sqrt{2\pi }} \int _{\mathbb{R^{+}}}\omega (t) e^{i t z}\,dt\).
(2)
\(\operatorname{Im}z<0\), \(\tilde{\varOmega }(z)=-\frac{1}{\sqrt{2 \pi }}\int _{\mathbb{R^{-}}}\omega (t) e^{i t z}\,dt\).
Let \(\varTheta =\frac{1}{2 \pi i} \int _{\mathbb{R}} \frac{ e^{is t}}{s-z}\,ds\). By the generalized residue theorem, when \(\operatorname{Im} t>0\), we have
If \(\omega (t)\in L^{1}(\mathbb{R})\), then \(\varOmega (0)=0\) if and only if \(\int _{\mathbb{R}}\omega (t)\,dt=0\).
Remark 2.2
Note that, for the class \((0)\) or \(\langle0\rangle \), the index ρ is invariant, provided \(\frac{1}{2}<\rho <1\).
In Sects. 3–6, we shall study the Noether theory of solvability and methods of solution for some classes of SIEs of convolution type with Cauchy kernel.
where a, b are constants and \(b\neq 0\). The given functions \(k_{j}, g\in \{0\}\) (\(j=1,2\)), and an unknown function \(\omega \in \{0 \}\), then their Fourier transforms belong to class \(\{\{0\}\}\). In order to solve Eq. (3.1), we rewrite it as
We remark that the Riemann boundary value problem (3.7) can be directly solved by the methods in [1] under certain conditions through Fredholm integral equations (see also Muskhelishvili [17]). But in this paper we shall apply Fourier theory to solve (3.7), which may enable us to deal with other equations.
Since \(K_{j}(s)\in \{\{0\}\}\), then \(K_{j}(\infty )=0\) (\(j=1,2\)), so \(\varPhi (\infty )=1\) and \(\varUpsilon (\infty )=0\). Thus \(s=\infty \) is not a nodal point of (3.7), and its unique nodal point is \(s=0\). Note that \(F(s)\) is continuous on the whole real axis and \(F(\infty )=0\). We take a continuous branch of \(\log \varPhi (s)\) such that it is continuous at \(s=\infty \), e.g., \(\log \varPhi (\infty )=0\), and denote
We choose an integer κ such that \(0\leq \delta =\delta _{0}- \kappa <1 \), and call κ the index of (3.7). The homogeneous problem of (3.7) is denoted by
Without loss of generality, we take the fixed point \(z_{0}\) such that \(\operatorname{Im} z_{0}> 0\), and \(\bar{z}_{0}\) denotes the conjugate complex number of \(z_{0}\). In order to solve (3.10), we define the following sectionally holomorphic function:
provided that we have chosen \(\log \frac{t-z_{0}}{t-\bar{z}_{0}}|_{t= \infty }=0\), or, which is the same, \(\log \frac{t-z_{0}}{t-\bar{z} _{0}}|_{t=\operatorname{Re}z_{0}}=\pm i\pi \). From (3.11) and (3.12), we have
\(D(z)=\frac{F(z)}{V(z)}\) is analytic on \(\mathbb{R}^{2}\) and has the order \(\kappa -1\) at ∞. By the generalized Liouville theorem [14], we can get a general solution of (3.10),
$$ F(z)=V(z)P_{\kappa -1}(z), $$
(3.15)
and when \(\kappa >0\), \(P_{\kappa -1}(z)=e_{0}+e_{1}z+\cdots +e_{ \kappa -1}z^{\kappa -1}\) is a polynomial of degree \(\kappa -1\); when \(\kappa \leq 0\), \(P_{\kappa -1}(z)\equiv 0\), that is, (3.10) only has zero solution.
Next, we consider the solutions and the conditions of solvability for (3.7). To do this, we define \(Y(z)\) as follows:
which is a polynomial of degree \(\kappa -1\) with arbitrary complex coefficients. If \(\kappa \leq 0\), then \(P_{\kappa -1}(z)\equiv 0\), in this case, (3.7) has the unique solution
$$ F(z)=Y(z)\varPsi (z). $$
(3.21)
And when \(\kappa \leq -1\), (3.7) is solvable if the conditions
Since \(Y^{\pm }(s)\) are bounded and nonzero on \(\mathbb{R}\), we can prove that \(F^{\pm }(s),F(s)\in L^{2}(\mathbb{R})\cap H_{0}\). In order to guarantee that \(F^{\pm }(s)\), \(F(s)\in \{\{0\}\}\), we need to consider some properties of \(F^{\pm }(s)\), \(F(s)\) at \(s=0\).
Now we discuss the behaviors of the solution near \(s=0\).
(1) Let \(s=0\) be an ordinary node. Then, \(0<\delta <1\), \(\gamma =\gamma _{0}-\kappa =\delta +i\eta _{0}\neq 0\) and \(e^{\gamma \pi i}\neq 1\). It is easy to verify that, in the neighborhood of \(s=0\),
where \(A(s)=\frac{\varPsi ^{\ast }(s)}{|s|^{\delta '}}\) (\(0<\delta '< \delta \)) and \(\varPsi ^{\ast }(s)\in H \). We apply (3.26) to simplify (3.24) and obtain
Conversely, if (3.35) is fulfilled, then (3.32) and (3.33) are valid, and \(F^{\pm }(s), F(s) \in H\) in the neighborhood of \(s=0\). Therefore, we have \(F^{\pm }(s), F(s) \in \{\{0\}\}\). In conclusion, it is necessary that \(G(0)=0\).
(2) Let \(s=0\) be a special node. In this case, \(\delta =0\) and \(\gamma =i\eta _{0}\).
If \(\eta _{0}=0\), that is, \(\gamma =0\), then \(\varPhi (s)\) must be continuous at \(s=0\). It follows from \(b\neq 0\) that \(K_{1}(0)=K_{2}(0)=0\), so \(E(0)=1\), \(\varUpsilon (0)=0\), and \(F(0)=0\). Thus, \(F(s)\) is continuous at \(s=0\), and \(s=0\) is not a nodal point at all. There is no boundary value problem in this case.
If \(\eta _{0}\neq 0\), then (3.27) and (3.29) remain valid. We can prove that \(A(s)\in H_{0}\) and \(A(\pm 0)\) exist, thus we have
where \(B_{0}=(\bar{z}_{0})^{\kappa }e_{0}\) when \(\kappa >0\); and \(B_{0}=0\) when \(\kappa \leq 0\). And a similar formula for \(F^{+}(-0)\) can be obtained, that is,
By (3.28), (3.30) and (3.31), we get (3.35) again. Once (3.35) is fulfilled, then \(\varUpsilon (0)=0\) and \(\varPsi (s)\in H\) near \(s=0\). Since we require \(F^{+}(s)\) is continuous at \(s=0\), thus, when \(\kappa > 0\), the constant term \(e_{0}\) of \(P_{\kappa -1}(z)\) should take the value
Once (3.38) and (3.39) are fulfilled, we can readily verify \(F^{\pm }(0)=F(0)=0\). In all of the above cases, it is easy to see that \(F^{\pm }(s), F(s) \in \{\{0\}\}\).
Let\(s=0\)be an ordinary node, when\(\kappa \geq 0\), (3.1) always has a solution; when\(\kappa <0\), provided that (3.22) are fulfilled, (3.1) has the unique solution (3.21).
(2)
Let\(s=0\)be a special node, when\(K_{1}(0)=K_{2}(0)\), the results obtained in (1) remain true; when\(K_{1}(0)\neq K_{2}(0)\), if\(\kappa > 0\)and (3.38) is fulfilled, (3.1) has a solution; if\(\kappa \leq 0\), when (3.22) and (3.39) are fulfilled, (3.1) is solvable.
Under the above suppositions, Eq. (3.1) is solvable in class \(\{0\}\) and has the solution \(\omega (t)=\mathbb{F}^{-1}\varOmega (s)\), where \(\varOmega (s)\) is given by (3.6). Obviously, \(F(s) \in \{\{0\}\}\) and so \(\omega (t)\in \{0\}\).
Remark 3.1
In Eq. (3.1), if \(k_{j}\in \{0\}\) (\(j=1,2\)), \(g\in (0)\), then \(\omega \in (0)\); if \(k_{j},g\in \langle0\rangle\) (\(j=1,2\)), then \(\omega \in \langle0\rangle \). Similarly, we can also obtain that, if \(k_{j}, g \in (0)^{\rho }\) (\(j=1,2\)), then \(\omega \in (0)^{\rho }\), and if \(k_{j},g\in \langle0\rangle ^{\rho }\) (\(j=1,2\)), then \(\omega \in \langle0\rangle ^{\rho }\), provided \(0<\rho <1\).
4 Equation of Wiener–Hopf type
In this section, we discuss method of solution for the following SIE of Wiener–Hopf type:
where \(\log \varPhi (s)\) is taken to be continuous branch for \(s>0\) and \(s<0\) respectively such that it is continuous at \(s=\infty \), and \(0\leq \delta _{\infty }<1\). Since \(b\neq 0\), thus \(\gamma _{\infty } \neq 0\). We again denote
Then we choose an integer κ, the index of (4.4), such that \(0\leq \delta =\delta _{0}-\kappa <1\). Denote \(\gamma =\gamma _{0}- \kappa =\delta +i\eta _{0}\). Note that \(\varOmega ^{+}(\infty )=0\), then we also have \(\varOmega ^{-}(\infty )=\varOmega (\infty )=0\). Therefore, it is necessary that \(\varOmega (\infty )=0\). Since \(b\neq 0\), we get \(\gamma \neq 0\). It is seen from the above discussion that both \(s=0\) and \(s=\infty \) are nodes of (4.4).
Similar to the discussion in [17, 22, 23] and Sect. 3, we can obtain the general solution of (4.4)
when \(\kappa >0\), \(P_{\kappa -1}(z)=e_{0}+e_{1}z+\cdots +e_{\kappa -1}z ^{\kappa -1}\) is an arbitrary polynomial of degree \(\kappa -1\), and \(Y(z)\), \(z_{0}\) are still given by (3.16); when \(\kappa \leq 0\), \(P_{\kappa -1}(z)\equiv 0\), and the following conditions of solvability must be fulfilled:
where \(M_{\ast }(s)\in H\). Therefore, a factor \(\frac{z-\bar{z}_{0}}{t- \bar{z}_{0}}\) should be multiplied in the integrand of (4.10). And we also have \(Y^{-}(s)=\frac{\xi (s)}{s^{\gamma _{\infty }}}\), here \(\xi (s)\in H_{2}\).
Taking the boundary values for \(\varOmega (z)\) in (4.9), we have
In the following, we consider some properties of the solutions at nodes. First, we consider the situation near \(s=\infty \).
(1)
Let \(s=\infty \) be an ordinary node, we have the following two cases.
(a)
When \(0\leq \delta _{\infty }\leq \frac{1}{2}\), we easily find that \(W(s)[Y(s)]^{-1} \)\(\in H_{2}\) since \(W(s)\in H_{2} \).
In order to guarantee that \(\varOmega (s)\in \{\{0\}\}\), when \(\kappa \geq 0\), the constant term \(e_{0}\) of \(P_{\kappa -1}(z)\) should take the value
When \(\frac{1}{2}<\delta _{\infty }<1\), if \(\rho \leq \delta _{ \infty }\), by [20] we have
$$ Y(s)M(s)=O\bigl( \vert s \vert ^{-\delta _{\infty }+\varepsilon }\bigr), $$
where \(\varepsilon >0\) is arbitrarily small such that \(\delta _{\infty }-\varepsilon >\frac{1}{2}\); if \(\rho >\delta _{\infty }\), then \(M(s)\) is bounded and so
$$ Y(s)M(s)=O\bigl( \vert s \vert ^{-\delta _{\infty }}\bigr) $$
near \(s=\infty \). Thus we also obtain \(\varOmega ^{\pm }(s) \in H_{2}\) and so \(\varOmega (s)\in H_{2}\). In conclusion, in any case, we have \(F(s)=O(|s|^{-\mu })\), where \(\mu =\min \{\rho , \delta _{\infty }- \varepsilon \}\), obviously, \(\mu >\frac{1}{2}\).
(2)
Let \(s=\infty \) be a special node, then \(\delta _{\infty }=0\) and \(\gamma _{\infty }=i\eta _{\infty }\neq 0\). In this case, the discussion is the same as that in (1), and we can obtain \(\varOmega (s)\in H\) and \(\varOmega (s)\in H_{2}\).
Next, we consider the behavior of the solution near \(s=0\).
Since \(\varOmega (s)\) is continuous at \(s=0\), similar to the discussion in Sect. 3, we may get \(W(+0)=e^{-3\gamma \pi i}W(-0)\). From (4.5), we have \(W(\pm 0)=G(0)\varPhi (\pm 0)\). Therefore, we can obtain
and by (4.16) and (4.17), we get \(G(0)=0\) again.
Moreover, in the case \(\delta _{\infty }>\frac{1}{2}\), when \(\kappa \geq 0\), for the constant term \(e_{0}\) of \(P_{\kappa -1}(s)\) must be taken the value
It is seen from the above discussions that \(\varOmega (0)=0\), \(\varOmega (s) \in \{\{0\}\}\). In fact, when \(\delta _{\infty }>\frac{1}{2}\), we can get \(\varOmega (s)\in ((0))\) and hence \(\omega (t)\in (0)\).
Now we can formulate the main results about the solutions of Eq. (4.1) in following form.
Theorem 4.1
Under condition (4.6), the necessary condition of the existence of solution to Eq. (4.1) is\(G(0)=0\)in class\(\{0\}\).
(1)
Let\(s=0\)be a node, if\(\frac{1}{2}<\delta _{\infty }<1\), when\(\kappa \geq 0\), (4.1) always has a solution, and the constant term of\(P_{\kappa -1}(s)\)takes value as (4.18); and when\(\kappa <0\), (4.11) and (4.19) should be supplemented, then Eq. (4.1) has a solution. If\(0\leq \delta _{\infty }\leq \frac{1}{2}\), when\(\kappa \geq 0\), the constant term of\(P_{\kappa -1}(s)\)should be taken as (3.34); when\(\kappa <0\), the conditions of solvability (3.22) and (3.35) are fulfilled.
(2)
Let\(s=\infty \)be a node, if\(\frac{1}{2}<\delta _{\infty }<1 \), when\(\kappa \geq 0\), (4.1) has a solution; when\(\kappa <0\), provided that (4.11) are satisfied, (4.1) is solvable. If\(0\leq \delta _{ \infty }\leq \frac{1}{2}\), when\(\kappa \geq 0\), (4.1) has the solution; when\(\kappa <0\), the conditions of solvability (4.15) must be augmented.
Assume that the above (1) and (2) are fulfilled, then (4.1) has the following general solution:
because two integrals in (4.20) may be divergent. But, in case (1) of Theorem 4.1, when \(\delta _{\infty }\leq \frac{1}{2}\), (4.20) becomes valid, and the integrals in (4.20) are convergent now. In this case, we also have \(Y(s)\varPsi (s)\in H_{2}\).
Remark 4.2
In Eq. (4.1), if \(a\neq 0\) is real, b is purely imaginary, and \(k_{1}(t)\), \(k_{2}(t)\) are real functions, then (4.1) is a real equation. In this case, \(s=0\) is an ordinary node of (4.1). It is also easily seen that the characteristic feature is for \(\delta _{\infty }>\frac{1}{2}\) or \(\delta _{\infty }\leq \frac{1}{2}\). By (4.7), when \(\delta _{\infty }>\frac{1}{2}\), we have
$$ \pi < \arg (a+b)-\arg (a-b)< 2\pi , $$
then, \(a+b\) lies in the quadrant 2 or 4; when \(\delta _{\infty }< \frac{1}{2}\),
$$ 0< \arg (a+b)-\arg (a-b)< \pi , $$
and \(a+b\) lies in the quadrant 1 or 3.
5 Equations with two convolution kernels
The above method is applicable to solving the SIEs with two convolution kernels
where \(\varOmega ^{\pm }(s)\) are respectively the Fourier transforms of \(\omega _{\pm }(t)\). In fact, \(\varOmega ^{\pm }(s)\) also are the boundary values of the holomorphic function
in the upper and the lower half planes, respectively.
In order to guarantee that \(\varOmega ^{\pm }(s)\), \(\varOmega (s)\) are continues at \(s=0\), it is necessary that \(\varOmega (0)=0\), that is, \(\varOmega ^{+}(0)=\varOmega ^{-}(0)\). Restricted to the case of normal type, i.e., \(K(s)\) satisfying (4.6). From (5.2), we get the following Riemann–Hilbert problem:
Similarly, we easily verify that \(s=\infty \) is not a nodal point of (5.4), and \(s=0\) is its unique nodal point. The solution of (5.4) be discussed by using the same method as shown in Sect. 3. The remaining discussions will be omitted also.
6 Equations with one convolution kernel
Finally, we solve SIEs with one convolution kernel
where a, b are as the above, \(k, g\in \{0\}\) and the unknown function \(\omega \in \{0\}\). Taking Fourier transforms on both sides of (6.1), we get by Lemma 2.2
Note that (6.2) is not a Riemann–Hilbert problem. Without loss of generality, we only discuss the function \(a-b\operatorname{sgn}s+K(s)\neq 0\) (\(s \in \mathbb{R}\)). From (6.2) we get
thus \(G(s)\in \{\{0\}\}\). Note that \(a-b\operatorname{sgn}s+K(s)\) is bounded and non-zero on \(\mathbb{R}\), we get \(\varOmega (s)\in \{\{0\}\}\) and hence \(\omega (t)=\mathbb{F}^{-1}\varOmega (s)\) is the solution of (6.1) in \(\{0\}\).
Thus, we obtain the following conclusions.
Theorem 6.1
If\(k(t),g(t)\in \{0\}\), in the case of normal type, that is, (4.6) is valid, then (6.1) is solvable if and only if (6.4) is satisfied. Assume that this is fulfilled, (6.1) has a solution
$$ \omega (t)=\mathbb{F}^{-1}\varOmega (s) $$
in\(\{0\}\), where\(\varOmega (s)\)is given by (6.3).
After simplification, \(\omega (t)\) may be written as
where \(a_{j}\), \(b_{j}\) are constants and all the functions appeared belong to \(\{0\}\). Assume \(b_{1}\), \(b_{2}\) are not equal to zero simultaneously. Actually, (3.1) is a special case of (7.1). In order to solve Eq. (7.1), we rewrite (7.1) as
Equation (7.5) is a Riemann–Hilbert problem with discontinuous coefficients and nodes \(s=0\), ∞, and its method of solution may be made fully analogous to those in Sect. 4. In order that \(\varOmega (s)\) is continuous at \(s=0\), it is necessary that \(F(s)\) is continuous at \(s=0\) and \(F^{\pm }(0)=-G(0)\). Since \(F^{+}(s)\) is continuous at \(s=0\), we should again get \(G(0)=0\). Hence all the results as stated in Theorem 4.1 remain true and \(\omega (t)=\mathbb{F}^{-1}\varOmega (s)\), in which \(\varOmega (s)\) is given by (7.3). The only difference lies in that \(\gamma _{\infty }\) and γ may be zero, for instance, when \(a_{1}=a_{2}\), \(b_{1}=b_{2}\), we have \(\gamma _{\infty }=0\), then this case may be transformed to that in Sect. 3. Here, we will not elaborate on the solving method of (7.5).
8 Conclusions
In this paper, we study some classes of SIEs with convolution kernels and Cauchy kernels in the different classes of functions. By Fourier transform, these equations are transformed into Riemann–Hilbert problems with discontinuous coefficients. The general solutions denoted by integrals and the solvable conditions are obtained for the equations. Here, our method is different from the classical ones, and it is novel and effective. Thus, this paper generalizes the theory of the classical Riemann–Hilbert problems and SIEs. Meanwhile, we remark that the methods of this paper may be used to solving the above equations in the non-normal case. Indeed, it is possible to study the above-mentioned equation in Clifford analysis, which is similar to that in [24‐28]. Further discussion is omitted here.
Acknowledgements
The author is very grateful to the anonymous referees for their valuable suggestions and comments, which helped to improve the quality of the paper. This research is supported by the Science and Technology Plan Project of Qufu Normal University (xkj 201606).
Availability of data and materials
Not applicable.
Competing interests
The author declares to have no competing interests.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.