Related papers: Axiomatization of Compact Initial Value Problems: …
We formulate an initial boundary value problem (IBVP) for the vacuum Einstein equations by describing the boundary conditions of a spacetime metric in its associated gauge. This gauge is determined, equivariantly with respect to…
This paper proves that the equational theory of the class $RA_{\alpha}^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_{\alpha}^{cp}$, for finite $\alpha$. That is, substitutions of…
We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solving continuous initial value problems is Weihrauch equivalent…
This paper deals with Interior Point Methods (IPMs) for Optimal Control Problems (OCPs) with pure state and mixed constraints. This paper establishes a complete proof of convergence of IPMs for a general class of OCPs. Convergence results…
In a 1979 paper, K. Okamoto introduced the space of initial values for the six Painlev\'e equations and their associated Hamiltonian systems, showing that these define regular initial value problems at every point of an augmented phase…
We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…
We consider the problem of finding optimally stable polynomial approximations to the exponential for application to one-step integration of initial value ordinary and partial differential equations. The objective is to find the largest…
We introduce a concept of asymptotic principal values which enables us to handle rigorously singular integrals of higher-order poles encountered in the computation of various quantities based on correlation functions of a vacuum. Several…
In this work we propose a novel approach to investigate boundary value problems (BVPs) for fully third order differential equations. It is based on the reduction of BVPs to operator equations for the nonlinear terms but not for the…
Following the success of the so-called algebraic approach to the study of decision constraint satisfaction problems (CSPs), exact optimization of valued CSPs, and most recently promise CSPs, we propose an algebraic framework for valued…
In this paper, we prove weak elimination of imaginaries for perfect bounded pseudo-algebraically closed fields equipped with finitely many independent valuations. Our approach combines an extension result for types to invariant types with…
A Boolean constraint satisfaction instance is a conjunction of constraint applications, where the allowed constraints are drawn from a fixed set B of Boolean functions. We consider the problem of determining whether two given constraint…
We propose a systematic approach to the construction of invariant union of polytopes (IUP) in expanding piecewise affine mappings whose linear components are isotropic scalings. The approach relies on using empirical information embedded in…
In this paper we focus on the initial-boundary value problem of the 2-D isentropic Euler equations with damping. We prove the global-in-time existence of classical solution to the initial-boundary value problem by the method of energy…
An equational axiomatisation of probability functions for one-dimensional event spaces in the language of signed meadows is expanded with conditional values. Conditional values constitute a so-called signed vector meadow. In the presence of…
In this work we consider the initial value problem (IVP) associated to the Ostrovsky equations $$\left. \begin{array}{rl} u_t+\partial_x^3 u\pm \partial_x^{-1}u +u \partial_x u &\hspace{-2mm}=0,\qquad\qquad x\in\mathbb R,\; t\in\mathbb R,\\…
We introduce a family of implicit probabilistic integrators for initial value problems (IVPs), taking as a starting point the multistep Adams-Moulton method. The implicit construction allows for dynamic feedback from the forthcoming…
In this paper, we study a class of initial boundary value problem (IBVP) of the Korteweg- de Vries equation posed on a finite interval with nonhomogeneous boundary conditions. The IBVP is known to be locally well-posed, but its global $L^2…
Finite valued constraint satisfaction problems are a formalism for describing many natural optimization problems, where constraints on the values that variables can take come with rational weights and the aim is to find an assignment of…
In this work we consider the initial value problem (IVP) associated to the two dimensional Zakharov-Kuznetsov equation $$\left. \begin{array}{rl} u_t+\partial_x^3 u+\partial_x \partial_y^2 u +u \partial_x u &\hspace{-2mm}=0,\qquad\qquad…