pith. machine review for the scientific record. sign in

arxiv: 2604.19143 · v1 · submitted 2026-04-21 · 🧮 math.CA

Recognition: unknown

Characterizations of Lyapunov domains in terms of Riesz transforms and the Plemelj-Privalov theorem

Juan Jos\'e Mar\'in , Jos\'e Mar\'ia Martell , Dorina Mitrea , Marius Mitrea
Authors on Pith no claims yet

Pith reviewed 2026-05-10 01:39 UTC · model grok-4.3

classification 🧮 math.CA
keywords Lyapunov domainsC^{1,ω} domainsRiesz transformsPlemelj-Privalov theoremAhlfors regular domainssingular integral operatorsHölder continuity
0
0 comments X

The pith

The regularity of an Ahlfors regular domain's outward normal is equivalent to the regularity of its Riesz transforms on the constant function 1.

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

The paper proves that for an Ahlfors regular domain in n-dimensional space, the outward unit normal has a modulus of continuity bounded by a growth function ω exactly when each Riesz transform tied to the boundary, when applied to the constant 1, has the same type of modulus of continuity. This gives a characterization of Lyapunov domains, which are domains with C^{1,ω} boundaries. The result depends on extending the Plemelj-Privalov theorem to higher dimensions, showing that many singular integral operators stay bounded on generalized Hölder spaces. Readers interested in boundary value problems or potential theory would care because this ties geometric regularity directly to operator behavior without needing extra assumptions.

Core claim

Given an Ahlfors regular domain Ω in R^n, the geometric measure theoretic outward unit normal ν to Ω has its modulus of continuity dominated by ω if and only if the Riesz transforms R_j associated with the boundary, acting on the constant function 1, have their moduli of continuity dominated by ω. This is established by proving a higher-dimensional generalization of the Plemelj-Privalov theorem that applies to a broad class of singular integral operators on generalized Hölder spaces, including the Cauchy-Clifford operator and the harmonic double layer operator.

What carries the argument

The equivalence between the continuity properties of the outward normal vector and the action of boundary Riesz transforms on constants, mediated by a higher-dimensional Plemelj-Privalov theorem that guarantees boundedness of certain singular integral operators on generalized Hölder spaces.

If this is right

  • This provides a new way to characterize the smoothness of domain boundaries using integral operators.
  • The generalized Plemelj-Privalov theorem applies to operators like the Cauchy-Clifford and harmonic double layer.
  • Such equivalences can be used to study boundary value problems on these domains.
  • The results hold under the natural assumptions on the growth function ω.

Where Pith is reading between the lines

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

  • One could potentially use this to develop numerical methods for checking domain regularity by computing Riesz transform approximations.
  • The approach might extend to other types of domains or operators in harmonic analysis.
  • It opens the door to similar characterizations involving other boundary integral operators.

Load-bearing premise

The domain is Ahlfors regular and the growth function ω meets the requirements for the generalized Hölder spaces where the singular integral operators are bounded.

What would settle it

Finding an Ahlfors regular domain where the outward normal's modulus of continuity is not controlled by ω but the Riesz transforms on 1 are, or the opposite case, would disprove the equivalence.

read the original abstract

We prove several characterizations of $\mathscr{C}^{1,\omega}$-domains (aka Lyapunov domains), where $\omega$ is a growth function satisfying natural assumptions. For example, given an Ahlfors regular domain $\Omega\subseteq{\mathbb{R}}^n$, we show that the modulus of continuity of the geometric measure theoretic outward unit normal $\nu$ to $\Omega$ is dominated by (a multiple of) $\omega$ if and only if the action of each Riesz transform $R_j$ associated with $\partial\Omega$ on the constant function $1$ has a modulus of continuity dominated by (a multiple of) $\omega$. The proof of this result requires that we establish a higher-dimensional generalization of the classical Plemelj-Privalov theorem, identifying a large class of singular integral operators that are bounded on generalized H\"older spaces. This class includes the Cauchy-Clifford operator and the harmonic double layer operator, among others.

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

0 major / 2 minor

Summary. The manuscript proves several characterizations of Lyapunov domains (C^{1,ω}-domains) for Ahlfors regular domains Ω ⊆ R^n. The central result states that the modulus of continuity of the geometric measure theoretic outward unit normal ν is dominated by a multiple of ω if and only if the same holds for the action of each Riesz transform R_j associated to ∂Ω on the constant function 1. The proof relies on establishing a higher-dimensional generalization of the Plemelj-Privalov theorem that places a broad class of singular integral operators (including the Cauchy-Clifford operator and the harmonic double layer operator) in the class of operators bounded on the generalized Hölder spaces C^ω.

