Pith. sign in

REVIEW 4 major objections 4 minor 47 references

A porous medium equation with rough weights: sharp Widder theory

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For weighted porous-medium diffusion with a density that can blow up at a point, every non-negative solution has a unique initial measure trace, and two solutions sharing a trace must coincide.

desk verdict A genuinely sharp Widder theory for the weighted PME, with a real but possibly patchable gap in the comparison lemma for N=3, gamma in [3/2,2). read the letter →

arxiv 2506.08159 v1 pith:GDT4WQGE submitted 2025-06-09 math.AP

Gabriele Grillo , Matteo Muratori , Troy Petitt , Nikita Simonov This is my paper
classification math.AP MSC 35R0535R0628A3335A0135A0235B4535J0835K65
keywords weightedporousmediumequationWiddertheoryinitialtracesAronson–Caffarelliestimatesveryweaksolutionslocalsmoothingboundednessroughweights
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies the weighted porous medium equation $\rho(x)u_t=\Delta(u^m)$ in $\mathbb{R}^N\times(0,T)$ for $m>1$, $N\ge3$, with a density $\rho$ that is merely measurable, may blow up at the origin, and decays like $(1+|x|)^{-\gamma}$ at infinity for some $\gamma\in[0,2)$. Its aim is to complete the Widder theory for this equation, meaning the sharp three-part bijection between admissible initial data and solutions: every non-negative very weak solution has a unique initial Radon measure trace obeying $|\mu|(B_R)=O(R^{N-\gamma+(2-\gamma)/(m-1)})$ (Theorem 2.6); conversely, every measure with that growth bound is the initial trace of a constructed very weak solution (Theorem 2.8, building on the authors' prior existence theory); and any two non-negative very weak solutions with the same initial trace are equal, with no growth assumptions imposed on them (Theorem 2.9). Because the classical tools behind the unweighted theory — continuity of solutions, exact scale invariance, Aleksandrov's reflection principle, and the Aronson–Bénilan inequality — are unavailable under rough weights, the arguments are rebuilt from Green's-function inequalities, a parabolic Moser iteration driven by weighted Sobolev–Poincaré estimates, and local potential theory. The paper also establishes two results it claims are of independent interest: a sharp local smoothing estimate for unsigned local solutions that appears to be new even in the unweighted case, and local boundedness of non-negative very weak solutions, which in particular makes them locally finite energy solutions.

What carries the argument

The central object is the Euclidean Green's function $G(x,y)=c_N|x-y|^{2-N}$ of $-\Delta$, used through smooth approximations $G_n$ increasing to $G$ with $-\Delta_xG_n\to\delta_y$. For constructed solutions with bounded integrable data the paper derives the monotonicity $t^{m/(m-1)}u^m(t)$ essentially non-decreasing (a consequence of $\rho u_t\ge-\rho u/((m-1)t)$) and the basic inequality $\int_{\mathbb{R}^N}[u(t_0)-u(t_1)]G(x,x_0)\rho\,dx\le(m-1)t_1^{m/(m-1)}t_0^{-1/(m-1)}u^m(x_0,t_1)$; combined with a dichotomy on the time scale $t\sim R^{(N-\gamma)(m-1)+2-\gamma}/M^{m-1}$, this yields the Aronson–Caffarelli estimate for constructed solutions. A second mechanism is the 'fake scaling' pair $\lambda=(N-\gamma)/((N-\gamma)(m-1)+2-\gamma)$ and $\theta=(2-\gamma)/(N-\gamma)$, satisfying $\lambda(m-1)+\theta\lambda=1$; every quantitative rate in the paper is expressed through these exponents, which replace the exact scale invariance the weighted equation lacks. A third mechanism is the local comparison principle (Proposition 3.8) for very weak sub- and supersolutions of the Cauchy–Dirichlet problem, obtained by a duality argument with a backward linear equation; it is the hinge for passing from constructed solutions to arbitrary ones, and the paper's own proof covers only $\gamma<N/2$, with the remaining range inherited from the authors' previous work. The smoothing estimates run on a parabolic Moser iteration powered by the weighted Sobolev–Poincaré inequality $\|f\|_{L^{2^*}_\rho(B_R)}\le C(R^{-2+\gamma}\|f\|^2_{L^2_\rho(B_R)}+\|\nabla f\|^2_{L^2(B_R)})^{1/2}$ with $2^*=2(N-\gamma)/(N-2)$, while local boundedness runs on the dual local potential $W=w-h$ solving $-\Delta W=u\rho$ and $-W_t=u^m$, refined through a Calderón–Zygmund bootstrap.

What would settle it

Construct two bounded very weak sub- and supersolutions of the Cauchy–Dirichlet problem (3.47) in a ball in $\mathbb{R}^3$ with a weight satisfying (1.6) for some $\gamma\in(3/2,2)$ whose ordering reverses at an interior point of the cylinder; such a crossing falsifies Proposition 3.8 in exactly the range the paper imports rather than proves, and Theorem 2.9 falls with it. A computational backstop: simulate the radial Cauchy problem with $\rho(x)=|x|^{-\gamma}$ in $\mathbb{R}^3$ and initial datum a large multiple of the Dirac delta by two independent approximation schemes (mollified data versus monotone truncations of the constructed solution); agreement at positive times is what the paper predicts, and any divergence of the two limits, or a sup-norm blow-up rate other than $(T-t)^{-1/(m-1)}$, would force a revision of the uniqueness or sharpness claims.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the weighted equation (1.1) has a complete and sharp Widder theory under the sole hypothesis (1.6). The admissible initial data are the Radon measures in the Morrey-type space $X$ defined by $|\mu|(B_R)=O(R^{N-\gamma+(2-\gamma)/(m-1)})$, and the matching solution class is the set of non-negative very weak solutions growing at most like $\|u(t)\|_{L^\infty(B_R)}=O(R^{(2-\gamma)/(m-1)})$; within this pair, existence (Theorem 2.8, with lifetime $T(\mu)=C/[\ell(\mu)]^{m-1}$ for data outside $X_0$), necessity of the trace (Theorem 2.6), and uniqueness (Theorem 2.9) all hold, so the initial-value problem with measure datum $\mu$ is solvable if and only if $\mu\in X$, and for non-negative $\mu$ the non-negative solution is unique. The authors stress that the rates are optimal: the spatial exponents are saturated by explicit finite-time blow-up profiles such as $U(x,t)=|x|^{(2-\gamma)/(m-1)}(T-t)^{-1/(m-1)}$ in the model case $\rho(x)=|x|^{-\gamma}$, and the time dependence in the trace estimate (2.10) is matched both by those blow-up solutions and by the weighted Barenblatt solutions at large times. The same sharpness analysis is applied to the local smoothing estimates (2.21): optimal in $R\to\infty$, optimal in time for $m\in(1,2)$, and optimal up to an arbitrarily small $\varepsilon$ for $m>1$, with the necessity of that $\varepsilon$ left as an open question.

Load-bearing premise

Everything rests on a local comparison principle that lets every non-negative very weak solution be approximated from below by smooth solutions of bounded-data problems and thereby compared with them; the paper's own proof of that principle covers only the roughness range $\gamma<N/2$ (restrictive only in dimension $N=3$), and for the rest it relies on a proposition imported from the authors' previous paper without reproducing its proof, so if that inherited result fails at the stated level of generality, the uniqueness theorem and the whole Widder theory collapse.

Editorial extensions

If this is right

  • The initial-value problem (1.2) is solvable in the very weak sense exactly for data measures in $X$, with the explicit lifetime formula (2.11); for non-negative $\mu\in X$ the non-negative solution is unique, so the weighted equation possesses the full Widder bijection between data class and solution class that the unweighted porous medium equation was known to have.
  • Every non-negative very weak solution obeys the quantitative laws $\int_{B_R}u(t)\rho=O(R^{N-\gamma+(2-\gamma)/(m-1)})$ and $\|u(t)\|_{L^\infty(B_R)}=O(R^{(2-\gamma)/(m-1)})$ for every $t>0$, and both exponents are optimal because explicit blow-up solutions and weighted Barenblatt solutions saturate them.
  • The weak and strong notions of solution coincide a posteriori: non-negative very weak solutions are locally bounded, have locally finite energy, and belong to $C((\tau_1,\tau_2);L^p_{\rho,loc})$ for every $p<\infty$ (Corollary 2.16).
  • Constructed solutions have curve regularity that the authors note is new even for $\rho=1$: $u\in\mathrm{Lip}_{loc}((0,T(\mu));X)\cap W^{1,\infty}_{loc}((0,T(\mu));L^1(\Phi_\alpha))$, together with an ordering principle ($\mu\le\nu$ implies $u(t)\le v(t)$) and, for $\mu\in X_0$, the spatial decay $|x|^{-(2-\gamma)/(m-1)}u(x,t)\to0$.
  • The local smoothing estimates (2.21) hold for unsigned purely local solutions and are sharp as $R\to\infty$; they are sharp in time for $m\in(1,2)$ and sharp up to an arbitrarily small exponent $\varepsilon$ for $m>1$, whose necessity remains open.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same Green's-function-plus-trace-class template plausibly transfers to neighboring equations that also lack scale invariance and solution continuity — weighted fast diffusion ($m<1$), nonlinear diffusion with merely measurable coefficients, or diffusion on negatively curved manifolds with decaying curvature — with the 'fake scaling' exponents replaced by spectral data of the underlying space.
  • A practical corollary the paper leaves implicit: any numerical scheme whose outputs are non-negative very weak solutions with the correct initial trace automatically converges to the unique solution, making the constructed solution a canonical reference profile for benchmarking solvers of weighted degenerate parabolic equations.
  • The open $\varepsilon$ in the $m>1$ smoothing branch is a testable feature: compute the near-$t=0$ profile of the friendly-giant solution $V(x,t)=W(x)t^{-1/(m-1)}$ for $\rho(x)=|x|^{-\gamma}$; if the sharp asymptotics show no $\varepsilon$ correction, the exponent is an artifact, whereas its presence would reveal a genuine logarithmic gap between $L^1_\rho$-data control and sup-norm smoothing.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper develops a complete Widder theory for the weighted porous medium equation ρ u_t = Δ(u^m) on R^N × (0,T), N ≥ 3, m > 1, under the rough weight condition (1.6): C(1+|x|)^{-γ} ≤ ρ(x) ≤ C|x|^{-γ} with γ ∈ [0,2). The main results are: (i) Theorem 2.6, an Aronson–Caffarelli-type initial trace theorem showing that every non-negative very weak solution has a unique Radon measure trace μ satisfying the sharp growth estimate (2.10); (ii) Theorem 2.8, existence of very weak solutions for (possibly sign-changing) measure data in the Morrey-type space X, with precise lifetime and L^∞ smoothing bounds; (iii) Theorem 2.9, a uniqueness result for non-negative solutions with the same initial trace and no global growth assumptions; (iv) Theorem 2.12, sharp local smoothing estimates for possibly sign-changing, merely local, bounded solutions; and (v) Theorem 2.14, local boundedness of non-negative very weak solutions, which in turn implies they are strong energy solutions. The proofs combine potential-theoretic estimates, Green's function techniques, parabolic Moser iteration, and a non-linear approximation scheme. The authors explicitly state that several classical tools of the unweighted theory (scale invariance, Aronson–Bénilan inequality, Aleksandrov's reflection principle, continuity of solutions) are unavailable, and they replace them by new arguments.

