Tangential behavior of functions and conical densities of Hausdorff measures.

Abstract

We construct a $C^1$-function $f\colon [0,1]\to \mathbb{R}$ such that for almost all $x\in(0,1)$, there is $r>0$ for which $f(y)>f(x)+f'(x)(y-x)$ when $y\in(x,x+r)$ and $f(y)< f(x)+f'(x)(y-x)$ when $y\in(x-r,x)$. The existence of such functions is related to a problem concerning conical density properties of Hausdorff measures on $\mathbb{R}^n$. We also discuss the tangential behavior of typical $C^1$-functions, using an improvement of Jarník's theorem on essential derived numbers