A Necessary and Sufficient Condition for a Linear Differential System to be Strongly Monotone

In order to present the results of this note, we begin withsome definitions. Consider a differential system [formula] where IR is an open interval, and f(t, x), (t, x)IxRⁿ, is acontinuous vector function with continuous first derivativesf_r/x_s, r, s=1, 2, ..., n. Let D_xf(t, x), (t, x)IxRⁿ, denote the Jacobi matrix of f(t,x), with respect to the variables x₁, ..., x_n. Let x(t, t₀,x₀), tI(t₀, x₀) denote the maximal solution of the system (1)through the point (t₀, x₀)IxRⁿ. For two vectors x, yRⁿ, we use the notations x>y and x>>yaccording to the following definitions: [formula] An nxn matrix A=(a_rs) is called reducible if n2 and there existsa partition [formula] (p1, q1, p+q=n) such that [formula] The matrix A is called irreducible if n=1, or if n2 and A isnot reducible. The system (1) is called strongly monotone if for any t₀I, x₁,x₂Rⁿ [formula] holds for all t>t₀ as long as both solutions x(t, t₀, x_i),i=1, 2, are defined. The system is called cooperative if forall (t, x)IxRⁿ the off-diagonal elements of the nxn matrix D_xf(t,x) are nonnegative. 1991 Mathematics Subject Classification34A30, 34C99.     

Anzai Skew Products with Lebesgue Component of Infinite Multiplicity

