4
$\begingroup$

Let $\alpha\in(0,1)$ and $\eta\in\Lambda_0^\alpha(\mathbb{R})$ be a compactly supported Hölder continuous function of order $\alpha$. I would like to show that, for any $n\in\mathbb{N}$, it is possible to decompose $$\eta=f+g$$ in such a way that $f\in C^n(\mathbb{R})$ and $||f||_{C^n}=O(R^C)$, and $g\in L^\infty(\mathbb{R})$ with $\|g\|_{L^\infty}=O(R^{-1})$.

Here $C$ is a universal constant. On the other hand, the real parameter $R$ can be chosen as large as we want (at the expense of increasing $\|f\|_{C^n}$).

Thank you!

$\endgroup$

2 Answers 2

3
$\begingroup$

I have carried out the suggestion in the last paragraph of Yemon Choi's answer. Choose $\phi\in C^\infty(\mathbb{R})$, $\phi\ge0$ and $\int_{\mathbb{R}}\phi(x)dx=1$, and let $\phi_R(x)=R\phi(Rx)$. Define

$$ f=\phi_R\star\eta,\quad g=\eta-f.$$

Then it is easy to see that

$$ \|f\|\_{C^n}=O(R^{n-\alpha}),\quad \|g\|\_\infty=O(R^{-\alpha}),$$

but this is not what you are asking for.

My feeling is that the constant $C$ must show some dependence on $n$.

In response to your last comment, let me prove the estimate on $\|f\|_{C^n}$. We have

$$f^{(n)}=(\phi_R)^{(n)}\star\eta=R^n(\phi^{(n)})_R\star\eta.$$

Since $(\phi^{(n)})_R$ has mean zero, for any $x\in\mathbb{R}$:

$$ |f^{(n)}(x)|\le R^n\int_{\mathbb{R}}|\phi^{(n)}(y)||\eta(x-\frac{y}{R})-\eta(x)|dy\le HR^{n-\alpha}\int_{\mathbb{R}}|\phi^{(n)}(y)||y|^\alpha dy,$$

where $H$ is $\eta$'s Hölder constant.

$\endgroup$
6
  • $\begingroup$ I think you need to escape some underscores with a backslash in order to protect them from markdown. $\endgroup$ Dec 3, 2009 at 17:41
  • 1
    $\begingroup$ Oh, and when I look at your answer more closely, don't you have the thing he wanted, with C=n/α-1 (just rename R)? $\endgroup$ Dec 3, 2009 at 17:54
  • $\begingroup$ But then C is not a universal constant, it depends on n, unless the original poster meant independent of f. $\endgroup$ Dec 3, 2009 at 20:09
  • $\begingroup$ @Harald If I hit the Preview math button, everything is OK. I do not see any difference between the code in the first part of the message and the second. $\endgroup$ Dec 3, 2009 at 20:11
  • $\begingroup$ @Julián: Thank you for your answer. I understand the bound on the remainder since $\eta\ast\phi_R\rightarrow\eta$ uniformly as $R\rightarrow\infty$, but how do you get the bound on '$\|f\|_{C^n}$'? $\endgroup$
    – user17240
    Dec 4, 2009 at 8:30
2
$\begingroup$

This is only a partial suggestion of how to get an answer, rather than a complete one; but it was getting too long for the comment box.

While I don't remember the details off-hand, it seems like your question could be answered by known results on the rate of approximation in $\Lambda_0^\alpha({\mathbb R})$ by trigonometric polynomials. This is classical stuff from Fourier series and I think one can find the details in something like Katznelson's "Introduction to Harmonic Analysis".

Roughly speaking, the idea is to move your problem onto the circle, by e.g. extending $\eta$ to a periodic function on the real line, and then take $f$ to be a trigonometric polynomial which approximates $\eta$ to within $R^{-1}$ in the Lipschitz norm. If I recall correctly - but I'm not sure - we can take $f$ to be of degree $N$ where $N^\alpha\sim R$, and then something like Bernstein's inequality would tell us that the $C^n$ norm of $f$ is at most of order $N^n = R^{n/\alpha}$.

If I've remembered these results correctly, then there should be a better and more direct way to solve our question, by convolving $\eta$ with some kind of smoothing kernel like a Jackson kernel. However, since it's been a while since I looked at this, I'm not sure: Katznelson's book ought to have enough for you to work from.

$\endgroup$

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.