Abstract:In this paper, we introduce a novel first-order derivative for functions on a lattice graph, which extends the discrete Laplacian and generalizes the theory of discrete PDEs on the lattices. First, we establish the well-posedness of generalized quasilinear Schrödinger equations and give a new proof of the global well-posedness of semilinear Schrödinger equations. Then we provide explicit expressions of higher order derivatives of the solution map and prove the analytic dependence between solution and initial data. At the end, we show the existence of wave operator and prove the asymptotic completeness for solutions with small data.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the well - posedness and scattering theory of the nonlinear Schrödinger equation (NLS) on lattice graphs. Specifically, the author introduced a new definition of discrete partial derivatives and, based on this, established the well - posedness theory of the generalized quasilinear Schrödinger equation and the semilinear Schrödinger equation. The following are the main problems solved in this paper:
1. **Introducing a new discrete partial derivative**:
The author defined a new discrete partial derivative \(\partial_j u\) to extend the discrete Laplacian operator and generalize the theory of discrete partial differential equations (PDEs). This new derivative is defined as the convolution operator \(u * \phi_j\), where \(\phi_j(m)\) is defined as:
\[
\phi_j(m) :=
\begin{cases}
-\frac{4i}{\pi}(4a^2 - 1), & \text{if } m = a e_j, a \in \mathbb{Z}, \\
0, & \text{otherwise},
\end{cases}
\]
where \(\{e_j\}_{j = 1}^d\) is the standard coordinate basis of \(\mathbb{Z}^d\).
2. **Well - posedness of the generalized quasilinear Schrödinger equation**:
The author proved the local well - posedness of the generalized quasilinear Schrödinger equation and gave a new proof of the global well - posedness of the semilinear Schrödinger equation. The specific equation form is:
\[
\begin{cases}
i \partial_t u(x,t) + g^{jk}(u, \partial u) \partial_j \partial_k u(x,t) = F(u, \partial u), \\
u(x,0) = u_0(x), \quad (x,t) \in \mathbb{Z}^d \times \mathbb{R},
\end{cases}
\]
where \(g^{jk} \in C^1(\mathbb{R} \times \mathbb{R}^d)\), \(F \in C^1(\mathbb{R} \times \mathbb{R}^d)\), and \(F(0,0) = 0\).
3. **Explicit expression of high - order derivatives and analytic dependence of solutions on initial values**:
The author gave the explicit expression of high - order derivatives of the solution mapping and proved the analytic dependence of solutions on initial values. In particular, for positive odd numbers \(p\), the \(k\)-th Fréchet derivative \(\Psi_k\) of the solution mapping \(\Phi : \ell^{2,m}(\mathbb{Z}^d) \to C([0,T]; \ell^{2,m}(\mathbb{Z}^d))\) is a bounded \(k\)-linear mapping from \(\ell^{2,m}(\mathbb{Z}^d) \times \cdots \times \ell^{2,m}(\mathbb{Z}^d)\) to \(C([0,T]; \ell^{2,m}(\mathbb{Z}^d))\).
4. **Existence and asymptotic completeness of wave operators**:
For small initial value data, the author proved the existence and asymptotic completeness of wave operators. Specifically, if \(6 \leq (p - 1)d\), then there exists a constant \(\varepsilon=\varepsilon(d)>0\) such that when \(\|u_0\|_{\ell^2(\mathbb{Z}^d)} \leq \varepsilon\), the solution \(u\) satisfies asymptotic completeness.
Through these results, the author not only extended the theoretical framework of discrete nonlinear Schrödinger equations but also provided a solid mathematical foundation for subsequent research.