Under the assumption that the ordering cone has a nonempty interior and is separable （or the feasible set has a nonempty interior and is separable）, we give scalarization theorems on Benson proper effciency. Applyin...Under the assumption that the ordering cone has a nonempty interior and is separable （or the feasible set has a nonempty interior and is separable）, we give scalarization theorems on Benson proper effciency. Applying the results to vector optimization problems with nearly cone-subconvexlike set-valued maps, we obtain scalarization theorems and Lagrange multiplier theorems for Benson proper effcient solutions.展开更多
We propose a new scalarization method which consists in constructing, for a given multiobjective optimization problem, a single scalarization function, whose global minimum points are exactly vector critical points of...We propose a new scalarization method which consists in constructing, for a given multiobjective optimization problem, a single scalarization function, whose global minimum points are exactly vector critical points of the original problem. This equivalence holds globally and enables one to use global optimization algorithms (for example, classical genetic algorithms with “roulette wheel” selection) to produce multiple solutions of the multiobjective problem. In this article we prove the mentioned equivalence and show that, if the ordering cone is polyhedral and the function being optimized is piecewise differentiable, then computing the values of a scalarization function reduces to solving a quadratic programming problem. We also present some preliminary numerical results pertaining to this new method.展开更多
In this paper,we construct two fully decoupled,second-order semi-discrete numerical schemes for the Boussinesq equations based on the scalar auxiliary variable(SAV)approach.By introducing a scalar auxiliary variable,t...In this paper,we construct two fully decoupled,second-order semi-discrete numerical schemes for the Boussinesq equations based on the scalar auxiliary variable(SAV)approach.By introducing a scalar auxiliary variable,the original Boussinesq system is transformed into an equivalent one.Then we discretize it using the second-order backward di erentiation formula(BDF2)and Crank-Nicolson(CN)to obtain two second-order time-advanced schemes.In both numerical schemes,a pressure-correction method is employed to decouple the velocity and pressure.These two schemes possess the desired property that they can be fully decoupled with satisfying unconditional stability.We rigorously prove both the unconditional stability and unique solvability of the discrete schemes.Furthermore,we provide detailed implementations of the decoupling procedures.Finally,various 2D numerical simulations are performed to verify the accuracy and energy stability of the proposed schemes.展开更多
In this work,we construct two efficient fully decoupled,linear,unconditionally stable numerical algorithms for the thermally coupled incompressible magnetohydrodynamic equations.Firstly,in order to obtain the desired ...In this work,we construct two efficient fully decoupled,linear,unconditionally stable numerical algorithms for the thermally coupled incompressible magnetohydrodynamic equations.Firstly,in order to obtain the desired algorithm,we introduce a scalar auxiliary variable(SAV)to get a new equivalent system.Secondly,by combining the pressure-correction method and the explicit-implicit method,we perform semi-discrete numerical algorithms of first and second order,respectively.Then,we prove that the obtained algorithms follow an unconditionally stable law in energy,and we provide a detailed implementation process,which we only need to solve a series of linear differential equations with constant coefficients at each time step.More importantly,with some powerful analysis,we give the order of convergence of the errors.Finally,to illustrate theoretical results,some numerical experiments are given.展开更多
In this paper,we construct a new class of efficient and high-order schemes for the Cahn-Hilliard-Navier-Stokes equations with periodic boundary conditions.These schemes are based on two types of scalar auxiliary varia...In this paper,we construct a new class of efficient and high-order schemes for the Cahn-Hilliard-Navier-Stokes equations with periodic boundary conditions.These schemes are based on two types of scalar auxiliary variable approaches.By using a new pressure correction method,the accuracy of the pressure has been greatly improved.Furthermore,one only needs to solve a series of fully decoupled linear equations with constant coefficients at each time step.In addition,we prove the unconditional energy stability of the schemes,rigorously.Finally,plenty of numerical simulations are carried out to verify the convergence rates,stability,and effectiveness of the proposed schemes numerically.展开更多
From[J.Differential Geom.,1990,31(1):285-299],one can obtain that compact self-shrinking hypersufaces in R^(n+1) with constant scalar curvature must be the standard sphere S^(n)(√n)(cf.[Front.Math.,2023,18(2):417-430...From[J.Differential Geom.,1990,31(1):285-299],one can obtain that compact self-shrinking hypersufaces in R^(n+1) with constant scalar curvature must be the standard sphere S^(n)(√n)(cf.[Front.Math.,2023,18(2):417-430]).This result was generalized by Guo[J.Math.Soc.Japan,2018,70(3):1103-1110]with assumption of a lower or upper scalar curvature bound.In this paper,we will generalize the scalar curvature rigidity theorem of Guo to the case of λ-hypersurfaces.We will also give an alternative proof of the theorem(cf.[2014,arXiv:1410.5302]and[Proc.Amer.Math.Soc.,2018,146(10):4459-4471])that λ-hypersurfaces which are entire graphs must be hyperplanes.展开更多
基金Supported by the National Natural Science Foundation of China (10571035,10871141)
文摘Under the assumption that the ordering cone has a nonempty interior and is separable （or the feasible set has a nonempty interior and is separable）, we give scalarization theorems on Benson proper effciency. Applying the results to vector optimization problems with nearly cone-subconvexlike set-valued maps, we obtain scalarization theorems and Lagrange multiplier theorems for Benson proper effcient solutions.
文摘We propose a new scalarization method which consists in constructing, for a given multiobjective optimization problem, a single scalarization function, whose global minimum points are exactly vector critical points of the original problem. This equivalence holds globally and enables one to use global optimization algorithms (for example, classical genetic algorithms with “roulette wheel” selection) to produce multiple solutions of the multiobjective problem. In this article we prove the mentioned equivalence and show that, if the ordering cone is polyhedral and the function being optimized is piecewise differentiable, then computing the values of a scalarization function reduces to solving a quadratic programming problem. We also present some preliminary numerical results pertaining to this new method.
基金Supported by Research Project Supported by Shanxi Scholarship Council of China(2021-029)International Cooperation Base and Platform Project of Shanxi Province(202104041101019)+2 种基金Basic Research Plan of Shanxi Province(202203021211129)Shanxi Province Natural Science Research(202203021212249)Special/Youth Foundation of Taiyuan University of Technology(2022QN101)。
文摘In this paper,we construct two fully decoupled,second-order semi-discrete numerical schemes for the Boussinesq equations based on the scalar auxiliary variable(SAV)approach.By introducing a scalar auxiliary variable,the original Boussinesq system is transformed into an equivalent one.Then we discretize it using the second-order backward di erentiation formula(BDF2)and Crank-Nicolson(CN)to obtain two second-order time-advanced schemes.In both numerical schemes,a pressure-correction method is employed to decouple the velocity and pressure.These two schemes possess the desired property that they can be fully decoupled with satisfying unconditional stability.We rigorously prove both the unconditional stability and unique solvability of the discrete schemes.Furthermore,we provide detailed implementations of the decoupling procedures.Finally,various 2D numerical simulations are performed to verify the accuracy and energy stability of the proposed schemes.
基金Supported by Research Project Supported by Shanxi Scholarship Council of China(2021-029)Shanxi Provincial International Cooperation Base and Platform Project(202104041101019)Shanxi Province Natural Science Foundation(202203021211129)。
文摘In this work,we construct two efficient fully decoupled,linear,unconditionally stable numerical algorithms for the thermally coupled incompressible magnetohydrodynamic equations.Firstly,in order to obtain the desired algorithm,we introduce a scalar auxiliary variable(SAV)to get a new equivalent system.Secondly,by combining the pressure-correction method and the explicit-implicit method,we perform semi-discrete numerical algorithms of first and second order,respectively.Then,we prove that the obtained algorithms follow an unconditionally stable law in energy,and we provide a detailed implementation process,which we only need to solve a series of linear differential equations with constant coefficients at each time step.More importantly,with some powerful analysis,we give the order of convergence of the errors.Finally,to illustrate theoretical results,some numerical experiments are given.
基金Supported by the Research Project Supported of Shanxi Scholarship Council of China(No.2021-029)Shanxi Provincial International Cooperation Base and Platform Project(202104041101019)Shanxi Province Natural Science Research(202203021211129)。
文摘In this paper,we construct a new class of efficient and high-order schemes for the Cahn-Hilliard-Navier-Stokes equations with periodic boundary conditions.These schemes are based on two types of scalar auxiliary variable approaches.By using a new pressure correction method,the accuracy of the pressure has been greatly improved.Furthermore,one only needs to solve a series of fully decoupled linear equations with constant coefficients at each time step.In addition,we prove the unconditional energy stability of the schemes,rigorously.Finally,plenty of numerical simulations are carried out to verify the convergence rates,stability,and effectiveness of the proposed schemes numerically.
文摘From[J.Differential Geom.,1990,31(1):285-299],one can obtain that compact self-shrinking hypersufaces in R^(n+1) with constant scalar curvature must be the standard sphere S^(n)(√n)(cf.[Front.Math.,2023,18(2):417-430]).This result was generalized by Guo[J.Math.Soc.Japan,2018,70(3):1103-1110]with assumption of a lower or upper scalar curvature bound.In this paper,we will generalize the scalar curvature rigidity theorem of Guo to the case of λ-hypersurfaces.We will also give an alternative proof of the theorem(cf.[2014,arXiv:1410.5302]and[Proc.Amer.Math.Soc.,2018,146(10):4459-4471])that λ-hypersurfaces which are entire graphs must be hyperplanes.
