Searcharxiv⌕ Search

arXiv subjects

Buyang Li

Publications and source records attributed to Buyang Li.

At least 37 records · Page 2Linked to original sources

An energy-stable minimal deformation rate scheme for mean curvature flow and surface diffusion

We propose a new parametric finite element method, referred to as the BGN-MDR method, for simulating both mean curvature flow and surface diffusion for closed hypersurfaces, as well as open hypersurfaces with moving contact lines in three dimensions. The method is also applicable to closed and open curves with moving contact points in two dimensions. The proposed scheme inherits the energy stability from the BGN scheme proposed by Barrett, Garcke, and Nürnberg in 2008, and offers improved mesh quality similar to the minimal deformation rate (MDR) method proposed by Hu and Li in 2022, especially for small time step sizes where the BGN scheme may become unstable and result in deteriorated meshes.

math.NA↗

Computing rough solutions of the KdV equation below ${\bf L^2}$

We establish a novel numerical and analytical framework for solving the Korteweg--de Vries (KdV) equation in the negative Sobolev spaces, where classical numerical methods fail due to their reliance on high regularity and inability to control nonlinear interactions at low regularities. Numerical analysis is established by combining a continuous reformulation of the numerical scheme, the Bourgain-space estimates for the continuous reformulation, and a rescaling strategy that reduces the reformulated problem to a small initial value problem, which allow us to bridge a critical gap between numerical analysis and theoretical well-posedness by designing the first numerical method capable of solving the KdV equation in the negative Sobolev spaces. The numerical scheme is proved to have nearly optimal-order convergence with respect to the spatial degrees of freedom in the $H^{-\frac{1}{2}}$ norm for initial data in $H^s$, with $-\frac{1}{2} < s \leq 0$, a result unattainable by existing numerical methods.

math.NA↗

Dynamic Ritz Projection for Finite Element Methods in Fluid-Structure Interaction

Regardless of the development of various finite element methods for fluid-structure interaction (FSI) problems, optimal-order convergence of finite element discretizations of the FSI problems in the $L^\infty(0,T;L^2)$ norm has not been proved due to the incompatibility between standard Ritz projections and the interface conditions in the FSI problems. To address this issue, we define a dynamic Ritz projection (which satisfies a dynamic interface condition) associated to the FSI problem and study its approximation properties in the $L^\infty(0,T;H^1)$ and $L^\infty(0,T;L^2)$ norms. Existence and uniqueness of the dynamic Ritz projection of the solution, as well as estimates of the error between the solution and its dynamic Ritz projection, are established. By utilizing the established results, we prove optimal-order convergence of finite element methods for the FSI problem in the $L^\infty(0,T;L^2)$ norm.

math.NA↗

Optimal convergence of the arbitrary Lagrangian-Eulerian interface tracking method for two-phase Navier--Stokes flow without surface tension

Optimal-order convergence in the $H^1$ norm is proved for an arbitrary Lagrangian-Eulerian interface tracking finite element method for the sharp interface model of two-phase Navier-Stokes flow without surface tension, using high-order curved evolving mesh. In this method, the interfacial mesh points move with the fluid's velocity to track the sharp interface between two phases of the fluid, and the interior mesh points move according to a harmonic extension of the interface velocity. The error of the semidiscrete arbitrary Lagrangian-Eulerian interface tracking finite element method is shown to be $O(h^k)$ in the $L^\infty(0, T; H^1(Ω))$ norm for the Taylor-Hood finite elements of degree $k \ge 2$. This high-order convergence is achieved by utilizing the piecewise smoothness of the solution on each subdomain occupied by one phase of the fluid, relying on a low global regularity on the entire moving domain. Numerical experiments illustrate and complement the theoretical results.

math.NA↗

Computing rough solutions of the stochastic nonlinear wave equation

The regularity of solutions to the stochastic nonlinear wave equation plays a critical role in the accuracy and efficiency of numerical algorithms. Rough or discontinuous initial conditions pose significant challenges, often leading to a loss of accuracy and reduced computational efficiency in existing methods. In this study, we address these challenges by developing a novel and efficient numerical algorithm specifically designed for computing rough solutions of the stochastic nonlinear wave equation, while significantly relaxing the regularity requirements on the initial data. By leveraging the intrinsic structure of the stochastic nonlinear wave equation and employing advanced tools from harmonic analysis, we construct a time discretization method that achieves robust convergence for initial values \((u^{0}, v^{0}) \in H^γ \times H^{γ-1}\) for all \(γ> 0\). Notably, our method attains an improved error rate of \(O(τ^{2γ-})\) in one and two dimensions for \(γ\in (0, \frac{1}{2}]\), and \(O(τ^{\max(γ, 2γ- \frac{1}{2}-)})\) in three dimensions for \(γ\in (0, \frac{3}{4}]\), where \(τ\) denotes the time step size. These convergence rates surpass those of existing numerical methods under the same regularity conditions, underscoring the advantage of our approach. To validate the performance of our method, we present extensive numerical experiments that demonstrate its superior accuracy and computational efficiency compared to state-of-the-art methods. These results highlight the potential of our approach to enable accurate and efficient simulations of stochastic wave phenomena even in the presence of challenging initial conditions.

