arxiv: 2604.15026 · v1 · submitted 2026-04-16 · 🧮 math.CV

Recognition: unknown

On Caratheodory prime ends extension for unclosed Orlicz-Sobolev classes

Evgeny Sevost'yanov, Zarina Kovba

Pith reviewed 2026-05-10 09:52 UTC · model grok-4.3

classification 🧮 math.CV

keywords prime endsboundary extensionOrlicz-Sobolev classesopen discrete mappingsCarathéodory theoremunclosed mappingscontinuous extensioncomplex analysis

0 comments

The pith

Open discrete mappings in Orlicz-Sobolev classes extend continuously to the boundary via prime ends even when they fail to preserve domain boundaries.

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

The paper establishes a boundary extension result for mappings that are open and discrete yet not closed, meaning they do not map the closure of a domain onto the closure of its image. These mappings belong to Orlicz-Sobolev classes, which impose controlled growth on their derivatives through an Orlicz function. The extension is expressed in terms of prime ends, a classical device that organizes the boundary into accessible chains of crosscuts. This setup directly generalizes Carathéodory's theorem, which originally applied only to conformal maps that do preserve boundaries. A sympathetic reader would care because the result widens the class of mappings for which boundary behavior can be described continuously without requiring the stronger closedness condition.

Core claim

For mappings that are open and discrete, belong to suitable Orlicz-Sobolev classes, and are not necessarily closed, continuous extension to the prime ends of the domain holds, thereby extending the classical Carathéodory boundary correspondence beyond conformal mappings to this broader setting.

What carries the argument

Carathéodory prime ends, which organize the boundary of a domain into equivalence classes of chains of crosscuts so that the mapping extends continuously by assigning each prime end to a point in the target space.

If this is right

Boundary extension theorems now cover mappings that distort the boundary rather than preserving it setwise.
The same prime-end technique applies uniformly across a scale of Orlicz functions that interpolate between different Sobolev integrability exponents.
Continuous extension holds without assuming the mapping is a homeomorphism onto its image.
The result supplies a uniform framework that recovers the classical Carathéodory theorem 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 extend to higher-dimensional domains where prime ends are replaced by more general prime-end-like boundary structures.
One could test the sharpness of the Orlicz condition by constructing borderline mappings whose derivatives grow exactly at the rate that breaks the extension.
Similar arguments might apply to other modulus-controlled classes such as mappings with finite distortion.
The result suggests that closedness is not essential for boundary regularity once openness and discreteness are granted.

Load-bearing premise

The mappings must remain open and discrete while satisfying the integrability conditions encoded in the Orlicz-Sobolev class so that the prime-end construction can be applied.

What would settle it

An explicit open discrete mapping belonging to an Orlicz-Sobolev class on a bounded domain in the plane that fails to admit a continuous extension from the prime ends to the closure of the image domain.

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.

Desk Editor's Note private letter to a colleague

This paper cleanly extends Carathéodory prime-end extension to the open discrete but non-closed case inside Orlicz-Sobolev classes.

read the letter

The main thing to know is that the authors drop the closedness assumption while keeping the mappings open and discrete, and they still get continuous boundary extension via prime ends under Orlicz-Sobolev integrability. That is the explicit gap they target beyond the classical conformal case. They do this without adding new entities or circular steps, and the abstract states the setting and conclusion directly. The work sits on top of standard prime-end and Orlicz-Sobolev machinery, which keeps the argument grounded. The soft spots are limited. The actual estimates that let closedness be removed are not visible in the abstract, so it is not yet clear how much new technical work is required versus routine adaptation. If those estimates turn out to be straightforward, the paper functions more as a useful note than a deep advance. No load-bearing flaws or contradictions show up in the stated claim. This is for readers already working in geometric function theory who need the non-closed case written down. A specialist who knows the classical Carathéodory theorem and the Orlicz-Sobolev literature will find it directly usable as a reference. It deserves a serious referee because the claim is narrow, the assumptions are explicit, and the stress test finds no circularity or internal inconsistency. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The manuscript investigates continuous boundary extension for open and discrete mappings belonging to Orlicz-Sobolev classes that are not closed (i.e., do not preserve the domain boundary). It employs prime-end techniques to obtain extension results and presents these as a generalization of Carathéodory's classical theorem on the boundary behavior of conformal mappings.

Significance. If the stated generalization holds under the given hypotheses, the work extends prime-end boundary extension from the conformal case to a broader class of open discrete mappings with Orlicz-Sobolev integrability. This could strengthen tools for studying boundary behavior in geometric function theory and mappings of finite distortion, particularly when closedness fails.

minor comments (2)

The abstract and introduction would benefit from an explicit statement of the main theorem (including the precise Orlicz-Sobolev integrability condition and the target domain) rather than a high-level description of the setting.
Clarify the precise meaning of 'not closed' early in the paper, with a reference to the relevant definition or example, to avoid ambiguity for readers familiar with standard Carathéodory theory.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for summarizing its contribution to prime-end boundary extensions for open discrete mappings in Orlicz-Sobolev classes that are not closed. We appreciate the recognition that this work generalizes Carathéodory's classical theorem. No specific major comments were raised in the report, so we have no individual points to address at this time. We remain available to supply further details or clarifications should any questions arise concerning the hypotheses or the extension results.

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external Carathéodory results

full rationale

The paper generalizes Carathéodory's prime-end boundary extension theorem from conformal mappings to open, discrete (but non-closed) mappings in Orlicz-Sobolev classes. The abstract states the setting and conclusion directly without internal equations that reduce the main claim to fitted parameters, self-definitions, or load-bearing self-citations. No ansatz is smuggled via prior author work, no uniqueness theorem is imported from the same authors, and no known empirical pattern is merely renamed. The derivation chain relies on established prime-end machinery and Orlicz-Sobolev integrability conditions that are independent of the target extension result. This is the normal case of a self-contained theoretical generalization.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no specific free parameters, axioms, or invented entities can be extracted beyond standard background assumptions of the field.

axioms (1)

domain assumption Standard properties of Orlicz-Sobolev classes, open discrete mappings, and prime ends in planar domains
Invoked implicitly as the setting for the generalization.

pith-pipeline@v0.9.0 · 5347 in / 1070 out tokens · 24915 ms · 2026-05-10T09:52:45.671935+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

29 extracted references · 1 canonical work pages

[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

2019
[2]

Uber die Begrenzung der einfachzusammenh\

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

1913
[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

1966
[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

2010
[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

2025
[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]

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

1975
[8]

Sevost'yanov: On prime ends on Riemannian

Ilyutko, D.P., E.A. Sevost'yanov: On prime ends on Riemannian
[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

2017
[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

2026
[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

2015
[12]

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

1968
[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

1971
[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

2009
[15]

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

1979
[16]

Salimov, M

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

2024
[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

2017
[18]

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

2012
[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

2023
[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

2017
[21]

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

2019
[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

2022
[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

2023
[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

2022
[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

1993
[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

1971
[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

1976
[28]

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

1967
[29]

- Michigan Math

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

1969