A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

Notes on Interpolation. X (Two Boundary Value Problems)

In this paper we use (0, 2) interpolational polynomials to give an approximate solution of the differential equation y(x) + A(x)y(x) = F(x), x I := [-1, 1] j in case when the boundary values are y(-1) = and y(1) = , , R.     

The Discrete Spectrum Asymptotics with Respect to a Large Coupling Constant under Strong Nonnegative Perturbations

Let A be a self-adjoint operator, let (, ) be an inner gap in the spectrum of the operator A, and let B(t) = A + tW ^* W, where the operator W(A – iI)^-1 is not necessarily bounded. Conditions are obtained under which the spectrum of B(t) in (, ) is discrete. Let N(, A, W, ), (, ), > 0, be the number of eigenvalues of the operator B(t) passing the point (, ) as t increases from 0 to . The asymptotics of N(, A, W, ) as + is obtained in terms of the spectral asymptotics of a certain self-adjoint compact operator. Bibliography: 5 titles.     

Growth of length of sequential derivation transformed into natural one

We consider the (&, )-fragment of the intuitionistic propositional calculus. It is proved that under the standard transformation of a Gentzen derivation into a natural derivation(), the length of (())2^2·length( ). There is constructed a sequence of Gentzen derivations of length _i, for which the length of (( _i))2^{1/3·length(i}), which shows that the upper bound obtained is not too weak.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 192–196, 1979.     

Bemerkung zu Einem Satz von Baer

Let be an involutorial antiautomorphism of the division ring K with char K 2 and E := {r K | rr = 1}. Refining a result of R. Baer we prove: (card E–1)² < card K =id. This is done by computing card E and the cardinal numbers of the sets consisting of the -symmetric respectively the -skew-symmetric elements.     

Untere und obere Schranken für den tiefsten Eigenwert der elastisch gestützten Membran

Zusammenfassung Es werden untere und obere Schranken für den tiefsten Eigenwert ₁() der elastisch gestützten schwingenden Membran hergeleitet. Die elastische Bindung der Membran am Rande wird durch charakterisiert, und wird als Parameter betrachtet.Die Verwendung des klassischen Rayleigh-Prinzipes liefert obere Schranken, mit Hilfe eines konvexen FunktionalsJ() erhält man obere und untere Schranken. Eine Zerlegungsmethode endlich gibt eine untere Schranke für ₁().

---

Summary This article is concerned with the determination of upper and lower bounds for the lowest eigenvalue ₁() of the elastically supported vibrating membrane. The elastic support on the boundary is characterized by which is regarded as a parameter.The classical Rayleigh-Principle gives upper bounds. The use of a convex functionalJ() yields upper and lower bounds for ₁(). A method of decomposition leads to a lower bound for ₁().

---

---

Neu-Technikum, Buchs SG     

Die Nuklearität der Ultradistributionsräume und der Satz vom Kern II

Continuing the research of part I conditions equivalent to ()- or ()-nuclearity of spaces of ultradifferential functions and their duals as well as some applications are given. To get these results it is shown that tensor products of smooth sequence spaces, power series spaces, and spaces S(M_q) introduced in part I are isomorphic to suitable sequence spaces of the same class, which are stable provided the factors are stable power series spaces. Hence it is possible to establish isomorphisms between different functions spaces, to calculate the nuclearity types of tensor products by the nuclearity types of the factors, and to prove that the class of ()- or ()-nuclear spaces is closed under forming tensor products iff is multiplicatively stable.     

The order of approximation to functions of the Zα. Class by means of positive linear operators

Let C_n (, ) be the upper bound for deviations of periodic functions which form the Zygmund class Z,0 0<<2 from a class of positive linear operators. A study is made of the conditions under which there exists a limit nC_n(, )=C(, ). An explicit expression is given for the functions C(,).Translated from Matematicheskie Zametki, Vol. 4, No. 2, pp. 201–210, August, 1968.     

Lipschitz and darbo conditions for the superposition operator in ideal spaces

Summary In this paper we give necessary and sufficient conditions for the superposition operator Fx(s)=f(s, x(s)) to satisfy a Lipschitz condition Fx₁ - Fx₂kx₁ - x₂ or a Darbo condition (FN)k(N) in ideal spaces of measurable functions, where is the Hausdorff measure of noncompactness. Moreover, we characterize a large class of spaces in which the above mentioned two conditions are equivalent.

---

Sunto In questo lavoro diamo delle condizioni necessarie e sufficienti perchè l'operatore di sovrapposizione Fx(s)=f (s, x(s)) soddisfi alla condizione di Lipschitz Fx₁–Fx₂ kx₁–x₂ o quella di Darbo (FN)k(N) in spazi ideali di funzioni misurabili, ove è la misura di non compattezza di Hausdorff. Inoltre, caratterizziamo un'ampia classe di spazi in cui le suddette due condizioni sono equivalenti.

     

On ηα-groups and fields

Let :=. The following are known: two -sets of power are isomorphic. Let >0. Two ordered divisible Abelian groups that are -sets of power are isomorphic, two real closed fields that are -sets of power are isomorphic. The following is shown: (1) there exist 2 nonisomorphic ordered Abelian groups (respectively ordered fields) that are -sets of power ; (2) there exist 2 nonisomorphic ordered divisible Abelian groups (respectively real closed fields) of power all having the same order type; (3) there exist 2 nonisomorphic ordered divisible Abelian groups (respectively real closed fields) that are -sets having the same order type.     

A Complete Metric in the Function Space D α[0,∞)

Subspaces D of D[0,1] and of D[0,) are defined. With constructed metrics d , D are shown to be complete separable metric spaces. Conditions for tightness of probability measures in D are given.     

