Efficient Krylov solvers for inverse source problem in 2D space-time fractional diffusion equation
Pith reviewed 2026-06-25 20:53 UTC · model grok-4.3
The pith
GLT-derived preconditioners for multilevel Toeplitz systems from regularized 2D fractional inverse problems produce eigenvalue clustering around one.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The proposed preconditioners based on GLT spectral analysis preserve the multilevel structure of the discretization matrices arising from the quasi-boundary regularized inverse source problem and produce a general eigenvalue clustering around one for the preconditioned sequence, thereby accelerating the convergence of GMRES in source reconstruction.
What carries the argument
GLT-based preconditioners constructed from the spectral symbol of the multilevel Toeplitz-like discretization matrices of the regularized problem.
If this is right
- GMRES convergence for source reconstruction becomes independent of mesh size once the preconditioner is applied.
- The same preconditioning strategy remains effective when the diffusion coefficient varies in space.
- The multilevel block structure is retained after preconditioning, allowing reuse of fast matrix-vector products.
- The approach extends the applicability of GLT analysis from direct to inverse problems for fractional operators.
Where Pith is reading between the lines
- The same clustering property may hold for other regularization strategies that produce similar Toeplitz-like patterns.
- Higher-dimensional or nonlinear extensions could exploit the same GLT symbol to design cheap approximate inverses.
- If the variable coefficient is smooth, the clustering radius may be bounded independently of the fractional orders.
Load-bearing premise
The GLT spectral analysis accurately captures the eigenvalue distribution of the preconditioned matrices arising from the variable-coefficient discretization of the quasi-boundary regularized problem.
What would settle it
A numerical test with variable coefficients in which the eigenvalues of the preconditioned matrix fail to cluster around one, or in which GMRES iteration counts do not decrease substantially compared with the unpreconditioned case, would falsify the claim.
read the original abstract
In this work, we consider a two-dimensional time-space fractional diffusion equation with a variable coefficient and investigate the inverse source problem of reconstructing the source term f(x,y) , after regularizing the problem using the quasi-boundary value method to mitigate ill-posedness. A finite difference discretization results in a large-scale linear system with a multilevel Toeplitz-like block structure. We perform a spectral analysis of the associated matrix sequences, employing tools from Generalized Locally Toeplitz (GLT) theory, and construct efficient preconditioners based on the GLT analysis. The proposed preconditioners preserve the multilevel structure of the discretization matrices and leads to a general eigenvalue clustering around one for the preconditioned sequence. Numerical experiments validate the theoretical findings and demonstrate that the proposed approach significantly accelerates the convergence of the GMRES method in reconstructing the source term in the two-dimensional space-time fractional diffusion equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper addresses the inverse source problem for a 2D space-time fractional diffusion equation with variable coefficient by applying quasi-boundary regularization, finite-difference discretization to multilevel Toeplitz-like systems, GLT-based spectral analysis, and construction of structure-preserving preconditioners claimed to produce eigenvalue clustering at 1, with numerical experiments showing accelerated GMRES convergence for source reconstruction.
Significance. If the GLT analysis and clustering hold for variable coefficients, the work supplies a theoretically grounded preconditioning strategy that exploits the multilevel structure for efficient solution of large ill-posed fractional inverse problems; this is potentially useful in applications requiring repeated solves of such systems. The explicit use of GLT theory to guide preconditioner design is a methodological strength.
major comments (2)
- [Spectral analysis section (GLT symbol derivation)] Spectral analysis section: the claim that the preconditioned matrix sequence exhibits 'general eigenvalue clustering around one' for variable c(x,y) requires an explicit derivation showing that the GLT symbol of the preconditioner exactly cancels the pointwise factor c(x,y) (or its regularized analogue) so that the essential range collapses to the singleton {1}. If the symbol instead retains an interval whose length scales with the oscillation of c, the clustering guarantee does not hold for general variable coefficients and the central theoretical claim is weakened.
- [Numerical experiments section] Numerical experiments section: the reported GMRES iteration counts and eigenvalue plots must be accompanied by tests on coefficients c(x,y) with controlled oscillation amplitude (e.g., c ranging over [1,10] versus nearly constant); without such tests it is unclear whether the observed clustering and acceleration are artifacts of mild variation rather than a general property.
minor comments (2)
- [Abstract] Abstract: subject-verb agreement error ('leads' should be 'lead').
- [Discretization section] Notation for the multilevel block structure should be introduced with an explicit matrix pattern or small example before the GLT analysis.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. The comments identify two areas where the presentation of the GLT analysis and the supporting numerical evidence can be strengthened. We address each point below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: Spectral analysis section: the claim that the preconditioned matrix sequence exhibits 'general eigenvalue clustering around one' for variable c(x,y) requires an explicit derivation showing that the GLT symbol of the preconditioner exactly cancels the pointwise factor c(x,y) (or its regularized analogue) so that the essential range collapses to the singleton {1}. If the symbol instead retains an interval whose length scales with the oscillation of c, the clustering guarantee does not hold for general variable coefficients and the central theoretical claim is weakened.
Authors: We agree that an explicit cancellation step is needed for full rigor. In the current Section 3 the GLT symbol of the discretization operator is derived as a product of the multilevel Toeplitz symbol and the diagonal factor c(x,y). The preconditioner is defined via the reciprocal of that symbol (including the pointwise division by c). We will insert a new lemma that writes the symbol of the preconditioned operator explicitly and shows that, for any continuous positive c bounded away from zero, the essential range reduces to the singleton {1}. The revised proof will also address the regularized quasi-boundary term. revision: yes
-
Referee: Numerical experiments section: the reported GMRES iteration counts and eigenvalue plots must be accompanied by tests on coefficients c(x,y) with controlled oscillation amplitude (e.g., c ranging over [1,10] versus nearly constant); without such tests it is unclear whether the observed clustering and acceleration are artifacts of mild variation rather than a general property.
Authors: We accept the suggestion. The present experiments use a single moderately varying coefficient. In the revision we will add a new subsection (or table) that repeats the eigenvalue plots and GMRES counts for three families: nearly constant (range [0.95,1.05]), moderate ([1,5]), and strongly varying ([1,10] and [1,50]). All other parameters (grid size, fractional orders, regularization parameter) will be held fixed so that the dependence on oscillation amplitude is isolated. revision: yes
Circularity Check
No significant circularity; standard GLT application to discretization
full rationale
The derivation applies established GLT theory to the multilevel Toeplitz structure arising from finite-difference discretization of the regularized inverse source problem. The eigenvalue clustering claim follows directly from the GLT symbol of the preconditioned operator rather than any fitted parameter, self-definition, or reduction to the numerical test data. No load-bearing step reduces to a self-citation whose validity depends on the present paper, and the central spectral result is independent of the specific source reconstruction experiments.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Aliu, E.E.M
M., Abdulgaffar, J.N. Aliu, E.E.M. Micah, I. Taiwo, A.U. Abasido, and A.K. AdesugbaFractional Stochastic Calculus and Multifractional Processes: Applications in Financial Modeling, Polac. Int. J. Econs MGT Sci, 10 (2024): 79-86
2024
-
[2]
Barbarino,A systematic approach to reduced GLT, BIT 62 (3) (2022), PP
G. Barbarino,A systematic approach to reduced GLT, BIT 62 (3) (2022), PP. 681–743
2022
-
[3]
G. Barbarino, C. Garoni, and S. Serra-Capizzano,Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case, Electron. Trans. Numer. Anal. 53 (2020), pp. 28–112. https://doi.org/10.1553/etna_vol53s28
-
[4]
G. Barbarino, C. Garoni, and S. Serra-Capizzano,Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case, Electron. Trans. Numer. Anal. 53 (2020), pp. 113–216. https://doi.org/10.1553/etna_vol53s113
-
[5]
Bini.Matrix structures in parallel matrix computations, Calcolo 25 (1-2) (1988), pp
D. Bini.Matrix structures in parallel matrix computations, Calcolo 25 (1-2) (1988), pp. 37–51
1988
-
[6]
W. Bu, Y. Tang, and J. Yang,Galerkin finite element method for two-dimensional Riesz space frac- tional diffusion equations, J. Comput. Phys. 276 (2014), pp. 26-38.https://doi.org/10.1016/j. jcp.2014.07.023
work page doi:10.1016/j 2014
-
[7]
M. Chen and W. Deng,Fourth order accurate scheme for the space fractional diffusion equations, SIAM J. Numer. Anal. 52 (3) (2014), pp. 1418-1438.https://doi.org/10.1137/130933447
-
[8]
M. Denche and K. Bessila,A modified quasi-boundary value method for ill-posed problems, J. Math. Anal. Appl. 301 (2) (2005), pp. 419-426.https://doi.org/10.1016/j.jmaa.2004.08.001
-
[9]
Dhatt, E
G. Dhatt, E. Lefrançois, and G. Touzot,Finite element method, John Wiley & Sons, 2012
2012
-
[10]
R. Diaz-Fuentes, S. Serra-Capizzano, R. Sormani.Aω-circulant regularization for subdivision scheme linear systems arising in curve representation and generation, Algorithms 16 (2023), paper 328; online 8-7-23.https://doi.org/10.3390/a16070328
-
[11]
M. Donatelli, M. Mazza, and S. Serra-Capizzano,Spectral analysis and structure preserving pre- conditioners for fractional diffusion equations, J. Comput. Phys. 307 (2016), pp. 262-279.https: //doi.org/10.1016/j.jcp.2015.11.061
-
[12]
Eymard, T
R. Eymard, T. Gallouët, and R. Herbin,Finite volume methods, Handb. Numer. Anal., 7 (2000), pp. 713-1018
2000
-
[13]
A. Ghafoor, M. Fiaz, M. Hussain, A. Ullah, E.A.A. Ismail, and F.A. Awwad,Dynamics of the time- fractional reaction–diffusion coupled equations in biological and chemical processes, Sci. Rep., 14(1) (2024): 7549.https://doi.org/10.1038/s41598-024-58073-z
-
[14]
C. Garoni and S. Serra-Capizzano,Generalized locally Toeplitz sequences: theory and applications. Vol. I, Springer, Cham, 2017.https://doi.org/10.1007/978-3-319-53679-8
-
[15]
C. Garoni and S. Serra-Capizzano,Generalized locally Toeplitz sequences: theory and applications. Vol. II, Springer, Cham, 2018.https://doi.org/10.1007/978-3-030-02233-4
-
[16]
C. Garoni and S. Serra-Capizzano,Generalized locally Toeplitz sequences: a spectral analysis tool for discretized differential equations, Splines and PDEs: from approximation theory to numerical linear algebra, 161–236, Lecture Notes in Math., 2219, Fond. CIME/CIME Found. Subser., Springer, Cham, 2018.https://doi.org/10.1007/978-3-319-94911-6_3 22
-
[18]
L. Golinskii and S. Serra-Capizzano,The asymptotic properties of the spectrum of nonsymmetrically perturbed Jacobi matrix sequences, J. Approx. Theory 144 (1) (2007), pp. 84-102.https://doi.org/ 10.1016/j.jat.2006.05.002
-
[19]
Gomez-Aguilar and A
J.F. Gomez-Aguilar and A. Atangana, eds.Applications of fractional calculus to modeling in dynamics and chaos. CRC Press, 2022
2022
-
[20]
Gottlieb and S.A
D. Gottlieb and S.A. Orszag,Numerical analysis of spectral methods: theory and applications, Society for Industrial and Applied Mathematics, Philadelphia, 1977
1977
-
[21]
Z. Hao, Z. Zhang, and R. Du,Fractional centered difference scheme for high-dimensional integral fractional Laplacian, J. Comput. Phys. 424 (2021), 109851.https://doi.org/10.1016/j.jcp.2020. 109851
-
[22]
D.N. Hào, N.V. Duc, and H. Sahli,A non-local boundary value problem method for parabolic equations backward in time, J. Math. Anal. Appl. 345 (2) (2008), 805-815.https://doi.org/10.1016/j.jmaa. 2008.04.064
-
[23]
S.Y. Hon, C. Li, R.L. Sormani, R. Krause, and S. Serra-Capizzano,Symbol-based multilevel blockτ preconditioners for multilevel block Toeplitz systems: GLT-based analysis and applications, SIAM J. Matrix Anal. Appl. 46 (4) (2025), 2331–2359.https://doi.org/10.1137/24M1702088
-
[24]
A. Ilyas, R.A. Khalid, and S.A. Malik,Identifying temperature distribution and source term for gen- eralized diffusion equation with arbitrary memory kernel, Math. Methods Appl. Sci., 47 (7) (2024), 5894-5915.https://doi.org/10.1002/mma.9896
-
[25]
Ilyas and S.A
A. Ilyas and S.A. Malik,Direct and some inverse problems for a generalized diffusion equation with variable coefficients, Comput. Appl. Math. 43 (6) (2024), 364.https://doi.org/10.1007/ s40314-024-02869-2
2024
-
[26]
A. Ilyas and S. Serra-Capizzano,Inverse source problems for identifying time and space-dependent coefficients in a 2D generalized diffusion equation, Appl. Math. Comput. 507 (2025), 129597.https: //doi.org/10.1016/j.amc.2025.129597
-
[27]
A. Ilyas, M.F. Khan, R.L. Sormani, G. Tento, and S. Serra-Capizzano.Determining the space de- pendent coefficients in space-time fractional diffusion equations via Krylov preconditioning, Linear Algebra Appl. (2026).https://doi.org/10.1016/j.laa.2026.02.024
-
[28]
B. Jin and W. Rundell,A tutorial on inverse problems for anomalous diffusion processes, Inverse prob. 31 (3) (2015), 035003.https://doi.org/10.1088/0266-5611/31/3/035003
-
[29]
J. Jia, H. Wang, and X. Zheng,A fast algorithm for time-fractional diffusion equation with space- time-dependent variable order, Numer. Algorithms, 94(4) (2023): 1705-1730.https://doi.org/10. 1007/s11075-023-01552-7
2023
-
[30]
Kilbas, H.M
A. Kilbas, H.M. Srivastava, and J.J. Trujillo,Theory and applications of fractional differential equa- tions, vol. 204, Elsevier, Amsterdam, 2006
2006
-
[31]
S.-L. Lei and H.-W. Sun,A circulant preconditioner for fractional diffusion equations, J. Comput. Phys. 242 (2013), 715-725.https://doi.org/10.1016/j.jcp.2013.02.025. 23
-
[32]
M. Li, X.-M. Gu, C. Huang, M. Fei, and G. Zhang,A fast linearized conservative finite element method for the strongly coupled nonlinear fractional Schrödinger equations, J. Comput. Phys. 358 (2018), 256-282.https://doi.org/10.1016/j.jcp.2017.12.044
-
[33]
R. Metzler, J.H. Jeon, A.G. Cherstvy, and E. Barkai,Anomalous diffusion models and their properties: non-stationarity, non-ergodicity, and ageing at the centenary of single particle tracking, Phys. Chem. Chem. Phys., 16(44) (2014), 24128-24164.https://doi.org/10.1039/C4CP03465A
-
[34]
K.M. Owolabi, E. Pindza, B. Karaagac, and G. Oguz,Laplace transform-homotopy perturbation method for fractional time diffusive predator–prey models in ecology, Partial Differ. Equ. Appl. Math. 9 (2024), 100607.https://doi.org/10.1016/j.padiff.2023.100607
-
[35]
H.-K.Pang, H.-H.Qin, H.-W.Sun, andT.-T.Ma,Circulant-based approximate inverse preconditioners for a class of fractional diffusion equations, Comput. Math. Appl. 85 (2021), 18-29.https://doi. org/10.1016/j.camwa.2021.01.007
-
[36]
A. Rajyaguru, R. Metzler, A.G. Cherstvy, and B. Berkowitz,Quantifying anomalous chemical diffu- sion through disordered porous rock materials, Phys. Chem. Chem. Phys., 27(17) (2025): 9056-9067. https://doi.org/10.1039/D5CP00654F
-
[37]
Saad and M.H
Y. Saad and M.H. Schultz,GMRES: A generalized minimal residual algorithm for solving nonsym- metric linear systems, SIAM J. Sci. Stat. Comput. 7 (3) (1986), 856-869.https://doi.org/10.1137/ 0907058
1986
-
[38]
T. Sandev, I.M. Sokolov, R. Metzler, and A. Chechkin,Beyond monofractional kinetics, Chaos Soli- tons Fract. 102 (2017), 210–217.https://doi.org/10.1016/j.chaos.2017.05.001
-
[39]
E. Scalas, R. Gorenflo, and F. Mainardi,Fractional calculus and continuous-time finance, Physica A Stat. Mech. Appl. 284 (1-4) (2000), 376-384.https://doi.org/10.1016/S0378-4371(00)00255-7
-
[40]
Serra-Capizzano, S.:The rate of convergence of Toeplitz based PCG methods for second order non- linear boundary value problems. Numer. Math. 81 (3) (1999), 461–495
1999
-
[41]
337 (2001), 37–78.https://doi.org/10.1016/S0024-3795(01)00335-4
Serra-Capizzano, S.:Spectral behavior of matrix sequences and discretized boundary value problems, Linear Algebra Appl. 337 (2001), 37–78.https://doi.org/10.1016/S0024-3795(01)00335-4
-
[42]
S. Serra-Capizzano,Matrix algebra preconditioners for multilevel Toeplitz matrices are not super- linear, Linear Algebra Appl. 343–344 (2002), 303-319.https://doi.org/10.1016/S0024-3795(01) 00361-5
-
[43]
S. Serra-Capizzano,Generalized locally Toeplitz sequences: spectral analysis and applications to dis- cretized partial differential equations, Linear Algebra and its Applications, 366 (2003), pp. 371–402. https://doi.org/10.1016/S0024-3795(02)00504-9
-
[44]
S. Serra-Capizzano,The GLT class as a generalized Fourier analysis and applications, Linear Algebra and its Applications, 419 (2006), pp. 180–233.https://doi.org/10.1016/j.laa.2006.04.012
-
[45]
Simmons, Q
A. Simmons, Q. Yang, and T. Moroney,A finite volume method for two-sided fractional diffusion equations on non-uniform meshes, J. Comput. Phys. 335 (2017), 747-759.https://doi.org/10. 1016/j.jcp.2017.01.061
2017
-
[46]
K. Suhaib, A. Ilyas, and S.A. Malik,On the inverse problems for a family of integro-differential equations, Math. Model. Anal. 28 (2) (2023), 255-270.https://doi.org/10.3846/mma.2023.16139
-
[47]
Sun and G
Z. Sun and G. Gao,Fractional Differential Equations: Finite Difference Methods, De Gruyter, Berlin, 2020. 24
2020
-
[48]
Thomas,Numerical Partial Differential Equations: Finite Difference Methods, vol
J.W. Thomas,Numerical Partial Differential Equations: Finite Difference Methods, vol. 22, Springer, Berlin, 2013
2013
-
[49]
N.H. Tuan, L.D. Long, V.T. Nguyen, and T. Tran,On a final value problem for the time-fractional diffusion equation with inhomogeneous source, Inverse Probl. Sci. Eng. 25 (9) (2017), 1367-1395. https://doi.org/10.1080/17415977.2016.1259316
-
[50]
Z. Wang, X. Huang, and G. Shi,Analysis of nonlinear dynamics and chaos in a fractional order financial system with time delay, Comput. Math. Appl. 62 (3) (2011), 1531-1539.https://doi.org/ 10.1016/j.camwa.2011.04.057
-
[51]
L. Zhao, C. Li, and F. Zhao,Efficient difference schemes for the Caputo-tempered fractional diffusion equations based on polynomial interpolation, Comm. Appl. Math. Comput. 3, no. 1 (2021), 1-40. ttps://doi.org/10.1007/s42967-020-00067-5
-
[52]
F.X. Zhou, L.Y. Wang, Z.Y. Liu, and W.C. Zhao.A viscoelastic-viscoplastic mechanical model of time-dependent materials based on variable-order fractional derivative, Mech. Time-Depend. Mater. 26, (3) (2022), 699-717.https://doi.org/10.1007/s11043-021-09508-x. 25
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.