Pith. sign in

REVIEW 2 major objections 4 minor 54 references

On the logarithmic equilibrium measure on curves

T0 review · 2 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 On the $C^{1,\alpha}$-regular part of a compact set, the logarithmic equilibrium measure is absolutely continuous with respect to arclength — in $d \geq 3$ this was open even for $C^{\infty}$ graphs.

desk verdict A substantial new theorem in logarithmic potential theory, but the passage from the Riesz-kernel minimum principle to the logarithmic kernel is not fully justified and needs referee scrutiny. read the letter →

arxiv 2506.07752 v1 pith:NKXSHL3L submitted 2025-06-09 math.CA

Damian Dąbrowski , Tuomas Orponen This is my paper
classification math.CA MSC 31B1531A1542B20
keywords logarithmicequilibriummeasurepotentialC^{1\alpha}curvesabsolutecontinuitylengthfractionalLaplacianFrostmanestimatesCalderón-Zygmundoperators
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 proves Theorem 1.3: for a compact set $\gamma \subset \mathbb{R}^d$ of positive logarithmic capacity, the logarithmic equilibrium measure — the unique probability measure on $\gamma$ minimizing the energy $\int\!\int -\log|x-y|\,d\mu(x)\,d\mu(y)$ — is absolutely continuous with respect to arclength on the part of $\gamma$ that is locally a $C^{1,\alpha}$ graph, $\alpha > 0$. In dimensions $d \geq 3$ this is the first general structure theorem for this measure, and it resolves the standing question of whether the support of an equilibrium measure on a smooth curve can have positive Hausdorff dimension: on a compact $C^{1,\alpha}$ curve the support has full dimension one. In the plane the statement is a classical consequence of identifying the equilibrium measure with harmonic measure of the complement, so the proof is built for the genuinely higher-dimensional case. The technical core, Theorem 1.9, shows that on a small-slope graph a measure whose graph potential equals a Lipschitz function on its support and dominates it everywhere must be given by a density that is locally in every $L^p$ space.

What carries the argument

The proof runs on three objects. First, the graph potential is decomposed as $U^{\Gamma}\mu = P\mu + R\mu$, where the principal part $P\mu$ (built from a smoothed gradient of $A$) is convex outside the support of $\mu$, and the remainder $R\mu$ is $\alpha$-Hölder; $R\mu$ becomes $(\alpha+\kappa)$-Hölder once $\mu$ satisfies the dimension estimate $\mu(B(x,r)) \lesssim r^{\kappa}$. Convexity plus the equality/inequality hypotheses (Proposition 3.14) force $U^{\Gamma}\mu$ itself to be Hölder continuous. Second, a family of fractional-Laplacian operators $T_\beta^{\Gamma} = \Delta^{(1-\beta)/2} U^{\Gamma} \Delta^{\beta/2}$, $\beta \in [0,1]$, are shown by Calderón–Zygmund theory — kernels of the form $k(\Gamma(x) - \Gamma(y))$ multiplied by difference quotients $(A_i(x) - A_i(y))/(x - y)$ — to be uniformly bounded on $L^p$ and, for small $\mathrm{Lip}\,A$, invertible (Theorem 7.1); this converts Hölder regularity of the potential into dimension (Frostman-type) estimates on $\mu$. Third, a bootstrap iterates the dimension exponent through the improved remainder estimates until it passes $1 - \alpha$, at which point $U^{\Gamma}\mu$ is Lipschitz and the $\beta = 0$ case of the same operator theory yields $\mu$ locally in $L^p$. The initial ignition is the local minimum principle of Corollary 2.4, which upgrades the classical approximate lower bound $U\mu \geq E_{\log}(\mu)$ to an everywhere bound on locally Ahlfors-regular pieces of the curve, so that the potential is actually constant on the relevant supports.

What would settle it

