Related papers: Computability of Initial Value Problems

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

In this paper, we investigate the long-time asymptotic behavior of the solution to the initial value problem for the modified Camassa-Holm (mCH) equation with cubic nonlinearity. The equation is known to be integrable, which we mean it…

We investigate an initial-(periodic-)boundary value problem for a continuum equation, which is a model for motion of grain boundaries based on the underlying microscopic mechanisms of line defects (disconnections) and integrated the effects…

This work is devoted to the study of the initial boundary value problem for a general isothermal model of capillary fluids derived by J.E Dunn and J.Serrin (1985), which can be used as a phase transition model. We will prove the existence…

We consider non-linear Schr\"odinger equations with a potential, and non-local non-linearities, that are models in mesoscopic physics, for example of a quantum capacitor, and that also are models of molecular structure. We study in detail…

We prove the global strong solvability of a quasilinear initial-boundary value problem with fractional time derivative of order less than one. Such problems arise in mathematical physics in the context of anomalous diffusion and the…

We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood, we say that a…

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…

This paper argues that the requirement of applicableness of quantum linearity to any physical level from molecules and atoms to the level of macroscopic extensional world, which leads to a main foundational problem in quantum theory…

We deal with the problem, initiated in [8], of finding randomized and quantum complexity of initial-value problems. We showed in [8] that a speed-up in both settings over the worst-case deterministic complexity is possible. In the present…

We consider the unsteady problem for the general planar Broadwell model with four velocities in a rectangular spatial domain over a finite time interval. We impose a class of non-negative initial and Dirichlet boundary data that are bounded…

We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…

This paper can be seen as an attempt of rethinking the {\em Extra-Gradient Philosophy} for solving Variational Inequality Problems. We show that the properly defined {\em Reduced Gradients} can be used instead for finding approximate…

In this manuscript we consider an isotropic modification for the Landau equation with Coulomb potential in three space dimensions. Global in time existence of weak solutions for even initial data is shown by employing a time…

We consider the 2-d isentropic compressible Euler equations. It was shown in by E. Chiodaroli, C. De Lellis and O. Kreml that there exist Riemann initial data as well as Lipschitz initial data for which there exist infinitely many weak…

We consider the (barotropic) Euler system describing the motion of a compressible inviscid fluid driven by a stochastic forcing. Adapting the method of convex integration we show that the initial value problem is ill-posed in the class of…

We investigate the qualitative properties of the weak solutions to the boundary value problems for the hyperbolic fourth-order linear equations with constant coefficients in the plane bounded domain convex with respect to characteristics.…

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…

In this paper, we derive a strong convergence rate of spatial finite difference approximations for both focusing and defocusing stochastic cubic Schr\"odinger equations driven by a multiplicative $Q$-Wiener process. Beyond the uniform…

In this paper we develop the theory of initial and boundary value problems for the self-adjoint nabla fractional difference equation containing a Caputo fractional nabla difference that is given by \[ \nabla[p(t+1)\nabla_{a*}^\nu x(t+1)] +…