Searcharxiv⌕ Search

arXiv subjects

Shuonan Wu

Publications and source records attributed to Shuonan Wu.

At least 37 records · Page 2Linked to original sources
arXiv2022

A $C^{0}$ finite element approximation of planar oblique derivative problems in non-divergence form

This paper proposes a $C^{0}$ (non-Lagrange) primal finite element approximation of the linear elliptic equations in non-divergence form with oblique boundary conditions in planar, curved domains. As an extension of [Calcolo, 58 (2022), No. 9], the Miranda-Talenti estimate for oblique boundary conditions at a discrete level is established by enhancing the regularity on the vertices. Consequently, the coercivity constant for the proposed scheme is exactly the same as that from PDE theory. The quasi-optimal order error estimates are established by carefully studying the approximation property of the finite element spaces. Numerical experiments are provided to verify the convergence theory and to demonstrate the accuracy and efficiency of the proposed methods.

math.NA↗
arXiv2021

Auxiliary Space Preconditioners for $C^{0}$ Finite Element Approximation of Hamilton--Jacobi--Bellman Equations with Cordes Coefficients

In the past decade, there are many works on the finite element methods for the fully nonlinear Hamilton--Jacobi--Bellman (HJB) equations with Cordes condition. The linearised systems have large condition numbers, which depend not only on the mesh size, but also on the parameters in the Cordes condition. This paper is concerned with the design and analysis of auxiliary space preconditioners for the linearised systems of $C^0$ finite element discretization of HJB equations [Calcolo, 58, 2021]. Based on the stable decomposition on the auxiliary spaces, we propose both the additive and multiplicative preconditoners which converge uniformly in the sense that the resulting condition number is independent of both the number of degrees of freedom and the parameter $λ$ in Cordes condition. Numerical experiments are carried out to illustrate the efficiency of the proposed preconditioners.

math.NA↗
arXiv2021

Finite Element Approximations of a Class of Nonlinear Stochastic Wave Equation with Multiplicative Noise

Wave propagation problems have many applications in physics and engineering, and the stochastic effects are important in accurately modeling them due to the uncertainty of the media. This paper considers and analyzes a fully discrete finite element method for a class of nonlinear stochastic wave equations, where the diffusion term is globally Lipschitz continuous while the drift term is only assumed to satisfy weaker conditions as in [11]. The novelties of this paper are threefold. First, the error estimates cannot not be directly obtained if the numerical scheme in primal form is used. The numerical scheme in mixed form is introduced and several Hölder continuity results of the strong solution are proved, which are used to establish the error estimates in both $L^2$ norm and energy norms. Second, two types of discretization of the nonlinear term are proposed to establish the $L^2$ stability and energy stability results of the discrete solutions. These two types of discretization and proper test functions are designed to overcome the challenges arising from the stochastic scaling in time issues and the nonlinear interaction. These stability results play key roles in proving the probability of the set on which the error estimates hold approaches one. Third, higher order moment stability results of the discrete solutions are proved based on an energy argument and the underlying energy decaying property of the method. Numerical experiments are also presented to show the stability results of the discrete solutions and the convergence rates in various norms.

math.NA↗
arXiv2021

A parallel-in-time algorithm for high-order BDF methods for diffusion and subdiffusion equations

In this paper, we propose a parallel-in-time algorithm for approximately solving parabolic equations. In particular, we apply the $k$-step backward differentiation formula, and then develop an iterative solver by using the waveform relaxation technique. Each resulting iteration represents a periodic-like system, which could be further solved in parallel by using the diagonalization technique. The convergence of the waveform relaxation iteration is theoretically examined by using the generating function method. The approach we established in this paper extends the existing argument of single-step methods in Gander and Wu [Numer. Math., 143 (2019), pp. 489--527] to general BDF methods up to order six. The argument could be further applied to the time-fractional subdiffusion equation, whose discretization shares common properties of the standard BDF methods, because of the nonlocality of the fractional differential operator. Illustrative numerical results are presented to complement the theoretical analysis.

math.NA↗
arXiv2021

Robust BPX Preconditioner for Fractional Laplacians on Bounded Lipschitz Domains

We propose and analyze a robust BPX preconditioner for the integral fractional Laplacian on bounded Lipschitz domains. For either quasi-uniform grids or graded bisection grids, we show that the condition numbers of the resulting systems remain uniformly bounded with respect to both the number of levels and the fractional power. The results apply also to the spectral and censored fractional Laplacians.

math.NA↗
arXiv2020

$C^0$ finite element approximations of linear elliptic equations in non-divergence form and Hamilton-Jacobi-Bellman equations with Cordes coefficients

