A long standing conjecture for the linear Schroedinger equation states that 1/4 of derivative in $L^2$, in the sense of Sobolev spaces, suffices in any dimension for the solution to that equation to converge almost everywhere to the initial datum as the time goes to 0. This is only known to be true in dimension 1 by work of Carleson. In this paper we show that the conjecture is true on spherical averages. To be more precise, we prove the $L^2$ boundedness of the associated maximal square function on the Sobolev class $H^{1/4}(R^n)$ in any dimension n.
The restricted maximal operators of partial sums with respect to bounded Vilenkin systems are investigated. We derive the maximal subspace of positive numbers, for which this operator is bounded from the Hardy space $%H_{p}$ to the Lebesgue space $L_{p}$ for all $0<p\leq 1.$ We also prove that the result is sharp in a particular sense.
In this paper, for general plane curves $γ$ satisfying some suitable smoothness and curvature conditions, we obtain the single annulus $L^p(\mathbb{R}^2)$-boundedness of the Hilbert transforms $H^\infty_{U,γ}$ along the variable plane curves $(t,U(x_1, x_2)γ(t))$ and the $L^p(\mathbb{R}^2)$-boundedness of the corresponding maximal functions $M^\infty_{U,γ}$, where $p>2$ and $U$ is a measurable function. The range on $p$ is sharp. Furthermore, for $1<p\leq 2$, under the additional conditions that $U$ is Lipschitz and making a $\varepsilon_0$-truncation with $γ(2 \varepsilon_0)\leq 1/4\|U\|_{\te…
We obtain a necessary and sufficient condition on an exponent $p(\cdot)$ for which the Hardy--Littlewood maximal operator is bounded on the variable $L^{p(\cdot)}$ space. It is formulated in terms of the Muckenhoupt-type condition $A_{p(\cdot)}$, responsible for a local control of $p(\cdot)$, and a certain integral condition on $p(\cdot)$, responsible for the behaviour of $p(\cdot)$ at infinity. Our approach is based on an earlier characterization established by L. Diening and on non-increasing rearrangements.
We introduce the notion of \textit{Perron capacity} of a set of slopes $Ω\subset \mathbb{R}$. Precisely, we prove that if the Perron capacity of $Ω$ is finite then the directional maximal operator associated $M_Ω$ is not bounded on $L^p(\mathbb{R}^2)$ for any $1 < p < \infty$. This allows us to prove that the set $$Ω_{ \boldsymbol{e}} =\left\{ \frac{\cos n}{n}: n\in \mathbb{N}^* \right\}$$ is not finitely lacunary which answers a question raised by A. Stokolos.
We provide a new direct proof of the $\ell^2$-boundedness of the Discrete Spherical Maximal Function that neither relies on abstract transference theorems (and hence Stein's Spherical Maximal Function Theorem) nor on delicate asymptotics for the Fourier transform of discrete spheres.
Let $\mathcal{N}\mathcal{F}$ be the class of smooth non-flat curves near the origin and near infinity previously introduced by the second author and let $γ\in\mathcal{N}\mathcal{F}$. We show - via a unifying approach relative to the correspondent bilinear Hilbert transform $H_Γ$ - that the (sub)bilinear maximal function along curves $Γ=(t,-γ(t))$ defined as $$M_Γ(f,g)(x):=\sup\limits_{ε>0} \frac{1}{2ε} \int_{-ε}^ε |f(x-t)\,g(x+γ(t))|\,dt$$ is bounded from $L^p(\mathbb{R})\times L^{q}(\mathbb{R})\to L^r(\mathbb{R})$ for all $p, q$ and $r$ Hölder indices, that is $\frac{1}{p}+\frac{1}{q}=\frac{1…
We study $L^{p}\times L^{q}\rightarrow L^{r}$-boundedness of (sub)bilinear maximal functions associated with degenerate hypersurfaces. First, we obtain the maximal bound on the sharp range of exponents $p,q,r$ (except some border line cases) for the bilinear maximal functions given by the model surface $\big\{(y,z)\in\mathbb{R}^{n}\times \mathbb{R}^{n}:|y|^{l_{1}}+|z|^{l_{2}}=1\big\}$, $(l_{1},l_{2})\in [1,\infty)^2$, $n\ge 2$. Our result manifests that nonvanishing Gaussian curvature is not good enough, in contrast with $L^p$-boundedness of the (sub)linear maximal operator associated to hyper…
We improve the range of $\ell^p(\mathbb Z^d)$-boundedness of the integral $k$-spherical maximal functions introduced by Magyar. The previously best known bounds for the full $k$-spherical maximal function require the dimension $d$ to grow at least cubicly with the degree $k$. Combining ideas from our prior work with recent advances in the theory of Weyl sums by Bourgain, Demeter, and Guth and by Wooley, we reduce this cubic bound to a quadratic one. As an application, we deduce improved bounds in the ergodic Waring--Goldbach problem.
Bilinear spherical maximal function with fractal dilations
National Center for Theoretical Sciences National Taiwan University（台湾大学国家理论科学中心）；Department of Mathematics National Taiwan University（台湾大学数学系）；Department of Mathematics Indian Institute of Science Education and Research Bhopal（印度博帕尔科学教育研究 institute 数学系）
We prove the $L^p$ boundedness of a maximal operator associated with a dyadic frequency decomposition of a Fourier multiplier, under a weak regularity assumption.
We study mapping properties of the centered Hardy--Littlewood maximal operator $\mathcal{M}$ acting on Lorentz spaces. Given $p \in (1,\infty)$ and a metric measure space $\mathfrak{X}$ we let $Ω^p_{\rm HL}(\mathfrak{X}) \subset [0,1]^2$ be the set of all pairs $(\frac{1}{q},\frac{1}{r})$ such that $\mathcal{M}$ is bounded from $L^{p,q}(\mathfrak{X})$ to $L^{p,r}(\mathfrak{X})$. For each fixed $p$ all possible shapes of $Ω^p_{\rm HL}(\mathfrak{X})$ are characterized. Namely, we show that the boundary of $Ω^p_{\rm HL}(\mathfrak{X})$ either is empty or takes the form $$\{ δ\} \times [0, \lim_{u …
$L^p$ boundedness of the circular maximal function $\mathcal M_{\mathbb{H}^1}$ on the Heisenberg group $\mathbb{H}^1$ has received considerable attentions. While the problem still remains open, $L^p$ boundedness of $\mathcal M_{\mathbb{H}^1}$ on Heisenberg radial functions was recently shown for $p>2$ by Beltran, Guo, Hickman, and Seeger [2]. In this paper we extend their result considering the local maximal operator $M_{\mathbb{H}^1}$ which is defined by taking supremum over $1<t<2$. We prove $L^p-L^q$ estimates for $M_{\mathbb{H}^1}$ on Heisenberg radial functions on the optimal range of $p,…
In this paper we analyze the convergence of the following type of series $$ T_N^αf(x,t)=\sum_{j=N_1}^{N_2} v_j(P_{a_{j+1}}^αf(x,t)-P_{a_j}^αf(x,t)),\quad (x,t)\in \mathbb R^{n+1}, \ N=(N_1, N_2)\in \mathbb Z^2,\ α>0, $$ where $\{P_τ^α\}_{τ>0}$ is the fractional Poisson-type operators generated by the parabolic operator $L=\partial_t-Δ$ with $Δ$ being the classical Laplacian, $\{v_j\}_{j\in \mathbb Z}$ a bounded real sequences and $\{a_j\}_{j\in \mathbb Z}$ an increasing real sequence. Our analysis will consist {of} the boundedness, in $L^p(\mathbb{R}^n)$ and in $BMO(\mathbb{R}^n)$, of the oper…
Sharp estimates for the Fourier transform of surface-carried measures and maximal operators associated with hypersurfaces in $\mathbb{R}^4$ with vanishing Gaussian curvature
V. I. Romanovsky Institute of Mathematics, Uzbekistan Academy of Sciences（乌兹别克斯坦科学院 V.I. 罗曼诺夫斯基数学研究所）；Institut für Analysis und Numerik, Fachbereich Mathematik und Informatik der Universität Münster（明斯特大学数学与信息学院分析与数值研究所）
Let $\mathcal{L}=-Δ+V$ be a Schrödinger operator, where the nonnegative potential $V$ belongs to the reverse Hölder class $B_{q}$. By the aid of the subordinative formula, we estimate the regularities of the fractional heat semigroup, $\{e^{-t\mathcal{L}^α}\}_{t>0},$ associated with $\mathcal{L}$. As an application, we obtain the $BMO^γ_{\mathcal{L}}$-boundedness of the maximal function, and the Littlewood-Paley $g$-functions associated with $\mathcal{L}$ via $T1$ theorem, respectively.
We explore some variants of the Boman covering lemma, and their relationship to the boundedness properties of the maximal operator. Let $1 < p < \infty$ and let $q$ be its conjugate exponent. We prove that the strong type $(q,q)$ of the uncentered maximal operator, by itself, implies certain generalizations of the Boman covering lemma for the exponent $p$, and in turn, these generalizations entail the weak type $(q,q)$ of the centered maximal operator. We show by example that it is possible for the uncentered maximal operator to be unbounded for all $1 < s < \infty$, while the conclusion of th…
In this paper we analyze the convergence of the following type of series \begin{equation*} T_N f(x)=\sum_{j=N_1}^{N_2} v_j\Big(e^{-a_{j+1}(-Δ)^α} f(x)-e^{-a_{j}(-Δ)^α} f(x)\Big),\quad x\in \mathbb R^n, \end{equation*} where $\{e^{-t(-Δ)^α} \}_{t>0}$ is the heat semigroup of the fractional Laplacian $(-Δ)^α,$ $N=(N_1, N_2)\in \mathbb Z^2$ with $N_1<N_2,$ $\{v_j\}_{j\in \mathbb Z}$ is a bounded real sequences and $\{a_j\}_{j\in \mathbb Z}$ is an increasing real sequence. Our analysis will consist in the boundedness, in $L^p(\mathbb{R}^n)$ and in $BMO(\mathbb{R}^n)$, of the operators $T_N$ and it…
In this article we introduce the fractional Hardy-Littlewood maximal function on the infinite rooted $k$-ary tree and study its weighted boundedness. We also provide examples of weights for which the fractional Hardy-Littlewood maximal function satisfies strong type $(p, q)$ estimates on the infinite rooted $k$-ary tree.
Hardy-Littlewood maximal, generalized Bessel-Riesz and generalized fractional integral operators in generalized Morrey and $BMO_ϕ$ spaces associated with Dunkl operator on the real line
We establish continuity mapping properties of the non-centered fractional maximal operator $M_β$ in the endpoint input space $W^{1,1}(\mathbb{R}^d)$ for $d \geq 2$ in the cases for which its boundedness is known. More precisely, we prove that for $q=d/(d-β)$ the map $f \mapsto |\nabla M_βf|$ is continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^{q}(\mathbb{R}^d)$ for $ 0 < β< 1$ if $f$ is radial and for $1 \leq β< d$ for general $f$. The results for $1\leq β< d$ extend to the centered counterpart $M_β^c$. Moreover, if $d=1$, we show that the conjectured boundedness of that map for $M_β^c$ implies i…
