Next Article in Journal
A Comparative Study of COVID-19 Dynamics in Major Turkish Cities Using Fractional Advection–Diffusion–Reaction Equations
Next Article in Special Issue
New Fractional Integral Inequalities Involving the Fox-H and Meijer-G Functions for Convex and Synchronous Functions
Previous Article in Journal
An Approximate Analytical View of Fractional Physical Models in the Frame of the Caputo Operator
Previous Article in Special Issue
A Fractional Tikhonov Regularization Method for Identifying a Time-Independent Source in the Fractional Rayleigh–Stokes Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Applications of Inverse Operators to a Fractional Partial Integro-Differential Equation and Several Well-Known Differential Equations

1
Department of Mathematics and Computer Science, Brandon University, Brandon, MB R7A 6A9, Canada
2
Department of Mathematics and Statistics, University of Calgary, Calgary, AB T2N 1N4, Canada
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(4), 200; https://doi.org/10.3390/fractalfract9040200
Submission received: 27 February 2025 / Revised: 17 March 2025 / Accepted: 20 March 2025 / Published: 25 March 2025

Abstract

This paper mainly consists of two parts: (i) We study the uniqueness, existence, and stability of a new fractional nonlinear partial integro-differential equation in R n with three-point conditions and variable coefficients in a Banach space using inverse operators containing multi-variable functions, a generalized Mittag-Leffler function, as well as a few popular fixed-point theorems. These studies have good applications in general since uniqueness, existence and stability are key and important topics in many fields. Several examples are presented to demonstrate applications of results obtained by computing approximate values of the generalized Mittag-Leffler functions. (ii) We use the inverse operator method and newly established spaces to find analytic solutions to a number of notable partial differential equations, such as a multi-term time-fractional convection problem and a generalized time-fractional diffusion-wave equation in R n with initial conditions only, which have never been previously considered according to the best of our knowledge. In particular, we deduce the uniform solution to the non-homogeneous wave equation in n dimensions for all n 1 , which coincides with classical results such as d’Alembert and Kirchoff’s formulas but is much easier in the computation of finding solutions without any complicated integrals on balls or spheres.

1. Introduction and Preliminaries

