Brezis’s Fourier-degree problem below α=1/3\alpha=1/3

At least 28 years old · documented by

For a fixed 0<α≤1/30<\alpha\leq 1/3, let (σn,ε)n∈Z, 0<ε<1⊂C\left(\sigma_{n,\varepsilon}\right)_{n\in\mathbb{Z},\,0<\varepsilon<1}\subset\mathbb{C} be a summation process satisfying

∀ε∈(0,1),sup⁡n∈Z∣nσn,ε∣<∞,\forall\varepsilon\in(0,1),\qquad \sup_{n\in\mathbb{Z}}\left\lvert n\sigma_{n,\varepsilon}\right\rvert<\infty,

and

∀n∈Z,lim⁡ε→0+σn,ε=1.\forall n\in\mathbb{Z},\qquad \lim_{\varepsilon\to0^{+}}\sigma_{n,\varepsilon}=1.

Does there exist such a process, depending only on α\alpha, for which

∑n∈Znσn,ε∣f^(n)∣2⟶deg⁡fas ε→0+\sum_{n\in\mathbb{Z}}n\sigma_{n,\varepsilon}\left\lvert\widehat{f}(n)\right\rvert^{2}\longrightarrow\deg f\qquad\text{as }\varepsilon\to0^{+}

for every f∈C0,α(S1;S1)f\in C^{0,\alpha}(\mathbb{S}^{1};\mathbb{S}^{1})?

References

Progress summary

Refreshed
Claimed solved

A manuscript claims the universal Fourier procedure fails at the critical one-third threshold, while another establishes failure only below it, so the endpoint remains disputed.

Brezis’s problem asks whether one universal Fourier summation method recovers the topological degree for every sufficiently regular circle map, including the critical exponent α=1/3\alpha=1/3. Kahane and Brezis identified this threshold; the universal endpoint question was left open after failure was shown for a particular regularization.

Known results

  • Kahane: the standard sine-regularized degree formula fails for some f∈C0,1/3(T;S1)f\in C^{0,1/3}(\mathbb{T};\mathbb{S}^{1}).
  • A positive degree formula is known at the critical Sobolev regularity W1/3,3(S1;S1)W^{1/3,3}(\mathbb{S}^{1};\mathbb{S}^{1}).
  • Cieszyński proved nonexistence of an admissible universal summation process for 0<α<1/30<\alpha<1/3.

2026 endpoint claims

The manuscript at arXiv:2607.25862 claims that no admissible universal summation process recovers deg⁡f\deg f for every f∈C0,1/3(T;S1)f\in C^{0,1/3}(\mathbb{T};\mathbb{S}^{1}), implying failure for all α≤1/3\alpha\leq1/3. A separate manuscript proves only α<1/3\alpha<1/3 and explicitly says the endpoint remains open; the endpoint claim therefore lacks independent validation.

Current status (as of July 2026): Failure below α=1/3\alpha=1/3 is supported by recent manuscripts, but the endpoint α=1/3\alpha=1/3 is only claimed solved negatively and remains disputed.

Sources

Solutions 0

No solutions have been posted yet.