19
$\begingroup$

I'm seeking a function which is Hölder continuous but does not belong to any Sobolev space.

Question: More precisely, I'm searching for a function $u$ which is in $C^{0,\gamma}(\Omega)$ for $\gamma \in (0,1)$ and $\Omega$ a bounded set such that $u \notin W_{loc}^{1,p}(\Omega)$ for any $1 \leq p \leq \infty$. Take $\Omega$ to be bounded, open.

My first guess is to do a construction with a Weierstrass function. I know this is differentiable 'nowhere' but that doesn't convince me it isn't weakly differentiable in some bizarre way. Hopefully someone knows of an explicit example.

$\endgroup$
2
  • $\begingroup$ Function on what domain (1-dim or higher)? What exponent in your Sobolev space (L^p-flavoured or just L^2)? $\endgroup$
    – Yemon Choi
    Sep 15, 2010 at 1:07
  • $\begingroup$ I clarified the question. $\endgroup$
    – Dorian
    Sep 15, 2010 at 1:25

3 Answers 3

27
$\begingroup$

Your guess is indeed right. Following a similar idea gives you the Takagi or blancmange function. It is even quasi-Lipschitz (it has a modulus of continuity $\omega(t)=ct(|\log(t)|+1)$ for a suitable constant $c>0$), thus it's Hoelder of any positive exponent less than 1. It is not even BV in any open interval, thus $W^{1,p} _ {loc}$ for no $p\geq1$.

Rmk 1. The above example is for dimension 1: but of course it holds in any dimension a fortiori.

Rmk 2. To get an example with a more classical flavor, actually a Weierstrass function, replace $s(x)$ with $\cos(x)$. I'd say that the resulting Fourier series defines a function with the same features, by the same reasons (the function $\cos(x)$ works better than $\sin(x),$ in view of point 2 below.)

Rmk 3. Once you know that the Weierstrass function $f(x):=\sum_{k=0}^\infty 2^{-k}\cos(2^k x)$ is nowhere differentiable, you also have that it is BV on no open interval, for BV on an interval would imply differentiability a.e. there. However, for your needs it seems more direct just showing it has infinite variation on any interval.

Details.

  1. To prove that the Takagi function $f(x)$ admits the above modulus of continuity, recall that that $f$ is characterized as the fixed point of the affine contraction $T:C_b(\mathbb{R})\to C_b(\mathbb{R})$ such that $(Tf)(x)=\frac{1}{2}f(2x)+s(x),$ for all $x\in\mathbb{R}$, where $s(x)$ is the distance function from the integers (a zig-zag piecewise 1-periodic function). Just find a $c$ such that the subset of $C_b(\mathbb{R})$ of functions that admit $\omega$ as modulus of continuity is a $T$-invariant set. The latter subset is obviously closed and non-empty, so the fixed point is there. (The above illustrated a standard general technique to prove properties of objects found by means of the contraction principle).

  2. Proving that $f$ is not of bounded variation on $[0,1]$ (hence in no open interval, due to the self-similarity encoded in the fixed point equation), requires a small computation on the partial sum $f_n$ of the series defining $f$. Let $$f_n(x):=\sum_{k=0}^{n-1}\, 2^{-k} s(2^k x).$$ First note that the derivative of $f_n$ only takes integer values, which of course come as a result of the sum of $n$ terms $\pm 1$ (with all the $2^n$ possible signs). In particular, for any $n\in\mathbb{N}$ the function $f_{2n}$ has ${2n \choose n} $ flat intervals of lenght $2^{-2n}$ within the unit interval $I$, and has derivative larger than $2$ in absolute value elsewhere in $I$. Thus, for the subsequent odd index $2n+1,$ the function $f_{2n+1}$ has ${2n \choose n}$ local maxima in $I$ (located in the mid-points of the above intervals). Moreover, passing to $f_{2n+1}$ each maximum point contributes to the increment of the total variation with $2^{-2n}$, while the total variation remains unchanged passing from $2n+1$ to the next even index $2n+2$. The conclusion is that, for any $n$, the total variation of $f_n$ on $I$ is $$V(f_n;I)=\sum_{0\leq k < n/2}{2k\choose k}2^{-2k} =O\big(\sqrt{n}\big),$$
    since by the classical asymptotics for the central binomial coefficient, ${2k \choose k}=\frac{4^k}{\sqrt{\pi k}}(1+o(1)),\, k\to\infty.$ So actually $V(f_n;I)$ diverges. Yet this would not be sufficient to conclude that $V(f,I)=\infty,$ as the total variation is only lower semicontinuous with respect to the uniform convergence. However, the discrete variation on a given subdivision $P:=\{t_0 < \dots < t_r \}$ $$V(f_n; P\, )=\sum_{i=0}^{r-1}\, \big|f_n(t_{i+1})-f(t_i)\big|$$ does of course pass to the limit under even pointwise convergence. Now the point is that, for the binary subdivision $P_m:=\{ k2^{-m} \, : \, 0 \le k \le 2^m \},$ we have $V(f_n;I)=V(f_n;P_m)$ as soon as $n \geq m$. So for all $m$ letting $n\to\infty$ $$V(f;P_m)=\lim_{n\to\infty }V(f_n;P_m)=V(f_m;P_m)$$ and $$V(f;I)=\sup_{m\in\mathbb{N}}V(f;P_m)=\infty,$$ as we wished to show.

