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

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.     

A Comparison Estimate for the Heat Equation with an Application to the Heat Content of the S-Adic Von Koch Snowflake

Let D be an open set in Euclidean space R^m with boundary D,and let :D[0, ) be a bounded, measurable function. Let u:DDx[0,)[0, ) be the unique weak solution of the heat equation [formula] with initial condition [formula] and with inhomogeneous Dirichlet boundary condition [formula] Then u(x; t) represents the temperature at a point xD at timet if D has initial temperature 0, while the temperature at apoint xD is kept fixed at (x) for all t>0. We define thetotal heat content (or energy) in D at time t by [formula] In this paper we wish to examine the effect of imposing additionalcooling on some subset C on both u and E_D. 1991 MathematicsSubject Classification 35K05, 60J65, 28A80.     

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.     

Asymptotics of the m-Coefficient for Eigenvalue Problems with Eigenparameter in the Boundary Conditions

For Sturm-Liouville problems on [a, ) with a regular -dependentboundary condition at a, and the limit point case at , a techniqueof W. N. Everitt [1] is employed to obtain asymptotic formulaefor the associated m()-functions on rays and lines in the complex-plane. The method relies on asymptotic formulae for solutionsof the initial value problem for –u'+qu = u, as || ,which the author has given in [4]. For the case of the regularleft endpoint, the asymptotic formulae on vertical lines sufficeto provide a direct proof of the formula for the total variationof the associated spectral function, a question which the authorhad raised in [3; Remark 5.2].     

Analytic Discs Attached From the Outside Have Knotted Boundaries

Let be a pseudoconvex domain in C² with smooth boundary, andlet be a smooth embedded analytic disc intersecting transversally along the curve A. Then A isknotted in . 2000 Mathematics Subject Classification 32U99.     

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 + ß.     

A Variation on a Theorem of Galvin and Hajnal

Let be a singular cardinal of regular uncountable cofinality. Let {(): < } be a continuous increasing sequence withlimit , and let =₍₎₊₍₎, < be regular cardinals. Let I be a normal ideal on , and assume that the reduced product_</I admits a cofinal -scale of ordinal functions. Then ₊, where =||||_I is the I-norm of .     

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.     

The A-Polynomial has Ones in the Corners

1. Definition of the A-polynomial The A-polynomial was introduced in [3] (see also [5]), and wepresent an alternative definition here. Let M be a compact 3-manifoldwith boundary a torus T. Pick a basis , µ of ₁T, whichwe shall refer to as the longitude and meridian. Consider thesubset R_U of the affine algebraic variety R = Hom (₁M, SL₂C)having the property that () and (µ) are upper triangular.This is an algebraic subset of R, since one just adds equationsstating that the bottom-left entries in certain matrices arezero. There is a well-defined eigenvalue map given by taking the top-left entries of () and (µ).1991 Mathematics Subject Classification 57M25, 57M50.     

Corrigendum: Elliptic Curves and Quadratic Recurrence Sequences

The statement of the numerical values and z₀ on page 167 of[1, Section 3] contained an error. The values that were actuallyused were (to nine decimal places): thesebeing shifted, by the periods 2₁ and 2₃ respectively, comparedwith the values given in [1] (with ₁ = 1.496729323 and ₃ = 1.225694691i).With ₀ = ₁ and (z) denoting the sigma function (z; g2, g3) withinvariants g2 = 4, g3 = –1 associated with the ellipticcurve given by equation (3.2), these values of and z₀ yield and the latter three values all agreewith those stated in the paper (apart from rounding down thelast digit in the imaginary part of A). 2000 Mathematics SubjectClassification 11B37 (primary), 33E05, 37J35 (secondary).     

Packing, Tiling, Orthogonality and Completeness

