通过正规形方法证明导数非线性薛定谔方程的无条件唯一性

我们证明了针对导数非线性薛定谔方程的 Cauchy 问题在 $L^\infty_tH^{1/2}_x$ 空间中的唯一性。我们的证明基于正规形缩减(NFR)方法，该方法已用于在 $C_tH^s_x$ 空间中取得唯一性，其中 $s>1/2$。为克服 $H^{1/2}$ 规范下的对数发散， 我们利用经过细化的 Strichartz 估计提供的 $B^{0+}_{\infty,1}$ 解的控制。我们的 NFR 论证包含两个阶段：我们首先通过有限次 NFR 推导出一种中间方程，其中的主要三次非线性受限于特定类型的频率相互作用；然后对中间方程应用无限 NFR 方案。此外，我们修改了通常的 NFR 论证中依赖解的时间连续性的方法，以便直接在 $L^\infty_tH^{1/2}_x$ 空间中获得唯一性。