Pick a compact smooth arc in $\mathbb{R}^3$, for instance the parabola graph $\gamma = \{(t, t^2, 0) : |t| \leq 1\}$, and compute the logarithmic equilibrium measure on a compact subinterval of the interior, numerically or by rigorous discretisation. The theorem predicts a density that lies in every $L^p$ space and dimension bounds $\mu(B(x,r)) \lesssim r^{\kappa}$ for every $\kappa < 1$; a subinterval where the dimension exponent drops strictly below 1, or where any positive mass sits on an arclength-null set, would refute Theorem 1.3. A cheaper probe targets the weakest premise directly: build a compact set that is $C^{1,\alpha}$ at one point but not Ahlfors regular in any neighbourhood, and test whether the approximate lower bound $U\mu \geq E_{\log}(\mu)$ holds at every regular point — Corollary 2.4 asserts it always does, and the reduction to Theorem 1.9 collapses if that fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: if $\gamma \subset \mathbb{R}^d$ is a compact set with positive logarithmic capacity and $\mu$ is its logarithmic equilibrium measure, then $\mu$ restricted to $\gamma_{\mathrm{reg}}$ — the set of points where $\gamma$ is locally the graph of a $C^{1,\alpha}$ function $\mathbb{R} \to \mathbb{R}^{d-1}$ for some $\alpha > 0$ — is absolutely continuous with respect to the length measure. Equivalently, on any compact $C^{1,\alpha}$ curve, or a finite union of such curves, the equilibrium measure has a density with respect to arclength, and the support of the measure has Hausdorff dimension one on the regular part. The theorem is deduced from the local statement Theorem 1.9, which the paper proves in full: for a graph $\Gamma(x) = (x, A(x))$ with $A \in C^{1,\alpha}$ and sufficiently small Lipschitz constant, if a measure $\mu$ on $\mathbb{R}$ has the property that its logarithmic graph potential $U^{\Gamma}\mu$ agrees with a Lipschitz function $L$ on the support of $\mu$ inside an interval $I_0$ and is bounded below by $L$ throughout $I_0$, then $\mu$ is absolutely continuous on compact subintervals of $I_0$, with density in $L^p$ for every finite $p$. For $d = 2$ this local statement can be recovered from classical harmonic measure theory for graphs, but for $d \geq 3$ both Theorem 1.9 and Theorem 1.3 are new, including for $C^{\infty}$ graphs.

Load-bearing premise

The load-bearing premise is the local minimum principle of Corollary 2.4: a lower bound on the logarithmic potential that holds 'almost everywhere' on a regular piece of the curve (outside a capacity-zero set) must hold at every point of that piece; if this upgrade fails, the potential need not equal the Lipschitz function on the whole support, and the bootstrap never starts.

Editorial extensions

If this is right

  • On a compact $C^{1,\alpha}$ curve, or a finite union of such curves, the logarithmic equilibrium measure has a density against arclength; in $d \geq 3$ this answers the previously open question of whether the support has positive Hausdorff dimension — it has full dimension one on the regular part.
  • Theorem 1.9's local $L^p$ conclusion means the density may be unbounded — as on the interval, where $d\mu = dx/(\pi\sqrt{1-x^2})$ — but it can never concentrate a singular component on any sub-arc.
  • The asymptotic distribution of logarithmically optimal $N$-point configurations (Fekete points) on $C^{1,\alpha}$ curves is therefore governed by an absolutely continuous equilibrium measure.
  • Absolute continuity is not mutual, even when the whole curve is regular: a unit circle with any smooth curve attached inside it carries its equilibrium measure entirely on the circle (Remark 1.4).
  • The small-slope graph machinery is the announced template (Section 1.4) for treating $(m-1)$-Riesz equilibrium measures on $m$-dimensional $C^{1,\alpha}$ surfaces by the same bootstrap.

