For $u\in \mathcal{S}'(\mathbb{R})$, define, if finite, $$\Lambda(u)^4=\int_{\mathbb{R}^2}|\eta-\xi||\hat{u}(\eta)|^2|\hat{u}(\xi)|^2\,d\xi\,d\eta.$$ Using the triangle inequality $|\eta-\xi|\le |\eta|+ |\xi|$, we see that $$\Lambda(u)^4 \le 2 \| u\|_{L^2(\mathbb{R})}^2 \|u\|_{\dot{H}^{1/2}(\mathbb{R})}^2 \le 2\|u\|_{H^{1/2}(\mathbb{R})}^4.$$ Hence, if $X:=\{u\in \mathcal{S}'(\mathbb{R}): \Lambda(u)<\infty\}$, then $H^{1/2}(\mathbb{R})\subseteq X$. My question is: how to construct $u$ such that $u\in X$ but $u\notin H^{1/2}(\mathbb{R})$, if that is possible.

Motivation: If $v$ solves the linear Schrödinger equation, \begin{aligned} \begin{cases} i\partial_t v+\Delta v =0 \\ v(0,x)=v_0 \end{cases} \end{aligned} then it can be shown remarkably that $$\|\partial_x(|v|^2) \|_{L^2_{t,x}(\mathbb{R}\times\mathbb{R})}^2=c \Lambda(v_0)^4$$ for some constant $c>0$. To see this, take the spacetime Fourier transform of $v\,\overline{v}$ and use Plancherel.

My first attempt was to try to find $u\in L^2\setminus H^{1/2}$ such that $|\eta-\xi|\ll \max(|\eta|, |\xi|)$ on the support of $|\hat{u}(\eta)|^2|\hat{u}(\xi)|^2$, which is $\operatorname{supp}\hat{u}_0 \times \operatorname{supp}\hat{u}_0$. For example, if we could use that $|\eta-\xi|\le 1$ on the support of $|\hat{u}(\eta)|^2|\hat{u}(\xi)|^2$, then $\Lambda(u)\le \| u\|_{L^2(\mathbb{R})}<\infty$, but there is no way to write the diagonal strip $\{(\eta, \xi): |\eta-\xi|\le 1\}$ as the square of a one-dimensional set.

I will also note that $\Lambda(u)$ looks like a multilinear pseudo-differential operator, so perhaps techniques from that field would be useful

For $u\in \mathcal{S}'(\mathbb{R})$, define, if finite, $$\Lambda(u)^4=\int_{\mathbb{R}^2}|\eta-\xi||\hat{u}(\eta)|^2|\hat{u}(\xi)|^2\,d\xi\,d\eta.$$ Using the triangle inequality $|\eta-\xi|\le |\eta|+ |\xi|$, we see that $$\Lambda(u)^4 \le 2 \| u\|_{L^2(\mathbb{R})}^2 \|u\|_{\dot{H}^{1/2}(\mathbb{R})}^2 \le 2\|u\|_{H^{1/2}(\mathbb{R})}^4.$$ Hence, if $X:=\{u\in \mathcal{S}'(\mathbb{R}): \Lambda(u)<\infty\}$, then $H^{1/2}(\mathbb{R})\subseteq X$.

My question is: how to construct $u$ such that $u\in X$ but $u\notin H^{1/2}(\mathbb{R})$, if that is possible.

Motivation: if $v$ solves the linear Schrödinger equation, \begin{aligned} \begin{cases} i\partial_t v+\Delta v =0 \\ v(0,x)=v_0 \end{cases} \end{aligned} then it can be shown remarkably that $$\|\partial_x(|v|^2) \|_{L^2_{t,x}(\mathbb{R}\times\mathbb{R})}^2=c \Lambda(v_0)^4$$ for some constant $c>0$. To see this, take the spacetime Fourier transform of $v\,\overline{v}$ and use Plancherel.

My first attempt was to try to find $u\in L^2\setminus H^{1/2}$ such that $|\eta-\xi|\ll \max(|\eta|, |\xi|)$ on the support of $|\hat{u}(\eta)|^2|\hat{u}(\xi)|^2$, which is $\operatorname{supp}\hat{u}_0 \times \operatorname{supp}\hat{u}_0$. For example, if we could use that $|\eta-\xi|\le 1$ on the support of $|\hat{u}(\eta)|^2|\hat{u}(\xi)|^2$, then $\Lambda(u)\le \| u\|_{L^2(\mathbb{R})}<\infty$, but there is no way to write the diagonal strip $\{(\eta, \xi): |\eta-\xi|\le 1\}$ as the square of a one-dimensional set.

I will also note that $\Lambda(u)$ looks like a multilinear pseudo-differential operator, so perhaps techniques from that field would be useful