Significance. If the results are correct, this is a substantial contribution: it completes the Widder program for (1.1) under a very mild, merely measurable weight condition that covers both singular and degenerate densities. The sharp dimensionally consistent exponents in (1.7)–(1.8), the explicit trade-off between the two terms in the trace estimate (2.10), and the fact that the smoothing estimate (2.21) is new even in the classical case ρ=1 give the paper high visibility. The paper is also careful in discussing optimality against explicit or semi-explicit solutions (Subsection 2.5), and in stating precisely which hypotheses are used. The main theorems are stated with full hypotheses and the proof is long and detailed. The main concern is that a load-bearing comparison principle, Proposition 3.8, is proved only under the extra restriction γ < N/2 and the remaining range is imported from the authors' previous paper [36] without a full transfer to the bounded-domain setting. The reader's report and the stress-test note agree that this is the principal verifiability gap.

major comments (4)
  1. [§3.2, Proposition 3.8] Proposition 3.8 is stated for every γ ∈ [0,2), but the printed proof is explicitly carried out under the additional restriction γ < N/2, and the paragraph immediately before the statement says the remaining range is handled by [36, Proposition 4.1]. This is not a cosmetic remark: for N = 3 the missing interval [3/2, 2) is nonempty, and ρ may be singular like |x|^{-γ}. The point is load-bearing because Proposition 3.8 is used in Corollary 3.9, in the local approximation step in the end of the proof of Theorem 2.12, in the identification step inside the proof of Theorem 2.9, and in the local boundedness argument of Section 6. I am not claiming the results are false, but as printed the proof of the main theorems has a verifiability gap in the range γ ∈ [3/2, 2) when N = 3. The authors should either reproduce the transfer from [36, Proposition 4.1] to the bounded Cauchy–Dirichlet setting with the exact hypotheses of Definition 3.5, or prove Proposition 3.8 directly for all γ ∈ [0,2). Without that, the uniqueness theorem is not fully supported in this range.
  2. [§5.3, proof of Theorem 2.9, Preliminary claim] The proof of the preliminary claim (5.34) uses Corollary 2.15, which in turn requires Theorem 2.14 (local boundedness) and the local approximation based on Proposition 3.8. Moreover, the step ‘thanks to [36, Proposition 4.1 and Remark 4.2]’ asserts that u|_{t>τ} coincides with the constructed solution of Proposition 5.3 for almost every τ. This importation is used to obtain u ∈ C((0,T);L^1(Φ_α)); if the comparison principle of Proposition 3.8 is not available in the full range, this coincidence statement is not justified either. The authors should explicitly state which of the conclusions of [36] are being invoked here and how the local-to-global comparison is obtained under the same hypotheses as the present paper.
  3. [§6, proof of Theorem 2.14] The proof of Theorem 2.14 relies on the time-regularized approximation u_ε and identifies the limit with u via the inequality (6.32) and the convergence (6.34). The identification step uses the very weak formulation of (3.47), which is only available for almost every r and τ_1 by Lemma 3.6; the text fixes representative r and τ_1 but does not explain how the final local boundedness statement is obtained on a full cylinder rather than on the a.e. selected ones. This is likely a minor gap in exposition, but since Theorem 2.14 is used in the proofs of Theorems 2.6 and 2.9, the authors should clarify the a.e. selection and the covering argument (Remark 6.6 addresses the local case but not the a.e. selection issue).
  4. [§5.1, Theorem 5.2] Theorem 5.2 is stated for a non-negative finite Radon measure and is imported from [26] with an explanation that the additional structural assumption (5.1) used there is not needed. The explanation in the proof of Theorem 5.2 is brief; in particular, the density argument in Ẇ^1(R^N) ∩ L^2_ρ(R^N) and the integration-by-parts identity (5.2) are only sketched. Since this theorem is used in Step 3 of the proof of Theorem 2.9 to identify the limit w_k, the authors should either provide a complete proof or state precisely which result from [26, 35] they are relying on and why it applies to the present weight condition (1.6).
