Stability of a Hamiltonian system in a limiting case

We give a fairly simple geometric proof that an equilibrium point of a Hamiltonian system of two degrees of freedom is Liapunov stable in a degenerate case. That is the 1: −1 resonance case where the linearized system has double pure imaginary eigenvalues ±iω, ω ≠ 0 and the Hamiltonian is indefinite. The linear system is weakly unstable, but if a particular coefficient in the normalized Hamiltonian is of the correct sign then Moser’s invariant curve theorem can be applied to show that the equilibrium point is encased in invariant tori and thus it is stable.     

Mathematical study of a tissue-implant connection in a ventral hernia repair in a context of the system's parameters

Ventral hernia repair is nowadays a well recognized matter in surgery and advanced techniques of operating are developed. However, mechanical properties of the system after an operation are not known so recurrences of the illness happen. The paper describes a simple mathematical model of a human fascia-synthetic implant system. The synthetic mesh is modeled by a cable structure and its elastic supports simulate the human fascia. The junction force in the fascia-implant system is sought. A relation of the force change to variations of some parameters of the system is also studied by applying a sensitivity analysis. The authors conclude that a crucial role for the junction force and a patient's comfort plays the implant's elasticity modulus and initial tension of the mesh is the least important factor. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Rolling of a homogeneous ball over a dynamically asymmetric sphere

We consider a novel mechanical system consisting of two spherical bodies rolling over each other, which is a natural extension of the famous Chaplygin problem of rolling motion of a ball on a plane. In contrast to the previously explored non-holonomic systems, this one has a higher dimension and is considerably more complicated. One remarkable property of our system is the existence of “clandestine” linear in momenta first integrals. For a more trivial integrable system, their counterparts were discovered by Chaplygin. We have also found a few cases of integrability.     

Fast computation of a rational point of a variety over a finite field

We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time-space complexity is roughly quadratic in the logarithm of the cardinality of the field and a geometric invariant of the input system. This invariant, called the degree, is bounded by the Bézout number of the system. Our algorithm works for fields of any characteristic, but requires the cardinality of the field to be greater than a quantity which is roughly the fourth power of the degree of the input variety.

     

Equilibrium description of a particle system in a heat bath

AnN particle system evolving in 3-space under the action of a friction force, an external potential and a fluctuating force is studied, using the Langevin equation. Necessary and sufficient conditions are given for both (a) the existence and (b) the Maxwell-Boltzmann character of an invariant measure. Both probabilistic and system theoretical tools play an important part in this study. In addition, the general results mentioned above are applied to the study of a system ofn oscillators coupled through velocity, with a first-neighbour-only type of interaction.     

Study of a discrete dynamic system in a neighborhood of a quasi-periodic trajectory

We study a discrete system in a neighborhood of a quasi-periodic trajectory. We obtain conditions for reducing a system in this neighborhood to a system with quasi-periodic coefficients. We determine the behavior of this system under the action of small perturbations.This work was prepared with the financial support of the Ukrainian State Committee on Science and Technology.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 12, pp. 1702–1711, December, 1992.     

Null controllability of a system of viscoelasticity with a moving control

In this paper, we consider the wave equation with both viscous Kelvin–Voigt and frictional damping as a model of viscoelasticity in which we incorporate an internal control with a moving support. We prove the null controllability when the control region, driven by the flow of an ODE, covers all the domain. The proof is based upon the interpretation of the system as, roughly, the coupling of a heat equation with an ordinary differential equation (ODE). The presence of the ODE for which there is no propagation along the space variable makes the controllability of the system impossible when the control is confined into a subset in space that does not move. The null controllability of the system with a moving control is established in using the observability of the adjoint system and some Carleman estimates for a coupled system of a parabolic equation and an ODE with the same singular weight, adapted to the geometry of the moving support of the control. This extends to the multi-dimensional case the results by P. Martin et al. in the one-dimensional case, employing 1-d Fourier analysis techniques.     

Vibrations of a beam-string complex system under a moving force

