Strong solution of a hydrodinamics problem with memory

In the last few years, the concepts of fractional calculus were frequently applied to other disciplines. Recently, this subject has been extended in various directions such as signal processing, applied mathematics, bio-engineering, viscoelasticity, fluid mechanics, and fluid dynamics. In fluid dynamics, the fractional derivative models were used widely in the past for the study of viscoelastic materials such as polymers in the glass transition and in the glassy state. Recently, it has increasingly been seen as an efficient tool through which a useful generalization of physical concepts can be obtained. The fractional derivatives used most are the Riemann--Liouville fractional derivative and the Caputo fractional derivative. It is well known that these operators exhibit difficulties in applications. For example, the Riemann--Liouville derivative of a constant is not zero. We deal with so called temporal fractional derivative as a prototype of general fractional derivative. We prove the global strong solvability of a linear and quasilinear initial-boundary value problems with a singular complete monotone kernels. Our main tool is a theory of evolutionary integral equations. An abstract fractional order differential equation is studied, which contains as particular case the Rayleigh–Stokes problem for a generalized second-grade fluid with a fractional derivative model. This paper concerns with an initial-boundary value problem for the Navier--Stokes--Voigt equations describing unsteady flows of an incompressible viscoelastic fluid. We give the strong formulation of this problem as a nonlinear evolutionary equation in Sobolev spaces. Using the Galerkin method with a special basis of eigenfunctions of the Stokes operator, we construct a global-in-time strong solution in two-dimensional domain. We also establish an $L_2$ decay estimate for the velocity field under the assumption that the external forces field is conservative.

On topological properties of weakly m-convex sets

The topological properties of classes of generally convex sets in multidimensional real Euclidean space $\mathbb{R}^n$, $n\ge 2$, known as $m$-convex and weakly $m$-convex, $1\le m<n$, are studied in the present work. A set of the space $\mathbb{R}^n$ is called \textbf{\emph{$m$-convex}} if for any point of the complement of the set to the whole space there is an $m$-dimensional plane passing through this point and not intersecting the set. An open set of the space is called \textbf{\emph{weakly $m$-convex}}, if for any point of the boundary of the set there exists an $m$-dimensional plane passing through this point and not intersecting the given set. A closed set of the space is called \textbf{\emph{weakly $m$-convex}} if it is approximated from the outside by a family of open weakly $m$-convex sets. These notions were proposed by Professor Yuri Zelinskii. It is known the topological classification of (weakly) $(n-1)$-convex sets in the space $\mathbb{R}^n$ with smooth boundary. Each such a set is convex, or consists of no more than two unbounded connected components, or is given by the Cartesian product $E^1\times \mathbb{R}^{n-1}$, where $E^1$ is a subset of $\mathbb{R}$. Any open $m$-convex set is obviously weakly $m$-convex. The opposite statement is wrong in general. It is established that there exist open sets in $\mathbb{R}^n$ that are weakly $(n-1)$-convex but not $(n-1)$-convex, and that such sets consist of not less than three connected components. The main results of the work are two theorems. The first of them establishes the fact that for compact weakly $(n-1)$-convex and not $(n-1)$-convex sets in the space $\mathbb{R}^n$, the same lower bound for the number of their connected components is true as in the case of open sets. In particular, the examples of open and closed weakly $(n-1)$-convex and not $(n-1)$-convex sets with three and more connected components are constructed for this purpose. And it is also proved that any compact weakly $m$-convex and not $m$-convex set of the space $\mathbb{R}^n$, $n\ge 2$, $1\le m<n$, can be approximated from the outside by a family of open weakly $m$-convex and not $m$-convex sets with the same number of connected components as the closed set has. The second theorem establishes the existence of weakly $m$-convex and not $m$-convex domains, $1\le m<n-1$, $n\ge 3$, in the spaces $\mathbb{R}^n$. First, examples of weakly $1$-convex and not $1$-convex domains $E^p\subset\mathbb{R}^p$ for any $p\ge3$, are constructed. Then, it is proved that the domain $E^p\times\mathbb{R}^{m-1}\subset\mathbb{R}^n$, $n\ge 3$, $1\le m<n-1$, is weakly $m$-convex and not $m$-convex.

Local behavior of homeomorphisms with a finite mean over spheres

