Ultimate boundedness with respect to part of the variables of solutions of systems of differential equations with partly controlled initial conditions

We introduce the notions of equiultimate boundedness and uniform ultimate boundedness with respect to part of the variables for solutions with partly controlled initial conditions. We obtain sufficient conditions for the equiultimate boundedness and uniform ultimate boundedness with respect to part of the variables of solutions with partly controlled initial conditions. We introduce the notions of equiboundedness and uniform boundedness with respect to part of the variables for solutions of systems with partly controlled initial conditions. We obtain sufficient conditions for the equiboundedness and uniform boundedness with respect to part of the variables of solutions with partly controlled initial conditions.     

On subtractive varieties II: General properties

As a sequel to [23] we investigate ideal properties focusing on subtractive varieties. After having listed a few basic results, we give several characterizations of the commutator of ideals and prove, for example, that it commutes with finite direct products. We deal with the ideal extension property (IEP) and with related commutator properties, showing for instance that IEP implies that the commutator commutes with restriction to subalgebras. Then we characterize varieties with distributive ideal lattices and relate this property with (a form of) equationally definable principal ideals and with IEP. Then, at the other extreme, we deal with Abelian and Hamiltonian properties (of ideals and congruences), giving for example a purely ideal theoretic characterization of varieties of Abelian groups with linear operations. To finish with, we present a few examples aiming at vindicating our work.Presented by A. F. Pixley.     

Differential equations on manifolds with edge singularities in spaces with asymptotics

The present paper deals with differential equations with edge degeneration in spaces with asymptotics. We give the definition of an edge space with asymptotics, prove the continuity of operators with edge degeneration in the scale of these spaces, present statements of problems with edge operators, and state conditions providing their Fredholm property.     

Mathematical Programming with System of Equilibrium Constraints

In this paper, we study the mathematical program with system of equilibrium constraints. This problem contains bilevel program with system of equilibrium constraints, semi-infinite program with system of equilibrium constraints, mathematical program with Nash equilibrium constraints, mathematical program with system of mixed variational like inequalities constraints. We establish the existence theorems of mathematical program with system of equilibrium constraints under various assumptions.     

Transformations of diffusions with jumps

The paper deals with some transformations of diffusions with jumps. We consider the class of diffusions with jumps that is closed with respect to composition with invertible, twice continuously differentiable functions. A special random time change gives us again a diffusion with jumps. A result on transformation of a measure is valid for this class of diffusions with jumps. Bibliographty: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 351, 2007, pp. 79–100.     

模糊正则文法的逼近性

为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近.研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的.     

Boundedness of Hardy-Littlewood maximal operator on block spaces with variable exponent

The family of block spaces with variable exponents is introduced. We obtain some fundamental properties of the family of block spaces with variable exponents. They are Banach lattices and they are generalizations of the Lebesgue spaces with variable exponents. Moreover, the block space with variable exponents is a pre-dual of the corresponding Morrey space with variable exponents. The main result of this paper is on the boundedness of the Hardy-Littlewood maximal operator on the block space with variable exponents. We find that the Hardy-Littlewood maximal operator is bounded on the block space with variable exponents whenever the Hardy-Littlewood maximal operator is bounded on the corresponding Lebesgue space with variable exponents.     

Irreducible Apollonian Configurations and Packings

An Apollonian configuration of circles is a collection of circles in the plane with disjoint interiors such that the complement of the interiors of the circles consists of curvilinear triangles. One well-studied method of forming an Apollonian configuration is to start with three mutually tangent circles and fill a curvilinear triangle with a new circle, then repeat with each newly created curvilinear triangle. More generally, we can start with three mutually tangent circles and a rule (or rules) for how to fill a curvilinear triangle with circles.     

变厚度圆薄板非对称非线性弯曲问题

首先将直角坐标系中的横向变厚度薄板的大挠度方程,转化到极坐标系中的变厚度圆薄板的非对称大挠度方程·　此方程和极坐标系中径向、切向两个平衡方程联立求解·　将物理方程和中面应变非线性变形方程,代入3个平衡方程,可得用3个变形位移表示的3个非对称非线性方程·　用Fourier级数表示的解代入基本方程,获得相应的基本方程·　在周边夹紧边界条件下,用修正迭代法求解·　作为算例,研究了余弦形式载荷作用下的问题,还给出了载荷与挠度的特征曲线,曲线依据变厚度参数变化而变化,其结果和物理概念完全吻合·     

带两个服务等级的三台机最优在线算法

研究了带服务等级约束的三台平行机在线排序问题.每台机器和每个工件的服务等级为1或者2,工件只能在等级不高于它的机器上加工,即等级为1的工件只能在等级为1的机器上加工,等级为2的工件可在所有机器上加工.每个工件的加工时间为一个单位,目标是极小化所有工件的总完工时间.考虑两种情形:当一台机器等级为1,两台机器等级为2时,给出了竞争比为17/14的最优在线算法;当两台机器等级为1,一台机器等级为2时,给出了竞争比为43/36的最优在线算法.     

