Regularity of local bilinear maximal operator (Q2242435)

Given an open set \(\Omega\) in \(\mathbb{R}^n\) and \(0\leq \alpha<n,\) the authors investigate the regularity properties of local bilinear fractional maximal operators \(M_{\alpha,\Omega}\), which are defined for a pair of functions \((f,g) \in L^1_{\mathrm{loc}}(\Omega) \times L^1_{\mathrm{loc}}(\Omega)\) by \[ M_{\alpha,\Omega}(f,g)(x)=\sup \frac{1}{|B(0,r)|^{1-\frac{\alpha}{n}}} \, \int_{B(0,r)}|f(x+y) \, g(x-y)| \, dy,~x \in \Omega, \] where the supremum is taken over all radii \(r\) such that \(0<r<\mathrm{dist}(x,\partial \Omega\)). In the paper under review the authors study the boundedness and continuity for these operators in Sobolev spaces (see Theorem 1.1, 1.2, 1.3 and 1.4) by using some new bounds for the derivatives of the above maximal functions. Finally, they also study the bounds of these operators on the Sobolev spaces with zero boundary values. The proof is based on the ideas and arguments from [\textit{J. Kinnunen} and \textit{P. Lindqvist}, J. Reine Angew. Math. 503, 161--167 (1998; Zbl 0904.42015)] and [\textit{H. Luiro}, Proc. Edinb. Math. Soc., II. Ser. 53, No. 1, 211--237 (2010; Zbl 1183.42025)].