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.     

Adaptive numerical schemes for a parabolic problem with blow-up

In this paper we present adaptive procedures for the numericalstudy of positive solutions of the following problem: u_t = u_xx (x, t) (0, 1) x [0, T), u_x(0, t) = 0 t [0, T), u_x(1, t) = u^p(1, t) t [0, T), u(x, 0) = u₀(x) x (0, 1), with p > 1. We describe two methods. The first one refinesthe mesh in the region where the solution becomes bigger ina precise way that allows us to recover the blow-up rate andthe blow-up set of the continuous problem. The second one combinesthe ideas used in the first one with moving mesh methods andmoves the last points when necessary. This scheme also recoversthe blow-up rate and set. Finally, we present numerical experimentsto illustrate the behaviour of both methods.     

Continuity of Multiplication in the Largest Compactification of a Locally Compact Group

G^LUC is the largest semigroup compactification of the locallycompact group G. When G is not compact, given q G* = G^LUC \G, there is p G* such that x qx is discontinuous at p (Theorem2). If G is -compact, there is one p which will serve for allq (Theorem 1).     

The Second Dual Algebra of the Measure Algebra of a Compact Group

It is shown that for every compact group G, L¹(G)^ is uniqueand minimal among all the closed subsets I of M(G)** such thatI is a proper (0, M(G)**) algebraic ideal, and such that I issolid with respect to absolute continuity; that is, n L¹(G)^whenever n M(G)** and n << µ L¹(G)^. 1991 MathematicsSubject Classification 43A20, 43A22.     

Projective modules for Frobenius kernels and finite Chevalley groups

Let G be a connected reductive algebraic group with a Frobeniusmorphism F: G G defined over a finite field _p^r. The main resultof the paper is to prove that any rational G-module M whichis projective when restricted to the Frobenius kernel G_r = Ker(F)is also projective over the split and twisted finite Chevalleygroups. In 1987, Parshall conjectured this statement for r =1 in the split case. The authors verified this in 1999 withthe possible exclusion of primes 2 and 3 in non-simply lacedcases. The converse of the main result is also discussed forsplit groups in this paper.     

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.     

The Adamjan-Arov-Krein Theorem on Hp-Spaces (2 <= p <= {infty}) and on the Disc Algebra

This paper is devoted to the following extension of the AAKtheorem. Let (p,q)[2, + ]². Let u: H^p x H^q C bea hankelianbilinear form and n N*. There is a hankelian bilinear formv: H^p x H^q C with rk(v) < n and ||u–v|| Ca_n(U) forsome constant C > 0 depending only on (p,q). Moreover, H^por H^q may be replaced by A in this statement.     

Livsic Regularity Theorems for Twisted Cocycle Equations Over Hyperbolic Systems

Let be a hyperbolic map. Cocycle equations of the form f =u·g·u^–1 are considered, with f, g, u takingvalues in a compact connected Lie group G, being an automorphismof G and f, g being Hölder continuous. When the eigenvaluesof the derivative of have modulus 1, it is proved that anymeasurable solution u has a Hölder continuous version.This condition on is optimal. When f, g are C^k then u may betaken to be C^k–1+ for any (0, 1).     

Nodal Solutions of a p-Laplacian Equation

We prove that the p-Laplacian problem –_p u = f(x, u),with u on a bounded domain R^N, with p > 1 arbitrary, has a nodal solution providedthat f : x R R is subcritical, and f(x, t) / |t|^p –² is superlinear. Infinitely many nodal solutions are obtainedif, in addition, f(x, –t) = –f(x, t). 2000 MathematicsSubject Classification 35J20, 35J65, 58E05.     

A characterization of finite soluble groups

Let G be a finite soluble group of order m and let w(x₁, ...,x_n) be a group word. Then the probability that w(g₁, ..., g_n)= 1 (where (g₁, ..., g_n) is a random n-tuple in G) is at leastp^–(m–t), where p is the largest prime divisor ofm and t is the number of distinct primes dividing m. This contrastswith the case of a non-soluble group G, for which Abérthas shown that the corresponding probability can take arbitrarilysmall positive values as n .     

Sub-Laplacians of Holomorphic Lp-Type on Exponential Solvable Groups

