Example for the Sobolev embedding theorem when p=n. Let $\Omega$ be a bounded domain in $\mathbb R^2$. By the Sobolev embedding theorem, if $k>\frac np$ (in this case $k>\frac 2p$) then 
$u\in W^{k,p}(U) \implies u\in C^{k-[\frac 2 p]-1,\gamma}(U)$
for a certain $\gamma$; where $[\frac 2 p]$ is the integer part of $\frac 2p$.
If $k=1$ and $p=2$ then a function $u\in W^{1,2}(U)$ is not necessarily in $L^\infty(U)$, like the function $\log|\log|x^2+y^2||$ shows. (Let $U$ be the disk centered at the origin of radius $\frac 12$.)
What is an example that shows that if $k=2$ and $p=2$ then for a function $u\in W^{2,2}(U)$, $|\nabla u|$ is not necessarily in $L^\infty(U)$?
More generally, is there a standard way to construct such example from the previous one, that is $\log|\log|x^2+y^2||$?
 A: Take $u$ in $\mathscr S'(\mathbb R^2)$ with
$$
\hat u(\xi)=\frac{\mathbf 1(\vert\xi\vert\ge 2)}{\vert\xi\vert^3 \ln\vert\xi\vert},\quad
\vert \xi\vert^2\hat u(\xi)=\frac{\mathbf 1(\vert\xi\vert\ge 2)}{\vert\xi\vert \ln\vert\xi\vert}
$$
so that $u\in W^{2,2}$. However,
$$
\vert\xi \hat u(\xi)\vert=\frac{\mathbf 1(\vert\xi\vert\ge 2)}{\vert\xi\vert^2 \ln\vert\xi\vert}
$$
so that 
$\nabla u\notin L^\infty$.
Generally speaking in $n$ dimensions, you take
$$
\hat v=\frac{\mathbf 1(\vert\xi\vert\ge 2)}{\vert\xi\vert^{n} \ln\vert\xi\vert},\quad\text{so that}\quad  v\in W^{\frac n 2,2}\quad\text{but $v\notin L^\infty.$}
$$
The first assertion is due to the convergence of
$\int_2^{+\infty}\frac{dr}{r(\ln r)^2}$ and the second to the Fourier inversion formula and to the divergence of
$$
\int_2^{+\infty}\frac{dr}{r \ln r}.
$$
A: You can take as an example
$$
  u(x) = x_1^{k - 1} (\log \lvert x \rvert)^\beta:
$$
if $\beta < 1 - \frac{1}{n}$, $u \in W^{k,n} (B_1)$ and if $\beta > 0$ then $D^{k - 1} u \not \in L^\infty (B_1)$.