Reading between the lines

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

  • The kernel split 'convex principal part plus Hölder remainder' does not use anything special about the logarithmic kernel beyond its singularity, so a similar bootstrap plausibly works for Riesz kernels of order $s < d-2$ on $C^{1,\alpha}$ curves — a regime where no structural results currently exist and which the paper explicitly leaves open.
  • The local density of the equilibrium measure is predicted on any smooth arc in $\mathbb{R}^3$ to obey the dimension bounds $\mu(B(x,r)) \lesssim r^{\kappa}$ for every $\kappa < 1$; that quantitative fingerprint could be checked by a numerical computation on a generic smooth arc, e.g. a parabolic graph, without computing the density itself.
  • The small-slope hypothesis $\delta = \delta(p, \alpha, d)$ enters only through the $L^p$ invertibility of $T_\beta^{\Gamma}$ (Theorem 7.1); if that invertibility survives without the smallness assumption, the same proof would extend absolute continuity to $C^{1,\alpha}$ curves of arbitrary slope, and possibly to Lipschitz curves.
  • In the plane the theorem is a shadow of harmonic-measure theory, as the authors note; the higher-dimensional mechanism suggests that the right structural theory for equilibrium measures on low-dimensional sets in $\mathbb{R}^d$ is built from local potential decompositions and operator invertibility rather than from subharmonicity of the kernel.
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

2 major / 4 minor

Summary. This paper studies the logarithmic equilibrium measure µ on a compact set γ⊂R^d. The main result, Theorem 1.3, states that µ is absolutely continuous with respect to arclength on the set γ_reg of points where γ is locally a C^{1,α} graph, α>0. The proof reduces Theorem 1.3 to a one-dimensional statement, Theorem 1.9, asserting that on a small-Lipschitz C^{1,α} graph Γ, any measure µ∈M(R) whose graph potential U^Γµ coincides with a Lipschitz function on sptµ∩I0 and is ≥ that function on I0 is absolutely continuous on compact subintervals of I0, with L^p density. The proof of Theorem 1.9 splits U^Γµ=Pµ+Rµ into a convex principal part and an α-Hölder remainder, then uses the equality/inequality hypotheses plus Proposition 3.14 to obtain Hölder regularity of U^Γµ. A bootstrap in §4.1 converts, via L^p estimates for fractional Laplacians and Proposition 3.1, the available Frostman exponents of µ into higher ones, eventually reaching exponent >1−α, which yields L^p integrability of µ. The remaining sections prove the required L^p invertibility of the operators T_β=∆^{(1−β)/2}U^Γ∆^{β/2} by Calderón–Zygmund theory and a comparison with the flat graph. The paper also contains a critical Remark 1.1 questioning part of the proof of [35, Theorem 2.7], though it does not rely on that theorem.

Significance. If the stated theorem is correct, it is a substantial advance: for d≥3 it is the first result showing that the logarithmic equilibrium measure on C^∞ curves is absolutely continuous with respect to arclength, and it answers the previously open question of whether the support has positive dimension in that setting. The technical apparatus is impressive and largely self-contained: the decomposition U=P+R with explicit convexity and Hölder estimates, the bootstrapping scheme with matching Frostman exponents, and the uniform L^p estimates for truncated operators are coherent and detailed. I did not find independent errors in Sections 3–7 once the minimum principle is granted. The one load-bearing gap concerns the local minimum principle underlying the reduction of Theorem 1.3 to Theorem 1.9, detailed in the major comments; this is localized and appears repairable.

major comments (2)
  1. [Appendix B / Corollary 2.4] The proof of Corollary 2.4 is not valid as written for the logarithmic potential. Theorem B.1 invokes [45, Proposition 2.7] for the weak s-Lebesgue point identity (B.2), but [45] concerns Riesz s-potentials |x−y|^{-s}, whereas the application in §2.3 requires the same conclusion for Uµ(x)=∫−log|Γ(x)−Γ(y)|dµ(y). The logarithmic kernel is not an s-Riesz kernel, no limiting argument is supplied, and the proof in Appendix B does not verify (B.2) for this kernel. Since Theorem 2.2 only supplies the lower bound Uµ≥E_log(µ) approximately everywhere, this gap is load-bearing: without an everywhere lower bound on γ∩B(3r), the equality Uµ=E_log(µ) on sptµ∩B(3r) used to verify the hypotheses of Theorem 1.9 is not established. The gap appears fixable by a direct proof of the weak Lebesgue point property for -log|x−y| on Ahlfors 1-regular sets, but it must be supplied.
  2. [Theorem 2.3 / Corollary 2.4] The statement of Theorem 2.3 is ambiguous about which kernel U denotes. In §2.1, U is the logarithmic potential, but the cited result [45, Theorem 2.5] is a minimum principle for Riesz s-potentials, and §1.3 uses [45] in exactly that Riesz capacity. If Theorem 2.3 is intended for the logarithmic potential, it is not a special case of [45]; if it is intended for the Riesz s-potential, then Corollary 2.4 is not applicable to the logarithmic equilibrium measure in §2.3. Either way, the manuscript needs a consistent statement and proof of the minimum principle for the kernel actually used.
