-
General soliton solutions to the coupled Hirota equation via the Kadomtsev-Petviashvili reduction
Authors:
Changyan Shi,
Bingyuan Liu,
Bao-Feng Feng
Abstract:
In this paper, we are concerned with various soliton solutions to the coupled Hirota equation, as well as to the Sasa-Satsuma equation which can be viewed as one reduction case of the coupled Hirota equation. First, we derive bright-bright, dark-dark, and bright-dark soliton solutions of the coupled Hirota equation by using the Kadomtsev-Petviashvili reduction method. Then, we present the bright a…
▽ More
In this paper, we are concerned with various soliton solutions to the coupled Hirota equation, as well as to the Sasa-Satsuma equation which can be viewed as one reduction case of the coupled Hirota equation. First, we derive bright-bright, dark-dark, and bright-dark soliton solutions of the coupled Hirota equation by using the Kadomtsev-Petviashvili reduction method. Then, we present the bright and dark soliton solutions to the Sasa-Satsuma equation which are expressed by determinants of $N \times N$ instead of $2N \times 2N$ in the literature. The dynamics of first-, second-order solutions are investigated in detail. It is intriguing that, for the SS equation, the bright soliton for \(N=1\) is also the soliton to the complex mKdV equation while the amplitude and velocity of dark soliton for \(N=1\) are determined by the background plane wave. For \(N=2\), the bright soliton can be classified into three types: oscillating, single-hump, and two-hump ones while the dark soliton can be classified into five types: dark (single-hole), anti-dark, Mexican hat, anti-Mexican hat and double-hole. Moreover, the types of bright solitons for the Sasa-Satsuma equation can be changed due to collision.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
The large time asymptotics of nonlinear multichannel Schroedinger equations
Authors:
Baoping Liu,
Avy Soffer
Abstract:
We consider the Schroedinger equation with a general interaction term, which is localized in space. The interaction may be x, t dependent and non-linear. Purely non-linear parts of the interaction are localized via the radial Sobolev embedding. Under the assumption of radial symmetry and boundedness in H1(R3) of the solution, uniformly in time. we prove it is asymptotic in L2 (and H1) in the stron…
▽ More
We consider the Schroedinger equation with a general interaction term, which is localized in space. The interaction may be x, t dependent and non-linear. Purely non-linear parts of the interaction are localized via the radial Sobolev embedding. Under the assumption of radial symmetry and boundedness in H1(R3) of the solution, uniformly in time. we prove it is asymptotic in L2 (and H1) in the strong sense, to a free wave and a weakly localized solution. The general properties of the localized solutions are derived. The proof is based on the introduction of phase-space analysis of the nonlinear dispersive dynamics and relies on a new class of (exterior) a priory propagation estimates. This approach allows a unified analysis of general linear time-dependent potentials and non-linear interactions.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
Toeplitz operators and zeros of square-integrable random holomorphic sections
Authors:
Alexander Drewitz,
Bingxiao Liu,
George Marinescu
Abstract:
We use the theory of abstract Wiener spaces to construct a probabilistic model for Berezin-Toeplitz quantization on a complete Hermitian complex manifold endowed with a positive line bundle. We associate to a function with compact support (a classical observable) a family of square-integrable Gaussian holomorphic sections. Our focus then is on the asymptotic distributions of their zeros in the sem…
▽ More
We use the theory of abstract Wiener spaces to construct a probabilistic model for Berezin-Toeplitz quantization on a complete Hermitian complex manifold endowed with a positive line bundle. We associate to a function with compact support (a classical observable) a family of square-integrable Gaussian holomorphic sections. Our focus then is on the asymptotic distributions of their zeros in the semiclassical limit, in particular, we prove equidistribution results, large deviation estimates, and central limit theorems of the random zeros on the support of the given function. One of the key ingredients of our approach is the local asymptotic expansions of Berezin-Toeplitz kernels with non-smooth symbols.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Integral invariants for framed 3-manifolds associated to trivalent graphs possibly with self-loops
Authors:
Hisatoshi Kodani,
Bingxiao Liu
Abstract:
Bott--Cattaneo's theory defines the integral invariants for a framed rational homology 3-sphere equipped with an acyclic orthogonal local system, in terms of graph cocycles without self-loops. The 2-loop term of their invariants is associated with the theta graph. Their definition requires a cohomological condition. Cattaneo--Shimizu removed this cohomological condition and gave a 2-loop invariant…
▽ More
Bott--Cattaneo's theory defines the integral invariants for a framed rational homology 3-sphere equipped with an acyclic orthogonal local system, in terms of graph cocycles without self-loops. The 2-loop term of their invariants is associated with the theta graph. Their definition requires a cohomological condition. Cattaneo--Shimizu removed this cohomological condition and gave a 2-loop invariant associated with a linear combination of the theta graph and the dumbbell graph, the 2-loop trivalent graph with self-loops. In this paper, we are concerned with an acyclic local system given by the adjoint representation of a semi-simple Lie group composed with a representation of the fundamental group of a closed 3-manifold, and we show that through a cohomological construction eventually the integral associated with the dumbbell graph vanishes. Based on this idea, we construct a theory of graph complexes and cocycles, so that higher-loop invariants can be defined by two different but equivalent methods: the graph cocycles without self-loops as in Bott--Cattaneo's theory, and the ones with self-loops that extend Cattaneo--Shimizu's 2-loop invariants. As a consequence, we prove that the generating series of Chern--Simons perturbation theory gives rise to topological invariants for framed 3-manifolds in our setting, which admits a formula in terms of only trivalent graphs without self-loops.
△ Less
Submitted 7 July, 2024; v1 submitted 5 November, 2023;
originally announced November 2023.
-
Linear stability of the elliptic relative equilibria for the restricted N-body problem: two special cases
Authors:
Jiashengliang Xie,
Bowen Liu,
Qinglong Zhou
Abstract:
In this paper, we consider the elliptic relative equilibria of the restricted $N$-body problems, where the $N-1$ primaries form an Euler-Moulton collinear central configuration or a $(1+n)$-gon central configuration. We obtain the symplectic reduction to the general restricted $N$-body problem. For the first case, by analyzing the relationship between this restricted $N$-body problems and the elli…
▽ More
In this paper, we consider the elliptic relative equilibria of the restricted $N$-body problems, where the $N-1$ primaries form an Euler-Moulton collinear central configuration or a $(1+n)$-gon central configuration. We obtain the symplectic reduction to the general restricted $N$-body problem. For the first case, by analyzing the relationship between this restricted $N$-body problems and the elliptic Lagrangian solutions, we obtain the linear stability of the restricted $N$-body problem by the $ω$-Maslov index. Via numerical computations, we also obtain conditions of the stability on the mass parameters under $N=4$ and the symmetry of the central configuration. For the second case, there exist three positions $S_1,S_2$ and $S_3$ of the massless body (up to rotations of angle $\frac{2π}{n}$). For ${m_0\over m}$ sufficiently large, we show that the elliptic relative equilibria is linearly unstable if the eccentricity $0\le e<e_0$ and the massless body lies at $S_1$ or $S_2$; while the elliptic relative equilibria is linear stability if the massless body lies at $S_3$.
△ Less
Submitted 21 September, 2024; v1 submitted 30 September, 2023;
originally announced October 2023.
-
Data Generation-based Operator Learning for Solving Partial Differential Equations on Unbounded Domains
Authors:
Jihong Wang,
Xin Wang,
Jing Li,
Bin Liu
Abstract:
Wave propagation problems are typically formulated as partial differential equations (PDEs) on unbounded domains to be solved. The classical approach to solving such problems involves truncating them to problems on bounded domains by designing the artificial boundary conditions or perfectly matched layers, which typically require significant effort, and the presence of nonlinearity in the equation…
▽ More
Wave propagation problems are typically formulated as partial differential equations (PDEs) on unbounded domains to be solved. The classical approach to solving such problems involves truncating them to problems on bounded domains by designing the artificial boundary conditions or perfectly matched layers, which typically require significant effort, and the presence of nonlinearity in the equation makes such designs even more challenging. Emerging deep learning-based methods for solving PDEs, with the physics-informed neural networks (PINNs) method as a representative, still face significant challenges when directly used to solve PDEs on unbounded domains. Calculations performed in a bounded domain of interest without imposing boundary constraints can lead to a lack of unique solutions thus causing the failure of PINNs. In light of this, this paper proposes a novel and effective operator learning-based method for solving PDEs on unbounded domains. The key idea behind this method is to generate high-quality training data. Specifically, we construct a family of approximate analytical solutions to the target PDE based on its initial condition and source term. Then, using these constructed data comprising exact solutions, initial conditions, and source terms, we train an operator learning model called MIONet, which is capable of handling multiple inputs, to learn the mapping from the initial condition and source term to the PDE solution on a bounded domain of interest. Finally, we utilize the generalization ability of this model to predict the solution of the target PDE. The effectiveness of this method is exemplified by solving the wave equation and the Schrodinger equation defined on unbounded domains. More importantly, the proposed method can deal with nonlinear problems, which has been demonstrated by solving Burger's equation and Korteweg-de Vries (KdV) equation.
△ Less
Submitted 10 April, 2024; v1 submitted 14 August, 2023;
originally announced September 2023.
-
Gaussian holomorphic sections on noncompact complex manifolds
Authors:
Alexander Drewitz,
Bingxiao Liu,
George Marinescu
Abstract:
We give two constructions of Gaussian-like random holomorphic sections of a Hermitian holomorphic line bundle $(L,h_{L})$ on a Hermitian complex manifold $(X,Θ)$. In particular, we are interested in the case where the space of $\mathcal{L}^2$-holomorphic sections $H^{0}_{(2)}(X,L)$ is infinite dimensional. We first provide a general construction of Gaussian random holomorphic sections of $L$, whic…
▽ More
We give two constructions of Gaussian-like random holomorphic sections of a Hermitian holomorphic line bundle $(L,h_{L})$ on a Hermitian complex manifold $(X,Θ)$. In particular, we are interested in the case where the space of $\mathcal{L}^2$-holomorphic sections $H^{0}_{(2)}(X,L)$ is infinite dimensional. We first provide a general construction of Gaussian random holomorphic sections of $L$, which, if $\dim H^{0}_{(2)}(X,L)=\infty$, are almost never $\mathcal{L}^2$-integrable on $X$. The second construction combines the abstract Wiener space theory with the Berezin-Toeplitz quantization and yields a random $\mathcal{L}^2$-holomorphic section. Furthermore, we study their random zeros in the context of semiclassical limits, including their equidistribution, large deviation estimates and hole probabilities.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Linear stability of the elliptic relative equilibria for the restricted $4$-body problem: the Euler case
Authors:
Bowen Liu,
Qinglong Zhou
Abstract:
In this paper, we consider the elliptic relative equilibria of the restricted $4$-body problems, where the three primaries form an Euler collinear configuration and the four bodies span $\mathbf{R}^2$. We obtain the symplectic reduction to the general restricted $N$-body problem. By analyzing the relationship between this restricted $4$-body problems and the elliptic Lagrangian solutions, we obtai…
▽ More
In this paper, we consider the elliptic relative equilibria of the restricted $4$-body problems, where the three primaries form an Euler collinear configuration and the four bodies span $\mathbf{R}^2$. We obtain the symplectic reduction to the general restricted $N$-body problem. By analyzing the relationship between this restricted $4$-body problems and the elliptic Lagrangian solutions, we obtain the linear stability of the restricted $4$-body problem by the $ω$-Maslov index. Via numerical computations, we also obtain conditions of the stability on the mass parameters for the symmetric cases.
△ Less
Submitted 21 May, 2022;
originally announced May 2022.
-
A General Scattering theory for Nonlinear and Non-autonomous Schroedinger Type Equations- A Brief description
Authors:
Baoping Liu,
Avy Soffer
Abstract:
We give a short description of the proof of asymptotic-completeness for NLS-type equations, including time dependent potential terms, with radial data in three dimensions. We also show how the method applies for the two-body Quantum Scattering case.
We give a short description of the proof of asymptotic-completeness for NLS-type equations, including time dependent potential terms, with radial data in three dimensions. We also show how the method applies for the two-body Quantum Scattering case.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
Stability estimates in a partial data inverse boundary value problem for biharmonic operators at high frequencies
Authors:
Boya Liu
Abstract:
We study the inverse boundary value problems of determining a potential in the Helmholtz type equation for the perturbed biharmonic operator from the knowledge of the partial Cauchy data set. Our geometric setting is that of a domain whose inaccessible portion of the boundary is contained in a hyperplane, and we are given the Cauchy data set on the complement. The uniqueness and logarithmic stabil…
▽ More
We study the inverse boundary value problems of determining a potential in the Helmholtz type equation for the perturbed biharmonic operator from the knowledge of the partial Cauchy data set. Our geometric setting is that of a domain whose inaccessible portion of the boundary is contained in a hyperplane, and we are given the Cauchy data set on the complement. The uniqueness and logarithmic stability for this problem were established in [37] and [7], respectively. We establish stability estimates in the high frequency regime, with an explicit dependence on the frequency parameter, under mild regularity assumptions on the potentials, sharpening those of [7].
△ Less
Submitted 24 April, 2020; v1 submitted 29 October, 2019;
originally announced October 2019.
-
Linear Stability of Elliptic Relative Equilibria of Restricted Four-body Problem
Authors:
Bowen Liu,
Qinglong Zhou
Abstract:
In this paper, we consider the linear stability of the elliptic relative equilibria of the restricted 4-body problems where the three primaries form a Lagrangian triangle. By reduction, the linearized Poincaré map is decomposed to the essential part, the Keplerian part and the elliptic Lagrangian part where the last two parts have been studied in literature. The linear stability of the essential p…
▽ More
In this paper, we consider the linear stability of the elliptic relative equilibria of the restricted 4-body problems where the three primaries form a Lagrangian triangle. By reduction, the linearized Poincaré map is decomposed to the essential part, the Keplerian part and the elliptic Lagrangian part where the last two parts have been studied in literature. The linear stability of the essential part depends on the masses parameters $α$, $β$ with $α\geq β>0$ and the eccentricity $e\in[0,1)$. Via $\om$-Maslov index theory and linear differential operator theory, we obtain the full bifurcation diagram of linearly stable and unstable regions with respect to $α$, $β$ and $e$. Especially, two linearly stable sub-regions are found.
△ Less
Submitted 31 July, 2019;
originally announced July 2019.
-
Global identifiability of low regularity fluid parameters in acoustic tomography of moving fluid
Authors:
Boya Liu
Abstract:
We are concerned with inverse boundary problems for first order perturbations of the Laplacian, which arise as model operators in the acoustic tomography of a moving fluid. We show that the knowledge of the Dirichlet--to--Neumann map on the boundary of a bounded domain in $\mathbb{R}^n$, $n\ge 3$, determines the first order perturbation of low regularity up to a natural gauge transformation, which…
▽ More
We are concerned with inverse boundary problems for first order perturbations of the Laplacian, which arise as model operators in the acoustic tomography of a moving fluid. We show that the knowledge of the Dirichlet--to--Neumann map on the boundary of a bounded domain in $\mathbb{R}^n$, $n\ge 3$, determines the first order perturbation of low regularity up to a natural gauge transformation, which sometimes is trivial. As an application, we recover the fluid parameters of low regularity from boundary measurements, sharpening the regularity assumptions in the recent results of [1] and [3]. In particular, we allow some fluid parameters to be discontinuous.
△ Less
Submitted 30 November, 2018; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Linear Instability of Elliptic Rhombus Solutions to the Planar Four-body Problem
Authors:
Bowen Liu
Abstract:
In this paper, we study the linear stability of the elliptic rhombus solutions, which are the Keplerian homographic solution with the rhombus central configurations in the classical planar four-body problems. Using $ω$-Maslov index theory and trace formula, we prove the linear instability of elliptic rhombus solutions if the shape parameter $u$ and the eccentricity of the elliptic orbit $e$ satisf…
▽ More
In this paper, we study the linear stability of the elliptic rhombus solutions, which are the Keplerian homographic solution with the rhombus central configurations in the classical planar four-body problems. Using $ω$-Maslov index theory and trace formula, we prove the linear instability of elliptic rhombus solutions if the shape parameter $u$ and the eccentricity of the elliptic orbit $e$ satisfy $(u,e) \in (1/\sqrt{3}, u_2)\times [0, \hat{f}(\frac{27}{4})^{-1/2})\cup (u_2, 1/u_2) \times [0,1)\cup ( 1/u_2, \sqrt{3})\times [0, \hat{f}(\frac{27}{4})^{-1/2})$ where $u_2\approx 0.6633$ and $\hat{f}(\frac{27}{4})^{-1/2} \approx 0.4454$. Motivated on numerical results of the linear stability to the elliptic Lagrangian solutions in [R. Martínez, A. Samà, and C. Simó, J. Diff. Equa., 226(2006): 619--651.], we further analytically prove the linear instability of elliptic rhombus solutions for $(u,e)\in (1/\sqrt{3}, \sqrt{3}) \times [0,1)$.
△ Less
Submitted 16 October, 2021; v1 submitted 2 June, 2018;
originally announced June 2018.
-
Stable soliton resolution for exterior wave maps in all equivariance classes
Authors:
Carlos Kenig,
Andrew Lawrie,
Baoping Liu,
Wilhelm Schlag
Abstract:
In this paper we consider finite energy, \ell-equivariant wave maps from 1+3-dimensional Minkowski space exterior to the unit ball at the origin into the 3-sphere. We impose a Dirichlet boundary condition at r=1, which in this context means that the boundary of the unit ball in the domain gets mapped to the north pole. Each such \ell-equivariant wave map has a fixed integer-valued topological degr…
▽ More
In this paper we consider finite energy, \ell-equivariant wave maps from 1+3-dimensional Minkowski space exterior to the unit ball at the origin into the 3-sphere. We impose a Dirichlet boundary condition at r=1, which in this context means that the boundary of the unit ball in the domain gets mapped to the north pole. Each such \ell-equivariant wave map has a fixed integer-valued topological degree, and in each degree class there is a unique harmonic map, which minimizes the energy for maps of the same degree. We prove that an arbitrary \ell-equivariant exterior wave map with finite energy scatters to the unique harmonic map in its degree class, i.e., soliton resolution. This extends the recent results of the first, second, and fourth authors on the 1-equivariant equation to higher equivariance classes, and thus completely resolves a conjecture of Bizon, Chmaj and Maliborski, who observed this asymptotic behavior numerically. The proof relies crucially on exterior energy estimates for the free radial wave equation in dimension d = 2 \ell +3, which are established in a companion paper.
△ Less
Submitted 17 August, 2015; v1 submitted 11 September, 2014;
originally announced September 2014.
-
Channels of energy for the linear radial wave equation
Authors:
Carlos Kenig,
Andrew Lawrie,
Baoping Liu,
Wilhelm Schlag
Abstract:
Exterior channel of energy estimates for the radial wave equation were first considered in three dimensions by Duyckaerts, the first author, and Merle, and recently for the 5-dimensional case by the first, second, and fourth authors. In this paper we find the general form of the channel of energy estimate in all odd dimensions for the radial free wave equation. This will be used in a companion pap…
▽ More
Exterior channel of energy estimates for the radial wave equation were first considered in three dimensions by Duyckaerts, the first author, and Merle, and recently for the 5-dimensional case by the first, second, and fourth authors. In this paper we find the general form of the channel of energy estimate in all odd dimensions for the radial free wave equation. This will be used in a companion paper to establish soliton resolution for equivariant wave maps in 3 dimensions exterior to the ball B(0,1), and in all equivariance classes.
△ Less
Submitted 11 September, 2014;
originally announced September 2014.
-
Global wellposedness of the equivariant Chern-Simons-Schrödinger equation
Authors:
Baoping Liu,
Paul Smith
Abstract:
In this article we consider the initial value problem for the m-equivariant Chern-Simons-Schrödinger model in two spatial dimensions with real-valued coupling parameter g. This is a covariant NLS type problem that is L^2-critical. We prove that at the critical regularity, for any integer-valued equivariance index m, the initial value problem in the defocusing case (g < 1) is globally wellposed and…
▽ More
In this article we consider the initial value problem for the m-equivariant Chern-Simons-Schrödinger model in two spatial dimensions with real-valued coupling parameter g. This is a covariant NLS type problem that is L^2-critical. We prove that at the critical regularity, for any integer-valued equivariance index m, the initial value problem in the defocusing case (g < 1) is globally wellposed and the solution scatters. The problem is focusing when g >= 1, and in this case we prove that for nonnegative integer-valued equivariance indices m there exist constants c = c_{m, g} such that, at the critical regularity, the initial value problem is globally wellposed and the solution scatters when the L^2 initial data phi_0 is m-equivariant and has L^2-norm less than the square root of c_{m, g}. We also show that c_{m, g}^{1/2} is equal to the minimum L^2 norm of a nontrivial m-equivariant standing wave solution. In the self-dual g = 1 case, we have the exact numerical values c_{m, 1} = 8*pi*(m + 1).
△ Less
Submitted 7 February, 2014; v1 submitted 19 December, 2013;
originally announced December 2013.
-
Local wellposedness of Chern-Simons-Schrödinger
Authors:
Baoping Liu,
Paul Smith,
Daniel Tataru
Abstract:
In this article we consider the initial value problem for the Chern-Simons-Schrodinger model in two space dimensions. This is a covariant NLS type problem which is L^2 critical. For this equation we introduce a so-called heat gauge, and prove that, with respect to this gauge, the problem is locally well-posed for initial data which is small in H^s, s > 0.
In this article we consider the initial value problem for the Chern-Simons-Schrodinger model in two space dimensions. This is a covariant NLS type problem which is L^2 critical. For this equation we introduce a so-called heat gauge, and prove that, with respect to this gauge, the problem is locally well-posed for initial data which is small in H^s, s > 0.
△ Less
Submitted 6 December, 2012;
originally announced December 2012.
-
On the Witten Rigidity Theorem for String$^c$ Manifolds
Authors:
Jianqing Yu,
Bo Liu
Abstract:
We establish the family rigidity and vanishing theorems on the equivariant $K$-theory level for the Witten type operators on String$^c$ manifolds introduced by Chen-Han-Zhang.
We establish the family rigidity and vanishing theorems on the equivariant $K$-theory level for the Witten type operators on String$^c$ manifolds introduced by Chen-Han-Zhang.
△ Less
Submitted 26 June, 2012;
originally announced June 2012.
-
Rigidity and Vanishing Theorems on ${\mathbb{Z}}/k$ Spin$^c$ manifolds
Authors:
Bo Liu,
Jianqing Yu
Abstract:
In this paper, we first establish an $S^1$-equivariant index theorem for Spin$^c$ Dirac operators on $\mathbb{Z}/k$ manifolds, then combining with the methods developed by Taubes \cite{MR998662} and Liu-Ma-Zhang \cite{MR1870666,MR2016198}, we extend Witten's rigidity theorem to the case of $\mathbb{Z}/k$ Spin$^c$ manifolds. Among others, our results resolve a conjecture of Devoto \cite{MR1405063}
In this paper, we first establish an $S^1$-equivariant index theorem for Spin$^c$ Dirac operators on $\mathbb{Z}/k$ manifolds, then combining with the methods developed by Taubes \cite{MR998662} and Liu-Ma-Zhang \cite{MR1870666,MR2016198}, we extend Witten's rigidity theorem to the case of $\mathbb{Z}/k$ Spin$^c$ manifolds. Among others, our results resolve a conjecture of Devoto \cite{MR1405063}
△ Less
Submitted 20 April, 2011;
originally announced April 2011.
