Hypersurfaces in a Unit Sphere Sn+1(1) with Constant Scalar Curvature

The paper considers n-dimensional hypersurfaces with constantscalar curvature of a unit sphere S^n–1(1). The hypersurfaceS^k(c₁)xS^n–k(c₂) in a unit sphere Sⁿ⁺¹(1) is characterized,and it is shown that there exist many compact hypersurfaceswith constant scalar curvature in a unit sphere Sⁿ⁺¹(1) whichare not congruent to each other in it. In particular, it isproved that if M is an n-dimensional (n > 3) complete locallyconformally flat hypersurface with constant scalar curvaturen(n–1)r in a unit sphere Sⁿ⁺¹(1), then r > 1–2/n,and (1) when r (n–2)/(n–1), if then M is isometric to S¹xS^n–1(c),where S is the squared norm of the second fundamental form ofM; (2) there are no complete hypersurfaces in Sⁿ⁺¹(1) with constantscalar curvature n(n–1)r and with two distinct principalcurvatures, one of which is simple, such that r = (n–2)/(n–1)and      

On the Optimum Criterion of Polynomial Stability

The purpose of this note is to answer the question raised byNie & Xie (1987). Let f(x)=a₀xⁿ+a₁x^n–1+...+a_n be apositive-coefficient polynomial. The numbers ₁=a_i-1a_i+2/a_ia_i+1(i=1, ..., n–2) are called determining coefficients. Theoptimum criterion problem was posed as follows: for n3, findthe maximal number (n) such that the polynomial f(x) is stableif _i < (n) (1in–2). For n6, we show that (n)=ß,where ß is the unique real root of the equation x(x+1)²=1.     

OPTIMAL INTEGRABILITY CONDITION FOR THE LOG-SOBOLEV INEQUALITY

Let M denote a connected complete Riemannian manifold (possiblywith a convex boundary), the Riemannian distance function froma fixed point and V C² (M) such that dµ_V e^V d xis a probability measure. For any K 0, we prove that K/2 isthe infimum over all > 0 such that Ric_M – Hess_V –Kand imply the log-Sobolevinequality for the Dirichlet form µ_V(| f |²).     

On the Discreteness and Convergence in n-Dimensional Mobius Groups

Throughout this paper, we adopt the same notations as in [1,6, 8] such as the Möbius group M(Rⁿ), the Clifford algebraC_n–1, the Clifford matrix group SL(2, _n), the Cliffordnorm of ||A||=(|a|²+|b|²+|c|²+|d|²) (1) and the Clifford metric of SL(2, _n) or of the Möbius groupM(Rⁿ) d(A₁,A₂)=||A₁–A₂||(|a₁–a₂|²+|b₁–b₂|²+|c₁–c₂|²+|d₁–d₂|²)(2) where |·| is the norm of a Clifford number and represents f_i M(), i = 1,2, and so on. In addition, we adopt some notions in [6, 12]:the elementary group, the uniformly bounded torsion, and soon. For example, the definition of the uniformly bounded torsionis as follows.     

Low-Dimensional Representations of Special Linear Groups in Cross Characteristics

