pith. sign in

arxiv: 2506.20368 · v3 · submitted 2025-06-25 · 🧮 math.AP · math.CA· math.FA

On Hardy-Littlewood-Sobolev estimates for degenerate Laplacians

Pascal Auscher , Khalid Baadi This is my paper

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

classification 🧮 math.AP math.CAmath.FA
keywords Hardy-Littlewood-Sobolev estimatesdegenerate LaplaciansMuckenhoupt A2 weightsreverse Hölder conditionsheat kernel estimatesfractional powersweighted norm inequalities
0
0 comments X

The pith

Norm inequalities hold for fractional powers of Laplacians degenerate according to A2 weights with reverse Hölder conditions.

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

The paper shows that the classical Hardy-Littlewood-Sobolev inequalities extend to fractional powers of degenerate Laplacians. The degeneracy comes from Muckenhoupt A2 class weights on R^n, plus extra reverse Hölder assumptions. The proof relies on size estimates for the associated heat kernels rather than direct kernel estimates. This matters because many applications in analysis and PDE involve operators that are degenerate or weighted, and this result allows the same potential estimates to apply in those settings.

Core claim

We establish norm inequalities for fractional powers of degenerate Laplacians, with degeneracy being determined by weights in the Muckenhoupt class A2(R^n), accompanied by specific additional reverse Hölder assumptions. This extends the known results for classical Riesz potentials. The approach is based on size estimates for the degenerate heat kernels. The approach also applies to more general weighted degenerate operators.

What carries the argument

size estimates for the degenerate heat kernels that suffice to transfer the classical Riesz-potential arguments

If this is right

  • The same inequalities hold for a broader class of weighted degenerate operators beyond the standard Laplacian.
  • Whenever degenerate heat kernel size estimates are available, the classical Riesz potential arguments apply directly.
  • Potential estimates and harmonic analysis techniques carry over to weighted degenerate elliptic settings.

Where Pith is reading between the lines

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

  • The approach may allow regularity theory for solutions to degenerate elliptic equations in A2-weighted spaces.
  • Sharpness of the reverse Hölder assumption could be tested by constructing explicit power weights that border the condition.
  • Similar heat-kernel-size arguments might extend the results to time-dependent or parabolic versions of these operators.

Load-bearing premise

Size estimates for the degenerate heat kernels hold under the stated A2 weights together with the additional reverse Hölder assumptions, and these estimates are sufficient to transfer the classical Riesz-potential arguments.

What would settle it

An explicit A2 weight obeying the reverse Hölder condition for which either the heat kernel size estimates fail or the claimed norm inequality for the fractional power does not hold.

read the original abstract

We establish norm inequalities for fractional powers of degenerate Laplacians, with degeneracy being determined by weights in the Muckenhoupt class $A_2(\mathbb{R}^n)$, accompanied by specific additional reverse H\"older assumptions. This extends the known results for classical Riesz potentials. The approach is based on size estimates for the degenerate heat kernels. The approach also applies to more general weighted degenerate operators.

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 establishes Hardy-Littlewood-Sobolev norm inequalities for fractional powers of degenerate Laplacians whose degeneracy is controlled by Muckenhoupt A_2 weights on R^n together with additional reverse Hölder conditions. The argument proceeds by deriving size estimates for the associated degenerate heat kernels and transferring the classical Riesz-potential proof; the same method is indicated to apply to more general weighted degenerate operators.

Significance. If the heat-kernel size estimates are valid under the stated hypotheses, the work supplies a natural extension of the classical HLS inequality to a degenerate weighted setting. This is of interest for potential theory and degenerate elliptic equations. The explicit listing of the extra reverse-Hölder assumptions and the reliance on a standard heat-kernel transfer are positive features that make the claim falsifiable and checkable.

major comments (1)
  1. [Theorem 1.1 and the heat-kernel section] The central transfer argument (heat-kernel size estimates implying the HLS bound) is load-bearing; however, the manuscript does not appear to contain a self-contained verification that the reverse Hölder condition is sharp or that the constants remain controlled when the weight approaches the boundary of A_2. A concrete counter-example or a remark on necessity would strengthen the claim.
minor comments (2)
  1. [Introduction] Notation for the fractional power s and the precise range of admissible s should be stated uniformly in the introduction and in the statement of the main theorem.
  2. [Proof of the main inequality] The dependence of the implicit constants on the A_2 and reverse-Hölder characteristics of the weight should be tracked explicitly through the proof.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation of minor revision. We address the major comment below and will incorporate a clarifying remark to strengthen the discussion of the assumptions.

read point-by-point responses

  1. Referee: [Theorem 1.1 and the heat-kernel section] The central transfer argument (heat-kernel size estimates implying the HLS bound) is load-bearing; however, the manuscript does not appear to contain a self-contained verification that the reverse Hölder condition is sharp or that the constants remain controlled when the weight approaches the boundary of A_2. A concrete counter-example or a remark on necessity would strengthen the claim.

    Authors: We agree that additional discussion of the reverse Hölder assumption would be useful. This condition is explicitly required in the hypotheses of Theorem 1.1 and is employed in Section 3 to obtain the pointwise size estimates for the degenerate heat kernel (Theorem 3.1), which enable the transfer of the classical Riesz-potential argument. We will add a remark immediately after Theorem 1.1 explaining that the reverse Hölder condition guarantees the necessary integrability and decay properties under the A_2 weight, and that the implicit constants in the HLS inequality depend on both the A_2 characteristic and the reverse Hölder parameters; these constants may deteriorate as the weight approaches the boundary of the A_2 class. A concrete counter-example establishing necessity is not included, as constructing a weight in A_2 for which the inequality fails without the reverse Hölder assumption lies outside the scope of the present work and is left for future investigation. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on size estimates for degenerate heat kernels under A2 weights plus reverse Hölder conditions to transfer classical Riesz-potential arguments to fractional powers of degenerate Laplacians. This is presented as an extension of known results rather than a self-referential construction. No load-bearing step reduces by definition or by fitted input to the target inequality; the kernel estimates are treated as an independent input sufficient for the transfer. The paper is self-contained against external benchmarks with explicitly stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of heat-kernel size estimates under A2 weights plus reverse Hölder conditions; these are standard domain assumptions in weighted harmonic analysis rather than new postulates introduced by the paper.

axioms (2)
  • domain assumption Muckenhoupt A2 weights control the degeneracy of the Laplacian
    Invoked in the abstract to define the class of operators under study.
  • domain assumption Additional reverse Hölder assumptions on the weights
    Stated as necessary for the norm inequalities to hold.

pith-pipeline@v0.9.0 · 5586 in / 1137 out tokens · 44711 ms · 2026-05-19T08:12:51.712712+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.