Related papers: Axiomatization of Compact Initial Value Problems: …
In this paper, we study initial value problems for a class of functional equations. We introduce the concept of appropriate initial sets to enable the unique extension of an initial function into a solution defined over larger domains. Our…
An initial-value problem for an ordinary differential equation of the first order, is considered. It is supposed that the right-hand side of the equation is a continuous function defined on a set consisting of an open set and a part of its…
We show how to prescribe the initial data of a characteristic problem satisfying the costraints, the smallness, the regularity and the asymptotic decay suitable to prove a global existence result. In this paper, the first of two, we show in…
We study initial-boundary value problems for linear evolution equations of arbitrary spatial order, subject to arbitrary linear boundary conditions and posed on a rectangular 1-space, 1-time domain. We give a new characterisation of the…
An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite…
In this work, we investigate the IVP for a time-fractional fourth-order equation with nonlinear source terms. More specifically, we consider the time-fractional biharmonic with exponential nonlinearity and the time-fractional Cahn-Hilliard…
We examine the analytic extension of solutions of linear, constant-coefficient initial-boundary value problems outside their spatial domain of definition. We use the Unified Transform Method or Method of Fokas, which gives a representation…
The initial-boundary value problems for linear non-autonomous first order evolution equations are examined. Our assumptions provide a unified treatment which is applicable to many situations, where the domains of the operators may change…
In this paper we study the approximability of (Finite-)Valued Constraint Satisfaction Problems (VCSPs) with a fixed finite constraint language {\Gamma} consisting of finitary functions on a fixed finite domain. An instance of VCSP is given…
An algebraic approach is presented for the valuative interpolation problem, which recovers and generalizes prior characterizations known in the complex analytic setting by the authors. We use the asymptotic Samuel function to give the…
This paper is concerned with initial-boundary-value problems (IBVPs) for a class of nonlinear Schr\"odinger equations posed either on a half line $\mathbb{R}^+$ or on a bounded interval $(0, L)$ with nonhomogeneous boundary conditions. For…
Valued constraint satisfaction problems (VCSPs) constitute a large class of computational optimization problems. It was shown recently that, over finite domains, every VCSP is in P or NP-complete, depending on the admitted cost functions.…
In this paper we consider the initial value problem for a family of shallow water equations on the line $\R$ with various asymptotic conditions at infinity. In particular we construct solutions with prescribed asymptotic expansion as…
We consider the first-order autonomous ordinary differential equation \[ \mathbf{x}' = \mathbf{f}(\mathbf{x}), \] where $\mathbf{f} : \mathbb{R}^n \to \mathbb{R}^n$ is locally Lipschitz. For a box $B_0 \subseteq \mathbb{R}^n$ and $h > 0$,…
This note aims at providing a rather informal and hopefully accessible overview of the fairly long and technical work [4]. In that paper, the authors established new global-in-time existence results for admissible solutions of nonlinear…
We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the…
We are concerned with three types of uncertainties: probabilistic, possibilitistic and interval. By using possibility and necessity measures as an Interval Valued Probability Measure (IVPM), we present IVPM's interval expected values whose…
We study methods for transforming valued constraint satisfaction problems (VCSPs) to binary VCSPs. First, we show that the standard dual encoding preserves many aspects of the algebraic properties that capture the computational complexity…
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…
The paper studies coincidence points of parameterized set-valued mappings (multifunctions), which provide an extended framework to cover several important topics in variational analysis and optimization that include the existence of…