SearcharxivSearch

arXiv subjects

Renjin Jiang

Publications and source records attributed to Renjin Jiang.

At least 19 recordsLinked to original sources

Improved Berezin-Li-Yau inequality and Kröger inequality and consequences

We provide quantitative improvements to the Berezin-Li-Yau inequality and the Kröger inequality, in $\mathbb{R}^n$, $n\ge 2$. The improvement on Kröger's inequality resolves an open question raised by Weidl from 2006. The improvements allow us to show that, for any open bounded domains, there are infinite many Dirichlet eigenvalues satisfying Pólya's conjecture if $n\ge 3$, and infinite many Neumann eigenvalues satisfying Pólya's conjecture if $n\ge 5$ and the Neumann spectrum is discrete.

math.SP

P\'olya's conjecture up to $\epsilon$-loss and quantitative estimates for the remainder of Weyl's law

Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. For any $\epsilon\in (0,1)$ we show that for any Dirichlet eigenvalue $\lambda_k(\Omega)>\Lambda(\epsilon,\Omega)$, it holds \begin{align*} k&\le (1+\epsilon)\frac{|\Omega|\omega(n)}{(2\pi)^n}\lambda_k(\Omega)^{n/2}, \end{align*} where $\Lambda(\epsilon,\Omega)$ is given explicitly. This reduces the $\epsilon$-loss version of P\'olya's conjecture to a computational problem. This estimate is based on quantitative estimates on the remainder of the Weyl law with explicit constants, which we give a new proof without using Neumann eigenvalues. Our arguments in deriving such uniform estimates yield also, in all dimensions $n\ge 2$, classes of domains that may even have rather irregular shapes or boundaries but satisfy P\'olya's conjecture. Another key observation is that on strip-tiling domains (and therefore any triangles for instance) one actually has better eigenvalue estimates than P\'olya conjectured.

math.SP

Heat kernel estimates, fractional Riesz transforms and applications on exterior domains

In this paper, we derive sharp two side heat kernel estimate on exterior $C^{1,1}$ domains in the plane, and sharp upper heat kernel bound on exterior $C^{1,\mathrm{Dini}}$ domains in $\mathbb{R}^n$, $n\ge 2$. Estimates for Green's function and Riesz potentials on exterior domains in the plane are also presented. Based on the heat kernel estimates, we show the boundedness of the fractional Riesz transforms on exterior $C^{1,\mathrm{Dini}}$ domains in $\mathbb{R}^n$, $n\ge 2$. Some further applications to product and chain rules and nonlinear Schrödinger equation are also presented.

math.CA

Some remarks on Riesz transform on exterior Lipschitz domains

Let $n\ge2$ and $\mathcal{L}=-\mathrm{div}(A\nabla\cdot)$ be an elliptic operator on $\mathbb{R}^n$. Given an exterior Lipschitz domain $Ω$, let $\mathcal{L}_D$ be the elliptic operator $\mathcal{L}$ on $Ω$ subject to the Dirichlet boundary condition. Previously it was known that the Riesz operator $\nabla \mathcal{L}_D^{-1/2}$ is not bounded for $p>2$ and $p\ge n$, even if $\mathcal{L}=-Δ$ being the Laplace operator and $Ω$ being a domain outside a ball. Suppose that $A$ are CMO coefficients or VMO coefficients satisfying certain perturbation property, and $\partialΩ$ is $C^1$, we prove that for $p>2$ and $p\in [n,\infty)$, it holds $$ \inf_{ϕ\in\mathcal{K}_p(\mathcal{L}_D^{1/2})}\left\|\nabla (f-ϕ)\right\|_{L^p(Ω)}\sim \inf_{ϕ\in\mathcal{K}_p(\mathcal{L}_D^{1/2})}\left\|\mathcal{L}^{1/2}_D (f-ϕ)\right\|_{L^p(Ω)} $$ for $f\in \dot{W}^{1,p}_0(Ω)$. Here $\mathcal{K}_p(\mathcal{L}_D^{1/2})$ is the kernel of $\mathcal{L}_D^{1/2}$ in $\dot{W}^{1,p}_0(Ω)$, which coincides with $\tilde{\mathcal{A}}^p_0(Ω):=\{f\in \dot{W}^{1,p}_0(Ω):\,\mathcal{L}_Df=0\}$ and is a one dimensional subspace. As an application, we provide a substitution of $L^p$-boundedness of $\sqrt{t}\nabla e^{-t\mathcal{L}_D}$ which is uniform in $t$ for $p\ge n$ and $p>2$.

math.AP

Riesz transform on exterior Lipschitz domains and applications

