Related papers: Axiomatization of Compact Initial Value Problems: …
This paper introduces, up to the author's knowledge, for the first time the generalized initial value problem. In this problem, given an ordinary differential equation defined in some set, the initial conditions are mapped to a subset of…
We prove the completeness of an axiomatization for differential equation invariants. First, we show that the differential equation axioms in differential dynamic logic are complete for all algebraic invariants. Our proof exploits…
We formulate the initial value problem for causal variational principles in the continuous setting on a compact metric space. The existence and uniqueness of solutions is analyzed. The results are illustrated by simple examples.
A first-order ordinary differential equation, solved with respect to derivative, is considered. It's right-hand side is defined and continuous on the set, consisting of a connected open subset of a two-dimensional Euclidean space and a part…
Motivated by the fact that both the classical and quantum description of nature rest on causality and a variational principle, we develop a novel and highly versatile discretization prescription for classical initial value problems (IVPs).…
We derive explicit solution representations for linear, dissipative, second-order Initial-Boundary Value Problems (IBVPs) with coefficients that are spatially varying, with linear, constant-coefficient, two-point boundary conditions. We…
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…
The paper is concerned with the computational complexity of the initial value problem (IVP) for a system of ordinary dynamical equations. Formal problem statement is given, containing a Turing machine with an oracle for getting the initial…
This article proves the completeness of an axiomatization for differential equation invariants described by Noetherian functions. First, the differential equation axioms of differential dynamic logic are shown to be complete for reasoning…
Given an $A$-stable rational approximation to $e^z$ of order $p$, numerical procedures are suggested to time integrate abstract, well-posed IBVPs, with time-dependent source term $f$ and boundary value $g$. These procedures exhibit the…
In this contribution we present recent developments in the formulation and solution of Initial Boundary Value Problems (IBVPs). Building upon a modern variational action formulation of classical dynamics, we treat Initial Boundary Value…
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…
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…
We study the complexity of the valued constraint satisfaction problem (VCSP) for every valued structure with the domain ${\mathbb Q}$ that is preserved by all order-preserving bijections. Such VCSPs will be called temporal, in analogy to…
We analyze the Cauchy problem for the vacuum Einstein equations with data on a complete light-cone in an asymptotically Minkowskian space-time. We provide conditions on the free initial data which guarantee existence of global solutions of…
We consider the problem of recovering of initial data in the IBVP for the wave-type equation in the half-space by the solution restricted to the boundary. The singular value decomposition of this problem is concerned: the asymptotics of…
We consider the first order autonomous differential equation (ODE) ${\bf x}'={\bf f}({\bf x})$ where ${\bf f}: {\mathbb R}^n\to{\mathbb R}^n$ is locally Lipschitz. For ${\bf x}_0\in{\mathbb R}^n$ and $h>0$, the initial value problem (IVP)…
The form of the initial value constraints in Ashtekar's hamiltonian formulation of general relativity is recalled, and the problem of solving them is compared with that in the traditional metric variables. It is shown how the general…
In this work, we present a numerical method for the initial-boundary value problem (IBVP) of first-order hyperbolic systems with source terms. The scheme directly solves the relaxation system using a relatively coarse mesh and captures the…
This article proposes a bivariate polynomial problem for finite-order real matrices that endows a \textit{`sufficient condition'} for a map from the standard vector spaces of finite-order real matrices to the same dimensional bivariate…