Related papers: Computability of Initial Value Problems
We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion ($\mathsf{ATR}_0$) from the point of view of computability-theoretic reducibilities, in particular Weihrauch…
Like many numerical methods, solvers for initial value problems (IVPs) on ordinary differential equations estimate an analytically intractable quantity, using the results of tractable computations as inputs. This structure is closely…
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…
A new numerical method for solving a scalar ordinary differential equation with a given initial condition is introduced. The method is using a numerical integration procedure for an equivalent integral equation and is called in this paper…
In this work, we study the initial boundary value problem for a non-strictly hyperbolic $2\times2$ system of equations in the quarter plane $x>0,t>0$ which is derived from Eulerian droplet model for air particle flow for velocity and volume…
The present paper continues the study of infinite dimensional calculus via regularization, started by C. Di Girolami and the second named author, introducing the notion of "weak Dirichlet process" in this context. Such a process $\X$,…
[REVISED VERSION] The aim of this paper is to state a sharp version of the K\"onig supremum theorem, an equivalent reformulation of the Hahn--Banach theorem. We apply it to derive statements of the Lagrange multipliers, Karush-Kuhn-Tucker…
The theory of finite term algebras provides a natural framework to describe the semantics of functional languages. The ability to efficiently reason about term algebras is essential to automate program analysis and verification for…
In this paper we prove the probabilistic continuous complexity conjecture. In continuous complexity theory, this states that the complexity of solving a continuous problem with probability approaching 1 converges (in this limit) to the…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
In the spirit of D. Hoff's weak solution theory for the compressible Navier-Stokes equations (CNS) with bounded density, in this paper we establish the global existence and regularity properties of finite-energy weak solutions to an initial…
We study the mathematical properties of a kinetic equation which describes the long time behaviour of solutions to the weak turbulence equation associated to the cubic nonlinear Schr\"odinger equation. In particular, we give a precise…
We establish existence and uniqueness of global, bounded weak solutions to quasilinear PDEs with bounded, uniformly continuous initial data and investigate their properties. Moreover, we establish existence of bounded weak solutions when…
In this paper we investigate the well-posedness of the Cauchy problem for a Schr\"odinger operator with singular lower order terms. We allow distributional coefficients and we approach this problem via the regularising methods at the core…
We consider Calder\'{o}n's inverse boundary value problems for a class of nonlinear Helmholtz Schr\"{o}dinger equations and Maxwell's equations in a bounded domain in $\R^n$. The main method is the higher-order linearization of the…
The initial value problem is well-defined on a class of spacetimes broader than the globally hyperbolic geometries for which existence and uniqueness theorems are traditionally proved. Simple examples are the time-nonorientable spacetimes…
The lambda calculus is a widely accepted computational model of higher-order functional pro- grams, yet there is not any direct and universally accepted cost model for it. As a consequence, the computational difficulty of reducing lambda…
Let $D$ be a bounded Lipschitz domain of $\mathbb{R}^d$. We consider the complement value problem $$ \left\{\begin{array}{l}(\Delta+a^{\alpha}\Delta^{\alpha/2}+b\cdot\nabla+c)u+f=0\ \ {\rm in}\ D,\\ u=g\ \ {\rm on}\ D^c.…
We consider a discrete version of the Witsenhausen problem where all random variables are bounded and take on integer values. Our main goal is to understand the complexity of computing good strategies given the distributions for the initial…
We consider the initial-boundary value problems on $\mathbb{R}^{+}\times \mathbb{R}^{+}$ for one-dimension systems of quasilinear wave equations with null conditions. We show that for homogeneous Dirichlet boundary values and sufficiently…