minor comments (4)
  1. [§2.1, Definition 2.4] The text says the definition of ∥μ∥_{1,r} is independent of r ≥ 1, but the equivalence constants depend on the fixed r; this is standard but should be stated explicitly to avoid confusion when comparing growth estimates with different r.
  2. [§3.2, Proposition 3.8] The sentence introducing Proposition 3.8 refers to [36, Proposition 4.1] for the full range, but the proposition itself is stated without any reference; the reader would benefit from a clear statement that the present proof covers only γ < N/2 and that the remaining range is a direct transfer of [36, Proposition 4.1] with the boundary data as in Definition 3.5.
  3. [§4, proof of Theorem 2.12] In the passage from (4.33) to (4.34), the product in (4.32) is said to be bounded using (4.27), but the displayed inequality (4.35) uses p_{k+1} ≥ (1+θ)^{k+1} p_0, which is true but should be explicitly verified from (4.27).
  4. [§6, Lemma 6.4] Lemma 6.4 is quoted from [16, Lemma 4.7] without proof; while this is acceptable for a lemma from a published paper, the statement uses the notation w for a smooth function while w is also used for the Dirichlet potential in (6.3); a change of notation would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are derived from the equation and from prior published results with stated assumptions; no prediction reduces by construction to its input.

full rationale

