Searcharxiv⌕ Search

arXiv subjects

Weizhu Bao

Publications and source records attributed to Weizhu Bao.

At least 55 records · Page 3Linked to original sources
arXiv2021

Improved uniform error bounds on time-splitting methods for the long-time dynamics of the Dirac equation with small potentials

We establish improved uniform error bounds on time-splitting methods for the long-time dynamics of the Dirac equation with small electromagnetic potentials characterized by a dimensionless parameter $\varepsilon\in (0, 1]$ representing the amplitude of the potentials. We begin with a semi-discritization of the Dirac equation in time by a time-splitting method, and then followed by a full-discretization in space by the Fourier pseudospectral method. Employing the unitary flow property of the second-order time-splitting method for the Dirac equation, we prove uniform error bounds at $C(t)τ^2$ and $C(t)(h^m+τ^2)$ for the semi-discretization and full-discretization, respectively, for any time $t\in[0,T_\varepsilon]$ with $T_\varepsilon = T/\varepsilon$ for $T > 0$, which are uniformly for $\varepsilon \in (0, 1]$, where $τ$ is the time step, $h$ is the mesh size, $m\geq 2$ depends on the regularity of the solution, and $C(t) = C_0 + C_1\varepsilon t\le C_0+C_1T$ grows at most linearly with respect to $t$ with $C_0\ge0$ and $C_1>0$ two constants independent of $t$, $h$, $τ$ and $\varepsilon$. Then by adopting the regularity compensation oscillation (RCO) technique which controls the high frequency modes by the regularity of the solution and low frequency modes by phase cancellation and energy method, we establish improved uniform error bounds at $O(\varepsilonτ^2)$ and $O(h^m +\varepsilonτ^2)$ for the semi-discretization and full-discretization, respectively, up to the long-time $T_\varepsilon$. Numerical results are reported to confirm our error bounds and to demonstrate that they are sharp. Comparisons on the accuracy of different time discretizations for the Dirac equation are also provided.

math.NA↗
arXiv2021

Improved uniform error bounds on time-splitting methods for long-time dynamics of the nonlinear Klein--Gordon equation with weak nonlinearity

We establish improved uniform error bounds on time-splitting methods for the long-time dynamics of the nonlinear Klein--Gordon equation (NKGE) with weak cubic nonlinearity, whose strength is characterized by $\varepsilon^2$ with $0 < \varepsilon \leq 1$ a dimensionless parameter. Actually, when $0 < \varepsilon \ll 1$, the NKGE with $O(\varepsilon^2)$ nonlinearity and $O(1)$ initial data is equivalent to that with $O(1)$ nonlinearity and small initial data of which the amplitude is at $O(\varepsilon)$. We begin with a semi-discretization of the NKGE by the second-order time-splitting method, and followed by a full-discretization via the Fourier spectral method in space. Employing the regularity compensation oscillation (RCO) technique which controls the high frequency modes by the regularity of the exact solution and analyzes the low frequency modes by phase cancellation and energy method, we carry out the improved uniform error bounds at $O(\varepsilon^2τ^2)$ and $O(h^m+\varepsilon^2τ^2)$ for the second-order semi-discretization and full-discretization up to the long time $T_\varepsilon = T/\varepsilon^2$ with $T$ fixed, respectively. Extensions to higher order time-splitting methods and the case of an oscillatory complex NKGE are also discussed. Finally, numerical results are provided to confirm the improved error bounds and to demonstrate that they are sharp.

math.NA↗
arXiv2021

Error estimates of local energy regularization for the logarithmic Schrodinger equation

