A partial ordering of some of the elements of Algol

Them _Algol productions of Algol are of the formX _p0 ::=X _p1 X _p2 ...X _{pn p} , where 1pm _Algol, 1n _p,X _p0 is a defined type andX _pj, 1jn _p is either a defined type or a basic symbol or possibly, representing the empty string ifn _p=1 [1]. A partial ordering of that subset of Algol's basic symbols and defined types which for somep are eitherX _p0 orX _p1 is exhibited. This ordering is of interest in implementing the syntax-oriented translator described by Ingerman.     

Zur Interpolation und Integration differenzierbarer periodischer Funktionen

Summary Letx ₀<x ₁<...<x _n–1<x ₀+2 be nodes having multiplicitiesv ₀,...,v _n–1, 1v _k r (0k<n). We approximate the evaluation functional ,x fixed, and the integral respectively by linear functionals of the form and determine optimal weights for the Favard classesW _r C ₂. In the even case of optimal interpolation these weights are unique except forr=1,x(x _k +x _k–1)/2 mod 2. Moreover we get periodic polynomial splinesw _{k, j} (0k<n, 0j<v _k ) of orderr such that are the optimal weights. Certain optimal quadrature formulas are shown to be of interpolatory type with respect to these splines. For the odd case of optimal interpolation we merely have obtained a partial solution.

Bojanov hat in [4, 5] ähnliche Resultate wie wir erzielt. Um Wiederholungen zu vermeiden, werden Resultate, deren Beweise man bereits in [4, 5] findet, nur zitiert     

Stabilitätsungleichungen für Diskretisierungen von Randwertaufgaben gewöhnlicher Differentialgleichungen

Summary We consider two-point boundary value problems for linear differential equations (of ordern). The main part consists in proving stronger apriori estimates for (mn–1) using discreteL ₁-norms of the involved right-hand sides; thus extending known results for discreteL _p -norms with 2p. These estimates are the main tool in proving sharp estimates for the error \y–y _h \ _h, as well asfor \P _y –P _h y _h \ _h, , whereP _h denotes a consistent approximation of the differential operatorP of ordermn–1, in terms of the discretL ₁-norm of the truncation error. By means of an interpolation technique these estimates yield a correct estimate of the order of convergence, also in case that the solution satisfies locally some Lipschitz-conditions.     

On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

Fully discrete Galerkin approximations of parabolic boundary-value problems with nonsmooth boundary data

Summary In this paper we study the convergence properties of a fully discrete Galerkin approximation with a backwark Euler time discretization scheme. An approach based on semigroup theory is used to deal with the nonsmooth Dirichlet boundary data which cannot be handled by standard techniques. This approach gives rise to optimal rates of convergence inL _p[O,T;L ₂()] norms for boundary conditions inL _p[O,T;L ₂()], 1p.     

Orthogonal least squares fitting with linear manifolds

Summary The problem is considered of fitting a linear manifold of dimensions with 1sn–1 to a given set of points in ⁿ such that the sum of orthogonal squared distances attains a minimum.     

Error bounds for the solution of nonlinear two-point boundary value problems by Galerkin's method

Letu be the solution of the differential equationLu(x)=f(x, u(x)) forx(0,1) (with appropriate boundary conditions), whereL is an elliptic differential operator. Letû be the Galerkin approximation tou with polynomial spline trial functions. We obtain error bounds of the form , where 0jm andmk2m+q,p=2 orp=,h is the mesh size andq is a non negative integer depending on the splines being used.This research was supported in part by the Office of Naval Research under Contract N00014-69-A0200-1017.     

Flat points of two-dimensional Brownian motion

Summary SupposeZ(·) is a two-dimensional Brownian motion. It is shown that a.s. there existt ₀ and >0 such thatZ(t ₀) is an extremal point of the convex hull of {Z(t)|t ₀–tt₀} and also an extremal point of the convex hull of {Z(t)|t ₀tt₀+} and, moreover, the tangent lines to the convex hulls atZ(t ₀) form a non-zero angle.The result is related to the following unsolved problem of S.J. Taylor. Do there exist a.s.t ₀ and >0 such that the intersection of the convex hulls of {Z(t)|t ₀–tt₀} and {Z(t)|t ₀tt₀+} contains onlyZ(t ₀)?This research was partially supported by Grant-in-Aid for Scientific Research (No. 400101540202), Ministry of Education, Science and Culture     

Error estimates of a Galerkin method for some nonlinear Sobolev equations in one space dimension

Summary A semidiscrete Galerkin finite element method is defined and analyzed for nonlinear evolution equations of Sobolev type in a single space variable. Optimal orderL ^p error estimates are derived for 2p. And it is shown that the rates of convergence of the approximate solution and its derivative are one order better than the optimal order at certain spatial Jacobi and Gauss points, respectively. Also the standard nodal superconvergence results are established. Futher, it is considered that an a posteriori procedure provides superconvergent approximations at the knots for the spatial derivatives of the exact solution.     

Dominated, diagonal polynomials on ℓ p spaces

We show that the r-dominated polynomials on _p(2 p ) are integral on ₁, and give examples proving that the converse is not true. We characterize when the 2-homogeneous, diagonal polynomials on _p(1 < p ) are r-dominated. We prove that, unlike the linear case, there are nuclear polynomials which are not 1-dominated.Received: 6 June 2004; revised: 28 September 2004     

