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

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.     

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相似文献   

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

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

Continuity of functors with respect to generalized inductive limits

Let(Ai,φi,i+1) be a generalized indue Live system of a sequeiiee (Ai) of unital separable C^*-algebras,with A =limi→∞(Ai,φi,i+1). Set φj,i=φi-1,i^0…0φj+1,j+2^0 φj,j+1 for all i>j. We prove that if φj,i are order zero completely positive contractions for all j and i>j, And L:=inf{λ|λ∈σ(φj,i(1Aj)) for all j uud i>j}>0, where σ(φj,i(1Aj)) is the speetrum of φj,i(1Aj),than limi→∞(Cu(Ai),Cu((φi,i+1))=Cu(A), where Cu(A) is a stable version of the Cuntz semigroup of C^*-algebra A. Let (An,φm,n) be a generalized inductive syfitem of C^*-algahrafl, with the ipmkn order zero completely positive contractions. We also prove that if the decomposition rank (nuclear dimension) of ,4n is no more t han some integer k for each n, then the decompostition rank (nuclear dimension) of A is also no more than k.     

Slim exceptional set for sums of two squares,two cubes,and two biquadrates of primes

We prove that, with at most O\left(N^{\frac{\mathrm{17}}{\mathrm{192}}+\epsilon }\right) exceptions, all even positive integers up to Nare expressible in the form p_{\mathrm{1}}^{\mathrm{2}}+p_{\mathrm{2}}^{\mathrm{2}}+p_{\mathrm{3}}^{\mathrm{3}}+p_{\mathrm{4}}^{\mathrm{3}}+p_{\mathrm{5}}^{\mathrm{4}}+p_{\mathrm{6}}^{\mathrm{4}},where p_{\mathrm{1}},\mathrm{}{p}_{\mathrm{2}},.\mathrm{}.\mathrm{}.\mathrm{},\mathrm{}{p}_{\mathrm{6}} are prime numbers. This gives large improvement of a recent result O\left(N^{\frac{\mathrm{13}}{\mathrm{16}}+\epsilon }\right) due to M. Zhang and J. J. Li.     

Generalized Vandermonde tensors

We extend Vandermonde matrices to generalized Vandermonde tensors. We call an mth order n-dimensional real tensor A=(Ai1i2...im) a type-1 generalized Vandermonde (GV) tensor, or GV1 tensor, if there exists a vector v=(v1,v2...vn)T such that Ai1i2...im=vi1i2+i3+...+im-m+1, and call A a type-2 (mth order ndimensional) GV tensor, or GV2 tensor, if there exists an (m-1)th order tensor B=(Bi1i2...im-1) such that Ai1i2...im=Bi1i2...im-1im-1. In this paper, we mainly investigate the type-1 GV tensors including their products, their spectra, and their positivities. Applications of GV tensors are also introduced.     

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.     

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.     

Ground state solutions for a non-autonomous nonlinear Schrödinger-KdV system

We study the Schrödinger-KdV system\{\begin{array}{ll}-\mathrm{\Delta }u+{\lambda }_{\mathrm{1}}(x)u=u^{\mathrm{3}}+\beta uv,& u\in H^{\mathrm{1}}({ℝ}^N),\\ -\mathrm{\Delta }v+{\lambda }_{\mathrm{2}}(x)v={\displaystyle \frac{\mathrm{1}}{\mathrm{2}}}{v}^{\mathrm{2}}+{\displaystyle \frac{\beta }{\mathrm{2}}}{u}^{\mathrm{2}},& v\in H^{\mathrm{1}}({ℝ}^N),\end{array}where N=\mathrm{1},\mathrm{2},\mathrm{3},\mathrm{}{\lambda }_i(x)\in C({ℝ}^N,ℝ),{\lim }_{\left|x\right|\to \infty }{\lambda }_i(x)={\lambda }_i(\infty ), and {\lambda }_i(x)\le {\lambda }_i(\infty ),i= 1,2,a.e. x\in {ℝ}^N.We obtain the existence of nontrivial ground state solutions for the above system by variational methods and the Nehari manifold.     

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)<+∞     

Largest adjacency,signless Laplacian,and Laplacian H-eigenvalues of loose paths

We investigate k-uniform loose paths. We show that the largest Heigenvalues of their adjacency tensors, Laplacian tensors, and signless Laplacian tensors are computable. For a k-uniform loose path with length l≥3, we show that the largest H-eigenvalue of its adjacency tensor is ((1+5)/2)2/k when l=3 and λ(A)=31/k when l=4, respectively. For the case of l≥5, we tighten the existing upper bound 2. We also show that the largest H-eigenvalue of its signless Laplacian tensor lies in the interval (2, 3) when l≥5. Finally, we investigate the largest H-eigenvalue of its Laplacian tensor when k is even and we tighten the upper bound 4.     

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.     

Diophantine inequalities over Piatetski-Shapiro primes

Let c>1 and : We study the solubility of the Diophantine inequality in Piatetski-Shapiro primes p₁,p₂, .., p_s of the form p_j=[m^{\gamma }] for some m\in \mathbb{N}, and improve the previous results in the cases s = 2, 3, 4.     

Fekete and Szegö problem for a subclass of quasi-convex mappings in several complex variables

Let K be the familiar class of normalized convex functions in the unit disk. Keogh and Merkes proved the well-known result that max?f∈K|a3−λa22|≤max?{1/3,|λ−1|},λ∈?, and the estimate is sharp for each λ. We investigate the corresponding problem for a subclass of quasi-convex mappings of type B defined on the unit ball in a complex Banach space or on the unit polydisk in ?n. The proofs of these results use some restrictive assumptions, which in the case of one complex variable are automatically satisfied.     

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.     

Minimizers of anisotropic Rudin-Osher-Fatemi models

We give the explicit formulas of the minimizers of the anisotropic Rudin-Osher-Fatemi models E1φ(u)=∫Ωφo(Du)dx+λ∫Ω|u−f|dx, u∈BV(Ω),E2φ(u)=∫Ωφo(Du)dx+λ∫Ω(u−f)2dx, u∈BV(Ω), where Ω⊂?2 is a domain, φo is an anisotropic norm on ?2, and f is a solution of the anisotropic 1-Laplacian equations.