The central claims (Theorems 2.6, 2.8, 2.9, 2.12, and 2.14) are derived within the paper from the weak formulation, Green's-function estimates, Moser iteration, and dual-potential arguments. The class X in Definition 2.4 is not used as an input to prove the trace growth; Theorem 2.6 proves that non-negative very weak solutions necessarily admit traces with exactly that growth, and Theorem 2.8 establishes the converse existence. The smoothing estimates in Theorem 2.12 are obtained by Moser iteration for bounded strong solutions and then transferred to local very weak solutions via an approximation argument that uses the local comparison Proposition 3.8. Proposition 3.8 is proved directly only for gamma < N/2; for the remaining range gamma in [N/2,2) the paper explicitly cites [36, Proposition 4.1] as providing the details, saying: 'in the latter, all the details on how to get rid of the constraint gamma < N/2 are provided'. This is a gap in the printed proof and a substantial reliance on prior work co-authored by two of the present authors, but it is a citation to a published theorem with stated assumptions that do not include the conclusions of this paper. Likewise, Propositions 5.3 and 5.4 are prior theorems from [36] used as black boxes, and Theorem 5.2 comes from [26]; these are legitimate external (though partly self-authored) results, not cases where an equation equals its own input or where a fitted parameter is renamed as a prediction. No specific circular reduction (Eq. X = Eq. Y by construction) can be exhibited. The flagged gamma >= N/2 issue in N=3 is a verifiability and dependency concern, not a circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no free parameters and no invented physical or mathematical entities. Its central results rest on the standing domain assumptions (N≥3, m>1, (1.6)) and on several prior theorems, chiefly from the authors' companion paper [36], which supplies the constructed solution theory and the full-range comparison lemma. All other auxiliary estimates are proved within the paper from standard PDE background.

assumptions (6)
  • domain assumption Global existence, uniqueness, L∞ smoothing, mass conservation, and monotonicity estimates for weak energy solutions of the Cauchy problem (3.1) with data in L^1_ρ(R^N)∩L^∞(R^N) (Proposition 3.3).
    Quoted from [36, Proposition 3.3]; it provides the constructed solutions on which Proposition 3.4 is based.
  • domain assumption Local comparison principle for very weak sub- and supersolutions on bounded smooth domains, for all γ∈[0,2) (Proposition 3.8).
    The proof in this manuscript only covers γ<N/2; the full range is taken from [36, Proposition 4.1].
  • domain assumption Constructed solution theory for initial data in the Morrey-type space X, with the explicit existence time, L^1 and L^∞ estimates, ordering, and stability estimates (Propositions 5.3 and 5.4).
    Restated from [36, Theorems 2.2 and 2.3]; used in Sections 5 and 6 for existence and compactness.
  • standard math Weighted Sobolev and Hardy inequalities under (1.6), in particular the weighted Sobolev-Poincaré inequality (4.2) and the conjugate-exponent relation (2.7).
    Proved in Section 4 from classical Hardy and Sobolev inequalities; no external unproved input.
  • standard math Classical elliptic regularity and Sobolev embeddings (Gilbarg-Trudinger [22], Evans [19]) used in Section 6 for the local boundedness bootstrap.
    Standard background results cited in the proof of Lemma 6.1.
  • domain assumption The standing hypotheses N≥3, m>1, and ρ satisfying (1.6) with γ∈[0,2).
    These are the paper's domain assumptions; N≥3 is essential for the Green's function potential theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A porous medium equation with rough weights: sharp Widder theory." pith.science (2026). https://pith.science/paper/GDT4WQGE

@misc{pith2026250608159,
  author       = {Pith},
  title        = {Pith review of: A porous medium equation with rough weights: sharp Widder theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GDT4WQGE}},
  note         = {Machine review of arXiv:2506.08159}
}
abstract

