Exam 9 (64–70)ΒΆ

2006 AprΒΆ

Instructions. Do as many problems as you can. Complete solutions (except for minor flaws) to 5 problems would be considered a good performance. Fewer than 5 complete solutions may still be passing, depending on the quality.

Problem 64

Use only β€œepsilon-delta” techniques to prove the following discrete version of the Lebesgue dominated convergence theorem: Suppose \(f_k: β„• β†’ ℝ\) is a sequence of functions that converges pointwise to 0, and there is a function \(f: β„• β†’ [0, ∞)\) with \(βˆ‘_{n∈ β„•} f(n) < ∞\) and \(|f_k(n)| ≀ f(n)\) for all \(n\) and for all \(k\). Then \(\lim\limits_{kβ†’βˆž}βˆ‘_{n∈ β„•} f_k(n)=0\).

Problem 65

For real numbers \(a\) and \(b\) with \(0<a<b\), evaluate the integral

\[∫_0^∞ \frac{e^{-ax} - e^{-bx}}{x} \, dx := \lim\limits_{cβ†’+∞}∫_{1/c}^c \frac{e^{-ax} - e^{-bx}}{x} \, dx.\]

Justify (in writing) all crucial steps using well-known results. Hint. Consider \(∫_a^b e^{-xy}\, dy\).

Problem 66

Let \(f∈ L_2[0,1]\) and define \(g(x) = ∫_0^x f(t)\, dt\), \(0≀ x ≀ 1\). Show that \(\|g\|_2 ≀ \frac{1}{2}\|f\|_2\).

Problem 67
  1. Let \(\{f_n\}\) be a sequence of measurable functions on the measurable space \((X, 𝔐)\). Prove, from the definition of measurability, that \(\lim\sup_{nβ†’βˆž} f_n\) is measurable.

  2. Let \(\{f_n\}\) be a sequence of measurable functions on the measurable space \((X, 𝔐)\). Prove that the set of points where \(\lim_{nβ†’βˆž} f_n\) exists is measurable.

Problem 68

Let \(f: ℝ→[0,∞)\) be uniformly continuous with \(∫_{-∞}^∞ f(x)\, dx < ∞\). Prove that \(f\) is bounded.

Problem 69

