Let $\Omega\subset\mathbb R^n$ be compact and $C^{0,\alpha}(\Omega)$ the space of all $\alpha$-Hölder-continuous functions. Define $||u||_{C^{0,\alpha}(\Omega)}:=||u||_{\sup}+\sup\limits_{{x,y\in \Omega\space\&\space x\ne y}}\frac{|u(x)-u(y)|}{|x-y|^\alpha}$ and consider $(C^{0,\alpha}(\Omega),||u||_{C^{0,\alpha}(\Omega)})$ and $\alpha\in]0,1]$ .

How can you prove that for any sequence in bounded closed set of $(C^{0,\alpha}(\Omega),||u||_{C^{0,\alpha}(\Omega)})$ there exists a convergent subsequence (concerning the uniform norm) and it limes is in $(C^{0,\alpha}(\Omega))$?

  • $\begingroup$ Subsequence of what? $\endgroup$ – Norbert Jun 15 '12 at 22:10
  • $\begingroup$ @Norbert of any function on a bounded closed subset of $(C^{0,\alpha}(\Omega),||u||_{C^{0,\alpha}(\Omega)})$ $\endgroup$ – sheldoor Jun 15 '12 at 22:16
  • 1
    $\begingroup$ May be you meant that for any sequence in bounded closed set there exist convergent subsequence such that ... $\endgroup$ – Norbert Jun 15 '12 at 22:23
  • 1
    $\begingroup$ Look up Arzelà-Ascola theorem (e.g. on Wikipedia). $\endgroup$ – D. Thomine Jun 15 '12 at 22:25
  • 2
    $\begingroup$ @Norbert : I am questioning to myself how could i get equi- continuity ? $\endgroup$ – Theorem Jun 15 '12 at 22:36


1) Using estimations of norms prove that if set $F$ is bounded in $(C^{0,\alpha}(\Omega),\Vert\cdot\Vert_{C^{0,\alpha}(\Omega)})$ then it is bounded in $(C^{0}(\Omega),\Vert\cdot\Vert_{C^{0}(\Omega)})$

2) If $F$ is bounded in $(C^{0,\alpha}(\Omega),\Vert\cdot\Vert_{C^{0,\alpha}(\Omega)})$ then $$ \exists C>0\quad\forall u\in F\quad \forall x,y\in\Omega\quad |u(x)-u(y)|\leq C|x-y|^\alpha $$

3) Prove that 2) implies equicontinuity

4) From 1) and 4) you see that $F$ is relatively compact in $(C^{0}(\Omega),\Vert\cdot\Vert_{C^{0}(\Omega)})$.

5) If you get to this paragraph it is remains to prove uniform convergence. Using estimations of norms prove that if sequence $\{u_n:n\in\mathbb{N}\}$ converges in $(C^{0,\alpha}(\Omega),\Vert\cdot\Vert_{C^{0,\alpha}(\Omega)})$, then it converges in $(C^{0}(\Omega),\Vert\cdot\Vert_{C^{0}(\Omega)})$.

6) From statement of paragraph 2) prove that the limit function is $\alpha$-Hölder-continuous.

  • $\begingroup$ I didn't get what $C^0(\Omega)$ means . is it same as taking $\alpha =1$ $\endgroup$ – Theorem Jun 15 '12 at 23:03
  • $\begingroup$ I don't know what is $\gamma$, but $(C^0(\Omega),\Vert\cdot\Vert_{C^0(\Omega)})$ is the space of continuous functions on $\Omega$ with $\sup$ norm. $\endgroup$ – Norbert Jun 15 '12 at 23:05
  • $\begingroup$ sorry , i meant $\alpha$. $\endgroup$ – Theorem Jun 15 '12 at 23:08
  • $\begingroup$ @Norbert isn't it enough to say that all Hölder-continuous functions are uniformly continuous so it follows (1) ? $\endgroup$ – sheldoor Jun 16 '12 at 20:46
  • $\begingroup$ @sheldoor, I don't think so. Generally spaeking the family of uniformly continuous functions is not uniformly bounded - consider constants. $\endgroup$ – Norbert Jun 16 '12 at 20:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.