On Piecewise-Constant Approximation of Continuous Functions of n Variables in Integral Metrics

We consider the approximation by piecewise-constant functions for classes of functions of many variables defined by moduli of continuity of the form (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ), where _i ( _i ) are ordinary moduli of continuity that depend on one variable. In the case where _i ( _i ) are convex upward, we obtain exact error estimates in the following cases: (i) in the integral metric L ₂ for (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ); (ii) in the integral metric L _p (p 1) for (₁, ..., _n ) = c ₁₁ + ... + c _{n n} ; (iii) in the integral metric L _{(2, ..., 2, 2r)} (r = 2, 3, ...) for (₁, ..., _n ) = ₁(₁) + ... + _{n – 1}( _{n – 1}) + c _{n n} .     

Transposition generation of alternating permutations

A permutation _{1 2}... _n is alternating if ₁< ₂> ₃< ₄.... Alternating permutations are counted by the Euler numbers. Here we show that alternating permutations can be listed so that successive permutations differ by a transposition, ifn is odd. Extensions and open problems are mentioned.Research supported by the Natural Sciences and Engineering Research Council of Canada under grant A3379.     

A characterization of plane Lorentz transformations

Denote (x_i,y_i=ct_i), i=1,2, by X_i and (x₂–x₁)²–(y₂–y₁)² by F(X₁,X₂). Then our result is the following: Given a fixed real number 0 and given a bijection of M=IR² such that F(X₁,X₂) = iff F(X _in1 ^su , _in2 ^su ) =p for all X₁, X₂ M. Then must be a Lorentz transformation (time reversal and inhomogeneity included).     

A note onn-groupoids linearly defined on fields

On the real fieldR and the Galois fields GF(p), define operations by [x₁ x₂ ···x_n]=₁x₁+₂x₂+ ··· +_nx_n, where ₁,₂, ...,_n are elements of the relevant fields. LetB be the class of alln-groupoids defined on Galois fields in this way. In this paper, we will study the variety generated byB and the variety generated by the algebra (R, [ ]), where ₁,...,_n are algebraically independent inR. We will study also varieties defined in a similar way with the operation [x₁, x₂,..., x_n]=(x₁+x₂+ ···+x_n).Presented by Jan Mycielski.The author thanks Professor T. Evans for his suggestions in developing this article.     

Perturbation of Dirichlet forms by measures

Perturbations of a Dirichlet form by measures are studied. The perturbed form –_–+₊ is defined for _– in a suitable Kato class and ₊ absolutely continuous with respect to capacity. L _p-properties of the corresponding semigroups are derived by approximating _– by functions. For treating ₊, a criterion for domination of positive semigroups is proved. If the unperturbed semigroup has L _p -L _q -smoothing properties the same is shown to hold for the perturbed semigroup. If the unperturbed semigroup is holomorphic on L ₁ the same is shown to be true for the perturbed semigroup, for a large class of measures.     

Isomorphisms of Some Complex Poisson Brackets

Given a complex manifold M_i, structures of Poisson algebras on (M_i)=C(M_i,C) which are associated with a nondegenerate -closed (2,0)-form _i on M_i are considered. It is shown that every isomorphism of Poisson structures (M₁) (M₂) is generated by a biholomorphic map :M₂ M₁ such that ₂ = *₁     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Exact boundary controllability onL 2(Ω) ×H −1(Ω) of the wave equation with dirichlet boundary control acting on a portion of the boundary∂Ω, and related problems

