Pith. sign in

REVIEW 3 major objections 4 minor 67 references

The Poisson-Dirichlet problem in domains with Ahlfors regular boundary

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

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

Pith's one-line read The paper establishes well-posedness of the Poisson–Dirichlet problem with Besov boundary data of fractional smoothness on domains with Ahlfors regular boundary, for arbitrary real elliptic coefficients and no layer-potential machinery.

desk verdict A careful, genuinely new announcement of Besov-space well-posedness for rough elliptic operators on Ahlfors regular boundaries, whose central claims rest on companion papers and one load-bearing cited estimate that the reader cannot verify here. read the letter →

arxiv 2506.14639 v2 pith:2VKQRJHN submitted 2025-06-17 math.AP

Ariel Barton , Svitlana Mayboroda , Alberto Pacati This is my paper · ORCID
classification math.AP MSC 35J2535A0135A02
keywords Poisson-DirichletproblemBesovspacesfractionalsmoothnessAhlforsregularboundaryhighercodimensionrealellipticoperatorsweightedSobolevestimateswell-posedness
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

This paper announces a proof that the Poisson–Dirichlet problem is well posed with boundary data in Besov spaces of fractional smoothness on domains far rougher than Lipschitz: connected domains whose boundary is $d$-Ahlfors regular for $0

What carries the argument

The load-bearing estimate is the boundary De Giorgi–Nash inequality (21): if $-\operatorname{div} A\nabla u=0$ in $\Omega$, $u=0$ on $\partial\Omega\cap B(\xi,r)$, and $x\in B(\xi,r/2)\cap\Omega$, then $|u(x)|\le C(|x-\xi|/r)^\alpha r^{-(d+1)}\int_{\Omega\cap B(\xi,r)} |u(y)|\operatorname{dist}(y,\partial\Omega)^{1+d-n}\,dy$. It supplies the positive Hölder exponent $\alpha$ that converts energy-level solvability into a range of fractional Besov exponents, and the widths $a,a^*,b,b^*$ are controlled by $\alpha,\alpha^*$ through (40)–(41) and (46). The second mechanism is Meyers's reverse Hölder estimate (20), which gives the $\beta>2$ integrability of gradients used in the averaged norm in (38). For Theorem 45, the endpoint ingredient is the nontangential estimate (43) for the $L^{q}$-Dirichlet problem, so that known endpoint results transfer automatically to the larger hexagon without any further conditions on coefficients or geometry.

What would settle it

Construct, or find in the literature, an admissible domain and real elliptic matrix satisfying (15)–(16) for which the exponent in the boundary De Giorgi–Nash estimate (21) is zero; then the relations $a\ge\max(\alpha,1-d)$ and $a^*\ge\max(\alpha^*,1-d)$ force the pentagon (40)–(41) to have empty interior, contradicting Theorem 36. Alternatively, for the Laplacian in a weak local John domain with $(n-1)$-Ahlfors regular boundary, take $(s,1/p)$ just outside the claimed region and seek a sequence of Besov data with bounded norm whose solutions violate (38); a proven violation fixes the sharp boundary, while uniform boundedness would suggest the true region is larger.

Watch

Extended reading notes

Core claim

The central claim is Theorem 36: for $n\ge 3$ and a connected open set $\Omega$ whose boundary is $d$-Ahlfors regular for some $0<d\le n-1$ (with $\Omega$ weak local John and interior corkscrew when $d=n-1$), and for every real elliptic matrix $A$ satisfying (15)–(16), the Poisson–Dirichlet problem $$-\operatorname{div} A\nabla u=-\operatorname{div}(A\vec H)\quad\text{in }\$\Omega$,\qquad u=f\quad\text{on }\partial\$\Omega$$$ has a unique solution for every $f\in\dot B^{p,p}_s(\partial\Omega)$ and every admissible $\vec H$, whenever $(s,1/p)$ lies in the open pentagon described by (40)–(41), with the weighted averaged estimate (38); the $p=\infty$, $0<s<a$ endpoint gives (39). The numbers $a,a^*$ obey $a\ge\max(\alpha,1-d)$ and $a^*\ge\max(\alpha^*,1-d)$, where $\alpha,\alpha^*$ are the boundary De Giorgi–Nash exponents of $L$ and $L^*$ from (21), and the integrability exponent $\beta\in(2-\delta,2+\varepsilon)$ is supplied by Meyers's reverse Hölder estimate (20). Theorem 45 then shows that if the $L^{q}$-Dirichlet problem for $L$ (or the $L^{q^*}$-Dirichlet problem for $L^*$) is well posed in the sense of the nontangential estimate (43), the pentagon expands to the larger hexagons of Figure 4, with $b\ge\alpha$, $b^*\ge\alpha^*$, $b\ge 1+d/q^*-d$, and $b^*\ge 1+d/q-d$. The announcement emphasizes that no condition beyond real ellipticity is imposed on the coefficients, and that the higher-codimension case $d<n-1$ automatically satisfies the extra geometric hypotheses.

