Skip to main content
4 of 6
added 204 characters in body

Approximation of Hölder continuous functions "from below"

We assume that we have an $\alpha$-Hölder continuous function $f$ on the interval $[0,1]$ with $f(0)=0$.

I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\mathbb R)$ such that

$$\lVert f-f_n\rVert_{C^{\beta}([0,1])} \le \frac{1}{n}$$

with $\beta<\alpha$ and $\lvert f_n(x)\rvert \le \lvert f(x)\rvert$ on $[0,1]$. The usual convolution idea does not respect the last condition.

EDIT: My original question asked for $\beta=\alpha$ and I received two perfectly correct answers, but then Nik Weaver pointed out that the question is ill-posed for obvious reasons.