Next Article in Journal
Differential Models, Numerical Simulations and Applications
Previous Article in Journal
Nonlinear EHD Instability of Two-Superposed Walters’ B Fluids Moving through Porous Media
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

An Efficient Localized Meshless Method Based on the Space–Time Gaussian RBF for High-Dimensional Space Fractional Wave and Damped Equations

1
Department of Applied Mathematics, Malek Ashtar University of Technology, Tehran 158751774, Iran
2
Scuola Politecnica e delle Scienze di Base, University of Naples Federico II, 80138 Napoli, Italy
*
Author to whom correspondence should be addressed.
Axioms 2021, 10(4), 259; https://doi.org/10.3390/axioms10040259
Submission received: 31 August 2021 / Revised: 30 September 2021 / Accepted: 8 October 2021 / Published: 19 October 2021
(This article belongs to the Special Issue Approximation Theory and Its Applications)

Abstract

:
In this paper, an efficient localized meshless method based on the space–time Gaussian radial basis functions is discussed. We aim to deal with the left Riemann–Liouville space fractional derivative wave and damped wave equation in high-dimensional space. These significant problems as anomalous models could arise in several research fields of science, engineering, and technology. Since an explicit solution to such equations often does not exist, the numerical approach to solve this problem is fascinating. We propose a novel scheme using the space–time radial basis function with advantages in time discretization. Moreover this approach produces the (n + 1)-dimensional spatial-temporal computational domain for n-dimensional problems. Therefore the local feature, as a remarkable and efficient property, leads to a sparse coefficient matrix, which could reduce the computational costs in high-dimensional problems. Some benchmark problems for wave models, both wave and damped, have been considered, highlighting the proposed method performances in terms of accuracy, efficiency, and speed-up. The obtained experimental results show the computational capabilities and advantages of the presented algorithm.

1. Introduction

In recent decades, scientists and researchers have paid much attention to the expression of the physical models and chemical processes in the form of fractional derivative equations. Over time, the development of fractional calculus theory has provided an advantageous tool for modelling many natural processes that often have complex and anomalous modeling and cannot be easily expressed with classical derivative calculus. Thus, the popularity of fractional calculus theory increased because they can satisfactorily model such problems, which especially have been occurred in physics, chemistry, quantum mechanics, and viscoelasticity [1,2]. From about 20 years, radial basis functions (RBFs) are a primary mesh-free method for numerically solving PDEs on with collocation approaches (see, for example [3,4,5]). The versatility of scattered data interpolation techniques is confirmed by a lot of applications, e.g., surface reconstruction, image restoration and inpainting, meshless/Lagrangian methods for fluid dynamics, surface deformation or motion capture systems allowing the recording of sparse motions from deformable objects such as human faces and bodies [6]. The numerical solution of partial differential equations by a global collocation approach based on RBF, is also referred to as a strong form solution in the PDE literature [7,8,9,10]. An alternative interesting approach in collocation methods is to use other bases as for example Hermite exponential spline defined in [11]. The main drawback in the global approach, though spectrally accurate, consists in solving large, ill-conditioned, dense linear systems and many attempts are known to deal with it [12,13]. Recently, a direct meshless method based on Gaussian radial basis functions has been developed to solve one-dimensional linear and nonlinear convection-diffusion problems [14]. Local methods are so preferred, giving up spectral accuracy for a sparse, better-conditioned linear system and more flexibility for handling non-linearities. A wide literature concerns local RBF schemes by partitioning the domain, referred to as Partition of Unity (PU) [15,16,17]. Moreover, the two-term time-fractional PDE model, one of the interesting models in mathematical physics, is investigated and solved by employing a local meshless method [18]. More recently, numerically, a local meshless collocation method has been applied to simulate the time-fractional coupled Korteweg-de Vries and Klein-Gordon equations [19].
This paper applies an efficient local meshless approach based on one of the most applicable and popular RBFs, the so-called Gaussian RBF, to solve the space fractional derivative equations. The proposed method, due to its local property, which creates the sparse coefficient matrix and accelerates the execution of the algorithm as well as uses the space–time RBFs, can be a suitable tool for solving practical problems in physics and engineering with space fraction derivatives. More in detail, one of the most popular fractional models is the space fractional wave equation created from the classical wave equation by replacing the integer space derivatives of order 2 with some fractional derivatives of order γ , 1 < γ 2 . Finally, the numerical results demonstrate the power and efficiency of the suggested method to apply for more complex fractional partial differential equations with applications in high-dimensional computational finance.
In this work, we consider a space fractional damped wave equation as follows:
2 t 2 u ( x , t ) + A 1 t u ( x , t ) + A 2 u ( x , t ) = K 1 · a 1 D x 1 α 1 u ( x , t ) + K 2 · a 2 D x 2 α 2 u ( x , t ) + + K n · a n D x n α n u ( x , t ) + f ( x , t ) , with , x = ( x 1 , x 2 , , x n ) Ω R n , 0 < t T ,
with the initial and boundary conditions
u ( x , 0 ) = ϕ ( x , y ) , u t ( x , 0 ) = ψ ( x , y ) , ( x , y ) Ω ,
u ( x , t ) = 0 , ( x , y ) Ω , 0 < t T ,
where u is the unknown function, f is the source function, Ω ¯ = Ω Ω = [ 0 , 1 ] n , the coefficients K 1 , K 2 , , K n > 0 . Moreover, 1 < α 1 , α 2 , , α n 2 are the order of the left Riemann–Liouville space fractional derivatives a 1 D x 1 α 1 u , a 2 D x 2 α 2 u , , a n D x n α n u respect to x 1 , x 2 , , x n , respectively. The left and right Riemann–Liouville fractional derivative is defined by
a i D x i α i u ( x , t ) = 1 Γ ( 2 α i ) d 2 d x i 2 a i x i ( x i ξ ) 1 α i u ( x 1 , , ξ , , x n , t ) d ξ ,
and
x i D b i α i u ( x , t ) = 1 Γ ( 2 α i ) d 2 d x i 2 x i b i ( ξ x i ) 1 α i u ( x 1 , , ξ , , x n , t ) d ξ ,
where Γ denotes the gamma function.
In the governing Equation (1), if  A 1 = A 2 = 0 , we have the space fractional wave equation. In this work, both wave and damped wave equation are investigated.
The paper is organized as follow. The Section 2 is devoted to the derivation of the numerical method for wave and damped equations. In the Section 3, numerical results in terms of accuracy and efficiency have been reported. Finally, Conclusions close the paper.

2. The Numerical Scheme for Wave and Damped Models

In this section, an impressive numerical method in the meshless literature with local features based on the space–time Gaussian radial basis function is investigated to solve the left Riemann–Liouville space fractional derivatives wave and damped wave equation in high-dimensional space. Due to using the space–time radial basis function, the suggested method does not need to discretize the problem in the time direction; this capability leads to ( n + 1 ) -dimensional spatial-temporal computational domain for n-dimensional problems. Hence, by employing the local meshless technique as a significant feature [20], the resulting coefficient matrix will be sparse. This remarkable ability reduces computational costs and increases the speed-up of the numerical process for high-dimensional problems. Therefore the local feature, as a remarkable and efficient property, of the suggested numerical procedure leads to the sparse coefficient matrix, which could reduce the computational costs in high-dimensional problems. For this purpose, we need to evaluate and approximate the differential operators that appear in governing problem (1) based on the space–time Gaussian radial basis function. Then the localized meshless method is applied to solve the high-dimensional wave and damped wave equations.

2.1. Evaluate Derivative Operators with Space–Time Gaussian RBF

Radial Basis Functions (RBFs) are a class of real-valued functions whose values at a specified data point depending on the distance from two points in multi-dimensional space. Kansa first used RBFs in 1991 to solve fluid dynamics problems [7]. Then, due to its ease of use, RBF was given special attention by scientists in science and engineering, and several meshless methods using RBFs were proposed. In recent decades, meshless numerical techniques attracted a lot of attention due to their high flexibility and good performance to deal with practical high dimensional models with complicated and irregular domains applied problems in science and engineering. Therefore, it is necessary to first provide the general definition of the function as follows
Definition 1.
Let R n be n-dimensional Euclidean space. Let Φ : R n R be an invariant function whose value at any point x R n depends only on the distance from the fixed point ξ R n , and can be written
Φ ( x ξ ) .
Then the function Φ is a radial basis function (RBF), where ξ is the center of the RBF Φ.
Some popular and commonly used kinds of the RBFs include
  • Gaussian: Φ ( r ) = e c 2 r 2 ,
  • Multiquadric: Φ ( r ) = r 2 + c 2 ,
  • Inverse multiquadric: Φ ( r ) = 1 r 2 + c 2
  • Thin plate spline: r 2 log r ,
