Auxiliary Problem Principle and Proximal Point Methods

An extension of the auxiliary problem principle to variational inequalities with non-symmetric multi-valued operators in Hilbert spaces is studied. This extension concerns the case that the operator is split into the sum of a single-valued operator , possessing a kind of pseudo Dunn property, and a maximal monotone operator . The current auxiliary problem is k constructed by fixing at the previous iterate, whereas (or its single-valued approximation ^k) k is considered at a variable point. Using auxiliary operators of the form ^k+ , with _k>0, the standard for the auxiliary problem principle assumption of the strong convexity of the function h can be weakened exploiting mutual properties of and h. Convergence of the general scheme is analyzed and some applications are sketched briefly.     

Varieties Defined by Permutations

We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form . A criterion is given determining whether a cyclic variety is interpretable in . For a permutation without fixed elements, it is stated that a set of primes for which is interpretable in in the lattice is finite. It is also proved that for distinct primes , the Helly number of a type in coincides with dimension of the dual type and equals .     

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 .     

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.     

On the Growth of Entire Functions of Exponential Type near a Straight Line

Let be a sequence of complex numbers such that as . For close to the imaginary axis, upper bounds of the indicator of a nonzero entire function of exponential type with minimal growth vanishing on is obtained. These bounds give sufficient conditions for the system of exponents to be incomplete in an unbounded domain in .     

On Sparse Parity Check Matrices

We consider the extremal problem to determine the maximal number of columns of a 0-1 matrix with rows and at most ones in each column such that each columns are linearly independent modulo . For fixed integers and , we shall prove the probabilistic lower bound = ; for a power of , we prove the upper bound which matches the lower bound for infinitely many values of . We give some explicit constructions.     

On the Sets of Values of the Initial Coefficients in Class of Typically Real Functions

Let be the class of functions satisfying the following conditions: these functions are regular and typically real in the unit disk, they have the form , and the equality holds for some fixed and with . We find the set of values of the first two coefficients for functions from this class. Boundary functions for these sets of values are found. Some previous results of the author are supplemented. Boundary functions for the sets of values for the functionals and in the class are found. Bibliography: 5 titles.     

A Group Algebra for Inductive Limit Groups. Continuity Problems of the Canonical Commutation Relations

Given an inductive limit group where each is locally compact, and a continuous two-cocycle , we construct a C^*-algebra group algebra is imbedded in its multiplier algebra , and the representations of are identified with the strong operator continuous of G. If any of these representations are faithful, the above imbedding is faithful. When G is locally compact, is precisely , the twisted group algebra of G, and for these reasons we regard in the general case as a twisted group algebra for G. Applying this construction to the CCR-algebra over an infinite dimensional symplectic space (S,\,B),we realise the regular representations as the representation space of the C^*-algebra , and show that pointwise continuous symplectic group actions on (S,\, B) produce pointwise continuous actions on , though not on the CCR-algebra. We also develop the theory to accommodate and classify 'partially regular' representations, i.e. representations which are strong operator continuous on some subgroup H of G (of suitable type) but not necessarily on G, given that such representations occur in constrained quantum systems.     

Hoffman’s Least Error Bounds for Systems of Linear Inequalities

Let E be a normed space, and . Let . We give some exact formulas for 7#x03C4;.     

The Ingham Divisor Problem on the Set of Numbers without kth Powers

Suppose that k and l are integers such that and , M _k is a set of numbers without kth powers, and . In this paper, we obtain asymptotic estimates of the sums over      

Continuous Functors and Duality

Let be an associative ring with identity, and let be the category of left unitary -modules. A complete characterization of continuous additive co- and contravariant functors is given. Such functors are either representable, or equivalent to a tensor product, or trivial ones. The class of categories that are dual to and, therefore, are equivalent to the category of compact right -modules is constructed by purely algebraic means. A canonical category is singled out in this class. A purely algebraic structure that is equivalent to the topology-algebraic structure of compact right -modules is constructed. Algebraic analogs of connection and complete disconnection are given. Bibliography: 6 titles.     

On intervals and isometries of MV-algebras

Let Int be the lattice of all intervals of an MV-algebra . In the present paper we investigate the relations between direct product decompositions of and (i) the lattice Int , or (ii) 2-periodic isometries on , respectively.     

Testing Extreme Value Models

We consider the full statistical families of extreme value distributions and generalized Pareto distributions , where , and denote the shape, scale and location parameters, respectively. We consider the testing problems against and = 0 against 0, where and are treated as nuisance parameters. Showing local asymptotic normality (LAN), we derive asymptotic envelope power functions for test sequences and establish tests which attain these upper bounds. The finite sample size behavior is studied by simulations.     

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.     

Test Rank for Some Free Polynilpotent Groups

We prove a theorem on possible test rank values for groups of the form . It is shown that test rank of a free polynilpotent group is equal to or , for any and every collection of classes. Moreover, for 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 .     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

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 .     

On Global Optimality Conditions for Nonlinear Optimal Control Problems

Let a trajectory and control pair maximize globally the functional g(x(T)) in the basic optimal control problem. Then (evidently) any pair (x,u) from the level set of the functional g corresponding to the value g( (T)) is also globally optimal and satisfies the Pontryagin maximum principle. It is shown that this necessary condition for global optimality of turns out to be a sufficient one under the additional assumption of nondegeneracy of the maximum principle for every pair (x,u) from the above-mentioned level set. In particular, if the pair satisfies the Pontryagin maximum principle which is nondegenerate in the sense that for the Hamiltonian H, we have along the pair on [0,T], and if there is no another pair (x,u) such that g(x(T))=g( (T)), then is a global maximizer.