Section 12.2

Convolution, Smooth Approximation, and a Smooth Urysohn's Lemma

[6/0%]
LaTeX
Problem 12.8

Define f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} by f(0)=0f(0) = 0 and otherwise f(x)=exp⁡(−1/x2)f(x) = \exp \left(-1 / x^{2}\right). Use the Taylor expansion for exp⁡(x)\exp (x) at x=0x = 0 to show that for each polynomial p(x)p(x),

lim⁡x→0p(1/x)f(x)=0 \lim _{x \rightarrow 0} p(1 / x) f(x) = 0

Use this to show that f∈C∞(R)f \in C^{\infty }(\mathbb {R}), and f(k)(0)=0f^{(k)}(0) = 0 for all kk. For what x∈Rnx \in \mathbb {R}^{n} does the Taylor expansion of ff at x=0x = 0 agree with f(x)f(x) ?

?
Problem 12.9

Use the preceding problem to verify that the function ww belongs to Cc∞(R)C_{c}^{\infty }(\mathbb {R}).

?
Problem 12.10

For 1≤p<∞1 \leq p < \infty, let f∈Lp(Rn)f \in L^{p}\left(\mathbb {R}^{n}\right). Show that if ∫Rnf(x)g(x)dx=0\int_{\mathbb {R}^{n}} f(x) g(x) d x = 0 for all g∈Cc∞(Rn)g \in C_{c}^{\infty }\left(\mathbb {R}^{n}\right), then f=0f = 0.

?
Problem 12.11

For the function f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} defined by f(x)=x−1/2⋅χ(0,1)(x)f(x) = x^{-1 / 2} \cdot \chi_{(0,1)}(x), show that (f∗f)(x)(f * f)(x) is defined for all xx and is finite for x≠0x \neq 0.

?
Problem 12.12

Show that if f:Rn→Rf: \mathbb {R}^{n} \rightarrow \mathbb {R} is bounded and continuous, then, as ϵ→0,{f∗wϵ}→f\epsilon \rightarrow 0,\left\{ f * w_{\epsilon }\right\} \rightarrow f pointwise, uniformly on compact sets.

?
Problem 12.13

Let k∈L2(Rn×Rn)k \in L^{2}\left(\mathbb {R}^{n} \times \mathbb {R}^{n}\right), and define the integral operator T:L2(Rn)→L2(Rn)T: L^{2}\left(\mathbb {R}^{n}\right) \rightarrow L^{2}\left(\mathbb {R}^{n}\right) by

T(f)(x)=∫Rnk(x,y)f(y)dy for f∈L2(Rn) and x∈Rn T(f)(x) = \int _{\mathbb {R}^{n}} k(x, y) f(y) d y \text{ for } f \in L^{2}\left(\mathbb {R}^{n}\right) \text{ and } x \in \mathbb {R}^{n}

Show that the linear operator TT is properly defined, and determine a c≥0c \geq 0 for which

∥T(f)∥2≤c⋅∥f∥2 for all f∈L2(Rn).  \left\| T(f)\right\| _{2} \leq c \cdot \left\| f\right\| _{2} \text{ for all } f \in L^{2}\left(\mathbb {R}^{n}\right) \text{. }
?