where r = x ξ denotes the Euclidean distance between x and ξ . Moreover, c is the shape parameter which has an important rule to control the accuracy and stability of the numerical method. In the current work, the Gaussian RBF is used in the numerical experiments. Gaussian RBF is strictly positive definite function which causes the Gaussian RBF to be the most commonly used RBF. Aslo, Gaussian RBF is a representative member of the class of infinitely differentiable functions with global support.
As mentioned earlier, we use space–time dependent radial basis functions. In the current work, the Gaussian RBF is used to approximate the numerical solution u in relation (21), which is defined as
Φ i ( x , t ) = e c 2 ( x , t ) ( x i , t i ) 2 2 , x R n , 0 < t T .
Moreover, the Gaussian RBF could be described by the following form
Φ i ( r ) = e c 2 r 2 ,
where
r = ( x 1 x 1 i ) 2 + ( x 2 x 2 i ) 2 + + ( x n x n i ) 2 + ϵ ( t t i ) 2 .
with ( x 1 , x 2 , , x n ) = x R n , 0 < t T . In the two above definitions of the Gaussian function, the c and ϵ constants are known as shape parameters. They play an important role in the accuracy and stability of computation. Finding the optimal value of shape parameters is a fundamental issue of meshless methods based on RBFs. We have used trial and error techniques to find the best value of shape parameters in the numerical procedure. As can be seen, Gaussian functions, due to their mathematical structure, have a special ability and ease of use to be applied to approximate fractional and integer derivative operators. Therefore the second integer derivative of u ( x , t ) respect to t could be approximated as follow
2 t 2 u ( x , t ) = 2 c 2 ϵ 2 i = 1 N ( 2 c 2 ϵ 2 ( t t i ) 2 1 ) Φ i ( x , t ) .
The approximation of Riemann–Liouville spatial fractional derivatives using RBFs is a significant and major issue. Estimating and calculating such derivatives is not easy for most RBFs; however, selecting the Gaussian RBF allows us to use the Taylor expansion of this function to approximate Riemann–Liouville fractional derivatives in the x and y directions. The approximation of fractional derivatives due to the expansion of the gaussian in a MacLaurin series is investigated in [21]. In this work, we follow a similar way to approximate the space fractional derivative as follows
D x j α Φ i ( x 1 , , x j , , x n , t ) = D x j α e c 2 [ ( x 1 x 1 i ) 2 + + ( x j x j i ) 2 + + ( x n x n i ) 2 + ϵ 2 ( t t i ) 2 ] = e c 2 [ ( x 1 x 1 i ) 2 , , ( x j 1 x j 1 i ) 2 + ( x j + 1 x j + 1 i ) 2 + + ( x n x n i ) 2 + ϵ 2 ( t t i ) 2 ] · a D x j α e c 2 ( x j x j i ) 2 ,
where
D x j α e c 2 ( x j x j i ) 2 = p = 0 ( 1 ) p c 2 p p ! q = 0 2 p ( 2 p ) ! ( 1 ) q x j i 2 p q q ! ( 2 p q ) ! D x j α x j p
Moreover, if the left Riemann–Liouville fractional derivative operator is considered, i.e.,  D x j α : = a D x j α then the left Riemann–Liouville fractional derivative of polynomials are defined by
a D x j α x j q = q ! ( x j a ) α Γ ( α + 1 ) Γ ( q + 1 α ) k = 0 q x q k ( a ) k k ! Γ ( α k + 1 )
Moreover, for right Riemann–Liouville fractional derivative operator, i.e.,  D x j α : = x j D b α we have
x j D b α x j q = q ! ( b x j ) α Γ ( α + 1 ) Γ ( q + 1 α ) k = 0 q x q k ( b ) k k ! Γ ( α k + 1 ) .

2.2. Meshless Localized Space–Time RBF Collocation Method

One of the most efficient meshless methods to deal with time-dependent problems is the localized space–time radial basis function (RBF) collocation method [22]. This technique as a generalization of radial basis function collocation method is defined by considering both the spatial and time variable to construct the radial basis functions. To better clarify, before introducing the localized RBF collocation method, the main idea of the global RBF collocation method is briefly reviewed. In general, we consider the following boundary value problem on global bounded domain Ω ¯ = Ω Ω :
L u ( x , t ) = f ( x , t ) , ( x , t ) Ω ,
B u ( x , t ) = g ( x , t ) , ( x , t ) Ω ,
where L is the given differential operator in problem (1), which is defined as follows:
L : = 2 t 2 + A 1 t + A 2 K 1 · a 1 D x 1 α 1 K 2 · a 2 D x 2 α 2 K n · a n D x n α n ,
and B is the boundary operator in Equation (3).
According to the global RBF collocation method, assume a set of scattered center points X I = { ( x i , t i ) } i = 1 N i in Ω and X B = { ( x i , t i ) } i = N i + 1 N on Ω cover the entire global domain. Then the unknown solution of the boundary value problem (15) and (16) is represented in the following form:
u ( x , t ) i = 1 N λ i Φ ( ( x , t ) ( x i , t i ) ) , ( x , t ) Ω ¯ ,
where Φ : Ω ¯ × Ω ¯ R is a selected radial basis function, · denotes the Euclidean norm and { λ i } i = 1 N are unknown coefficients to be determined. By Substituting the sugggested solution (18) in the Equation (15) with boundary condition (16), the collocation procedure conclude the algebraic system under the form:
i = 1 N λ i L Φ ( ( x j , t j ) ( x i , t i ) ) = f ( x j , t j ) , j = 1 , , N i ,
i = 1 N λ i B Φ ( ( x j , t j ) ( x i , t i ) ) = g ( x j , t j ) , j = N i + 1 , , N ,
By solving the system of Equations (19) and (20) the unknown vector { λ i } i = 1 N is determined. Then the solution u at any point of the entire computational domain can be determined by substituting the vector { λ i } i = 1 N in the Equation (18). The meshless global RBF collocation method, also known in the literature as the Kansa method, was introduced by Kansa in two famous references [7] and got some attention from researchers. The global collocation method, in turn, has been proposed as an efficient technique in dealing with high-dimensional problems and solving problems in complex computational domains. Despite all the advantages of the global collocation method, the coefficient matrix is dense and imposing high computational costs. Moreover, the coefficients matrix is generally ill-conditioned and leading to ill-conditioning behaviour in the numerical method. In addition, the numerical solution is seriously affected by the shape parameter in the radial basis functions dependent on the shape parameter such as Gaussian and multiquadric RBFs, so selecting the appropriate shape parameter is difficult and sensitive. Due to the popularity of meshless methods, various techniques have been proposed to overcome these difficulties and reduce their destructive effects. One of the most popular numerical techniques is the local collocation method developed by Lee et al. They demonstrated that the local collocation method is less sensitive to the selection of the shape parameter and the distribution of scattered points in the computational domain, but the computational accuracy is slightly reduced compared to the global method. Moreover, the resulting final coefficients matrix in the local collocation method is sparse and considerably well-conditioned. In the local collocation method, for any center point ( x c , t c ) in the computational domain Ω , a local sub-domain Ω c consist of n c nearest neighbor points is considered. The set of points in the local sub-domain is called a stencil. The approximate solution u ( x c , t c ) using the RBF collocation method on the stencil Ω c can be obtained by a linear combination of the radial basis functions at n c nearest neighbouring points of ( x c , t c ) in the following form:
u ( x c , t c ) u ^ ( x c , t c ) = k = 1 n c λ k Φ ( ( x c , t c ) ( x k , t k ) ) , ( x k , t k ) Ω c ,
where Φ is a radial basis function and { λ k } k = 1 n c are unknown coefficients to be determined. Since { ( x k , t k ) } k = 1 n c Ω c from Equation (21) the following linear system is obtained
U ^ c = Φ c Λ c ,
where
Φ c = [ Φ ( ( x i , t i ) ( x j , t j ) ) ] , 1 i , j n c , U ^ c = [ u ^ ( x 1 , t 1 ) , u ^ ( x 2 , t 2 ) , , u ^ ( x n c , t n c ) ] , Λ c = [ λ 1 , λ 2 , , λ n c ] T .
Therefore, solving the linear system (22) yields the unknown coefficients as follows:
Λ c = Φ c 1 U ^ c .
Evaluating the operator L of the interpolant (21) and using the relation (23) give
(24) L u ^ ( x c , t c ) = k = 1 n c λ k L Φ ( ( x c , t c ) ( x k , t k ) ) (25) = L Φ ( ( x c , t c ) ( x 1 , t 1 ) ) , , L Φ ( ( x c , t c ) ( x k , t k ) ) Λ (26) = ( L Φ c ) Φ c 1 U ^ c .
Now, by substituting the derivative operator L in relation (17), the following equation is obtained
[ 2 t 2 + A 1 t + A 2 K 1 · a 1 D x 1 α 1 K 2 · a 2 D x 2 α 2 K n · a n D x n α n ] u ^ ( x c , t c ) = ( [ 2 t 2 + A 1 t + A 2 K 1 · a 1 D x 1 α 1 K 2 · a 2 D x 2 α 2 K n · a n D x n α n ] Φ c ) Φ c 1 W c L U ^ c = W c L U ^ c .
As the same way, for all ( x j , t j ) Ω the weight vector W L = [ W 1 L , , W N i L ] T is computed such that
L u ^ ( x , t ) = W L U ^ L , ( x , t ) Ω ,
where U ^ L = [ u ^ ( x 1 , t 1 ) , , u ^ ( x N i , t N i ) ] . By substituting the relation (28) in Equation (15), we have
W L U ^ L = f ( x , t ) , ( x , t ) Ω .
We also consider a local computational domain for each point on the boundary of computational domain similar to that discussed at points within the computational domain. Therefore, for each point ( x c , t c ) Ω , according to the collocation method, the effect of the operator B on the function u is approximated as follows:
(30) B u ^ ( x c , t c ) = k = 1 n c λ k B Φ ( ( x c , t c ) ( x k , t k ) ) (31) = B Φ ( ( x c , t c ) ( x 1 , t 1 ) ) B Φ ( ( x c , t c ) ( x k , t k ) ) Λ (32) = ( B Φ c ) Φ c 1 U ^ c .
Given that the boundary condition’ operator is the identity operator, the following equation has resulted
u ^ ( x c , t c ) = Φ c Φ c 1 W c B U ^ c = W c B U ^ c .
Moreover, for all ( x j , t j ) Ω the weight vector W B = [ W N i + 1 B , , W N L ] T is calculated as follows:
u ^ ( x , t ) = W B U ^ B , ( x , t ) Ω ,
where U ^ B = [ u ^ ( x N i + 1 , t N i + 1 ) , , u ^ ( x N , t N ) ] , By substituting the Equation (34) in Equation (16), the following relation is obtained
W B U ^ B = g ( x , t ) , ( x , t ) Ω .
Then, the following linear system of equations with N × N global sparse matrix W = [ W L ; W B ] for all center points { ( x j , t j ) } j = 1 N , could be assembled such that
W L W B U ^ L U ^ B = f ( x i , t i ) g ( x j , t j ) , 1 i N i , N i + 1 j N .
Then the approximate solution { u ( x i , t i ) } i = 1 N can be obtained by solving the above sparse linear system of equations.

