Related papers: $\mathcal C^m$ solutions of semialgebraic or defin…
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid…
In this paper, we present and analyze methods for solving a system of linear equations over idempotent semifields. The first method is based on the pseudo-inverse of the system matrix. We then present a specific version of Cramer's rule…
This paper considers linear functional equations on $\mathbb R^d$ with distributed delays defined by matrix-valued measures of bounded variation. More precisely, we are interested in providing conditions to ensure that the exponential…
We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…
Given a semigroup $S$ generated by its squares, we determine the complex-valued solutions of the following system of cosine-sine functional equations \begin{align*} f(xy)=f(x)g_{1}(y)+g_{1}(x)f(y)+\lambda_{1}^{2}\,h(x)h(y),\; x,y\in S,\\…
We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-algebras. This allows us to remove separability assumptions from previous results on the…
In this paper, we study systems of nonlinear partial differential equations which describe surfaces of constant curvature. From the flatness condition of connection 1-forms, we present a classification of systems of Camassa-Holm-type…
This work gathers new results concerning the semi-geostrophic equations: existence and stability of measure valued solutions, existence and uniqueness of solutions under certain continuity conditions for the density, convergence to the…
We give an alternative and simpler method for getting pointwise estimate of meromorphic solutions of homogeneous linear differential equations with coefficients meromorphic in a finite disk or in the open plane originally obtained by Hayman…
The aim of this study is to investigate the precise form of finite-order entire solutions to the following system of Fermat-type partial differential-difference equations: \beas \begin{cases} \left(\frac{\partial f_1\left(z_1, z_2, \ldots,…
Let $(-\Delta)_c^s$ be the realization of the fractional Laplace operator on the space of continuous functions $C_0(\mathbb{R})$, and let $(-\Delta_h)^s$ denote the discrete fractional Laplacian on $C_0(\mathbb{Z}_h)$, where $0<s<1$ and…
Let $\Omega\subset\mathbb{R}^n$ be an open, connected subset of $\mathbb{R}^n$, and let $F\colon\Omega-\Omega\to\mathbb{C}$, where $\Omega-\Omega=\{x-y\colon x,y\in\Omega\}$, be a continuous positive definite function. We give necessary and…
A representation formula for solutions of stochastic partial differential equations with Dirichlet boundary conditions is proved. The scope of our setting is wide enough to cover the general situation when the backward characteristics that…
The Fueter-Sce-Qian mapping theorem is a two steps procedure to extend holomorphic functions of one complex variable to quaternionic or Clifford algebra-valued functions in the kernel of a suitable generalized Cauchy-Riemann operator. Using…
This article contains a new discussion for the generalized fractional Cauchy-type problem involving Hilfer-Katugampola-type fractional derivative. We study an existence and continuation of its solution. Firstly, we establish a new theorems…
Function graphs are graphs representable by intersections of continuous real-valued functions on the interval [0,1] and are known to be exactly the complements of comparability graphs. As such they are recognizable in polynomial time.…
The work considers a system of fractional order partial differential equations. The existence and uniqueness theorems for the classical solution of initial-boundary value problems are proved in two cases: 1) the right-hand side of the…
We extend the study of banana diagrams in coordinate representation to the case of curved space-times. If the space is harmonic, the Green functions continue to depend on a single variable -- the geodesic distance. But now this dependence…
We study the computational complexity of constrained nonnegative Gram feasibility. Given a partially specified symmetric matrix together with affine relations among selected entries, the problem asks whether there exists a nonnegative…
We study necessary conditions and sufficient conditions for the existence of local-in-time solutions of the Cauchy problem for superlinear fractional parabolic equations. Our conditions are sharp and clarify the relationship between the…