Consider the wave equation defined on a smooth bounded domain R ⁿ with boundary = _{0 1}. The control action is exercised in the Dirichlet boundary conditions only on ₁ and is of classL ₂(0,T: L ₂(₁)); instead, homogeneous boundary conditions of Dirichlet (or Neumann) type are imposed on the complementary part ₀. The main result of the paper is a theorem which, under general conditions on the triplet {, ₀, ₁} with ₀ , guarantees exact controllability on the spaceL ₂() ×H ^–1() of maximal regularity forT greater than a computable timeT ₀>0, which depends on the triplet. This theorem generalizes prior results by Lasiecka and the author [L-T.3] (obtained via uniform stabilization) and by Lions [L.5], [L.6] (obtained by a direct approach, different from the one followed here). The key technical issue is a lower bound on theL ₂(₁)-norm of the normal derivative of the solution to the corresponding homogeneous problem, which extends to a larger class of triplets {, ₀, ₁} prior results by Lasiecka and the author [L-T.3] and by Ho [H.1].This research was partially supported by the National Science Foundation under Grant NSF-DMS-8301668 and by the Air Force Office of Scientific Research under Grant AFOSR-84-0365. This paper was presented at the IFIP WG7.2 Conference on Boundary Control and Boundary Variations held at the Départment de Mathématiques, Universite de Nice, 10–13 June 1986; at the International Conference on Control of Distributed Parameter Systems held at Vorau (Austria), 6–12 July 1986; and at the Second Workshop on Control of Systems Governed by Partial Differential Equations held at Val David, Quebec, 5–9 October 1986.     

Asymptotic behavior of the dwell time distribution for a random walk on a positive semi-axis

Let ₁, ₂, ... be a sequence of independent identically distributed random variables with zero means. We consider the functional _n = _k=o ⁿ (S _k ) where S₁=0, S_k= _i=1 ^k _i (k1) and(x)=1 for x0,(x) = 0 for x<0. It is readily seen that _n is the time spent by the random walk S_n, n0, on the positive semi-axis after n steps. For the simplest walk the asymptotics of the distribution P (_n = k) for n and k, as well as for k = O(n) and k/n<1, was studied in [1]. In this paper we obtain the asymptotic expansions in powers of n^–1 of the probabilities P(h_n = nx) and P(nx_{1 n} nx₂) for 0<₁, x = k/n ₂<1, 0<₁x₁2₂<1.Translated from Matematicheskie Zametki, Vol. 15, No. 4, pp. 613–620, April, 1974.The author wishes to thank B. A. Rogozin for valuable discussions in the course of his work.     

On the Ranked Excursion Heights of a Kiefer Process

Let (K(s,t), 0s1, t1) be a Kiefer process, i.e., a continuous two-parameter centered Gaussian process indexed by [0,1]×₊ whose covariance function is given by (K(s₁,t₁) K(s₂,t₂))=(s₁s₂-s₁s₂)t₁t₂, 0s₁, s₂1, t₁, t₂ 0. For each t>0, the process K(·,t) is a Brownian bridge on the scale of . Let M ₁ ^* (t) M ₂ ^* (t) M _j ^* (t) 0 be the ranked excursion heights of K(,t). In this paper, we study the path properties of the process tM _j ^* (t). Two laws of the iterated logarithm are established to describe the asymptotic behaviors of M _j ^* (t) as t goes to infinity.     

On the Existence and Regularity of Mass-Minimizing Currents with an Elastic Boundary

We study the following variational problem. For a compact manifold S₀ embedded in the Euclidean space we consider deformations of S₀. They are represented by Lipschitz continuous homeomorphisms of S₀ whose images are embedded manifolds. We introduce an energy of a deformation which depends on the first derivative of the curvature of (S₀) and the mass of a mass minimizing current which is bounded by (S₀). In this paper it is shown that an energy minimizing deformation of (S₀) exists. Moreover, in the case that S₀ has codimension 1, (S₀) is an embedded C^3a -submanifold, if is of the class C^2,1.     

Generating alternating permutations lexicographically

A permutation _{1 2} ... _n is alternating if ₁<₂>₃<₄ .... We present a constant average-time algorithm for generating all alternating permutations in lexicographic order. Ranking and unranking algorithms are also derived.Research supported by the Natural Sciences and Engineering Research Council of Canada under grant A3379.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

Comparison of four algorithms accelerating the convergence of a subset of logarithmic fixed point sequences