3. Numerical Results

In this section, some test problems in one, two, and three spatial dimensional for investigating the accuracy and efficiency of the presented method for both wave and damped wave equations are considered. As mentioned in the suggested technique the space–time RBFs are considered, therefore in the computational process for n-dimensional spatial model, we consider the ( n + 1 ) -dimensional spatial-temporal computational domain with uniform distributed points. The scheme of computational domain Ω = [ 0 , 1 ] 2 with scattered data points for one and two-dimensional are demonstrated in Figure 1. The three-dimensional model leads to the four-dimensional computational domain and it could not be shown. Moreover, two numerical criteria to show the accuracy, convergence, and stability of the method as absolute error ( ϵ ) and the root mean square error ( ϵ r ) are considered as follows:
ϵ = u ( x , t ) u ^ ( x , t ) , ϵ r = u ( x , t ) u ^ ( x , t ) 2 N .
Moreover, to investigate the convergence rates of the presented discretization scheme the following rate is estimated:
R = log 2 ( ϵ ( h 1 ) / ϵ ( h 2 ) ) log 2 ( h 1 / h 2 ) ,
where h = 1 / N . Moreover, in numerical implementation for constructing the local sub-domains, the k-dimensional tree (k-d tree) algorithm is used [23]. To improve search performance, the search tree structure is first created. Then for each computational point in the spatial-temporal domain, the k-d tree algorithm search n c nearest neighbors. Moreover, to investigate the numerical stability of the suggested method to deal with the mentioned models, the noise efficacy on computational error estimates is perused. To this end, we assume that the initial solution u 0 in the numerical procedure is perturbed to u ^ 0 = ( 1 + σ ) u 0 . Thus, the impression of the input noise σ on error estimates is studied for perturbation solution u ^ .
Example 1.
As the first example, we consider the one-dimensional space fractional derivatives problem (1) with corresponding to wave model by coefficients K 1 = 10 , A 1 = A 2 = 0 and damped wave model by coefficients K 1 = 10 , A 1 = A 2 = 0.2 . The exact solution of the problem for both models is u ( x , t ) = sin ( π ( t + 1 ) ) ( x x 2 ) . The source functions for both models are calculated as follows
f ( x , t ) = π 2 sin ( π ( t + 1 ) ) + A 1 π cos ( π ( t + 1 ) ) + A 2 sin ( π ( t + 1 ) ) ( x x 2 ) K 1 sin ( π ( t + 1 ) ) x 1 α 1 Γ ( 2 α 1 ) 2 x 2 α 1 Γ ( 3 α 1 ) .
In one-dimensional problem the computational domain is Ω × T where Ω = [ 0 , 1 ] with uniform distribution data points and T = [ 0 , 1 ] . Moreover, the local sub-domains are determined withk-d treealgorithm with size n c = 5 .
Table 1 is demonstrated the computational errors, condition numbers, computational process times, and convergence rates concerning the different numbers of data points N and several values of fractional orders α 1 for both wave and damped wave models. The numerical results verify that the presented method is accurate, convergent and, well-posed due to the increasing number of data points in the computational domain. The best value of the shape parameter c is determined by trial and error so that there is a balance between the obtained accuracy and the conditional number of the coefficient matrix. Therefore, the plot of absolute errors and condition numbers concerning the shape parameter c by letting N = 20 2 and α 1 = 1.80 is demonstrated in Figure 2 for both wave and damped wave models. Moreover, the estimated errors for different values of N t and various fractional orders α 1 by taking N x = 30 and shape parameter c = 0.015 for wave model and c = 0.010 for damped wave model are reported in the Table 2. The demonstrated results in this table show the temporal convergence of the presented procedure. The stability of the suggested method is verified numerically in Table 3 by considering the different input noise values σ = 0 , σ = 0.001 , σ = 0.01 , and  σ = 0.1 . This table shows the influence of noise σ on computational errors and presents that the proposed method has a reasonable and stable behavior against input noise. The Figure 3 and Figure 4 are shown the absolute errors for different time levels t = 0.25 , t = 0.50 , and  t = 0.75 by letting N x = 41 , shape parameter c = 0.007 , and  α 1 = 1.65 for both wave and damped wave model, respectively. Moreover, Figure 5 and Figure 6 are the plots of the exact and approximated solutions for wave and damped wave problems in the spatial-temporal computational domain, respectively. The sparsity patterns of the coefficient matrix related to both wave and damped wave models are plotted in Figure 7. To investigate the method’s stability numerically, the impression of the input noise on the initial solution is evaluated. For this purpose, effect of the several input noise levels σ = 0 , σ = 0.001 , σ = 0.01 , and  σ = 0.1 on error estimates are considered. These results are reported in Table 4 and illustrated the acceptable and stable behavior of the numerical procedure against the input noise.
Example 2.
As the second example (see Figure 8), the two-dimensional space fractional derivatives problem (1) related to wave model by coefficients K 1 = K 2 = 10 , A 1 = A 2 = 0 and damped wave model by by coefficients K 1 = K 2 = 10 , A 1 = A 2 = 0.2 . The exact solution of the problem for either wave and damped wave model is u ( x , y , t ) = sin ( π ( t + 1 ) ) ( x x 2 ) ( y y 2 ) . The source functions for both models are obtained as follows
f ( x , y , t ) = π 2 sin ( π ( t + 1 ) ) + A 1 π cos ( π ( t + 1 ) ) + A 2 sin ( π ( t + 1 ) ) · ( x x 2 ) ( y y 2 ) K 1 sin ( π ( t + 1 ) ) ( y y 2 ) x 1 α 1 Γ ( 2 α 1 ) 2 x 2 α 1 Γ ( 3 α 1 ) K 2 sin ( π ( t + 1 ) ) ( x x 2 ) y 1 α 2 Γ ( 2 α 2 ) 2 y 2 α 2 Γ ( 3 α 2 ) .
In two-dimensional case the computational domain is Ω × T where Ω = [ 0 , 1 ] 2 with uniform distributed points and T = [ 0 , 1 ] . Moreover, thek-d treeprogram constructs the local sub-domains with size n c = 10 .
The accuracy, convergence, and wellposedness of the presented procedure for solving both wave and damped wave models have shown in Table 5 by computing the estimated errors, conditional numbers, CPU times, and convergence rates for several values of N and various fractional orders α 1 and α 2 . The optimal value of the shape parameter c is specified by trial and error such that there is an equivalence between the accuracy of the numerical method and the conditional number of the coefficient matrix. Thus, the plot of absolute errors and condition numbers with respect to the shape parameter c by taking N = 10 3 and α 1 = α 2 = 1.50 is shown in Figure 9 for both wave and damped wave models. Moreover, the computational errors for various N t and different fractional orders α 1 and α 1 by letting N x = 20 2 and shape parameter c = 0.017 for wave model and c = 0.020 for damped wave model are shown in the Table 6. The reported numerical results in this table demonstrate the temporal convergence of the proposed method in deal with both mentioned models. The behavior of the numerical method for either wave and damped wave model against the input noise is demonstrated in Table 7. The computed results show the stability of the presented method to deal with different noise levels. The absolute errors for several time levels by considering N x = 21 2 , α 1 = 1.65 , α 2 = 1.85 for wave model with shape parameter c = 0.022 and damped wave model with shape parameter c = 0.020 are plotted in Figure 10 and Figure 11, respectively. The sparsity patterns of the coefficient matrix for both wave and damped wave models are demonstrated in Figure 7.
Example 3.
As the third example, the two-dimensional space fractional derivatives problem (1) related to wave model by coefficients K 1 = K 2 = 10 3 , A 1 = A 2 = 0 and damped wave model by coefficients K 1 = K 2 = 10 3 , A 1 = 10 and A 2 = 20 . The exact solution of the problem for either wave and damped wave model is u ( x , y , t ) = t 6 ( x x 3 ) ( y 3 2 y 2 + y ) . The source functions for both models are obtained as follows    
f ( x , y , t ) = 30 t 4 + 6 A 1 t 5 + A 2 t 6 ( x x 3 ) ( y 3 2 y 2 + y ) K 1 t 6 ( y 3 2 y 2 + y ) x α 1 Γ ( 1 α 1 ) 6 x 2 α 1 Γ ( 3 α 1 ) K 2 t 6 ( x x 3 ) 6 y 2 α 2 Γ ( 3 α 2 ) 4 y 1 α 2 Γ ( 2 α 2 ) + y α 2 Γ ( 1 α 2 ) .
In this case the computational domain is Ω × T where Ω = [ 0 , 1 ] 2 with uniform and irregular distributed points and T = [ 0 , 1 ] . Moreover, thek-d treeprogram constructs the local sub-domains with size n c = 10 .
In the current example, the accuracy and efficiency of the proposed method in the two modes of uniform point distribution and irregular point distribution in the computational domain are compared for both wave and damped wave models. The irregular distribution points scheme is demonstrated in Figure 12.
Figure 13 shows the plot of absolute estimated error concerning the number of uniform and irregular distribution data points for both uniform and irregular distributed data points.As can be seen, the accuracy of the suggested method in confronting the irregular distribution points is relatively good, but in comparison with the uniform distribution points, it Significantly decreases. Moreover, the condition numbers versus the number of uniform and irregular distributed data points for both wave and damped wave models have demonstrated in Figure 14. These Figures show that the present numerical method for irregular distribution points is not as good as uniform distribution points according to the condition number of the coefficient matrix. The sparsity pattern of the coefficient matrix for wave and damped wave models respect to the uniform and irregular distribution points are displayed in Figure 15 and Figure 16, respectively. These figures demonstrate that the arising coefficient matrix is sparsity for both types of point distributions. Therefore, the presented method causes to decrease in the computational cost and accelerates the algorithm for irregular distribution points as good as uniform distribution points.
Example 4.
As the last example, the three-dimensional space fractional derivatives problem (1) for wave model by coefficients K 1 = K 2 = K 3 = 10 , A 1 = A 2 = 0 and damped wave model by coefficients K 1 = K 2 = K 3 = 10 , A 1 = A 2 = 0.2 . The exact solution of the problem is u ( x , y , t ) = sin ( π ( t + 1 ) ) ( x x 2 ) ( y y 2 ) ( z z 2 ) The source functions for both models are concluded as follows
f ( x , y , z , t ) = π 2 sin ( π ( t + 1 ) ) + A 1 π cos ( π ( t + 1 ) ) + A 2 sin ( π ( t + 1 ) ) · ( x x 2 ) ( y y 2 ) ( z z 2 ) K 1 sin ( π ( t + 1 ) ) ( y y 2 ) ( z z 2 ) x 1 α 1 Γ ( 2 α 1 ) 2 x 2 α 1 Γ ( 3 α 1 ) K 2 sin ( π ( t + 1 ) ) ( x x 2 ) ( z z 2 ) y 1 α 2 Γ ( 2 α 2 ) 2 y 2 α 2 Γ ( 3 α 2 ) K 3 sin ( π ( t + 1 ) ) ( x x 2 ) ( y y 2 ) z 1 α 3 Γ ( 2 α 3 ) 2 z 2 α 3 Γ ( 3 α 3 ) .
In three-dimensional case the computational domain is Ω × T where Ω = [ 0 , 1 ] 3 with uniform distributed points and T = [ 0 , 1 ] . Further, in the computational procedure the local sub-domains with size n c = 15 are built byk-d treealgorithm.
The error estimates, condition numbers, computational times, and convergence rates vs. N are reported in Table 8. The numerical results in this table are obtained by considering different fractional orders α 1 , α 2 , and α 3 for either wave and damped wave models. These results show the convergence, accuracy, wellposedness, and speeds of the method to deal with the high-dimensional wave and damped wave models well. To obtain the best value for the shape parameter, a trial and error process is used such that there is an equilibrium between the accuracy of the suggested computational procedure and obtained condition number of the coefficient matrix. Hence, the plot of absolute errors and condition numbers for different shape parameters by considering N = 9 4 and α 1 = α 2 = α 3 = 1.50 are displayed in Figure 17 for both wave and damped wave models. Furthermore, Table 9 indicates the temporal convergence of the suggested numerical method to deal with mentioned models. The results are obtained vs. N t by considering N x = 12 3 and shape parameter c = 0.060 for wave model and c = 0.060 for damped wave model. To investigate the method’s stability numerically, the impression of the input noise on the initial solution is evaluated. For this purpose, the effects of the several input noise levels σ = 0 , σ = 0.001 , σ = 0.01 , and σ = 0.1 on error estimates are considered. These results are reported in Table 4 and the acceptable and stable behavior of the numerical procedure against the input noise are illustrated. The coefficient matrix sparsity patterns for both models are shown in Figure 18.

