Exponential sums involving Maass forms

We study the exponential sums involving l：burmr coeffcients ot Maass forms and exponential functions of the form e（anZ）, where 0 ≠ α∈R and 0 〈 β 〈 1. An asymptotic formula is proved for the nonlinear exponential sum ∑x〈n≤2x λg（n）e（αnβ）, when β = 1/2 and ｜α｜ is close to 2√ q C Z＋, where Ag（n） is the normalized n-th Fourier coefficient of a Maass cusp form for SL2 （Z）. The similar natures of the divisor function 7（n） and the representation function r（n） in the circle problem in nonlinear exponential sums of the above type are also studied.     

Strong law of large numbers for supercritical superprocesses under second moment condition

Consider a supercritical superprocess X = {X_t, t≥0} on a locally compact separable metric space (E,m). Suppose that the spatial motion of X is a Hunt process satisfying certain conditions and that the branching mechanism is of the form ψ(x,λ)=-a(x)λ+b(x)λ2+∫(0,+∞)(e-λy-1+λy)n(x,dy),?x∈E,λ>0, where a∈Bb(E),b∈Bb+(E), and n is a kernel from E to (0,+∞) satisfying sup?x∈E∫0+∞y2n(x,dy)<+∞. Put Ttf(x)=Pδx?f,Xt?. Suppose that the semigroup {T_t; t≥0}is compact. Let λ₀ be the eigenvalue of the (possibly non-symmetric) generator L of {T_t}that has the largest real part among all the eigenvalues of L, which is known to be real-valued. Let ?0 and ?^0 be the eigenfunctions of L and L^(the dual of L) associated with λ₀, respectively. Assume λ₀>0. Under some conditions on the spatial motion and the ?0-transform of the semigroup {T_t}, we prove that for a large class of suitable functions f, lim?t→+∞e-λ0t?f,Xt?=W∞∫E?^0(y)f(y)m(dy),?Pμ-a.s., for any finite initial measure μ on E with compact support, where W_∞ is the martingale limit defined by W∞:=lim?t→+∞e-λ0t??0,Xt?. Moreover, the exceptional set in the above limit does not depend on the initial measure μ and the function f.     

Certain categories of modules for twisted affine Lie algebras

In this paper, using generating functions, we study two categories ? and ? of modules for twisted affine Lie algebras g^[σ], which were firstly introduced and studied for untwisted affine Lie algebras by H. -S. Li [Math Z, 2004, 248: 635-664]. We classify integrable irreducible g^[σ]-modules in categories ? and ?, where ? is proved to contain the well-known evaluation modules and ? to unify highest weight modules, evaluation modules and their tensor product modules. We determine also the isomorphism classes of those irreducible modules.     

Boundedness of some multipliers on stratified Lie groups

Let ￡ be the sub-Laplacian on a stratified Lie group G, and let m be a function defined on [0,+∞). We give the boundedness of the multiplier operators m(￡) on Herz-type Hardy spaces on G.     

Majid conjecture: quantum Kac-Moody algebras version

Based on the n-fold tensor product version of the generalized double-bosonization construction, we prove the Majid conjecture of the quantum Kac-Moody algebras version. Particularly, we give explicitly the double-bosonization type-crossing constructions of quantum Kac-Moody algebras for affine types G_2^{(1)} , E_2^{(1)},and Tp,q,r, and in this way, we can recover generators of quantum Kac-Moody algebras with braided groups defined by R-matrices in the related braided tensor category. This gives us a better understanding for the algebra structures themselves of the quantum Kac-Moody algebras as a certain extension of module-algebras/module-coalgebras with respect to the related quantum subalgebras of finite types inside.     

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).     

Moderate deviations and central limit theorem for small perturbation Wishart processes

