Near-minimax Interpolation by a Polynomial in z and z-1 on a Circular Annulus

A polynomial of degree n in z^–1 and n–1 in z isdefined by an interpolation projection from the space A(N_p) of functions f analytic in the circular annulusp^–1 < <p and continuous on itsboundaries = p^–1, p. The points ofinterpolation are chosen to be spaced at equal angles aroundthe two boundaries, with arguments on the inner boundary midwaybetween those on the outer boundary. By calculating the Lebesgueconstants numerically, is found to be close to a minimax approximation for all p 1and all degrees n in the range 1 n 15. In the limiting casesp = 1 and, it is proved that is asymptotic to 2^–1 log n. More specifically and , where _nis the Lebesgueconstant of Gronwall for equally spaced interpolation on a circleby a polynomial of degree n. It is also demonstrated that is not in general monotonic in p, and that is not everywhere differentiable in p.     

Stability Analysis of Runge-Kutta Methods for Volterra Integral Equations of the Second Kind

Stability analysis of Volterra-Runge-Kutta methods based onthe basic test equation of the form where is a complex parameter, and on the convolution test equation where and are real parameters, is presented. General stabilityconditions are derived and applied to construct numerical methodswith good stability properties. In particular, a family of second-orderV^o-stable Volterra-Runge-Kutta methods is obtained. No V^o-stablemethods of order greater than one have been presented previouslyin the literature.     

Generalized compound quadrature formulae for finite-part integrals

Received on 31 July 1995. Revised on 19 August 1996. We investigate the error term of the dth degree compound quadratureformulae for finite-part integrals of the form where and p 1.We are mainly interested in error bounds of the form with best possible constants c. Itis shown that, for and n uniformlydistributed nodes, the error behaves as O(n^p–s–1for , p–1 <s d+1.In a previous paper we have shown that this is not true for As an improvement, we consider the case of non-uniformly distributednodes. Here, we show that for all p I and , an O(n^–s) error estimate can be obtainedin theory by a suitable choice of the nodes. A set of nodeswith this property is staled explicitly. In practice, this gradedmesh causes stability problems which are computationally expensiveto overcome. E-mail address: diethelm{at}informatik.uni-hildesheim.de     

Reducing Subspaces for a Class of Multiplication Operators

Let D be the open unit disk in the complex plane C. The Bergmanspace is the Hilbert space of analytic functions f in D such that where dA is the normalized area measure on D. If are two functions in , then the inner product of f and g is given by We study multiplication operators on induced by analytic functions. Thus for H (D), the space ofbounded analytic functions in D, we define by It is easy to check that M is a bounded linear operator on with ||M||=||||=sup{|(z)|:zD}.     

An Efficient Enthalpy-type Method for the Stefan Problem

The paper presents a new finite-difference method for solvingthe one-dimensional two-phase Stefan problem. Under assumptionson the data which guarantee the temperature u and the movingboundary s to belong to and , respectively, we obtain L₂-errorestimates of order O(h + h^–?) provided the time step is chosen such that Numerical aspects are discussed.     

Finite-Element Approximation of a Plasma Equilibrium Problem

The plasma problem studied is: given R⁺ find (, d, u) R ?R ? H¹() such that Let ₁ < ₂ be the first two eigenvalues of the associatedlinear eigenvalue problem: find $$\left(\lambda ,\phi \right)\in\mathrm{R;}\times {\hbox{ H }}_{0}^{1}\left(\Omega \right)$$such that For ₀(0,₂) it is well known that there exists a unique solution(₀, d₀, u₀) to the above problem. We show that the standard continuous piecewise linear Galerkinfinite-element approximatinon $$\left({\lambda }_{0},{\hbox{d }}_{0}^{k},{u}_{0}^{h}\right)$$, for ₀(0,₂), converges atthe optimal rate in the H¹, L², and L norms as h, the mesh length,tends to 0. In addition, we show that dist (, ^h)Ch² ln 1/h,where $${\Gamma }^{\left(h\right)}=\left\{x\in \Omega :{u}_{0}^{\left(h\right)}\left(x\right)=0\right\}$$.Finally we consider a more practical approximation involvingnumerical integration.     

Finite-Element Approximation of Elliptic Equations with a Neumann or Robin Condition on a Curved Boundary

This paper considers a finite-element approximation of a second-orderself adjoint elliptic equation in a region Rⁿ (with n=2 or 3)having a curved boundary on which a Neumann or Robin conditionis prescribed. If the finite-element space defined over , a union of elements, has approximation power h^kin the L² norm, and if the region of integration is approximatedby ^h with dist (, ^h)Ch^k, then it is shown that one retains optimalrates of convergence for the error in the H¹ and L² norms, whetherQ^h is fitted or unfitted , provided that the numerical integration scheme has sufficientaccuracy.     

Oscillation Criteria for First-Order Delay Equations

This paper is concerned with the oscillatory behaviour of first-orderdelay differential equations of the form (1) where is non-decreasing, (t)< t for t t₀ and . Let the numbers k andL be defined by It is proved here that when L < 1 and 0 < k 1/e all solutionsof equation (1) oscillate in several cases in which the condition holds, where ₁ is the smaller root of the equation = e^k. 2000Mathematics Subject Classification 34K11 (primary); 34C10 (secondary).     

On Ramanujan's Inequalities for exp(k)

Ramanujan claimed in his first letter to Hardy (16 January 1913)that where (k) lies between 2/21 and 8/45. This conjecture was provedin 1995 by Flajolet et al. The paper establishes the followingrefinement. where Both bounds for ^*(k) are sharp.     

The Complex Plank Problem

It is shown that if is a sequence of norm 1 vectors in a complex Hilbert space and is a sequence of non-negative numbers satisfying then there is a unit vector z for which for every j. The result is a strong,complex analogue of the author's real plank theorem.     

One-Sided BMO Spaces

In this paper we introduce the one-sided sharp functions dennedby and where z⁺ = max(z, 0). We study the BMO spaces associatedto and and their relation with the good weights for theone-sided Hardy-Littlewood maximal functions. Finally, as anapplication of our results, we characterize the weights forone-sided fractional integrals and one-sided fractional maximaloperators.     

Global Branch of Solutions for Non-Linear Schrodinger Equations with Deepening Potential Well

We consider the stationary non-linear Schrödinger equation where > 0 and the functionsf and g are such that and for some bounded open set R^N. We use topological methods to establish the existenceof two connected sets D^± of positive/negative solutionsin R x W², ^p R^N where that cover the interval (, ()) in the sense that and furthermore, The number () is characterized as the unique value of in theinterval (, ) for which the asymptotic linearization has a positiveeigenfunction. Our work uses a degree for Fredholm maps of indexzero. 2000 Mathematics Subject Classification 35J60, 35B32,58J55.     

On Mason's conjecture concerning interpolation by polynomials in z and z-1 on an annulus

A polynomial of degree n in z^–1 and n – 1 in z isdefined by an interpolation projection from the space A(N) of functions f analytic in thecircular annulus ^–1<|z| and continuous on its boundaries|z|=^–1, . The points of interpolation are chosen to coincidewith the n roots of zⁿ=–n and the n roots of zⁿ=^–n.We prove Mason's conjecture that the corresponding Lebesguefunction attains its maximal value on the inner circle. We alsoestimate the bound of the Lebesgue constant . It is proved that the following estimate for theoperator norm holds: where _n, is the Lebesgue constant of Gronwall for equally spacedinterpolation on a circle by a polynomial of degree n.     

On the Convergence of a One-step Method for the Numerical Solution of an Ordinary Differential Inclusion

The approximation of the initial-value problem for the diferentialinclusion by the one-step method is considered. The multivalued mapping ßis assumed to be maximal monotone. A convergence result andan error bound are established. An interative method for solvingthe discrete problem is given. Some examples are considered.     

A Radial Uniqueness Theorem for Sobolev Functions

We show that continuous functions u in the Sobolev space , 1 < p n, which have the limitzero in a certain weak sense in a set of positive p-capacityon B with where B is the open unit ball of Rⁿ and for 0 > > , are identically zero. Conversely, we produce for each 1 > p n and each positive a non-constant function u in , continuous in , and a compact set EB of positive p-capacity such that u = 0 in E and the aboveinequality holds with exponent p – l + .     

Numerical Evaluation of a Class of Double Integrals of Oscillatory Functions

A general method is described for the numerical evaluation ofintegrals of the form where, in a typical case, (x, y) is a lengthy polynomial ofdegree 10 in (x, y) and A is the region common to three overlappingcircles, although the method is in no way restricted to suchcases. Illustrative numerical examples are given.     

On the Best Possible Constants in the Khintchine Inequality for P >= 3

In the paper the best constants in the Khintchine inequalityfor p 3 are found, namely where . This gives stronger estimates than the hitherto Known ones forthe constants depend on n.     

New Criteria for Polynomial Stability

New criteria for real-polynomial stability, developed during1957–1978, are introduced. The real polynomial an is called stable if every one of its roots hasnegative real part. We define determining coefficients for the positive-coefficient polynomial f(x). Thestability of f(x) is completely determined by the n –2 determining coefficients. Several simple necessary or sufficientconditions for a stable polynomial are presented in terms ofinequalities involving the determining coefficients. For example,a necessary condition is , and a sufficientcondition is .     

The Weiss Conjecture for Bounded Analytic Semigroups

New results concerning the so-called Weiss conjecture on admissibleoperators for bounded analytic semigroups are given. Let be a bounded analytic semigroup withgenerator –A on some Banach space X. It is proved thatif A^1/2 is admissible for A, that is, if there is an estimate then any continuous mappingC : D(A) Y valued in a Banach space Y is admissible for A providedthat there is an estimate .for , Re()<0. This holds in particular if is a contractive (analytic) semigroup on Hilbertspace. In the converse direction, it is shown that this mayhappen for a bounded analytic semigroup on Hilbert space thatis not similar to a contractive one. Applications in non-HilbertianBanach spaces are also given.     

An Order of Convergence for Some Radial Basis Functions

The quasi-interpolant to a function f : RⁿR on an infinite regulargrid of spacing h can be defined by where : RⁿR is a function which decays quickly for large argument.In the case of radial basis functions has the form where : R⁺R is known as a radial basis function and, in general,?_j R (j = 1,...,m) and x^j Rⁿ (j = 1,...,m), though here onlythe particular case x^j Zⁿ (j = 1,..., m) is considered. Thispaper concentrates on the case (r) = r, a generalization oflinear interpolation, although some of the analysis is moregeneral. It is proved that, if n is odd, then there is a function such that the maximum difference between a sufficiently smoothfunction and its quasi-interpolant is bounded by a constantmultiple of hⁿ⁺¹. This is done by first showing that such aquasi-interpolation formula can reproduce polynomials of degreen.