Related papers: Series Crimes
Loop calculations involve the evaluation of divergent integrals. Usually [1] one computes them in a number of dimensions different than four where the integral is convergent and then one performs the analytical continuation and considers…
Given a real polynomial function and a point in its zero locus, we defined a set consisting of algebraic real Puiseux series naturally attached to these data. We prove that this set determines the topology and the geometry of the real…
Asymptotic approximations ($n \to \infty$) to the truncation errors $r_n = - \sum_{\nu=0}^{\infty} a_{\nu}$ of infinite series $\sum_{\nu=0}^{\infty} a_{\nu}$ for special functions are constructed by solving a system of linear equations.…
Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solution. If a certain regularity condition on the given AODE or…
With the prevalence of sensor failures, imputation, the process of estimating missing values, has emerged as the cornerstone of time series data pre-processing. While numerous imputation algorithms have been developed to repair these data…
Li\'{e}nard equations, $\ddot{x}+\epsilon f(x)\dot{x}+x=0$, with $f(x)$ an even continuous function are considered. In the weakly nonlinear regime ($\epsilon\to 0$), the number and an order zero in $\epsilon$ approximation of the amplitude…
We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…
Using geometric considerations, we provide a clear derivation of the integral representation for the error function, known as the Craig formula. We calculate the corresponding power series expansion and prove the convergence. The same…
Two new expansions for partial sums of Gauss' triangular and square numbers series are given. As a consequence, we derive a family of inequalities for the overpartition function $\bar{p}(n)$ and for the partition function $p_1(n)$ counting…
Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series…
We provide algorithms computing power series solutions of a large class of differential or $q$-differential equations or systems. Their number of arithmetic operations grows linearly with the precision, up to logarithmic terms.
In this paper, we extend our previous work on the power series method for computing backstepping kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstepping kernel computation. This…
Let $F\in \mathbb{K}[X, Y ]$ be a polynomial of total degree $D$ defined over a perfect field $\mathbb{K}$ of characteristic zero or greater than $D$. Assuming $F$ separable with respect to $Y$ , we provide an algorithm that computes the…
We apply a probabilistic approach to study the computational complexity of analog computers which solve linear programming problems. We analyze numerically various ensembles of linear programming problems and obtain, for each of these…
An abstract theory of Fourier series in locally convex topological vector spaces is developed. An analog of Fej\'{e}r's theorem is proved for these series. The theory is applied to distributional solutions of Cauchy-Riemann equations to…
Monte Carlo simulations are one of the major tools in statistical physics, complex system science, and other fields, and an increasing number of these simulations is run on distributed systems like clusters or grids. This raises the issue…
This is an anthology of series involving rational, factorial, and power functions expressed in terms of special functions. New finite expansions involving quotient functions expressed in terms of the Hurwitz-Lerch zeta function are given.…
The reciprocal of $e^{-x}$ has a power series about $0$ in which all coefficients are non-negative. Gessel [Reciprocals of exponential polynomials and permutation enumeration, Australas. J. Combin., 74, 2019] considered truncates of the…
Cauchy's condensation test allows to determine the convergence of a monotone series by looking at a weighted subseries that only involves terms of the original series indexed by the powers of two. It is natural to ask whether the converse…
Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that…