minor comments (4)
  1. [Lemma 3.13] The stated range γ∈(0,1−α] is empty when α=1; the case α=1 should be handled separately or the notation should be adjusted.
  2. [Proposition 7.2] The auxiliary function log_+ is defined as max{log,1}, which conflicts with the standard usage max{log,0}; the text should use a different symbol or explicitly explain the deliberate cutoff.
  3. [Remark 1.1] The critique of [35, Theorem 2.7] is not used later in the paper; the authors should state explicitly that no later argument depends on that theorem, so the remark is not read as an unsupported assertion affecting the proof.
  4. [General] Several displayed formulas contain typesetting/OCR artifacts (for example, the notation for averaged balls and the truncated logarithm functions) that should be cleaned up in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main proof is self-contained, and the only self-citation is a minor non-load-bearing reference.

full rationale

The derivation of Theorem 1.3 from Theorem 1.9 rests on standard potential theory, including the classical upper/lower bounds of Theorem 2.2, the external minimum principle of Reznikov–Saff–Vlasiuk [45] used through Corollary 2.4, and the continuity principle. Corollary 2.4 is proved in Appendix B from [45, Proposition 2.7]; even if one questions whether the logarithmic kernel falls under the Riesz-kernel coverage of [45], that concern is about correctness or scope of an external theorem, not a circular reduction of the paper's conclusion to its own inputs. The proof of Theorem 1.9 proceeds by proving Holder regularity of the logarithmic potential, then L^p bounds for fractional Laplacians, and then Frostman regularity through a bootstrap; no parameter is fitted to the target conclusion and no 'prediction' is renamed as an input. The operator argument in Theorem 7.1 uses a flat-case limit equal to a multiple of the identity and Calderon–Zygmund estimates, which is a genuine functional-analytic derivation rather than a circular step. The only self-citation is [42] (Orponen–Villa), used for an elementary metric lemma and as a template for adaptation arguments; it is not load-bearing for the logarithmic equilibrium measure statement, and its stated assumptions do not include the target result, so it does not raise the circularity score. The d=2 harmonic-measure route is explicitly labeled as a classical alternative, and the d>=3 result is presented as new, so there is no renaming of a known result. Overall, no derivation step reduces by construction to its own inputs.

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

The central claim rests entirely on standard potential theory, Fourier analysis, and singular integral theory. There are no fitted parameters and no invented entities. The most delicate external input is the local minimum principle of Reznikov-Saff-Vlasiuk used in Corollary 2.4.

