Maximal functions for Lebesgue spaces with variable exponent approaching 1 (Q2504334)

This paper deals with the \(L^1\) regularity of the maximal function in the Lebesgue space \(L^{p(\cdot)}\) with variable exponent. It is known from [\textit{P.\,Hästö}, Math.\ Nachr.\ 280, No.\,1--2, 74--82 (2007; Zbl 1125.46021)] that \(M f\in L^1(\Omega)\) if \(\partial \Omega\) has finite \((n-1)\)-Minkowski content and the exponent \(p\) satisfies \[ p(x) = 1 + (1+\varepsilon) \frac{\log\log(1/\delta(x))}{\log(1/\delta(x))} + O\left( \frac{1}{\log(1/\delta(x))} \right) \] at the boundary, where \(\varepsilon >0\) and \(\delta(x)\) is the distance to the boundary. If \(p\) is of the same form with \(\varepsilon<0\), then it was shown that \(M f\not\in L^1(\Omega)\). The main result of the present paper (Theorem~2.4) states that \(M f\in L^1(\Omega)\) also in the critical case \(\varepsilon =0\). It also shown (Theorem~3.1) that if \(p\) takes the value~\(1\) only at a single point, say the origin, then \(M f\in L^1(\Omega)\) provided that \[ p(x) = 1 + \frac1n \frac{\log\log(1/| x| )}{\log(1/| x| )} + O\left( \frac{1}{\log(1/| x| )} \right), \] where \(n\) is the dimension of the space.