From 09940b762003f008bef8a28b0de66ee925e12bd3 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sat, 29 Sep 2018 16:34:27 -0600 Subject: [PATCH] txs auto checkin --- Documents/LaTeX/Homework 5.tex | 134 ++++++++++++++++++++++++++++++++- 1 file changed, 133 insertions(+), 1 deletion(-) diff --git a/Documents/LaTeX/Homework 5.tex b/Documents/LaTeX/Homework 5.tex index fac5613..5cae25e 100644 --- a/Documents/LaTeX/Homework 5.tex +++ b/Documents/LaTeX/Homework 5.tex @@ -39,7 +39,7 @@ \item \textbf{Section 3.3} \begin{enumerate} \item[2)] Let $x_1 > 1$ and $x_{n+1} := 2-1/x_n$ for $n \in \N$. Show that $(x_n)$ is bounded and monotone. Find the limit. - \\\\ The first five terms of this sequence are $x_1 >1,x_2 > \frac{3}{2}, x_3 >\frac{4}{5}, x_4 > \frac{5}{4}, x_5 > \frac{6}{5}$. This sequence appears to be decreasing. + \\\\ The first five terms of this sequence are $x_1 \geq 2,x_2 \geq \frac{3}{2}, x_3 \geq \frac{4}{5}, x_4 \geq \frac{5}{4}, x_5 \geq \frac{6}{5}, \dots$. This sequence appears to be decreasing. \\\\Recall the Monotone Sequence Property: \begin{theorem*}{Monotone Sequence Property} A monotone sequence of real numbers is convergent if and only if it is bounded. Further, @@ -69,15 +69,147 @@ x_1 &\geq x_{1+1} \\ x_1 &\geq x_2 \end{align*} + Since $x_1>1 \Rightarrow \frac{1}{x_1} < 1$, we have + \[x_2 = 2-\frac{1}{x_1} > 1\] + \[\Rightarrow 1 < x_2 < 2.\] + Since $x_1>1$ and because $1 < x_2 < 2$, we have that $x_1 \geq x_2$. + \\\\\textbf{Inductive Step:} Assume $1 < x_n < 2,\ \forall\ n \in \N$. + \\\\\textbf{Show:} Now we want to show that $x_n \leq x_{n+1}$. + \\So, + \[1 < x_n <2\] + \[1 > \frac{1}{x_n} > \frac{1}{2}\] + \[-1 < -\frac{1}{x_n} < -\frac{1}{2}\] + \[1 < 2-\frac{1}{x_n} < 2-\frac{1}{2} < 2\] + \[1 < x_{n+1} < 2\] + Thus we have that $(x_n)$ is bounded between 1 and 2. \end{proof} + + Now we need to show that $(x_n)$ is monotone decreasing; that is, we must show that $x_1 \geq x_2 \geq \dots \geq x_n$. + + \begin{proof} + We want to show that $x_1 \geq x_2 \geq \dots \geq x_n,\ \forall\ n \in \N$. We prove it by method of mathematical induction. + \\\\\textbf{Basis Step:} Let $n=1$. Then since $x_1 >1$ is given, we have that $\frac{1}{x_1} < 1$. This yields $x_2=2-\frac{1}{x_1}>1$, as was determined for the boundedness proof, and thus we have that $1 < x_2 < 2$. This means that $1 > \frac{1}{x_2} > \frac{1}{2}$, and since $\frac{1}{2} \leq \frac{1}{x_n}$, we have $x_2 \geq x_1$. + \\\\\textbf{Inductive Step:} Assume $x_n \geq x_{n+1}\ \forall\ n \in \N$. + \\\\\textbf{Show:} We now want to show that $x_{n+2} \leq x_{n+1}$. + \\So, + \[x_{n+2}=2-\frac{1}{x_{x+1}}\] + Recall the inductive hypothesis, in that $x_n \geq x_{n+1} \Rightarrow \frac{1}{x_n} \leq \frac{1}{x_{n+1}}$. Thus, + \[-\frac{1}{x_n} \geq -\frac{1}{x_{n+1}}\] + \[\Rightarrow 2-\frac{1}{x_n} \leq 2 -\frac{1}{x_{n+1}}\] + \[x_{n+1} \leq x_{n+2}\] + $\therefore$ we have that $x_1 \geq x_2 \geq \dots \geq x_n,\ \forall\ n \in \N$. + \end{proof} + Thus $(x_n)$ is monotone decreasing. + \\\\By the \textit{Monotone Sequence Property}, since we have shown that $(x_n)$ is both bounded (and thus converges), and that $(x_n)$ is monotone decreasing, we have that + \begin{align*} + \lim (x_n) &= \inf \{x_n: n \in \N\} \\ + &=\inf (1,2) \\ + &= 1 + \end{align*} + Hence the sequence converges to the previously found possible limit of 1. \\ \item[3)] Let $x_1 > 1$ and $x_{n+1} := 1 + \sqrt{x_n - 1}$ for $n \in \N$. Show that $(x_n)$ is decreasing and bounded below by $2$. Find the limit. + \\\\The first 5 terms of this sequence are $x_1 \geq 2, x_2 \geq 2, x_3 \geq 2, x_4 \geq 2, x_5 \geq 2, \dots$. Notice the following, however: + \begin{align*} + x_{n+1} \leq x_n &\iff 1+\sqrt{x_n - 1} \leq x_n \\ + &\iff \sqrt{x_n -1} \leq x_n -1 + \end{align*} + which we know is always true since the square root function is a decreasing function. + \\\\Now we must find the possible limit points (fixed points) of this sequence. So, + \begin{align*} + x &= 1 + \sqrt{x-1} \\ + x-1 &= \sqrt{x-1} \\ + x-1 &= (x-1)^2 \\ + x-1 &= x^2 -2x +1 \\ + (x-1)-(x^2-2x+1) &= 0 \\ + -x^2+3x-2 &=0 \\ + -(x^2-3x+2) &= 0 \\ + -(x-1)(x-2) &= 0 \\ + (x-1)(x-2) &= 0 + \end{align*} + Thus $x=1$, or $x=2$. These are the possible limits of $(x_n)$. Since we hypothesized that $(x_n)$ is decreasing, then we say that $(x_n)$ is bounded below by 2, since we are given that $x_1 > 1$. + \\\\Now we will prove that $(x_n)$ is bounded below by 2.\\ + \begin{proof} + We want to show that $(x_n)$ is bounded below by 1; that is, we want to show that $1 \leq x_n,\ \forall\ n \in \N$. We prove it by method of mathematical induction. + \\\\\textbf{Basis Step:} Let $n=1$. Then we are given that $x_1 \geq 2$. + \\\\\textbf{Inductive Step:} Assume that $x_n \geq 2,\ \forall\ n \in \N$. + \\\\\textbf{Show:} We now want to show that $x_{n+1} \geq 2,\ \forall\ n \in \N$. + \\\\So, + \begin{align*} + x_{n+1} &= 1+\sqrt{x_n -1} \\ + &\geq 1+\sqrt{2 -1} \\ + &=1 + 1 \\ + &= 2 + \end{align*} + Thus, $x_n \geq 2,\ \forall\ n \in \N$. By the definition of boundedness, we have that $(x_n)$ is bounded below by 2. + \end{proof} + + Since we have also shown earlier that $(x_n)$ is monotone decreasing, we have that by the monotone sequence property, since $(x_n)$ is bounded, $(x_n)$ converges, and since $(x_n)$ is monotone decreasing, we have: + \begin{align*} + \lim (x_n) &= \inf \{x_n:n \in \N\} \\ + &=2 + \end{align*} \item[7)] Let $x_1 := a>0$ and $x_{n+1} := x_n+1/x_n$ for $n \in \N$. Determine whether $(x_n)$ converges or diverges. + \\\\The first 5 terms of this sequence are $x_1 \geq 1, x_2 \geq 2, x_3 \geq \frac{5}{2}, x_4 \geq \frac{29}{10}, x_5 \geq \frac{941}{290}, \dots$. This sequence appears to be increasing. We show this to be true as follows: + \begin{align*} + x_{n+1} \geq x_n &\iff x_n + \frac{1}{x_n} \geq x_n \\ + &\iff x_n^2 + 1 \geq x_n^2 \\ + &\iff 1 \geq 0 + \end{align*} + which is true. + However, notice that one of the terms of the sequence is $x_n$. We know that $x_n$ is an unbounded sequence. Thus, we can infer that $(x_n)$ is unbounded above. We show this as follows: + \begin{align*} + x_{n+1}^2 &= \left(x_n + \frac{1}{x_n} \right)^2 \\ + &= x_n^2+2+\frac{1}{x_n^2} \\ + &> x_n^2 +2 + \end{align*} + Since: + \[x_{n+1}^2 > x_n^2+2 > x_{n-1}^2 +4 > \dots > x_1^2+2 \cdot n = a^2+2 \cdot n\] + \[\Downarrow\] + \[x_n > \sqrt{a^2 + 2 \cdot (n-1)}\] + Since the right hand side of this inequality is unbounded, the left hand side is also unbounded. + \\\\Thus we have that this sequence $(x_n)$ is unbounded above. + \\\\Since this sequence is increasing and unbounded above, we have that the sequence is divergent.\\ \item[8)] Let $(a_n)$ be an increasing sequence, $(b_n)$ be a decreasing sequence, and assume that $a_n \leq b_n$ for all $n \in \N$. Show that $\lim (a_n) \leq \lim (b_n)$, and thereby deduce the Nested Intervals Property 2.5.2 from the Monotone Convergence Theorem 3.3.2. + \\\\Since $(a_n)$ is an increasing sequence, we know that $(a_1 \leq a_2 \leq \dots \leq a_n)$, and since $(b_n)$ is a decreasing sequence, we know that $(b_1 \geq b_2 \geq \dots \geq b_n)$. Also, since we have that $a_n \leq b_n,\ \forall\ n \in \N$, we know that $(a_n)$ is bounded above by $(b_1)$. Thus, by the \textit{Monotone Convergence Theorem}, we know that + \[\lim (a_n) = \sup \{a_n: n \in \N\}\] + Also, since $(b_n)$ is a decreasing sequence such that it is bounded below by $(a_1)$, by the \textit{Monotone Convergence Theorem}, we have + \[\lim (b_n) = \inf \{b_n: n \in \N\}\] + Recall Theorem 3.2.5: + \begin{theorem*} + If $X=(x_n)$ and $Y=(y_n)$ are convergent sequences of real numbers and if $x_n \leq y_n\ \forall\ n \in \N$, then $\lim (x_n) \leq \lim (y_n)$. + \end{theorem*} + Also, recall the \textit{Nested Intervals Property}: + \begin{theorem*} + If $I_n=[a_n,b_n],\ n \in \N$, is a nested sequence of closed bounded intervals, then there exists a number $\xi \in \R \st \xi \in I_n\ \forall\ n \in \N$. + \end{theorem*} + Note that we have a nested sequence of closed, bounded intervals: $[a_n, b_n],\ n \in \N$. Since we showed that $\lim (a_n) \leq \lim (b_n)$, (and we are given that $(a_n)$ is increasing and $(b_n)$ is decreasing), we know that there exists $\xi$ such that + \[\lim (a_n) \leq \xi \leq \lim (b_n)\] + which means that $\xi \in [a_n, b_n],\ \forall\ n \in \N$. \end{enumerate} + \item $a_1 = 1,\ a_{n+1}=\frac{a_n^2+5}{2a_n}$ + \\\\The first 5 terms of this sequence are $1, 3, \frac{7}{3}, \frac{47}{21}, \frac{2207}{987}, \dots$. This is an increasing sequence. + \\\\First, we must find the possible limits (fixed points) of the sequence. So, + \begin{align*} + a&=\frac{a^2+5}{2a} \\ + 2a^2 &= a^2+5 \\ + a^2 &= 5 \\ + a &= \pm \sqrt{5} + \end{align*} + Since we're given that $a_1=1$, we know that the most likely lower bound will be $\sqrt{5}$. + \\\\Now we want to show that $(a_n)$ is bounded below by $-\sqrt{5}$. + \begin{proof} + We want to show that $a_n \leq \sqrt{5},\ \forall\ n \in \N$. We prove it by method of mathematical induction. + \\\\\textbf{Basis Step:} Since $1 \geq -\sqrt{5}$, we have that $a_1 \geq -\sqrt{5}$ + \\\\\textbf{Inductive Step:} Assume that $a_n \geq -\sqrt{5}\ \forall\ n \in \N$. + \\\\\textbf{Show:} We want to show that $a_{n+1} \geq -\sqrt{5}\ \forall\ n \in \N$. So, + \begin{align*} + a_{n+1} &= \frac{a_n^2 + 5}{2a_n} + \end{align*} + \end{proof} \item $a_1 = 5,\ a_{n+1}=\sqrt{4+a_n}$ \end{enumerate}