Pith. sign in

REVIEW 5 minor 39 references

Wolff potentials map L^q data into Choquet spaces with Hausdorff content, so p-Laplace solutions gain corresponding local integrability.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-11 11:04 UTC pith:TJBA7AKG

load-bearing objection Clean, incremental note that correctly extends Wolff/Havin–Maz’ya mapping to Choquet–Hausdorff content and records the p-Laplace consequence; solid enough for a short research note.

arxiv 2607.04947 v1 pith:TJBA7AKG submitted 2026-07-06 math.AP math.FA

A note on new mapping properties for Wolff potential

Petteri Harjulehto , Ritva Hurri-Syrj\"anen This is my paper
classification math.AP math.FA MSC 42B2035J6031C4528A25
keywords Wolff potentialHavin–Maz’ya potentialChoquet integralHausdorff contentp-Laplace equationmapping propertiesnonlinear potential theory
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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 Wolff potential of an L^q function is integrable (or weakly integrable) with respect to Hausdorff content of a lower dimension. The gain is controlled by a precise exponent that involves the potential parameters and a free parameter that thins the content. Because the Wolff potential already pointwise controls nonnegative p-superharmonic functions that solve the inhomogeneous p-Laplace equation, those solutions inherit the same Choquet-space membership locally. The classical Lebesgue-space integrability of the potential is recovered when the thinning parameter vanishes, so the new statements genuinely enlarge the range of known mapping properties. A reader who works with nonlinear potential theory or free-boundary problems therefore obtains a finer description of how singular the solutions can be.

Core claim

If f belongs to L^q(R^n) under the stated relations among p, q, α and κ, then the Wolff potential W^f_{α,p} belongs to the Choquet space L^s(R^n,H^{n-κq}_∞) with the sharp exponent s=q(p-1)(n-κq)/(n-αpq); the same holds in the weak sense when q=1. Consequently every nonnegative p-superharmonic solution of -div(|Du|^{p-2}Du)=f belongs locally to the corresponding Choquet space.

What carries the argument

The Havin–Maz’ya potential V^f_{α,p}=I_α((I_α f)^{1/(p-1)}), which pointwise dominates the Wolff potential and whose Choquet-norm bounds follow by iterating known Riesz-potential estimates for Hausdorff content.

Load-bearing premise

The whole argument rests on a classical pointwise comparison that says the Wolff potential is controlled by the Havin–Maz’ya potential (and conversely under extra restrictions on p).

What would settle it

Construct a nonnegative f in L^q whose Havin–Maz’ya potential lies outside the claimed Choquet space L^s(R^n,H^{n-κq}_∞); any such example would simultaneously refute the mapping property for both potentials.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper establishes mapping properties of the Wolff potential W^f_{α,p} in the scale of Choquet integrals with respect to Hausdorff content H^δ_∞. The main result (Theorem 1.2) asserts that if f ∈ L^q(R^n) with the stated relations among p, q, α and κ ∈ [0,1), then W^f_{α,p} belongs to L^s(R^n, H^{n-κq}_∞) with the sharp exponent s = q(p-1)(n-κq)/(n-αpq) (and the corresponding weak-type bound when q=1). The argument proceeds by the classical pointwise comparison W ≲ V with the Havin–Maz’ya potential, followed by iteration of known Choquet–Hausdorff bounds for the Riesz potential (Theorems 3.6, 3.5 and Lemma 4.5). As an application, nonnegative p-superharmonic solutions of -div(|Du|^{p-2}Du)=f are shown to lie in the corresponding local Choquet spaces (Theorem 5.1).

Significance. The work cleanly extends the classical L^s-integrability of Wolff potentials (recovered when κ=0) to the Choquet–Hausdorff setting. The resulting exponents are sharp by reduction to an existing counter-example for the Riesz potential, and the PDE application (Theorem 5.1) is new for κ>0. The proofs are short, transparent iterations of established maximal-function and potential estimates; no new machinery is invented, but the transfer of the classical theory into the Choquet scale is carefully executed and fills a natural gap in the literature on nonlinear potential theory with Hausdorff content.

