Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Singularities of Solutions of One Class of Equations of Continuum Mechanics

We analyze one class of families of integral equations and describe the dependence of the singularities of solutions of integral equations on the dimensions of the families of kernels of equations. On the basis of these results, we propose procedures for the construction of approximate solutions for a small parameter.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Determination of asymptotic solutions of problems of nonlinear theories of thermoviscoelasticity

It is shown that the asymptotic solution of a problem of the nonlinear theory of thermoviscoelasticity, if it exists, can be found directly from the solution of the asymptotic boundary-value problem without completely solving the starting problem.M. V. Lomonosov Moscow State University. Translated from Mekhanika Polimerov, No. 3, pp. 395–400, May–June, 1976.     

Invariant properties of systems of equations of the mechanics of inhomogeneous fluids

The invariant properties of the fundamental system of equations of the mechanics of inhomogeneous fluids and its widely used approximations are analysed by the methods of continuous group theory. Simplifying assumptions significantly alter the invariant properties of the systems of equations. Both extending and contracting the admissible symmetry group can occur and provide evidence of the violation of the conditions of equivalence between the original and derived systems. For example, the use of the incompressibility and Boussinesq approximations leads to extension of the concept of an inertial reference frame to all frames moving relative to one another with arbitrary linear acceleration.     

Emptiness of set of points of lower semicontinuity of Lyapunov exponents

We consider parametric families of differential systems with coefficients that are bounded and continuous on the half-line and uniformly in time continuously depend on a real parameter. For each Lyapunov exponent, we construct a family such that the Lyapunov exponent of its systems treated as a function of the parameter is not a lower semicontinuous function for any value of the parameter.     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

有资格限制的指派问题的求解方法

在实际的指派工作中，常会遇到某个人有没有资格去承担某项工作的问题，因此，本建立了有资格限制的指派问题的数学模型。在此数学模型中，将效益矩阵转化为判定矩阵，由此给出了判定此种指派问题是否有解的方法；在有解的情况下，进一步将效益矩阵转化为求解矩阵，从而将有资格限制的指派问题化为传统的指派问题来求解。最后给出了一个数值例子来说明这样的处理方法是有效的。     

Regularity of minimizers of non-isotropic integrals of the calculus of variations

The regularity of the minimizers of a special type of non-isotropic variational minimization problem is studied. The particularity of the potential of energy is that it has different growth rate with respect to different parts of the derivatives of the function. In particular, the model treated in this paper can be described as $$\Phi (Du) = |\partial _1 u|^2 + |\partial _2 u|^2 + |\partial _3 u|^2 + |\partial _3 u - |^p .$$ By using a result of P.Marcellini (cf. [4]) and perturbation method, it is proved that the minimizer of the Dirichlet boundary value problem is a function of W _loc ^{1, ∞} .     

Stability estimates of solutions of systems of functional-differential equations of neutral type

A system of linear functional-differential equations of neutral type is considered. Investigation of stability is carried out by the method of Lyapunov functions of quadratic form. Sufficient conditions for the asymptotic stability and estimates of the exponential decay of solutions for an arbitrary and a small deviation of the argument are obtained.Candidate of the Physicomathematical Sciences.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43. No. 9, pp. 1123–1135, September, 1991.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Tracing of pseudotrajectories of dynamical systems and stability of prolongations of orbits

We investigate properties of dynamical systems associated with the approximation of pseudotrajectories of a dynamical system by its trajectories. According to modern terminology, a property of this sort is called the “property of tracing pseudotrajectories” (also known in the English literature as the “shadowing property”). We prove that dynamical systems given by mappings of a compact set into itself and possessing this property are systems with stable prolongation of orbits. We construct examples of mappings of an interval into itself that prove that the inverse statement is not true, i.e., that dynamical systems with stable prolongation of orbits may not possess the property of tracing pseudotrajectories. Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 8, pp. 1016–1024, August, 1997.     

Axiomatizability of reducts of algebras of relations

In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a non-finitely axiomatizable quasivariety and that its equational theory is not finitely based. We show the same result for subreducts of the class of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrifications. A similar result is proved for subreducts of the class of representable sequential algebras. Received October 7, 1998; accepted in final form September 10, 1999.     

Optimal control of the process of electroplating of parts of axisymmetric shape

We state the problem of optimal control of the process of electroplating of parts as a problem of coupled optimization. Problems of optimal control of electroheating and subsequent deformation of a metal billet are studied as a coupled problem. In solving the problems the gradient method and Pontryagin's principle are used.Translated fromMatematicheskie Melody i Fiziko-Mekhanicheskie Polya, Issue 33, 1991, pp. 59–64.     

Limit of Iterates of Cascade Addition of Matrices

With the cascade connection of electrical multiport networks as a model, the cascade sum of two positive semi-definite matrices has been considered. The existence of the limit of iterates of cascade addition of a single matrix is proved and various characterizations for the limit are presented.     

图表示范畴的两个子范畴

引进图表示范畴的两个子范畴,研究它们的同调性质。     

Birational aspects of the geometry of Varieties of Sums of Powers

Varieties of Sums of Powers describe the additive decompositions of a homogeneous polynomial into powers of linear forms. The study of these varieties dates back to Sylvester and Hilbert, but only few of them, for special degrees and number of variables, are concretely identified. In this paper we aim to understand a general birational behavior of VSP. To do this we birationally embed these varieties into Grassmannians and prove the rational connectedness of many VSP in arbitrary degrees and number of variables.     

Galois Structure of K-Groups of Rings of Integers

N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.     

Estimation of the number of components of finite mixtures of multivariate distributions

An estimator of the number of components of a finite mixture ofk-dimensional distributions is given on the basis of a one-dimensional independent random sample obtained by a transformation of ak-dimensional independent random sample. A consistency of the estimator is shown. Some simulation results are given in a case of finite mixtures of two-dimensional normal distributions.