assumptions (7)
  • standard math Existence and uniqueness of the logarithmic equilibrium measure for compact sets of positive capacity (Theorem 2.1, cited to Fuglede, Landkof, Hayman-Kennedy).
    Invoked in Section 2.1 to define μ and in Theorem 1.3 to set up the proof.
  • standard math Classical upper/lower potential bounds for equilibrium measures (Theorem 2.2, cited to Hayman-Kennedy): Uμ≤E_log on spt μ and Uμ≥E_log approximately everywhere on γ.
    Used throughout, especially in Section 2.3 to identify L(x)=E_log-U_{μ_2}(Γ(x)).
  • standard math Minimum principle for Ahlfors regular sets (Theorem 2.3 and Theorem B.1, from Reznikov-Saff-Vlasiuk [45]), including the weak s-Lebesgue point property (B.2).
    Load-bearing for Corollary 2.4, which upgrades approximate lower bounds to everywhere bounds on locally Ahlfors regular parts of γ.
  • standard math Continuity principle for logarithmic potentials (Theorem 2.5, cited to Hayman-Kennedy).
    Used in Section 2.3 to extend continuity of Uμ from spt μ to open sets.
  • standard math Mihlin multiplier theorem and Hardy-Littlewood-Sobolev inequalities (Theorems 2.18 and [48, Chapter V §1.2]).
    Used for L^p bounds on imaginary fractional Laplacians and Riesz potential estimates in Sections 2.5 and 3.2.
  • standard math Tolsa's theorem on L^2 boundedness of singular integrals with odd kernels on uniformly rectifiable sets (Theorem 6.6) and Journé's stable-kernel/T1 theorem (Theorem 6.5).
    Used in Section 6 to establish uniform L^p bounds and Lipschitz dependence of the truncated operators T_β^{Γ,ε,R}.
  • standard math Complex interpolation (three lines lemma) and Calderón-Zygmund theory for standard kernels (Theorem 6.4).
    Used in Sections 6.2-6.3 to interpolate L^p estimates for Re β∈[0,1].

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the logarithmic equilibrium measure on curves." pith.science (2026). https://pith.science/paper/NKXSHL3L

@misc{pith2026250607752,
  author       = {Pith},
  title        = {Pith review of: On the logarithmic equilibrium measure on curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NKXSHL3L}},
  note         = {Machine review of arXiv:2506.07752}
}
abstract

Let $\mu$ be the logarithmic equilibrium measure on a compact set $\gamma \subset \mathbb{R}^{d}$. We prove that $\mu$ is absolutely continuous with respect to the length measure on the part of $\gamma$ which can be locally expressed as the graph of a $C^{1,\alpha}$-function $\mathbb{R} \to \mathbb{R}^{d - 1}$, $\alpha > 0$. For $d = 2$, at least in the case where $\gamma$ is a compact $C^{1,\alpha}$-graph, our result can also be deduced from the classical fact that $\mu$ coincides with the harmonic measure of $\Omega =\mathbb{R}^{2} \, \setminus \, \gamma$ with pole at $\infty$. For $d \geq 3$, however, our result is new even for $C^{\infty}$-graphs. In fact, up to now it was not even known if the support of $\mu$ has positive dimension.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

54 extracted references · 53 canonical work pages

  1. [35]

    D. P . Hardin, A. Reznikov, E. B. Saff, and A. Volberg. Local properties of Riesz minimal energy config- urations and equilibrium measures.Int. Math. Res. Not. IMRN, (16):5066–5086, 2019

    work page 2019

  2. [45]

    Reznikov, E

    A. Reznikov, E. B. Saff, and O. V . Vlasiuk. A Minimum Principle for Potentials with Application to Chebyshev Constants.Potential Anal., 47(2):235–244, 2017

    work page 2017

  3. [42]

    Sub-elliptic boundary value problems in flag domains.Adv

    Tuomas Orponen and Michele Villa. Sub-elliptic boundary value problems in flag domains.Adv. Calc. Var., 16(4):975–1059, 2023

    work page 2023

  4. [1]

    David R. Adams. A note on Riesz potentials.Duke Math. J., 42(4):765–778, 1975

    work page 1975

  5. [2]

    Absolute continuity of harmonic measure for domains with lower regular boundaries.Adv

    Murat Akman, Jonas Azzam, and Mihalis Mourgoglou. Absolute continuity of harmonic measure for domains with lower regular boundaries.Adv. Math., 345:1206–1252, 2019

    work page 2019

  6. [3]

    Anderson, A

    A. Anderson, A. Reznikov, O. Vlasiuk, and E. White. Polarization and covering on sets of low smooth- ness.Adv. Math., 410(part A):Paper No. 108720, 39, 2022

    work page 2022

  7. [4]

    Dimension drop for harmonic measure on Ahlfors regular boundaries.Potential Anal., 53(3):1025–1041, 2020

    Jonas Azzam. Dimension drop for harmonic measure on Ahlfors regular boundaries.Potential Anal., 53(3):1025–1041, 2020

    work page 2020

  8. [5]

    Semi-uniform domains and theA 8 property for harmonic measure.Int

    Jonas Azzam. Semi-uniform domains and theA 8 property for harmonic measure.Int. Math. Res. Not. IMRN, (9):6717–6771, 2021

    work page 2021