math.NA↗

Numerical approximation of discontinuous solutions of the semilinear wave equation

A high-frequency recovered fully discrete low-regularity integrator is constructed to approximate rough and possibly discontinuous solutions of the semilinear wave equation. The proposed method, with high-frequency recovery techniques, can capture the discontinuities of the solutions correctly without spurious oscillations and approximate rough and discontinuous solutions with a higher convergence rate than pre-existing methods. Rigorous analysis is presented for the convergence rates of the proposed method in approximating solutions such that $(u,\partial_{t}u)\in C([0,T];H^γ\times H^{γ-1})$ for $γ\in(0,1]$. For discontinuous solutions of bounded variation in one dimension (which allow jump discontinuities), the proposed method is proved to have almost first-order convergence under the step size condition $τ\sim N^{-1}$, where $τ$ and $N$ denote the time step size and the number of Fourier terms in the space discretization, respectively. Numerical examples are presented in both one and two dimensions to illustrate the advantages of the proposed method in improving the accuracy in approximating rough and discontinuous solutions of the semilinear wave equation. The numerical results are consistent with the theoretical results and show the efficiency of the proposed method.

math.NA↗

Maximal regularity of evolving FEMs for parabolic equations on an evolving surface

In this paper, we prove that spatially semi-discrete evolving finite element method for parabolic equations on a given evolving hypersurface of arbitrary dimensions preserves the maximal $L^p$-regularity at the discrete level. We first establish the results on a stationary surface and then extend them, via a perturbation argument, to the case where the underlying surface is evolving under a prescribed velocity field. The proof combines techniques in evolving finite element method, properties of Green's functions on (discretised) closed surfaces, and local energy estimates for finite element methods

math.NA↗

Convergence of a moving window method for the Schrödinger equation with potential on $\mathbb{R}^d$

We propose a novel framework, called moving window method, for solving the linear Schrödinger equation with an external potential in $\mathbb{R}^d$. This method employs a smooth cut-off function to truncate the equation from Cauchy boundary conditions in the whole space to a bounded window of scaled torus, which is itself moving with the solution. This allows for the application of established schemes on this scaled torus to design algorithms for the whole-space problem. Rigorous analysis of the error in approximating the whole-space solution by numerical solutions on a bounded window is established. Additionally, analytical tools for periodic cases are used to rigorously estimate the error of these whole-space algorithms. By integrating the proposed framework with a classical first-order exponential integrator on the scaled torus, we demonstrate that the proposed scheme achieves first-order convergence in time and $γ/2$-order convergence in space for initial data in $H^γ(\mathbb{R}^d) \cap L^2(\mathbb{R}^d;|x|^{2γ} dx)$ with $γ\geq 2$. In the case where $γ= 1$, the numerical scheme is shown to have half-order convergence under an additional CFL condition. In practice, we can dynamically adjust the window when waves reach its boundary, allowing for continued computation beyond the initial window. Extensive numerical examples are presented to support the theoretical analysis and demonstrate the effectiveness of the proposed method.

math.NA↗

Weak maximum principle of finite element methods for parabolic equations in polygonal domains

The weak maximum principle of finite element methods for parabolic equations is proved for both semi-discretization in space and fully discrete methods with $k$-step backward differentiation formulae for $k = 1,... ,6$, on a two-dimensional general polygonal domain or a three-dimensional convex polyhedral domain. The semi-discrete result is established via a dyadic decomposition argument and local energy estimates in which the nonsmoothness of the domain can be handled. The fully discrete result for multistep backward differentiation formulae is proved by utilizing the solution representation via the discrete Laplace transform and the resolvent estimates, which are inspired by the analysis of convolutional quadrature for parabolic and fractional-order partial differential equations.

math.NA↗

Optimal analysis of finite element methods for the stochastic Stokes equations

