Related papers: Existence Theorem for Split Involution Constraint …
In this paper, we establish some new variants of fixed point theorems for a large class of countably nonexpansive multi-valued mappings. Some fixed point theorems for the sum and the product of three multi-valued mappings defined on…
The Initial Algebra Theorem by Trnkov\'a et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depends on transfinitely iterating the functor and in fact…
This paper is devoted to proving a general invariant representation theorem for generators of general time interval backward stochastic differential equations, where the generator $g$ has a quadratic growth in the unknown variable $z$ and…
We establish a Pythagorean theorem for the absolute values of the blocks of a partitioned matrix. This leads to a series of remarkable operator inequalities.
We consider a partial differential equation that arises in the coarse-grained description of epitaxial growth processes. This is a parabolic equation whose evolution is governed by the competition between the determinant of the Hessian…
In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful…
We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta(\mathrm{B})$, and $\Sigma(\mathrm{B})$ of formulas of modal…
Integrability of the differential constraints arising from the singularity analysis of two (1+1)-dimensional second-order evolution equations is studied. Two nonlinear ordinary differential equations are obtained in this way, which are…
Let G be a finitely generated infinite pro-p group acting on a pro-p tree such that the restriction of the action to some open subgroup is free. Then we prove that G splits as a pro-p amalgamated product or as a pro-p HNN-extension over an…
The Simulation Argument has gained significant traction in the public arena. It has offered a hypothesis based on probabilistic analysis of its assumptions that we are likely to exist within a computer simulation. This has been derived from…
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra…
We prove a structure theorem for Lie n-algebras possessing an invariant inner product. We define the notion of a double extension of a metric Lie n-algebra by another Lie n-algebra and prove that all metric Lie n-algebras are obtained from…
This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.
We show that for any uniformly parabolic fully nonlinear second-order equation with bounded measurable "coefficients" and bounded "free" term in the whole space or in any cylindrical smooth domain with smooth boundary data one can find an…
The relativistic formulation of abstract evolution equations is introduced. The corresponding logarithmic representation is shown to exist without assuming the invertible property of evolution operators. Consequently, by means of the…
We study existence, uniqueness and computability of solutions for a class of discrete time recursive utilities models. By combining two streams of the recent literature on recursive preferences---one that analyzes principal eigenvalues of…
We study nonlinear stationary Kolmogorov equations with degenerate diffusion matrices and discontinuous coefficients. The existence of a solution is proved. We propose a new approach based on an integral condition with Lyapunov functions…
The Existential Theory of the Reals (ETR) consists of existentially quantified Boolean formulas over equalities and inequalities of polynomial functions of variables in $\mathbb{R}$. In this paper we propose and study the approximate…
We introduce the notion of a cellular system in order to deal with quasi-hereditary algebras. We shall prove that a necessary and sufficient condition for an algebra to be quasi-hereditary is the existence of a full divisible cellular…
We prove a scaling limit theorem for two-type Galton-Waston branching processes with interaction. The limit theorem gives rise to a class of mixed state branching processes with interaction using to simulate the evolution for cell division…