In this paper, the dynamic response of an Euler-Bernoulli beam and string system traversed by a constant moving force is considered. The force is moving with a constant velocity on the top beam. The complex system is finite, simply supported, parallel one upon the other and continuously coupled by a linear Winkler elastic element. The classical solution of the response of a beam-string system subjected to a force moving with a constant velocity has a form of an infinite series. The main goal of this paper is to show that in the considered case the aperiodic part of the solution can be presented in a closed, analytical form instead of an infinite series. The presented method of finding the solution in a closed, analytical form is based on the observation that the solution of the system of partial differential equations in the form of an infinite series is also a solution of an appropriate system of ordinary differential equations. The dynamic influence lines of complex systems may be used for the analysis the complex models of moving load. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Reliability-based measures and prognostic analysis of a K-out-of-N system in a random environment

In this paper, we study reliability based measures and prognostic problems of a K-out-of-N system in which the failure process of each component depends not only on its intrinsic characteristic but also on its operating environment conditions. The system reliability and the expected remaining useful lifetime are calculated. Under the periodic inspection policy, the system asymptotic availability is derived. We aim at providing explicit expressions for these quantities. The model allows us to incorporate the observation information of the environment in the evaluation of the system performances. Numerical examples show the efficiency and accuracy of our method by comparing with the Monte-Carlo simulations. It is pointed out that the environment condition has significant effect on the system reliability based measures and the system prognostic analysis.     

一类一维的辐射流体力学方程组激波的存在性

该文主要讨论一维空间中一类辐射流体力学方程组的激波. 由Rankine-Hugoniot条件及熵条件得此问题可表述为关于辐射流体力学方程组带自由边界的初边值问题. 首先通过变量代换, 将其自由边界转换为固定边界, 然后研究关于此非线性方程组的一个初边值问题解的存在唯一性. 为此先构造了此问题的一个近似解, 然后分别通过Picard迭代与Newton迭代对此非线性问题构造近似解序列. 通过一系列估计与紧性理论得到此近似解序列的收敛性, 其极限即为原辐射热力学方程组的一个激波.     

Generalized state-space system matrix equivalents of a Rosenbrock system matrix

Bosgra & Van Der Weiden (1981) have given a procedure wherebya Rosenbrock system matrix may be reduced to an equivalent generalizedstate-space system matrix. The sense in which this is equivalentto the original system matrix is that the reduced system matrixexhibits identical system properties both at finite and infinitefrequencies. Hayton et al. (1990) introduced the transformationsof normal full system equivalence and full system equivalence.In the present work, we show that the Bosgra & Van Der Weidenreduction procedure is a full system-equivalence transformation,and a characterization of this equivalence in a matrix-transformationsense is also provided.     

Arithmetic of a group of points of a formal group

For a formal group of finite height over a non-ramified extension of a ring of p-adic integers we construct a system of generators of a formal module that is the generalization of the canonic Shafarevich basis and the system of Henniart generators for Lubin — Tate groups.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademiya Nauk SSSR, Vol. 191, pp. 9–23, 1991.     

Approximate equations of rotational motion of a rigid body carrying a movable point mass

The dynamics of a compound system, consisting of a rigid body and a point mass, which moves in a specified way along a curve, rigidly attached to the body is investigated. The system performs free motion in a uniform gravity field. Differential equations are derived which describe the rotation of the body about its centre of mass. In two special cases, which allow of the introduction of a small parameter, an approximate system of equations of motion is obtained using asymptotic methods. The accuracy with which the solutions of the approximate system approach the solutions of the exact equations of motion is indicated. In one case, it is assumed that the point mass has a mass that is small compared with the mass of the body, and performs rapid motion with respect to the rigid body. It is shown that in this case the approximate system is integrable. A number of special motions of the body, described by the approximate system, are indicated, and their stability is investigated. In the second case, no limitations are imposed on the mass of the point mass, but it is assumed that the relative motion of the point is rapid and occurs near a specified point of the body. It is shown that, in the approximate system, the motion of the rigid body about its centre of mass is Euler–Poinsot motion.     

Analysis of a two-phase queueing system with a fixed-size batch policy