Fractional differential equations (FDEs) play crucial roles in simulating real-world systems due to their unique ability to model complex phenomena that involve memory and hereditary properties, which are often not adequately captured by classical integer-order differential equations. In addition, fractional derivatives or integrals are non-local operators, meaning that they consider the influence of the function over an interval rather than at a point. This property is beneficial for modeling systems with non-local interactions, such as those found in continuum mechanics, electromagnetism, and population dynamics.
The gamma function, denoted by Γ ( z ) , is a generalization of the factorial function to complex numbers. It is defined as
Γ ( z ) = 0 t z 1 e t d t , R e ( z ) > 0 .
Let ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n . We define the fractional partial integral operator I 1 ρ 1 I n ρ n of a function, M ( t , σ ) , for ρ 1 , , ρ n 0 [1,2] as
I 1 ρ 1 I n ρ n M ( t , σ ) = 1 Γ ( ρ 1 ) Γ ( ρ n ) · 0 σ 1 0 σ n ( σ 1 τ 1 ) ρ 1 1 ( σ n τ n ) ρ n 1 M ( t , τ 1 , , τ n ) d τ n d τ 1 ,
where M is a continuous function from [ 0 , 1 ] × [ 0 , 1 ] n to R and σ = ( σ 1 , , σ n ) .
In particular, from [3], we have
I 1 0 I n 0 M ( t , σ ) = M ( t , σ ) .
The partial Liouville–Caputo fractional derivative ρ c / t ρ of the order m 1 < ρ m ( m N ) with respect to t is defined in [1] as
ρ c t ρ M ( t , σ ) = 1 Γ ( m ρ ) 0 t ( t τ ) m ρ 1 M t ( m ) ( τ , σ ) d τ .
In particular, for 2 < ρ 3 ,
ρ c t ρ M ( t , σ ) = 1 Γ ( 3 ρ ) 0 t ( t τ ) 2 ρ M t ( 3 ) ( τ , σ ) d τ .
Recently, Sadek et al. [4] investigated the foundational iterative processes of fractional calculus, focusing on Θ -conformable fractional derivatives, and defined several novel fractional operators as well as associated function spaces, which are useful in dealing with differential equations involving the Θ -conformable derivatives.
C ( [ 0 , 1 ] × [ 0 , 1 ] n ) is the Banach space of all continuous functions from [ 0 , 1 ] × [ 0 , 1 ] n into R with the norm
M = max ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n | M ( t , σ ) | < + .
Let a 2 C [ 0 , 1 ] , a 3 , a 4 C ( [ 0 , 1 ] n ) and a 1 C ( [ 0 , 1 ] × [ 0 , 1 ] n ) . In this paper, we will first study the uniqueness, existence, and stability for the following new equation with three-point conditions and variable coefficients for all ρ i 0 ( i = 1 , 2 , , n N ) and 2 < ρ 3 :
ρ c t ρ M ( t , σ ) + a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = N ( t , σ , M ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = 0 1 a 2 ( t ) M ( t , σ ) d t , M ( 1 / 2 , σ ) = a 3 ( σ ) , M ( 1 , σ ) = a 4 ( σ ) ,
where N : [ 0 , 1 ] × [ 0 , 1 ] n × R R is a given function with certain conditions.
It follows that for M C ( [ 0 , 1 ] × [ 0 , 1 ] n ) ,
I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M a 1 M I t ρ I 1 ρ 1 I n ρ n a 1 M 1 Γ ( ρ + 1 ) 1 Γ ( ρ 1 + 1 ) 1 Γ ( ρ n + 1 ) ,
which implies that
I t ρ a 1 I 1 ρ 1 I n ρ n a 1 1 Γ ( ρ + 1 ) 1 Γ ( ρ 1 + 1 ) 1 Γ ( ρ n + 1 ) .
Hence,
I t ρ a 1 I 1 ρ 1 I n ρ n k a 1 k 1 Γ ( k ρ + 1 ) 1 Γ ( k ρ 1 + 1 ) 1 Γ ( k ρ n + 1 ) ,
for all integers k 0 .
We are going to derive an equivalent implicit integral equation of Equation (1) by an inverse operator over C ( [ 0 , 1 ] × [ 0 , 1 ] n ) and then present sufficient conditions for the uniqueness, existence, and stability using several fixed-point theorems and a newly established generalized Mittag-Leffler function given below.
The generalized Mittag-Leffler function is defined by
E ( ρ , ρ 1 , , ρ n ) , ( β , β 1 , , β n ) ( θ ) = r = 0 θ r Γ ( ρ r + β ) Γ ( ρ 1 r + β 1 ) Γ ( ρ n r + β n ) ,
where θ C , ρ > 0 , β > 0 , ρ i 0 , β i > 0 for i = 1 , 2 , , n . In particular,
E ( ρ , 0 , , 0 ) , ( β , 1 , , 1 ) ( θ ) = E α , β ( θ ) = r = 0 θ r Γ ( ρ r + β ) ,
which is the well-known two-parameter Mittag-Leffler function [5]. We should point out that E ( ρ , ρ 1 , , ρ n ) , ( β , β 1 , , β n ) ( θ ) clearly converges since there is a positive integer, r, such that
ρ i r + β i 2 ,
for all i = 1 , 2 , , n if ρ i > 0 .
To consider Equation (1), we first demonstrate use of the inverse operator method to convert the following equation with an integral boundary condition (nonlocal) to an equivalent implicit integral equation for 0 < ρ 1 and ρ 1 0 :
ρ c t ρ M ( t , σ ) + a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) = N ( t , σ , M ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] , M ( 1 , σ ) = 0 1 a 2 ( t ) M ( t , σ ) d t , a 2 C [ 0 , 1 ] ,
where a 1 and N are given continuous functions with
N = sup ( t , σ , y ) [ 0 , 1 ] × [ 0 , 1 ] × R | N ( t , σ , y ) | < + .
The motivation of employing the inverse operator method and the Mittag-Leffler functions in the current work is that, as far as we know, there are no existing integral transforms or other approaches that can change Equation (2) to an equivalent integral equation. To study the uniqueness and existence by fixed-point theory, we need an equivalent integral equation to define a nonlinear mapping.
Theorem 1.
Let 0 < ρ 1 , ρ 1 0 , and a 1 , N , a 2 be given continuous functions. Furthermore, we assume that N satisfies the following Lipschitz condition with respect to the third variable,
| N ( t , σ , M 1 ) g ( t , σ , M 2 ) | L | M 1 M 2 | , M 1 , M 2 R ,
for a non-negative constant, L , and
Q = L E ( ρ , ρ 1 ) , ( ρ + 1 , 1 ) ( a 1 ) + a 2 + a 1 Γ ( ρ + 1 ) Γ ( ρ 1 + 1 ) + L Γ ( ρ + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) < 1 .
Then, there is a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] ) to Equation (2).
Proof. 
Applying I t ρ to Equation (2), we obtain
M ( t , σ ) M ( 0 , σ ) + I t ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) = I t ρ N ( t , σ , M ( t , σ ) ) ,
by noting that 0 < ρ 1 . Setting t = 1 yields
M ( 0 , σ ) = 0 1 a 2 ( t ) M ( t , σ ) d t + I t = 1 ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
Hence,
1 + I t ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) = I t ρ N ( t , σ , M ( t , σ ) ) + 0 1 a 2 ( t ) M ( t , σ ) d t + I t = 1 ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
We shall show that the operator 1 + I t ρ a 1 ( t , x ) I σ ρ 1 has a unique inverse operator,
v a 1 = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r
in the space C ( [ 0 , 1 ] × [ 0 , 1 ] ) . Indeed, for any M C ( [ 0 , 1 ] × [ 0 , 1 ] ) , we have
v a 1 M = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ γ 1 r M r = 0 I t ρ a 1 ( t , σ ) I σ ρ 1 r M M r = 0 a 1 r 1 Γ ( r ρ + 1 ) 1 Γ ( r ρ 1 + 1 ) = M E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) < + ,
which claims that the operator v a 1 is well defined and continuous over the space C ( [ 0 , 1 ] × [ 0 , 1 ] ) , and the series is uniformly convergent. Moreover,
v a 1 1 + I t ρ a 1 ( t , σ ) I σ ρ 1 = 1 + I t ρ a 1 ( t , σ ) I σ ρ 1 v a 1 = 1 ( identity   operator ) .
In fact,
v a 1 1 + I t ρ a 1 ( t , σ ) I σ ρ 1 = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r + 1 = 1 + r = 1 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r + 1 = 1 .
Similarly,
1 + I t ρ a 1 ( t , σ ) I σ ρ 1 v a 1 = 1 .
We assume that v a 1 is another operator such that
v a 1 1 + I t ρ a 1 ( t , σ ) I σ ρ 1 = 1 + I t ρ a 1 ( t , σ ) I σ ρ 1 v a 1 = 1 .
Then, v a 1 = v a 1 by applying v a 1 to the above. Therefore,
M ( t , σ ) = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r I t ρ N ( t , σ , M ( t , σ ) ) + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r · 0 1 a 2 ( t ) M ( t , σ ) d t + I t = 1 ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) ,
and
M N E ( ρ , ρ 1 ) , ( ρ + 1 , 1 ) ( a 1 ) + a 2 M + a 1 M Γ ( ρ + 1 ) Γ ( ρ 1 + 1 ) + N Γ ( ρ + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) ,
where
a 1 = sup ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] | a 1 ( t , σ ) | < + .
If
W = 1 a 2 + a 1 Γ ( ρ + 1 ) Γ ( ρ 1 + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) > 0 ,
then
M N W E ( ρ , ρ 1 ) , ( ρ + 1 , 1 ) ( a 1 ) + N W Γ ( ρ + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 )
is uniformly bounded.
We further assume that N satisfies the following Lipschitz condition with respect to the third variable,
| N ( t , σ , M 1 ) g ( t , σ , M 2 ) | L | M 1 M 2 | , M 1 , M 2 R ,
for a nonnegative constant, L , and
Q = L E ( ρ , ρ 1 ) , ( ρ + 1 , 1 ) ( a 1 ) + a 2 + a 1 Γ ( ρ + 1 ) Γ ( ρ 1 + 1 ) + L Γ ( ρ + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) < 1 .
Then, there is a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] ) to Equation (2). To prove this, we define a nonlinear mapping, T , over C ( [ 0 , 1 ] × [ 0 , 1 ] ) by Equation (3)
( T M ) ( t , σ ) = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r I t ρ N ( t , σ , M ( t , σ ) ) + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r · 0 1 a 2 ( t ) M ( t , σ ) d t + I t = 1 ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r I t ρ N ( t , σ , M ( t , σ ) ) + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r 0 1 a 2 ( t ) M ( t , σ ) d t + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r I t = 1 ρ a 1 ( t , σ ) I σ ρ 1 M ( t , σ ) r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
It follows from the above that T M < + . Thus, we only need to show that T is contractive. Clearly, for M 1 , M 2 C ( [ 0 , 1 ] × [ 0 , 1 ] ) ,
T M 1 T M 2 = r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r I t ρ ( N ( t , σ , M 1 ( t , σ ) ) N ( t , σ , M 2 ( t , σ ) ) + r = 0 ( 1 ) r I t ρ a 1 ( t , σ ) I σ ρ 1 r 0 1 a 2 ( t ) ( M 1 ( t , σ ) M 2 ( t , σ ) ) d t + I t = 1 ρ a 1 ( t , σ ) I σ ρ 1 ( M 1 ( t , σ ) M 2 ( t , σ ) ) I t = 1 ρ ( N ( t , σ , M 1 ( t , σ ) ) N ( t , σ , M 2 ( t , σ ) ) ) .
So,
T M 1 T M 2 L E ( ρ , ρ 1 ) , ( ρ + 1 , 1 ) ( a 1 ) + a 2 + a 1 Γ ( ρ + 1 ) Γ ( ρ 1 + 1 ) + L Γ ( ρ + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) · M 1 M 2 = Q M 1 M 2 .
Since Q < 1 , there exists a unique solution to Equation (2) in C ( [ 0 , 1 ] × [ 0 , 1 ] ) by Banach’s contractive principle. This completes the proof. □
Example 1.
The equation with the integral boundary condition
0.6 c t 0.6 M ( t , σ ) + 1 13 ( 1 + t + σ 2 ) I σ 2.1 M ( t , σ ) = 1 21 cos ( t σ M ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] , M ( 1 , σ ) = 0 1 sin ( t 2 / 11 ) M ( t , σ ) d t ,
has a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] ) .
Proof. 
Evidently,
N ( t , σ , M ) = 1 21 cos ( t σ M )
is a continuous and bounded function with
| N ( t , σ , M 1 ) N ( t , σ , M 2 ) | 1 21 | cos ( t σ M 1 ) cos ( t σ M 2 ) | 1 21 | M 1 M 2 | ,
which infers that L = 1 / 21 . In addition,
ρ = 0.6 , ρ 1 = 2.1 , a 1 = 1 / 13 , a 2 1 / 11 .
We need to evaluate the value of
Q = L E ( ρ , ρ 1 ) , ( ρ + 1 , 1 ) ( a 1 ) + a 2 + a 1 Γ ( ρ + 1 ) Γ ( ρ 1 + 1 ) + L Γ ( ρ + 1 ) E ( ρ , ρ 1 ) , ( 1 , 1 ) ( a 1 ) 1 21 E ( 0.6 , 2.1 ) , ( 1.6 , 1 ) ( 1 / 13 ) + 1 11 + 1 13 Γ ( 1.6 ) Γ ( 3.1 ) + 1 21 Γ ( 1.6 ) E ( 0.6 , 2.1 ) , ( 1 , 1 ) ( 1 / 13 ) 1 21 1.15105 + 0.183378 1.03934 0.24540399528 < 1 ,
by noting that
E ( 0.6 , 2.1 ) , ( 1.6 , 1 ) ( 1 / 13 ) = r = 0 1 / 13 r Γ ( 0.6 r + 1.6 ) Γ ( 2.1 r + 1 ) 1.15105 , and , E ( 0.6 , 2.1 ) , ( 1 , 1 ) ( 1 / 13 ) = r = 0 1 / 13 r Γ ( 0.6 r + 1 ) Γ ( 2.1 r + 1 ) 1.03934 ,
using online calculators on 11 December 2024 from the site https://www.wolframalpha.com. So, Equation (4) has a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] ) from Theorem 1. □
In addition, we provide applications of the inverse operator method to finding analytic solutions to some well-known partial differential equations, such as the following multi-term time-fractional convection problem in R n for 0 < ρ 1 , for the first time:
ρ c t ρ M ( t , σ ) + i = 1 m β i ρ j c t ρ j M ( t , σ ) + j = 1 n λ j ( σ j ) σ j M ( t , σ ) = f 1 ( t , σ ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = f 2 ( σ ) ,
We provide the same for the generalized time-fractional diffusion-wave equation for 1 < ρ 2 ,
ρ c t ρ M ( t , σ ) + j = 1 m λ j ρ j c t ρ j M ( t , σ ) = l M ( t , σ ) + g ( t , σ ) , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , m , l N ,
based on the multivariate Mittag-Leffler function and several newly constructed spaces. As far as we know, there are no analytic solutions to the above two equations to date, although there are some investigations on the convection–diffusion equations of a fractional order, particularly in numerical studies [6,7,8,9].
Especially for all λ j = 0 and n = l = 1 , Equation (6) turns out be
ρ c t ρ M ( t , σ ) = 2 σ 2 M ( t , σ ) + g ( t , σ ) , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) ,
which is a non-homogeneous fractional wave equation in one dimension.
Fractional differential equations have played important roles in constructing mathematical models, and they have also been extensively studied and used in various research fields, particularly in materials, economics, mechanics, dynamic systems, environmental science, signal and image processing, control theory, physics, and chemistry [10,11,12,13,14,15]. In fact, fractional-order models are more suitable, in comparison to integer-order settings, in modeling many biological phenomena due to their non-local nature and the presence of memory functions [16]. There are many interesting works on fractional partial differential equations, especially on uniqueness, existence, and stability analysis since they are important studies in many pure and applied areas. In 2024, Li [17] investigated the uniqueness and stability for the following equation for ρ i j 0 ( i = 1 , 2 , , n , j = 1 , 2 , , l N ) using Babenko’s approach (the inverse operator method) and the generalized multivariate Mittag-Leffler function:
ρ c t ρ M ( t , σ ) + j = 1 l a j ( σ ) I 1 ρ 1 j I n ρ n j M ( t , σ ) = ϕ 1 ( t , σ , M ( t , σ ) ) , 2 < ρ 3 , M ( 0 , σ ) = ϕ 2 ( σ ) , M ( 1 , σ ) = ϕ 3 ( σ ) , M t ( 1 , σ ) = ϕ 4 ( σ ) ,
where ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , a j , ϕ k C ( [ 0 , 1 ] n ) for k = 2 , 3 , 4 , and ϕ 1 : [ 0 , 1 ] × [ 0 , 1 ] n × R R , with some conditions.
Kumar et al. [18] presented applications of fractional partial differential equations in biology. Lu et al. [19] explored deep learning methods for solving fractional partial differential equations.
Very recently, Li [20] studied the uniqueness and existence of solutions for the following nonlinear partial integro-differential equation through a well-defined inverse operator and a few fixed-point theorems.
α c t α u ( t , x ) + i = 1 m a i I x β i u ( t , x ) = g ( t , x , u ( t , x ) ) , 1 < α 2 , β i 0 , u ( 0 , x ) = ϕ 1 ( x ) , u ( T , x ) = ϕ 2 ( x ) , ϕ 1 , ϕ 2 C [ 0 , b ] , b > 0 ,
where ( t , x ) [ 0 , T ] × [ 0 , b ] with T > 0 , all a i are arbitrary constants for i = 1 , 2 , , m , g : [ 0 , T ] × [ 0 , b ] × R R satisfies certain conditions, and the analytic solution for the following generalized fractional wave equation in R n is derived:
α c t α u ( t , x ) = λ 1 , , λ n u ( t , x ) + g ( t , x ) , 1 < α 2 , u ( 0 , x ) = ϕ 1 ( x ) , u t ( 0 , x ) = ϕ 2 ( x ) , ( t , x ) R × R n ,
where
λ 1 , , λ n = λ 1 2 x 1 2 + + λ n 2 x n 2 , all   λ i   are   arbitrary   contants .
The key contributions of this paper are listed as follows.
  • We study the uniqueness, existence, and stability for the new Equation (1) using several notable fixed-point theorems, an equivalent implicit integral equation from inverse operators, and the equicontinuity concept. Clearly, there are more studies focusing on ordinary fractional differential equations and far fewer on FPDEs.
  • We derive a new analytic solution to the generalized multi-term time-fractional convection problem (5) by the multivariate Mittag-Leffler function, an inverse operator, and a subspace space, S, with several illustrative examples showing applications of our main results.
  • We obtain a unique series solution in terms of the Laplacian operators, for the first time, to the generalized time-fractional diffusion-wave Equation (6), and further, we establish the uniform solution to the non-homogeneous wave equation in n dimensions for all n 1 , which is consistent with all classical consequences but without any complicated integrals in computation.
In the following, we shall derive sufficient conditions for the uniqueness, existence, and stability of Equation (1) by an inverse operator, the generalized two-parameter Mittag-Leffler function, Banach’s contractive principle, and Leray–Schauder’s fixed-point theorem, with illustrative examples demonstrating applications of our main results in part (i) containing Section 2 and Section 3. To present applications of the inverse operator method, we will find well-defined series solutions to a partial integro-differential equation and the two important partial differential Equations (5) and (6) by introducing some new spaces in part (ii) (Section 4), which are the key contributions of this paper.