Let X^ε be a small perturbation Wishart process with values in the set of positive definite matrices of size m, i.e., the process X^ε is the solution of stochastic differential equation with non-Lipschitz diffusion coefficient： dXt^ε = √εXt^εtdBt＇ ＋ dBt＇√εXt^ε ＋ ρImdt, X0 = x, where B is an rn x m matrix valued Brownian motion and B＇ denotes the transpose of the matrix B. In this paper, we prove that { （Xt^ε-Xt^0）/√εh^2（ε）,ε 〉 0} satisfies a large deviation principle, and （Xt^ε - Xt^0）/√ε converges to a Gaussian process, where h（ε） → ＋∞ and √ε h（ε） →0 as ε →0. A moderate deviation principle and a functional central limit theorem for the eigenvalue process of X^ε are also obtained by the delta method.     

Hopf *-algebra structures on H(1, q)

We study the Hopf *-algebra structures on the Hopf algebra H(1, q) over ?. It is shown that H(1, q) is a Hopf *-algebra if and only if |q| = 1 or q is a real number. Then the Hopf *-algebra structures on H(1, q) are classified up to the equivalence of Hopf *-algebra structures.     

Wintgen ideal submanifolds with a low-dimensional integrable distribution

Submanifolds in space forms satisfy the well-known DDVV inequality. A submanifold attaining equality in this inequality pointwise is called a Wintgen ideal submanifold. As conformal invariant objects, Wintgen ideal submanifolds are investigated in this paper using the framework of M?bius geometry. We classify Wintgen ideal submanfiolds of dimension m≥3 and arbitrary codimension when a canonically defined 2-dimensional distribution ?2 is integrable. Such examples come from cones, cylinders, or rotational submanifolds over super-minimal surfaces in spheres, Euclidean spaces, or hyperbolic spaces, respectively. We conjecture that if ?2 generates a k-dimensional integrable distribution ?kand k<m, then similar reduction theorem holds true. This generalization when k = 3 has been proved in this paper.     

Intrinsic contractivity properties of Feynman-Kac semigroups for symmetric jump processes with infinite range jumps

Let (X_t)_t≥0 be a symmetric strong Markov process generated by non-local regular Dirichlet form (D, D(D)) as follows: D(f,g)=∫?d∫?d(f(x)-f(y))(g(x)-g(y))J(x,y)dxdy,?f,g∈D(D), where J(x, y) is a strictly positive and symmetric measurable function on ?d×?d. We study the intrinsic hypercontractivity, intrinsic supercontractivity, and intrinsic ultracontractivity for the Feynman-Kac semigroup TtV(f)(x)=Ex(exp?(-∫0tV(Xs)ds)f(Xt)),?x∈?d,f∈L2(?d;dx). In particular, we prove that for J(x,y)≈|x-y|-d-al{|x-y|≤1}+e-|x-y|l{|x-y|>1} with α ∈(0, 2) and V(x)=|x|λ with λ>0, (TtV)t≥0 is intrinsically ultracontractive if and only if λ>1; and that for symmetric α-stable process (X_t)_t≥0 with α ∈(0, 2) and V(x)=log?λ(1+|x|) with some λ>0, (TtV)t≥0 is intrinsically ultracontractive (or intrinsically supercontractive) if and only if λ>1, and (TtV)t≥0 is intrinsically hypercontractive if and only if λ≥1. Besides, we also investigate intrinsic contractivity properties of (TtV)t≥0 for the case that lim inf?|x|→+∞V(x)<+∞     

Asymptotic properties of supercritical branching processes in random environments

We consider a supercritical branching process （Zn） in an independent and identically distributed random environment ξ, and present some recent results on the asymptotic properties of the limit variable W of the natural martingale Wn = Zn/E[Zn｜ξ], the convergence rates of W - Wn （by considering the convergence in law with a suitable norming, the almost sure convergence, the convergence in Lp, and the convergence in probability）, and limit theorems （such as central limit theorems, moderate and large deviations principles） on （log Zn）.     

Hardy space estimates for bi-parameter Littlewood-Paley square functions