The behaviour of four algorithms accelerating the convergence of a subset of LOG is compared (LOG is the set of logarithmic sequences). This subset, denoted LOGF ₁ , is that of fixed point sequences whose associated error sequence,e _n =S _n –S, verifiese _n+1 =e _n + ₂ e _n ² + ₃ e _n ³ +... , where _{3 2} ² , ₂ < 0. The algorithms are modifications of the -algorithm and of Aitken's ² adapted to LOGF ₁ , the iterated ₂-algorithm, or Lubkin's transform, and the -algorithm of Brezinski. All of them accelerate the convergence of sequences in LOGF ₁ , but precise results are given on their relative convergence speed. This comparison is illustrated by numerical examples.     

An Extension of the Roots Separation Theorem

Let T _n be an n×n unreduced symmetric tridiagonal matrix with eigenvalues ₁<₂<< _n and W _k is an (n–1)×(n–1) submatrix by deleting the kth row and the kth column from T _n , k=1,2,...,n. Let _{12 n–1} be the eigenvalues of W _k . It is proved that if W _k has no multiple eigenvalue, then ₁<₁<₂<₂<< _n–1< _n–1< _n ; otherwise if _i = _i+1 is a multiple eigenvalue of W _k , then the above relationship still holds except that the inequality _i < _i+1< _i+1 is replaced by _i = _i+1= _i+1.     

Bifurkation von Minimalflächen und elementare Katastrophen

Suppose _o is a Jordan curve in ³, bounding a minimal surface f_o, and _r a homotopy of _o. Sometimes it will happen, that there is a uniquely determined homotopy f_r of minimal surfaces, having _r as boundary curve. But there may also be a bifurcation at _o, in which, for instance, two or more different minimal surfaces are bounded by _r for r0, but all those surfaces converge to f_o as r converges to 0. In this paper we investigate minimal surfaces of the type of a disc, being represented by the Weierstra formula, and we consider small perturbations of the boundary curve _o. We then deduce conditions, under which the bifurcation process of f_o can be described in terms of the fold-, cusp- or swallowtail- catastrophe of Thom's celebrated list of the 7 elementary catastrophes. This will be possible, although the perturbation takes place in an infinite-dimensional space.     

On the Space of Sequences of p-Bounded Variation and Related Matrix Mappings

The difference sequence spaces (), c(), and c ₀() were studied by Kzmaz. The main purpose of the present paper is to introduce the space bv _p consisting of all sequences whose differences are in the space _p , and to fill up the gap in the existing literature. Moreover, it is proved that the space bv _p is the BK-space including the space _p . We also show that the spaces bv _p and _p are linearly isomorphic for 1 p . Furthermore, the basis and the -, -, and -duals of the space bv _p are determined and some inclusion relations are given. The last section of the paper is devoted to theorems on the characterization of the matrix classes (bv _p : ), (bv : _p ), and (bv _p : ₁), and the characterizations of some other matrix classes are obtained by means of a suitable relation.     

Divisible designs and groups

We study (s, k, ₁, ₂)-translation divisible designs with ₁0 in the singular and semi-regular case. Precisely, we describe singular (s, k, ₁, ₂)-TDD's by quasi-partitions of suitable quotient groups or subgroups of their translation groups. For semi-regular (s, k, ₁, ₂)-TDD's (and, more general, for the case ₂>₁) we prove that their translation groups are either Frobenius groups or p-groups of exponent p. Some examples are given for the singular, semi-regular and regular case.     

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

We prove the completeness and decidability of the Hornlike sequents, specifically, the socalled D₂sequents (of the firstorder linear temporal logic) considered in the author's paper [Lith. Math. J., 41(3), 266–281 (2001)]. In this paper, with the help of the infinitary calculus G_L, grounded by the author in his earlier papers, for D₂sequents we construct a D₂Sat calculus of the socalled saturated type consisting of decidable deductive procedures replacing the omegarule for the always operator. In the present paper, in order to prove the completeness and decidability of the calculus D₂Sat, we construct the socalled invariant decidable calculus D₂IN. We prove the equivalence of the calculi D₂IN, D₂Sat, and G _L ^** for the socalled saturated D₂sequents. From this equivalence, by reducing an arbitrary D₂sequent to a saturated D₂sequent, and also from the completeness of the G _L ^** calculus and decidability of the invariant calculus D₂IN, we deduce the completeness and decidability of the calculus D₂Sat in the class of D₂sequents.