Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Necessary and sufficient condition for global existence of $L^2$ solutions for 1D periodic NLS with non-gauge invariant quadratic nonlinearity

Kazumasa Fujiwara, Vladimir Georgiev

Abstract

We study 1D NLS with non-gauge invariant quadratic nonlinearity on the torus. The Cauchy problem admits trivial global solutions which are constant with respect to space. The non-existence of global solutions also has been studied only by focusing on the behavior of the Fourier $0$ mode of solutions. However, the earlier works are not sufficient to obtain the precise criteria for the global existence for the Cauchy problem. In this paper, the exact criteria for the global existence of $L^2$ solutions is shown by studying the interaction between the Fourier $0$ mode and oscillation of solutions. Namely, $L^2$ solutions are shown a priori not to exist globally if they are different from the trivial ones.

Necessary and sufficient condition for global existence of $L^2$ solutions for 1D periodic NLS with non-gauge invariant quadratic nonlinearity

Abstract

We study 1D NLS with non-gauge invariant quadratic nonlinearity on the torus. The Cauchy problem admits trivial global solutions which are constant with respect to space. The non-existence of global solutions also has been studied only by focusing on the behavior of the Fourier mode of solutions. However, the earlier works are not sufficient to obtain the precise criteria for the global existence for the Cauchy problem. In this paper, the exact criteria for the global existence of solutions is shown by studying the interaction between the Fourier mode and oscillation of solutions. Namely, solutions are shown a priori not to exist globally if they are different from the trivial ones.

Paper Structure

This paper contains 3 sections, 5 theorems, 58 equations.

Table of Contents

  1. introduction
  2. Preparation
  3. Proof of Proposition \ref{['Proposition:1.2']}

Key Result

Proposition 1.1

For any $n \geq 1$ and $p > 1$, if initial data $\phi \in H^2(\mathbb T^n)$ satisfies then there is no $C^1((0,\infty);L^2(\mathbb T^n)) \cap C(\lbrack 0,\infty);(H^2 \cap L^{2p})(\mathbb T^n))$ function satisfying eq:1.2 on $\lbrack 0, \infty)$ in the $L^2$ framework.

Theorems & Definitions (7)

  • Proposition 1.1: FO17
  • Proposition 1.2
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Corollary 2.3