2. Uniqueness and Stability

Stability is an essential concept in differential equations since it guarantees that a small perturbation from a model caused by errors will have a correspondingly slight effect on the solution, so that the equation describing the model will predict the future outcomes accurately. We begin defining a stability of Equation (1) as follows.
Definition 1.
Problem (1) is stable if there exists a constant K > 0 , such that for all ϵ > 0 and for each fixed solution, M ( t , σ ) C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , of
ρ c t ρ M ( t , σ ) + a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) N ( t , σ , M ( t , σ ) ) < ϵ , M ( 0 , σ ) = 0 1 a 2 ( t ) M ( t , σ ) d t , M ( 1 / 2 , σ ) = a 3 ( σ ) , M ( 1 , σ ) = a 4 ( σ ) ,
then there exists a solution, M 0 ( t , σ ) C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , of Equation (1), satisfying
M M 0 K ϵ ,
where K is a stability constant and is independent of ϵ.
Theorem 2.
Let 2 < ρ 3 , a 2 C [ 0 , 1 ] , a 3 , a 4 C ( [ 0 , 1 ] n ) , a 1 C ( [ 0 , 1 ] × [ 0 , 1 ] n ) and N : [ 0 , 1 ] × [ 0 , 1 ] n × R R be continuous and bounded. Then, for all ρ i 0 ( i = 1 , 2 , , n ), Equation (1) is equivalent to the following implicit integral equation in the space C ( [ 0 , 1 ] × [ 0 , 1 ] n ) :
M ( t , σ ) = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ N ( t , σ , M ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) a 3 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) a 4 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M ( t , σ ) d t + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
In addition, if
G = 1 a 2 E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) > 0 ,
then
M N G E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 3 + a 4 G E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ N G Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N G E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ,
which is uniformly bounded.
Proof. 
We apply I ρ to Equation (1) and obtain
M ( t , σ ) M ( 0 , σ ) M t ( 0 , σ ) t M t ( 0 , σ ) t 2 2 + I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = I t ρ N ( t , σ , M ( t , σ ) ) ,
which implies that
M ( t , σ ) 0 1 a 2 ( t ) M ( t , σ ) d t M t ( 0 , σ ) t M t ( 0 , σ ) t 2 2 + I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = I t ρ N ( t , σ , M ( t , σ ) ) .
Setting t = 1 , we obtain
a 4 ( σ ) 0 1 a 2 ( t ) M ( t , σ ) d t M t ( 0 , σ ) 1 2 M t ( 0 , σ ) + I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = I t = 1 ρ N ( t , σ , M ( t , σ ) ) ,
by M ( 1 , σ ) = a 4 ( σ ) , and t = 1 / 2 deduces
a 3 ( σ ) 0 1 a 2 ( t ) M ( t , σ ) d t 1 2 M t ( 0 , σ ) 1 8 M t ( 0 , σ ) + I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) .
Thus,
M t ( 0 , σ ) = 4 a 3 ( σ ) a 4 ( σ ) 3 0 1 a 2 ( t ) M ( t , σ ) d t + 4 I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + I t = 1 α f ( t , x , u ( t , x ) ) 4 I t = 1 / 2 α f ( t , x , u ( t , x ) ) , and M t ( 0 , σ ) = 8 a 3 ( σ ) + 4 a 4 ( σ ) + 4 0 1 a 2 ( t ) M ( t , σ ) d t 8 I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + 4 I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + 8 I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) 4 I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
Hence,
1 + I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = I t ρ N ( t , σ , M ( t , σ ) ) + 0 1 a 2 ( t ) M ( t , σ ) d t + M t ( 0 , σ ) t + M t ( 0 , σ ) t 2 2 = I t ρ N ( t , σ , M ( t , σ ) ) + ( 4 t 4 t 2 ) a 3 ( σ ) + ( 2 t 2 t ) a 4 ( σ ) + ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M ( t , σ ) d t + ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + ( 4 t 2 4 t ) I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) + ( t 2 t 2 ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
Following Section 1, we can prove that the inverse operator of 1 + I t ρ a 1 ( t , x ) I 1 ρ 1 I n ρ n is
V a 1 = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s
in the space C ( [ 0 , 1 ] × [ 0 , 1 ] n ) . Indeed, for any ϕ C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , we claim that
V a 1 ϕ ϕ s = 0 a 1 s 1 Γ ( ρ s + 1 ) Γ ( ρ 1 s + 1 ) Γ ( ρ n s + 1 ) = ϕ E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) < + .
Furthermore,
1 + I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n V a 1 = V a 1 1 + I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n = 1 .
Clearly,
1 + I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n V a 1 = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s + 1 = 1 + s = 1 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s + 1 = 1 ,
and the uniqueness of the operator follows similarly.
Therefore,
M ( t , σ ) = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ N ( t , σ , M ( t , σ ) ) ( = I 1 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) a 3 ( σ ) ( = I 2 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) a 4 ( σ ) ( = I 3 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M ( t , σ ) d t ( = I 4 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) ( = I 5 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , x ) I 1 ρ 1 I n ρ n M ( t , σ ) ( = I 6 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) ( = I 7 ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) ( = I 8 ) = I 1 + + I 8 .
Since
max t [ 0 , 1 ] | 4 t 4 t 2 | = 1 , max t [ 0 , 1 ] | 2 t 2 t | = 1 , max t [ 0 , 1 ] | 2 t 2 3 t + 1 | = 1 ,
we derive
M N s = 0 a 1 s 1 Γ ( s ρ + ρ + 1 ) 1 Γ ( s ρ 1 + 1 ) 1 Γ ( s ρ n + 1 ) ( from I 1 ) + ( a 3 + a 4 ) s = 0 a 1 s 1 Γ ( s ρ + 1 ) 1 Γ ( s ρ 1 + 1 ) 1 Γ ( s ρ n + 1 ) ( from I 2 , I 3 ) + a 2 M s = 0 a 1 s 1 Γ ( s ρ + 1 ) 1 Γ ( s ρ 1 + 1 ) 1 Γ ( s ρ n + 1 ) ( from I 4 ) + ( 1 / 2 ) ρ a 1 M Γ ( ρ + 1 ) s = 0 a 1 s Γ ( s ρ + 1 ) 1 Γ ( s ρ 1 + ρ 1 + 1 ) 1 Γ ( s ρ n + ρ n + 1 ) ( from I 5 ) + a 1 M s = 0 a 1 s Γ ( s ρ + ρ + 1 ) 1 Γ ( s ρ 1 + ρ 1 + 1 ) 1 Γ ( s ρ n + ρ n + 1 ) ( from I 6 ) + ( 1 / 2 ) ρ N Γ ( ρ + 1 ) s = 0 a 1 s Γ ( s ρ + 1 ) 1 Γ ( s ρ 1 + 1 ) 1 Γ ( s ρ n + 1 ) ( from I 7 ) + N s = 0 a 1 s Γ ( s ρ + ρ + 1 ) 1 Γ ( s ρ 1 + 1 ) 1 Γ ( s ρ n + 1 ) ( from I 8 ) = N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + ( a 3 + a 4 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + a 2 M E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 M Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 M E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + ( 1 / 2 ) ρ N Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) .
Since
G = 1 a 2 E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) > 0 ,
we obtain
M N G E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 3 + a 4 G E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ N G Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N G E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ,
which is uniformly bounded. □
The following is our key theorem regarding the uniqueness and stability of Equation (1).
Theorem 3.
Let 2 < ρ 3 , a 2 C [ 0 , 1 ] , a 3 , a 4 C ( [ 0 , 1 ] n ) , a 1 C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , and N : [ 0 , 1 ] × [ 0 , 1 ] n × R R be a continuous and bounded function satisfying the Lipschitz condition
| N ( t , σ , M 1 ) N ( t , σ , M 2 ) | C | M 1 M 2 | , M 1 , M 2 R ,
for a non-negative constant, C . Furthermore, we assume that
F = 2 C E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 2 + ( 1 / 2 ) ρ C Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) < 1 .
Then, Equation (1) has a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) and is stable.
Proof. 
To prove the uniqueness, we start defining a nonlinear mapping, W , over C ( [ 0 , 1 ] × [ 0 , 1 ] n ) as
( W M ) ( t , σ ) = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ N ( t , σ , M ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) a 3 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) a 4 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M ( t , σ ) d t + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
It follows from the proof of Theorem 2 that W is a mapping from C ( [ 0 , 1 ] × [ 0 , 1 ] n ) to itself. We only need to prove that W is contractive. For any M 1 , M 2 C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , we have
W M 1 W M 2 = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ ( N ( t , σ , M 1 ( t , σ ) ) N ( t , σ , M 2 ( t , σ ) ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) ( M 1 ( t , σ ) M 2 ( t , σ ) ) d t + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n ( M 1 ( t , σ ) M 2 ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n ( M 1 ( t , σ ) M 2 ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ ( N ( t , σ , M 1 ( t , σ ) ) N ( t , σ , M 2 ( t , σ ) ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ ( N ( t , σ , M 1 ( t , σ ) ) N ( t , σ , M 2 ( t , σ ) ) ) .
Then,
W M 1 W M 2 C E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 2 E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + ( 1 / 2 ) ρ C Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + C E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) M 1 M 2 = F M 1 M 2 .
Since F < 1 , Equation (1) has a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) from Banach’s contractive principle.
To show the stability, we let
z ( t , σ ) = ρ c t ρ M ( t , σ ) + a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) N ( t , σ , M ( t , σ ) ) ,
with the conditions
M ( 0 , σ ) = 0 1 a 2 ( t ) M ( t , σ ) d t , M ( 1 / 2 , σ ) = a 3 ( x ) , M ( 1 , σ ) = a 4 ( σ ) .
It follows from Definition 1 that
z < ϵ ,
and
ρ c t ρ M ( t , σ ) + a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = N ( t , σ , M ( t , σ ) ) + z ( t , σ ) .
Since
| N ( t , σ , y 1 ) + z ( t , σ ) N ( t , σ , y 2 ) z ( t , σ ) | C | y 1 y 2 | ,
we claim that Equation (7) has a unique solution by the first part of Theorem 3 and
M ( t , σ ) = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ ( N ( t , σ , M ( t , σ ) ) + z ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) a 3 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) a 4 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M ( t , σ ) d t + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ ( N ( t , σ , M ( t , σ ) ) + z ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ ( N ( t , σ , M ( t , σ ) ) + z ( t , σ ) ) .
On the other hand, there exists a unique M 0 ( t , σ ) C ( [ 0 , 1 ] × [ 0 , 1 ] n ) of Equation (1) from the above uniqueness proof, such that
M 0 ( t , σ ) = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ N ( t , σ , M 0 ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) a 3 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) a 4 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M 0 ( t , σ ) d t + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M 0 ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M 0 ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ N ( t , σ , M 0 ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ N ( t , σ , M 0 ( t , σ ) ) .
Hence,
M M 0 F M M 0 + E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ϵ + ( 1 / 2 ) ρ Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) ϵ + E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ϵ ,
which implies that
M M 0 K ϵ ,
where
K = 1 1 F E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ,
is a stability constant, which is independent of ϵ . □
Remark 1. (i) Along the same line, we are able to study the uniqueness for the following partial integro-differential equation for λ C ( [ 0 , 1 ] n ) :
ρ c t ρ M ( t , σ ) + a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) = N ( t , σ , u ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = λ ( σ ) , M ( t 0 , σ ) = a 3 ( x ) , M ( 1 , σ ) = a 4 ( σ ) , 0 < t 0 < 1 .
(ii) In particular if ρ = 3 and ρ i = 0 for i = 1 , 2 , , n , then Equation (1) turns out to be the following:
3 t 3 M ( t , σ ) + a 1 ( t , σ ) M ( t , σ ) = N ( t , σ , M ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = 0 1 a 2 ( t ) M ( t , σ ) d t , M ( 1 / 2 , σ ) = a 3 ( σ ) , M ( 1 , σ ) = a 4 ( σ ) .
Example 2.
The following equation with three-point conditions and a variable coefficient,
2.5 c t 2.5 M ( t , σ ) + 1 13 ( t 2 + σ 1 3 + 1 ) I 1 0.7 I 2 1.4 M ( t , σ ) = 1 17 ( M 2 ( t , σ ) + 1 ) + sin t σ 2 , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] 2 M ( 0 , σ ) = 1 31 0 1 cos t M ( t , σ ) d t , M ( 1 / 2 , σ ) = 1 21 ( | σ | 2 + 1 ) , M ( 1 , σ ) = 1 7 ( σ 1 2 + 1 ) ,
where σ = ( σ 1 , σ 2 ) and | σ | 2 = σ 1 2 + σ 2 2 , has a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] 2 ) and is stable.
Proof. 
From the equation, we can see that
ρ = 2.5 , ρ 1 = 0.7 , ρ 2 = 1.4 , a 1 = 1 / 13 , a 2 = 1 / 31 , a 3 = 1 / 21 , a 4 = 1 / 7 ,
and
N ( t , σ , y ) = 1 17 ( y 2 + 1 ) + sin t σ 2
is a continuous and bounded function, with
| N ( t , σ , y 1 ) N ( t , σ , y 2 ) | 1 17 | y 1 y 2 | ,
by using the mean value theorem and noting that
d d y 1 y 2 + 1 = 2 | y | ( 1 + y 2 ) 2 1 .
So, C = 1 / 17 . We need to find the value of
F = 2 C E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 2 + ( 1 / 2 ) ρ C Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) = 2 17 E ( 2.5 , 0.7 , 1.4 ) , ( 3.5 , 1 , 1 ) ( 1 / 13 ) + 1 31 + ( 1 / 2 ) 2.5 17 Γ ( 3.5 ) E ( 2.5 , 0.7 , 1.4 ) , ( 1 , 1 , 1 ) ( 1 / 13 ) + ( 1 / 2 ) 2.5 13 Γ ( 3.5 ) E ( 2.5 , 0.7 , 1.4 ) , ( 1 , 1.7 , 2.4 ) ( 1 / 13 ) + 1 13 E ( 2.5 , 0.7 , 1.4 ) , ( 3.5 , 1.7 , 2.4 ) ( 1 / 13 ) 2 17 0.30146912 + 0.0353870 1.0205157523 + 0.00409172 0.88995845 + 1 13 0.266704780 0.095737159 < 1 ,
where
E ( 2.5 , 0.7 , 1.4 ) , ( 3.5 , 1 , 1 ) ( 1 / 13 ) = k = 0 1 / 13 k Γ ( 2.5 k + 3.5 ) Γ ( 0.7 k + 1 ) Γ ( 1.4 k + 1 ) 0.30146912 , E ( 2.5 , 0.7 , 1.4 ) , ( 1 , 1 , 1 ) ( 1 / 13 ) = k = 0 1 / 13 k Γ ( 2.5 k + 1 ) Γ ( 0.7 k + 1 ) Γ ( 1.4 k + 1 ) 1.0205157523 , E ( 2.5 , 0.7 , 1.4 ) , ( 1 , 1.7 , 2.4 ) ( 1 / 13 ) = k = 0 1 / 13 k Γ ( 2.5 k + 1 ) Γ ( 0.7 k + 1.7 ) Γ ( 1.4 k + 2.4 ) 0.88995845 , E ( 2.5 , 0.7 , 1.4 ) , ( 3.5 , 1.7 , 2.4 ) ( 1 / 13 ) = k = 0 1 / 13 k Γ ( 2.5 k + 1 ) Γ ( 0.7 k + 1.7 ) Γ ( 1.4 k + 2.4 ) 0.266704780 .
By Theorem 3, Equation (8) has a unique solution in C ( [ 0 , 1 ] × [ 0 , 1 ] 2 ) and is stable. We finish the proof. □