Suppose that g(f) are bi-parameter Littlewood-Paley square functions which were introduced by H. Martikainen. It is known that the L^{\mathrm{2}}({ℝ}^n\times {ℝ}^m) boundedness and the H^{\mathrm{1}}({ℝ}^n\times {ℝ}^m)-L^{\mathrm{1}}({ℝ}^n\times {ℝ}^m) boundedness of g(f) have been proved by H. Martikainen and by Z. Li and Q. Xue, respectively. In this paper, we apply the vector-valued theory, the atomic decomposition of product Hardy spaces, and Journe's covering lemma to show that g(f) are bounded from H^p({ℝ}^n\times {ℝ}^m) to L^p({ℝ}^n\times {ℝ}^m) with p smaller than 1.     

Quasi-periodic solutions for class of Hamiltonian partial differential equations with fixed constant potential

We consider Hamiltonian partial differential equations u_tt +|∂_x|u+ σu = f(u), x ∈ T, t ∈?, with periodic boundary conditions, where f(u) is a real-analytic function of the form f(u) = u⁵ + o(u⁵) near u = 0, σ ∈ (0, 1) is a fixed constant, and \mathbb{T}=?/\mathrm{2}\pi \mathbb{Z}T= R/2πZ. A family of quasi-periodic solutions with 2-dimensional are constructed for the equation above with σ ∈ (0, 1)\ ?. The proof is based on infinite-dimensional KAM theory and partial Birkhoff normal form.     

Uniqueness of weak solutions for fractional Navier-Stokes equations

We prove that if u is a weak solution of the d dimensional fractional Navier-Stokes equations for some initial data u₀and if u belongs to path space p=Lq(0,T;Bp,∞r)or p=L1(0,T;B∞,∞r), then u is unique in the class of weak solutions when α>1. The main tools are Bony decomposition and Fourier localization technique. The results generalize and improve many recent known results.     

Generalized area operators on Lp(?n)

We introduce the generalized area operators by using nonnegative measures defined on upper half-spaces ?+n+1. The characterization of the boundedness and compactness of the generalized area operator from L^p(?n) to L^q(?n) is investigated in terms of s-Carleson measures with 1<p, q<+∞. In the case of p = q = 1, the weak type estimate is also obtained.     

Continuity properties for commutators of multilinear type operators on product of certain Hardy spaces

Similar to the property of a linear Calderdn-Zygmund operator, a linear fractional type operator Is associated with a BMO function b fails to satisfy the continuity from the Hardy space Hp into Lp for p ≤ 1. Thus, an alternative result was given by Y. Ding, S. Lu and P. Zhang, they proved that [b,Iα] is continuous from an atomic Hardy space Hp b into Lp, where Hp b is a subspace of the Hardy space Hp for n/（n ＋ 1） 〈 p ≤ 1. In this paper, we study the commutators of multilinear fractional type operators on product of certain Hardy spaces. The endpoint （Hp1 b1 ×... × HP2, Lp） boundedness for multilinear fractional type operators is obtained. We also give the boundedness for the commutators of multilinear Calderdn-Zygmund operators and multilinear fractional type operators on product of certain Hardy spaces when b ∈ （Lipβ）m（Rn）.     

Unit groups of quotient rings of complex quadratic rings

For a square-free integer d other than 0 and 1, let K=?(d), where ? is the set of rational numbers. Then K is called a quadratic field and it has degree 2 over ?. For several quadratic fields K=?(d), the ring R_dof integers of K is not a unique-factorization domain. For d<0, there exist only a finite number of complex quadratic fields, whose ring Rd of integers, called complex quadratic ring, is a unique-factorization domain, i.e., d = −1,−2,−3,−7,−11,−19,−43,−67,−163. Let ϑ denote a prime element of Rd, and let n be an arbitrary positive integer. The unit groups of Rd/〈vn〉 was determined by Cross in 1983 for the case d = −1. This paper completely determined the unit groups of Rd/〈vn〉 for the cases d = −2,−3.