I have a general question about sequence of functions (fn) from [0,1] to reals which are non-uniformly Lipschitz (i.e., each has a Lipschitz constant Dn but we don't know if it is bounded) and converge uniformly to a function with Lipschitz constant D. I have been thinking whether if this was sufficient to say that the set {Dn,n∈N} is bounded. I have seen here examples which give examples of non-Lipschitz functions converging to Lipschitz ones so it seems this idea may not be correct. And indeed I was able to build a counter example which is
fn(x)=nxe−nnx
The derivative of these functions at 0 is n, so there are elements of this sequence with arbitrarily large Lipschitz constant (and each fn is indeed Lipschitz since their derivative is continuous in [0,1]). Moreover for these functions the maximum is achieved at x=1nn with value 1enn−1 so they uniformly converge to 0.
Thus this builds a counterexample. Now my question is could one add some more assumptions to such a sequence so that the Lipschitz constants would be bounded (of course no easy assumptions like the functions being differentiable and their derivatives converging etc, it should be a topological property).
Thanks
Answer
If I understand correctly, the question is: given that fn→f and f is Lipschitz, what additional assumptions do we need to conclude that (fn) is a uniformly Lipschitz sequence?
Concerning
it should be a topological property
I remark that Lipschitz-ness is not a topological property, it is a metric property. If we are on a topological space without a metric, the concept of being Lipschitz does not exist.
Here is a metric assumption: the sequence (fn) converges in the Lipschitz norm ‖ The definition of norm (1) involves choosing a base point x_0 in our metric space; the term |f(x_0)| is necessary so that the constant functions get nonzero norm.
Let's check. Suppose \|f_n-f\|_{\rm Lip}\to 0 and f is Lipschitz. Then there is N such that for all n\ge N we have \|f_n-f\|_{\rm Lip}\le 1. Hence \|f_n\|\le 1+\|f\|_{\rm Lip}, which is a uniform upper bound on the Lipschitz constants of f_n.
No comments:
Post a Comment