An a posteriori error indicator for discontinuous Galerkin discretizations of H(curl)-elliptic partial differential equations

^** Email: paul.houston{at}nottingham.ac.uk^*** Corresponding author. Email: ilaria.perugia{at}unipv.it^**** Email: schoetzau{at}math.ubc.ca We introduce a residual-based a posteriori error indicator fordiscontinuous Galerkin discretizations of H(curl; )-ellipticboundary value problems that arise in eddy current models. Weshow that the indicator is both reliable and efficient withrespect to the approximation error measured in terms of a naturalenergy norm. We validate the performance of the indicator withinan adaptive mesh refinement procedure and show its asymptoticexactness for a range of test problems.     

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.     

Composition Preserves Rigidity

Say that f in H^p (1 p ) of the unit disk is rigid if it isdetermined in H^p by its argument modulo 2 on the unit circle.We show that if f is rigid and u is an inner function, thenthe composition f o u is rigid. The proof uses the disintegrationof Lebesgue measure with respect to u to compute the adjointof the operator of composition with u. This result is a generalization of the work of Younis, who provedthe special case p = 1 using operator theoretic methods.     

Rearrangements of the Haar System that Preserve BMO

Let D denote the collection of dyadic intervals in the unitinterval. Let be a rearrangement of the dyadic intervals. Westudy the induced operator where h_I is the L normalized Haar function. We find geometricconditions on which are necessary and sufficient for T to bebounded on BMO. We also characterize the rearrangements of theL^p normalized Haar system in L^p. 1991 Mathematics Subject Classification:42C20, 43A17, 47B38.     

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.     

POWERS OF OPERATORS DOMINATED BY STRICTLY SINGULAR OPERATORS

It is proved that every positive operator R on a Banach latticeE dominated by a strictly singular operator T:E E satisfiesthat the R⁴ is strictly singular. Moreover, if E is order continuousthen the R² is already strictly singular.     

The Convergence of Operator Approximations at Turning Points

Present address: Department of Mathematics, University of Reading, Reading RG6 2AX. We consider the convergence of solution curves of approximationsto parameter-dependent operator equations of the form G(, x)= 0. Provided G_x(, x) remains non-singular this problem is cateredfor by a simple extension to standard theory. In this paper,however, attention is concentrated on solution curves throughcertain singular points (⁰, x⁰), and the main result is thatconvergence depends on consistency and stability results forthe linear eigenvalue problem G_x(⁰, x⁰)0 = 0.     

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+     

The Nemitskii Operator in Holder Spaces: Some Necessary and Sufficient Conditions

The Nemitskii operator in the Hölder spaces C^0, () with an open bounded subset of Rⁿ, is studied; necessary and sufficientconditions are given for boundedness, uniform continuity, anduniformly continuous differentiability on bounded sets.     

A Paley-Wiener theorem for Bergman spaces with application to invariant subspaces

An analogue of the Paley–Wiener theorem is developed forweighted Bergman spaces of analytic functions in the upper half-plane.The result is applied to show that the invariant subspaces ofthe shift operator on the standard Bergman space of the unitdisk can be identified with those of a convolution Volterraoperator on the space L²(⁺, (1/t)dt).     

Logarithmic Growth for Matrix Martingale Transforms

An example is given of an operator weight W that satisfies thedyadic operator Hunt–Muckenhoupt–Wheeden condition for which there exists a dyadic martingale transform on L² (W) that is unbounded. The constructionrelates weighted boundedness to the boundedness of dyadic vectorHankel operators.     

A Note on Two-Weight Inequalities for Maximal Functions and Singular Integrals

We deal with weighted inequalities of the type [formula] where: T is either the Hardy–Littlewood maximal operator or asingular integral operator; G is any measurable subset of Rⁿ; f is any measurable function, vanishing outside G, such thatTf is well-defined; v and w are weights, that is, nonnegativelocally integrable functions on G; p, q(1, ). 1991 Mathematics Subject Classification 42B20, 42B25.     

Scattering Matrix for Manifolds with Conical Ends

Let M be a manifold with conical ends. (For precise definitionssee the next section; we only mention here that the cross-sectionK can have a nonempty boundary.) We study the scattering forthe Laplace operator on M. The first question that we are interestedin is the structure of the absolute scattering matrix S(s).If M is a compact perturbation of Rⁿ, then it is well-knownthat S(s) is a smooth perturbation of the antipodal map on asphere, that is, S(s)f(·)=f(–·) (mod C) On the other hand, if M is a manifold with a scattering metric(see [8] for the exact definition), it has been proved in [9]that S(s) is a Fourier integral operator on K, of order 0, associatedto the canonical diffeomorphism given by the geodesic flow atdistance . In our case it is possible to prove that S(s) isin fact equal to the wave operator at a time t = plus C terms.See Theorem 3.1 for the precise formulation. This result isnot too difficult and is obtained using only the separationof variables and the asymptotics of the Bessel functions. Our second result is deeper and concerns the scattering phasep(s) (the logarithm of the determinant of the (relative) scatteringmatrix).     

Antisupercyclic Operators and Orbits of the Volterra Operator

We say that a bounded linear operator T acting on a Banach spaceB is antisupercyclic if for any x B either Tⁿx = 0 for somepositive integer n or the sequence {Tⁿx/||Tⁿx||} weakly convergesto zero in B. Antisupercyclicity of T means that the angle criterionof supercyclicity is not satisfied for T in the strongest possibleway. Normal antisupercyclic operators and antisupercyclic bilateralweighted shifts are characterized. As for the Volterra operator V, it is proved that if 1 p and any f L_p [0,1] then the limit lim_n (n!||Vⁿf||_p)^1/n doesexist and equals 1 – inf supp (f). Upon using this asymptoticformula it is proved that the operator V acting on the Banachspace L_p[0,1] is antisupercyclic for any p (1,). The same statementfor p = 1 or p = is false. The analogous results are provedfor operators when the real part of z C is positive.     

A Joint Functional Calculus for Sectorial Operators with Commuting Resolvents

In this paper we study the notion of joint functional calculusassociated with a couple of resolvent commuting sectorial operatorson a Banach space X. We present some positive results when Xis, for example, a Banach lattice or a quotient of subspacesof a B-convex Banach lattice. Furthermore, we develop a notionof a generalized H-functional calculus associated with the extensionto (H) of a sectorial operator on a B-convex Banach lattice, where H is a Hilbert space. We apply our results to a newconstruction of operators with a bounded H-functional calculusand to the maximal regularity problem. 1991 Mathematics SubjectClassification: 47A60, 47D06, 46C15.     

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

Hypercyclic and Chaotic Convolution Operators

Every convolution operator on a space of ultradifferentiablefunctions of Beurling or Roumieu type and on the correspondingspace of ultradistributions is hypercyclic and chaotic whenit is not a multiple of the identity. The operator of differentiationis hypercyclic on the space A^–, but it need not be hypercyclicon radial weighted algebras of entire functions.     

Second-order operators with degenerate coefficients

We consider properties of second-order operators on ^d with bounded real symmetric measurable coefficients.We assume that C = (c_ij) 0 almost everywhere, but allow forthe possibility that C is degenerate. We associate with H acanonical self-adjoint viscosity operator H₀ and examine propertiesof the viscosity semigroup S⁽⁰⁾ generated by H₀. The semigroupextends to a positive contraction semigroup on the L_p-spaceswith p [1, ]. We establish that it conserves probability andsatisfies L₂ off-diagonal bounds, and that the wave equationassociated with H₀ has finite speed of propagation. Nevertheless,S⁽⁰⁾ is not always strictly positive because separation of thesystem can occur even for subelliptic operators. This demonstratesthat subelliptic semigroups are not ergodic in general and theirkernels are neither strictly positive nor Hölder continuous.In particular, one can construct examples for which both upperand lower Gaussian bounds fail even with coefficients in C^2–(^d)with > 0.     

The Hardy Operator and the Gap Between L{infty} and BMO

We study boundedness and compactness properties of the Hardyintegral operator from a weighted Banach function space X(v) into L and BMO. We give a new simplecharacterization of compactness of T from X(v) into BMO. Weconstruct examples of spaces X(v) such that T(X(v)) is (a) boundedin L but not compact in BMO; (b) compact in BMO but not boundedin L; (c) bounded in BMO but neither bounded in L nor compactin BMO; (d) bounded in L, compact in BMO and yet not compactin L. In order to obtain the last of the counterexamples weconstruct a new weighted Banach function space.     

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.