In this paper, a family of high-order compact finite difference methods in combination preconditioned methods are used for solution of the Diffusion-Convection equation. We developed numerical methods by replacing the...In this paper, a family of high-order compact finite difference methods in combination preconditioned methods are used for solution of the Diffusion-Convection equation. We developed numerical methods by replacing the time and space derivatives by compact finite-difference approximations. The system of resulting nonlinear finite difference equations are solved by preconditioned Krylov subspace methods. Numerical results are given to verify the behavior of high-order compact approximations in combination preconditioned methods for stability, convergence. Also, the accuracy and efficiency of the proposed scheme are considered.展开更多
In the present paper, we deal with the complex Szasz-Durrmeyer operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth on comp...In the present paper, we deal with the complex Szasz-Durrmeyer operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth on compact disks. Also, the exact order of approximation is found.展开更多
To ensure time stability of a seventh-order dissipative compact finite difference scheme, fourth-order boundary closures are used near domain boundaries previously. However, this would reduce the global convergence ra...To ensure time stability of a seventh-order dissipative compact finite difference scheme, fourth-order boundary closures are used near domain boundaries previously. However, this would reduce the global convergence rate to fifth-order only. In this paper, we elevate the boundary closures to sixth-order to achieve seventh-order global accuracy. To keep the improved scheme time stable, the simultaneous approximation terms (SATs) are used to impose boundary conditions weakly. Eigenvalue analysis shows that the improved scheme is time stable. Numerical experiments for linear advection equations and one-dimensional Euler equations are implemented to validate the new scheme.展开更多
In this paper, we deal with the complex Baskakov-Szasz-Durrmeyer mixed operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth...In this paper, we deal with the complex Baskakov-Szasz-Durrmeyer mixed operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth in DR = {z ∈ C; |z| 〈 R}. Also, the exact order of approximation is found. The method used allows to construct complex Szasz-type and Baskakov-type approximation operators without involving the values on [0,∞).展开更多
In this article, we prove the following results: (1) A Banach space X is weak midpoint locally k-uniformly rotund if and only if every closed ball of X is an approximatively weakly compact k-Chebyshev set; (2) A ...In this article, we prove the following results: (1) A Banach space X is weak midpoint locally k-uniformly rotund if and only if every closed ball of X is an approximatively weakly compact k-Chebyshev set; (2) A Banach space X is midpoint locally k-uniformly rotund if and only if every closed ball of X is an approximatively compact k-Chebyshev set.展开更多
Under a non-degeneracy condition on the nonlinearities we show that sequences of approximate entropy solutions of mixed elliptic-hyperbolic equations are strongly precompact in the general case of a Caratheodory flux ...Under a non-degeneracy condition on the nonlinearities we show that sequences of approximate entropy solutions of mixed elliptic-hyperbolic equations are strongly precompact in the general case of a Caratheodory flux vector. The proofs are based on deriving localization principles for H-measures associated to sequences of measurevalued functions. This main result implies existence of solutions to degenerate parabolic convection-diffusion equations with discontinuous flux. Moreover, it provides a framework in which one can prove convergence of various types of approximate solutions, such as those generated by the vanishing viscosity method and numerical schemes.展开更多
In this paper, we first summarize several applications of the flux approximation method on hyperbolic conservation systems. Then, we introduce two hyperbolic conservation systems (2.1) and (2.2) of Temple’s type, and...In this paper, we first summarize several applications of the flux approximation method on hyperbolic conservation systems. Then, we introduce two hyperbolic conservation systems (2.1) and (2.2) of Temple’s type, and prove that the global weak solutions of each system could be obtained by the limit of the linear combination of two systems.展开更多
An efficient high-order immersed interface method (IIM) is proposed to solve two-dimensional (2D) heat problems with fixed interfaces on Cartesian grids, which has the fourth-order accuracy in the maximum norm in ...An efficient high-order immersed interface method (IIM) is proposed to solve two-dimensional (2D) heat problems with fixed interfaces on Cartesian grids, which has the fourth-order accuracy in the maximum norm in both time and space directions. The space variable is discretized by a high-order compact (HOC) difference scheme with correction terms added at the irregular points. The time derivative is integrated by a Crank-Nicolson and alternative direction implicit (ADI) scheme. In this case, the time accuracy is just second-order. The Richardson extrapolation method is used to improve the time accuracy to fourth-order. The numerical results confirm the convergence order and the efficiency of the method.展开更多
An existence result on Ky Fan type best approximation is proved. For this pur- pose, a class of factorizable multifunctions and the other one being a demicontinuous, rela- tive almost quasi-convex, onto function on an...An existence result on Ky Fan type best approximation is proved. For this pur- pose, a class of factorizable multifunctions and the other one being a demicontinuous, rela- tive almost quasi-convex, onto function on an approximately weakly compact, convex sub- set of Hausdorff locally convex topological vector space are used. As consequence, this result extends the best approximation results of Basha and Veeramani[8] and many others.展开更多
In this paper,we study some dentabilities in Banach spaces which are closely related to the famous Radon-Nikodym property.We introduce the concepts of the weak^(*)-weak denting point and the weak^(*)-weak^(*)denting p...In this paper,we study some dentabilities in Banach spaces which are closely related to the famous Radon-Nikodym property.We introduce the concepts of the weak^(*)-weak denting point and the weak^(*)-weak^(*)denting point of a set.These are the generalizations of the weak^(*)denting point of a set in a dual Banach space.By use of the weak^(*)-weak denting point,we characterize the very smooth space,the point of weak^(*)-weak continuity,and the extreme point of a unit ball in a dual Banach space.Meanwhile,we also characterize an approximatively weak compact Chebyshev set in dual Banach spaces.Moreover,we define the nearly weak dentability in Banach spaces,which is a generalization of near dentability.We prove the necessary and sufficient conditions of the reflexivity by nearly weak dentability.We also obtain that nearly weak dentability is equivalent to both the approximatively weak compactness of Banach spaces and the w-strong proximinality of every closed convex subset of Banach spaces.展开更多
Based on a characterization of upper semi-Fredholm operators due to A.Lebow and M.Schechter,we introduce and investigate a new quantity characterizing upper semi-Fredholm operators.This quantity and several well-known...Based on a characterization of upper semi-Fredholm operators due to A.Lebow and M.Schechter,we introduce and investigate a new quantity characterizing upper semi-Fredholm operators.This quantity and several well-known quantities are used to characterize bounded compact approximation property.Similarly,a new quantity characterizing lower semi-Fredholm operators is introduced,investigated and used to characterize the bounded compact approximation property for dual spaces.展开更多
We derive in this paper a time stable seventh-order dissipative compact finite difference scheme with simultaneous approximation terms(SATs) for solving two-dimensional Euler equations. To stabilize the scheme, the ch...We derive in this paper a time stable seventh-order dissipative compact finite difference scheme with simultaneous approximation terms(SATs) for solving two-dimensional Euler equations. To stabilize the scheme, the choice of penalty coefficients for SATs is studied in detail. It is demonstrated that the derived scheme is quite suitable for multi-block problems with different spacial steps. The implementation of the scheme for the case with curvilinear grids is also discussed.Numerical experiments show that the proposed scheme is stable and achieves the design seventh-order convergence rate.展开更多
A new method was proposed for constructing total variation diminishing (TVD) upwind schemes in conservation forms. Two limiters were used to prevent nonphysical oscillations across discontinuity. Both limiters can e...A new method was proposed for constructing total variation diminishing (TVD) upwind schemes in conservation forms. Two limiters were used to prevent nonphysical oscillations across discontinuity. Both limiters can ensure the nonlinear compact schemes TVD property. Two compact TVD (CTVD) schemes were tested, one is thirdorder accuracy, and the other is fifth-order. The performance of the numerical algorithms was assessed by one-dimensional complex waves and Riemann problems, as well as a twodimensional shock-vortex interaction and a shock-boundary flow interaction. Numerical results show their high-order accuracy and high resolution, and low oscillations across discontinuities.展开更多
A global seventh-order dissipative compact finite-difference scheme is optimized in terms of time stability. The dissipative parameters appearing in the boundary closures are assumed to be different, resulting in an o...A global seventh-order dissipative compact finite-difference scheme is optimized in terms of time stability. The dissipative parameters appearing in the boundary closures are assumed to be different, resulting in an optimization problem with several parameters determined by applying a generic algorithm. The optimized schemes are analyzed carefully from the aspects of the eigenvalue distribution, the ε-pseudospectra, the short time behavior, and the Fourier analysis. Numerical experiments for the Euler equations are used to show the effectiveness of the final recommended scheme.展开更多
Numerical simulation of complex flow fields with multi-scale structures is one of the most important and challenging branches of computational fluid dynamics. From linear analysis and numerical experiments it has been...Numerical simulation of complex flow fields with multi-scale structures is one of the most important and challenging branches of computational fluid dynamics. From linear analysis and numerical experiments it has been discovered that the higher-order accurate method can give reliable and efficient computational results, as well as better resolution of the complex flow fields with multi-scale structures. Compact finite difference schemes, which feature higher-order accuracy and spectral-like resolution with smaller stencils and easier application of boundary conditions, has attracted more and more interest and attention.展开更多
Classical facet elements do not provide an optimal rate of convergence of the numerical solution toward the solution of the exact problem in H(div)-norm for general unstructured meshes containing hexahedra and prisms....Classical facet elements do not provide an optimal rate of convergence of the numerical solution toward the solution of the exact problem in H(div)-norm for general unstructured meshes containing hexahedra and prisms.We propose two new families of high-order elements for hexahedra,triangular prisms and pyramids that recover the optimal convergence.These elements have compatible restrictions with each other,such that they can be used directly on general hybrid meshes.Moreover the H(div)proposed spaces are completing the De Rham diagram with optimal elements previously constructed for H1 and H(curl)approximation.The obtained pyramidal elements are compared theoretically and numerically with other elements of the literature.Eventually,numerical results demonstrate the efficiency of the finite elements constructed.展开更多
In this paper, we introduce high-order finite volume methods for the multi-term time fractional sub-diffusion equation. The time fractional derivatives are described in Caputo’s sense. By using some operators, we obt...In this paper, we introduce high-order finite volume methods for the multi-term time fractional sub-diffusion equation. The time fractional derivatives are described in Caputo’s sense. By using some operators, we obtain the compact finite volume scheme have high order accuracy. We use a compact operator to deal with spatial direction;then we can get the compact finite volume scheme. It is proved that the finite volume scheme is unconditionally stable and convergent in L<sub>∞</sub>-norm. The convergence order is O(τ<sup>2-α</sup> + h<sup>4</sup>). Finally, two numerical examples are given to confirm the theoretical results. Some tables listed also can explain the stability and convergence of the scheme.展开更多
In the present paper, high-order finite volume schemes on unstructured grids developed in our previous papers are extended to solve three-dimensional inviscid and viscous flows. The highorder variational reconstructio...In the present paper, high-order finite volume schemes on unstructured grids developed in our previous papers are extended to solve three-dimensional inviscid and viscous flows. The highorder variational reconstruction technique in terms of compact stencil is improved to reduce local condition numbers. To further improve the efficiency of computation, the adaptive mesh refinement technique is implemented in the framework of high-order finite volume methods. Mesh refinement and coarsening criteria are chosen to be the indicators for certain flow structures. One important challenge of the adaptive mesh refinement technique on unstructured grids is the dynamic load balancing in parallel computation. To solve this problem, the open-source library p4 est based on the forest of octrees is adopted. Several two-and three-dimensional test cases are computed to verify the accuracy and robustness of the proposed numerical schemes.展开更多
In this paper, the notion of the bounded compact approximation property (BCAP) of a pair [Banach space and its subspace] is used to prove that if X is a closed subspace of Eoo with the BCAP, then L∞/X has the BCAP....In this paper, the notion of the bounded compact approximation property (BCAP) of a pair [Banach space and its subspace] is used to prove that if X is a closed subspace of Eoo with the BCAP, then L∞/X has the BCAP. We also show that X* has the A-BCAP with conjugate operators if and only if the pair (X, Y) has the A-BCAP for each finite codimensional subspace Y C X. Let M be a closed subspace of X such that M~ is complemented in X*. If X has the (bounded) approximation property of order p, then M has the (bounded) approximation property of order p.展开更多
对高阶紧致(high order compact)方法进行了详细的讨论和简洁的评述.这就是:回顾了方法的发展历史,指出了方法优点,分析了方法的基本特征、构造方式和应用现状,预示了它的近期发展和研究形势.特别地,就方法的数学基础——有理逼近和P...对高阶紧致(high order compact)方法进行了详细的讨论和简洁的评述.这就是:回顾了方法的发展历史,指出了方法优点,分析了方法的基本特征、构造方式和应用现状,预示了它的近期发展和研究形势.特别地,就方法的数学基础——有理逼近和Pade逼近进行了归纳.在文章中提供了丰富的方法信息和大量的有关公式.展开更多
文摘In this paper, a family of high-order compact finite difference methods in combination preconditioned methods are used for solution of the Diffusion-Convection equation. We developed numerical methods by replacing the time and space derivatives by compact finite-difference approximations. The system of resulting nonlinear finite difference equations are solved by preconditioned Krylov subspace methods. Numerical results are given to verify the behavior of high-order compact approximations in combination preconditioned methods for stability, convergence. Also, the accuracy and efficiency of the proposed scheme are considered.
文摘In the present paper, we deal with the complex Szasz-Durrmeyer operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth on compact disks. Also, the exact order of approximation is found.
基金supported by the National Natural Science Foundation of China(No.11601517)the Basic Research Foundation of National University of Defense Technology(No.ZDYYJ-CYJ20140101)
文摘To ensure time stability of a seventh-order dissipative compact finite difference scheme, fourth-order boundary closures are used near domain boundaries previously. However, this would reduce the global convergence rate to fifth-order only. In this paper, we elevate the boundary closures to sixth-order to achieve seventh-order global accuracy. To keep the improved scheme time stable, the simultaneous approximation terms (SATs) are used to impose boundary conditions weakly. Eigenvalue analysis shows that the improved scheme is time stable. Numerical experiments for linear advection equations and one-dimensional Euler equations are implemented to validate the new scheme.
文摘In this paper, we deal with the complex Baskakov-Szasz-Durrmeyer mixed operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth in DR = {z ∈ C; |z| 〈 R}. Also, the exact order of approximation is found. The method used allows to construct complex Szasz-type and Baskakov-type approximation operators without involving the values on [0,∞).
基金supported by the National Natural Science Foundation of China(11671252)supported by the National Natural Science Foundation of China(11771278)
文摘In this article, we prove the following results: (1) A Banach space X is weak midpoint locally k-uniformly rotund if and only if every closed ball of X is an approximatively weakly compact k-Chebyshev set; (2) A Banach space X is midpoint locally k-uniformly rotund if and only if every closed ball of X is an approximatively compact k-Chebyshev set.
基金supported by the Research Council of Norway through theprojects Nonlinear Problems in Mathematical Analysis Waves In Fluids and Solids+2 种基金 Outstanding Young Inves-tigators Award (KHK), the Russian Foundation for Basic Research (grant No. 09-01-00490-a) DFGproject No. 436 RUS 113/895/0-1 (EYuP)
文摘Under a non-degeneracy condition on the nonlinearities we show that sequences of approximate entropy solutions of mixed elliptic-hyperbolic equations are strongly precompact in the general case of a Caratheodory flux vector. The proofs are based on deriving localization principles for H-measures associated to sequences of measurevalued functions. This main result implies existence of solutions to degenerate parabolic convection-diffusion equations with discontinuous flux. Moreover, it provides a framework in which one can prove convergence of various types of approximate solutions, such as those generated by the vanishing viscosity method and numerical schemes.
文摘In this paper, we first summarize several applications of the flux approximation method on hyperbolic conservation systems. Then, we introduce two hyperbolic conservation systems (2.1) and (2.2) of Temple’s type, and prove that the global weak solutions of each system could be obtained by the limit of the linear combination of two systems.
基金supported by the National Natural Science Foundation of China(No.51174236)the National Basic Research Program of China(973 Program)(No.2011CB606306)the Opening Project of State Key Laboratory of Porous Metal Materials(No.PMM-SKL-4-2012)
文摘An efficient high-order immersed interface method (IIM) is proposed to solve two-dimensional (2D) heat problems with fixed interfaces on Cartesian grids, which has the fourth-order accuracy in the maximum norm in both time and space directions. The space variable is discretized by a high-order compact (HOC) difference scheme with correction terms added at the irregular points. The time derivative is integrated by a Crank-Nicolson and alternative direction implicit (ADI) scheme. In this case, the time accuracy is just second-order. The Richardson extrapolation method is used to improve the time accuracy to fourth-order. The numerical results confirm the convergence order and the efficiency of the method.
文摘An existence result on Ky Fan type best approximation is proved. For this pur- pose, a class of factorizable multifunctions and the other one being a demicontinuous, rela- tive almost quasi-convex, onto function on an approximately weakly compact, convex sub- set of Hausdorff locally convex topological vector space are used. As consequence, this result extends the best approximation results of Basha and Veeramani[8] and many others.
基金supported by the National Natural Science Foundation of China(12271344)the Natural Science Foundation of Shanghai(23ZR1425800)。
文摘In this paper,we study some dentabilities in Banach spaces which are closely related to the famous Radon-Nikodym property.We introduce the concepts of the weak^(*)-weak denting point and the weak^(*)-weak^(*)denting point of a set.These are the generalizations of the weak^(*)denting point of a set in a dual Banach space.By use of the weak^(*)-weak denting point,we characterize the very smooth space,the point of weak^(*)-weak continuity,and the extreme point of a unit ball in a dual Banach space.Meanwhile,we also characterize an approximatively weak compact Chebyshev set in dual Banach spaces.Moreover,we define the nearly weak dentability in Banach spaces,which is a generalization of near dentability.We prove the necessary and sufficient conditions of the reflexivity by nearly weak dentability.We also obtain that nearly weak dentability is equivalent to both the approximatively weak compactness of Banach spaces and the w-strong proximinality of every closed convex subset of Banach spaces.
基金supported by the National Natural Science Foundation of China(Grant No.11971403)the Natural Science Foundation of Fujian Province of China(Grant No.2019J01024)。
文摘Based on a characterization of upper semi-Fredholm operators due to A.Lebow and M.Schechter,we introduce and investigate a new quantity characterizing upper semi-Fredholm operators.This quantity and several well-known quantities are used to characterize bounded compact approximation property.Similarly,a new quantity characterizing lower semi-Fredholm operators is introduced,investigated and used to characterize the bounded compact approximation property for dual spaces.
基金Project supported by the National Natural Science Foundation of China(Grant No.11601517)the Basic Research Foundation of National University of Defense Technology(Grant No.ZDYYJ-CYJ20140101)
文摘We derive in this paper a time stable seventh-order dissipative compact finite difference scheme with simultaneous approximation terms(SATs) for solving two-dimensional Euler equations. To stabilize the scheme, the choice of penalty coefficients for SATs is studied in detail. It is demonstrated that the derived scheme is quite suitable for multi-block problems with different spacial steps. The implementation of the scheme for the case with curvilinear grids is also discussed.Numerical experiments show that the proposed scheme is stable and achieves the design seventh-order convergence rate.
基金Project supported by the National Natural Science Foundation of China (Nos. 10172015 and 90205010)
文摘A new method was proposed for constructing total variation diminishing (TVD) upwind schemes in conservation forms. Two limiters were used to prevent nonphysical oscillations across discontinuity. Both limiters can ensure the nonlinear compact schemes TVD property. Two compact TVD (CTVD) schemes were tested, one is thirdorder accuracy, and the other is fifth-order. The performance of the numerical algorithms was assessed by one-dimensional complex waves and Riemann problems, as well as a twodimensional shock-vortex interaction and a shock-boundary flow interaction. Numerical results show their high-order accuracy and high resolution, and low oscillations across discontinuities.
基金Project supported by the National Natural Science Foundation of China(Nos.11601517,11502296,61772542,and 61561146395)the Basic Research Foundation of National University of Defense Technology(No.ZDYYJ-CYJ20140101)
文摘A global seventh-order dissipative compact finite-difference scheme is optimized in terms of time stability. The dissipative parameters appearing in the boundary closures are assumed to be different, resulting in an optimization problem with several parameters determined by applying a generic algorithm. The optimized schemes are analyzed carefully from the aspects of the eigenvalue distribution, the ε-pseudospectra, the short time behavior, and the Fourier analysis. Numerical experiments for the Euler equations are used to show the effectiveness of the final recommended scheme.
文摘Numerical simulation of complex flow fields with multi-scale structures is one of the most important and challenging branches of computational fluid dynamics. From linear analysis and numerical experiments it has been discovered that the higher-order accurate method can give reliable and efficient computational results, as well as better resolution of the complex flow fields with multi-scale structures. Compact finite difference schemes, which feature higher-order accuracy and spectral-like resolution with smaller stencils and easier application of boundary conditions, has attracted more and more interest and attention.
文摘Classical facet elements do not provide an optimal rate of convergence of the numerical solution toward the solution of the exact problem in H(div)-norm for general unstructured meshes containing hexahedra and prisms.We propose two new families of high-order elements for hexahedra,triangular prisms and pyramids that recover the optimal convergence.These elements have compatible restrictions with each other,such that they can be used directly on general hybrid meshes.Moreover the H(div)proposed spaces are completing the De Rham diagram with optimal elements previously constructed for H1 and H(curl)approximation.The obtained pyramidal elements are compared theoretically and numerically with other elements of the literature.Eventually,numerical results demonstrate the efficiency of the finite elements constructed.
文摘In this paper, we introduce high-order finite volume methods for the multi-term time fractional sub-diffusion equation. The time fractional derivatives are described in Caputo’s sense. By using some operators, we obtain the compact finite volume scheme have high order accuracy. We use a compact operator to deal with spatial direction;then we can get the compact finite volume scheme. It is proved that the finite volume scheme is unconditionally stable and convergent in L<sub>∞</sub>-norm. The convergence order is O(τ<sup>2-α</sup> + h<sup>4</sup>). Finally, two numerical examples are given to confirm the theoretical results. Some tables listed also can explain the stability and convergence of the scheme.
基金supported by the National Natural Science Foundation of China(Nos.91752114 and 11672160)
文摘In the present paper, high-order finite volume schemes on unstructured grids developed in our previous papers are extended to solve three-dimensional inviscid and viscous flows. The highorder variational reconstruction technique in terms of compact stencil is improved to reduce local condition numbers. To further improve the efficiency of computation, the adaptive mesh refinement technique is implemented in the framework of high-order finite volume methods. Mesh refinement and coarsening criteria are chosen to be the indicators for certain flow structures. One important challenge of the adaptive mesh refinement technique on unstructured grids is the dynamic load balancing in parallel computation. To solve this problem, the open-source library p4 est based on the forest of octrees is adopted. Several two-and three-dimensional test cases are computed to verify the accuracy and robustness of the proposed numerical schemes.
基金supported by National Natural Science Foundation of China(Grant Nos.10526034 and 10701063)the Fundamental Research Funds for the Central Universities(Grant No.2011121039)supported by NSF(Grant Nos.DMS-0800061 and DMS-1068838)
文摘In this paper, the notion of the bounded compact approximation property (BCAP) of a pair [Banach space and its subspace] is used to prove that if X is a closed subspace of Eoo with the BCAP, then L∞/X has the BCAP. We also show that X* has the A-BCAP with conjugate operators if and only if the pair (X, Y) has the A-BCAP for each finite codimensional subspace Y C X. Let M be a closed subspace of X such that M~ is complemented in X*. If X has the (bounded) approximation property of order p, then M has the (bounded) approximation property of order p.
文摘对高阶紧致(high order compact)方法进行了详细的讨论和简洁的评述.这就是:回顾了方法的发展历史,指出了方法优点,分析了方法的基本特征、构造方式和应用现状,预示了它的近期发展和研究形势.特别地,就方法的数学基础——有理逼近和Pade逼近进行了归纳.在文章中提供了丰富的方法信息和大量的有关公式.