Let L denote a right-invariant sub-Laplacian on an exponential,hence solvable Lie group G, endowed with a left-invariant Haarmeasure. Depending on the structure of G, and possibly alsothat of L, L may admit differentiable L^p-functional calculi,or may be of holomorphic L^p-type for a given p 2. ‘HolomorphicL^p-type’ means that every L^p-spectral multiplier for Lis necessarily holomorphic in a complex neighbourhood of somenon-isolated point of the L²-spectrum of L. This can in factonly arise if the group algebra L¹(G) is non-symmetric. Assume that p 2. For a point in the dual g^* of the Lie algebrag of G, denote by ()=Ad^*(G) the corresponding coadjoint orbit.It is proved that every sub-Laplacian on G is of holomorphicL^p-type, provided that there exists a point g^* satisfying Boidol'scondition (which is equivalent to the non-symmetry of L¹(G)),such that the restriction of () to the nilradical of g is closed.This work improves on results in previous work by Christ andMüller and Ludwig and Müller in twofold ways: on theone hand, no restriction is imposed on the structure of theexponential group G, and on the other hand, for the case p>1,the conditions need to hold for a single coadjoint orbit only,and not for an open set of orbits. It seems likely that the condition that the restriction of ()to the nilradical of g is closed could be replaced by the weakercondition that the orbit () itself is closed. This would thenprove one implication of a conjecture by Ludwig and Müller,according to which there exists a sub-Laplacian of holomorphicL¹ (or, more generally, L^p) type on G if and only if there existsa point g^* whose orbit is closed and which satisfies Boidol'scondition.     

Optimal Regularity and Fredholm Properties of Abstract Parabolic Operators in Lp Spaces on the Real Line

We study the operator Lu(t):= u'(t) – A(t) u(t) on L^p(R; X) for sectorial operators A(t), with t R, on a Banachspace X that are asymptotically hyperbolic, satisfy the Acquistapace–Terreniconditions, and have the property of maximal L^p-regularity.We establish optimal regularity on the time interval R showingthat L is closed on its minimal domain. We further give conditionsfor ensuring that L is a semi-Fredholm operator. The Fredholmproperty is shown to persist under A(t)-bounded perturbations,provided they are compact or have small A(t)-bounds. We applyour results to parabolic systems and to generalized Ornstein–Uhlenbeckoperators. 2000 Mathematics Subject Classification 35K20, 35K90,47A53.     

A Geometric Invariant for Metabelian Pro-p Groups

In [2] Bieri and Strebel introduced a geometric invariant forfinitely generated abstract metabelian groups that determineswhich groups are finitely presented. For a valuable survey oftheir results, see [6]; we recall the definition briefly inSection 4. We shall introduce a similar invariant for pro-pgroups. Let F be the algebraic closure of F_p and U be the formal powerseries algebra F[T], with group of units U^x. Let Q be a finitelygenerated abelian pro-p group. We write Z_p[Q] for the completedgroup algebra of Q over Z_p. Let T(Q) be the abelian group Hom(Q,U^x) of continuous homomorphisms from Q to U^x. We write 1 forthe trivial homomorphism. Each vT(Q) extends to a unique continuousalgebra homomorphism from Z_p[Q]to U.     

Bifurcations of Periodic Points of Holomorphic Maps From C2 into C2

Let F:Cⁿ Cⁿ be a holomorphic map, F^k be the kth iterate ofF, and p Cⁿ be a periodic point of F of period k. That is,F^k(p) = p, but for any positive integer j with j < k, F^j(p) p. If p is hyperbolic, namely if DF^k(p) has no eigenvalue ofmodulus 1, then it is well known that the dynamical behaviourof F is stable near the periodic orbit = {p, F(p),..., F^k–1(p)}.But if is not hyperbolic, the dynamical behaviour of F near may be very complicated and unstable. In this case, a veryinteresting bifurcational phenomenon may occur even though may be the only periodic orbit in some neighbourhood of : forgiven M N\{1}, there may exist a C^r-arc {F_t: t [0,1]} (wherer N or r = ) in the space H(Cⁿ) of holomorphic maps from Cⁿinto Cⁿ, such that F₀ = F and, for t (0,1], F_t has an Mk-periodicorbit _t with as t 0. Theperiod thus increases by a factor M under a C^r-small perturbation!If such an F_t does exist, then , as well as p, is said to beM-tupling bifurcational. This definition is independent of r. For the above F, there may exist a C^r-arc in H(Cⁿ), with t [0,1], such that and, for t (0,1], has two distinct k-periodic orbits _t,1 and _t,2 with d(_t,i, ) 0 as t 0 for i = 1,2. If such an does exist, then , as well as p, is said to be 1-tupling bifurcational. In recent decades, there have been many papers and remarkableresults which deal with period doubling bifurcations of periodicorbits of parametrized maps. L. Block and D. Hart pointed outthat period M-tupling bifurcations cannot occur for M >2 in the 1-dimensional case. There are examples showing thatfor any M N, period M-tupling bifurcations can occur in higher-dimensionalcases. An M-tupling bifurcational periodic orbit as defined here actsas a critical orbit which leads to period M-tupling bifurcationsin some parametrized maps. The main result of this paper isthe following. Theorem. Let k N and M N, and let F: C² C² be a holomorphicmap with k-periodic point p. Then p is M-tupling bifurcationalif and only if DF^k(p) has a non-zero periodic point of periodM. 1991 Mathematics Subject Classification: 32H50, 58F14.     

