  Suppose that $(P,Q) \in \mathbb{N}_2^{\mathbb{N}} \times
\mathbb{N}_2^{\mathbb{N}}$ and $x=E_0.E_1E_2\cdots$ is the $P$-Cantor series
expansion of $x \in \mathbb{R}$. We define $\psi_{P,Q}(x):=\sum_{n=1}^\infty
\frac {\min(E_n,q_n-1)} {q_1 \cdots q_n}$. The functions $\psi_{P,Q}$ are used
to construct many pathological examples of normal numbers. These constructions
are used to give the complete containment relation between the sets of
$Q$-normal, $Q$-ratio normal, and $Q$-distribution normal numbers and their
pairwise intersections for fully divergent $Q$ that are infinite in limit. We
analyze the H\"older continuity of $\psi_{P,Q}$ restricted to some judiciously
chosen fractals. This allows us to compute the Hausdorff dimension of some sets
of numbers defined through restrictions on their Cantor series expansions. In
particular, the main theorem of a paper by Y. Wang {\it et al.}
\cite{WangWenXi} is improved.
  Properties of the functions $\psi_{P,Q}$ are also analyzed. Multifractal
analysis is given for a large class of these functions and continuity is fully
characterized. We also study the behavior of $\psi_{P,Q}$ on both rational and
irrational points, monotonicity, and bounded variation. For different classes
of ergodic shift invariant Borel probability measures $\mu_1$ and $\mu_2$ on
$\mathbb{N}_2^{\mathbb{N}}$, we study which of these properties $\psi_{P,Q}$
satisfies for $\mu_1 \times \mu_2$-almost every $(P,Q) \in
\mathbb{N}_2^{\mathbb{N}} \times \mathbb{N}_2^{\mathbb{N}}$. Related classes of
random fractals are also studied.