Cubature formulae which are exact on spacesP,intermediate betweenP k andQ k′

Summary In this paper we search, from the orthogonal polynomial theory, for conditions which allow to obtain cubature formulae on compacts of ⁿ , with weight function, and which are exact on the spaceR( _{k 1}, k₂, ..., k_n) of all polynomials of degree k _i respectively to each variablex _i , 1in.     

Dominated polynomials on $\mathcal{L}_P $ -spaces

It is well known that continuous bilinear forms on C(K) × C(K) are 2-dominated. This paper shows that generalizations of this result are not to be expected. The main result asserts that for every -space E(1 p ), every n 2, every r > 0 and every Banach space F , there exists an n-homogeneous polynomial P : E F such that P is not of type [_r], hence P is neither r-dominated nor r-semi-integral (if n = 2 and p = , F is supposed to contain an isomorphic copy of some , 1_q < ).Received: 24 November 2003     

On the value of a logarithmic-trigonometric integral

A closed expression is derived for the integral ₀ ^/2 log ⁿ cosxlog ^p sinxdx, wheren andp are non-negative integers. As already remarked by Nielsen in a monograph on the generalized polylogarithms published early in this century, this integral is equal to times a homogeneous polynomial in (q) (the Riemann zeta function for integer arguments) and log 2, with rational coefficients. Explicit expressions for the integral are given for 0<n4, 0p4, most of which have been found from the general formula by means of a computer.Part of this work was done during the author's leave of absence at the Institute of Theoretical Physics at McGill University, Montreal, Quebec, Canada. This work was supported in part by the National Research Council of Canada.     

Strong laws for the k-th order statistic when k≦c log2 n

Summary Under general regularity assumptions, we characterize the upper and lower almost sure classes of U _{k, n} , where U _{1, n} ...U _{n, n} are the order statistics of an i.i.d. sample of size n from the uniform distribution on (0, 1), and where k=k _n is a non-decreasing integer sequence such that 1k =O(log₂ n) as n .     

The Measure of Noncompactness of Linear Operators between Spaces of Strongly C 1 Summable and Bounded Sequences

We give necessary and sufficient conditions for infinite matrices to map a sequence space X into a sequence space Y where X = l ₁ and Y = w ^p , w ^p , w ₀ ^p (1 p < ), or X = w ₀, w, w and Y = l _p (1 p ), or X = w ₀, w, w and Y = w ₀ ^p , w ^p , w ^p (1 p < ). Furthermore the Hausdorff measure of noncompactness is applied to give necessary and sufficient conditions for a linear operator between these spaces to be compact.     

Upper classes for the increments of the fractional Wiener process

Summary LetX(t) be a fractional Wiener process, i.e., a centered Gaussian process on [0, ) with stationary increments and varianceEX ² (t)=t ², anda(t) a positive nondecreasing function witha(t)t. We investigate the a.s. asymptotic behaviour of the incrementsI(t, a (t))=max{X{u+a(t))–X(u): 0ut–a(t)} (and some others that are similarly defined) ast.     

Completion of Countably Seminormed Spaces

Let E be a vector space with a topology generated by countably many increasing seminorms p1 p2 ...and let _{p i} be the completion of E/ker (pi) with respect to pi. If pi are norms compatible in a certain sense, it is known that E is a complete space if and only if E=_{i=1 p i} . In this paper we give a similar characterization of complete spaces in a general case when pi are seminorms, without any additional assumptions. Our characterization coincides with the known one if pi are compatible norms.     

Majorization of Gaussian processes and geometric applications

Summary Let (x _i ^* ) _i=1 ⁿ denote the decreasing rearrangement of a sequence of real numbers (x _i ) _i=1 ⁿ . Then for everyij, and every 1kn, the 2-nd order partial distributional derivatives satisfy the inequality, . As a consequence we generalize the theorem due to Fernique and Sudakov. A generalization of Slepian's lemma is also a consequence of another differential inequality. We also derive a new proof and generalizations to volume estimates of intersecting spheres and balls in ⁿ proved by Gromov.Supported by NSF grant # DMS 8909745, and the USA-Israel Binational Science Foundation grant # 86-00074, and grant for the Promotion of Research at the Technion     

О полноте систем функ ций и систем ортогона льных многочленов

The paper is devoted to the study of completeness problem of systems { ⁿ (x)} _n=0 inL ^p (a, b), where –a<b+,(x) is a weight function subject to mild assumptions, and(x) is a continuous function on (a,b), either bounded or unbounded in the neighbourhood of the end-points of (a,b). It turns out that this problem is connected with that of quasianalyticity of certain additive set of functions at a given point. As the most important application of the general results, the completeness problem is treated for systems of orthogonal polynomials.     

Stability of a spline collocation method for strongly elliptic multidimensional singular integral equations

Summary We consider a spline collocation method for strongly elliptic zero order pseudodifferential equationsp _gw Au=f on a cube =(0, 1) ^m . Utilizing multilinear spline functions which are zero at the boundary we collocate at the meshpoints inside . For classical strongly elliptic translation invariant pseudodifferential operators, we verify the stability of the considered collocation method inL ²(). Afterwards, form2 and a right hand sidefH ⁸(),s>m/2, we prove an asymptotic convergence estimate.The author has been supported by a grant of Deutsche Forschungsgemeinschaft under grant number Ko 634/32-1