pith. sign in

arxiv: 2507.07206 · v2 · pith:5UNR4I6Anew · submitted 2025-07-09 · 🧮 math.AP · math.CA

Global invertibility of Sobolev mappings with prescribed homeomorphic boundary values

Sabrina Traver (Syracuse University) This is my paper

Pith reviewed 2026-05-25 07:39 UTC · model grok-4.3

classification 🧮 math.AP math.CA
keywords Sobolev mappingsglobal invertibilitymonotone mappingsJacobian determinanthomeomorphic boundary valuesLipschitz domainsweak interpenetration
0
0 comments X

The pith

Sobolev mappings with homeomorphic boundary traces and positive Jacobian are globally invertible.

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

The paper proves that Sobolev mappings in W^{1,n} from a Lipschitz domain X to R^n, with trace equal to a homeomorphism on the boundary and Jacobian determinant positive almost everywhere, extend continuously to the closed domain. These maps are monotone surjections onto the target domain in the sense of Morrey, allowing squeezing but not folding. This establishes global invertibility despite weak interpenetration of matter, generalizing earlier results by Ball. Readers care because it shows how boundary conditions and Jacobian sign can ensure topological properties hold in weak settings for applications like elasticity.

Core claim

For Lipschitz domains X and Y with homeomorphism φ from closure of X to closure of Y, every f in W^{1,n}(X, R^n) with det Df > 0 almost everywhere and Sobolev trace equal to φ on the boundary of X extends continuously to the closure of X and is a monotone continuous surjection from the closure of X onto the closure of Y.

What carries the argument

Monotone mappings in the sense of C.B. Morrey that permit squeezing without folding while maintaining global invertibility.

If this is right

  • These maps extend continuously to the boundary and cover the entire target domain.
  • They remain globally invertible even with weak interpenetration allowed.
  • The result generalizes pioneering work on invertibility for such boundary conditions.
  • Monotonicity prevents folding, corresponding to strong interpenetration of matter.

Where Pith is reading between the lines

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

  • This suggests boundary homeomorphisms can enforce continuity and surjectivity in Sobolev classes.
  • Similar conclusions might apply to mappings with less regular boundaries if the trace condition holds.
  • Connections to models in continuum mechanics where interpenetration is controlled by boundary data.

Load-bearing premise

The map must have its boundary trace exactly equal to the given homeomorphism and its Jacobian must be strictly positive almost everywhere.

What would settle it

A specific example of a map in W^{1,n} with positive Jacobian a.e. and matching homeomorphic boundary trace that is discontinuous on the closure or not surjective onto the target.

read the original abstract

Let $X, Y \subset \mathbb{R}^n$ be Lipschitz domains, and suppose there is a homeomorphism $\varphi \colon \overline{X} \to \overline{Y}$. We consider the class of Sobolev mappings $f \in W^{1,n} (X, \mathbb{R}^n)$ with a strictly positive Jacobian determinant almost everywhere, whose Sobolev trace coincides with $\varphi$ on $\partial X$. We prove that every mapping in this class extends continuously to $\overline{X}$ and is a monotone (continuous) surjection from $\overline{X}$ onto $\overline{Y}$ in the sense of C.B. Morrey. As monotone mappings, they may squeeze but not fold the reference configuration $X$. This behavior reflects weak interpenetration of matter, as opposed to folding, which corresponds to strong interpenetration. Despite allowing weak interpenetration of matter, these maps are globally invertible, generalizing the pioneering work of J.M. Ball.

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 / 3 minor

Summary. The manuscript proves that if X and Y are Lipschitz domains in R^n and φ is a homeomorphism from the closure of X onto the closure of Y, then any f in W^{1,n}(X,R^n) with J_f > 0 a.e. whose trace on ∂X equals φ extends continuously to the closed domain and is a monotone surjection from X̄ onto Ȳ in the sense of Morrey. These maps are shown to be globally invertible, thereby generalizing Ball's theorem while permitting weak interpenetration of matter but forbidding folding.

Significance. If the result holds, it supplies a precise global-invertibility theorem for Sobolev mappings with prescribed homeomorphic boundary values, distinguishing weak from strong interpenetration. The argument relies on standard tools of mappings of finite distortion and monotonicity, and the hypotheses (exact boundary trace equal to a homeomorphism together with J_f > 0 a.e.) are necessary; the manuscript therefore delivers a clean, falsifiable statement with no free parameters or ad-hoc constructions.