Let ${\mathscr{L}}=-\text{div}A\nabla$ be a uniformly elliptic operator on $\mathbb{R}^n$, $n\ge 2$. Let $Ω$ be an exterior Lipschitz domain, and let ${\mathscr{L}}_D$ and ${\mathscr{L}}_N$ be the operator ${\mathscr{L}}$ on $Ω$ subject to the Dirichlet and Neumann boundary values, respectively. We establish the boundedness of the Riesz transforms $\nabla{\mathscr{L}}_D^{-1/2}$, $\nabla {\mathscr{L}}_N^{-1/2}$ in $L^p$ spaces. As a byproduct, we show the reverse inequality $\|{\mathscr{L}}_D^{1/2}f\|_{L^p(Ω)}\le C\|\nabla f\|_{L^p(Ω)}$ holds for any $1<p<\infty$. The proof can be generalized to show the boundedness of the Riesz transforms, for operators with VMO coefficients on exterior Lipschitz or $C^1$ domains. The estimates can be also applied to the inhomogeneous Dirichlet and Neumann problems. These results are new even for the Dirichlet and Neumann of the Laplacian operator on the exterior Lipschitz and $C^1$ domains.

math.AP

Riesz transform on manifolds with ends of different volume growth for $1<p<2$

Let $M_1$, $\cdots$, $M_\ell$ be complete, connected and non-collapsed manifolds of the same dimension, where $2\le \ell\in\mathbb{N}$, and suppose that each $M_i$ satisfies a doubling condition and a Gaussian upper bound for the heat kernel. If each manifold $M_i$ has volume growth either bigger than two or equal to two, then we show that the Riesz transform $\nabla Ł^{-1/2}$ is bounded on $L^p(M)$ for each $1<p<2$ on the gluing manifold $M=M_1\#M_2\#\cdots \# M_\ell$.

math.CA

Riesz transform via heat kernel and harmonic functions on non-compact manifolds

Let $M$ be a complete non-compact manifold satisfying the volume doubling condition, with doubling index $N$ and reverse doubling index $n$, $n\le N$, both for large balls. Assume a Gaussian upper bound for the heat kernel, and an $L^2$-Poincaré inequality outside a compact set. If $2 2$ on manifolds having at least two Euclidean ends of dimension $n$. For $p\in (\max\{N,2\},\infty)$, the fact that $(R_p)$, $(G_p)$ and $(RH_p)$ are equivalent essentially follows from [22]; moreover, if $M$ is non-parabolic, then any of these conditions implies that $M$ has only one end. For the proof, we develop a new criteria for boundedness of the Riesz transform, which was nontrivially adapted from [4], and make an essential application of results from [22]. Our result allows extensions to non-smooth settings.

math.DG

On the Dirichlet problem for the Schrödinger equation with boundary value in BMO space

Let $(X,d,μ)$ be a metric measure space satisfying a $Q$-doubling condition, $Q>1$, and an $L^2$-Poincaré inequality. Let $\mathscr{L}=\mathcal{L}+V$ be a Schrödinger operator on $X$, where $\mathcal{L}$ is a non-negative operator generalized by a Dirichlet form, and $V$ is a non-negative Muckenhoupt weight that satisfies a reverse Hölder condition $RH_q$ for some $q\ge (Q+1)/2$. We show that a solution to $(\mathscr{L}-\partial_t^2)u=0$ on $X\times \mathbb{R}_+$ satisfies the Carleson condition, $$\sup_{B(x_B,r_B)}\frac{1}{μ(B(x_B,r_B))} \int_{0}^{r_B} \int_{B(x_B,r_B)} |t\nabla u(x,t)|^2 \frac{\mathrm{d}μ\mathrm{d} t}{t}<\infty,$$ if and only if, $u$ can be represented as the Poisson integral of the Schrödinger operator $\mathscr{L}$ with trace in the BMO space associated with $\mathscr{L}$.

math.CA

Riesz transform under perturbations via heat kernel regularity

Let $M$ be a complete non-compact Riemannian manifold. In this paper, we derive sufficient conditions on metric perturbation for stability of $L^p$-boundedness of the Riesz transform, $p\in (2,\infty)$. We also provide counter-examples regarding in-stability for $L^p$-boundedness of Riesz transform.

math.DG

Flow with $A_\infty(\mathbb R)$ density and transport equation in $\mathrm{BMO}(\mathbb R)$

We show that, if $b\in L^1(0,T;L^1_{\mathrm{loc}}(\mathbb{R}))$ has spatial derivative in the John-Nirenberg space $\mathrm{BMO}(\mathbb{R})$, then it generalizes a unique flow $ϕ(t,\cdot)$ which has an $A_\infty(\mathbb R)$ density for each time $t\in [0,T]$. Our condition on the map $b$ is optimal and we also get a sharp quantitative estimate for the density. As a natural application we establish a well-posedness for the Cauchy problem of the transport equation in $\mathrm{BMO}(\mathbb R)$.

