A fast method for variable-order space-fractional diffusion equations
Pith reviewed 2026-05-25 02:18 UTC · model grok-4.3
The pith
A sum of Toeplitz matrices scaled by diagonals approximates the stiffness matrix of variable-order space-fractional diffusion equations with asymptotic consistency.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the coefficient matrix from the collocation discretization can be replaced by a sum of Toeplitz matrices multiplied by diagonal matrices without losing asymptotic consistency with the original variable-order operator, thereby recovering fast matrix-vector multiplication via the FFT while solving the homogeneous Dirichlet problem at the reduced memory and time costs stated above.
What carries the argument
The Toeplitz-diagonal sum approximation to the stiffness matrix, which restores fast FFT-based arithmetic while accounting for the spatially varying fractional order.
If this is right
- Matrix-vector products can be performed in O(N log N) time per summand using the FFT, yielding the overall O(k N log³ N) complexity after the divided-and-conquer assembly.
- The method inherits the convergence rate of the underlying indirect collocation scheme because the approximation error vanishes asymptotically.
- Storage is reduced from O(N²) to O(kN log² N) because only the generating vectors of the Toeplitz blocks and the diagonal scalings need to be kept.
- The same decomposition applies uniformly across all time steps when the spatial operator is time-independent.
Where Pith is reading between the lines
- The same matrix-structure recovery may apply to other variable-coefficient fractional operators that destroy Toeplitz symmetry, such as those with spatially varying diffusivity.
- Combining the approximation with existing fast preconditioners for constant-order fractional problems could further reduce iteration counts inside the solver.
- The O(k N log³ N) scaling suggests the method remains practical when the variable order itself is approximated by a moderate number k of smooth basis functions.
Load-bearing premise
The space-dependent variable order permits an accurate and asymptotically consistent decomposition of the stiffness matrix into a sum of Toeplitz matrices scaled by diagonal matrices without introducing errors that invalidate the collocation solution.
What would settle it
Direct computation of the relative Frobenius-norm difference between the true stiffness matrix and its Toeplitz-diagonal approximation on successively refined grids; the difference must tend to zero if the consistency claim holds.
read the original abstract
We develop a fast divided-and-conquer indirect collocation method for the homogeneous Dirichlet boundary value problem of variable-order space-fractional diffusion equations. Due to the impact of the space-dependent variable order, the resulting stiffness matrix of the numerical approximation does not have a Toeplitz-like structure. In this paper we derive a fast approximation of the coefficient matrix by the means of a sum of Toeplitz matrices multiplied by diagonal matrices. We show that the approximation is asymptotically consistent with the original problem, which requires $O(kN\log^2 N)$ memory and $O(k N\log^3 N)$ computational complexity with $N$ and $k$ being the numbers of unknowns and the approximants, respectively. Numerical experiments are presented to demonstrate the effectiveness and the efficiency of the proposed method.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a fast divided-and-conquer indirect collocation method for the homogeneous Dirichlet problem of variable-order space-fractional diffusion equations. Because the space-dependent order destroys the Toeplitz structure of the stiffness matrix, the authors derive an approximation of this matrix as a sum of Toeplitz matrices each multiplied by a diagonal matrix. They claim this approximation is asymptotically consistent with the original operator, yielding O(k N log² N) memory and O(k N log³ N) computational complexity (N unknowns, k approximants), and support the claims with numerical experiments.
Significance. If the asymptotic consistency of the Toeplitz-diagonal decomposition holds with a boundary-uniform error bound, the method would supply a practical fast solver for variable-order fractional diffusion problems whose dense matrices otherwise preclude large-scale computation. The work correctly identifies the loss of translation invariance and supplies explicit complexity bounds together with numerical verification of efficiency.
major comments (2)
- [consistency analysis section] The central claim of asymptotic consistency (abstract and the consistency analysis section) does not supply an explicit bound on the perturbation induced by the Toeplitz-diagonal decomposition that remains uniform up to the boundary points once the homogeneous Dirichlet conditions are enforced by zeroing the first and last rows/columns. Without such a bound, it is unclear whether the collocation solution retains its expected convergence rate in the discrete H¹ or L² norm.
- [section deriving the fast matrix-vector product] The error analysis for the divided-and-conquer indirect collocation scheme (the section deriving the fast matrix-vector product) treats the approximation error as asymptotically negligible, yet provides no quantitative estimate of how the variable-order function affects the consistency error near x=0 and x=1. This estimate is load-bearing for the claimed O(k N log³ N) complexity to hold without additional terms that could dominate for non-constant order.
minor comments (2)
- [introduction] Notation for the variable order function α(x) and the number of approximants k should be introduced once in the introduction and used consistently thereafter.
- [numerical experiments section] The numerical experiments section would benefit from a table reporting observed convergence rates versus the theoretical rates predicted by the consistency analysis.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comments on the consistency and error analysis. We address the two major comments below.
read point-by-point responses
-
Referee: [consistency analysis section] The central claim of asymptotic consistency (abstract and the consistency analysis section) does not supply an explicit bound on the perturbation induced by the Toeplitz-diagonal decomposition that remains uniform up to the boundary points once the homogeneous Dirichlet conditions are enforced by zeroing the first and last rows/columns. Without such a bound, it is unclear whether the collocation solution retains its expected convergence rate in the discrete H¹ or L² norm.
Authors: We agree that an explicit boundary-uniform perturbation bound after row/column zeroing would make the argument clearer. In the revised manuscript we will add a lemma in the consistency analysis section that derives such a bound, showing that the Toeplitz-diagonal approximation error remains controlled uniformly up to the boundary points and does not degrade the expected convergence rates. revision: yes
-
Referee: [section deriving the fast matrix-vector product] The error analysis for the divided-and-conquer indirect collocation scheme (the section deriving the fast matrix-vector product) treats the approximation error as asymptotically negligible, yet provides no quantitative estimate of how the variable-order function affects the consistency error near x=0 and x=1. This estimate is load-bearing for the claimed O(k N log³ N) complexity to hold without additional terms that could dominate for non-constant order.
Authors: We will strengthen the error analysis in that section by adding a quantitative estimate that bounds the contribution of the variable-order function to the local consistency error near the endpoints. The new estimate will confirm that this term remains of lower order and does not alter the overall O(k N log³ N) complexity. revision: yes
Circularity Check
No significant circularity; derivation is constructive and self-contained
full rationale
The paper derives an approximation of the stiffness matrix as a sum of Toeplitz matrices scaled by diagonals for the variable-order operator, then proves asymptotic consistency with the original collocation problem. This is a standard constructive approximation followed by error analysis, not a reduction to fitted parameters, self-definitions, or self-citation chains. No load-bearing steps reduce by construction to the inputs; the consistency claim is independent of the final complexity bounds. The approach relies on external matrix techniques without circularity.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Bai, Z., Lu, K., Pan, J.: Diagonal and Toeplitz splitting i teration methods for diagonal- plus-Toeplitz linear systems from spatial fractional diffu sion equations. Numer. Lin. Al- gebra Appl. 24, e2093(2017)
work page 2017
-
[2]
Bear, J.: Some experiments on dispersion. J. Geophys. Res . 66, 2455-2467(1961)
work page 1961
-
[3]
Bear, J.:Dynamics of Fluids in Porous Media. Elsevier, Ne w York(1972)
work page 1972
-
[4]
Benson, D., Schumer, R., Meerschaert, M. M., Wheatcraft, S. W.: Fractional dispersion, L´ evy motions, and the MADE tracer tests. Transport in Porou s Media. 42, 211-240(2001)
work page 2001
-
[5]
Bertaccini, D., Durastante, F.: Block structured precon ditioners in tensor form for the all-at-once solution of a finite volume fractional diffusion equation. Appl. Math. Lett. 95, 92-97(2019)
work page 2019
-
[6]
Chen, S., Liu, F., Burrage, K.: Numerical simulation of a n ew two-dimensional variable- order fractional percolation equation in non-homogeneous porous media. Comput. Math. Appl.68, 2133–2141(2014)
work page 2014
-
[7]
Del-Castillo-Negrete, D., Carreras, B. A., Lynch, V. E.: Fractional diffusion in plasma turbulence. Phys. Plasmas. 11, 3854(2004)
work page 2004
-
[8]
Boletn de la Sociedad Matemtica Mexicana
Del-Castillo-Negrete, D.: Front propagation in reactio n-diffusion systems with anomalous diffusion. Boletn de la Sociedad Matemtica Mexicana. 20, 87-105(2014)
work page 2014
-
[9]
Deng, W.: Finite element method for the space and time frac tional Fokker-Planck equa- tion. SIAM J. Numer. Anal.. 47, 204–226(2008)
work page 2008
-
[10]
Princeton University Press, Princeton, NJ, 2002
Embrechts, P., Maejima, M.: Selfsimilar Processes, Pri nceton Series in Applied Mathe- matics. Princeton University Press, Princeton, NJ, 2002
work page 2002
-
[11]
Ervin, V. J., Heuer, N., Roop, J. P.: Regularity of the sol ution to 1-D fractional order diffusion equations. Math. Comput. 87, 2273-2294(2018)
work page 2018
-
[12]
Ervin, V. J., Roop, J. P.: Variational formulation for th e stationary fractional advection dispersion equation. Numer. Meth. PDEs. 22, 558-576(2005)
work page 2005
-
[13]
Fu, H., Ng, M. K., W ang, H.: A divided-and-conquer fast fin ite difference method for space-time fractional partial differential equation. C omput. Math. Appl.. 73(6),1233- 1242(2017)
work page 2017
-
[14]
Jin, X., Lin, F., Zhao, Z.: Preconditioned iterative met hods for two-dimensional space- fractional diffusion equations. Commun. Comput. Phys. 18, 469488(2015)
work page 2015
-
[15]
Ke, R., Ng, M. K., Sun, H.: A fast direct method for block tr iangular Toeplitz-like with tri-diagonal block systems from time-fractional partial d ifferential equations. J. Comput. Phys.303(C), 203-211(2015)
work page 2015
-
[16]
Kilbas, A., Srivastava, H., Trujillo, J.: Theory and app lications of fractional differential equations. 204. Elsevier B.V., 2006
work page 2006
-
[17]
Li, C., Zhao, Z., Chen, Y. Q.: Numerical approximation of nonlinear fractional differ- ential equations with subdiffusion and superdiffusion. Comp ut. Math. Appl. 62, 855–875 (2011)
work page 2011
-
[18]
Li, Y., Chen, H., W ang, H.: A mixed-type Galerkin variati onal formulation and fast algorithms for variable-coefficient fractional diffusion eq uations. Math. Methods Appl. Sci. DOI: 10.1002/mma.4367(2017)
-
[19]
Lin, F., Yang, S., Jin, X.: Preconditioned iterative met hods for fractional diffusion equation. J. Comput. Phys. 256 , 109117(2014)
work page 2014
-
[20]
K., Sun, H.: Efficient preconditioner of one -sided space fractional diffu- sion equation[J]
Lin, X., Ng, M. K., Sun, H.: Efficient preconditioner of one -sided space fractional diffu- sion equation[J]. BIT Numer. Math.(2018)
work page 2018
-
[21]
Lin, X., Ng, M. K., Sun, H.: A Splitting Preconditioner fo r Toeplitz-Like Linear Systems Arising from Fractional Diffusion Equations. SIAMX, 38, 1580–1614(2017)
work page 2017
-
[22]
Liu, F., Anh, V., Turner, I.: Numerical solution of the sp ace fractional Fokker-Planck equation. J. Comput. Appl. Math. 166, 209–219 (2004)
work page 2004
-
[23]
M, Sikorskii, A.: Stochastic Models for Fractional Calculus
Meerschaert, M. M, Sikorskii, A.: Stochastic Models for Fractional Calculus. De Gruyter Studies in Mathematics, 2011
work page 2011
-
[24]
Metzler, R., Klafter, J.: The restaurant at the end of the random walk: recent develop- ments in the description of anomalous transport by fraction al dynamics. J. Phys. A Math. Gen.,37, R161–R208(2004)
work page 2004
-
[25]
Pan, J., Ng, M. K., W ang, H.: Fast preconditioned iterati ve methods for finite volume discretization of steady-state space-fractional diffusio n equations. Numer. Algorithms, 74, 153–173(2017) 18 Jia, Zheng and W ang
work page 2017
-
[26]
Podlubny, I.: Fractional Differential Equations.Acade mic Press, New York, 1999
work page 1999
-
[27]
Roop, J. P.: Computational aspects of FEM approximation of fractional advection dis- persion equations on bounded domains in R2. J. Comput. Appl. Math. 193, 243–268(2006)
work page 2006
-
[28]
Schumer, R., Benson, D. A, Meerschaert, M. M., Wheatcraf t, S. W.: Eulerian deriva- tion of the fractional advection-dispersion equation. J. C ontaminant Hydrology.48, 69– 88(2001)
work page 2001
-
[29]
Sun, H., Chang, A., Zhang, Y., Chen, W.: A review on variab le-order fractional dif- ferential equations: mathematical foundations, physical models, numerical methods and applications. Fract. Calc. Appl. Anal. 22, 27–59 (2019)
work page 2019
-
[30]
Sun, H., Chen, W., Chen, Y.: Variable-order fractional d ifferential operators in anoma- lous diffusion modeling. Physica A: Stat. Mech. Appl. 388 , 4586–4592(2009)
work page 2009
-
[31]
W ang, H., Du, N.: A superfast-preconditioned iterative method for steady-state space- fractional diffusion equations. J. Comput. Phys. 240, 49–57(2013)
work page 2013
-
[32]
W ang, H., W ang, K., Sircar, T.: A direct O(N log2 N ) finite difference method for frac- tional diffusion equations. J. Comput. Phys. 229, 8095-8104(2010)
work page 2010
- [33]
-
[34]
Zhao, Z, Jin, X., Lin, M.: Preconditioned iterative meth ods for space-time fractional advection-diffusion equations. J. Comput. Phys. 319, 266279(2016)
work page 2016
- [35]
-
[36]
Zhuang, P., Liu, F., Anh, V., Turner, I.: Numerical metho ds for the variable-order frac- tional advection-diffusion equation with a nonlinear sourc e term. SIAM Numer. Anal. 47, 1760–1781(2009)
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.