0
$\begingroup$

Let $\{f_{n}\}$ be a sequence of positive continuous functions on $\mathbb R$; $f_{n}:\mathbb R\to \mathbb R$, for all $n\geq 1$, with the folloing properties:

(1) $\{f_{n}\}$ is uniformly bounded by some constant $C>0$,

(2) $\{f_{n}\}$ is uniformly Lipschitz on $\mathbb R$ (so it is uniformly continuous)

(3) $\{f\,'_{n}\}$ is uniformly bounded (sequence of the derivatives), which I think follows from (2).

Does this sequence converges on $\mathbb R$ (or at least contains a subsequence which converges), uniformly on compact sets, or pointwise, to some continuous function $f$ ? If not, what extra (possible) condition must the sequence have to converge to some continuous function?

1 Answers 1

2

By Arzela-Ascoli's theorem your sequence has a uniformly convergent subsequence (the limit of which will, of course, be continuous) on each compact subset. You cannot hope for convergence of the sequence itself, though.

  • 0
    I just noted that the link I included actually explicitly answers the question2012-06-17
  • 0
    @Berry It does not, this is why I wrote 'on each compact subset'.2012-06-17
  • 0
    In your link, at the middle of the page, it says " Euclidean spaces The Arzelà–Ascoli theorem holds, more generally, if the functions ƒn take values in d-dimensional Euclidean space Rd", does this mean that the result apply in $\mathbb R$, and the convergence is uniform in $\mathbb R$? And, what is the R-valued version of the Arzelà–Ascoli theorem ?2012-06-17
  • 0
    @Berry You can however look at recursively defined subsequences $f^{n}_k:[-n,n]\rightarrow \mathbb{R} $ -- i.e., $f^n_k$ is a subsequence of $f^{n-1}_k$, restricted to $[n,n]$, to arrive a continuous limit function on $\mathbb{R}$. It'd be necessary to check what kind of convergence you'd get, though. Uhm, yes, what's the problem with target $\mathbb{R}^n$?2012-06-17
  • 0
    You are looking at $f_k:\mathbb{R} \rightarrow \mathbb{R}$. That is perfectly fine, if you restrict to compact sets (e.g. closed intervals). The comment on the page just says that the target space may be replaced by a more general space.2012-06-17
  • 0
    Okay. So to summarise: There will be a subsequence $f_{n_{k}}$ that converges uniform to some $f$ on compact subsets of $\mathbb R$. Now, in this case the subsequence will also converges pointwise to $f$ on $\mathbb R$, is that correct? I think so!2012-06-17
  • 0
    @Berry yes, that is correct.2012-06-17