4. Conclusions

Local Mashless numerical methods have widely proved their ability to solve efficiently partial differential equations. In this work for solving the wave and damped wave equation with Riemann–Liouville fractional derivatives, we focus on the space–time Gaussian radial basis function in a high-dimensional setting. The proposed technique has some noticeable features, such as constructing a sparse matrix that reduces the time execution of the implementation of algorithms. This feature allows the method to be applied to high-dimensional problems that occur in nature and engineering as well as the using the RBFs makes it much easier to work on high-dimensional spaces with irregular computational domains. Moreover, employing the space–time Gaussian RBF eliminates the need for time discretization of the model. Numerical experiments verify that the local features lead to the sparse coefficient matrix and reduce the computational costs in high-dimensional problems. Improvements in terms of accuracy and efficiency on the computed solution have been confirmed by the proposed numerical scheme. Finally, we aim to apply this method to more complex fractional partial differential equations with applications in computational finance.

Author Contributions

Conceptualization, M.R. and S.C.; methodology, M.R. and S.C.; software, M.R.; formal analysis, M.R. ans S.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

This work is partially supported by INdAM-GNCS, “Research ITalian network on Approximation (RITA)” and UMI Group TAA “Approximation Theory and Applications”.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Mainardi, F. Fractals and Fractional Calculus in Continuum Mechanics; Springer: Vienna, Austria, 1997; pp. 291–348. [Google Scholar]
  2. Assari, P.; Cuomo, S. The numerical solution of fractional differential equations using the Volterra integral equation method based on thin plate splines. Eng. Comput. 2019, 35, 1391–1408. [Google Scholar] [CrossRef]
  3. De Marchi, S.; Martinez, A.; Perracchione, E.; Rossini, M. RBF-based partition of unity methods for elliptic PDEs: Adaptivity and stability issues via variably scaled kernels. J. Sci. Comput. 2019, 79, 321–344. [Google Scholar] [CrossRef]
  4. Ala, G.; Fasshauer, G.E.; Francomano, E.; Ganci, S.; McCourt, M.J. An augmented MFS approach for brain activity reconstruction. Math. Comput. Simul. 2017, 141, 3–15. [Google Scholar] [CrossRef]
  5. Ala, G.; Francomano, E.; Fasshauer, G.E.; Ganci, S.; McCourt, M.J. A meshfree solver for the MEG forward problem. IEEE Trans. Magn. 2015, 51, 1–4. [Google Scholar] [CrossRef] [Green Version]
  6. Wendland, H. Scattered Data Approximation (Cambridge Monographs on Applied and Computational Mathematics); Cambridge University Press: Cambridge, UK, 2004. [Google Scholar]
  7. Kansa, E.J. Multiquadrics—A scattered data approximation scheme with applications to computational fluid-dynamics—I surface approximations and partial derivative estimates. Comput. Math. Appl. 1990, 19, 127–145. [Google Scholar] [CrossRef] [Green Version]
  8. Kansa, E.J. Multiquadrics—A scattered data approximation scheme with applications to computational fluid-dynamics—II solutions to parabolic, hyperbolic and elliptic partial differential equations. Comput. Math. Appl. 1990, 19, 147–161. [Google Scholar] [CrossRef] [Green Version]
  9. De Marchi, S.; Martínez, A.; Perracchione, E. Fast and stable rational RBF-based partition of unity interpolation. J. Comput. Appl. Math. 2019, 349, 331–343. [Google Scholar] [CrossRef]
  10. Campagna, R.; Cuomo, S.; De Marchi, S.; Perracchione, E.; Severino, G. A stable meshfree PDE solver for source-type flows in Porous media. Appl. Numer. Math. 2020, 149, 30–42. [Google Scholar] [CrossRef]
  11. Uhlmann, V.; Delgado-Gonzalo, R.; Conti, C.; Romani, L.; Unser, M. Exponential Hermite splines for the analysis of biomedical images. In Proceedings of the 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Florence, Italy, 4–9 May 2014; pp. 1631–1634. [Google Scholar]
  12. Kansa, E.; Hon, Y. Circumventing the ill-conditioning problem with multiquadric radial basis functions: Applications to elliptic partial differential equations. Comput. Math. Appl. 2000, 39, 123–137. [Google Scholar] [CrossRef] [Green Version]
  13. Ling, L.; Kansa, E.J. A least-squares preconditioner for radial basis functions collocation methods. Adv. Comput. Math. 2005, 23, 31–54. [Google Scholar] [CrossRef]
  14. Wang, F.; Zheng, K.; Ahmad, I.; Ahmad, H. Gaussian radial basis functions method for linear and nonlinear convection–diffusion models in physical phenomena. Open Phys. 2021, 19, 69–76. [Google Scholar] [CrossRef]
  15. Wendland, H. Fast evaluation of radial basis functions: Methods based on partition of unity. In Approximation Theory X: Wavelets, Splines, and Applications; Vanderbilt University Press: Neshville, TE, USA, 2002. [Google Scholar]
  16. Cavoretto, R.; De Rossi, A. Adaptive meshless refinement schemes for RBF-PUM collocation. Appl. Math. Lett. 2019, 90, 131–138. [Google Scholar] [CrossRef] [Green Version]
  17. Cavoretto, R.; De Rossi, A. Error indicators and refinement strategies for solving Poisson problems through a RBF partition of unity collocation scheme. Appl. Math. Comput. 2020, 369, 124824. [Google Scholar] [CrossRef]
  18. Li, J.F.; Ahmad, I.; Ahmad, H.; Shah, D.; Chu, Y.M.; Thounthong, P.; Ayaz, M. Numerical solution of two-term time-fractional PDE models arising in mathematical physics using local meshless method. Open Phys. 2020, 18, 1063–1072. [Google Scholar] [CrossRef]
  19. Nawaz Khan, M.; Ahmad, I.; Akgül, A.; Ahmad, H.; Thounthong, P. Numerical solution of time-fractional coupled Korteweg–de Vries and Klein–Gordon equations by local meshless method. Pramana 2021, 95, 1–13. [Google Scholar]
  20. De Marchi, S.; Wendland, H. On the convergence of the rescaled localized radial basis function method. Appl. Math. Lett. 2020, 99, 105996. [Google Scholar] [CrossRef]
  21. Piret, C.; Hanert, E. A radial basis functions method for fractional diffusion equations. J. Comput. Phys. 2013, 238, 71–81. [Google Scholar] [CrossRef]
  22. Myers, D.; De Iaco, S.; Posa, D.; De Cesare, L. Space–time radial basis functions. Comput. Math. Appl. 2002, 43, 539–549. [Google Scholar] [CrossRef] [Green Version]
  23. Fasshauer, G.E. Meshfree Approximation Methods with MATLAB; World Scientific Publishing Co., Pte. Ltd.: Singapore, 2007. [Google Scholar]
