On a counterexample concerning unique continuation for elliptic equations in divergence form (Q1277037)

The author constructs an elliptic equation in divergence form in \(\mathbb{R}^3\) with nonzero solution which vanishes in a half space. In detail: There exist a smooth function \(u\), smooth functions \(b_{11}\), \(b_{12}\), \(b_{22}\) and continuous functions \(d_1\), \(d_2\) defined on \(\mathbb{R}^3\ni (t, x,y)\), with the following properties: (i) \(u\) is a solution of the equation \[ \partial^2_tu+ \partial_x((b_{11}+ d_1)\partial_xu)+ \partial_y(b_{12} \partial_xu)+ \partial_x(b_{12} \partial_yu)+ \partial_y((b_{22}+ d_2) \partial_yu)= 0. \] (ii) There is a \(T>0\) such that \(\text{supp }u= (-\infty, T]\times \mathbb{R}^2\). (iii) \(u\), \(b_{ij}\) and \(d_i\) are periodic in \(x\) and \(y\) with period \(2\pi\). (iv) \(d_1\) and \(d_2\) do not depend on \(x\) and \(y\) and are Hölder continuous of order \(\alpha\) for all \(\alpha<1\). The technique also allows to get functions \(d_1\) and \(d_2\) satisfying \(| d_i(t_1)- d_i(t_2)|\leq \omega(| t_1- t_2|)\) where \(\omega\) is a given function which is continuous, nondecreasing and concave with \(\omega(0)= 0\), \(\omega(1)> 0\) and \(\int^1_0 \omega(t)^{-1} dt<\infty\).