This paper is concerned with $C^0$ (non-Lagrange) finite element approximations of the linear elliptic equations in non-divergence form and the Hamilton-Jacobi-Bellman (HJB) equations with Cordes coefficients. Motivated by the Miranda-Talenti estimate, a discrete analog is proved once the finite element space is $C^0$ on the $(n-1)$-dimensional subsimplex (face) and $C^1$ on $(n-2)$-dimensional subsimplex. The main novelty of the non-standard finite element methods is to introduce an interior penalty term to argument the PDE-induced variational form of the linear elliptic equations in non-divergence form or the HJB equations. As a distinctive feature of the proposed methods, no penalization or stabilization parameter is involved in the variational forms. As a consequence, the coercivity constant (resp. monotonicity constant) for the linear elliptic equations in non-divergence form (resp. the HJB equations) at discrete level is exactly the same as that from PDE theory. The quasi-optimal order error estimates as well as the convergence of the semismooth Newton method are established. Numerical experiments are provided to validate the convergence theory and to illustrate the accuracy and computational efficiency of the proposed methods.

math.NA↗
arXiv2020

On the unisolvence for the quasi-polynomial spaces of differential forms

We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in any spatial dimension is the same as the set of such functionals used for the polynomial spaces. The analysis in the quasi-polynomial spaces, however, is not standard and requires a novel approach. We are able to prove our results without the use of Stokes' Theorem, which is the standard tool in showing the unisolvence of functionals in polynomial spaces of differential forms. These new results provide tools for studying exponentially-fitted discretizations stable for general convection-diffusion problems in Hilbert differential complexes.

math.NA↗
arXiv2019

An Extended Galerkin Analysis for Elliptic Problems

A general analysis framework is presented in this paper for many different types of finite element methods (including various discontinuous Galerkin methods). For second order elliptic equation, this framework employs $4$ different discretization variables, $u_h, \bm{p}_h, \check u_h$ and $\check p_h$, where $u_h$ and $\bm{p}_h$ are for approximation of $u$ and $\bm{p}=-α\nabla u$ inside each element, and $ \check u_h$ and $\check p_h$ are for approximation of residual of $u$ and $\bm{p} \cdot \bm{n}$ on the boundary of each element. The resulting 4-field discretization is proved to satisfy inf-sup conditions that are uniform with respect to all discretization and penalization parameters. As a result, most existing finite element and discontinuous Galerkin methods can be analyzed using this general framework by making appropriate choices of discretization spaces and penalization parameters.

math.NA↗
arXiv2019

A mixed discontinuous Galerkin method with symmetric stress for Brinkman problem based on the velocity-pseudostress formulation

