Related papers: Series for $1/\pi$ Using Legendre's Relation
We describe here an experimental method that permits to compute a good candidate for the closed form of a generating function if we know the first few terms of a series. The method is based on integer relations algorithms and uses either…
We present a number of identities involving standard and associated Laguerre polynomials. They include double-, and triple-lacunary, ordinary and exponential generating functions of certain classes of Laguerre polynomials.
We study elliptic functions in quaternionic analysis, and prove some analogues of classical theorems from the complex case. The main result is a relation between the periods of closed differential 1-forms and 3-forms on H/L where L is a…
From Koornwinder's interpretation of big $q$-Legendre polynomials as spherical elements on the quantum $SU(2)$ group an addition formula is derived for the big $q$-Legendre polynomial. The formula involves Al-Salam--Carlitz polynomials,…
We formulate and prove a general recurrence relation that applies to integrals involving orthogonal polynomials and similar functions. A special case are connection coefficients between two sets of orthonormal polynomials, another example…
Power series in which the summand satisfies a linear recurrence relation with polynomial coefficients are shown to be the solution of a linear differential or algebraic equation. Solving the associated differential or algebraic equation…
Index transforms with the product of the associated Legendre functions are introduced. Mapping properties are investigated in the Lebesgue spaces. Inversion formulas are proved. The results are applied to solve a boundary value problem in a…
In this paper, we study non-linear differential equations associated with Legendre polynomials and their applications. From our study of non- linear differential equations, we derive some new and explicit identities for Legendre…
Differential graded algebra invariants are constructed for Legendrian links in the 1-jet space of the circle. In parallel to the theory for R^3, Poincare-Chekanov polynomials and characteristic algebras can be associated to such links. The…
We use Serre--Tate expansions of modular forms to construct power series attached to quaternionic ordinary families of modular forms. We associate to these power series a big $p$-adic $L$-function interpolating the $p$-adic $L$-functions…
We prove that every multiplier sequence for the Legendre basis which can be interpolated by a polynomial has the form $\{h(k^2+k)\}_{k=0}^{\infty}$, where $h\in\mathbb{R}[x]$. We also prove that a non-trivial collection of polynomials of a…
In this work, we consider the properties of the two-term Machin-like formula and develop an algorithm for computing digits of $\pi$ by using its rational approximation. In this approximation, both terms are constructed by using a…
Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/\pi$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle…
We derive and discuss a technique for manipulating power series which is complementary to standard procedures. We begin with the translation operator, but we express the operator as an infinite product instead of expanding it as a series…
We construct a class of multiple Legendre polynomials and prove that they satisfy an Ap\'ery-like recurrence. We give new upper bounds of the approximation measures of logarithms of rational numbers by algebraic numbers of bounded degree.…
The category of contexts underlying a model of Martin-L\"of type theory with Unit-, $\Sigma$-, and $\Pi$-types need not be locally Cartesian closed, but is necessarily a $\pi$-clan. We exploit this $\pi$-clan structure to build the theory…
In this article we use theoretical and numerical methods to evaluate in a closed-exact form the parameters of Ramanujan type $1/\pi$ formulas.
By using computers to do experimental manipulations on Fourier series, we construct additional series with interesting properties. We construct several series whose sums remain unchanged when the $n^{th}$ term is multiplied by $\sin(n)/n$.…
Using a simple Vi\`ete-like formula for $\pi$ based on the nested radicals $a_k = \sqrt{2 + a_{k-1}}$ and $a_1 = \sqrt{2}$, we derive a set of the recurrence relations for the constant $1$. Computational test shows that application of this…
Most of the special functions of mathematical physics are connected with the representation of Lie groups. The action of elements $D$ of the associated Lie algebras as linear differential operators gives relations among the functions in a…