pith. sign in

arxiv: 2604.15026 · v2 · pith:PON6P4RFnew · submitted 2026-04-16 · 🧮 math.CV

On Caratheodory prime ends extension for unclosed Orlicz-Sobolev classes

Zarina Kovba , Evgeny Sevost'yanov This is my paper

Pith reviewed 2026-05-19 17:24 UTC · model grok-4.3

classification 🧮 math.CV
keywords Orlicz-Sobolev classesprime endsboundary extensionCaratheodory theoremopen discrete mappingsunclosed mappingscomplex analysis
0
0 comments X

The pith

Open and discrete mappings from Orlicz-Sobolev classes admit continuous extensions to prime ends even without preserving the domain boundary.

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

The paper studies continuous boundary extension of mappings belonging to Orlicz-Sobolev classes, using the language of prime ends. It focuses on the situation where the mappings are open and discrete yet not closed, so they need not send the boundary of the domain onto the boundary of the image. This setup directly generalizes Caratheodory's classical theorem, which established such extensions only for conformal mappings. A reader would care because the result supplies a concrete way to attach boundary values to a larger family of mappings that arise in geometric function theory.

Core claim

We prove that an open discrete mapping f belonging to a suitable Orlicz-Sobolev class on a domain D that admits a prime-end compactification possesses a continuous extension to the prime ends of D. The result holds without the additional assumption that f is closed and thereby generalizes the well-known Caratheodory boundary-extension theorem from conformal mappings to this wider class.

What carries the argument

The prime-end compactification of the domain, which replaces ordinary boundary points by equivalence classes of chains of cross-cuts so that boundary behavior can be defined for mappings that do not preserve the boundary.

If this is right

  • Such mappings acquire well-defined continuous boundary values measured in the topology of prime ends.
  • The extension theorem applies even when the image of the boundary is a proper subset of the target boundary.
  • The same conclusion holds for domains whose boundaries are not locally connected.
  • The result supplies a uniform framework that recovers the classical Caratheodory case when the mapping is conformal.

Where Pith is reading between the lines

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

  • The technique may carry over to other growth conditions, such as standard Sobolev classes, provided openness and discreteness are retained.
  • Numerical checks could be performed by taking explicit radial stretchings or piecewise linear mappings that satisfy the Orlicz integrability but fail to be closed.
  • Further links might exist to boundary-value problems in nonlinear elasticity where Orlicz classes naturally encode the admissible growth.

Load-bearing premise

The mappings must be open and discrete, belong to an appropriate Orlicz-Sobolev class, and the underlying domain must admit a prime-end compactification.

What would settle it

An explicit open and discrete mapping in an Orlicz-Sobolev class on a domain with a prime-end compactification for which no continuous extension to the prime ends exists.

read the original abstract

We study problems related to continuous boundary extension of mappings of Orlicz-Sobolev classes in terms of prime ends. The results we obtain concern the case when the mappings are open, discrete, but not closed (not preserving the boundary of a domain). These results generalize the well-known results of Caratheodory on boundary extension of conformal mappings.

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

2 major / 2 minor

Summary. The paper studies continuous boundary extensions to prime ends for open and discrete (but not closed) mappings belonging to Orlicz-Sobolev classes W^{1,P}(D). It generalizes Carathéodory's theorem on conformal mappings by showing that such mappings extend continuously to the prime-end compactification of the domain even when they fail to preserve the boundary.

Significance. If the arguments hold, the results would fill a gap in the literature on boundary behavior of Sobolev mappings by handling the non-closed case, where images of boundary components may accumulate inside the target domain. This strengthens the applicability of prime-end techniques beyond the closed-mapping setting common in quasiconformal theory.

major comments (2)
  1. [§4] §4 (proof of Theorem 1.1): the key modulus estimate for curve families connecting a prime end to an interior point is stated to force diam(f(γ)) → 0, but the argument does not explicitly verify that the Orlicz integrability condition on P suffices to control cluster sets when f(∂D) is allowed to lie inside f(D). The non-closed hypothesis appears to require an additional check that the modulus inequality still implies singleton cluster sets without assuming Δ₂ or ∇₂ conditions on P.
  2. [§3.2] §3.2 (definition of the prime-end compactification and extension): the construction assumes the domain admits a prime-end compactification, yet the proof that the extension is continuous at non-closed boundary points relies on an inequality that may not hold uniformly if the mapping distorts moduli only on average; a concrete counter-example sketch or additional integrability hypothesis would strengthen the claim.
minor comments (2)
  1. [§2] Notation for the Orlicz function P is introduced in §2 but used interchangeably with its derivative in several estimates; a short clarifying sentence would improve readability.
  2. [Figure 1] Figure 1 (schematic of prime ends) lacks labels for the non-closed image curves; adding arrows or captions would clarify the distinction from the closed case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting the significance of extending Carathéodory-type results to the non-closed case. We address each major comment below with clarifications and indicate planned revisions to improve the exposition.