The logarithmic nonlinearity has been used in many partial differential equations (PDEs) for modeling problems in various applications.Due to the singularity of the logarithmic function, it introducestremendous difficulties in establishing mathematical theories, as well asin designing and analyzing numerical methods for PDEs with such nonlinearity. Here we take the logarithmic Schrödinger equation (LogSE)as a prototype model. Instead of regularizing $f(ρ)=\ln ρ$ in theLogSE directly and globally as being done in the literature, we propose a local energy regularization (LER) for the LogSE byfirst regularizing $F(ρ)=ρ\ln ρ-ρ$ locally near $ρ=0^+$ with a polynomial approximation in the energy functional of the LogSE and then obtaining an energy regularized logarithmic Schrödinger equation (ERLogSE) via energy variation. Linear convergence is established between the solutions of ERLogSE and LogSE in terms of a small regularization parameter $0<\ep\ll1$. Moreover, the conserved energy of the ERLogSE converges to that of LogSE quadratically, which significantly improvesthe linear convergence rate of the regularization method in the literature. Error estimates are alsopresented for solving the ERLogSE by using Lie-Trotter splittingintegrators. Numerical results are reported to confirm our errorestimates of the LER and of the time-splitting integrators for theERLogSE. Finally our results suggest that the LER performs better than regularizing the logarithmic nonlinearity in the LogSE directly.

math.NA↗
arXiv2021

An energy-stable parametric finite element method for anisotropic surface diffusion

We propose an energy-stable parametric finite element method (ES-PFEM) to discretize the motion of a closed curve under surface diffusion with an anisotropic surface energy $γ(θ)$ -- anisotropic surface diffusion -- in two dimensions, while $θ$ is the angle between the outward unit normal vector and the vertical axis. By introducing a positive definite surface energy (density) matrix $G(θ)$, we present a new and simple variational formulation for the anisotropic surface diffusion and prove that it satisfies area/mass conservation and energy dissipation. The variational problem is discretized in space by the parametric finite element method and area/mass conservation and energy dissipation are established for the semi-discretization. Then the problem is further discretized in time by a (semi-implicit) backward Euler method so that only a linear system is to be solved at each time step for the full-discretization and thus it is efficient. We establish well-posedness of the full-discretization and identify some simple conditions on $γ(θ)$ such that the full-discretization keeps energy dissipation and thus it is unconditionally energy-stable. Finally the ES-PFEM is applied to simulate solid-state dewetting of thin films with anisotropic surface energies, i.e. the motion of an open curve under anisotropic surface diffusion with proper boundary conditions at the two triple points moving along the horizontal substrate. Numerical results are reported to demonstrate the efficiency and accuracy as well as energy dissipation of the proposed ES-PFEM.

math.NA↗
arXiv2021

A structure-preserving parametric finite element method for surface diffusion

We propose a structure-preserving parametric finite element method (SP-PFEM) for discretizing the surface diffusion of a closed curve in two dimensions (2D) or surface in three dimensions (3D). Here the "structure-preserving" refers to preserving the two fundamental geometric structures of the surface diffusion flow: (i) the conservation of the area/volume enclosed by the closed curve/surface, and (ii) the decrease of the perimeter/total surface area of the curve/surface. For simplicity of notations, we begin with the surface diffusion of a closed curve in 2D and present a weak (variational) formulation of the governing equation. Then we discretize the variational formulation by using the backward Euler method in time and piecewise linear parametric finite elements in space, with a proper approximation of the unit normal vector by using the information of the curves at the current and next time step. The constructed numerical method is shown to preserve the two geometric structures and also enjoys the good property of asymptotic equal mesh distribution. The proposed SP-PFEM is "weakly" implicit (or almost semi-implicit) and the nonlinear system at each time step can be solved very efficiently and accurately by the Newton's iterative method. The SP-PFEM is then extended to discretize the surface diffusion of a closed surface in 3D. Extensive numerical results, including convergence tests, structure-preserving property and asymptotic equal mesh distribution, are reported to demonstrate the accuracy and efficiency of the proposed SP-PFEM for simulating surface diffusion in 2D and 3D.

math.NA↗
arXiv2021

