arXiv subjects

Xuan Thinh Duong

Publications and source records attributed to Xuan Thinh Duong.

At least 37 records · Page 2Linked to original sources

arXiv2020

A sharp regularity estimate for the Schrödinger propagator on the sphere

Let $Δ_{\mathbb S^n}$ denote the Laplace-Beltrami operator on the $n$-dimensional unit sphere $\mathbb S^n$. In this paper we show that $$ \| e^{it Δ_{\mathbb S^n}}f \|_{L^4([0, 2π) \times \mathbb S^n)} \leq C \| f\|_{W^{α, 4} (\mathbb S^n)} $$ holds provided that $n\geq 2$, $α> {(n-2)/4}.$ The range of $α$ is sharp up to the endpoint. As a consequence, we obtain space-time estimates for the Schrödinger propagator $e^{it Δ_{\mathbb S^n}}$ on the $L^p$ spaces for $2\leq p\leq \infty.$ We also prove that for zonal functions on ${\mathbb S}^n$, the Schrödinger maximal operator $\sup_{0\leq t<2π} |e^{itΔ_{\mathbb S^n}} f|$ is bounded from $W^{α, 2}(\mathbb S^n) $ to $L^{\frac{6n}{3n-2}}(\mathbb S^n)$ whenever $α>{1/3}$.

math.AP↗

arXiv2020

Almost everywhere convergence of Bochner-Riesz means for the Hermite operators

Let $H = -Δ+ |x|^2$ be the Hermite operator in ${\mathbb R}^n$. In this paper we study almost everywhere convergence of the Bochner-Riesz means associated with $H$ which is defined by $S_R^λ(H)f(x) = \sum\limits_{k=0}^{\infty} \big(1-{2k+n\over R^2}\big)_+^λ P_k f(x).$ Here $P_k f$ is the $k$-th Hermite spectral projection operator. For $2\le p<\infty$, we prove that $$ \lim\limits_{R\to \infty} S_R^λ(H) f=f \ \ \ \text{a.e.} $$ for all $f\in L^p(\mathbb R^n)$ provided that $λ> λ(p)/2$ and $λ(p)=\max\big\{ n\big({1/2}-{1/p}\big)-{1/ 2}, \, 0\big\}.$ Conversely, we also show the convergence generally fails if $λ< λ(p)/2$ in the sense that there is an $f\in L^p(\mathbb R^n)$ for $2n/(n-1)\le p$ such that the convergence fails. This is in surprising contrast with a.e. convergence of the classical Bochner-Riesz means for the Laplacian. For $n\geq 2$ and $p\ge 2$ our result tells that the critical summability index for a.e. convergence for $S_R^λ(H)$ is as small as only the \emph{half} of the critical index for a.e. convergence of the classical Bochner-Riesz means. When $n = 1$, we show a.e. convergence holds for $f\in L^p({\mathbb R})$ with $ p\geq 2$ whenever $λ>0$. Compared with the classical result due to Askey and Wainger who showed the optimal $L^p$ convergence for $S_R^λ(H)$ on ${\mathbb R}$ we only need smaller summability index for a.e. convergence.

math.CA↗

arXiv2020

A two weight inequality for Calderón-Zygmund operators on spaces of homogeneous type with applications

