Complete Manifolds with Sectional Curvature Bounded Below and Large Volume Growth

This paper provides a proof that an n-dimensional complete openRiemannian manifold M with sectional curvature K_M –1is diffeomorphic to a Euclidean n-space Rⁿ if the volume growthof geodesic balls in M is close to that of the balls in an n-dimensionalhyperbolic space Hⁿ(–1) of sectional curvature –1.     

Graphs with many r-cliques have large complete r-partite subgraphs

Let r2 and c>0. Every graph on n vertices with at least cn^rcliques on r vertices contains a complete r-partite subgraphwith r–1 parts of size c^rlog n and one part of size greaterthan n^1–cr–1. This result implies a quantitativeform of the Erdös–Stone theorem.     

A fourth-order cubic spline method for linear second-order two-point boundary-value problems

A cubic spline method for linear second-order two-point boundary-valueproblems is analysed. The method is a Petrov-Galerkin methodusing a cubic spline trial space, a piecewise-linear test space,and a simple quadrature rule for the integration, and may beconsidered a discrete version of the H¹-Galerkin method. Themethod is fully discrete, allows an arbitrary mesh, yields alinear system with bandwidth five, and under suitable conditionsis shown to have an 0(h^4– rate of convergence in the W_p¹norm for i = 0, 1, 2, 1p. The H¹-Galerkin method and orthogonalspline collocation with Hermite cubics are also discussed.     

Choquet Integrals, Hausdorff Content and the Hardy-Littlewood Maximal Operator

Using the BMO-H¹ duality (among other things), D. R. Adams provedin [1] the strong type inequality whereC is some positive constant independent of f. Here M is theHardy–Littlewood maximal operator in Rⁿ, H is the -dimensionalHausdorff content, and the integrals are taken in the Choquetsense. The Choquet integral of 0 with respect to a set functionC is defined by Precise definitionsof M and H will be given below. For an application of (1) tothe Sobolev space W^{1, 1} (Rⁿ), see [1, p. 114]. The purpose of this note is to provide a self-contained, directproof of a result more general than (1). 1991 Mathematics SubjectClassification 28A12, 28A25, 42B25.     

Multiplicative groups used for coding QAM signals

Recently, some multiplicative groups of algebraic integers wereused to obtain quadrature amplitude modulation (QAM) signalspaces and to design error-correcting codes. This paper showsthat one subgroup of the multiplicative group of units in thealgebraic integer ring of each quadratic number field with uniquefactorization property Q(m), modulo the ideal (2ⁿ), can be usedto obtain a QAM signal space of 2^2n–2 points with goodgeometrical properties, where n 3, m 1 (mod 8) and m is asquare-free rational integer. These QAM signals can be codedsuch that a differentially coherent method can be applied todemodulate the QAM signals. The multiplicative subgroups canalso be used to construct block codes over Gaussian integerswhich are able to correct some error patterns.     

Logistic Type Equations on RN by a Squeezing Method Involving Boundary Blow-Up Solutions

We study, on the entire space R^N(N 1), the diffusive logisticequation u_t–u=u–u^p, u0 (1.1) and its generalizations. Here p > 1 is a constant. Problem(1.1) plays an important role in understanding various populationmodels and some other problems in applied mathematics. When = 1 and p = 2, it is also known as the Fisher equation andKPP equation, due to the pioneering works of Fisher [8] andKolmogoroff, Petrovsky and Piscounoff [18].     

Use of extrapolation for improving the order of convergence of eigenelement approximations

We consider the approximation of the eigenelements of a compactintegral operator defined on C[0, 1] with a smooth kernel. Weuse the iterated collocation method based on r Gauss pointsand piecewise polynomials of degree r – 1 on each subintervalof a nonuniform partition of [0, 1]. We obtain asymptotic expansionsfor the arithmetic means of m eigenvalues and also for the associatedspectral projections. Using Richardson extrapolation, we showthat the order of convergence O(h^2r) in the iterated collocationmethod can be improved to O(h^2r+2). Similar results hold forthe Nyström method and for the iterated Galerkin method.We illustrate the improvement in the order of convergence bynumerical experiments.     

Discontinuous Galerkin finite element approximation of quasilinear elliptic boundary value problems I: the scalar case

^** Email: Paul.Houston{at}mcs.le.ac.uk^*** Email: Janice.Robson{at}comlab.ox.ac.uk^**** Email: Endre.Suli{at}comlab.ox.ac.uk We develop a one-parameter family of hp-version discontinuousGalerkin finite element methods, parameterised by [–1,1], for the numerical solution of quasilinear elliptic equationsin divergence form on a bounded open set ^d, d 2. In particular,we consider the analysis of the family for the equation –·{µ(x, |u|)u} = f(x) subject to mixed Dirichlet–Neumannboundary conditions on . It is assumed that µ is a real-valuedfunction, µ C( x [0, )), and thereexist positive constants m_µ and M_µ such that m_µ(t– s) µ(x, t)t – µ(x, s)s M_µ(t– s) for t s 0 and all x . Using a result from the theory of monotone operators for any valueof [–1, 1], the corresponding method is shown to havea unique solution u_DG in the finite element space. If u C¹() H^k(), k 2, then with discontinuous piecewise polynomials ofdegree p 1, the error between u and u_DG, measured in the brokenH¹()-norm, is (h^s–1/p^k–3/2), where 1 s min {p+ 1, k}.     

Necessary and Sufficient Conditions for Exponential Stability and Ultimate Boundedness of Systems Governed by Stochastic Partial Differential Equations

Consider the following infinite dimensional stochastic evolutionequation over some Hilbert space H with norm |·|: It is proved that under certain mild assumptions, the strongsolution X_t(x₀)VHV*, t 0, is mean square exponentially stableif and only if there exists a Lyapunov functional (·,·):HxR₊R¹ which satisfies the following conditions: (i)c₁|x|²–k₁e^–µ₁t(x,t)c₂|x|²+k₂+k₂e^–µ₂t; (ii) L(x,t)–c₃(x,t)+k₃e^–µ₃t, xV, t0; where L is the infinitesimal generator of the Markov processX_t and c_i, k_i, µ_i, i = 1, 2, 3, are positive constants.As a by-product, the characterization of exponential ultimateboundedness of the strong solution is established as the nulldecay rates (that is, µ_i = 0) are considered.     

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.     

On the Centred Hausdorff Measure

Let v be a measure on a separable metric space. For t, q R,the centred Hausdorff measures µ^h with the gauge functionh(x, r) = r^t(vB(x, r))^q is studied. The dimension defined bythese measures plays an important role in the study of multifractals.It is shown that if v is a doubling measure, then µ^h isequivalent to the usual spherical measure, and thus they definethe same dimension. Moreover, it is shown that this is trueeven without the doubling condition, if q 1 and t 0 or ifq 0. An example in R² is also given to show the surprisingfact that the above assertion is not necessarily true if 0 <q < 1. Another interesting question, which has been askedseveral times about the centred Hausdorff measure, is whetherit is Borel regular. A positive answer is given, using the aboveequivalence for all gauge functions mentioned above.     

Eigenvectors of Order-Preserving Linear Operators

Suppose that K is a closed, total cone in a real Banach spaceX, that A:XX is a bounded linear operator which maps K intoitself, and that A' denotes the Banach space adjoint of A. Assumethat r, the spectral radius of A, is positive, and that thereexist x₀0 and m1 with A^m(x₀)=r^mx₀ (or, more generally, thatthere exist x₀(–K) and m1 with A^m(x₀)r^mx₀). If, in addition,A satisfies some hypotheses of a type used in mean ergodic theorems,it is proved that there exist uK–{0} and K'–{0}with A(u)=ru, A'()=r and (u)>0. The support boundary of Kis used to discuss the algebraic simplicity of the eigenvaluer. The relation of the support boundary to H. Schaefer's ideasof quasi-interior elements of K and irreducible operators Ais treated, and it is noted that, if dim(X)>1, then thereexists an xK–{0} which is not a quasi-interior point.The motivation for the results is recent work of Toland, whoconsidered the case in which X is a Hilbert space and A is self-adjoint;the theorems in the paper generalize several of Toland's propositions.     

Second-order operators with degenerate coefficients

We consider properties of second-order operators on ^d with bounded real symmetric measurable coefficients.We assume that C = (c_ij) 0 almost everywhere, but allow forthe possibility that C is degenerate. We associate with H acanonical self-adjoint viscosity operator H₀ and examine propertiesof the viscosity semigroup S⁽⁰⁾ generated by H₀. The semigroupextends to a positive contraction semigroup on the L_p-spaceswith p [1, ]. We establish that it conserves probability andsatisfies L₂ off-diagonal bounds, and that the wave equationassociated with H₀ has finite speed of propagation. Nevertheless,S⁽⁰⁾ is not always strictly positive because separation of thesystem can occur even for subelliptic operators. This demonstratesthat subelliptic semigroups are not ergodic in general and theirkernels are neither strictly positive nor Hölder continuous.In particular, one can construct examples for which both upperand lower Gaussian bounds fail even with coefficients in C^2–(^d)with > 0.     

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

A Functional Relation for Accessory Parameters for Genus 2 Algebraic Curves with an Order 4 Automorphism

Let C be a genus 2 algebraic curve defined by an equation ofthe form y² = x(x² – 1)(x – a)(x – 1/a). Asis well known, the five accessory parameters for such an equationcan all be expressed in terms of a and the accessory parameter b corresponding to a. The main result of the paper is thatif a' = 1 – a², which in general yields a non-isomorphiccurve C', then b'a'(a'² – 1) = – – ba(a²– 1). This is proven by it being shown how the uniformizing functionfrom the unit disk to C' can be explicitly described in termsof the uniformizing function for C.     

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 Ramanujan's Double Inequality for the Gamma Function

Ramanujan presented (without proof) the following double inequalityfor the gamma function: .Recently, Karatsuba established that these inequalities holdfor x 1. We show that this can be slightly improved: the inequalitieshold for all x 0, even if we replace 1/100 by where f(x) = (1/)³[(x + 1)(e/x)^x]⁶–8x³–4x²–x.Moreover, and 1/30 are the best possible constant terms. 2000Mathematics Subject Classification 33B15 (primary); 26D15, 26D20(secondary).     

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.     

On the behaviour of blow-up interfaces for an inhomogeneous filtration equation

We study the asymptotic behaviour of blow-up interfaces of thesolutions to the one-dimensional nonlinear filtration equationin inhomogeneous media where m>1 isa constant and (x) = |x|^– (for |x| 1, with > 2) isa bounded, positive, smooth, and symmetric function. The initialdata are assumed to be smooth, bounded, compactly supported,symmetric, and monotone. It is known that due to the fast decayof the density (x) as |x| the support of the solution increasesunboundedly in a finite time T. We prove that as tT^– theinterface behaves like O((T – t)^–b), where the exponentb > 0 (which depends on m and only) is given by a uniqueself-similar solution of the second kind satisfying the equation|x|^– u_t = (u^m)_xx. The corresponding rescaled profilesalso converge. We establish the stability of the self-similarsolution of the second kind for the exponential density (x)=e^–|x|for |x| 1. We give a formal asymptotic analysis of the blow-upbehaviour for the non-self-similar density (x) = e^–|x|2.Several exact self-similar solutions and their correspondingasymptotics are constructed.     

A Mean Value Property of Poly-Temperatures on a Strip Domain

We consider the iterates of the heat operator on Rⁿ⁺¹={(X, t); X=(x₁, x₂, ..., x_n)Rⁿ, tR}. Let Rⁿ⁺¹ be a domain,and let m1 be an integer. A lower semi-continuous and locallyintegrable function u on is called a poly-supertemperatureof degree m if (–H)^mu0 on (in the sense of distribution). If u and –u are both poly-supertemperatures of degreem, then u is called a poly-temperature of degree m. Since His hypoelliptic, every poly-temperature belongs to C(), andhence (–H)^m u(X, t)=0 (X, t). For the case m=1, we simply call the functions the supertemperatureand the temperature. In this paper, we characterise a poly-temperature and a poly-supertemperatureon a strip D={(X, t);XRⁿ, 0<t<T} by an integral mean on a hyperplane. To state our result precisely,we define a mean A[·, ·]. This plays an essentialrole in our argument.