I am trying to work through a supposedly simple counterexample given in papers by [Love](https://academic.oup.com/jlms/article-abstract/s1-26/1/1/966397?redirectedFrom=fulltext) and [Gehring](https://www.jstor.org/stable/1990790) regarding a $p$-power generalization of bounded variation and absolute continuity.


Let $p > 1$. For a function $f: [0,1] \to \mathbb{R}$, the $p$-variation is defined by
$$
\text{Var}\_p f = \sup \left(\sum\limits\_{j=1}^n |f(u\_j)-f(u\_{j-1})|^p \right)^{\frac{1}{p}},
$$ where the supremum is taken over all partitions $0 = x\_0 < x\_1 < \dots < x\_n = 1$ of $[0,1]$. Likewise, we can define the $p$-variation on a smaller subinterval $[a,b] \subseteq [0,1]$ which we denote $\underset{[a,b]}{\text{Var}\_p} f$. The space of all functions with finite $p$-variation is denoted $BV\_p([0,1])$ or just $BV\_p$ since we are fixing the domain.


Likewise, we can define a generalized version of absolute continuity. We will say $f \in AC\_p$ if for every $\varepsilon > 0$, there exists $\delta > 0$ such that $\left( \sum\limits\_{j=1}^n |f(b\_j) - f(a\_j)|^p \right)^{\frac{1}{p}} < \varepsilon$ whenever $\{(a\_j,b\_j)\}$ is a collection of non-overlapping subintervals of $[0,1]$ such that $\left( \sum\limits\_{j=1}^n (b\_j - a\_j)^p \right) < \delta$. Much like in the classic $p = 1$ case, one can show $AC\_p \subseteq BV\_p$. However, a continuous function of bounded $p$-variation need not be $p$-absolutely continuous, like the Cantor staircase function demonstrates in the $p = 1$ case.


Both of the papers I mentioned cite
$$
u(x) = \sum\limits\_{k = 0}^\infty \frac{1}{2^{k/p}} \cos(2^k\pi x)
$$ as a counterexample which is continuous, has finite $p$-variation, and is not $p$-absolutely continuous (which is what I'm struggling to show). I have tried to work directly with the definition in addition to some alternative characterizations I found, but I haven't been successful so far. For example, Love's paper shows that if $f \in AC\_p$, then $\underset{[x,x+h]}{\text{Var}\_p} f = o(h^{\frac{1}{p}})$ for almost all $x$. Likewise, Gehring's paper mentions that if $f$ has finite $p$-variation and finite derivative except on possibly a countable set, then $f$ is $p$-absolutely continuous. It's worth pointing out that naively differentiating the terms defining $u$ yields a diverging series for all $x$.


I still think working directly with the negation of the $AC\_p$ condition is the way to go. A key observation I made is that for $N$ large, the dyadic partition $x\_j = j2^{-N}, j = 0, \dots, 2^N$ can satisfy the $\delta$ requirement (which obviously can't happen if $p = 1$). More specifically, for any $\delta > 0$, we require $N$ to be large enough such that $2^{-N/q} < \delta$, where $q$ is the conjugate of $p$ satsifying $\frac{1}{p} + \frac{1}{q} = 1$. I then would need to show
$$
\left( \sum\limits\_{j=1}^{2^N} |u(x\_j) - u(x\_{j-1})|^p \right)^{\frac{1}{p}} \geq 1
$$ or some other constant independent of $\delta$ (but not necessarily $p$). Using a dyadic partition allows for some nice reindexing of the series defining $u$, but I haven't figured out a good use yet. Part of the difficulty is that I need to directly work with cosines and bound the differences from below, rather than above.



A counterexample showing $BV_p \neq AC_p$
So first of all, what is claimed in Love's paper is slightly different, It says that for a sufficient large choice of the parameter $c>0$ the function
$$ g(x): = \sum\_{n=0}^\infty c^{-n/p}\cos(c^n \pi x) $$ is of vounded $p$-variation but not $AC\_p$. One way to see it is that to notice that the Weierstrass type function
$$ W\_{a,b}(x) = \sum\_{n=1}^\infty b^{-na}\cos(b^n \pi x), $$
where $0<a<1, b \in \mathbb{N}$ is Holder continuous of order $\alpha: = -\log\_b(a)$ but not Higher. I think the best source for this is Hardy's paper "[Weierstrass's Non-Differentiable Function](https://www.jstor.org/stable/1989005)" Theorem 1.32. Although you can also read it off the Littlewood Paley characterization of Holder functions. Hence if $a=1/p, b=c$, this shows that for $c$ sufficiently large your function $g$ cannot satisfy
$$ |g(x)-g(x+h)| \leq Var^p\_{[x,x+h]} g = o(h^{1/p}) $$
suffices to take $ p\ln(p)<\ln(c)$.


