-
Slicing method for nonlinear integral inequalities related to critical nonlinear wave equations
Authors:
Takiko Sasaki,
Kerun Shao,
Hiroyuki Takamura
Abstract:
The so-called "slicing method" is one of the simple and powerful tools to show the blow-up, as well as optimal upper bound of the lifespan, of solutions to critical nonlinear wave equations by iteration with the logarithmic term. It has made strong advantages in various works on nonlinear hyperbolic PDEs. In this paper, we establish one more example as a short and simple proof of the blow-up theor…
▽ More
The so-called "slicing method" is one of the simple and powerful tools to show the blow-up, as well as optimal upper bound of the lifespan, of solutions to critical nonlinear wave equations by iteration with the logarithmic term. It has made strong advantages in various works on nonlinear hyperbolic PDEs. In this paper, we establish one more example as a short and simple proof of the blow-up theorem for the wave equation with power-type nonlinearities of spatial derivatives of unknown functions. This method may help us to extend the blow-up result for a single nonlinear wave equation to the one for weakly coupled systems.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
A Data-Driven Framework for Koopman Semigroup Estimation in Stochastic Dynamical Systems
Authors:
Yuanchao Xu,
Kaidi Shao,
Isao Ishikawa,
Yuka Hashimoto,
Nikos Logothetis,
Zhongwei Shen
Abstract:
We present Stochastic Dynamic Mode Decomposition (SDMD), a novel data-driven framework for approximating the Koopman semigroup in stochastic dynamical systems. Unlike existing methods, SDMD explicitly incorporates sampling time into its approximation, ensuring numerical stability and precision. By directly approximating the Koopman semigroup instead of the generator, SDMD avoids computationally ex…
▽ More
We present Stochastic Dynamic Mode Decomposition (SDMD), a novel data-driven framework for approximating the Koopman semigroup in stochastic dynamical systems. Unlike existing methods, SDMD explicitly incorporates sampling time into its approximation, ensuring numerical stability and precision. By directly approximating the Koopman semigroup instead of the generator, SDMD avoids computationally expensive matrix exponential computations, which offers a more efficient and practical pathway for analyzing stochastic dynamics. The framework further integrates neural networks to automate basis selection, which reduces the reliance on manual intervention while maintaining computational efficiency. Rigorous theoretical guarantees, including convergence in the large data limit, zero-limit of sampling time, and large dictionary size, establish the method's reliability. Numerical experiments on canonical stochastic systems validate SDMD's effectiveness in approximating eigenvalues and eigenfunctions of the stochastic Koopman operator.
△ Less
Submitted 24 May, 2025; v1 submitted 22 January, 2025;
originally announced January 2025.
-
ResKoopNet: Learning Koopman Representations for Complex Dynamics with Spectral Residuals
Authors:
Yuanchao Xu,
Kaidi Shao,
Nikos Logothetis,
Zhongwei Shen
Abstract:
Analyzing the long-term behavior of high-dimensional nonlinear dynamical systems remains a significant challenge. While the Koopman operator framework provides a powerful global linearization tool, current methods for approximating its spectral components often face theoretical limitations and depend on predefined dictionaries. Residual Dynamic Mode Decomposition (ResDMD) advanced the field by int…
▽ More
Analyzing the long-term behavior of high-dimensional nonlinear dynamical systems remains a significant challenge. While the Koopman operator framework provides a powerful global linearization tool, current methods for approximating its spectral components often face theoretical limitations and depend on predefined dictionaries. Residual Dynamic Mode Decomposition (ResDMD) advanced the field by introducing the \emph{spectral residual} to assess Koopman operator approximation accuracy; however, its approach of only filtering precomputed spectra prevents the discovery of the operator's complete spectral information, a limitation known as the `spectral inclusion' problem. We introduce ResKoopNet (Residual-based Koopman-learning Network), a novel method that directly addresses this by explicitly minimizing the \emph{spectral residual} to compute Koopman eigenpairs. This enables the identification of a more precise and complete Koopman operator spectrum. Using neural networks, our approach provides theoretical guarantees while maintaining computational adaptability. Experiments on a variety of physical and biological systems show that ResKoopNet achieves more accurate spectral approximations than existing methods, particularly for high-dimensional systems and those with continuous spectra, which demonstrates its effectiveness as a tool for analyzing complex dynamical systems.
△ Less
Submitted 27 May, 2025; v1 submitted 31 December, 2024;
originally announced January 2025.
-
Criteria of the existence of global solutions to semilinear wave equations with first-order derivatives on exterior domains
Authors:
Kerun Shao
Abstract:
We study the existence of global solutions to semilinear wave equations on exterior domains $\mathbb{R}^n\setminus\mathcal{K}$, $n\geq2$, with small initial data and nonlinear terms $F(\partial u)$ where $F\in C^κ$ and $\partial^{\leqκ}F(0)=0$. If $n\geq2$ and $κ>n/2$, criteria of the existence of a global solution for general initial data are provided, except for non-empty obstacles…
▽ More
We study the existence of global solutions to semilinear wave equations on exterior domains $\mathbb{R}^n\setminus\mathcal{K}$, $n\geq2$, with small initial data and nonlinear terms $F(\partial u)$ where $F\in C^κ$ and $\partial^{\leqκ}F(0)=0$. If $n\geq2$ and $κ>n/2$, criteria of the existence of a global solution for general initial data are provided, except for non-empty obstacles $\mathcal{K}$ when $n=2$. For $n\geq3$ and $1\leqκ\leq n/2$, we verify the criteria for radial solutions provided obstacles $\mathcal{K}$ are closed balls centered at origin. These criteria are established by local energy estimates and the weighted Sobolev embedding including trace estimates. Meanwhile, for the sample choice of the nonlinear term and initial data, sharp estimates of lifespan are obtained.
△ Less
Submitted 7 December, 2024;
originally announced December 2024.
-
Reinforcement Learning for Finite Space Mean-Field Type Games
Authors:
Kai Shao,
Jiacheng Shen,
Chijie An,
Mathieu Laurière
Abstract:
Mean field type games (MFTGs) describe Nash equilibria between large coalitions: each coalition consists of a continuum of cooperative agents who maximize the average reward of their coalition while interacting non-cooperatively with a finite number of other coalitions. Although the theory has been extensively developed, we are still lacking efficient and scalable computational methods. Here, we d…
▽ More
Mean field type games (MFTGs) describe Nash equilibria between large coalitions: each coalition consists of a continuum of cooperative agents who maximize the average reward of their coalition while interacting non-cooperatively with a finite number of other coalitions. Although the theory has been extensively developed, we are still lacking efficient and scalable computational methods. Here, we develop reinforcement learning methods for such games in a finite space setting with general dynamics and reward functions. We start by proving that MFTG solution yields approximate Nash equilibria in finite-size coalition games. We then propose two algorithms. The first is based on quantization of mean-field spaces and Nash Q-learning. We provide convergence and stability analysis. We then propose a deep reinforcement learning algorithm, which can scale to larger spaces. Numerical experiments in 5 environments with mean-field distributions of dimension up to $200$ show the scalability and efficiency of the proposed method.
△ Less
Submitted 4 December, 2024; v1 submitted 25 September, 2024;
originally announced September 2024.
-
Blow-up of solutions to semilinear wave equations with spatial derivatives
Authors:
Kerun Shao,
Hiroyuki Takamura,
Chengbo Wang
Abstract:
For small-amplitude semilinear wave equations with power type nonlinearity on the first-order spatial derivative, the expected sharp upper bound on the lifespan of solutions is obtained for both critical cases and subcritical cases, for all spatial dimensions $n>1$. It is achieved uniformly by constructing the integral equations, deriving the ordinary differential inequality system, and iteration…
▽ More
For small-amplitude semilinear wave equations with power type nonlinearity on the first-order spatial derivative, the expected sharp upper bound on the lifespan of solutions is obtained for both critical cases and subcritical cases, for all spatial dimensions $n>1$. It is achieved uniformly by constructing the integral equations, deriving the ordinary differential inequality system, and iteration argument. Combined with the former works, the sharp lifespan estimates for this problem are completely established, at least for the spherical symmetric case.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
On the asymptotic behavior of solutions to the steady Navier-Stokes system in two-dimensional channels
Authors:
Han Li,
Kaijian Sha
Abstract:
In this paper, we investigate the incompressible steady Navier-Stokes system with no-slip boundary condition in a two-dimensional channel. Given any flux, the existence of solutions is proved as long as the width of cross-section of the channel grows more slowly than the linear growth. Furthermore, if the flux is suitably small, the solution is unique even when the width of the channel is unbounde…
▽ More
In this paper, we investigate the incompressible steady Navier-Stokes system with no-slip boundary condition in a two-dimensional channel. Given any flux, the existence of solutions is proved as long as the width of cross-section of the channel grows more slowly than the linear growth. Furthermore, if the flux is suitably small, the solution is unique even when the width of the channel is unbounded. Finally, based on the estimate of Dirichlet norm on the truncated domain, one could obtain the pointwise decay rate of the solution for arbitrary flux.
△ Less
Submitted 26 March, 2024;
originally announced April 2024.
-
Maximal Martingale Wasserstein Inequality
Authors:
Benjamin Jourdain,
Kexin Shao
Abstract:
In this note, we complete the analysis of the Martingale Wasserstein Inequality started in arXiv:2011.11599 by checking that this inequality fails in dimension $d\ge 2$ when the integrability parameter $ρ$ belongs to $[1,2)$ while a stronger Maximal Martingale Wasserstein Inequality holds whatever the dimension $d$ when $ρ\ge 2$.
In this note, we complete the analysis of the Martingale Wasserstein Inequality started in arXiv:2011.11599 by checking that this inequality fails in dimension $d\ge 2$ when the integrability parameter $ρ$ belongs to $[1,2)$ while a stronger Maximal Martingale Wasserstein Inequality holds whatever the dimension $d$ when $ρ\ge 2$.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Uniqueness and uniform structural stability of Poiseuille flows with large fluxes in two-dimensional strips
Authors:
Kaijian Sha,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we prove the uniform nonlinear structural stability of Poiseuille flows with suitably large flux for the steady Navier-Stokes system in a two-dimensional strip with arbitrary period. Furthermore, the well-posedness theory for the Navier-Stokes system is also proved even when the $L^2$-norm of the external force is large. In particular, if the vertical velocity is suitably small wher…
▽ More
In this paper, we prove the uniform nonlinear structural stability of Poiseuille flows with suitably large flux for the steady Navier-Stokes system in a two-dimensional strip with arbitrary period. Furthermore, the well-posedness theory for the Navier-Stokes system is also proved even when the $L^2$-norm of the external force is large. In particular, if the vertical velocity is suitably small where the smallness is independent of the flux, then Poiseuille flow is the unique solution of the steady Navier-Stokes system in the periodic strip. The key point is to establish uniform a priori estimates for the corresponding linearized problem via the boundary layer analysis, where we explore the particular features of odd and even stream functions. The analysis for the even stream function is new, which not only generalizes the previous study for the symmetric flows in \cite{Rabier1}, but also provides an explicit relation between the flux and period.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Non-decreasing martingale couplings
Authors:
Benjamin Jourdain,
Kexin Shao
Abstract:
For many examples of couples $(μ,ν)$ of probability measures on the real line in the convex order, we observe numerically that the Hobson and Neuberger martingale coupling, which maximizes for $ρ=1$ the integral of $|y-x|^ρ$ with respect to any martingale coupling between $μ$ and $ν$, is still a maximizer for $ρ\in(0,2)$ and a minimizer for $ρ>2$. We investigate the theoretical validity of this nu…
▽ More
For many examples of couples $(μ,ν)$ of probability measures on the real line in the convex order, we observe numerically that the Hobson and Neuberger martingale coupling, which maximizes for $ρ=1$ the integral of $|y-x|^ρ$ with respect to any martingale coupling between $μ$ and $ν$, is still a maximizer for $ρ\in(0,2)$ and a minimizer for $ρ>2$. We investigate the theoretical validity of this numerical observation and give rather restrictive sufficient conditions for the property to hold. We also exhibit couples $(μ,ν)$ such that it does not hold. The support of the Hobson and Neuberger coupling is known to satisfy some monotonicity property which we call non-decreasing. We check that the non-decreasing property is preserved for maximizers when $ρ\in(0,1]$. In general, there exist distinct non-decreasing martingale couplings, and we find some decomposition of $ν$ which is in one-to-one correspondence with martingale couplings non-decreasing in a generalized sense.
△ Less
Submitted 30 April, 2023;
originally announced May 2023.
-
Global Solutions with Small Initial Data to Semilinear Wave Equations with Energy Supercritical Powers
Authors:
Kerun Shao,
Chengbo Wang
Abstract:
Considering $1+n$ dimensional semilinear wave equations with energy supercritical powers $p> 1+4/(n-2)$, we obtain global solutions for any initial data with small norm in $H^{s_c}\times H^{s_c-1}$, under the technical smooth condition $p>s_c-\bar{s}_0$, with $\bar{s}_0= 1/2+(n-3)/(2\max(n-1-p,n-3))$ and $s_c=n/2-2/(p-1)$. In particular, combined with previous works, our results give a complete ve…
▽ More
Considering $1+n$ dimensional semilinear wave equations with energy supercritical powers $p> 1+4/(n-2)$, we obtain global solutions for any initial data with small norm in $H^{s_c}\times H^{s_c-1}$, under the technical smooth condition $p>s_c-\bar{s}_0$, with $\bar{s}_0= 1/2+(n-3)/(2\max(n-1-p,n-3))$ and $s_c=n/2-2/(p-1)$. In particular, combined with previous works, our results give a complete verification of the Strauss conjecture, up to space dimension $9$. The higher dimensional case, $n\ge 10$, seems to be unreachable, in view of the wellposed theory in $H^s$.
△ Less
Submitted 21 December, 2023; v1 submitted 3 November, 2022;
originally announced November 2022.
-
On the Leray problem for steady flows in two-dimensional infinitely long channels with slip boundary conditions
Authors:
Kaijian Sha,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we investigate the Leray problem for steady Navier-Stokes system under full slip boundary conditions in a two dimensional channel with straight outlets. The existence of solutions with arbitrary flux in a general channel with slip boundary conditions is established, which tend to the shear flows at far fields. Furthermore, if the flux is suitably small, the solutions are proved to b…
▽ More
In this paper, we investigate the Leray problem for steady Navier-Stokes system under full slip boundary conditions in a two dimensional channel with straight outlets. The existence of solutions with arbitrary flux in a general channel with slip boundary conditions is established, which tend to the shear flows at far fields. Furthermore, if the flux is suitably small, the solutions are proved to be unique. One of the crucial ingredients is to construct an appropriate flux carrier and to show a Hardy type inequality for flows with full slip boundary conditions.
△ Less
Submitted 4 December, 2022; v1 submitted 30 October, 2022;
originally announced October 2022.
-
On the Steady Navier-Stokes system with Navier slip boundary conditions in two-dimensional channels
Authors:
Kaijian Sha,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we investigate the incompressible steady Navier-Stokes system with Navier slip boundary condition in a two-dimensional channel. As long as the width of cross-section of the channel grows more slowly than the linear growth, the existence of solutions with arbitrary flux is established. Furthermore, if the flux is suitably small, the solution is unique even when the width of the chann…
▽ More
In this paper, we investigate the incompressible steady Navier-Stokes system with Navier slip boundary condition in a two-dimensional channel. As long as the width of cross-section of the channel grows more slowly than the linear growth, the existence of solutions with arbitrary flux is established. Furthermore, if the flux is suitably small, the solution is unique even when the width of the channel is unbounded, and approaches to the shear flows at far field where the channels tend to be straight at far fields. One of the major difficulties for the analysis on flows with Navier boundary conditions is that the tangential velocity may not be zero on the boundary so that we have to study the behavior of solutions near the boundary carefully. The crucial ingredients of analysis include the construction of an appropriate flux carrier, and the detailed analysis for the flow behavior near boundary via combining a Hardy type inequality for normal component of velocity and the divergence free property of the velocity.
△ Less
Submitted 22 November, 2022; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Uniform structural stability and uniqueness of Poiseuille flows in a two dimensional periodic strip
Authors:
Kaijian Sha,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we prove the uniform nonlinear structural stability of Poiseuille flows with arbitrarily large flux for the Navier-Stokes system in a two dimensional periodic strip when the period is not large. The key point is to establish the a priori estimate for the associated linearized problem via the careful analysis for the associated boundary layers. Furthermore, the well-posedness theory…
▽ More
In this paper, we prove the uniform nonlinear structural stability of Poiseuille flows with arbitrarily large flux for the Navier-Stokes system in a two dimensional periodic strip when the period is not large. The key point is to establish the a priori estimate for the associated linearized problem via the careful analysis for the associated boundary layers. Furthermore, the well-posedness theory for the Navier-Stokes system is also proved even when the external force is large in $L^2$. Finally, if the vertical velocity is suitably small where the smallness is independent of the flux, then Poiseuille flow is the unique solution of the steady Navier-Stokes system in the periodic strip.
△ Less
Submitted 15 November, 2020;
originally announced November 2020.