Uniform error bounds of a time-splitting spectral method for the long-time dynamics of the nonlinear Klein-Gordon equation with weak nonlinearity

We establish uniform error bounds of time-splitting Fourier pseudospectral (TSFP) methods for the nonlinear Klein--Gordon equation (NKGE) with weak power-type nonlinearity and $O(1)$ initial data, while the nonlinearity strength is characterized by $\varepsilon^{p}$ with a constant $p \in \mathbb{N}^+$ and a dimensionless parameter $\varepsilon \in (0, 1]$, for the long-time dynamics up to the time at $O(\varepsilon^{-β})$ with $0 \leq β\leq p$. In fact, when $0 < \varepsilon \ll 1$, the problem is equivalent to the long-time dynamics of NKGE with small initial data and $O(1)$ nonlinearity strength, while the amplitude of the initial data (and the solution) is at $O(\varepsilon)$. By reformulating the NKGE into a relativistic nonlinear Schrödinger equation, we adapt the TSFP method to discretize it numerically. By using the method of mathematical induction to bound the numerical solution, we prove uniform error bounds at $O(h^{m}+\varepsilon^{p-β}τ^2)$ of the TSFP method with $h$ mesh size, $τ$ time step and $m\ge2$ depending on the regularity of the solution. The error bounds are uniformly accurate for the long-time simulation up to the time at $O(\varepsilon^{-β})$ and uniformly valid for $\varepsilon\in(0,1]$. Especially, the error bounds are uniformly at the second order rate for the large time step $τ= O(\varepsilon^{-(p-β)/2})$ in the parameter regime $0\leβ<p$. Numerical results are reported to confirm our error bounds in the long-time regime. Finally, the TSFP method and its error bounds are extended to a highly oscillatory complex NKGE which propagates waves with wavelength at $O(1)$ in space and $O(\varepsilon^β)$ in time and wave velocity at $O(\varepsilon^{-β})$.

math.NA↗
arXiv2021

Controlling fingering instabilities in Hele-Shaw flows in the presence of wetting film effects

In this paper, the interfacial motion between two immiscible viscous fluids in the confined geometry of a Hele-Shaw cell is studied. We consider the influence of a thin wetting film trailing behind the displaced fluid, which dynamically affects the pressure drop at the fluid-fluid interface by introducing a nonlinear dependence on the interfacial velocity. In this framework, two cases of interest are analyzed: The injection-driven flow (expanding evolution), and the lifting plate flow (shrinking evolution). In particular, we investigate the possibility of controlling the development of fingering instabilities in these two different Hele-Shaw setups when wetting effects are taken into account. By employing linear stability theory, we find the proper time-dependent injection rate $Q(t)$ and the time-dependent lifting speed ${\dot b}(t)$ required to control the number of emerging fingers during the expanding and shrinking evolution, respectively. Our results indicate that the consideration of wetting leads to an increase in the magnitude of $Q(t)$ [and ${\dot b}(t)$] in comparison to the non-wetting strategy. Moreover, a spectrally accurate boundary integral approach is utilized to examine the validity and effectiveness of the controlling protocols at the fully nonlinear regime of the dynamics and confirms that the proposed injection and lifting schemes are feasible strategies to prescribe the morphologies of the resulting patterns in the presence of the wetting film.

physics.flu-dyn↗
arXiv2021

Uniform error bounds of time-splitting methods for the nonlinear Dirac equation in the nonrelativistic regime without magnetic potential

