Table of Contents
Fetching ...

Global well-posedness of non-integrable hyperbolic-ellptic Ishimori system in the critical Sobolev space

Zexian Zhang, Yi Zhou

TL;DR

We study the Cauchy problem for the hyperbolic-elliptic Ishimori system $\partial_t S = S \times (\partial_{x_1}^2 S - \partial_{x_2}^2 S) + \kappa (\partial_{x_1} \phi \cdot \partial_{x_1} S + \partial_{x_2} \phi \cdot \partial_{x_2} S)$ with $\Delta_x \phi = 2 S \cdot (\partial_{x_1} S \times \partial_{x_2} S)$ in two spatial dimensions, proving global well-posedness for small data in the critical Sobolev space $\dot{H}^1_Q(\mathbb{R}^2)$. The authors reformulate the system in Tao’s caloric gauge via differentiated fields $\psi_\alpha$ and connections $A_\alpha$, and develop ultrahyperbolic $U^p$-$V^p$ Strichartz estimates together with a new div-curl lemma to obtain sharp bilinear bounds. A two-tier bootstrap framework based on frequency envelopes $a_k(\sigma), b_k(\sigma), c_k(\sigma)$ drives both a heat-flow and an ultrahyperbolic Schrödinger analysis, closing for small data and extending the integrable case $\kappa=1$ to general $\kappa$, with a unified approach applicable to hyperbolic and elliptic Schrödinger maps in $d\ge2$. The results provide robust analytic tools for non-integrable Ishimori-type models and broaden the caloric gauge methodology beyond the elliptic setting.

Abstract

We consider the Cauchy problem for the hyperbolic-elliptic Ishimori system with general decoupling constant $κ\in \mathbb{R}$ and prove global well-posedness in the critical Sobolev space. The proof relies primarily on new bilinear estimates, which are established via a novel div-curl lemma first introduced by the second author in \cite{zhou_1+2dimensional_2022}. Our approach combines the caloric gauge technique with $U^p$-$V^p$ type Strichartz estimates to handle the hyperbolic structure of the equation. The results extend previous work on the integrable case $κ= 1$ to general $κ$ and provide a unified framework that also applies to hyperbolic and elliptic Schrödinger maps in dimensions $d \ge 2$.

Global well-posedness of non-integrable hyperbolic-ellptic Ishimori system in the critical Sobolev space

TL;DR

We study the Cauchy problem for the hyperbolic-elliptic Ishimori system with in two spatial dimensions, proving global well-posedness for small data in the critical Sobolev space . The authors reformulate the system in Tao’s caloric gauge via differentiated fields and connections , and develop ultrahyperbolic - Strichartz estimates together with a new div-curl lemma to obtain sharp bilinear bounds. A two-tier bootstrap framework based on frequency envelopes drives both a heat-flow and an ultrahyperbolic Schrödinger analysis, closing for small data and extending the integrable case to general , with a unified approach applicable to hyperbolic and elliptic Schrödinger maps in . The results provide robust analytic tools for non-integrable Ishimori-type models and broaden the caloric gauge methodology beyond the elliptic setting.

Abstract

We consider the Cauchy problem for the hyperbolic-elliptic Ishimori system with general decoupling constant and prove global well-posedness in the critical Sobolev space. The proof relies primarily on new bilinear estimates, which are established via a novel div-curl lemma first introduced by the second author in \cite{zhou_1+2dimensional_2022}. Our approach combines the caloric gauge technique with - type Strichartz estimates to handle the hyperbolic structure of the equation. The results extend previous work on the integrable case to general and provide a unified framework that also applies to hyperbolic and elliptic Schrödinger maps in dimensions .
Paper Structure (9 sections, 19 theorems, 191 equations)

This paper contains 9 sections, 19 theorems, 191 equations.

Key Result

Theorem 1.1

Given $Q \in \mathbb{S}^2$. Then there exists $\varepsilon >0$ such that for any $S_0 \in H^{\infty}_Q$ with $\|S_0-Q\|_{\dot{H}^1}\le \varepsilon$, there exists a unique global solution $S \in C(\mathbb{R};H^{\infty}_Q)$ to the ishimori system ishimori satisfying and for $k\in \mathbb{Z}_+,$ Moreover, for any $\sigma \in [0,\sigma_1]$ the operator $T_Q: S_0\mapsto S(t)$ admits a continuous e

Theorems & Definitions (37)

  • Theorem 1.1
  • Definition 1.2: Caloric gauge
  • Definition 1.3
  • Definition 1.4
  • Lemma 1.5
  • Proposition 1.6: Heat flow bootstrap assumptions
  • Proposition 1.7: Ultrahyperbolic Schrödinger bootstrap assumptions
  • proof : Proof of Theorem 1.1
  • Proposition 1.8
  • Lemma 1.9
  • ...and 27 more