-
Quantum Recurrent Neural Networks with Encoder-Decoder for Time-Dependent Partial Differential Equations
Authors:
Yuan Chen,
Abdul Khaliq,
Khaled M. Furati
Abstract:
Nonlinear time-dependent partial differential equations are essential in modeling complex phenomena across diverse fields, yet they pose significant challenges due to their computational complexity, especially in higher dimensions. This study explores Quantum Recurrent Neural Networks within an encoder-decoder framework, integrating Variational Quantum Circuits into Gated Recurrent Units and Long…
▽ More
Nonlinear time-dependent partial differential equations are essential in modeling complex phenomena across diverse fields, yet they pose significant challenges due to their computational complexity, especially in higher dimensions. This study explores Quantum Recurrent Neural Networks within an encoder-decoder framework, integrating Variational Quantum Circuits into Gated Recurrent Units and Long Short-Term Memory networks. Using this architecture, the model efficiently compresses high-dimensional spatiotemporal data into a compact latent space, facilitating more efficient temporal evolution. We evaluate the algorithms on the Hamilton-Jacobi-Bellman equation, Burgers' equation, the Gray-Scott reaction-diffusion system, and the three dimensional Michaelis-Menten reaction-diffusion equation. The results demonstrate the superior performance of the quantum-based algorithms in capturing nonlinear dynamics, handling high-dimensional spaces, and providing stable solutions, highlighting their potential as an innovative tool in solving challenging and complex systems.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
Rational Approximations for Oscillatory Two-Parameter Mittag-Leffler Function
Authors:
Aljowhara H. Honain,
Khaled M. Furati,
Ibrahim O. Sarumi,
Abdul Q. M. Khaliq
Abstract:
The two-parameter Mittag-Leffler function $E_{α, β}$ is of fundamental importance in fractional calculus. It appears frequently in the solutions of fractional differential and integral equations. Nonetheless, this vital function is often expensive to compute. Several attempts have been made to construct cost-effective and accurate approximations. These attempts focus mainly on the completely monot…
▽ More
The two-parameter Mittag-Leffler function $E_{α, β}$ is of fundamental importance in fractional calculus. It appears frequently in the solutions of fractional differential and integral equations. Nonetheless, this vital function is often expensive to compute. Several attempts have been made to construct cost-effective and accurate approximations. These attempts focus mainly on the completely monotone Mittag-Leffler functions. However, when $α> 1$ the monotonicity property is largely lost and as such roots and oscillations are exhibited. Consequently, existing approximants constructed mainly for $α\in (0,1)$ often fail to capture this oscillatory behavior. In this paper, we construct computationally efficient and accurate rational approximants for $E_{α, β}(-t)$, $t \ge 0$, with $α\in (1,2)$. This construction is fundamentally based on the decomposition of Mittag-Leffler function with real roots into one without and a polynomial. Following which new approximants are constructed by combining the global Padé approximation with a polynomial of appropriate degree. The rational approximants are extended to approximation of matrix Mittag-Leffler and different approaches to achieve efficient implementation for matrix arguments are discussed. Numerical experiments are provided to illustrate the significant accuracy improvement achieved by the proposed approximants.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Identification and prediction of time-varying parameters of COVID-19 model: a data-driven deep learning approach
Authors:
Jie Long,
Abdul Khaliq,
Khaled Furati
Abstract:
Data-driven deep learning provides efficient algorithms for parameter identification of epidemiology models. Unlike the constant parameters, the complexity of identifying time-varying parameters is largely increased. In this paper, a variant of physics-informed neural network (PINN) is adopted to identify the time-varying parameters of the Susceptible-Infectious-Recovered-Deceased model for the sp…
▽ More
Data-driven deep learning provides efficient algorithms for parameter identification of epidemiology models. Unlike the constant parameters, the complexity of identifying time-varying parameters is largely increased. In this paper, a variant of physics-informed neural network (PINN) is adopted to identify the time-varying parameters of the Susceptible-Infectious-Recovered-Deceased model for the spread of COVID-19 by fitting daily reported cases. The learned parameters are verified by utilizing an ordinary differential equation solver to compute the corresponding solutions of this compartmental model. The effective reproduction number based on these parameters is calculated. Long Short-Term Memory (LSTM) neural network is employed to predict the future weekly time-varying parameters. The numerical simulations demonstrate that PINN combined with LSTM yields accurate and effective results.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Highly Accurate Global Padé Approximations of Generalized Mittag-Leffler Function and its Inverse
Authors:
Ibrahim O. Sarumi,
Khaled M. Furati,
Abdul Q. M. Khaliq
Abstract:
The two-parametric Mittag-Leffler function (MLF), $E_{α,β}$, is fundamental to the study and simulation of fractional differential and integral equations. However, these functions are computationally expensive and their numerical implementations are challenging. In this paper, we present a unified framework for developing global rational approximants of $E_{α,β}(-x)$, $x>0$, with…
▽ More
The two-parametric Mittag-Leffler function (MLF), $E_{α,β}$, is fundamental to the study and simulation of fractional differential and integral equations. However, these functions are computationally expensive and their numerical implementations are challenging. In this paper, we present a unified framework for developing global rational approximants of $E_{α,β}(-x)$, $x>0$, with $\{ (α,β): 0 < α\leq 1, β\geq α, (α,β) \ne (1,1) \}$. This framework is based on the series definition and the asymptotic expansion at infinity. In particular, we develop three types of fourth-order global rational approximations and discuss how they could be used to approximate the inverse function. Unlike existing approximations which are either limited to MLF of one parameter or of low accuracy for the two-parametric MLF, our rational approximants are of fourth order accuracy and have low percentage error globally. For efficient utilization, we study the partial fraction decomposition and use them to approximate the two-parametric MLF with a matrix argument which arise in the solutions of fractional evolution differential and integral equations.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Inverse source in two-parameter anomalous diffusion, numerical algorithms and simulations over graded time-meshes
Authors:
Khaled M. Furati,
Kassem Mustapha,
Ibrahim O. Sarumi,
Olaniyi S. Iyiola
Abstract:
We consider an inverse source two-parameter sub-diffusion model subject to a nonlocal initial condition. The problem models several physical processes, among them are the microwave heating and light propagation in photoelectric cells. A bi-orthogonal pair of bases is employed to construct a series representation of the solution and a Volterra integral equation for the source term. We develop a num…
▽ More
We consider an inverse source two-parameter sub-diffusion model subject to a nonlocal initial condition. The problem models several physical processes, among them are the microwave heating and light propagation in photoelectric cells. A bi-orthogonal pair of bases is employed to construct a series representation of the solution and a Volterra integral equation for the source term. We develop a numerical algorithm for approximating the unknown time-dependent source term. Due to the singularity of the solution near $t=0$, a graded mesh is used to improve the convergence rate. Numerical experiments are provided to illustrate the expected analytical order of convergence.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
A finite difference method for space fractional differential equations with variable diffusivity coefficient
Authors:
K. Mustapha,
K. Furati,
O. M. Knio,
O. Le Maitre
Abstract:
Anomalous diffusion is a phenomenon that cannot be modeled accurately by second-order diffusion equations, but is better described by fractional diffusion models. The nonlocal nature of the fractional diffusion operators makes substantially more difficult the mathematical analysis of these models and the establishment of suitable numerical schemes. This paper proposes and analyzes the first finite…
▽ More
Anomalous diffusion is a phenomenon that cannot be modeled accurately by second-order diffusion equations, but is better described by fractional diffusion models. The nonlocal nature of the fractional diffusion operators makes substantially more difficult the mathematical analysis of these models and the establishment of suitable numerical schemes. This paper proposes and analyzes the first finite difference method for solving {\em variable-coefficient} fractional differential equations, with two-sided fractional derivatives, in one-dimensional space. The proposed scheme combines first-order forward and backward Euler methods for approximating the left-sided fractional derivative when the right-sided fractional derivative is approximated by two consecutive applications of the first-order backward Euler method. Our finite difference scheme reduces to the standard second-order central difference scheme in the absence of fractional derivatives. The existence and uniqueness of the solution for the proposed scheme are proved, and truncation errors of order $h$ are demonstrated, where $h$ denotes the maximum space step size. The numerical tests illustrate the global $O(h)$ accuracy of our scheme, except for nonsmooth cases which, as expected, have deteriorated convergence rates.
△ Less
Submitted 7 March, 2018; v1 submitted 3 June, 2017;
originally announced June 2017.
-
Non-existence for fractionally damped fractional differential problems
Authors:
Mohammed Kassim,
Khaled M. Furati,
Nasser-eddine Tatar
Abstract:
In this paper, we are concerned with a fractional differential inequality containing a lower order fractional derivative and a polynomial source term in the right hand side. A non-existence of non-trivial global solutions result is proved in an appropriate space by means of the test-function method. The range of blow up is found to depend only on the lower order derivative. This is in line with th…
▽ More
In this paper, we are concerned with a fractional differential inequality containing a lower order fractional derivative and a polynomial source term in the right hand side. A non-existence of non-trivial global solutions result is proved in an appropriate space by means of the test-function method. The range of blow up is found to depend only on the lower order derivative. This is in line with the well-known fact for an internally weakly damped wave equation that solutions will converge to solutions of the parabolic part.
△ Less
Submitted 24 May, 2016;
originally announced May 2016.
-
An inverse source problem for a two-parameter anomalous diffusion with local time datum
Authors:
Khaled M. Furati,
Olaniyi S. Iyiola,
Kassem Mustapha
Abstract:
We determine the space-dependent source term for a two-parameter fractional diffusion problem subject to nonlocal non-self-adjoint boundary conditions and two local time-distinct datum. A bi-orthogonal pair of bases is used to construct a series representation of the solution and the source term. The two local time conditions spare us from measuring the fractional integral initial conditions commo…
▽ More
We determine the space-dependent source term for a two-parameter fractional diffusion problem subject to nonlocal non-self-adjoint boundary conditions and two local time-distinct datum. A bi-orthogonal pair of bases is used to construct a series representation of the solution and the source term. The two local time conditions spare us from measuring the fractional integral initial conditions commonly associated with fractional derivatives. On the other hand, they lead to delicate $2\times 2$ linear systems for the Fourier coefficients of the source term and of the fractional integral of the solution at $t=0$. The asymptotic behavior and estimates of the generalized Mittag-Leffler function are used to establish the solvability of these linear systems, and to obtain sufficient conditions for the existence of our construction. Analytical and numerical examples are provided.
△ Less
Submitted 23 April, 2016;
originally announced April 2016.
-
A discontinuous Galerkin method for time fractional diffusion equations with variable coefficients
Authors:
K. Mustapha,
B. Abdallah,
K. M. Furati,
M. Nour
Abstract:
We propose a piecewise-linear, time-stepping discontinuous Galerkin method to solve numerically a time fractional diffusion equation involving Caputo derivative of order $μ\in (0,1)$ with variable coefficients. For the spatial discretization, we apply the standard piecewise linear continuous Galerkin method. Well-posedness of the fully discrete scheme and error analysis will be shown. For a time i…
▽ More
We propose a piecewise-linear, time-stepping discontinuous Galerkin method to solve numerically a time fractional diffusion equation involving Caputo derivative of order $μ\in (0,1)$ with variable coefficients. For the spatial discretization, we apply the standard piecewise linear continuous Galerkin method. Well-posedness of the fully discrete scheme and error analysis will be shown. For a time interval~$(0,T)$ and a spatial domain~$Ω$, our analysis suggest that the error in $L^2\bigr((0,T),L^2(Ω)\bigr)$-norm is of order $O(k^{2-\fracμ{2}}+h^2)$ (that is, short by order $\fracμ{2}$ from being optimal in time) where $k$ denotes the maximum time step, and $h$ is the maximum diameter of the elements of the (quasi-uniform) spatial mesh. However, our numerical experiments indicate optimal $O(k^{2}+h^2)$ error bound in the stronger $L^\infty\bigr((0,T),L^2(Ω)\bigr)$-norm. Variable time steps are used to compensate the singularity of the continuous solution near $t=0$.
△ Less
Submitted 31 October, 2015;
originally announced November 2015.
-
A discontinuous Petrov-Galerkin method for time-fractional diffusion equations
Authors:
Kassem Mustapha,
Basheer Abdallah,
Khaled Furati
Abstract:
We propose and analyze a time-stepping discontinuous Petrov-Galerkin method combined with the continuous conforming finite element method in space for the numerical solution of time-fractional subdiffusion problems. We prove the existence, uniqueness and stability of approximate solutions, and derive error estimates. To achieve high order convergence rates from the time discretizations, the time m…
▽ More
We propose and analyze a time-stepping discontinuous Petrov-Galerkin method combined with the continuous conforming finite element method in space for the numerical solution of time-fractional subdiffusion problems. We prove the existence, uniqueness and stability of approximate solutions, and derive error estimates. To achieve high order convergence rates from the time discretizations, the time mesh is graded appropriately near~$t=0$ to compensate the singular (temporal) behaviour of the exact solution near $t=0$ caused by the weakly singular kernel, but the spatial mesh is quasiuniform. In the $L_\infty((0,T);L_2(Ω))$-norm ($(0,T)$ is the time domain and $Ω$ is the spatial domain), for sufficiently graded time meshes, a global convergence of order $k^{m+α/2}+h^{r+1}$ is shown, where $0<α<1$ is the fractional exponent, $k$ is the maximum time step, $h$ is the maximum diameter of the spatial finite elements, and $m$ and $r$ are the degrees of approximate solutions in time and spatial variables, respectively. Numerical experiments indicate that our theoretical error bound is pessimistic. We observe that the error is of order ~$k^{m+1}+h^{r+1}$, that is, optimal in both variables.
△ Less
Submitted 5 September, 2014;
originally announced September 2014.