Super-resolution of the Lie-Trotter splitting ($S_1$) and Strang splitting ($S_2$) is rigorously analyzed for the nonlinear Dirac equation without external magnetic potentials in the nonrelativistic regime with a small parameter $0<\varepsilon\leq 1$ inversely proportional to the speed of light. In this regime, the solution highly oscillates in time with wavelength at $O(\varepsilon^2)$. The splitting methods surprisingly show super-resolution, i.e. the methods can capture the solution accurately even if the time step size $τ$ is much larger than the sampled wavelength at $O(\varepsilon^2)$. Similar to the linear case, $S_1$ and $S_2$ both exhibit $1/2$ order convergence uniformly with respect to $\varepsilon$. Moreover, if $τ$ is non-resonant, i.e. $τ$ is away from certain region determined by $\varepsilon$, $S_1$ would yield an improved uniform first order $O(τ)$ error bound, while $S_2$ would give improved uniform $3/2$ order convergence. Numerical results are reported to confirm these rigorous results. Furthermore, we note that super-resolution is still valid for higher order splitting methods.

math.NA↗
arXiv2020

Accurate and efficient calculation of photoionization in streamer discharges using fast multipole method

This paper focuses on the three-dimensional simulation of the photoionization in streamer discharges, and provides a general framework to efficiently and accurately calculate the photoionization model using the integral form. The simulation is based on the kernel-independent fast multipole method. The accuracy of this method is studied quantitatively for different domains and various pressures in comparison with other existing models based on partial differential equations (PDEs). The comparison indicates the numerical error of the fast multipole method is much smaller than those of other PDE-based methods, with the reference solution given by direct numerical integration. Such accuracy can be achieved with affordable computational cost, and its performance in both efficiency and accuracy is quite stable for different domains and pressures. Meanwhile, the simulation accelerated by the fast multipole method exhibits good scalability using up to 1280 cores, which shows its capability of three-dimensional simulations using parallel (distributed) computing. The difference of the proposed method and other efficient approximations are also studied in a three-dimensional dynamic problem where two streamers interact.

physics.comp-ph↗
arXiv2020

An energy-stable parametric finite element method for simulating solid-state dewetting

We propose an energy-stable parametric finite element method (ES-PFEM) for simulating solid-state dewetting of thin films in two dimensions via a sharp-interface model, which is governed by surface diffusion and contact line (point) migration together with proper boundary conditions. By reformulating the relaxed contact angle condition into a Robin-type boundary condition and then treating it as a natural boundary condition, we obtain a new variational formulation for the problem, in which the interface curve and its contact points are evolved simultaneously. Then, the variational problem is discretized in space by using piecewise linear elements. A full discretization is presented by adopting the backward Euler method in time, and the well-posedness and energy dissipation of the full discretization are established. The numerical method is semi-implicit (i.e., a linear system to be solved at each time step and thus efficient), unconditionally energy-stable with respect to the time step, and second-order in space measured by a manifold distance between two curves. In addition, it demonstrates equal mesh distribution when the solution reaches its equilibrium, i.e., long-time dynamics. Numerical results are reported to show accuracy and efficiency as well as some good properties of the proposed numerical method.

math.NA↗
arXiv2020

A Jacobi spectral method for computing eigenvalue gaps and their distribution statistics of the fractional Schrödinger operator

We propose a spectral method by using the Jacobi functions for computing eigenvalue gaps and their distribution statistics of the fractional Schrödinger operator (FSO). In the problem, in order to get reliable gaps distribution statistics, we have to calculate accurately and efficiently a very large number of eigenvalues, e.g. up to thousands or even millions eigenvalues, of an eigenvalue problem related to the FSO. The proposed Jacobi spectral method is extremely suitable and demanded for the discretization of an eigenvalue problem when a large number of eigenvalues need to be calculated. Then the Jacobi spectral method is applied to study numerically the asymptotics of the nearest neighbour gaps, average gaps, minimum gaps, normalized gaps and their distribution statistics in 1D. Based on our numerical results, several interesting numerical observations (or conjectures) about eigenvalue gaps and their distribution statistics of the FSO in 1D are formulated. Finally, the Jacobi spectral method is extended to the directional fractional Schrödinger operator in high dimensions and extensive numerical results about eigenvalue gaps and their distribution statistics are reported.

math.NA↗
arXiv2020

