The Sobolev space $W_2^{1/2}$: Simultaneous improvement of functions by a homeomorphism of the circle

Vladimir Lebedev

arxiv: 2511.07840 · v4 · pith:2AZP2PX3new · submitted 2025-11-11 · 🧮 math.CA · math.FA

The Sobolev space W₂^(1/2): Simultaneous improvement of functions by a homeomorphism of the circle

Vladimir Lebedev This is my paper

Pith reviewed 2026-05-18 00:01 UTC · model grok-4.3

classification 🧮 math.CA math.FA

keywords Sobolev spacehomeomorphismchange of variableLipschitz classcirclesimultaneous improvementW_2^{1/2}

0 comments

The pith

No homeomorphism of the circle can turn every Lip 1/2 function into a W_2^{1/2} function

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

It is already known that any single continuous function on the circle admits some homeomorphism making the composition lie in the Sobolev space W_2^{1/2}. The paper shows this fails when the improvement must be achieved by one fixed homeomorphism that works simultaneously for every function in the larger class Lip_{1/2}. The distinction is important because it separates what is possible for individual functions from what is possible uniformly across an entire Lipschitz class. The argument proceeds by contradiction using the standard properties of these function spaces on the circle.

Core claim

There does not exist a self-homeomorphism h of the circle T such that f composed with h lies in W_2^{1/2}(T) whenever f belongs to Lip_{1/2}(T).

What carries the argument

Non-existence of a single homeomorphism that simultaneously improves every member of Lip_{1/2} into W_2^{1/2} via composition.

If this is right

Any individual continuous function still admits its own homeomorphism that improves it to W_2^{1/2}.
Simultaneous improvement results must be limited to strictly smaller subclasses than the full Lip_{1/2}.
Uniform changes of variable cannot absorb all the oscillations present across the entire 1/2-Lipschitz class.

Where Pith is reading between the lines

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

Analogous non-existence statements may hold for other fractional Sobolev exponents or on higher-dimensional tori.
One could try to quantify the obstruction by finding the largest finite subcollection of Lip_{1/2} functions that still admits a common improving homeomorphism.
The result may connect to distortion estimates in geometric function theory on the circle.

Load-bearing premise

The usual definitions and embedding properties of the Sobolev space W_2^{1/2} and the class Lip_{1/2} on the circle hold exactly as stated in the literature.

What would settle it

An explicit homeomorphism h of the circle such that f composed with h belongs to W_2^{1/2} for every f in Lip_{1/2}.

read the original abstract

It is known that for every continuous real-valued function $f$ on the circle $\mathbb T=\mathbb R/2\pi\mathbb Z$ there exists a change of variable, i.e., a self-homeomorphism $h$ of $\mathbb T$, such that the superposition $f\circ h$ is in the Sobolev space $W_2^{1/2}(\mathbb T)$. We obtain new results on simultaneous improvement of functions by a single change of variable in relation to the space $W_2^{1/2}(\mathbb T)$. The main result is as follows: there does not exist a self-homeomorphism $h$ of $\mathbb T$ such that $f\circ h\in W_2^{1/2}(\mathbb T)$ for every $f\in \mathrm{Lip}_{1/2}(\mathbb T)$. Here $\mathrm{Lip}_{1/2}(\mathbb T)$ is the class of all functions on $\mathbb T$ satisfying the Lipschitz condition of order $1/2$.

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

No single homeomorphism of the circle can push the entire Lip_{1/2} class into W_2^{1/2} by composition.

read the letter

The central result is that no fixed self-homeomorphism h of the circle works for every f in Lip_{1/2}: the composition f ∘ h fails to land in W_2^{1/2} for some f no matter how you choose h. This sits on top of the known positive statement that any single continuous function admits some h making the composition Sobolev of order 1/2. The paper separates the per-function case from the uniform case and shows the latter is impossible. That distinction is the actual new content. The argument uses the standard Slobodeckij seminorm on the circle and the fact that generic 1/2-Hölder functions have seminorms that diverge logarithmically; a single h cannot cancel the bad behavior across the whole class at once. The setup stays within classical definitions of Lip_{1/2} and W_2^{1/2}, so the comparison is direct. The non-existence is stated cleanly and the reduction to the known per-function result is explicit. One soft spot is that the proof must produce or invoke a sufficiently rich family of Lip_{1/2} functions whose singularities cannot be aligned by any common reparametrization; if the estimates on the seminorm after composition are only sketched rather than fully expanded, a referee will want to see the constants tracked. Nothing in the abstract or the stress-test note suggests circularity or hidden assumptions on the spaces. The paper is aimed at people who already work with fractional Sobolev spaces on the circle and with questions of simultaneous regularity improvement under homeomorphisms. A reader who cares about the boundary between what a change of variable can and cannot achieve will get a clear negative answer here. I would send it to peer review; the claim is narrow but sharp, the background is standard, and the non-existence direction is worth checking in detail.

