# 0x003 Sequence

## 1. Sequence

### 1.1. Sequence

This subsection is about

#### 1.1.1. Convergence

**Definition (Convergence)** A sequence \((a_n)^{\infty}_{n=N}\) is convergent to \(L\) iff the sequence is \(L\) is eventually \(\epsilon\)-close to \(L\) for every \(\epsilon > 0\)

**Theorem (Arithmetic Limit Laws)**
If \(\lim a_n\) and \(\lim b_n\) exists, then

**Theorem (Order Limit Laws)**

sup can also be defined on the sequences, by considering the set consisting of elements in the sequence.

**Definition (sup/inf of sequences)** Let \((a_n)_{n=m}^\infty\) be a sequence of real numbers. Then we define

The sup is still a least upper bound with respect to the sequence.

**Proposition (property of sequence sup)**

- (sup is an upper bound) \((\forall n \geq m) a_n \leq sup(a_n)_{n=m}^{\infty}\)
- (sup is the least upper bound) \((\forall y < sup(a_n)_{n=m}^{\infty}) (\exists n \geq m) y \leq a_n \leq sup(a_n)_{n=m}^{\infty}\)

The followings are some criterions useful to decide sequence convergence.

#### 1.1.2. Convergence Criterions

The next two criterions are important because they do not require explicit limit to prove convergence.

**Criterion (Cauchy)** A sequence converges iff it is a Cauchy sequence

**Criterion (Monotone bounded convergence)** Let \((a_n)_{n=m}^{\infty}\) be a sequence of real numbers which has some finite upper bound \(M \in R\) and which is also increasing. Then \((a_n)_{n=m}^{\infty}\) is convergent and

Short proof: because \(a_n\) is bounded, we can set

because it is sup, for arbitrary \(\epsilon\), there exists an \(N\) such that \(|s - a_N| < \epsilon\), because \(a_n\) is monotonic, we know all \(n > N\) satisfy this, therefore \(s\) is the limit.

Abott exercise 2.4.1

Prove the following sequence converges and compute its limit with \(x_1 = 3\)

**Criterion (squeeze test)**

**Criterion (Cesaro means)** If \(x_n\) converges, then the mean sequence \(y_n\) also converges to the same limit

#### 1.1.3. Limit Point

limit points over a sequence is a more general concept of limit. limit, limsup and liminf are instances of limit points. Normal Limit requires all points to be close enough to its convergence eventually, whereas limit points only ask for infinite points to be close enough.

**Definition (limit points, adherent points over sequence)** \(x\) is a limit points (adherent point) of \((a_n)_{n=m}^{\infty}\) when

Intuitively, the sequence visits \(\epsilon\) neighborhood of a limit point infinitely often (In contrast with the eventual visit of limits)

limsup and liminf are also special cases of limit points. Unlike limits, limsup and liminf exist for every sequence. I think they are useful to estimate the boundaries of sequences when they are oscillating.

**Definition (limsup/liminf)** limsup is the infimum over supremum of all elements. liminf is the superior over inferiors. (Both are defined over the extended reals to handle the divergence case)

Note limsup and liminf always exist for any sequence (it might be infity though)

**Proposition (properties of limsup/liminf)** Let \(L^+\) be limsup and \(L^-\) be liminf of sequence \((a_n)_{n=m}^{\infty}\). Then

- \(\forall x > L^+\), the sequence \((a_n)_{n=m}^{\infty}\) are eventually less than \(x\)
- \(\forall x < L^+\), the sequence \((a_n)_{n=m}^{\infty}\) exceeds \(x\) infinitely often
- \(\inf(a_n)_{n=m}^{\infty} \leq L^- \leq L^+ \leq \sup(a_n)_{n=m}^{\infty}\)
- If \(c\) is any limit points, then \(L^- \leq c \leq L^+\)
- If \(L^+\) is finite, then it is a limit point
- \(\lim_{n \to \infty} a_n \Longleftrightarrow c L^+ = L^- = c\)

As the order limit law, the sup and limsup also preserves the order

**Lemma (sup/limsup preserves order)** if \(a_n \leq b_n\), then

Proof: by contradition. Suppose \(\sup (a_n)_{n=m}^{\infty} > \sup (b_n)_{n=m}^{\infty}\), then take an \(\epsilon\) smaller than two sup diff, there exists one \(a_n\) be \(epsilon\) closer enough to its sup. This \(a_n\) is larger than b's sup, so its larger than every b.

#### 1.1.4. Subsequences

**Definition (subsequence)** \((b_n)\) is a subsequence of \((a_n)\) iff there exists a function \(f: \mathbb{N} \to \mathbb{N}\) that is strictly increasing such that \(b_n = a_{f(n)}\)

**Propositions (limits of subsequences)** Following statements are equivalent

- sequence \((a_n)\) converges to \(L\)
- every subsequence of \((a_n)\) converges to \(L\)

**Proposition (limit points of subsequences)** Following statements are equivalent

- \(L\) is a limit point of sequence \((a_n)\)
- There exists a subsequence of \((a_n)\) which converges to \(L\)

**Theorem (Bolzano-Weirstrass)** A bounded sequence has at least one convergent subsequence

Proof: sequence bounded -> limsup is bounded -> limsup is a limit point -> subsequence exists

### 1.2. Series

This subsection is about

There are two types of convergence in series convergence: absolute convergence and conditional convergence. When a series converges absolutely, then it allows many manipulations such as rearrangement.

The series convergence is defined with respect to the convergence of the partial sum.

**Definition (series convergence)** The convergence of series \(\sum_{k=0}^{\infty} a_k\) is defined in terms of the convergence of partial sum \(s_n = \sum_{k=1}^n a_k\)

Example (Basel problem)

The following series is a convergent series, firstly solved by Euler.

**Theorem (Algebraic limit theorem for series)** If \(\sum_{k=0}^{\infty} a_k = A\) and \(\sum_{k=0}^{\infty} b_k = B\), then

**Proposition (associativity, commutativity of a series)**

- Associativity holds if the series is convergent.
- Commutativity holds if the series is absolutely convergent.

*Proof* For associativity, consider the following regrouping

The regrouping creates a subsequence of the original series, which converges to the same limit when convergent. The associativity, however, does not work when the original series is not convergent (e.g: consider alternating -1, 1 series)

#### 1.2.1. Conditional Convergence

**Definition (conditional convergence)** If \(\sum_{k=0}^{\infty} |a_k|\) not converge but \(\sum_{k=0}^{\infty} a_k\) converges, then \(\sum_{k=0}^{\infty} a_k\) is called *conditional convergence*

Alternating Harmonic Series

The alternating harmonic series is an example of conditional convergence, it does not converge absolutely.

#### 1.2.2. Absolute Convergence

Absolute convergence is a stronger version of convergence over series. (It does not make much in standard sequence though). It has many good properties such that allow rearrangement of sequence.

**Definition (absolute convergence)** If the \(\sum_{k=0}^{\infty} |a_k|\) converges, then \(\sum_{k=0}^{\infty} a_k\) will converge and is called *absolute convergence*.

**Theorem (rearangement on absolute convergence)** If a series converges absolutely, then any rearangement of this series converges to the same limit

**Theorem (rearangement over double sum)** if \(\sum_{i}^{\infty} \sum_{j}^{\infty} | a_{ij} |\) converges, then rearangement is allowed and gives the same value

Fubini's theorem for infinite series

This theorem is the series version of the Fubini's theorem: double integral can be done iteratively if integral of absolute value of intergrand yield a finite answer

If

then

#### 1.2.3. Convergence Criterion

Generally, speaking, it is much easier to determine whether a sequence converges or not rather than to compute the actual sum. For example, the series

can be easily confirmed that converges to something less than 2, but is much harder to compute its sum \(\frac{\pi^2}{6}\), which by the way discovered by Euler. Followings are some useful criterions to determine whether an series converges or not

**Criterion (Cauchy)** The series \(\sum_{k=0}^{\infty} a_k\) converges iff

**Criterion (Condensation test)** Suppose \(a_n\) is decreasing and satis \(a_n \geq 0\), then the series \(\sum_n b_n\) converges iff the following series converges

Harmonic Series

The harmonic series is a special case of the previous test

This series does not converge.

p-series

P-series is one generalization of the harmonic series, it converges when \(p>1\)

*Proof*: Condensation test says the series converges when the following series converges

this is the geometric series with \(2^(1-p) < 1\) when \(p>1\)

**Criterion (comparison test)** Assume \(a_k\) and \(b_k\) are sequences satisfying \((\forall k \in N)0 \leq a_k \leq b_k\)

if \(\sum_{k=1}^{\infty} b_k\) converges, then \(\sum_{k=1}^{\infty} a_k\) converges

if \(\sum_{k=1}^{\infty} b_k\) diverges, then \(\sum_{k=1}^{\infty} a_k\) diverges

**Criterion (absolute convergence test)** If series absolutely converges, then it converges as well

**Criterion (Leibniz, alternating series test)** Let \((a_n)\) be a sequence that \(a_1 > a_2 > a_3 ...\) and \(a_n \to 0\). Then the alternating series \(\sum_{n=1}^{\infty} (-1)^{n+1} a_n\) converges.

*Proof* Consider the tail of the series \(a_k - a_{k+1} + a_{k+2} ... + a_{k+l}\), it is easy to show that this tail is bounded by \([0, a_k]\), then obvious.

**Criterion (ratio test)** Given a series \(\sum_{n=1}^{\infty} a_n\), it will converges absolutely if

**Criterion (Dirichlet's test)** If the partial sum of \(\sum_{k=1}^{\infty} x_k\) are bounded, and \(y_k\) are monotone decreasing to 0, then \(\sum_{k=1}^{\infty} x_k y_k\) converges

## 2. Function Sequence

Infinite series representations of functions are both useful and elegant. Manipulations such as differentiation and anti-derivative can lead to remarkable conclusions when handled properly, however, they are not always justified.

### 2.1. Function Sequence

This subsection is about

#### 2.1.1. Pointwise Convergence

**Definition (pointwise convergence)** The sequence \((f_n)\) of functions converges pointwise on \(A\) to a function \(f\) if for all \(x \in A\), the sequence of real numbers \(f_n(x)\) converges to \(f(x)\)

The point here is that the convergence speed depends on the point \(x\), it is possible for different values to require different, larger \(N\) to bound diff into \(\epsilon\)

The problem of pointwise convergence is that it might not preserve good properties such as continuity and differentiability. To preserve those good properties, we need to propose a more restricted class of convergence.

pointwise convergence does not preserve continuity

Let \(f_n(x)=x^n\) on the set \(x \in [0,1]\) where \(f_n(x)\) is continous function. when \(n \to \infty\), it converges to 0 for \(0 < x < 1\), 1 for \(x=1\), which is not a continuous function

pointwise convergence does not preserve differentiability

Let \(f_n(x)=x^{1+\frac{1}{2n-1}}\) on the set \([-1,1]\). This function converges to \(f(x)=|x|\), which is not differentiable.

pointwise convergence does not preserve Riemann integration

Let \(r_1, r_2, ...\) be a sequence that includes each rational number in \([0,1]\) exactly once, let \(f_k: [0, 1] \to R\) takes 1 when \(x \in \{ r_1, ..., r_k \}\) otherwise \(0\). Then each \(f_k\) is Riemann integrable and \(\int_0^1 f_k = 0\).

It is easy to see \(\lim_k f_k = f\) where \(f\) takes 1 when rational otherwise 0. However, \(f\) is not Riemann integrable (because set of discontinuity has measure of 1)

#### 2.1.2. Uniform Convergence

pointwise convergence is a local property, while the uniform convergence is a global property. Uniform convergence have a couple of good properties as follows. It preserves continuity, differentiability and integrability.

**Definition (uniform convergence)** The sequence \((f_n)\) converges uniformly on \(A\) to a limit function \(f\) defined on \(A\) if for every \(\epsilon > 0\), there exists an \(N\) such that

**Criterion (Cauchy)** \(f_n\) converges uniformly to \(f\) iff for every \(\epsilon > 0\), there exists a \(N\) such that

**Criterion (Dini's theorem)** Assume \(f_n \to f\) pointwise on a compact set \(K\) and assume that for each \(x \in K\), the sequence \(f_n(x)\) is increasing (wrt \(n\)). If \(f_n, f\) are continuous on \(K\), then \(f_n \to f\) uniformly.

#### 2.1.3. Properties of Uniform Convergence

**Theorem (continuity)** Let \(f_n\) be a sequence of functions defined on \(A \subset R\) that converges uniformly on \(A\) to a function \(f\). If \(f_n\) is continuous at \(c \in A\), then \(f\) is continuous at \(c\)

Proof idea is to evaluate \(|f(x)-f(y)|\) by 3 pieces

where each piece can be bounded uniformly.

**Corrolary (uniform continuity)** uniform continuity is also preserved by uniform convergence by a similar proof

Both pointwise convergence and uniform convergence of \(f_n\) implies nothing about the sequence of \(f'_n\), neither uniform convergence or pointwise convergence of \(f'_n\) is guaranteed.

**Theorem (differentiability)** Let \(f_n\) be a sequence of differetiable functions defined on \([a,b]\) and \(f'_{n}\) converges uniformly to a function \(g\) on \([a,b]\). If there exists a point \(x_0 \in [a,b]\) for which \(f_n(x_0)\) is convergent, then \(f_n\) converges uniformly. Moreover, the limit function \(f=\lim f_n\) is differentiable and satisfies \(f' = g\)

Proof: idea is to evaluate \(|\frac{f(x)-f(c)}{x-c} - g(c)|\) by 3 pieces

where the first term can be bound using mean value theorem

Note again that \(f_n\)'s uniform convergence does not imply \(f'_n\)'s convergence, but \(f'_n\)'s uniform convergence almost implies \(f_n\)'s uniform convergence