We establish an optimal \emph{Widder theory} for a weighted porous medium equation with rough and inhomogeneous density that may be singular at a point and tends to zero at spatial infinity. Specifically, for this equation, we identify a class $X$ of initial measure data that give rise to very weak solutions, we show that non-negative very weak solutions necessarily admit an initial trace in $X$ at time $t=0$, and we prove that any two non-negative solutions having the same initial trace are equal. The corresponding theory for the classical (unweighted) equation was established by exploiting various properties that are not available in our weighted setting, such as the continuity of solutions, the explicit scale invariance of the equation, Aleksandrov's reflection principle, and the Aronson--B\'enilan inequality. Therefore, to complete the Widder theory, we must devise several proofs by means of entirely new methods. We also establish an optimal quantitative \emph{a priori} smoothing estimate for unsigned local solutions without resorting to scale invariance, which seems to be new in this form even for the classical porous medium equation. Finally, we show that non-negative very weak solutions are always locally bounded, and in particular that they have locally finite energy.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

47 extracted references · 46 canonical work pages

  1. [36]

    Muratori, T

    M. Muratori, T. Petitt,An inhomogeneous porous medium equation with large data: well-posedness, J. Differential Equations377(2023), 712–758

    work page 2023

  2. [26]

    Grillo, M

    G. Grillo, M. Muratori, F. Punzo,Fractional porous media equations: existence and uniqueness of weak solutions with measure data, Calc. Var. Partial Differential Equations54(2015), 3303–3335

    work page 2015

  3. [1]

    Andreucci,L∞ loc-estimates for local solutions of degenerate parabolic equations, SIAM J

    D. Andreucci,L∞ loc-estimates for local solutions of degenerate parabolic equations, SIAM J. Math. Anal. 22(1991), 138–145

    work page 1991

  4. [2]

    Aronson,Widder’s inversion theorem and the initial distribution problems, SIAM J

    D.G. Aronson,Widder’s inversion theorem and the initial distribution problems, SIAM J. Math. Anal. 12(1981), 639–651

    work page 1981

  5. [3]

    Aronson, Ph

    D.G. Aronson, Ph. Bénilan,Régularité des solutions de l’équation des milieux poreux dansRN (French), C. R. Acad. Sci. Paris Sér. A-B288(1979), A103–A105

    work page 1979

  6. [4]

    Aronson, L.A

    D.G. Aronson, L.A. Caffarelli,The initial trace of a solution of the porous medium equation, Trans. Amer. Math. Soc.280(1983), 351–366

    work page 1983

  7. [5]

    Aronson, L.A

    D.G. Aronson, L.A. Peletier,Large time behaviour of solutions of the porous medium equation in bounded domains, J. Differential Equations39(1981), 378–412

    work page 1981

  8. [6]

    Barrios, I

    B. Barrios, I. Peral, F. Soria, E. Valdinoci,A Widder’s type theorem for the heat equation with nonlocal diffusion, Arch. Ration. Mech. Anal.213(2014), 629–650

    work page 2014

