We will construct a sequence of functions on the unit interval such that it converges uniformly to zero while the arc-lengths diverge to infinity.
Let us compare a sequence of frog hops, cricket hops and flea hops. We assume each hop is a semi-circle so that the length is easily calculated. If the total distance is and there are semi-circular hops, the step-size between landings is , so each arc has length and the total arc-length is , independent of . Thus, the frog, cricket and flea travel equal distances.
To simplify the analysis, we will replace the semi-circles by line segments. We start with the tent-function
Having defined , the next function is defined by halving the height and doubling the number of peaks in the interval . The first three functions are shown in Fig. 2. Each of the functions has the same total arc-length, .
Sequence with Unbounded Variation
We now define another sequence, as follows. Start with . At each stage, we halve the height but increase the number of peaks by a factor of 4. The first few members of the sequence are shown in Fig. 3.
There is now a big difference. At stage , there are peaks, each of height . On the interval , has linear segments, each being longer than the height . Therefore, the total length of over is
Thus, the total length increases without bound as . The total variation of on increases without bound as . The sequence does not have bounded variation (BV).
The sequence is uniformly convergent to zero on the unit interval. This is easily seen: given , choose so that . Then
So we have a curious sequence such that tends uniformly to zero, but the length of grows without bound as .
The functions and have discontinuous derivatives. However, this is not relevant. We can construct a sequence of functions differentiable on that have length growing without bound while they converge uniformly to zero. Let us set
The first four members of the sequence are shown in Fig. 4. On the basis of the arguments above, it is clear that the sequence converges uniformly to zero while the lengths of the functions grow without bound.