read point-by-point responses

  1. Referee: [§4] §4 (proof of Theorem 1.1): the key modulus estimate for curve families connecting a prime end to an interior point is stated to force diam(f(γ)) → 0, but the argument does not explicitly verify that the Orlicz integrability condition on P suffices to control cluster sets when f(∂D) is allowed to lie inside f(D). The non-closed hypothesis appears to require an additional check that the modulus inequality still implies singleton cluster sets without assuming Δ₂ or ∇₂ conditions on P.

    Authors: We appreciate the referee drawing attention to this point. The modulus estimate in the proof of Theorem 1.1 is derived directly from the Orlicz-Sobolev integrability of the mapping and the openness/discreteness assumptions. These properties ensure that a positive lower bound on the modulus of connecting curve families would contradict the integral condition on P, forcing diam(f(γ)) → 0 and singleton cluster sets even when f(∂D) accumulates inside f(D). No Δ₂ or ∇₂ conditions are invoked because the argument uses only the growth control implicit in the definition of the Orlicz class for this setting. We will revise §4 to include an explicit auxiliary lemma making this verification self-contained. revision: yes

  2. Referee: [§3.2] §3.2 (definition of the prime-end compactification and extension): the construction assumes the domain admits a prime-end compactification, yet the proof that the extension is continuous at non-closed boundary points relies on an inequality that may not hold uniformly if the mapping distorts moduli only on average; a concrete counter-example sketch or additional integrability hypothesis would strengthen the claim.

    Authors: The prime-end compactification is a standard topological construction for planar domains (independent of the mapping) and is assumed only for domains where it is known to exist. The continuity argument at non-closed points uses the integrated Orlicz condition, which provides average control sufficient to guarantee the limit exists in the prime-end topology under openness and discreteness; uniform distortion is not required. We do not believe an extra hypothesis or counter-example is needed, as the existing assumptions already rule out pathological average distortion. We will add a clarifying remark in §3.2 explaining this point. revision: partial

Circularity Check

0 steps flagged

No circularity: extension theorem rests on independent modulus estimates for non-closed mappings

full rationale

The paper generalizes Carathéodory prime-end extension to open discrete (but non-closed) mappings in Orlicz-Sobolev classes W^{1,P}(D). The derivation proceeds by controlling the modulus of curve families connecting a prime end to an interior point, forcing diam(f(γ)) → 0 as the modulus tends to infinity. This uses standard properties of Orlicz functions and prime-end compactifications without reducing any central claim to a fitted parameter, self-definition, or load-bearing self-citation chain. No equations or steps are shown to be equivalent to their inputs by construction. The result is self-contained against external analytic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit list of free parameters, axioms, or invented entities; assessment is impossible without the full text.

pith-pipeline@v0.9.0 · 5578 in / 1029 out tokens · 38495 ms · 2026-05-19T17:24:44.057013+00:00 · methodology

Review history (2 revisions) →

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

