Related papers: Divergence and unique solution of equations
I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled…
This paper is devoted to the existence, uniqueness and comparison theorem on unbounded solutions of a scalar backward stochastic differential equation (BSDE) whose generator grows (with respect to both unknown variables $y$ and $z$) in a…
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The characterisation is not an axiomatisation, but is instead…
We produce a class of $\omega$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $\omega$-categorical structures in a possibly infinite signature. We…
Programs that combine I/O and countable probabilistic choice, modulo either bisimilarity or trace equivalence, can be seen as describing a probabilistic strategy. For well-founded programs, we might expect to axiomatize bisimilarity via a…
The first globally convergent numerical method is developed for a coefficient inverse problem (CIP) for the $n-$d, $n\geq 2$ wave equation with the unknown potential in the most challenging case when the $\delta -$ function is present in…
The well-known process algebras, such as CCS, ACP and $\pi$-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and $\pi_{tc}$ , capture…
The CSP (constraint satisfaction problems) is a class of problems deciding whether there exists a homomorphism from an instance relational structure to a target one. The CSP dichotomy is a profound result recently proved by Zhuk (2020, J.…
Existence of solutions to a $\Phi$-Laplacian singular system is obtained via shifting method and variational methods. A priori estimates are furnished through De Giorgi's technique, Talenti's rearrangement argument, and exploiting the weak…
In this work we prove the uniqueness of solutions to the nonlocal linear equation $L \varphi - c(x)\varphi = 0$ in $\mathbb{R}$, where $L$ is an elliptic integro-differential operator, in the presence of a positive solution or of an odd…
We apply symmetry and invariance methods to analyse systems of difference equations. Non trivial symmetries are derived and their exact solutions obtained.
The well-known process algebras, such as CCS, ACP and $\pi$-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and $\pi_{tc}$, capture the…
We establish two theorems that illustrate the uniqueness of inverse q-Sturm-Liouville problems based on a specified set of spectral data. The first uniqueness theorem employs the method of transformation operators to provide a q-analog of…
Constraint satisfaction problems (CSPs) for first-order reducts of finitely bounded homogeneous structures form a large class of computational problems that might exhibit a complexity dichotomy, P versus NP-complete. A powerful method to…
Many studies have been carried out in order to increase the search efficiency of constraint satisfaction problems; among them, some make use of structural properties of the constraint network; others take into account semantic properties of…
In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and…
In this paper, we draw on the ideas of [5] to extend the standard Serrin criterion [17] to an anisotropic version thereof. Because we work on weak solutions instead of strong ones, the functions involved have low regularity. Our method…
We study uniqueness of Dirichlet problems of second order divergence-form elliptic systems with transversally independent coefficients on the upper half-space in absence of regularity of solutions. To this end, we develop a substitute for…
The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum, from fine-grained equivalences such as strong bisimilarity…
By introducing a new classification of the growth rate of exponential functions, singular solutions for semilinear elliptic equations in 2-dimensions with exponential nonlinearities are constructed. The strategy is to introduce a model…