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

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.     

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.     

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

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.     

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.     

Dynamical behaviors of non-autonomous fractional FitzHugh-Nagumo system driven by additive noise in unbounded domains

The regularity of random attractors is considered for the non-autonomous fractional stochastic FitzHugh-Nagumo system.We prove that the system has a pullback random attractor that is compact in Hs(Rⁿ)×L²(Rⁿ)and attracts all tempered random sets of L²(Rⁿ)×L²(Rⁿ)in the topology of Hs(Rⁿ)×L²(Rⁿ)with s∈(0,1).By the idea of positive and negative truncations,spectral decomposition in bounded domains,and tail estimates,we achieved the desired results.     

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.     

Waring-Goldbach problems for unlike powers with almost equal variables

We prove that almost all positive even integers n can be written as n=p22+p33+p44+p55 with |pkk-N4|≤N321325+? for 2≤k≤5. Moreover, it is proved that each sufficiently large odd integer N can be represented as N=p1+p22+p33+p44+p55 with |pkk-N5|≤N321325+?for 1≤k≤5.     

Spectral method for multidimensional Volterra integral equation with regular kernel

This paper is concerned with obtaining an approximate solution for a linear multidimensional Volterra integral equation with a regular kernel. We choose the Gauss points associated with the multidimensional Jacobi weight function ω(x)=∏di=1(1-xi)^α(1+xi)^β,-1<α,β<1/d-1/2 (d denotes the space dimensions) as the collocation points. We demonstrate that the errors of approxima te solution decay exponentially. Numerical results are presen ted to demonstrate the effectiveness of the Jacobi spectral collocation method.     

Structured backward error for palindromic polynomial eigenvalue problems,II: Approximate eigentriplets

A detailed structured backward error analysis for four kinds of palindromic polynomial eigenvalue problems (PPEPs)P(\lambda )\equiv \left({\displaystyle \sum _{l=\mathrm{0}}^d{{\displaystyle A}}_l{\lambda }^l}\right)x=\mathrm{0},{{\displaystyle A}}_{d-l}=\epsilon {{\displaystyle A}}_l^{★},L=\mathrm{0},\mathrm{1},\dots ,\left[{\displaystyle \frac{d}{\mathrm{2}}}\right], for an approximate eigentriplet is performed, where ★ is one of the two actions: transpose and conjugate transpose, and \epsilon \in \{\pm \mathrm{1}\}. The analysis is concerned with estimating the smallest perturbation to P(\lambda); while preserving the respective palindromic structure, such that the given approximate eigentriplet is an exact eigentriplet of the perturbed PPEP. Previously, R. Li, W. Lin, and C. Wang [Numer. Math., 2010, 116(1): 95–122] had only considered the case of an approximate eigenpair for PPEP but commented that attempt for an approximate eigentriplet was unsuccessful. Indeed, the latter case is much more complicated. We provide computable upper bounds for the structured backward errors. Our main results in this paper are several informative and very sharp upper bounds that are capable of revealing distinctive features of PPEP from general polynomial eigenvalue problems (PEPs). In particular, they reveal the critical cases in which there is no structured backward perturbation such that the given approximate eigentriplet becomes an exact one of any perturbed PPEP, unless further additional conditions are imposed. These critical cases turn out to the same as those from the earlier studies on an approximate eigenpair.     

Dynamical behaviors for generalized pendulum type equations with p-Laplacian

We consider a pendulum type equation with p-Laplacian {({\varphi }_p(x^{\prime }))}^{\prime }+{G_x}^{\prime }(t,x)=p(t), where {{\displaystyle \varphi }}_p(u)={\left|u\right|}^{p-\mathrm{2}}u,p>\mathrm{1},G(t,x) and p(t) are 1-periodic about every variable. The solutions of this equation present two interesting behaviors. On the one hand, by applying Moser's twist theorem, we find infinitely many invariant tori whenever {\displaystyle {\int }_{\mathrm{0}}^{\mathrm{1}}p(t)}\mathrm{d}t=\mathrm{0}, which yields the bounded-ness of all solutions and the existence of quasi-periodic solutions starting at t = 0 on the invariant tori. On the other hand, if p(t) = 0 and {G_x}^{\prime }(t,x) has some specific forms, we find a full symbolic dynamical system made by solutions which oscillate between any two different trivial solutions of the equation. Such chaotic solutions stay close to the trivial solutions in some fixed intervals, according to any prescribed coin-tossing sequence.     

Well-posedness and exponential mixing for stochastic magneto-hydrodynamic equations with fractional dissipations

Consider d-dimensional magneto-hydrodynamic (MHD) equations with fractional dissipations driven by multiplicative noise. First, we prove the existence of martingale solutions for stochastic fractional MHD equations in the case of d = 2, 3 and \alpha \wedge \beta \rangle \mathrm{0}, where \alpha ,\beta are the parameters of the fractional dissipations in the equation. Second, for d = 2, 3 and \alpha \wedge \beta \ge {\displaystyle \frac{\mathrm{1}}{\mathrm{2}}}+{\displaystyle \frac{d}{\mathrm{4}}}, we show the pathwise uniqueness of solutions and then obtain the existence and uniqueness of strong solutions using the Yamada-Watanabe theorem. Furthermore, we establish the exponential mixing property for stochastic MHD equations with degenerate multiplicative noise when d = 2, 3 and \alpha \wedge \beta \ge {\displaystyle \frac{\mathrm{1}}{\mathrm{2}}}+{\displaystyle \frac{d}{\mathrm{4}}}.     

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.     

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.     

Higher moment of coefficients of Dedekind zeta function

Let be a non-normal cubic extension over Q.We study the higher moment of the coefficients aK3(n)of Dedckind zeta function over sum of two squares∑n21+n22≤xa1K3(n21+n22),where 2≤l≤8 and n1,n2,l∈Z.     

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