Let f be a 1-periodic C¹-function whose Fourier coefficientssatisfy the condition _n|n|³|f(n|² < . For every R\Q andm Z\{0}, we consider the Anzai skew product T(x, y) = (x +, y + mx + f(x)) acting on the 2-torus. It is shown that T hasinfinite Lebesgue spectrum on the orthocomplement L²(dx) ofthe space of functions depending only on the first variable.This extends some earlier results of Kushnirenko, Choe, Lemaczyk,Rudolph, and the author. 1991 Mathematics Subject Classification28D05.     

Classification Des Ideaux a Droite De A1(k)

Les études récentes sur les idéaux àdroite de A₁(k), la première algèbre de Weyl surun corps algébriquement clos et de caractéristiquenulle k, nous montrent que : pour tout idéal I 0 àdroite de A₁(k), il existe x Q = frac(A₁(k)), et V V telsque : I = xD(R, V) o V est l'ensemble des sous-espaces primairementdécomposables de k[t] = R, et D(R, V), l'idéalà droite {d A₁(k/d(R V}. Dans cet article nous montreronsprincipalement que: pour tout 0 I idéal à droitede A₁(k, !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),où X_n est la courbe d'algèbre des fonctions régulières: O(X_n = k+tⁿ⁺¹k[t]. La forme des idéaux décriteci-dessus permet de voir dans une hypothèse de Letzteret Makar-Limanov, pour deux courbes algébriques affinesX et X' on a : D(XD(X') co dim D(X = co dim D(X'). Recent studies on right ideals of the first Weyl algebra A₁(k)over an algebraic closed field k with characteristic zero showthat: for each right ideal I 0 of A₁(k), there exist x Q =fracA₁(k)) and a primary decomposable sub-space V of k[t] suchthat I=xD(R,V), where D(R,V) : = {d A₁(k)/d(R) V} is a rightideal of A₁(k). In this paper, we show that for all right idealsI 0 of A₁(k), !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),where X_n denotes the affine algebraic curve with ring of regularfunctions O(X_n=k+tⁿ⁺¹k[t]. With ideals as described above, onecan easily see, under a hypothesis given by Letzter and Makar-Limanov,that for two affine algebraic curves X and X', D(X)D(X') codim D(X) = co dim D(X'). 2000 Mathematics Subject Classification16S32.     

Cocroissance Des Groupes A Petite Simplification

Let be a group presented by e₁,...,e_m|r₁,...,r_k, L the freegroup generated by e₁,...,e_m, and N = Ker(L). Let c_n be thenumber of elements of length n in N. We know that c = lim sup(c_n)^1/n exists and that (2m–1) < c 2m – 1. ifN {1}. We prove that if the group satisfies a condition slightlyweaker than the small cancellation condition C^'() with <1/6, then c(2m–1) when the lengths of the relations r_itend to infinity. A consequence of this result is a theoremof Grigorchuk.     

Evaluation of Superharmonic Functions Using Limits Along Lines

If u is a superharmonic function on R², then [formula] for all (x, y) R². This follows from the fact that a line segmentin R² is non-thin at each of its constituent points. (See Doob[1, 1.XI] or Helms [7, Chapter 10] for an account of thin setsand the fine topology.) The situation is different in higherdimensions. For example, if u is the Newtonian potential onR³ defined by [formula] then [formula] Corollary 2 below will show that, nevertheless, for nearly everyvertical line L, the value of a superharmonic function at anypoint X of L is determined by its lower limit along L at X. Throughout this paper, we let n 3. A typical point of Rⁿ willbe denoted by X or (X', x), where X'R^n–1 and xR. Givenany function f:Rⁿ [–,+] and any point X, we define thevertical cluster set of f at X by [formula] and the fine cluster set of f at X by [formula] 1991 Mathematics Subject Classification 31B05.     

An Euler-Type Version of the Local Steiner Formula for Convex Bodies

The purpose of this note is to establish a new version of thelocal Steiner formula and to give an application to convex bodiesof constant width. This variant of the Steiner formula generalizesresults of Hann [3] and Hug [6], who use much less elementarytechniques than the methods of this paper. In fact, Hann askedfor a simpler proof of these results [4, Problem 2, p. 900].We remark that our formula can be considered as a Euclideananalogue of a spherical result proved in [2, p. 46], and thatour method can also be applied in hyperbolic space. For some remarks on related formulas in certain two-dimensionalMinkowski spaces, see Hann [5, p. 363]. For further information about the notions used below, we referto Schneider's book [9]. Let Kⁿ be the set of all convex bodiesin Euclidean space Rⁿ, that is, the set of all compact, convex,non-empty subsets of Rⁿ. Let S^n–1 be the unit sphere.For KKⁿ, let NorK be the set of all support elements of K, thatis, the pairs (x, u)RⁿxS^n–1 such that x is a boundarypoint of K and u is an outer unit normal vector of K at thepoint x. The support measures (or generalized curvature measures)of K, denoted by ₀(K.), ..., _n–1(K.), are the unique Borelmeasures on RⁿxS^n–1 that are concentrated on NorK andsatisfy [formula] for all integrable functions f:RⁿR; here denotes the Lebesguemeasure on Rⁿ. Equation (1), which is a consequence and a slightgeneralization of Theorem 4.2.1 in Schneider [9], is calledthe local Steiner formula. Our main result is the following.1991 Mathematics Subject Classification 52A20, 52A38, 52A55.     

Morphisms Between Koszul Complexes II

Let K. denote the graded Koszul complex associated to the regularsequence (x₀, ..., x_n) in the graded polynomial ring A = k[x₀,..., x_n], |x_i| = 1 for all i, over an arbitrary field k. Let denote the Koszul complex associated to another regular sequence of homogeneous elements(p₀, ..., p_n) in A. In [5] we have studied ranks of graded chaincomplex morphisms with the property f₀ = id. Let ^k (respectively, '^k) denote the kernelof the Koszul differential d: K_k K_k–1 (respectively,), and let denote the restriction of f_k. The main result wasthat Rank . 1991 MathematicsSubject Classification 13D25.     

Irregularities of Point Distribution Relative to Convex Polygons III

Suppose that P is a distribution of N points in the unit squareU=[0, 1]². For every x=(x₁, x₂)U, let B(x)=[0, x₁]x[0, x₂] denotethe aligned rectangle containing all points y=(y₁, y₂)U satisfying0y₁x₁ and 0y₂x₂. Denote by Z[P; B(x)] the number of points ofP that lie in B(x), and consider the discrepancy function D[P; B(x)]=Z[P; B(x)]–Nµ(B(x)), where µ denotes the usual area measure.     

Peripheral Spectra of Order-Preserving Normal Operators

Let X be a real Banach space. A set K X is called a total coneif it is closed under addition and non-negative scalar multiplication,does not contain both x and –x for any non-zero xX, andis such that K–K:= {x–y:x, yK} is dense in X. Supposethat T is a bounded linear operator on X which leaves a closedtotal cone K invariant. We denote by (T) and r(T) the spectrumand spectral radius of T. Krein and Rutman [5] showed that if T is compact, r(T) >0 and K is normal (that is, inf{||x + y||: x, y K, ||x|| =||y|| = 1} > 0), then r(T) is an eigenvalue of T with aneigenvector in K. This result was later extended by Nussbaum[6] to any bounded operator T such that r_e(T)<r(T), wherer_e(T) denotes the essential spectral radius of T, without thehypothesis of normality. The more general question of whetherr(T) (T) for all bounded operators T was answered in the negativeby Bonsall [1], who as well as giving counterexamples describeda property of K called the bounded decomposition property, whichis sufficient to guarantee that r(T) (T). More recently, Toland [8] showed that if X is a separable Hilbertspace and T is self-adjoint, then r(T) (T), without any extrahypotheses on K. In this paper we extend Toland's results tonormal operators on Hilbert spaces, removing in passing theseparability hypothesis. 1991 Mathematics Subject Classification47B65.     

Nonoscillation of Elliptic Integrals Related to Cubic Polynomials with Symmetry of Order Three

We study zeros of elliptic integrals I(h)=_HhR(x,y)dxdy, whereH(x,y) is a real cubic polynomial with a symmetry of order three,and R(x,y) is a real polynomial of degree at most n. It turnsout that the vector space A_n formed by such integrals is a Chebishevsystem: the number of zeros of each elliptic integral I(h)A_nis less than the dimension of the vector space A_n. 1991 MathematicsSubject Classification 34C10.     

A Class of Infinite Dimensional Simple Lie Algebras

Let A be an abelian group, F be a field of characteristic 0,and , ß be linearly independent additive maps fromA to F, and let ker()\{0}. Then there is a Lie algebra L = L(A,, ß, ) = _xA Fe_x under the product [e_x, e_y]]=(x–y)e_x+y+(ß) (x, y) e_x+y–. If, further, ß() = 1, and ß(A) = Z, thereis a subalgebra L⁺:=L(A⁺, , ß, ) = _xA⁺ Fe_x, whereA⁺ = {xA|ß(x)0}. The necessary and sufficient conditionsare given for L' = [L, L] and L⁺ to be simple, and all semi-simpleelements in L' and L⁺ are determined. It is shown that L' andL⁺ cannot be isomorphic to any other known Lie algebras andL' is not isomorphic to any L⁺, and all isomorphisms betweentwo L' and all isomorphisms between two L⁺ are explicitly described.     

Traces and extensions of matrix-weighted Besov spaces

Let V be a matrix weight on ⁿ⁺¹ and let W be a matrix weighton ⁿ, satisfying, for example, the matrix A_p condition. Definethe trace, or restriction, operator Tr by Tr (f)(x^')=f(x^', 0),where x^'n and f is a function on ⁿ⁺¹. If –1/p>n (1/p–1)₊+(β–n)/p,where β is the doubling exponent of W, then the trace operatoris bounded from into (matrix-weighted Besov spaces) if and only ifthe weights V and W uniformly satisfy an estimate controllingthe average of on anydyadic cube I ⁿ by the average of on Q(I)=Ix[0, (I)], for all . If V and W satisfy the converse inequality, then there existsa continuous linear map .If both inequalities hold, then Tr Ext is the identity on .     

Some New and Old Asymptotic Representations of the Jost Solution and the Weyl m-Function For Schrodinger Operators on the Line

For the general one-dimensional Schrödinger operator –d²/dx²+q(x) with real q L₁(R), this paper presents a new series representationof the Jost solution which, in turn, implies a new asymptoticrepresentation of the Weyl m-function for locally summable q.This representation is then applied to smooth potentials q toobtain Weyl m-function power asymptotics. The condition q^(N) L₁(x₀, x₀ + ), for N N₀, allows one to derive the (N + 1)term for almost all x [x₀, x₀ + ), thereby refining a relevantresult by Danielyan, Levitan and Simon. 2000 Mathematics SubjectClassification 34E05, 34L40 (primary), 34B20, 34L25 (secondary).     

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 problem of Hirst on continued fractions with sequences of partial quotients

Let B denote an infinite sequence of positive integers b₁ <b₂ < ..., and let denote the exponent of convergence ofthe series _{n = 1} 1/b_n; that is, = inf {s 0 : _{n = 1} 1/b_n^s <}. Define E(B) = {x [0, 1]: a_n(x) B (n 1) and a_n(x) asn }. K. E. Hirst [Proc. Amer. Math. Soc. 38 (1973) 221–227]proved the inequality dim_H E(B) /2 and conjectured (see ibid.,p. 225 and [T. W. Cusick, Quart. J. Math. Oxford (2) 41 (1990)p. 278]) that equality holds. In this paper, we give a positiveanswer to this conjecture.     

Volume of a small Extrinsic Ball in a Submanifold

For a submanifold M^p R, we determine a two-term asymptoticformula for vol (M^p B(x)) for x M^p as 0. The second termis a quadratic curvature invariant of the second fundamentalform of the imbedding. Imbedded spheres are characterized amongcompact hypersurfaces by this term.     

Cluster Sets of Harmonic Functions at the Boundary of a Half-Space

The purpose of this paper is to answer some questions posedby Doob [2] in 1965 concerning the boundary cluster sets ofharmonic and superharmonic functions on the half-space D givenby D = R^n–1 x (0, + ), where n 2. Let f: D [–,+] and let Z D. Following Doob, we write B_Z (respectively C_Z)for the non-tangential (respectively minimal fine) cluster setof f at Z. Thus l B_Z if and only if there is a sequence (X_m)of points in D which approaches Z non-tangentially and satisfiesf(X_m) l. Also, l C_Z if and only if there is a subset E ofD which is not minimally thin at Z with respect to D, and whichsatisfies f(X) l as X Z along E. (We refer to the book byDoob [3, 1.XII] for an account of the minimal fine topology.In particular, the latter equivalence may be found in [3, 1.XII.16].)If f is superharmonic on D, then (see [2, 6]) both sets B_Z andC_Z are subintervals of [–, +]. Let denote (n –1)-dimensional measure on D. The following results are due toDoob [2, Theorem 6.1 and p. 123]. 1991 Mathematics Subject Classification31B25.     

Exceptional Functions and Normality

Yang proved in [10] that if f and f^(k) have no fix-points forevery fF, where F is a family of meromorphic functions in adomain G and k a fixed integer, then F is normal in G. In thispaper we prove normality for families F for which every fF omits₁ and f^(k) omits ₂, where ₁ and ₂ are analytic functions with. 1991 Mathematics SubjectClassification 30D35, 30D45.     

A Relation between Hausdorff Dimension and a Condition on Time Sets for the Image by the Brownian Sheet to Possess Interior Points

We prove that if W_{N, d} is a Brownian sheet mapping to R^d and E is a set in (0, )^N of Hausdorff dimensiongreater than , then for almost every rotation about a point x and translation _x such that _x(E) (0, )^N, the set _x(E) is such that almost surely W(E) containsinterior points. The techniques are adapted from Kahane andRosen and generalize to higher dimensional time and range.     

On Positive Multipeak Solutions of a Nonlinear Elliptic Problem

In this paper we continue our investigation in [5, 7, 8] onmultipeak solutions to the problem –²u+u=Q(x)|u|^q–2u, xR^N, uH¹(R^N) (1.1) where = ^N_i=1²/x²_i is the Laplace operator in R^N, 2 < q < for N = 1, 2, 2 < q < 2N/(N–2) for N3, and Q(x)is a bounded positive continuous function on R^N satisfying thefollowing conditions. (Q₁) Q has a strict local minimum at some point x₀R^N, that is,for some > 0 Q(x)>Q(x₀) for all 0 < |x–x₀| < . (Q₂) There are constants C, > 0 such that |Q(x)–Q(y)|C|x–y| for all |x–x₀| , |y–y₀| . Our aim here is to show that corresponding to each strict localminimum point x₀ of Q(x) in R^N, and for each positive integerk, (1.1) has a positive solution with k-peaks concentratingnear x₀, provided is sufficiently small, that is, a solutionwith k-maximum points converging to x₀, while vanishing as 0 everywhere else in R^N.