Significance. If the central equivalences hold, the work supplies new analytic characterizations of domain regularity that connect the geometric continuity of the normal (in the GMT sense) directly to the mapping properties of Riesz transforms. The higher-dimensional Plemelj-Privalov generalization may have independent value for the theory of singular integrals on non-classical Hölder spaces. The argument uses only the standard assumptions on Ahlfors regularity and on the growth function ω that are already required for the existence of ν a.e. and for the relevant operator theory; no circularity or hidden parameter fitting is present.

minor comments (2)
  1. The abstract and introduction introduce the class of operators to which the generalized Plemelj-Privalov theorem applies; a short explicit list or reference to the precise conditions (doubling, Dini-type, etc.) on ω would help readers verify that the Riesz transforms fall inside this class.
  2. Notation for the generalized Hölder spaces C^ω and the associated modulus-of-continuity domination is used throughout; a single consolidated definition or comparison table with the classical C^{1,α} case would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, including the summary of the central equivalences between the modulus of continuity of the geometric measure theoretic normal and the Riesz transforms on constants, as well as the independent interest of the higher-dimensional Plemelj-Privalov generalization. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper proves an equivalence between the modulus of continuity of the GMT outward normal ν on an Ahlfors-regular boundary and the modulus of continuity of R_j 1 for the associated Riesz transforms. This is obtained by first establishing a higher-dimensional Plemelj-Privalov theorem that places a broad class of singular integral operators (including the Cauchy-Clifford and harmonic double-layer operators) in the bounded class on generalized Hölder spaces C^ω. Both directions of the claimed equivalence then follow from the standard jump relations and principal-value representations of ν together with the newly proved operator boundedness. The assumptions on ω (doubling, Dini-type) and on the domain are precisely those required for the existence of ν a.e. and for the operator theory; no quantity is defined in terms of another, no parameter is fitted and then renamed as a prediction, and no load-bearing step reduces to a self-citation chain. The derivation is therefore independent of its target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background from geometric measure theory and harmonic analysis; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)
  • domain assumption Ahlfors regularity of the domain Ω
    Invoked to guarantee that surface measure exists and Riesz transforms are well-defined on the boundary.
  • domain assumption Natural assumptions on the growth function ω
    Required so that the generalized Hölder spaces are well-defined and the modulus-of-continuity statements make sense.

pith-pipeline@v0.9.0 · 5479 in / 1508 out tokens · 49991 ms · 2026-05-10T01:39:11.495340+00:00 · methodology

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

