pith. machine review for the scientific record. sign in

arxiv: 2605.04843 · v1 · submitted 2026-05-06 · 🧮 math.NA · cs.NA

Recognition: unknown

Convergence analysis of Schwarz-like methods for degenerate elliptic-parabolic equations

Eskil Hansen, Monika Eisenmann

Pith reviewed 2026-05-08 16:12 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords Schwarz methodsdomain decompositiondegenerate elliptic-parabolic equationsp-structuremonotone operatorsconvergence analysisnonlinear diffusionwaveform relaxation
0
0 comments X

The pith

Schwarz-like methods converge for degenerate elliptic-parabolic equations with p-structure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that Schwarz-like domain decomposition methods converge when applied to degenerate elliptic-parabolic equations that model nonlinear diffusion. It achieves this by adding a pseudo-time variable and using splitting-type time integrators that are advanced to infinity, then proving the resulting iteration converges via a new nonlinear framework drawn from the theory of monotone operators and existing existence results for the target equations. A reader would care because the decomposition into overlapping space-time subdomains supports parallel computation, which is valuable for large simulations where degeneracy makes direct solvers difficult. The methods extend earlier Schwarz waveform relaxation techniques by handling fully nonlinear and degenerate cases without losing the convergence guarantee.

Core claim

The authors prove that the Schwarz-like methods, obtained by decomposing the space-time domain into overlapping subdomains and advancing splitting integrators in a pseudo-time variable toward infinity, converge to the solution of degenerate elliptic-parabolic equations with p-structure. The proof constructs a nonlinear framework that directly applies the abstract theory of monotone operators together with the known existence theory for these equations.

What carries the argument

The nonlinear framework based on the abstract theory for monotone operators, which maps the Schwarz iteration onto a convergent sequence in the appropriate function space for the degenerate equations.

If this is right

  • The methods admit parallel implementation over space-time subdomains for nonlinear diffusion problems.
  • Convergence holds for both nonlinear parabolic equations and their degenerate elliptic-parabolic extensions.
  • The pseudo-time splitting approach bypasses the convergence barriers that limit classical Schwarz waveform relaxation on nonlinear problems.
  • The framework supplies a template for proving convergence of other domain-decomposition schemes on equations with p-structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same monotone-operator reduction could be tested on non-overlapping decompositions or on equations with different degeneracy structures to widen the range of applicable problems.
  • Practical speed-up measurements on large-scale porous-medium or nonlinear heat-flow simulations would quantify whether the parallel subdomain stepping yields efficiency gains over monolithic solvers.
  • If the framework extends to time-dependent coefficients or mixed boundary conditions, it would cover additional models arising in material science and fluid flow.

Load-bearing premise

The target degenerate elliptic-parabolic equations with p-structure must meet the structural conditions that let the abstract monotone operator theory and existence results apply directly to the Schwarz iteration.

What would settle it

Numerical computation of the Schwarz iteration on a concrete p-Laplacian type degenerate parabolic equation that satisfies the monotone operator conditions but shows the iterates fail to approach the known solution would disprove the convergence claim.

read the original abstract

Convergence is proven for Schwarz-like methods applied to degenerate elliptic-parabolic equations with a $p$-structure. This family of PDEs, e.g., arises when modelling nonlinear diffusion processes. The Schwarz-like approximation methods are based on decomposing the space-time domain into overlapping subdomains, which enables parallel implementations. The methods are derived by introducing a pseudo-time component and applying time integrators of splitting type, which are time stepped towards infinity. This approach of decomposing the space-time domain is related to Schwarz waveform relaxation methods, but the methods considered here have the advantage that they can be proven to converge when applied to nonlinear parabolic, or even degenerate elliptic-parabolic, PDEs. We prove convergence by deriving a nonlinear framework based on the abstract theory for monotone operators and the existence theory for degenerate elliptic-parabolic equations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves convergence of Schwarz-like iterative methods for degenerate elliptic-parabolic PDEs possessing p-structure. The methods decompose the space-time domain into overlapping subdomains and introduce a pseudo-time variable with splitting-type integrators stepped to infinity; convergence is obtained by recasting the iteration as a fixed-point problem in a nonlinear framework to which abstract monotone-operator theory (monotonicity, coercivity, hemicontinuity) together with known existence results for the PDE class are applied.

Significance. If the central argument is complete, the result is significant: it supplies the first rigorous convergence theory for domain-decomposition waveform-relaxation-type schemes on genuinely degenerate nonlinear parabolic problems, thereby justifying parallel implementations for a class of equations that arise in nonlinear diffusion. The abstract framework is economical and re-uses standard existence theory rather than constructing ad-hoc estimates.

major comments (1)
  1. [nonlinear framework derivation (abstract and §3–4)] The load-bearing step is the claim that the effective operator on the product space of overlapping subdomains (after pseudo-time splitting) satisfies the same structural hypotheses (monotonicity, coercivity, growth conditions) as the original degenerate p-structure operator. The abstract states that the framework is derived from monotone-operator theory, but does not exhibit the explicit verification that degeneracy (vanishing diffusion coefficient on sets of positive measure) and the overlap/splitting do not destroy the required coercivity or hemicontinuity. This verification is necessary for the abstract convergence theorem to apply verbatim.