Sharp-interface model for simulating solid-state dewetting in three dimensions

The problem of simulating solid-state dewetting of thin films in three dimensions (3D) by using a sharp-interface approach is considered in this paper. Based on the thermodynamic variation, a speed method is used for calculating the first variation to the total surface energy functional. The speed method shares more advantages than the traditional use of parameterized curves (or surfaces), e.g., it is more intrinsic and its variational structure (related with Cahn-Hoffman $\boldsymbolξ$-vector) is clearer and more direct. By making use of the first variation, necessary conditions for the equilibrium shape of the solid-state dewetting problem is given, and a kinetic sharp-interface model which includes the surface energy anisotropy is also proposed. This sharp-interface model describes the interface evolution in 3D which occurs through surface diffusion and contact line migration. By solving the proposed model, we perform lots of numerical simulations to investigate the evolution of patterned films, e.g., the evolution of a short cuboid and pinch-off of a long cuboid. Numerical simulations in 3D demonstrate the accuracy and efficacy of the sharp-interface approach to capture many of the complexities observed in solid-state dewetting experiments.

cond-mat.soft↗
arXiv2020

Super-resolution of time-splitting methods for the Dirac equation in the nonrelativistic regime

We establish error bounds of the Lie-Trotter splitting ($S_1$) and Strang splitting ($S_2$) for the Dirac equation in the nonrelativistic limit regime in the absence of external magnetic potentials, with a small parameter $0<\varepsilon\leq 1$ inversely proportional to the speed of light. In this limit regime, the solution propagates waves with $O(\varepsilon^2)$ wavelength in time. Surprisingly, we find out that the splitting methods exhibit super-resolution, in the sense of breaking the resolution constraint under the Shannon's sampling theorem, i.e. the methods can capture the solutions accurately even if the time step size $τ$ is much larger than the sampled wavelength at $O(\varepsilon^2)$. $S_1$ shows $1/2$ order convergence uniformly with respect to $\varepsilon$, by establishing that there are two independent error bounds $τ+ \varepsilon$ and $τ+ τ/\varepsilon$. Moreover, if $τ$ is non-resonant, i.e. $τ$ is away from certain region determined by $\varepsilon$, $S_1$ would yield an improved uniform first order $O(τ)$ error bound. In addition, we show $S_2$ is uniformly convergent with 1/2 order rate for general time step size $τ$ and uniformly convergent with $3/2$ order rate for non-resonant time step size. Finally, numerical examples are reported to validate our findings.

math.NA↗
arXiv2020

Power-law scaling for solid-state dewetting of thin films: an Onsager variational approach

We examine the kinetics of surface diffusion-controlled, solid-state dewetting by consideration of the retraction of the contact in a semi-infinite solid thin film on a flat rigid substrate. The analysis is performed within the framework of the Onsager variational principle applied to surface diffusion-controlled morphology evolution. Based on this approach, we derive a simple, reduced-order model to quantitatively analyse the power-law scaling of the dewetting process. Using asymptotic analysis and numerical simulations for the reduced-order model, we find that the retraction distance grows as the $2/5$ power of time and the height of the ridge, adjacent to the contact, grows as the $1/5$ power of time for late time. While the asymptotic analysis focuses on late time and a relatively simple geometric model, the Onsager approach is applicable to all times and descriptions of the morphology of arbitrary complexity.

cond-mat.mtrl-sci↗
arXiv2019

An efficient and accurate MPI based parallel simulator for streamer discharges in three dimensions

