Let $Q$ be an infinite subset of $\mathbb{N}$. For any ${\it\tau}>2$, denote $W_{{\it\tau}}(Q)$ (respectively $W_{{\it\tau}}$) to be the set of ${\it\tau}$ well-approximable points by rationals with denominators in $Q$ (respectively in $\mathbb{N}$). We consider the Hausdorff dimension of the liminf set $W_{{\it\tau}}\setminus W_{{\it\tau}}(Q)$ after Adiceam. By using the tools of continued fractions, it is shown that if $Q$ is a so-called $\mathbb{N}\setminus Q$-free set, the Hausdorff dimension of $W_{{\it\tau}}\setminus W_{{\it\tau}}(Q)$ is the same as that of $W_{{\it\tau}}$, i.e. $2/{\it\tau}$.

We study the Hausdorff dimensions of invariant sets for self-similar and self-affine iterated function systems in the Heisenberg group. In our principal result we obtain almost sure formulae for the dimensions of self-affine invariant sets, extending to the Heisenberg setting some results of Falconer and Solomyak in Euclidean space. As an application, we complete the proof of the comparison theorem for Euclidean and Heisenberg Hausdorff dimension initiated by Balogh, Rickly and Serra-Cassano.

The Hessian measures of a (semi-)convex function can be introduced as coefficients of a local Steiner formula. The investigation of Hessian measures is continued by the provision of a geometric characterization of the support of these measures. Then the Radon–Nikodym derivative and the absolute continuity of Hessian measures with respect to Lebesgue measure are explored. As special cases of the results, known results for surface area measures of convex bodies are recovered.

Let $\mu$ be the self-similar measure for a linear function system $S_jx=\rho x+b_j$ ($j=1,2,\ldots,m$) on the real line with the probability weight $\{p_j\}_{j=1}^m$. Under the condition that $\{S_j\}_{j=1}^m$ satisfies the finite type condition, the $L^q$-spectrum $\tau(q)$ of $\mu$ is shown to be differentiable on $(0,\infty)$; as an application, $\mu$ is exact dimensional and satisfies the multifractal formalism.