minor comments (2)
  1. [Introduction] Notation for the pseudo-time splitting and the precise definition of the Schwarz-like iteration operator should be introduced earlier and kept consistent; the relation to classical Schwarz waveform relaxation is mentioned but not contrasted in detail.
  2. A short remark on how the p-structure constants enter the coercivity constants of the decomposed operator would help the reader assess the uniformity of the convergence rate with respect to degeneracy.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comment. The point raised is well-taken and we will strengthen the manuscript by making the verification of the structural hypotheses fully explicit.

read point-by-point responses

  1. Referee: [nonlinear framework derivation (abstract and §3–4)] The load-bearing step is the claim that the effective operator on the product space of overlapping subdomains (after pseudo-time splitting) satisfies the same structural hypotheses (monotonicity, coercivity, growth conditions) as the original degenerate p-structure operator. The abstract states that the framework is derived from monotone-operator theory, but does not exhibit the explicit verification that degeneracy (vanishing diffusion coefficient on sets of positive measure) and the overlap/splitting do not destroy the required coercivity or hemicontinuity. This verification is necessary for the abstract convergence theorem to apply verbatim.

    Authors: We agree that an explicit verification is required for the abstract theorem to apply verbatim. While Sections 3–4 derive the effective operator on the product space and state that it inherits the p-structure properties, the preservation of monotonicity, coercivity, and hemicontinuity in the presence of degeneracy and subdomain overlap is not isolated in a dedicated lemma. We will revise the manuscript by inserting a new lemma (placed after the definition of the product-space operator) that verifies: (i) monotonicity by direct integration of the pointwise monotone flux over each subdomain; (ii) coercivity via the same growth and lower-order terms as the original operator, noting that the pseudo-time splitting and overlap only modify the integration domain without changing the underlying norms; (iii) hemicontinuity by continuity of the Nemytskii operator in the Lebesgue spaces compatible with the degeneracy (using the same weighted/Orlicz-Sobolev setting as the cited existence theory). The abstract will also be updated to reference this verification step. These additions will be concise and will not alter the overall length or argument structure. revision: yes

Circularity Check

0 steps flagged

No significant circularity; convergence follows from external abstract theory applied to derived framework

full rationale

The paper derives a nonlinear framework for Schwarz-like methods on degenerate elliptic-parabolic equations with p-structure and invokes independent abstract theory for monotone operators plus existence results for the PDE class to prove convergence. No step reduces by construction to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The derivation is self-contained against external benchmarks; the skeptic concern addresses verification of structural hypotheses under decomposition but does not indicate circularity in the given text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard external mathematical theories without new free parameters or invented entities.

axioms (2)
  • standard math Abstract theory for monotone operators
    Used to derive the nonlinear convergence framework for the iterative method.
  • domain assumption Existence theory for degenerate elliptic-parabolic equations
    Invoked to ensure the PDE class admits solutions that the Schwarz iteration can approach.

