On posets with isomorphic interval posets

Let be a partially ordered set, Int the system of all (nonempty) intervals of partially ordered by the set-theoretical inclusion . We are interested in partially ordered sets with Int isomorphic to Int . We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If is a directed partially ordered set, the only with Int isomorphic to Int are corresponding to direct decompositions of ( denotes the dual of . The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11].     

Bernstein-Type Theorems and Uniqueness Theorems

Let be an entire function of finite type with respect to finite order and let be a subset of an open cone in a certain n-dimensional subspace (the smaller , the sparser ). We assume that this cone contains a ray 0} \right\}$$ " align="middle" border="0"> . It is shown that the radial indicator of at any point may be evaluated in terms of function values at points of the discrete subset . Moreover, if tends to zero fast enough as over , then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on and , which are close to exact conditions, the function bounded on is bounded on the ray.     

Absolute Continuity of the Spectrum of a Periodic Schrödinger Operator

We prove the absolute continuity of the spectrum of the Schrödinger operator in , , with periodic (with a common period lattice ) scalar and vector potentials for which either , , or the Fourier series of the vector potential converges absolutely, , where is an elementary cell of the lattice , for , and for , and the value of is sufficiently small, where and otherwise, , and .     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

Conditions of Existence and Uniqueness of Solutions of the Multipoint Boundary Value Problem for a System of Generalized Ordinary Differential Equations

Effective sufficient conditions are established for the solvability and unique solvability of the boundary value problem where is a matrix-function with bounded variation components, is a vector-function belonging to the Carathéodory class corresponding to are continuous functionals (in general nonlinear) defined on the set of all vector-functions of bounded variation.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

Application of Upper Hemi-Continuous Operators on Generalized Bi-quasi-variational Inequalities in Locally Convex Topological Vector Spaces

Let and be Hausdorff topological vector spaces over the field , let be a bilinear functional, and let be a non-empty subset of . Given a set-valued map and two set-valued maps , the generalized bi-quasi-variational inequality (GBQVI) problem is to find a point and a point such that and for all and for all or to find a point a point and a point such that and for all . The generalized bi-quasi-variational inequality was introduced first by Shih and Tan [8] in 1989. In this paper we shall obtain some existence theorems of generalized bi-quasi-variational inequalities as application of upper hemi-continuous operators [4] in locally convex topological vector spaces on compact sets.     

A Constructive Proof of the Generalized Gelfand Isomorphism

Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius -homomorphism. For , this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, the th symmetric power of X, and the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map defined by the formula identifies the space with the space of all Frobenius -homomorphisms of the algebra into with the weak topology.     

The First-Order Nonholonomic Connections with the Galilean Groups of Local Transformations. II

In the canonical smooth fiber bundles endowed with the metric tensor fields of relevant structure, we consider natural representations of the Galilean groups and construct -invariant generalizations of differentiable connections. In both regular and special cases of the representations of the relevant groups , we found all the affine nonholonomic -, -, and -connections of the first order (see [1]–[3]) possessing the local Lie groups of transformations and also described the respective -invariant planar connections.     

On a Characterization of Spaces of Differentiable Functions

In this paper, we generalize Bernstein's theorem characterizing the space by means of local approximations. The closed interval is partitioned into disjoint half-intervals on which best approximation polynomials of degree divided by the lengths of these half-intervals taken to the power are considered. The existence of the limits of these ratios as the lengths of the half-intervals tend to zero is a criterion for the existence of the th derivative of a function. We prove the theorem in a stronger form and extend it to the spaces .     

Joint Approximations of Distributions in Banach Spaces

For a given homogeneous elliptic partial differential operator with constant complex coefficients, two Banach spaces and of distributions in , and compact sets and in , we study joint approximations in the norms of the spaces and (the spaces of Whitney jet-distributions) by the solutions of the equation in neighborhoods of the set . We obtain a localization theorem, which, under certain conditions, allows one to reduce the above-cited approximation problem to the corresponding separate problems in each of the spaces.     

