Related papers: Axiomatization of Compact Initial Value Problems: …
In this work we study some regularity properties associated to the initial value problem (IVP) \begin{equation}\label{main1} \left\{ \begin{array}{ll} \partial_{t}u-\partial_{x_{1}}(-\Delta)^{\alpha/2} u+u\partial_{x_{1}}u=0, \quad 0<…
Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for quantifier-free…
In the current paper, we derive the comparison results for the homogeneous and non-homogeneous linear initial value problem (IVP) for $\Psi$-Hilfer fractional differential equations. In the presence of upper and lower solutions, the…
We discuss relations between the initial boundary value problem (IBVP) and quasi-local Hamiltonians in GR. The latter have traditionally been based on Dirichlet boundary conditions, which however are shown here to be ill-posed for the IBVP.…
We consider three special cases of the initial value problem of the first Painlev\'e equation (PI). Our approach is based on the method of uniform asymptotics introduced by Bassom, Clarkson, Law and McLeod. A rigorous proof of a property of…
We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some sequences of variables ($X_0,\ X_1,\ X_2,\dots$) with a…
The paper is concerned with the mathematical theory and numerical approximation of systems of partial differential equations (pde) of hyperbolic, pseudo-parabolic type. Some mathematical properties of the initial-boundary-value problem…
We study a mixed initial-boundary value problem for the Navier-Stokes equations, where the Dirichlet, Neumann and slip boundary conditions are prescribed on the faces of a three-dimensional polyhedral domain. We prove the existence,…
For a surjective self-morphism on a projective variety defined over a number field, we study the preimages question, which asks if the set of rational points on the iterated preimages of an invariant closed subscheme eventually stabilize.…
We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing…
In this work we give an efficient method involving symbolic manipulation, Picard iteration, and auxiliary variables for approximating solutions of two-point boundary value problems.
Visual representations are defined in terms of minimal sufficient statistics of visual data, for a class of tasks, that are also invariant to nuisance variability. Minimal sufficiency guarantees that we can store a representation in lieu of…
We examine the notion of inconsistency in pairwise comparisons and propose an axiomatization which is independent of any method of approximation or the inconsistency indicator definition (e.g., Analytic Hierarchy Process, AHP). It has been…
We present the notion of asymptotically non-terminating initial variable values for linear loop programs. Those values are directly associated to initial variable values for which the corresponding program does not terminate. Our…
We prove a sufficient condition for the existence of explicit first integrals for vector fields which admit an integrating factor. This theorem recovers and extends previous results in the literature on the integrability of vector fields…
A new method for the optimal solutions is proposed. Originating from the continuous-time dynamics stability theory in the control field, the optimal solution is anticipated to be obtained in an asymptotically evolving way. By introducing a…
We establish well-posedness of initial-boundary value problems for continuity equations with BV (bounded total variation) coefficients. We do not prescribe any condition on the orientation of the coefficients at the boundary of the domain.…
We consider compact finite-difference schemes of the 4th approximation order for an initial-boundary value problem (IBVP) for the $n$-dimensional non-homogeneous wave equation, $n\geq 1$. Their construction is accomplished by both the…
Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…
A unified general approach is presented for construction of solutions of the characteristic initial value problems for various integrable hyperbolic reductions of Einstein's equations for space-times with two commuting isometries in General…