Principles of Mathematical Analysis, Rudin, 3th ed, Chapter 1, Problem 7

Problem

Fix $b>1$, $y>0$, and prove that there is a unique real $x$ such that $b^x=y$, by completing the following outline. (This $x$ is called the logarithm of $y$ to the base $b$.)

(a) For any positive integer $n$, $b^n - 1 \geq n(b-1)$.

(b) Hence $b-1 \geq n(b^{1/n}-1)$.

(c) If $t>1$ and $n>(b-1)/(t-1)$, then $b^{1/n}<t$.

(d) If $w$ is such that $b^w < y$, then $b^{w+(1/n)} < y$ for sufficiently large $n$; to see this, apply part (c) with $t=y \cdot b^{-w}$.

(e) If $b^w > y$, then $b^{w-(1/n)} > y$ for sufficiently large $n$.

(f) Let $A$ be the set of all $w$ such that $b^w < y$, and show that $x = \sup A$ satisfies $b^x = y$.

(g) Prove that this $x$ is unique.

Answer

(a) Note that

$$b^n - 1 =(b-1)(1+b+b^2 + \cdots + b^{n-1}).$$

Since $b>1$,

$$1+b+b^2+\cdots+b^{n-1} \geq n.$$

Hence

$$b^n - 1 = (b-1)(1+b+b^2 + \cdots + b^{n-1}) \geq n(b-1).$$

(b) It is enough to show that $b^{1/n} > 1$. If $b^{1/n} \leq 1$, then $b = (b^{1/n})^n \leq 1^n = 1$, which is contradiction.

(c) Since $t>1$,

$$n(t-1) > (b-1) \geq n(b^{1/n} - 1).$$

$b^{1/n}<t$ is obtained by dividing both sides by $n$ and adding 1.

(d) For $t:=yb^{-w}>1$, we can take an integer $n$ such that $n>(b-1)/(t-1)$ by archimedean property. Then, (c) implies

$$b^{1/n} < t = yb^{-w}\;\;\Longrightarrow\;\; b^{w+1/n}<y.$$

(e) For $t:=y^{-1}b^w>1$, we can take an integer $n$ such that $n>(b-1)/(t-1)$ by archimedean property. Then, (c) implies

$$b^{1/n} < t = y^{-1}b^{w} \;\;\Longrightarrow\;\; y < b^{w-1/n}.$$

(f) If $b^x < y$ then there exists an integer $n$ such that $b^{x+1/n} < y$, which means $x < x+1/n \in A$. Therefore, $x$ is not an upper bound of $A$.

If $b^x>y$ then there exists an integer $n$ such that $b^{x-1/n} > y$, which means

$$b^{x-1/n} > y > b^w \;\;\Longrightarrow\;\; b^{w-x}<b^{-1/n}\;\;\text{for all $w \in A$}.$$

Since $b^{w-x} = \sup\{b^t | t \leq w-x, t \in \mathbb{Q}\}$ by Problem 6, $w-x < -1/n$ for all $w \in A$, which implies $x-1/n$ is an upper bound for $A$. Therefore, $x$ cannot be a least upper bound of $A$.

Since both cases above lead to contradiction, $b^x=y$.

(g) Assume that there exists $z \in \mathbb{R}$ such that $y=b^z$. Without loss of generality, it is enough to show that $x>z$ leads to the contradiction. Suppose $x>z$, and then there exists an integer $n$ such that $x-z>1/n$. Then $1 = yy^{-1} = b^xb^{-z} = b^{x-z} \geq b^{1/n} > 1$, which is contradiction.

Comments

Post a Comment

Popular posts from this blog

Elementary Classical Analysis, Marsden, 2nd ed, Chapter 2, Problem 1

Problem Discuss whether the following sets are open or closed: (a) (1,2) in $\mathbb{R}$ (b) [2,3] in $\mathbb{R}$ (c) $\bigcap_{n=1}^\infty [-1,1/n)$ in $\mathbb{R}$ (d) $\mathbb{R}^n$ in $\mathbb{R}^n$ (e) A hyperplane in $\mathbb{R}^n$ (f) $\{r \in (0,1) \;|\; \text{$r$ is rational} \}$ in $\mathbb{R}$ (g) $\{(x,y) \in \mathbb{R}^2 \;|\; 0<x \leq 1\}$ in $\mathbb{R}^2$ (h) $\{x \in \mathbb{R}^n \;|\; \|x\|=1\}$ in $\mathbb{R}^n$. Answer (a) Open: For $x \in (1,2)$, we can choose $\epsilon = \min(x-1,2-x)$ so that $D(x,\epsilon) \subset (1,2)$. (b) Closed: For $x \in [2,3]^c$, we can choose $\epsilon = \min(2-x,x-3)$ so that $D(x,\epsilon) \subset [2,3]^c$. (c) Closed: We first prove that $[-1,0] = A:=\bigcap_{n=1}^\infty [-1,1/n)$. Since $[-1,0] \subset [-1,1/n)$ for all $n \in \mathbb{N}$, $[-1,0] \subset A$. To prove $A \subset [-1,0]$, we assume that $x \in A$. Then obviously, $x \geq -1$. If $x > 0$, then there exists $n \in \mathbb{N}$ such that $x > 1/n$, which means
Read more

Principles of Mathematical Analysis, Rudin, 3th ed, Chapter 5, Problem 15

Problem Suppose $a \in \mathbb{R}^1$, $f$ is a twice-differentiable real function on $(a,\infty)$, and $M_0,M_1,M_2$ are the least upper bounds of $|f(x)|,|f'(x)|,|f''(x)|$, respectively, on $(a,\infty)$. Prove that $$ M_1^2 \leq 4M_0M_2.$$ Does $M_1^2 \leq 4M_0M_2$ hold for vector-valued functions too? Answer For $x \in (a,\infty)$ and $h>0$, $f(x+2h)=f(x)+2f'(x)h + \frac{1}{2}f''(\xi)(2h)^2$ for some $\xi$ between $x$ and $x+2h$ by Theorem 5.15. Then $|f'(x)| \leq \frac{|f(x+2h) - f(x)|}{2h} + |f''(\xi)h| \leq \frac{M_0}{h} + M_2h$. This holds for all $x$ and $h$ and $$ \inf_h(\frac{M_0}{h} + M_2h) = 2\sqrt{M_0M_2}$$ Hence, we have $M_1 \leq 2\sqrt{M_0M_2}$  $\Rightarrow$  $M_1^2 \leq 4M_0M_2.$ This inequality also holds for vector-valued functions $f=(f_1,\cdots,f_k)$. We may assume that $M_1 \neq 0$. For a fixed point $y \in (a,\infty)$, define a function $$ g(x):=f_1'(y)f_1(x) + \cdots + f_k'(y)f_k(x). $$ Then we have $$|g'(x)|^2
Read more