Load-bearing premise

The entire fractional-smoothness range rests on the boundary De Giorgi–Nash estimate (21) holding with a strictly positive exponent for real elliptic operators on $d$-Ahlfors regular domains; if that Hölder decay were absent, or the estimate failed, the pentagons of Figures 3–4 would collapse to zero width.

Editorial extensions

If this is right

  • Besov boundary data of fractional smoothness are handled on $d$-Ahlfors regular domains, including higher-codimension boundaries, for all real elliptic operators satisfying (15)–(16); no VMO, Dini, DKP-type oscillation condition, or transverse-independence assumption is needed.
  • In the codimension-one case, once the $L^{q}$-Dirichlet problem is known for $L$ or $L^*$, Theorem 45 automatically enlarges the Besov range to the hexagons in Figure 4, so endpoint progress directly improves the fractional-smoothness theory.
  • For the Laplacian on weak local John domains with uniformly rectifiable $(n-1)$-Ahlfors regular boundary, the known endpoint $L^{q}$-solvability yields the full hexagon at the bottom of Figure 4.
  • The $p=\infty$, $0<s<a$ case supplies Hölder-continuous boundary data and the sup-norm estimate (39), matching the known Hölder well-posedness on the $s\to 0$ edge.
  • The Besov norm on the boundary data is the sharp trace norm for the weighted averaged gradient space in (38), so the right-hand side in $f$ cannot be weakened.

Reading between the lines

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

  • A natural extension is the $n=2$ case: the paper's stated obstruction is tied to fundamental-solution behaviour in two dimensions, so the theorem might hold there via a different estimate, or the dimension may be a genuine limitation.
  • If the boundary De Giorgi–Nash estimate (21) were available with a positive exponent for complex coefficients or elliptic systems, the same interpolation mechanism would likely produce an analogous pentagon; the present theorem is restricted to real coefficients.
  • The extrapolation in Theorem 45 points to a general transfer principle: every new endpoint $L^{q}$-Dirichlet solvability result for a rough coefficient class automatically buys a region of fractional Besov well-posedness, shifting the bottleneck of the theory to the endpoint problem.
  • Because $a^*\ge 1-d$ and $b^*\ge 1+d/q-d$, the usable region narrows as the boundary dimension $d$ decreases; for very low-dimensional boundaries the geometric term $1-d$ can dominate the analytic exponent $\alpha$ — a quantitative prediction that could be checked in examples.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper announces well-posedness results for the Poisson-Dirichlet problem with boundary data in homogeneous Besov spaces on domains whose boundary is d-Ahlfors regular, for 0<d≤n−1. Theorem 36 asserts that for every real elliptic operator satisfying the degenerate ellipticity conditions (15)–(16), there is a pentagonal range of smoothness/integrability parameters (s,1/p) for which the problem has a unique solution satisfying a weighted averaged gradient estimate; the quality of the range is tied to the exponent α in the boundary De Giorgi–Nash estimate (21). Theorem 45 expands this range to hexagons whenever an endpoint L^q-Dirichlet problem for L or L* is well posed. The manuscript also provides a historical survey of prior work and several corollaries obtained by combining Theorem 45 with known L^q solvability results. The full proofs are not included and are explicitly deferred to two companion papers in preparation.

Significance. If the announced theorems are correct, they constitute a substantial advance: they appear to be the first results for the Poisson-Dirichlet problem with fractional-smoothness Besov boundary data in the full generality of Ahlfors regular boundaries (including lower-dimensional boundaries) and arbitrary real elliptic coefficients with no additional coefficient regularity. The extrapolation mechanism of Theorem 45, which uses only an endpoint L^q-Dirichlet solvability assumption, is elegant and promises broad applicability to the many known L^q solvability results surveyed in Section 7. The paper is well organized, with carefully stated definitions and a useful historical account. Its main weakness is evidentiary: the central theorems are announced without proof, and the key quantitative ingredients, especially the boundary De Giorgi–Nash estimate (21), are cited from other works rather than established or even discussed at the level of hypotheses. The reader cannot currently verify the main claims.

