[Paper Review] The direct problem for the perturbed Kadomtsev-Petviashvili II one line solitons

Derchyi Wu|arXiv (Cornell University)|Jul 4, 2018

Nonlinear Waves and Solitons11 references3 citations

TL;DR

This paper establishes a rigorous direct scattering theory for perturbed Kadomtsev-Petviashvili II (KPII) one-line solitons by deriving uniform estimates for the Green function and justifying the Cauchy integral equation for the eigenfunction. It proves existence of the eigenfunction and derives a regularized spectral transform under small, smooth initial data, resolving long-standing issues in the inverse scattering theory of KPII solitons with non-meromorphic scattering data and discontinuous kernels.

ABSTRACT

We provide rigorous analysis for the direct scattering theory of perturbed Kadomtsev-Petviashvili II one line solitons. Namely, for generic small initial data, the existence of the eigenfunction is proved by establishing uniform estimates of the Green function and the Cauchy integral equation for the eigenfunction is justified by analysing the spectral transform.

Motivation & Objective

• To resolve the open problem of rigorous direct scattering theory for perturbed KPII one-line solitons with non-meromorphic and discontinuous scattering data.
• To establish uniform estimates for the Green function in the presence of singularities and oscillatory behavior.
• To justify the Cauchy integral equation for the eigenfunction despite discontinuities and non-symmetric kernels.
• To introduce a regularized eigenfunction that simplifies the spectral transform and enables analysis of the inverse problem.
• To provide non-uniform estimates sufficient for spectral analysis under small, compactly supported initial perturbations in $L^1 \cap L^∞$ with up to four derivatives.

Proposed method

• Decomposes the Green function kernel into Gaussian, oscillatory, rational, and regular components for separate analysis using distinct techniques.
• Applies Fourier and complex analysis tools to derive uniform bounds on the spectral transform under $C^4$ regularity of initial data.
• Introduces a regularized eigenfunction $\mathfrak{m}$ to handle discontinuities and simplify the Cauchy integral equation structure.
• Uses Liouville’s theorem and asymptotic decay analysis to deduce the form of the eigenfunction and verify boundary conditions.
• Derives the spectral transform via a singular Cauchy integral equation involving $\mathcal{C}T\mathfrak{m}$, with uniform decay at infinity.
• Employs $L^1 \cap L^\infty$ norms with up to four derivatives to control growth and ensure convergence of integral operators.

Experimental results

Research questions

• RQ1 Can uniform estimates for the Green function be established in the presence of discontinuities and oscillatory behavior for perturbed KPII one-line solitons?
• RQ2 How can the Cauchy integral equation for the eigenfunction be justified when scattering data are not meromorphic due to discontinuities?
• RQ3 What role does the regularized eigenfunction $\mathfrak{m}$ play in simplifying the spectral transform and enabling inverse problem analysis?
• RQ4 Under what conditions on initial data does the spectral transform admit uniform estimates sufficient for inverse scattering?
• RQ5 What is the asymptotic behavior of the eigenfunction and its transform at infinity, and how does it relate to the soliton's stability?

Key findings

• Uniform estimates for the Green function are established by decomposing the kernel into Gaussian, oscillatory, rational, and regular parts, each analyzed with tailored techniques.
• The existence of the eigenfunction $\Psi$ is proven via uniform bounds on the Green function and spectral transform under small initial data in $L^1 \cap L^\infty$ with up to four derivatives.
• The regularized eigenfunction $\mathfrak{m}$ satisfies a singular Cauchy integral equation: $\mathfrak{m} = g + \frac{\mathfrak{m}_{\text{res}}}{\lambda - i\kappa} + \mathcal{C}T\mathfrak{m}$, with $|\mathcal{C}T\mathfrak{m}|_{L^\infty} \leq C$.
• As $|\lambda| \to \infty$ with $\lambda_R \neq 0$, $\mathcal{C}T\mathfrak{m} \to 0$ uniformly, enabling application of Liouville’s theorem.
• The eigenfunction satisfies $\mathfrak{m}(x,y,\lambda) = 1 + \frac{\mathfrak{m}_{\text{res}}(x,y)}{\lambda - i\kappa} + \mathcal{C}T\mathfrak{m}(x,y,\lambda)$, with $g \equiv 1$ due to boundary conditions.
• In the unperturbed case ($v_0 \equiv 0$), the solution reduces to $\mathfrak{m}(x,y,\lambda) = 1 + \frac{3i\kappa}{\lambda - 2i\kappa}\left(1 - \frac{2/3}{1 + e^{-2\kappa x}}\right)$, confirming consistency with known soliton solutions.