On the breakdown of uniqueness of the solution (Q2735894)

The author considers the following homogeneous boundary-value problem in a bounded domain \(\Omega\) with smooth boundary for the fourth-order differential equation with constant complex coefficients and the homogeneous nondegenerated symbol: NEWLINE\[NEWLINELu=a_0 \frac{\partial^4 u} {\partial x_1^4}+ a_1 \frac{\partial^4 u} {\partial x_1^3\partial x_2}+ a_2\frac {\partial^4 u} {\partial x_1^2 \partial x_2^2}+ a_3 \frac{\partial^4 u} {\partial x_1\partial x_2^3}+ a_4 \frac {\partial^4 u} {\partial x_2^4}= 0,NEWLINE\]NEWLINE NEWLINE\[NEWLINEu|_{\partial\Omega}= u_\nu' |_{\partial\Omega}= u_{\nu\nu}^{\prime \prime} |_{\partial\Omega}=0.NEWLINE\]NEWLINE Necessary conditions of the breakdown of uniqueness of solutions of this problem in the space \(W_2^m(\Omega)\), \(m>3\) are obtained. It turns out that under assumption of ellipticity of the equation these conditions are sufficient. NEWLINENEWLINENEWLINEWhen the domain \(\Omega\) is a unit disk the mentioned above conditions take the form of \(\pi\)-rationality of angles between characteristics. Besides, they generalize John's condition of the automorphism's cyclicity of characteristic billiards which is known for second-order hyperbolic equations.