Let $M_{\beta }$ be the fractional maximal function. The commutator generated by $M_{\beta }$ and a suitable function $b$ is defined by $[M_{\beta },b]f=M_{\beta }\left(bf\right)-b{M}_{\beta }\left(f\right)$. Denote by $𝒫\left({ℝ}^n\right)$ the set of all measurable functions $p(·):{ℝ}^n\to [1,\infty )$ such that $$1<p_{-}:=\underset{x\in {ℝ}^n}{\mathrm{ess}\inf }p\left(x\right)\text{and}{p}_{+}:=\underset{x\in {ℝ}^n}{\mathrm{ess}\sup }p\left(x\right)<\infty ,$$ and by $ℬ\left({ℝ}^n\right)$ the set of all $p(·)\in 𝒫\left({ℝ}^n\right)$ such that the Hardy-Littlewood maximal function $M$ is bounded on $L^{p(·)}\left({ℝ}^n\right)$. In this paper, the authors give some characterizations of $b$ for which $[M_{\beta },b]$ is bounded from $L^{p(·)}\left({ℝ}^n\right)$ into $L^{q(·)}\left({ℝ}^n\right)$, when $p(·)\in 𝒫\left({ℝ}^n\right)$, $0<\beta <n/p_{+}$ and $1/q(·)=1/p(·)-\beta /n$ with $q(·)(n-\beta )/n\in ℬ\left({ℝ}^n\right)$.

Let $b_1,b_2\in \mathrm{BMO}\left({ℝ}^n\right)$ and $T_{\sigma }$ be a bilinear Fourier multiplier operator with associated multiplier $\sigma$ satisfying the Sobolev regularity that ${sup}_{\kappa \in \mathbb{Z}}{\parallel {\sigma }_{\kappa }\parallel }_{W^{s_1,s_2}\left({ℝ}^{2n}\right)}<\infty$ for some $s_1,s_2\in (n/2,n]$. In this paper, the behavior on $L^{p_1}\left({ℝ}^n\right)\times L^{p_2}\left({ℝ}^n\right)$ $(p_1,p_2\in (1,\infty ))$, on $H^1\left({ℝ}^n\right)\times L^{p_2}\left({ℝ}^n\right)$ $(p_2\in [2,\infty ))$, and on $H^1\left({ℝ}^n\right)\times H^1\left({ℝ}^n\right)$, is considered for the commutator $T_{\sigma ,\overrightarrow{b}}$ defined by $$\begin{array}{ccc}\hfill T_{\sigma ,\overrightarrow{b}}(f_1,f_2)\left(x\right)=& b_1\left(x\right)T_{\sigma }(f_1,f_2)\left(x\right)-T_{\sigma }(b_1{f}_1,f_2)\left(x\right)\hfill & \hfill +b_2\left(x\right)T_{\sigma }(f_1,f_2)\left(x\right)-T_{\sigma }(f_1,b_2{f}_2)\left(x\right).\end{array}$$ By kernel estimates of the bilinear Fourier multiplier operators and employing some techniques in the theory of bilinear singular integral operators, it is proved that these mapping properties are very similar to those...

We deal with the integral equation $u\left(t\right)=f\left({\int }_{I}g(t,z)u\left(z\right)dz\right)$, with $t\in I=[0,1]$, $f:{𝐑}^n\to {𝐑}^n$ and $g:I\times I\to [0,+\infty [$. We prove an existence theorem for solutions $u\in L^{\infty }(I,{𝐑}^n)$ where the function $f$ is not assumed to be continuous, extending a result previously obtained for the case $n=1$.

A compact set $T\subset {𝐑}^2$ is constructed such that each horizontal or vertical line intersects $T$ in at most one point while the $\alpha$-dimensional measure of $T$ is infinite for every $\alpha \in (0,2)$.