-
Stability and Sharp Decay Estimates for 3D MHD Equations with Only Vertical Dissipation Near a Background Magnetic Field
Authors:
Suhua Lai,
Jiahong Wu,
Jianwen Zhang,
Xiaokui Zhao
Abstract:
This paper is concerned with the stability and large-time behavior of 3D incompressible MHD equations with only vertical dissipation near a background magnetic field. By making full use of the dissipation generated by the background magnetic field, we first establish the global stability of the solutions in $H^3$-norm. Then, the optimal decay rates of the solutions are obtained, which are consiste…
▽ More
This paper is concerned with the stability and large-time behavior of 3D incompressible MHD equations with only vertical dissipation near a background magnetic field. By making full use of the dissipation generated by the background magnetic field, we first establish the global stability of the solutions in $H^3$-norm. Then, the optimal decay rates of the solutions are obtained, which are consistent with the 2D classical heat equation. Moreover, some enhanced decay rates of $(u_1,b_1)$ are also achieved. In other words, the decay estimates of the second or third component of velocity/magnetic field coincide with those of 2D heat kernel, while the first component behaves like the 3D heat kernel. This is mainly due to the divergence-free condition and the anisotropic structure. The results obtained improve the previous ones due to Lin-Wu-Zhu [24,25].
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
On the Frobenius fields of abelian varieties over number fields
Authors:
Ashay A. Burungale,
Haruzo Hida,
Shilin Lai
Abstract:
Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$ has connected monodromy groups, we show that the set of places $v$ such that $F(A,v)$ is isomorphic to a fixed number field has upper Dirichlet density zero. Ass…
▽ More
Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$ has connected monodromy groups, we show that the set of places $v$ such that $F(A,v)$ is isomorphic to a fixed number field has upper Dirichlet density zero. Assuming the GRH, we give a power saving upper bound for the number of such places.
△ Less
Submitted 22 June, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
Physical Information Neural Networks for Solving High-index Differential-algebraic Equation Systems Based on Radau Methods
Authors:
Jiasheng Chen,
Juan Tang,
Ming Yan,
Shuai Lai,
Kun Liang,
Jianguang Lu,
Wenqiang Yang
Abstract:
As is well known, differential algebraic equations (DAEs), which are able to describe dynamic changes and underlying constraints, have been widely applied in engineering fields such as fluid dynamics, multi-body dynamics, mechanical systems and control theory. In practical physical modeling within these domains, the systems often generate high-index DAEs. Classical implicit numerical methods typic…
▽ More
As is well known, differential algebraic equations (DAEs), which are able to describe dynamic changes and underlying constraints, have been widely applied in engineering fields such as fluid dynamics, multi-body dynamics, mechanical systems and control theory. In practical physical modeling within these domains, the systems often generate high-index DAEs. Classical implicit numerical methods typically result in varying order reduction of numerical accuracy when solving high-index systems.~Recently, the physics-informed neural network (PINN) has gained attention for solving DAE systems. However, it faces challenges like the inability to directly solve high-index systems, lower predictive accuracy, and weaker generalization capabilities. In this paper, we propose a PINN computational framework, combined Radau IIA numerical method with a neural network structure via the attention mechanisms, to directly solve high-index DAEs. Furthermore, we employ a domain decomposition strategy to enhance solution accuracy. We conduct numerical experiments with two classical high-index systems as illustrative examples, investigating how different orders of the Radau IIA method affect the accuracy of neural network solutions. The experimental results demonstrate that the PINN based on a 5th-order Radau IIA method achieves the highest level of system accuracy. Specifically, the absolute errors for all differential variables remains as low as $10^{-6}$, and the absolute errors for algebraic variables is maintained at $10^{-5}$, surpassing the results found in existing literature. Therefore, our method exhibits excellent computational accuracy and strong generalization capabilities, providing a feasible approach for the high-precision solution of larger-scale DAEs with higher indices or challenging high-dimensional partial differential algebraic equation systems.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
On invariants of constant $p$-mean curvature surfaces in the Heisenberg group $H_{1}$
Authors:
Hung-Lin Chiu,
Sin-Hua Lai,
Hsiao-Fan Liu
Abstract:
A fundamental goal of geometry of submanifolds is to find fascinating and significant classical examples. In this paper, depending on the theory we established in [5], along with the approach we provided for constructing constant $p$-mean curvature surfaces, we found some interesting examples of constant $p$-mean curvature surfaces. In particular, we give a complete description for rotationally in…
▽ More
A fundamental goal of geometry of submanifolds is to find fascinating and significant classical examples. In this paper, depending on the theory we established in [5], along with the approach we provided for constructing constant $p$-mean curvature surfaces, we found some interesting examples of constant $p$-mean curvature surfaces. In particular, we give a complete description for rotationally invariant surfaces of constant $p$-mean curvature, including the geometric meaning of the energy $E$ (1.6}.
△ Less
Submitted 12 April, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Slow traveling-wave solutions for the generalized surface quasi-geostrophic equation
Authors:
Daomin Cao,
Shanfa Lai,
Guolin Qin
Abstract:
In this paper, we systematically study the existence, asymptotic behaviors, uniqueness, and nonlinear orbital stability of traveling-wave solutions with small propagation speeds for the generalized surface quasi-geostrophic (gSQG) equation. Firstly we obtain the existence of a new family of global solutions via the variational method. Secondly we show the uniqueness of maximizers under our variati…
▽ More
In this paper, we systematically study the existence, asymptotic behaviors, uniqueness, and nonlinear orbital stability of traveling-wave solutions with small propagation speeds for the generalized surface quasi-geostrophic (gSQG) equation. Firstly we obtain the existence of a new family of global solutions via the variational method. Secondly we show the uniqueness of maximizers under our variational setting. Thirdly by using the variational framework, the uniqueness of maximizers and a concentration-compactness principle we establish some stability theorems. Moreover, after a suitable transformation, these solutions constitute the desingularization of traveling point vortex pairs.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
Uniqueness and stability of steady vortex rings for 3D incompressible Euler equation
Authors:
Daomin Cao,
Shanfa Lai,
Guolin Qin,
Weicheng Zhan,
Changjun Zou
Abstract:
In this paper, we are concerned with the uniqueness and nonlinear stability of vortex rings for the 3D Euler equation. By utilizing Arnold 's variational principle for steady states of Euler equations and concentrated compactness method introduced by P. L. Lions, we first establish a general stability criteria for vortex rings in rearrangement classes, which allows us to reduce the stability analy…
▽ More
In this paper, we are concerned with the uniqueness and nonlinear stability of vortex rings for the 3D Euler equation. By utilizing Arnold 's variational principle for steady states of Euler equations and concentrated compactness method introduced by P. L. Lions, we first establish a general stability criteria for vortex rings in rearrangement classes, which allows us to reduce the stability analysis of certain vortex rings to the problem of their uniqueness. Subsequently, we prove the uniqueness of a special family of vortex rings with a small cross-section and polynomial type distribution function. These vortex rings correspond to global classical solutions to the 3D Euler equation and have been shown to exist by many celebrate works. The proof is achieved by studying carefully asymptotic behaviors of vortex rings as they tend to a circular filament and applying local Pohozaev identities. Consequently, we provide the first family of nonlinear stable classical vortex ring solutions to the 3D Euler equation.
△ Less
Submitted 25 December, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
Existence and Stability of the Lamb Dipoles for the Quasi-Geostrophic Shallow-Water Equations
Authors:
Shanfa Lai,
Guolin Qin,
Weicheng Zhan
Abstract:
In this paper, we prove the nonlinear orbital stability of vortex dipoles for the quasi-geostrophic shallow-water (QGSW) equations. The vortex dipoles are explicit travelling wave solutions to the QGSW equations, which are analogues of the classical circular vortex of Lamb and Chaplygin for the steady planar Euler equations. We establish a variational characterization of these vortex poles, which…
▽ More
In this paper, we prove the nonlinear orbital stability of vortex dipoles for the quasi-geostrophic shallow-water (QGSW) equations. The vortex dipoles are explicit travelling wave solutions to the QGSW equations, which are analogues of the classical circular vortex of Lamb and Chaplygin for the steady planar Euler equations. We establish a variational characterization of these vortex poles, which provides a basis for the stability result.
△ Less
Submitted 13 October, 2022; v1 submitted 5 June, 2022;
originally announced June 2022.
-
Traveling vortex pairs for 2D Boussinesq equations
Authors:
Daomin Cao,
Shanfa Lai,
Guolin qin
Abstract:
In this paper, we study the existence and asymptotic properties of the traveling vortex pairs for the two-dimensional inviscid incompressible Boussinesq equations. We construct a family of traveling vorticity pairs, which constitutes the de-singularization of a pair of point vortices with equal intensity but opposite sign. Using the improved vorticity method, we also give limiting position of the…
▽ More
In this paper, we study the existence and asymptotic properties of the traveling vortex pairs for the two-dimensional inviscid incompressible Boussinesq equations. We construct a family of traveling vorticity pairs, which constitutes the de-singularization of a pair of point vortices with equal intensity but opposite sign. Using the improved vorticity method, we also give limiting position of the supports of vorticities.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights
Authors:
Maxime Gasse,
Quentin Cappart,
Jonas Charfreitag,
Laurent Charlin,
Didier Chételat,
Antonia Chmiela,
Justin Dumouchelle,
Ambros Gleixner,
Aleksandr M. Kazachkov,
Elias Khalil,
Pawel Lichocki,
Andrea Lodi,
Miles Lubin,
Chris J. Maddison,
Christopher Morris,
Dimitri J. Papageorgiou,
Augustin Parjadis,
Sebastian Pokutta,
Antoine Prouvost,
Lara Scavuzzo,
Giulia Zarpellon,
Linxin Yang,
Sha Lai,
Akang Wang,
Xiaodong Luo
, et al. (16 additional authors not shown)
Abstract:
Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolation, ignoring that they often stem from related data distributions in practice. However, recent years have seen a surge of interest in using machine learning as a new approach for solving combinatorial problems, either dir…
▽ More
Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolation, ignoring that they often stem from related data distributions in practice. However, recent years have seen a surge of interest in using machine learning as a new approach for solving combinatorial problems, either directly as solvers or by enhancing exact solvers. Based on this context, the ML4CO aims at improving state-of-the-art combinatorial optimization solvers by replacing key heuristic components. The competition featured three challenging tasks: finding the best feasible solution, producing the tightest optimality certificate, and giving an appropriate solver configuration. Three realistic datasets were considered: balanced item placement, workload apportionment, and maritime inventory routing. This last dataset was kept anonymous for the contestants.
△ Less
Submitted 17 March, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Efficient primal heuristics for mixed-integer linear programs
Authors:
Akang Wang,
Linxin Yang,
Sha Lai,
Xiaodong Luo,
Xiang Zhou,
Haohan Huang,
Shengcheng Shao,
Yuanming Zhu,
Dong Zhang,
Tao Quan
Abstract:
This paper is a short report about our work for the primal task in the Machine Learning for Combinatorial Optimization NeurIPS 2021 Competition. For each dataset of our interest in the competition, we propose customized primal heuristic methods to efficiently identify high-quality feasible solutions. The computational studies demonstrate the superiority of our proposed approaches over the competit…
▽ More
This paper is a short report about our work for the primal task in the Machine Learning for Combinatorial Optimization NeurIPS 2021 Competition. For each dataset of our interest in the competition, we propose customized primal heuristic methods to efficiently identify high-quality feasible solutions. The computational studies demonstrate the superiority of our proposed approaches over the competitors'.
△ Less
Submitted 6 February, 2022;
originally announced February 2022.
-
On the existence of vortex-wave systems to inviscid gSQG equation
Authors:
Daomin Cao,
Shanfa Lai,
Changjun Zou
Abstract:
We study the existence of different vortex-wave systems for inviscid gSQG flow, where the total circulation are produced by point vortices and vortices with compact support. To overcome several difficulties caused by the singular formulation and infinite kinetic energy, we introduce a modified reduction method. Several asymptotic properties of the system are also given.
We study the existence of different vortex-wave systems for inviscid gSQG flow, where the total circulation are produced by point vortices and vortices with compact support. To overcome several difficulties caused by the singular formulation and infinite kinetic energy, we introduce a modified reduction method. Several asymptotic properties of the system are also given.
△ Less
Submitted 13 October, 2022; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Coupling and Simulation of Fluid-Structure Interaction Problems for Automotive Sun-roof on Graphics Processing Unit
Authors:
Liang S. Lai,
Choi-Hong Lai,
Abal-Kassim Cheik Ahamed,
Frederic Magoules
Abstract:
In this paper, the authors propose an analysis of the frequency response function in a car compartment, subject to some fluctuating pressure distribution along the open cavity of the sun-roof at the top of a car. Coupling of a computational fluid dynamics and of a computational acoustics code is considered to simulate the acoustic fluid-structure interaction problem. Iterative Krylov methods and d…
▽ More
In this paper, the authors propose an analysis of the frequency response function in a car compartment, subject to some fluctuating pressure distribution along the open cavity of the sun-roof at the top of a car. Coupling of a computational fluid dynamics and of a computational acoustics code is considered to simulate the acoustic fluid-structure interaction problem. Iterative Krylov methods and domain decomposition methods, tuned on Graphic Processing Unit (GPU), are considered to solve the acoustic problem with complex number arithmetics with double precision. Numerical simulations illustrate the efficiency, robustness and accuracy of the proposed approaches.
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
Well-Posedness and Exponential Decay for the Navier-Stokes Equations of Viscous Compressible Heat-Conductive Fluids with Vacuum
Authors:
Suhua Lai,
Hao Xu,
Jianwen Zhang
Abstract:
This paper is concerned with the Cauchy problem of Navier-Stokes equations for compressible viscous heat-conductive fluids with far-field vacuum at infinity in $\R^3$. For less regular data and weaker compatibility condition than those proposed by Cho-Kim \cite{CK2006}, we first prove the existence of local-in-time solutions belonging to a larger class of functions in which the uniqueness can be s…
▽ More
This paper is concerned with the Cauchy problem of Navier-Stokes equations for compressible viscous heat-conductive fluids with far-field vacuum at infinity in $\R^3$. For less regular data and weaker compatibility condition than those proposed by Cho-Kim \cite{CK2006}, we first prove the existence of local-in-time solutions belonging to a larger class of functions in which the uniqueness can be shown to hold. The local solution is in fact a classical one away from the initial time, provided the initial density is regular. We also establish the global well-posedness of classical solutions with large oscillations and vacuum in the case when the initial total energy is suitably small. The exponential decay estimates of the global solutions are obtained.
△ Less
Submitted 27 October, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Traveling vortex pairs for 2D incompressible Euler equations
Authors:
Daomin Cao,
Shanfa Lai,
Weicheng Zhan
Abstract:
In this paper, we study desingularization of vortices for the two-dimensional incompressible Euler equations in the full plane. We construct a family of steady vortex pairs for the Euler equations with a general vorticity function, which constitutes a desingularization of a pair of point vortices with equal magnitude and opposite signs. The results are obtained by using an improved vorticity metho…
▽ More
In this paper, we study desingularization of vortices for the two-dimensional incompressible Euler equations in the full plane. We construct a family of steady vortex pairs for the Euler equations with a general vorticity function, which constitutes a desingularization of a pair of point vortices with equal magnitude and opposite signs. The results are obtained by using an improved vorticity method.
△ Less
Submitted 20 December, 2020;
originally announced December 2020.
-
The rightness of the Riemann Hypothesis
Authors:
Shaoyong Lai
Abstract:
The properties of several functions are employed to investigate the zeros of the Riemann zeta function $ζ(a+bi)$ $(0<a<1, b\neq 0)$. If the zeros of the zeta function have not the form $\frac{1}{2}+ib$ where $i=\sqrt{-1}$, we derive a contradiction, illustrating that the Riemann Hypothesis is right.
The properties of several functions are employed to investigate the zeros of the Riemann zeta function $ζ(a+bi)$ $(0<a<1, b\neq 0)$. If the zeros of the zeta function have not the form $\frac{1}{2}+ib$ where $i=\sqrt{-1}$, we derive a contradiction, illustrating that the Riemann Hypothesis is right.
△ Less
Submitted 12 June, 2024; v1 submitted 8 August, 2016;
originally announced August 2016.
-
An Application of the Moving Frame Method to Integral Geometry in the Heisenberg Group
Authors:
Hung-Lin Chiu,
Yen-Chang Huang,
Sin-Hua Lai
Abstract:
We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group theory. As an application of the main theorems, a Crofton-type formula is proved in terms of p-area which naturally arises from the variation of volume. The ap…
▽ More
We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group theory. As an application of the main theorems, a Crofton-type formula is proved in terms of p-area which naturally arises from the variation of volume. The application makes a connection between CR geometry and integral geometry.
△ Less
Submitted 26 December, 2017; v1 submitted 3 September, 2015;
originally announced September 2015.
-
A Symmetric Rank-one Quasi Newton Method for Non-negative Matrix Factorization
Authors:
Shu-Zhen Lai,
Hou-Biao Li,
Zu-Tao Zhang
Abstract:
As we all known, the nonnegative matrix factorization (NMF) is a dimension reduction method that has been widely used in image processing, text compressing and signal processing etc. In this paper, an algorithm for nonnegative matrix approximation is proposed. This method mainly bases on the active set and the quasi-Newton type algorithm, by using the symmetric rank-one and negative curvature dire…
▽ More
As we all known, the nonnegative matrix factorization (NMF) is a dimension reduction method that has been widely used in image processing, text compressing and signal processing etc. In this paper, an algorithm for nonnegative matrix approximation is proposed. This method mainly bases on the active set and the quasi-Newton type algorithm, by using the symmetric rank-one and negative curvature direction technologies to approximate the Hessian matrix. Our method improves the recent results of those methods in [Pattern Recognition, 45(2012)3557-3565; SIAM J. Sci. Comput., 33(6)(2011)3261-3281; Neural Computation, 19(10)(2007)2756-2779, etc.]. Moreover, the object function decreases faster than many other NMF methods. In addition, some numerical experiments are presented in the synthetic data, imaging processing and text clustering. By comparing with the other six nonnegative matrix approximation methods, our experiments confirm to our analysis.
△ Less
Submitted 24 May, 2013;
originally announced May 2013.
-
The fundamental theorems for curves and surfaces in 3d Heisenberg group
Authors:
Hung-Lin Chiu,
Sin-Hua Lai
Abstract:
We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms of these invariants and their suitable derivatives, we also give a Gaussian curvature fromula of the metric induced from the adapted metric on Heisenberg group,…
▽ More
We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms of these invariants and their suitable derivatives, we also give a Gaussian curvature fromula of the metric induced from the adapted metric on Heisenberg group, and hence form a new formula for the Euler number of a closed surface.
△ Less
Submitted 28 January, 2013;
originally announced January 2013.
