Nonconstant fixed-point conjecture for the uncentered Hardy–Littlewood maximal operator

At least 3 years old · documented by

Let XX be a finite-dimensional Banach space, let ρ\rho be its metric, and let u u be a measure on XX. Write B(x,r)B(x,r) for the ball of radius rr centered at xx, and let MνM_\nu denote the uncentered Hardy–Littlewood maximal operator on Lloc⁡1(ν)L^{1}_{\operatorname{loc}}(\nu). Assume

{x∈supp⁡(ν):r↦ν(B(x,r)) is discontinuous}=∅.\{x\in \operatorname{supp}(\nu): r\mapsto \nu(B(x,r))\text{ is discontinuous}\}=\varnothing.

A function f∈Lloc⁡1(ν)f\in L^{1}_{\operatorname{loc}}(\nu) satisfying Mνf=fM_\nu f=f is constant.

Nonconstant fixed-point conjecture. Under these assumptions, there is no non-constant fixed point f∈Lloc⁡1(ν)f\in L^{1}_{\operatorname{loc}}(\nu) of MνM_\nu.

The conjecture is motivated by known results for Euclidean spaces and, more generally, measures satisfying related continuity conditions on metric spaces with the Besicovitch covering property. Its status is not resolved in the supplied source.

References

Primary source

Wu-yi Pan, “Fixed points of the uncentered Hardy-Littlewood maximal operator”, arXiv:2211.15147 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.