29 extracted references · 29 canonical work pages

  1. [1]

    - Analysis and Mathematical Physics 9:4, 2019, 1941-1975

    Adamowicz, T.: Prime ends in metric spaces and quasiconformal-type mappings. - Analysis and Mathematical Physics 9:4, 2019, 1941-1975

    work page 2019

  2. [2]

    Uber die Begrenzung der einfachzusammenh\

    Caratheodory, C.: \"Uber die Begrenzung der einfachzusammenh\"angender Gebiete. - Math. Ann. 73, 1913, 323--370

    work page 1913

  3. [3]

    Collingwood, E.F. and A.J. Lohwator : The Theory of Cluster Sets. -- Cambridge Tracts in Math. and Math. Physics 56, Cambridge Univ. Press, Cambridge, 1966

    work page 1966

  4. [4]

    - Complex Variables and Elliptic Equations 55: 1--3, 2010, 61--90

    Cristea, M.: Open discrete mappings having local ACL^n inverses. - Complex Variables and Elliptic Equations 55: 1--3, 2010, 61--90

    work page 2010

  5. [5]

    Sevost'yanov: On boundary-non-preserving mappings with Poletsky inequality

    Desyatka, V., E. Sevost'yanov: On boundary-non-preserving mappings with Poletsky inequality. - Canadian Mathematical Bulletin 68:3, 2025, 834--855

    work page 2025

  6. [6]

    Sevost'yanov, A

    Desyatka, V., E. Sevost'yanov, A. Halyts'ka: On boundary extension of unclosed Orlycz-Sobolev mappings, https://arxiv.org/abs/2504.18123

    work page arXiv

  7. [7]

    Hesse, J.: A p- extremal length and p- capacity equality. - Ark. Mat. 13, 1975, 131--144

    work page 1975

  8. [8]

    Sevost'yanov: On prime ends on Riemannian

    Ilyutko, D.P., E.A. Sevost'yanov: On prime ends on Riemannian

    work page

  9. [9]

    Petkov and V.I

    Kovtonyuk, D.A., I.V. Petkov and V.I. Ryazanov: Prime ends in theory of mappings with finite distortion in the plane. - Filomat J. 31:5, 2017, 1349--1366

    work page 2017

  10. [10]

    - Journal of Mathematical Sciences (United States) 299, 2026, 48--63

    Kovba Z., Sevost'yanov E.: On Caratheodory theorem for non-closed mappings. - Journal of Mathematical Sciences (United States) 299, 2026, 48--63

    work page 2026

  11. [11]

    Kovtonyuk, D.A. and V.I. Ryazanov: On the theory of prime ends for space mappings. - Ukr. Math. J. 67:4, 2015, 528--541

    work page 2015

  12. [12]

    Kuratowski, K.: Topology, v. 2. -- Academic Press, New York--London, 1968

    work page 1968

  13. [13]

    a is\" a l\

    Martio, O., S. Rickman, and J. V\" a is\" a l\" a : Topological and metric properties of quasiregular mappings. - Ann. Acad. Sci. Fenn. Ser. A1. 488, 1971, 1--31

    work page 1971

  14. [14]

    Ryazanov, U

    Martio, O., V. Ryazanov, U. Srebro, and E. Yakubov: Moduli in modern mapping theory. - Springer Science + Business Media, LLC, New York, 2009

    work page 2009

  15. [15]

    N\" a kki, R.: Prime ends and quasiconformal mappings. - J. Anal. Math. 35, 1979, 13--40

    work page 1979

  16. [16]

    Salimov, M

    Petkov, I., R. Salimov, M. Stefanchuk, Nonlinear Beltrami equation: Lower estimates of Schwarz lemma's type. - 67:3, 2024, 533-543

    work page 2024

  17. [17]

    Volkov: On the Boundary Behavior of Mappings in the Class W^ 1,1 _ loc on Riemann Surfaces

    Ryazanov, V., S. Volkov: On the Boundary Behavior of Mappings in the Class W^ 1,1 _ loc on Riemann Surfaces. - Complex Analysis and Operator Theory 11, 2017, 1503--1520

    work page 2017

  18. [18]

    Salimov, R.R.: Estimation of the measure of the image of the ball. - Sib. Math. J. 53:4, 2012, 739--747

    work page 2012

  19. [19]

    Stefanchuk, Functional Asymptotics of Solutions of the Nonlinear CauchyRiemannBeltrami System

    Salimov, R.R., M.V. Stefanchuk, Functional Asymptotics of Solutions of the Nonlinear CauchyRiemannBeltrami System. - Journal of Mathematical Sciences (United States) 277:2, 2023, 311--328

    work page 2023

  20. [20]

    Sevost'yanov, E.: On the local behavior of Open Discrete Mappings from the Orlicz-Sobolev Classes. - Ukr. Math. J. 68:9, 2017, 1447--1465

    work page 2017

  21. [21]

    Sevost'yanov, E.: On the boundary behavior of some classes of mappings. - J. Math. Sci. 243:6, 2019, 934--948

    work page 2019

  22. [22]

    - Journal of Mathematical Sciences 264:4, 2022, 455--470

    Sevost'yanov, E.: The inverse Poletsky inequality in one class of mappings. - Journal of Mathematical Sciences 264:4, 2022, 455--470

    work page 2022

  23. [23]

    Developments in Mathematics (DEVM, volume 78)

    Sevost'yanov, E.A: Mappings with Direct and Inverse Poletsky Inequalities. Developments in Mathematics (DEVM, volume 78). - Springer Nature Switzerland AG, Cham, 2023

    work page 2023

  24. [24]

    - Analysis and Mathematical Physics 12:3, 2022, Article number 76

    Sevost'yanov, E.: On global behavior of mappings with integral constraints. - Analysis and Mathematical Physics 12:3, 2022, Article number 76

    work page 2022

  25. [25]

    - Siberian Mathematical Journal 34:6, 1993, 1196--1200

    Shlyk, V.A.: The equality between p -capacity and p -modulus. - Siberian Mathematical Journal 34:6, 1993, 1196--1200

    work page 1993

  26. [26]

    a is\" a l\

    V\" a is\" a l\" a J.: Lectures on n -dimensional quasiconformal mappings. - Lecture Notes in Math. 229, Springer-Verlag, Berlin etc., 1971

    work page 1971

  27. [27]

    Vuorinen, M.: Exceptional sets and boundary behavior of quasiregular mappings in n -space. - Ann. Acad. Sci. Fenn. Ser. A 1. Math. Dissertationes 11, 1976, 1--44

    work page 1976

  28. [28]

    Ziemer, W.P.: Extremal length and conformal capacity. - Trans. Amer. Math. Soc. 126:3, 1967, 460--473

    work page 1967

  29. [29]

    - Michigan Math

    Ziemer, W.P.: Extremal length and p -capacity. - Michigan Math. J. 16, 1969, 43--51

    work page 1969