Uniform convergence of function sequence

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
complexnumber
Messages
61
Reaction score
0

Homework Statement



For [tex]k = 1,2,\ldots[/tex] define [tex]f_k : [0,1] \to \mathbb{R}[/tex] by
[tex] \begin{align*}<br /> f_k(x) = \left\{<br /> \begin{array}{ll}<br /> 4k^2x & 0 \leq \displaystyle x \leq \frac{1}{2k} \\<br /> 4k(1 - kx) & \displaystyle \frac{1}{2k} < x \leq \frac{1}{k} \\<br /> 0 & \displaystyle \frac{1}{k} < x \leq 1<br /> \end{array}<br /> \right.<br /> \end{align*}[/tex]

1. Show that [tex]\{ f_k \}[/tex] has a pointwise limit, [tex]f[/tex], but that
[tex]f_k \nrightarrow f[/tex] uniformly.

2.Does [tex]\displaystyle \int^1_0 f_k(x) dx \to \int^1_0 f(x) dx[/tex]?

Homework Equations





The Attempt at a Solution



1. Does [tex]\{ f_k \}[/tex] converges pointwise to [tex]f = 0[/tex] because for every [tex]x[/tex] there
is always a [tex]k[/tex] such that [tex]\displaystyle \frac{1}{k} < x[/tex]? But taking limit of each interval results in the following function
[tex] \begin{align*}<br /> \lim_{k \to \infty} f_k(x) = \left\{<br /> \begin{array}{ll}<br /> 0 & 0 \\<br /> \infty & \displaystyle 0 < x \leq \frac{1}{2k} \\<br /> \infty & \displaystyle \frac{1}{2k} < x < \frac{1}{k} \\<br /> 0 & \displaystyle \frac{1}{k} \\<br /> 0 & \displaystyle \frac{1}{k} < x \leq 1<br /> \end{array}<br /> \right.<br /> \end{align*}[/tex]

Which one is the correct limit function? What is the reason for the sequence to be not uniformly convergent? Is it because the limit function [tex]f[/tex] broken into intervals is not continuous? But what if the limit function is [tex]f(x) = 0[/tex]?

2. Is this because limit and integrals cannot be exchanged due to sequence not uniformly convergent? What else do I need to prove?
 
Physics news on Phys.org
I find it easier to think about these questions by picking arbitrary [itex]x_0[/itex] in the interval and seeing what happens. If you pick zero,[itex]f_k (0) = 0[/itex] and this is trivial. If [itex]x_0[/itex] is non-zero, indeed you can find large enough k such that [itex]\frac{1}{k} < x_0[/itex], and for that k and larger,[itex]f_k (x_0) = 0[/itex]. This is for arbitrary [itex]x_0[/itex], so you can see how the limit function is just f = 0.

The main problem for you seems to be determining the uniform convergence. I would work straight from the definition:[itex]\forall \epsilon > 0,[/itex] there exists a K such that k > K implies [itex]|f(x) - f_k(x)| < \epsilon[/itex] [itex]\forall x \in \left[ 0,1 \right][/itex]. In your case, [itex]f(x) = 0[/itex] for all x.

I think it's easiest to work from a contradiction. Suppose you had such an epsilon, and such a K. What would happen near zero?

As for the second part, I think it would be very informative to actually evaluate the integral

[tex] \displaystyle \int^1_0 f_k(x) dx[/tex]