No Arabic abstract
The aim of this note is twofold. The first one is to find conditions on the asymptotic sequence which ensures differentiation of a general asymptotic expansion with respect to it. Our method results from the classical one but generalizes it. As an application, our second aim is to give sharp asymptotic estimates at infinity of the heat kernel on H-type groups by the method of differentiation provided we have the result of the isotropic Heisenberg groups.
We establish precise upper and lower bounds for the subelliptic heat kernel on nilpotent Lie groups $G$ of H-type. Specifically, we show that there exist positive constants $C_1$, $C_2$ and a polynomial correction function $Q_t$ on $G$ such that $$C_1 Q_t e^{-frac{d^2}{4t}} le p_t le C_2 Q_t e^{-frac{d^2}{4t}}$$ where $p_t$ is the heat kernel, and $d$ the Carnot-Caratheodory distance on $G$. We also obtain similar bounds on the norm of its subelliptic gradient $| abla p_t|$. Along the way, we record explicit formulas for the distance function $d$ and the subriemannian geodesics of H-type groups.
The spectrum of the fermionic operators depending on external fields is an important object in Quantum Field Theory. In this paper we prove, using transition to the alternative basis for the $gamma$-matrices, that this spectrum does not depend on the sign of the fermion mass, up to a constant factor. This assumption has been extensively used, but usually without proof. As an illustration, we calculated the coincidence limit of the coefficient $a_2(x,x^prime)$ on the general metric background, vector and axial vector fields.
We propose an accurate algorithm for a novel sum-of-exponentials (SOE) approximation of kernel functions, and develop a fast algorithm for convolution quadrature based on the SOE, which allows an order $N$ calculation for $N$ time steps of approximating a continuous temporal convolution integral. The SOE method is constructed by a combination of the de la Vallee-Poussin sums for a semi-analytical exponential expansion of a general kernel, and a model reduction technique for the minimization of the number of exponentials under given error tolerance. We employ the SOE expansion for the finite part of the splitting convolution kernel such that the convolution integral can be solved as a system of ordinary differential equations due to the exponential kernels. The remaining part is explicitly approximated by employing the generalized Taylor expansion. The significant features of our algorithm are that the SOE method is efficient and accurate, and works for general kernels with controllable upperbound of positive exponents. We provide numerical analysis for the SOE-based convolution quadrature. Numerical results on different kernels, the convolution integral and integral equations demonstrate attractive performance of both accuracy and efficiency of the proposed method.
Let $Omega subset mathbb{R}^N$ ($N geq 3$) be a $C^2$ bounded domain and $K subset Omega$ be a compact, $C^2$ submanifold in $mathbb{R}^N$ without boundary, of dimension $k$ with $0leq k < N-2$. We consider the Schrodinger operator $L_mu = Delta + mu d_K^{-2}$ in $Omega setminus K$, where $d_K(x) = text{dist}(x,K)$. The optimal Hardy constant $H=(N-k-2)/2$ is deeply involved in the study of $-L_mu$. When $mu leq H^2$, we establish sharp, two-sided estimates for Green kernel and Martin kernel of $-L_mu$. We use these estimates to prove the existence, uniqueness and a priori estimates of the solution to the boundary value problem with measures for linear equations associated to $-L_mu$
It is known that the couple formed by the two dimensional Brownian motion and its Levy area leads to the heat kernel on the Heisenberg group, which is one of the simplest sub-Riemannian space. The associated diffusion operator is hypoelliptic but not elliptic, which makes difficult the derivation of functional inequalities for the heat kernel. However, Driver and Melcher and more recently H.-Q. Li have obtained useful gradient bounds for the heat kernel on the Heisenberg group. We provide in this paper simple proofs of these bounds, and explore their consequences in terms of functional inequalities, including Cheeger and Bobkov type isoperimetric inequalities for the heat kernel.