Related papers: Weak and strong composition conditions for the Abe…
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…
We demonstrate the existence of equilibrium states in the limiting cases of the double-Kerr solution when one of the constituents is an extreme object. In the `extreme-subextreme' case the negative mass of one of the constituents is…
We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's…
We establish a consistency result by comparing two independent notions of generalised solutions to a large class of linear hyperbolic first order PDE systems with constant coefficients, showing that they eventually coincide. The first is…
We discuss combinatorial conditions for the existence of various types of reductions between equivalence relations, and in particular identify necessary and sufficient conditions for the existence of injective reductions.
We introduce and study the Dirichlet problem for double divergence form elliptic equations with coefficients of low regularity and boundary conditions given by general Borel measures. Under broad assumptions we establish the solvability of…
We obtain an estimate for the H\"older continuity exponent for weak solutions to the following elliptic equation in divergence form: \[ \mathrm{div}(A(x)\nabla u)=0 \qquad\mathrm{in\}\Omega, \] where $\Omega$ is a bounded open subset of…
We show the existence and uniqueness as well as boundedness of weak solutions to linear elliptic equations with $L^2$-drifts of negative divergence and singular zero-order terms which are positive. Our main target is to show the…
The electric and weak electric dipole form factors for heavy fermions are calculated in the context of the most general two-Higgs-doublet model (2HDM). We find that the large top mass can produce a significant enhancement of the electric…
We first prove some weighted inequalities for compositions of functions on time scales which are in turn applied to establish some new dynamic Opial-type inequalities in several variables. Some generalizations and applications to partial…
In this paper, we present two methods to obtain the compositional inverses of AGW-PPs. We improve some known results in this topic.
We develop a method for evaluation of A. Einstein's strength of systems of partial differential and difference equations based on the computation of Hilbert-type dimension polynomials of the associated differential and difference field…
In this paper, we give the existence and uniqueness of the strong solution of one dimensional linear parabolic equation with mixed boundary conditions. The boundary conditions can be any kind of mixed Dirichlet, Neumann and Robin boundary…
We establish the existence of weak solutions of coupled systems of elliptic partial differential equations with quasimonotone nonlinearities in the domain interior and on the boundary. When the nonlinearities satisfy some monotonicity…
We extend the definition of algebraic entropy to a class of differential-delay equations. The vanishing of the entropy, as a structural property of an equation, signals its integrability. We suggest a simple way to produce…
For self-similar sets, there are two important separation properties: the open set condition and the weak separation condition introduced by Zerner, which may be replaced by the formally stronger finite type property of Ngai and Wang. We…
We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We…
For a second-order elliptic equation in divergence form we investigate conditions on the coefficients which imply that all solutions are Lipschitz continuous or differentiable at a given point. We assume the coefficients have modulus of…
We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known…
If E is an equivalence relation Borel reducible to E_1 \times E_3 then either E is Borel reducible to the equality of countable sets of reals or E_1 is Borel reducible to E. The "either" case admits further strengthening.