\(f_n\) uniform convergence does not imply \(f'_n\)'s uniform convergence

Consider the function

This function converges to 0 uniformly on \([0,1]\), however, \(f'_n(x)\) is not converge uniformly on \([0,1]\)

\(f_n\) uniform convergence does not even imply \(f'_n\)'s pointwise convergence

Consider the function

This function converges to 0 uniformly on \(R\) but \(f'_n\) diverges for every \(x\)

**Theorem (integrability)** Assume that \(f_n \to f\) uniformly on \([a, b]\), and each \(f_n\) is integrable. Then \(f\) is integrable and

\(\lim\) and \(\int\) might not interchange when \(f_n\) is pointwise convergence

Consider the function \(f(x)\) with domain \([0,1]\)

This converges pointwise to \(f(x) = 0\) on \([0,1]\), however,

Again, the interchange is valid when the convergence is uniform convergence

### 2.2. Function Series

This subsection is about

#### 2.2.1. Convergence

**Definition (function series convergence)** For each \(n\), let \(f_n\) and \(f\) be functions defined on a set \(A\). The infinite series

*converges pointwise* on A to \(f(x)\) iff the sequence \(s_k(x)\) of partial sums defined by

converges pointwise to \(f(x)\). The series *converges uniformly* on \(A\) to \(f\) if the sequence \(s_k(x)\) converges uniformly on \(A\) to \(f(x)\).

By applying uniform convergence properties to series, we get following conclusions.

**Theorem (Term-by-Term Continuity Theorem)** Let \(f_n\) be continuous functions defined on a set \(A\), and \(\sum_{n=1}^{\infty} f_n\) converges uniformly on \(A\) to a function \(f\), then \(f\) is continuous on \(A\).

**Theorem (Term-by-Term Differentiability Theorem)** Let \(f_n\) be differentiable functions defined on an interval \(A\), and \(\sum_{n=1}^{\infty} f'_n(x)\) converges uniformly to a limit \(g(x)\) on \(A\). If there exists a point \(x_0 \in [a,b]\) where \(\sum_{n=1}^{\infty} f_n(x_0)\) converges, then the series \(\sum_{n=1}^{\infty} f_n(x)\) converges uniformly to a differentiable function \(f(x)\) satisfying \(f'(x)=g(x)\), which means

**Criterion (Cauchy)** A series \(\sum_{i} f_n\) converges uniformly on \(A \subseteq R\) iff

**Criterion (Weierstrass M-test)** For each \(n \in N\), let \(f_n\) be a function defined on a set \(A \subset R\) and let \(M_n > 0\) be a real number satisfying

where \(\sum_{n=1}^{\infty} M_n\) converges, then \(\sum_{n=1}^{\infty} f_n\) converges uniformly on \(A\)

M-test's opposite is not true

It \(f_n\) converges uniformly, it does not always exist a upper bound convergent series \(M_n\), think about the constant function of the alternating harmonic series

#### 2.2.2. Power Series

**Definition (power series)** a power series centered at \(a \in \mathcal{R}\) is any series of the form

where \(c_n\) is a sequence of real numbers not depending on \(x\)

**Definition (radius of convergence)** Let \(\sum_{n=0}^{\infty} c_n (x-a)^n\) be a formal power series. we define the radius of convergence \(R\) of this series to be

There are three cases depending on the radius of convergence

Example (radius is 0)

Consider the series

This has the radius of convergece \(R=0\), it converges only at 0, and diverges all other points

Example (radius is infinity)

Consider the series

This is \(e^x\) and has radius of convergence \(R=\infty\), it converges at every point

Example (radius = r)

When radius=r, there are 4 possibility of convergence set

1) convergence happens at \((-r, r)\)

2) convergence happens at \([-r, r)\)

3) convergence happens at \((-r, r]\)

4) convergence happens at \([-r, r]\)