The Brinkman equations can be regarded as a combination of the Stokes and Darcy equations which model transitions between the fast flow in channels (governed by Stokes equations) and the slow flow in porous media (governed by Darcy's law). The numerical challenge for this model is the designing of a numerical scheme which is stable for both the Stokes-dominated (high permeability) and the Darcy-dominated (low permeability) equations. In this paper, we solve the Brinkman model in $n$ dimensions ($n = 2, 3$) by using the mixed discontinuous Galerkin (MDG) method, which meets this challenge. This MDG method is based on the pseudostress-velocity formulation and uses a discontinuous piecewise polynomial pair $\underline{\bm{\mathcal{P}}}_{k+1}^{\mathbb{S}}$-$\bm{\mathcal{P}}_k$ $(k \geq 0)$, where the stress field is symmetric. The main unknowns are the pseudostress and the velocity, whereas the pressure is easily recovered through a simple postprocessing. A key step in the analysis is to establish the parameter-robust inf-sup stability through specific parameter-dependent norms at both continuous and discrete levels. Therefore, the stability results presented here are uniform with respect to the permeability. Thanks to the parameter-robust stability analysis, we obtain optimal error estimates for the stress in broken $\underline{\bm{H}}(\bm{\rm div})$-norm and velocity in $\bm{L}^2$-norm. Furthermore, the optimal $\underline{\bm{L}}^2$ error estimate for pseudostress is derived under certain conditions. Finally, numerical experiments are provided to support the theoretical results and to show the robustness, accuracy, and flexibility of the MDG method.

math.NA↗
arXiv2019

Simplex-averaged finite element methods for $H({\rm grad})$, $H({\rm curl})$ and $H({\rm div})$ convection-diffusion problems

This paper is devoted to the construction and analysis of the finite element approximations for the $H(D)$ convection-diffusion problems, where $D$ can be chosen as ${\rm grad}$, ${\rm curl}$ or ${\rm div}$ in 3D case. An essential feature of these constructions is to properly average the PDE coefficients on the sub-simplexes. The schemes are of the class of exponential fitting methods that result in special upwind schemes when the diffusion coefficient approaches to zero. Their well-posedness are established for sufficiently small mesh size assuming that the convection-diffusion problems are uniquely solvable. Convergence of first order is derived under minimal smoothness of the solution. Some numerical examples are given to demonstrate the robustness and effectiveness for general convection-diffusion problems.

math.NA↗
arXiv2019

A Mixed Discontinuous Galerkin Method for Linear Elasticity with Strongly Imposed Symmetry

In this paper, we study a mixed discontinuous Galerkin (MDG) method to solve linear elasticity problem with arbitrary order discontinuous finite element spaces in $d$-dimension ($d=2,3$). This method uses polynomials of degree $k+1$ for the stress and of degree $k$ for the displacement ($k\geq 0$). The mixed DG scheme is proved to be well-posed under proper norms. Specifically, we prove that, for any $k \geq 0$, the $H({\rm div})$-like error estimate for the stress and $L^2$ error estimate for the displacement are optimal. We further establish the optimal $L^2$ error estimate for the stress provided that the $\mathcal{P}_{k+2}-\mathcal{P}_{k+1}^{-1}$ Stokes pair is stable and $k \geq d$. We also provide numerical results of MDG showing that the orders of convergence are actually sharp.

math.NA↗
arXiv2018

Analysis of the Morley element for the Cahn-Hilliard equation and the Hele-Shaw flow

The paper analyzes the Morley element method for the Cahn-Hilliard equation. The objective is to derive the optimal error estimates and to prove the zero-level sets of the Cahn-Hilliard equation approximate the Hele-Shaw flow. If the piecewise $L^{\infty}(H^2)$ error bound is derived by choosing test function directly, we cannot obtain the optimal error order, and we cannot establish the error bound which depends on $\frac{1}ε$ polynomially either. To overcome this difficulty, this paper proves them by the following steps, and the result in each next step cannot be established without using the result in its previous one. First, it proves some a priori estimates of the exact solution $u$, and these regularity results are minimal to get the main results; Second, it establishes ${L^{\infty}(L^2)}$ and piecewise ${L^2(H^2)}$ error bounds which depend on $\frac{1}ε$ polynomially based on the piecewise ${L^{\infty}(H^{-1})}$ and ${L^2(H^1)}$ error bounds; Third, it establishes piecewise ${L^{\infty}(H^2)}$ optimal error bound which depends on $\frac{1}ε$ polynomially based on the piecewise ${L^{\infty}(L^2)}$ and ${L^2(H^2)}$ error bounds; Finally, it proves the ${L^\infty(L^\infty)}$ error bound and the approximation to the Hele-Shaw flow based on the piecewise ${L^{\infty}(H^2)}$ error bound. The nonstandard techniques are used in these steps such as the generalized coercivity result, integration by part in space, summation by part in time, and special properties of the Morley elements. If one of these techniques is lacked, either we can only obtain the sub-optimal piecewise ${L^{\infty}(H^2)}$ error order, or we can merely obtain the error bounds which are exponentially dependent on $\frac{1}ε$. Numerical results are presented to validate the optimal $L^\infty(H^2)$ error order and the asymptotic behavior of the solutions of the Cahn-Hilliard equation.

math.NA↗
arXiv2018

A Unified Study of Continuous and Discontinuous Galerkin Methods

A unified study is presented in this paper for the design and analysis of different finite element methods (FEMs), including conforming and nonconforming FEMs, mixed FEMs, hybrid FEMs,discontinuous Galerkin (DG) methods, hybrid discontinuous Galerkin (HDG) methods and weak Galerkin (WG) methods. Both HDG and WG are shown to admit inf-sup conditions that hold uniformly with respect to both mesh and penalization parameters. In addition, by taking the limit of the stabilization parameters, a WG method is shown to converge to a mixed method whereas an HDG method is shown to converge to a primal method. Furthermore, a special class of DG methods, known as the mixed DG methods, is presented to fill a gap revealed in the unified framework.

math.NA↗
arXiv2018

Nonconforming Finite Element Spaces for $2m$-th Order Partial Differential Equations on $\mathbb{R}^n$ Simplicial Grids When $m=n+1$

In this paper, we propose a family of nonconforming finite elements for $2m$-th order partial differential equations in $\mathbb{R}^n$ on simplicial grids when $m=n+1$. This family of nonconforming elements naturally extends the elements proposed by Wang and Xu [Math. Comp. 82(2013), pp. 25-43] , where $m \leq n$ is required. We prove the unisolvent property by induction on the dimensions using the similarity properties of both shape function spaces and degrees of freedom. The proposed elements have approximability, pass the generalized patch test and hence converge. We also establish quasi-optimal error estimates in the broken $H^3$ norm for the 2D nonconforming element. In addition, we propose an $H^3$ nonconforming finite element that is robust for the sixth order singularly perturbed problems in 2D. These theoretical results are further validated by the numerical tests for the 2D tri-harmonic problem.

math.NA↗
arXiv2017

On the Stability and Accuracy of Partially and Fully Implicit Schemes for Phase Field Modeling

We study in this paper the accuracy and stability of partially and fully implicit schemes for phase field modeling. Through theoretical and numerical analysis of Allen-Cahn and Cahn-Hillard models, we investigate the potential problems of using partially implicit schemes, demonstrate the importance of using fully implicit schemes and discuss the limitation of energy stability that are often used to evaluate the quality of a numerical scheme for phase-field modeling. In particular, we make the following observations: 1. a convex splitting scheme (CSS in short) can be equivalent to some fully implicit scheme (FIS in short) with a much different time scaling and thus it may lack numerical accuracy; 2. most implicit schemes (in discussions) are energy-stable if the time-step size is sufficiently small; 3. a traditionally known conditionally energy-stable scheme still possess an unconditionally energy-stable physical solution; 4. an unconditionally energy-stable scheme is not necessarily better than a conditionally energy-stable scheme when the time step size is not small enough; 5. a first-order FIS for the Allen-Cahn model can be devised so that the maximum principle will be valid on the discrete level and hence the discrete phase variable satisfies $|u_h(x)|\le 1$ for all $x$ and, furthermore, the linearized discretized system can be effectively preconditioned by discrete Poisson operators.

math.NA↗
arXiv2017

Interior Penalty Mixed Finite Element Methods of Any Order in Any Dimension for Linear Elasticity with Strongly Symmetric Stress Tensor

We propose two classes of mixed finite elements for linear elasticity of any order, with interior penalty for nonconforming symmetric stress approximation. One key point of our method is to introduce some appropriate nonconforming face-bubble spaces based on the local decomposition of discrete symmetric tensors, with which the stability can be easily established. We prove the optimal error estimate for both displacement and stress by adding an interior penalty term. The elements are easy to be implemented thanks to the explicit formulations of its basis functions. Moreover, the methods can be applied to arbitrary simplicial grids for any spatial dimension in a unified fashion. Numerical tests for both 2D and 3D are provided to validate our theoretical results.

math.NA↗
arXiv2017

New Hybridized Mixed Methods for Linear Elasticity and Optimal Multilevel Solvers

In this paper, we present a family of new mixed finite element methods for linear elasticity for both spatial dimensions $n=2,3$, which yields a conforming and strongly symmetric approximation for stress. Applying $\mathcal{P}_{k+1}-\mathcal{P}_k$ as the local approximation for the stress and displacement, the mixed methods achieve the optimal order of convergence for both the stress and displacement when $k \ge n$. For the lower order case $(n-2\le k<n)$, the stability and convergence still hold on some special grids. The proposed mixed methods are efficiently implemented by hybridization, which imposes the inter-element normal continuity of the stress by a Lagrange multiplier. Then, we develop and analyze multilevel solvers for the Schur complement of the hybridized system in the two dimensional case. Provided that no nearly singular vertex on the grids, the proposed solvers are proved to be uniformly convergent with respect to both the grid size and Poisson's ratio. Numerical experiments are provided to validate our theoretical results.

math.NA↗
arXiv2017

Multiphase Allen-Cahn and Cahn-Hilliard Models and Their Discretizations with the Effect of Pairwise Surface Tensions

In this paper, the mathematical properties and numerical discretizations of multiphase models that simulate the phase separation of an $N$-component mixture are studied. For the general choice of phase variables, the unisolvent property of the coefficient matrix involved in the $N$-phase models based on the pairwise surface tensions is established. Moreover, the symmetric positive-definite property of the coefficient matrix on an $(N-1)$-dimensional hyperplane --- which is of fundamental importance to the well-posedness of the models --- can be proved equivalent to some physical condition for pairwise surface tensions. The $N$-phase Allen-Cahn and $N$-phase Cahn-Hilliard equations can then be derived from the free-energy functional. A natural property is that the resulting dynamics of concentrations are independent of phase variables chosen. Finite element discretizations for $N$-phase models can be obtained as a natural extension of the existing discretizations for the two-phase model. The discrete energy law of the numerical schemes can be proved and numerically observed under some restrictions pertaining to time step size. Numerical experiments including the spinodal decomposition and the evolution of triple junctions are described in order to investigate the effect of pairwise surface tensions.

math-ph↗