1.
Introduction
The effects of complex functions are widely used in various fields of science, including physics, mathematical mechanics, electrical engineering, biological mechanisms, chemistry, AC voltage analysis, signal analysis, fluid dynamics, radio frequency transmission, and cell technology [1,2]. Additionally, fractional mathematics is a branch of mathematics that has been steadily refined over the past three centuries [3,4]. In the 19th century, Riemann and Liouville defined differentiation as a fractional order. Harmonic oscillators, hydrodynamics, optimal control, quantum physics, phase field systems, electromagnetism, and dispersion media are just a few of the fascinating and complex phenomena that have been extensively modeled with fractional mathematics in recent decades.
Finding unique solutions to different kinds of differential and integral equations is the primary focus of most academic journals. In 1922, the famous Polish mathematician Stefan Banach established the Banach fixed-point principle, a powerful and important technique. Recently, many researchers have investigated nonlinear fractional differential and integro-differential equations (NF/IDEqs) to determine their existence and unique solutions. For example, Schaefer's fixed-point theory was used in [5] to demonstrate the existence of a unique solution to fractional differential equations (FDEs). In [6], the existence of a unique fractional fuzzy system was examined through the lens of metric fixed-point theory. [7] introduces a nonlinear implicit random FIDE in the sense of the mean square and discusses the uniqueness and existence of its solutions. In [8], sufficient conditions for solving NFIDEq in complex space were provided. For additional analytical investigations, refer to [9,10,11,12,13,14].
Nevertheless, most fractional-order equations lack analytical solutions. Consequently, there has been significant interest in developing numerical techniques for solving FIDE. Several scientists have addressed the computational outcomes of these equations by employing strategies that manage them in a more practical setting. In [15], a differential transform scheme was devised to address a set of composite fractional oscillation problems. The Ritz approximation method was introduced in [16] to obtain the solutions for fractional control equations. Moreover, numerous academics have proposed robust computational strategies based on wavelet techniques for solving FDEs. For instance, Chebyshev cardinal wavelets were applied in [17], the Haar wavelet method was used in [18], the Euler wavelet method was introduced in [19], and the Legendre wavelet method was applied in [20]. Chebyshev wavelet operational matrices were also introduced in [21], while numerical techniques based on wavelet functions and collocation approaches were suggested in [22,23,24,25].
Based on previous research mentioned in the existing literature, we want to present a qualitative analysis to solve the following NFVIDEqs in complex space. Consider the problem:
with initial condition
where Ω(t) is an unknown C1 complex function, Ω: E→ C, E⊂ C, CDν is a Caputo derivative with υ∈(0,1), r∈T such that r≺t, W and Ξ are known and continuous functions such that W: T×E→ C, Ξ: T×T×E→ C, the values of λ(t) and β(t) are real, and Ω0 is prescribed constant. To resolve problems (1) and (2), both theoretical and numerical methods are used.
The article investigates an unexplored area of fractional calculus and analyzes the existence and originality of the solution. In addition, it is proposed to integrate the rationalization of the Haar wavelet method (RHM) and the Euler polynomial (EP) approach into a new numerical technique. This method is used to solve a first fractional model using variables specified on complex planes. The proposed method uses the power series to develop a numerical solution that shows rapid convergence and includes multiple terms that can be easily calculated. This methodology proves computational efficiency and makes it easy to implement in computer systems.
This article organizes its structure as follows: Section 2 covers crucial subjects. Section 3 outlined the necessary conditions for the existence and uniqueness of a solution to problems (1) and (2). Section 4 presents the numerical approach for problems (1) and (2) using the Euler wavelet method (EWM). Additionally, we provide a newly developed approach that merges the (RHM) with the (EP) approximation. In Section 5, we discuss numerical problems linked to what we established in Section 4 to present the precision of the proposed technique and calculate the case's abs. error. Section 6 contains the conclusion.
2.
Basic concepts
We will elaborate on the definitions and preliminary information provided in this paper.
Definition 1. [26] The Riemann-Liouville operator of order υ≻o is represented as:
where Γ(⋅) represents the gamma function.
Proposition 1. [27] Caputo's operator is related to the (R-L) operator in the following manner:
1) DυIυV(z) = V(z), z > 0;
2) IυDυV(z) = V(z)-∑n−1k=0V(k)(0)zkk!, z > 0.
Theorem 1. [28] Consider X be a Banach space. The set G⊂X of functions is relatively compact if and only if it is bounded and equicontinuous.
Theorem 2. [28] In a Banach space, each contraction mapping admits a unique fixed point.
Definition 2. [29] The Euler polynomials of degree m are defined as:
which can be constructed by the following generating functions
Proposition 2. [29] The Euler polynomials constitute a comprehensive foundation throughout the interval [0,1].
Definition 3. [30] Degenerate Euler polynomials for n∈N are defined as:
such that z(t)=u(t)+iv(t),(u)l is a falling factorial sequence defined as (u)l=u(u−1)...(u−l+1), l≥1, and S(2) is a Stirling numbers of the second kind.
Definition 4. [31] Rationalized Haar function hm(t) for m=2β+ k , β = 1, 2, ..., and k=0, 1, 2, ..., 2β- 1, are defined by
where
3.
Existence and uniqueness solution of NFIDEq
Before we begin our examination of the theoretical solution to the problems (1) and (2), we will apply the (R-L) fractional integral operator to the problems (1) and (2) to transform it into the following integral equation:
Consider these assumptions:
(C1) The function Ω: E→C is an analytical function;
(C2) For r,s∈T, and Ω1,Ω2∈C(T), there exists a non-negative constant p,q such that:
(C3) For M,N∈ R+, we have Sup0≤t≤τ|λ(t)+β(t)|≤M, and Sup0≤t≤τ|Ω(t)|≤N.
This segment's primary goal is to establish the existence and uniqueness of solutions to NFVIDEq. Theorem 1 helps to analyze the compactness of function sets, which is important for ensuring the problem's well-posedness. Furthermore, Theorem 2 is critical for proving the solution's uniqueness with the aid of certain fractional calculus properties.
In order to examine whether a solution exists for problems (1) and (2), consider the integral operator Ψ:(C(T), ‖.‖∞)→(C(T), ‖⋅‖∞).
Where
such that
Now, we will proceed to present the following theorems:
Theorem 3. Under conditions (C1)–(C3), the problems (1) and (2) possess at least one solution.
Proof. Here's how we are going to approach the proof:
Step 1. Suppose that we have a sequence of solutions {ΩK}K∈N that converges to Ω in C(T) for some t∈T, and by the aid of Theorem 1, we have:
So,
Thus,
where
From (C1), we have ‖ΨΩK(t)-ΨΩ(t)‖∞→0 , as K→∞. This implies that Ψ is a continuous operator on C(T).
Step 2. Our goal here is to show that Ψ transforms bounded sets into bounded sets in C(T) such that Ψ:~Ba→C(T), where ~Ba is a closed bounded convex subset of C(T) such that ~Ba={Ω(t)∈C(T):‖Ω‖∞<a,a>0}.
For all Ω(t)∈~Ba, we have
For a0, b0 > 0, set Sup|W(r,0)|≤a0, and Sup|Ξ(r,s, 0)|≤b0.
Thus, we have
So,
where
Thus, for all Ω∈~Ba, we have Ψ~Ba⊂~Ba.
Step 3. We will show that Ψ is completely continuous on C(T).
For Ω∈~Ba, and θ1, θ2∈T such that θ1 < t < θ2,
So, we obtain ‖ΨΩ(θ1)-ΨΩ(θ2)‖∞→0, as Q1→Q2, and hence [Ψ~Ba] be equicontinuous for all Ω∈~Ba.
By Theorem 1, Ψ is relatively compact, and hence it is completely continuous. From Schafer's theory, see [32], we have validated that at least one solution exists for problems (1) and (2) on C(T).
Theorem 4. Under the conditions (C2) and (C3), the problems (1) and (2) provide a unique solution if
Proof. According to fixed point theory, it is evident that Ω(t) is a solution to the problems (1) and (2) only when Ω∈C(T) becomes a fixed point of the operator Ψ.
For Ω1, Ω2∈C(T), we have
So, according to Theorem 3, we have
Thus,
For Q(M,υ)<1, Ψ becomes a contraction mapping. So, according to Theorem 2, Ψ has a fixed point, which guarantees the uniqueness of the solution for problems (1) and (2).
4.
Numerical approximation for solving problems (1) and (2)
This section introduces a modified method for solving the NFVIDEq after presenting a computational approach based on the Euler Wavelet Method (EWM).
4.2. Euler wavelets method
The Euler wavelet of degree m denoted by ⌢Ψnm(z), and defined on the interval [0,1] as:
where n = 1, 2, ...2α−1, α∈Z+, and m = 0, 1, ... N -1.
where Em(z) is the Euler polynomial defined in Definition 2.
A function z(t) can be expressed in terms of Euler wavelets as a truncated series given by
where HT is the coefficient vector defined as
Using Eq (6), we obtain
where
Ψ(t) in Eq (7) is Euler function vector, which is defined as
So, we can formulate a system of matrices as
with β = [β10, β11, ..., β1(N−1), β20, ..., β2(N−1),β2α-10, ..., β2α-1(N−1)]T, and Γ = [γijnm]M×M, is a matrix of order M = 2α−1N, and is given by:
Similarly, we can approximate the function of two variables F(t, s) in terms of Euler wavelets as
where ⌢F is a matrix of order m × m given by:
The EW vector Ψ(t), defined in Eq (10), can be determined as
where F is M×M dimensional matrix.
Now, we can define the fractional integration of Ψ(t) as
where Fυ is M×M dimensional matrix.
So, from Definition 1, and Eq (12), Fυ obtained as follows:
Numerical solution for solving problems (1) and (2) using EWM:
We will convert problems (1) and (2) to a set of algebraic equations by implementing the EWM.
We will approximate the following functions with the aid of Eqs (10)–(12) as follows:
Let
such that
Integrating Eq (16) and using Eq (14), we obtain
where
The integral part of problems (1) and (2) can be defined as
which implies that
Equation (21) is a linear system of m = 2α−1N algebraic equations. By plugging the value of H2 into Eq (19), the approximate solution of problems (1) and (2) can be computed numerically.
4.3. Proposed technique for solving problems (1) and (2)
4.2.1. Rationalized Haar Wavelet Method (RHW)
RHW is considered to be one of the essential categories among the various kinds of wavelets [22,23]. We can enlarge any function u(x) as defined by Definition 4 as:
where
For i=1,2, ..., r, the level of wavelet is 2i, r is a translation parameter.
Equation (22) could be expressed as
where
Also, any function v(x, y) of two variables in a complex space can be similarly approximated by RH functions as
where
where
the coefficients ekl are given by:
Consider Ωn(t) be a sequence of functions derived iteratively from problems (1) and (2) as
Assume
and
Then, we have
Consider Qn be the orthogonal projection with the following property (see [18]),
where
where
Equation (27), with the assistance of Eqs (28) and (29), will be:
4.2.2. Euler polynomial approximation
The fractional derivative part of problems (1) and (2) can be approximated by using the Euler polynomial approximation as follows:
Lemma 1. Consider the fractional derivative of a complex function Ω(t)∈C[0,1] with respect to Euler polynomials as:
where
then, we have
where
Proof. As per Definition 1 and Proposition 1, applying Iυt to both sides of formula (31) results in:
According to Definition 3, we obtain
Set
and
Therefore, as per Lemma 1, Eq (30) can be expressed as
Lemma 2. The suggested technique has a convergence rate of order O(M2(2d)M).
Proof. Using Lemma 1, assumption (C3), and putting d≤12, we get the proof. (See [8]).
5.
Numerical experiments
This section will numerically conduct the proposed method for solving problems (1) and (2) to validate the theoretical work. To validate the approach and assess its effectiveness, we pose two problems that satisfy the assumptions (C1)–(C3).
Problem 1. Consider the following: NFVIDeq
with the initial condition Ω(0) = 2.
Here we have υ = 0.8 , λ(t) = t2,Ξ(t, r, Ω(r)) = e−π(r2+t)Ω(r), β(t) = 0, and the known function W(t, Ω(t)) = 1 +eΩ(t)3 is employed to guarantee that the exact solution will be Ω(t) = e√3∏it+1. Also, we have that P = 0.6, q = 0.87 .
So, we have MT+PTνΓ(ν+ 1)+MqTν+ 1Γ(ν+ 2) = 0.864 < 1. According to Theorem 2, we conclude that Problem 1, has a unique solution.
Using EWM and our proposed method, we have assessed and presented the estimated solutions in Table 1 with t∈[0, 1], as t = 0.1 : 0.1 : 1 , by selecting two distinct ˜n values as ˜n = 10, and ˜n = 20. Figure 1 shows the numerical solutions using the suggested technique for Ωn(t) together with its magnitude abs(Ω(t)) and the argument arg(Ω(t)) at ˜n = 20.
Problem 2. Consider the following NFVIDeq:
with the initial condition Ω(0) = 0.
The known function W(t,Ω(t)) used to ensure the exact solution given by Ω(t)=2isint−3t2√1+t3+tant, as we shown in Problem 1, the condition MT+PTνΓ(ν+1)+MqTν+1Γ(ν+2)=0.893 < 1. So, this problem has a unique solution.
Table 2 shows the approximate solutions for problem 2 at t = 0.1 : 0.1 : 1 , and by taking ˜n = 20 , ˜n = 30. Figure 2 shows the numerical solution by the proposed technique at ˜n = 30 by the aid of u = Re(Ω(t)),υ = Im(Ω(t)), the magnitude, and the argument of the solution.
6.
Conclusions
In general, the FIDEq solution is hard to study, especially if the unknown function is complex. We present the existence and uniqueness results of the solution for NFVIDEq in the given problem by applying the fixed-point theorem of Banach space with the contraction mapping principle and some properties of fractional calculus. In addition, we analyze the approximate solutions for solving NFVIDEq in problems (1) and (2), utilizing the EWM to a matrix representation that aligns with a system of algebraic linear equations. We demonstrate that this method is both highly efficient and effective. On the other hand, this research employs a novel approach by using Euler's polynomial method to construct the rationalized Haar wavelet method (RHM), which takes the form of convergent series with easily computed terms in the bases of Euler polynomials and Haar wavelet functions. In Section 5, we present two examples of numerical calculations using MATLAB R2022b. These mathematical calculations are the last stage in supporting the theoretical study. The problems supplied show the differences between exact and numerical solutions for various values of n. Furthermore, the absolute errors in every problem are shown in Tables 1 and 2. Figures 3 and 4 substantially converge the precise and numerical solutions. Based on what exists, we can deduce that increasing the value of n results in a longer time to attain t→1. When compared to the EWM, the proposed method gives more accurate numerical answers. Therefore, we can conclude that the suggested method is very good at finding exact numerical solutions and cuts down on processing time while keeping accuracy high. Also, the suggested approach is particularly effective and significantly reduces the time required for calculations while maintaining precision. This study's findings add to the existing literature on the topic, particularly for applied researchers in the sciences and engineering.
As a future work, we can explore the proposed numerical method to fractional integro-differential equations in higher-dimensional complex spaces, which are crucial for modeling multi-variable systems in physics and engineering. Also, we can make a comparative study of the proposed method with other advanced numerical techniques such as finite element methods, boundary element methods, or more recent machine learning-based approaches to determine which techniques offer better accuracy and computational efficiency.
Author Contributions
Amnah E. Alshammaky: Conceptualization, investigation, resources, and supervision; Eslam M. Youssef: methodology, software, formal analysis, writing-original draft preparation, and project administration. All authors have read and agreed to the published version of the manuscript.
Conflicts of interest
The authors declare no conflict of interest.