Saturday, July 21, 2018

real analysis - A sequence of functions which are non-uniformly lipschitz with lipschitz limit


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,nN} 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)=nxennx


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 1enn1 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 fnf 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

analysis - Injection, making bijection

I have injection f \colon A \rightarrow B and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...