On the Fredholm Alternative for the p-Laplacian in One Dimension

We investigate the existence of a weak solution u to the quasilineartwo-point boundary value problem We assume that 1 < p < p ¬ = 2, 0 < a < , andthat f L¹(0,a) is a given function. The number _k stands forthe k-th eigenvalue of the one-dimensional p-Laplacian. Let_{p p} x/a) denote the eigenfunction associated with ₁; then _p(k_p x/a) is the eigenfunction associated with _k. We show the existenceof solutions to (P) in the following cases. (i) When k=1 and f satisfies the orthogonality condition the set of solutions is bounded. (ii) If k=1 and f_t L¹(0,a) is a continuous family parametrizedby t [0,1], with then there exists some t^* [0,1] such that (P) has a solutionfor f = f_t^*. Moreover, an appropriate choice of t_* yields asolution u with an arbitrarily large L¹(0,a)-norm which meansthat such f cannot be orthogonal to _pp x/a. (iii) When k 2 and f satisfies a set of orthogonality conditionsto _p(k p x/a) on the subintervals , again, the set of solutions is bounded. is a continuous family satisfying either or another related condition, then there exists some t^* [0,1]such that (P) has a solution for f = f_t*. Prüfer's transformation plays the key role in our proofs.2000 Mathematical Subject Classification: primary 34B16, 47J10;secondary 34L40, 47H30.     

Asymptotic simplification for a reaction-diffusion problem with a nonlinear boundary condition

We study non-negative solutions of the porous medium equationwith a source and a nonlinear flux boundary condition, u_t =(u^m)_xx + u^p in (0, ), x (0, T); – (u^m)_x (0, t) = u^q (0,t) for t (0, T); u (x, 0) = u₀ (x) in (0, ), where m > 1,p, q > 0 are parameters. For every fixed m we prove thatthere are two critical curves in the (p, q-plane: (i) the criticalexistence curve, separating the region where every solutionis global from the region where there exist blowing-up solutions,and (ii) the Fujita curve, separating a region of parametersin which all solutions blow up from a region where both globalin time solutions and blowing-up solutions exist. In the caseof blow up we find the blow-up rates, the blow-up sets and theblow-up profiles, showing that there is a phenomenon of asymptoticsimplification. If 2q < p + m the asymptotics are governedby the source term. On the other hand, if 2q > p + m theevolution close to blow up is ruled by the boundary flux. If2q = p + m both terms are of the same order.     

SEMISIMPLE BANACH ALGEBRAS GENERATED BY STRONGLY CONTINUOUS REPRESENTATIONS OF MOORE GROUPS

We prove that if is a strongly continuous bounded representationof a Moore group G on a Banach space X, and if the Arveson spectrumof is scattered, then the closure with respect to the weakoperator topology in L(X) of the algebra generated by the transforms _Gf(t) (t)d t with f L¹(G) is a semisimple Banach algebra.     

Finite CI-Groups are Soluble

For a finite group G and a subset S of G with 1 S and S = S^–1,the Cayley graph Cay(G, S) is the graph with vertex set G suchthat {x, y} is an edge if and only if yx^–1 S. The groupG is called a CI-group if, for all subsets S and T of G\{1},Cay(G, S) Cay(G, T) if and only if S = T for some Aut(G).In this paper, for each prime p 1 (mod 4), a symmetric graph(p) is constructed from PSL(2, p) such that Aut (p) = Z₂ x PSL(2,p); it is then shown that A₅ is not a CI-group, and that allfinite CI-groups are soluble. 1991 Mathematics Subject Classification05C25.     

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.