In this paper, we propose an efficient and accurate message-passing interface (MPI)-based parallel simulator for streamer discharges in three dimensions using the fluid model. First, we propose a new second-order semi-implicit scheme for the temporal discretization of the model that relaxes the dielectric relaxation time restriction. Moreover, it requires solving the Poisson-type equation only once at each time step, while the classical second-order explicit scheme typically needs to do twice. Second, we introduce a geometric multigrid preconditioned FGMRES solver that dramatically improves the efficiency of solving the Poisson-type equation with either constant or variable coefficients. We show numerically that no more than 4 iterations are required for the Poisson solver to converge to a relative residual of $10^{-8}$ during streamer simulations; the FGMRES solver is much faster than R&B SOR and other Krylov subspace solvers. Last but not least, all the methods are implemented using MPI. The parallel efficiency of the code and the fast algorithmic performances are demonstrated by a series of numerical experiments using up to 2560 cores on the Tianhe2-JK clusters. For applications, we study a double-headed streamer discharge as well as the interaction between two streamers, using up to 10.7 billion mesh cells.

physics.comp-ph↗
arXiv2019

Computing ground states of Bose-Einstein Condensates with higher order interaction via a regularized density function formulation

We propose and analyze a new numerical method for computing the ground state of the modified Gross-Pitaevskii equation for modeling the Bose-Einstein condensate with a higher order interaction by adapting the density function formulation and the accelerated projected gradient method. By reformulating the energy functional $E(ϕ)$ with $ϕ$, the wave function, in terms of the density $ρ=|ϕ|^2$, the original non-convex minimization problem for defining the ground state is then reformulated to a convex minimization problem. In order to overcome the semi-smoothness of the function $\sqrtρ$ in the kinetic energy part, a regularization is introduced with a small parameter $0<\varepsilon\ll1$. Convergence of the regularization is established when $\varepsilon\to0$. The regularized convex optimization problem is discretized by the second order finite difference method. The convergence rates in terms of the density and energy of the discretization are established. The accelerated projected gradient method is adapted for solving the discretized optimization problem. Numerical results are reported to demonstrate the efficiency and accuracy of the proposed numerical method. Our results show that the proposed method is much more efficient than the existing methods in the literature, especially in the strong interaction regime.

cond-mat.quant-gas↗
arXiv2019

A parametric finite element method for solid-state dewetting problems in three dimensions

We propose a parametric finite element method (PFEM) for efficiently solving the morphological evolution of solid-state dewetting of thin films on a flat rigid substrate in three dimensions (3D). The interface evolution of the dewetting problem in 3D is described by a sharp-interface model, which includes surface diffusion coupled with contact line migration. A variational formulation of the sharp-interface model is presented, and a PFEM is proposed for spatial discretization. For temporal discretization, at each time step, we first update the position of the contact line according to the relaxed contact angle condition; then, by using the position of the new contact line as the boundary condition, we solve a linear algebra system resulted from the discretization of PFEM to obtain the new interface surface for the next step. The well-posedness of the solution of the PFEM is also established. Extensive numerical results are reported to demonstrate the accuracy and efficiency of the proposed PFEM and to show the complexities of the dewetting morphology evolution observed in solid-state dewetting experiments.

physics.comp-ph↗
arXiv2019

Comparison of numerical methods for the nonlinear Klein-Gordon equation in the nonrelativistic limit regime

Different efficient and accurate numerical methods have recently been proposed and analyzed for the nonlinear Klein-Gordon equation (NKGE) with a dimensionless parameter $\varepsilon\in (0,1]$, which is inversely proportional to the speed of light. In the nonrelativestic limit regime, i.e. $0<\varepsilon\ll1$, the solution of the NKGE propagates waves with wavelength at $O(1)$ and $O(\varepsilon^2)$ in space and time, respectively, which brings significantly numerical burdens in designing numerical methods. We compare systematically spatial/temporal efficiency and accuracy as well as $\varepsilon$-resolution (or $\varepsilon$-scalability) of different numerical methods including finite difference time domain methods, time-splitting method, exponential wave integrator, limit integrator, multiscale time integrator, two-scale formulation method and iterative exponential integrator. Finally, we adopt the multiscale time integrator to study the convergence rates from the NKGE to its limiting models when $\varepsilon\to0^+$.

math.NA↗