3
$\begingroup$

Is it true that if a sequence $u_n \to u$ in $C^{k, \alpha}$ norm, and if you have a function $f \in C^\infty$, then $f(u_n) \to f(u)$ in $C^{k, \alpha}$? I think so, since this is true for ordinary $C^k$ space so the "norm part" of the $C^{k, \alpha}$ norm converges, but I am not sure how to show that the seminorm part of the $C^{k, \alpha}$ norm converges.

And I guess if this works for Hölder space, it'll work for parabolic Hölder space too. Parabolic Hölder space is defined as follows. The seminorm is defined $$[u]_{\alpha} = \sup_{(x,t), (y,s) \in Q} \frac{|u(x,t) - u(y,s)|}{(|x-y|^2 + |t-s|)^{\frac{\alpha}{2}}},$$ and norm on the parabolic Hölder space $C^{k, \alpha}$ is defined $$\lVert{u}\rVert_{\widetilde{C}^{k, \alpha}(\overline{Q})} = \sum_{i+2j \leq k} \lVert{\frac{\partial^{i+j}u}{\partial x^i \partial t^j}}\rVert_{C(\overline{Q})} + \sum_{i+2j = k} \bigg[\frac{\partial^{i+j}u}{\partial x^i \partial t^j}\bigg]_\alpha.$$

  • 0
    You take the space $C^{k,\alpha}$, but where are the functions defined? And how do you define parabolic Hölder space?2012-07-19
  • 0
    @DavideGiraudo Say the $u_n$ and $u$ are defined on a compact set. For $f$ assume anything. Parabolic Holder space, I'll write up the norm.2012-07-19
  • 1
    We can control these semi-norms use mean-value property, or fundamental theorem of analysis, using the fact that $f$ and its derivatives are bounded.2012-07-19
  • 0
    Is the compact a compact subset of $\Bbb R^d$, or of an other normed space? And what is the definition of parabolic Hölder space?2012-07-20
  • 1
    @DavideGiraudo Please see my edit. The compact subset is a compact subset of $\mathbb{R}^2$. Thanks!2012-07-20
  • 0
    It's seems that it's more complicated than what I wrote in my previous comment. en.wikipedia.org/wiki/Faà_di_Bruno's_formula Faà di Bruno formula may be helpful here.2012-07-20

0 Answers 0