Figure 1. Data location scheme for (a) Example 1 and (b) Example 2.
Figure 1. Data location scheme for (a) Example 1 and (b) Example 2.
Axioms 10 00259 g001
Figure 2. Absolute errors and condition numbers for Example 1 by letting N = 20 2 and α 1 = 1.80 for different shape parameter c with respect to (a) wave model and (b) damped wave model.
Figure 2. Absolute errors and condition numbers for Example 1 by letting N = 20 2 and α 1 = 1.80 for different shape parameter c with respect to (a) wave model and (b) damped wave model.
Axioms 10 00259 g002
Figure 3. Absolute errors for Example 1 by letting N x = 41 , c = 0.007 , and α 1 = 1.65 for different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to wave model.
Figure 3. Absolute errors for Example 1 by letting N x = 41 , c = 0.007 , and α 1 = 1.65 for different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to wave model.
Axioms 10 00259 g003
Figure 4. Absolute errors for Example 1 by letting N x = 41 , c = 0.007 , and α 1 = 1.65 for different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to damped wave model.
Figure 4. Absolute errors for Example 1 by letting N x = 41 , c = 0.007 , and α 1 = 1.65 for different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to damped wave model.
Axioms 10 00259 g004
Figure 5. The plots of (a) exact solution and (b) approximation solution for Example 1 by taking N x = 41 , c = 0.007 , and α 1 = 1.65 with respect to wave model.
Figure 5. The plots of (a) exact solution and (b) approximation solution for Example 1 by taking N x = 41 , c = 0.007 , and α 1 = 1.65 with respect to wave model.
Axioms 10 00259 g005
Figure 6. The plots of (a) exact solution and (b) approximation solution for Example 1 by taking N x = 41 , c = 0.007 , and α 1 = 1.65 with respect to damped wave model.
Figure 6. The plots of (a) exact solution and (b) approximation solution for Example 1 by taking N x = 41 , c = 0.007 , and α 1 = 1.65 with respect to damped wave model.
Axioms 10 00259 g006
Figure 7. The sparsity pattern of the coefficient matrix for Example 1 with respect to (a) wave model (b) damped wave model.
Figure 7. The sparsity pattern of the coefficient matrix for Example 1 with respect to (a) wave model (b) damped wave model.
Axioms 10 00259 g007
Figure 8. The sparsity pattern of the coefficient matrix for Example 2 with respect to (a) wave model (b) damped wave model.
Figure 8. The sparsity pattern of the coefficient matrix for Example 2 with respect to (a) wave model (b) damped wave model.
Axioms 10 00259 g008
Figure 9. Absolute errors and condition numbers for Example 2 by letting N = 10 3 and α 1 = α 2 = 1.50 for different shape parameter c with respect to (a) wave model and (b) damped wave model.
Figure 9. Absolute errors and condition numbers for Example 2 by letting N = 10 3 and α 1 = α 2 = 1.50 for different shape parameter c with respect to (a) wave model and (b) damped wave model.
Axioms 10 00259 g009
Figure 10. Absolute errors for Example 2 by letting N x = 21 2 , c = 0.107 , α 1 = 1.65 , and α 2 = 1.85 for different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to wave model.
Figure 10. Absolute errors for Example 2 by letting N x = 21 2 , c = 0.107 , α 1 = 1.65 , and α 2 = 1.85 for different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to wave model.
Axioms 10 00259 g010
Figure 11. Absolute errors for Example 2 by letting N x = 21 2 , c = 0.02 , α 1 = 1.65 , and α 2 = 1.85 different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to damped wave model.
Figure 11. Absolute errors for Example 2 by letting N x = 21 2 , c = 0.02 , α 1 = 1.65 , and α 2 = 1.85 different time level t (a) t = 0.25 ; (b) t = 0.50 and (c) t = 0.75 with respect to damped wave model.
Axioms 10 00259 g011
Figure 12. Data location scheme for Example 3 with irregular distribution.
Figure 12. Data location scheme for Example 3 with irregular distribution.
Axioms 10 00259 g012
Figure 13. The absolute errors vs. the number of data points for Example 3 with respect to (a) wave model (b) damped wave model.
Figure 13. The absolute errors vs. the number of data points for Example 3 with respect to (a) wave model (b) damped wave model.
Axioms 10 00259 g013
Figure 14. The condition numbers vs. the number of data points for Example 3 with respect to (a) wave model (b) damped wave model.
Figure 14. The condition numbers vs. the number of data points for Example 3 with respect to (a) wave model (b) damped wave model.
Axioms 10 00259 g014
Figure 15. The sparsity pattern of the coefficient matrix for Example 3 with respect to wave model with (a) uniform distribution of points (b) irregular distribution of points.
Figure 15. The sparsity pattern of the coefficient matrix for Example 3 with respect to wave model with (a) uniform distribution of points (b) irregular distribution of points.
Axioms 10 00259 g015
Figure 16. The sparsity pattern of the coefficient matrix for Example 3 with respect to damped wave model with (a) uniform distribution of points (b) irregular distribution of points.
Figure 16. The sparsity pattern of the coefficient matrix for Example 3 with respect to damped wave model with (a) uniform distribution of points (b) irregular distribution of points.
Axioms 10 00259 g016
Figure 17. Absolute errors and condition numbers for Example 4 by letting N = 9 4 and α 1 = α 2 = α 3 = 1.50 for different shape parameter c with respect to (a) wave model and (b) damped wave model.
Figure 17. Absolute errors and condition numbers for Example 4 by letting N = 9 4 and α 1 = α 2 = α 3 = 1.50 for different shape parameter c with respect to (a) wave model and (b) damped wave model.
Axioms 10 00259 g017
Figure 18. The sparsity pattern of the coefficient matrix for Example 4 with respect to (a) wave model (b) damped wave model.
Figure 18. The sparsity pattern of the coefficient matrix for Example 4 with respect to (a) wave model (b) damped wave model.
Axioms 10 00259 g018
Table 1. Error estimates, condition numbers, CPU times and convergence rate of Example 1 by letting n c = 5 and different values of N and several fractional orders α 1 .
Table 1. Error estimates, condition numbers, CPU times and convergence rate of Example 1 by letting n c = 5 and different values of N and several fractional orders α 1 .
α 1 NWave Model Damped Wave Model
c ϵ ϵ r CN Time R c ϵ ϵ r CN Time R
1.80 5 2 0.006 2.2269 × 10 3 9.0263 × 10 4 5.1233 × 10 3 0.11 0.006 2.2934 × 10 3 9.0038 × 10 4 5.0633 × 10 3 0.14
10 2 0.007 4.0344 × 10 4 1.9577 × 10 4 1.2380 × 10 5 0.16 2.46 0.007 4.0829 × 10 4 1.9889 × 10 4 1.2371 × 10 5 0.18 2.48
15 2 0.008 1.5062 × 10 4 7.7824 × 10 5 1.5415 × 10 6 0.24 2.42 0.008 1.5571 × 10 4 7.9075 × 10 5 1.4739 × 10 6 0.28 2.37
20 2 0.009 6.9551 × 10 5 3.7304 × 10 5 2.8412 × 10 6 0.38 2.68 0.009 7.3215 × 10 5 3.8292 × 10 5 3.2369 × 10 6 0.40 2.62
25 2 0.010 3.6964 × 10 5 1.8750 × 10 5 1.8328 × 10 7 0.53 2.83 0.010 3.8836 × 10 5 1.9777 × 10 5 1.5684 × 10 6 0.58 2.84
30 2 0.015 2.4838 × 10 5 1.1746 × 10 5 1.0483 × 10 7 0.73 2.18 0.012 2.2484 × 10 5 1.1545 × 10 5 1.1188 × 10 7 0.80 2.99
1.60 5 2 0.006 3.3795 × 10 3 1.4492 × 10 3 4.5845 × 10 3 0.11 0.006 3.1493 × 10 3 1.4469 × 10 3 3.9339 × 10 3 0.12
10 2 0.007 6.5764 × 10 4 3.1243 × 10 4 1.5830 × 10 5 0.16 2.36 0.007 7.0697 × 10 4 3.1627 × 10 4 1.5540 × 10 5 0.17 2.15
15 2 0.008 2.4993 × 10 4 1.2304 × 10 4 1.5025 × 10 6 0.25 2.38 0.008 2.5861 × 10 4 1.2397 × 10 4 1.4145 × 10 6 0.26 2.48
20 2 0.009 1.1825 × 10 4 5.8391 × 10 5 2.1201 × 10 7 0.37 2.60 0.009 1.1111 × 10 4 5.7728 × 10 5 1.8260 × 10 6 0.41 2.93
25 2 0.010 6.0763 × 10 5 2.9338 × 10 5 7.0838 × 10 7 0.54 2.98 0.010 4.9088 × 10 5 2.7473 × 10 5 6.9984 × 10 6 0.55 3.66
30 2 0.015 5.6002 × 10 5 2.1354 × 10 5 9.0419 × 10 7 0.73 2.18 0.012 2.9940 × 10 5 1.4093 × 10 5 5.8078 × 10 7 0.77 2.99
1.90 5 2 0.006 1.8605 × 10 3 7.5008 × 10 4 3.6377 × 10 3 0.11 0.005 1.8677 × 10 3 7.4356 × 10 4 3.6238 × 10 3 0.12
10 2 0.007 4.7886 × 10 4 1.7566 × 10 4 1.1151 × 10 6 0.16 1.95 0.006 7.0447 × 10 4 2.4132 × 10 4 9.7984 × 10 5 0.17 1.40
15 2 0.008 1.5025 × 10 4 7.4091 × 10 5 1.9605 × 10 6 0.24 2.85 0.007 2.7777 × 10 4 1.1673 × 10 4 3.1303 × 10 6 0.27 2.29
20 2 0.009 7.8533 × 10 5 3.8566 × 10 5 8.9269 × 10 6 0.36 2.25 0.008 1.2280 × 10 4 5.2598 × 10 5 9.5888 × 10 6 0.38 2.67
25 2 0.010 5.0342 × 10 5 2.3522 × 10 5 1.4118 × 10 7 0.53 1.99 0.009 7.6035 × 10 5 3.2475 × 10 5 1.0856 × 10 7 0.55 2.14
30 2 0.015 4.1866 × 10 5 1.9279 × 10 5 2.7048 × 10 7 0.74 1.01 0.010 5.2990 × 10 5 2.2894 × 10 5 3.1228 × 10 7 0.76 1.98
Table 2. Error estimates for N x = 30 of Example 1 by letting c = 0.015 in wave model and c = 0.010 in damped wave model, n c = 5 , different values of N t and several fractional orders α 1 .
Table 2. Error estimates for N x = 30 of Example 1 by letting c = 0.015 in wave model and c = 0.010 in damped wave model, n c = 5 , different values of N t and several fractional orders α 1 .
α 1 N t Wave Model Damped Wave Model
ϵ ϵ r ϵ ϵ r
1.55 15 3.8035 × 10 2 1.3685 × 10 2 5.2703 × 10 2 2.5408 × 10 2
20 1.4421 × 10 4 6.3442 × 10 5 1.2401 × 10 4 6.3900 × 10 5
25 8.4107 × 10 5 3.8606 × 10 5 5.5679 × 10 5 3.2129 × 10 5
30 6.3251 × 10 5 3.0383 × 10 5 3.3992 × 10 5 1.7063 × 10 5
1.65 15 2.7988 × 10 2 1.2182 × 10 2 4.4133 × 10 2 2.1276 × 10 2
20 8.1961 × 10 5 3.9625 × 10 5 8.5992 × 10 5 4.7289 × 10 5
25 4.6205 × 10 5 2.0393 × 10 5 4.1815 × 10 5 2.3432 × 10 5
30 4.3104 × 10 5 1.7328 × 10 5 2.6376 × 10 5 1.2837 × 10 5
1.75 15 3.4041 × 10 2 1.5951 × 10 2 3.7402 × 10 2 1.8022 × 10 2
20 8.0199 × 10 5 3.3220 × 10 5 8.2582 × 10 5 3.9420 × 10 5
25 3.5874 × 10 5 1.6133 × 10 5 3.7671 × 10 5 1.9878 × 10 5
30 3.2914 × 10 5 1.3236 × 10 5 2.2795 × 10 5 1.1375 × 10 5
Table 3. The effect of noise on error estimates of Example 1 for different values of N and letting α 1 = 1.75 .
Table 3. The effect of noise on error estimates of Example 1 for different values of N and letting α 1 = 1.75 .
N σ Wave Model Damped Wave Model
c ϵ ϵ r c ϵ ϵ r
10 2 0 0.007 4.5573 × 10 4 2.1751 × 10 4 0.008 4.5430 × 10 4 2.1807 × 10 4
0.001 6.9889 × 10 4 3.3333 × 10 4 6.6901 × 10 4 3.3199 × 10 4
0.01 2.8873 × 10 3 1.3784 × 10 3 2.8574 × 10 3 1.3744 × 10 3
0.1 2.4771 × 10 2 1.1834 × 10 2 2.4742 × 10 2 1.1829 × 10 2
15 2 0 0.008 1.6829 × 10 4 8.5675 × 10 5 0.009 1.6508 × 10 4 8.5114 × 10 5
0.001 4.1572 × 10 4 2.0592 × 10 4 3.9821 × 10 4 2.0389 × 10 4
0.01 2.6657 × 10 3 1.2901 × 10 3 2.6428 × 10 3 1.2873 × 10 3
0.1 2.5165 × 10 2 1.2134 × 10 2 2.5142 × 10 2 1.2131 × 10 2
20 2 0 0.009 8.2212 × 10 5 4.0938 × 10 5 0.010 8.4842 × 10 5 4.0896 × 10 5
0.001 3.2011 × 10 4 1.6265 × 10 4 3.0582 × 10 4 1.6079 × 10 4
0.01 2.5562 × 10 3 1.2661 × 10 3 2.5419 × 10 3 1.2638 × 10 3
0.1 2.4917 × 10 2 1.2304 × 10 2 2.4902 × 10 2 1.2301 × 10 2
25 2 0 0.010 3.9177 × 10 5 1.9537 × 10 5 0.011 3.7677 × 10 5 1.9476 × 10 5
0.001 2.7922 × 10 4 1.4207 × 10 4 2.7153 × 10 4 1.4024 × 10 4
0.01 2.5277 × 10 3 1.2572 × 10 3 2.5185 × 10 3 1.2552 × 10 3
0.1 2.5027 × 10 2 1.2411 × 10 2 2.5018 × 10 2 1.2409 × 10 2
Table 4. The effect of noise on error estimates of Example 4 for different values of N and letting α 1 = 1.85 , α 2 = 1.65 and α 3 = 1.45 .
Table 4. The effect of noise on error estimates of Example 4 for different values of N and letting α 1 = 1.85 , α 2 = 1.65 and α 3 = 1.45 .
N σ Wave Model Damped Wave Model
c ϵ ϵ r c ϵ ϵ r
5 4 0 0.030 6.9620 × 10 5 1.2229 × 10 5 0.010 5.9004 × 10 5 1.0412 × 10 5
0.001 8.5245 × 10 5 1.4963 × 10 5 7.4629 × 10 5 1.3117 × 10 5
0.01 2.2587 × 10 4 3.9592 × 10 5 2.1525 × 10 4 3.7679 × 10 5
0.1 1.6321 × 10 3 2.8600 × 10 4 1.6215 × 10 3 2.8406 × 10 4
7 4 0 0.035 2.7000 × 10 5 5.7760 × 10 6 0.014 2.4669 × 10 5 5.2211 × 10 6
0.001 4.2625 × 10 5 8.9208 × 10 6 4.0294 × 10 5 8.3482 × 10 6
0.01 1.8325 × 10 4 3.7324 × 10 5 1.8091 × 10 4 3.6730 × 10 5
0.1 1.5895 × 10 3 3.2153 × 10 4 1.5871 × 10 3 3.2093 × 10 4
9 4 0 0.040 1.6106 × 10 5 3.3205 × 10 6 0.018 1.7590 × 10 5 3.1765 × 10 6
0.001 3.1488 × 10 5 6.4778 × 10 6 3.2283 × 10 5 6.4089 × 10 6
0.01 1.7211 × 10 4 3.6879 × 10 5 1.7290 × 10 4 3.6873 × 10 5
0.1 1.5783 × 10 3 3.4274 × 10 4 1.5791 × 10 3 3.4275 × 10 4
11 4 0 0.045 8.8645 × 10 6 1.9753 × 10 6 0.020 7.6517 × 10 6 1.7709 × 10 6
0.001 2.1782 × 10 5 5.0290 × 10 6 2.3160 × 10 5 5.2187 × 10 6
0.01 1.6139 × 10 4 3.6821 × 10 5 1.6378 × 10 4 3.7177 × 10 5
0.1 1.5676 × 10 3 3.5682 × 10 4 1.5700 × 10 3 3.5720 × 10 4
Table 5. Error estimates, condition numbers, CPU times convergence rate of Example 2 by letting n c = 10 and different values of N and several fractional orders α 1 and α 2 .
Table 5. Error estimates, condition numbers, CPU times convergence rate of Example 2 by letting n c = 10 and different values of N and several fractional orders α 1 and α 2 .
( α 1 , α 2 ) NWave Model Damped Wave Model
c ϵ ϵ r CN Time R c ϵ ϵ r CN Time R
( 1.5 , 1.5 ) 5 3 0.006 4.8054 × 10 4 1.3983 × 10 4 2.4132 × 10 3 0.14 0.008 4.8850 × 10 4 1.3968 × 10 4 2.9502 × 10 3 0.17
10 3 0.009 1.5822 × 10 4 3.8986 × 10 5 1.1431 × 10 6 1.08 1.60 0.009 2.4934 × 10 4 6.3957 × 10 5 1.0003 × 10 6 1.24 0.97
15 3 0.011 5.6943 × 10 5 1.7840 × 10 5 9.0793 × 10 6 3.83 2.52 0.011 1.3405 × 10 4 4.1633 × 10 5 1.0522 × 10 7 3.93 1.53
20 3 0.016 3.9691 × 10 5 1.1626 × 10 5 2.4709 × 10 8 9.95 1.25 0.016 6.7846 × 10 5 2.0873 × 10 5 3.2388 × 10 8 10.36 2.36
( 1.4 , 1.8 ) 5 3 0.008 3.7221 × 10 4 1.0343 × 10 4 2.4408 × 10 3 0.17 0.009 3.7560 × 10 4 1.0388 × 10 4 2.8029 × 10 3 0.19
10 3 0.010 7.1562 × 10 5 2.2577 × 10 5 1.0923 × 10 6 1.02 2.37 0.010 7.8547 × 10 5 2.2794 × 10 5 1.6189 × 10 6 1.03 2.25
15 3 0.013 3.1481 × 10 5 8.5817 × 10 6 2.3637 × 10 7 3.80 2.18 0.013 3.2378 × 10 5 8.8020 × 10 6 2.6136 × 10 7 3.86 2.23
20 3 0.020 2.4336 × 10 5 4.4087 × 10 6 3.3440 × 10 8 10.03 1.41 0.020 2.1563 × 10 5 4.4523 × 10 6 4.5045 × 10 8 10.20 2.08
( 1.9 , 1.5 ) 5 3 0.008 3.1363 × 10 4 8.4538 × 10 5 2.5236 × 10 3 0.17 0.009 3.1664 × 10 4 8.5260 × 10 5 2.8063 × 10 3 0.18
10 3 0.010 6.1541 × 10 5 1.8819 × 10 5 9.4970 × 10 5 1.03 2.34 0.010 6.6609 × 10 5 1.8938 × 10 5 9.1129 × 10 5 1.04 2.24
15 3 0.013 2.3758 × 10 5 7.1676 × 10 6 8.5077 × 10 6 3.58 2.34 0.013 2.4072 × 10 5 7.2265 × 10 6 8.3153 × 10 6 3.84 2.51
20 3 0.020 1.2159 × 10 5 3.3100 × 10 6 3.9961 × 10 7 10.08 2.32 0.020 1.2487 × 10 5 3.3356 × 10 6 3.7771 × 10 7 10.21 2.28
Table 6. Error estimates for N x = 20 2 of Example 2 by letting c = 0.017 for wave model and c = 0.020 for damped wave model, n c = 10 , different values of N t and several fractional orders α 1 and α 2 .
Table 6. Error estimates for N x = 20 2 of Example 2 by letting c = 0.017 for wave model and c = 0.020 for damped wave model, n c = 10 , different values of N t and several fractional orders α 1 and α 2 .
( α 1 , α 2 ) N t Wave Model Damped Wave Model
ϵ ϵ r ϵ ϵ r
( 1.80 , 1.70 ) 5 4.7343 × 10 3 1.4830 × 10 3 8.3832 × 10 2 1.6320 × 10 3
10 4.7001 × 10 3 1.5718 × 10 3 4.7465 × 10 3 1.5801 × 10 3
15 1.6565 × 10 5 4.9223 × 10 6 1.6170 × 10 5 4.7275 × 10 6
20 9.2334 × 10 6 2.8096 × 10 6 9.9772 × 10 6 3.3610 × 10 6
( 1.60 , 1.90 ) 5 4.5883 × 10 3 1.4206 × 10 3 5.7820 × 10 3 1.4226 × 10 3
10 4.5549 × 10 3 1.4870 × 10 3 4.6549 × 10 3 1.5537 × 10 3
15 1.7864 × 10 5 5.5979 × 10 6 1.6792 × 10 5 5.2939 × 10 6
20 1.0684 × 10 5 2.9493 × 10 6 1.0694 × 10 5 3.2222 × 10 6
( 1.90 , 1.90 ) 5 3.5657 × 10 3 1.0914 × 10 3 3.7033 × 10 3 1.2397 × 10 3
10 3.5159 × 10 3 1.1562 × 10 3 3.6942 × 10 3 1.2102 × 10 3
15 1.7359 × 10 5 4.9861 × 10 6 1.6265 × 10 5 4.7185 × 10 6
20 1.0300 × 10 5 2.7453 × 10 6 9.8631 × 10 6 2.5639 × 10 6
Table 7. The effect of noise on error estimates of Example 2 for different values of N and letting α 1 = 1.85 and α 2 = 1.45 .
Table 7. The effect of noise on error estimates of Example 2 for different values of N and letting α 1 = 1.85 and α 2 = 1.45 .
N σ Wave Model Damped Wave Model
c ϵ ϵ r c ϵ ϵ r
5 3 0 0.008 3.4082 × 10 4 9.3084 × 10 5 0.009 3.4392 × 10 4 9.3683 × 10 5
0.001 4.0332 × 10 4 1.0973 × 10 4 4.0642 × 10 4 1.1020 × 10 4
0.01 9.6582 × 10 4 2.6043 × 10 4 9.6892 × 10 4 2.6049 × 10 4
0.1 6.5908 × 10 3 1.7720 × 10 3 6.5939 × 10 3 1.7718 × 10 3
10 3 0 0.010 6.4696 × 10 5 2.0480 × 10 5 0.010 6.9680 × 10 5 2.1079 × 10 5
0.001 1.2473 × 10 5 4.0433 × 10 5 1.2972 × 10 4 4.0640 × 10 5
0.01 6.6509 × 10 4 2.2138 × 10 4 6.7008 × 10 4 2.2125 × 10 4
0.1 6.0687 × 10 3 2.0322 × 10 3 6.0736 × 10 3 2.0321 × 10 3
15 3 0 0.015 3.1420 × 10 5 7.6784 × 10 6 0.015 6.8234 × 10 5 1.0182 × 10 5
0.001 8.2470 × 10 5 2.8254 × 10 5 8.4454 × 10 5 2.8972 × 10 5
0.01 6.4478 × 10 4 2.1932 × 10 4 6.4691 × 10 4 2.1934 × 10 4
0.1 6.2697 × 10 3 2.1320 × 10 3 6.2719 × 10 3 2.1319 × 10 3
20 3 0 0.020 1.2032 × 10 5 3.5863 × 10 6 0.020 1.2386 × 10 5 3.6963 × 10 6
0.001 6.7756 × 10 5 2.3326 × 10 5 6.8420 × 10 5 2.3303 × 10 5
0.01 6.2523 × 10 4 2.1953 × 10 4 6.2589 × 10 4 2.1948 × 10 4
0.1 6.2000 × 10 3 2.1837 × 10 3 6.2006 × 10 3 2.1836 × 10 3
Table 8. Error estimates, condition numbers, CPU times and convergence rate of Example 4 by letting n c = 15 and different values of N and several fractional orders α 1 , α 2 , α 3 .
Table 8. Error estimates, condition numbers, CPU times and convergence rate of Example 4 by letting n c = 15 and different values of N and several fractional orders α 1 , α 2 , α 3 .
( α 1 , α 2 , α 3 ) NWave Model Damped Wave Model
c ϵ ϵ r CN Time R c ϵ ϵ r CN Time R
( 1.5 , 1.5 , 1.5 ) 5 4 0.030 3.3885 × 10 4 1.9901 × 10 5 1.9289 × 10 3 0.38 0.009 7.9669 × 10 5 1.4917 × 10 5 2.1248 × 10 3 0.389
7 4 0.035 3.4788 × 10 5 7.4475 × 10 6 6.5765 × 10 4 2.00 6.76 0.011 3.7856 × 10 5 7.4366 × 10 6 6.4930 × 10 4 2.02 2.21
9 4 0.074 1.8830 × 10 5 4.3033 × 10 6 5.5365 × 10 5 6.91 2.44 0.014 2.0860 × 10 5 4.2544 × 10 6 5.9485 × 10 5 7.01 2.37
11 4 0.099 1.1783 × 10 5 2.7394 × 10 6 3.0414 × 10 6 19.03 2.33 0.019 1.8689 × 10 5 3.0590 × 10 6 2.5062 × 10 6 19.42 0.54
( 1.8 , 1.7 , 1.6 ) 5 4 0.030 6.5181 × 10 5 1.1376 × 10 5 2.5678 × 10 3 0.35 0.010 5.4917 × 10 5 9.5723 × 10 6 2.7288 × 10 3 0.36
7 4 0.037 2.5089 × 10 5 5.3738 × 10 6 2.6462 × 10 4 1.79 2.83 0.014 2.2968 × 10 5 4.7842 × 10 6 2.6368 × 10 4 1.81 2.59
9 4 0.041 1.4295 × 10 5 3.0710 × 10 6 6.9574 × 10 5 6.42 2.23 0.017 1.9604 × 10 5 3.3110 × 10 6 7.5516 × 10 5 6.55 0.63
11 4 0.050 9.4011 × 10 6 1.9582 × 10 6 9.1183 × 10 6 18.47 2.08 0.020 7.6139 × 10 6 1.5645 × 10 6 7.1603 × 10 6 20.01 4.71
( 1.5 , 1.9 , 1.7 ) 5 4 0.020 6.0536 × 10 5 1.0547 × 10 5 2.7232 × 10 3 0.35 0.011 5.5235 × 10 5 9.6439 × 10 6 2.8963 × 10 3 0.36
7 4 0.030 2.5729 × 10 5 5.3827 × 10 6 2.6185 × 10 4 1.75 2.54 0.015 2.3448 × 10 5 4.8658 × 10 6 2.6109 × 10 4 1.90 2.54
9 4 0.035 1.6602 × 10 5 3.9895 × 10 6 4.9197 × 10 5 6.51 1.74 0.018 1.7139 × 10 5 3.8854 × 10 6 9.4595 × 10 5 7.23 1.24
11 4 0.035 1.1607 × 10 5 2.3294 × 10 6 4.3370 × 10 6 18.11 1.78 0.021 8.3998 × 10 6 1.7479 × 10 6 3.8080 × 10 6 22.24 3.55
Table 9. Error estimates for N x = 12 3 of Example 4 by letting c = 0.060 for wave model and c = 0.025 , n c = 15 , different values of N t and several fractional orders α 1 , α 2 , α 3 .
Table 9. Error estimates for N x = 12 3 of Example 4 by letting c = 0.060 for wave model and c = 0.025 , n c = 15 , different values of N t and several fractional orders α 1 , α 2 , α 3 .
( α 1 , α 2 , α 3 ) N t Wave Model Damped Wave Model
ϵ ϵ r ϵ ϵ r
( 1.7 , 1.7 , 1.7 ) 3 9.2461 × 10 4 1.8013 × 10 4 9.4060 × 10 4 1.8327 × 10 4
6 8.7935 × 10 4 2.0139 × 10 4 9.1323 × 10 4 2.0482 × 10 4
9 1.4375 × 10 5 3.2206 × 10 6 1.6470 × 10 5 2.9951 × 10 6
12 1.2491 × 10 5 2.1729 × 10 6 5.6840 × 10 6 1.2599 × 10 6
( 1.5 , 1.7 , 1.9 ) 3 8.9200 × 10 4 1.7432 × 10 4 9.0557 × 10 4 1.7705 × 10 4
6 8.4834 × 10 4 1.9489 × 10 4 8.7932 × 10 4 1.9787 × 10 4
9 2.0456 × 10 5 4.8243 × 10 6 1.5055 × 10 5 3.8044 × 10 6
12 9.2618 × 10 6 2.0153 × 10 6 7.6079 × 10 6 1.5858 × 10 6
( 1.8 , 1.7 , 1.6 ) 3 9.1571 × 10 4 1.7857 × 10 4 9.3117 × 10 4 1.8162 × 10 4
6 8.7089 × 10 4 1.9965 × 10 4 9.0402 × 10 4 2.0297 × 10 4
9 1.9037 × 10 5 4.5341 × 10 6 2.2248 × 10 5 3.9412 × 10 6
12 1.1909 × 10 5 2.1102 × 10 6 6.2373 × 10 6 1.3494 × 10 6
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Raei, M.; Cuomo, S. An Efficient Localized Meshless Method Based on the Space–Time Gaussian RBF for High-Dimensional Space Fractional Wave and Damped Equations. Axioms 2021, 10, 259. https://doi.org/10.3390/axioms10040259

AMA Style

Raei M, Cuomo S. An Efficient Localized Meshless Method Based on the Space–Time Gaussian RBF for High-Dimensional Space Fractional Wave and Damped Equations. Axioms. 2021; 10(4):259. https://doi.org/10.3390/axioms10040259

Chicago/Turabian Style

Raei, Marzieh, and Salvatore Cuomo. 2021. "An Efficient Localized Meshless Method Based on the Space–Time Gaussian RBF for High-Dimensional Space Fractional Wave and Damped Equations" Axioms 10, no. 4: 259. https://doi.org/10.3390/axioms10040259

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop