Averages of shifted convolution sums for arithmetic functions

Let f be a full-level cusp form for GLm(Z) with Fourier coefficients Af(cm-2,…, c1, n): Let λ(n) be either the von Mangoldt function Λ(n) or the k-th divisor function τk(n): We consider averages of shifted convolution sums of the type Σ|h|≤H |ΣX相似文献   

Oscillatory hyper Hilbert transforms along variable curves

For n = 2 or 3 and x\in {ℝ}^n, we study the oscillatory hyper Hilbert transform{{\displaystyle T}}_{\alpha ,\beta }f(x)={{\displaystyle \int }}_{ℝ}f(x-\Gamma (t,x)){\mathrm{e}}^{{-i\left|t\right|}^{-\beta }}{\left|t\right|}^{-\mathrm{1}-\alpha }\mathrm{d}talong an appropriate variable curve \mathrm{\Gamma }(t,x) in {ℝ}^n (namely, \mathrm{\Gamma }(t,x) is a curve in {ℝ}^n for each fixed x), where \alpha >\beta >\mathrm{0}. We obtain some L^p boundedness theorems of {{\displaystyle T}}_{\alpha ,\beta }, under some suitable conditions on \alphaand \beta. These results are extensions of some earlier theorems. However, {{\displaystyle T}}_{\alpha ,\beta }f(x) is not a convolution in general. Thus, we only can partially employ the Plancherel theorem, and we mainly use the orthogonality principle to prove our main theorems.     

An isometrical CPn-theorem

Let M^n(n\ge \mathrm{3}) be a complete Riemannian manifold with {{\displaystyle \sec ?}}_M\ge \mathrm{1}, and let {{\displaystyle M}}_i^{{{\displaystyle n}}_i}(i=\mathrm{1},\mathrm{2}) be two complete totally geodesic submanifolds in M. We prove that if n₁ + n₂ = n − 2 and if the distance \left|{{\displaystyle M}}_{\mathrm{1}}{{\displaystyle M}}_{\mathrm{2}}\right|\ge \pi /\mathrm{2}, then M_i is isometric to {\mathbb{S}}^{{{\displaystyle n}}_i}/{{\displaystyle \mathrm{?}}}_h,{\mathrm{?}\mathrm{P}}^{{{\displaystyle n}}_i/\mathrm{2}}/{{\displaystyle \mathrm{?}}}_{\mathrm{2}}, or {\mathrm{?}\mathrm{P}}^{{{\displaystyle n}}_i/\mathrm{2}}/{{\displaystyle \mathrm{?}}}_{\mathrm{2}} with the canonical metric when n_i>0, and thus, M is isometric to {\mathbb{S}}^n/{{\displaystyle \mathrm{?}}}_h,{\mathrm{?}\mathrm{P}}^{n/\mathrm{2}}, or {\mathrm{?}\mathrm{P}}^{n/\mathrm{2}}/{{\displaystyle \mathrm{?}}}_{\mathrm{2}} except possibly when n = 3 and M₁ (or M₂) \stackrel{\mathrm{i}\mathrm{s}\mathrm{o}}{{\displaystyle \cong }}{\mathbb{S}}^{\mathrm{1}}/{{\displaystyle \mathrm{?}}}_h with h\ge \mathrm{2} or n = 4 and M₁ (or M₂) \stackrel{\mathrm{i}\mathrm{s}\mathrm{o}}{{\displaystyle \cong }}\mathrm{?}{\mathrm{P}}^{\mathrm{2}}.     

Convergence of complex martingale for a branching random walk in an independent and identically distributed environment

We consider anR^d-valued discrete time branching random walk in an independent and identically distributed environment indexed by time n∈N.Let W_n(z)(z∈C^d)be the natural complex martingale of the process.We show necessary and sufficient conditions for the L^α-convergence of W_n(z)forα>1,as well as its uniform convergence region.     

Radon transforms on Siegel-type nilpotent Lie groups

Let \mathfrak{N}:={{\displaystyle H}}_n\times {ℂ}^n be the Siegel-type nilpotent group, which can be identified as the Shilov boundary of Siegel domain of type II, where {{\displaystyle H}}_n denotes the set of all n\times n Hermitian matrices. In this article, we use singular convolution operators to define Radon transform on \mathfrak{N} and obtain the inversion formulas of Radon transforms. Moveover, we show that Radon transform on \mathfrak{N} is a unitary operator from Sobolev space W^n;2 into L²(\mathfrak{N}):     

Oscillation and variation for Riesz transform in setting of Bessel operators on H1 and BMO

Let \lambda >\mathrm{0} and let the Bessel operator \mathrm{\Delta }\lambda ：=-{\displaystyle \frac{{\mathrm{d}}^{\mathrm{2}}}{{\mathrm{d}x}^{\mathrm{2}}}}-{\displaystyle \frac{\mathrm{2}\lambda }{x}}{\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}} defined on {{\displaystyle ℝ}}_{+}:=(\mathrm{0},\infty ). We show that the oscillation and \rho-variation operators of the Riesz transform {{\displaystyle R}}_{{\mathrm{\Delta }}_{\lambda }} associated with {\mathrm{\Delta }}_{\lambda } are bounded on BMO({{\displaystyle ℝ}}_{+},{{\displaystyle dm}}_{\lambda }), where \rho >\mathrm{2} and {{\displaystyle \mathrm{d}m}}_{\lambda }=x^{\mathrm{2}\lambda }\mathrm{d}x. Moreover, we construct a {{\displaystyle (\mathrm{1},\infty )}}_{{\mathrm{\Delta }}_{\lambda }}-atom as a counterexample to show that the oscillation and \rho-variation operators of {{\displaystyle R}}_{{\mathrm{\Delta }}_{\lambda }} are not bounded from H^{\mathrm{1}}({ℝ}^{+},{{\displaystyle \mathrm{d}m}}_{\lambda }) to L^{\mathrm{1}}({ℝ}^{+},{{\displaystyle \mathrm{d}m}}_{\lambda }). Finally, we prove that the oscillation and the {{\displaystyle (\mathrm{1},\infty )}}_{{\mathrm{\Delta }}_{\lambda }}-variation operators for the smooth truncations associated with Bessel operators {{\displaystyle \tilde{R}}}_{{\mathrm{\Delta }}_{\lambda }} are bounded from H^{\mathrm{1}}({ℝ}^{+},{{\displaystyle \mathrm{d}m}}_{\lambda }) to L^{\mathrm{1}}({ℝ}^{+},{{\displaystyle \mathrm{d}m}}_{\lambda }).     

Fourier transform of anisotropic mixed-norm Hardy spaces

Let a:=(a1,…,an)∈[1,∞)n,p:=(p1,…,pn)∈(0,1]n,Hpa(Rⁿ)be the anisotropic mixed-norm Hardy space associated with adefined via the radial maximal function,and let f belong to the Hardy space Hpa(Rⁿ).In this article,we show that the Fourier transform fcoincides with a continuous function g on?n in the sense of tempered distributions and,moreover,this continuous function g,multiplied by a step function associated with a,can be pointwisely controlled by a constant multiple of the Hardy space norm of f.These proofs are achieved via the known atomic characterization of Hpa(Rⁿ)and the establishment of two uniform estimates on anisotropic mixed-norm atoms.As applications,we also conclude a higher order convergence of the continuous function gat the origin.Finally,a variant of the Hardy-Littlewood inequality in the anisotropic mixed-norm Hardy space setting is also obtained.All these results are a natural generalization of the well-known corresponding conclusions of the classical Hardy spaces Hp(Rⁿ)with p∈0,1],and are even new for isotropic mixed-norm Hardy spaces on∈n.     

Exponential sums involving automorphic forms for GL(3) over arithmetic progressions

Let f be a Hecke-Maass cusp form for SL(3;\mathrm{\mathbb{Z}}) with Fourier coefficients A_f(m; n); and let \varphi (x) be a C^{\infty } -function supported on [1; 2] with derivatives bounded by {\varphi }^{(j)}(x)\ll j 1. We prove an asymptotic formula for the nonlinear exponential sum {\mathrm{\Sigma }}_{n\equiv l\mathrm{mod}q}{A}_f(m,n)\phi (n/X)e{\left(3\left(kn\right)\right)}^{1/3}/q, where e(z)={\mathrm{e}}^{\mathrm{2}\pi iz} and k\in {\mathrm{\mathbb{Z}}}^{+}.     

Derivative estimates of averaging opera tors and extension

We study the derivative operator of the generalized spherical mean S^γt. By considering a more general multiplier m^Ωγ,b=Vn-2/2+γ(|ξ|)|ξ|^bΩ(ξ') and finding the smallest γ such that m^Ωγ,b is an Hp multiplier, we obtain the optimal range of exponents (γ,β,p)to ensure the H^p(R^n) boundedness of a^βS^γ1f(x). As an application, we obtain the derivative estimates for the solution for the Cauchy problem of the wave equation on H^p(R^n) spaces.     

Maximal function characterizations of Musielak-Orlicz-Hardy spaces associated with magnetic Schr?dinger operators

Let φ be a growth function, and let A:=-(?-ia)?(?-ia)+V be a magnetic Schr?dinger operator on L2(?n),n≥2, where α:=(α1,α2,?,αn)∈Lloc2(?n,?n) and 0≤V∈Lloc1(?n). We establish the equivalent characterizations of the Musielak-Orlicz-Hardy space HA,φ(?n), defined by the Lusin area function associated with {e-t2A}t>0, in terms of the Lusin area function associated with {e-tA}t>0, the radial maximal functions and the nontangential maximal functions associated with {e-t2A}t>0 and {e-tA}t>0, respectively. The boundedness of the Riesz transforms LkA-1/2,k∈{1,2,?,n}, from HA,φ(?n) to Lφ(?n) is also presented, where L_k is the closure of ??xk-iαk in L2(?n). These results are new even when φ(x,t):=ω(x)tp for all x∈?nand t ∈(0,+∞) with p ∈(0, 1] and ω∈A∞(?n) (the class of Muckenhoupt weights on ?n).     

Superminimal surfaces in hyperquadric Q2

We study a superminimal surface M immersed into a hyperquadric Q₂ in several cases classified by two global defined functions {{\displaystyle \tau }}_X and {{\displaystyle \tau }}_Y, which were introduced by X. X. Jiao and J. Wang to study a minimal immersion f : M\to {{\displaystyle Q}}_{\mathrm{2}}. In case both {{\displaystyle \tau }}_X and {{\displaystyle \tau }}_Y are not identically zero, it is proved that f is superminimal if and only if f is totally real or i\circ f:M\to {ℂ\mathrm{P}}^{\mathrm{3}} is also minimal, where i:{{\displaystyle Q}}_{\mathrm{2}}\to {ℂ\mathrm{P}}^{\mathrm{3}} is the standard inclusion map. In the rest case that {{\displaystyle \tau }}_X\equiv \mathrm{0} or {{\displaystyle \tau }}_Y\equiv \mathrm{0}, the minimal immersion f is automatically superminimal. As a consequence, all the superminimal two-spheres in Q₂ are completely described.     

Matchings extend to Hamiltonian cycles in hypercubes with faulty edges

We consider the problem of existence of a Hamiltonian cycle containing a matching and avoiding some edges in an n-cube {{\displaystyle Q}}_n, and obtain the following results. Let n\ge \mathrm{3},\hspace{0.17em}M\subset E({{\displaystyle Q}}_n), and F\subset E({{\displaystyle Q}}_n)\backslash M with \mathrm{1}\le \left|F\right|\le \mathrm{2}n-\mathrm{4}-\left|M\right|. If M is a matching and every vertex is incident with at least two edges in the graph {{\displaystyle Q}}_n-F, then all edges of M lie on a Hamiltonian cycle in {{\displaystyle Q}}_n-F. Moreover, if \left|M\right|=\mathrm{1} or \left|M\right|=\mathrm{2}, then the upper bound of number of faulty edges tolerated is sharp. Our results generalize the well-known result for \left|M\right|=\mathrm{1}.     

Weighted product Hardy space associated with operators

Assuming that the operators L₁, L₂ are self-adjoint and {\mathrm{e}}^{-{{\displaystyle tL}}_i}(i=\mathrm{1},\mathrm{2}) satisfy the generalized Davies-Gaffney estimates, we shall prove that the weighted Hardy space {{\displaystyle H}}_{{{\displaystyle L}}_{\mathrm{1}},{{\displaystyle L}}_{\mathrm{2}},\omega }^{\mathrm{1}}({ℝ}^{{{\displaystyle n}}_{\mathrm{1}}}\times {ℝ}^{{{\displaystyle n}}_{\mathrm{2}}}) associated to operators L₁, L₂ on product domain, which is defined in terms of area function, has an atomic decomposition for some weight \omega.     

Uniform Cramér moderate deviations and Berry-Esseen bounds for a supercritical branching process in a random environment

Let \{Z_n,\mathrm{}n\ge \mathrm{0}\}be a supercritical branching process in an independent and identically distributed random environment. We prove Cramér moderate deviations and Berry-Esseen bounds for log(Z_{n+n_{\mathrm{0}}}/Z_{n_{\mathrm{0}}}) uniformly in n_{\mathrm{0}}\in \mathbb{Z},which extend the corresponding results by I. Grama, Q. Liu, and M. Miqueu [Stochastic Process. Appl., 2017, 127: 1255–1281] established for n_{\mathrm{0}}=\mathrm{}\mathrm{0}. The extension is interesting in theory, and is motivated by applications. A new method is developed for the proofs; some conditions of Grama et al. are relaxed in our present setting. An example of application is given in constructing confidence intervals to estimate the criticality parameter in terms of log(Z_{n+n_{\mathrm{0}}}/Z_{n_{\mathrm{0}}}) and n.     

Lower deviations for supercritical branching processes with immigration

For a supercritical branching processes with immigration \{{{\displaystyle Z}}_n\}; it is known that under suitable conditions on the offspring and immigration distributions, Z_n/mⁿ converges almost surely to a finite and strictly positive limit, where m is the offspring mean. We are interested in the limiting properties of P({{\displaystyle Z}}_n={{\displaystyle k}}_n) with {{\displaystyle k}}_n=o(m^n) as n\to \infty. We give asymptotic behavior of such lower deviation probabilities in both Schröder and Böttcher cases, unifying and extending the previous results for Galton-Watson processes in literature.     

On multivariable Zassenhaus formula

We give a recursive algorithm to compute the multivariable Zassenhaus formula e^X1+X2+…+Xn=e^X1eX2…e^Xn∏∞k=2e^Wk and derive an effective recursion formula of Wk.     

Upper bounds for signless Laplacian Z-spectral radius of uniform hypergraphs

Let ■ be a k-uniform hypergraph on n vertices with degree sequence △= d1≥…≥ dn =δ. In this paper, in terms of degree di , we give some upper bounds for the Z-spectral radius of the signless Laplacian tensor (Q(■)) of ■. Some examples are given to show the efficiency of these bounds.     

Bicomplex Hermitian Clifford analysis

Complex Hermitian Clifford analysis emerged recently as a refinement of the theory of several complex variables, while at the same time, the theory of bicomplex numbers motivated by the bicomplex version of quantum mechanics is also under full development. This stimulates us to combine the Hermitian Clifford analysis with the theory of bicomplex number so as to set up the theory of bicomplex Hermitian Clifford analysis. In parallel with the Euclidean Clifford analysis, the bicomplex Hermitian Clifford analysis is centered around the bicomplex Hermitian Dirac operator |D:C∞(R4n,W4n)→C∞(R4n,W4n), where W4n is the tensor product of three algebras, i.e., the hyperbolic quaternion B^, the bicomplex number B, and the Clifford algebra Rn. The operator D is a square root of the Laplacian in R4n, introduced by the formula D|=∑j=03Kj?Zj with Kjbeing the basis of B^, and ?Zj denoting the twisted Hermitian Dirac operators in the bicomplex Clifford algebra B?R0,4n whose definition involves a delicate construction of the bicomplexWitt basis. The introduction of the operator D can also overturn the prevailing opinion in the Hermitian Clifford analysis in the complex or quaternionic setting that the complex or quaternionic Hermitiean monogenic functions are described by a system of equations instead of by a single equation like classical monogenic functions which are null solutions of Dirac operator. In contrast to the Hermitian Clifford analysis in quaternionic setting, the Poisson brackets of the twisted real Clifford vectors do not vanish in general in the bicomplex setting. For the operator D, we establish the Cauchy integral formula, which generalizes the Martinelli-Bochner formula in the theory of several complex variables.