5
$\begingroup$

If $\Omega$ is an open set in $\mathbb{R}^n$, is the Hölder space $C^{k, \alpha}(\Omega)$ Banach? Or is it only that $C^{k, \alpha}(\overline{\Omega})$ is Banach, like with ordinary continuous functions? If not, why is that??? Norms are $$|f|_{C^{0,\alpha}} = \sup_{x,y \in \Omega ,\ x \neq y} \frac{| f(x) - f(y) |}{|x-y|^\alpha},$$ $$|f|_{C^{k, \alpha}} = \|f\|_{C^k}+\max_{| \beta | = k} | D^\beta f |_{C^{0,\alpha}}$$ where $$|f|_{C^k} = \max_{| \beta | \leq k} \, \sup_{x\in\Omega} |D^\beta f (x)|$$

Thanks for any help

  • 0
    Can you write the norms you are using? Thanks.2012-08-08
  • 2
    Hi @DavideGiraudo I just use the Wikipedia norms.2012-08-08
  • 0
    And I guess $C^{k,\alpha}(\Omega)$ is the set of functions $k$ times continuously differentiable, with Hölder continuous derivatives, and such that all the derivative of order $\leq$ are bounded in $\Omega$.2012-08-08
  • 0
    If we take a Cauchy sequence in $C^{k,\alpha}(\Omega)$, say $\{f_j\}$, then for each index $\beta$, $\{D^{\beta}f_j\}$ is Cauchy in $C_b(\Omega)$, set of continuous bounded functions on $\Omega$ endowed with the supremum norm. It's a Banach space, hence we can define $g^{\beta}$ as the uniform limit of $D^{\beta}f_j$. Using fundamental theorem of analysis, we can check that $g^{\beta}=D^{\beta}g$.2012-08-08
  • 0
    @DavideGiraudo Thanks. Is it correct: if we have an open set, we must constrain the derivatives to be bounded for space to be Banach. If we have a compact set, it doesn't matter since derivatives will be automatically be bounded so we will have banach. Hence it is possible for $C^k(\Omega)$ to be Banach space where $\Omega$ is open.2012-08-08
  • 0
    You have to require the derivative to be extensible to the boundary when you work with a compact.2012-08-08
  • 0
    @DavideGiraudo I see. And if the function is Holder continuous, it is uniquely extensible to the boundary I believe.2012-08-08
  • 0
    Yes, using Cauchy sequences.2012-08-08

2 Answers 2

3

Note that all $g\in C^{k,\alpha}(\Omega)$ and $\beta\in\mathbb{N}_0^k$ we have $$ \Vert \partial^\beta g\Vert_{C_b(\Omega)}\leq\Vert g\Vert_{C^{k,\alpha}(\Omega)}\tag{1} $$ $$ |\partial^\beta g|_{C^{0,\alpha}}\leq \Vert g\Vert_{C^{k,\alpha}(\Omega)}\tag{2} $$

Let $\{f_n:n\in\mathbb{N}\}$ be a Cauchy sequence in $C^{k,\alpha}(\Omega)$, then for all $\varepsilon>0$, we have $N\in\mathbb{N}$ such that $m,n>N$ implies $$ \Vert f_n-f_m\Vert_{C^{k,\alpha}(\Omega)}<\varepsilon\tag{3} $$ Fix multi-index $\beta\in\mathbb{N}_0^k$ such that $|\beta|\leq k$. From $(1)$ and $(3)$ it follows that for all $\varepsilon>0$, we have $N\in\mathbb{N}$ such that $m,n>N$ implies $\Vert \partial^\beta f_n-\partial^\beta f_m\Vert_{C_b(\Omega)}<\varepsilon$. This means that $\{\partial^\beta f_n: n\in\mathbb{N}\}$ is a Cauchy sequence in $C_b(\Omega)$. Since $C_b(\Omega)$ is complete, then $\{\partial^\beta f_n: n\in\mathbb{N}\}$ converges to some function in $C_b(\Omega)$. By $\varphi$ we denote limit of $\{ f_n:n\in\mathbb{N}\}$ in $C_b(\Omega)$.

