Searcharxiv⌕ Search

arXiv subjects

Ziqing Xie

Publications and source records attributed to Ziqing Xie.

15 recordsLinked to original sources
arXiv2026

An efficient compact splitting Fourier spectral methods for computing the dynamics of rotating spin-orbit coupled spin-2 Bose-Einstein condenstates

This paper investigates the dynamics of spin-2 Bose-Einstein condensates (BECs) with rotation and spin-orbit coupling (SOC). In order to better simulate the dynamics, we present an efficient high-order compact splitting Fourier spectral method. This method splits the Hamiltonian into a linear part, which consists of the Laplace, rotation and SOC terms, and a nonlinear part that includes all the remaining terms. The wave function is well approximated by the Fourier spectral method and is numerically accessed with discrete Fast Fourier transform (FFT). For linear subproblem, the handling of rotation term and SOC term poses a major challenge. Using a function mapping based on rotation, we can integrate the linear subproblem exactly and explicitly. This mapping we propose not only helps eliminate the rotation term, but also prevents the SOC term from evolving into a time-dependent form. The nonlinear subproblem is integrated analytically in physical space. Such "compact" splitting involves only two operators and facilitates the design of high-order splitting schemes. Our method is spectrally accurate in space and high order in time. It is efficient, explicit, unconditionally stable and simple to implement. In addition, we derive some dynamical properties and carry out a systematic study, including accuracy and efficiency tests, dynamical property verification, the SOC effects and dynamics of vortex lattice.

math.NA↗
arXiv2026

Efficient Nehari manifold optimization algorithms for computing ground state solutions of nonlinear elliptic systems

This paper presents a class of efficient manifold optimization algorithms for computing the ground state solutions of a semilinear elliptic system, which are unstable saddle points of the variational functional. Variational arguments show that these unstable saddle points can be characterized as the local minimizers of the variational functional constrained to the Nehari manifold $\mathcal{N}$. The Nehari manifold optimization method (NMOM) proposed in [Z. Chen, W. Liu, Z. Xie, and W. Yi. SIAM J. Sci. Comput., 47(4): A2098-A2126, 2025] provides a Riemannian gradient descent framework on $\mathcal{N}$ for such constrained minimization problems. To deal with both the intrinsic instability of the solutions and the increased computational complexity introduced by the coupling between components, we combine the ideas from the NMOM and the Nesterov-type acceleration to develop a new efficient Riemannian accelerated gradient algorithm on $\mathcal{N}$ (RAG-$\mathcal{N}$). The key idea is to perform an easy-to-implement nonlinear extrapolation step on $\mathcal{N}$, followed by a Riemannian steepest-descent update at the extrapolated point. To enhance the robustness, we further incorporate a nonmonotone step-size search strategy into the RAG-$\mathcal{N}$ algorithm, obtaining a variant with improved stability. Numerical experiments show that the RAG-$\mathcal{N}$ algorithms substantially reduce the number of iterations compared with the Riemannian steepest descent algorithm of NMOM. Finally, we apply the RAG-$\mathcal{N}$ algorithms to compute the ground state solutions of semilinear elliptic systems with two, three and four components, and investigate their behavior under different coupling coefficients and various settings, including Gaussian-type external potentials and singular diffusion coefficients.

math.NA↗
arXiv2025

An asymptotically compatible unfitted finite element methods for nonlocal elliptic Interfaces: local limits and sharp error estimates

This paper presents the development and analysis of an asymptotically compatible (AC) unfitted finite element method for one-dimensional nonlocal elliptic interface problems. The proposed method achieves optimal error estimates through three principal contributions: (i) an extended maximum principle, coupled with an asymptotic consistency analysis of the flux operator, which establishes second-order convergence of nonlocal solutions to their local counterparts in the maximum norm; (ii) a Nitsche-type formulation that directly incorporates nonlocal jump conditions into the weak form, enabling high accuracy without body-fitted meshes; and (iii) a rigorous proof of optimal convergence rates in both the energy and L2 norms via the nonlocal maximum principle, flux consistency, and a newly derived nonlocal Poincare inequality. Numerical experiments confirm the theoretical findings and demonstrate the robustness and efficiency of the proposed approach, thereby providing a foundation for extensions to higher dimensions.