Numerical analysis for the stochastic Stokes equations is still challenging even though it has been well done for the corresponding deterministic equations. In particular, the pre-existing error estimates of finite element methods for the stochastic Stokes equations { in the $L^\infty(0, T; L^2(Ω; L^2))$ norm} all suffer from the order reduction with respect to the spatial discretizations. The best convergence result obtained for these fully discrete schemes is only half-order in time and first-order in space, which is not optimal in space in the traditional sense. The objective of this article is to establish strong convergence of $O(τ^{1/2}+ h^2)$ in the $L^\infty(0, T; L^2(Ω; L^2))$ norm for approximating the velocity, and strong convergence of $O(τ^{1/2}+ h)$ in the $L^{\infty}(0, T;L^2(Ω;L^2))$ norm for approximating the time integral of pressure, where $τ$ and $h$ denote the temporal step size and spatial mesh size, respectively. The error estimates are of optimal order for the spatial discretization considered in this article (with MINI element), and consistent with the numerical experiments. The analysis is based on the fully discrete Stokes semigroup technique and the corresponding new estimates.

math.NA↗

Optimal $L^2$ error analysis of a loosely coupled finite element scheme for thin-structure interactions

Finite element methods and kinematically coupled schemes that decouple the fluid velocity and structure displacement have been extensively studied for incompressible fluid-structure interaction (FSI) over the past decade. While these methods are known to be stable and easy to implement, optimal error analysis has remained challenging. Previous work has primarily relied on the classical elliptic projection technique, which is only suitable for parabolic problems and does not lead to optimal convergence of numerical solutions to the FSI problems in the standard $L^2$ norm. In this article, we propose a new stable fully discrete kinematically coupled scheme for incompressible FSI thin-structure model and establish a new approach for the numerical analysis of FSI problems in terms of a newly introduced coupled non-stationary Ritz projection, which allows us to prove the optimal-order convergence of the proposed method in the $L^2$ norm. The methodology presented in this article is also applicable to numerous other FSI models and serves as a fundamental tool for advancing research in this field.

math.NA↗

High-order splitting finite element methods for the subdiffusion equation with limited smoothing property

In contrast with the diffusion equation which smoothens the initial data to $C^\infty$ for $t>0$ (away from the corners/edges of the domain), the subdiffusion equation only exhibits limited spatial regularity. As a result, one generally cannot expect high-order accuracy in space in solving the subdiffusion equation with nonsmooth initial data. In this paper, a new splitting of the solution is constructed for high-order finite element approximations to the subdiffusion equation with nonsmooth initial data. The method is constructed by splitting the solution into two parts, i.e., a time-dependent smooth part and a time-independent nonsmooth part, and then approximating the two parts via different strategies. The time-dependent smooth part is approximated by using high-order finite element method in space and convolution quadrature in time, while the steady nonsmooth part could be approximated by using smaller mesh size or other methods that could yield high-order accuracy. Several examples are presented to show how to accurately approximate the steady nonsmooth part, including piecewise smooth initial data, Dirac--Delta point initial data, and Dirac measure concentrated on an interface. The argument could be directly extended to subdiffusion equations with nonsmooth source data. Extensive numerical experiments are presented to support the theoretical analysis and to illustrate the performance of the proposed high-order splitting finite element methods.

math.NA↗

Improved error estimates for a modified exponential Euler method for the semilinear stochastic heat equation with rough initial data

A class of stochastic Besov spaces $B^p L^2(Ω;\dot H^α(\mathcal{O}))$, $1\le p\le\infty$ and $α\in[-2,2]$, is introduced to characterize the regularity of the noise in the semilinear stochastic heat equation \begin{equation*} {\rm d} u -Δu {\rm d} t =f(u) {\rm d} t + {\rm d} W(t) , \end{equation*} under the following conditions for some $α\in(0,1]$: $$ \Big\| \int_0^te^{-(t-s)A}{\rm d} W(s) \Big\|_{L^2(Ω;L^2(\mathcal{O}))} \le C t^{\fracα{2}} \quad\mbox{and}\quad \Big\| \int_0^te^{-(t-s)A}{\rm d} W(s) \Big\|_{B^\infty L^2(Ω;\dot H^α(\mathcal{O}))}\le C. $$ The conditions above are shown to be satisfied by both trace-class noises (with $α=1$) and one-dimensional space-time white noises (with $α=\frac12$). The latter would fail to satisfy the conditions with $α=\frac12$ if the stochastic Besov norm $\|\cdot\|_{B^\infty L^2(Ω;\dot H^α(\mathcal{O}))}$ is replaced by the classical Sobolev norm $\|\cdot\|_{L^2(Ω;\dot H^α(\mathcal{O}))}$, and this often causes reduction of the convergence order in the numerical analysis of the semilinear stochastic heat equation. In this article, the convergence of a modified exponential Euler method, with a spectral method for spatial discretization, is proved to have order $α$ in both time and space for possibly nonsmooth initial data in $L^4(Ω;\dot{H}^β(\mathcal{O}))$ with $β>-1$, by utilizing the real interpolation properties of the stochastic Besov spaces and a class of locally refined stepsizes to resolve the singularity of the solution at $t=0$.

math.NA↗

Weak discrete maximum principle of isoparametric finite element methods in curvilinear polyhedra

The weak maximum principle of the isoparametric finite element method is proved for the Poisson equation under the Dirichlet boundary condition in a (possibly concave) curvilinear polyhedral domain with edge openings smaller than $π$, which include smooth domains and smooth deformations of convex polyhedra. The proof relies on the analysis of a dual elliptic problem with a discontinuous coefficient matrix arising from the isoparametric finite elements. Therefore, the standard $H^2$ elliptic regularity which is required in the proof of the weak maximum principle in the literature does not hold for this dual problem. To overcome this difficulty, we have decomposed the solution into a smooth part and a nonsmooth part, and estimated the two parts by $H^2$ and $W^{1,p}$ estimates, respectively. As an application of the weak maximum principle, we have proved a maximum-norm best approximation property of the isoparametric finite element method for the Poisson equation in a curvilinear polyhedron. The proof contains non-trivial modifications of Schatz's argument due to the non-conformity of the iso-parametric finite elements, which requires us to construct a globally smooth flow map which maps the curvilinear polyhedron to a perturbed larger domain on which we can establish the $W^{1,\infty}$ regularity estimate of the Poisson equation uniformly with respect to the perturbation.

math.NA↗

An unfiltered low-regularity integrator for the KdV equation with solutions below ${\bf H^1}$

This article is concerned with the construction and analysis of new time discretizations for the KdV equation on a torus for low-regularity solutions below $H^1$. New harmonic analysis tools, including new averaging approximations to the exponential phase functions, new frequency decomposition techniques, and new trilinear estimates of the KdV operator, are established for the construction and analysis of time discretizations with higher convergence orders under low-regularity conditions. In addition, new techniques are introduced to establish stability estimates of time discretizations under low-regularity conditions without using filters when the energy techniques fail. The proposed method is proved to be convergent with order $γ$ (up to a logarithmic factor) in $L^2$ under the regularity condition $u\in C([0,T];H^γ)$ for $γ\in(0,1]$.

math.NA↗

A second-order low-regularity correction of Lie splitting for the semilinear Klein--Gordon equation

The numerical approximation of the semilinear Klein--Gordon equation in the $d$-dimensional space, with $d=1,2,3$, is studied by analyzing the consistency errors in approximating the solution. By discovering and utilizing a new cancellation structure in the semilinear Klein--Gordon equation, a low-regularity correction of the Lie splitting method is constructed, which can have second-order convergence in the energy space under the regularity condition $(u,\partial_tu)\in L^\infty(0,T;H^{1+\frac{d}{4}}\times H^{\frac{d}{4}})$, where $d=1,2,3$ denotes the dimension of space. In one dimension, the proposed method is shown to have a convergence order arbitrarily close to $\frac53$ in the energy space for solutions in the same space, i.e. no additional regularity in the solution is required. Rigorous error estimates are presented for a fully discrete spectral method with the proposed low-regularity time-stepping scheme. Numerical examples are provided to support the theoretical analysis and to illustrate the performance of the proposed method in approximating both nonsmooth and smooth solutions of the semilinear Klein--Gordon equation.

math.NA↗

Maximal regularity of backward difference time discretization for evolving surface PDEs and its application to nonlinear problems

Maximal parabolic $L^p$-regularity of linear parabolic equations on an evolving surface is shown by pulling back the problem to the initial surface and studying the maximal $L^p$-regularity on a fixed surface. By freezing the coefficients in the parabolic equations at a fixed time and utilizing a perturbation argument around the freezed time, it is shown that backward difference time discretizations of linear parabolic equations on an evolving surface along characteristic trajectories can preserve maximal $L^p$-regularity in the discrete setting. The result is applied to prove the stability and convergence of time discretizations of nonlinear parabolic equations on an evolving surface, with linearly implicit backward differentiation formulae characteristic trajectories of the surface, for general locally Lipschitz nonlinearities. The discrete maximal $L^p$-regularity is used to prove the boundedness and stability of numerical solutions in the $L^\infty(0,T;W^{1,\infty})$ norm, which is used to bound the nonlinear terms in the stability analysis. Optimal-order error estimates of time discretizations in the $L^\infty(0,T;W^{1,\infty})$ norm is obtained by combining the stability analysis with the consistency estimates.

math.NA↗

A convergent post-processed discontinuous Galerkin method for incompressible flow with variable density

We propose a linearized semi-implicit and decoupled finite element method for the incompressible Navier--Stokes equations with variable density. Our method is fully discrete and shown to be unconditionally stable. The velocity equation is solved by an H1-conforming finite element method, and an upwind discontinuous Galerkin finite element method with post-processed velocity is adopted for the density equation. The proposed method is proved to be convergent in approximating reasonably smooth solutions in three-dimensional convex polyhedral domains.

math.NA↗