We consider a single-server, two-phase queueing system with a fixed-size batch policy. Customers arrive at the system according to a Poisson process and receive batch service in the first-phase followed by individual services in the second-phase. The batch service in the first-phase is applied for a fixed number (k) of customers. If the number of customers waiting for the first-phase service is less than k when the server completes individual services, the system stays idle until the queue length reaches k. We derive the steady state distribution for the system’s queue length. We also show that the stochastic decomposition property can be applied to our model. Finally, we illustrate the process of finding the optimal batch size that minimizes the long-run average cost under a linear cost structure.     

A mathematical model of oxidation of Co in a thin layer of a Pd zeolite catalyst

We construct and study a distributed mathematical model of oxidation ofCO in a planar layer of aPd zeolite catalyst. The model is a system of ordinary differential equations describing a chain of locally connected chemical oscillators. Each oscillator is an oscillatory process of the reaction occurring in the corresponding layer of zeolite. The peculiarity of this chain system is that the connection between the oscillators is parametric, since it is implemented through diffusion ofCO in the gaseous phase. We find conditions for existence and uniqueness of various types of oscillations in the system, including synchronous, quasi-periodic, and chaotic. We construct the phase diagram on the plane of two external parameters and give a bifurcation analysis, studying the scenario of transition to chaos. Two tables, 12 figures. Bibliography: 15 titles. Translated fromProblemy Matematicheskoi Fiziki, 1998, pp. 113–132.     

Rolling of a ball without spinning on a plane: the absence of an invariant measure in a system with a complete set of integrals

In the paper we consider a system of a ball that rolls without slipping on a plane. The ball is assumed to be inhomogeneous and its center of mass does not necessarily coincide with its geometric center. We have proved that the governing equations can be recast into a system of six ODEs that admits four integrals of motion. Thus, the phase space of the system is foliated by invariant 2-tori; moreover, this foliation is equivalent to the Liouville foliation encountered in the case of Euler of the rigid body dynamics. However, the system cannot be solved in terms of quadratures because there is no invariant measure which we proved by finding limit cycles.     

Effects of Centralization on Expected Costs in a Multi-location Newsboy Problem

This is a single-period, single-product inventory model with several individual sources of demand. It is a multi-location problem with an opportunity for centralization. The holding and penalty cost functions at each location are assumed to be identical. Two types of inventory system are considered in this paper: the decentralized system and the centralized system. The decentralized system is a system in which a separate inventory is kept to satisfy the demand at each source of demand. The centralized system is a system in which all demands are satisfied from one central warehouse. This paper demonstrates that, for any probability distribution of a location's demands, the following properties are always true: given that the holding and penalty cost functions are identical at all locations, (1) if the holding and penalty cost functions are concave functions, then the expected holding and penalty costs in a decentralized system exceed those in a centralized system, except that (2) if the holding and penalty cost functions are linear functions, and for any i≠j, P_ij, the coefficient of correlation between the ith location's demand and the jth location's demand is equal to 1, then the expected holding and penalty costs in a decentralized system are equal to those in a centralized system.     

Cycle analysis of a two-phase queueing model with threshold

We consider a single-server, two-phase queueing system with N-policy. Customers arrive at the system according to a Poisson process and receive batch service in the first phase followed by individual services in the second phase. If the system becomes empty at the moment of the completion of the second-phase services, it is turned off. After an idle period, when the queue length reaches N (threshold), the server is turned on and begins to serve customers. We obtain the system size distribution and show that the system size decomposes into three random variables. The system sojourn time is provided. Analysis for the gated batch service model is also provided. Finally we derive a condition under which the optimal operating policy is achieved.     

Construction of a nontrivial solution of a system of nonlinear integro-differential equations

The paper studies a system of nonlinear, vector integro-differential equations with sum and difference kernel and possessing the trivial solution. A nontrivial solution of the system in the Sobolev spaceW _∞,2^×n (0,+∞) is constructed.     

On the existence of a cycle in an asymmetric model of a molecular repressilator

In this paper, a nonlinear six-dimensional dynamic system, which is a model of functioning of a simple molecular repressilator, is considered. Sufficient conditions for the existence of a cycle C in the phase portrait of this system are found. An invariant neighborhood of C, which retracts to C, is constructed.