Quasilinear Elliptic Equations and Inequalities with Rapidly Growing Coefficients

Let us consider the boundary value problem where R^N is a bounded domain with smooth boundary (for example,such that certain Sobolev imbedding theorems hold). Let :RR, (s)=A(s²)s Then, if (s) = |s|^p–1s, p > 1, problem (1) is fairlywell understood and a great variety of existence results areavailable. These results are usually obtained using variationalmethods, monotone operator methods or fixed point and degreetheory arguments in the Sobolev space . If, on the other hand, we assume that is an oddnondecreasing function such that (0)=0, (t)>0, t>0, and is right continuous, then a Sobolev space setting for the problem is not appropriateand very general results are rather sparse. The first generalexistence results using the theory of monotone operators inOrlicz–Sobolev spaces were obtained in [5] and in [9,10]. Other recent work that puts the problem into this frameworkis contained in [2] and [8]. It is in the spirit of these latter papers that we pursue thestudy of problem (1) and we assume that F:xRR is a Carathéodoryfunction that satisfies certain growth conditions to be specifiedlater. We note here that the problems to be studied, when formulatedas operator equations, lead to the use of the topological degreefor multivalued maps (cf. [4, 16]). We shall see that a natural way of formulating the boundaryvalue problem will be a variational inequality formulation ofthe problem in a suitable Orlicz–Sobolev space. In orderto do this we shall have need of some facts about Orlicz–Sobolevspaces which we shall give now.     

Geometric Approximation Of The Fibre Of The Freudenthal Suspension

Let Rat_k(CPⁿ) denote the space of based holomorphic maps ofdegree k from the Riemannian sphere S² to the complex projectivespace CPⁿ. The basepoint condition we assume is that f()=[1,..., 1]. Such holomorphic maps are given by rational functions: Rat_k(CPⁿ) ={(p₀(z), ..., p_n(z)):each p_i(z) is a monic, degree-kpolynomial and such that there are no roots common to all p_i(z)}.(1.1) The study of the topology of Rat_k(CPⁿ) originated in [10]. Later,the stable homotopy type of Rat_k(CPⁿ) was described in [3] interms of configuration spaces and Artin's braid groups. LetW(S²ⁿ) denote the homotopy theoretic fibre of the Freudenthalsuspension E:S²ⁿ S²ⁿ⁺¹. Then we have the following sequenceof fibrations: ²S²ⁿ⁺¹ W(S²ⁿ)S²ⁿ S²ⁿ⁺¹. A theorem in [10] tellsus that the inclusion Rat_k(CPⁿ) ²_kCP^{n 2}S²ⁿ⁺¹ is a homotopy equivalenceup to dimension k(2n–1). Thus if we form the direct limitRat(CPⁿ)= lim_k Rat_k(CPⁿ), we have, in particular, that Rat(CPⁿ)is homotopy equivalent to ²S²ⁿ⁺¹. If we take the results of [3] and [10] into account, we naturallyencounter the following problem: how to construct spaces X_k(CPⁿ),which are natural generalizations of Rat_k(CPⁿ), so that X(CPⁿ)approximates W(S²ⁿ). Moreover, we study the stable homotopytype of X_k(CPⁿ). The purpose of this paper is to give an answer to this problem.The results are stated after the following definition. 1991Mathematics Subject Classification 55P35.     

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.     

Discontinuous Homomorphisms from Non-Commutative Banach Algebras

In the 1970s, a question of Kaplansky about discontinuous homomorphismsfrom certain commutative Banach algebras was resolved. Let Abe the commutative C*-algebra C(), where is an infinite compactspace. Then, if the continuum hypothesis (CH) be assumed, thereis a discontinuous homomorphism from C() into a Banach algebra[2, 7]. In fact, let A be a commutative Banach algebra. Then(with (CH)) there is a discontinuous homomorphism from A intoa Banach algebra whenever the character space _A of A is infinite[3, Theorem 3] and also whenever there is a non-maximal, primeideal P in A such that |A/P|=2^₀ [4, 8]. (It is an open questionwhether or not every infinite-dimensional, commutative Banachalgebra A satisfies this latter condition.) 1991 MathematicsSubject Classification 46H40.     

