Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

Tensor Products of C*-Algebras Over Abelian Subalgebras

Suppose that A is a C*-algebra and C is a unital abelian C*-subalgebrawhich is isomorphic to a unital subalgebra of the centre ofM(A), the multiplier algebra of A. Letting = , so that we maywrite C = C(), we call A a C()-algebra (following Blanchard[7]). Suppose that B is another C()-algebra, then we form A_CB, the algebraic tensor product of A with B over C as follows:A B is the algebraic tensor product over C, I_C = {ⁿ_i–1(f_i 1–1f_i)x|f_iC, xAB} is the ideal in AB generated by f1–1f|fC,and A _CB = AB/I_C. Then A_CB is an involutive algebra over C,and we shall be interested in deciding when A_CB is a pre-C*-algebra;that is, when is there a C*-norm on A_C B? There is a C*-semi-norm,which we denote by ||·||_C-min, which is minimal in thesense that it is dominated by any semi-norm whose kernel containsthe kernel of ||·||_C-min. Moreover, if A _C B has a C*-norm,then ||·||_C-min is a C*-norm on A_C B. The problem isto decide when ||·||_C-min is a norm. It was shown byBlanchard [7, Proposition 3.1] that when A and B are continuousfields and C is separable, then ||·||_C-min is a norm.In this paper we show that ||·||_C-min is a norm whenC is a von Neumann algebra, and then we examine some consequences.     

Generators and defining relations for ring of invariants of commuting locally nilpotent derivations or automorphisms

Let A be an algebra over a field K of characteristic zero andlet ₁, ..., _sDer _K(A) be commuting locally nilpotent K-derivationssuch that _i(x_j) equals _ij, the Kronecker delta, for some elementsx₁, ..., x_sA. A set of generators for the algebra is found explicitly and a set of defining relationsfor the algebra A is described. Similarly, let ₁, ..., _s Aut_K(A)be commuting K-automorphisms of the algebra A is given suchthat the maps _i – id_A are locally nilpotent and _i (x_j)= x_j + _ij, for some elements x₁, ..., x_s A. A set of generatorsfor the algebra A: = {a A | ₁(a) = ... = _s(a) = a} is foundexplicitly and a set of defining relations for the algebra Ais described. In general, even for a finitely generated non-commutativealgebra A the algebras of invariants A and A are not finitelygenerated, not (left or right) Noetherian and a minimal numberof defining relations is infinite. However, for a finitely generatedcommutative algebra A the opposite is always true. The derivations(or automorphisms) just described appear often in many differentsituations (possibly) after localization of the algebra A.     

A Criterion for the Existence of Transversals of Set Systems

Nash-Williams [6] formulated a condition that is necessary andsufficient for a countable family A=(A_i)_iI of sets to have atransversal. In [7] he proved that his criterion applies alsowhen we allow the set I to be arbitrary and require only that_iJA_i=Ø for any uncountable JI. In this paper, we formulateanother criterion of a similar nature, and prove that it isequivalent to the criterion of Nash-Williams for any familyu. We also present a self-contained proof that if _iJA_i=Øfor any uncountable JI, then our condition is necessary andsufficient for the family u to have a transversal.     

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.     

The Finite Subsets of Z2 Having the Extension Property

The paper considers finite subsets Z^d which possess the extensionproperty, namely that every collection {c_k}_k– of complexnumbers which is positive definite with respect to is the restrictionof the Fourier coefficients of some positive measure on T^d.All finite subsets of Z² which possess the extension propertyare described.     

Geometry of Critical Loci

Let :(Z,z)(U,0) be the germ of a finite (that is, proper with finite fibres)complex analytic morphism from a complex analytic normal surfaceonto an open neighbourhood U of the origin 0 in the complexplane C². Let u and v be coordinates of C² defined on U. Weshall call the triple (, u, v) the initial data. Let stand for the discriminant locus of the germ , that is,the image by of the critical locus of . Let ()_A be the branches of the discriminant locus at O whichare not the coordinate axes. For each A, we define a rational number d by where I(–, –) denotes the intersection number at0 of complex analytic curves in C². The set of rational numbersd, for A, is a finite subset D of the set of rational numbersQ. We shall call D the set of discriminantal ratios of the initialdata (, u, v). The interesting situation is when one of thetwo coordinates (u, v) is tangent to some branch of , otherwiseD = {1}. The definition of D depends not only on the choiceof the two coordinates, but also on their ordering. In this paper we prove that the set D is a topological invariantof the initial data (, u, v) (in a sense that we shall definebelow) and we give several ways to compute it. These resultsare first steps in the understanding of the geometry of thediscriminant locus. We shall also see the relation with thegeometry of the critical locus.     

Support Varieties of Non-Restricted Modules over Lie Algebras of Reductive Groups

Let G be a connected semisimple group over an algebraicallyclosed field K of characteristic p>0, and g=Lie (G). Fixa linear function g* and let Z_g() denote the stabilizer of in g. Set N_p(g)={xg|x^[p]=0}. Let C(g) denote the category offinite-dimensional g-modules with p-character . In [7], Friedlanderand Parshall attached to each MOb(C(g)) a Zariski closed, conicalsubset V_g(M)N_p(g) called the support variety of M. Suppose thatG is simply connected and p is not special for G, that is, p2if G has a component of type B_n, C_n or F₄, and p3 if G has acomponent of type G₂. It is proved in this paper that, for anynonzero MOb(C(g)), the support variety V_g(M) is contained inN_p(g)Z_g(). This allows one to simplify the proof of the Kac–Weisfeilerconjecture given in [18].     