Show all 47 references
  1. [7]

    Bénilan, M.G

    Ph. Bénilan, M.G. Crandall, M. Pierre,Solutions of the porous medium equation inRN under optimal conditions on initial values, Indiana Univ. Math. J.33(1984), 51–87

    1984

  2. [8]

    Bénilan, R.F

    Ph. Bénilan, R.F. Gariepy,Strong solutions inL 1 of degenerate parabolic equations, J. Differential Equations19(1995), 473–502

    1995

  3. [9]

    Bonforte, N

    M. Bonforte, N. Simonov,Quantitative a priori estimates for fast diffusion equations with Caffarelli- Kohn-Nirenberg weights. Harnack inequalities and Hölder continuity, Adv. Math.345(2019), 1075– 1161

    2019

  4. [10]

    Bonforte, N

    M. Bonforte, N. Simonov,Fine properties of solutions to the Cauchy problem for a fast diffusion equation with Caffarelli-Kohn-Nirenberg weights, Ann. Inst. H. Poincaré C Anal. Non Linéaire40 (2023), 1–59

    2023

  5. [11]

    Bonforte, Y

    M. Bonforte, Y. Sire, J.L. Vázquez,Optimal existence and uniqueness theory for the fractional heat equation, Nonlinear Anal.153(2017), 142–168

    2017

  6. [12]

    Bonforte, J.L

    M. Bonforte, J.L. Vázquez,A priori estimates for fractional nonlinear degenerate diffusion equations on bounded domains, Arch. Ration. Mech. Anal.,218(2015), 317–362

    2015

  7. [13]

    Brézis, S

    H. Brézis, S. Kamin,Sublinear elliptic equations inRn, Manuscripta Math.74(1992), 87–106

    1992

  8. [14]

    Measure Theory

    D.L. Cohn, “Measure Theory”, Birkhäuser Adv. Texts Basler Lehrbücher [Birkhäuser Advanced Texts: Basel Textbooks], Birkhäuser/Springer, New York, 2013

    2013

  9. [15]

    Dahlberg, C.E

    B.E.J. Dahlberg, C.E. Kenig,Nonnegative solutions of the porous medium equation, Comm. Partial Differential Equations9(1984), 409–437

    1984

  10. [16]

    Dahlberg, C.E

    B.E.J. Dahlberg, C.E. Kenig,Weak solutions of the porous medium equation, Trans. Amer. Math. Soc. 336(1993), 711–725

    1993

  11. [17]

    Degenerate Diffusions. Initial Value Problems and Local Regularity Theory

    P. Daskalopoulos, C.E. Kenig, “Degenerate Diffusions. Initial Value Problems and Local Regularity Theory”, EMS Tracts Math., 1, European Mathematical Society (EMS), Zürich, 2007

    2007

  12. [18]

    Harnack’s Inequality for Degenerate and Singular Parabolic Equations

    E. DiBenedetto, U. Gianazza, V. Vespri, “Harnack’s Inequality for Degenerate and Singular Parabolic Equations”, Springer Monogr. Math. Springer, New York, 2012

    2012

  13. [19]

    Partial Differential Equations

    L.C. Evans, “Partial Differential Equations”, Grad. Stud. Math., 19, American Mathematical Society, Providence, RI, 1998

    1998

  14. [20]

    Measure Theory and Fine Properties of Functions

    L.C. Evans, R.F. Gariepy, “Measure Theory and Fine Properties of Functions”, Revised edition, Textb. Math., CRC Press, Boca Raton, FL, 2015

    2015

  15. [21]

    Evseev,Vector-valued Sobolev spaces based on Banach function spaces, Nonlinear Anal.211(2021), Paper No

    N. Evseev,Vector-valued Sobolev spaces based on Banach function spaces, Nonlinear Anal.211(2021), Paper No. 112479, 15 pp

    2021

  16. [22]

    Elliptic Partial Differential Equations of Second Order

    D. Gilbarg, N.S. Trudinger, “Elliptic Partial Differential Equations of Second Order”, Reprint of the 1998 edition, Classics Math., Springer-Verlag, Berlin, 2001. 70 GABRIELE GRILLO, MATTEO MURATORI, TROY PETITT, NIKITA SIMONOV

    1998

  17. [23]

    I.Gonzálvez, F.Quirós, F.Soria, Z.Vondraček,On the nonlocal heat equation for certain Lévy operators and the uniqueness of positive solutions, arXiv preprint:https://arxiv.org/abs/2504.04246

    arXiv

  18. [24]

    Grillo, M

    G. Grillo, M. Muratori, M.M. Porzio,Porous media equations with two weights: smoothing and decay properties of energy solutions via Poincaré inequalities, Discrete Contin. Dyn. Syst.33(2013), 3599– 3640

    2013

  19. [25]

    Grillo, M

    G. Grillo, M. Muratori, F. Punzo,Conditions at infinity for the inhomogeneous filtration equation, Ann. Inst. H. Poincaré C Anal. Non Linéaire31(2014), 413–428

    2014

  20. [27]

    Grillo, M

    G. Grillo, M. Muratori, F. Punzo,Fast diffusion on noncompact manifolds: well-posedness theory and connections with semilinear elliptic equations, Trans. Amer. Math. Soc.374(2021), 6367–6396

    2021

  21. [28]

    Grillo, M

    G. Grillo, M. Muratori, J.L. Vázquez,The porous medium equation on Riemannian manifolds with negative curvature. The large-time behaviour, Adv. Math.314(2017), 328–377

    2017

  22. [29]

    Grillo, M

    G. Grillo, M. Muratori, J.L. Vázquez,The porous medium equation on Riemannian manifolds with negative curvature: the superquadratic case, Math. Ann.373(2019), 119–153

    2019

  23. [30]

    Kamin, G

    S. Kamin, G. Reyes, J.L. Vázquez,Long time behavior for the inhomogeneous PME in a medium with rapidly decaying density, Discrete Contin. Dyn. Syst.26(2010), 521–549

    2010

  24. [31]

    Kamin, P

    S. Kamin, P. Rosenau,Propagation of thermal waves in an inhomogeneous medium, Comm. Pure. Appl. Math.34(1981), 831–852

    1981

  25. [32]

    Kamin, P

    S. Kamin, P. Rosenau,Nonlinear diffusion in a finite mass medium, Comm. Pure. Appl. Math.35 (1982), 113–127

    1982

  26. [33]

    Second Order Parabolic Differential Equations

    G.M. Lieberman, “Second Order Parabolic Differential Equations”, World Scientific Publishing Co., Inc., River Edge, NJ, 1996

    1996

  27. [34]

    The Bochner Integral

    J. Mikusiński, “The Bochner Integral”, Lehrbücher und Monographien aus dem Gebiete der Exakten Wissenschaften, Mathematische Reihe, Band 55, Birkhäuser Verlag, Basel-Stuttgart, 1978

    1978

  28. [35]

    Muratori,The fractional Laplacian in power-weightedLp spaces: integration-by-parts formulas and self-adjointness, J

    M. Muratori,The fractional Laplacian in power-weightedLp spaces: integration-by-parts formulas and self-adjointness, J. Funct. Anal.271(2016), 3662–3694

    2016

  29. [37]

    Muratori, T

    M. Muratori, T. Petitt, F. Quirós,An inhomogeneous porous medium equation with non-integrable data: asymptotics, arXiv preprint:https://arxiv.org/abs/2403.12854

    arXiv

  30. [38]

    Nieto, G

    S. Nieto, G. Reyes,Asymptotic behavior of the solutions of the inhomogeneous porous medium equation with critical vanishing density, Commun. Pure Appl. Anal.12(2013), 1123–1139

    2013

  31. [39]

    Pierre,Uniqueness of the solutions ofu t −∆φ(u) = 0with initial datum a measure, Nonlinear Anal.6(1982), 175–187

    M. Pierre,Uniqueness of the solutions ofu t −∆φ(u) = 0with initial datum a measure, Nonlinear Anal.6(1982), 175–187

    1982

  32. [40]

    Reyes, J.L

    G. Reyes, J.L. Vázquez,The Cauchy problem for the inhomogeneous porous medium equation, Netw. Heterog. Media1(2006), 337–351

    2006

  33. [41]

    Reyes, J.L

    G. Reyes, J.L. Vázquez,The inhomogeneous PME in several space dimensions. Existence and unique- ness of finite energy solutions, Commun. Pure Appl. Anal.7(2008), 1275–1294

    2008

  34. [42]

    Reyes, J.L

    G. Reyes, J.L. Vázquez,Long time behavior for the inhomogeneous PME in a medium with slowly decaying density, Comm. Pure Appl. Anal.8(2009), 493–508

    2009

  35. [43]

    Stampacchia,Le problème de Dirichlet pour les équations elliptiques du second ordre à coefficients discontinus(French), Ann

    G. Stampacchia,Le problème de Dirichlet pour les équations elliptiques du second ordre à coefficients discontinus(French), Ann. Inst. Fourier (Grenoble)15(1965), 189–258

    1965

  36. [44]

    The Porous Medium Equation. Mathematical Theory

    J.L. Vázquez, “The Porous Medium Equation. Mathematical Theory”, Oxford Math. Monogr., The Clarendon Press, Oxford University Press, Oxford, 2007

    2007

  37. [45]

    J.L.Vázquez,Fundamental solution and long time behavior of the porous medium equation in hyperbolic space, J. Math. Pures Appl.104(2015), 454–484

    2015

  38. [46]

    Widder,Positive temperatures on an infinite rod, Trans

    D.V. Widder,Positive temperatures on an infinite rod, Trans. Amer. Math. Soc.55(1944), 85–95

    1944

  39. [47]

    The Heat Equation

    D.V. Widder, “The Heat Equation”, Pure Appl. Math., Vol. 67, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975. Gabriele Grillo and Matteo Muratori: Dipartimento di Matematica, Politecnico di Mi- lano, Piazza Leonardo da Vinci 32, 20133 Milano (Ital...

    1975

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.