Beardon's Diophantine Equations and Non-Free Mobius Groups

Let µ be a real number. The Möbius group G_µis the matrix group generated by It is known that G_µ is free if |µ| 2 (see [1])or if µ is transcendental (see [3, 8]). Moreover, thereis a set of irrational algebraic numbers µ which is densein (–2, 2) and for which G_µ is non-free [2, p. 528].We may assume that µ > 0, and in this paper we considerrational µ in (0, 2). The following problem is difficult. Let G^nf denote the set of all rational numbers µ in (0,2) for which G_µ is non-free. In 1969 Lyndon and Ullman[8] proved that G^nf contains the elements of the forms p/(p²+ 1) and 1/(p + 1), where p = 1, 2, ..., and that if µ₀ G^nf, then µ₀/p G^nf for p = 1, 2, .... In 1993 Beardon[2] studied problem (P) by means of the words of the form A^rB^s A^t and A^r B^s A^t B^u A^v, and he obtained a sufficient conditionfor solvability of (P), included implicitly in [2, pp. 530–531],by means of the following Diophantine equations: 1991 Mathematics SubjectClassification 20E05, 20H20, 11D09.     

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.     

A note on least-squares mixed finite elements in relation to standard and mixed finite elements

^** Email: brandts{at}science.uva.nl The least-squares mixed finite-element method for second-orderelliptic problems yields an approximation u_h V_h H₀¹() of thepotential u together with an approximation p_{h h} H(div ; )of the vector field p = – Au. Comparing u_h with the standardfinite-element approximation of u in V_h, and p_h with the mixedfinite-element approximation of p, it turns out that they arehigher-order perturbations of each other. In other words, theyare ‘superclose’. Refined a priori bounds and superconvergenceresults can now be proved. Also, the local mass conservationerror is of higher order than could be concluded from the standarda priori analysis.     

Base Sizes and Regular Orbits for Coprime Affine Permutation Groups

Let G be a permutation group on a finite set . A sequence B=(₁,..., _b) of points in is called a base if its pointwise stabilizerin G is the identity. Bases are of fundamental importance incomputational algorithms for permutation groups. For both practicaland theoretical reasons, one is interested in the minimal basesize for (G, ), For a nonredundant base B, the elementary inequality2^|B||G|||^|B| holds; in particular, |B|log|G|/log||. In the casewhen G is primitive on , Pyber [8, p. 207] has conjectured thatthe minimal base size is less than Clog|G|/log|| for some (large)universal constant C. It appears that the hardest case of Pyber's conjecture is thatof primitive affine groups. Let H=GV be a primitive affine group;here the point stabilizer G acts faithfully and irreduciblyon the elementary abelian regular normal subgroup V of H, andwe may assume that =V. For positive integers m, let mV denotethe direct sum of m copies of V. If (v₁, ..., v_m)mV belongsto a regular G-orbit, then (0, v₁, ..., v_m) is a base for theprimitive affine group H. Conversely, a base (₁, ..., _b) forH which contains 0V= gives rise to a regular G-orbit on (b–1)V. Thus Pyber's conjecture for affine groups can be viewed asa regular orbit problem for G-modules, and it is therefore aspecial case of an important problem in group representationtheory. For a related result on regular orbits for quasisimplegroups, see [4, Theorem 6].     

On the Existence of Extremals for the Sobolev Trace Embedding Theorem with Critical Exponent

In this paper, the existence problem is studied for extremalsof the Sobolev trace inequality W^1,p()L^p*(), where is a boundedsmooth domain in R^N, p*=p(N–1)/(N–p), is the criticalSobolev exponent, and 1 < p < N. 2000 Mathematics SubjectClassification 35J65 (primary), 35B33 (secondary).     