Show all 54 references
  1. [6]

    Matzke, and Stefan Steinerberger

    Dmitriy Bilyk, Michelle Mastrianni, Ryan W. Matzke, and Stefan Steinerberger. Polarization and Greedy Energy on the Sphere.arXiv e-prints, page arXiv:2302.13067, February 2023

    2023 arXiv

  2. [7]

    Bishop and Peter W

    Christopher J. Bishop and Peter W. Jones. Harmonic measure and arclength.Ann. of Math. (2), 132(3):511–547, 1990

    1990

  3. [8]

    S. V . Borodachov, D. P . Hardin, A. Reznikov, and E. B. Saff. Optimal discrete measures for Riesz poten- tials.Trans. Amer. Math. Soc., 370(10):6973–6993, 2018

    2018

  4. [9]

    Borodachov, Douglas P

    Sergiy V . Borodachov, Douglas P . Hardin, and Edward B. Saff.Discrete energy on rectifiable sets. Springer Monographs in Mathematics. Springer, New York, [2019] ©2019

    2019

  5. [10]

    Bourgain

    J. Bourgain. On the Hausdorff dimension of harmonic measure in higher dimension.Invent. Math., 87(3):477–483, 1987

    1987

  6. [11]

    J. S. Brauchart. Optimal logarithmic energy points on the unit sphere.Math. Comp., 77(263):1599–1613, 2008. ON THE LOGARITHMIC EQUILIBRIUM MEASURE ON CURVES 69

    2008

  7. [12]

    Matthew T. Calef. Rieszs-equilibrium measures ond-dimensional fractal sets assapproachesd.J. Math. Anal. Appl., 371(2):564–572, 2010

    2010

  8. [13]

    Calef and Douglas P

    Matthew T. Calef and Douglas P . Hardin. Rieszs-equilibrium measures ond-rectifiable sets assap- proachesd.Potential Anal., 30(4):385–401, 2009

    2009

  9. [14]

    Cegrell, S

    U. Cegrell, S. Kolodziej, and N. Levenberg. Two problems on potential theory for unbounded sets. Math. Scand., 83(2):265–276, 1998

    1998

  10. [15]

    Conway.A course in functional analysis, volume 96 ofGraduate Texts in Mathematics

    John B. Conway.A course in functional analysis, volume 96 ofGraduate Texts in Mathematics. Springer- Verlag, New York, second edition, 1990

    1990

  11. [16]

    Björn E. J. Dahlberg. Estimates of harmonic measure.Arch. Rational Mech. Anal., 65(3):275–288, 1977

    1977

  12. [17]

    David, J

    G. David, J. Feneuil, and S. Mayboroda. Elliptic theory for sets with higher co-dimensional boundaries. Mem. Amer. Math. Soc., 274(1346):vi+123, 2021

    2021

  13. [18]

    David and D

    G. David and D. Jerison. Lipschitz approximation to hypersurfaces, harmonic measure, and singular integrals.Indiana Univ. Math. J., 39(3):831–845, 1990

    1990

  14. [19]

    David and S

    G. David and S. Mayboroda. Harmonic measure is absolutely continuous with respect to the Hausdorff measure on all low-dimensional uniformly rectifiable sets.Int. Math. Res. Not. IMRN, (11):9319–9426, 2023

    2023

  15. [20]

    Springer, Berlin, Heidelberg, 1991

    Guy David.Wavelets and Singular Integrals on Curves and Surfaces, volume 1465 ofLecture Notes in Math. Springer, Berlin, Heidelberg, 1991

    1991

  16. [21]

    Square functions, nontangential limits, and har- monic measure in codimension larger than 1.Duke Math

    Guy David, Max Engelstein, and Svitlana Mayboroda. Square functions, nontangential limits, and har- monic measure in codimension larger than 1.Duke Math. J., 170(3):455–501, 2021

    2021

  17. [22]

    Harmonic measure on sets of codimension larger than one.C

    Guy David, Joseph Feneuil, and Svitlana Mayboroda. Harmonic measure on sets of codimension larger than one.C. R. Math. Acad. Sci. Paris, 355(4):406–410, 2017

    2017

  18. [23]

    Dahlberg’s theorem in higher co-dimension.J

    Guy David, Joseph Feneuil, and Svitlana Mayboroda. Dahlberg’s theorem in higher co-dimension.J. Funct. Anal., 276(9):2731–2820, 2019

    2019

  19. [24]

    Cantor sets with absolutely continuous harmonic mea- sure.J

    Guy David, Cole Jeznach, and Antoine Julia. Cantor sets with absolutely continuous harmonic mea- sure.J. Éc. polytech. Math., 10:1277–1298, 2023

    2023

  20. [25]

    P . D. Dragnev, D. A. Legg, and D. W. Townsend. Discrete logarithmic energy on the sphere.Pacific J. Math., 207(2):345–358, 2002

    2002

  21. [26]

    M. Fekete. Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten.Math. Z., 17(1):228–249, 1923

    1923

  22. [27]

    Absolute continuity of the harmonic measure on low dimensional rectifiable sets.J

    Joseph Feneuil. Absolute continuity of the harmonic measure on low dimensional rectifiable sets.J. Geom. Anal., 32(10):Paper No. 247, 36, 2022

    2022

  23. [28]

    PhD thesis, Lund, 1935

    Otto Frostman.Potentiel d’équilibre et capasité des ensembles : avec quelques applications à la théorie des fonctions. PhD thesis, Lund, 1935

    1935

  24. [29]

    Riesz potentials on manifolds

    Otto Frostman and Hans Wallin. Riesz potentials on manifolds. In Christian Berg, Gunnar Forst, and Bent Fuglede, editors,Potential Theory Copenhagen 1979, pages 106–120, Berlin, Heidelberg, 1980. Springer Berlin Heidelberg

    1979

  25. [30]

    The logarithmic potential in higher dimensions.Mat.-Fys

    Bent Fuglede. The logarithmic potential in higher dimensions.Mat.-Fys. Medd. Danske Vid. Selsk., 33(1):14 pp. (1960), 1960

    1960

  26. [31]

    On the theory of potentials in locally compact spaces.Acta Math., 103:139–215, 1960

    Bent Fuglede. On the theory of potentials in locally compact spaces.Acta Math., 103:139–215, 1960

    1960

  27. [32]

    Garnett and Donald E

    John B. Garnett and Donald E. Marshall.Harmonic measure, volume 2 ofNew Mathematical Monographs. Cambridge University Press, Cambridge, 2005

    2005

  28. [33]

    Springer, New York, third edition, 2014

    Loukas Grafakos.Classical Fourier analysis, volume 249 ofGraduate Texts in Mathematics. Springer, New York, third edition, 2014

    2014

  29. [34]

    Texts in Math.Springer, New York, 3rd edition, 2014

    Loukas Grafakos.Modern Fourier analysis, volume 250 ofGrad. Texts in Math.Springer, New York, 3rd edition, 2014

    2014

  30. [36]

    D. P . Hardin and E. B. Saff. Minimal Riesz energy point configurations for rectifiabled-dimensional manifolds.Adv. Math., 193(1):174–204, 2005

    2005

  31. [37]

    D. P . Hardin, E. B. Saff, and H. Stahl. Support of the logarithmic equilibrium measure on sets of revo- lution inR 3.J. Math. Phys., 48(2):022901, 14, 2007

    2007

  32. [38]

    Hardin, Thomas Leblé, Edward B

    Douglas P . Hardin, Thomas Leblé, Edward B. Saff, and Sylvia Serfaty. Large deviation principles for hypersingular Riesz gases.Constr. Approx., 48(1):61–100, 2018. 70 DAMIAN D ˛ ABROWSKI AND TUOMAS ORPONEN

    2018

  33. [39]

    W. K. Hayman and P . B. Kennedy.Subharmonic Functions, Vol. 1. Number 9 in London Mathematical Society Monograph. Academic Press, Cambridge, MA, USA, 1976

    1976

  34. [40]

    N. S. Landkof.Foundations of modern potential theory. Die Grundlehren der mathematischen Wis- senschaften, Band 180. Springer-Verlag, New York-Heidelberg, 1972. Translated from the Russian by A. P . Doohovskoy

    1972

  35. [41]

    Coulomb and Riesz gases: the known and the unknown.J

    Mathieu Lewin. Coulomb and Riesz gases: the known and the unknown.J. Math. Phys., 63(6):Paper No. 061101, 77, 2022

    2022

  36. [43]

    Prats and X

    M. Prats and X. Tolsa. Notes on harmonic measure. Preprint

  37. [44]

    E. A. Rakhmanov, E. B. Saff, and Y. M. Zhou. Electrons on the sphere. InComputational methods and function theory 1994 (Penang), volume 5 ofSer. Approx. Decompos., pages 293–309. World Sci. Publ., River Edge, NJ, 1995

    1994

  38. [46]

    Springer Berlin Heidelberg, Berlin, Heidelberg, 1988

    Marcel Riesz.Integrales de Riemann-Liouville et Potentiels, pages 482–526. Springer Berlin Heidelberg, Berlin, Heidelberg, 1988

    1988

  39. [47]

    Mathematical problems for the next century.Math

    Steve Smale. Mathematical problems for the next century.Math. Intelligencer, 20(2):7–15, 1998

    1998

  40. [48]

    Stein.Singular integrals and differentiability properties of functions

    Elias M. Stein.Singular integrals and differentiability properties of functions. Princeton Mathematical Series, No. 30. Princeton University Press, Princeton, NJ, 1970

    1970

  41. [49]

    Uniform rectifiability, Calderón-Zygmund operators with odd kernel, and quasiorthogo- nality.Proc

    Xavier Tolsa. Uniform rectifiability, Calderón-Zygmund operators with odd kernel, and quasiorthogo- nality.Proc. Lond. Math. Soc. (3), 98(2):393–426, 2009

    2009

  42. [50]

    Birkhäuser/Springer, Cham, 2014

    Xavier Tolsa.Analytic capacity, the Cauchy transform, and non-homogeneous Calderón-Zygmund theory, vol- ume 307 ofProgress in Mathematics. Birkhäuser/Springer, Cham, 2014

    2014

  43. [51]

    The dimension of harmonic measure on some AD-regular flat sets of fractional dimension

    Xavier Tolsa. The dimension of harmonic measure on some AD-regular flat sets of fractional dimension. Int. Math. Res. Not. IMRN, (8):6579–6605, 2024

    2024

  44. [52]

    Regularity properties of the equilibrium distribution.Ann

    Hans Wallin. Regularity properties of the equilibrium distribution.Ann. Inst. Fourier (Grenoble), 15(fasc. 2):71–90, 1965

    1965

  45. [53]

    Existence and properties of Riesz potentials satisfying Lipschitz conditions, 1966

    Hans Wallin. Existence and properties of Riesz potentials satisfying Lipschitz conditions, 1966

    1966

  46. [54]

    Wolff.Lectures on harmonic analysis, volume 29 ofUniversity Lecture Series

    Thomas H. Wolff.Lectures on harmonic analysis, volume 29 ofUniversity Lecture Series. American Math- ematical Society, Providence, RI, 2003. With a foreword by Charles Fefferman and a preface by Izabella Łaba, Edited by Łaba and Carol Shubin. DEPARTMENT OFMATHEMATICS ANDSTATIS...

    2003

Pith tools

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