3. Existence

We are now ready to present the theorem regarding the existence of Equation (1) based on Leray–Schauder’s fixed-point theorem and the equicontinuity given below.
Definition 2.
Let ( X , d ) be a metric space and F be a family of functions from X to X. The family F is uniformly equicontinuous if for every ϵ > 0 there exists a δ > 0 such that d ( f ( x 1 ) , f ( x 2 ) ) < ϵ for all f F and all x 1 , x 2 X such that d ( x 1 , x 2 ) < δ , which may depend only on ϵ.
Theorem 4.
Let 2 < ρ 3 , a 2 C [ 0 , 1 ] , a 3 , a 4 C ( [ 0 , 1 ] n ) , a 1 C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , and N : [ 0 , 1 ] × [ 0 , 1 ] n × R R be a continuous and bounded function satisfying the condition
| N ( t , σ , y 1 ) N ( t , σ , y 2 ) | C | y 1 y 2 | , y 1 , y 2 R ,
for a non-negative constant, C . Furthermore, we assume that
G = 1 a 2 E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) > 0 .
Then, Equation (1) has at least one solution in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) .
Proof. 
We use W over C ( [ 0 , 1 ] × [ 0 , 1 ] n ) again, given by
( W M ) ( t , σ ) = s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s I t ρ N ( t , σ , M ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) a 3 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) a 4 ( σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 3 t + 1 ) 0 1 a 2 ( t ) M ( t , σ ) d t + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 4 t 2 ) I t = 1 / 2 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 2 t 2 t ) I t = 1 ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n M ( t , σ ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( 4 t 2 4 t ) I t = 1 / 2 ρ N ( t , σ , M ( t , σ ) ) + s = 0 ( 1 ) s I t ρ a 1 ( t , σ ) I 1 ρ 1 I n ρ n s ( t 2 t 2 ) I t = 1 ρ N ( t , σ , M ( t , σ ) ) .
It follows from Theorem 2 that
W M N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + ( a 3 + a 4 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + a 2 M E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 M Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 M E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + ( 1 / 2 ) ρ N Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) < + ,
where
N = sup ( t , σ , y ) [ 0 , 1 ] × [ 0 , 1 ] n × R | N ( t , σ , y ) | < + .
We first claim that (i) W is a continuous mapping from C ( [ 0 , 1 ] × [ 0 , 1 ] n ) to itself from the contraction in Theorem 3.
(ii) Furthermore, we are going to prove that W is a mapping from bounded sets to bounded sets in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) . Let B be a bounded set in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) . Then, there exists a positive constant, C , such that
M C
for all M B . Using Inequality (9), we claim that W B is uniformly bounded.
(iii) W is equicontinuous on every bounded set B in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) . Then, W is a compact operator by the Arzela–Ascoli theorem. From Theorem 3, we have for M 1 , M 2 B that
W M 1 W M 2 F M 1 M 2 ,
where the constant F is
F = 2 C E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 2 + ( 1 / 2 ) ρ C Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) > 0 ,
which is not required to be less than one here. By Definition 2, we infer that W is equicontinuous by using F = { W } and d is the defined norm of the space C ( [ 0 , 1 ] × [ 0 , 1 ] n ) .
(iv) Finally, we show that the set
M C ( [ 0 , 1 ] × [ 0 , 1 ] n ) : M = θ W M for   some 0 < θ 1
is bounded. Indeed,
M W M N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + ( a 3 + a 4 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + a 2 M E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 M Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 M E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + ( 1 / 2 ) ρ N Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ,
which claims that
G M N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + ( a 2 + a 3 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ N Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ,
where
G = 1 a 2 E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) > 0 .
Therefore,
M N G E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 3 + a 4 G E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ N G Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + N G E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) ,
which is bounded. Hence, Equation (1) has at least one solution in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) from Leray–Schauder’s fixed-point theorem. □
Remark 2. (i) We should add that F < 1 in Theorem 3 implies that G > 0 in Theorem 4. However, the converse is not true. In other words, the uniqueness theorem requires a stronger condition overall.
(ii) There may be another possible approach to showing that W is equicontinuous by considering the difference
| ( W M ) ( t 1 , σ 0 ) ( W M ) ( t 2 , σ 00 ) | ,
where
| ( t 1 , σ 0 ) ( t 2 , σ 00 ) | < δ .
However, it seems challenging due to the multiple variables and partial fractional integrals.
Example 3.
The following equation with three-point conditions and a variable coefficient,
2.1 c t 2.1 M ( t , σ ) + 1 10 ( σ 1 2 + 1 ) I 1 0.5 I 2 1.1 M ( t , σ ) = 200 arctan | M ( t , σ ) | + cos ( t | σ | 1 / 2 ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] 3 M ( 0 , σ ) = 1 15 0 1 t 2 M ( t , σ ) d t , M ( 1 / 2 , σ ) = 1 11 ( σ 3 2 + 2 ) , M ( 1 , σ ) = 3 6 ( σ 1 2 + σ 2 2 + 1 ) ,
where σ = ( σ 1 , σ 2 , σ 3 ) and | σ | 2 = σ 1 2 + σ 2 2 + σ 3 2 , has at least one solution in C ( [ 0 , 1 ] × [ 0 , 1 ] 3 ) .
Proof. 
From the equation, we have
ρ = 2.1 , ρ 1 = 0.5 , ρ 2 = 1.1 , ρ 3 = 0 , a 1 = 1 / 10 , a 2 = 1 / 15 , a 3 = 1 / 22 , a 4 = 1 / 2 ,
and
N ( t , σ , y ) = 200 arctan | y | + cos ( t | σ | 1 / 2 )
is a continuous and bounded function over [ 0 , 1 ] × [ 0 , 1 ] 3 , with the condition
| N ( t , σ , y 1 ) N ( t , σ , y 2 ) | 200 | arctan | y 1 | arctan | y 2 | | 200 | | y 1 | | y 2 | | 200 | y 1 y 2 | ,
which claims that C = 200 .
We need to evaluate the value of
G = 1 a 2 E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) = 1 1 15 E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 1 , 1 , 1 , 1 ) ( 1 / 10 ) ( 1 / 10 ) 2.1 10 Γ ( 3.1 ) E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 1 , 1.5 , 2.1 , 1 ) ( 1 / 10 ) 1 10 E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 3.1 , 1.5 , 2.1 , 1 ) ( 1 / 10 ) 1 1 15 1.04919 ( 1 / 10 ) 2.1 10 Γ ( 3.1 ) 1.09705 1 10 0.491914 0.8804661 > 0 ,
using
E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 1 , 1 , 1 , 1 ) ( 1 / 10 ) = k = 0 ( 1 / 10 ) k Γ ( 2.1 k + 1 ) Γ ( 0.5 k + 1 ) Γ ( 1.1 k + 1 ) 1.04919 , E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 1 , 1.5 , 2.1 , 1 ) ( 1 / 10 ) = k = 0 ( 1 / 10 ) k Γ ( 2.1 k + 1 ) Γ ( 0.5 k + 1.5 ) Γ ( 1.1 k + 2.1 ) 1.09705 , E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 3.1 , 1.5 , 2.1 , 1 ) ( 1 / 10 ) = k = 0 ( 1 / 10 ) k Γ ( 2.1 k + 3.1 ) Γ ( 0.5 k + 1.5 ) Γ ( 1.1 k + 2.1 ) 0.491914 .
By Theorem 4, Equation (10) has at least one solution in the space C ( [ 0 , 1 ] × [ 0 , 1 ] 3 ) . □
Remark 3. (i) As a note, we would like to point out that F > 1 in Theorem 3 since
F = 2 C E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , 1 , , 1 ) ( a 1 ) + a 2 + ( 1 / 2 ) ρ C Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) + ( 1 / 2 ) ρ a 1 Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) + a 1 E ( ρ , ρ 1 , , ρ n ) , ( ρ + 1 , ρ 1 + 1 , , ρ n + 1 ) ( a 1 ) > ( 1 / 2 ) ρ C Γ ( ρ + 1 ) E ( ρ , ρ 1 , , ρ n ) , ( 1 , 1 , , 1 ) ( a 1 ) = ( 1 / 2 ) 2.1 200 Γ ( 3.1 ) E ( 2.1 , 0.5 , 1.1 , 0 ) , ( 1 , 1 , 1 , 1 ) ( 1 / 10 ) , ( 1 / 2 ) 2.1 200 Γ ( 3.1 ) 1.04919 22.2725 > 1 ,
for Equation (10). Hence, we are not sure if it has a unique solution in the space C ( [ 0 , 1 ] × [ 0 , 1 ] 3 ) .
(ii) Generally speaking, the Lipschitz constant C in Theorem 3 is small to make F < 1 . However, C in Theorem 4 has no restriction provided it is non-negative.

4. Applications of Inverse Operators

The inverse operator method is also powerful in finding series solutions to certain partial differential or integro-differential equations. We are going to present the following three examples to demonstrate this.

4.1. A Partial Integro-Differential Equation

Theorem 5.
The equation below with the initial conditions for all ρ i j 0 ( i = 1 , 2 , , n N and j = 1 , 2 , , m N ) and λ j R
ρ c t ρ M ( t , σ ) + j = 1 m λ j I 1 ρ 1 j I n ρ n j M ( t , σ ) = f ( t , σ ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) , M t ( 0 , σ ) = γ ( σ ) , 2 < ρ 3 ,
has a unique solution,
M ( t , σ ) = s = 0 ( 1 ) s I t ρ s + ρ s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m f ( t , σ ) + s = 0 ( 1 ) s t ρ s + ρ Γ ( ρ s + ρ + 1 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m θ ( σ ) + s = 0 ( 1 ) s t ρ s + ρ + 1 Γ ( ρ s + ρ + 2 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m β ( σ ) + s = 0 ( 1 ) s t ρ s + ρ + 2 Γ ( ρ s + ρ + 3 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m γ ( σ ) ,
where f C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , θ , β , a n d γ are all in C ( [ 0 , 1 ] n ) .
Proof. 
Applying I t ρ to Equation (11), we have
M ( t , σ ) M ( 0 , σ ) M t ( 0 , σ ) t M t ( 0 , σ ) t 2 2 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j M ( t , σ ) = I t ρ f ( t , σ ) ,
which implies that
1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j M ( t , σ ) = I t ρ f ( t , σ ) + θ ( σ ) + β ( σ ) t + t 2 γ ( σ ) 2 .
We claim that the inverse operator of
1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j
is
V = 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j 1 = s = 0 ( 1 ) s j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j s = s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 I t ρ I 1 ρ 11 I n ρ n 1 s 1 λ m I t ρ I 1 ρ 1 m I n ρ n m s m = s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m
in the space C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , where
s s 1 , s 2 , , s m = s ! s 1 ! s m ! .
Indeed, we have that for any M C ( [ 0 , 1 ] × [ 0 , 1 ] n ) ,
V M = 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j 1 M M s = 0 s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · I t ρ s I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m M s = 0 s 1 + s 2 + + s m = k s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · 1 Γ ( ρ s + 1 ) 1 Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) 1 Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) .
Clearly, there exists a positive constant c such that
Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) c , , Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) c ,
for all ρ i j 0 and s i 0 for i = 1 , , m .
This implies that
s = 0 s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · 1 Γ ( α s + 1 ) 1 Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) 1 Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) 1 c n s = 0 s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m 1 Γ ( ρ s + 1 ) = 1 c n E ( ρ , ρ , , ρ ) , 1 ( | λ 1 | , , | λ m | ) < + ,
where for α i , β > 0 , and z i C ,
E ( α 1 , α 2 , , α m ) , β ( z 1 , , z m ) = s = 0 s 1 + s 2 + + s m = s s s 1 , s 2 , , s m z 1 s 1 z m s m Γ ( α 1 s 1 + + α m s m + β )
is the well-known multivariate Mittag-Leffler function [17], which is an entire function on complex plane C .
Furthermore, we will show that
V 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j = 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j V = 1 ( identity   operator ) .
In fact,
V 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j = 1 + s = 1 ( 1 ) s j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j s + s = 0 ( 1 ) s j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j s + 1 = 1 + s = 0 ( 1 ) s + 1 j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j s + 1 + s = 0 ( 1 ) s j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j s + 1 = 1 .
Similarly,
1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j V = 1 ,
and V is unique.
From Equation (12), we come to
M ( t , σ ) = 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j 1 I t ρ f ( t , σ ) + θ ( σ ) + β ( σ ) t + t 2 γ ( σ ) 2 = s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s + ρ I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m f ( t , σ ) + s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s + ρ I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m θ ( σ ) + s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s + ρ t I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m β ( σ ) + s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s + ρ t 2 2 I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m γ ( σ ) .
Using
I t ρ s + ρ 1 = t ρ s + ρ Γ ( ρ s + ρ + 1 ) , I t ρ s + ρ t = t ρ s + ρ + 1 Γ ( ρ s + ρ + 2 ) , I t ρ s + ρ t 2 / 2 = t ρ s + ρ + 2 Γ ( ρ s + ρ + 3 ) ,
we find that
M ( t , σ ) = 1 + j = 1 m λ j I t ρ I 1 ρ 1 j I n ρ n j 1 I t ρ f ( t , σ ) + θ ( σ ) + β ( σ ) t + t 2 γ ( σ ) 2 = s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s + ρ I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m f ( t , σ ) + s = 0 ( 1 ) s t ρ s + ρ Γ ( ρ s + ρ + 1 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m θ ( σ ) + s = 0 ( 1 ) s t ρ s + ρ + 1 Γ ( ρ s + ρ + 2 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m β ( σ ) + s = 0 ( 1 ) s t ρ s + ρ + 2 Γ ( ρ s + ρ + 3 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m γ ( σ )
in the space C ( [ 0 , 1 ] × [ 0 , 1 ] n ) . Moreover,
M f s = 0 1 Γ ( ρ s + ρ + 1 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · 1 Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) 1 Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) + θ s = 0 1 Γ ( ρ s + ρ + 1 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · 1 Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) 1 Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) + β s = 0 1 Γ ( ρ s + ρ + 2 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · 1 Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) 1 Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) + γ s = 0 1 Γ ( ρ s + ρ + 3 ) s 1 + s 2 + + s m = s s s 1 , s 2 , , s m | λ 1 | s 1 | λ m | s m · 1 Γ ( ρ 11 s 1 + + ρ 1 m s m + 1 ) 1 Γ ( ρ n 1 s 1 + + ρ n m s m + 1 ) < + .
The uniqueness follows immediately from the fact that the equation
ρ c t ρ M ( t , σ ) + j = 1 m λ j I 1 ρ 1 j I n ρ n j M ( t , σ ) = 0 , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = 0 , M t ( 0 , σ ) = 0 , M t ( 0 , σ ) = 0 , 2 < ρ 3 ,
only has solution zero. We complete the proof. □
In particular, the following partial integro-differential equation,
ρ c t ρ M ( t , σ ) + j = 1 m λ j I 1 ρ 1 j I n ρ n j M ( t , σ ) = f ( t , σ ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = 0 , M t ( 0 , σ ) = 0 , M t ( 0 , σ ) = 0 , 2 < ρ 3 ,
has a unique solution,
M ( t , σ ) = s = 0 ( 1 ) s s 1 + s 2 + + s m = s s s 1 , s 2 , , s m λ 1 s 1 λ m s m I t ρ s + ρ I 1 ρ 11 s 1 + + ρ 1 m s m I n ρ n 1 s 1 + + ρ n m s m f ( t , σ ) .
Remark 4.
Using Banach’s contractive principle, we are able to study the uniqueness for the following nonlinear equation with the initial conditions for all ρ i j 0 ( i = 1 , 2 , , n N and j = 1 , 2 , , m N ) and λ j R .
ρ c t ρ M ( t , σ ) + j = 1 m λ j I 1 ρ 1 j I n ρ n j M ( t , σ ) = f ( t , σ , M ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) , M t ( 0 , σ ) = γ ( σ ) , 2 < ρ 3 ,
where f C ( [ 0 , 1 ] × [ 0 , 1 ] n × R ) , θ , β , a n d γ are all in C ( [ 0 , 1 ] n ) or the boundary value problem:
ρ c t ρ M ( t , σ ) + j = 1 m λ j I 1 ρ 1 j I n ρ n j M ( t , σ ) = f ( t , σ , M ( t , σ ) ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = θ ( σ ) , M ( 1 , σ ) = β ( σ ) , M t ( 1 , σ ) = γ ( σ ) , 2 < ρ 3 .

4.2. A Multi-Term Time-Fractional Convection Problem

Theorem 6.
Let m , n N , 0 < ρ 1 < ρ 2 < < ρ m < ρ 1 , β i R for i = 1 , 2 , , m . In addition, we assume that λ j is a function of σ j only in C [ 0 , 1 ] . Then, the multi-term time-fractional convection Equation (5) has a unique solution,
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f 1 ( t , σ ) + s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + 1 ) · λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f 2 ( σ ) + i = 1 m β i s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ ρ i Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ ρ i + 1 ) · λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f 2 ( σ )
in the space C ( [ 0 , 1 ] × [ 0 , 1 ] n ) , if f 1 , f 2 S , which is given by
S = f ( t , σ ) C ( [ 0 , 1 ] × [ 0 , 1 ] n ) :   a   c o n s t a n t   M f , λ 1 , , λ n > 0   s u c h   t h a t sup ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n λ 1 ( σ 1 ) σ 1 s 1 λ n ( σ n ) σ n s n f ( t , σ ) M f , λ 1 , , λ n s 1 + + s n ,
where ( s 1 , , s n ) ( N { 0 } ) n .
Proof. 
Applying I t ρ to Equation (5), we obtain
M ( t , σ ) M ( 0 , σ ) + i = 1 m β i I t ρ ρ i I t ρ i ρ j c t ρ j M ( t , σ ) + j = 1 n I t ρ λ j ( σ j ) σ j M ( t , σ ) = I t ρ f 1 ( t , σ ) ,
and
i = 1 m β i I t ρ ρ i I t ρ i ρ j c t ρ j M ( t , σ ) = i = 1 m β i I t ρ ρ i M ( t , σ ) i = 1 m β i t ρ ρ i Γ ( ρ ρ i + 1 ) f 2 ( σ ) .
Hence,
1 + i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j M ( t , σ ) = I t ρ f 1 ( t , σ ) + f 2 ( σ ) + i = 1 m β i t ρ ρ i Γ ( ρ ρ i + 1 ) f 2 ( σ ) .
To find the inverse operator of
1 + i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j ,
we begin to define the operator V as
V = s = 0 ( 1 ) s i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j s = s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n .
Then, V is well defined on S. Indeed, for any function f ( t , x ) S , we have
V f s = 0 s 1 + + s m + n = s s s 1 , , s m + n | β 1 | s 1 | β m | s m · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n · sup ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f ( t , σ ) s = 0 s 1 + + s m + n = s s s 1 , , s m + n | β 1 | s 1 | β m | s m M f , λ 1 , , λ n s m + 1 M f , λ 1 , , λ n s m + n · 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + 1 ) = E ( ρ ρ 1 , , ρ ρ m , ρ , , ρ ) , 1 | β 1 | , , | β m | , M f , λ 1 , , λ n , , M f , λ 1 , , λ n < + .
Moreover, V is an inverse operator since
V 1 + i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j = 1 + i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j V = 1 .
In fact,
V 1 + i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j = V + s = 0 ( 1 ) s i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j s + 1 = 1 + s = 1 ( 1 ) s i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j s + s = 0 ( 1 ) s i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j s + 1 = 1 .
Similarly,
1 + i = 1 m β i I t ρ ρ i + j = 1 n I t ρ λ j ( σ j ) σ j V = 1 ,
and V is unique. We note that if f 2 S , then
i = 1 m β i t ρ ρ i Γ ( ρ ρ i + 1 ) f 2 ( σ ) S ,
which implies from Equation (13) that
M ( t , σ ) = V I t ρ f 1 ( t , σ ) + f 2 ( σ ) + i = 1 m β i t ρ ρ i Γ ( ρ ρ i + 1 ) f 2 ( σ ) = s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f 1 ( t , σ ) + s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + 1 ) · λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f 2 ( σ ) + i = 1 m β i s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ ρ i Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ ρ i + 1 ) · λ 1 ( σ 1 ) σ 1 s m + 1 λ n ( σ n ) σ n s m + n f 2 ( σ ) .
The uniqueness follows from the fact that the equation
ρ c t ρ M ( t , σ ) + i = 1 m β i ρ j c t ρ j M ( t , σ ) + j = 1 n λ j ( σ j ) σ j M ( t , σ ) = 0 , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = 0 ,
only has solution zero. This completes the proof. □
In particular, if ρ = 1 , β 1 = = β m = 0 , and λ 1 ( x 1 ) = = λ n ( x n ) = 1 , then Equation (5) turns out to be
t M ( t , σ ) + M ( t , σ ) = f 1 ( t , σ ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = f 2 ( σ ) ,
which has the solution from Theorem 6 (derived for the first time):
M ( t , σ ) = s = 0 ( 1 ) s I t s + 1 s f 1 ( t , σ ) + s = 0 ( 1 ) s t s s ! s f 2 ( σ ) .
Thus, the following equation,
t M ( t , σ ) + M ( t , σ ) = t ( σ 1 + σ 2 + + σ n ) , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = sin σ 1 ,
has the solution
M ( t , σ ) = s = 0 ( 1 ) s I t s + 1 t s ( σ 1 + σ 2 + + σ n ) + s = 0 ( 1 ) s t s s ! s sin σ 1 = I t t ( σ 1 + σ 2 + + σ n ) I t 2 t ( σ 1 + σ 2 + + σ n ) + s = 0 ( 1 ) s t s s ! sin ( σ 1 + s π / 2 ) = t 2 2 ( σ 1 + σ 2 + + σ n ) n t 3 6 + s = 0 ( 1 ) s t s s ! sin ( σ 1 + s π / 2 ) .
Example 4.
The following equation for 0 < ρ 1 < ρ 2 < < ρ m < ρ 1 , β i R , and m , n N ,
ρ c t ρ M ( t , σ ) + i = 1 m β i ρ j c t ρ j M ( t , σ ) + j = 1 n σ j σ j M ( t , σ ) = t σ 1 2 σ n n + 1 , ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , M ( 0 , σ ) = 1 ,
has a unique solution,
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m 2 s m + 1 ( n + 1 ) s m + n t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ + 1 σ 1 2 σ n n + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ + 2 ) + s = 0 ( 1 ) s s 1 + + s m = s s s 1 , , s m β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + 1 ) + i = 1 m β i s = 0 ( 1 ) s s 1 + + s m = s s s 1 , , s m β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ ρ i Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ ρ i + 1 ) .
Proof. 
From Theorem 6, we have
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ σ 1 σ 1 s m + 1 σ n σ n s m + n t σ 1 2 σ n n + 1 + s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + 1 ) · σ 1 σ 1 s m + 1 σ n σ n s m + n 1 + i = 1 m β i s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ ρ i Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ ρ i + 1 ) · σ 1 σ 1 s m + 1 σ n σ n s m + n 1 .
Using
I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ t = t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ + 2 ) , σ 1 σ 1 s m + 1 σ 1 2 = 2 s m + 1 σ 1 2 , , σ n σ n s m + n σ n n + 1 = ( n + 1 ) s m + n σ n n + 1 ,
we obtain
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + n = s s s 1 , , s m + n β 1 s 1 β m s m 2 s m + 1 ( n + 1 ) s m + n t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ + 1 σ 1 2 σ n n + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + + ρ s m + n + ρ + 2 ) + s = 0 ( 1 ) s s 1 + + s m = s s s 1 , , s m β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + 1 ) + i = 1 m β i s = 0 ( 1 ) s s 1 + + s m = s s s 1 , , s m β 1 s 1 β m s m · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ ρ i Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ ρ i + 1 ) .
We complete the proof. □

