Related papers: Single-exponential bounds for diagonals of D-finit…
In this note, we give a remark on the proof of Lemma 3 in Lipshitz's paper "The diagonal of a D-Finite power series is D-Finite". This remark is motivated by the observation that the statement from line -8 to -3 on page 375 of that paper…
There are many viewpoints on algebraic power series, ranging from the abstract ring-theoretic notion of Henselization to the very explicit perspective as diagonals of certain rational functions. To be more explicit on the latter, Denef and…
Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it…
It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or…
Linear differential equations and recurrences reveal many properties about their solutions. Therefore, these equations are well-suited for representing solutions and computing with special functions. We identify a large class of existing…
D-finite functions and P-recursive sequences are defined in terms of linear differential and recurrence equations with polynomial coefficients. In this paper, we introduce a class of numbers closely related to D-finite functions and…
We prove that for an open domain $D \subset \mathbb{R}^d $ with $d \geq 2 $ , for every (measurable) uniformly elliptic tensor field $a$ and for almost every point $y \in D$ , there exists a unique Green's function centred in $ y $…
We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gr\"obner bases for finitely…
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential…
We construct the existence theory for generalized fractional Bessel differential equations and find the solutions in the form of fractional or logarithmic fractional power series. We figure out the cases when the series solution is unique,…
It is a classical fact that domains of convergence of power series of several complex variables are characterized as logarithmically convex complete Reinhardt domains; let $D \subsetneq \mathbb{C}^N$ be such a domain. We show that a…
We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also…
The diagonal of a multivariate power series F is the univariate power series Diag(F) generated by the diagonal terms of F. Diagonals form an important class of power series; they occur frequently in number theory, theoretical physics and…
We define discrete generating series for arbitrary functions \( f \colon \mathbb{Z}^n \rightarrow \mathbb{C} \) and derive functional relations that these series satisfy. For linear difference equations with constant coefficients, we…
The work considers a system of fractional order partial differential equations. The existence and uniqueness theorems for the classical solution of initial-boundary value problems are proved in two cases: 1) the right-hand side of the…
This work is about global H\"older regularity for solutions to elliptic partial differential equations subject to mixed boundary conditions on irregular domains. There are two main results. In the first, we show that if the domain of the…
We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.
In 1984, Deligne proved that for any prime number $p$, the reduction modulo $p$ of the diagonal of a multivariate algebraic power series with integer coefficients is algebraic over the field of rational functions with coefficients in…
Assuming Schanuel's conjecture, we prove that any polynomial exponential equation in one variable must have a solution that is transcendental over a given finitely generated field. With the help of some recent results in Diophantine…
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning…