$$ \newcommand{\cis}{\operatorname{cis}} \newcommand{\norm}[1]{\left\|#1\right\|} \newcommand{\paren}[1]{\left(#1\right)} \newcommand{\sq}[1]{\left[#1\right]} \newcommand{\abs}[1]{\left\lvert#1\right\rvert} \newcommand{\set}[1]{\left\{#1\right\}} \newcommand{\ang}[1]{\left\langle#1\right\rangle} \newcommand{\floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{\ceil}[1]{\left\lceil#1\right\rceil} \newcommand{\C}{\mathbb{C}} \newcommand{\D}{\mathbb{D}} \newcommand{\R}{\mathbb{R}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\N}{\mathbb{N}} \newcommand{\F}{\mathbb{F}} \newcommand{\T}{\mathbb{T}} \renewcommand{\S}{\mathbb{S}} \newcommand{\intr}{{\large\circ}} \newcommand{\limni}[1][n]{\lim_{#1\to\infty}} \renewcommand{\Re}{\operatorname{Re}} \renewcommand{\Im}{\operatorname{Im}} $$
Due: April 29th, 2021

Math 104 Assignment 12

  1. Another integral problem

    Suppose that $f : [a, b] \to \R$ is integrable. Prove that $t \mapsto \max(f(t), 0)$ is integrable. Use this to show that the absolute value of an integrable function is integrable.

    (This was the one step we were missing in our proof that \[\abs{\int_a^b f(t)\,dt} \leq \int_a^b \abs{f(t)}\,dt.\] Note as well that since $\max(f(t), g(t)) = \max(f(t)-g(t), 0) + g(t)$ this shows that the maximum of two integrable functions is integrable.)

  2. Uniform convergence and sums

    In this problem, we will make the assumption that sequences are indexed beginning at $0$ rather than at $1$.

    Suppose $(h_n)_n$ is a sequence of functions from a set $S$ to a metric space $X$. The sequence is said to be uniformly Cauchy if for every $\epsilon \gt 0$ there is some $N$ so that for any $n, m \gt N$ and any $s \in S$, $\abs{f_n(s)-f_m(s)} \lt \epsilon$. Next week we will see that uniformly convergent sequences of functions are uniformly Cauchy, and that if $X$ is complete, all uniformly Cauchy sequences of functions from $S$ to $X$ converge uniformly.

    1. Suppose that $(a_k)_k$ is a sequence in $\R$. For each $n \in \N_0$, set \[s_n = \sum_{k=0}^n a_k.\] If $(s_n)_n$ converges, we write $\sum_{k=0}^\infty a_k = \lim_{n\to\infty}s_n.$ Show that the sequence $(s_n)_n$ converges if and only if for every $\epsilon \gt 0$ there is some $N \in \N$ so that for any $n, m \in \N$ with $N \lt n \lt m$, \[\abs{\sum_{k=n}^{m-1} a_k} \lt \epsilon.\]
    2. Suppose now that $X$ is a set, and $(f_k)_k$ is a sequence of function $X \to \R$. For each $n \in \N_0$, set \[g_n = \sum_{k=0}^n f_k.\] Show that the sequence $(g_n)_n$ converges uniformly if and only if for every $\epsilon \gt 0$ there is some $N \in \N$ so that for any $n, m \in \N$ with $N \lt n \lt m$, \[\sup_{x \in X}\abs{\sum_{k=n}^{m-1} f_k(x)} \lt \epsilon.\] In this case, we say that $\sum_{k=0}^\infty f_k$ converges uniformly, and use this to denote the uniform limit of $(g_n)_n$.
    3. Suppose that $(B_k)_k$ is a sequence in $\R_{\geq 0}$ so that \[\sum_{k=0}^\infty B_k\] converges, and $(f_k)_k$ is a sequence of functions $X \to \R$ so that $f_k$ is bounded by $B_k$: that is, $\abs{f_k(x)} \leq B_k$ for all $x \in X$. Use parts A and B to show that \[\sum_{k=0}^\infty f_k\] converges uniformly.
    4. Show that if $\abs{r} \lt 1$, then \[\sum_{k=0}^\infty r^k = \frac1{1-r}.\] (Hint: first notice that $(1-r)(1+r+r^2+\cdots+r^n) = 1-r^{n+1}$.)
    5. Suppose that $(a_k)_k$ is a sequence in $\R$ so that $\limsup_{k\to\infty} \abs{a_k}^{1/k} \lt 1$. Prove that \[\sum_{k=0}^\infty a_k x^k\] converges uniformly on $[-1, 1]$. (Here, "$a_kx^k$" is being used to mean the function $x \mapsto a_kx^k$.)
    6. A function of the form above is called a power series. Since a power series is the uniform limit of polynomials—which are continuous—it is continuous.

  3. A poorly-behaved function

    Let $C : \R \to [-1, 1]$ be a continuous function with the properties that $C(2k) = 1$ and $C(2k+1) = -1$ for every $k \in \Z$, and that $\abs{C(x)-C(y)} \leq 4\abs{x-y}$ for all $x, y \in \R$.

    1. Prove that \[\sum_{j=0}^\infty \paren{\frac34}^j C(9^j x)\] converges uniformly to some function $W : \R \to \R$.
    2. Let $n \in \N$ and $a \in \Z$. Show that \[\abs{W\paren{\frac{a+1}{9^n}} - W\paren{\frac{a}{9^n}}} \gt \paren{\frac34}^n.\] (Hint: the analysis here requires getting your hands dirty, and you'll probably need to make use of both 2D and its hint. Break the sum up into two pieces, and show that the tail is large enough to overcome the first piece.)
    3. Conclude that $W$ is continuous, but not differentiable at any point in $\R$.

Here are some further problems to think about out of interest. You do not need to attempt them, nor should you submit them with the assignment. They are coloured by approximate difficulty: easy/medium/hard.