35 extracted references · 1 canonical work pages

  1. [1]

    Alvarado, D

    R. Alvarado, D. Brigham, V. Maz’ya, M. Mitrea, and E. Ziad´ e,On the regularity of domains sat- isfying a uniform hour-glass condition and a sharp version of the Hopf-Oleinik Boundary Point Principle, Journal of Mathematical Sciences, 176 (2011), no. 3, 281–360

    2011

  2. [2]

    Babaev and V.V

    A.A. Babaev and V.V. Salaev,On an analogue of the Plemelj-Privalov theorem in the case of non- smooth curves, and its applications, Dokl. Akad. Nauk SSSR, 161 (1965), 267–269

    1965

  3. [3]

    Bari and S.B

    N.K. Bari and S.B. Stechkin,Best approximations and differentiability properties of two conjugate functions, Trudy Moskow Mat. Obshch., 5 (1956), 483–522. CHARACTERIZATIONS OF LYAPUNOV DOMAINS 55

    1956

  4. [4]

    Bennett and R

    C. Bennett and R. Sharpley,Interpolation of Operators, Pure and Applied Mathematics, Vol. 129, Academic Press Inc., Boston, MA, 1988

    1988

  5. [5]

    Cao, J.J

    M. Cao, J.J. Mar´ ın, and J.M. Martell,Extrapolation on function and modular spaces, and applica- tions, Adv. Math., 406 (2022), Paper No. 108520, 87 pp

    2022

  6. [6]

    Casey,Quantitative control on the Carlesonε-function determines regularity, arXiv:2410.18422v2 [math.CA] 29 Nov

    E. Casey,Quantitative control on the Carlesonε-function determines regularity, arXiv:2410.18422v2 [math.CA] 29 Nov. 2024

    work page arXiv 2024

  7. [7]

    Christ,Lectures on Singular Integral Operators, CBMS Regional Conference Series in Mathe- matics, Vol

    M. Christ,Lectures on Singular Integral Operators, CBMS Regional Conference Series in Mathe- matics, Vol. 77, American Mathematical Society, Providence, RI, 1990

    1990

  8. [8]

    Cruz-Uribe, J.M

    D. Cruz-Uribe, J.M. Martell, and C. P´ erez,Weights, extrapolation and the theory of Rubio de Fran- cia, Oper. Theory Adv. Appl., 215 Birkh¨ auser/Springer Basel AG, Basel, 2011

    2011

  9. [9]

    David and S

    G. David and S. Semmes,Analysis of and on Uniformly Rectifiable Sets, Mathematical Surveys and Monographs, Vol. 38, American Mathematical Society, Providence, RI, 1993

    1993

  10. [10]

    Davydov,Continuity of an integral of Cauchy type on a closed domain, Dokl

    N.A. Davydov,Continuity of an integral of Cauchy type on a closed domain, Dokl. Akad. Nauk SSSR, 64 (1949), 759-762

    1949

  11. [11]

    Dyn’kin,Smoothness of Cauchy type, Zap

    E.M. Dyn’kin,Smoothness of Cauchy type, Zap. Nauchn. Sem. Leningrad, Otdel. Mat., Inst. Steklov, 92 (1979), 115–133

    1979

  12. [12]

    Evans and R

    L. Evans and R. Gariepy,Measure Theory and Fine Properties of Functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992

    1992

  13. [13]

    Guseinov,The Plemelj-Privalov theorem for generalized H¨ older classes, Russian Acad

    E.G. Guseinov,The Plemelj-Privalov theorem for generalized H¨ older classes, Russian Acad. Sci. Sb. Math., 75 (1993), 165–182

    1993

  14. [14]

    Hille and R.S

    E. Hille and R.S. Phillips,Functional analysis and semi-groups, third printing of the revised edition of 1957, American Mathematical Society Colloquium Publications, Vol. XXXI, Amer. Math. Soc., Providence, RI, 1974

    1957

  15. [15]

    Hofmann, M

    S. Hofmann, M. Mitrea, and M. Taylor,Geometric and transformational properties of Lipschitz domains, Semmes-Kenig-Toro domains, and other classes of finite perimeter domains, J. Geom. Anal., 17 (2007), no. 4, 593–647

    2007

  16. [16]

    Hofmann, M

    S. Hofmann, M. Mitrea, and M. Taylor,Singular integrals and elliptic boundary problems on regular Semmes-Kenig-Toro domains, Int. Math. Res. Not. IMRN (2010), no. 14, 2567–2865

    2010

  17. [17]

    Magnaradze,On a generalization of the Plemelj-Privalov theorem, Soobshch

    L.G. Magnaradze,On a generalization of the Plemelj-Privalov theorem, Soobshch. Akad. Nauk Gruzin. SSR, 8 (1947), 509–516

    1947

  18. [18]

    Mas,Variation for singular integrals on Lipschitz graphs:L p and end-point estimates, Trans

    A. Mas,Variation for singular integrals on Lipschitz graphs:L p and end-point estimates, Trans. Amer. Math. Soc., 365 (2011), no. 11, 5759–5781

    2011

  19. [19]

    Martio and J

    O. Martio and J. Sarvas,Injectivity theorems in plane and space, Ann. Acad. Sci. Fenn. Ser. A I Math. 4, (1978–79), 383–401

    1978

  20. [20]

    Mattila,Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, Cam- bridge University Press, Vol

    P. Mattila,Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, Cam- bridge University Press, Vol. 44, London, 1995

    1995

  21. [21]

    Mitrea, I

    D. Mitrea, I. Mitrea, and M. Mitrea,Geometric Harmonic Analysis - Volume I: A Sharp Divergence Theorem with Nontangential Pointwise Traces, Developments in Mathematics, Vol. 72, Springer, 2022

    2022

  22. [22]

    Mitrea, I

    D. Mitrea, I. Mitrea, M. Mitrea,Geometric Harmonic Analysis - Volume II: Function Spaces Mea- suring Size and Smoothness on Rough Sets, Developments in Mathematics, Vol. 73, Springer, 2022

    2022

  23. [23]

    Mitrea, I

    D. Mitrea, I. Mitrea, and M. Mitrea,Geometric Harmonic Analysis - Volume III: Integral Repre- sentations, Calder´ on-Zygmund Theory, Fatou Theorems, and Applications to Scattering, Develop- ments in Mathematics, Vol. 74, Springer, 2023

    2023

  24. [24]

    Mitrea, I

    D. Mitrea, I. Mitrea, and M. Mitrea,Geometric Harmonic Analysis - Volume IV: Boundary Layer Potentials in Uniformly Rectifiable Domains, and Applications to Complex Analysis, Developments in Mathematics, Vol. 75, Springer, 2023

    2023

  25. [25]

    Mitrea, I

    D. Mitrea, I. Mitrea, M. Mitrea,Geometric Harmonic Analysis - Volume V: Fredholm Theory and Finer Estimates for Integral Operators, with Applications to Boundary Problems, Developments in Mathematics, Vol. 76, Springer, 2023

    2023

  26. [26]

    Mitrea, M

    D. Mitrea, M. Mitrea, and J. Verdera,Characterizing regularity of domains via the Riesz transforms on their boundaries, Anal. PDE, 9 (2016), no. 4, 955–1018. 56 JUAN JOS ´E MAR´IN, JOS ´E MAR´IA MARTELL, DORINA MITREA, AND MARIUS MITREA

    2016

  27. [27]

    Mitrea,Clifford Wavelets, Singular Integrals, and Hardy Spaces, Lecture Notes in Mathematics, Vol

    M. Mitrea,Clifford Wavelets, Singular Integrals, and Hardy Spaces, Lecture Notes in Mathematics, Vol. 1575, Springer-Verlag, Berlin, 1994

    1994

  28. [28]

    Muskhelishvili,Singular Integral Equations, 2nd edition, Fizmatgiz, Moscow, 1962; English transl

    N.I. Muskhelishvili,Singular Integral Equations, 2nd edition, Fizmatgiz, Moscow, 1962; English transl. of 1st edition Noordhoph Groningen, 1953

    1962

  29. [29]

    Nazarov, X

    F. Nazarov, X. Tolsa, and A. Volberg,On the uniform rectifiability of AD-regular measures with bounded Riesz transform operator: the case of codimension 1, Acta Math., 213 (2014), no. 2, 237–321

    2014

  30. [30]

    Plemelj,Ein Erg¨ anzungssatz zur Cauchyschen Integraldarstellung analytischer Funktionen, Randwerte betreffend, Monatshefte f¨ ur Mathematik und Physik, 19 (1908), 205–210

    J. Plemelj,Ein Erg¨ anzungssatz zur Cauchyschen Integraldarstellung analytischer Funktionen, Randwerte betreffend, Monatshefte f¨ ur Mathematik und Physik, 19 (1908), 205–210

    1908

  31. [31]

    Privalov,Sur les fonctions conjugu´ ees, Bull

    I. Privalov,Sur les fonctions conjugu´ ees, Bull. Soc. Math., 44 (1916), 100–103

    1916

  32. [32]

    Privalov,Sur les int´ egrales du type de Cauchy, C.R

    I. Privalov,Sur les int´ egrales du type de Cauchy, C.R. (Dokl.) Acad. Sci. URSS, 230 (1939), 859– 863

    1939

  33. [33]

    Salaev,Direct and inverse estimates for a singular Cauchy integral over a closed curve, Mat

    V.V. Salaev,Direct and inverse estimates for a singular Cauchy integral over a closed curve, Mat. Zametki, 19 (1976), 365–380

    1976

  34. [34]

    Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Mathemati- cal Series, No

    E.M. Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Mathemati- cal Series, No. 30, Princeton University Press, Princeton, N.J., 1970

    1970

  35. [35]

    Zygmund,Sur le module de continuit´ e de la somme de la s´ erie conjugu´ ee de la s´ eries de Fourier, Prace Mat.-Fiz., 33 (1923), 125–132

    A. Zygmund,Sur le module de continuit´ e de la somme de la s´ erie conjugu´ ee de la s´ eries de Fourier, Prace Mat.-Fiz., 33 (1923), 125–132. Juan Jos´e Mar´ın, Departamento de Matem´atica Aplicada y Estad´ıstica, Universidad Polit´ecnica de Cartagena, Cartagena, Spain. Email address:juanjose.marin@upct.es Jos´e Mar´ıa Martell, Instituto de Ciencias Mate...

    1923