Related papers: Computability of Initial Value Problems

A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f:[0,1]->R is computable relative to…

This paper addresses the weak-strong uniqueness property and singular limit for the compressible Primitive Equations (PE). We show that a weak solution coincides with the strong solution emanating from the same initial data. On the other…

In this paper, we study the initial value problem of a Boltzmann type equation with a nonlinear degenerate damping. We prove the existence of global weak solutions with large initial data, in three dimensional space. We rely on a variant…

We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the…

We consider the initial value problem for the inviscid Primitive and Boussinesq equations in three spatial dimensions. We recast both systems as an abstract Euler-type system and apply the methods of convex integration of De Lellis and…

Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computations}. A logic for convergent infinite computations is…

We consider the Cauchy problem for the spatially inhomogeneous Landau equation with soft potentials in the case of large (i.e. non-perturbative) initial data. We construct a solution for any bounded, measurable initial data with uniform…

We consider the isentropic Euler equations of gas dynamics in the whole two-dimensional space and we prove the existence of a $C^\infty$ initial datum which admits infinitely many bounded admissible weak solutions. Taking advantage of the…

In order to solve an initial value problem by the variational iteration method, a sequence of functions is produced which converges to the solution under some suitable conditions. In the nonlinear case, after a few iterations the terms of…

In this paper, we investigate the well-posedness and the long-time asymptotic behavior for the initial-boundary value problem for multi-term time-fractional diffusion equations, where the time differentiation consists of a finite summation…

In this article we consider the initial value problem of the binormal flow with initial data given by curves that are regular except at one point where they have a corner. We prove that under suitable conditions on the initial data a unique…

Computational complexity is a particularly important objective. The idea of Landauer principle was extended through mapping three classic problems (sorting,ordered searching and max of N unordered numbers) into Maxwell demon thought…

Matthias Schr\"oder has asked the question whether there is a weakest discontinuous problem in the continuous version of the Weihrauch lattice. Such a problem can be considered as the weakest unsolvable problem. We introduce the…

We establish a weak-strong uniqueness result for the isentropic compressible Euler equations, that is: As long as a sufficiently regular solution exists, all energy-admissible weak solutions with the same initial data coincide with it. The…

We prove boundedness and regularity estimates for weak solutions to a class of linear nonlocal equations involving integro-differential operators with almost no order of differentiability. In particular, we show that bounded weak solutions…

Computation with advice is suggested as generalization of both computation with discrete advice and Type-2 Nondeterminism. Several embodiments of the generic concept are discussed, and the close connection to Weihrauch reducibility is…

The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant…

This work investigates a new approach to find closed form analytical approximate solution of linear initial value problems. Classical Bernoulli polynomials have been used to derive a finite set of orthonormal polynomials and a finite…

In this paper, we develop a universal, conceptually simple and systematic method to prove well-posedness to Cauchy problems for weak solutions of parabolic equations with non-smooth, time-dependent, elliptic part having a variational…

In this paper we prove that computing the solution of an initial-value problem $\dot{y}=p(y)$ with initial condition $y(t_0)=y_0\in\R^d$ at time $t_0+T$ with precision $e^{-\mu}$ where $p$ is a vector of polynomials can be done in time…