Let $(X,d,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, i.e. $d$ is a quasi metric on $X$ and $μ$ is a positive measure satisfying the doubling condition. Suppose that $u$ and $v$ are two locally finite positive Borel measures on $(X,d,μ)$. Subject to the pair of weights satisfying a side condition, we characterize the boundedness of a Calderón--Zygmund operator $T$ from $L^{2}(u)$ to $L^{2}(v)$ in terms of the $A_{2}$ condition and two testing conditions. For every cube $B\subset X$, we have the following testing conditions, with $\mathbf{1}_{B}$ taken as the indicator of $B$ \begin{equation*} \Vert T(u\mathbf{1}_{B})\Vert _{L^{2}(B, v)}\leq \mathcal{T}\Vert 1_{B}\Vert _{L^{2}(u)}, \end{equation*} \begin{equation*} \Vert T^{\ast }(v\mathbf{1}_{B})\Vert _{L^{2}(B, u)}\leq \mathcal{T}\Vert 1_{B}\Vert _{L^{2}(v)}. \end{equation*} The proof uses stopping cubes and corona decompositions originating in work of Nazarov, Treil and Volberg, along with the pivotal side condition.

math.CA↗

arXiv2020

Sharp endpoint $L^p$ estimates for Schrödinger groups

Let $L$ be a non-negative self-adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type with a dimension $n$. Suppose that the heat operator $e^{-tL}$ satisfies the generalized Gaussian $(p_0, p'_0)$-estimates of order $m$ for some $1\leq p_0 < 2$. In this paper we prove {\it sharp} endpoint $L^p$-Sobolev bound for the Schrödinger group $e^{itL}$, that is for every $p\in (p_0, p'_0)$ there exists a constant $C=C(n,p)>0$ independent of $t$ such that \begin{eqnarray*} \left\| (I+L)^{-{s}}e^{itL} f\right\|_{p} \leq C(1+|t|)^{s}\|f\|_{p}, \ \ \ t\in{\mathbb R}, \ \ \ s\geq n\big|{1\over 2}-{1\over p}\big|. \end{eqnarray*} As a consequence, the above estimate holds for all $1<p<\infty$ when the heat kernel of $L$ satisfies a Gaussian upper bound. This extends classical results due to Feffermann and Stein, and Miyachi for the Laplacian on the Euclidean spaces ${\mathbb R}^n$. We also give an application to obtain an endpoint estimate for $L^p$-boundedness of the Riesz means of the solutions of the Schrödinger equations.

math.CA↗

arXiv2019

Commutators of Cauchy--Szegő type integrals for domains in $\mathbb C^n$ with minimal smoothness

In this paper we study the commutator of Cauchy type integrals $\EuScript C$ on a bounded strongly pseudoconvex domain $D$ in $\mathbb C^n$ with boundary $bD$ satisfying the minimum regularity condition $C^{2}$ as in the recent result of Lanzani--Stein. We point out that in this setting the Cauchy type integrals $\EuScript C$ is the sum of the essential part $\EuScript C^\sharp$ which is a Calderón--Zygmund operator and a remainder $\EuScript R$ which is no longer a Calderón--Zygmund operator. We show that the commutator $[b, \EuScript C]$ is bounded on $L^p(bD)$ ($1<p<\infty$) if {\color{black}and only if}\ $b$ is in the BMO space on $bD$. Moreover, the commutator $[b, \EuScript C]$ is compact on $L^p(bD)$ ($1<p<\infty$) if {\color{black}and only if}\ $b$ is in the VMO space on $bD$. Our method can also be applied to the commutator of Cauchy--Leray integral in a bounded, strongly $\mathbb C$-linearly convex domain $D$ in $\mathbb C^n$ with the boundary $bD$ satisfying the minimum regularity $C^{1,1}$. Such a Cauchy--Leray integral is a Calderón--Zygmund operator as proved in the recent result of Lanzani--Stein. We also point out that our method provides another proof of the boundedness and compactness of commutator of Cauchy--Szeg\H o operator on a bounded strongly pseudoconvex domain $D$ in $\mathbb C^n$ with smooth boundary (first established by Krantz--Li).

math.CV↗

arXiv2019

An explicit formula of Cauchy--Szegö kernel for quaternionic Siegel upper half space and applications

In this paper we obtain an explicit formula of Cauchy--Szegö kernel for quaternionic Siegel upper half space, and then based on this, we prove that the Cauchy--Szegö projection on quaternionic Heisenberg group is a Calderón--Zygmund operator via verifying the size and regularity conditions for the kernel. Next, we also obtain a suitable version of pointwise lower bound for the kernel, which further implies the characterisations of the boundedness and compactness of commutator of the Cauchy--Szegö operator via the BMO and VMO spaces on quaternionic Heisenberg group, respectively.

math.CV↗

arXiv2019

BMO spaces associated to operators with generalised Poisson bounds on non-doubling manifolds with ends

Consider a non-doubling manifold with ends $M = \mathfrak{R}^{n}\sharp\, {\mathbb R}^{m}$ where $\mathfrak{R}^n=\mathbb{R}^n\times \mathbb{S}^{m-n}$ for $m> n \ge 3$. We say that an operator $L$ has a generalised Poisson kernel if $\sqrt{ L}$ generates a semigroup $e^{-t\sqrt{L}}$ whose kernel $p_t(x,y)$ has an upper bound similar to the kernel of $e^{-t\sqrtΔ}$ where $Δ$ is the Laplace-Beltrami operator on $M$. An example for operators with generalised Gaussian bounds is the Schrödinger operator $L = Δ+ V$ where $V$ is an arbitrary non-negative locally integrable potential. In this paper, our aim is to introduce the BMO space ${\rm BMO}_L(M)$ associated to operators with generalised Poisson bounds which serves as an appropriate setting for certain singular integrals with rough kernels to be bounded from $L^{\infty}(M)$ into this new ${\rm BMO}_L(M)$. On our ${\rm BMO}_L(M)$ spaces, we show that the John--Nirenberg inequality holds and we show an interpolation theorem for a holomorphic family of operators which interpolates between $L^q(M)$ and ${\rm BMO}_L(M)$. As an application, we show that the holomorphic functional calculus $m(\sqrt{L})$ is bounded from $L^{\infty}(M)$ into ${\rm BMO}_L(M)$, and bounded on $L^p(M)$ for $1 < p < \infty$.

math.AP↗

arXiv2019

Weak type $(1,1)$ bounds for Schrödinger groups

Let $L$ be a non-negative self-adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type with a dimension $n$. Suppose that the heat kernel of $L$ satisfies a Gaussian upper bound. It is known that the operator $(I+L)^{-s } e^{itL}$ is bounded on $L^p(X)$ for $s> n|{1/ 2}-{1/p}| $ and $ p\in (1, \infty)$ (see for example, \cite{CCO, H, Sj}). The index $s= n|{1/ 2}-{1/p}|$ was only obtained recently in \cite{CDLY, CDLY2}, and this range of $s$ is sharp since it is precisely the range known in the case when $L$ is the Laplace operator $Δ$ on $X=\mathbb R^n$ (\cite{Mi1}). In this paper we establish that for $p=1,$ the operator $(1+L)^{-n/2}e^{itL}$ is of weak type $(1, 1)$, that is, there is a constant $C$, independent of $t$ and $f$ so that \begin{eqnarray*} μ\Big(\Big\{x: \big|(I+L)^{-n/2 }e^{itL} f(x)\big|>λ\Big\}\Big) \leq Cλ^{-1}(1+|t|)^{n/2} {\|f\|_{L^1(X)} }, \ \ \ t\in{\mathbb R} \end{eqnarray*} (for $λ> 0$ when $μ(X) = \infty$ and $λ>μ(X)^{-1}\|f\|_{L^1(X)}$ when $μ(X) < \infty$). Moreover, we also show the index $n/2$ is sharp when $L$ is the Laplacian on ${\mathbb R^n}$ by providing an example. Our results are applicable to Schrödinger group for large classes of operators including elliptic operators on compact manifolds, Schrödinger operators with non-negative potentials and Laplace operators acting on Lie groups of polynomial growth or irregular non-doubling domains of Euclidean spaces.

math.AP↗

arXiv2019

Frame decomposition and radial maximal semigroup characterization of Hardy spaces associated to operators

Let $L$ be the generator of an analytic semigroup whose kernels satisfy Gaussian upper bounds and Hölder's continuity. Also assume that $L$ has a bounded holomorphic functional calculus on $L^2(\mathbb{R}^n)$. In this paper, we construct a frame decomposition for the functions belonging to the Hardy space $H_{L}^{1}(\mathbb{R}^n)$ associated to $L$, and for functions in the Lebesgue spaces $L^p$, $1<p<\infty$. We then show that the corresponding $H_{L}^{1}(\mathbb{R}^n)$-norm (resp. $L^p(\mathbb{R}^n)$-norm) of a function $f$ in terms of the frame coefficients is equivalent to the $H_{L}^{1}(\mathbb{R}^n)$-norm (resp. $L^p(\mathbb{R}^n)$-norm) of $f$. As an application of the frame decomposition, we establish the radial maximal semigroup characterization of the Hardy space $H_{L}^{1}(\mathbb{R}^n)$ under the extra condition of Gaussian upper bounds on the gradient of the heat kernels of $L$.

math.AP↗

arXiv2019

Variation of Calderón--Zygmund Operators with Matrix Weight

Let $p\in(1,\infty)$, $ρ\in (2, \infty)$ and $W$ be a matrix $A_p$ weight. In this article, we introduce a version of variation $\mathcal{V}_ρ({\mathcal T_n}_{\,,\,\ast})$ for matrix Calderón--Zygmund operators with modulus of continuity satisfying the Dini condition. We then obtain the $L^p(W)$-boundedness of $\mathcal{V}_ρ({\mathcal T_n}_{\,,\,\ast})$ with norm \begin{align*} \|\mathcal{V}_ρ({\mathcal T_n}_{\,,\,\ast})\|_{L^p(W)\to L^p(W)}\leq C[W]_{A_p}^{1+{1\over p-1} -{1\over p}} \end{align*} by first proving a sparse domination of the variation of the scalar Calderón--Zygmund operator, and then providing a convex body sparse domination of the variation of the matrix Calderón--Zygmund operator. The key step here is a weak type estimate of a local grand maximal truncated operator with respect to the scalar Calderón--Zygmund operator.

math.CA↗

arXiv2018

Functional calculus of operators with heat kernel bounds on non-doubling manifolds with ends

Let $Δ$ be the Laplace--Beltrami operator acting on a non-doubling manifold with two ends $\mathbb R^m \sharp \mathcal R^n$ with $m > n \ge 3$. Let $\frak{h}_t(x,y)$ be the kernels of the semigroup $e^{-tΔ}$ generated by $Δ$. We say that a non-negative self-adjoint operator $L$ on $L^2(\mathbb R^m \sharp \mathcal R^n)$ has a heat kernel with upper bound of Gaussian type if the kernel $h_t(x,y)$ of the semigroup $e^{-tL}$ satisfies $ h_t(x,y) \le C \frak{h}_{αt}(x,y)$ for some constants $C$ and $α$. This class of operators includes the Schrödinger operator $L = Δ+ V$ where $V$ is an arbitrary non-negative potential. We then obtain upper bounds of the Poisson semigroup kernel of $L$ together with its time derivatives and use them to show the weak type $(1,1)$ estimate for the holomorphic functional calculus $\frak{M}(\sqrt{L})$ where $\frak{M}(z)$ is a function of Laplace transform type. Our result covers the purely imaginary powers $L^{is}, s \in \mathbb R$, as a special case and serves as a model case for weak type $(1,1)$ estimates of singular integrals with non-smooth kernels on non-doubling spaces.

math.AP↗

arXiv2018

Spectral multipliers of self-adjoint operators on Besov and Triebel--Lizorkin spaces associated to operators

Let $X$ be a space of homogeneous type and let $L$ be a nonnegative self-adjoint operator on $L^2(X)$ which satisfies a Gaussian estimate on its heat kernel. In this paper we prove a Hömander type spectral multiplier theorem for $L$ on the Besov and Triebel--Lizorkin spaces associated to $L$. Our work not only recovers the boundedness of the spectral multipliers on $L^p$ spaces and Hardy spaces associated to $L$, but also is the first one which proves the boundedness of a general spectral theorem on Besov and Triebel--Lizorkin spaces.

math.FA↗

arXiv2018

Two weight commutators on spaces of homogeneous type and applications

In this paper, we establish the two weight commutator of Calderón--Zygmund operators in the sense of Coifman--Weiss on spaces of homogeneous type, by studying the weighted Hardy and BMO space for $A_2$ weight and by proving the sparse operator domination of commutators. The main tool here is the Haar basis and the adjacent dyadic systems on spaces of homogeneous type, and the construction of a suitable version of a sparse operator on spaces of homogeneous type. As applications, we provide a two weight commutator theorem (including the high order commutator) for the following Calderón--Zygmund operators: Cauchy integral operator on $\mathbb R$, Cauchy--Szegö projection operator on Heisenberg groups, Szegö projection operators on a family of unbounded weakly pseudoconvex domains, Riesz transform associated with the sub-Laplacian on stratified Lie groups, as well as the Bessel Riesz transforms (one-dimension and high dimension).

math.CA↗

arXiv2018

Commutators of multi-parameter flag singular integrals and applications

We introduce the iterated commutator for the Riesz transforms in the multi-parameter flag setting, and prove the upper bound of this commutator with respect to the symbol $b$ in the flag BMO space. Our methods require the techniques of semigroups, harmonic functions and multi-parameter flag Littlewood-Paley analysis. We also introduce the big commutator in this multi-parameter flag setting and prove the upper bound with symbol $b$ in the flag little-bmo space by establishing the "exponential-logarithmic" bridge between this flag little bmo space and the Muckenhoupt $A_p$ weights with flag structure. As an application, we establish the div-curl lemmas with respect to the appropriate Hardy spaces in the multi-parameter flag setting.

math.CA↗

arXiv2018

Weighted Besov and Triebel--Lizorkin spaces associated to operators

Let $X$ be a space of homogeneous type and $L$ be a nonnegative self-adjoint operator on $L^2(X)$ satisfying Gaussian upper bounds on its heat kernels. In this paper we develop the theory of weighted Besov spaces $\dot{B}^{α,L}_{p,q,w}(X)$ and weighted Triebel--Lizorkin spaces $\dot{F}^{α,L}_{p,q,w}(X)$ associated to the operator $L$ for the full range $0<p,q\le \infty$, $α\in \mathbb R$ and $w$ being in the Muckenhoupt weight class $A_\infty$. Similarly to the classical case in the Euclidean setting, we prove that our new spaces satisfy important features such as continuous charaterizations in terms of square functions, atomic decompositions and the identifications with some well known function spaces such as Hardy type spaces and Sobolev type spaces. Moreover, with extra assumptions on the operator $L$, we prove that the new function spaces associated to $L$ coincide with the classical function spaces. Finally we apply our results to prove the boundedness of the fractional power of $L$ and the spectral multiplier of $L$ in our new function spaces.

math.FA↗

arXiv2018

Regularity estimates for Green operators of Dirichlet and Neumann problems on weighted Hardy spaces

In this paper we first study the generalized weighted Hardy spaces $H^p_{L,w}(X)$ for $0<p\le 1$ associated to nonnegative self-adjoint operators $L$ satisfying Gaussian upper bounds on the space of homogeneous type $X$ in both cases of finite and infinite measure. We show that the weighted Hardy spaces defined via maximal functions and atomic decompositions coincide. Then we prove weighted regularity estimates for the Green operators of the inhomogeneous Dirichlet and Neumann problems in suitable bounded or unbounded domains including bounded semiconvex domains, convex regions above a Lipschitz graph and upper half-spaces. Our estimates are in terms of weighted $L^p$ spaces for the range $1<p<\infty$ and in terms of the new weighted Hardy spaces for the range $0<p\le 1$. Our regularity estimates for the Green operators under the weak smoothness assumptions on the boundaries of the domains are new, especially the estimates on Hardy spaces for the full range $0<p\le 1$ and the case of unbounded domains.

math.AP↗

arXiv2018

Compactness of Riesz transform commutator on stratified Lie groups

Let $\mathcal G$ be a stratified Lie group and $\{\X_j\}_{1 \leq j \leq n}$ a basis for the left-invariant vector fields of degree one on $\mathcal G$. Let $Δ= \sum_{j = 1}^n \X_j^2 $ be the sub-Laplacian on $\mathcal G$. The $j^{\mathrm{th}}$ Riesz transform on $\mathcal G$ is defined by $R_j:= \X_j (-Δ)^{-\frac{1}{2}}$, $1 \leq j \leq n$. In this paper, we provide a concrete construction of the "twisted truncated sector" which is related to the pointwise lower bound of the kernel of $R_j$ on $\mathcal G$. Then we obtain the characterisation of compactness of the commutators of $R_j$ with a function $b\in$ VMO$(\mathcal G)$, the space of functions with vanishing mean oscillation on $\mathcal G$.

math.CA↗

arXiv2018

Maximal function characterizations for Hardy spaces on spaces of homogeneous type with finite measure and applications

We prove nontangential and radial maximal function characterizations for Hardy spaces associated to a non-negative self-adjoint operator satisfying Gaussian estimates on a space of homogeneous type with finite measure. This not only addresses an open point in the literature, but also gives a complete answer to the question posed by Coifman and Weiss in the case of finite measure. We then apply our results to give maximal function characterizations for Hardy spaces associated to second order elliptic operators with Neumann and Dirichlet boundary conditions, Schrödinger operators with Dirichlet boundary conditions, and Fourier--Bessel operators.

math.CA↗