Quasi-Affinity in certain Classes of Operators

The family of operators S + V (, C, Re > 0), where V isan injective S-Volterra operator (that is, [S, V[ = V²) and— A — V^–1 generates a uniformly bounded C₀-semigroup,is studied in the context of similarity and of the weaker quasi-affinityrelation. It is shown that S is similar to S + V for all , C,Re > 1, and is a quasi-affine transform of S + tV for allt 0 and 0 < < 1.     

Finite groups in Stone-Cech compactifications

Let be an infinite cardinal and let G = ₂. Now let β Gbe the Stone–ech compactification of G as a discrete semigroup,and let =_<c_{β G} {xG\{0}:minsupp (x)}. We show that thesemigroup contains no nontrivial finite group.     

Sub- and Superadditive Properties of Fejer's sine Polynomial

Let be Fejér's sine polynomial. We prove the following statements.

1. The inequality holds for all x, y (0, ) with x + y < if and only if 0 and + rß 1.
2. The converse of the above inequality is valid for allx, y (0, ) with x + y < if and only if 0 and + rß 1.
3. For all n N and x, y [0, ] we have . Both bounds are best possible.

2000 Mathematics Subject Classification 42A05, 26D05 (primary),39B62 (secondary).     

On the Distribution of Denominators in Sylvester Expansions

For any x (0, 1], let the series be the Sylvester expansion of x. Galambos has shown that theLebesgue measure of the set [formula] is 1 when = e, the base of the natural logarithm. This paperprovides a proof that for any 1, A() has Hausdorff dimension1 when e. 2000 Mathematics Subject Classification 11K55 (primary),28A80 (secondary).     

Correction: on the Intersection Matrices of Curves lying on Irregular Algebraic Surfaces

Professor W. F. Hammond has kindly drawn my attention to a blunderin 4 of the above paper. He referred to the ( – 2r) xß submatrix D of the skew-symmetric matrix displayednear the top of page 181, of which it is asserted that it issquare and non-singular, and pointed out that, from the factthat the matrix of which D forms part is regular, it may onlybe deduced that the columns of D are linearly independent; thatis, it only follows that – 2r ß. The validity of the equation – 2r = ß is essentialto the succeeding argument and, fortunately, may be establishedby alternative means. Using the nomenclature of the paper, wehave on F the set ₁^*, ..., _2r^*, ₁^*, ..., _ß^* of independent3-cycles (independent because they cut independent 1-cycleson the curve C), which may be completed, to form a basis forsuch cycles on F, by a further set ₁', ..., _2q–2r–pof independent 3-cycles, each of which meets C in a cycle homologousto zero on C. The cycles ₁^*, ..., ^* are invariant cycles andare independent on F so that, if > 2r + ß, thereis a non-trivial linear combination ^* of these having zero intersectionon C with each of the cycles ₁^*, ..., _2r^*, ₁^*, ..., _ß^*.Thus we have. (^* ._k^*)c = 0 = (^* ._i^*)c i.e. (^* ._k^*) = 0 = (^* ._i^* on F (1 k 2r; 1 i ß). Furthermore, (_j . C) 0 on C and we have (^* ._j .C)_C = 0 i.e. (^* ._j) = 0 on F (1 j 2q – 2r – ß). It now follows that ^* 0 on F (for it has zero intersectionwith every member of a basic set of 3-cycles on F). But thiscondradicts the assumption that ^* is a non-trivial linear combinationof the independent cycles ₁^*, ...,^*; and hence < 2r + ß.     

Bounds for the Independence Number of Critical Graphs

In 1968 Vizing conjectured that any independent vertex set ofan edge-chromatic critical graph G contains at most half ofthe vertices of G, that is, (G|(G)|). Let be the maximum vertexdegree in a critical graph. For each , we determine c() suchthat (G)c()|V)|. 1991 Mathematics Subject Classification 05C15,05C70.     

There are Only Eleven Special Pisot Numbers

A special Pisot number is a Pisot number such that /(–1)is also a Pisot number. Lagarias, Porta and Stolarsky found11 special Pisot numbers. Here it is proved that there are nomore. Also, the one known Salem number with the property that/(–1) is a Pisot number is shown to be the only such number.1991 Mathematics Subject Classification 11R06.     

Logarithmic Convexity for Supremum Norms of Harmonic Functions

We prove the following convexity property for supremum normsof harmonic functions. Let be a domain in Rⁿ, ₀ and E a subdomainand a compact sebset of ,respectively. Then there exists a constant = (E, ₀, ) (0, 1) such that for all harmonic functions u on, the inequality is valid.The case of concentric balls E plays a key role in the proof.For positive harmonic funcitons ono osuch balls, we determinethe sharp constant in the inequlity.     

Correction: Abelian Varieties defined over their Fields of Moduli, I

Bull London Math. Soc, 4 (1972), 370–372. The proof of the theorem contains an error. Before giving acorrect proof, we state two lemmas. LEMMA 1. Let K/k be a cyclic Galois extension of degree m, let generate Gal (K/k), and let (A, I, ) be defined over K. Supposethat there exists an isomorphism :(A,I,) (A, I, ) over K suchthat v^m–1 ... = 1, where v is the canonical isomorphism(A^m, I^m, ^m) (A, I, ). Then (A, I, ) has a model over k, whichbecomes isomorphic to (A, I, ) over K. Proof. This follows easily from [7], as is essentially explainedon p. 371. LEMMA 2. Let G be an abelian pro-finite group and let : G Q/Z be a continuous character of G whose image has order p.Then either: (a) there exist subgroups G' and H of G such that H is cyclicof order p^m for some m, (G') = 0, and G = G' x H, or (b) for any m > 0 there exists a continuous character m ofG such that p^m _m = . Proof. If (b) is false for a given m, then there exists an element G, of order p^r for some r m, such that () ¦ 0. (Considerthe sequence dual to 0 Ker (p^m) G ^pm G). There exists an opensubgroup G_o of G such that (G₀) = 0 and has order p^r in G/G₀.Choose H to be the subgroup of G generated by , and then aneasy application to G/G₀ of the theory of finite abelian groupsshows the existence of G' (note that () ¦ 0 implies that is not a p-th. power in G). We now prove the theorem. The proof is correct up to the statement(iv) (except that (i) should read: F' k₁ F'ab). To removea minor ambiguity in the proof of (iv), choose to be an elementof Gal (F'_ab/k₂) whose image $$\stackrel{\&macr;}{\sigma}$$ in Gal (k₁/k₂) generates this last group. The error occursin the statement that the canonical map v : A^P A acts on pointsby sending a^p a; it, of course, sends a a. The proof is correct, however, in the case that it is possibleto choose so that ^p = 1 (in Gal (F'/k₂)). By applying Lemma 2 to G = Gal (F'_ab/k₂) and the map G Gal(k₁/k₂) one sees that only the following two cases have to beconsidered. (a) It is possible to choose so that ^pm = 1, for some m, andG = G' x H where G' acts trivially on k₁ and H is generatedby . (b) For any m > 0 there exists a field K, F'ab K k₁ k₂is a cyclic Galois extension of degree p^m. In the first case, we let K F'_ab be the fixed field of G'.Then (A, I, ), regarded as being defined over K, has a modelover k₂. Indeed, if m = 1, then this was observed above, butwhen m > 1 the same argument applies. In the second case, let : (A, I, ) (A$$\stackrel{\&macr;}{\sigma}$$, I$$\stackrel{\&macr;}{\sigma }$$, $$\stackrel{\&macr;}{\sigma}$$) be an isomorphism defined over k₁ and let v ... ^p–1 = µ(R). If is replaced by for some Aut_k1((A, I, )) then is replacedby ^P. Thus, as µ(R) is finite, we may assume that ^pm–1= 1 for some m. Choose K, as in (b), to be of degree p^m overk₂. Let _m be a generator of Gal (K/k₂) whose restriction tok₁ is $$\stackrel{\&macr;}{\sigma }$$. Then : (A, I, ) (A^{$$\stackrel{\&macr;}{\sigma }$$}, I^{$$\stackrel{\&macr;}{\sigma}$$}, ^{$$\stackrel{\&macr;}{\sigma }$$} = (A^{$$\stackrel{\&macr;}{\sigma}$$m}, I^{$$\stackrel{\&macr;}{\sigma }$$m}, ^{$$\stackrel{\&macr;}{\sigma}$$m} is an isomorphism defined over K and v ^mpm–1, ... ^m =^pm–1 = 1, and so, by) Lemma 1, (A, I, ) has a model overk₂ which becomes isomorphic to (A, I, over K. The proof may now be completed as before. Addendum: Professor Shimura has pointed out to me that the claimon lines 25 and 26 of p. 371, viz that µ(R) is a puresubgroup of _R^*t, does not hold for all rings R. Thus this condition,which appears to be essential for the validity of the theorem,should be included in the hypotheses. It holds, for example,if µ(R) is a direct summand of µ(F).     

Polar sets, Regular Points and Recurrent sets for the Symmetric and Increasing Stable Processes

In [8] S. J. Taylor enquired whether, or not, all stable processesof index , < 1, in R have the same polar sets. In [6] S.Orey answered this question in the affirmative. The object ofthis paper is to give a simple proof of this fact and to showthat the relationship between the stable processes of index is even stronger. We show that, with an obvious, modification,all stable processes of index , < 1, in R give rise to thesame regular points and recurrent sets.     

On a Theorem of Zarach Concerning the Global Pattern of Cardinals in Generic Extensions of Models of ZFC

Let M ZFC and let F: be a function on the ordinals of M.For which such F will there exist a model N of ZFC with thesame ordinals as M such that N is a cardinal if and only ifM () ( = _F())? A partial answer to this question was given in a theorem ofZarach. We present here a counter-example and correction tothis theorem. Our argument invokes results of Drake concerningthe collapse of weak cardinal powers in certain generic extensions. This work is supported in part by the National Research Councilof Canada under grant number A8216.     

Existence of Periodic Solutions in Nonlinear Asymmetric Oscillations

The existence of periodic solutions for the nonlinear asymmetricoscillator x' + x⁺ – rßx^– = h(t),(' =d/dt (is discussed, where , rß are positive constantssatisfying for some positive integer n N and h(t) L (0,2) is 2-periodic with x^±= max {±x,0}. 2000 Mathematics Subject Classification34C10, 34C25.     

Precise Spectral Asymptotics for Logistic Equations of Population Dynamics

The semilinear elliptic eigenvalue problem with superlinearpure power nonlinearity is considered. This problem is treatedfrom the standpoint of L²-theory and the precise asymptoticformula for the eigenvalue parameter = () as is established,where is the L²-norm of the solution u associated with . 2000Mathematics Subject Classification 35P30 (primary), 35J60 (secondary).     

Are All Uniform Algebras Amnm?

A Banach algebra a is AMNM if whenever a linear functional on a and a positive number satisfy |(ab)–(a)(b)|||a||·||b||for all a, b a, there is a multiplicative linear functional on a such that ||–||=o(1) as 0. K. Jarosz [1] asked whetherevery Banach algebra, or every uniform algebra, is AMNM. B.E. Johnson [3] studied the AMNM property and constructed a commutativesemisimple Banach algebra that is not AMNM. In this note weconstruct uniform algebras that are not AMNM. 1991 MathematicsSubject Classification 46J10.     

Smoothness of Holonomies for Codimension 1 Hyperbolic Dynamics

Hyperbolic invariant sets of C¹⁺ diffeomorphisms where eitherthe stable or unstable leaves are 1-dimensional are consideredin this paper. Under the assumption that the has local productstructure, the authors prove that the holonomies between the1-dimensional leaves are C¹⁺ for some 0 < < 1.     

A Combinatorial Application of the Maximal Ergodic Theorem

Let X be a compact space,µ a Borel probability measureon X, T: X X a measure preserving continuous transformationand g: X R a continuous function. Then for some yX, This Lemma is used to give an alternative proof of a resultby Ruzsa [6], which implies the following extension of a resultof Bergelson [1]. If E N satisfies then there exists a set N such that n–1|[1,n]| (E) for all, n 1, and any finite subset{₁, ... _k} satisfies Ø. 7 Moria St., Ramat Hasharon, Israel     

On the Behaviour of the First Eigenfunction of the p-Laplacian Near its Critical Points

In this paper, the behaviour of the positive eigenfunction of in u_| = 0, p > 1, isstudied near its critical points. Under some convexity and symmetryassumptions on , is seen to have a unique critical point atx = 0; also, the behaviour of both and is determined nearby.Positive solutions u to some general problems –_pu = f(u)in , u_| = 0, are also considered, with some convexity restrictionson u. 2000 Mathematics Subject Classification 35B05 (primary),35J65, 35J70 (secondary).     

Approximation of Ground State Eigenvalues and Eigenfunctions of Dirichlet Laplacians

Let be a bounded connected open set in R^N, N 2, and let –0be the Dirichlet Laplacian defined in L²(). Let > 0 be thesmallest eigenvalue of –, and let > 0 be its correspondingeigenfunction, normalized by ||||₂ = 1. For sufficiently small>0 we let R() be a connected open subset of satisfying Let – 0 be the Dirichlet Laplacian on R(), and let >0and >0 be its ground state eigenvalue and ground state eigenfunction,respectively, normalized by ||||₂=1. For functions f definedon , we let Sf denote the restriction of f to R(). For functionsg defined on R(), we let Tg be the extension of g to satisfying 1991 Mathematics SubjectClassification 47F05.     

On Periodic Expansions of Pisot Numbers and Salem Numbers

Let ß > 1 be a real number, and let T_ßbe the associated ß-transformation of the unit interval[0,1) given by T_ß = ß (mod 1). We writeQ for the set of rational numbers, Q (ß) for the smallestsub-field of the reals containing ß, and Per (ß)for the set of (eventually) periodic points for T_ß,i.e. for the set of points whose orbits under T_ß,are finite. In this note we prove the following results: (1) If Q [0,1) Per (ß), then ß is eithera Pisot- or a Salem-number. (2) If ß is a Pisot-number, then Per (ß)= Q(ß) [0,1). The last section contains explicit formulae for the cardinalitiesof the sets {T^k_ß: k 0}, Q [0, 1), if ßsatisfies an equation ß² = nß + 1 with n 1. Present address: Mathematics Institute, University of Warwick,Coventry CV4 7AL.     

The structure of the normalisers of the congruence subgroups of the Hecke group G5

Let = 2cos (/5) and let []. Denote the normaliser ofG₀() of the Hecke group G₅ in PSL₂() by N(G₀()). Then N(G₀())= G₀(/h), where h is the largest divisor of 4 such that h² divides. Further, N(G₀())/G₀() is either 1 (if h = 1), ₂ x ₂ (if h= 2) or ₄ x ₄ (if h = 4).