Related papers: On the Skolem Problem for Continuous Linear Dynami…
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized by arithmetic variables. The satisfiability problem is shown…
One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the…
A Dirichlet-type problem is studied for an equation of even order with variable coefficients. A criterion for the uniqueness of a solution is given. The solution is built in the form of a Fourier series. When justifying the convergence of…
In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…
First-order linear real arithmetic enriched with uninterpreted predicate symbols yields an interesting modeling language. However, satisfiability of such formulas is undecidable, even if we restrict the uninterpreted predicate symbols to…
The Fast Diffusion Equation (FDE) $u_t= \Delta u^m$, with $m\in (0,1)$, is an important model for singular nonlinear (density dependent) diffusive phenomena. Here, we focus on the Cauchy-Dirichlet problem posed on smooth bounded Euclidean…
A low frequency approximation of the discrete Sommerfeld diffraction problems, involving the scattering of a time harmonic lattice wave incident on square lattice by a discrete Dirichlet or a discrete Neumann half-plane, is investigated. It…
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…
We consider positive solutions of a fractional Lane-Emden type problem in a bounded domain with Dirichlet conditions. We show that uniqueness and nondegeneracy hold for the asymptotically linear problem in general domains. Furthermore, we…
We study linear systems of ordinary differential equations of an arbitrary order on a finite interval with the most general (generic) inhomogeneous boundary conditions in Sobolev spaces. We investigate the character of solvability of…
The Orbit Problem asks whether the orbit of a point under a matrix reaches a given target set. When the target is a single point, the problem was shown to be decidable in polynomial time by Kannan and Lipton. This decidability result was…
In this paper we study reachability verification problems of stochastic discrete-time dynamical systems over the infinite time horizon. The reachability verification of interest in this paper is to certify specified lower and upper bounds…
We study the quadratic regulator problem for linear control systems in Hilbert spaces, where the cost functional is in some sense unbounded. Our motivation comes from delay equations with the feedback part containing discrete delays or, in…
In this paper, we consider the problem of minimizing a linear functional subject to uncertain linear and bilinear matrix inequalities, which depend in a possibly nonlinear way on a vector of uncertain parameters. Motivated by recent results…
This paper deals with the controllability for a class of non-autonomous neutral differential equations of fractional order with infinite delay in an abstract space. The semi-group theory of bounded linear operators, fractional calculus, and…
It is developed the theory of the Dirichlet problem for harmonic functions. On this basis, for the nondegenerate Beltrami equations in the quasidisks and, in particular, in the smooth domains, it is proved the existence of regular solutions…
This paper considers linear rational expectations models in the frequency domain. The paper characterizes existence and uniqueness of solutions to particular as well as generic systems. The set of all solutions to a given system is shown to…
Various classes of stable finite difference schemes can be constructed to obtain a numerical solution. It is important to select among all stable schemes such a scheme that is optimal in terms of certain additional criteria. In this study,…
By means of a linear scaling of the variables we convert a singular bifurcation equation in $\R^n$ into an equivalent equation to which the classical implicit function theorem can be directly applied. This allows to deduce the existence of…
We deal with a weakly coupled system of ODEs of the type $$ x_j'' + n_j^2 \,x_j + h_j(x_1,\ldots,x_d) = p_j(t), \qquad j=1,\ldots,d, $$ with $h_j$ locally Lipschitz continuous and bounded, $p_j$ continuous and $2\pi$-periodic, $n_j \in…