minor comments (5)
  1. In the statement of Theorem 1.2(a) the range of κ is written [0,1), while the underlying Riesz-potential theorem (Theorem 3.6) allows κ ∈ [0,α). A short clarifying sentence would avoid any impression of inconsistency.
  2. Section 3: Theorem 3.1 is presented as a special case of Adams’ result whose proof is missing in the reference; the self-contained argument given here is welcome, but a parenthetical remark that the constant depends only on n (already clear from the covering) would make the dependence fully explicit.
  3. Remark 4.4(b) notes that the constant blows up as κ→α; it would be helpful to record whether any weak-type or restricted-range substitute is known at the endpoint, even if only by a reference.
  4. Typographical: the date line reads “July 7, 2026”; several author names appear with inconsistent spacing (e.g., “RITV A HURRI-SYRJ¨ANEN”); and the arXiv identifier is printed as 2607.04947, which is future-dated. These are easily corrected in production.
  5. In the proof of Theorem 4.1 the local-integrability argument that permits a second application of Theorem 3.6 is slightly terse; a one-line appeal to Hölder and the comparison of Hausdorff contents (already used elsewhere) would improve readability.

Circularity Check

0 steps flagged

No significant circularity: main mapping theorems for Wolff/Havin–Maz’ya potentials are obtained by iterating external Riesz-potential and maximal-operator results; self-citations supply only auxiliary Choquet-norm comparisons.

full rationale

The derivation of Theorem 1.2 proceeds by the classical pointwise comparison W^f_{α,p} ≲ V^f_{α,p} (quoted from Havin–Maz’ya [30] and Adams–Meyers [5]), followed by an algebraic iteration of the external Choquet–Hausdorff mapping theorems for the Riesz potential (Theorem 3.6 from Cao–Huang–Yang–Zhuo [7]) and the weak-type maximal operator (Theorem 3.5 from Hatano–Kawasumi–Saito–Tanaka [22] and Adams [1]). The resulting exponents s = q(p-1)(n-κq)/(n-αpq) (and the weak-type analogue) are therefore forced by the composition of those external statements rather than by any fitted parameter or self-referential definition. The same chain yields the PDE application Theorem 5.1 via the external pointwise estimate of Kilpeläinen–Malý [28]. Self-citations ([18]–[21]) appear only for elementary properties of Choquet integrals with respect to Hausdorff content (e.g., comparison of H^δ_∞ and H^n_∞, local integrability lemmas); none of them encodes the target mapping property or uniqueness claim. No self-definitional loop, fitted-input-as-prediction, uniqueness-from-authors, or ansatz-smuggling step is present. The argument is therefore self-contained against the cited external benchmarks, with only the most minor self-citation overhead.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

Pure-analysis paper; no free parameters or invented physical entities. All load-bearing ingredients are either standard measure-theoretic facts or previously published potential estimates that are cited and used as black boxes.

axioms (5)
  • domain assumption Pointwise comparison W^f_{α,p} ≲ V^f_{α,p} (and reverse under 2-α/n < p < n/α) for locally integrable f
    Taken from Havin–Maz’ya and Adams–Meyers; used as the bridge from Havin–Maz’ya estimates to Wolff estimates (proof of Theorem 1.2).
  • domain assumption Riesz-potential mapping theorems of Cao–Huang–Yang–Zhuo (Theorem 3.6) in Choquet–Lorentz spaces with Hausdorff content
    Iterated twice to obtain the Havin–Maz’ya bounds (Theorems 4.1 and 4.6).
  • domain assumption Weak-type boundedness of the Hardy–Littlewood maximal operator on Choquet spaces (Hatano et al., Theorem 3.5)
    Used in the weak-type argument of Theorem 4.6.
  • standard math Comparability of Hausdorff content H^δ_∞ with its dyadic counterpart and the resulting continuity under increasing unions (Lemma 2.3)
    Standard capacity fact needed to pass from local covering estimates to global Hausdorff-content bounds.
  • domain assumption Kilpeläinen–Malý pointwise estimate relating a p-superharmonic function to the Wolff potential of its right-hand side
    Invoked in Section 5 to transfer the potential estimates to solutions of the p-Laplace equation.

