Refined estimates of the propagation speed in porous medium equation of combustion type
Pith reviewed 2026-05-14 20:17 UTC · model grok-4.3
The pith
For a family of combustion nonlinearities the asymptotic spreading speed in the porous medium equation receives an explicit characterization of the o(1) correction.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a family of functions f of combustion type, the asymptotic speed of the transition solution is 2 y_0 sqrt(t) [1 + o(1)] with a precise characterization of the o(1) term as t approaches infinity, while no unified characterization of the lower-order term exists for general combustion-type functions f.
What carries the argument
The refined asymptotic expansion of the propagation speed of the transition solution, which isolates the leading sqrt(t) growth and supplies an explicit next-order correction that depends on the particular combustion nonlinearity.
If this is right
- The front location for large but finite time can be approximated to higher accuracy once the correction is known.
- Different members of the combustion class produce distinct corrections, requiring separate analysis for each.
- Results extend immediately to any initial datum that is a positive multiple of the fixed compactly supported profile.
- Long-time numerical schemes can be validated against the sharper asymptotic formula instead of the leading term alone.
Where Pith is reading between the lines
- The dependence of the correction on f suggests it is controlled by the behavior of the nonlinearity near its ignition threshold.
- Analogous higher-order expansions may exist for other degenerate diffusion equations with nonlinear source terms.
- A systematic classification of combustion nonlinearities according to the admissible correction forms would organize future work.
Load-bearing premise
The nonlinearity f must lie in a specific family of combustion-type functions that admits the refined expansion, rather than holding for arbitrary combustion functions.
What would settle it
Numerical computation of the position of the solution front at successively larger times for a combustion nonlinearity outside the family, checking whether the observed correction deviates from the predicted form.
read the original abstract
We are concerned with the Cauchy problem $u_{t}=(u^{m})_{xx}+f(u)$, where the nonliearity $f(u)$ is of combustion type and the initial data is compactly supported. In \cite{lou2024convergence}, among other things, the authors prove that by considering a multiple of a given initial data, there is a critical value such that the corresponding transition solution spreads at the asymptotic speed $2y_{0}\sqrt{t}[1+o(1)]\ \text{as} \ t\rightarrow\infty$, while the lower order term $o(1)$ remains unknown. In this paper, for a family of functions of combustion type, we refine the estimates of the asymptotic speed of the transition solution and provide a precise characterization of the lower order term $o(1)$. Our result also reveals that there is no unified characterization of the lower order term for general combustion type functions $f$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript addresses the Cauchy problem u_t = (u^m)_xx + f(u) for the porous medium equation with combustion-type nonlinearity f and compactly supported initial data. Building on the result in lou2024convergence that a critical multiple of the initial profile yields asymptotic speed 2 y_0 sqrt(t) [1 + o(1)], the authors refine the expansion by giving an explicit characterization of the o(1) correction for a specific family of combustion functions f, while proving that no such unified lower-order term exists for arbitrary combustion nonlinearities.
Significance. If the derivations hold, the work supplies a sharper asymptotic description of propagation speeds in degenerate diffusion-reaction equations, clarifying when refined corrections are possible and when they are not. This distinction is useful for the literature on traveling waves and level-set dynamics in porous medium equations, and the reliance on a prior leading-term result allows the paper to focus cleanly on the correction term.
major comments (2)
- [§2] §2 (Main results): The precise hypotheses defining the family of combustion-type functions f that admit the refined o(1) characterization are not stated explicitly enough to verify the scope of Theorem 2.1; without them it is difficult to confirm that the claimed non-unified behavior for general f follows from the same assumptions.
- [§4] §4 (Proof of the lower-order term): The error estimates in the expansion appear to use the specific form of the initial data as a scalar multiple of a fixed compactly supported profile; it is unclear whether the o(1) characterization remains valid or uniform if the initial profile is perturbed while keeping the same support and mass.
minor comments (3)
- [Abstract] Abstract: 'nonliearity' is a typographical error and should read 'nonlinearity'.
- [Introduction] Notation: The constant y_0 is introduced without an explicit definition in the introduction; a forward reference to its definition in the prior work or a brief reminder would improve readability.
- [Figures] Figure 1 (if present): The caption should clarify whether the plotted curves correspond to the refined expansion or only the leading term.
Simulated Author's Rebuttal
We thank the referee for the careful reading and valuable comments, which help clarify the scope and presentation of our results. We address each major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: §2 (Main results): The precise hypotheses defining the family of combustion-type functions f that admit the refined o(1) characterization are not stated explicitly enough to verify the scope of Theorem 2.1; without them it is difficult to confirm that the claimed non-unified behavior for general f follows from the same assumptions.
Authors: We agree that the hypotheses on the specific family of combustion-type functions f admitting the refined lower-order term should be stated more explicitly. In the revised version we will insert a dedicated paragraph in §2 that lists the precise conditions on f (including the explicit form used for the o(1) expansion) and will clarify that the non-unified behavior for arbitrary combustion nonlinearities follows from the broader assumptions already employed in lou2024convergence. revision: yes
-
Referee: §4 (Proof of the lower-order term): The error estimates in the expansion appear to use the specific form of the initial data as a scalar multiple of a fixed compactly supported profile; it is unclear whether the o(1) characterization remains valid or uniform if the initial profile is perturbed while keeping the same support and mass.
Authors: The analysis in §4 is carried out for initial data that are scalar multiples of a fixed compactly supported profile, exactly as in the setting of lou2024convergence where the critical threshold is identified. For small perturbations of the profile that preserve support and mass, the leading-order speed 2 y_0 sqrt(t) is unchanged, but the lower-order correction may depend on the perturbation; our main contribution is to exhibit the dependence on the choice of f rather than to claim uniformity over all admissible initial data. We will add a short remark in §4 and in the introduction stating this scope limitation. revision: partial
Circularity Check
No significant circularity
full rationale
The derivation begins from the cited external result in lou2024convergence, which establishes the leading-order propagation speed 2y_0 sqrt(t)[1+o(1)] for compactly supported initial data under combustion-type f. The present work then restricts to a specific family of such f to obtain an explicit expansion of the o(1) correction term. This step adds new analysis rather than re-expressing or refitting any quantity already determined by the prior result; the paper explicitly states that no unified lower-order characterization exists for arbitrary combustion nonlinearities. All load-bearing steps therefore rest on the external citation plus standard level-set or traveling-wave techniques, with no self-definitional closure or reduction of the claimed refinement to the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption f is of combustion type
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
for a family of functions of combustion type, we refine the estimates of the asymptotic speed of the transition solution and provide a precise characterization of the lower order term o(1)
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
−l(t), r(t) = 2y0 √t [1+o(1)] as t→∞
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
D. Aronson, M. G. Crandall, and L. A. Peletier. Stabilization of solutions of a degenerate nonlinear diffusion problem.Nonlinear Analysis: Theory, Methods and Applications,6 (1982), 1001–1022
work page 1982
-
[3]
D. G. Aronson. Density-dependent interaction–diffusion systems. InDynamics and modelling of reactive systems, (1980), 161–176, Elsevier,
work page 1980
- [4]
- [5]
-
[6]
Y. Du, B. Lou, and M. Zhou. Nonlinear diffusion problems with free boundaries: con- vergence, transition speed, and zero number arguments.SIAM Journal on Mathematical Analysis,47(2015), 3555–3584
work page 2015
-
[7]
Y. Du, F. Quiros, and M. Zhou. Logarithmic corrections in fisher–kpp type porous medium equations.Journal de Math´ ematiques Pures et Appliqu´ ees,136(2020), 415– 455
work page 2020
- [8]
-
[9]
B. H. Gilding and R. Kersner.Travelling waves in nonlinear diffusion-convection reac- tion, volume 60. Springer Science & Business Media, 2004
work page 2004
-
[10]
A. Haraux and F. B. Weissler. Non-uniqueness for a semilinear initial value problem. Indiana University Mathematics Journal,31(1982), 167–189
work page 1982
-
[11]
C. Lei, H. Matsuzawa, R. Peng, and M. Zhou. Refined estimates for the propagation speed of the transition solution to a free boundary problem with a nonlinearity of combustion type.Journal of Differential Equations,265(2018), 2897–2920
work page 2018
- [12]
-
[13]
P. E. Sacks. The initial and boundary value problem for a class of degenerate parabolic equations.Communications in Partial Differential Equations,8(2018), 2897–2920
work page 2018
- [14]
-
[15]
J. L. V´ azquez.The porous medium equation: mathematical theory. Oxford university press, 2007
work page 2007
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.