-
Least total curvature solutions to steady Euler system and monotone solutions to semilinear equations in a strip
Authors:
Changfeng Gui,
David Ruiz,
Chunjing Xie,
Huan Xu
Abstract:
This paper focuses on establishing the existence of a class of steady solutions, termed least total curvature solutions, to the incompressible Euler system in a strip. The solutions obtained in this paper complement the least total curvature solutions already known. Our approach employs a minimization procedure to identify a monotone heteroclinic solution for a conveniently chosen semilinear ellip…
▽ More
This paper focuses on establishing the existence of a class of steady solutions, termed least total curvature solutions, to the incompressible Euler system in a strip. The solutions obtained in this paper complement the least total curvature solutions already known. Our approach employs a minimization procedure to identify a monotone heteroclinic solution for a conveniently chosen semilinear elliptic PDE. This method also enables us to construct positive and monotone (and consequently stable) solutions to semilinear elliptic PDEs with non-convex superlevel sets in a strip domain. This can be regarded as a negative answer to a generalized problem raised in [27].
△ Less
Submitted 15 July, 2025;
originally announced July 2025.
-
Classical solutions to a mixed-type PDE with a Keldysh-type degeneracy and accelerating transonic solutions to the Euler-Poisson system
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
In this paper, we first prove the existence of classical solutions to a class of Keldysh-type equations. Next, we apply this existence result to prove the structural stability of one-dimensional smooth transonic solutions to the steady Euler-Poisson system.
Most importantly, the solutions constructed in this paper are classical solutions to the Euler-Poisson system, thus their sonic interfaces a…
▽ More
In this paper, we first prove the existence of classical solutions to a class of Keldysh-type equations. Next, we apply this existence result to prove the structural stability of one-dimensional smooth transonic solutions to the steady Euler-Poisson system.
Most importantly, the solutions constructed in this paper are classical solutions to the Euler-Poisson system, thus their sonic interfaces are not weak discontinuities in the sense that all the flow variables, such as density, velocity and pressure, are at least $C^1$ across the interfaces.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Shock formation for the 2D rotating shallow water equations with non-zero vorticity
Authors:
Zhendong Chen,
Chunjing Xie
Abstract:
In the paper, the shock formation for the two-dimensional rotating shallow water system is established. We construct a large class of initial data which leads to the finite-time blow-up for the solutions. Moreover, the solutions are allowed to have non-zero large vorticity (in derivative sense), even up to the shock. Our results provide the first complete geometric description of the shock formati…
▽ More
In the paper, the shock formation for the two-dimensional rotating shallow water system is established. We construct a large class of initial data which leads to the finite-time blow-up for the solutions. Moreover, the solutions are allowed to have non-zero large vorticity (in derivative sense), even up to the shock. Our results provide the first complete geometric description of the shock formation mechanism to the two-dimensional rotating shallow water system with vorticity. The formation of shock is characterized by the collapse of the characteristic hypersurfaces, where the first-order derivatives of the velocity, the height, and the specific vorticity blow up while the potential vorticity remains Lipschitz continuous. The methods developed in this paper should also be useful in studying the shock formation for the Euler equations with various source terms and a class of quasilinear Klein-Gordon equations in multi-dimensions.
△ Less
Submitted 27 February, 2025;
originally announced February 2025.
-
High-order mass conserving, positivity plus energy-law preserving schemes and their error estimates for Keller-Segel equations
Authors:
Mingmei Chen,
Kun Wang,
Cong Xie
Abstract:
Chemotaxis plays a significant role in numerous physiological processes. The Keller-Segel equation serves as a mathematical model for simulating the phenomenon of cell population aggregation under chemotaxis, possessing physical properties such as mass conservation, positivity of density, and energy dissipation. High-order linear and decoupled schemes for the parabolic-parabolic Keller-Segel chemo…
▽ More
Chemotaxis plays a significant role in numerous physiological processes. The Keller-Segel equation serves as a mathematical model for simulating the phenomenon of cell population aggregation under chemotaxis, possessing physical properties such as mass conservation, positivity of density, and energy dissipation. High-order linear and decoupled schemes for the parabolic-parabolic Keller-Segel chemotaxis model are proposed in this paper, which satisfy the three physical properties mentioned earlier. Firstly, by applying a logarithmic transformation, the Keller-Segel model is reformulated into its equivalent form that maintains the positivity of cell density regardless of the discrete scheme. Based on this equivalent system, we then propose high-order linear and decoupled numerical schemes using the backward differentiation formula (BDF). Furthermore, through the incorporation of a recovery technique and an energy-law preservation correction (EPC), we ensure that these schemes maintain mass conservation and preserve the original energy-law. Finally, we conduct a rigorous optimal error analysis for the numerical schemes under certain assumptions regarding the regularity of solutions, and some numerical experiments are also presented to demonstrate their effectiveness.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Analytic 3D vector non-uniform Fourier crystal optics in arbitrary $\bar{\bar{\varepsilon}}$ dielectric
Authors:
Chenzhu Xie,
Yong Zhang
Abstract:
To find a suitable framework for nonlinear crystal optics(NCO), we have revisited linear crystal optics(LCO). At the methodological level, three widely used plane wave bases are compared in terms of eigenanalysis in reciprocal space and light field propagation in real space. Inspired by complex ray tracing, we expand M.V. Berry \& M.R. Dennis's 2003 uniform plane wave model to non-uniform Fourier…
▽ More
To find a suitable framework for nonlinear crystal optics(NCO), we have revisited linear crystal optics(LCO). At the methodological level, three widely used plane wave bases are compared in terms of eigenanalysis in reciprocal space and light field propagation in real space. Inspired by complex ray tracing, we expand M.V. Berry \& M.R. Dennis's 2003 uniform plane wave model to non-uniform Fourier crystal optics and ultimately derive the explicit form of its 3$\times$2 transition matrix, bridging the two major branches of crystal optics in reciprocal space, where either ray direction $\hat{k}$ or spatial frequency $\bar{k}_{\mathrmρ}$ serves as the input variable. Using this model, we create the material-matrix tetrahedral compass to conduct a detailed analysis of how the four fundamental characteristics of materials (linear/circular birefringence/dichroism) influence the eigensystems of the vector electric field in two-dimensional spatial frequency $\bar{k}_{\mathrmρ}$ domain and its distribution in three-dimensional $\bar{r}$ space with a crystal-2f configuration. Along this journey, we have uncovered new territories in LCO in both real and reciprocal space, such as infinite singularities arranged in disk-, ring-, and crescent-like shapes, ``L shorelines'' resembling hearts, generalized haunting theorem, double conical refraction, and optical knots it induces. We also present our model's early applications in focal engineering and NCO. As the opening chapter in a trilogy, this work connects crystal optics, Fourier optics, and nonlinear optics, while integrating theoretical, computational, and experimental physics, advancing all six domains.
△ Less
Submitted 25 July, 2025; v1 submitted 22 December, 2024;
originally announced December 2024.
-
Self-Similar Solutions to the steady Navier-Stokes Equations in a two-dimensional sector
Authors:
Jeaheang Bang,
Changfeng Gui,
Hao Liu,
Yun Wang,
Chunjing Xie
Abstract:
This paper is concerned with self-similar solutions of the steady Navier-Stokes system in a two-dimensional sector with the no-slip boundary condition. We give necessary and sufficient conditions in terms of the angle of the sector and the flux to guarantee the existence of self-similar solutions of a given type. We also investigate the uniqueness and non-uniqueness of flows with a given type, whi…
▽ More
This paper is concerned with self-similar solutions of the steady Navier-Stokes system in a two-dimensional sector with the no-slip boundary condition. We give necessary and sufficient conditions in terms of the angle of the sector and the flux to guarantee the existence of self-similar solutions of a given type. We also investigate the uniqueness and non-uniqueness of flows with a given type, which not only give rigorous justifications for some statements in \cite{Rosenhead40} but also show that some numerical computations in \cite{Rosenhead40} may not be precise. The non-uniqueness result is a new phenomenon for these flows. As a consequence of the classification of self-similar solutions in the half-space, we characterize the leading order term of the steady Navier-Stokes system in an aperture domain when the flux is small. The main approach is to study the ODE system governing self-similar solutions, where the detailed properties of both complete and incomplete elliptic functions have been investigated.
△ Less
Submitted 14 February, 2025; v1 submitted 10 December, 2024;
originally announced December 2024.
-
Adaptive Basis-inspired Deep Neural Network for Solving Partial Differential Equations with Localized Features
Authors:
Ke Li,
Yaqin Zhang,
Yunqing Huang,
Chenyue Xie,
Xueshuang Xiang
Abstract:
This paper proposes an Adaptive Basis-inspired Deep Neural Network (ABI-DNN) for solving partial differential equations with localized phenomena such as sharp gradients and singularities. Like the adaptive finite element method, ABI-DNN incorporates an iteration of "solve, estimate, mark, enhancement", which automatically identifies challenging regions and adds new neurons to enhance its capabilit…
▽ More
This paper proposes an Adaptive Basis-inspired Deep Neural Network (ABI-DNN) for solving partial differential equations with localized phenomena such as sharp gradients and singularities. Like the adaptive finite element method, ABI-DNN incorporates an iteration of "solve, estimate, mark, enhancement", which automatically identifies challenging regions and adds new neurons to enhance its capability. A key challenge is to force new neurons to focus on identified regions with limited understanding of their roles in approximation. To address this, we draw inspiration from the finite element basis function and construct the novel Basis-inspired Block (BI-block), to help understand the contribution of each block. With the help of the BI-block and the famous Kolmogorov Superposition Theorem, we first develop a novel fixed network architecture named the Basis-inspired Deep Neural Network (BI-DNN), and then integrate it into the aforementioned adaptive framework to propose the ABI-DNN. Extensive numerical experiments demonstrate that both BI-DNN and ABI-DNN can effectively capture the challenging singularities in target functions. Compared to PINN, BI-DNN attains significantly lower relative errors with a similar number of trainable parameters. When a specified tolerance is set, ABI-DNN can adaptively learn an appropriate architecture that achieves an error comparable to that of BI-DNN with the same structure.
△ Less
Submitted 30 November, 2024;
originally announced December 2024.
-
A Classification Theorem for Steady Euler Flows
Authors:
Tarek M. Elgindi,
Yupei Huang,
Ayman R. Said,
Chunjing Xie
Abstract:
Fix a bounded, analytic, and simply connected domain $Ω\subset\mathbb{R}^2.$ We show that all analytic steady states of the Euler equations with stream function $ψ$ are either radial or solve a semi-linear elliptic equation of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions. In particular, if $Ω$ is not a ball, then there exists a one to one correspondence between analytic steady states of…
▽ More
Fix a bounded, analytic, and simply connected domain $Ω\subset\mathbb{R}^2.$ We show that all analytic steady states of the Euler equations with stream function $ψ$ are either radial or solve a semi-linear elliptic equation of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions. In particular, if $Ω$ is not a ball, then there exists a one to one correspondence between analytic steady states of the Euler equations and analytic solutions of equations of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Liouville-type theorems for Axisymmetric solutions to steady Navier-Stokes system in a layer domain
Authors:
Jingwen Han,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we investigate the Liouville-type theorems for axisymmetric solutions to steady Navier-Stokes system in a layer domain. The both cases for the flows supplemented with no-slip boundary and Navier boundary conditions are studied. If the width of the outlet grows at a rate less than $R^{\frac{1}{2}}$, any bounded solution is proved to be trivial. Meanwhile, if the width of the outlet g…
▽ More
In this paper, we investigate the Liouville-type theorems for axisymmetric solutions to steady Navier-Stokes system in a layer domain. The both cases for the flows supplemented with no-slip boundary and Navier boundary conditions are studied. If the width of the outlet grows at a rate less than $R^{\frac{1}{2}}$, any bounded solution is proved to be trivial. Meanwhile, if the width of the outlet grows at a rate less than $R^{\frac{4}{5}}$, every D-solution is proved to be trivial. The key idea of the proof is to establish a Saint-Venant type estimate that characterizes the growth of Dirichlet integral of nontrivial solutions.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
On a classification of steady solutions to two-dimensional Euler equations
Authors:
Changfeng Gui,
Chunjing Xie,
Huan Xu
Abstract:
In this paper, we provide a classification of steady solutions to two-dimensional incompressible Euler equations in terms of the set of flow angles. The first main result asserts that the set of flow angles of any bounded steady flow in the whole plane must be the whole circle unless the flow is a parallel shear flow. In an infinitely long horizontal strip or the upper half-plane supplemented with…
▽ More
In this paper, we provide a classification of steady solutions to two-dimensional incompressible Euler equations in terms of the set of flow angles. The first main result asserts that the set of flow angles of any bounded steady flow in the whole plane must be the whole circle unless the flow is a parallel shear flow. In an infinitely long horizontal strip or the upper half-plane supplemented with slip boundary conditions, besides the two types of flows appeared in the whole space case, there exists an additional class of steady flows for which the set of flow angles is either the upper or lower closed semicircles. This type of flows is proved to be the class of non-shear flows that have the least total curvature. As consequences, we obtain Liouville-type theorems for two-dimensional semilinear elliptic equations with only bounded and measurable nonlinearity, and the structural stability of shear flows whose all stagnation points are not inflection points, including Poiseuille flow as a special case. Our proof relies on the analysis of some quantities related to the curvature of the streamlines.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Asymptotic behavior for the fast diffusion equation with absorption and singularity
Authors:
Changping Xie,
Shaomei Fang,
Ming Mei,
Yuming Qin
Abstract:
This paper is concerned with the weak solution for the fast diffusion equation with absorption and singularity in the form of $u_t=\triangle u^m -u^p$. We first prove the existence and decay estimate of weak solution when the fast diffusion index satisfies $0<m<1$ and the absorption index is $p>1$. Then we show the asymptotic convergence of weak solution to the corresponding Barenblatt solution fo…
▽ More
This paper is concerned with the weak solution for the fast diffusion equation with absorption and singularity in the form of $u_t=\triangle u^m -u^p$. We first prove the existence and decay estimate of weak solution when the fast diffusion index satisfies $0<m<1$ and the absorption index is $p>1$. Then we show the asymptotic convergence of weak solution to the corresponding Barenblatt solution for $\frac{n-1}{n}<m<1$ and $p>m+\frac{2}{n}$ via the entropy dissipation method combining the generalized Shannon's inequality and Csisz$\mathrm{\acute{a}}$r-Kullback inequality. The singularity of spatial diffusion causes us the technical challenges for the asymptotic behavior of weak solution.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Liouville-type theorems for steady Navier-Stokes system under helical symmetry or Navier boundary conditions
Authors:
Jingwen Han,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, the Liouville-type theorems for the steady Navier-Stokes system are investigated. First, we prove that any bounded smooth helically symmetric solution in $\mathbb{R}^3$ must be a constant vector. Second, for steady Navier-Stokes system in a slab supplemented with Navier boundary conditions, we prove that any bounded smooth solution must be zero if either the swirl or radial velocity…
▽ More
In this paper, the Liouville-type theorems for the steady Navier-Stokes system are investigated. First, we prove that any bounded smooth helically symmetric solution in $\mathbb{R}^3$ must be a constant vector. Second, for steady Navier-Stokes system in a slab supplemented with Navier boundary conditions, we prove that any bounded smooth solution must be zero if either the swirl or radial velocity is axisymmetric, or $ru^{r}$ decays to zero as $r$ tends to infinity. Finally, when the velocity is not big in $L^{\infty}$-space, the general three-dimensional steady Navier-Stokes flow in a slab with the Navier boundary conditions must be a Poiseuille type flow. The key idea of the proof is to establish Saint-Venant type estimates that characterize the growth of Dirichlet integral of nontrivial solutions.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Trust Region Methods For Nonconvex Stochastic Optimization Beyond Lipschitz Smoothness
Authors:
Chenghan Xie,
Chenxi Li,
Chuwen Zhang,
Qi Deng,
Dongdong Ge,
Yinyu Ye
Abstract:
In many important machine learning applications, the standard assumption of having a globally Lipschitz continuous gradient may fail to hold. This paper delves into a more general $(L_0, L_1)$-smoothness setting, which gains particular significance within the realms of deep neural networks and distributionally robust optimization (DRO). We demonstrate the significant advantage of trust region meth…
▽ More
In many important machine learning applications, the standard assumption of having a globally Lipschitz continuous gradient may fail to hold. This paper delves into a more general $(L_0, L_1)$-smoothness setting, which gains particular significance within the realms of deep neural networks and distributionally robust optimization (DRO). We demonstrate the significant advantage of trust region methods for stochastic nonconvex optimization under such generalized smoothness assumption. We show that first-order trust region methods can recover the normalized and clipped stochastic gradient as special cases and then provide a unified analysis to show their convergence to first-order stationary conditions. Motivated by the important application of DRO, we propose a generalized high-order smoothness condition, under which second-order trust region methods can achieve a complexity of $\mathcal{O}(ε^{-3.5})$ for convergence to second-order stationary points. By incorporating variance reduction, the second-order trust region method obtains an even better complexity of $\mathcal{O}(ε^{-3})$, matching the optimal bound for standard smooth optimization. To our best knowledge, this is the first work to show convergence beyond the first-order stationary condition for generalized smooth optimization. Preliminary experiments show that our proposed algorithms perform favorably compared with existing methods.
△ Less
Submitted 6 February, 2025; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Understanding and Analyzing the Influential Factors on Relocation of Shared Bikes
Authors:
Xinling Li,
Yu Shen,
Chi Xie,
Xiaohu Zhang,
Hanjun Fu
Abstract:
To enhance the service quality of bikesharing programs, bike fleet relocation is widely applied to redistribute bikes from bike sufficient areas to bike shortage areas thereby making a better bike-rider balance across different areas. In this study, a network flow model is proposed to solve the optimal relocation problem of shared bikes, and is implemented with the actual dockless shared bike usag…
▽ More
To enhance the service quality of bikesharing programs, bike fleet relocation is widely applied to redistribute bikes from bike sufficient areas to bike shortage areas thereby making a better bike-rider balance across different areas. In this study, a network flow model is proposed to solve the optimal relocation problem of shared bikes, and is implemented with the actual dockless shared bike usage data from Yishun, Singapore, to demonstrate its effectiveness. A series of sensitivity analyses are performed to test the impact of the relocation cost, the number of bikes and truck trikes, and the usage price on bike relocation. The results reveal an apparent connection between the profitability of the system and the analyzed factors. This work offers a modeling framework to start and operate a bikesharing service by determining the number of bikes and trikes as well as price schemes. Some bikesharing regulation policies are also suggested.
△ Less
Submitted 3 November, 2023; v1 submitted 7 October, 2023;
originally announced October 2023.
-
The steady Euler-Poisson system and accelerating flows with transonic $C^1$-transitions
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
In this paper, we prove the existence of two-dimensional solutions to the steady Euler-Poisson system with continuous transonic transitions across sonic interfaces of codimension 1. First, we establish the well-posedness of a boundary value problem for a linear second order system that consists of an elliptic-hyperbolic mixed type equation with a degeneracy occurring on an interface of codimension…
▽ More
In this paper, we prove the existence of two-dimensional solutions to the steady Euler-Poisson system with continuous transonic transitions across sonic interfaces of codimension 1. First, we establish the well-posedness of a boundary value problem for a linear second order system that consists of an elliptic-hyperbolic mixed type equation with a degeneracy occurring on an interface of codimension 1, and an elliptic equation weakly coupled together. Then we apply the Schauder fixed point theorem to prove the existence of two-dimensional solutions to the potential flow model of the steady Euler-Poisson system with continuous transonic transitions across sonic interfaces. With the aid of Helmholtz decomposition, established in [6], we extend the existence result to the full Euler-Poisson system for the case of nonzero vorticity. Most importantly, the solutions constructed in this paper are classical solutions to Euler-Poisson system, thus their sonic interfaces are not weak discontinuities in the sense that all the flow variables are $C^1$ across the interfaces.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Rigidity of Steady Solutions to the Navier-Stokes Equations in High Dimensions and its applications
Authors:
Jeaheang Bang,
Changfeng Gui,
Hao Liu,
Yun Wang,
Chunjing Xie
Abstract:
Solutions with scaling-invariant bounds such as self-similar solutions, play an important role in the understanding of the regularity and asymptotic structures of solutions to the Navier-Stokes equations. In this paper, we prove that any steady solution satisfying $|\Bu(x)|\leq C/|x|$ for any constant $C$ in $\mathbb{R}^n\setminus \{0\}$ with $ n \geq 4$, must be zero. Our main idea is to analyze…
▽ More
Solutions with scaling-invariant bounds such as self-similar solutions, play an important role in the understanding of the regularity and asymptotic structures of solutions to the Navier-Stokes equations. In this paper, we prove that any steady solution satisfying $|\Bu(x)|\leq C/|x|$ for any constant $C$ in $\mathbb{R}^n\setminus \{0\}$ with $ n \geq 4$, must be zero. Our main idea is to analyze the velocity field and the total head pressure via weighted energy estimates with suitable multipliers so that the proof is pretty elementary and short. These results not only give the Liouville-type theorem for steady solutions in higher dimensions with neither smallness nor self-similarity type assumptions, but also help to remove a class of singularities of solutions and give the optimal asymptotic behaviors of solutions at infinity in the exterior domains.
△ Less
Submitted 1 September, 2023; v1 submitted 8 June, 2023;
originally announced June 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.
-
Implicit Balancing and Regularization: Generalization and Convergence Guarantees for Overparameterized Asymmetric Matrix Sensing
Authors:
Mahdi Soltanolkotabi,
Dominik Stöger,
Changzhi Xie
Abstract:
Recently, there has been significant progress in understanding the convergence and generalization properties of gradient-based methods for training overparameterized learning models. However, many aspects including the role of small random initialization and how the various parameters of the model are coupled during gradient-based updates to facilitate good generalization remain largely mysterious…
▽ More
Recently, there has been significant progress in understanding the convergence and generalization properties of gradient-based methods for training overparameterized learning models. However, many aspects including the role of small random initialization and how the various parameters of the model are coupled during gradient-based updates to facilitate good generalization remain largely mysterious. A series of recent papers have begun to study this role for non-convex formulations of symmetric Positive Semi-Definite (PSD) matrix sensing problems which involve reconstructing a low-rank PSD matrix from a few linear measurements. The underlying symmetry/PSDness is crucial to existing convergence and generalization guarantees for this problem. In this paper, we study a general overparameterized low-rank matrix sensing problem where one wishes to reconstruct an asymmetric rectangular low-rank matrix from a few linear measurements. We prove that an overparameterized model trained via factorized gradient descent converges to the low-rank matrix generating the measurements. We show that in this setting, factorized gradient descent enjoys two implicit properties: (1) coupling of the trajectory of gradient descent where the factors are coupled in various ways throughout the gradient update trajectory and (2) an algorithmic regularization property where the iterates show a propensity towards low-rank models despite the overparameterized nature of the factorized model. These two implicit properties in turn allow us to show that the gradient descent trajectory from small random initialization moves towards solutions that are both globally optimal and generalize well.
△ Less
Submitted 30 June, 2023; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Some results on similar configurations in subsets of $\mathbb{F}_q^d$
Authors:
Chengfei Xie,
Gennian Ge
Abstract:
In this paper, we study problems about the similar configurations in $\mathbb{F}_q^d$. Let $G=(V, E)$ be a graph, where $V=\{1, 2, \ldots, n\}$ and $E\subseteq{V\choose2}$. For a set $\mathcal{E}$ in $\mathbb{F}_q^d$, we say that $\mathcal{E}$ contains a pair of $G$ with dilation ratio $r$ if there exist distinct $\boldsymbol{x}_1, \boldsymbol{x}_2, \ldots, \boldsymbol{x}_n\in\mathcal{E}$ and dist…
▽ More
In this paper, we study problems about the similar configurations in $\mathbb{F}_q^d$. Let $G=(V, E)$ be a graph, where $V=\{1, 2, \ldots, n\}$ and $E\subseteq{V\choose2}$. For a set $\mathcal{E}$ in $\mathbb{F}_q^d$, we say that $\mathcal{E}$ contains a pair of $G$ with dilation ratio $r$ if there exist distinct $\boldsymbol{x}_1, \boldsymbol{x}_2, \ldots, \boldsymbol{x}_n\in\mathcal{E}$ and distinct $\boldsymbol{y}_1, \boldsymbol{y}_2, \ldots, \boldsymbol{y}_n\in\mathcal{E}$ such that $\|\boldsymbol{y}_i-\boldsymbol{y}_{j}\|=r\|\boldsymbol{x}_i-\boldsymbol{x}_j\|\neq0$ whenever $\{i, j\}\in E$, where $\|\boldsymbol{x}\|:=x_1^2+x_2^2+\cdots+x_d^2$ for $\boldsymbol{x}=(x_1, x_2, \ldots, x_d)\in\mathbb{F}_q^d$. We show that if $\mathcal{E}$ has size at least $C_kq^{d/2}$, then $\mathcal{E}$ contains a pair of $k$-stars with dilation ratio $r$, and that if $\mathcal{E}$ has size at least $C\cdot\min\left\{q^{(2d+1)/3}, \max\left\{q^3, q^{d/2}\right\}\right\}$, then $\mathcal{E}$ contains a pair of $4$-paths with dilation ratio $r$. Our method is based on enumerative combinatorics and graph theory.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
Stochastic Dimension-reduced Second-order Methods for Policy Optimization
Authors:
Jinsong Liu,
Chenghan Xie,
Qi Deng,
Dongdong Ge,
Yinyu Ye
Abstract:
In this paper, we propose several new stochastic second-order algorithms for policy optimization that only require gradient and Hessian-vector product in each iteration, making them computationally efficient and comparable to policy gradient methods. Specifically, we propose a dimension-reduced second-order method (DR-SOPO) which repeatedly solves a projected two-dimensional trust region subproble…
▽ More
In this paper, we propose several new stochastic second-order algorithms for policy optimization that only require gradient and Hessian-vector product in each iteration, making them computationally efficient and comparable to policy gradient methods. Specifically, we propose a dimension-reduced second-order method (DR-SOPO) which repeatedly solves a projected two-dimensional trust region subproblem. We show that DR-SOPO obtains an $\mathcal{O}(ε^{-3.5})$ complexity for reaching approximate first-order stationary condition and certain subspace second-order stationary condition. In addition, we present an enhanced algorithm (DVR-SOPO) which further improves the complexity to $\mathcal{O}(ε^{-3})$ based on the variance reduction technique. Preliminary experiments show that our proposed algorithms perform favorably compared with stochastic and variance-reduced policy gradient methods.
△ Less
Submitted 28 January, 2023;
originally announced January 2023.
-
On the characterization, existence and uniqueness of steady solutions to the hydrostatic Euler equations in a nozzle
Authors:
Wang Shing Leung,
Tak Kwong Wong,
Chunjing Xie
Abstract:
Incompressible Euler flows in narrow domains, in which the horizontal length scale is much larger than other scales, play an important role in applications, and their leading-order behavior can be described by the hydrostatic Euler equations. In this paper, we show that steady solutions of the hydrostatic Euler equations in an infinite strip strictly away from stagnation must be shear flows. Furth…
▽ More
Incompressible Euler flows in narrow domains, in which the horizontal length scale is much larger than other scales, play an important role in applications, and their leading-order behavior can be described by the hydrostatic Euler equations. In this paper, we show that steady solutions of the hydrostatic Euler equations in an infinite strip strictly away from stagnation must be shear flows. Furthermore, we prove the existence, uniqueness, and asymptotic behavior of global steady solutions to the hydrostatic Euler equations in general nozzles. In terms of stream function formulation, the hydrostatic Euler equations can be written as a degenerate elliptic equation, for which the Liouville type theorem in a strip is a consequence of the analysis for the second order ordinary differential equation (ODE). The analysis on the associated ODE also helps determine the far field behavior of solutions in general nozzles, which plays an important role in guaranteeing the equivalence of stream function formulation. One of the key ingredients for the analysis on flows in a general nozzle is a new transformation, which combines a change of variable and an Euler-Lagrange transformation. With the aid of this new transformation, the solutions in the new coordinates enjoy explicit representations so that the regularity with respect to the horizontal variable can be gained in a clear way.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
On a novel numerical quadrature based on cycle index of symmetric group for the Hadamard finite-part integrals
Authors:
Jiajie Yao,
Congcong Xie
Abstract:
To evaluate the Hadamard finite-part integrals accurately, a novel interpolatory-type quadrature is proposed in this article. In our approach, numerical divided difference is utilized to represent the high order derivatives of the integrated function, which make it possible to reduced the numerical quadrature into a concise formula based on the cycle index for symmetric group. In addition, converg…
▽ More
To evaluate the Hadamard finite-part integrals accurately, a novel interpolatory-type quadrature is proposed in this article. In our approach, numerical divided difference is utilized to represent the high order derivatives of the integrated function, which make it possible to reduced the numerical quadrature into a concise formula based on the cycle index for symmetric group. In addition, convergence analysis is presented and the error estimation is given. Numerical results are presented on cases with different weight functions, which substantiate the performance of the proposed method.
△ Less
Submitted 24 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.
-
Relative tilting theory in extriangulated categories
Authors:
Chenbei Xie
Abstract:
In this article, we define relative resolutions and coresolutions in extriangulated categories. By studying this relative resolutions and coresolutions, we get a generalization of the Auslander-Buchweitz approximation theory. Finally, we develop some theories of relative tilting objects in extriangulated categories.
In this article, we define relative resolutions and coresolutions in extriangulated categories. By studying this relative resolutions and coresolutions, we get a generalization of the Auslander-Buchweitz approximation theory. Finally, we develop some theories of relative tilting objects in extriangulated categories.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
On the lower bound for kissing numbers of $\ell_p$-spheres in high dimensions
Authors:
Chengfei Xie,
Gennian Ge
Abstract:
In this paper, we give some new lower bounds for the kissing number of $\ell_p$-spheres. These results improve the previous work due to Xu (2007). Our method is based on coding theory.
In this paper, we give some new lower bounds for the kissing number of $\ell_p$-spheres. These results improve the previous work due to Xu (2007). Our method is based on coding theory.
△ Less
Submitted 19 July, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Homotopy cartesian squares in extriangulated categories
Authors:
Jing He,
Chenbei Xie,
Panyue Zhou
Abstract:
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category. Given a composition of two commutative squares in $\mathcal{C}$, if two commutative squares are homotopy cartesian, then their composition is also a homotopy cartesian. This covers the result by Mac Lane (1998) for abelian categories and the result by Christensen and Frankland (2022) for triangulated categories.
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category. Given a composition of two commutative squares in $\mathcal{C}$, if two commutative squares are homotopy cartesian, then their composition is also a homotopy cartesian. This covers the result by Mac Lane (1998) for abelian categories and the result by Christensen and Frankland (2022) for triangulated categories.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
On the lower bound for packing densities of superballs in high dimensions
Authors:
Chengfei Xie,
Gennian Ge
Abstract:
Define the superball with radius $r$ and center ${\boldsymbol 0}$ in $\mathbb{R}^n$ to be the set $$ \left\{{\boldsymbol x}\in\mathbb{R}^n:\sum_{j=1}^{m}\left(x_{k_j+1}^2+x_{k_j+2}^2+\cdots+x_{k_{j+1}}^2\right)^{p/2}\leq r^p\right\},0=k_1<k_2<\cdots<k_{m+1}=n, $$ which is a generalization of $\ell_p$-balls. We give two new proofs for the celebrated result that for $1<p\leq2$, the translative packi…
▽ More
Define the superball with radius $r$ and center ${\boldsymbol 0}$ in $\mathbb{R}^n$ to be the set $$ \left\{{\boldsymbol x}\in\mathbb{R}^n:\sum_{j=1}^{m}\left(x_{k_j+1}^2+x_{k_j+2}^2+\cdots+x_{k_{j+1}}^2\right)^{p/2}\leq r^p\right\},0=k_1<k_2<\cdots<k_{m+1}=n, $$ which is a generalization of $\ell_p$-balls. We give two new proofs for the celebrated result that for $1<p\leq2$, the translative packing density of superballs in $\mathbb{R}^n$ is $Ω(n/2^n)$. This bound was first obtained by Schmidt, with subsequent constant factor improvement by Rogers and Schmidt, respectively. Our first proof is based on the hard superball model, and the second proof is based on the independence number of a graph. We also investigate the entropy of packings, which measures how plentiful such packings are.
△ Less
Submitted 18 June, 2022; v1 submitted 12 June, 2022;
originally announced June 2022.
-
Liouville-type theorems for steady solutions to the Navier-Stokes system in a slab
Authors:
Jeaheang Bang,
Changfeng Gui,
Yun Wang,
Chunjing Xie
Abstract:
Liouville-type theorems for the steady incompressible Navier-Stokes system are investigated for solutions in a three-dimensional slab with either no-slip boundary conditions or periodic boundary conditions. When the no-slip boundary conditions are prescribed, we prove that any bounded solution is trivial if it is axisymmetric or $ru^r$ is bounded, and that general three-dimensional solutions must…
▽ More
Liouville-type theorems for the steady incompressible Navier-Stokes system are investigated for solutions in a three-dimensional slab with either no-slip boundary conditions or periodic boundary conditions. When the no-slip boundary conditions are prescribed, we prove that any bounded solution is trivial if it is axisymmetric or $ru^r$ is bounded, and that general three-dimensional solutions must be Poiseuille flows when the velocity is not big in $L^\infty$ space. When the periodic boundary conditions are imposed on the slab boundaries, we prove that the bounded solutions must be constant vectors if either the swirl or radial velocity is independent of the angular variable, or $ru^r$ decays to zero as $r$ tends to infinity. The proofs are based on the fundamental structure of the equations and energy estimates. The key technique is to establish a Saint-Venant type estimate that characterizes the growth of Dirichlet integral of nontrivial solutions.
△ Less
Submitted 19 August, 2022; v1 submitted 26 May, 2022;
originally announced May 2022.
-
Analysis on the steady Euler flows with stagnation points in an infinitely long nozzle
Authors:
Congming Li,
Yingshu Lv,
Henrik Shahgholian,
Chunjing Xie
Abstract:
A recent prominent result asserts that steady incompressible Euler flows strictly away from stagnation in a two-dimensional infinitely long strip must be shear flows. On the other hand, flows with stagnation points, very challenging in analysis, are interesting and important phenomenon in fluids. In this paper, we not only prove the uniqueness and existence of steady flows with stagnation points,…
▽ More
A recent prominent result asserts that steady incompressible Euler flows strictly away from stagnation in a two-dimensional infinitely long strip must be shear flows. On the other hand, flows with stagnation points, very challenging in analysis, are interesting and important phenomenon in fluids. In this paper, we not only prove the uniqueness and existence of steady flows with stagnation points, but also obtain the regularity of the boundary of stagnation set, which is a class of obstacle type free boundary.
First, we prove a global uniqueness theorem for steady Euler system with Poiseuille flows as upstream far field state in an infinitely long strip. Due to the appearance of stagnation points, the nonlinearity of the semilinear equation for the stream function becomes non-Lipschitz. This creates a challenging analysis problem since many classical analysis methods do not apply directly. Second, the existence of steady incompressible Euler flows, tending to Poiseuille flows in the upstream, are established in an infinitely long nozzle via variational approach. A very interesting phenomenon is the regularity of the boundary of non-stagnant region, which can be regarded as an obstacle type free boundary and is proved to be globally $C^1$. Finally, the existence of stagnation region is proved as long as the nozzle is wider than the width of the nozzle at upstream where the flows tend to Poiseuille flows.
△ Less
Submitted 9 December, 2023; v1 submitted 15 March, 2022;
originally announced March 2022.
-
A hybrid physics-informed neural network for nonlinear partial differential equation
Authors:
Chunyue Lv,
Lei Wang,
Chenming Xie
Abstract:
The recently developed physics-informed machine learning has made great progress for solving nonlinear partial differential equations (PDEs), however, it may fail to provide reasonable approximations to the PDEs with discontinuous solutions. In this paper, we focus on the discrete time physics-informed neural network (PINN), and propose a hybrid PINN scheme for the nonlinear PDEs. In this approach…
▽ More
The recently developed physics-informed machine learning has made great progress for solving nonlinear partial differential equations (PDEs), however, it may fail to provide reasonable approximations to the PDEs with discontinuous solutions. In this paper, we focus on the discrete time physics-informed neural network (PINN), and propose a hybrid PINN scheme for the nonlinear PDEs. In this approach, the local solution structures are classified as smooth and nonsmooth scales by introducing a discontinuity indicator, and then the automatic differentiation technique is employed for resolving smooth scales, while an improved weighted essentially non-oscillatory (WENO) scheme is adopted to capture discontinuities. We then test the present approach by considering the viscous and inviscid Burgers equations , and it is shown that compared with original discrete time PINN, the present hybrid approach has a better performance in approximating the discontinuous solution even at a relatively larger time step.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Rate-Induced Tipping: Thresholds, Edge States and Connecting Orbits
Authors:
Sebastian Wieczorek,
Chun Xie,
Peter Ashwin
Abstract:
Rate-induced tipping (R-tipping) occurs when time-variation of input parameters of a dynamical system interacts with system timescales to give genuine nonautonomous instabilities. Such instabilities appear as the input varies at some critical rates and cannot, in general, be understood in terms of autonomous bifurcations in the frozen system with a fixed-in-time input.
This paper develops an acc…
▽ More
Rate-induced tipping (R-tipping) occurs when time-variation of input parameters of a dynamical system interacts with system timescales to give genuine nonautonomous instabilities. Such instabilities appear as the input varies at some critical rates and cannot, in general, be understood in terms of autonomous bifurcations in the frozen system with a fixed-in-time input.
This paper develops an accessible mathematical framework for R-tipping in multidimensional nonautonomous dynamical systems with an autonomous future limit. We focus on R-tipping via loss of tracking of base attractors that are equilibria in the frozen system, due to crossing what we call regular thresholds. These thresholds are associated with regular edge states: compact hyperbolic invariant sets with one unstable direction and orientable stable manifold, that lie on a basin boundary in the frozen system. We define R-tipping and critical rates for the nonautonomous system in terms of special solutions that limit to a compact invariant set of the future limit system that is not an attractor. We focus on the case when the limit set is a regular edge state, which we call the regular R-tipping edge state that anchors the associated regular R-tipping threshold at infinity. We introduce the concept of edge tails to rigorously classify R-tipping into reversible, irreversible, and degenerate cases.
The main idea is to compactify the problem and use regular edge states of the future limit system to analyse R-tipping in the nonautonomous system. This allows us to give sufficient conditions for the occurrence of R-tipping in terms of easily testable properties of the frozen system and input variation, and necessary and sufficient conditions for the occurrence of reversible and irreversible R-tipping in terms of computationally verifiable (heteroclinic) connections to regular R-tipping edge states in the compactified system.
△ Less
Submitted 9 May, 2023; v1 submitted 30 November, 2021;
originally announced November 2021.
-
Uniqueness and uniform structural stability of Poiseuille flows in an infinitely long pipe with Navier boundary conditions
Authors:
Yun Wang,
Chunjing Xie
Abstract:
In this paper, uniqueness and uniform structural stability of Poiseuille flows in an infinitely long pipe with Navier boundary conditions are established for axisymmetric solutions of steady Navier-Stokes system. The crucial point is that the estimate is uniform with respect both the flux of flows and slip coefficient which appeared in Navier boundary conditions. With the aid of special structure…
▽ More
In this paper, uniqueness and uniform structural stability of Poiseuille flows in an infinitely long pipe with Navier boundary conditions are established for axisymmetric solutions of steady Navier-Stokes system. The crucial point is that the estimate is uniform with respect both the flux of flows and slip coefficient which appeared in Navier boundary conditions. With the aid of special structure of Navier-Stokes system and the refined estimate for some quantities such as radial velocity, the uniqueness and existence of steady solutions of Navier-Stokes system can be obtained even when the external forces are large as long as the fluxes of flows are large. The delicate decomposition in the two dimensional plane for slip coefficient and frequency corresponding to Fourier variable in the axial direction plays a key role to achieve these estimates.
△ Less
Submitted 17 November, 2021; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Convergence Analysis of A Second-order Accurate, Linear Numerical Scheme for The Landau-Lifshitz Equation with Large Damping Parameters
Authors:
Yongyong Cai,
Jingrun Chen,
Cheng Wang,
Changjian Xie
Abstract:
A second order accurate, linear numerical method is analyzed for the Landau-Lifshitz equation with large damping parameters. This equation describes the dynamics of magnetization, with a non-convexity constraint of unit length of the magnetization. The numerical method is based on the second-order backward differentiation formula in time, combined with an implicit treatment of the linear diffusion…
▽ More
A second order accurate, linear numerical method is analyzed for the Landau-Lifshitz equation with large damping parameters. This equation describes the dynamics of magnetization, with a non-convexity constraint of unit length of the magnetization. The numerical method is based on the second-order backward differentiation formula in time, combined with an implicit treatment of the linear diffusion term and explicit extrapolation for the nonlinear terms. Afterward, a projection step is applied to normalize the numerical solution at a point-wise level. This numerical scheme has shown extensive advantages in the practical computations for the physical model with large damping parameters, which comes from the fact that only a linear system with constant coefficients (independent of both time and the updated magnetization) needs to be solved at each time step, and has greatly improved the numerical efficiency. Meanwhile, a theoretical analysis for this linear numerical scheme has not been available. In this paper, we provide a rigorous error estimate of the numerical scheme, in the discrete $\ell^{\infty}(0,T; \ell^2) \cap \ell^2(0,T; H_h^1)$ norm, under suitable regularity assumptions and reasonable ratio between the time step-size and the spatial mesh-size. In particular, the projection operation is nonlinear, and a stability estimate for the projection step turns out to be highly challenging. Such a stability estimate is derived in details, which will play an essential role in the convergence analysis for the numerical scheme, if the damping parameter is greater than 3.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Uniqueness and uniform structural stability of Poiseuille flows in a periodic pipe with Navier boundary conditions
Authors:
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we prove the uniqueness and structural stability of Poiseuille flows for axisymmetric solutions of steady Navier-Stokes system supplemented with Navier boundary conditions in a periodic pipe. Moreover, the stability is uniform with respect to both the flux and the slip coefficient of Navier boundary conditions. It is also showed that the non-zero frequency part of the velocity is bo…
▽ More
In this paper, we prove the uniqueness and structural stability of Poiseuille flows for axisymmetric solutions of steady Navier-Stokes system supplemented with Navier boundary conditions in a periodic pipe. Moreover, the stability is uniform with respect to both the flux and the slip coefficient of Navier boundary conditions. It is also showed that the non-zero frequency part of the velocity is bounded by a power function of the flux with negative power as long as the flux is suitably large. One of the key ingredients of the analysis is to prove the uniform linear structural stability, where the analysis for the boundary layers and the swirl velocity corresponding to the flux and the slip coefficients in different regimes plays a crucial role.
△ Less
Submitted 13 November, 2021;
originally announced November 2021.
-
Some sum-product estimates in matrix rings over finite fields
Authors:
Chengfei Xie,
Gennian Ge
Abstract:
We study some sum-product problems over matrix rings. Firstly, for $A, B, C\subseteq M_n(\mathbb{F}_q)$, we have $$ |A+BC|\gtrsim q^{n^2}, $$ whenever $|A||B||C|\gtrsim q^{3n^2-\frac{n+1}{2}}$. Secondly, if a set $A$ in $M_n(\mathbb{F}_q)$ satisfies $|A|\geq C(n)q^{n^2-1}$ for some sufficiently large $C(n)$, then we have…
▽ More
We study some sum-product problems over matrix rings. Firstly, for $A, B, C\subseteq M_n(\mathbb{F}_q)$, we have $$ |A+BC|\gtrsim q^{n^2}, $$ whenever $|A||B||C|\gtrsim q^{3n^2-\frac{n+1}{2}}$. Secondly, if a set $A$ in $M_n(\mathbb{F}_q)$ satisfies $|A|\geq C(n)q^{n^2-1}$ for some sufficiently large $C(n)$, then we have $$ \max\{|A+A|, |AA|\}\gtrsim \min\left\{\frac{|A|^2}{q^{n^2-\frac{n+1}{4}}}, q^{n^2/3}|A|^{2/3}\right\}. $$ These improve the results due to The and Vinh (2020), and generalize the results due to Mohammadi, Pham, and Wang (2021). We also give a new proof for a recent result due to The and Vinh (2020). Our method is based on spectral graph theory and linear algebra.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
On the minimal degree condition of graphs implying some properties of subgraphs
Authors:
Bingchen Qian,
Chengfei Xie,
Gennian Ge
Abstract:
Erdős posed the problem of finding conditions on a graph $G$ that imply the largest number of edges in a triangle-free subgraph is equal to the largest number of edges in a bipartite subgraph. We generalize this problem to general cases. Let $δ_r$ be the least number so that any graph $G$ on $n$ vertices with minimum degree $δ_rn$ has the property $P_{r-1}(G)=K_rf(G),$ where $P_{r-1}(G)$ is the la…
▽ More
Erdős posed the problem of finding conditions on a graph $G$ that imply the largest number of edges in a triangle-free subgraph is equal to the largest number of edges in a bipartite subgraph. We generalize this problem to general cases. Let $δ_r$ be the least number so that any graph $G$ on $n$ vertices with minimum degree $δ_rn$ has the property $P_{r-1}(G)=K_rf(G),$ where $P_{r-1}(G)$ is the largest number of edges in an $(r-1)$-partite subgraph and $K_rf(G)$ is the largest number of edges in a $K_r$-free subgraph. We show that $\frac{3r-4}{3r-1}<δ_r\le\frac{4(3r-7)(r-1)+1}{4(r-2)(3r-4)}$ when $r\ge4.$ In particular, $δ_4\le 0.9415.$
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
Some Results on $k$-Turán-good Graphs
Authors:
Bingchen Qian,
Chengfei Xie,
Gennian Ge
Abstract:
For a graph $H$ and a $k$-chromatic graph $F,$ if the Turán graph $T_{k-1}(n)$ has the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough), then $H$ is called $F$-Turán-good, or $k$-Turán-good for short if $F$ is $K_k.$ In this paper, we construct some new classes of $k$-Turán-good graphs and prove that $P_4$ and $P_5$ are $k$-Turán-good for $k\ge4.$
For a graph $H$ and a $k$-chromatic graph $F,$ if the Turán graph $T_{k-1}(n)$ has the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough), then $H$ is called $F$-Turán-good, or $k$-Turán-good for short if $F$ is $K_k.$ In this paper, we construct some new classes of $k$-Turán-good graphs and prove that $P_4$ and $P_5$ are $k$-Turán-good for $k\ge4.$
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
A Machine-Learning Method for Time-Dependent Wave Equations over Unbounded Domains
Authors:
Changjian Xie,
Jingrun Chen,
Xiantao Li
Abstract:
Time-dependent wave equations represent an important class of partial differential equations (PDE) for describing wave propagation phenomena, which are often formulated over unbounded domains. Given a compactly supported initial condition, classical numerical methods reduce such problems to bounded domains using artificial boundary condition (ABC). In this work, we present a machine-learning metho…
▽ More
Time-dependent wave equations represent an important class of partial differential equations (PDE) for describing wave propagation phenomena, which are often formulated over unbounded domains. Given a compactly supported initial condition, classical numerical methods reduce such problems to bounded domains using artificial boundary condition (ABC). In this work, we present a machine-learning method to solve this type of equations as an alternative to ABCs. Specifically, the mapping from the initial conditions to the PDE solution is represented by a neural network, trained using wave packets that are parameterized by their band width and wave numbers. The accuracy is tested for both the second-order wave equation and the Schrodinger equation, including the nonlinear Schrodinger equation. We examine the accuracy from both interpolations and extrapolations. For initial conditions lying in the training set, the learned map has good interpolation accuracy, due to the approximation property of deep neural networks. The learned map also exhibits some good extrapolation accuracy. We also demonstrate the effectiveness of the method for problems in irregular domains. Overall, the proposed method provides an interesting alternative for finite-time simulation of wave propagation.
△ Less
Submitted 20 July, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
On the size of Nikodym sets in spaces over rings
Authors:
Chengfei Xie,
Gennian Ge
Abstract:
A Nikodym set $\mathcal{N}\subseteq(\mathbb{Z}/(N\mathbb{Z}))^n$ is a set containing $L\setminus\{x\}$ for every $x\in(\mathbb{Z}/(N\mathbb{Z}))^n$, where $L$ is a line passing through $x$. We prove that if $N$ is square-free, then the size of every Nikodym set is at least $c_nN^{n-o(1)}$, where $c_n$ only depends on $n$. This result is an extension of the result in the finite field case.
A Nikodym set $\mathcal{N}\subseteq(\mathbb{Z}/(N\mathbb{Z}))^n$ is a set containing $L\setminus\{x\}$ for every $x\in(\mathbb{Z}/(N\mathbb{Z}))^n$, where $L$ is a line passing through $x$. We prove that if $N$ is square-free, then the size of every Nikodym set is at least $c_nN^{n-o(1)}$, where $c_n$ only depends on $n$. This result is an extension of the result in the finite field case.
△ Less
Submitted 29 December, 2020; v1 submitted 25 December, 2020;
originally announced December 2020.
-
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.
-
Formation of singularity for the rotating shallow water system
Authors:
Yupei Huang,
Chunjing Xie
Abstract:
In this paper, we investigate the formation of singularity for general two dimensional and radially symmetric solutions for rotating shallow water system from different aspects. First, the formation of singularity is proved via the study for the associated moments for two dimensional solutions. For the radial symmetric solutions, the formation of singularity is established for the initial data wit…
▽ More
In this paper, we investigate the formation of singularity for general two dimensional and radially symmetric solutions for rotating shallow water system from different aspects. First, the formation of singularity is proved via the study for the associated moments for two dimensional solutions. For the radial symmetric solutions, the formation of singularity is established for the initial data with compact support. Finally, the global existence or formation of singularity for the radial symmetric solutions of the rotating shallow water system are analyzed in detail when the solutions are of the form with separated variables.
△ Less
Submitted 10 August, 2020;
originally announced August 2020.
-
Variational structure and two-dimensional subsonic jet flows for compressible Euler system with general incoming flows
Authors:
Yan Li,
Wenhui Shi,
Lan Tang,
Chunjing Xie
Abstract:
In this paper, we proved the well-posedness theory of compressible subsonic jet flows for two-dimensional steady Euler system with {\it general} incoming horizontal velocity as long as the flux is larger than a critical value. One of the key observations is that the stream function formulation for two-dimensional compressible steady Euler system enjoys a variational structure even when the flows h…
▽ More
In this paper, we proved the well-posedness theory of compressible subsonic jet flows for two-dimensional steady Euler system with {\it general} incoming horizontal velocity as long as the flux is larger than a critical value. One of the key observations is that the stream function formulation for two-dimensional compressible steady Euler system enjoys a variational structure even when the flows have nontrivial vorticity, so that the jet problem can be reformulated as a domain variation problem. This variational structure helps to adapt the framework developed by Alt, Caffarelli, and Friedman to study {the jet problem, which is a Bernoulli type free boundary problem. A major technical point to analyze the jet flows is that the inhomogeneous terms in the rescaled equation near the free boundary are always small, even when the vorticity of the flows is big.
△ Less
Submitted 21 February, 2024; v1 submitted 10 June, 2020;
originally announced June 2020.
-
Global strong solutions to the inhomogeneous incompressible Navier-Stokes system in the exterior of a cylinder
Authors:
Zhengguang Guo,
Yun Wang,
Chunjing Xie
Abstract:
In this paper, the global strong axisymmetric solutions for the inhomogeneous incompressible Navier-Stokes system are established in the exterior of a cylinder subject to the Dirichlet boundary conditions. Moreover, the vacuum is allowed in these solutions. One of the key ingredients of the analysis is to obtain the ${L^{2}(s,T;L^{\infty}(Ω))}$ bound for the velocity field, where the axisymmetry o…
▽ More
In this paper, the global strong axisymmetric solutions for the inhomogeneous incompressible Navier-Stokes system are established in the exterior of a cylinder subject to the Dirichlet boundary conditions. Moreover, the vacuum is allowed in these solutions. One of the key ingredients of the analysis is to obtain the ${L^{2}(s,T;L^{\infty}(Ω))}$ bound for the velocity field, where the axisymmetry of the solutions plays an important role.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Low Mach Number Limit and Far Field Convergence Rates of Potential Flows in Multi-Dimensional Nozzles With an Obstacle Inside
Authors:
Lei Ma,
Tian-Yi Wang,
Chunjing Xie
Abstract:
This paper considers the low Mach number limit and far field convergence rates of steady Euler flows with external forces in three-dimensional infinitely long nozzles with an obstacle inside. First, the well-posedness theory for both incompressible and compressible subsonic flows with external forces in multidimensional nozzle with an obstacle inside are established by several uniform estimates. T…
▽ More
This paper considers the low Mach number limit and far field convergence rates of steady Euler flows with external forces in three-dimensional infinitely long nozzles with an obstacle inside. First, the well-posedness theory for both incompressible and compressible subsonic flows with external forces in multidimensional nozzle with an obstacle inside are established by several uniform estimates. The uniformly subsonic compressible flows tend to the incompressible flows as quadratic order of Mach number as the compressibility parameter goes to zero. Furthermore, we also give the convergence rates of both incompressible flow and compressible flow at far fields as the boundary of nozzle goes to flat even when the forces do not admit convergence rate at far fields. The convergence rates obtained for the flows at far fields clearly describe the effects of the external force.
△ Less
Submitted 29 April, 2020; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Existence and Optimal Convergence Rates of Multi-dimensional Subsonic Potential Flows Through an Infinitely Long Nozzle with an Obstacle Inside
Authors:
Lei Ma,
Chunjing Xie
Abstract:
In this paper, the well-posedness and optimal convergence rates of subsonic irrotational flows through a three dimensional infinitely long nozzle with a smooth obstacle inside are established. More precisely, the global existence and uniqueness of the uniformly subsonic flow are obtained via variational formulation as long as the incoming mass flux is less than a critical value. Furthermore, with…
▽ More
In this paper, the well-posedness and optimal convergence rates of subsonic irrotational flows through a three dimensional infinitely long nozzle with a smooth obstacle inside are established. More precisely, the global existence and uniqueness of the uniformly subsonic flow are obtained via variational formulation as long as the incoming mass flux is less than a critical value. Furthermore, with the aid of delicate choice of weight functions, we prove the optimal convergence rates of the flow at far fields via weighted energy estimates and Nash-Moser iteration.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Compactification for Asymptotically Autonomous Dynamical Systems: Theory, Applications and Invariant Manifolds
Authors:
Sebastian Wieczorek,
Chun Xie,
Chris K. R. T. Jones
Abstract:
We develop a general compactification framework to facilitate analysis of nonlinear nonautonomous ODEs where nonautonomous terms decay asymptotically. The strategy is to compactify the problem: the phase space is augmented with a bounded but open dimension and then extended at one or both ends by gluing in flow-invariant subspaces that carry autonomous dynamics of the limit systems from infinity.…
▽ More
We develop a general compactification framework to facilitate analysis of nonlinear nonautonomous ODEs where nonautonomous terms decay asymptotically. The strategy is to compactify the problem: the phase space is augmented with a bounded but open dimension and then extended at one or both ends by gluing in flow-invariant subspaces that carry autonomous dynamics of the limit systems from infinity. We derive the weakest decay conditions possible for the compactified system to be continuously differentiable on the extended phase space. This enables us to use equilibria and other compact invariant sets of the limit systems from infinity to analyse the original nonautonomous problem in the spirit of dynamical systems theory. Specifically, we prove that solutions of interest are contained in unique invariant manifolds of saddles for the limit systems when embedded in the extended phase space. The uniqueness holds in the general case, that is even if the compactification gives rise to a centre direction and the manifolds become centre or centre-stable manifolds. A wide range of problems including pullback attractors, rate-induced critical transitions (R-tipping) and nonlinear wave solutions fit naturally into our framework.
△ Less
Submitted 12 March, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Existence and asymptotic behavior of large axisymmetric solutions for steady Navier-Stokes system in a pipe
Authors:
Yun Wang,
Chunjing Xie
Abstract:
In this paper, the existence and uniqueness of strong axisymmetric solutions with large flux for the steady Navier-Stokes system in a pipe are established even when the external force is also suitably large in $L^2$. Furthermore, the exponential convergence rate at far fields for the arbitrary steady solutions with finite $H^2$ distance to the Hagen-Poiseuille flows is established as long as the e…
▽ More
In this paper, the existence and uniqueness of strong axisymmetric solutions with large flux for the steady Navier-Stokes system in a pipe are established even when the external force is also suitably large in $L^2$. Furthermore, the exponential convergence rate at far fields for the arbitrary steady solutions with finite $H^2$ distance to the Hagen-Poiseuille flows is established as long as the external forces converge exponentially at far fields. The key point to get the existence of these large solutions is the refined estimate for the derivatives in the axial direction of the stream function and the swirl velocity, which exploits the good effect of the convection term. An important observation for the asymptotic behavior of general solutions is that the solutions are actually small at far fields when they have finite $H^2$ distance to the Hagen-Poiseuille flows. This makes the estimate for the linearized problem play a crucial role in studying the convergence of general solutions at far fields.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Uniform Structural stability of Hagen-Poiseuille flows in a pipe
Authors:
Yun Wang,
Chunjing Xie
Abstract:
In this paper, we prove the uniform nonlinear structural stability of Hagen-Poiseuille flows with arbitrary large fluxes in the axisymmetric case. This uniform nonlinear structural stability is the first step to study Liouville type theorem for steady solution of Navier-Stokes system in a pipe, which may play an important role in proving the existence of solutions for the Leray's problem, the exis…
▽ More
In this paper, we prove the uniform nonlinear structural stability of Hagen-Poiseuille flows with arbitrary large fluxes in the axisymmetric case. This uniform nonlinear structural stability is the first step to study Liouville type theorem for steady solution of Navier-Stokes system in a pipe, which may play an important role in proving the existence of solutions for the Leray's problem, the existence of solutions of steady Navier-Stokes system with arbitrary flux in a general nozzle. A key step to establish nonlinear structural stability is the a priori estimate for the associated linearized problem for Navier-Stokes system around Hagen-Poiseuille flows. The linear structural stability is established as a consequence of elaborate analysis for the governing equation for the partial Fourier transform of the stream function. The uniform estimates are obtained based on the analysis for the solutions with different fluxes and frequencies. One of the most involved cases is to analyze the solutions with large flux and intermediate frequency, where the boundary layer analysis for the solutions plays a crucial role.
△ Less
Submitted 2 November, 2019;
originally announced November 2019.
-
Structural stability of the transonic shock problem in a divergent three dimensional axisymmetric perturbed nozzle
Authors:
Shangkun Weng,
Chunjing Xie,
Zhouping Xin
Abstract:
In this paper, we prove the structural stability of the transonic shocks for three dimensional axisymmetric Euler system with swirl velocity under the perturbations for the incoming supersonic flow, the nozzle boundary, and the exit pressure. Compared with the known results on the stability of transonic shocks, one of the major difficulties for the axisymmetric flows with swirls is that corner sin…
▽ More
In this paper, we prove the structural stability of the transonic shocks for three dimensional axisymmetric Euler system with swirl velocity under the perturbations for the incoming supersonic flow, the nozzle boundary, and the exit pressure. Compared with the known results on the stability of transonic shocks, one of the major difficulties for the axisymmetric flows with swirls is that corner singularities near the intersection point of the shock surface and nozzle boundary and the artificial singularity near the axis appear simultaneously. One of the key points in the analysis for this paper is the introduction of an invertible Lagrangian transformation which can straighten the streamlines in the whole nozzle and help to represent the solutions of transport equations explicitly.
△ Less
Submitted 13 February, 2020; v1 submitted 5 August, 2019;
originally announced August 2019.