Now we use the following standard result

Let $\{f_n:n\in\mathbb{N}\}\subset C(\Omega)$ be a family of differentiable functions, such that

1) the sequence $\{\partial_{x_i}f_n:n\in\mathbb{N}\}$ converges in $C_b(\Omega)$ to $g\in C_b(\Omega)$.

2) for some point $x\in\Omega$ the sequence $\{f_n(x_0):n\in\mathbb{N}\}$ is convergent

Then $\{f_n:n\in\mathbb{N}\}$ converges in $C_b(\Omega)$ to some differentiable function $f\in C_b(\Omega)$, and moreover $\partial_{x_i} f=g$.

Using this result and induction by multi-indices one can show that for all $\beta\in\mathbb{N}_0^k$ with $|\beta|\leq k$ the sequence $\{\partial^\beta f_n:n\in\mathbb{N}\}$ uniformly converges to $\partial^\beta \varphi$. This means that $$ \lim\limits_{n\to\infty}\Vert f_n-\varphi\Vert_{C^k(\Omega)}=0\tag{4} $$ From $(2)$, $(3)$ and deinition of $|\cdot|_{C^{0,\alpha}(\Omega)}$ it follows that for all $\beta\in\mathbb{N}_0^k$ with $|\beta|= k$ and all $x,y\in\Omega$ such that $x\neq y$ we have $$ \frac{|\partial^\beta f_n(x) - \partial^\beta f_m(y)|}{|x-y|^\alpha}<\varepsilon $$ Let's take $m\to\infty$ in this inequality, then we get $$ \frac{|\partial^\beta f_n(x) - \partial^\beta \varphi(y)|}{|x-y|^\alpha}<\varepsilon $$ Since $\beta\in\mathbb{N}_0^k$ with $|\beta|= k$ and $x,y\in\Omega$ such that $x\neq y$ are arbitrary we can say that $$ \max\limits_{|\beta|=k}|\partial^\beta f_n-\partial^\beta \varphi|_{C^{0,\alpha}(\Omega)}<\varepsilon $$ Thus for all $\varepsilon>0$ we have $N\in\mathbb{N}$ such that $n>N$ implies $$ \max\limits_{|\beta|=k}|\partial^\beta f_n-\partial^\beta \varphi|_{C^{0,\alpha}(\Omega)}<\varepsilon $$ This means that $$ \lim\limits_{n\to\infty}\max\limits_{|\beta|=k}|\partial^\beta f_n-\partial^\beta \varphi|_{C^{0,\alpha}(\Omega)}=0\tag{5} $$ From $(4)$ and $(5)$ it follows that $\{f_n:n\in\mathbb{N}\}$ converges to $\varphi$ in $C^{k,\alpha}(\Omega)$. Since we showed that arbitrary Cauchy sequence in $C^{k,\alpha}(\Omega)$ is convergent, then $C^{k,\alpha}(\Omega)$ is complete.

Proof of the completeness of $C^{k,\alpha}(\overline{\Omega})$ is already discussed in comments.

  • 0
    Thank you, very much appreciate it.2012-08-08
  • 0
    @hopo, You are welcome!2012-08-08
3

Just so that you will be aware, if both notations $C^{k, \alpha}(\Omega)$ and $C^{k, \alpha}(\bar{\Omega})$ are used in the same book, there is a chance that they are actually different. The latter is the Banach space you have in mind. The former may mean a locally Hölder space, that is $$ C^{k, \alpha}(\Omega) = \{u\in C(\Omega):\textrm{for any compact set }K\subset\Omega, u\in C^{k, \alpha}(K)\}. $$ This is a Fréchet space, and the situation is of course analogous to the difference between $C(\Omega)$ and $C(\bar\Omega)\equiv C_b(\Omega)$.