$W^{2,1}$ approximation of planar Sobolev homeomorphisms by smooth diffeomorphisms

Luigi D'Onofrio

arxiv: 2604.04592 · v1 · submitted 2026-04-06 · 🧮 math.FA

W^(2,1) approximation of planar Sobolev homeomorphisms by smooth diffeomorphisms

Luigi D'Onofrio This is my paper

Pith reviewed 2026-05-10 19:38 UTC · model grok-4.3

classification 🧮 math.FA

keywords W^{2,1} approximationSobolev homeomorphismsplanar diffeomorphismspiecewise quadratic mapsbi-Lipschitz conditionpositive JacobianC1 regularitySobolev spaces

0 comments

The pith

Piecewise quadratic C¹-compatible planar homeomorphisms with quantitative bi-Lipschitz bounds can be approximated in W^{2,1} by C¹ injective maps with positive Jacobian.

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

Approximating Sobolev homeomorphisms by smooth diffeomorphisms works in first-order spaces but stays open in W^{2,1} because second-derivative control tends to destroy injectivity. The paper resolves the local analytical part by building explicit regularizations that cross flat interfaces and handle multi-cell vertices while keeping the maps C¹, controlling the W^{2,1} norm, and preserving positive Jacobian. These pieces glue into a global theorem that any piecewise quadratic map meeting the structural hypotheses admits such an approximation. The remaining task for the general case is therefore geometric rather than analytic.

Core claim

We construct explicit local regularisations both across flat interfaces and near multi-cell vertices, and prove convergence in W^{2,1} together with quantitative preservation of the Jacobian. These local constructions are combined into a global smoothing theorem: any piecewise quadratic C¹-compatible planar homeomorphism satisfying a quantitative bi-Lipschitz condition can be approximated in W^{2,1} by maps that are C¹, injective, and have positive Jacobian. As a consequence, the general W^{2,1} approximation problem reduces to a purely geometric question: the construction of piecewise quadratic approximations with quantitative injectivity and nondegeneracy.

What carries the argument

explicit local regularisations across flat interfaces and near multi-cell vertices that produce globally C¹ maps, smooth inside cells, with controlled second derivatives in L¹ and strictly positive Jacobian

If this is right

The general W^{2,1} approximation problem for planar Sobolev homeomorphisms reduces to constructing piecewise quadratic approximations that already satisfy quantitative injectivity and nondegeneracy.
The constructed approximants are C¹ everywhere on the domain and C² inside each cell of the partition.
W^{2,1} convergence holds together with uniform preservation of positive Jacobian and injectivity.
The same local constructions apply uniformly across interfaces and vertices once the structural hypotheses are met.

Where Pith is reading between the lines

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

If piecewise quadratic models with the required injectivity can be built for arbitrary Sobolev homeomorphisms, the full W^{2,1} approximation theorem would follow immediately.
The local regularization technique could be tested on maps that are only approximately piecewise quadratic to see how much the structural assumption can be relaxed.
Similar interface-and-vertex regularizations might address curvature-injectivity tension in other Sobolev exponents or in three-dimensional domains.

Load-bearing premise

The homeomorphisms must be piecewise quadratic, C¹-compatible, and satisfy a quantitative bi-Lipschitz condition.

What would settle it

A concrete piecewise quadratic C¹-compatible bi-Lipschitz planar homeomorphism for which every sequence of C¹ injective positive-Jacobian maps fails to converge to it in the W^{2,1} norm.

read the original abstract

