Well-posedness for the fourth-order nonlinear derivative Schrödinger equation in higher dimension (Q2276066)

From the abstract: The authors show well-posedness for the fourth-order nonlinear derivative Schrödinger equation (4th-order NLS) \[ \begin{cases} i u_t +(-\triangle)^2 u+\alpha(-\triangle)u+F(u,\overline{u},\nabla u , \nabla\overline{u},\triangle {u},\triangle \overline{u}, \nabla ^3 u,\nabla^3 \overline{u})=0, \\ u(x,0)=u_0(x) \in H ^{s}(\mathbb{R}^n) , (x,t)\in \mathbb{R}^n \times\mathbb{R}, \end{cases}\tag{a} \] where \( \overline{u}(x,t)\) is the complex conjugate of \( u(x,t)\), \(\alpha\in \mathbb{R}^n\), \(\triangle\) is the Laplace operator in dimension \(n\), \(\nabla=(\partial_{x_1}, \partial_{x_2},\cdots,\partial_{x_n}), \) and \(F\) is a certain polynomial having no constant or linear terms. The method used in this paper is different from those of its predecessors and uses the dyadic \(X_{s,b}\) spaces. We briefly describe the main parts of the proof. Problem (a) is rewritten in integral form; a certain Banach space is introduced. The main result is that problem (a) has a unique local solution \(u\). Moreover, the mapping \(u_0 \to u\) is Lipschitz continuous. Then the spaces \(Z_k\) are introduced followed by multilinear expressions and \(L^2\) bilinear estimates.