Homeomorphs and amallamorphs of the Petersen graph

Let P be the Petersen graph. The main results of this paper are the discovery of infinite families of chromatically equivalent pairs of P homeomorphs and the discovery of infinite families of flow equivalent pairs of P amallamorphs. In particular, three families of P homeomorphs with 8 parameters, five families with 7 parameters and many families with fewer parameters are obtained. Also one family of P amallamorphs with 9 parameters, three families with 7 parameters, seven families with 6 parameters and many families with fewer parameters are obtained.     

Pierce sheaf for semirings with involution

We introduce the concept of Pierce sheaf for semirings with involution, an analog of Pierce sheaf for rings. We construct maximal spectrum, Pierce congruence, Pierce sheaf of semirings with involution, Pierce stalk of semiring with involution. We prove main theorem on the isomorphism of semiring with involution and semiring with involution of global sections of Pierce sheaf.     

Linearly-implicit two-step methods and their implementation in Nordsieck form

We consider the Nordsieck representation of well-known linearly-implicit two-step methods in order to facilitate stepsize changes. These methods are treated as implicit schemes with one Newton step with a special predictor. A new predictor with better accuracy is discussed. Methods with 4–7 stages are tested and compared with RODAS. The numerical results show the potential of the Nordsieck implementation of the methods.     

Stability of equilibrium with respect to white noise

A system of ordinary differential equations with a local asymptotically stable equilibrium is considered. The problem of stability with respect to a persistent perturbation of the white noise type is discussed. Stability with given bounds is proved on a large time interval with length of the order of the squared inverse perturbation amplitude. The proof is based on the construction of a barrier function for the parabolic Kolmogorov equation associated with the perturbed dynamical system.     

多元整系数多项式因式分解的一种理论和算法

本文将ｔ（ｔ是大于２的整数）元整系数多项式看成为系数为ｔ－２元整系数多项式的二元多项式，建立了多元整系数多项式因式分解的一种新理论，进而得到了分解多元整系数多项式的一个有力的算法。     

Construction and decomposition of biorthogonal vector-valued wavelets with compact support

In this article, we introduce vector-valued multiresolution analysis and the biorthogonal vector-valued wavelets with four-scale. The existence of a class of biorthogonal vector-valued wavelets with compact support associated with a pair of biorthogonal vector-valued scaling functions with compact support is discussed. A method for designing a class of biorthogonal compactly supported vector-valued wavelets with four-scale is proposed by virtue of multiresolution analysis and matrix theory. The biorthogonality properties concerning vector-valued wavelet packets are characterized with the aid of time–frequency analysis method and operator theory. Three biorthogonality formulas regarding them are presented.     

Lyapunov direct method in the analysis of Lagrange instability with respect to part of the variables

We obtain a sufficient condition using two Lyapunov functions for the Lagrange instability with respect to part of the variables. We also obtain another sufficient condition for the Lagrange instability with respect to part of the variables; this condition uses one Lyapunov function and is an analog of the Chetaev theorem on the instability with respect to part of the variables. If the considered part of the variables coincides with the set of all variables, then the sufficient criterion with one Lyapunov function is a corollary of the sufficient criterion with two Lyapunov functions.     

Higher-order accurate polyspectral estimation with flat-top lag-windows

Improved performance in higher-order spectral density estimation is achieved using a general class of infinite-order kernels. These estimates are asymptotically less biased but with the same order of variance as compared to the classical estimators with second-order kernels. A simple, data-dependent algorithm for selecting the bandwidth is introduced and is shown to be consistent with estimating the optimal bandwidth. The combination of the specialized family of kernels with the new bandwidth selection algorithm yields a considerably improved polyspectral estimator surpassing the performances of existing estimators using second-order kernels. Bispectral simulations with several standard models are used to demonstrate the enhanced performance with the proposed methodology.     

Four equivalent lot-sizing models

We study the following lot-sizing models that recently appeared in the literature: a lot-sizing model with a remanufacturing option, a lot-sizing model with production time windows, and a lot-sizing model with cumulative capacities. We show the equivalence of these models with a classical model: the lot-sizing model with inventory bounds.     

On critical graphs with chromatic index 4

It is shown that the number of vertices of valency 2 in a critical graph with chromatic index 4 is at most 1/3 of the total number of vertices, and that there exist critical graphs with just one vertex of valency 2, but none with exactly two vertices of valency 2. From this bounds for the number of edges are deduced. The paper ends with a presentation of a catalogue of all critical graphs with chromatic index 4 and at most 8 vertices, and all simple critical graphs with chromatic index 4 and at most 10 vertices.