On Simultaneously Badly Approximable Numbers

For any pair i,j 0 with i+j=1 let Bad(i,j) denote the set ofpairs (,ß) R² for which max{||q||^1/i||qß|^1/j}>c/qfor all q N. Here c=c(,ß) is a positive constant.If i=0 the set Bad(0, 1) is identified with RxBad where Badis the set of badly approximable numbers. That is, Bad(0, 1)consists of pairs (, ß) with R and ß Bad If j=0 the roles of and ß are reversed. It isproved that the set Bad(1,0)Bad (0,1) Bad(i,j) has Hausdorffdimension 2, that is, full dimension. The method easily generalizesto give analogous statements in higher dimensions.     

An extension of the recursively enumerable Turing degrees

Consider the countable semilattice _T consisting of the recursivelyenumerable Turing degrees. Although _T is known to be structurallyrich, a major source of frustration is that no specific, naturaldegrees in _T have been discovered, except the bottom and topdegrees, 0 and 0'. In order to overcome this difficulty, weembed _T into a larger degree structure which is better behaved.Namely, consider the countable distributive lattice _w consistingof the weak degrees (also known as Muchnik degrees) of massproblems associated with non-empty ₀¹ subsets of 2. It is knownthat _w contains a bottom degree 0 and a top degree 1 and isstructurally rich. Moreover, _w contains many specific, naturaldegrees other than 0 and 1. In particular, we show that in _wone has 0 < d < r₁ < f(r₂, 1) < 1. Here, d is theweak degree of the diagonally non-recursive functions, and r_nis the weak degree of the n-random reals. It is known that r₁can be characterized as the maximum weak degree of a ₀¹ subsetof 2 of positive measure. We now show thatf(r₂, 1) can be characterizedas the maximum weak degree of a ₀¹ subset of 2, the Turing upwardclosure of which is of positive measure. We exhibit a naturalembedding of _T into _w which is one-to-one, preserves the semilatticestructure of _T, carries 0 to 0, and carries 0' to 1. Identifying_T with its image in _w, we show that all of the degrees in _Texcept 0 and 1 are incomparable with the specific degrees d,r₁, andf(r₂, 1) in _w.     

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.     

Herman Rings and Arnold Disks

For (,a) C* x C, let f_,a be the rational map defined by f_,a(z)= z² (az+1)/(z+a). If R/Z is a Brjuno number, we let D bethe set of parameters (,a) such that f_,a has a fixed Hermanring with rotation number (we consider that (e²ⁱ,0) D). Resultsobtained by McMullen and Sullivan imply that, for any g D, theconnected component of D(C* x (C/{0,1})) that contains g isisomorphic to a punctured disk. We show that there is a holomorphic injection F:DD such thatF(0) = (e²ⁱ ,0) and , where r is the conformal radius at 0 of the Siegel disk of the quadraticpolynomial z e²ⁱ z(1+z). As a consequence, we show that for a (0,1/3), if f_l,a has afixed Herman ring with rotation number and if m_a is the modulusof the Herman ring, then, as a0, we have e m_a=(r/a) + O(a). We finally explain how to adapt the results to the complex standardfamily z e^(a/2)(z-1/z).     

Betti Numbers of Semialgebraic and Sub-Pfaffian Sets

Let X be a subset in [–1,1]^n₀R^n₀ defined by the formula X={x₀|Q₁x₁Q₂x₂...Qx ((x₀,x₁,...x)X)}, where Q_i{ }, Q_i Q_i+1, x_i [–1, 1]^n_i, and X may be eitheran open or a closed set in [–1,1]^n₀+...+n, being the differencebetween a finite CW-complex and its subcomplex. An upper boundon each Betti number of X is expressed via a sum of Betti numbersof some sets defined by quantifier-free formulae involving X. In important particular cases of semialgebraic and semi-Pfaffiansets defined by quantifier-free formulae with polynomials andPfaffian functions respectively, upper bounds on Betti numbersof X are well known. The results allow to extend the boundsto sets defined with quantifiers, in particular to sub-Pfaffiansets.     

Necessary and Sufficient Conditions for Exponential Stability and Ultimate Boundedness of Systems Governed by Stochastic Partial Differential Equations

Consider the following infinite dimensional stochastic evolutionequation over some Hilbert space H with norm |·|: It is proved that under certain mild assumptions, the strongsolution X_t(x₀)VHV*, t 0, is mean square exponentially stableif and only if there exists a Lyapunov functional (·,·):HxR₊R¹ which satisfies the following conditions: (i)c₁|x|²–k₁e^–µ₁t(x,t)c₂|x|²+k₂+k₂e^–µ₂t; (ii) L(x,t)–c₃(x,t)+k₃e^–µ₃t, xV, t0; where L is the infinitesimal generator of the Markov processX_t and c_i, k_i, µ_i, i = 1, 2, 3, are positive constants.As a by-product, the characterization of exponential ultimateboundedness of the strong solution is established as the nulldecay rates (that is, µ_i = 0) are considered.     

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.     

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.     

Metrical Theorems on Prime Values of the Integer Parts of Real Sequences II

Let [ ] denote the integer part. Among other results in [3]we gave a complete solution to the following problem. PROBLEM. Given an increasing sequence a_n R⁺, n = 1, 2, ...,where a_n as n , are there infinitely many primes in the sequence[a_n] for almost all ?     

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.     

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

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.