Q:

Recurrence relation, monotonicity and convergence

I was looking for some exercise on recurrence and I found this:

Let  \begin{equation} \begin{cases} x_{n+1} = e^{-x^2_{n}}\\ x_0 =
 a\in\mathbb{R} \end{cases} \end{equation} be a recurrence relation
  with the parameter $a$. 

Discuss monotonicity of $\{x_n\}_{n\in\mathbb{N}}$
Determine whether $\{x_n\}_{n\in\mathbb{N}}$ is convergent or not

Now, I really can't figure out ho to proof whether $\{x_n\}_{n\in\mathbb{N}}$ is monotonic or not. 
I saw on Mathematica and saw for any $a$ I typed the function was neither crescent nor decrescent, but how to prove it? What's the best path to follow for a Calculus I student?
EDIT:
As I really can't made my mind up about this exercise, does anyone can provide a full rigorous mathematic proof for the answer (which basically we all know: the recursion is not monotonic and it is convergent)?
Thanks in advance.

A:

As $x_n>0$ for $n\geq 1$, we may suppose that $a\geq 0$. Let $f(x)=\exp(-x^2)$ on $I=[0,+\infty[$.
Note that $f$ is strictly decreasing; one can show that the equation $f(x)-x=0$ has only one solution on $I$, say $L$.
a) Suppose now that $x_n$ is increasing. Then we have $x_{n+1}\geq x_n$, and $x_{n+2}\geq x_{n+1}$. Applying the (decreasing) function $f$ to the first inequality gives $x_{n+2}\leq x_{n+1}$. So we have $x_{n+2}=x_{n+1}=f(x_{n+1})$. This show that $x_{n+1}=L$. Now $L=\exp(-x_n²)=\exp(-L^2)$ gives $x_n=L$, and finally $x_0=a=L$. Same thing if $x_n$ is decreasing. So $x_n$ is monotonic if and only if $a=L$, and then $x_n=L$ for all $n$.
b) One can show that for any $a$, $x_{2n}$ and $x_{2n+1}$ are monotonic, one increasing, the other decreasing. To see why, note that $g(x)=f(f(x))$ is increasing and that $x_{2n+2}=g(x_{2n})$. If you suppose that $x_4\geq x_2$, an easy induction  show that $x_{2n+2}\geq x_{2n}$ for all $n$, and $x_{2n}$ is increasing. If $x_4\leq x_2$, $x_{2n}$ is decreasing. As $x_{2n+1}=f(x_{2n})$, this show that $x_{2n+1}$ is monotonic too.
c) Note that $x_n\in [0,1]$ for all $n\geq 1$. So by b) $x_{2n}$ and $x_{2n+1}$ are bounded monotonic sequences, hence convergents, say to $L_1$ and $L_2$. To show that $x_n$ is convergent, we have to show that $L_1=L_2$; this seems complicated.
d) Another way to prove the convergence: Compute $f^{\prime}(x)=-2x\exp(-x^2)$. Then we see that $|f^{\prime}(x)|\leq k=\sqrt{2}\exp(-1/2)<1$. Then $|x_{n+1}-L|=|f(x_n)-f(L)|\leq k|x_n-L|$, and it is easy to prove the convergence. 

