The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Universal property of chern character forms of the canonical connection

Let _q,n denote the complex Stiefel bundle over the complex Grassmannian and let ₀ be the universal connection on this bundle. Consider the Chern character form of ₀ defined by the formula where ₀ is the curvature form of the connection ₀. Let M be a manifold of dimension m and a closed 2k-form on M. Suppose, there exists a continuous map which pulls back the cohomology class of ch_k(₀) onto the cohomology class of . We prove that if q and n are greater than certain numbers (which we determine in this paper) then there exists a smooth map such that f*ch_k(₀) = .     

Wiener-Hopf operators on L_{\omega}^{2}(\mathbb{R}^{+})

Let be a weighted space with weight . In this paper we show that for every Wiener-Hopf operator T on and for every a I, there exists a function such that

New closure conditions and some problems in loop theory

A loopQ(·) is said to be anA _l-loop (A _r-loop) if x, y Q, l _x,y AutQ (r _x,y AutQ) hold, where

An application of Shoenfield's absoluteness theorem to the theory of uniform distribution

IfC is a Polish probability space, a Borel set whose sectionsW _x ( have measure one and are decreasing , then we show that the set _x W _x has measure one. We give two proofs of this theorem—one in the language of set theory, the other in the language of probability theory, and we apply the theorem to a question on completely uniformly distributed sequences.Supported by DFG grant Ko 490/7-1.     

On the existence of strongly normal ideals overP κ λ

For every uncountable regular cardinal and any cardinal,P denotes the set . Furthermore, < denotes=" the=" binary=" operation=" defined=">P byx<> iffxy¦x<>.By anideal over P we mean a proper, non-principal,-complete ideal overP extending the ideal dual to the filter generated by . For any idealI overP ,I ⁺ denotes the setP –I, andI ^* the filter dual toI.     

Two consistency results concerning thin-tall Boolean algebras

In this paper we show that the following is relatively consistent withZFC +CH: There is no superatomic Boolean algebra of height ₂+1 and width, and there is no superatomic Boolean algebraA with for 0<<₁ and Presented by J. Mycielski.     

Singular Dirichlet boundary value problems II: Resonance case

Existence results are established for the resonant problem y + _m a y = f(t, y) a.e. on [0, 1] with y satisfying Dirichlet boundary conditions. The problem is singular since f is a Carathéodory function, with a > 0 a.e. on [0, 1] and      

Note on irregularities of distribution

Letf be a periodic function on with period 1, piecewise continuously differentiable, satisfying . For an arbitrary sequence = ( _i ) in [0,1) put and . If then _n (f,) >c· logn holds for some positive constantc (depending onf only) and almost alln. In a certain sense the converse is also true: there is a class of functionsf with such that _n (f,) =o (logn).Support has been received from Netherlands Organization for the Advancement of Pure Research (Z. W. O.).     

Etude de la Loi Locale de ω(n) Dans de Petits Intervalles

Let (n) be the number of prime factors counted without multiplicity of n. We give a uniform majoration for 1 which is valid for 2 y x.     

The product of finitely based varieties of lattice-ordered groups

The question as to whether a product of two finitely based varieties of lattice-ordered groups is finitely based is considered. It is proved that varieties and are finitely based; here is a variety of lattice-ordered groups defined by identities [x ⁿ,y ⁿ] =e and [[x,y] z, [x ₁,y ₁] z ₁] =e; is a variety of lattice-ordered nilpotent groups of class s, defined by an identity [x ₁,x ₂,...,x _(s+1)] =e; V is an arbitrary finitely based variety of lattice-ordered groups. Translated fromAlgebra i Logika, Vol. 33, No. 3, pp. 255–263, May–June, 1994.Supported by the Russian Foundation for Fundamental Research, grant No. 93-011-1524.     

The transfer of the Lyapunov integral criterion to two-dimensional periodic systems of second order

Two possibilities of the transfer of the Lyapunov integral criterion [1, p. 203] (see also [2; 3, p. 177]) for the boundedness of all the solutions of the scalar equation x+(t)x=0 with nonnegative-periodic function(t) to the two-dimensional systems x=A(t)x with piecewise continuous -periodic matrix coefficients are indicated.     

Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

On the best approximation in the metric of L to certain classes of functions by Haar-system polynomials

Let H, H ^L be classes of functionsf(x) whose modulus of continuity (f; t) and, respectively, integral modulus of continuity(f; t)_L do not exceed a given modulus of continuity(t), while H_v is a class of functionsf(x) whose variation fdoes not exceed a given number V > 0. Bounds are obtained for the upper limit of the best approximations in the metric of L by Haar-system polynomials on the classes just introduced (on the class H ^L only when (t)=Kt). These bounds are exact for class H_V and, in case(t) is convex, also for the classes H and H ^L .Translated from Matematicheskie Zametki, Vol. 6, No. 1, pp. 47–54, July, 1969.The author wishes to thank N. P. Korneichuk for having posed the problem and for his constant attention to this work.     

Small potential corrections for the discrete eigenvalues of the Sturm-Liouville problem

Summary The inverse Sturm-Liouville problem is the problem of finding a good approximation of a potential functionq such that the eigenvalue problem (^*)–y +qy=y holds on (0, ) fory(0)=y()=0 and a set of given eigenvalues . Since this problem has to be solved numerically by discretization and since the higher discrete eigenvalues strongly deviate from the corresponding Sturm-Liouville eigenvalues , asymptotic corrections for the 's serve to get better estimates forq. Let _k (1kn) be the first eigenvalues of (^*), let _k be the corresponding discrete eigenvalues obtained by the finite element method for (^*) and let _{k k} for the special caseq=0. Then, starting from an asymptotic correction technique proposed by Paine, de Hoog and Anderssen, new estimates for the errors of the corrected discrete eigenvalues are obtained and confirm and improve the knownO(kh ²)(h:=/(n+1)) behaviour. The estimates are based on new Sobolev inequalities and on Fourier analysis and it is shown that for 4+c ₂ k(n+1)/2, wherec ₁ andc ₂ are constants depending onq which tend to 0 for vanishingq.     

The normal density of prime ideals in small regions

For a Gaussian prime (i) define ()=min|–| where runs through Gaussian primes satisfying ||>||. We prove that, subject to the Riemann Hypothesis for appropriateL-functions

On the Circumference of 2-Connected $$\mathcal{P}_{3}$$-Dominated Graphs

Let G be a connected graph. For at distance 2, we define , and , if then . G is quasi-claw-free if it satisfies , and G is P ₃-dominated() if it satisfies , for every pair (x, y) of vertices at distance 2. Certainly contains as a subclass. In this paper, we prove that the circumference of a 2-connected P ₃-dominated graph G on n vertices is at least min or , moreover if then G is hamiltonian or , where is a class of 2-connected nonhamiltonian graphs.     

Spherical elastic-plastic waves

Zusammenfassung Es wird die Fortpflanzung elastisch-plastischer Spannungswellen in einem unendlichen Medium betrachtet, welches einer idealen Spannungs-Verformungs-Kurve folgt, Trescas Fliesskriterium unterworfen ist und einen sphärischen Hohlraum enthält, wobei an der Fläche des Hohlraumes ein Stoss angenommen wird. Ein rechnerisches Verfahren, basiert auf endliche Differenzen, wird entwickelt and ein Beispiel gegeben.

---

Notation radial stress - tangential stress - K yield stress - _rr non-dimensional radial stress ( /K) - non-dimensional tangential stress ( /K) - , Lame's constants - K _b Bulk constant (=(3+2)/3) - v Poisson's constant - Material density - C Elastic wave velocity (=((+2)/)^1/2) - C _p Plastic wave velocity (=(K _b /)^1/2) - distance from center of cavity - r ₀ cavity radius - v non-dimensional radial co-ordinate (= /r ₀) - time - t non-dimensional time (=C /r ₀) - radial displacement - u non-dimensional radial displacement (=/r ₀) - particle velocity - v non-dimensional particle velocity (= /C) - pressure - P(t) non-dimensional pressure (= /K)     

A preconditioner for constrained and weighted least squares problems with Toeplitz structure

We study methods for solving the constrained and weighted least squares problem min _x by the preconditioned conjugate gradient (PCG) method. HereW = diag (₁, , _m ) with _{1 m} 0, andA ^T = [T ₁ ^T , ,T _k ^T ] with Toeplitz blocksT _l R ^{n × n} ,l = 1, ,k. It is well-known that this problem can be solved by solving anaugmented linear 2 × 2 block linear systemM +Ax =b, A ^T = 0, whereM =W ^–1. We will use the PCG method with circulant-like preconditioner for solving the system. We show that the spectrum of the preconditioned matrix is clustered around one. When the PCG method is applied to solve the system, we can expect a fast convergence rate.Research supported by HKRGC grants no. CUHK 178/93E and CUHK 316/94E.     

Linear skorohod stochastic differential equations

Let andb be bounded processes on the Wiener space (,P), =C([0,1]), which are possibly anticipating the Brownian motionW _t ()=(t), and let be a bounded random variable. We deduce the existence and uniqueness of a solutionX for the linear equation with Skorohod integral