The approximation of Sobolev homeomorphisms by smooth diffeomorphisms is well understood in first-order spaces $W^{1,p}$, but remains largely open in the second-order space $W^{2,1}$ due to a fundamental tension between curvature control and injectivity. In this paper we isolate and resolve the local analytical component of this problem. We construct explicit local regularisations both across flat interfaces and near multi-cell vertices, and prove convergence in $W^{2,1}$ together with quantitative preservation of the Jacobian. The resulting maps are $C^{1}$ on the whole domain and smooth inside each cell of the partition; in particular they are $C^{2}$ away from the interfaces. These local constructions are combined into a global smoothing theorem: any piecewise quadratic $C^{1}$-compatible planar homeomorphism satisfying a quantitative bi-Lipschitz condition can be approximated in $W^{2,1}$ by maps that are $C^{1}$, injective, and have positive Jacobian. As a consequence, we show that the general $W^{2,1}$ approximation problem reduces to a purely geometric question: the construction of piecewise quadratic approximations with quantitative injectivity and nondegeneracy.

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 gives explicit local W^{2,1} regularizations for piecewise quadratic planar homeomorphisms and reduces the general approximation problem to a geometric construction task.

read the letter

The core contribution is a set of explicit local constructions that smooth piecewise quadratic C^1-compatible planar homeomorphisms across flat interfaces and at multi-cell vertices while staying in W^{2,1} and keeping injectivity plus positive Jacobian. These are then assembled into a global smoothing theorem under a quantitative bi-Lipschitz assumption. The payoff is that the open W^{2,1} approximation question for general Sobolev homeomorphisms is now reduced to the purely geometric task of producing suitable piecewise quadratic approximants. That framing and the concrete local fixes are new relative to the W^{1,p} literature cited in the abstract. The constructions appear to be worked out in detail, with convergence and Jacobian control stated as part of the argument. The stress-test note finds no internal inconsistency or hidden circularity once the structural hypotheses are granted, which matches what the abstract lays out. The main limitations are exactly those stated: the result applies only to planar maps that are already piecewise quadratic and satisfy the quantitative bi-Lipschitz condition. Without those, the local regularizations and gluing may lose injectivity or the Jacobian bound. The paper does not claim to handle arbitrary Sobolev homeomorphisms directly, so the reduction is useful but leaves the geometric step open. This is aimed at researchers working on Sobolev mappings, approximation in higher integrability, and planar homeomorphisms. A reader already familiar with the W^{1,p} results will see a clear technical advance and a practical splitting of the problem. The work is coherent on its own terms and shows honest engagement with the literature, so it deserves a serious referee even though the general case remains open. I would send it to peer review.

Referee Report

0 major / 4 minor

Summary. The paper claims to resolve the local analytical component of approximating planar Sobolev homeomorphisms in W^{2,1} by smooth diffeomorphisms. It provides explicit constructions of local regularizations across flat interfaces and near multi-cell vertices for piecewise quadratic C^1-compatible homeomorphisms satisfying a quantitative bi-Lipschitz condition. These yield W^{2,1} convergence while preserving C^1 regularity on the domain, injectivity, and positive Jacobian, with the maps being smooth inside cells. The global smoothing theorem then reduces the general W^{2,1} approximation problem to the geometric task of constructing piecewise quadratic approximants with quantitative injectivity and nondegeneracy.

Significance. If the constructions and proofs hold, this is a meaningful contribution to an open problem in Sobolev mapping theory. The explicit local regularizations and quantitative Jacobian preservation separate analytical and geometric difficulties effectively, providing a clear reduction. The paper's strength lies in its direct constructions rather than abstract existence arguments, which could facilitate further progress on the remaining geometric question.

minor comments (4)

The abstract refers to 'quantitative bi-Lipschitz condition' and 'quantitative preservation of the Jacobian' without indicating where the explicit constants or their dependence on the mesh or bi-Lipschitz ratio are stated; adding a forward reference would improve readability.
In the description of the local constructions, the C^1-compatibility across interfaces is central; a brief remark on how the regularization maintains this compatibility globally after gluing would clarify the argument.
The global smoothing theorem reduces the problem to a geometric question, but the manuscript could include a short discussion or reference to known results (or lack thereof) on the existence of piecewise quadratic approximants satisfying the quantitative conditions.
Notation for the partition into cells and the interfaces is used throughout; introducing a dedicated notation subsection or diagram early in the paper would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, accurate summary of our results, and positive evaluation of the manuscript's contribution. The report correctly identifies that we resolve the local analytical component of the W^{2,1} approximation problem by explicit constructions and reduce the global question to a geometric one. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via explicit constructions

