Dear community.


I would like to derive a "good" estimate on $\frac{d}{dt}f\_\epsilon(t)$, where $f\_\epsilon$ is a regularization of a Zygmund-continuous function $f$, i.e.


$|f(x-\tau)+f(x+\tau)-2f(x)| \leq C |\tau|$ for all $x \in dom(f)$.


The regularization is defined as usual. We use an even function $\rho \in C\_0^\infty(\mathbb R)$ with $\int\_{\mathbb R} \rho(\tau)d\tau = 1$, set $\rho\_\epsilon(t) := \frac{1}{\epsilon}\rho\left( \frac{t-s}{\epsilon} \right)$ and define $f\_\epsilon$ by convolution as $f\_\epsilon(t) := (f \ast\_{s}\rho)(t)$.


If one uses the implication Zygmund $\Rightarrow$ LogLipschitz, the one easily obtains the estimate $|\frac{d}{dt}f\_\epsilon(t)| \leq C \log\left( 1+\frac{1}{\epsilon} \right)$.


I would like to have a better estimate than this. This means I would like to use the fact, that $f$ is Zygmund, not just LogLipschitz. The obvious ideas don't work, if I'm not mistaken. Maybe one should use a special mollifier?! Does anyone have some experience in this direction? Or can one point to literature?


It would be nice to get something like $|\frac{d}{dt}f\_\epsilon(t)| \leq C \left(\log\left( 1+\frac{1}{\epsilon} \right)\right)^{1/2}$


Thanks!



Regularization of Zygmund functions
I don't think it is possible to make this estimate better. A proof can be done imho considering some simple function from Zygmund space, for example $f(x)=x\log|x|$, $x\in[-1,1]$. It has one point of non-smoothness and the derivative of the regularisation can be written out explicitly.


