User Tools

Site Tools


math104-s21:hw12

HW 12

1. (2 point) Show that if ff is integrable on [a,b][a,b], then for any sub-interval [c,d][a,b][c,d] \subset [a,b], ff is integrable on [c,d][c,d].

2. (2 point) If ff is a continuous non-negative function on [a,b][a,b], and abfdx=0\int_a^b f dx = 0, then f(x)=0f(x)=0 for all x[a,b]x \in [a,b].

3. (3 point) Let f:[0,1]Rf:[0,1] \to \R be given by f(x)={0if x=0sin(1/x)if x(0,1]. f(x) = \begin{cases} 0 &\text{if } x = 0 \cr \sin(1/x) &\text{if } x \in (0,1] \end{cases}. And let α:[0,1]R\alpha: [0, 1] \to \R be given by α(x)={0if x=0nN,1/n<x2nif x(0,1]. \alpha(x) = \begin{cases} 0 &\text{if } x = 0 \cr \sum_{n \in \N, 1/n<x} 2^{-n} &\text{if } x \in (0,1] \end{cases}. Prove that ff is integrable with respect to α\alpha on [0,1][0,1]. Hint: prove that α(x)\alpha(x) is continuous at x=0x=0.

4. (3 point) Let p,q>0p,q>0 be positive real numbers, such that 1/p+1/q=11/p + 1/q = 1. Prove that, if f,gf, g are bounded real functions on [a,b][a,b] that are Riemann integrable, then fgdx[fpdx]1/p[gqdx]1/q \int fg dx \leq \left[ \int |f|^p dx \right]^{1/p} \left[ \int |g|^q dx \right]^{1/q} Hint: (a) If u0,v0u \geq 0, v \geq 0, then uvupp+vqq uv \leq \frac{u^p}{p} + \frac{v^q}{q} If you cannot prove this, you may assume it and proceed (no points taken off). If you want to prove it, you may fix uu and let vv vary from 00 to \infty, and watch how upp+vqquv\frac{u^p}{p} + \frac{v^q}{q} - uv change, and obtain that at the minimum the quantity is still non-negative.

(b) If f,gf, g are non-negative Riemann integrable functions on [a,b][a,b], and fpdx=1,gq(x)dx=1 \int f^p dx = 1, \quad \int g^q(x) dx = 1 Show that fgdx1\int fg dx \leq 1.

Suggested reading:
1. Ross theorem 32.7, if a function ff is Riemann integrable on [a,b][a,b], then as 'mesh-size' of a partition goes to 0, the gap U(P,f)L(P,f)U(P, f) - L(P, f) tends to 0.

2. There is a 'Lebesgue criterion for Riemann integrability', see here. A weaker version that avoids introducing Lebesgue measure is the following: if f:[a,b]Rf:[a,b] \to \R is bounded and real, and ff has countably many discontinuities, then ff is Riemann integrable. You can try to prove this using a similar strategy to Theorem 6.10 in Rudin.

math104-s21/hw12.txt · Last modified: 2022/01/11 10:57 by pzhou