5
$\begingroup$

Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:

Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that there exists $\alpha \in (0,1)$ and $c > 0$ such that the following is true: For every $y \in B_1(0)$, there exists an affine function $l_y : \mathbb{R}^n \to \mathbb{R}$ such that

$\rho^{-n-2}\int_{B_{\rho}(y)}|f(x) - l_y(x)|^2dx \leq c\rho^{2\alpha}\int_{B_2(0)}|f(x)|^2dx$

for all $\rho \in (0,1/4)$.

Then $f \in C^{1,\alpha}(B_1(0))$ with $\|f\|_{C^{1,\alpha}(B_1(0))} \leq c\|f\|_{L^2(B_2(0))}$.

$\endgroup$

1 Answer 1

5
$\begingroup$

First you can rescale so $\|f\|_{L^2(B_2)} = 1$ and you see that you are basically talking about the boundedness of the first order Campanato norm of your function $f$. Your conclusion then is a classical theorem concerning the comparison of Campanato and Holder spaces.

See e.g. http://link.springer.com/chapter/10.1007%2F978-3-0348-0537-7_15 (Theorem 4.4) and references therein.

$\endgroup$
1
  • $\begingroup$ There seems to be a small typo in the statement in the paper I linked to. The number $m$ should be defined as $[ (\lambda - n)/p ]$ rather than $[(n-\lambda )/ p]$ as written, noting that $\lambda > n$ in the regime where you get Holder spaces. $\endgroup$ Mar 18, 2015 at 12:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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