major comments (3)
  1. [Sections 4 and 5, Theorems 36 and 45] The main theorems are stated without proof. The text explicitly says the full proofs will appear in the in-preparation manuscripts [BMPa] and [BMPb], and the only derivation-like content in the paper is standard material from the literature. Since Theorem 36 and Theorem 45 are the central claims of the paper, and since the estimates (38), (39), (43), and the parameter relations (46) are all products of the deferred arguments, a referee cannot verify that the statements are correct, that the constants a, a*, b, b*, ε, δ are actually available, or that uniqueness holds in the asserted classes. This is a load-bearing incompleteness rather than a presentation issue.
  2. [Section 2.4, estimate (21), and the relations a≥max(α,1−d), a*≥max(α*,1−d)] The size of the well-posedness region in Theorem 36 is controlled by the boundary De Giorgi–Nash estimate (21) through the relations a≥max(α,1−d) and a*≥max(α*,1−d), and Theorem 45 inherits this via (46). The manuscript does not prove (21) for the full class of real elliptic matrices satisfying (15)–(16) on d-Ahlfors regular boundaries; it cites [DFM21, Lemmas 8.13 and 8.16]. If those lemmas require additional hypotheses on A or Ω, or if α can be zero for some admissible operator, the pentagon in Figure 3 and the hexagons in Figure 4 would shrink or become empty. Because the proof is deferred, the manuscript provides no way for the reader to verify the mechanism by which boundary Hölder regularity is converted into the full claimed (s,1/p) range.
  3. [Definition 10 and Section 2.2] The definition of the atomic Besov spaces ˙A^{s,p}(Γ) relies on the assertion that finite block sums converge in ˙Λ^{s+d−d/p,1}(Γ) and that ˙A^{s,p}(Γ) embeds there. The text states this will be proved in [BMPa] and notes that the atomic characterization appears not to be in the literature. Since these spaces are used to define the boundary data spaces ˙B^{p,p}_s(∂Ω) for p<1, the absence of a proof is another load-bearing gap: the spaces in which boundary values are taken are not fully established within this manuscript.
minor comments (4)
  1. [Theorem 36, paragraph after (41)] The algebraic condition (41) appears to contain a typo: for the pentagon in Figure 3, which has vertex at the origin and edge from (0,0) to (1−a*,1), the lower bound should be (1−a*)/p < s, not 1−a*/p < s. As printed, (41) gives no admissible s for p=∞, contradicting the theorem's own statement that 0<s<a is allowed for p=∞.
  2. [Figure 3 and Remark 42] The vertices of the pentagon would be clearer if the figure explicitly marked the point (0,0) and the edge corresponding to p=∞, 0<s<a; the current caption and the algebraic conditions do not make the relationship immediate.
  3. [References] Several references are to works without complete publication data, including [CHPM+], [Bar], [Fen], and [MPT]. Since the proof relies on [DFM21], it would be helpful to indicate the exact statements and hypotheses of Lemmas 8.13 and 8.16, preferably by quoting them.
  4. [Section 3.9] The statement that Ahlfors regularity for d=n−1 implies the Wiener-type criterion of [CHPM+] is plausible but is asserted without a reference or argument; a citation or a one-sentence explanation would improve the exposition.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the announced well-posedness ranges use cited published estimates and endpoint hypotheses as inputs, not as outputs of the Besov conclusions.

full rationale

The paper is an announcement: Section 1 states that 'The full proofs will appear in [BMPb] (the case f = 0, that is, u = 0 on ∂Ω) and [BMPa] (full generality)', so there is no internal derivation chain in this note whose conclusion could be identified with its input. The quantitative ranges in Theorems 36 and 45 are governed by the boundary De Giorgi-Nash estimate (21), cited to [DFM21, Lemmas 8.13 and 8.16], and by Meyers's reverse Hölder estimate (20). These are prior published results with stated assumptions (real elliptic operators on d-Ahlfors regular domains, d in (0,n-1]) that do not include the target Besov well-posedness; the constants a, a*, b, b* are existential outputs of the exponents alpha, alpha* via a>=max(alpha,1-d), a*>=max(alpha*,1-d) and (46), not fitted parameters renamed as predictions. Theorem 45 correctly treats Lq/Lq*-Dirichlet solvability as a hypothesis and extrapolates from it; it never derives that hypothesis from the Besov conclusion. Self-citations such as [DFM21], [BM16], and the companion papers [BMPa]/[BMPb] are either published prior theorems, historical context, or explicit deferrals of future proofs; none is a reduction of an equation to itself. Any concern that (21) or the companion proofs may impose hidden hypotheses is a correctness/verification risk, not a circularity, and is not grounds for a nonzero circularity score under the stated rules.

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

