1
$\begingroup$

is it possible to find general solution of the recurrence relation such as

$a_{n}=a_{n-1}+A\centerdot \cos(a_{n-1})$

where $a_{0}=0$ and $A \ll 1$

EDIT: At least for

$a_{n}=a_{n-1}+A - \frac{A}{2!}\centerdot a^2_{n-1} + \frac{A}{4!}\centerdot a^4_{n-1}$

where cosine is expanded with Taylor Series with 3 terms

  • 0
    I'd be surprised.2012-04-10
  • 0
    Hi, @joriki so it is not possible?2012-04-10
  • 2
    If I knew how to prove that it's not possible, I would have said so. I would just be rather surprised because the relation has $a_{n-1}$ both inside and outside a transcendental function, which is usually a sign of intractability. But I've been surprised before :-)2012-04-10
  • 0
    But what if I expand cosine with Taylor series and use only first 3-5 terms? Is is possible to solve recurrence relation in this form? Ex: $a_{n}=a_{n-1}+A-A\centerdot {a_{n-1}}^2/2!+A\centerdot {a_{n-1}}^4/4!$2012-04-10
  • 0
    I'd still be surprised.2012-04-10
  • 1
    Then this is not the recurrence relation which you consider in your post. // On the other hand, to show that, for every $0\lt A\leqslant1$, $a_n\to\pi/2$ when $n\to\infty$ is standard.2012-04-10
  • 0
    Nonlinear recurrences such as yours are so poorly understood that it would be quite a shock (at least to me) if your recurrence has a closed form. For related fun, look up the Dottie number.2012-04-10
  • 1
    To understand @joriki's and J.M.'s cautious words, consider the (nonlinear) logistic recurrence relation $x_{n+1}=4x_n(1-x_n)$ with $0\leqslant x_0\leqslant1$. But this is *the exception that proves the rule*, as the saying goes.2012-04-10
  • 0
    @Didier actually $a_n\to\pi/2$ for me. J.M. thanks, I'm going to look up the Dottie number.2012-04-10
  • 0
    Do you mean that $a_n\to\pi/2$ (which is what I said), or that you know how to prove that $a_n\to\pi/2$, or that your question is to know how to prove that $a_n\to\pi/2$?2012-04-10
  • 0
    [Here's a link](http://en.wikipedia.org/wiki/Logistic_map#Solution_in_some_cases) for @Didier's "counterexample".2012-04-10
  • 0
    I mean that for my application of this recurrence relation $a_n\to\pi/2$ :)2012-04-10
  • 0
    Thanks for link @joriki, I've read that article..2012-04-10
  • 0
    I do not understand your answer. Once again: are you interested in the proof that $a_n\to\pi/2$, or are you not?2012-04-10
  • 0
    @Didier no, I'm not interested in proof of that. I'm interested in general solution or good approximation if possible.2012-04-10

1 Answers 1

1

Since the comments above led to the concluson that good approximation(s) was something the OP was after, here are some.

Let $f:a\mapsto a+A\cdot\cos(a)$ and assume that $0\lt A\leqslant1$. Then $f$ is increasing on $[0,\pi/2]$ and $f(a)\gt a$ for every $a$ in $[0,\pi/2)$ hence the sequence $(a_n)$ defined by $a_0=0$ and $a_{n+1}=f(a_n)$ for every $n\geqslant0$ is increasing with limit $\pi/2$.

Let $b_n=(\pi/2)-a_n$, then $b_0=\pi/2$, $(b_n)$ is decreasing to the limit $0$ and $b_{n+1}=b_n-A\cdot\sin(b_n)$.

Since $b_n=o(1)$, $\sin(b_n)=b_n+o(b_n)$ and $b_{n+1}=(1-A)\cdot b_n+o(b_n)$. Assume first that $\color{red}{0\lt A\lt1}$. Then a simple recursion yields $$ \frac{b_n}{(1-A)^n}=B-\frac{A}{1-A}B_n,\quad B=\sum_{k=0}^{+\infty}\frac{b_k-\sin(b_k)}{(1-A)^k},\quad B_n=\sum_{k=n}^{+\infty}\frac{b_k-\sin(b_k)}{(1-A)^k}. $$ Since $\sin(b)=b-\frac16b^3+o(b^3)$ when $b\to0$, one can show that $B$ converges and that $B_n$ is at most of order $(1-A)^{2n}$. Hence, with the finite $\color{red}{B\gt0}$ defined above, $$ \color{red}{a_n=(\pi/2)-B\cdot(1-A)^n+O((1-A)^{3n})}. $$ When $\color{blue}{A=1}$, $b_{n+1}=b_n-\sin(b_n)\sim\frac16b_n^3$ and one can show that $\log b_n=-c\cdot3^n+o(3^n)$ for some finite positive $c$, hence there exists some $\color{blue}{0\lt C\lt1}$ such that $$ \color{blue}{a_n=(\pi/2)-C^{3^n+o(3^n)}}. $$

  • 0
    couldn't catch after $b_{n+1} = b_{n} - A\cdot \sin(b_{n})$. Verified that $a_{n}+b_{n}=\pi/2$ for $0\lt A \lt 1$ with program :). Couldn't understand this line "Since $b_n=o(1), sin(b_n)=b_n+o(b_n)$"2012-04-10
  • 0
    If $a_{n+1}=a_n+A\cos(a_n)$ and $b_n=(\pi/2)-a_n$, $b_{n+1}=(\pi/2)-a_n-A\cos(a_n)$ and $\cos(a_n)=\sin(b_n)$ hence $b_{n+1}=b_n-A\sin(b_n)$. // How one can *verify* that $a_n+b_n=\pi/2$ (with a *program*!?) since this is the *definition* of $b_n$ somewhat baffles me. // When $x=o(1)$ (that is, $x\to0$), $\sin(x)=x+o(x)$. Since $b_n=o(1)$, $\sin(b_n)=b_n+o(b_n)$.2012-04-10
  • 0
    :D sorry. My brain stopped since thinking for a long time for this problem.2012-04-10
  • 0
    will $B$ converge? As $k\to +\infty$ then $b_k - \sin(b_k) \to \pi /2$ but since $A\lt1$ then $(1-A)^k \to 0$. or I'm missing something?2012-04-10
  • 0
    Yes $B$ converges. **Proof:** Since $b_n\to0$ and $b_{n+1}=(1-A)b_n+o(b_n)$, for every $1-A\lt F\lt1$, $b_{n+1}\leqslant Fb_n$ for $n$ large enough. Hence $b_n\leqslant cF^n$ and $b_n-\sin(b_n)\leqslant\frac16b_n^3\leqslant c'F^{3n}$. Choosing $F\gt1-A$ such that $F^3\lt1-A$, one sees that $B$ converges. **End of the proof.**2012-04-10
  • 0
    Thanks @Didier. Yes $B$ converges :). For large values of $n$ not bad results, but for small will use recursion.2012-04-10