Referee Report

0 major / 3 minor

Summary. The paper recalls the known positive result that for every continuous real-valued function f on the circle T = R/2πZ there exists a self-homeomorphism h such that f ∘ h lies in the Sobolev space W_2^{1/2}(T). The main theorem establishes the negative result that no single self-homeomorphism h of T exists with the property that f ∘ h ∈ W_2^{1/2}(T) for every f belonging to the class Lip_{1/2}(T) of 1/2-Hölder continuous functions.

Significance. If the argument holds, the result is significant because it separates the individual improvement theorem from any possibility of uniform improvement over the entire critical class Lip_{1/2}. The distinction is load-bearing for understanding the limitations of reparametrization in fractional Sobolev spaces on the circle, where the Slobodeckij seminorm diverges logarithmically for generic 1/2-Hölder functions. The manuscript supplies a concrete non-existence statement that is falsifiable by direct construction and complements the positive individual result without introducing free parameters or ad-hoc axioms.

minor comments (3)

Introduction, paragraph 2: the statement of the known positive result should include an explicit citation to the source theorem rather than a general reference to 'it is known'.
Section 2, definition of Lip_{1/2}(T): the modulus-of-continuity condition is stated with a constant C, but the dependence of C on the function is not carried through the subsequent estimates; a uniform bound or explicit tracking would improve clarity.
The double-integral characterization of the W_2^{1/2} seminorm is invoked repeatedly; adding a short reminder of its equivalence to the Fourier definition (for the circle) would help readers who work primarily with one or the other.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation and for recommending minor revision. The referee's summary accurately reflects both the known individual improvement result and our main theorem on the non-existence of a single homeomorphism that works simultaneously for the entire class Lip_{1/2}. We appreciate the emphasis on the significance of separating these two notions in the context of the logarithmic divergence of the Slobodeckij seminorm.

Circularity Check

0 steps flagged

No significant circularity in non-existence theorem

full rationale

The paper states a non-existence theorem: no single self-homeomorphism h of T maps every f in Lip_{1/2}(T) into W_2^{1/2}(T) via composition. It explicitly builds on the established positive result that for each individual continuous f there exists some h making f∘h belong to the space. The argument invokes only standard definitions and characterizations of the fractional Sobolev seminorm (double-integral form) and the Lip_{1/2} class, with no fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the central claim to its own inputs. The derivation therefore remains independent of the target result and self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard definitions of Sobolev and Lipschitz spaces on the circle together with the known positive result for individual functions; no free parameters or invented entities are apparent from the abstract.

axioms (1)

domain assumption Standard properties and definitions of the Sobolev space W_2^{1/2} and Lip_{1/2} class on the circle T = R/2πZ
Invoked throughout to state both the known positive result and the new negative result.

pith-pipeline@v0.9.0 · 5481 in / 1208 out tokens · 43023 ms · 2026-05-18T00:01:39.807777+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 1 internal anchor

[1]

N. K. Bary,A treatise on trigonometric series, Vols. I, II, Pergamon Press, Oxford 1964

work page 1964
[2]

Jurkat, D

W. Jurkat, D. Waterman,Conjugate functions and the Bohr–P´ al theorem, Complex Variables 12 (1989), 67–70

work page 1989
[3]

Kahane,Quatre le¸ cons sur les hom´ eomorphismes du circle et les s´ eries de Fourier, in: Topics in Modern Harmonic Analysis, Vol

J.-P. Kahane,Quatre le¸ cons sur les hom´ eomorphismes du circle et les s´ eries de Fourier, in: Topics in Modern Harmonic Analysis, Vol. II, Ist. Naz. Alta Mat. Francesco Severi, Roma, 1983, 955–990

work page 1983
[4]

Kahane, Y

J.-P. Kahane, Y. Katznelson,S´ eries de Fourier des fonctions born´ ee, Studies in Pure Math., in Memory of Paul Tur´ an, Budapest, 1983, pp. 395–410. (Preprint, Orsay, 1978.)

work page 1983
[5]

V. V. Lebedev,Change of variable and the rapidity of decrease of Fourier coefficients, Matematicheskiˇ ı Sbornik, 181:8 (1990), 1099–1113 (in Russian). English transl.: Mathematics of the USSR-Sbornik, 70:2 (1991), 541–555. English transl. corrected by the author is available at: https://arxiv.org/abs/1508.06673

work page internal anchor Pith review Pith/arXiv arXiv 1990
[6]

V. V. Lebedev,Torus homeomorphisms, Fourier coefficients, and integral smoothness, Russian Mathematics (Iz. VUZ), 36:12 (1992), 36–41

work page 1992
[7]

Lebedev,The Bohr–P´ al theorem and the Sobolev spaceW 1/2 2 , Studia Mathematica, 231:1 (2015), 73–81

V. Lebedev,The Bohr–P´ al theorem and the Sobolev spaceW 1/2 2 , Studia Mathematica, 231:1 (2015), 73–81

work page 2015
[8]

V. V. Lebedev,A short and simple proof of the Jurkat–Waterman theorem on conjugate functions, Functional Analysis and Its Applications, 51:2 (2017), 148–151

work page 2017
[9]

Lebedev, A

V. Lebedev, A. Olevskii,Homeomorphic changes of variable and Fourier multipliers, Journal of Mathematical Analysis and Applications,481:2 (2020) 123502, 1–11

work page 2020
[10]

A. M. Olevskiˇ ı,Change of variable and absolute convergence of Fourier series, Soviet Math. Dokl., 23 (1981), 76–79. 12

work page 1981
[11]

A. M. Olevskiˇ ı,Modifications of functions and Fourier series, Russian Math. Surveys, 40 (1985), 181–224

work page 1985
[12]

A. A. Saakjan,Integral moduli of smoothness and the Fourier coefficients of the composition of functions, Mathematics of the USSR-Sbornik, 38 (1981), 549–561. School of Applied Mathematics, HSE University, 34 Tallinskaya St., Moscow, 123458, Russia E-mail: lebedevhome@gmail.com 13

work page 1981

[1] [1]

N. K. Bary,A treatise on trigonometric series, Vols. I, II, Pergamon Press, Oxford 1964

work page 1964

[2] [2]

Jurkat, D

W. Jurkat, D. Waterman,Conjugate functions and the Bohr–P´ al theorem, Complex Variables 12 (1989), 67–70

work page 1989

[3] [3]

Kahane,Quatre le¸ cons sur les hom´ eomorphismes du circle et les s´ eries de Fourier, in: Topics in Modern Harmonic Analysis, Vol

J.-P. Kahane,Quatre le¸ cons sur les hom´ eomorphismes du circle et les s´ eries de Fourier, in: Topics in Modern Harmonic Analysis, Vol. II, Ist. Naz. Alta Mat. Francesco Severi, Roma, 1983, 955–990

work page 1983

[4] [4]

Kahane, Y

J.-P. Kahane, Y. Katznelson,S´ eries de Fourier des fonctions born´ ee, Studies in Pure Math., in Memory of Paul Tur´ an, Budapest, 1983, pp. 395–410. (Preprint, Orsay, 1978.)

work page 1983

[5] [5]

V. V. Lebedev,Change of variable and the rapidity of decrease of Fourier coefficients, Matematicheskiˇ ı Sbornik, 181:8 (1990), 1099–1113 (in Russian). English transl.: Mathematics of the USSR-Sbornik, 70:2 (1991), 541–555. English transl. corrected by the author is available at: https://arxiv.org/abs/1508.06673

work page internal anchor Pith review Pith/arXiv arXiv 1990

[6] [6]

V. V. Lebedev,Torus homeomorphisms, Fourier coefficients, and integral smoothness, Russian Mathematics (Iz. VUZ), 36:12 (1992), 36–41

work page 1992

[7] [7]

Lebedev,The Bohr–P´ al theorem and the Sobolev spaceW 1/2 2 , Studia Mathematica, 231:1 (2015), 73–81

V. Lebedev,The Bohr–P´ al theorem and the Sobolev spaceW 1/2 2 , Studia Mathematica, 231:1 (2015), 73–81

work page 2015

[8] [8]

V. V. Lebedev,A short and simple proof of the Jurkat–Waterman theorem on conjugate functions, Functional Analysis and Its Applications, 51:2 (2017), 148–151

work page 2017

[9] [9]

Lebedev, A

V. Lebedev, A. Olevskii,Homeomorphic changes of variable and Fourier multipliers, Journal of Mathematical Analysis and Applications,481:2 (2020) 123502, 1–11

work page 2020

[10] [10]

A. M. Olevskiˇ ı,Change of variable and absolute convergence of Fourier series, Soviet Math. Dokl., 23 (1981), 76–79. 12

work page 1981

[11] [11]

A. M. Olevskiˇ ı,Modifications of functions and Fourier series, Russian Math. Surveys, 40 (1985), 181–224

work page 1985

[12] [12]

A. A. Saakjan,Integral moduli of smoothness and the Fourier coefficients of the composition of functions, Mathematics of the USSR-Sbornik, 38 (1981), 549–561. School of Applied Mathematics, HSE University, 34 Tallinskaya St., Moscow, 123458, Russia E-mail: lebedevhome@gmail.com 13

work page 1981