$\endgroup$
9
$\begingroup$

Another simple approach is to take the lacunary series $f(x)=\sum_k a_k e^{i(m_k,x)}$ where $m_k\in \mathbb Z^d$ and $|m_{k+1}\gg |m_k|$. For any modulus of continuity $\omega$ such that $\Omega(t)=\omega(t)/t\to \infty$ as $t\to 0$, the condition that $f$ has this modulus of continuity is equivalent to the condition that $|a_k|\le C\omega(|m_k|^{-1})$ if the spectrum is sparce enough to ensure that $\Omega(|m_{k+1}|^{-1})\ge 2\Omega(|m_k|^{-1})$ and $\omega(|m_k|^{-1})\ge\sum_{\ell>k}\omega(|m_\ell|^{-1})$. If $f\in W^{1.p}$, then $ \left|\int f\nabla\psi\right|\le C\|\psi\|_{L^q}$ for smooth $\psi$. Plugging $e^{-i(m_k,x)}$, we see that unless $a_k=O(|m_k|^{-1})$, we have no chance. Thus, nothing short of Lipschitzness will force $f$ to be in $f\in W^{1.p}$.

This formally works only on the torus but you can take any smooth partition of unity $g_j$ on the torus and notice that one of the functions $g_j f$ is also bad. But any of them can be replanted to $\mathbb R^d$ if the supports are small enough.

$\endgroup$
3
  • $\begingroup$ Nice argument... so if I got it this way you can make a counterexample with any modulus of continuity satisfying $t=o(\omega(t).$ $\endgroup$ Sep 15, 2010 at 13:34
  • 1
    $\begingroup$ A doubt. If we choose $a_k:=2^{-k}$ and $m_k:=\pi2^k$ the resulting $f$ is a Weierstrass function (or better its real part); which in this case is nowhere differentiable (with these parameters I think its a result by Hardy), hence certainly not locally lipschitz. But the condition you wrote holds with $\omega(t)=t$. $\endgroup$ Sep 15, 2010 at 14:39
  • $\begingroup$ You are right, I was a little bit sloppy in how exactly I stated it. I'll ix it now. $\endgroup$
    – fedja
    Sep 15, 2010 at 14:46
5
$\begingroup$

I believe that the Cantor ternary function (aka devil's staircase) is a simple example.

$\endgroup$
1
  • 2
    $\begingroup$ For Holder exponent $< \log_3 2$. $\endgroup$ Dec 8, 2010 at 0:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.