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 $(f_n)$ from $[0,1]$ to reals which are non-uniformly Lipschitz (i.e., each has a Lipschitz constant $D_n$ 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 $\{D_n, n \in \mathbb{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


$f_n(x) = nxe^{-n^nx}$


The derivative of these functions at $0$ is $n$, so there are elements of this sequence with arbitrarily large Lipschitz constant (and each $f_n$ is indeed Lipschitz since their derivative is continuous in $[0,1]$). Moreover for these functions the maximum is achieved at $x=\frac{1}{n^n}$ with value $\frac{1}{en^{n-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 $f_n\to f$ and $f$ is Lipschitz, what additional assumptions do we need to conclude that $(f_n)$ 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 $(f_n)$ converges in the Lipschitz norm $$ \|f\|_{\rm Lip} = |f(x_0)|+\sup_{x\ne y}\frac{|f(x)-f(y)|}{d(x,y)} \tag1$$ 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...