# Uniform boundedness implies equicontinuity on compact domains?

Suppose $F:\mathbb R^2 \to \mathbb R$ is continuous. Assume $f_n$ is a uniformly bounded sequence of real-valued functions on $[0,1]$ such that for each $n, f_n'(x) = F(x,f_n(x)),x\in [0,1].$

Is there a subsequence $f_{n_k}$ that converges uniformly on $[0,1]?$

This question seems to be coming down to prove $\{f'_n(x)\}$ is equicontinuous. If so, then it has a uniformly convergent subsequence and then so does $\{f_n\}$. We know each $f_n'(x)$ is uniformly continuous on $[0,1]$ by compactness. But in general, uniform continuity for each function doesn't imply equicontinuity, correct?

• That first paragraph needs a rewrite. – zhw. Dec 17 '15 at 0:49
• Could you edit it or elaborate? – FTem Dec 17 '15 at 2:26
• No it would be better if you did it. You can't see the problem? – zhw. Dec 17 '15 at 2:30
• I fixed everything I could find... did I miss something? Also, any thoughts on the problem? I think I can show the this all true if $\{f'_n\}$ is uniformly bounded... – FTem Dec 17 '15 at 2:46
• I edited the question to make it simpler. I am not sure why you think this comes down to showing $f_n'$ is equicontinuous. – zhw. Dec 17 '15 at 20:19

The answer is yes. Proof: We are given that there exists a constant $M$ such that $|f_n|\le M$ on $[0,1]$ for all $n.$ Now $F$ is continuous on $[0,1]\times [-M,M],$ a compact set. Therefore $|F|$ is bounded by some constant $C$ on this set. It follows that
$$|f_n'(x)| = |F(x,f_n(x))| \le C$$
for all $n$ and all $x\in [0,1].$ By the mean value theorem, we then have $|f_n(y)-f_n(x)| \le C|y-x|$ for all $n$ and all $x,y \in [0,1].$ This shows $(f_n)$ is equicontinuous, and since $(f_n)$ is uniformly bounded, Arzela-Ascoli gives the desired uniformly convergent subsequence.
{"ft_lang_label":"__label__en","ft_lang_prob":0.915073,"math_prob":0.9996588,"size":589,"snap":"2020-10-2020-16","text_gpt3_token_len":181,"char_repetition_ratio":0.14017095,"word_repetition_ratio":0.0,"special_character_ratio":0.3073005,"punctuation_ratio":0.14876033,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99994075,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-04-07T01:31:40Z\",\"WARC-Record-ID\":\"<urn:uuid:bae3b7e6-ef66-4d8a-888e-f36298d3e330>\",\"Content-Length\":\"144632\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ca1bc34c-4c00-4e26-b538-c2baca157c1c>\",\"WARC-Concurrent-To\":\"<urn:uuid:dee78272-6d97-4c39-8ef5-c7bebc9932e1>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/1579168/uniform-boundedness-implies-equicontinuity-on-compact-domains\",\"WARC-Payload-Digest\":\"sha1:MMSJWWBB6VUZTXN6GNTWOENWZC7CEEZ2\",\"WARC-Block-Digest\":\"sha1:SDCMNK3WPDPS5737BUAB7AVJACXKFRQA\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-16/CC-MAIN-2020-16_segments_1585371662966.69_warc_CC-MAIN-20200406231617-20200407022117-00449.warc.gz\"}"}