Finite element approximation of an anisotropic porous medium equation with fractional pressure
Pith reviewed 2026-05-10 14:10 UTC · model grok-4.3
The pith
Finite element scheme converges to a weak solution for anisotropic fractional porous medium equation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under suitable assumptions on the fractional order and the coefficients of the operator, a subsequence of the sequence of finite element approximations converges to a bounded and nonnegative weak solution of the initial-boundary-value problem.
What carries the argument
Two-stage limiting procedure on the finite element discretization: first the spatial mesh limit, then the time-step limit, applied to the porous medium equation with spectral fractional pressure from the anisotropic elliptic operator.
If this is right
- The numerical solutions preserve nonnegativity and boundedness.
- The method approximates the effects of nonlocal diffusion under spatial anisotropy.
- The comparison principle does not hold for this model.
- Solutions exhibit exponential decay to a steady state.
Where Pith is reading between the lines
- The same limiting argument could be adapted to other fractional powers or different domain geometries.
- Three-dimensional computations might expose additional scaling or stability issues not visible in 2D tests.
- Absence of the comparison principle hints that uniqueness may fail without extra structural assumptions on the data.
Load-bearing premise
Suitable assumptions must hold on the fractional order and the coefficients of the operator so that the limits can be passed to recover a weak solution.
What would settle it
If the computed finite element solutions fail to stay bounded and nonnegative or if no subsequence satisfies the weak form of the equation in the limit, the convergence claim is false.
Figures
read the original abstract
We study a nonlocal diffusion equation of porous medium type featuring a generalised fractional pressure with spatial anisotropy. We construct a finite element method for the numerical solution of the equation on a bounded open Lipschitz polytopal domain $\Omega \subset \mathbb{R}^{d}$, where $d = 2$ or $3$. The pressure in the model is defined as the solution of fractional elliptic problem involving the fractional power of a second order differential operator, in terms of its spectral definition. Under suitable assumptions on the fractional order and the coefficients of the operator, we rigorously prove convergence of the numerical scheme. The analysis is carried out in two stages: first passing to the limit in the spatial discretization, and then in the time step, ultimately showing that a subsequence of the sequence of finite element approximations defined by the proposed numerical method converges to a bounded and nonnegative weak solution of the initial-boundary-value problem under consideration. Finally, we present numerical experiments in two dimensions illustrating the computational aspects of the method and highlighting the interplay between nonlocal effects and spatial anisotropy under different configurations. We also show numerically the failure of the comparison principle and exponential decay of the numerical solution to a steady state.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a finite element discretization for a nonlocal porous-medium-type diffusion equation on a bounded Lipschitz domain in 2D or 3D, where the pressure is obtained from the spectral fractional power of an anisotropic second-order elliptic operator. Under suitable assumptions on the fractional order and operator coefficients, a two-stage convergence argument (first spatial discretization limit, then time-step limit) is used to show that a subsequence of the discrete solutions converges to a bounded, nonnegative weak solution of the continuous initial-boundary-value problem. The manuscript concludes with 2D numerical experiments illustrating the scheme, the interplay of nonlocality and anisotropy, the failure of the comparison principle, and exponential decay to steady state.
Significance. If the convergence holds with the assumptions made fully explicit and the estimates verified to survive anisotropy and nonlocality, the result would supply a rigorous numerical foundation for a class of fractional nonlinear diffusion models that arise in heterogeneous porous-media applications. The two-stage limit passage and treatment of the nonlocal pressure term constitute technically nontrivial contributions to the numerical analysis of fractional PDEs. The numerical observations on comparison-principle failure and decay rates add concrete insight into the model's qualitative behavior.
major comments (2)
- [Introduction and main convergence theorem] The abstract and introduction invoke 'suitable assumptions on the fractional order and the coefficients of the operator' to justify the uniform a-priori bounds and the identification of the nonlinear flux term in the limit, yet these conditions are not listed explicitly. Because the L^∞ and energy estimates, the discrete maximum principle (or its substitute), and the strong convergence of the pressure are load-bearing for the subsequence convergence claim, the main convergence theorem must state the precise hypotheses (range of s, ellipticity constants, regularity of a(x), etc.).
- [Numerical experiments and convergence analysis] The numerical experiments report that the comparison principle fails. This observation directly affects the justification of nonnegativity and boundedness for the discrete solutions, which are invoked to pass to the limit. The proof section should clarify which alternative arguments (e.g., truncation, entropy estimates, or direct L^∞ bounds independent of the comparison principle) are used to obtain the required uniform bounds under anisotropy and nonlocality.
minor comments (2)
- [Model formulation] Notation for the spectral fractional operator and the anisotropic coefficient matrix should be introduced with a dedicated subsection or table to improve readability.
- [Numerical experiments] Figure captions would benefit from explicit mention of the anisotropy directions, fractional order values, and mesh parameters used in each experiment.
Simulated Author's Rebuttal
Thank you for the referee's careful reading and constructive comments on our manuscript. We address each major comment point by point below. We agree that both points require revisions to strengthen the clarity and rigor of the presentation, and we will incorporate the suggested changes in the revised version.
read point-by-point responses
-
Referee: [Introduction and main convergence theorem] The abstract and introduction invoke 'suitable assumptions on the fractional order and the coefficients of the operator' to justify the uniform a-priori bounds and the identification of the nonlinear flux term in the limit, yet these conditions are not listed explicitly. Because the L^∞ and energy estimates, the discrete maximum principle (or its substitute), and the strong convergence of the pressure are load-bearing for the subsequence convergence claim, the main convergence theorem must state the precise hypotheses (range of s, ellipticity constants, regularity of a(x), etc.).
Authors: We agree that the assumptions should be stated explicitly to ensure the convergence result is fully rigorous and transparent. In the revised manuscript, we will include a precise list of hypotheses directly in the statement of the main convergence theorem. These will specify: the fractional order s ∈ (0,1), the uniform ellipticity and boundedness of the anisotropic coefficient matrix a(x) (with explicit constants λ, Λ > 0 such that λ|ξ|² ≤ a(x)ξ·ξ ≤ Λ|ξ|²), the regularity of a(x) (assumed Lipschitz continuous), and any further conditions on the domain and initial data required for the spectral definition of the fractional operator and the a-priori estimates. This will clarify how the L^∞ bounds, energy estimates, and limit identification hold under anisotropy and nonlocality. revision: yes
-
Referee: [Numerical experiments and convergence analysis] The numerical experiments report that the comparison principle fails. This observation directly affects the justification of nonnegativity and boundedness for the discrete solutions, which are invoked to pass to the limit. The proof section should clarify which alternative arguments (e.g., truncation, entropy estimates, or direct L^∞ bounds independent of the comparison principle) are used to obtain the required uniform bounds under anisotropy and nonlocality.
Authors: The referee is correct that the numerical observation of comparison-principle failure is significant and could raise questions about the uniform bounds. However, the convergence analysis does not rely on the comparison principle. Instead, nonnegativity and L^∞ bounds for the discrete solutions are obtained via entropy estimates combined with truncation arguments that exploit the structure of the discrete scheme and the spectral fractional operator; these estimates are independent of comparison and remain valid under the anisotropy of a(x) and the nonlocality. We will revise the proof sections to explicitly describe these alternative arguments, including verification that the bounds survive the stated assumptions on anisotropy and nonlocality, thereby justifying the two-stage limit passage. revision: yes
Circularity Check
Direct limit passage in FEM convergence proof shows no circular reductions
full rationale
The paper establishes convergence of the finite element scheme to a weak solution by first passing to the limit in the spatial discretization and subsequently in the time discretization, relying on a priori bounds and compactness under stated assumptions on the fractional order and operator coefficients. No steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the derivation chain consists of standard energy estimates, weak convergence arguments, and limit identification that are independent of the target result. The result is self-contained as a mathematical proof rather than a tautological renaming or prediction from inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The fractional order s belongs to (0,1) and the coefficients of the second-order operator satisfy suitable ellipticity and boundedness conditions.
- standard math The domain Ω is a bounded open Lipschitz polytopal set in R^d with d=2 or 3.
Reference graph
Works this paper leans on
-
[1]
J. W. Barrett and E. Süli. Existence and equilibration of global weak solutions to kinetic models for dilute polymers I: Finitely extensible nonlinear bead-spring chains.Math. Models Methods Appl. Sci., 21(6):1211–1289, 2011
work page 2011
-
[2]
J. W. Barrett and E. Süli. Finite element approximation of kinetic dilute polymer models with microscopic cut-off.ESAIM Math. Model. Numer. Anal., 45(1):39–89, 2011
work page 2011
-
[3]
J. W. Barrett and E. Süli. Finite element approximation of finitely extensible nonlinear elastic dumbbell models for dilute polymers.ESAIM Math. Model. Numer. Anal., 46(4):949–978, 2012
work page 2012
-
[4]
J. W. Barrett and E. Süli. Reflections on Dubinski˘ ı’s nonlinear compact embedding theorem.Publ. Inst. Math. (Beograd) (N.S.), 91(105):95–110, 2012
work page 2012
-
[5]
A. Bonito and J. E. Pasciak. Numerical approximation of fractional powers of elliptic operators. Math. Comp., 84(295):2083–2110, 2015
work page 2083
-
[6]
A. Bonito and J. E. Pasciak. Numerical approximation of fractional powers of regularly accretive operators.IMA J. Numer. Anal., 37(3):1245–1273, 2017
work page 2017
-
[7]
S. C. Brenner and L. R. Scott.The mathematical theory of finite element methods, volume 15 of Texts in Applied Mathematics. Springer-Verlag, New York, 1994
work page 1994
-
[8]
Brezis.Functional analysis, Sobolev spaces and partial differential equations
H. Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011
work page 2011
-
[9]
K. Burrage, N. Hale, and D. Kay. An efficient implicit FEM scheme for fractional-in-space reaction- diffusion equations.SIAM J. Sci. Comput., 34(4):A2145–A2172, 2012
work page 2012
-
[10]
L. A. Caffarelli, F. Soria, and J. L. Vázquez. Regularity of solutions of the fractional porous medium flow.J. Eur. Math. Soc. (JEMS), 15(5):1701–1746, 2013
work page 2013
-
[11]
L. A. Caffarelli and P. R. Stinga. Fractional elliptic equations, Caccioppoli estimates and regularity. Ann. Inst. H. Poincaré C Anal. Non Linéaire, 33(3):767–807, 2016
work page 2016
-
[12]
L. A. Caffarelli and A. F. Vasseur. The De Giorgi method for regularity of solutions of elliptic equations and its applications to fluid dynamics.Discrete Contin. Dyn. Syst. Ser. S, 3(3):409–427, 2010
work page 2010
-
[13]
L. A. Caffarelli and J. L. Vázquez. Asymptotic behaviour of a porous medium equation with fractional diffusion.Discrete Contin. Dyn. Syst., 29(4):1393–1404, 2011
work page 2011
-
[14]
L. A. Caffarelli and J. L. Vazquez. Nonlinear porous medium flow with fractional potential pressure. Arch. Ration. Mech. Anal., 202(2):537–565, 2011
work page 2011
- [15]
-
[16]
J. A. Carrillo, S. Fronzoni, and E. Süli. Finite element scheme for the fractional porous medium equation with fractional pressure.Numer. Math., 157(5):1537–1614, 2025
work page 2025
-
[17]
J. A. Carrillo, Y. Huang, M. C. Santos, and J. L. Vázquez. Exponential convergence towards station- ary states for the 1D porous medium equation with fractional pressure.J. Differential Equations, 258(3):736–763, 2015. 36
work page 2015
-
[18]
L. Chen, A. Holzinger, A. Jüngel, and N. Zamponi. Analysis and mean-field derivation of a porous- medium equation with fractional diffusion.Comm. Partial Differential Equations, 47(11):2217–2269, 2022
work page 2022
-
[19]
Y.-P. Choi and I.-J. Jeong. Classical solutions for fractional porous medium flow.Nonlinear Anal., 210:Paper No. 112393, 13, 2021
work page 2021
-
[20]
J. A. Dubinski˘ ı. Weak convergence for nonlinear elliptic and parabolic equations.Mat. Sb. (N.S.), 67(109):609–642, 1965
work page 1965
- [21]
-
[22]
N. Hale, N. J. Higham, and L. N. Trefethen. ComputingAα,log(A), and related matrix functions by contour integrals.SIAM J. Numer. Anal., 46(5):2505–2523, 2008
work page 2008
-
[23]
S. Harizanov, R. Lazarov, S. Margenov, P. Marinov, and Y. Vutov. Optimal solvers for linear systems with fractional powers of sparse SPD matrices.Numer. Linear Algebra Appl., 25(5):e2167, 24, 2018
work page 2018
-
[24]
X. Li. Anisotropic mesh adaptation for finite element solution of anisotropic porous medium equa- tion.Comput. Math. Appl., 75(6):2086–2099, 2018
work page 2086
- [25]
-
[26]
G. Lumer and L. Weis, editors.Gaussian estimates for second order elliptic divergence operators on Lipschitz and C1 domains in: Evolution Equations and Their Applications in Physical and Life Sciences. CRC Press, Boca Raton, FL, 1998. Proceedings of the 6th International Conference on Evolution Equations, held in Bad Herrenalb, Germany
work page 1998
-
[27]
C. Martínez Carracedo and M. Sanz Alix.The theory of fractional powers of operators, volume 187 ofNorth-Holland Mathematics Studies. North-Holland Publishing Co., Amsterdam, 2001
work page 2001
-
[28]
E. M. Ouhabaz.Analysis of heat equations on domains, volume 31 ofLondon Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2005
work page 2005
-
[29]
M. Reed and B. Simon.Methods of modern mathematical physics. IV. Analysis of operators. Aca- demic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978
work page 1978
-
[30]
J. L. Vázquez. The mathematical theories of diffusion: nonlinear and fractional diffusion. InNonlocal and nonlinear diffusions and interactions: new methods and directions, volume 2186 ofLecture Notes in Math., pages 205–278. Springer, Cham, 2017
work page 2017
- [31]
-
[32]
Y. Zhi and H. Zhan. The well-posedness problem of an anisotropic porous medium equation with a convection term.J. Inequal. Appl., pages Paper No. 108, 22, 2022. Appendix A Fractional elliptic operators LetLbe an operator such as the one described in the Introduction, more precisely as (1.4), with −div(A(x)∇(·))as the principal part of the operator. LetLN ...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.