No numeric free parameters are fitted. The existential exponents a, a*, b, b*, epsilon, delta are fixed by the operator and the domain through the De Giorgi-Nash and Meyers estimates and the assumed endpoint solvability; their exact values are not specified but they are not selected to match any data. The axioms listed are the main background inputs the central claims rely on.

assumptions (4)
  • standard math Boundary De Giorgi-Nash estimate (21) holds with alpha>0 for real elliptic operators on d-Ahlfors regular domains for 0<d<n-1, cited to [DFM21, Lemmas 8.13 and 8.16].
    The width of the (s,1/p) pentagons is controlled by alpha through a>=max(alpha,1-d); if this estimate fails or alpha=0, the region collapses. The paper does not prove it here and cites a work overlapping with the authors.
  • ad hoc to paper Atomic characterization of homogeneous Besov spaces on d-Ahlfors regular sets (Definition 10) and convergence of block sums in Lambda^{s+d-d/p,1}.
    Definition 11 uses A^{s,p} for p<1; the paper states it 'is natural to expect' and that it has not found this result in the literature, deferring the proof to [BMPa]. This is a load-bearing unproved assertion in the announcement.
  • standard math Meyers reverse Holder estimate (20) for gradients holds for operators satisfying (15)-(16).
    Used to set the allowed beta range 2-delta<beta<2+epsilon; cited as standard, no proof given.
  • standard math The continuous Dirichlet problem (19) with continuous compactly supported data has a unique bounded solution on d-Ahlfors regular domains (Wiener criterion and [DFM21, Lemma 9.4]).
    Used to define the solutions whose Lq non-tangential estimates are assumed in Theorem 45.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Poisson-Dirichlet problem in domains with Ahlfors regular boundary." pith.science (2026). https://pith.science/paper/2VKQRJHN

@misc{pith2026250614639,
  author       = {Pith},
  title        = {Pith review of: The Poisson-Dirichlet problem in domains with Ahlfors regular boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2VKQRJHN}},
  note         = {Machine review of arXiv:2506.14639}
}
read the original abstract

We present an announcement of some recent results concerning well-posedness of the Poisson-Dirichlet problem with boundary data in Besov spaces with fractional smoothness. This is a far-reaching generalization as previously known theorems concerning well-posedness of the Poisson problem in such intermediate smoothness classes were mostly restricted to the context of Lipschitz domains and coefficients satisfying strong regularity assumptions.

Figures

Figures reproduced from arXiv: 2506.14639 by the authors.