math.NA↗
arXiv2025

BDF schemes for accelerated gradient flows in projection-free approximation of nonconvex constrained variational minimization

We propose novel algorithms combining accelerated gradient flows with linearized projection-free treatments of non-convex constraints and BDF pseudo-temporal discretization for quadratic energy minimization. A general framework is developed to analyze constraint violations in such projection-free techniques for quadratic constraints. This analysis proves to be universal to all projection-free iterative methods, and constraint error bounds depend solely on iterate regularity. For BDF-k(k=1,2,3,4), we derive both unconditional and conditional high-order constraint violation estimates for accelerated gradient flows using our framework. We further discover a new family of BDF-k accelerated gradient methods achieving modified energy stability for arbitrary positive integer k. Numerical experiments validate our theoretical results and demonstrate superior efficiency and accuracy compared to existing gradient flow approaches.

math.NA↗
arXiv2025

Nehari manifold optimization and its application for finding unstable solutions of semilinear elliptic PDEs

A Nehari manifold optimization method (NMOM) is introduced for finding 1-saddles, i.e., saddle points with the Morse index equal to one, of a generic nonlinear functional in Hilbert spaces. Actually, it is based on the variational characterization that 1-saddles of this functional are local minimizers of the same functional restricted on the associated Nehari manifold. The framework contains two important ingredients: one is the retraction mapping to make the iterative points always lie on the Nehari manifold; the other is the tangential search direction to decrease the functional with suitable step-size search rules. Particularly, the global convergence is rigorously established by virtue of some crucial analysis techniques (including a weak convergence method) that overcome difficulties in the infinite-dimensional setting. In practice, combining with an easy-to-implement Nehari retraction and the negative Riemannian gradient direction, the NMOM is successfully applied to compute the unstable ground-state solutions of a class of typical semilinear elliptic PDEs, such as the stationary nonlinear Schrödinger equation and the Hénon equation. In particular, the symmetry-breaking phenomenon of the ground states of the Hénon equation is explored numerically in 1D and 2D with interesting numerical findings on the critical value of the symmetry-breaking reported.

math.NA↗
arXiv2025

Second-order flows for approaching stationary points of a class of non-convex energies via convex-splitting schemes

This paper contributes to the exploration of a recently introduced computational paradigm known as second-order flows, which are characterized by novel dissipative hyperbolic partial differential equations extending accelerated gradient flows to energy functionals defined on Sobolev spaces, and exhibiting significant performance particularly for the minimization of non-convex energies. Our approach hinges upon convex-splitting schemes, a tool which is not only pivotal for clarifying the well-posedness of second-order flows, but also yields a versatile array of robust numerical schemes through temporal (and spatial) discretization. We prove the convergence to stationary points of such schemes in the semi-discrete setting. Further, we establish their convergence to time-continuous solutions as the timestep tends to zero. Finally, these algorithms undergo thorough testing and validation in approaching stationary points of representative non-convex variational models in scientific computing.

math.NA↗
arXiv2023

Convergence analysis of a spectral-Galerkin-type search extension method for finding multiple solutions to semilinear problems

In this paper, we develop an efficient spectral-Galerkin-type search extension method (SGSEM) for finding multiple solutions to semilinear elliptic boundary value problems. This method constructs effective initial data for multiple solutions based on the linear combinations of some eigenfunctions of the corresponding linear eigenvalue problem, and thus takes full advantage of the traditional search extension method in constructing initials for multiple solutions. Meanwhile, it possesses a low computational cost and high accuracy due to the employment of an interpolated coefficient Legendre-Galerkin spectral discretization. By applying the Schauder's fixed point theorem and other technical strategies, the existence and spectral convergence of the numerical solution corresponding to a specified true solution are rigorously proved. In addition, the uniqueness of the numerical solution in a sufficiently small neighborhood of each specified true solution is strictly verified. Numerical results demonstrate the feasibility and efficiency of our algorithm and present different types of multiple solutions.

math.NA↗
arXiv2023

