-
Numerical approximation for variable-exponent fractional diffusion-wave equation
Authors:
Xiangcheng Zheng,
Hong Wang,
Wenlin Qiu
Abstract:
This work considers the variable-exponent fractional diffusion-wave equation, which describes, e.g. the propagation of mechanical diffusive waves in viscoelastic media with varying material properties. Rigorous mathematical and numerical analysis for this model is not available in the literature, partly because the variable-exponent Abel kernel may not be positive definite or monotonic. We overcom…
▽ More
This work considers the variable-exponent fractional diffusion-wave equation, which describes, e.g. the propagation of mechanical diffusive waves in viscoelastic media with varying material properties. Rigorous mathematical and numerical analysis for this model is not available in the literature, partly because the variable-exponent Abel kernel may not be positive definite or monotonic. We overcome these difficulties to design two numerical schemes and derive their stability and error estimate based on the proved solution regularity, with $α(0)$-order and second-order accuracy in time, respectively. Numerical experiments are presented to substantiate the theoretical findings.
△ Less
Submitted 2 July, 2024; v1 submitted 5 June, 2024;
originally announced June 2024.
-
Some super-Poincaré inequalities for gaussian-like measures on stratified Lie groups
Authors:
Yaozhong W. Qiu
Abstract:
We continue the $U$-bound program initiated in [J. Funct. Anal. 258, 814-851 (2010)] and prove super-Poincaré inequalities for a class of subelliptic probability measures defined on Métivier groups, the main ingredient in the proof being a Hardy-type inequality. In doing so, we recover and extend some previous results from the probabilistic viewpoint.
We continue the $U$-bound program initiated in [J. Funct. Anal. 258, 814-851 (2010)] and prove super-Poincaré inequalities for a class of subelliptic probability measures defined on Métivier groups, the main ingredient in the proof being a Hardy-type inequality. In doing so, we recover and extend some previous results from the probabilistic viewpoint.
△ Less
Submitted 25 May, 2024; v1 submitted 30 March, 2024;
originally announced April 2024.
-
Local modification of subdiffusion by initial Fickian diffusion: Multiscale modeling, analysis and computation
Authors:
Xiangcheng Zheng,
Yiqun Li,
Wenlin Qiu
Abstract:
We propose a local modification of the standard subdiffusion model by introducing the initial Fickian diffusion, which results in a multiscale diffusion model. The developed model resolves the incompatibility between the nonlocal operators in subdiffusion and the local initial conditions and thus eliminates the initial singularity of the solutions of the subdiffusion, while retaining its heavy tai…
▽ More
We propose a local modification of the standard subdiffusion model by introducing the initial Fickian diffusion, which results in a multiscale diffusion model. The developed model resolves the incompatibility between the nonlocal operators in subdiffusion and the local initial conditions and thus eliminates the initial singularity of the solutions of the subdiffusion, while retaining its heavy tail behavior away from the initial time. The well-posedness of the model and high-order regularity estimates of its solutions are analyzed by resolvent estimates, based on which the numerical discretization and analysis are performed. Numerical experiments are carried out to substantiate the theoretical findings.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Weyl asymptotics for functional difference operators with power to quadratic exponential potential
Authors:
Yaozhong W. Qiu
Abstract:
We continue the program first initiated in [Geom. Funct. Anal. 26, 288-305 (2016)] and develop a modification of the technique introduced in that paper to study the spectral asymptotics, namely the Riesz means and eigenvalue counting functions, of functional difference operators $\smash{H_0 = \mathcal F^{-1} M_{\cosh(ξ)} \mathcal F}$ with potentials of the form…
▽ More
We continue the program first initiated in [Geom. Funct. Anal. 26, 288-305 (2016)] and develop a modification of the technique introduced in that paper to study the spectral asymptotics, namely the Riesz means and eigenvalue counting functions, of functional difference operators $\smash{H_0 = \mathcal F^{-1} M_{\cosh(ξ)} \mathcal F}$ with potentials of the form $\smash{W(x) = \lvert{x\rvert}^pe^{\lvert{x\rvert}^β}}$ for either $β= 0$ and $p > 0$ or $β\in (0, 2]$ and $p \geq 0$. We provide a new method for studying general potentials which includes the potentials studied in [Geom. Funct. Anal. 26, 288-305 (2016)] and [J. Math. Phys. 60, 103505 (2019)]. The proof involves dilating the variance of the gaussian defining the coherent state transform in a controlled manner preserving the expected asymptotics.
△ Less
Submitted 3 April, 2024; v1 submitted 10 May, 2023;
originally announced May 2023.
-
Weak discrete maximum principle of isoparametric finite element methods in curvilinear polyhedra
Authors:
Buyang Li,
Weifeng Qiu,
Yupei Xie,
Wenshan Yu
Abstract:
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 coefficien…
▽ More
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.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
A Non-gradient DG method for second-order Elliptic Equations in the Non-divergence Form
Authors:
Weifeng Qiu,
** Ren,
Ke Shi,
Yuesheng Xu
Abstract:
$L^1$ based optimization is widely used in image denoising, machine learning and related applications. One of the main features of such approach is that it naturally provide a sparse structure in the numerical solutions. In this paper, we study an $L^1…
▽ More
$L^1$ based optimization is widely used in image denoising, machine learning and related applications. One of the main features of such approach is that it naturally provide a sparse structure in the numerical solutions. In this paper, we study an $L^1$ based mixed DG method for second-order elliptic equations in the non-divergence form. The elliptic PDE in nondivergence form arises in the linearization of fully nonlinear PDEs. Due to the nature of the equations, classical finite element methods based on variational forms can not be employed directly. In this work, we propose a new optimization scheme coupling the classical DG framework with recently developed $L^1$ optimization technique. Convergence analysis in both energy norm and $L^{\infty}$ norm are obtained under weak regularity assumption. Such $L^1$ models are nondifferentiable and therefore invalidate traditional gradient methods. Therefore all existing gradient based solvers are no longer feasible under this setting. To overcome this difficulty, we characterize solutions of $L^1$ optimization as fixed-points of proximity equations and utilize matrix splitting technique to obtain a class of fixed-point proximity algorithms with convergence analysis. Various numerical examples are displayed to illustrate the numerical solution has sparse structure with careful choice of the bases of the finite dimensional spaces. Numerical examples in both smooth and nonsmooth settings are provided to validate the theoretical results.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Error estimates for the scalar auxiliary variable (SAV) scheme to the Cahn-Hilliard equation
Authors:
Shu Ma,
Weifeng Qiu,
Xiaofeng Yang
Abstract:
The optimal error estimate that depending only on the polynomial degree of $ \varepsilon^{-1}$ is established for the temporal semi-discrete scheme of the Cahn-Hilliard equation, which is based on the scalar auxiliary variable (SAV) formulation. The key to our analysis is to convert the structure of the SAV time-step** scheme back to a form compatible with the original format of the Cahn-Hilliar…
▽ More
The optimal error estimate that depending only on the polynomial degree of $ \varepsilon^{-1}$ is established for the temporal semi-discrete scheme of the Cahn-Hilliard equation, which is based on the scalar auxiliary variable (SAV) formulation. The key to our analysis is to convert the structure of the SAV time-step** scheme back to a form compatible with the original format of the Cahn-Hilliard equation, which makes it feasible to use spectral estimates to handle the nonlinear term. Based on the transformation of the SAV numerical scheme, the optimal error estimate for the temporal semi-discrete scheme which depends only on the low polynomial order of $\varepsilon^{-1}$ instead of the exponential order, is derived by using mathematical induction, spectral arguments, and the superconvergence properties of some nonlinear terms. Numerical examples are provided to illustrate the discrete energy decay property and validate our theoretical convergence analysis.
△ Less
Submitted 7 December, 2022; v1 submitted 24 November, 2022;
originally announced November 2022.
-
Reconstruction of gene regulatory network via sparse optimization
Authors:
Jiashu Lou,
Leyi Cui,
Wenxuan Qiu
Abstract:
In this paper, we tested several sparse optimization algorithms based on the public dataset of the DREAM5 Gene Regulatory Network Inference Challenge. And we find that introducing 20% of the regulatory network as a priori known data can provide a basis for parameter selection of inference algorithms, thus improving prediction efficiency and accuracy. In addition to testing common sparse optimizati…
▽ More
In this paper, we tested several sparse optimization algorithms based on the public dataset of the DREAM5 Gene Regulatory Network Inference Challenge. And we find that introducing 20% of the regulatory network as a priori known data can provide a basis for parameter selection of inference algorithms, thus improving prediction efficiency and accuracy. In addition to testing common sparse optimization methods, we also developed voting algorithms by bagging them. Experiments on the DREAM5 dataset show that the sparse optimization-based inference of the moderation relation works well, achieving better results than the official DREAM5 results on three datasets. However, the performance of traditional independent algorithms varies greatly in the face of different datasets, while our voting algorithm achieves the best results on three of the four datasets.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
A Bakry-Émery criterion for weighted contractivity and $L^2$-Hardy inequalities
Authors:
Yaozhong W. Qiu
Abstract:
We show a symmetric Markov diffusion semigroup satisfies a weighted contractivity condition if and only if a $L^2$-Hardy inequality holds, and we give a Bakry-Émery type criterion for the former. We then give some applications.
We show a symmetric Markov diffusion semigroup satisfies a weighted contractivity condition if and only if a $L^2$-Hardy inequality holds, and we give a Bakry-Émery type criterion for the former. We then give some applications.
△ Less
Submitted 11 May, 2024; v1 submitted 17 September, 2022;
originally announced September 2022.
-
Numerical approximation based on deep convolutional neural network for high-dimensional fully nonlinear merged PDEs and 2BSDEs
Authors:
Xu Xiao,
Wenlin Qiu,
Omid Nikan
Abstract:
This paper proposes two efficient approximation methods to solve high-dimensional fully nonlinear partial differential equations (NPDEs) and second-order backward stochastic differential equations (2BSDEs), where such high-dimensional fully NPDEs are extremely difficult to solve because the computational cost of standard approximation methods grows exponentially with the number of dimensions. Ther…
▽ More
This paper proposes two efficient approximation methods to solve high-dimensional fully nonlinear partial differential equations (NPDEs) and second-order backward stochastic differential equations (2BSDEs), where such high-dimensional fully NPDEs are extremely difficult to solve because the computational cost of standard approximation methods grows exponentially with the number of dimensions. Therefore, we consider the following methods to overcome this difficulty. For the merged fully NPDEs and 2BSDEs system, combined with the time forward discretization and ReLU function, we use multi-scale deep learning fusion and convolutional neural network (CNN) techniques to obtain two numerical approximation schemes, respectively. Finally, three practical high-dimensional test problems involving Allen-Cahn, Black-Scholes-Barentblatt, and Hamiltonian-Jacobi-Bellman equations are given so that the first proposed method exhibits higher efficiency and accuracy than the existing method, while the second proposed method can extend the dimensionality of the completely NPDEs-2BSDEs system over $400$ dimensions, from which the numerical results highlight the effectiveness of proposed methods.
△ Less
Submitted 16 January, 2023; v1 submitted 11 September, 2022;
originally announced September 2022.
-
Global behavior of temporal discretizations for Volterra integrodifferential equations with certain nonsmooth kernels
Authors:
Wenlin Qiu
Abstract:
In this work, the z-transform is presented to analyze time-discrete solutions for Volterra integrodifferential equations (VIDEs) with nonsmooth multi-term kernels in the Hilbert space, and this class of continuous problem was first considered and analyzed by Hannsgen and Wheeler (SIAM J Math Anal 15 (1984) 579-594). This work discusses three cases of kernels $β_q(t)$ included in the integrals for…
▽ More
In this work, the z-transform is presented to analyze time-discrete solutions for Volterra integrodifferential equations (VIDEs) with nonsmooth multi-term kernels in the Hilbert space, and this class of continuous problem was first considered and analyzed by Hannsgen and Wheeler (SIAM J Math Anal 15 (1984) 579-594). This work discusses three cases of kernels $β_q(t)$ included in the integrals for the multi-term VIDEs, from which we use corresponding numerical techniques to approximate the solution of multi-term VIDEs in different cases. Firstly, for the case of $β_1(t), β_2(t) \in \mathrm{L}_1(\mathbb{R}_+)$, the Crank-Nicolson (CN) method and interpolation quadrature (IQ) rule are applied to time-discrete solutions of the multi-term VIDEs; secondly, for the case of $β_1(t)\in \mathrm{L}_1(\mathbb{R}_+)$ and $β_2(t)\in \mathrm{L}_{1,\text{loc}}(\mathbb{R}_+)$, second-order backward differentiation formula (BDF2) and second-order convolution quadrature (CQ) are employed to discretize the multi-term problem in the time direction; thirdly, for the case of $β_1(t), β_2(t)\in \mathrm{L}_{1,\text{loc}}(\mathbb{R}_+)$, we utilize the CN method and trapezoidal CQ (TCQ) rule to approximate temporally the multi-term problem. Then for the discrete solution of three cases, the long-time global stability and convergence are proved based on the z-transform and certain appropriate assumptions. Furthermore, the long-time estimate of the third case is confirmed by the numerical tests.
△ Less
Submitted 28 March, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Optimal error estimate of accurate second-order scheme for Volterra integrodifferential equations with tempered multi-term kernels
Authors:
Wenlin Qiu
Abstract:
In this paper, we investigate and analyze numerical solutions for the Volterra integrodifferential equations with tempered multi-term kernels. Firstly we derive some regularity estimates of the exact solution. Then a temporal-discrete scheme is established by employing Crank-Nicolson technique and product integration (PI) rule for discretizations of the time derivative and tempered-type fractional…
▽ More
In this paper, we investigate and analyze numerical solutions for the Volterra integrodifferential equations with tempered multi-term kernels. Firstly we derive some regularity estimates of the exact solution. Then a temporal-discrete scheme is established by employing Crank-Nicolson technique and product integration (PI) rule for discretizations of the time derivative and tempered-type fractional integral terms, respectively, from which, nonuniform meshes are applied to overcome the singular behavior of the exact solution at $t=0$. Based on deduced regularity conditions, we prove that the proposed scheme is unconditionally stable, and possesses accurately temporal second-order convergence in $L_2$-norm. Numerical examples confirm the effectiveness of the proposed method.
△ Less
Submitted 2 May, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Pointwise error estimates of compact difference scheme for mixed-type time-fractional Burgers' equation
Authors:
Xiangyi Peng,
Da Xu,
Wenlin Qiu
Abstract:
In this paper, based on the developed nonlinear fourth-order operator and method of order reduction, a novel fourth-order compact difference scheme is constructed for the mixed-type time-fractional Burgers' equation, from which $L_1$-discretization formula is employed to deal with the terms of fractional derivative, and the nonlinear convection term is discretized by nonlinear compact difference o…
▽ More
In this paper, based on the developed nonlinear fourth-order operator and method of order reduction, a novel fourth-order compact difference scheme is constructed for the mixed-type time-fractional Burgers' equation, from which $L_1$-discretization formula is employed to deal with the terms of fractional derivative, and the nonlinear convection term is discretized by nonlinear compact difference operator. Then a fully discrete compact difference scheme can be established by approximating spatial second-order derivative with classic compact difference formula. The convergence and stability are rigorously proved in the $L^{\infty}$-norm by the energy argument and mathematical induction. Finally, several numerical experiments are provided to verify the theoretical analysis.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
A two-grid temporal second-order scheme for the two-dimensional nonlinear Volterra integro-differential equation with weakly singular kernel
Authors:
Hao Chen,
Mahmoud A. Zaky,
Ahmed S. Hendy,
Wenlin Qiu
Abstract:
In this paper, a two-grid temporal second-order scheme for the two-dimensional nonlinear Volterra integro-differential equation with weakly singular kernel is proposed to reduce the computation time and improve the accuracy of the scheme developed by Xu et al. (Applied Numerical Mathematics 152 (2020) 169-184). The proposed scheme consists of three steps: First, a small nonlinear system is solved…
▽ More
In this paper, a two-grid temporal second-order scheme for the two-dimensional nonlinear Volterra integro-differential equation with weakly singular kernel is proposed to reduce the computation time and improve the accuracy of the scheme developed by Xu et al. (Applied Numerical Mathematics 152 (2020) 169-184). The proposed scheme consists of three steps: First, a small nonlinear system is solved on the coarse grid using fix-point iteration. Second, the Lagrange's linear interpolation formula is used to arrive at some auxiliary values for analysis of the fine grid. Finally, a linearized Crank-Nicolson finite difference system is solved on the fine grid. Moreover, the algorithm uses a central difference approximation for the spatial derivatives. In the time direction, the time derivative and integral term are approximated by Crank-Nicolson technique and product integral rule, respectively. With the help of the discrete energy method, the stability and space-time second-order convergence of the proposed approach are obtained in $L^2$-norm. Finally, the numerical results agree with the theoretical analysis and verify the effectiveness of the algorithm.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Second-order accurate numerical scheme with graded meshes for the nonlinear partial integrodifferential equation arising from viscoelasticity
Authors:
Wenlin Qiu,
Xu Xiao,
Kexin Li
Abstract:
This paper establishes and analyzes a second-order accurate numerical scheme for the nonlinear partial integrodifferential equation with a weakly singular kernel. In the time direction, we apply the Crank-Nicolson method for the time derivative, and the product-integration (PI) rule is employed to deal with Riemann-Liouville fractional integral. From which, the non-uniform meshes are utilized to c…
▽ More
This paper establishes and analyzes a second-order accurate numerical scheme for the nonlinear partial integrodifferential equation with a weakly singular kernel. In the time direction, we apply the Crank-Nicolson method for the time derivative, and the product-integration (PI) rule is employed to deal with Riemann-Liouville fractional integral. From which, the non-uniform meshes are utilized to compensate for the singular behavior of the exact solution at $t=0$ so that our method can reach second-order convergence for time. In order to formulate a fully discrete implicit difference scheme, we employ a standard centered difference formula for the second-order spatial derivative, and the Galerkin method based on piecewise linear test functions is used to approximate the nonlinear convection term. Then we derive the existence and uniqueness of numerical solutions for the proposed implicit difference scheme. Meanwhile, stability and convergence are proved by means of the discrete energy method. Furthermore, to demonstrate the effectiveness of the proposed method, we utilize a fixed point iterative algorithm to calculate the discrete scheme. Finally, numerical experiments illustrate the feasibility and efficiency of the proposed scheme, in which numerical results are consistent with our theoretical analysis.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Spectral analysis of a mixed method for linear elasticity
Authors:
Xiang Zhong,
Weifeng Qiu
Abstract:
The purpose of this paper is to analyze a mixed method for linear elasticity eigenvalue problem, which approximates numerically the stress, displacement, and rotation, by piecewise $(k+1)$, $k$ and $(k+1)$-th degree polynomial functions ($k\geq 1$), respectively. The numerical eigenfunction of stress is symmetric. By the discrete $H^1$-stability of numerical displacement, we prove an $O(h^{k+2})$…
▽ More
The purpose of this paper is to analyze a mixed method for linear elasticity eigenvalue problem, which approximates numerically the stress, displacement, and rotation, by piecewise $(k+1)$, $k$ and $(k+1)$-th degree polynomial functions ($k\geq 1$), respectively. The numerical eigenfunction of stress is symmetric. By the discrete $H^1$-stability of numerical displacement, we prove an $O(h^{k+2})$ approximation to the $L^{2}$-orthogonal projection of the eigenspace of exact displacement for the eigenvalue problem, with proper regularity assumption. Thus via postprocessing, we obtain a better approximation to the eigenspace of exact displacement for the eigenproblem than conventional methods. We also prove that numerical approximation to the eigenfunction of stress is locking free with respect to Poisson ratio. We introduce a hybridization to reduce the mixed method to a condensed eigenproblem and prove an $O(h^2)$ initial approximation (independent of the inverse of the elasticity operator) of the eigenvalue for the nonlinear eigenproblem by using the discrete $H^1$-stability of numerical displacement, while only an $O(h)$ approximation can be obtained if we use the traditional inf-sup condition. Finally, we report some numerical experiments.
△ Less
Submitted 29 March, 2023; v1 submitted 23 March, 2022;
originally announced March 2022.
-
New analysis of Mixed finite element methods for incompressible Magnetohydrodynamics
Authors:
Yuchen Huang,
Weifeng Qiu,
Weiwei Sun
Abstract:
The paper focuses on a new error analysis of a class of mixed FEMs for stationary incompressible magnetohydrodynamics with the standard inf-sup stable velocity-pressure space pairs to Navier-Stokes equations and the Nédélec's edge element for the magnetic field. The methods have been widely used in various numerical simulations in the last several decades, while the existing analysis is not optima…
▽ More
The paper focuses on a new error analysis of a class of mixed FEMs for stationary incompressible magnetohydrodynamics with the standard inf-sup stable velocity-pressure space pairs to Navier-Stokes equations and the Nédélec's edge element for the magnetic field. The methods have been widely used in various numerical simulations in the last several decades, while the existing analysis is not optimal due to the strong coupling of system and the pollution of the lower-order Nédélec's edge approximation in analysis. In terms of a newly modified Maxwell projection we establish new and optimal error estimates. In particular, we prove that the method based on the commonly-used Taylor-Hood/lowest-order Nédélec's edge element is efficient and the method provides the second-order accuracy for numerical velocity. Two numerical examples for the problem in both convex and nonconvex polygonal domains are presented. Numerical results confirm our theoretical analysis.
△ Less
Submitted 21 March, 2023; v1 submitted 17 March, 2022;
originally announced March 2022.
-
A $C^{0}$ interior penalty method for $m$th-Laplace equation
Authors:
Huangxin Chen,
**gzhi Li,
Weifeng Qiu
Abstract:
In this paper, we propose a $C^{0}$ interior penalty method for $m$th-Laplace equation on bounded Lipschitz polyhedral domain in $\mathbb{R}^{d}$, where $m$ and $d$ can be any positive integers. The standard $H^{1}$-conforming piecewise $r$-th order polynomial space is used to approximate the exact solution $u$, where $r$ can be any integer greater than or equal to $m$. Unlike the interior penalty…
▽ More
In this paper, we propose a $C^{0}$ interior penalty method for $m$th-Laplace equation on bounded Lipschitz polyhedral domain in $\mathbb{R}^{d}$, where $m$ and $d$ can be any positive integers. The standard $H^{1}$-conforming piecewise $r$-th order polynomial space is used to approximate the exact solution $u$, where $r$ can be any integer greater than or equal to $m$. Unlike the interior penalty method in [T.~Gudi and M.~Neilan, {\em An interior penalty method for a sixth-order elliptic equation}, IMA J. Numer. Anal., \textbf{31(4)} (2011), pp. 1734--1753], we avoid computing $D^{m}$ of numerical solution on each element and high order normal derivatives of numerical solution along mesh interfaces. Therefore our method can be easily implemented. After proving discrete $H^{m}$-norm bounded by the natural energy semi-norm associated with our method, we manage to obtain stability and optimal convergence with respect to discrete $H^{m}$-norm. Numerical experiments validate our theoretical estimate.
△ Less
Submitted 8 August, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Global $W^{2,p}$ estimates for elliptic equations in the non-divergence form
Authors:
Weifeng Qiu,
Lan Tang
Abstract:
This paper is devoted to establishing global $W^{2, p}$ estimate for strong solutions to the Dirichlet problem of uniformly elliptic equations in the non-divergence form where the domain is a Lipschitz polyhedra.
This paper is devoted to establishing global $W^{2, p}$ estimate for strong solutions to the Dirichlet problem of uniformly elliptic equations in the non-divergence form where the domain is a Lipschitz polyhedra.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
The pointwise stabilities of piecewise linear finite element method on non-obtuse tetrahedral meshes of nonconvex polyhedra
Authors:
Huadong Gao,
Weifeng Qiu
Abstract:
Let $Ω$ be a Lipschitz polyhedral (can be nonconvex) domain in $\mathbb{R}^{3}$, and $V_{h}$ denotes the finite element space of continuous piecewise linear polynomials. On non-obtuse quasi-uniform tetrahedral meshes, we prove that the finite element projection $R_{h}u$ of $u \in H^{1}(Ω) \cap C(\overlineΩ)$ (with $R_{h} u$ interpolating $u$ at the boundary nodes) satisfies \begin{align*} \Vert R_…
▽ More
Let $Ω$ be a Lipschitz polyhedral (can be nonconvex) domain in $\mathbb{R}^{3}$, and $V_{h}$ denotes the finite element space of continuous piecewise linear polynomials. On non-obtuse quasi-uniform tetrahedral meshes, we prove that the finite element projection $R_{h}u$ of $u \in H^{1}(Ω) \cap C(\overlineΩ)$ (with $R_{h} u$ interpolating $u$ at the boundary nodes) satisfies \begin{align*} \Vert R_{h} u\Vert_{L^{\infty}(Ω)} \leq C \vert \log h \vert \Vert u\Vert_{L^{\infty}(Ω)}. \end{align*} If we further assume $u \in W^{1,\infty}(Ω)$, then \begin{align*} \Vert R_{h} u\Vert_{W^{1, \infty}(Ω)} \leq C \vert \log h \vert \Vert u\Vert_{W^{1, \infty}(Ω)}. \end{align*}
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Stiff-PINN: Physics-Informed Neural Network for Stiff Chemical Kinetics
Authors:
Weiqi Ji,
Weilun Qiu,
Zhiyu Shi,
Shaowu Pan,
Sili Deng
Abstract:
Recently developed physics-informed neural network (PINN) has achieved success in many science and engineering disciplines by encoding physics laws into the loss functions of the neural network, such that the network not only conforms to the measurements, initial and boundary conditions but also satisfies the governing equations. This work first investigates the performance of PINN in solving stif…
▽ More
Recently developed physics-informed neural network (PINN) has achieved success in many science and engineering disciplines by encoding physics laws into the loss functions of the neural network, such that the network not only conforms to the measurements, initial and boundary conditions but also satisfies the governing equations. This work first investigates the performance of PINN in solving stiff chemical kinetic problems with governing equations of stiff ordinary differential equations (ODEs). The results elucidate the challenges of utilizing PINN in stiff ODE systems. Consequently, we employ Quasi-Steady-State-Assumptions (QSSA) to reduce the stiffness of the ODE systems, and the PINN then can be successfully applied to the converted non/mild-stiff systems. Therefore, the results suggest that stiffness could be the major reason for the failure of the regular PINN in the studied stiff chemical kinetic systems. The developed Stiff-PINN approach that utilizes QSSA to enable PINN to solve stiff chemical kinetics shall open the possibility of applying PINN to various reaction-diffusion systems involving stiff dynamics.
△ Less
Submitted 20 August, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
A convergent post-processed discontinuous Galerkin method for incompressible flow with variable density
Authors:
Buyang Li,
Weifeng Qiu,
ZongZe Yang
Abstract:
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 dens…
▽ More
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.
△ Less
Submitted 26 December, 2021; v1 submitted 26 July, 2020;
originally announced July 2020.
-
A mixed finite element scheme for biharmonic equation with variable coefficient and von Kármán equations
Authors:
Huangxin Chen,
Amiya K. Pani,
Weifeng Qiu
Abstract:
In this paper, a new mixed finite element scheme using element-wise stabilization is introduced for the biharmonic equation with variable coefficient on Lipschitz polyhedral domains. The proposed scheme doesn't involve any integration along mesh interfaces. The gradient of the solution is approximated by $H({\rm div})$-conforming $BDM_{k+1}$ element or vector valued Lagrange element with order…
▽ More
In this paper, a new mixed finite element scheme using element-wise stabilization is introduced for the biharmonic equation with variable coefficient on Lipschitz polyhedral domains. The proposed scheme doesn't involve any integration along mesh interfaces. The gradient of the solution is approximated by $H({\rm div})$-conforming $BDM_{k+1}$ element or vector valued Lagrange element with order $k+1$, while the solution is approximated by Lagrange element with order $k+2$ for any $k\geq 0$.This scheme can be easily implemented and produces positive definite linear system. We provide a new discrete $H^{2}$-norm stability, which is useful not only in analysis of this scheme but also in $C^{0}$ interior penalty methods and DG methods. Optimal convergences in both discrete $H^{2}$-norm and $L^{2}$-norm are derived. This scheme with its analysis is further generalized to the von Kármán equations. Finally, numerical results verifying the theoretical estimates of the proposed algorithms are also presented.
△ Less
Submitted 24 May, 2020;
originally announced May 2020.
-
Analysis of a semi-implicit structure-preserving finite element method for the nonstationary incompressible Magnetohydrodynamics equations
Authors:
Weifeng Qiu,
Ke Shi
Abstract:
We revise the structure-preserving finite element method in [K. Hu, Y. MA and J. Xu. (2017) Stable finite element methods preserving $\nabla \cdot \mathbf{B}=0$ exactly for MHD models. Numer. Math.,135, 371-396]. The revised method is semi-implicit in time-discretization. We prove the linearized scheme preserves the divergence free property for the magnetic field exactly at each time step. Further…
▽ More
We revise the structure-preserving finite element method in [K. Hu, Y. MA and J. Xu. (2017) Stable finite element methods preserving $\nabla \cdot \mathbf{B}=0$ exactly for MHD models. Numer. Math.,135, 371-396]. The revised method is semi-implicit in time-discretization. We prove the linearized scheme preserves the divergence free property for the magnetic field exactly at each time step. Further, we showed the linearized scheme is unconditionally stable and we obtain optimal convergence in the energy norm of the revised method even for solutions with low regularity.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
Adaptive First-Order System Least-Squares Finite Element Methods for Second Order Elliptic Equations in Non-Divergence Form
Authors:
Weifeng Qiu,
Shun Zhang
Abstract:
This paper studies adaptive first-order least-squares finite element methods for second-order elliptic partial differential equations in non-divergence form. Unlike the classical finite element method which uses weak formulations of PDEs not applicable for the non-divergence equation, the first-order least-squares formulations naturally have stable weak forms without using integration by parts, al…
▽ More
This paper studies adaptive first-order least-squares finite element methods for second-order elliptic partial differential equations in non-divergence form. Unlike the classical finite element method which uses weak formulations of PDEs not applicable for the non-divergence equation, the first-order least-squares formulations naturally have stable weak forms without using integration by parts, allow simple finite element approximation spaces, and have build-in a posteriori error estimators for adaptive mesh refinements.
The non-divergence equation is first written as a system of first-order equations by introducing the gradient as a new variable. Then two versions of least-squares finite element methods using simple $C^0$ finite elements are developed in the paper, one is the $L^2$-LSFEM which uses linear elements, the other is the weighted-LSFEM with a mesh-dependent weight to ensure the optimal convergence. Under a very mild assumption that the PDE has a unique solution, optimal a priori and a posteriori error estimates are proved. With an extra assumption on the operator regularity which is weaker than traditionally assumed, convergences in standard norms for the weighted-LSFEM are also discussed. $L^2$-error estimates are derived for both formulations. We perform extensive numerical experiments for smooth, non-smooth, and even degenerate coefficients on smooth and singular solutions to test the accuracy and efficiency of the proposed methods.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Cyclicality, Periodicity and the Topology of Time Series
Authors:
Paweł Dłotko,
Wanling Qiu,
Simon Rudkin
Abstract:
Periodic and semi periodic patterns are very common in nature. In this paper we introduce a topological toolbox aiming in detecting and quantifying periodicity. The presented technique is of a general nature and may be employed wherever there is suspected cyclic behaviour in a time series with no trend. The approach is tested on a number of real-world examples enabling us to consistently demonstra…
▽ More
Periodic and semi periodic patterns are very common in nature. In this paper we introduce a topological toolbox aiming in detecting and quantifying periodicity. The presented technique is of a general nature and may be employed wherever there is suspected cyclic behaviour in a time series with no trend. The approach is tested on a number of real-world examples enabling us to consistently demonstrate an ability to recognise periodic behaviour where conventional techniques fail to do so. Quicker to react to changes in time series behaviour, and with a high robustness to noise, the toolbox offers a powerful way to deeper understanding of time series dynamics.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Quasisymmetric uniformization and Hausdorff dimensions of Cantor circle Julia sets
Authors:
Weiyuan Qiu,
Fei Yang
Abstract:
For Cantor circle Julia sets of hyperbolic rational maps, we prove that they are quasisymmetrically equivalent to standard Cantor circles (i.e., connected components are round circles). This gives a quasisymmetric uniformization of all Cantor circle Julia sets of hyperbolic rational maps.
By analyzing the combinatorial information of the rational maps whose Julia sets are Cantor circles, we give…
▽ More
For Cantor circle Julia sets of hyperbolic rational maps, we prove that they are quasisymmetrically equivalent to standard Cantor circles (i.e., connected components are round circles). This gives a quasisymmetric uniformization of all Cantor circle Julia sets of hyperbolic rational maps.
By analyzing the combinatorial information of the rational maps whose Julia sets are Cantor circles, we give a computational formula of the number of the Cantor circle hyperbolic components in the moduli space of rational maps for any fixed degree.
We calculate the Hausdorff dimensions of the Julia sets which are Cantor circles, and prove that for any Cantor circle hyperbolic component $\mathcal{H}$ in the space of rational maps, the infimum of the Hausdorff dimensions of the Julia sets of the maps in $\mathcal{H}$ is equal to the conformal dimension of the Julia set of any representative $f_0\in\mathcal{H}$, and that the supremum of the Hausdorff dimensions is equal to $2$.
△ Less
Submitted 22 January, 2021; v1 submitted 25 November, 2018;
originally announced November 2018.
-
Analysis of an interior penalty DG method for the quad-curl problem
Authors:
Gang Chen,
Weifeng Qiu,
Liwei Xu
Abstract:
The quad-curl term is an essential part of the resistive magnetohydrodynamic (MHD) equation and the fourth order inverse electromagnetic scattering problem, which are both of great significance in science and engineering. It is desirable to develop efficient and practical numerical methods for the quad-curl problem. In this paper, we first present some new regularity results for the quad-curl prob…
▽ More
The quad-curl term is an essential part of the resistive magnetohydrodynamic (MHD) equation and the fourth order inverse electromagnetic scattering problem, which are both of great significance in science and engineering. It is desirable to develop efficient and practical numerical methods for the quad-curl problem. In this paper, we first present some new regularity results for the quad-curl problem on Lipschitz polyhedron domains and then propose a mixed finite element method for solving the quad-curl problem. With a {\em novel} discrete Sobolev imbedding inequality for the piecewise polynomials, we obtain stability results and derive error estimates based on a relatively low regularity assumption of the exact solution.
△ Less
Submitted 22 February, 2020; v1 submitted 16 November, 2018;
originally announced November 2018.
-
Discrete $H^1$-inequalities for spaces admitting M-decompositions
Authors:
Bernardo Cockburn,
Guosheng Fu,
Weifeng Qiu
Abstract:
We find new discrete $H^1$- and Poincaré-Friedrichs inequalities by studying the invertibility of the DG approximation of the flux for local spaces admitting M-decompositions. We then show how to use these inequalities to define and analyze new, superconvergent HDG and mixed methods for which the stabilization function is defined in such a way that the approximations satisfy new $H^1$-stability re…
▽ More
We find new discrete $H^1$- and Poincaré-Friedrichs inequalities by studying the invertibility of the DG approximation of the flux for local spaces admitting M-decompositions. We then show how to use these inequalities to define and analyze new, superconvergent HDG and mixed methods for which the stabilization function is defined in such a way that the approximations satisfy new $H^1$-stability results with which their error analysis is greatly simplified. We apply this approach to define a wide class of energy-bounded, superconvergent HDG and mixed methods for the incompressible Navier-Stokes equations defined on unstructured meshes using, in 2D, general polygonal elements and, in 3D, general, flat-faced tetrahedral, prismatic, pyramidal and hexahedral elements.
△ Less
Submitted 16 August, 2018;
originally announced August 2018.
-
A linearized energy preserving finite element method for the dynamical incompressible magnetohydrodynamics equations
Authors:
Huadong Gao,
Weifeng Qiu
Abstract:
We present and analyze a linearized finite element method (FEM) for the dynamical incompressible magnetohydrodynamics (MHD) equations. The finite element approximation is based on mixed conforming elements, where Taylor--Hood type elements are used for the Navier--Stokes equations and Nedelec edge elements are used for the magnetic equation. The divergence free conditions are weakly satisfied at t…
▽ More
We present and analyze a linearized finite element method (FEM) for the dynamical incompressible magnetohydrodynamics (MHD) equations. The finite element approximation is based on mixed conforming elements, where Taylor--Hood type elements are used for the Navier--Stokes equations and Nedelec edge elements are used for the magnetic equation. The divergence free conditions are weakly satisfied at the discrete level. Due to the use of Nedelec edge element, the proposed method is particularly suitable for problems defined on non-smooth and multi-connected domains. For the temporal discretization, we use a linearized scheme which only needs to solve a linear system at each time step. Moreover, the linearized mixed FEM is energy preserving. We establish an optimal error estimate under a very low assumption on the exact solutions and domain geometries. Numerical results which includes a benchmark lid-driven cavity problem are provided to show its effectiveness and verify the theoretical analysis.
△ Less
Submitted 4 January, 2018;
originally announced January 2018.
-
Convergence of a $B$-$E$ based finite element method for MHD models on Lipschitz domains
Authors:
Kaibo Hu,
Weifeng Qiu,
Ke Shi
Abstract:
We discuss a class of magnetic-electric fields based finite element schemes for stationary magnetohydrodynamics (MHD) systems with two types of boundary conditions. We establish a key $L^{3}$ estimate for divergence-free finite element functions for a new type of boundary conditions. With this estimate and a similar one in [Hu&Xu,2018], we rigorously prove the convergence of Picard iterations and…
▽ More
We discuss a class of magnetic-electric fields based finite element schemes for stationary magnetohydrodynamics (MHD) systems with two types of boundary conditions. We establish a key $L^{3}$ estimate for divergence-free finite element functions for a new type of boundary conditions. With this estimate and a similar one in [Hu&Xu,2018], we rigorously prove the convergence of Picard iterations and the finite element schemes with weak regularity assumptions. These results demonstrate the convergence of the finite element methods for singular solutions.
△ Less
Submitted 2 May, 2019; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Error analysis of mixed finite element methods for nonlinear parabolic equations
Authors:
Huadong Gao,
Weifeng Qiu
Abstract:
In this paper, we prove a discrete embedding inequality for the Raviart--Thomas mixed finite element methods for second order elliptic equations, which is analogous to the Sobolev embedding inequality in the continuous setting. Then, by using the proved discrete embedding inequality, we provide an optimal error estimate for linearized mixed finite element methods for nonlinear parabolic equations.…
▽ More
In this paper, we prove a discrete embedding inequality for the Raviart--Thomas mixed finite element methods for second order elliptic equations, which is analogous to the Sobolev embedding inequality in the continuous setting. Then, by using the proved discrete embedding inequality, we provide an optimal error estimate for linearized mixed finite element methods for nonlinear parabolic equations. Several numerical examples are provided to confirm the theoretical analysis.
△ Less
Submitted 9 July, 2017;
originally announced July 2017.
-
Low-dose cryo electron ptychography via non-convex Bayesian optimization
Authors:
Philipp Michael Pelz,
Wen Xuan Qiu,
Robert Bücker,
Günther Kassier,
R. J. Dwayne Miller
Abstract:
Electron ptychography has seen a recent surge of interest for phase sensitive imaging at atomic or near-atomic resolution. However, applications are so far mainly limited to radiation-hard samples because the required doses are too high for imaging biological samples at high resolution. We propose the use of non-convex, Bayesian optimization to overcome this problem and reduce the dose required fo…
▽ More
Electron ptychography has seen a recent surge of interest for phase sensitive imaging at atomic or near-atomic resolution. However, applications are so far mainly limited to radiation-hard samples because the required doses are too high for imaging biological samples at high resolution. We propose the use of non-convex, Bayesian optimization to overcome this problem and reduce the dose required for successful reconstruction by two orders of magnitude compared to previous experiments. We suggest to use this method for imaging single biological macromolecules at cryogenic temperatures and demonstrate 2D single-particle reconstructions from simulated data with a resolution of 7.9 Å$\,$ at a dose of 20 $e^- / Å^2$. When averaging over only 15 low-dose datasets, a resolution of 4 Å$\,$ is possible for large macromolecular complexes. With its independence from microscope transfer function, direct recovery of phase contrast and better scaling of signal-to-noise ratio, cryo-electron ptychography may become a promising alternative to Zernike phase-contrast microscopy.
△ Less
Submitted 19 February, 2017;
originally announced February 2017.
-
A Mixed DG method and an HDG method for incompressible magnetohydrodynamics
Authors:
Weifeng Qiu,
Ke Shi
Abstract:
In this paper we propose and analyze a mixed DG method and an HDG method for the stationary Magnetohydrodynamics (MHD) equations with two types of boundary (or constraint) conditions. The mixed DG method is based a recent work proposed by Houston et. al. for the linearized MHD. With two novel discrete Sobolev embedding type estimates for the discontinuous polynomials, we provide a priori error est…
▽ More
In this paper we propose and analyze a mixed DG method and an HDG method for the stationary Magnetohydrodynamics (MHD) equations with two types of boundary (or constraint) conditions. The mixed DG method is based a recent work proposed by Houston et. al. for the linearized MHD. With two novel discrete Sobolev embedding type estimates for the discontinuous polynomials, we provide a priori error estimates for the method on the nonlinear MHD equations. In the smooth case, we have optimal convergence rate for the velocity, magnetic field and pressure in the energy norm, the Lagrange multiplier only has suboptimal convergence order. With the minimal regularity assumption on the exact solution, the approximation is optimal for all unknowns. To the best of our knowledge, this is the first a priori error estimates of DG methods for nonlinear MHD equations. In addition, we also propose and analyze the first divergence-free HDG method for the problem with several unique features comparing with the mixed DG method.
△ Less
Submitted 13 December, 2018; v1 submitted 5 February, 2017;
originally announced February 2017.
-
A note on the Monge-Ampère type equations with general source terms
Authors:
Weifeng Qiu,
Lan Tang
Abstract:
In this paper we consider the generalised solutions to the Monge-Amp{è}re type equations with general source terms. We firstly prove the so-called comparison principle and then give some important propositions for the border of generalised solutions. Furthermore, we design well-posed finite element methods for the generalised solutions with the classical and weak Dirichlet boundary conditions resp…
▽ More
In this paper we consider the generalised solutions to the Monge-Amp{è}re type equations with general source terms. We firstly prove the so-called comparison principle and then give some important propositions for the border of generalised solutions. Furthermore, we design well-posed finite element methods for the generalised solutions with the classical and weak Dirichlet boundary conditions respectively.
△ Less
Submitted 19 November, 2016; v1 submitted 10 November, 2016;
originally announced November 2016.
-
Parameter-free superconvergent $H(\mathrm{div})$-conforming HDG methods for the Brinkman equations
Authors:
Guosheng Fu,
Yanyi **,
Weifeng Qiu
Abstract:
In this paper, we present new parameter-free superconvergent H(div)-conforming HDG methods for the Brinkman equations on both simplicial and rectangular meshes. The methods are based on a velocity gradient-velocity-pressure formulation, which can be considered as a natural extension of the H(div)-conforming HDG method (defined on simplicial meshes) for the Stokes flow [Math. Comp. 83(2014), pp. 15…
▽ More
In this paper, we present new parameter-free superconvergent H(div)-conforming HDG methods for the Brinkman equations on both simplicial and rectangular meshes. The methods are based on a velocity gradient-velocity-pressure formulation, which can be considered as a natural extension of the H(div)-conforming HDG method (defined on simplicial meshes) for the Stokes flow [Math. Comp. 83(2014), pp. 1571-1598].
We obtain optimal error estimates in $L^2$-norms for all the variables in both the Stokes-dominated regime (high viscosity/permeability ratio) and Darcy-dominated regime (low viscosity/permeability ratio). We also obtain superconvergent L^2-estimate of one order higher for a suitable projection of the velocity error, which is typical for (hybrid) mixed methods for elliptic problems. Moreover, thanks to H(div)-conformity of the velocity, our velocity error estimates are independent of the pressure regularity.
Preliminary numerical results on both triangular and rectangular meshes in two-space dimensions confirm our theoretical predictions.
△ Less
Submitted 19 June, 2017; v1 submitted 26 July, 2016;
originally announced July 2016.
-
A superconvergent HDG method for the Maxwell equations
Authors:
Huangxin Chen,
Weifeng Qiu,
Ke Shi
Abstract:
We present and analyze a new hybridizable discontinuous Galerkin (HDG) method for the steady state Maxwell equations. In order to make the problem well-posed, a condition of divergence is imposed on the electric field. Then a Lagrange multiplier $p$ is introduced, and the problem becomes the solution of a mixed curl-curl formulation of the Maxwell's problem. We use polynomials of degree $k+1$,…
▽ More
We present and analyze a new hybridizable discontinuous Galerkin (HDG) method for the steady state Maxwell equations. In order to make the problem well-posed, a condition of divergence is imposed on the electric field. Then a Lagrange multiplier $p$ is introduced, and the problem becomes the solution of a mixed curl-curl formulation of the Maxwell's problem. We use polynomials of degree $k+1$, $k$, $k$ to approximate $\bfu,\nabla \times \bfu$ and $p$ respectively. In contrast, we only use a non-trivial subspace of polynomials of degree $k+1$ to approximate the numerical tangential trace of the electric field and polynomials of degree $k+1$ to approximate the numerical trace of the Lagrange multiplier on the faces. On the simplicial meshes, a special choice of the stabilization parameters is applied, and the HDG system is shown to be well-posed. Moreover, we show that the convergence rates for $\boldsymbol{u}$ and $\nabla \times \boldsymbol{u}$ are independent of the Lagrange multiplier $p$. If we assume the dual operator of the Maxwell equation on the domain has adequate regularity, we show that the convergence rate for $\boldsymbol{u}$ is $O(h^{k+2})$. From the point of view of degrees of freedom of the globally coupled unknown: numerical trace, this HDG method achieves superconvergence for the electric field without postprocessing. Finally, we show that on general polyhedral elements, by a particular choice of the stabilization parameters again, the HDG system is also well-posed and the superconvergence of the HDG method is derived.
△ Less
Submitted 9 May, 2016; v1 submitted 6 March, 2016;
originally announced March 2016.
-
A superconvergent HDG method for the Incompressible Navier-Stokes Equations on general polyhedral meshes
Authors:
Weifeng Qiu,
Ke Shi
Abstract:
We present a superconvergent hybridizable discontinuous Galerkin (HDG) method for the steady-state incompressible Navier-Stokes equations on general polyhedral meshes. For arbitrary conforming polyhedral mesh, we use polynomials of degree k+1, k, k to approximate the velocity, velocity gradient and pressure, respectively. In contrast, we only use polynomials of degree k to approximate the numerica…
▽ More
We present a superconvergent hybridizable discontinuous Galerkin (HDG) method for the steady-state incompressible Navier-Stokes equations on general polyhedral meshes. For arbitrary conforming polyhedral mesh, we use polynomials of degree k+1, k, k to approximate the velocity, velocity gradient and pressure, respectively. In contrast, we only use polynomials of degree k to approximate the numerical trace of the velocity on the interfaces. Since the numerical trace of the velocity field is the only globally coupled unknown, this scheme allows a very efficient implementation of the method. For the stationary case, and under the usual smallness condition for the source term, we prove that the method is well defined and that the global L2-norm of the error in each of the above-mentioned variables and the discrete H1-norm of the error in the velocity converge with the order of k+1 for k>=0. We also show that for k>=1, the global L2-norm of the error in velocity converges with the order of k+2. From the point of view of degrees of freedom of the globally coupled unknown: numerical trace, this method achieves optimal convergence for all the above-mentioned variables in L2-norm for k>=0, superconvergence for the velocity in the discrete H1-norm without postprocessing for k>=0, and superconvergence for the velocity in L2-norm without postprocessing for k>=1.
△ Less
Submitted 26 November, 2015; v1 submitted 24 June, 2015;
originally announced June 2015.
-
An absolutely stable $hp$-HDG method for the time-harmonic Maxwell equations with high wave number
Authors:
Peipei Lu,
Huangxin Chen,
Weifeng Qiu
Abstract:
We present and analyze a hybridizable discontinuous Galerkin (HDG) method for the time-harmonic Maxwell equations. The divergence-free condition is enforced on the electric field, then a Lagrange multiplier is introduced, and the problem becomes the solution of a mixed curl-curl formulation of the Maxwell's problem. The method is shown to be an absolutely stable HDG method for the indefinite time-…
▽ More
We present and analyze a hybridizable discontinuous Galerkin (HDG) method for the time-harmonic Maxwell equations. The divergence-free condition is enforced on the electric field, then a Lagrange multiplier is introduced, and the problem becomes the solution of a mixed curl-curl formulation of the Maxwell's problem. The method is shown to be an absolutely stable HDG method for the indefinite time-harmonic Maxwell equations with high wave number. By exploiting the duality argument, the dependence of convergence of the HDG method on the wave number k, the mesh size h and the polynomial order p is obtained. Numerical results are given to verify the theoretical analysis.
△ Less
Submitted 20 January, 2016; v1 submitted 26 March, 2015;
originally announced March 2015.
-
A high order HDG method for curved-interface problems via approximations from straight triangulations
Authors:
Weifeng Qiu,
Manuel Solano,
Patrick Vega
Abstract:
We generalize the technique of [Solving Dirichlet boundary-value problems on curved domains by extensions from subdomains, SIAM J. Sci. Comput. 34, pp. A497--A519 (2012)] to elliptic problems with mixed boundary conditions and elliptic interface problems involving a non-polygonal interface. We study first the treatment of the Neumann boundary data since it is crucial to understand the applicabilit…
▽ More
We generalize the technique of [Solving Dirichlet boundary-value problems on curved domains by extensions from subdomains, SIAM J. Sci. Comput. 34, pp. A497--A519 (2012)] to elliptic problems with mixed boundary conditions and elliptic interface problems involving a non-polygonal interface. We study first the treatment of the Neumann boundary data since it is crucial to understand the applicability of the technique to curved interfaces. We provide numerical results showing that, in order to obtain optimal high order convergence, it is desirable to construct the computational domain by interpolating the boundary/interface using piecewise linear segments. In this case the distance of the computational domain to the exact boundary is only $O(h^2)$.
△ Less
Submitted 21 November, 2015; v1 submitted 21 January, 2015;
originally announced January 2015.
-
Direct computation of stresses in linear elasticity
Authors:
Weifeng Qiu,
Minglei Wang,
Jiahao Zhang
Abstract:
We present a new finite element method based on the formulation introduced by Philippe G.~Ciarlet and Patrick Ciarlet, Jr. in [{\em Math. Models Methods Appl. Sci., 15 (2005), pp. 259--571}], which approximates strain tensor directly. We also show the convergence rate of strain tensor is optimal. This work is a non-trivial generalization of its two dimensional analogue in [{\em Math. Models Method…
▽ More
We present a new finite element method based on the formulation introduced by Philippe G.~Ciarlet and Patrick Ciarlet, Jr. in [{\em Math. Models Methods Appl. Sci., 15 (2005), pp. 259--571}], which approximates strain tensor directly. We also show the convergence rate of strain tensor is optimal. This work is a non-trivial generalization of its two dimensional analogue in [{\em Math. Models Methods Appl. Sci., 19 (2009), pp. 1043--1064}]
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
A first order system least squares method for the Helmholtz equation
Authors:
Huangxin Chen,
Weifeng Qiu
Abstract:
We present a first order system least squares (FOSLS) method for the Helmholtz equation at high wave number k, which always deduces Hermitian positive definite algebraic system. By utilizing a non-trivial solution decomposition to the dual FOSLS problem which is quite different from that of standard finite element method, we give error analysis to the hp-version of the FOSLS method where the depen…
▽ More
We present a first order system least squares (FOSLS) method for the Helmholtz equation at high wave number k, which always deduces Hermitian positive definite algebraic system. By utilizing a non-trivial solution decomposition to the dual FOSLS problem which is quite different from that of standard finite element method, we give error analysis to the hp-version of the FOSLS method where the dependence on the mesh size h, the approximation order p, and the wave number k is given explicitly. In particular, under some assumption of the boundary of the domain, the L2 norm error estimate of the scalar solution from the FOSLS method is shown to be quasi optimal under the condition that kh/p is sufficiently small and the polynomial degree p is at least O(\log k). Numerical experiments are given to verify the theoretical results.
△ Less
Submitted 10 October, 2015; v1 submitted 11 September, 2014;
originally announced September 2014.
-
Robust a Posteriori Error Estimates for HDG method for Convection-Diffusion Equations
Authors:
Huangxin Chen,
**gzhi Li,
Weifeng Qiu
Abstract:
We propose a robust a posteriori error estimator for the hybridizable discontinuous Galerkin (HDG) method for convection-diffusion equations with dominant convection. The reliability and efficiency of the estimator are established for the error measured in an energy norm. The energy norm is uniformly bounded even when the diffusion coefficient tends to zero. The estimators are robust in the sense…
▽ More
We propose a robust a posteriori error estimator for the hybridizable discontinuous Galerkin (HDG) method for convection-diffusion equations with dominant convection. The reliability and efficiency of the estimator are established for the error measured in an energy norm. The energy norm is uniformly bounded even when the diffusion coefficient tends to zero. The estimators are robust in the sense that the upper and lower bounds of error are uniformly bounded with respect to the diffusion coefficient. A weighted test function technique and the Oswald interpolation are key ingredients in the analysis. Numerical results verify the robustness of the proposed a posteriori error estimator. In numerical experiments, optimal convergence is observed.
△ Less
Submitted 17 December, 2014; v1 submitted 9 June, 2014;
originally announced June 2014.
-
Quasisymmetric geometry of Sierpinski carpet Julia sets
Authors:
Weiyuan Qiu,
Fei Yang,
**song Zeng
Abstract:
In this paper, the main focus is on the Sierpinski carpet Julia sets of the rational maps with non-recurrent critical points. We study the uniform quasicircle property of the peripheral circles, the relatively separated property of the peripheral circles and the locally porous property of these carpets. We also establish some quasisymmetric rigidities of these carpets, which generalizes the main r…
▽ More
In this paper, the main focus is on the Sierpinski carpet Julia sets of the rational maps with non-recurrent critical points. We study the uniform quasicircle property of the peripheral circles, the relatively separated property of the peripheral circles and the locally porous property of these carpets. We also establish some quasisymmetric rigidities of these carpets, which generalizes the main results of Bonk-Lyubich-Merenkov to the postcritically infinite case. In the end we give a strategy to construct a class of postcritically infinite rational maps whose Julia sets are quasisymetrically equivalent to some round carpets.
△ Less
Submitted 28 February, 2018; v1 submitted 10 March, 2014;
originally announced March 2014.
-
An HDG method for linear elasticity with strong symmetric stresses
Authors:
Weifeng Qiu,
Jiguang Shen,
Ke Shi
Abstract:
This paper presents a new hybridizable discontinuous Galerkin (HDG) method for linear elasticity on general polyhedral meshes, based on a strong symmetric stress formulation. The key feature of this new HDG method is the use of a special form of the numerical trace of the stresses, which makes the error analysis different from the projection-based error analyzes used for most other HDG methods. Fo…
▽ More
This paper presents a new hybridizable discontinuous Galerkin (HDG) method for linear elasticity on general polyhedral meshes, based on a strong symmetric stress formulation. The key feature of this new HDG method is the use of a special form of the numerical trace of the stresses, which makes the error analysis different from the projection-based error analyzes used for most other HDG methods. For arbitrary polyhedral elements, we approximate the stress by using polynomials of degree k>=1 and the displacement by using polynomials of degree k+1. In contrast, to approximate the numerical trace of the displacement on the faces, we use polynomials of degree k only. This allows for a very efficient implementation of the method, since the numerical trace of the displacement is the only globally-coupled unknown, but does not degrade the convergence properties of the method. Indeed, we prove optimal orders of convergence for both the stresses and displacements on the elements. In the almost incompressible case, we show the error of the stress is also optimal in the standard L2-norm. These optimal results are possible thanks to a special superconvergence property of the numerical traces of the displacement, and thanks to the use of a crucial elementwise Korn's inequality. Several numerical results are presented to support our theoretical findings in the end.
△ Less
Submitted 23 February, 2016; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Quasisymmetric geometry of the Cantor circles as the Julia sets of rational maps
Authors:
Weiyuan Qiu,
Fei Yang,
Yongcheng Yin
Abstract:
We give three families of parabolic rational maps and show that every Cantor set of circles as the Julia set of a non-hyperbolic rational map must be quasisymmetrically equivalent to the Julia set of one map in these families for suitable parameters. Combining a result obtained before, we give a complete classification of the Cantor circles Julia sets in the sense of quasisymmetric equivalence. Mo…
▽ More
We give three families of parabolic rational maps and show that every Cantor set of circles as the Julia set of a non-hyperbolic rational map must be quasisymmetrically equivalent to the Julia set of one map in these families for suitable parameters. Combining a result obtained before, we give a complete classification of the Cantor circles Julia sets in the sense of quasisymmetric equivalence. Moreover, we study the regularity of the components of the Cantor circles Julia sets and establish a sufficient and necessary condition when a component of a Cantor circles Julia set is a quasicircle.
△ Less
Submitted 9 October, 2015; v1 submitted 15 November, 2013;
originally announced November 2013.
-
An analysis of HDG methods for convection dominated diffusion problems
Authors:
Guosheng Fu,
Weifeng Qiu,
Wujun Zhang
Abstract:
In this paper, we establish an a priori error analysis of HDG methods with two types of stabilization parameter applied to convection dominated diffusion problem. We show that, using polynomials of degree no greater than k, L2 error of the scalar variable of HDG methods converges in order k + 1/2 if the meshes are not aligned with the flux. This result implies that the HDG approximation converges…
▽ More
In this paper, we establish an a priori error analysis of HDG methods with two types of stabilization parameter applied to convection dominated diffusion problem. We show that, using polynomials of degree no greater than k, L2 error of the scalar variable of HDG methods converges in order k + 1/2 if the meshes are not aligned with the flux. This result implies that the HDG approximation converges as fast as conventional DG methods. In the case that the meshes are aligned with the flux, we show that HDG methods with the second type of stabilization parameter achieves optimal rate of convergence. We also discuss preferred form for implementation of HDG methods. In appendix, we show that the spectral condition number of stiffness matrix of HDG methods is independent of the diffusion coefficient. Numerical experiments are presented to verify our theoretical results.
△ Less
Submitted 12 March, 2014; v1 submitted 2 October, 2013;
originally announced October 2013.
-
First order least squares method with weakly imposed boundary condition for convection dominated diffusion problems
Authors:
Huangxin Chen,
Guosheng Fu,
**gzhi Li,
Weifeng Qiu
Abstract:
We present and analyze a first order least squares method for convection dominated diffusion problems, which provides robust L2 a priori error estimate for the scalar variable even if the given data f in L2 space. The novel theoretical approach is to rewrite the method in the framework of discontinuous Petrov - Galerkin (DPG) method, and then show numerical stability by using a key equation discov…
▽ More
We present and analyze a first order least squares method for convection dominated diffusion problems, which provides robust L2 a priori error estimate for the scalar variable even if the given data f in L2 space. The novel theoretical approach is to rewrite the method in the framework of discontinuous Petrov - Galerkin (DPG) method, and then show numerical stability by using a key equation discovered by J. Gopalakrishnan and W. Qiu [Math. Comp. 83(2014), pp. 537-552]. This new approach gives an alternative way to do numerical analysis for least squares methods for a large class of differential equations. We also show that the condition number of the global matrix is independent of the diffusion coefficient. A key feature of the method is that there is no stabilization parameter chosen empirically. In addition, Dirichlet boundary condition is weakly imposed. Numerical experiments verify our theoretical results and, in particular, show our way of weakly imposing Dirichlet boundary condition is essential to the design of least squares methods - numerical solutions on subdomains away from interior layers or boundary layers have remarkable accuracy even on coarse meshes, which are unstructured quasi-uniform.
△ Less
Submitted 8 October, 2014; v1 submitted 26 September, 2013;
originally announced September 2013.
-
Quasisymmetric geometry of the Julia sets of McMullen maps
Authors:
Weiyuan Qiu,
Fei Yang,
Yongcheng Yin
Abstract:
We study the quasisymmetric geometry of the Julia sets of McMullen maps $f_λ(z)=z^m+λ/z^\ell$, where $\ell$, $m\geq 2$ are integers satisfying $1/\ell+1/m<1$ and $λ\in\mathbb{C}\setminus\{0\}$. If the free critical points of $f_λ$ are escaped to the infinity, we prove that the Julia set $J_λ$ of $f_λ$ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circle…
▽ More
We study the quasisymmetric geometry of the Julia sets of McMullen maps $f_λ(z)=z^m+λ/z^\ell$, where $\ell$, $m\geq 2$ are integers satisfying $1/\ell+1/m<1$ and $λ\in\mathbb{C}\setminus\{0\}$. If the free critical points of $f_λ$ are escaped to the infinity, we prove that the Julia set $J_λ$ of $f_λ$ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a sufficient condition on $λ$ such that $J_λ$ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to round carpets.
△ Less
Submitted 27 November, 2020; v1 submitted 20 August, 2013;
originally announced August 2013.
-
Mixed finite elements for elasticity on quadrilateral meshes
Authors:
Douglas N. Arnold,
Gerard Awanou,
Weifeng Qiu
Abstract:
We present stable mixed finite elements for planar linear elasticity on general quadrilateral meshes. The symmetry of the stress tensor is imposed weakly and so there are three primary variables, the stress tensor, the displacement vector field, and the scalar rotation. We develop and analyze a stable family of methods, indexed by an integer $r \geq 2$ and with rate of convergence in the $L^2$ nor…
▽ More
We present stable mixed finite elements for planar linear elasticity on general quadrilateral meshes. The symmetry of the stress tensor is imposed weakly and so there are three primary variables, the stress tensor, the displacement vector field, and the scalar rotation. We develop and analyze a stable family of methods, indexed by an integer $r \geq 2$ and with rate of convergence in the $L^2$ norm of order $r$ for all the variables. The methods use Raviart-Thomas elements for the stress, piecewise tensor product polynomials for the displacement, and piecewise polynomials for the rotation. We also present a simple first order element, not belonging to this family. It uses the lowest order BDM elements for the stress, and piecewise constants for the displacement and rotation, and achieves first order convergence for all three variables.
△ Less
Submitted 19 April, 2014; v1 submitted 28 June, 2013;
originally announced June 2013.