The low-dimensional projective irreducible representations incross characteristics of the projective special linear groupPSL_n(q) are investigated. If n 3 and (n, q) (3,2), (3,4), (4,2), (4,3), all such representationsof the first degree (which is (qⁿ – q)/(q – 1) – with = 0 or 1) and the second degree (which is (qⁿ –1)/(q – 1) come from Weil representations. We show thatthe gap between the second and the third degree is roughly q^2n-4.1991 Mathematics Subject Classification: 20C20, 20C33.     

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.     

On a Comparison Principle and the Critical Fujita Exponents for Solutions of Semilinear Parabolic Inequalities

The paper examines blow-up phenomena for the inequality u_t–Lu–|u|^q–1u_t–L–||^q–1 (*) in the half-space x Rⁿ, n 1, where L is a linear second-order partial differential operatorin divergence form. The paper studies weak solutions of (*) that belong only locallyto the corresponding Sobolev spaces in the half-space x Rⁿ. It also requires no conditionsfor the behavior of solutions of (*) on the hyperplane t = 0. The existence of critical blow-up exponents is obtained forsolutions of (*) as a special case of a comparison principlefor the corresponding solutions of (*). For example, the well-knownFujita result is a consequence of the comparison principle. The approach developed in the paper is directly applicable tothe study of analogous problems involving nonlinear differentialoperators. Its elliptic analogue has been recently developedby the authors.     

Spaces of Harmonic Functions

It is important and interesting to study harmonic functionson a Riemannian manifold. In an earlier work of Li and Tam [21]it was demonstrated that the dimensions of various spaces ofbounded and positive harmonic functions are closely relatedto the number of ends of a manifold. For the linear space consistingof all harmonic functions of polynomial growth of degree atmost d on a complete Riemannian manifold Mⁿ of dimension n,denoted by H_d(Mⁿ), it was proved by Li and Tam [20] that thedimension of the space H₁(M) always satisfies dimH₁(M) dimH₁(Rⁿ)when M has non-negative Ricci curvature. They went on to askas a refinement of a conjecture of Yau [32] whether in generaldim H_d(Mⁿ) dimH_d(Rⁿ)for all d. Colding and Minicozzi made animportant contribution to this question in a sequence of papers[5–11] by showing among other things that dimH_d(M) isfinite when M has non-negative Ricci curvature. On the otherhand, in a very remarkable paper [16], Li produced an elegantand powerful argument to prove the following. Recall that Msatisfies a weak volume growth condition if, for some constantA and , (1.1) for all x M and r R, where V_x(r) is the volume of the geodesicball B_x(r) in M; M has mean value property if there exists aconstant B such that, for any non-negative subharmonic functionf on M, (1.2) for all p M and r > 0.     

On the Greatest Prime Divisor of the Sum of Two Squares of Primes

One of the most famous theorems in number theory states thatthere are infinitely many positive prime numbers (namely p =2 and the primes p 1 mod4) that can be represented in the formx²₁+x²₂, where x₁ and x₂ are positive integers. In a recentpaper, Fouvry and Iwaniec [2] have shown that this statementremains valid even if one of the variables, say x₂, is restrictedto prime values only. In the sequel, the letter p, possiblywith an index, is reserved to denote a positive prime number.As p²₁=p²₂ = p is even for p₁, p₂ > 2, it is reasonable toconjecture that the equation p²₁=p²₂ = 2p has an infinity ofsolutions. However, a proof of this statement currently seemsfar beyond reach. As an intermediate step in this direction,one may quantify the problem by asking what can be said aboutlower bounds for the greatest prime divisor, say P(N), of thenumbers p²₁=p²₂, where p₁, p₂ N, as a function of the realparameter N 1. The well-known Chebychev–Hooley methodcombined with the Barban–Davenport–Halberstam theoremalmost immediately leads to the bound P(N) N^1–, if N N_o(); here, denotes some arbitrarily small fixed positivereal number. The first estimate going beyond the exponent 1has been achieved recently by Dartyge [1, Théorème1], who showed that P(N) N^10/9–. Note that Dartyge'sproof provides the more general result that for any irreduciblebinary form f of degree d 2 with integer coefficients the greatestprime divisor of the numbers |f(p₁, p₂)|, p₁, p₂ N, exceedsN^_d–, where _d = 2 – 8/(d = 7). We in particular wantto point out that Dartyge does not make use of the specificfeatures provided by the form x²₁+x²₂. By taking advantage ofsome special properties of this binary form, we are able toimprove upon the exponent ₂ = 10/9 considerably.     

On Extensions of Myers' Theorem

Let M be a compact Riemannian manifold, and let h be a smoothfunction on M. Let p^h(x) = inf||–₁(Ric_x(,)–2Hess(h_x(,)).Here Ric_x denotes the Ricci curvature at x and Hess(h) is theHessian of h. Then M has finite fundamental group if ^h–p^h<0. Here ^h =:+2L_h is the Bismut-Witten Laplacian. This leadsto a quick proof of recent results on extension of Myers' theoremto manifolds with mostly positive curvature. There is also asimilar result for noncompact manifolds.     

Shapiro's Cyclic Sum

Shapiro's cyclic sum is defined by , If K is the cone in Rⁿ of points withnon-negative coordinates, it is shown that the minimum of Ein K is a fixed point of T², where T is the non-linear operatordefined by (Tx)_i = x_n–i+1/(x_n–i+2 + x_n–i+3)²for i = 1,2,...,n. It is conjectured that Tx = S^kx, where Sis the shift operator in Rⁿ, and a proof is given under someadditional hypotheses. One of the consequences is a simple proofthat at the minimum point, a_i(x) = a_n–i+1–k(x) fori = 1,2,...,n.     

Long-Time Behavior of Solutions of the Fast Diffusion Equations with Critical Absorption Terms

This paper is devoted to the long-time behavior of solutionsto the Cauchy problem of the porous medium equation u_t = (u^m)– u^p in Rⁿ x (0,) with (1 – 2/n)₊ < m < 1and the critical exponent p = m + 2/n. For the strictly positiveinitial data u(x,0) = O(1 + |x|)^–k with n + mn(2 –n + nm)/(2[2 – m + mn(1 – m)]) k < 2/(1 –m), we prove that the solution of the above Cauchy problem convergesto a fundamental solution of u_t = (u^m) with an additional logarithmicanomalous decay exponent in time as t .     

Spines and Embeddings of n-Manifolds

Every compact, connected PL manifold Mⁿ, with MⁿØ, collapsesto a codimension-one subpolyhedron Q^n–1, called a spineof Mⁿ. The purpose of this paper is to prove that, if Q^n–1is appropriately chosen, one can reconstruct Mⁿ from Q^n–1,after taking the Cartesian product with an interval I=[0, 1].     

Relation Modules of Infinite Groups

Let F_n be the free group of rank n with basis x₁, x₂, ..., x_n,and let d(G) denote the minimal number of generators of thefinitely generated group G. Suppose that n d(G). There existsan exact sequence and wemay view the free abelian group as a right ZG-module by defining (rR')^g = r^g–1R' for allg G, where g^–1 is any preimage of g under , and = (g^–1)^–1 r(g^–1),the conjugate of r by g^–1. We call the relation module of G associated with the presentation(1), and say that has ambient rank n. Furthermore, we call the group F_n/R' the free abelianizedextension of G associated with (1). 1991 Mathematics SubjectClassification 20F05, 20C07.     

A Comparison Between Chebyshev and Ultraspherical Expansions

This paper examines the norms of the projections from C[–1,1] to P_M[–1, 1] which are obtained by truncating Chebyshevand ultraspherical expansions after n terms. The norms are evaluatednumerically for n = 1, 2, 3 , ... , 10 and –0.1 5 wherethe ultraspherical weight function is (1 – x²)^x–.In particular the data show that the norm of the Chebyshev projectionis not the smallest in this range for 1 n 10.     

An error bound for the modified successive overrelaxation method

In this paper we consider the modified successive overrelaxation(MSOR)methodto appropriate the solution of the linear system D^-1/2 Ax =D^-1/2b, where A is a symmetric, positive definite and consistentlyordered matrix and D is a diagonal matrix with the diagonalidentical to that of A. The main purpose of this paper is to obtain some theoreticalresults, namely a bound for the norm of _n = v –v_n in termsof the norms _n –v_n-1, _n+1 –v_n and their inner product,where v =D^-1/2 x and v_n is the nth iteration vector, obtainedusing the (MSOR)method.     

The Asymptotic Behaviour of the Coefficients in Stokes's Series for Surface Gravity Waves

It is shown that the asymptotic behaviour of the coefficientsa_n at high order n and at large wave steepness ak is determinedmainly by the limiting form of the wave crest. In a lower rangeof n, a_n, decreases like n^–, corresponding to the Stokes120° corner flow. In an upper range, a_n, decreases exponentiallywith n. The transition occurs when n³ is O(1) where is relatedto the steepness ak of the waves by ² = 2.0[(ak)_max –ak].     

Binomial Sums and Functions of Exponential Type

Let (a_n)_n0 be a sequence of complex numbers, and, for n0, let A number of results are proved relating the growth of the sequences(b_n) and (c_n) to that of (a_n). For example, given p0, if b_n= O(n^p and for all > 0,then a_n=0 for all n > p. Also, given 0 < p < 1, then for all > 0 if and onlyif . It is further shown that, given rß > 1, if b_n,c_n=O(rßⁿ), then a_n=O(ⁿ),where , thereby proving a conjecture of Chalendar, Kellay and Ransford. The principal ingredientsof the proogs are a Phragmén-Lindelöf theorem forentire functions of exponential type zero, and an estimate forthe expected value of e^(X), where X is a Poisson random variable.2000 Mathematics Subject Classification 05A10 (primary), 30D15,46H05, 60E15 (secondary).     

Hormander's Hp Multiplier Theorem for the Heisenberg Group

Let Hⁿ denote the (2n+1)-dimensional Heisenberg group. Givenan operator-valued function M, define the operator T_M with ‘^’ denoting theFourier transform. Hörmander-type sufficient conditionsare determined on M for the H^p-boundedness, p 1, of the operatorT_M on Hⁿ.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.