Vol 215, No 4 (2016)
- Year: 2016
- Articles: 11
- URL: https://journals.rcsi.science/1072-3374/issue/view/14741
Article
Further Generalizations of Results on Structures of Continuous Functions
Abstract
We consider new applications of the generalized interpretation method for studying the decidability of theories of some structures in analysis. We study the algebraic structure of continuous functions over a perfectly normal space and prove the decidability of the theory of this structure. Bibliography: 20 titles.
Algebraic-Analytic Methods for Constructing Solutions to Differential Equations and Inverse Problems
Abstract
We present new algebraic-analytic methods for constructing solutions to differential equations and inverse problems. In particular, we develop a new approach based on the ray method for inverse problems in mathematical physics. Bibliography: 23 titles.
Boolean Algebras with Distinguished Endomorphisms and Generating Trees
Abstract
We characterize computable Boolean algebras with distinguished endomorphisms in terms of generating trees and mappings of these trees. We show that every degree spectrum of a countable family of subsets of ω is the degree spectrum of some natural enrichment of a Boolean algebra. Bibliography: 20 titles.
Structure of Phase Portraits of Nonlinear Dynamical Systems
Abstract
We consider phase portraits of some piecewise linear dynamical systems of chemical kinetics. We construct an invariant piecewise linear surface that consists of eight planar polygons and is formed by the trajectories which do not enter the attraction basin of a stable cycle. We prove that the dynamical system does not have cycles on this surface. Bibliography: 26 titles. Illustrations: 1 figure.
Predictor-Corrector Difference Scheme for Numerical Solution of the Euler and Navier–Stokes Equations
Abstract
We generalize optimal splitting schemes for numerical solving the Euler and Navier–Stokes equations in the curvilinear coordinates. We introduce a splitting of the equations, common in both divergence and nondivergence forms, that makes it possible to construct a class of economic difference schemes. The schemes are realized at fractional steps by scalar sweeps and have a large steady margin. The proposed algorithm is tested for stationary and nonstationary problems.
Perturbation Propagation in a Thin Layer of a Viscosity-Stratified Fluid
Abstract
We consider a nonlinear system of equations governing the motion of a viscosity-layered fluid with a free surface in long-wave approximation. Using the semi-Lagrangian coordinates, we rewrite the governing equations in the integro-differential form and obtain necessary and sufficient hyperbolicity conditions. We approximate the integro-differential model by a finite-dimensional system of differential conservation laws and propose a model of propagation of nonlinear perturbations in a viscosity-stratified fluid.
Conjugate Problem for a Third Order Equation with Multiple Characteristics and a Positive Function at the Higher Order Derivative
Abstract
We establish the existence and uniqueness of a regular solution to the conjugate (generalized diffraction) problem for the equation ut − h(x)uxxx + c(x, t)u = f(x, t), where h(x) is positive and can have discontinuity of the first kind at the point x = 0.
Generators of Groups and Lie Algebras of the Form F/[N,N]
Abstract
Let F be a free product of nontrivial groups Ai, i ∈ I, and a free group G, and let N be a normal subgroup of F such that N ∩ Ai = 1, i ∈ I. We establish necessary and sufficient conditions for a given element of the group F/[N,N] to belong to the subgroup generated by a given set of elements of F/[N,N] and necessary and sufficient conditions for a given finite set of elements of F/[N,N] to be a set of generators of F/[N,N]. Similar results are obtained for Lie algebras. Bibliography: 10 titles.