pith-pipeline@v1.1.0-grok45 · 17489 in / 2814 out tokens · 24523 ms · 2026-07-11T11:04:01.815001+00:00 · methodology

0 comments
read the original abstract

We study integrability properties of the Wolff potential in context of Choquet integrals with respect to the Hausdorff content. As an application we give integrability results to the solutions of the $p$-Laplace equation in this context.

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

39 extracted references · 3 canonical work pages

  1. [1]

    R.: Choquet Integrals in Potential Theory,Publ

    Adams, D. R.: Choquet Integrals in Potential Theory,Publ. Mat.42(1998), 3–66

    1998

  2. [2]

    R.: A note on Choquet integrals with respect to Hausdorffcapacity

    Adams, D. R.: A note on Choquet integrals with respect to Hausdorffcapacity. In: Cwikel, M., Peetre, J., Sagher, Y ., Wallin, H. (eds.) Function Spaces and Applica- tions (Lund 1986), Lecture Notes in Mathematics vol. 1302, Springer, Berlin (1988) pp. 115–124

    1986

  3. [3]

    R.:Morrey Spaces, Birkh ¨auser, Cham–Heidelberg–New York, 2015

    Adams, D. R.:Morrey Spaces, Birkh ¨auser, Cham–Heidelberg–New York, 2015

    2015

  4. [4]

    R., Hedberg, L

    Adams, D. R., Hedberg, L. I.:Function spaces and potential theory, Grundlehren der mathematischen Wissenschaften, 314, Springer, Berlin, 1996

    1996

  5. [5]

    R., Meyers, N

    Adams, D. R., Meyers, N. G.: Thinness and Wiener Criteria for Non-linear Poten- tials,Indiana Univ. Math. J.22(1972), no. 2, 169–197

    1972

  6. [6]

    B., Roychowdhury, P., Spector, D.: The capacitary John- Nirenberg inequality revisited,Adv

    Basak, R., Chen, Y .-W. B., Roychowdhury, P., Spector, D.: The capacitary John- Nirenberg inequality revisited,Adv. Calc. Var.18(2025), no.4, 1361–1385

    2025

  7. [7]

    Cao, Y ., Huang, L., Yang, D., Zhuo, C.: Sharp Poincar ´e–Sobolev Inequalities of Choquet–Lorentz Integrals with Respect to HausdorffContents on Bounded John Domains,J. Geom. Anal.36(2026), article number 218, doi:10.1007/s12220-026- 02474-1

    work page doi:10.1007/s12220-026- 2026

  8. [8]

    Math.62 (2011), no

    Cerd ´a, J., Mart ´ın, J., Silvestre, P.: Capacitary function spaces.Collect. Math.62 (2011), no. 1, 95–118

    2011

  9. [9]

    B.: A self-improving property of Riesz potentials in BMO,J

    Chen, Y .-W. B.: A self-improving property of Riesz potentials in BMO,J. Geom. Anal.35(2025), no. 8, Paper No. 237, 23 pp

    2025

  10. [10]

    B., Claros, A.:β-dimensional sharp maximal function and its applica- tions

    Chen, Y .-W. B., Claros, A.:β-dimensional sharp maximal function and its applica- tions. arXiv:2407.04456v3

    Pith/arXiv arXiv

  11. [11]

    B., Claros, A.: Commutators of fractional integrals withBMO β func- tions

    Chen, Y .-W. B., Claros, A.: Commutators of fractional integrals withBMO β func- tions. arXiv:2602.09742

    arXiv

  12. [12]

    Chen, Y .-W., Spector, D.: On functions of boundedβ-dimensional mean oscillation, Adv. Calc. Var.17(2024), 975–996

    2024

  13. [13]

    B., Ooi, K

    Chen, Y .-W. B., Ooi, K. H., Spector, D.: Capacitary maximal inequalities and applications,J. Funct. Anal.286(2024), no. 12, article number 110396, doi:10.1016/j.jfa.2024.110396

    work page doi:10.1016/j.jfa.2024.110396 2024

  14. [14]

    Choquet, G.: Theory of capacities.Ann. Inst. Fourier (Grenoble)5(1953–1954), 13–295

    1953

  15. [15]

    Cianchi, A.: Nonlinear potentials, local solutions to elliptic equations, and rear- rangements,Ann. Sc. Norm. Super. Pisa10(2011), 335–361. A NOTE ON NEW MAPPING PROPERTIES FOR WOLFF POTENTIAL 13

    2011

  16. [16]

    27, Kluwer Academic Publish- ers Group, Dordrecht, 1994

    Denneberg, D.:Non-additive measure and integral, Theory and Decision Library Series B: Mathematical and Statistical Methods vol. 27, Kluwer Academic Publish- ers Group, Dordrecht, 1994

    1994

  17. [17]

    J.33(2026), no

    Futamura, T., Sawano, Y ., Shimomura T.: Weak-type estimates for variable Riesz potentials with respect to Hausdorffcontent over metric measure spaces,Georgian Math. J.33(2026), no. 2, 289–299

    2026

  18. [18]

    In: Lenhart, S., Xiao, J

    Harjulehto, P., Hurri-Syrj ¨anen, R.: Estimates for the variable order Riesz potential with application. In: Lenhart, S., Xiao, J. (eds.),Potentials and Partial Differential Equations: The Legacy of David R. Adams, Advances in Analysis and Geometry vol. 8, De Gruyter, Berlin (2023) pp. 127–155

    2023

  19. [19]

    Harjulehto, P., Hurri-Syrj ¨anen, R.: On Choquet integrals and Poincar ´e-Sobolev type inequalities,J. Funct. Anal.284(2023), issue 9, article number 109862, doi:10.1007/s44007-024-00131-z

    work page doi:10.1007/s44007-024-00131-z 2023

  20. [20]

    Harjulehto, P., Hurri-Syrj ¨anen, R.: On Choquet integrals and Sobolev type inequal- ities,La Matematica3(2024), 1379–1399

    2024

  21. [21]

    Harjulehto, P., Hurri-Syrj ¨anen, R.: On Lebesgue points and measurability with Cho- quet integrals,J. Geom. Anal.36(2026), article number 194, doi:10.1007/s12220- 026-02419-8

    doi:10.1007/s12220- 2026

  22. [22]

    Hatano, N., Kawasumi, R., Saito H., Tanaka, H.: Choquet integrals, Hausdorff content and fractional operators,Bull. Austr. Math. Soc.110(2024), Issue 2, 355– 366.Correctionto ’Choquet integrals, Hausdorffcontent and fractional operators’ inBull. Austr. Math. Soc.111(2025), Issue 3, 568–570

    2024

  23. [23]

    I.: On certain convolution inequalities,Proc

    Hedberg, L. I.: On certain convolution inequalities,Proc. Amer. Math. Soc.36 (1972), 505–510

    1972

  24. [24]

    I.: Non-linear Potentials and Approximation in the mean by Analytic Functions,Math

    Hedberg, L. I.: Non-linear Potentials and Approximation in the mean by Analytic Functions,Math. Z.129(1972), 299–319

    1972

  25. [25]

    I., Wolff, Th

    Hedberg, L. I., Wolff, Th. H..: Thin sets in nonlinear potential theory,Ann. Inst. Fourier (Grenoble)33(1983), no. 4, 161–187

    1983

  26. [26]

    Heinonen, J., Kilpel ¨ainen, T., Martio, O.:Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford University Press, Oxford, 1993

    1993

  27. [27]

    arXiv:2604.21506v1

    Huang, M., Lahti, P., Li, J., Wang, Z.: Boxing inequalities for relative fractional perimeter and fractional Poincar´e-type inequalities on John domains with the BBM factor. arXiv:2604.21506v1

    Pith/arXiv arXiv

  28. [28]

    Kilpel ¨ainen, T., Mal ´y, J.: The Wiener test and potential estimates for quasilinear elliptic equations,Acta Math.172(1994), 137–161

    1994

  29. [29]

    D., Spector, D.: An improvement to the John-Nirenberg inequality for functions in critical Sobolev spaces,Adv

    Mart ´ınez, ´A. D., Spector, D.: An improvement to the John-Nirenberg inequality for functions in critical Sobolev spaces,Adv. Nonlinear Anal.10(2021), 877–894

    2021

  30. [30]

    G., Havin, V

    Maz’ya, V . G., Havin, V . P.: A nonlinear potential theory,Russian Math. Surveys27 (1972), no. 6, 71–148

    1972

  31. [31]

    G.: A theory of capacities for potentials of functions in Lebesgue classes, Math

    Meyers, N. G.: A theory of capacities for potentials of functions in Lebesgue classes, Math. Scand.26(1970), 255-292

    1970

  32. [32]

    London Math

    Mihula, Z., Pick, L., Spector D.: Potential trace inequalities via a Calderon-type theorem,J. London Math. Soc.(2)113(2026)no. 3, Paper No. e70504, 35 pp

    2026

  33. [33]

    H.: On the dual of Choquet integrals spaces associated with capacities, Studia Math.274(2024), no

    Ooi, K. H.: On the dual of Choquet integrals spaces associated with capacities, Studia Math.274(2024), no. 3, 249–268

    2024

  34. [34]

    H., Phuc, N

    Ooi, K. H., Phuc, N. C.: The Hardy-Littlewood maximal function, Choquet inte- grals, and embeddings of Sobolev type,Math. Ann.382(2022), 1865–1879

    2022

  35. [35]

    Ponce, A.G., Spector, D.: A boxing inequality for the fractional perimeter.Ann. Sc. Norm. Super. Pisa Cl. Sci.(5)20(2020), 107–141

    2020

  36. [36]

    G., Spector, D.: Some remarks on Capacitary Integrals and Measure The- ory

    Ponce, A. G., Spector, D.: Some remarks on Capacitary Integrals and Measure The- ory. In: Lenhart, S., Xiao, J. (eds.)Potentials and Partial Differential Equations: 14 PETTERI HARJULEHTO AND RITV A HURRI-SYRJ ¨ANEN The Legacy of David R. Adams, Advances in Analysis and Geometry vol. 8, De Gruyter, Berlin (2023) pp. 127–155

    2023

  37. [37]

    G.: On the concept of capacity in the theory of functions wth gener- alised derivatives.Sib

    Reshentjak, Ju. G.: On the concept of capacity in the theory of functions wth gener- alised derivatives.Sib. Mat. Zh.10(1969), 1109–1138, (Russian). English transla- tion: Siberian Mat. J., 10 (1969), 818–842

    1969

  38. [38]

    M.:Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, New Jersey, 1970

    Stein, E. M.:Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, New Jersey, 1970

    1970

  39. [39]

    Yang D., Yuan, W.: A note on dyadic Hausdorffcapacities.Bull. Sci. Math.132 (2008), 500–509. (Petteri Harjulehto) Department ofMathematics andStatistics, FI-00014 University ofHelsinki, Finland Email address:petteri.harjulehto@helsinki.fi (Ritva Hurri-Syrj¨anen) Department ofMathematics andStatistics, FI-00014 Univer- sity ofHelsinki, Finland Email addres...

    2008