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.     

An Application of the Fefferman-Stein Inequality to the Study of the Tent Spaces

The purpose of this note is to show how a result on tent spacesproved by Coifman, Meyer and Stein, namely the L^p-norm relationshipbetween the functionals A_q and C_q appearing in the definitionof such spaces, can be derived easily from the Fefferman-SteinL^p-inequality for the sharp maximal function.     

A Note on a Maximal Function Over Arbitrary Sets of Directions

Let M_S be the universal maximal operator over unit vectors ofarbitrary directions. This operator is not bounded in L²(R²).We consider a sequence of operators over sets of finite equidistributeddirections converging to M_S. We provide a new proof of N. Katz'sbound for such operators. As a corollary, we deduce that M_Sis bounded from some subsets of L² to L². These subsets arecomposed of positive functions whose Fourier transforms havea logarithmic decay or which are supported on a disc. 1991 MathematicsSubject Classification 42B25.     

DIFFERENCES OF ERGODIC AVERAGES FOR CESARO BOUNDED OPERATORS

We prove that the weighted differences of ergodic averages,induced by a Cesàro bounded, strongly continuous, one-parametergroup of positive, invertible, linear operators on L^p, 1 <p < , converge almost every where and in the L^p-norm. Weobtain first the boundedness of the ergodic maximal operatorand the convergence of the averages.     

Best Constants for Uncentred Maximal Functions

We precisely evaluate the operator norm of the uncentred Hardy–Littlewoodmaximal function on L^p(R¹). Consequently, we compute the operatornorm of the ‘strong’ maximal function on L^p(Rⁿ),and we observe that the operator norm of the uncentred Hardy–Littlewoodmaximal function over balls on L^p(Rⁿ) grows exponentially asn. 1991 Mathematics Subject Classification 42B25.     

Regularity of the Fractional Maximal Function

The purpose of this work is to show that the fractional maximaloperator has somewhat unexpected regularity properties. Themain result shows that the fractional maximal operator mapsL^p-spaces boundedly into certain first-order Sobolev spaces.It is also proved that the fractional maximal operator preservesfirst-order Sobolev spaces. This extends known results for theHardy-Littlewood maximal operator. 2000 Mathematics SubjectClassification 42B25, 46E35.     

A Characterization of Fredholm Pseudo-Differential Operators

We give a necessary and sufficient condition on an ellipticsymbol of order m to ensure that the unique closed extensionin L^p(Rⁿ) for 1 < p < , of the pseudo-differential operatorT, initially defined on the Schwartz space, is a Fredholm operatorfrom L^p(Rⁿ) into L^p(Rⁿ) with domain H^{m, p}, where H^{m, p} is theL^p Sobolev space of order m.     

Singular Integrals and Maximal Functions Associated to Surfaces of Revolution

We obtain L^p estimates for singular integrals and maximal functionsassociated to hypersurfaces in Rⁿ⁺¹, n 2, which are obtainedby rotating a curve around one of the coordinate axes.     

Propagation of Smallness for Harmonic and Analytic Functions in Arbitrary Domains

In this paper the authors develop a new approach to the problemof ‘propagation of smallness’ for harmonic functionsin arbitrary domains, in Rⁿ (n 2). The main result of thispaper is a certain logarithmic-convexity relation for the L²-normsof harmonic functions. As a consequence, new kinds of uniquenessresults for harmonic functions are obtained. The method worksalso for analytic functions in C, with L^p-norms (p > 0).1991 Mathematics Subject Classification 31B05.     

Damping Oscillatory Integrals with Polynomial Phase and Convolution Operators with the Affine Arclength Measure on Polynomial Curves in Rn

McMichael proved that the convolution with the (euclidean) arclengthmeasure supported on the curve t (t, t², ..., tⁿ), 0 < t< 1, maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if and only if 2n(n+1)/(n²+n+2) p 2. In proving this, a uniform estimate on damping oscillatoryintegrals with polynomial phase was crucial. In this paper,a remarkably simple proof of the same estimate on oscillatoryintegrals is presented. In addition, it is shown that the convolutionoperator with the affine arclength measure on any polynomialcurve in Rⁿ maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if p = 2n(n+1)/(n²+n+2).     

Weil Representations of Symplectic Groups Over Rings

We are interested in Weil representations of Sp(2n, R), whereR is the ring Z/p^lZ, p is an odd prime and l is a positive integer,or, more generally, R = O/p^l, where O is the ring of integersof a local field, p is the maximal ideal of O and O/p has oddcharacteristic. One reason for this interest is that a continuousfinite-dimensional complex representation of Sp(2n, O) has tofactor through a representation of Sp(2n, O/p^l) for some l.     

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.     

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.     

Conservative upwind finite-element method for a simplified Keller-Segel system modelling chemotaxis

^** Email: saito{at}infsup.jp Finite-element approximation for a non-linear parabolic–ellipticsystem is considered. The system describes the aggregation ofslime moulds resulting from their chemotactic features and iscalled a simplified Keller–Segel system. Applying an upwindtechnique, first we present a finite-element scheme that satisfiesboth positivity and mass conservation properties. Consequently,if the triangulation is of acute type, our finite-element approximationpreserves the L¹ norm, which is an important property of theoriginal system. Then, under some assumptions on the regularityof a solution and on the triangulation, we establish error estimatesin L^p x W^1, with a suitable p > d, where d is the dimensionof a spatial domain. Our scheme is well suited for practicalcomputations. Some numerical examples that validate our theoreticalresults are also presented.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.     

Congruences of Modular Forms and Tensor Product L-Functions

Two normalised Hecke eigenforms f and g are considered in thispaper, of level one and weights k' > k, lying in a p-adicfamily, such that f g(mod p^r as q-expansions. Interpretingthe congruence in terms of the associated Galois representationsleads to the existence of non-trivial global p^r-torsion forthe motive associated with the tensor product L-function ats = k' – 1. (It must be assumed that the (mod p) Galoisrepresentation attached to g is irreducible.) This contributesa factor of p^r to the denominator of the Bloch–Kato conjecturalformula for the L-value. The p-part of the numerator is considered,using recent work of Diamond, Flach and Guo. Using Shimura'sRankin–Selberg integral formula and the Clausen–vonStaudt theorem, the ratio of L-values is examined at s = k'– 1, for the tensor product and a quadratic twist; confirmationis given (under certain conditions) that, at p, this is as predictedby Bloch and Kato. 2000 Mathematics Subject Classification 11F33,11F67, 11G40.     

Approximation Numbers of Sobolev Embedding Operators on an Interval

Consider the Sobolev embedding operator from the space of functionsin W^1,p(I) with average zero into L^p, where I is a finite intervaland p>1. This operator plays an important role in recentwork. The operator norm and its approximation numbers in closedform are calculated. The closed form of the norm and approximationnumbers of several similar Sobolev embedding operators on afinite interval have recently been found. It is proved in thepaper that most of these operator norms and approximation numberson a finite interval are the same.     

S-adic L-Functions Attached to the Symmetric Square of a Newform

In order to apply the ideas of Iwasawa theory to the symmetricsquare of a newform, we need to be able to define non-archimedeananalogues of its complex L-series. The interpolated p-adic L-functionis closely connected via a "Main Conjecture" with certain Selmergroups over the cyclotomic Z_p-extension of Q. In the p-ordinarycase these functions are well understood. In this article we extend the interpolation to an arbitraryset S of good primes (not necessarily satisfying ordinarityconditions). The corresponding S-adic functions can be characterisedin terms of certain admissibility criteria. We also allow interpolationat particular primes dividing the level of the newform. One interesting application is to the symmetric square of amodular elliptic curve E defined over Q. Our constructions yieldp-adic L-functions at all primes of stable or semi-stable reduction.If p is ordinary or multiplicative the corresponding analyticfunction is bounded; if p is supersingular our function behaveslike log²(1 + T). 1991 Mathematics Subject Classification: 11F67,11F66, 11F33, 11F30     

Lorentz Spaces Of Vector-Valued Measures

Given a non-atomic, finite and complete measure space (,,µ)and a Banach space X, the modulus of continuity for a vectormeasure F is defined as the function _F(t) = sup_µ(E)t |F|(E)and the space V^p,q(X) of vector measures such that t^–1/p'_F(t) L^q((0,µ()],dt/t) is introduced. It is shown thatV^p,q(X) contains isometrically L^p,q(X) and that L^p,q(X) = V^p,q(X)if and only if X has the Radon–Nikodym property. It isalso proved that V^p,q(X) coincides with the space of cone absolutelysumming operators from L^p',q^' into X and the duality V^p,q(X^*)=(Lp^',q^'(X))^*where 1/p+1/p^'= 1/q+1/q^' = 1. Finally, V^p,q(X) is identifiedwith the interpolation space obtained by the real method (V¹(X),V(X))_1/p^',q. Spaces where the variation of F is replaced bythe semivariation are also considered.     

Decay rates of solutions to thermoviscoelastic plates with memory

We consider the thermoelastic plate under the presence of along range memory. We find uniform rates of decay (in time)of the energy, provided that suitable assumptions on the relaxationfunctions are given. Namely, if the relaxation decays exponentiallythen the first order energy also decays exponentially. Whenthe relaxation g satisfies -c₁g(t)^1+1/_p g'(t) -c_og(t)^1+1/_p; and g,g^1-1/_p L¹ (R) withp > 2 then the energy decays as 1/(1+t)^p. A new Liapunov functionalis built for this problem.