Related papers: Spaces of functions satisfying simple differential…
In answer to Ko's question raised in 1983, we show that an initial value problem given by a polynomial-time computable, Lipschitz continuous function can have a polynomial-space complete solution. The key insight is simple: the Lipschitz…
We show that any differential operator of the form $L(y)=\sum_{k=0}^{k=N} a_{k}(x) y^{(k)}$, where $a_k$ is a real polynomial of degree $\leq k$, has all real eigenvalues in the space of polynomials of degree at most n, for all n. The…
We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field…
Integration operational matrix methods based on Zernike polynomials are used to determine approximate solutions of a class of non-homogeneous partial differential equations (PDEs) of first and second order. Due to the nature of the Zernike…
We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class $\operatorname{PTIME}$ of languages computable in polynomial time in terms of differential…
We discuss computational procedures based on descriptor state-space realizations to compute proper range space bases of rational matrices. The main computation is the orthogonal reduction of the system matrix pencil to a special…
We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…
In the study of partial differential equations (PDEs) with random initial data and singular stochastic PDEs with random forcing, we typically decompose a classically ill-defined solution map into two steps, where, in the first step, we use…
A rational homogeneous (of degree one) positive real matrix-valued function is presented as the Schur complement of a block of the linear pencil with positive semidefinite matrix coefficients. The partial derivative numerators of a rational…
Linear homogeneous recurrence equations with polynomial coefficients are said to be holonomic. Such equations have been introduced in the last century for proving and discovering combinatorial and hypergeometric identities. Given a field K…
We discuss ordinary differential equations with delay and memory terms in Hilbert spaces. By introducing a time derivative as a normal operator in an appropriate Hilbert space, we develop a new approach to a solution theory covering…
This paper is devoted to studying the first-order variational analysis of non-convex and non-differentiable functions that may not be subdifferentially regular. To achieve this goal, we entirely rely on two concepts of directional…
Let $k$ be a natural number and $s$ be real. In the 1-dimensional case, the $k$-th order derivatives of the functions $\lvert x\rvert^s$ and $\log \lvert x\rvert$ are multiples of $\lvert x\rvert^{s-k}$ and $\lvert x\rvert^{-k}$,…
This article describes the REDUCE package ZEILBERG implemented by Gregor St\"olting and the author. The REDUCE package ZEILBERG is a careful implementation of the Gosper and Zeilberger algorithms for indefinite, and definite summation of…
Probabilistic solvers for ordinary differential equations (ODEs) have emerged as an efficient framework for uncertainty quantification and inference on dynamical systems. In this work, we explain the mathematical assumptions and detailed…
The aim of the paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral analysis in a translation invariant closed linear subspace of additive/multiadditive functions containing the…
Consider a sequence of real-valued functions of a real variable given by a homogeneous linear recursion with differentiable coefficients. We show that if the functions in the sequence are differentiable, then the sequence of derivatives…
We establish existence, uniqueness, and Sobolev and H\"older regularity results for the stochastic partial differential equation $$ du=\left(\sum_{i,j=1}^d a^{ij}u_{x^ix^j}+f^0+\sum_{i=1}^d f^i_{x^i}\right)dt+\sum_{k=1}^{\infty}g^kdw^k_t,…
We define fractional derivatives $\pppa$ in Sobolev spaces based on $L^p(0,T)$ by an operator theory, and characterize the domain of $\pppa$ in subspaces of the Sobolev-Slobodecki spaces $W^{\alpha,p}(0,T)$. Moreover we define $\pppa u$ for…
We show that when we formulate the lattice Boltzmann equation with a small time step $\Delta$t and an associated space scale $\Delta$x, a Taylor expansion joined with the so-called equivalent equation methodology leads to establish…