Related papers: Solutions for Underdetermined Generalized Absolute…
We consider expressions built up from binary relation names using the operators union, composition, and set difference. We show that it is undecidable to test whether a given such expression $e$ is finitely satisfiable, i.e., whether there…
In a decision problem, observations are said to be material if they must be taken into account to perform optimally. Decision problems have an underlying (graphical) causal structure, which may sometimes be used to evaluate certain…
A complete set of inequivalent realizations of three- and four-dimensional real unsolvable Lie algebras in vector fields on a space of an arbitrary (finite) number of variables is obtained.
In this paper we prove that decomposable forms, or homogeneous polynomials $F(x_1, \cdots, x_n)$ with integer coefficients which split completely into linear factors over $\mathbb{C}$, take on infinitely many square-free values subject to…
In first order formulation of pure gravity, we find a new class of solutions to the equations of motion represented by degenerate four-geometries. These configurations are described by non- invertible tetrads with two zero eigenvalues and…
Additive relations are defined over additive monoids and additive operation is introduced over these new relations then we build algebraic system of equations. We can generate profuse equations by additive relations of two variables. To…
Using a generalized assumption of Osgood type, we prove a comparison result between viscosity sub and supersolutions of fully nonlinear, possibly strongly degenerate, parabolic equations under rather generale assumtpions. The principle…
In this paper, by using $|x|=2\max\{0,x\}-x$, a class of maximum-based iteration methods is established to solve the generalized absolute value equation $Ax-B|x|=b$. Some convergence conditions of the proposed method are presented. By some…
Sets of $d\times d$ matrices sharing a common invariant cone enjoy special properties, which are widely used in applications. However, finding this cone or even proving its existence/non-existence is hard. This problem is known to be…
This paper is concerned with solving some structured multi-linear systems, which are called tensor absolute value equations. This kind of absolute value equations is closely related to tensor complementarity problems and is a generalization…
Let G be a finite group of order n and V an irreducible representation over the complex numbers of dimension d. For some nonnegative number e, we have n=d(d+e). If e is small, then the character of V has unusually large degree. We fix e and…
A large family of linear, usually overdetermined, systems of partial differential equations that admit a multiplication of solutions, i.e, a bi-linear and commutative mapping on the solution space, is studied. This family of PDE's contains…
The method is proposed for the study of many-point boundary value problems for systems of nonlinear ODE, by reducing them to special equivalent integral equations, and allows us [in contrast with the known method [1]] to consider boundary…
First, a new sufficient condition for uniqueness of weak solutions is proved for the system of 2D viscous Primitive Equations. Second, global existence and uniqueness are established for several classes of weak solutions with partial…
We derive an exact solution for a simple non-autonomous delay differential equation (DDE) over the entire real-time axis, representing it as a sum of Gaussian-shaped dynamics with distinct peak positions. This marks the first explicit…
We define guarded variable automata (GVAs), a simple extension of finite automata over infinite alphabets. In this model the transitions are labelled by letters or variables ranging over an infinite alphabet and guarded by conjunction of…
Any individual's preference represents his choice in the set of available options. It is said to be complete if the person can compare any pair of available options. We aim to initiate the notion of projected solutions for the generalized…
Stochastic diffusion equations are crucial for modeling a range of physical phenomena influenced by uncertainties. We introduce the generalized finite difference method for solving these equations. Then, we examine its consistency,…
The inviscid barotropic quasi-geostrophic equation with a free surface is considered. The free surface mandates a non-standard boundary condition. The global existence existence and uniqueness of a weak solution is established, thanks to…
While there exist now formulations of initial boundary value problems for Einstein's field equations which are well posed and preserve constraints and gauge conditions, the question of geometric uniqueness remains unresolved. For two…