Nonmonotone local minimax methods for finding multiple saddle points

In this paper, by designing a normalized nonmonotone search strategy with the Barzilai--Borwein-type step-size, a novel local minimax method (LMM), which is a globally convergent iterative method, is proposed and analyzed to find multiple (unstable) saddle points of nonconvex functionals in Hilbert spaces. Compared to traditional LMMs with monotone search strategies, this approach, which does not require strict decrease of the objective functional value at each iterative step, is observed to converge faster with less computations. Firstly, based on a normalized iterative scheme coupled with a local peak selection that pulls the iterative point back onto the solution submanifold, by generalizing the Zhang--Hager (ZH) search strategy in the optimization theory to the LMM framework, a kind of normalized ZH-type nonmonotone step-size search strategy is introduced, and then a novel nonmonotone LMM is constructed. Its feasibility and global convergence results are rigorously carried out under the relaxation of the monotonicity for the functional at the iterative sequences. Secondly, in order to speed up the convergence of the nonmonotone LMM, a globally convergent Barzilai--Borwein-type LMM (GBBLMM) is presented by explicitly constructing the Barzilai--Borwein-type step-size as a trial step-size of the normalized ZH-type nonmonotone step-size search strategy in each iteration. Finally, the GBBLMM algorithm is implemented to find multiple unstable solutions of two classes of semilinear elliptic boundary value problems with variational structures: one is the semilinear elliptic equations with the homogeneous Dirichlet boundary condition and another is the linear elliptic equations with semilinear Neumann boundary conditions. Extensive numerical results indicate that our approach is very effective and speeds up the LMMs significantly.

math.NA↗
arXiv2023

Normalized Wolfe-Powell-type local minimax method for finding multiple unstable solutions of nonlinear elliptic PDEs

The local minimax method (LMM) proposed in [Y. Li and J. Zhou, SIAM J. Sci. Comput., 23(3), 840--865 (2001)] and [Y. Li and J. Zhou, SIAM J. Sci. Comput., 24(3), 865--885 (2002)] is an efficient method to solve nonlinear elliptic partial differential equations (PDEs) with certain variational structures for multiple solutions. The steepest descent direction and the Armijo-type step-size search rules are adopted in [Y. Li and J. Zhou, SIAM J. Sci. Comput., 24(3), 865--885 (2002)] and play a significant role in the performance and convergence analysis of traditional LMMs. In this paper, a new algorithm framework of the LMMs is established based on general descent directions and two normalized (strong) Wolfe-Powell-type step-size search rules. The corresponding algorithm framework named as the normalized Wolfe-Powell-type LMM (NWP-LMM) is introduced with its feasibility and global convergence rigorously justified for general descent directions. As a special case, the global convergence of the NWP-LMM algorithm combined with the preconditioned steepest descent (PSD) directions is also verified. Consequently, it extends the framework of traditional LMMs. In addition, conjugate gradient-type (CG-type) descent directions are utilized to speed up the NWP-LMM algorithm. Finally, extensive numerical results for several semilinear elliptic PDEs are reported to profile their multiple unstable solutions and compared for different algorithms in the LMM's family to indicate the effectiveness and robustness of our algorithms. In practice, the NWP-LMM combined with the CG-type direction indeed performs much better than its known LMM companions.

math.NA↗
arXiv2023

Second-order flows for computing the ground states of rotating Bose-Einstein condensates

Second-order flows in this paper refer to some artificial evolutionary differential equations involving second-order time derivatives distinguished from gradient flows which are considered to be first-order flows. This is a popular topic due to the recent advances of inertial dynamics with damping in convex optimization. Mathematically, the ground state of a rotating Bose-Einstein condensate (BEC) can be modeled as a minimizer of the Gross-Pitaevskii energy functional with angular momentum rotational term under the normalization constraint. We introduce two types of second-order flows as energy minimization strategies for this constrained non-convex optimization problem, in order to approach the ground state. The proposed artificial dynamics are novel second-order nonlinear hyperbolic partial differential equations with dissipation. Several numerical discretization schemes are discussed, including explicit and semi-implicit methods for temporal discretization, combined with a Fourier pseudospectral method for spatial discretization. These provide us a series of efficient and robust algorithms for computing the ground states of rotating BECs. Particularly, the newly developed algorithms turn out to be superior to the state-of-the-art numerical methods based on the gradient flow. In comparison with the gradient flow type approaches: When explicit temporal discretization strategies are adopted, the proposed methods allow for larger stable time step sizes; While for semi-implicit discretization, using the same step size, a much smaller number of iterations are needed for the proposed methods to reach the stopping criterion, and every time step encounters almost the same computational complexity. Rich and detailed numerical examples are documented for verification and comparison.