full rationale

The paper's chain consists of explicit local regularizations across interfaces and vertices for piecewise quadratic C^1-compatible maps under a stated quantitative bi-Lipschitz hypothesis, followed by direct W^{2,1} convergence proofs that preserve C^1 regularity, injectivity, and positive Jacobian, then a global smoothing theorem that reduces the general problem to an independent geometric task. No step equates a claimed prediction or first-principles result to its own inputs by definition, renames a fitted quantity, or relies on load-bearing self-citations; the structural hypotheses are declared upfront as prerequisites rather than smuggled in, and the reduction follows from the constructions without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard Sobolev embedding and approximation theory in the plane; the quantitative bi-Lipschitz condition and piecewise quadratic structure are hypotheses rather than derived quantities. No new entities are postulated.

axioms (2)

standard math Standard properties of Sobolev spaces W^{2,1} and homeomorphisms in the plane
Invoked throughout the abstract as background for the approximation problem.
domain assumption Piecewise quadratic maps are C^1-compatible across interfaces
Required for the local regularizations to glue into a global C^1 map.

pith-pipeline@v0.9.0 · 5512 in / 1482 out tokens · 48628 ms · 2026-05-10T19:38:14.931511+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

R. A. Adams and J. J. F. Fournier,Sobolev Spaces, 2nd ed., Pure and Applied Mathematics140, Academic Press, Amsterdam, 2003

work page 2003
[2]

Br´ ezis and S

H. Br´ ezis and S. Wainger,A note on limiting cases of Sobolev embeddings and convolution inequalities, Comm. Partial Differential Equations5(1980), no. 7, 773– 789

work page 1980
[3]

J. M. Ball,Discontinuous equilibrium solutions and cavitation in nonlinear elasticity, Philos. Trans. Roy. Soc. London Ser. A306(1982), 557–611

work page 1982
[4]

J. M. Ball,Singularities and computation of minimizers for variational problems, in:Foundations of Computational Mathematics(Oxford, 1999), London Math. Soc. Lecture Note Ser. 284, Cambridge Univ. Press, 2001, pp. 1–20

work page 1999
[5]

Campbell, L

D. Campbell, L. D’Onofrio and T. Vitek,Diffeomorphic approximation of piecewise affine homeomorphisms, J. Geom. Anal.36(2026), 157

work page 2026
[6]

Campbell, L

D. Campbell, L. Greco, R. Schiattarella and F. Soudsk´ y,Diffeomorphic approximation of planar Sobolev homeomorphisms in Orlicz–Sobolev spaces, ESAIM: COCV27 (2021), 35 pp

work page 2021
[7]

Campbell and S

D. Campbell and S. Hencl,Approximation of planar Sobolev W 2,1 homeomorphisms by piecewise quadratic homeomorphisms and diffeomorphisms, ESAIM: COCV27 (2021), 39 pp

work page 2021
[8]

Campbell, S

D. Campbell, S. Hencl and V. Tengvall,Approximation of W 1,p Sobolev homeomor- phisms by diffeomorphisms and the signs of the Jacobian, Adv. Math.331(2018), 748–829

work page 2018
[9]

Campbell and F

D. Campbell and F. Soudsk´ y,Smooth homeomorphic approximation of piecewise affine homeomorphisms, Rend. Mat. Appl.32(2021), 511–534

work page 2021
[10]

Daneri and A

S. Daneri and A. Pratelli,Smooth approximation of bi-Lipschitz orientation-preserving homeomorphisms, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire31(2014), 567–589

work page 2014
[11]

Hencl and A

S. Hencl and A. Pratelli,Diffeomorphic approximation of W 1,1 planar Sobolev homeo- morphisms, J. Eur. Math. Soc. (JEMS)20(2018), 597–656. 12

work page 2018
[12]

Iwaniec, L

T. Iwaniec, L. V. Kovalev and J. Onninen,Diffeomorphic approximation of Sobolev homeomorphisms, Arch. Rational Mech. Anal.201(2011), 1047–1067

work page 2011
[13]

