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

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 Lloc1(ν)L^{1}_{\operatorname{loc}}(\nu). Assume

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

A function fLloc1(ν)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 fLloc1(ν)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.

Sources & referencesView supporting material

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.