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.     

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.     

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.     

The Martin Boundary and Ratio Limit Theorems for Killed Random Walks

It is shown that if S is an aperiodic random walk on the integers,S* is the Markov chain that arises when S is killed when itleaves the non-negative integers, and H⁺ is the renewal processof weak increasing ladder heights in S, then there is a 1:1correspondence between functions which are non-negative andsuperregular for S* and H⁺. This allows all the regular functionsfor S* to be described, and thus a result due to Spitzer tobe completed for the recurrent case. This result is then appliedto give a ratio limit theorem for P_x(*=n)/P₀{*=n}, where * isthe lifetime of S*, in the case when S drifts to –, andthe right-hand tail of its step distribution is ‘locallysub-exponential’.     

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.     

Concavity and B-Concavity of Solutions of Quasilinear Filtration Equations

Spatial concavity properties of non-negative weak solutionsof the filtration equations with absorption u_t = ((u))_xx–(u)in Q = Rx(0, ), '0, 0 are studied. Under certain assumptionson the coefficients , it is proved that concavity of the pressurefunction is a consequence of a ‘weak’ convexityof travelling-wave solutions of the form V(x, t) = (x–t+a).It is established that the global structure of a so-called properset B = {V} of such particular solutions determines a propertyof B-concavity for more general solutions which is preservedin time. For the filtration equation u_t = ((u))_xx a semiconcavityestimate for the pressure, v_xx(t+)^–1'(), due to the B-concavityof the solution to the subset B of the explicit self-similarsolutions (x/t+)) is proved. The analysis is based on the intersection comparison based onthe Sturmian argument of the general solution u(x, t) with subsetsB of particular solutions. Also studied are other aspects ofthe B-concavity/convexity with respect to different subsetsof explicit solutions.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

On the Error Term for the Fourth Moment of the Riemann Zeta-Function

Let E₂(T) denote the error term in the asymptotic formula for^T₀|(+it)|⁴dt. It is proved that there exist constants A>0,B>1 such that for TT₀>0 every interval [T, BT] containspoints T₁, T₂ for which and that ^T₀|E₂(t)|^adt>>T^1+(a/2) for any fixed a1. Theseresults complement earlier results of Motohashi and Ivi that^T₀E₂(t)dt<<T^3/2 and that ^T₀E²₂(t)dt<<T²log^CT forsome C>0. Omega-results analogous to the above ones are obtainedalso for the error term in the asymptotic formula for the Laplacetransform of |(+it)|⁴.     

Volterra Convolution Operators with Values in Rearrangement Invariant Spaces

The Volterra convolution operator Vf(x) = ^x₀(x–y)f(y)dy,where (·) is a non-negative non-decreasing integrablekernel on [0, 1], is considered. Under certain conditions onthe kernel , the maximal Banach function space on [0, 1] onwhich the Volterra operator is a continuous linear operatorwith values in a given rearrangement invariant function spaceon [0, 1] is identified in terms of interpolation spaces. Thecompactness of the operator on this space is studied.     

Coherent Products in a Finite Group along a Linear Ordering

Let C = (C, ) be a linear ordering, E a subset of {(x, y):x< y in C} whose transitive closure is the linear orderingC, and let :E G be a map from E to a finite group G = (G, •).We showed with M. Pouzet that, when C is countable, there isF E whose transitive closure is still C, and such that (p) = (x_o, x₁)•(x₁, x₂)•....•(x_{n– 1}, x_n) G depends only upon the extremities x₀, x_n ofp, where p = (x_o, x₁...,x_n) (with 1 n < ) is a finite sequencefor which (x_i, x_{i + 1}) F for all i < n. Here, we show thatthis property does not hold if C is the real line, but is stilltrue if C does not embed an ₁-dense linear ordering, or evena 2-dense linear ordering when Martin's Axiom holds (it followsin particular that it is independent of ZFC for linear orderingsof size ). On the other hand, we prove that this property isalways valid if E = {(x,y):x < y in C}, regardless of anyother condition on C.     

Oscillation for First Order Superlinear Delay Differential Equations

Some almost sharp sufficient conditions of oscillation and nonoscillationare obtained for the superlinear delay differential equation x'(t)+p(t)[x((t))]=0, tt₀     

Interpolating Blaschke Products and Factorization Theorems

Let M(H) be the maximal ideal space of H the Banach algebraof bounded analytic functions on the open unit disk. Let G bethe set of nontrivial points in M(H). By Hoffman's work, G hasdeep connections with the zero sets of interpolating Blaschkeproducts. It is proved that for a closed -separated subset Eof M(H) with E G, there exists an interpolating Blaschke productwhose zero set contains E. This is a generalization of Lingenberg'stheorem. Let f be a continuous function on M(H). Suppose thatf is analytic on a nontrivial Gleason part P(x), f(x) = 0, andf 0 on P(x). It is proved that there is an interpolating Blaschkeproduct b with zeros {z_n}_n such that b(x) = 0 and f(z_n) = 0for every n. This fact can be used for factorization theoremsin Douglas algebras and in algebras of functions analytic onGleason parts.     

Long-Time Behavior of Solutions of the Fast Diffusion Equations with Critical Absorption Terms

This paper is devoted to the long-time behavior of solutionsto the Cauchy problem of the porous medium equation u_t = (u^m)– u^p in Rⁿ x (0,) with (1 – 2/n)₊ < m < 1and the critical exponent p = m + 2/n. For the strictly positiveinitial data u(x,0) = O(1 + |x|)^–k with n + mn(2 –n + nm)/(2[2 – m + mn(1 – m)]) k < 2/(1 –m), we prove that the solution of the above Cauchy problem convergesto a fundamental solution of u_t = (u^m) with an additional logarithmicanomalous decay exponent in time as t .     

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.     

Binary Quadratic Forms with Large Discriminants and Sums of Two Squareful Numbers II

Let F = (F₁, ..., F_m) be an m-tuple of primitive positive binaryquadratic forms and let U_F(x) be the number of integers notexceeding x that can be represented simultaneously by all theforms F_j, j = 1, ... , m. Sharp upper and lower bounds for U_F(x)are given uniformly in the discriminants of the quadratic forms. As an application, a problem of Erds is considered. Let V(x)be the number of integers not exceeding x that are representableas a sum of two squareful numbers. Then V(x) = x(log x)^–+o(1)with = 1 – 2^–1/3 = 0.206....     

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.     

Off-Diagonal Bounds of Non-Gaussian Type for the Dirichlet Heat Kernel

The paper considers the heat kernel K(t, x, y) of the operator– on a proper Euclidean domain , with Dirichlet boundaryconditions. A general pointwise lower bound for K, which isvalid for t larger than a suitable t₀(x,y), is proved (the short-timebehaviour being well understood). The resulting non-Gaussianbounds describe simultaneously both the case of bounded domainsand the case, modelled on the half-space example, of domainswhich satisfy a twisted infinite internal cone condition. Boundsfor the Green's function are given as well.     

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.     

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.