For the formal presentation about the definite problems of ultra-hyperbolic equations, the famous Asgeirsson mean value theorem has answered that Cauchy problems are ill-posed to ultra-hyperbolic partial differential ...For the formal presentation about the definite problems of ultra-hyperbolic equations, the famous Asgeirsson mean value theorem has answered that Cauchy problems are ill-posed to ultra-hyperbolic partial differential equations of the second-order. So it is important to develop Asgeirsson mean value theorem. The mean value of solution for the higher order equation hay been discussed primarily and has no exact result at present. The mean value theorem for the higher order equation can be deduced and satisfied generalized biaxial symmetry potential equation by using the result of Asgeirsson mean value theorem and the properties of derivation and integration. Moreover, the mean value formula can be obtained by using the regular solutions of potential equation and the special properties of Jacobi polynomials. Its converse theorem is also proved. The obtained results make it possible to discuss on continuation of the solutions and well posed problem.展开更多
The mean value theorem for derivatives says that for a given function over a closed and bounded interval, there is a point <em>P</em> on the graph such that the tangent at <em>P</em> is paralle...The mean value theorem for derivatives says that for a given function over a closed and bounded interval, there is a point <em>P</em> on the graph such that the tangent at <em>P</em> is parallel to the secant through the two endpoints. The mean value theorem for definite integrals says that the area under the function is equal to the area of a rectangle whose base is the length of the interval and height of some point <em>Q</em> on the graph. These two theorems have been studied and utilized extensively and they form the backbone of many important theorems in different branches of mathematics. In this note, we pose the question: for what functions do the two points <em>P </em>and <em>Q</em> always coincide? We find that the only analytic functions satisfying this condition are linear or exponential functions.展开更多
By using cone theory and the MSnch fixed theorem combined with a monotone iterative technique, we investigate the existence of positive solutions for systems of second- order nonlinear singular differential equations ...By using cone theory and the MSnch fixed theorem combined with a monotone iterative technique, we investigate the existence of positive solutions for systems of second- order nonlinear singular differential equations with integral boundary conditions on infinite interval and establish the existence theorem of positive solutions and iterative sequence for approximating the positive solutions. The results in this paper improve some known results.展开更多
Characteristics of Mode I crack near the interface of elasticity matched but plasticity and strength mismatched materials differ from those of the crack in a homogenous body. Interface body of different strength influ...Characteristics of Mode I crack near the interface of elasticity matched but plasticity and strength mismatched materials differ from those of the crack in a homogenous body. Interface body of different strength influences the plastic or cohesive zone at the crack tip in parent body. The mathematical model for load line opening of the crack near the interface in linear elastic regime involves singular integrals. The paper presents explicit solution of these integrals with the help of Cauchy’s principal value theorem. Cases of thin and thick welds between the materials are investigated. Solutions of the integrals are well substantiated. Final results are provided in a consolidated form.展开更多
In this paper, observer design for an induction motor has been investigated. The peculiarity of this paper is the synthesis of a mono-Luenberger observer for highly coupled system. To transform the nonlinear error dyn...In this paper, observer design for an induction motor has been investigated. The peculiarity of this paper is the synthesis of a mono-Luenberger observer for highly coupled system. To transform the nonlinear error dynamics for the induction motor into the linear parametric varying (LPV) system, the differential mean value theorem combined with the sector nonlinearity transformation has been used. Stability conditions based on the Lyapunov function lead to solvability of a set of linear matrix inequalities. The proposed observer guarantees the global exponential convergence to zero of the estimation error. Finally, the simulation results are given to show the performance of the observer design.展开更多
The problem of state feedback controllers for a class of Takagi-Sugeno (T-S) Lipschitz nonlinear systems is investigated. A simple systematic and useful synthesis method is proposed based on the use of the different...The problem of state feedback controllers for a class of Takagi-Sugeno (T-S) Lipschitz nonlinear systems is investigated. A simple systematic and useful synthesis method is proposed based on the use of the differential mean value theorem (DMVT) and convex theory. The proposed design approach is based on the mean value theorem (MVT) to express the nonlinear error dynamics as a convex combination of known matrices with time varying coefficients as linear parameter varying (LPV) systems. Using the Lyapunov theory, stability conditions are obtained and expressed in terms of linear matrix inequalities (LMIs). The controller gains are then obtained by solving linear matrix inequalities. The effectiveness of the proposed approach for closed loop-field oriented control (CL-FOC) of permanent magnet synchronous machine (PMSM) drives is demonstrated through an illustrative simulation for the proof of these approaches. Furthermore, an extension for controller design with parameter uncertainties and perturbation performance is discussed.展开更多
The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integ...The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.展开更多
文摘For the formal presentation about the definite problems of ultra-hyperbolic equations, the famous Asgeirsson mean value theorem has answered that Cauchy problems are ill-posed to ultra-hyperbolic partial differential equations of the second-order. So it is important to develop Asgeirsson mean value theorem. The mean value of solution for the higher order equation hay been discussed primarily and has no exact result at present. The mean value theorem for the higher order equation can be deduced and satisfied generalized biaxial symmetry potential equation by using the result of Asgeirsson mean value theorem and the properties of derivation and integration. Moreover, the mean value formula can be obtained by using the regular solutions of potential equation and the special properties of Jacobi polynomials. Its converse theorem is also proved. The obtained results make it possible to discuss on continuation of the solutions and well posed problem.
文摘The mean value theorem for derivatives says that for a given function over a closed and bounded interval, there is a point <em>P</em> on the graph such that the tangent at <em>P</em> is parallel to the secant through the two endpoints. The mean value theorem for definite integrals says that the area under the function is equal to the area of a rectangle whose base is the length of the interval and height of some point <em>Q</em> on the graph. These two theorems have been studied and utilized extensively and they form the backbone of many important theorems in different branches of mathematics. In this note, we pose the question: for what functions do the two points <em>P </em>and <em>Q</em> always coincide? We find that the only analytic functions satisfying this condition are linear or exponential functions.
基金SuppoSed by the NSF of Anhui Provincial Education Depaxtment(KJ2012A265,KJ2012B187)
文摘By using cone theory and the MSnch fixed theorem combined with a monotone iterative technique, we investigate the existence of positive solutions for systems of second- order nonlinear singular differential equations with integral boundary conditions on infinite interval and establish the existence theorem of positive solutions and iterative sequence for approximating the positive solutions. The results in this paper improve some known results.
文摘Characteristics of Mode I crack near the interface of elasticity matched but plasticity and strength mismatched materials differ from those of the crack in a homogenous body. Interface body of different strength influences the plastic or cohesive zone at the crack tip in parent body. The mathematical model for load line opening of the crack near the interface in linear elastic regime involves singular integrals. The paper presents explicit solution of these integrals with the help of Cauchy’s principal value theorem. Cases of thin and thick welds between the materials are investigated. Solutions of the integrals are well substantiated. Final results are provided in a consolidated form.
文摘In this paper, observer design for an induction motor has been investigated. The peculiarity of this paper is the synthesis of a mono-Luenberger observer for highly coupled system. To transform the nonlinear error dynamics for the induction motor into the linear parametric varying (LPV) system, the differential mean value theorem combined with the sector nonlinearity transformation has been used. Stability conditions based on the Lyapunov function lead to solvability of a set of linear matrix inequalities. The proposed observer guarantees the global exponential convergence to zero of the estimation error. Finally, the simulation results are given to show the performance of the observer design.
文摘The problem of state feedback controllers for a class of Takagi-Sugeno (T-S) Lipschitz nonlinear systems is investigated. A simple systematic and useful synthesis method is proposed based on the use of the differential mean value theorem (DMVT) and convex theory. The proposed design approach is based on the mean value theorem (MVT) to express the nonlinear error dynamics as a convex combination of known matrices with time varying coefficients as linear parameter varying (LPV) systems. Using the Lyapunov theory, stability conditions are obtained and expressed in terms of linear matrix inequalities (LMIs). The controller gains are then obtained by solving linear matrix inequalities. The effectiveness of the proposed approach for closed loop-field oriented control (CL-FOC) of permanent magnet synchronous machine (PMSM) drives is demonstrated through an illustrative simulation for the proof of these approaches. Furthermore, an extension for controller design with parameter uncertainties and perturbation performance is discussed.
基金This work was supported by the National Natural Science Foundation of China(Grant No.10331010)
文摘The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.