It is well known that the modulus method is one of the most powerful tools for studying mappings. Distortion estimates of the modulus of paths families are established in many known classes, in particular, the modulus does not change under conformal mappings, is finitely distorted under qu\-a\-si\-con\-for\-mal mappings, at the same time, its behavior under mappings with finite distortion depends on the dilatation coefficient. One common case is the study of mappings for which this coefficient is integrable in the domain. In the context of our research, this case has been studied in detail in our previous publications and its consideration has mostly been completed. In particular, we obtained results on the local, boundary, and global behavior of homeomorphisms, the inverse of which satisfy the weight Poletsky inequality, provided that the corresponding majorant is integrable. In contrast, the focus in this paper is on mappings for which a similar inequality may contain non integrable weights. Study of the situation of non integrable majorants, in turn, is associated with the specific behavior of the weight modulus of the annulus, which is achieved on a certain function and up to constant is equal to $(n-1)$-degree of the Lehto integral. To the same extent, these results are also related to finding the extremal in the weight modulus of the ring. The basic theorem contains the result about equicontinuity of homeomorphisms with the inverse Poletsky inequality, when the corresponding weight has finite integrals on some set of spheres, and the set of corresponding radii of these spheres must have a positive Lebesgue measure. According to Fubini's theorem, the mentioned result summarizes the corresponding statement for any integrable majorants and is fundamental in the sense that it is easy to give examples of non integrable functions with finite integrals by spheres. In addition, since conformal and quasiconformal mappings satisfy the Poletsky inequality with a constant majorant in the forward and inverse directions, the basic theorem may be considered as a generalization of previously known statements in these classes. Note that the main result does not contain any geometric constraints on the definition and image domains of the mappings, in particular, the definition domain is assumed to be arbitrary, and the image domain is supposed to be only a bounded domain in Euclidean $n$-dimensional space. The proof of the main theorem is given by the contradiction, namely, we assume that the statement about equicontinuity of the corresponding family of mappings is incorrect, and we obtain a contradiction to this assumption due to upper and lower estimates of the modulus of families of paths.

On the subject of influence of dissipative and constant of moments on the stability of uniform rotations of non-free two elastically connected gyroscopes of Lagrange

The conditions for asymptotic stability of uniform rotations in a resisting medium of two heavy Lagrange gyroscopes connected by an elastic spherical hinge are obtained in the form of a system of three inequalities. The bottom gyroscope has a fixed point. The rotation of the gyroscopes is maintained by constant moments in the inertial coordinate system. The influence of the elasticity of the hinge on the stability conditions is estimated. It is shown that for a sufficiently high rigidity of the hinge, the asymptotic stability conditions are determined by only one inequality, which coincides with the inequality obtained for the case of a cylindrical hinge. When the angular velocities of the gyroscopes' own rotations coincide, this inequality coincides with the well--known condition for one gyroscope. Cases of degeneration of an elastic spherical hinge into a spherical inelastic, cylindrical and universal elastic hinge (Hooke's hinge) are considered. For the Hooke hinge, it is shown that there is no asymptotic stability at a sufficiently high angular velocity of gyroscopes rotation.

On a connection between some classes of mapping on Riemannian manifolds

In this paper we study the connection between $\eta$-quasisymmetric homomorphisms and $K$-quasi\-con\-for\-mal mappings on $n$-dimensional smooth connected Riemannian manifolds. The main result of our research is the Theorem 3.1. For its proof we use a partition of unity method, which subordinate to the locally finite atlas of the manifold. Several results on the boundary behavior of $\eta$-quasisymmetric homomorphisms between two arbitrary domains, QED (uniform) domains and domains with weakly flat boundaries and compact closures on the Riemannian manifolds are also obtained in view of the above relations. The obtained results can be applied to Finsler manifolds with the addition of some conditions, which will take into account the specific of the initial manifold.

Damping parameters indentification of Lienard polynomial system

In many applications of physics, biology, and other sciences, an approach based on the concept of model equations is used as an approximate model of complex nonlinear processes. The basis of this concept is the provision that a small number of characteristic types movements of simple mathematical models inherent in systems give the key to understanding and exploring a huge number of different phenomena. In particular, it is well known that the complex oscillatory motion can be modeled by a system consisting of one or more coupled nonlinear oscillators that governs by differential equation of a second-order. A Lienard system, namely $ \ddot x(t)+f(x(t))\dot x(t)+g(x(t)) = 0$, is a generalization of the such models. Here $f(x(t))$ and $g(x(t))$ are functions that represent various nonlinear phenomena. The typical sources of nonlinearities in Lienard systems are as follows: large displacements of the structure provoking geometric nonlinearities, a nonlinear material behavior, complex law of damping dissipation, etc. In fact, parameter identification is the base of several engineering tasks: identification can be used for the following: (i) to gain knowledge about the process behavior, (ii) to validate theoretical models, (iii) to tune controller parameters, (iv) to design adaptive control algorithms, (v) to process supervision and fault detection, (vi) to on-line optimization. Hence, in order to represent these nonlinearities, identifying the parameters characterizing their behaviors is essential. The problem of constructing globally convergent identificator for polynomial representation of damping force in general Lienar oscillator is addressed. The method of invariant relations is used for identification scheme design. This aproach is based on dynamical extension of original system and construct of appropriate invariant relations, from which the unknowns parameters can be expressed as a functions of the known quantities on the trajectories of extended system. The final synthesis is carried out from the condition of obtaining asymptotic estimates of unknown parameters. It is shown that an asymptotic estimate of the unknown states can be obtained by rendering attractive an appropriately selected invariant manifold in the extended state space.

Identification of van der Pol oscillator parameters

