All Questions
Tagged with experimental-mathematics sequences-and-series
7 questions
25
votes
1
answer
744
views
"Harmonacci" recurrence and identities for $\pi$
While playing with something totally irrelevant I stumbled upon the recurrence:
$$a_{n+1} = \frac{1}{a_n} + a_{n-1}$$
It turns out that given $a_0 = 1, a_1 = 1$,
$$lim \frac{a_{2n}}{a_{2n-1}} = \...
- 353
15
votes
3
answers
1k
views
Does anyone remember what happened to the experimental search for polynomial identities for $\pi$?
So a while back I was on the internet and had encountered a website containing an experimental search for identities for $\pi$. My memory was that the page belonged to either Jonathan Sondow or ...
- 2,689
10
votes
5
answers
1k
views
What is the theoretical interest of finding closed-form solutions of infinite series?
I was reading this when I came across Gourevitch's conjecture.
My understanding is that solutions to these series are of practical interest. If one encounters such a series, being able to solve it ...
- 217
7
votes
0
answers
429
views
Dynamics of a curious bijection of $\mathbb N$
The two sequences A48680 and A48679 of the OEIS define two mutually inverse bijections on the set of all strictly positive natural numbers given (for the comfort of the reader) as follows:
Given an ...
- 17.9k
2
votes
2
answers
655
views
Expansion of inverse logarithmic integral in terms of lambert w
Cipolla and Césaro both gave expansions of $\operatorname{li}^{-1}$ in tems of nested $\log$ functions. I think it can be written in terms of the Lambert-W function in the form:
$\operatorname{li}^{-...
- 1,903
2
votes
0
answers
85
views
Curious sequences associated to continuous fractions
Given a strictly positive initial rational number $x_0$ in $\mathbb Q_>$
we define a sequence $x_0,x_1,\ldots$ recursively by
setting $x_{n+1}=x_n+1/S(x_n)$
for $S(x)=a_0+a_1+\ldots+a_k$
where $[...
- 17.9k
1
vote
1
answer
427
views
When does this limiting ratio give a real root $x$ to the equation of the form $\sum\limits_{k=0}^d \frac{x^k a_{k+1}}{k!}=0$?
By searching the Inverse Symbolic Calculator, we appear to be able to make the following conjecture about a real root to the equation:
$$\sum\limits_{k=0}^d \frac{x^k a_{k+1}}{k!}=0 \tag{1}$$
Let the ...
- 1,183