Related papers: Stable Bimetric Theories
In this oaper, we prove some fixed point theorems in metric vector spaces, in which the continuity is not required for the considered mappings to satisfy. We provide some concrete examples to demonstrate these theorems. We also give some…
This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…
We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the…
Examination of symmetry energy is carried out on the basis of an elementary binding-energy formula. Constraints are obtained on the energy value at the normal nuclear density and on the density dependence of the energy at subnormal…
We study in this article the mathematical properties of a class of orbital-free kinetic energy functionals. We prove that these models are linearly stable but nonlinearly unstable, in the sense that the corresponding kinetic energy…
We design and analyse an energy stable, structure preserving and well-balanced scheme for the Ripa system of shallow water equations. The energy stability of the numerical solutions is achieved by introducing appropriate stabilisation terms…
We prove that homological stability holds for configuration spaces of orbifolds. This builds on the work of Bailes' thesis where he proves that the stabilisation maps are injective.
We consider the possibility of the existence of a stable massive charged particle by a minimal extension of the standard model particle content. Absolute stability in the case of singly charged particle is not possible if the usual doublet…
Theory of stable models is the mathematical basis of answer set programming. Several results in that theory refer to the concept of the positive dependency graph of a logic program. We describe a modification of that concept and show that…
We propose a generalization of the classical stable marriage problem. In our model, the preferences on one side of the partition are given in terms of arbitrary binary relations, which need not be transitive nor acyclic. This generalization…
The fixed-point theory and its applications to various areas of science are well known. In this paper we present some existence and uniqueness theorems for fixed circles of self-mappings on metric spaces with geometric interpretation. We…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
In this paper, We study an one--dimensional morphogenesis model considered by C. Stinner et al. in (Math. Meth. Appl. Sci. 2012,35 (445-465). Under homogeneous boundary conditions, we prove the existence of nonconstant positive steady…
We prove the existence of explicit linear multistep methods of any order with positive coefficients. Our approach is based on formulating a linear programming problem and establishing infeasibility of the dual problem. This yields a number…
Some theorems for a static prefect fluid sphere, i.e. a star, in the presence of a positive cosmological constant are proved. These theorems put bounds on the pressure profile and internal compactness of the star.
We prove a stability theorem for families of holomorphically-parallelizable manifolds in the category of Hermitian manifolds.
In this paper we study the stability of a tree-shaped network of elastic strings and beams with some feedbacks at the ends. The whole system is asymptotically stable. Moreover, the energy of the solution decay exponentially to zero if there…
This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.
We describe the notion of stability of coherent systems as a framework to deal with redundancy. We define stable coherent systems and show how this notion can help the design of reliable systems. We demonstrate that the reliability of…
Maximum VC classes which are stable in the sense of model theory are characterized.