math.CA

Gradient estimates for heat kernels and harmonic functions

Let $(X,d,μ)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carré du champ". Assume that $(X,d,μ,\E)$ supports a scale-invariant $L^2$-Poincaré inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse Hölder inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-Émery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, while for $p=\infty$, (i), (ii), (iv) are equivalent. Moreover, some of these equivalences still hold under weaker conditions than the $L^2$-Poincaré inequality. Our result gives a characterisation of Li-Yau's gradient estimate of heat kernels for $p=\infty$, while for $p\in (2,\infty)$ it is a substantial improvement as well as a generalisation of earlier results by Auscher-Coulhon-Duong-Hofmann [7] and Auscher-Coulhon [6]. Applications to isoperimetric inequalities and Sobolev inequalities are given. Our results apply to Riemannian and sub-Riemannian manifolds as well as to non-smooth spaces, and to degenerate elliptic/parabolic equations in these settings.

math.MG

Korn's inequality and John domains

It is quite well known that Korn's inequality is true on all John domains. We are interested in the converse implication under assumption of so called separation condition of the domain. Our result implies that in a simply connected planar domain the Korn's inequality holds if and only if the domain is John. In particular, we obtain the equivalence of Korn's inequality, Babu\v ska-Aziz inequality and Friedrich's inequality in simply connected planar domains.

math.CA

Flows for non-smooth vector fields with subexponentially integrable divergence

In this paper, we study flows associated to Sobolev vector fields with subexponentially integrable divergence. Our approach is based on the transport equation following DiPerna-Lions [DPL89]. A key ingredient is to use a quantitative estimate of solutions to the Cauchy problem of transport equation to obtain the regularity of density functions.

math.CA

Heat Kernel Bounds on Metric Measure Spaces and Some Applications

Let $(X,d,μ)$ be a $RCD^\ast(K, N)$ space with $K\in \mathbb{R}$ and $N\in [1,\infty]$. For $N\in [1,\infty)$, we derive the upper and lower bounds of the heat kernel on $(X,d,μ)$ by applying the parabolic Harnack inequality and the comparison principle, and then sharp bounds for its gradient, which are also sharp in time. When $N=\infty$, we also establish a sharp upper bound of the heat kernel by using the dimension free Harnack inequality. For applications, we study the large time behavior of the heat kernel, the stability of solutions to the heat equation, and show the $L^p$ boundedness of (local) Riesz transforms.

math.MG

Linear transport equations for vector fields with subexponentially integrable divergence

We face the well-posedness of linear transport Cauchy problems $$\begin{cases}\dfrac{\partial u}{\partial t} + b\cdot\nabla u + c\,u = f&(0,T)\times{\mathbb R}^n\\u(0,\cdot)=u_0\in L^\infty&{\mathbb R}^n\end{cases}$$ under borderline integrability assumptions on the divergence of the velocity field $b$. For $W^{1,1}_{loc}$ vector fields $b$ satisfying $\frac{|b(x,t)|}{1+|x|}\in L^1(0,T; L^1)+L^1(0,T; L^\infty)$ and $$\operatorname{div} b\in L^1(0,T;L^\infty) + L^1\left(0,T; \operatorname{Exp}\left(\frac{L}{\log L}\right)\right),$$ we prove existence and uniqueness of weak solutions. Moreover, optimality is shown in the following way: for every $γ>1$, we construct an example of a bounded autonomous velocity field $b$ with $$\operatorname{div} b\in \operatorname{Exp}\left(\frac{L}{\log^γL}\right) ,$$ for which the associate Cauchy problem for the transport equation admits infinitely many solutions. Stability questions and further extensions to the $BV$ setting are also addressed.

math.AP

Hajlasz Gradients Are Upper Gradients

Let $(X, d, μ)$ be a metric measure space, with $μ$ a Borel regular measure. In this paper, we prove that, if $u\in L^1_{\mathop\mathrm{\,loc\,}}(X)$ and $g$ is a Hajłasz gradient of $u$, then there exists $\widetilde u$ such that $\widetilde u=u$ almost everywhere and $4g$ is a $p$-weak upper gradient of $\widetilde u$. This result avoids a priori assumption on the quasi-continuity of $u$ used in [Rev. Mat. Iberoamericana 16 (2000), 243-279]. As an application, an embedding of the Morrey-type function spaces based on Hajłasz-gradients into the corresponding function spaces based on upper gradients is obtained. We also introduce the notion of local Hajłasz gradient, and investigate the relations between local Hajłasz gradient and upper gradient.

math.FA