The purpose of this paper is to study the weak convergence problems of the implicity iteration process for Lipschitzian pseudocontractive semi-groups in the general Banach spaces. The results presented in this paper e...The purpose of this paper is to study the weak convergence problems of the implicity iteration process for Lipschitzian pseudocontractive semi-groups in the general Banach spaces. The results presented in this paper extend and improve the corresponding results of some people.展开更多
In this paper, by using the techniques of differential inequalities, we prove the existence of the solutions of a singularly perturbed boundary value problem for the third order semilinear differential equation with a...In this paper, by using the techniques of differential inequalities, we prove the existence of the solutions of a singularly perturbed boundary value problem for the third order semilinear differential equation with a turning point.展开更多
In this paper, using the context of complete partial metric spaces, some common fixed point results of maps that satisfy the generalized （ψ, Ф）-weak contractive conditions are obtained. Our results generalize, ext...In this paper, using the context of complete partial metric spaces, some common fixed point results of maps that satisfy the generalized （ψ, Ф）-weak contractive conditions are obtained. Our results generalize, extend, unify, enrich and complement many existing results in the literature. Example are given showing the validaty of our results.展开更多
Semi-implicit direct kinetics(SIDK)is an innovative method for the temporal discretization of neutronic equations proposed by J.Banfield.The key approximation of the SIDK method is to substitute a timeaveraged quantit...Semi-implicit direct kinetics(SIDK)is an innovative method for the temporal discretization of neutronic equations proposed by J.Banfield.The key approximation of the SIDK method is to substitute a timeaveraged quantity for the fission source term in the delayed neutron differential equations.Hence,these equations are decoupled from prompt neutron equations and an explicit analytical representation of precursor groups is obtained,which leads to a significant reduction in computational cost.As the fission source is not known in a time step,the original study suggested using a constant quantity pertaining to the previous time step for this purpose,and a reduction in the size of the time step was proposed to lessen the imposed errors.However,this remedy notably diminishes the main advantage of the SIDK method.We discerned that if the original method is properly introduced into the algorithm of the point-implicit solver along with some modifications,the mentioned drawbacks will be mitigated adequately.To test this idea,a novel multigroup,multi-dimensional diffusion code using the finitevolume method and a point-implicit solver is developed which works in both transient and steady states.In addition to the SIDK,two other kinetic methods,i.e.,direct kinetics and higher-order backward discretization,are programmed into the diffusion code for comparison with the proposed model.The final code is tested at different conditions of two well-known transient benchmark problems.Results indicate that while the accuracy of the improved SIDK is closely comparable with the best available kinetic methods,it reduces the total time required for computation by up to 24%.展开更多
Discusses the use of the notion of fuzzy point to study some basic algebraic structures, such as group, semi group and ideal and then clarifies the links between the fuzzy point approach and the classical fuzzy approach.
Based on the classical(matrix type)input-output analysis,a type of nonlinear (continuous type) conditional Leontief model,input-output equation were introduced,as well as three corresponding questions,namely,solvabili...Based on the classical(matrix type)input-output analysis,a type of nonlinear (continuous type) conditional Leontief model,input-output equation were introduced,as well as three corresponding questions,namely,solvability,continuity and surjectivity,and some fixed point and surjectivity methods in nonlinear analysis were used to deal with these questions. As a result,the main theorems are obtained,which provide some sufficient criterions to solve above questions described by the boundary properties of the enterprises consuming operator.展开更多
Some strong convergence theorems of explicit composite iteration scheme for nonexpansive semi-groups in the framework of Banach spaces are established. Results presented in the paper not only extend and improve the co...Some strong convergence theorems of explicit composite iteration scheme for nonexpansive semi-groups in the framework of Banach spaces are established. Results presented in the paper not only extend and improve the corresponding results of ShiojiTakahashi, Suzuki, Xu and Aleyner-Reich, but also give a partially affirmative answer to the open questions raised by Suzuki and Xu.展开更多
In this paper we shall generalize the definition given in [1] for Lipschitz condition and contractions for functions on a non-metrizable space, besides we shall give more properties of semi-linear uniform spaces.
In this article, we study characterization, stability, and spectral mapping the- orem for Browder＇s essential spectrum, Browder＇s essential defect spectrum and Browder＇s essential approximate point spectrum of clos...In this article, we study characterization, stability, and spectral mapping the- orem for Browder＇s essential spectrum, Browder＇s essential defect spectrum and Browder＇s essential approximate point spectrum of closed densely defined linear operators on Banach spaces.展开更多
In this work, we will discuss Caristi’s fixed point theorem for mapping results introduced in the setting of normed spaces. This work is a generalization of the classical Caristi’s fixed point theorem. Also, Caristi...In this work, we will discuss Caristi’s fixed point theorem for mapping results introduced in the setting of normed spaces. This work is a generalization of the classical Caristi’s fixed point theorem. Also, Caristi’s type of fixed points theorem was partial discussed in Reich, Mizoguchi and Takahashi’s and Amini-Harandi’s results, we developed ideas that many known fixed point theorems can easily be derived from the Caristi theorem.展开更多
Recently, some authors (Li, Yang and Wu, 2014) studied the parameterized preconditioned HSS (PPHSS) method for solving saddle point problems. In this short note, we further discuss the PPHSS method for solving singula...Recently, some authors (Li, Yang and Wu, 2014) studied the parameterized preconditioned HSS (PPHSS) method for solving saddle point problems. In this short note, we further discuss the PPHSS method for solving singular saddle point problems. We prove the semi-convergence of the PPHSS method under some conditions. Numerical experiments are given to illustrate the efficiency of the method with appropriate parameters.展开更多
In this paper is demonstrated a method for reduction of integer factorization problem to an analysis of a sequence of modular elliptic equations. As a result, the paper provides a non-deterministic algorithm that comp...In this paper is demonstrated a method for reduction of integer factorization problem to an analysis of a sequence of modular elliptic equations. As a result, the paper provides a non-deterministic algorithm that computes a factor of a semi-prime integer n=pq, where prime factors p and q are unknown. The proposed algorithm is based on counting points on a sequence of at least four elliptic curves y2=x(x2+b2)(modn) , where b is a control parameter. Although in the worst case, for some n the number of required values of parameter b that must be considered (the number of basic steps of the algorithm) substantially exceeds four, hundreds of computer experiments indicate that the average number of the basic steps does not exceed six. These experiments also confirm all important facts discussed in this paper.展开更多
The aim of this brief paper is to give several results concerning the regional controllability of distributed systems governed by semi-linear parabolic equations. We concentrate on the determination of a control achie...The aim of this brief paper is to give several results concerning the regional controllability of distributed systems governed by semi-linear parabolic equations. We concentrate on the determination of a control achieving internal and boundary regional controllability. The approach is based on an extension of the Hilbert Uniqueness Method (HUM) and Schauder’s fixed point theorem. We give a numerical example developed in internal and boundary sub region. These numerical illustrations show the efficiency of the approach and lead to conjectures.展开更多
A PI control strategy based on fuzzy set-point weighting following was proposed for the active damping control of a hydraulic crane boom system （HCBS）. Two valve-controlled PI controllers, which include a proportion...A PI control strategy based on fuzzy set-point weighting following was proposed for the active damping control of a hydraulic crane boom system （HCBS）. Two valve-controlled PI controllers, which include a proportional feedforward controller based on fuzzy set-point weighting following and a limited semi-integrator（LSI）, are designed respectively. LSI is used to limit output signal and to prevent wind up at the low frequency of the spectrum. By using a range camera and an electronic feedback control, the tip damping on the HCBS can be adjusted artificially. A collaborative control simulation technique of HOPSAN and MATLAB/SIMULINK is applied to the controller design. Simulation results show that the proposed PI control system has less overshoot as well as faster response. The tip damping on the HCBS during operation is improved.展开更多
This paper aims at treating a study of Banach fixed point theorem for mapping results that introduced in the setting of normed space. The classical Banach fixed point theorem is a generalization of this work. A fixed ...This paper aims at treating a study of Banach fixed point theorem for mapping results that introduced in the setting of normed space. The classical Banach fixed point theorem is a generalization of this work. A fixed point theory is a beautiful mixture of Mathematical analysis to explain some conditions in which maps give excellent solutions. Here later many mathematicians used this fixed point theory to establish their results, see for instance, Picard-Lindel of Theorem, The Picard theorem, Implicit function theorem etc. Also, we developed ideas that many of known fixed point theorems can easily be derived from the Banach theorem. It extends some recent works on the extension of Banach contraction principle to metric space with norm spaces.展开更多
The aim of this paper is to give an appropriate numerical method to solve Allen-Cahn equation, with Dirichlet or Neumann boundary condition. The time discretization involves an explicit scheme for the nonlinear part o...The aim of this paper is to give an appropriate numerical method to solve Allen-Cahn equation, with Dirichlet or Neumann boundary condition. The time discretization involves an explicit scheme for the nonlinear part of the operator and an implicit Euler discretization of the linear part. Finite difference schemes are used for the spatial part. This finally leads to the numerical solution of a sparse linear system that can be solved efficiently.展开更多
基金supported by the Natural Science Foundation of Yibin University (No. 2007Z3)
文摘The purpose of this paper is to study the weak convergence problems of the implicity iteration process for Lipschitzian pseudocontractive semi-groups in the general Banach spaces. The results presented in this paper extend and improve the corresponding results of some people.
基金The Projects supported by the National Natural Science Foundation of China
文摘In this paper, by using the techniques of differential inequalities, we prove the existence of the solutions of a singularly perturbed boundary value problem for the third order semilinear differential equation with a turning point.
文摘In this paper, using the context of complete partial metric spaces, some common fixed point results of maps that satisfy the generalized （ψ, Ф）-weak contractive conditions are obtained. Our results generalize, extend, unify, enrich and complement many existing results in the literature. Example are given showing the validaty of our results.
文摘Semi-implicit direct kinetics(SIDK)is an innovative method for the temporal discretization of neutronic equations proposed by J.Banfield.The key approximation of the SIDK method is to substitute a timeaveraged quantity for the fission source term in the delayed neutron differential equations.Hence,these equations are decoupled from prompt neutron equations and an explicit analytical representation of precursor groups is obtained,which leads to a significant reduction in computational cost.As the fission source is not known in a time step,the original study suggested using a constant quantity pertaining to the previous time step for this purpose,and a reduction in the size of the time step was proposed to lessen the imposed errors.However,this remedy notably diminishes the main advantage of the SIDK method.We discerned that if the original method is properly introduced into the algorithm of the point-implicit solver along with some modifications,the mentioned drawbacks will be mitigated adequately.To test this idea,a novel multigroup,multi-dimensional diffusion code using the finitevolume method and a point-implicit solver is developed which works in both transient and steady states.In addition to the SIDK,two other kinetic methods,i.e.,direct kinetics and higher-order backward discretization,are programmed into the diffusion code for comparison with the proposed model.The final code is tested at different conditions of two well-known transient benchmark problems.Results indicate that while the accuracy of the improved SIDK is closely comparable with the best available kinetic methods,it reduces the total time required for computation by up to 24%.
文摘Discusses the use of the notion of fuzzy point to study some basic algebraic structures, such as group, semi group and ideal and then clarifies the links between the fuzzy point approach and the classical fuzzy approach.
文摘Based on the classical(matrix type)input-output analysis,a type of nonlinear (continuous type) conditional Leontief model,input-output equation were introduced,as well as three corresponding questions,namely,solvability,continuity and surjectivity,and some fixed point and surjectivity methods in nonlinear analysis were used to deal with these questions. As a result,the main theorems are obtained,which provide some sufficient criterions to solve above questions described by the boundary properties of the enterprises consuming operator.
基金Project supported by the Natural Science Foundation of Sichuan Province of China(No.2005A132)
文摘Some strong convergence theorems of explicit composite iteration scheme for nonexpansive semi-groups in the framework of Banach spaces are established. Results presented in the paper not only extend and improve the corresponding results of ShiojiTakahashi, Suzuki, Xu and Aleyner-Reich, but also give a partially affirmative answer to the open questions raised by Suzuki and Xu.
文摘In this paper we shall generalize the definition given in [1] for Lipschitz condition and contractions for functions on a non-metrizable space, besides we shall give more properties of semi-linear uniform spaces.
文摘In this article, we study characterization, stability, and spectral mapping the- orem for Browder＇s essential spectrum, Browder＇s essential defect spectrum and Browder＇s essential approximate point spectrum of closed densely defined linear operators on Banach spaces.
文摘In this work, we will discuss Caristi’s fixed point theorem for mapping results introduced in the setting of normed spaces. This work is a generalization of the classical Caristi’s fixed point theorem. Also, Caristi’s type of fixed points theorem was partial discussed in Reich, Mizoguchi and Takahashi’s and Amini-Harandi’s results, we developed ideas that many known fixed point theorems can easily be derived from the Caristi theorem.
文摘Recently, some authors (Li, Yang and Wu, 2014) studied the parameterized preconditioned HSS (PPHSS) method for solving saddle point problems. In this short note, we further discuss the PPHSS method for solving singular saddle point problems. We prove the semi-convergence of the PPHSS method under some conditions. Numerical experiments are given to illustrate the efficiency of the method with appropriate parameters.
文摘In this paper is demonstrated a method for reduction of integer factorization problem to an analysis of a sequence of modular elliptic equations. As a result, the paper provides a non-deterministic algorithm that computes a factor of a semi-prime integer n=pq, where prime factors p and q are unknown. The proposed algorithm is based on counting points on a sequence of at least four elliptic curves y2=x(x2+b2)(modn) , where b is a control parameter. Although in the worst case, for some n the number of required values of parameter b that must be considered (the number of basic steps of the algorithm) substantially exceeds four, hundreds of computer experiments indicate that the average number of the basic steps does not exceed six. These experiments also confirm all important facts discussed in this paper.
文摘The aim of this brief paper is to give several results concerning the regional controllability of distributed systems governed by semi-linear parabolic equations. We concentrate on the determination of a control achieving internal and boundary regional controllability. The approach is based on an extension of the Hilbert Uniqueness Method (HUM) and Schauder’s fixed point theorem. We give a numerical example developed in internal and boundary sub region. These numerical illustrations show the efficiency of the approach and lead to conjectures.
基金This work was supported by the Natural Science Foundation of Hunan Province(No.04JJ6033) and Scientific Research Fund of Hunan ProvincialEducation Department(No. 03C066).
文摘A PI control strategy based on fuzzy set-point weighting following was proposed for the active damping control of a hydraulic crane boom system （HCBS）. Two valve-controlled PI controllers, which include a proportional feedforward controller based on fuzzy set-point weighting following and a limited semi-integrator（LSI）, are designed respectively. LSI is used to limit output signal and to prevent wind up at the low frequency of the spectrum. By using a range camera and an electronic feedback control, the tip damping on the HCBS can be adjusted artificially. A collaborative control simulation technique of HOPSAN and MATLAB/SIMULINK is applied to the controller design. Simulation results show that the proposed PI control system has less overshoot as well as faster response. The tip damping on the HCBS during operation is improved.
文摘This paper aims at treating a study of Banach fixed point theorem for mapping results that introduced in the setting of normed space. The classical Banach fixed point theorem is a generalization of this work. A fixed point theory is a beautiful mixture of Mathematical analysis to explain some conditions in which maps give excellent solutions. Here later many mathematicians used this fixed point theory to establish their results, see for instance, Picard-Lindel of Theorem, The Picard theorem, Implicit function theorem etc. Also, we developed ideas that many of known fixed point theorems can easily be derived from the Banach theorem. It extends some recent works on the extension of Banach contraction principle to metric space with norm spaces.
文摘The aim of this paper is to give an appropriate numerical method to solve Allen-Cahn equation, with Dirichlet or Neumann boundary condition. The time discretization involves an explicit scheme for the nonlinear part of the operator and an implicit Euler discretization of the linear part. Finite difference schemes are used for the spatial part. This finally leads to the numerical solution of a sparse linear system that can be solved efficiently.