A function \(f\) satisfies a Lipschitz condition on an interval if there is a constant \(M\) such that \(|f(x) - f(y)| ≀ M|x-y|\) for all \(x\) in the interval.

  1. Show that a function satisfying a Lipschitz condition is absolutely continuous.

  2. Show that an absolutely continuous function on an interval \(J\) satisfyies a Lipschitz condition if and only if \(f' ∈ L_∞(J)\).

Problem 70

Let \(ΞΌ\) and \(Ξ½\) be finite positive measures on the measurable space \((X, 𝔐)\) such that \(Ξ½ β‰ͺ ΞΌ β‰ͺ Ξ½\), and let \(\frac{dΞ½}{d(ΞΌ+Ξ½)}\) represent the Radon-Nikodym derivative of \(Ξ½\) with respect to \(ΞΌ+Ξ½\). Show that

\[0< \frac{dΞ½}{d(ΞΌ+Ξ½)} < 1 \quad ΞΌ\text{-a.e.}\]

Solution to Problem 64

It suffices to show that for all \(Ξ΅>0\) there exists \(K>0\) such that \(k > K\) implies \(\bigl|βˆ‘_{n∈ β„•}f_k(n)\bigr| < Ξ΅\).

Fix \(Ξ΅>0\). Since \(βˆ‘_n f(n) < ∞\), there exists \(N>0\) such that \(βˆ‘_{nβ‰₯N} f(n) < Ξ΅/2\).

For each \(0≀ j < N\), there exists \(n_j\) such that

\[k > n_j \quad ⟹ \quad |f_k(j)| < \frac{Ρ}{2N}.\]

Define \(K := \max \{n_j ∣ 0≀ j< N\}\).

To complete the proof, we show that \(k β‰₯ K\) implies \(\bigl|βˆ‘_{n∈ β„•}f_k(n)\bigr| < Ξ΅\).

Indeed, if \(kβ‰₯ K\), then

\[\begin{split}\bigl|βˆ‘_{n ∈ β„•} f_k(n)\bigr| & ≀ βˆ‘_{n ∈ β„•} |f_k(n)| &\\ & = βˆ‘_{n=0}^{N-1} |f_k(n)| + βˆ‘_{n=N}^∞ |f_k(n)| &\\ & = N \frac{Ξ΅}{2N} + βˆ‘_{n=N}^∞ f(n)&(∡ k > K)\\ & = \frac{Ξ΅}{2} + \frac{Ξ΅}{2} = Ξ΅ &(\text{by definition of } N).\end{split}\]

☐

Solution to Problem 65

Following the hint, consider

\[∫_a^b e^{-xy}\, dy = \left.\frac{-e^{-xy}}{x}\right|_{y=a}^{y=b} = \frac{-e^{-xb}+e^{-xa}}{x} = \frac{e^{-xa}-e^{-xb}}{x}.\]

Therefore,

\[∫_0^∞ \frac{e^{-ax} - e^{-bx}}{x} \, dx = ∫_0^∞ \bigl(∫_a^b e^{-xy}\, dy\bigr)\, dx = \lim\limits_{cβ†’+∞}∫_{1/c}^c\bigl( ∫_a^b e^{-xy}\, dy \bigr)\, dx.\]

By Tonelli’s theorem we have

(46)ΒΆ\[∫_Y \left(∫_X g(x,y)\, dx\right)\, dy = ∬_{XΓ—Y}g(x,y)\, dm(xΓ—y) = ∫_X \left(∫_Y g(x,y)\, dy\right)\, dy,\]

whenever \(g: X Γ— Y β†’ [0,∞]\) is measurable with respect to product measure on \(X Γ— Y\).

In the present case, \(g(x,y) := e^{-xy}\), which is continuous, hence measurable, and \(gβ‰₯0\).

Therefore, we can compute the integral as either of the iterated integrals in (46). We choose to integrate with respect to \(x\) first.

\[\begin{split}∫_a^b \bigl(\lim\limits_{cβ†’+∞}∫_{1/c}^c e^{-xy}\, dx \bigr)\, dy &= ∫_a^b \left[\frac{-e^{-xy}}{y}\right]_{x=0}^{x β†’ ∞}\, dy \\ &= ∫_a^b \lim\limits_{cβ†’βˆž}\left(\frac{-e^{-cy} + e^{-y/c}}{y}\right)\, dy \\ &= ∫_a^b \frac{1}{y}\, dy = \left. \log y \right|_a^b = \log b - \log a = \log (b/a).\end{split}\]

☐

Solution to Problem 66

This is false as the following example shows:

Let \(f(x) = 1-x\). Then

\[\begin{split}\|f\|_2^2 &= ∫_0^1 |f(x)|^2\, dx=∫_0^1 (1-x)(1-x)\, dx= ∫_0^1 1-2x +x^2\, dx \\&= \left[x-x^2 +\frac{x^3}{3}\right]_0^1 = 1-1 +\frac{1}{3} = \frac{1}{3}.\end{split}\]
\[\begin{split}\|g\|_2^2 &= ∫_0^1 |g(x)|^2\, dx =∫_0^1 \left|∫_0^x f(t)\, dt\right|^2 \, dx= ∫_0^1 \left|x-\frac{x^2}{2}\right|^2 \, dx\\ &= ∫_0^1 (x^2-x^3 + \frac{x^4}{4}) \, dx= \left[\frac{x^3}{3} - \frac{x^4}{4}+ \frac{x^5}{20}\right]_0^1\\ &=\frac{1}{3} - \frac{1}{4}+ \frac{1}{20} = \frac{1}{12} + \frac{1}{20} = \frac{32}{240} = \frac{4}{30}.\end{split}\]

Then,

\[\|g\|_2 = \sqrt{\frac{4}{30}} = \frac{2}{\sqrt{2}\sqrt{3}\sqrt{5}} = \frac{\sqrt{2}}{\sqrt{5} \sqrt{3}} \quad \text{ and } \quad \|f\|_2 = \frac{1}{\sqrt{3}}.\]

Claim. \(\frac{2\sqrt{2}}{\sqrt{5} \sqrt{3}} β‰° \frac{1}{2\sqrt{3}}\).

\[\begin{split}\frac{\sqrt{2}}{\sqrt{5} \sqrt{3}} &≀ \frac{1}{2\sqrt{3}}\\ \frac{2\sqrt{3}\sqrt{2}}{\sqrt{5} \sqrt{3}} &≀1\\ \frac{2\sqrt{2}}{\sqrt{5}} &≀ 1\\ 1.264911064 &β‰° 1\\\end{split}\]

☐

Solution to Problem 67

  1. Let \((X, 𝔐)\) be the measurable space under consideration, and define

    \[g_k(x) := (\sup_{nβ‰₯k} f_n)(x).\]

    We first show that this supremum of a sequence of measurable functions is measurable. This requires we prove for all \(α∈ ℝ\) and all \(k∈ β„•\) that \(g_k^{-1}(Ξ±, ∞] ∈ 𝔐\).

    Fix \(α∈ ℝ\) and \(k∈ β„•\). Then,

    (47)ΒΆ\[\begin{split}g_k^{-1}(Ξ±, ∞] &= \{x∈ X ∣ g_k(x) > Ξ±\}\\ & = ⋃_{nβ‰₯ k} \{x ∈ X ∣ f_n(x) > Ξ±\}\\ & = ⋃_{nβ‰₯ k} f_n^{-1}(Ξ±, ∞].\end{split}\]

    Now, since \(f_n^{-1}(Ξ±, ∞] ∈ 𝔐\) by measurability of \(f_n\), and since \(𝔐\) is a Οƒ-algebra, we have \(g_k^{-1}(Ξ±, ∞] ∈ 𝔐\) by (47).

    Next observe

    \[\lim\limits_{kβ†’βˆž} g_k = \limsup\limits_{kβ†’βˆž} f_n = \inf\limits_k \sup\limits_{nβ‰₯k} f_n = \inf\limits_k g_k.\]

    To complete the proof then, we must show that \(\inf\limits_k g_k\) is measurable whenever \(\{g_k\}\) is a sequence of measurable functions.

    Observe that \(\inf\limits_{kβ‰₯ 0} g_k = -\sup\limits_{kβ‰₯ 0} (-g_k)\), and \(-g_k\) is measurable since each \(g_k\) is measurable.

    We have already proved that the supremum of a sequence of measurable functions is measurable, so the proof for Part a is complete.

    ☐

  2. We must show that the set \(E:= \{x∈ X ∣ \lim\limits_{nβ†’βˆž} f_n(x) \text{ exists }\}\) is measurable.

    Fix \(x∈ X\) and recall that \(\lim\limits_{nβ†’βˆž} f_n(x)\) exists if and only if \(\liminf\limits_{nβ†’βˆž} f_n(x) = \limsup\limits_{nβ†’βˆž} f_n(x)\). Thus,

    \[E= \{x∈ X ∣ \liminf\limits_{nβ†’βˆž} f_n(x) = \limsup\limits_{nβ†’βˆž} f_n(x)\}.\]

    It follows from Part a above that if \(\{f_n\}\) is a sequence of measurable functions on \((X, 𝔐)\), then \(\liminf\limits_{nβ†’βˆž} f_n(x)\) is measurable. Indeed (dropping \((x)\) for brevity),

    \[\liminf\limits_{nβ†’βˆž} f_n = \sup\limits_{kβ‰₯ 0}\inf\limits_{nβ‰₯k}f_n = \sup\limits_{kβ‰₯ 0}(-\sup\limits_{nβ‰₯k}(-f_n)) = -\inf\limits_{kβ‰₯ 0}\sup\limits_{nβ‰₯k}(-f_n).\]

    The following lemma completes the proof.

    Lemma. If \(g\) and \(h\) are measurable functions, then the set \(\{x∈ X ∣ g(x) = h(x)\}\) is measurable.

    Proof. Let \(\{r_n ∣ n ∈ β„•\}\) be an enumeration of the rationals. Then,

    \[\begin{split}E_1 &:= \{x ∈ X ∣ g(x) < h(x)\}\\ &= ⋃_{n=0}^∞\left(\{x∈ X ∣ g(x) < r_n\} ∩ \{x∈ X ∣ r_n < h(x)\}\right),\end{split}\]

    is measurable since each set involved in the union is measurable. For the same reason, the set \(E_2 := \{x ∈ X ∣ g(x) > h(x)\}\) is also measurable.

    Therefore, \(\{x∈ X ∣ g(x) = h(x)\} = X - E_1 - E_2\) is measurable.

    ☐

Solution to Problem 68

We must show there exists \(M>0\) such that \(βˆ€ x∈ ℝ\), \(f(x) < M\).

Define \(I := ∫_{-∞}^∞ f(x) \, dx\) and keep in mind that \(I<∞\).

Suppose on the contrary that \(f\) is unbounded.

By uniform continuity, \(βˆ€ Ξ΅>0\), \(βˆƒ Ξ΄>0\), \(βˆ€ x, y ∈ ℝ\),

(48)¢\[|x-y| < δ \; ⟹ \; |f(x) - f(y)|<Ρ.\]

Consider \(M := I/Ξ΄\). Suppose there exists \(x∈ ℝ\) such that \(f(x) > M + Ξ΅\).

By (48), for all \(y∈ B(x;δ)\) we have \(|f(x) - f(y)|<Ρ\), so \(f(y) > M\) for all \(y∈ B(x;δ)\). Therefore,

\[I := ∫_{-∞}^∞ f(x) \, dx β‰₯ ∫_{B(x;Ξ΄)} f(x) \, dx > M β‹… m(B(x;Ξ΄)) = M β‹… 2Ξ΄ = 2I,\]

a contradiction.

We have thus proved that \(Ξ΅ + I/Ξ΄\) is an upper bound on \(f\). By assumption, \(f\) is bounded below by 0, so the proof is complete.

☐

Solution to Problem 69

  1. Assume \(f\) is Lipschitz continuous in \([a,b]\). We must prove \(f ∈ AC[a,b]\).

    That is, we must show for all \(Ρ>0\) there exists \(δ>0\) such that for every finite collection \(\{(a_i,b_i) ∣ i=1,2,\dots, n\}\) of open intervals in \((a,b)\), we have

    \[βˆ‘_{i=1}^n (b_i - a_i) < Ξ΄ \; ⟹ \; βˆ‘_{i=1}^n |f(b_i)- f(a_i)| < Ξ΅.\]

    Fix \(Ξ΅>0\). Let \(M\) be the Lipschitz constant and define \(Ξ΄ := Ξ΅/M\).

    If \(βˆ‘_{i=1}^n (b_i - a_i) < Ξ΄\), then

    \[βˆ‘_{i=1}^n |f(b_i)- f(a_i)| ≀ βˆ‘_{i=1}^n M β‹… (b_i-a_i) =M βˆ‘_{i=1}^n (b_i-a_i) < M β‹… Ξ΄ = Ξ΅.\]

    ☐

  2. Assume \(f∈ AC(J)\).

    (β‡’) Suppose \(f\) is Lipschitz continuous with Lipschitz constant \(M\).

    For \(x\) in the interior of \(J\),

    \[f'(x) = \lim\limits_{h→ 0} \frac{f(x+h) - f(x)}{h}.\]

    For \(h β‰  0\) and \(x + h ∈ J\),

    \[\left|\frac{f(x+h) - f(x)}{h}\right| ≀ \frac{Mh}{h} = M.\]

    Thus if \(h β‰  0\) and \(x + h ∈ J\), then

    \[-M ≀ \frac{f(x+h) - f(x)}{h} ≀ M,\]

    so \(-M ≀ f'(x) ≀ M\) since limits preserve finite bounds.

    Therefore, \(f'(x)\) is bounded for almost every \(x∈ J\).

    Measurability of \(f'\) follows from Problem 4. Whence \(f'∈ L_∞(J)\).

    (⇐) Suppose \(f' ∈ L_∞(J)\), so \(|f'| ≀ M\) a.e. for some \(M>0\).

    Suppose \(x ≀ y\) in \(J\). Then,

    \[\begin{split}|f(x) - f(y)| &= \left|∫_x^y f'(t) \, dt\right| \qquad (∡ f ∈ AC(J))\\ &≀ ∫_x^y |f'(t)| \, dt ≀ M(y-x) = M |x - y|.\end{split}\]

    Therefore, \(f\) satisfies a Lipschitz condition on \(J\).

    ☐

Solution to Problem 70

Clearly \(ΞΌ β‰ͺ ΞΌ+Ξ½\) and \(Ξ½ β‰ͺ ΞΌ+Ξ½\), so the Radon-Nikodym theorem gives unique nonnegative functions \(f,g ∈ L_1(ΞΌ+Ξ½)\) such that

(49)¢\[μ E = ∫_E f \, d(μ+ν) \quad \text{ and } \quad ν E = ∫_E g \, d(μ+ν),\]

for every \(E ∈ 𝔐\). Here \(g = dΞ½/d(ΞΌ+Ξ½)\).

We must show \(0<g(x)<1\) holds for \(\mu\)-almost every \(x ∈ X\).

Since \(ΞΌ+Ξ½\) and \(Ξ½\) are both positive, it follows from (49) that \(g(x) β‰₯ 0\) for all \(x∈ X\).

Suppose there exists \(E ∈ 𝔐\) such that \(g(x) = 0\) for all \(x ∈ E\).

We will show that \(ΞΌ E = 0\), as this will allow us to conclude \(g>0\) \(ΞΌ\)-a.e.

If \(g(x) = 0\) for all \(x∈ E\), then

\[Ξ½ E = ∫_E g \, d(ΞΌ+Ξ½) = 0 \quad \text{ and } \quad ΞΌ β‰ͺ Ξ½ \; ⟹ \; ΞΌ E = 0.\]

So, to finish the proof, we must show \(g(x) < 1\) for \(μ\)-a.e. \(x∈X\).

Suppose \(g(x) β‰₯ 1\) for \(x ∈ E\). Then,

\[Ξ½ E = ∫_E g\, d(ΞΌ+Ξ½) β‰₯ ∫_E 1 \, d(ΞΌ+Ξ½) = ΞΌ E + Ξ½ E.\]

Now, since \(Ξ½ E\) is finite, we can subtract it from both sides of the last expression yielding \(0β‰₯ ΞΌ E\). On the other hand, \(ΞΌ β‰₯ 0\), so \(ΞΌ E = 0\).

We have thus proved that \(g(x) < 1\) for \(μ\)-almost every \(x ∈ X\).

☐


https://ws-na.amazon-adsystem.com/widgets/q?_encoding=UTF8&MarketPlace=US&ASIN=B01MS1BWXL&ServiceVersion=20070822&ID=AsinImage&WS=1&Format=_SL130_&tag=typefunc-20 https://ws-na.amazon-adsystem.com/widgets/q?_encoding=UTF8&MarketPlace=US&ASIN=0471317160&ServiceVersion=20070822&ID=AsinImage&WS=1&Format=_SL130_&tag=typefunc-20 https://ws-na.amazon-adsystem.com/widgets/q?_encoding=UTF8&MarketPlace=US&ASIN=0134689496&ServiceVersion=20070822&ID=AsinImage&WS=1&Format=_SL130_&tag=typefunc-20 https://ws-na.amazon-adsystem.com/widgets/q?_encoding=UTF8&MarketPlace=US&ASIN=007054235X&ServiceVersion=20070822&ID=AsinImage&WS=1&Format=_SL130_&tag=typefunc-20 https://ws-na.amazon-adsystem.com/widgets/q?_encoding=UTF8&MarketPlace=US&ASIN=0070542341&ServiceVersion=20070822&ID=AsinImage&WS=1&Format=_SL130_&tag=typefunc-20 https://ws-na.amazon-adsystem.com/widgets/q?_encoding=UTF8&MarketPlace=US&ASIN=0070542368&ServiceVersion=20070822&ID=AsinImage&WS=1&Format=_SL130_&tag=typefunc-20

Complex Analysis Exams

Please email comments, suggestions, and corrections to williamdemeo@gmail.com