The Solvability and Explicit Solutions of Singular Integral–Differential Equations with Reflection
Abstract
This article deals with a classes of singular integral–differential equations with convolution kernel and reflection. By means of the theory of boundary value problems of analytic functions and the theory of Fourier analysis, such equations can be transformed into Riemann boundary value problems (i.e., Riemann–Hilbert problems) with nodes and reflection. For such problems, we propose a novel method different from classical one, by which the explicit solutions and the conditions of solvability are obtained.
1. Introduction
It is well-known that singular integral equations (SIEs) and boundary value problems for analytic functions are the main branches of complex analysis and have a lot of applications, e.g., in physics, engineering, elasticity theory, fluid dynamics, fracture mechanics, technology, and other fields. Muskhelishvilli, Chuan, and other authors [1–5] studied some classes of SIEs of convolution type with Cauchy kernel and Riemann–Hilbert problems (R–HPs), especially the solvable Noether theory. Litvinchuk, Li, and other authors [6–10], studied singular integral–differential equations (SIDEs) in which the class of differentiable functions was extended to the class of a Holder continuous functions and also studied the SIDEs in which the coefficients contain a first-kind discontinuity point. In [11–18], the authors proposed a general method for solving SIEs of Cauchy kernel and a convolution kernel with discontinuous property. This method involves converting these types of integral equations to R–HPs by using Fourier transform. In this paper, we use a novel method for solving several kinds of SIDEs of order m in class {0}. This work is organized as follows: In Section 2, we present some definitions, lemmas, and study the properties of the Fourier transforms and Cauchy transforms on a functions of class {0}. In Section 3, we adopt the Fourier transforms to convert SIDE with reflection into a R–HPs and obtain the solutions of the equation in class {0}. In Section 4, we solve singular integral–differential Wiener–Hopf equation with reflection in class {0}. This paper’s results improve some of the results presented in [19–24], providing a theoretical framework for resolving physics-related problems.
2. Preliminaries
In this section, we present some definitions and lemmas.
Definition 1 [25]. We say that F(x) is an element of a space of Holder continuous functions H on [−N, N], if there exists some positive real number r such that for any x1, x2 ∈ [−N, N], the condition holds.
Definition 2 [2]. We say that the continuous function F(x) belongs to if F(x) satisfies (i) F(x) ∈ H on [−N, N] for any sufficient large positive number N and (ii) for any |xi| > N(i = 1, 2), k > 0.
Definition 3 [10]. If the function F(x) satisfies the following conditions:
(i) ,
(ii) F(x) ∈ L1(R), where
R = (−∞, ∞), then we say that F(x)∈ {{0}}. If F(x) satisfies Holder condition on a neighborhood N∞ of ∞, we say that F(x) ∈ H(N∞).
Definition 4 [10]. The Fourier transform of a function φ(x) ∈ L1(R) is denoted by:
It is easy to see that . If Φ(x) ∈ {{0}}, then .
The convolution of the functions φ, ψ ∈ {0} which is defined by the following equation:
Definition 5 [25]. We define the operator T of the Cauchy principal value integral as follows:
Lemma 1. If φ(x) ∈ {0}, then
Proof. Since
From Lu [2], we have the following equation:
From Equations (6) and (7), we obtain the following equation:
Similarly, we can also prove that:
Lemma 2. If φ(x) and its derivative φ(r)(x)(r = 1, …, m) belongs to {0}, then:
Proof. By using mathematical induction on r. When r = 1, we have the following equation:
By using integration by parts, we obtain the following equation:
Let Equation (10) be true for r = n, i.e.:
For r = n + 1, it is easy to obtain the following equation:
The Lemma is proved.
Lemma 3. If φ(−x) and its derivative φ(r)(−x)(r = 1, …, m) belongs to {0}, then:
Proof. By using mathematical induction on r. When r = 1, we have the following equation:
Let x = −y and similar to Lemma 1, we obtain the following equation:
Lemma 4. If φ(±x) and its derivative φ(r)(±x)(r = 1, …, m) belongs to {0}, then:
3. Singular Integral–Differential Equation of Convolution Type with Reflection
We solve the Equations (22)and (25) for the functions Φ(s), Φ(−s).
By using the inverse Fourier transform to Equation (30), the solution of Equation (21) is given by in class {0}.
- (1)
If Δ(s) ≠ 0, then Equation (26) has a unique solution:
- (2)
If for some points {s1, s2, …, sn} ∈ [−a, a] such that Δ(si) = 0, {i = 1, …, n} and rank A(si) = rank M(si) then Equation (26) has infinite solution:
- (3)
If rank rank , then by condition (33):
The homogeneous Equation (21) has a linear independent solutions .
Theorem 1. Equation (21) with condition G(0) = 0 has the following solutions:
- (1)
If Δ(s) ≠ 0, −∞ < s < ∞, then from Equation (30), Equation (21) has a unique solution in class {0}.
- (2)
If Δ(s) = 0 and rank A(s) = rank M(s), s = s1, s2, …, sn then Equation (21) has infinite solutions.
- (3)
If Δ(s) = 0 and rank A(s)≠ rank M(s), , then by Condition (33), Equation (21) has the following solution:
3.1. Example
4. Wiener–Hopf Equation with Reflection
The functions , and detY(s) ≠ 0.
- (iii)
If 0 > μ1 ≥ μ2, U(∞) = 0, then the solution U(z) in Equation (60) has the following solvability conditions
and .
From Equation (60), we obtain U+(t) and U−(t), and by substituting them in Equation (52), we get E(s) the solution of Equation (48). Hence, we obtain the solution Φ(s) of Equations (42) and (46). Therefore, is a solution of Equation (39).
5. Conclusions
Two classes of SIDEs of the convolution type with reflection are studied in this research. We used the theory of Fourier analysis to find the solutions for Equations (21) and (39). The exact solution is obtained in class {0}. In this case, our method for solving these equations is novel as opposed to the classic Riemann–Hilbert methods.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Funding
The authors are the funders of this manuscript.
Open Research
Data Availability
Data are available upon request to A. S. Nagdy (email: [email protected]).