Representability of Analytic Functions in Terms of Their Boundary Values

Suppose that is an arbitrary finite complex Borel measure on the interval is its Poisson integral, and are the conjugate harmonics of , and is the nontangential limiting value of the analytic function as . In this paper, we consider the problem of representing the analytic function in terms of its boundary values .     

Transversal Twistor Spaces of Foliations

The transversal twistor space of a foliation of an even codimension is the bundle of the complex structures of the fibers of the transversalbundle of . On there exists a foliation by covering spaces of the leaves of , and any Bottconnection of produces an ordered pair of transversal almost complex structures of . The existence of a Bott connection which yields a structure ₁ that is projectable to the space of leaves isequivalent to the fact that is a transversallyprojective foliation. A Bott connection which yields a projectablestructure ₂ exists iff isa transversally projective foliation which satisfies a supplementarycohomological condition, and, in this case, ₁is projectable as well. ₂ is never integrable.The essential integrability condition of ₁ isthe flatness of the transversal projective structure of .     

A Completion of \mathbb{Z} is a Field

We define various ring sequential convergences on and . We describe their properties and properties of their convergence completions. In particular, we define a convergence on by means of a nonprincipal ultrafilter on the positive prime numbers such that the underlying set of the completion is the ultraproduct of the prime finite fields Further, we show that is sequentially precompact but fails to be strongly sequentially precompact; this solves a problem posed by D. Dikranjan.     

Imprimitive Q-polynomial Association Schemes

It is well known that imprimitive P-polynomial association schemes with are either bipartite or antipodal, i.e., intersection numbers satisfy either for all for all . In this paper, we show that imprimitive -polynomial association schemes with are either dual bipartite or dual antipodal, i.e., dual intersection numbers satisfy either .     

Construction of conjugate quadrature filters with specified zeros

Let ℂ denote the complex numbers and denote the ring of complex-valued Laurent polynomial functions on ℂ\{0}. Furthermore, we denote by the subsets of Laurent polynomials whose restriction to the unit circle is real, nonnegative, respectively. We prove that for any two Laurent polynomials , which have no common zeros in ℂ\{0} there exists a pair of Laurent polynomials satisfying the equation Q ₁ P ₁ + Q ₂ P ₂ = 1. We provide some information about the minimal length Laurent polynomials Q ₁ and Q ₂ with these properties and describe an algorithm to compute them. We apply this result to design a conjugate quadrature filter whose zeros contain an arbitrary finite subset Λ⊂ℂ\{0} with the property that for every implies and . This revised version was published online in June 2006 with corrections to the Cover Date.     

The Spectrum of the C*-Algebra of Pseudodifferential Boundary Value Problems on a Manifold with Smooth Edges

The C ^*-algebra generated by the operators of pseudodifferential boundary value problems on a manifold with smooth closed disjoint edges and boundary is studied. The operators act in the space L ₂( ) L ₂( ). The goal of this paper is to describe all (up to an equivalence) irreducible representations of the algebra Bibliography: 12 titles.     

Direct Theorem about Approximation on a Family of Two Segments

Introduce the notation: , is the union of two segments [-1,1] and [-1 + ,1+ ], is a noninteger number, is the Hölder class with exponent on The following result announced by the authors in [J. Math. Sci. 117 (2003), No. 3] is proved. There exist numbers a ₁ ( ) , b ₁ ( ) 0 depending only on such that for any there exists a polynomial , such that . Bibliography: 11 titles.     

Optimal Subcodes of Second Order Reed-Muller Codes andMaximal Linear Spaces of Bivectors of Maximal Rank

There are exactlytwo non-equivalent [32,11,12]-codes in the binaryReed-Muller code which contain and have the weight set {0,12,16,20,32}. Alternatively,the 4-spaces in the projective space over the vector space for which all points have rank 4 fall into exactlytwo orbits under the natural action of PGL(5) on .