pith-pipeline@v0.9.0 · 5430 in / 1164 out tokens · 60745 ms · 2026-05-08T16:12:43.817227+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references

  1. [1]

    Adams and John J

    Robert A. Adams and John J. F. Fournier.Sobolev spaces, volume 140 ofPure and Applied Mathe- matics (Amsterdam). Elsevier/Academic Press, Amsterdam, second edition, 2003

    2003

  2. [2]

    Space-time domain decomposition for two-phase flow between different rock types.Comput

    Elyes Ahmed, Caroline Japhet, and Michel Kern. Space-time domain decomposition for two-phase flow between different rock types.Comput. Methods Appl. Mech. Engrg., 371:113294, 30, 2020

    2020

  3. [3]

    Sur une classe de probl`emes d’´evolution non lin´eaires.J

    Claude Bardos and Ha ¨ım Brezis. Sur une classe de probl`emes d’´evolution non lin´eaires.J. Differential Equations, 6:345–394, 1969

    1969

  4. [4]

    Convergence analysis of domain decomposition based time integrators for degenerate parabolic equations.Numer

    Monika Eisenmann and Eskil Hansen. Convergence analysis of domain decomposition based time integrators for degenerate parabolic equations.Numer. Math., 140(4):913–938, 2018

    2018

  5. [5]

    Convergence analysis of the nonoverlapping Robin-Robin method for nonlinear elliptic equations.SIAM J

    Emil Engstr ¨om and Eskil Hansen. Convergence analysis of the nonoverlapping Robin-Robin method for nonlinear elliptic equations.SIAM J. Numer. Anal., 60(2):585–605, 2022

    2022

  6. [6]

    Linearly convergent nonoverlapping domain decomposition meth- ods for quasilinear parabolic equations.BIT, 64(4):Paper No

    Emil Engstr ¨om and Eskil Hansen. Linearly convergent nonoverlapping domain decomposition meth- ods for quasilinear parabolic equations.BIT, 64(4):Paper No. 37, 37, 2024

    2024

  7. [7]

    Gander and Laurence Halpern

    Martin J. Gander and Laurence Halpern. Optimized Schwarz waveform relaxation methods for ad- vection reaction diffusion problems.SIAM J. Numer. Anal., 45(2):666–697, 2007

    2007

  8. [8]

    Gander, Felix Kwok, and Bankim C

    Martin J. Gander, Felix Kwok, and Bankim C. Mandal. Dirichlet-Neumann waveform relaxation methods for parabolic and hyperbolic problems in multiple subdomains.BIT, 61(1):173–207, 2021. 18 Monika Eisenmann, Eskil Hansen

    2021

  9. [9]

    Gander, Shu-Lin Wu, and Tao Zhou

    Martin J. Gander, Shu-Lin Wu, and Tao Zhou. Time parallelization for hyperbolic and parabolic problems.Acta Numer., 34:385–489, 2025

    2025

  10. [10]

    Optimized Schwarz waveform relaxation and discontinuous Galerkin time stepping for heterogeneous problems.SIAM J

    Laurence Halpern, Caroline Japhet, and J ´er´emie Szeftel. Optimized Schwarz waveform relaxation and discontinuous Galerkin time stepping for heterogeneous problems.SIAM J. Numer. Anal., 50(5):2588–2611, 2012

    2012

  11. [11]

    Additive domain decomposition operator splittings— convergence analyses in a dissipative framework.IMA J

    Eskil Hansen and Erik Henningsson. Additive domain decomposition operator splittings— convergence analyses in a dissipative framework.IMA J. Numer. Anal., 37(3):1496–1519, 2017

    2017

  12. [12]

    Noordhoff International Publish- ing, Leyden; Academia, Prague, 1977

    Alois Kufner, Old ˇrich John, and Svatopluk Fuˇc´ık.Function spaces. Noordhoff International Publish- ing, Leyden; Academia, Prague, 1977

    1977

  13. [13]

    Splitting algorithms for the sum of two nonlinear operators

    Pierre-Louis Lions and Bertrand Mercier. Splitting algorithms for the sum of two nonlinear operators. SIAM J. Numer. Anal., 16(6):964–979, 1979

    1979

  14. [14]

    Numerical Mathematics and Scientific Computation

    Alfio Quarteroni and Alberto Valli.Domain decomposition methods for partial differential equations. Numerical Mathematics and Scientific Computation. The Clarendon Press, Oxford University Press, New York, 1999. Oxford Science Publications

    1999

  15. [15]

    Birkh ¨auser/Springer Basel AG, Basel, second edition, 2013

    Tom ´aˇs Roub´ıˇcek.Nonlinear partial differential equations with applications, volume 153 ofInter- national Series of Numerical Mathematics. Birkh ¨auser/Springer Basel AG, Basel, second edition, 2013

    2013

  16. [16]

    Showalter.Monotone operators in Banach space and nonlinear partial differential equa- tions, volume 49 ofMathematical Surveys and Monographs

    Ralph E. Showalter.Monotone operators in Banach space and nonlinear partial differential equa- tions, volume 49 ofMathematical Surveys and Monographs. American Mathematical Society, Provi- dence, RI, 1997

    1997

  17. [17]

    Space-time finite element methods for parabolic evolution equa- tions: discretization, a posteriori error estimation, adaptivity and solution

    Olaf Steinbach and Huidong Yang. Space-time finite element methods for parabolic evolution equa- tions: discretization, a posteriori error estimation, adaptivity and solution. InSpace-time methods— applications to partial differential equations, volume 25 ofRadon Ser. Comput. Appl. Math., pages 207–248. De Gruyter, Berlin, 2019

    2019

  18. [18]

    Global and uniform convergence of subspace correction methods for some convex optimization problems.Math

    Xue-Cheng Tai and Jinchao Xu. Global and uniform convergence of subspace correction methods for some convex optimization problems.Math. Comp., 71(237):105–124, 2002

    2002

  19. [19]

    Remarks on the approximation of some nonlinear elliptic equations.J

    Roger Temam. Remarks on the approximation of some nonlinear elliptic equations.J. Comput. System Sci., 4:250–259, 1970

    1970

  20. [20]

    Springer-Verlag, Berlin, 2005

    Andrea Toselli and Olof Widlund.Domain decomposition methods—algorithms and theory, vol- ume 34 ofSpringer Series in Computational Mathematics. Springer-Verlag, Berlin, 2005

    2005

  21. [21]

    Domain decomposition scheme for first-order evolution equa- tions with nonselfadjoint operators

    Petr Vabishchevich and Petr Zakharov. Domain decomposition scheme for first-order evolution equa- tions with nonselfadjoint operators. InNumerical solution of partial differential equations: theory, algorithms, and their applications, volume 45 ofSpringer Proc. Math. Stat., pages 279–302. Springer, New York, 2013

    2013

  22. [22]

    Eberhard Zeidler.Nonlinear functional analysis and its applications. II/B. Springer-Verlag, New York, 1990

    1990