math.NA↗
arXiv2022

A constrained gentlest ascent dynamics and its applications to finding excited states of Bose-Einstein condensates

In this paper, the gentlest ascent dynamics (GAD) developed in [W. E and X. Zhou, Nonlinearity, 24 (2011), pp. 1831--1842] is extended to a constrained gentlest ascent dynamics (CGAD) to find constrained saddle points with any specified Morse indices. It is proved that the linearly stable steady state of the proposed CGAD is exactly a nondegenerate constrained saddle point with a corresponding Morse index. Meanwhile, the locally exponential convergence of an idealized CGAD near nondegenerate constrained saddle points with corresponding indices is also verified. The CGAD is then applied to find excited states of single-component Bose--Einstein condensates (BECs) in the order of their Morse indices via computing constrained saddle points of the corresponding Gross--Pitaevskii energy functional under the normalization constraint. In addition, properties of the excited states of BECs in the linear/nonlinear cases are mathematically/numerically studied. Extensive numerical results are reported to show the effectiveness and robustness of our method and demonstrate some interesting physics.

math.NA↗
arXiv2019

An Efficient Iterative Method for Solving Multiple Scattering in Locally Inhomogeneous Media

In this paper, an efficient iterative method is proposed for solving multiple scattering problem in locally inhomogeneous media. The key idea is to enclose the inhomogeneity of the media by well separated artificial boundaries and then apply purely outgoing wave decomposition for the scattering field outside the enclosed region. As a result, the original multiple scattering problem can be decomposed into a finite number of single scattering problems, where each of them communicates with the other scattering problems only through its surrounding artificial boundary. Accordingly, they can be solved in a parallel manner at each iteration. This framework enjoys a great flexibility in using different combinations of iterative algorithms and single scattering problem solvers. The spectral element method seamlessly integrated with the non-reflecting boundary condition and the GMRES iteration is advocated and implemented in this work. The convergence of the proposed method is proved by using the compactness of involved integral operators. Ample numerical examples are presented to show its high accuracy and efficiency.

math.NA↗
arXiv2017

Calculation of SPH and VSH Expansions

We present in this paper a spectrally accurate numerical method for computing the spherical/vector spherical harmonic expansion of a function/vector field with given (elemental) nodal values on a spherical surface. Built upon suitable analytic formulas for dealing with the involved highly oscillatory integrands, the method is robust for high mode expansions. We apply the numerical method to the simulation of three-dimensional acoustic and electromagnetic multiple scattering problems. Various numerical evidences show that the high accuracy can be achieved within reasonable computational time. This also paves the way for spectral-element discretization of 3D scattering problems reduced by spherical transparent boundary conditions based on the Dirichlet-to-Neumann map.

math.NA↗
arXiv2012

Sharp error bounds for Jacobi expansions and Gengenbauer-Gauss quadrature of analytic functions

This paper provides a rigorous and delicate analysis for exponential decay of Jacobi polynomial expansions of analytic functions associated with the Bernstein ellipse. Using an argument that can recover the best estimate for the Chebyshev expansion, we derive various new and sharp bounds of the expansion coefficients, which are featured with explicit dependence of all related parameters and valid for degree $n\ge 1$. We demonstrate the sharpness of the estimates by comparing with existing ones, in particular, the very recent results in [38, SIAM J. Numer. Anal., 2012]. We also extend this argument to estimate the Gegenbauer-Gauss quadrature remainder of analytic functions, which leads to some new tight bounds for quadrature errors.

math.NA↗