An invariant relations method for parameters estimation is used for the wellknown van der Pol oscillator. The approach is based on dynamical extension of original system and synthesis of appropriate invariant relations, from which the unknowns can be expressed as a functions of the known quantities on the trajectories of extended system. The stability property is formally checked taking into account the oscillatory behavior of the system. The simulation results confirm efficiency of the proposed scheme of nonlinear identificator design.

Minimal Deterministic Traversable Vertex Labelling of Infinite Square Grid Graph

Automata walking on graphs are a mathematical formalization of autonomous mobile agents with limited memory operating in discrete environments. Under this model a broad area of studies of the behaviour of automata in labyrinths arose and intensively developing last decades (a labyrinth is an embedded directed graph of special form). Research in this regard received a wide range of applications, for example, in the problems of image analysis and navigation of mobile robots. Automata operating in labyrinths can distinguish directions, that is, they have a compass. This paper deals with the problem of constructing square grid graph vertex labelling thanks to which a finite automaton without a compass can walk on graph in any arbitrary direction. The automaton looking over neighbourhood of the current vertex and may travel to some neighbouring vertex selected by its label. In this paper, we propose a minimal deterministic traversable vertex labelling that satisfies the required property. A labelling is said to be deterministic if all vertices in closed neighbourhood of every vertex have different labels. In previous works we have proved that minimal deterministic traversable vertex labelling of square grid graph uses labels of five different types. In this paper we prove that a collective of one automaton and three pebbles can construct this labelling on initially unlabelled infinite square grid graph. We consider pebbles as automata of the simplest form, whose positions are completely determined by the remaining automata of the collective.

Caratheodory theorem about prime ends on Riemann surfaces

The present paper is a continuation of our research that was devoted to the theory of the boundary behavior of mappings on Riemann surfaces. Here we develop the theory of the boundary behavior of the mappings in the class FLD (mappings with finite length distortion) first introduced for the Euclidean spaces in the article of Martio--Ryazanov--Srebro--Yakubov at 2004 and then included in the known monograph of these authors in the modern mapping theory at 2009. As it was shown in the recent papers of Kovtonyuk-Petkov-Ryazanov at 2017, such mappings, generally speaking, are not mappings in the Sobolev classes because their first partial derivatives can be not locally integrable. At the same time, this class is a natural generalization of the well-known significant classes of isometries and quasi--isometries. We obtain here a series of criteria in terms of dilatations for the homeomorphic extension of the mappings with finite length distortion between domains on Riemann surfaces to the completions of the domains by prime ends of Caratheodory. Here we start from the general criterion in Lemma 1 in terms of singular functional parameters and then derive on this basis many other criteria. In particular, Lemma 1 implies Theorem 1 with a criterion of the Lehto type and Corollary 1 shows that the conclusion holds, if the dilatation grows not quickly than logarithm of the hyperbolic distance at every boundary point. The next consequence in Theorem 2 gives an integral criterion of the Orlicz type and Corollary 2 says on simple integral conditions of the exponential type. Further, Theorem 3 and Remark 2 contain criteria in terms of singular integrals of the Calderon--Zygmund type. The other criterion in Theorem 4 is the existence of a dominant for the dilatation in the class FMO (functions with finite mean oscillation), i.e., having a finite mean deviation from its mean value over infinitesimal discs centered at boundary points. In other words, the latter means that such a dominant has a finite dispersion over the given infinitesimal discs. In particular, the latter leads to Corollary 3 on a dominant in the well--known class BMO (bounded mean oscillation) by John--Nirenberg and to a simple criterion in Corollary 4 on finiteness of the average of the dilatation over infinitesimal disks centered at boundary points.

Energetic effects analysis of shear waves and their second harmonics in a waveguide with non-ideal component contact

In this article the energetic and kinematic effects that occur in the elastic shear wave and its second harmonics propagation are investigated. The waveguide consists of anisotropic elastic crystal layer of cubic system m3m class enclosed between crystal halfspaces of same anisotropy class. A slipping contact is assumed in the contact zone of waveguide parts. The research is based on a model of general geometrical end physical nonlinearity in dynamic deformation processes. It allows to use elastic potential with the quadratic and cubic deformation components and the deformations with nonlinear terms. The approach of nonlinear elastic wave characteristics expansion into rows of a small parameter is used. Due to this approach at the first stage it's necessary to solve the problem of finding the components of the localized shear wave displacement vector (the problem of the first approximation). In the second stage, using the obtained results of the first approximation problem, the representation of the components of the displacement vector for the second harmonics of the localized elastic wave is solved in analytical form (the problem of the second approximation). By using the obtained kinematic results, the energy effects can be evaluated in the form of a vector of the average for the period of power flow. Specific results of the study of the amplitude-frequency and energy characteristics of the localized shear type elastic waves in the considered waveguide structure were obtained using computer algebra methods.The calculations of cinematic and energetic characteristics (that in contrast to linear SH harmonic are P-SV type waves) have been carried out for NaCl layer and germanium halfspaces waveguide.