4.3. A Generalized Time-Fractional Diffusion-Wave Equation

Theorem 7.
Let = i = 1 n 2 σ i 2 . Assume that all λ j for j = 1 , 2 , , m are arbitrary constants, 1 < ρ 1 < ρ 2 < < ρ m < ρ 2 , and all θ , β , and g are in S 0 given by
S 0 = g C ( [ 0 , 1 ] × [ 0 , 1 ] n ) :   a   c o n s t a n t   M g > 0   s u c h   t h a t sup ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n 2 s 1 σ 1 2 s 1 2 s n σ n 2 s n g ( t , σ ) M g s 1 + + s n ,
where ( s 1 , s 2 , , s n ) ( N { 0 } ) n . Then, Equation (6) has a unique solution:
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ l s m + 1 g ( t , σ ) + s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 ) l s m + 1 θ ( σ ) + s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 2 ) l s m + 1 β ( σ ) + j = 1 m λ j Γ ( ρ ρ j + 1 ) s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j + 1 ) l s m + 1 θ ( σ ) + j = 1 m λ j Γ ( ρ ρ j + 2 ) s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j + 2 ) l s m + 1 β ( σ ) .
Proof. 
Applying I t ρ to Equation (6), we arrive at
M ( t , σ ) M ( 0 , σ ) M t ( 0 , σ ) t + j = 1 m λ j I t ρ ρ j I t ρ j ρ j c t ρ j M ( t , σ ) = I t ρ l M ( t , σ ) + I t α g ( t , σ ) ,
which implies that
M ( t , σ ) + j = 1 m λ j I t ρ ρ j [ M ( t , σ ) θ ( σ ) β ( σ ) t ] I t ρ l M ( t , σ ) = I t ρ g ( t , σ ) + θ ( σ ) + β ( σ ) t .
Hence,
1 + j = 1 m λ j I t ρ ρ j I t ρ l M ( t , σ ) = I t ρ g ( t , σ ) + θ ( σ ) + β ( σ ) t + j = 1 m λ j I t ρ ρ j ( θ ( σ ) + β ( σ ) t ) = I t ρ g ( t , σ ) + θ ( σ ) + β ( σ ) t + θ ( σ ) j = 1 m λ j t ρ ρ j Γ ( ρ ρ j + 1 ) + β ( σ ) j = 1 m λ j t ρ ρ j + 1 Γ ( ρ ρ j + 2 ) .
We claim that the inverse operator of
1 + j = 1 m λ j I t ρ ρ j I t ρ l
is
V = s = 0 ( 1 ) s j = 1 m λ j I t ρ ρ j I t ρ l s = s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 I t ρ ρ 1 s 1 λ m I t ρ ρ m s m I t ρ l s m + 1 = s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 l s m + 1 .
Using
s = 2 σ 1 2 + 2 σ n 2 s = s 1 + + s n = s s s 1 , , s n 2 s 1 σ 1 2 s 1 2 s n σ n 2 s n , s 1 + + s n = s s s 1 , , s n = n s ,
we have, for any g ( t , σ ) S 0 ,
V g s = 0 s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 · | λ 1 | s 1 | λ m | s m ( n l ) s m + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 ) · sup ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n , i 1 + s 2 + i n = l s m + 1 2 i 1 σ 1 2 i 1 2 i n σ n 2 i n g ( t , σ ) = E ( ρ ρ 1 , , ρ ρ m , ρ ) , 1 ( | λ 1 | , , | λ m | , n l M g l ) < + .
Thus, V is a continuous mapping over S 0 under the norm of C ( [ 0 , 1 ] × [ 0 , 1 ] n ) .
In addition,
V 1 + j = 1 m λ j I t ρ ρ j I t ρ l = 1 + j = 1 m λ j I t ρ ρ j I t ρ l V = 1 .
It follows that
V 1 + j = 1 m λ j I t ρ ρ j I t ρ l = 1 + s = 1 ( 1 ) s j = 1 m λ j I t ρ ρ j I t ρ l s + s = 0 ( 1 ) s j = 1 m λ j I t ρ ρ j I t ρ l s + 1 = 1 + s = 0 ( 1 ) s + 1 j = 1 m λ j I t ρ ρ j I t ρ l s + 1 + s = 0 ( 1 ) s j = 1 m λ j I t ρ ρ j I t ρ l s + 1 = 1 .
Clearly, such V is unique.
From Equation (16), we obtain
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · I t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ l s m + 1 g ( t , σ ) + s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 ) l s m + 1 θ ( σ ) + s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 2 ) l s m + 1 β ( σ ) + j = 1 m λ j Γ ( ρ ρ j + 1 ) s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j + 1 ) l s m + 1 θ ( σ ) + j = 1 m λ j Γ ( ρ ρ j + 2 ) s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + ρ ρ j + 2 ) l s m + 1 β ( σ ) ,
which is a well-defined solution of Equation (6) since g , θ , and β are all in S 0 . The uniqueness follows similarly. We finish the proof. □
Remark 5.
If λ 1 = = λ m = 0 , then we can easily change the domain ( t , σ ) [ 0 , 1 ] × [ 0 , 1 ] n to ( t , σ ) R + × R n by using the inverse operator 1 I t ρ l directly and set
S 0 = g C ( R + × R n ) :   a   c o n s t a n t   M g > 0   a n d   a   p o s i t i v e   f u n c t i o n   θ ( t , x ) i n   C ( R + × R n )   s u c h   t h a t   2 s 1 σ 1 2 s 1 2 s n σ n 2 i n g ( t , σ ) θ ( t , x ) M g s 1 + + s n .
If
ρ = 2 , λ 1 = = λ m = 0 , n = l = 1 , g ( t , σ ) = 0 ,
then Equation (6) becomes the wave equation in R given below:
2 t 2 M ( t , σ ) = 2 σ 2 M ( t , σ ) , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) , ( t , σ ) R + × R .
It follows from Theorem 7 that it has the solution
M ( t , σ ) = s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 ) l s m + 1 θ ( σ ) + s = 0 ( 1 ) s s 1 + + s m + 1 = s s s 1 , s 2 , , s m + 1 λ 1 s 1 λ m s m ( 1 ) s m + 1 · t ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 1 Γ ( ( ρ ρ 1 ) s 1 + + ( ρ ρ m ) s m + ρ s m + 1 + 2 ) l s m + 1 β ( σ ) = s = 0 t 2 s ( 2 s ) ! d 2 s d σ 2 s θ ( σ ) + s = 0 t 2 s + 1 ( 2 s + 1 ) ! d 2 s d σ 2 s β ( σ ) ,
by noting that λ 1 = = λ m = 0 . We are going to prove that this solution can be reduced to
M ( t , σ ) = θ ( σ + t ) + θ ( σ t ) 2 + 1 2 σ t σ + t β ( ζ ) d ζ ,
which is the classical solution to Equation (17) (d’Alembert’s formula). Since θ S 0 , we have Taylor’s expansion at the point σ :
θ ( σ + t ) = s = 0 θ ( s ) ( σ ) s ! t s ,
which implies that
θ ( σ + t ) + θ ( σ t ) 2 = s = 0 t 2 s ( 2 s ) ! d 2 s d σ 2 s θ ( σ ) .
On the other hand,
β ( ζ ) = s = 0 β ( s ) ( σ ) s ! ( ζ σ ) s ,
since β S 0 . This claims that
1 2 σ t σ + t β ( ζ ) d ζ = s = 0 t 2 s + 1 ( 2 s + 1 ) ! d 2 s d σ 2 s β ( σ ) .
Evidently, if
ρ = 2 , λ 1 = = λ m = 0 , l = 1 , g ( t , σ ) = 0 ,
then Equation (6) turns out to the wave equation in R n ,
2 t 2 M ( t , σ ) = M ( t , σ ) , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) , ( t , σ ) R + × R n ,
with the solution by Theorem 7:
M ( t , σ ) = s = 0 t 2 s ( 2 s ) ! s θ ( σ ) + s = 0 t 2 s + 1 ( 2 s + 1 ) ! s β ( σ ) .
We will show that it can be converted into Kirchoff’s formula [21] for n = 3 . Let B n ( σ , t ) be the ball of the radius t about σ R n and B n ( σ , t ) be the boundary of B n ( σ , t ) . We define the average of ϕ over B n ( σ , t ) as
A t ϕ ( σ ) = 1 S A ( B n ( σ , t ) ) B n ( σ , t ) ϕ ( y ) d s ( y ) = 1 S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) ϕ ( σ + t θ ) d s ( θ ) ,
where S A ( B n ( σ , t ) ) denotes the surface area of B n ( σ , t ) and d s ( y ) is the surface measure of B n ( σ , t ) .
Assuming that ϕ S 0 , we have Taylor’s expansion:
ϕ ( σ + t θ ) = σ ( σ ) + | i | = 1 i σ ( σ ) i ! ( t θ ) i + + | i | = 2 j i σ ( σ ) i ! ( t θ ) i + | i | = 2 j + 1 i σ ( σ ) i ! ( t θ ) i + ,
where
| i | = i 1 + i 2 + + i n , i ! = i 1 ! i 2 ! i n ! , σ i = σ 1 i 1 σ 2 i 2 σ n i n , i ϕ = 1 i 1 n i n ϕ = | i | ϕ σ 1 i 1 σ n i n .
Clearly,
t 2 j + 1 | i | = 2 j + 1 i ϕ ( σ ) i ! B n ( 0 , 1 ) θ i d s ( θ ) = 0 , j = 0 , 1 , ,
due to the cancellations over the unit sphere B n ( 0 , 1 ) . Therefore,
A t ϕ ( σ ) = ϕ ( σ ) + t 2 | i | = 2 i ϕ ( σ ) i ! 1 S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) θ i d s ( θ ) + + t 2 j | i | = 2 j i ϕ ( σ ) i ! 1 S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) θ i d s ( θ ) + .
Thus,
A t ϕ ( σ ) = ϕ ( σ ) + t 2 | i | = 1 2 i ϕ ( σ ) ( 2 i ) ! 1 S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) θ 2 i d s ( θ ) + + t 2 j | i | = j 2 i ϕ ( σ ) ( 2 i ) ! 1 S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) θ 2 i d s ( θ ) + .
Applying the following formulas from [22],
B n ( 0 , 1 ) θ 2 i d s ( θ ) = 2 Γ 1 2 + i 1 Γ 1 2 + i n Γ | i | + n 2 , Γ 1 2 + i 1 = ( 2 i 1 ) ! π 4 i 1 i 1 ! ,
we arrive at
t 2 j | i | = j 2 i ϕ ( σ ) ( 2 i ) ! 1 S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) θ i d s ( θ ) = t 2 j | i | = j 2 i ϕ ( σ ) ( 2 i ) ! 1 S A ( B n ( 0 , 1 ) ) 2 Γ 1 2 + i 1 Γ 1 2 + i n Γ | i | + n 2 = 2 π n / 2 2 2 j j ! S A ( B n ( 0 , 1 ) ) Γ j + n 2 j ϕ ( σ ) t 2 j = Γ ( n / 2 ) 2 2 j j ! Γ j + n 2 j ϕ ( σ ) t 2 j ,
where
S A ( B n ( 0 , 1 ) ) = 2 π n / 2 Γ ( n / 2 ) .
This implies that
A t ϕ ( σ ) = Γ ( n / 2 ) j = 0 1 2 2 j j ! Γ j + n 2 j ϕ ( σ ) t 2 j .
For n = 3 , we are going to prove that the solution given in Formula (19) is
M ( t , σ ) = t t A t θ ( σ ) + t A t β ( σ ) = t 1 S A ( B n ( 0 , 1 ) ) t B n ( 0 , 1 ) ϕ ( σ + t θ ) d s ( θ ) + t S A ( B n ( 0 , 1 ) ) B n ( 0 , 1 ) β ( σ + t θ ) d s ( θ ) ,
which is the well-known Kirchoff formula. Indeed,
t t A t θ ( σ ) + t A t β ( σ ) = Γ ( 3 / 2 ) j = 0 2 j + 1 2 2 j j ! Γ j + 3 2 j ϕ ( σ ) t 2 j + Γ ( 3 / 2 ) j = 0 1 2 2 j j ! Γ j + 3 2 j ϕ ( σ ) t 2 j + 1 = j = 0 t 2 j ( 2 j ) ! j ϕ ( σ ) + j = 0 t 2 j + 1 ( 2 j + 1 ) ! j β ( σ ) ,
by
Γ ( 3 / 2 ) 2 j + 1 2 2 j j ! Γ j + 3 2 = 1 ( 2 j ) ! , Γ ( 3 / 2 ) 1 2 2 j j ! Γ j + 3 2 = 1 ( 2 j + 1 ) ! .
We can use Kirchoff’s formula for the solution of the wave equation in three dimensions to derive the solution of the wave equation in two dimensions. This technique is known as the method of descent. A similar result also follows for n = 2 .
Moreover, if n > 3 and n is odd, then the solution given in Formula (19) is
M ( t , σ ) = 1 c n t 1 t t n 3 2 t n 2 A t θ ( σ ) + 1 c n 1 t t n 3 2 t n 2 A t β ( σ ) ,
where
c n = 1 · 3 ( n 2 ) .
In fact, we have
t 1 t t n 3 2 t 2 j + n 2 = ( 2 j + n 2 ) ( 2 j + 3 ) ( 2 j + 1 ) t 2 j ,
and
Γ ( n / 2 ) ( 2 j + n 2 ) ( 2 j + 3 ) ( 2 j + 1 ) c n 2 2 j j ! Γ ( j + n / 2 ) = Γ ( n / 2 ) ( 2 j + n 2 ) ( 2 j + 3 ) ( 2 j + 1 ) 2 j j ! ( 2 j + n 2 ) n · ( n 2 ) 3 · 1 · Γ ( n / 2 ) = 1 2 j j ! 1 · 3 ( 2 j 1 ) = 1 ( 2 j ) ! ,
which implies that
1 c n t 1 t t n 3 2 t n 2 A t θ ( σ ) = s = 0 t 2 s ( 2 s ) ! s θ ( σ ) .
Similarly,
1 c n 1 t t n 3 2 t n 2 A t β ( σ ) = s = 0 t 2 s + 1 ( 2 s + 1 ) ! s β ( σ ) .
If n > 3 and n is even, then a similar conclusion follows.
Furthermore, if
ρ = 2 , λ 1 = = λ m = 0 , l = 1 ,
then Equation (6) turns out to the non-homogenous wave equation in R n ,
2 t 2 M ( t , σ ) = M ( t , σ ) + g ( t , σ ) , M ( 0 , σ ) = θ ( σ ) , M t ( 0 , σ ) = β ( σ ) , ( t , σ ) R + × R n ,
with the uniform solution by Theorem 7 for all n 1 :
M ( t , σ ) = s = 0 I t 2 s + 2 s g ( t , σ ) + s = 0 t 2 s ( 2 s ) ! s θ ( σ ) + s = 0 t 2 s + 1 ( 2 s + 1 ) ! s β ( σ ) .
Example 5.
The following wave equation,
2 t 2 M ( t , σ ) = M ( t , σ ) + σ 1 σ 2 t 2 , M ( 0 , σ ) = σ n , M t ( 0 , σ ) = σ 3 , ( t , σ ) R + × R n ,
has the solution
M ( t , σ ) = t 4 12 σ 1 σ 2 + t σ 3 + σ n ,
where n 3 .
It follows from Formula (20) that
M ( t , σ ) = s = 0 I t 2 s + 2 s ( σ 1 σ 2 t 2 ) + s = 0 t 2 s ( 2 s ) ! s σ n + s = 0 t 2 s + 1 ( 2 s + 1 ) ! s σ 3 = Γ ( 3 ) Γ ( 5 ) t 4 σ 1 σ 2 + σ n + t σ 3 = t 4 12 σ 1 σ 2 + t σ 3 + σ n .
by noting that σ 1 σ 2 t 2 and σ n are in S 0 .
For n = 3 , this approach is much simpler than the following classical one based on Kirchoff’s formula:
M ( t , σ ) = t 1 S A ( B 3 ( 0 , 1 ) ) t B 3 ( 0 , 1 ) ϕ ( σ + t θ ) d s ( θ ) + t S A ( B 3 ( 0 , 1 ) ) B 3 ( 0 , 1 ) β ( σ + t θ ) d s ( θ ) + 1 4 π B 3 ( σ , t ) g ( t | y σ | , y ) | y σ | d y .
The Laplacian appears in many well-known differential equations describing physical phenomena, such as Poisson’s equation, the diffusion equation, the wave equation, and the Schrödinger equation. The inverse operator method mentioned above clearly goes in a new direction in studying these important equations under certain initial or boundary conditions.
Generally speaking, there are analytic approaches [2] (fractional Green’s function, separation of variables, integral transforms, adomian decomposition method, and homotopy analysis method) and numerical methods [10] (finite difference methods, finite element methods, spectral methods, and meshless methods) dealing with fractional partial deferential equations. Section 4 introduces a novel technique of inverse operators which is also powerful in studying fractional differential equations, which are seen from the above examples.