Figure 1
Figure 1. Values of the parameters (s, 1/p) such that the esti￾mate (27) holds, for solutions to the problem (25) in a Lipschitz domain, where A satisfies a Dini-type continuity condition. This region includes the edges at p = 1 and p = ∞ but does not include the edges at s = 0 or s = 1. to V MO and Ω is a Lipschitz domain with sufficiently small constant, then the estimate (27) holds. The p = 2, s = 1/2 case of these results… view at source ↗
Figure 2
Figure 2. Values of the parameters (s, 1/p) such that solutions to Dirichlet-Poisson problem (25) in the domain above a Lipschitz graph, for real symmetric coefficients constant in the vertical di￾rection, satisfy the estimate (29). The β-power averages were inspired by the modified nontangential maximal func￾tion of [KP93] and were introduced for much the same reason: if A lacks smooth￾ness properties, then solutions u to ev… view at source ↗
Figure 3
Figure 3. Values of the parameters (s, 1/p) such that the B˙ p,p s (∂Ω)-Dirichlet problem and associated Poisson problem for L is solvable. By Remark 42, the illustrated region is convex. that the right hand side of the bound (38) is finite, there is a unique solution u to the Poisson-Dirichlet problem (37) ( − div A∇u = − div(AH⃗ ) in Ω u = f on ∂Ω that satisfies (38) ˆ Ω  B(x,dist(x,∂Ω)/2) |∇u| β p/β dist(x, ∂Ω)d−n+p−ps d… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Values of the parameters (s, 1/p) such that the B˙ p,p s (∂Ω)-Dirichlet problem for L is solvable, given solvability of the L q -Dirichlet problem for − div A∇ (on the left) or the L q ∗ - Dirichlet problem for − div A∗∇ (on the right) with nontangential estimates. Bec…

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

67 extracted references · 65 canonical work pages

  1. [1]

    37, American Mathematical Society, Providence, RI, 2018, The first order approach

    Alex Amenta and Pascal Auscher, Elliptic boundary value problems with fractional regularity data, CRM Monograph Series, vol. 37, American Mathematical Society, Providence, RI, 2018, The first order approach. 3753666

    work page 2018

  2. [2]

    Jonas Azzam, Steve Hofmann, Jos\' e Mar\' a Martell, Mihalis Mourgoglou, and Xavier Tolsa, Harmonic measure and quantitative connectivity: geometric characterization of the L^p -solvability of the D irichlet problem , Invent. Math. 222 (2020), no. 3, 881--993. 4169053

    work page 2020

  3. [3]

    Karthik Adimurthi, Tadele Mengesha, and Nguyen Cong Phuc, Gradient weighted norm inequalities for linear elliptic equations with discontinuous coefficients, Appl. Math. Optim. 83 (2021), no. 1, 327--371. 4221600

    work page 2021

  4. [4]

    150 (2016), no

    Karthik Adimurthi and Nguyen Cong Phuc, An end-point global gradient weighted estimate for quasilinear equations in non-smooth domains, Manuscripta Math. 150 (2016), no. 1-2, 111--135. 3483172

    work page 2016

  5. [5]

    Auscher and M

    P. Auscher and M. Qafsaoui, Observations on W^ 1,p estimates for divergence elliptic equations with VMO coefficients , Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 5 (2002), no. 2, 487--509. 1911202

    work page 2002

  6. [6]

    Ariel Barton, The L ^ p N eumann problem for higher order elliptic equations , to appear, Mem.\ Differ.\ Equ.\ Math.\ Phys.\ (preprint available at https://arxiv.org/abs/2002.02963v1 arXiv:2002.02963v1 [math.AP] )

    work page Pith review arXiv 2002

  7. [7]

    Kevin Brewster and Marius Mitrea, Boundary value problems in weighted S obolev spaces on L ipschitz manifolds , Mem. Differ. Equ. Math. Phys. 60 (2013), 15--55. 3288169

    work page 2013

  8. [8]

    Ariel Barton and Svitlana Mayboroda, Layer potentials and boundary-value problems for second order elliptic operators with data in B esov spaces , Mem. Amer. Math. Soc. 243 (2016), no. 1149, v+110. 3517153

    work page 2016

Show all 67 references
  1. [9]

    Ariel Barton, Svitlana Mayboroda, and Alberto Pacati, The D irichlet problem with boundary data of fractional smoothness in domains with A hlfors regular boundary , in preparation

  2. [10]

    , The P oisson problem in domains with A hlfors regular boundary , in preparation

  3. [11]

    Pure Appl

    Sun-Sig Byun and Lihe Wang, Elliptic equations with BMO coefficients in R eifenberg domains , Comm. Pure Appl. Math. 57 (2004), no. 10, 1283--1310. 2069724

    2004

  4. [12]

    Sun-Sig Byun, Elliptic equations with BMO coefficients in L ipschitz domains , Trans. Amer. Math. Soc. 357 (2005), no. 3, 1025--1046. 2110431

    2005

  5. [13]

    Caffarelli, Eugene B

    Luis A. Caffarelli, Eugene B. Fabes, and Carlos E. Kenig, Completely singular elliptic-harmonic measures, Indiana Univ. Math. J. 30 (1981), no. 6, 917--924. 632860 (83a:35033)

    1981

  6. [14]

    P art II : non-symmetric operators and C arleson measure estimates , Trans

    Juan Cavero, Steve Hofmann, Jos\'e Mar\'ia Martell, and Tatiana Toro, Perturbations of elliptic operators in 1-sided chord-arc domains. P art II : non-symmetric operators and C arleson measure estimates , Trans. Amer. Math. Soc. 373 (2020), no. 11, 7901--7935. 4169677

    2020

  7. [15]

    Mingming Cao, Pablo Hidalgo-Palencia, José María Martell, Cruz Prisuelos-Arribas, and Zihui Zhao, Elliptic operators in rough sets, and the D irichlet problem with boundary data in H ölder spaces , http://arxiv.org/abs/1904.04722v2 arXiv:1904.04722v2 [math.AP]

    1904 arXiv

  8. [16]

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

    2021

  9. [17]

    Di Fazio, L^p estimates for divergence form elliptic equations with discontinuous coefficients , Boll

    G. Di Fazio, L^p estimates for divergence form elliptic equations with discontinuous coefficients , Boll. Un. Mat. Ital. A (7) 10 (1996), no. 2, 409--420. 1405255

    1996

  10. [18]

    Guy David, Joseph Feneuil, and Svitlana Mayboroda, Elliptic theory in domains with boundaries of mixed dimension, http://arxiv.org/abs/2003.09037 arXiv:2003.09037 [math.AP]

    2003 arXiv

  11. [19]

    , Dahlberg's theorem in higher co-dimension, J. Funct. Anal. 276 (2019), no. 9, 2731--2820. 3926132

    2019

  12. [20]

    David, J

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

    2021

  13. [21]

    David and D

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

    1990

  14. [22]

    Guy David, Linhan Li, and Svitlana Mayboroda, Small A_ results for D ahlberg- K enig- P ipher operators in sets with uniformly rectifiable boundaries , Trans. Amer. Math. Soc. 376 (2023), no. 11, 7857--7909. 4657223

    2023

  15. [23]

    David and S

    G. David and S. Mayboroda, Harmonic measure is absolutely continuous with respect to the H ausdorff measure on all low-dimensional uniformly rectifiable sets , IMRN 2023 (2022), no. 11, 9319--9426

    2022

  16. [24]

    Feneuil, Absolute continuity of the harmonic measure on low dimensional rectifiable sets, http://arxiv.org/abs/2006.03118 arXiv:2006.03118 [math.AP]

    J. Feneuil, Absolute continuity of the harmonic measure on low dimensional rectifiable sets, http://arxiv.org/abs/2006.03118 arXiv:2006.03118 [math.AP]

    2006 arXiv

  17. [25]

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

    2022

  18. [26]

    Joseph Feneuil, Linhan Li, and Svitlana Mayboroda, Green functions and smooth distances, Math. Ann. 389 (2024), no. 3, 2637--2727. 4753073

    2024

  19. [27]

    Eugene Fabes, Osvaldo Mendez, and Marius Mitrea, Boundary layers on S obolev- B esov spaces and P oisson's equation for the L aplacian in L ipschitz domains , J. Funct. Anal. 159 (1998), no. 2, 323--368. 1658089 (99j:35036)

    1998

  20. [28]

    Joseph Feneuil, Svitlana Mayboroda, and Zihui Zhao, The D irichlet problem in domains with lower dimensional boundaries , Rev. Mat. Iberoam. 37 (2021), no. 3, 821--910. 4236798

    2021

  21. [29]

    Steve Hofmann and Phi Le, B MO solvability and absolute continuity of harmonic measure , J. Geom. Anal. 28 (2018), no. 4, 3278--3299. 3881972

    2018

  22. [30]

    Theory Appl

    Yongsheng Han, Shanzhen Lu, and Dachun Yang, Inhomogeneous B esov and T riebel- L izorkin spaces on spaces of homogeneous type , Approx. Theory Appl. (N.S.) 15 (1999), no. 3, 37--65. 1746473

    1999

  23. [31]

    Steve Hofmann and Jos\'e Mar\'ia Martell, Uniform rectifiability and harmonic measure I : U niform rectifiability implies P oisson kernels in L^p , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 47 (2014), no. 3, 577--654. 3239100

    2014

  24. [32]

    Steve Hofmann, Svitlana Mayboroda, and Mihalis Mourgoglou, Layer potentials and boundary value problems for elliptic equations with complex L^ coefficients satisfying the small C arleson measure norm condition , Adv. Math. 270 (2015), 480--564. 3286542

    2015

  25. [33]

    Steve Hofmann, Jos\' e Mar\' a Martell, Svitlana Mayboroda, Tatiana Toro, and Zihui Zhao, Uniform rectifiability and elliptic operators satisfying a C arleson measure condition , Geom. Funct. Anal. 31 (2021), no. 2, 325--401. 4268304

    2021

  26. [34]

    Steve Hofmann, Jos\'e Mar\'ia Martell, and Ignacio Uriarte-Tuero, Uniform rectifiability and harmonic measure, II : P oisson kernels in L^p imply uniform rectifiability , Duke Math. J. 163 (2014), no. 8, 1601--1654. 3210969

    2014

  27. [35]

    Yongsheng Han, Detlef M\" u ller, and Dachun Yang, A theory of B esov and T riebel- L izorkin spaces on metric measure spaces modeled on C arnot- C arath\' e odory spaces , Abstr. Appl. Anal. (2008), Art. ID 893409, 250. 2485404

    2008

  28. [36]

    Steve Hofmann, Quantitative absolute continuity of harmonic measure and the D irichlet problem: a survey of recent progress , Acta Math. Sin. (Engl. Ser.) 35 (2019), no. 6, 1011--1026. 3952700

    2019

  29. [37]

    Y. S. Han and E. T. Sawyer, Littlewood- P aley theory on spaces of homogeneous type and the classical function spaces , Mem. Amer. Math. Soc. 110 (1994), no. 530, vi+126. 1214968 (96a:42016)

    1994

  30. [38]

    156 (2003), no

    Yongsheng Han and Dachun Yang, Some new spaces of B esov and T riebel- L izorkin type on homogeneous spaces , Studia Math. 156 (2003), no. 1, 67--97. 1961062 (2004a:42018)

    2003

  31. [39]

    Jerison and Carlos E

    David S. Jerison and Carlos E. Kenig, Boundary behavior of harmonic functions in nontangentially accessible domains, Adv. in Math. 46 (1982), no. 1, 80--147. 676988 (84d:31005b)

    1982

  32. [40]

    Kenig, The inhomogeneous D irichlet problem in L ipschitz domains , J

    David Jerison and Carlos E. Kenig, The inhomogeneous D irichlet problem in L ipschitz domains , J. Funct. Anal. 130 (1995), no. 1, 161--219. 1331981 (96b:35042)

    1995

  33. [41]

    Alf Jonsson and Hans Wallin, Function spaces on subsets of R ^n , Math. Rep. 2 (1984), no. 1, xiv+221. 820626 (87f:46056)

    1984

  34. [42]

    Doyoon Kim, Trace theorems for S obolev- S lobodeckij spaces with or without weights , J. Funct. Spaces Appl. 5 (2007), no. 3, 243--268. 2352844 (2008k:46100)

    2007

  35. [43]

    Kenig and Jill Pipher, The N eumann problem for elliptic equations with nonsmooth coefficients , Invent

    Carlos E. Kenig and Jill Pipher, The N eumann problem for elliptic equations with nonsmooth coefficients , Invent. Math. 113 (1993), no. 3, 447--509. 1231834 (95b:35046)

    1993

  36. [44]

    , The D irichlet problem for elliptic equations with drift terms , Publ. Mat. 45 (2001), no. 1, 199--217. 1829584 (2002e:35017)

    2001

  37. [45]

    4, 475--492

    Juha Kinnunen and Shulin Zhou, A boundary estimate for nonlinear equations with discontinuous coefficients, Differential Integral Equations 14 (2001), no. 4, 475--492. 1799417

    2001

  38. [46]

    P. I. Lizorkin, Boundary properties of functions from ``weight'' classes, Soviet Math. Dokl. 1 (1960), 589--593. 0123103 (23 \#A434)

    1960

  39. [47]

    Fourier Anal

    Osvaldo Mendez and Marius Mitrea, The B anach envelopes of B esov and T riebel- L izorkin spaces and applications to partial differential equations , J. Fourier Anal. Appl. 6 (2000), no. 5, 503--531. 1781091 (2001k:46056)

    2000

  40. [48]

    Svitlana Mayboroda and Marius Mitrea, Sharp estimates for G reen potentials on non-smooth domains , Math. Res. Lett. 11 (2004), no. 4, 481--492. 2092902 (2005i:35059)

    2004

  41. [49]

    33 (1980/81), no

    Luciano Modica and Stefano Mortola, Construction of a singular elliptic-harmonic measure, Manuscripta Math. 33 (1980/81), no. 1, 81--98. 596380

    1980

  42. [50]

    Maz'ya, M

    V. Maz'ya, M. Mitrea, and T. Shaposhnikova, The D irichlet problem in L ipschitz domains for higher order elliptic systems with rough coefficients , J. Anal. Math. 110 (2010), 167--239. 2753293 (2011m:35088)

    2010

  43. [51]

    Dorina Mitrea, Marius Mitrea, and Lixin Yan, Boundary value problems for the L aplacian in convex and semiconvex domains , J. Funct. Anal. 258 (2010), no. 8, 2507--2585. 2593333 (2010m:42049)

    2010

  44. [52]

    Mihalis Mourgoglou, Bruno Poggi, and Xavier Tolsa, Solvability of the P oisson- D irichlet problem with interior data in L ^ p' - C arleson spaces and its applications to the L ^ p -regularity problem , http://arxiv.org/abs/2207.10554v1 arXiv:2207.10554v1 [math.AP]

    arXiv

  45. [53]

    Marius Mitrea and Michael Taylor, Potential theory on L ipschitz domains in R iemannian manifolds: S obolev- B esov space results and the P oisson problem , J. Funct. Anal. 176 (2000), no. 1, 1--79. 1781631 (2002e:58044)

    2000

  46. [54]

    Partial Differential Equations 30 (2005), no

    , Sobolev and B esov space estimates for solutions to second order PDE on L ipschitz domains in manifolds with D ini or H \"older continuous metric tensors , Comm. Partial Differential Equations 30 (2005), no. 1-3, 1--37. 2130803

    2005

  47. [55]

    , The P oisson problem in weighted S obolev spaces on L ipschitz domains , Indiana Univ. Math. J. 55 (2006), no. 3, 1063--1089. 2244598 (2007e:35051)

    2006

  48. [56]

    21 (2009), no

    Detlef M\" u ller and Dachun Yang, A difference characterization of B esov and T riebel- L izorkin spaces on RD -spaces , Forum Math. 21 (2009), no. 2, 259--298. 2503306

    2009

  49. [57]

    PDE 12 (2019), no

    Svitlana Mayboroda and Zihui Zao, Square function estimates, the BMO dirichlet problem, and absolute continuity of harmonic measure on lower-dimensional sets , Anal. PDE 12 (2019), no. 7, 1843--1890

    2019

  50. [58]

    S. M. Nikol'ski , Priblizhenie funktsii mnogikh peremennykh i teoremy vlozheniya [ A pproximation of functions of several variables and imbedding theorems] , ``Nauka'', Moscow, 1977, Second edition, revised and supplemented. 506247 (81f:46046)

    1977

  51. [59]

    S. M. Nikol'ski , P. I. Lizorkin, and N. V. Miroshin, Weighted function spaces and their applications to the investigation of boundary value problems for degenerate elliptic equations, Izv. Vyssh. Uchebn. Zaved. Mat. (1988), no. 8, 4--30. 971868 (90b:35104)

    1988

  52. [60]

    Nguyen Cong Phuc, Weighted estimates for nonhomogeneous quasilinear equations with discontinuous coefficients, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 10 (2011), no. 1, 1--17. 2829320

    2011

  53. [61]

    Stephen Semmes, Analysis vs.\ geometry on a class of rectifiable hypersurfaces in R ^n , Indiana Univ. Math. J. 39 (1990), no. 4, 1005--1035. 1087183

    1990

  54. [62]

    V. V. Shan'kov, The averaging operator with variable radius, and the inverse trace theorem, Sibirsk. Mat. Zh. 26 (1985), no. 6, 141--152, 191. 816512 (87d:47044)

    1985

  55. [63]

    78, Birkh\"auser Verlag, Basel, 1983

    Hans Triebel, Theory of function spaces, Monographs in Mathematics, vol. 78, Birkh\"auser Verlag, Basel, 1983. 781540 (86j:46026)

    1983

  56. [64]

    S. V. Uspenski , Imbedding theorems for classes with weights, Trudy Mat. Inst. Steklov. 60 (1961), 282--303. 0136980 (25 \#440)

    1961

  57. [65]

    Wiener, The D irichlet problem , J

    N. Wiener, The D irichlet problem , J. Math. Phys. 3 (1924), 127--146

    1924

  58. [66]

    Nonlinear Anal

    Sibei Yang, Dachun Yang, and Wen Yuan, Global gradient estimates for D irichlet problems of elliptic operators with a BMO antisymmetric part , Adv. Nonlinear Anal. 11 (2022), no. 1, 1496--1530. 4422226

    2022

  59. [67]

    Zanger, The inhomogeneous N eumann problem in L ipschitz domains , Comm

    Daniel Z. Zanger, The inhomogeneous N eumann problem in L ipschitz domains , Comm. Partial Differential Equations 25 (2000), no. 9-10, 1771--1808. 1778780 (2001g:35056)

    2000

Pith tools

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