Let R^d be an open set of measure 1. An open set DR^d is calleda ‘tight orthogonal packing region’ for if D–Ddoes not intersect the zeros of the Fourier transform of theindicator function of , and D has measure 1. Suppose that isa discrete subset of R^d. The main contribution of this paperis a new way of proving the following result: D tiles R^d whentranslated at the locations if and only if the set of exponentialsE = {exp 2i, x: } is an orthonormal basis for L²(). (This resulthas been proved by different methods by Lagarias, Reeds andWang [9] and, in the case of being the cube, by Iosevich andPedersen [3]. When is the unit cube in R^d, it is a tight orthogonalpacking region of itself.) In our approach, orthogonality ofE is viewed as a statement about ‘packing’ R^d withtranslates of a certain non-negative function and, additionally,we have completeness of E in L²() if and only if the above-mentionedpacking is in fact a tiling. We then formulate the tiling conditionin Fourier analytic language, and use this to prove our result.2000 Mathematics Subject Classification 52C22, 42B99, 11K70.     

Superharmonic Extension from the Boundary of a Domain

A sharp geometric condition is given for a bounded domain tohave the property that for each superharmonic function u ona neighbourhood of , there is a superharmonic function on Rⁿsuch that = u on .     

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.     

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.     

Boundaries of reduced free group C*-algebras

We prove that the crossed product C*-algebra C*_r(, ) of a freegroup with its boundary sits naturally between the reducedgroup C*-algebra C*_r and its injective envelope I(C*_r). In otherwords, we have natural inclusion C*_r C*_r(, ) I(C*_r) of C*-algebras.     

The Series of Norms in a Soluble p-Group

The norm of a group G is the subgroup of elements of G whichnormalise every subgroup of G. We shall denote it (G). An ascendingseries of subgroups _i(G) in G may be defined recursively by:₀(G) = 1 and, for i 0, _i+1(G)/_i(G) = (G/_i(G)). For each i,the section _i+1(G)/i(G) clearly contains the centre of the groupG/_i(G). A result of Schenkman [8] gives a very close connectionbetween this norm series and the upper central series: _i(G) _i(G) _2i(G). 1991 Mathematics Subject Classification 20E15.     

Calculs De Facteurs Epsilon De Paires Pour GLn Sur Un Corps Local, I

Soient F un corps commutatif localement compact non archimédienet un caractère additif non trivial de F. Soient unereprésentation du groupe de Weil–Deligne de F,et sa contragrédiente. Nous calculons le facteur (, , ). De manière analogue, nous calculons le facteur (x, , ) pour toute représentationadmissible irréductible de GL_n(F). En conséquence,si F est de caractéristique nulle et si et se correspondentpar la correspondance de Langlands construite par M. Harris,ou celle construite par les auteurs, alors les facteurs (, , s) et (x, , s) sont égaux pour tout nombre complexe s. Let F be a non-Archimedean local field and a non-trivial additivecharacter of F. Let be a representation of the Weil–Delignegroup of F and its contragredient representation. We compute (, , ). Analogously, we compute (x, , ) for all irreducible admissible representations of GL_n(F).Consequently, if F has characteristic zero, and , correspondvia the Langlands correspondence established by M. Harris orthe correspondence constructed by the authors, then we have(, , s) = (x, , s) for all sC. 1991 Mathematics Subject Classification22E50.     

Multi-Bubble Solutions for Slightly Super-Critical Elliptic Problems in Domains with Symmetries

The aim of this paper is to show the existence of solutionswith an arbitrarily large number of bubbles for the slightlysuper-critical elliptic problem in , subject to the conditions that u > 0 in , and u = 0on , where > 0 is a small parameter and R^N is a boundeddomain with certain symmetries, for instance an annulus or atorus in R³. 2000 Mathematics Subject Classification 35J25 (primary);35J20, 35J60 (secondary).     

On Transitive Permutation Groups with Primitive Subconstituents

Let G be a transitive permutation group on a set such that,for , the stabiliser G induces on each of its orbits in \{}a primitive permutation group (possibly of degree 1). Let Nbe the normal closure of G in G. Then (Theorem 1) either N factorisesas N=GG for some , , or all unfaithful G-orbits, if any exist,are infinite. This result generalises a theorem of I. M. Isaacswhich deals with the case where there is a finite upper boundon the lengths of the G-orbits. Several further results areproved about the structure of G as a permutation group, focussingin particular on the nature of certain G-invariant partitionsof . 1991 Mathematics Subject Classification 20B07, 20B05.