In this paper,we introduce the notions of_((m,n))-coherent rings and FP_((m,n))-projective modules for nonnegative integers m,n.We prove that(FP_((m,n))-Proj,(FPn-id)_(≤m))is a complete cotorsion pair for any m,n≥0 ...In this paper,we introduce the notions of_((m,n))-coherent rings and FP_((m,n))-projective modules for nonnegative integers m,n.We prove that(FP_((m,n))-Proj,(FPn-id)_(≤m))is a complete cotorsion pair for any m,n≥0 and it is hereditary if and only if the ring R is a left n-coherent ring for all m≥0 and n≥1.Moreover,we study the existence of FP_((m,n))-Proj covers and envelopes and obtain that if FP_((m,n))-Proj is closed under pure quotients,then FP_((m,n))-Proj is covering for any n≥2.As applications,we obtain that every R-module has an epic FP_((m,n))-Proj-envelope if and only if the left FP_((m,n))-global dimension of R is at most 1 and FP_((m,n))-Proj is closed under direct products.展开更多
Numerical experiments are given to verify the theoretical results for superconvergence of the elliptic problem by global and local L2-Projection methods.
Consider L<sup>2</sup>-projection u<sub>h</sub> of u to n-degree finite element space on one-dimensional uniform grids. Two different classes of the orthogonal expansion in an element for const...Consider L<sup>2</sup>-projection u<sub>h</sub> of u to n-degree finite element space on one-dimensional uniform grids. Two different classes of the orthogonal expansion in an element for constructing a superclose to function u<sub>h</sub> are proposed and then superconvergence for both u<sub>h</sub> and Du<sub>h</sub> are proved. When n is odd and no boundary conditions are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order Gauss points G<sub>n+1</sub> in each element. When n is even and function values on the boundary are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order points Z<sub>n+1</sub> in each element. If the other boundary conditions are given, then the conclusions are valid in all elements that its distance from the boundary≥ch|lnh|. The above conclusions are also valid. for n-dergree rectangular element Q<sub>1</sub> （n）.展开更多
In this paper, by using the Lp-Brunn-Minkowski theory and its dual theory, L2-version on the conjectured projection inequality is investigated, the （reverse） inclusive relationship between L2-projection body and the...In this paper, by using the Lp-Brunn-Minkowski theory and its dual theory, L2-version on the conjectured projection inequality is investigated, the （reverse） inclusive relationship between L2-projection body and the classical projection body are established, and a constrained minimization problem is solved.展开更多
The superconvergence in the finite element method is a phenomenon in which the finite element approximation converges to the exact solution at a rate higher than the optimal order error estimate. Wang proposed and ana...The superconvergence in the finite element method is a phenomenon in which the finite element approximation converges to the exact solution at a rate higher than the optimal order error estimate. Wang proposed and analyzed superconvergence of the conforming finite element method by L2-projections. The goal of this paper is to perform numerical experiments using MATLAB to support and to verify the theoretical results in Wang for the superconvergence of the conforming finite element method (CFEM) for the second order elliptic problems by L2-projection methods. MATLAB codes are published at https://github.com/annaleeharris/Superconvergence-CFEM for anyone to use and to study.展开更多
The superconvergence in the finite element method is a phenomenon in which the fi-nite element approximation converges to the exact solution at a rate higher than the optimal order error estimate. Wang proposed and an...The superconvergence in the finite element method is a phenomenon in which the fi-nite element approximation converges to the exact solution at a rate higher than the optimal order error estimate. Wang proposed and analyzed superconvergence of the conforming finite element method by L2-projections. However, since the conforming finite element method (CFEM) requires a strong continuity, it is not easy to construct such finite elements for the complex partial differential equations. Thus, the nonconforming finite element method (NCFEM) is more appealing computationally due to better stability and flexibility properties compared to CFEM. The objective of this paper is to establish a general superconvergence result for the nonconforming finite element approximations for second-order elliptic problems by L2-projection methods by applying the idea presented in Wang. MATLAB codes are published at https://github.com/annaleeharris/Superconvergence-NCFEM for anyone to use and to study. The results of numerical experiments show great promise for the robustness, reliability, flexibility and accuracy of superconvergence in NCFEM by L2- projections.展开更多
We develop an efficient one-dimensional moving mesh algorithm for solving partial differential equations.The main contribution of this paper is to design an effective interpolation scheme based on L2-projection for th...We develop an efficient one-dimensional moving mesh algorithm for solving partial differential equations.The main contribution of this paper is to design an effective interpolation scheme based on L2-projection for the moving mesh method.The proposed method preserves not only the mass-conservation but also the first order momentum of the underlying numerical solution at each mesh redistribution step.Numerical examples are presented to demonstrate the effectiveness of the new interpolation technique.展开更多
Given an additive category C and an integer n≥2.The higher differential additive category consists of objects X in C equipped with an endomorphism ϵ_(X)satisfying ϵ_(X)^(n).Let R be a,finite-dimensional basic algebra...Given an additive category C and an integer n≥2.The higher differential additive category consists of objects X in C equipped with an endomorphism ϵ_(X)satisfying ϵ_(X)^(n).Let R be a,finite-dimensional basic algebra over an algebraically closed field and T the augmenting functor from the category of finitely generated left R-modules to that of finitely generated left R/(t^(n))-modules.It is proved that a finitely generated left R-module M isτ-rigid(respectively,(support)τ-tilting,almost completeτ-tilting)if and only if so is T(M)as a left R[t]/(t^(n))-module.Moreover,R isτm-selfinjective if and only if so is R[t]/(t^(n)).展开更多
We introduce a generalization of the Gorenstein injective modules:the Gorenstein FPn-injective modules(denoted by GI_(n)).They are the cycles of the exact complexes of injective modules that remain exact when we apply...We introduce a generalization of the Gorenstein injective modules:the Gorenstein FPn-injective modules(denoted by GI_(n)).They are the cycles of the exact complexes of injective modules that remain exact when we apply a functor Hom(A,-),with A any FP_(n)-injective module.Thus,GL_(o)is the class of classical Gorenstein injective modules,and GI_(1)is the class of Ding injective modules.We prove that over any ring R,for any n≥2,the class GI_(n)is the right half of a perfect cotorsion pair,and therefore it is an enveloping class.For n=1 we show that GI_(1)(i.e.,the Ding injectives)forms the right half of a hereditary cotorsion pair.If moreover the ring R is coherent,then the Ding injective modules form an enveloping class.We also define the dual notion,that of Gorenstein FP_(n)-projectives(denoted by GP_(n)).They generalize the Ding projective modules,and so,the Gorenstein projective modules.We prove that for any n≥2 the class GP_(n)is the left half of a complete hereditary cotorsion pair,and therefore it is special precovering.展开更多
Extriangulated categories were introduced by Nakaoka and Palu via extracting the similarities between exact categories and triangulated categories.In this article we introduce the notion of ζ-tilting objects in an ex...Extriangulated categories were introduced by Nakaoka and Palu via extracting the similarities between exact categories and triangulated categories.In this article we introduce the notion of ζ-tilting objects in an extriangulated category,where ζ is a proper class of E-triangles.Our results extend the relative tilting theory in extriangulated categories.展开更多
In this paper,we generalize the idea of Song,Zhao and Huang[Czechoslov.Math.J.,70,483±504(2020)]and introduce the notion of right(left)Gorenstein subcategory rg(l,∂)(lg(l,D)),relative to two additive full subcate...In this paper,we generalize the idea of Song,Zhao and Huang[Czechoslov.Math.J.,70,483±504(2020)]and introduce the notion of right(left)Gorenstein subcategory rg(l,∂)(lg(l,D)),relative to two additive full subcategoriesφand∂of an abelian category A.Under the assumption thatφ⊆∂,we prove that the right Gorenstein subcategory rg(l,D)possesses many nice properties that it is closed under extensions,kernels of epimorphisms and direct summands.Whenφ⊆Dandφ⊥D,we show that the right Gorenstein subcategory rg(l,D)admits some kind of stability.Then we discuss a resolution dimension for an object in A,called rg(l,D)-projective dimension.Finally,we prove that if(U,V)is a hereditary cotorsion pair with kernelφhas enough injectives,such that U⊆Dand U⊥∂,then(rg(l,D),φφ)is a weak Auslander±Buchweitz context,whereφis the subcategory of A consisting of objects with finiteφ-projective dimension.展开更多
基金supported by the National Natural Science Foundation of China(No.12471036),the project of Young and Middle-Aged Talents of Hubei Province(No.Q20234405),and the Scientific Research Fund of Hunan Provincial Education Department(No.24A0221)。
文摘In this paper,we introduce the notions of_((m,n))-coherent rings and FP_((m,n))-projective modules for nonnegative integers m,n.We prove that(FP_((m,n))-Proj,(FPn-id)_(≤m))is a complete cotorsion pair for any m,n≥0 and it is hereditary if and only if the ring R is a left n-coherent ring for all m≥0 and n≥1.Moreover,we study the existence of FP_((m,n))-Proj covers and envelopes and obtain that if FP_((m,n))-Proj is closed under pure quotients,then FP_((m,n))-Proj is covering for any n≥2.As applications,we obtain that every R-module has an epic FP_((m,n))-Proj-envelope if and only if the left FP_((m,n))-global dimension of R is at most 1 and FP_((m,n))-Proj is closed under direct products.
文摘Numerical experiments are given to verify the theoretical results for superconvergence of the elliptic problem by global and local L2-Projection methods.
基金Supported by the National Natrual Science Funds of China
文摘Consider L<sup>2</sup>-projection u<sub>h</sub> of u to n-degree finite element space on one-dimensional uniform grids. Two different classes of the orthogonal expansion in an element for constructing a superclose to function u<sub>h</sub> are proposed and then superconvergence for both u<sub>h</sub> and Du<sub>h</sub> are proved. When n is odd and no boundary conditions are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order Gauss points G<sub>n+1</sub> in each element. When n is even and function values on the boundary are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order points Z<sub>n+1</sub> in each element. If the other boundary conditions are given, then the conclusions are valid in all elements that its distance from the boundary≥ch|lnh|. The above conclusions are also valid. for n-dergree rectangular element Q<sub>1</sub> （n）.
基金supported by the National Natural Sciences Foundation of China (Grant Nos.10671117,10801140)
文摘In this paper, by using the Lp-Brunn-Minkowski theory and its dual theory, L2-version on the conjectured projection inequality is investigated, the （reverse） inclusive relationship between L2-projection body and the classical projection body are established, and a constrained minimization problem is solved.
文摘The superconvergence in the finite element method is a phenomenon in which the finite element approximation converges to the exact solution at a rate higher than the optimal order error estimate. Wang proposed and analyzed superconvergence of the conforming finite element method by L2-projections. The goal of this paper is to perform numerical experiments using MATLAB to support and to verify the theoretical results in Wang for the superconvergence of the conforming finite element method (CFEM) for the second order elliptic problems by L2-projection methods. MATLAB codes are published at https://github.com/annaleeharris/Superconvergence-CFEM for anyone to use and to study.
文摘The superconvergence in the finite element method is a phenomenon in which the fi-nite element approximation converges to the exact solution at a rate higher than the optimal order error estimate. Wang proposed and analyzed superconvergence of the conforming finite element method by L2-projections. However, since the conforming finite element method (CFEM) requires a strong continuity, it is not easy to construct such finite elements for the complex partial differential equations. Thus, the nonconforming finite element method (NCFEM) is more appealing computationally due to better stability and flexibility properties compared to CFEM. The objective of this paper is to establish a general superconvergence result for the nonconforming finite element approximations for second-order elliptic problems by L2-projection methods by applying the idea presented in Wang. MATLAB codes are published at https://github.com/annaleeharris/Superconvergence-NCFEM for anyone to use and to study. The results of numerical experiments show great promise for the robustness, reliability, flexibility and accuracy of superconvergence in NCFEM by L2- projections.
文摘We develop an efficient one-dimensional moving mesh algorithm for solving partial differential equations.The main contribution of this paper is to design an effective interpolation scheme based on L2-projection for the moving mesh method.The proposed method preserves not only the mass-conservation but also the first order momentum of the underlying numerical solution at each mesh redistribution step.Numerical examples are presented to demonstrate the effectiveness of the new interpolation technique.
基金Supported by NSFC(Grant Nos.12371038,11971225,12171207,12061026)NSF of Guangxi Province of China(Grant No.2020GXNSFAA159120)。
文摘Given an additive category C and an integer n≥2.The higher differential additive category consists of objects X in C equipped with an endomorphism ϵ_(X)satisfying ϵ_(X)^(n).Let R be a,finite-dimensional basic algebra over an algebraically closed field and T the augmenting functor from the category of finitely generated left R-modules to that of finitely generated left R/(t^(n))-modules.It is proved that a finitely generated left R-module M isτ-rigid(respectively,(support)τ-tilting,almost completeτ-tilting)if and only if so is T(M)as a left R[t]/(t^(n))-module.Moreover,R isτm-selfinjective if and only if so is R[t]/(t^(n)).
文摘We introduce a generalization of the Gorenstein injective modules:the Gorenstein FPn-injective modules(denoted by GI_(n)).They are the cycles of the exact complexes of injective modules that remain exact when we apply a functor Hom(A,-),with A any FP_(n)-injective module.Thus,GL_(o)is the class of classical Gorenstein injective modules,and GI_(1)is the class of Ding injective modules.We prove that over any ring R,for any n≥2,the class GI_(n)is the right half of a perfect cotorsion pair,and therefore it is an enveloping class.For n=1 we show that GI_(1)(i.e.,the Ding injectives)forms the right half of a hereditary cotorsion pair.If moreover the ring R is coherent,then the Ding injective modules form an enveloping class.We also define the dual notion,that of Gorenstein FP_(n)-projectives(denoted by GP_(n)).They generalize the Ding projective modules,and so,the Gorenstein projective modules.We prove that for any n≥2 the class GP_(n)is the left half of a complete hereditary cotorsion pair,and therefore it is special precovering.
基金Supported by the Natural Science Foundation of China(Grant No.11771212)a project funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions.
文摘Extriangulated categories were introduced by Nakaoka and Palu via extracting the similarities between exact categories and triangulated categories.In this article we introduce the notion of ζ-tilting objects in an extriangulated category,where ζ is a proper class of E-triangles.Our results extend the relative tilting theory in extriangulated categories.
基金Supported by National Natural Science Foundation of China(Grant No.11971225)。
文摘In this paper,we generalize the idea of Song,Zhao and Huang[Czechoslov.Math.J.,70,483±504(2020)]and introduce the notion of right(left)Gorenstein subcategory rg(l,∂)(lg(l,D)),relative to two additive full subcategoriesφand∂of an abelian category A.Under the assumption thatφ⊆∂,we prove that the right Gorenstein subcategory rg(l,D)possesses many nice properties that it is closed under extensions,kernels of epimorphisms and direct summands.Whenφ⊆Dandφ⊥D,we show that the right Gorenstein subcategory rg(l,D)admits some kind of stability.Then we discuss a resolution dimension for an object in A,called rg(l,D)-projective dimension.Finally,we prove that if(U,V)is a hereditary cotorsion pair with kernelφhas enough injectives,such that U⊆Dand U⊥∂,then(rg(l,D),φφ)is a weak Auslander±Buchweitz context,whereφis the subcategory of A consisting of objects with finiteφ-projective dimension.