**Theorem** If a power series \(\sum_{n=0}^{\infty} a_n x^n\) has the raidus of convergence \(R\), then it converges absolutely for any \(x\) such that \(|x| < R\). It diverges for any \(x\) when \(|x| > R\)

The main implication here is that the set of convergence has to be \({0}, R\) or a bounded interval.

**Theorem (Abel)** Let \(g(x) = \sum_{n=0}^{\infty} a_n x^n\) be a power series that converge at \(x=R > 0\), then it converges uniformly on the interval \([0, R]\).

**Theorem** If a power series converges pointwise on the set \(A \subseteq R\), then it converges uniformly on any compact set \(K \subseteq A\)

**Theorem** Assume \(f(x)=\sum_{n=0}^{\infty} a_n x^n\) converges on an interval \(A \subseteq R\). The function \(f\) is continuous on \(A\) and differentiable on any open interval \((-R,R) \subseteq A\). The derivative is given by \(f'(x) = \sum_{n=1}^{\infty} na_n x^{n-1}\).

On its interval of convergence, a power series can be manipulated more or less as if they are polynomials: they are continuous and infinitely differentiable. Successive derivatives and antiderivatives can be computed by performing the desired operation on each individual term in the series.

#### 2.2.3. Taylor Series

**Theorem (Taylor series)** Let \(f(x)\) has a power series representation. i.e.:

be defined on some nontrivial interval centered at zero, then

Therefore, the *Talyor series (Maclaurin series)* is

Note this is saying if \(f(x)\) has a power series, then it has to be the Taylor series. It is not saying that the Taylor series has to be the power series representation.

Talyor series might not be convergent on R

Consider the following representation

This series is only convergent in (-1,1)

The following example shows that not every infinitely differentiable function can be represented by its Taylor series.

Even Taylor series converges, it might not converges to the target function

Consider the function

The Taylor series of this function is \(0\) everywhere, therefore it does not converges to the original \(f(x)\)

To measure the diff between the Talyor series and the actual value, we have a powerful tool.

**Theorem (Lagrange's Remainder Theorem)** Let \(f\) be differentiable \(N+1\) times on \((-R, R)\), define \(a_n = f^{(n)}(0)/n!\), Given \(x \neq 0\) in \((-R,R)\), there exists a point \(c\) such that \(|c| < |x|\) , then the error function \(E_N(x) = f(x) - S_N(x)\) is

**Theorem (Stone-Weierstrass)** Let \(f: [a,b] \to R\) be continuous. Given \(\epsilon > 0\) there exists a polynomial \(p(x)\) satisfying \(\forall{x \in [a,b] }\)

Note the requirement here is only the continuity, not infinite differentiability.

Note that not all infinitely differentiable function can be represented by its Taylor series. There are cases that Taylor series not converging to the target function.

## 3. Reference

[1] Tao, Terence. Analysis. Vol. 1. Hindustan Book Agency, 2006.

[2] Tao, Terence. Analysis. Vol. 2. Hindustan Book Agency, 2006.

[3] Abbott, Stephen. Understanding analysis. Vol. 2. New York: Springer, 2001.

[4] Lax, Peter D., and Maria Shea Terrell. Multivariable Calculus with Applications. Springer, 2017.

[5] 杉浦光夫. "解析入門 I." 東京大学出版会

[6] 杉浦光夫. "解析入門 II." 東京大学出版会