Semidiscrete finite element Galerkin approximations to the equations of motion arising in the Oldroyd model

In this paper, a semidiscrete finite element Galerkin methodfor the equations of motion arising in the 2D Oldroyd modelof viscoelastic fluids with zero forcing function is analysed.Some new a priori bounds for the exact solutions are derivedunder realistically assumed conditions on the data. Moreover,the long-time behaviour of the solution is established. By introducinga Stokes–Volterra projection, optimal error bounds forthe velocity in the L(L²) as well as in the L(H¹)-norms andfor the pressure in the L(L²)-norm are derived which are validuniformly in time t > 0.     

A posteriori estimates for approximations of time-dependent Stokes equations

Charalambos Makridakis ^{In this paper, we derive a posteriori error estimates for space-discreteapproximations of the time-dependent Stokes equations. By usingan appropriate Stokes reconstruction operator, we are able towrite an auxiliary error equation, in pointwise form, that satisfiesthe exact divergence-free condition. Thus, standard energy estimatesfrom partial differential equation theory can be applied directly,and yield a posteriori estimates that rely on available correspondingestimates for the stationary Stokes equation. Estimates of optimalorder in L(L2) and L(H1) for the velocity are derived for finite-elementand finite-volume approximations.}     

Error estimates for a finite-difference approximation of a mean field model of superconducting vortices in one-dimension

Error estimates for a semi-implicit finite-difference approximationof a mean field model of superconducting vortices are obtained.The L(L¹) error between the approximate and the exact superconductingvortex density of the model is of order h^1/3.     

Mixed finite-element methods for Hamilton-Jacobi-Bellman-type equations

The numerical solution of Dirichlet's problem for a second-orderelliptic operator in divergence form with arbitrary nonlinearitiesin the first- and zero-order terms is considered. The mixedfinite-element method is used. Existence and uniqueness of theapproximation are proved and optimal error estimates in L² aredemonstrated for the relevant functions. Error estimates arealso derived in L^q, 2q+     

A qualocation method for a unidimensional single phase semilinear Stefan problem

Based on straightening the free boundary, a qualocation methodis proposed and analysed for a single phase unidimensional Stefanproblem. This method may be considered as a discrete versionof the H¹-Galerkin method in which the discretization is achievedby approximating the integrals by a composite Gauss quadraturerule. Optimal error estimates are derived in L(W^j,), j = 0,1,and L (H^j), j = 0,1,2, norms for a semidiscrete scheme withoutany quasi-uniformity assumption on the finite element mesh.     

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.     

Total Flux Estimates for a Finite-Element Approximation of Parabolic Equations

An initial-boundary-value problem for a parabolic equation ina domain x (0, T) with prescribed Dirichlet data on is approximatedusing a continuous-time Galerkin finite-element scheme. It isshown that the total flux across ₁= can be approximated withan error of O(h^k) when is a curved domain in Rⁿ (n = 2 or 3)and isoparametric elements having approximation power h^k inthe L² norm are used.     

Some Sharp Bounds for the Cone Multiplier of Negative Order in R3

This paper considers the cone multiplier operator which is definedby where and . For –3/2 < µ < –3/14, sharp L^p – L^q estimatesand endpoint estimates for S^µ are obtained. 2000 MathematicsSubject Classification 42B15 (primary).     

On the Boundedness and Compactness of a Class of Integral Operators

Let > 0. The operator of the form is considered, where the real weight function v(x) is locallyintegrable on R⁺ := (0, ). In case v(x) = 1 the operator coincideswith the Riemann–Liouville fractional integral, L^p L^qestimates of which with power weights are well known. This workgives L^p L^qboundedness and compactness criteria for the operatorT in the case 0 < p, q < , p > max(1/, 1).     

Two Models that show the Interpolation Theorem Fails in all L1(Q{alpha}) and L1, 1 (Q{alpha}, {alpha} = 0, 1, 2,...

The logics L¹(Q), L^1,1(Q) and L²(Q) are formed by adding quantifiersQ, Q^1,1 and Q² respectively to the first-order logic. In thispaper, for each ordinal (including = 0), we construct twoQ models to prove that the Interpolation Theorem fails in L(Q)and L^1,1 (Q).     

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.     

Sharp Geometric Poincare Inequalities for Vector Fields and Non-Doubling Measures

We derive Sobolev–Poincaré inequalities that estimatethe L^q(d µ) norm of a function on a metric ball when µis an arbitrary Borel measure. The estimate is in terms of theL¹(d ) norm on the ball of a vector field gradient of the function,where d dx is a power of a fractional maximal function of µ.We show that the estimates are sharp in several senses, andwe derive isoperimetric inequalities as corollaries. 1991 MathematicsSubject Classification: 46E35, 42B25.     

Free Groups of Outer Commutator Varieties of Groups

If F is a free group, 1 < i j 2i and i k i + j + 1 thenF/[_j(F), _i(F), _k(F)] is residually nilpotent and torsion-free.This result is extended to 1 < i j 2i and i k 2i + 2j.It is proved that the analogous Lie rings, L/[L^j, Lⁱ, L^k] whereL is a free Lie ring, are torsion-free. Candidates are foundfor torsion in L/[L^j, Lⁱ, L^k] whenever k is the least of {i,j, k}, and the existence of torsion in L/[L^j, Lⁱ, L^k] is provedwhen i, j, k 5 and k is the least of {i, j, k}.     

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.     

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.     

On the Volume Ratio of Two Convex Bodies

Let K and L be two convex bodies in Rⁿ. The volume ratio vr(K,L) of K and L is defined by vr(K, L = inf(|K|/|T(L)|)^1/n, wherethe infimum is over all affine transformations T of Rⁿ for whichT(L) K. It is shown in this paper that vr(K, L) , where c > 0 is an absolute constant. This isoptimal up to the logarithmic term. 2000 Mathematics SubjectClassification 52A40, 46B07 (primary); 52A21, 52A20 (secondary).     

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.     

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.     

Sharp Results Concerning the Expression of Functions as Sums of Finite Differences

Let * denote convolution and let _x denote the Dirac measureat a point x. A function in L²(R)) is called a difference oforder 1 if it is of the form g-_x * g for some x R and g L²(R)).Also, a difference of order 2 is a function of the form for some x R and g L²(R)). In fact,the concept of a ‘difference of order s’ may bedefined in a similar manner for each s 0. If f denotes the Fouriertransform of f, it is known that a function f in L²(R)) is afinite sum of differences of order s if and only if , and the vector space of all suchfunctions is denoted by D_s (L²(R)). Every function in D_s (L²(R))is a sum of int(2s) + 1 differences of order s, where int(t)denotes the integer part of t. Thus, every function in D₁ (L²(R))is a sum of three first order differences, but it was provedin 1994 that there is a function in D₁ (L(R)) which is neverthe sum of two first order differences. This complemented, forthe group R, the corresponding result for first order differencesobtained by Meisters and Schmidt in 1972 for the circle group.The results show that there is a function in L₂ R such that,for each s 1/2, this function is a sum of int (2s) + 1 differencesof order s but it is never the sum of int (2s) differences oforder s. The proof depends upon extending to higher dimensionsthe following result in two dimensions obtained by Schmidt in1972 in connection with Heilbronn's problem: if x₁, x__n arepoints in the unit square, Following on from the work of Meisters and Schmidt, this workfurther develops a connection between certain estimates in combinatorialgeometry and some questions of sharpness in harmonic analysis.2000 Mathematics Subject Classification 42A38 (primary), 52A40(secondary).