Questions tagged [recurrence-relations]

Questions regarding functions defined recursively, such as the Fibonacci sequence.

A recurrence relation is an equation that recursively defines a sequence or multidimensional array of values: once one or more initial terms are given, each further term of the sequence or array is defined as a function of the preceding terms.

Simple examples include the geometric sequence $a_{n}=r a_{n-1}$, which has the closed-form $a_{n}=r^n a_0$, the aforementioned Fibonacci sequence with initial conditions $f_0=0,f_1=1$ and recurrence $f_{n+2}=f_{n+1}+f_n$, and series: the sequence $S_n =\sum_{k=1}^{n} a_k$ can be written as $S_n= S_{n-1}+a_n$.

The term order is often used to describe the number of prior terms used to calculate the next one; for instance, the Fibonacci sequence is of order 2.

See the Wikipedia page for more information.

9306 questions
108
votes
3 answers

How prove this nice limit $\lim\limits_{n\to\infty}\frac{a_{n}}{n}=\frac{12}{\log{432}}$

Nice problem: Let $a_{0}=1$ and $$a_{n}=a_{\left\lfloor n/2\right\rfloor}+a_{\left\lfloor n/3 \right\rfloor}+a_{\left\lfloor n/6\right\rfloor}.$$ Show that $$\lim_{n\to\infty}\dfrac{a_{n}}{n}=\dfrac{12}{\log{432}},$$ where $\lfloor x \rfloor$ is…
math110
  • 94,932
  • 17
  • 148
  • 519
104
votes
13 answers

Limit of sequence in which each term is defined by the average of preceding two terms

We have a sequence of numbers $x_n$ determined by the equality $$x_n = \frac{x_{n-1} + x_{n-2}}{2}$$ The first and zeroth term are $x_1$ and $x_0$.The following limit must be expressed in terms of $x_0$ and $x_1$ $$\lim_{n\rightarrow\infty} x_n…
70
votes
1 answer

Is $a_0=2$, $a_1=a_2=a_3=1$, $a_n=\frac{(a_{n-1}+a_{n-2})(a_{n-2}+a_{n-3})}{a_{n-4}}$ (OEIS A248049) an integer sequence?

The OEIS sequence A248049 defined by $$ a_n \!=\! \frac{(a_{n-1}\!+\!a_{n-2})(a_{n-2}\!+\!a_{n-3})}{a_{n-4}} \;\text{with }\; a_0\!=\!2, a_1\!=\!a_2\!=\!a_3\!=\!1 $$ is apparently an integer sequence but I have no proofs. I have numerical evidence…
69
votes
1 answer

How to prove this recurrence relation for generalized "rounding up to $\pi$"?

The webpage Rounding Up To $\pi$ defines a certain "rounding up" function by an extremely simple procedure: Beginning with any positive integer $n$, round up to the nearest multiple of $n-1$, then up to the nearest multiple of $n-2$, and so on, up…
60
votes
2 answers

Mirror algorithm for computing $\pi$ and $e$ - does it hint on some connection between them?

Benoit Cloitre offered two 'mirror sequences', which allow to compute $\pi$ and $e$ in similar ways: $$u_{n+2}=u_{n+1}+\frac{u_n}{n}$$ $$v_{n+2}=\frac{v_{n+1}}{n}+v_{n}$$ $$u_1=v_1=0$$ $$u_2=v_2=1$$ $$\lim_{n \to \infty}…
57
votes
1 answer

How many values of $2^{2^{2^{.^{.^{.^{2}}}}}}$ depending on parenthesis?

Suppose we have a power tower consisting of $2$ occurring $n$ times: $$\huge2^{2^{2^{.^{.^{.^{2}}}}}}$$ How many values can we generate by placing any number of parenthesis? It is fairly simple for the first few values of $n$: There is $1$ value…
51
votes
7 answers

A stronger version of discrete "Liouville's theorem"

If a function $f : \mathbb Z\times \mathbb Z \rightarrow \mathbb{R}^{+} $ satisfies the following condition $$\forall x, y \in \mathbb{Z}, f(x,y) = \dfrac{f(x + 1, y)+f(x, y + 1) + f(x - 1, y) +f(x, y - 1)}{4}$$ then is $f$ constant function?
48
votes
5 answers

Links between difference and differential equations?

Does there exist any correspondence between difference equations and differential equations? In particular, can one cast some classes of ODEs into difference equations or vice versa?
47
votes
6 answers

How much weight is on each person in a human pyramid?

After participating in a human pyramid and learning that it's very uncomfortable to have a lot of weight on your back, I figured I'd try to write out a recurrence relation for the total amount of weight on each person in the pyramid so that I could…
47
votes
1 answer

Finding the sum- $x+x^{2}+x^{4}+x^{8}+x^{16}\cdots$

If $S = x+x^{2}+x^{4}+x^{8}+x^{16}\cdots$ Find S. Note:This is not a GP series.The powers are in GP. My Attempts so far: 1)If $S(x)=x+x^{2}+x^{4}+x^{8}+x^{16}\cdots$ Then $$S(x)-S(x^{2})=x$$ 2)I tried finding $S^{2}$ and higher powers of S to find…
46
votes
5 answers

The monster continued fraction

My title may have come off as informal or nonspecific. But, in fact, my title could not be more specific. Define a sequence with initial term: $$S_0=1+\frac{1}{1+\frac{1}{1+\frac1{\ddots}}}$$ It is well-known that $S_0=\frac{1+\sqrt{5}}{2}$. I do…
45
votes
4 answers

Solving recurrence relation in 2 variables

We already know how to solve a homogeneous recurrence relation in one variable using characteristic equation. Does a similar technique exists for solving a homogeneous recurrence relation in 2 variables. More formally, How can we solve a homogeneous…
gibraltar
  • 709
  • 1
  • 6
  • 11
44
votes
4 answers

Does $(n+1)(n-2)x_{n+1}=n(n^2-n-1)x_n-(n-1)^3x_{n-1}$ with $x_2=x_3=1$ define a sequence that is integral at prime indices?

My son gave me the following recurrence formula for $x_n$ ($n\ge2$): $$(n+1)(n-2)x_{n+1}=n(n^2-n-1)x_n-(n-1)^3x_{n-1}\tag{1}$$ $$x_2=x_3=1$$ The task I got from him: The sequence has an interesting property, find it out. Make a conjecture and…
44
votes
3 answers

This one weird thing that bugs me about summation and the like

Most of us know $$\sum_{n=a}^b c_n=c_a+c_{a+1}...+c_{b-1}+c_b$$ Some of us know $$\prod_{n=a}^b c_n=c_a \cdot c_{a+1}...c_{b-1} \cdot c_{b}$$ A few of us know $$\underset{j=a}{\overset{b}{\LARGE\mathrm…
42
votes
1 answer

Investigating the recurrence relation $x_{n+1}=\frac{x_{n}+x_{n-1}}{(x_{n},\,x_{n-1})}+1$

Let $x_{n} \in \mathbb Z$ be the $n$-th term of the recurrence relation $$ x_{n+1} = \frac{x_{n} + x_{n-1}}{(x_{n},x_{n-1})} + 1$$ where $(x_{n},x_{n-1})$ is the gcd of $x_{n}$ and $x_{n-1}$. Some examples: $1, 1, 3, 5, 9, 15, 9, 9, 3, 5, 9,…
1
2 3
99 100