5. Conclusions

We studied the uniqueness, existence, and stability of Equation (1) in R n with three-point conditions and variable coefficients in C ( [ 0 , 1 ] × [ 0 , 1 ] n ) based on the inverse operator containing a multi-variable function, the new generalized two-parameter Mittag-Leffler function, Banach’s contractive principle, and Leray–Schauder’s fixed-point theorem. Several examples were presented to demonstrate applications of key theorems obtained. The technique used has a wide range of applications to various fractional nonlinear partial differential or integro-differential equations with initial or boundary conditions. In addition, we provided series solutions to a few well-known partial differential equations, such as the multi-term time-fractional convection problem and the generalized time-fractional diffusion-wave equation. Especially, we obtained the uniform and simple solution to the non-homogeneous wave equation in n dimensions for all n 1 , which is consistent with classical results such as d’Alembert’s and Kirchoff’s formulas but more powerful in finding solutions for some wave equations. As future research, it is worth considering the following time-fractional convection–diffusion equation with an initial condition and source term for the constants a , b , γ R by an inverse operator and the multivariate Mittage-Leffler function:
α c t α u ( t , x ) + a β c t β u ( t , x ) = b λ 1 , , λ n u ( t , x ) + γ u ( t , x ) + ϕ ( t , x ) , u ( 0 , x ) = ψ ( x ) ,
where ( t , x ) R + × R n , 0 < β < α 1 ,
λ 1 , , λ n = λ 1 ( x 1 ) 2 x 1 2 + + λ ( x n ) 2 x n 2 , = x 1 + + x n ,
and the partial Liouville–Caputo fractional derivative α c t α of the order 0 < α 1 with respect to t is defined as
α c t α u ( t , x ) = 1 Γ ( 1 α ) 0 t ( t τ ) α u t ( τ , x ) d τ .
Applications of such convection–diffusion equations span numerous scientific and engineering disciplines, such as fluid dynamics and heat transfer.

Author Contributions

C.L. drafted the manuscript. All authors conceived of the study, participated in its design and coordination, and participated in the sequence alignment. All authors have read and agreed to the published version of the manuscript.

Funding

This research is supported by the Natural Sciences and Engineering Research Council of Canada (Grant Numbers 2019-03907 and 2019-04830).

Data Availability Statement

Data sharing is not applicable to this article as no new data were created or analyzed in this study.

Acknowledgments

The authors are thankful to the four reviewers and editor for giving valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Kilbas, A.-A.; Srivastava, H.-M.; Trujillo, J.-J. Theory and Applications of Fractional Differential Equations; Elsevier: Dutch, The Netherlands, 2006. [Google Scholar]
  2. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives: Theory and Applications; Gordon and Breach: Basel, Switzerland, 1993. [Google Scholar]
  3. Li, C.; Beaudin, J.; Rahmoune, A.; Remili, W. A matrix Mittag–Leffler function and the fractional nonlinear partial integro-differential equation in Rn. Fractal Fract. 2023, 7, 651. [Google Scholar] [CrossRef]
  4. Sadek, L.; Baleanu, D.; Abdod, M.S.; Shatanawi, W. Introducing novel Θ-fractional operators: Advances in fractional calculus. J. King Saud Univ. Sci. 2024, 36, 103352. [Google Scholar] [CrossRef]
  5. Hadid, S.-B.; Luchko, Y.-F. An operational method for solving fractional differential equations of an arbitrary real order. Panamer. Math. J. 1996, 6, 57–73. [Google Scholar]
  6. Ervin, V.J.; Führer, T.; Heuer, N.; Karkulik, M. DPG method with optimal test functions for a fractional advection diffusion equation. J. Sci. Comput. 2017, 72, 568–585. [Google Scholar]
  7. Ervin, V.J.; Roop, J.P. Variational formulation for the stationary fractional advection dispersion equation. Numer. Methods Partial. Equations 2005, 22, 558–576. [Google Scholar] [CrossRef]
  8. Tayebi, A.; Shekari, Y.; Heydari, M.H. A meshless method for solving two-dimensional variable-order time fractional advection-diffusion equation. J. Comput. Phys. 2017, 340, 655–669. [Google Scholar]
  9. Li, C.P.; Wang, Z. Non-uniform L1/discontinuous Galerkin approximation for the time-fractional convection equation with weak regular solution. Math. Comput. Simult. 2021, 182, 838–857. [Google Scholar]
  10. Podlubny, I. Fractional Differential Equations; Academie Press: New York, NY, USA, 1999. [Google Scholar]
  11. Xu, S.; Ling, X.; Zhao, Y.; Jassim, H.-K. A novel schedule for solving the two-dimensional diffusion in fractal heat transfer. Therm. Sci. 2015, 19, 99–103. [Google Scholar]
  12. Mahor, T.-C.; Mishra, R.; Jain, R. Analytical solutions of linear fractional partial differential equations using fractional Fourier transform. J. Comput. Appl. Math. 2021, 385, 113202. [Google Scholar] [CrossRef]
  13. Dehghan, M.; Shakeri, F. A semi-numerical technique for solving the multi-point boundary value problems and engineering applications. Int. J. Numer. Methods Heat Fluid Flow 2011, 21, 794–809. [Google Scholar] [CrossRef]
  14. Singh, J.; Kumar, D.; Swroop, R. Numerical solution of time- and space-fractional coupled Burger’s equations via homotopy algorithm. Alex. Eng. J. 2016, 55, 1753–1763. [Google Scholar]
  15. Momani, S.; Odibat, Z. Analytical approach to linear fractional partial differential equations arising in fluid mechanics. Phys. Lett. A 2006, 355, 271–279. [Google Scholar]
  16. Ionescu, C.; Lopes, A.; Copot, D.; Machado, J.T.; Bates, J.H. The role of fractional calculus in modeling biological phenomena: A review. Commun. Nonlinear Sci. Numer. Simul. 2017, 51, 141–159. [Google Scholar] [CrossRef]
  17. Li, C. Uniqueness and Hyers–Ulam’s stability for a fractional nonlinear partial integro-differential equation with variable coefficients and a mixed boundary condition. Can. J. Math. 2024, 1–21. [Google Scholar] [CrossRef]
  18. Kumar, S.; Kumar, A.; Singh, J. Numerical simulation of fractional model of tumor-immune interaction. Chaos Solitons Fract. 2020, 132, 109574. [Google Scholar]
  19. Lu, L.; Meng, X.; Mao, Z.; Karniadakis, G.E. DeepXDE: A deep learning library for solving differential equations. SIAM Rev. 2021, 63, 208–228. [Google Scholar] [CrossRef]
  20. Li, C. On boundary value problem of the nonlinear fractional partial integro-differential equation via inverse operators. Fract. Calc. Appl. Anal. 2025, 28, 386–410. [Google Scholar] [CrossRef]
  21. Strauss, W.A. Partial Differential Equations: An Introduction; Wiley: Hoboken, NJ, USA, 2007. [Google Scholar]
  22. Li, C. An example of the generalized fractional Laplacian. Contemp. Math. 2020, 1, 215–226. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Li, C.; Liao, W. Applications of Inverse Operators to a Fractional Partial Integro-Differential Equation and Several Well-Known Differential Equations. Fractal Fract. 2025, 9, 200. https://doi.org/10.3390/fractalfract9040200

AMA Style

Li C, Liao W. Applications of Inverse Operators to a Fractional Partial Integro-Differential Equation and Several Well-Known Differential Equations. Fractal and Fractional. 2025; 9(4):200. https://doi.org/10.3390/fractalfract9040200

Chicago/Turabian Style

Li, Chenkuan, and Wenyuan Liao. 2025. "Applications of Inverse Operators to a Fractional Partial Integro-Differential Equation and Several Well-Known Differential Equations" Fractal and Fractional 9, no. 4: 200. https://doi.org/10.3390/fractalfract9040200

APA Style

Li, C., & Liao, W. (2025). Applications of Inverse Operators to a Fractional Partial Integro-Differential Equation and Several Well-Known Differential Equations. Fractal and Fractional, 9(4), 200. https://doi.org/10.3390/fractalfract9040200

Article Metrics

Back to TopTop