Related papers: How to distinguish a local semigroup from a global…
We discuss the classical statement of group classification problem and some its extensions in the general case. After that, we carry out the complete extended group classification for a class of (1+1)-dimensional nonlinear…
The Cauchy problem for semi-linear Klein-Gordon equations is considered in Friedmann-Lema\^itre-Robertson-Walker spacetimes. The local and global well-posedness of the Cauchy problem is considered in Sobolev spaces. The non-existence of…
We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function.…
In this work, we study good semigroups of $\mathbb{N}^n$ introducing the definition of length and genus for these objects. We show how to count the local good semigroup with a fixed genus. Furthermore, we study the relationships of these…
We examine the so-called micropolar equations in three dimensional cylindrical domains under Navier boundary conditions. These equations form a generalization of the ordinary incompressible Navier-Stokes model, taking the structure of the…
We present a basic introduction to the dynamics of open quantum systems based on local-in-time master equations. We characterize the properties of time-local generators giving rise to legitimate completely positive trace preserving quantum…
We consider the motion described by the Navier-Stokes equations in a box with periodic boundary conditions. First we prove the existence of global strong two-dimensional solutions. Next we show the existence of global strong…
The global well-posedness for the incompressible Navier-Stokes-Vlasov equations in two spatial dimensions is established by a priori estimates, the characteristic method and the semigroup analysis.
We consider the problem of topological linearization of smooth (C infinity or real analytic) control systems, i.e. of their local equivalence to a linear controllable system via point-wise transformations on the state and the control…
We consider the local to global principle for detecting linear dependence of points in groups of the Mordell-Weil type. As applications of our general setting we obtain corresponding statements for Mordell-Weil groups of non{-}CM elliptic…
We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…
The two-phase free boundary value problem for the isothermal Navier-Stokes system is studied for general bounded geometries in absence of phase transitions, external forces and boundary contacts. It is shown that the problem is well-posed…
The purpose of this paper is to bring to light a method through which the global in time existence for arbitrary large in $H^1$ initial data of a strong solution to 3D periodic Navier-Stokes equations follows. The method consists of…
For linearized Navier-Stokes equations, we consider an inverse source problem of determining a spatially varying divergence-free factor. We prove the global Lipschitz stability by interior data over a time interval and velocity field at…
In this paper the question of which semigroups are realizable as the semigroup of values attained on a Noetherian local ring which is dominated by a valuation is considered. We give some striking examples, indicating that there may be no…
We give a survey of recent developments in the investigation of the various local-global conjectures for representations of finite groups.
A well-known unsolved problem (in the classical theory of fluid mechanics) is to identify a set of initial velocities, which may depend on the viscosity, the body forces and possibly the boundary of the fluid that will allow global in time…
It is shown that if V is a local monoidal pseudovariety of semigroups, then K(m)V, D(m)V and LI(m)V are local. Other operators of the form Z(m)(_) are considered. In the process, results about the interplay between operators Z(m)(_) and…
We give a strongly polynomial time algorithm which determines whether or not a bivariate polynomial is real stable. As a corollary, this implies an algorithm for testing whether a given linear transformation on univariate polynomials…
In this paper, by arising condition in variation, from equal time to non-equal time, I reconsider how geometrodynamics equations allow to be derived from variational principle in general relativity and then find the variation of extrinsic…