Related papers: Strong Solutions of the Fuzzy Linear Systems
This paper examines systems of poly-harmonic equations of the Hardy--Sobolev type and the closely related weighted systems of integral equations involving Riesz potentials. Namely, it is shown that the two systems are equivalent under some…
Uniqueness quantification ($\exists !$) is a quantifier in first-order logic where one requires that exactly one element exists satisfying a given property. In this paper we investigate the strength of uniqueness quantification when it is…
We prove the existence and uniqueness of strong solutions to the equation $u u_x - u_{yy} = f$ in the vicinity of the linear shear flow, subject to perturbations of the source term and lateral boundary conditions. Since the solutions we…
A presentation is provided of the basic notions and operations of a) the propositional calculus of a variant of fuzzy logic -- canonical fuzzy logic, CFL -- and in a more succinct and introductory way, of b) the theory of fuzzy sets…
This report presents an elementary theory of unification for positive conjunctive queries. A positive conjunctive query is a formula constructed from propositional constants, equations and atoms using the conjunction $\wedge$ and the…
This paper presents a tableau calculus for finding a model for a set-satisfiable finite set of formulas of an extended fuzzy logic BL, a fuzzy logic BL with additional Baaz connective and the involutive negation, if such a model exists. The…
The existence of entire solutions to quasilinear elliptic systems exhibiting both singular and convective reaction terms is discussed. An auxiliary problem, obtained by `freezing' the convection terms and `shifting' the singular ones, is…
Let us fix a prime $p$ and a homogeneous system of $m$ linear equations $a_{j,1}x_1+\dots+a_{j,k}x_k=0$ for $j=1,\dots,m$ with coefficients $a_{j,i}\in\mathbb{F}_p$. Suppose that $k\geq 3m$, that $a_{j,1}+\dots+a_{j,k}=0$ for $j=1,\dots,m$…
We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher…
In this paper we study planar hybrid systems composed by two stable linear systems, defined by Hurwitz matrices, in addition with a jump that can be a piecewise linear, a polynomial or an analytic function. We provide an explicit analytic…
Systems of the form $x = (A x^s)^{1/s} + b$ arise in a range of economic, financial and control problems, where $A$ is a linear operator acting on a space of real-valued functions (or vectors) and $s$ is a nonzero real value. In these…
In this paper we are concerned with the stochastic partial differential equations of super-fast diffusion processes describing behavior of plasma dX(t)-{\Delta}ln(X(t)+1)dt=\surd(Q)dW(t), in (0,T)\timesO, where O is a bounded open subset of…
This paper is devoted to the full system of incompressible liquid crystals, as modeled in the Q-tensor framework. The main purpose is to establish the uniqueness of weak solutions in a two dimensional setting, without imposing an extra…
A thermal convection fluid motion in the three-dimensional domain exterior to a sphere is considered. A purely conductive steady state arises due to the fluid heated from the sphere. A fractional equation system is introduced by using…
Let $A$ be a real $n\times n$ matrix and $z,b\in \mathbb R^n$. The piecewise linear equation system $z-A\vert z\vert = b$ is called an \textit{absolute value equation}. We consider two solvers for this problem, one direct, one…
In a previous work [8], it was shown that the joint law of a diffusion process and the running supremum of its first component is absolutely continuous, and that its density satisfies a non standard weak partial differential equation (PDE).…
We prove the existence of solutions of a cross-diffusion parabolic population problem. The system of partial differential equations is deduced as the limit equations satisfied by the densities corresponding to an interacting particles…
In a "structured system" of equations, each equation depends on a specified subset of the variables. In this article, we explore properties common to "almost every" system with a fixed structure and how the properties can be read from the…
Bounded weak solutions to a particular class of degenerate parabolic cross-diffusion systems are shown to coincide with the unique strong solution determined by the same initial condition on the maximal existence interval of the latter. The…
New weak and strong existence and weak and strong uniqueness results for multi-dimensional stochastic McKean--Vlasov equations are established under relaxed regularity conditions. Weak existence is a variation of Krylov's weak existence for…