minor comments (3)
  1. §1, paragraph following the statement of the main theorem: the precise definition of monotonicity (Morrey) should be recalled or cited explicitly rather than only referenced by name, to aid readers unfamiliar with the 1960s literature.
  2. The abstract states the result for general n but the introduction should clarify whether n=1 is excluded and why the Lipschitz regularity of the domains is essential (or whether the argument extends to John domains).
  3. Theorem 1.1 (or equivalent numbering): the statement that the extension is a homeomorphism onto Ȳ should be accompanied by a short remark on how the inverse is obtained, even if the details appear later.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and recommendation of minor revision. The referee's summary correctly reflects the main theorem: Sobolev maps in W^{1,n} with positive Jacobian and trace equal to a homeomorphism of the closures are continuous monotone surjections, hence globally invertible. No major comments were listed in the report, so we have no specific points to address.

Circularity Check

0 steps flagged

No significant circularity; theorem is self-contained under stated hypotheses

full rationale

The paper states a direct theorem: Sobolev maps in W^{1,n} with trace exactly equal to a given boundary homeomorphism φ and J_f > 0 a.e. are shown to extend continuously and be monotone surjections (hence globally invertible). No equations reduce a claimed prediction to a fitted input by construction, no self-citation chain is invoked to justify a uniqueness theorem or ansatz, and the central claim does not rename a known empirical pattern. The hypotheses are explicitly necessary (as noted by the reader), and the result is presented as a generalization of Ball's work without internal reduction to its own inputs. This is the normal case of a self-contained mathematical derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard properties of Sobolev spaces, traces, and the definition of monotone mappings in the sense of Morrey; no free parameters, ad-hoc axioms, or invented entities appear in the abstract.

axioms (2)
  • domain assumption Sobolev trace operator coincides with the given homeomorphism on the boundary
    Invoked when defining the class of mappings whose trace equals φ
  • domain assumption Jacobian determinant is strictly positive almost everywhere
    Used to exclude folding and to obtain monotonicity

pith-pipeline@v0.9.0 · 5697 in / 1408 out tokens · 24220 ms · 2026-05-25T07:39:40.494592+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

11 extracted references · 11 canonical work pages

  1. [1]

    Astala, T

    K. Astala, T. Iwaniec and G. J. Martin, Elliptic partial differential equations and quasiconformal mappings in the plane , Princeton Mathematical Series, 48, Princeton Univ. Press, Princeton, NJ, 2009; MR2472875

    work page 2009

  2. [2]

    J. M. L. Ball, Global invertibility of Sobolev functions and the interpenetration of matter, Proc. Roy. Soc. Edinburgh Sect. A 88 (1981), no. 3-4, 315–328; MR0616782 16 S. TRA VER

    work page 1981

  3. [3]

    P. G. Ciarlet and J. Neˇ cas, Injectivity and self-contact in nonlinear elasticity, Arch. Rational Mech. Anal. 97 (1987), no. 3, 171–188; MR0862546

    work page 1987

  4. [4]

    P. G. Ciarlet, Mathematical elasticity. Vol. I , Studies in Mathematics and its Applications, 20, North-Holland, Amsterdam, 1988; MR0936420

    work page 1988

  5. [5]

    Fonseca and W

    I. Fonseca and W. Gangbo, Degree theory in analysis and applications, Oxford Lecture Series in Mathematics and its Applications Oxford Science Publica- tions, 2 , Oxford Univ. Press, New York, 1995; MR1373430

    work page 1995

  6. [6]

    Hencl and P

    S. Hencl and P. Koskela, Lectures on mappings of finite distortion , Lecture Notes in Mathematics, 2096, Springer, Cham, 2014; MR3184742

    work page 2096

  7. [7]

    Iwaniec and G

    T. Iwaniec and G. J. Martin, Geometric function theory and non-linear anal- ysis, Oxford Mathematical Monographs, Oxford Univ. Press, New York, 2001; MR1859913

    work page 2001

  8. [8]

    Iwaniec, G

    T. Iwaniec, G. J. Martin and J. Onninen, Energy-minimal principles in geo- metric function theory, New Zealand J. Math. 52 (2021 [2021–2022]), 605–642; MR4384823

    work page 2021

  9. [9]

    J. E. Marsden and T. J. R. Hughes, Mathematical foundations of elasticity , corrected reprint of the 1983 original, Dover, New York, 1994; MR1262126

    work page 1983

  10. [10]

    C. B. Morrey Jr., The Topology of (Path) Surfaces, Amer. J. Math. 57 (1935), no. 1, 17–50; MR1507053

    work page 1935

  11. [11]

    J. T. Schwartz, Nonlinear functional analysis , Notes on Mathematics and its Applications, Gordon and Breach, New York-London-Paris, 1969; MR0433481 Department of Mathematics, Syracuse University, Syracuse, NY 13244 Email address : smtraver@syr.edu

    work page 1969