Examples of Non-Homeomorphic Harmonic Maps Between Negatively Curved Manifolds

Let M and N be closed non-positively curved manifolds, and letf:MN be a smooth map. Results of Eells and Sampson [1] showthat f is homotopic to a harmonic map , and Hartman [6] showedthat this is unique when N is negatively curved and f_*(₁ M)is not cyclic. Lawson and Yau conjectured that if f:MN is ahomotopy equivalence, where M and N are negatively curved, thenthe unique harmonic map homotopic to f would be a diffeomorphism.Counterexamples to this conjecture appeared in [2], and laterin [7] and [5]. There remains the question of whether a ‘topological’Lawson–Yau conjecture holds. 1991 Mathematics SubjectClassification 53C20, 55P10, 57C25, 58E20.     

Limits Along Parallel Lines and the Classical Fine Topology

The fine topology on Rⁿ (n2) is the coarsest topology for whichall superharmonic functions on Rⁿ are continuous. We refer toDoob [11, 1.XI] for its basic properties and its relationshipto the notion of thinness. This paper presents several theoremsrelating the fine topology to limits of functions along parallellines. (Results of this nature for the minimal fine topologyhave been given by Doob – see [10, Theorem 3.1] or [11,1.XII.23] – and the second author [15].) In particular,we will establish improvements and generalizations of resultsof Lusin and Privalov [18], Evans [12], Rudin [20], Bagemihland Seidel [6], Schneider [21], Berman [7], and Armitage andNelson [4], and will also solve a problem posed by the latterauthors. An early version of our first result is due to Evans [12, p.234], who proved that, if u is a superharmonic function on R³,then there is a set ER²x{0}, of two-dimensional measure 0, suchthat u(x, y,·) is continuous on R whenever (x, y, 0)E.We denote a typical point of Rⁿ by X=(X' x), where X'R^n–1and xR. Let :RⁿR^n–1x{0} denote the projection map givenby (X', x) = (X', 0). For any function f:Rⁿ[–, +] andpoint X we define the vertical and fine cluster sets of f atX respectively by C_V(f;X)={l[–, +]: there is a sequence (t_m) of numbersin R\{x} such that t_mx and f(X', t_m)l}| and C_F(f;X)={l[–, +]: for each neighbourhood N of l in [–,+], the set f^–1(N) is non-thin at X}. Sets which are open in the fine topology will be called finelyopen, and functions which are continuous with respect to thefine topology will be called finely continuous. Corollary 1(ii)below is an improvement of Evans' result.     

Kato Class Potentials for Higher Order Elliptic Operators

Our goal in this paper is to determine conditions on a potentialV which ensure that an operator such as H:=(–)^m+V (1) acting on L²(R^N) defines a semigroup in L^p(R^N) for various valuesof p including p=1. The operator is defined as a quadratic formsum. That is, we put for (all integrals are on R^N and are with respect to Lebesgue measure), and note thatthe closure of the form is non-negative and has domain equalto the Sobolev space W^m,2. We then assume that the potentialhas quadratic form bound less than 1 with respect to Q₀, anddefine This form is closed and is associated with a semibounded self-adjointoperator H in L² (see [17, p. 348; 5, Theorem 4.23]). One canthen ask whether the semigroup e^–Ht defined on L² fort0 is extendable to a strongly continuous one-parameter semigroupon L^p for other values of p, and if so whether one can describethe domain and spectrum of its generator.     

The Spectral Set Conjecture and Multiplicative Properties of Roots of Polynomials

Fuglede's conjecture states that a set Rⁿ tiles R by translationsif and only if L²() has an orthogonal basis of exponentials.New partial results are obtained supporting the conjecture indimension 1.     

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

Intertwining Maps from Certain Group Algebras

In [17, 18, 19], we began to investigate the continuity propertiesof homomorphisms from (non-abelian) group algebras. Alreadyin [19], we worked with general intertwining maps [3, 12]. Thesemaps not only provide a unified approach to both homomorphismsand derivations, but also have some significance in their ownright in connection with the cohomology comparison problem [4]. The present paper is a continuation of [17, 18, 19]; this timewe focus on groups which are connected or factorizable in thesense of [26]. In [26], G. A. Willis showed that if G is a connectedor factorizable, locally compact group, then every derivationfrom L¹(G) into a Banach L¹(G)-module is automatically continuous.For general intertwining maps from L¹(G), this conclusion isfalse: if G is connected and, for some nN, has an infinite numberof inequivalent, n-dimensional, irreducible unitary representations,then there is a discontinuous homomorphism from L¹(G into aBanach algebra by [18, Theorem 2.2] (provided that the continuumhypothesis is assumed). Hence, for an arbitrary intertwiningmap from L¹(G), the best we can reasonably hope for is a resultasserting the continuity of on a ‘large’, preferablydense subspace of L¹(G). Even if the target space of is a Banachmodule (which implies that the continuity ideal I() of is closed),it is not a priori evident that is automatically continuous:the proofs of the automatic continuity theorems in [26] relyon the fact that we can always confine ourselves to restrictionsto L¹(G) of derivations from M(G) [25, Lemmas 3.1 and 3.4].It is not clear if this strategy still works for an arbitraryintertwining map from L¹(G) into a Banach L¹(G)-module.     

Multiple Positive Solutions of Semilinear Differential Equations with Singularities

The existence of positive solutions of a second order differentialequation of the form z'+g(t)f(z)=0 (1.1) with the separated boundary conditions: z(0) – ßz'(0)= 0 and z(1)+z'(1) = 0 has proved to be important in physicsand applied mathematics. For example, the Thomas–Fermiequation, where f = z^3/2 and g = t^–1/2 (see [12, 13, 24]),so g has a singularity at 0, was developed in studies of atomicstructures (see for example, [24]) and atomic calculations [6].The separated boundary conditions are obtained from the usualThomas–Fermi boundary conditions by a change of variableand a normalization (see [22, 24]). The generalized Emden–Fowlerequation, where f = z^p, p > 0 and g is continuous (see [24,28]) arises in the fields of gas dynamics, nuclear physics,chemically reacting systems [28] and in the study of multipoletoroidal plasmas [4]. In most of these applications, the physicalinterest lies in the existence and uniqueness of positive solutions.     

Hypersurface Singularities with 2-Dimensional Critical Locus

Consider an analytic germ f:(C^m, 0)(C, 0) (m3) whose criticallocus is a 2-dimensional complete intersection with an isolatedsingularity (icis). We prove that the homotopy type of the Milnorfiber of f is a bouquet of spheres, provided that the extendedcodimension of the germ f is finite. This result generalizesthe cases when the dimension of the critical locus is zero [8],respectively one [12]. Notice that if the critical locus isnot an icis, then the Milnor fiber, in general, is not homotopicallyequivalent to a wedge of spheres. For example, the Milnor fiberof the germ f:(C⁴, 0)(C, 0), defined by f(x₁, x₂, x₃, x₄) =x₁x₂x₃x₄ has the homotopy type of S¹xS¹xS¹. On the other hand,the finiteness of the extended codimension seems to be the rightgeneralization of the isolated singularity condition; see forexample [9–12, 17, 18]. In the last few years different types of ‘bouquet theorems’have appeared. Some of them deal with germs f:(X, x)(C, 0) wheref defines an isolated singularity. In some cases, similarlyto the Milnor case [8], F has the homotopy type of a bouquetof (dim X–1)-spheres, for example when X is an icis [2],or X is a complete intersection [5]. Moreover, in [13] Siersmaproved that F has a bouquet decomposition FF₀Sⁿ...Sⁿ (whereF₀ is the complex link of (X, x)), provided that both (X, x)and f have an isolated singularity. Actually, Siersma conjecturedand Tibr proved [16] a more general bouquet theorem for thecase when (X, x) is a stratified space and f defines an isolatedsingularity (in the sense of the stratified spaces). In thiscase F_iF_i, where the F_i are repeated suspensions of complexlinks of strata of X. (If (X, x) has the ‘Milnor property’,then the result has been proved by Lê; for details see[6].) In our situation, the space-germ (X, x) is smooth, but f hasbig singular locus. Surprisingly, for dim Sing f^–1(0)2,the Milnor fiber is again a bouquet (actually, a bouquet ofspheres, maybe of different dimensions). This result is in thespirit of Siersma's paper [12], where dim Sing f^–1(0)= 1. In that case, there is only a rather small topologicalobstruction for the Milnor fiber to be homotopically equivalentto a bouquet of spheres (as explained in Corollary 2.4). Inthe present paper, we attack the dim Sing f^–1(0) = 2 case.In our investigation some results of Zaharia are crucial [17,18].     

Real Interpolation and Two Variants of Gehring's Lemma

Let be a fixed open cube in Rⁿ. For r[1, ) and [0, ) we define where Q is a cube in Rⁿ (with sides parallel to the coordinateaxes) and _Q stands for the characteristic function of the cubeQ. A well-known result of Gehring [5] states that if (1.1) for some p(1, ) and c(0, ), then there exist q(p, ) and C=C(p,q, n, c)(0, ) such that for all cubes Q, where |Q| denotes the n-dimensional Lebesguemeasure of Q. In particular, a function fL¹() satisfying (1.1)belongs to L^q(). In [9] it was shown that Gehring's result is a particular caseof a more general principle from the real method of interpolation.Roughly speaking, this principle states that if a certain reversedinequality between K-functionals holds at one point of an interpolationscale, then it holds at other nearby points of this scale. Usingan extension of Holmstedt's reiteration formulae of [4] andresults of [8] on weighted inequalities for monotone functions,we prove here two variants of this principle involving extrapolationspaces of an ordered pair of (quasi-) Banach spaces. As an applicationwe prove the following Gehring-type lemmas.     

Harmonic Analogues of G. R. Maclane's Universal Functions

Let E denote the space of all entire functions, equipped withthe topology of local uniform convergence (the compact-opentopology). MacLane [15] constructed an entire function f whosesequence of derivatives (f, f', f', ...) is dense in E; hisconstruction is succinctly presented in a much later note byBlair and Rubel [2], who unwittingly rederived it (see also[3]). We shall call such a function f a universal entire function.In this note we show that analogous universal functions existin the space H_N of functions harmonic on R^N, where N2. We alsostudy the permissible growth rates of universal functions inH_N and show that the set of all such functions is very large. For purposes of comparison, we first review relevant facts aboutuniversal entire functions. The function constructed by MacLaneis of exponential type 1. Duyos Ruiz [7] observed that a universalentire function cannot be of exponential type less than 1. G.Herzog [11] refined MacLane's growth estimate by proving theexistence of a universal entire function f such that |f(z)|=O(re^r)as |z|=r. Finally, Grosse–Erdmann [10] proved the followingsharp result.     

On Fusion in Unipotent Blocks

The context of this note is as follows. One considers a connectedreductive group G and a Frobenius endomorphism F: G G definingG over a finite field of order q. One denotes by G^F the associated(finite) group of fixed points. Let l be a prime not dividing q. We are interested in the l-blocksof the finite group G^F. Such a block is called unipotent ifthere is a unipotent character (see, for instance, [6, Definition12.1]) among its representations in characteristic zero. Roughlyspeaking, it is believed that the study of arbitrary blocksof G^F might be reduced to unipotent blocks (see [2, Théorème2.3], [5, Remark 3.6]). In view of certain conjectures aboutblocks (see, for instance, [9]), it would be interesting tofurther reduce the study of unipotent blocks to the study ofprincipal blocks (blocks containing the trivial character).Our Theorem 7 is a step in that direction: we show that thelocal structure of any unipotent block of G^F is very close tothat of a principal block of a group of related type (notionof ‘control of fusion’, see [13, 49]). 1991 MathematicsSubject Classification 20Cxx.