Error Bounds for Hermite Interpolation by Quadratic Splines on an {alpha}-Triangulation

For l, an -triangulation F of a planar domain is such that,for every T F, there holds 1 R_T/2r_T , where R_T (resp. r_T)denotes the radius of the circumscribed (resp. inscribed) circleof the triangle T. When T is varying in F the centre of itsinscribed circle is varying in a compact interior to T and itsorthogonal projections on the sides are varying in compact intervalsinterior to these sides. Precise results are given about thesizes of these compacts and are used for the computation oferror constants in the problem of Hermite interpolation by Powell-Sabinquadratic finite elements, bringing to the fore their dependenceon the parameter .     

Finite Element Approximation of a Rigid Punch Indenting a Membrane

Optimal order H¹ and L error bounds are obtained for a continuouspiecewise linear finite element approximation of an obstacleproblem, where the obstacle's height as well as the contactzone, _c, are a priori unknown. The problem models the indentationof a membrane by a rigid punch. For R², given ,g R⁺ and an obstacle defined over E we consider the minimization of |v|²_1,+gµover (v, µ) H¹₀() x R subject to v+µ on E. In additionwe show under certain nondegeneracy conditions that dist (_c,^h_c)Ch ln 1/h, where ^h_c is the finite element approximation to_c. Finally we show that the resulting algebraic problem canbe solved using a projected SOR algorithm.     

Numerical Solvability of Hammerstein Integral Equations of Mixed Type

We consider a mixed Hammerstein integral equation of the form where –<a<b<, y, f_i and k_i, (1im) are known functionsand x is a solution to be determined. In this paper, we obtainexistence, uniqueness, and numerical solvability of (I) undercertain smoothness assumptions on the known functions y, f_iand k_i.     

Complex Dynamics of Convergence Acceleration

Generalized Steffensen methods are nonderivative algorithmsfor the computation of fixed points of a function f. They replacethe functional iteration Z_m+1=f(Z_m) with Z_m+1=F_n(Z_m, where F_nis explicitly provided for every n 1 as a quotient of two Hankeldeterminants. In this paper we derive rules pertaining to thelocal behaviour of these methods. Specifically, and subjectto analyticity, given that is a bounded fixed point of f, thenit is also a fixed point of F_n. Moreover, unless f'() vanishesor is a root of unity, becomes a superattractive fixed pointof F_n of degree n; if f'() is a root of unity of minimal degreeq2, then is (as a fixed point of F_n) superattractive of degreemin {q-1, n}; if f'()=1, then is attractive for F_n; and, finally,if is superattractive of degree s (as a fixed point of f),then it becomes superattractive of degree (s + 1)^n–1(ns+ s + 1)–1. Attractivity rules change at infinity (providedthat f()=). Broadly speaking, infinity becomes less attractivefor F_n, Since one is interested in convergence to finite fixedpoints, this further enhances the appeal of generalized Steffensenmethods.     

Fitted and Unfitted Finite-Element Methods for Elliptic Equations with Smooth Interfaces

This paper considers the finite-element approximation of theelliptic interface problem: -?(u) + cu = f in Rⁿ (n = 2 or3), with u = 0 on , where is discontinuous across a smoothsurface in the interior of . First we show that, if the meshis isoparametrically fitted to using simplicial elements ofdegree k - 1, with k 2, then the standard Galerkin method achievesthe optimal rate of convergence in the H¹ and L² norms overthe approximations _l⁴ of _l where _{l 2}. Second, since itmay be computationally inconvenient to fit the mesh to , weanalyse a fully practical piecewise linear approximation ofa related penalized problem, as introduced by Babuska (1970),based on a mesh that is independent of . We show that, by choosingthe penalty parameter appropriately, this approximation convergesto u at the optimal rate in the H¹ norm over _l⁴ and in the L²norm over any interior domain _l^* satisfying _l^* _l^** _l⁴ for somedomain _l^**. Present address: School of Mathematical and Physical Sciences,University of Sussex, Brighton BN1 9QH     

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.     

Best Approximation with Coefficient Constraints

For given = (₁,..., _n) and ß = (ß₁,...,ß_n), with – _i < ß_i (i = 1, ...,n) and continuous functions u₁,...,u_n, set This paper is concerned with best approximating continuous functions,in the uniform norm, from U(; ß). We exactly characterizethe u₁,..., u_n for which the best approximant to every continuousfunction is unique. We also present a general theorem characterizingall best approximants. When (u₁,..., u_n) is a Descartes, ora weak Descartes, system on [0, 1], explicit characterizationsof the best approximants in terms of equioscillations are given.These results are applied to spline spaces. They are also usedto complete the characterizations in certain specific examplespreviously considered in the literature.     

Rate of convergence of numerical approximations to homoclinic bifurcation points

For x=f (x, ), x Rⁿ, R, having a hyperbolic or semihyperbolicequilibrium p(), we study the numerical approximation of parametervalues ^* at which there is an orbit homoclinic to p(). We approximate^* by solving a finite-interval boundary value problem on J=[T_–,T₊], T_–<0<T₊, with boundary conditions that sayx(T_–) and x(T₊) are in approximations to appropriate invariantmanifolds of p(). A phase condition is also necessary to makethe solution unique. Using a lemma of Xiao-Biao Lin, we improve,for certain phase conditions, existing estimates on the rateof convergence of the computed homoclinic bifurcation parametervalue , to the true value ^*. The estimates we obtain agree withthe rates of convergence observed in numerical experiments.Unfortunately, the phase condition most commonly used in numericalwork is not covered by our results.     

Projective Modules over the Non-Commutative Sphere

The positive cone of the K₀-group of the non-commutative sphereB is explicitly determined by means of the four basic unboundedtrace functionals discovered by Bratteli, Elliott, Evans andKishimoto. The C*-algebra B is the crossed product A x Z₂ ofthe irrational rotation algebra A by the flip automorphism defined on the canonical unitary generators U, V by (U) = U*,(V) = V*, where VU = e²ⁱ UV and is an irrational real number.This result combined with Rieffel's cancellation techniquesis used to show that cancellation holds for all finitely generatedprojective modules over B. Subsequently, these modules are determinedup to isomorphism as finite direct sums of basic modules. Italso follows that two projections p and q in a matrix algebraover B are unitarily equivalent if, and only if, their vectortraces are equal: [p] = [q]. These results will have the following ramifications. They areused (elsewhere) to show that the flip automorphism on A isan inductive limit automorphism with respect to the basic buildingblock construction of Elliott and Evans for the irrational rotationalgebra. This will, in turn, yield a two-tower proof of thefact that B is approximately finite dimensional, first provedby Bratteli and Kishimoto.     

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.