Characterization of Dirichlet Forms by their Excessive and Co–Excessive Elements

It is proved that if S, T are two elliptic Dirichlet operators on an ordered Hilbert space such that the excessive (resp. coexcessive) elements with respect to S and T are the same then there exists > 0 with T = S. Particularly if , are two elliptic Dirichlet forms on L² ( ) having the same domain of definition and the same -excessive (resp. -coexcessive) elements for any > 0 then = .     

Solution of integral equations in fractional Sobolev spaces

We consider linear integral equations and Urysohn equations with constant integration limits. Sufficient conditions are given for the solutions of these equations to be in Sobolev spacesW ₂ (0,1), 0 2. Finite-difference schemes are constructed for approximate solution of the original equation by special averaging of the right-hand side kernel. The rate of convergence of the approximate solution to the averaged exact solution is shown to beO(h|ln h|(1/2,)⁺(3/2,)).Translated from Vychislitel'naya i Prikladnaya Matematika, No. 63, pp. 3–19, 1987.     

On monotone and convex approximation by algebraic polynomials

The following results are obtained: If >0, 2, [3, 4], andf is a nondecreasing (convex) function on [–1, 1] such thatE _n (f) n ^– for any n>, then E _n ⁽¹⁾ (f)Cn ^– (E _n ⁽²⁾ (f)Cn ^–) for n>, where C=C(), E_n(f) is the best uniform approximation of a continuous function by polynomials of degree (n–1), and E _n ⁽¹⁾ (f) (E _n ⁽²⁾ (f)) are the best monotone and convex approximations, respectively. For =2 ( [3, 4]), this result is not true.Published in Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 9, pp. 1266–1270, September, 1994.     

Über Mosers regularisiertes Variationsproblem für minimale Blätterungen desn-dimensionalen Torus

We consider regular and Cantor-like minimal foliations of the (n+1)-dimensional TorusT ⁿ⁺¹ whose leaves minimize a given variational integral. Each leaf of such a generalized foliation lies in the universal coveringR ⁿ⁺¹ within a finite distance to the affine leaves (z, x+) of fixed R ⁿ . We show that the conjugation-functionU (x,), mapping the affine leaves (x, x+) into the leaves(x,U (x,x+)) of the generalized foliation, is itself a minimal solution of an extended degenerate variational problem onT ⁿ +1. If R ⁿ /Q ⁿ the functionU is characterized in a unique way as (discontinuous) limit of the minimal solutions of the corresponding regularized problem.     

Black holes on the plane drawn by a Wiener process

Summary We say that the discD()R ², of radius , located around the origin isp-covered in timeT by a Wiener processW(·) if for anyzD() there exists a 0tT such thatW(t) is a point of the disc of radiusp, located aroundz. The supremum of those 's (0) is studied for which,D() isp-covered inT.     

Galois theory for the family of partial differential equationsΔ α ψ=0

Summary The partial differential fields most suited for the purpose of construction of Galois theory for the family (1) are endowed with the symmetric bilinear form (2iv) and are called -differential fields. In Section 1 are defined certain algebraic notions related to the symmetric bilinear form (2iv) and which are necessary for the construction of any Galois theory. Necessary and sufficient condition for the extension of the domain of the operator (this operator is not a derivation although it commutes with the partial derivations of the -differential field) from an -differential fieldK to a finitely generated -differential extension field is given in Theorem 1.Section 2 defines the notion of -differential mapping as linear mappings which preserve the symmetric bilinear form and commute with the partial derivations. The group properties of the set of -differential mappings are discussed and the Galois correspondence theorems set up for -differential fields.Section 3 sets up the notion of -Liouvillian extensions of -differential fields and briefly discusses the Galois groups associated with these -Liouvillian extension fields.Section 4 points to the procedure for the algebraic characterization of -simple--differential field extensions by elementary solutions of the partial differential equation _m =0.     

Convolution semigroups and central limit theorem associated with a dual convolution structure

We consider hypergroups associated with Jacobi functions ⁽⁾ (x), (–1/2). We prove the existence of a dual convolution structure on [0,+[i(]0,s ₀]{{) =++1,s ₀=min(,–+1). Next we establish a Lévy-Khintchine type formula which permits to characterize the semigroup and the infinitely divisible probabilities associated with this dual convolution, finally we prove a central limit theorem.     

Peak sets for analytic Hölder classes

A closed subset E of the unit circumference T is said to be a peak set for the analytic Hölder class A, 0 < < 1 there exists a functionf,fA such that f¦_E1 and ¦f(z)¦<1 for. It is shown that the set E is a peak set of the algebra A if and only if there exists a nonnegative Borel measure on T such that the function coincides almost everywhere with a function of the Hölder class , equal to zero on E. A sufficient condition in order that a closed set E should belong to the family of peak sets is obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 129–136, 1987.     

Determinants in net subgroups

Suppose R is a commutative ring with 1, =( _ij ) is a fixedD-net of ideals of R of ordern, and G is the corresponding net subgroup of the general linear group GL (n, R). There is constructed for a homomorphismdet of the subgroup G() into a certain Abelian group (). Let I be the index set {1...,n}. For each subset I let ()= _{ij ji} , wherei, ranges over all indices in and j independently over the indices in the complement I ((I) is the zero ideal). Letdet (a) denote the principal minor of order ||n of the matrixa G () corresponding to the indices in , and let' () be the Cartesian product of the multiplicative groups of the quotient rings R/() over all subsets I. The homomorphismdet is defined as follows: It is proved that if R is a semilocal commutative Bezout ring, then the kernelKer det coincides with the subgroup E() generated by all transvections in G(). For these R is also definedTm det .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 37–49, 1982.