Volume 2024, Issue 1 5523649
Research Article
Open Access

The Solvability and Explicit Solutions of Singular Integral–Differential Equations with Reflection

A. S. Nagdy

Corresponding Author

A. S. Nagdy

Mathematics Department, Faculty of Science, Zagazig University, Zagazig, Egypt zu.edu.eg

Search for more papers by this author
KH. M. Hashem

KH. M. Hashem

Mathematics Department, Faculty of Science, Zagazig University, Zagazig, Egypt zu.edu.eg

Search for more papers by this author
H. E. H. Ebrahim

H. E. H. Ebrahim

Mathematics Department, Faculty of Science, Zagazig University, Zagazig, Egypt zu.edu.eg

Search for more papers by this author
First published: 16 May 2024
Citations: 1
Academic Editor: Paul Eloe

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 [15] 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 [610], 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 [1118], 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 [1924], 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:

()
and the inverse of Fourier transform of Φ(x) is defined by the following equation:
()

It is easy to see that . If Φ(x) ∈ {{0}}, then .

The convolution of the functions φ, ψ ∈ {0} which is defined by the following equation:

()
belongs to {0}. From the convolution theorem [2], we have the following equation:
()
where Φ, Ψ are the Fourier transforms of φ, ψ, respectively.

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:

()
()

Proof. From Lemmas 13, we obtain the following equation:

()

3. Singular Integral–Differential Equation of Convolution Type with Reflection

In this section, we solve the following SIDE with reflection:
()
where x ∈ (−∞, ∞) and the values are real constants and the given functions g(x), kr(x), hr(x)(r = 0, 1, …, m) belong to the class {0}. By taking Fourier transform to Equation (21) and using Lemmas 14, we obtain the following equation:
()
where
()
()
(r = 0, 1, …, m). The functions Φ(s), G(s), Kr(s), Hr(s) ∈ {{0}}, these functions are continuous. By taking the limit of Equation (22) as s → 0, where , we have G(0) = 0. By putting −s instead of s in Equation (22), we obtain the following equation:
()

We solve the Equations (22)and (25) for the functions Φ(s), Φ(−s).

From Equations (22) and (25), we obtain the matrix equation:
()
where
()
Denote:
()
where
()
Suppose there exists a > 0 such that for |s| > a, we have Δ(s) ≠ 0, hence the solution of the matrix Equation (26) is unique and is given by the following form:
()

By using the inverse Fourier transform to Equation (30), the solution of Equation (21) is given by in class {0}.

When |s| ≤ a, we discuss the next three cases:
  • (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):

()
for each i ∈ {1, …, m} must be satisfied for the solution of Equation (26) exists.

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:

()
in class {0}, where Cl(1 ≤ lm) are arbitrary constants.

3.1. Example

We give an example of the method used in this paper. In Equation (21), we assume that:
()
Obviously kr(x) continuous and even functions, by Fourier transformation, we have the following equation:
()
which belong to {{0}}, thus kr(x), g(x) ∈ {0}. From Equations (29) and (30), we obtain the following equation:
()
By using the inverse Fourier transform to Φ, we get the following equation:
()
which is the solution of Equation (21).

4. Wiener–Hopf Equation with Reflection

In this section, we solve the following singular integral–differential Wiener–Hopf equation with reflection:
()
where are real constants and kr(x), hr(x)(r = 0, 1, …, m), g(x) ∈ {0}. By Fourier transforms, we define . The functions Kr(s), Hr(s), G(s) ∈ {{0}}. By extending xR+ to xR in Equation (39), we obtain the following form:
()
where
()
By taking Fourier transform to Equation (40), we obtain the following equation:
()
where
()
()
()
Substituting by −s instead of s in Equation (42), we obtain the following equation:
()
Since Φ(±∞) = 0, Φ(s) ∈ {{0}} and
()
Equations (42) and (46) can be reduced to the following system of SIEs of dimension 2 in class {{0}}:
()
where
()
()
To solve Equation (48), we define a Hilbert transform U(s) with the density function E(y), that is:
()
From Gakhov [25], we have the following equation:
()
Putting Equation (52) in Equation (48), we obtain the two-dimensional equation:
()
where
()
Suppose:
()
By using the inverse of matrices γ(s) and ϑ(s), we obtain the boundary value problem:
()
where
()

The functions , and detY(s) ≠ 0.

Let μ = indY(s), from Muskhelishvilli [5] and Gakhov [25], we have is the canonical solution matrix of the homogenous of Equation (56), and the general solution of Equation (56) is given by the following equation:
()
where Q(z) is a polynomial vector in two dimensions and:
()
Let and be the canonical solution system of the matrix p(z). Let indpj = μj, μ = μ1 + μ2 and assume . Hence from Muskhelishvilli [5] and Gakhov [25], Equation (58) has the following form:
()
where is a polynomial of degree μj−1 when , if μj < 0.
We assume that μ1μ2, hence we obtain the following results:
  • (i)

    If μ1μ2 ≥ 0, U(∞) = 0, then the solution U(z) in Equation (60) has μ1 + μ2 arbitrary constants.

  • (ii)

    If μ1 ≥ 0 > μ2, U(∞) = 0, then the solution U(z) in Equation (60) has μ1 arbitrary constants, and to get a solution of Equation (56), the conditions,

must be satisfied [5, 25].
  • (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.

Data Availability

Data are available upon request to A. S. Nagdy (email: [email protected]).

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.