Iwaniec, L

T. Iwaniec, L. V. Kovalev and J. Onninen,Triangulation of diffeomorphisms, Math. Ann.368(2017), 1133–1169

work page 2017
[14]

Mora-Corral and A

C. Mora-Corral and A. Pratelli,Approximation of piecewise affine homeomorphisms by diffeomorphisms, J. Geom. Anal.24(2014), 1398–1424

work page 2014
[15]

W. P. Ziemer,Weakly Differentiable Functions, Graduate Texts in Mathematics120, Springer, New York, 1989. 13

work page 1989

[1] [1]

R. A. Adams and J. J. F. Fournier,Sobolev Spaces, 2nd ed., Pure and Applied Mathematics140, Academic Press, Amsterdam, 2003

work page 2003

[2] [2]

Br´ ezis and S

H. Br´ ezis and S. Wainger,A note on limiting cases of Sobolev embeddings and convolution inequalities, Comm. Partial Differential Equations5(1980), no. 7, 773– 789

work page 1980

[3] [3]

J. M. Ball,Discontinuous equilibrium solutions and cavitation in nonlinear elasticity, Philos. Trans. Roy. Soc. London Ser. A306(1982), 557–611

work page 1982

[4] [4]

J. M. Ball,Singularities and computation of minimizers for variational problems, in:Foundations of Computational Mathematics(Oxford, 1999), London Math. Soc. Lecture Note Ser. 284, Cambridge Univ. Press, 2001, pp. 1–20

work page 1999

[5] [5]

Campbell, L

D. Campbell, L. D’Onofrio and T. Vitek,Diffeomorphic approximation of piecewise affine homeomorphisms, J. Geom. Anal.36(2026), 157

work page 2026

[6] [6]

Campbell, L

D. Campbell, L. Greco, R. Schiattarella and F. Soudsk´ y,Diffeomorphic approximation of planar Sobolev homeomorphisms in Orlicz–Sobolev spaces, ESAIM: COCV27 (2021), 35 pp

work page 2021

[7] [7]

Campbell and S

D. Campbell and S. Hencl,Approximation of planar Sobolev W 2,1 homeomorphisms by piecewise quadratic homeomorphisms and diffeomorphisms, ESAIM: COCV27 (2021), 39 pp

work page 2021

[8] [8]

Campbell, S

D. Campbell, S. Hencl and V. Tengvall,Approximation of W 1,p Sobolev homeomor- phisms by diffeomorphisms and the signs of the Jacobian, Adv. Math.331(2018), 748–829

work page 2018

[9] [9]

Campbell and F

D. Campbell and F. Soudsk´ y,Smooth homeomorphic approximation of piecewise affine homeomorphisms, Rend. Mat. Appl.32(2021), 511–534

work page 2021

[10] [10]

Daneri and A

S. Daneri and A. Pratelli,Smooth approximation of bi-Lipschitz orientation-preserving homeomorphisms, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire31(2014), 567–589

work page 2014

[11] [11]

Hencl and A

S. Hencl and A. Pratelli,Diffeomorphic approximation of W 1,1 planar Sobolev homeo- morphisms, J. Eur. Math. Soc. (JEMS)20(2018), 597–656. 12

work page 2018

[12] [12]

Iwaniec, L

T. Iwaniec, L. V. Kovalev and J. Onninen,Diffeomorphic approximation of Sobolev homeomorphisms, Arch. Rational Mech. Anal.201(2011), 1047–1067

work page 2011

[13] [13]

Iwaniec, L

T. Iwaniec, L. V. Kovalev and J. Onninen,Triangulation of diffeomorphisms, Math. Ann.368(2017), 1133–1169

work page 2017

[14] [14]

Mora-Corral and A

C. Mora-Corral and A. Pratelli,Approximation of piecewise affine homeomorphisms by diffeomorphisms, J. Geom. Anal.24(2014), 1398–1424

work page 2014

[15] [15]

W. P. Ziemer,Weakly Differentiable Functions, Graduate Texts in Mathematics120, Springer, New York, 1989. 13

work page 1989