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.展开更多
This paper discusses use of approximations and the Integral Mean Value Theorem to show that 6 coefficients approximately describe the distortions of near surface inhomogeneities on the MT field of a horizontally layer...This paper discusses use of approximations and the Integral Mean Value Theorem to show that 6 coefficients approximately describe the distortions of near surface inhomogeneities on the MT field of a horizontally layered earth model. When these 6 coefficients are considered together with those of the magnetic field of a horizontally layered earth model,the analytic and approximate wave impedance equations can be derived for the MT response of a horizontally layered earth model with near-surface 2-D and 3-D inhomogeneities. These approximate wave impedance equations are used with inverted MT data for 2-D and 3-D forward modelling. Although these 6 coefficients cannot be determined before inversion,initial estimates can be used. The 6 coefficients and the asistivity and thickness of each layer of a horizontally layered earth can be obtained by using published inversion methods. The 6 coefficients give important informaion (depths and resistivities) on the near-surface inhomogenelties.The authors inverted 2-D and 3-D theoretical models for Fast Approximate Inversion of Magnetotelluric (FAIMT) data for a horizontally layered earth with near-surface inhomogeneities compares favorably with traditional invrsion methods, especially for inverting regional or basin structures. This method simplifies computation and gives a reasonable 1 -D geological model with fewer nonuniquenas problems.展开更多
The behavior of the zeros in finite Taylor series approximations of the Riemann Xi function (to the zeta function), of modified Bessel functions and of the Gaussian (bell) function is investigated and illustrated in t...The behavior of the zeros in finite Taylor series approximations of the Riemann Xi function (to the zeta function), of modified Bessel functions and of the Gaussian (bell) function is investigated and illustrated in the complex domain by pictures. It can be seen how the zeros in finite approximations approach to the genuine zeros in the transition to higher-order approximation and in case of the Gaussian (bell) function that they go with great uniformity to infinity in the complex plane. A limiting transition from the modified Bessel functions to a Gaussian function is discussed and represented in pictures. In an Appendix a new building stone to a full proof of the Riemann hypothesis using the Second mean-value theorem is presented.展开更多
In this paper, the solution, more general than [1], of a weak singular integral equation integral(0)(pi)integral(-infinity)(infinity) p(s,psi)d sk(psi)d psi=F(r,theta), (r,theta)epsilon (Q) over bar=Q+partial derivati...In this paper, the solution, more general than [1], of a weak singular integral equation integral(0)(pi)integral(-infinity)(infinity) p(s,psi)d sk(psi)d psi=F(r,theta), (r,theta)epsilon (Q) over bar=Q+partial derivative Q subject to constraint p(s,psi)=0, for (s,psi)=(r,theta)is not an element of Q={r,theta)/F(r,theta)>c*} is found p=2/pi[root w g'(0)+integral(0)(w) root w-u g '(u)du] where k and F are given continuous functions; (s,psi) is a local polar coordinating with origin at M(r,theta); (r,theta) is the global polar coordinating with origin at O(0,0) F(r,theta)=c* (const.) is the boundary contour partial derivative Q of the considered range Q; g(w)=F(r,theta)/[pi k(psi(0))]; g'=dg/dw; w=N-r(2)sin(2)(theta+psi(0)); psi(0) and N are mean values. The solution shown in type (2.19) of [1] is a special case of the above solution and only suits F(r,theta)=w. The solution of a rigid cone contact with elastic half space, more simple and clear than Love's (1939), is given as an example of application.展开更多
In this paper we present a mean value theorem derived from Flett's mean value theorem. It turns out that cubic polynomials have the midpoint of the interval as their mean value point.To answer what class of functi...In this paper we present a mean value theorem derived from Flett's mean value theorem. It turns out that cubic polynomials have the midpoint of the interval as their mean value point.To answer what class of functions have this property,we consider a functional equation associated with this mean value theorem.This equation is then solved in a general setting on abelian groups.展开更多
Fixed point theory is one of the most important subjects in the setting of metric spaces since fixed point theorems can be used to determine the existence and the uniqueness of solutions of such mathematical problems....Fixed point theory is one of the most important subjects in the setting of metric spaces since fixed point theorems can be used to determine the existence and the uniqueness of solutions of such mathematical problems.It is known that many problems in applied sciences and engineering can be formulated as functional equations.Such equations can be transferred to fixed point theorems in an easy manner.Moreover,we use the fixed point theory to prove the existence and uniqueness of solutions of such integral and differential equations.Let X be a non-empty set.A fixed point for a self-mapping T on X is a point𝑒𝑒∈𝑋𝑋that satisfying T e=e.One of the most challenging problems in mathematics is to construct some iterations to faster the calculation or approximation of the fixed point of such problems.Some mathematicians constructed and generated some new iteration schemes to calculate or approximate the fixed point of such problems such as Mann et al.[Mann(1953);Ishikawa(1974);Sintunavarat and Pitea(2016);Berinde(2004b);Agarwal,O’Regan and Sahu(2007)].The main purpose of the present paper is to introduce and construct a new iteration scheme to calculate or approximate the fixed point within a fewer number of steps as much as we can.We prove that our iteration scheme is faster than the iteration schemes given by Sintunavarat et al.[Sintunavarat and Pitea(2016);Agarwal,O’Regan and Sahu(2007);Mann(1953);Ishikawa(1974)].We give some numerical examples by using MATLAB to compare the efficiency and effectiveness of our iterations scheme with the efficiency of Mann et al.[Mann(1953);Ishikawa(1974);Sintunavarat and Pitea(2016);Abbas and Nazir(2014);Agarwal,O’Regan and Sahu(2007)]schemes.Moreover,we introduce a problem raised from Newton’s law of cooling as an application of our new iteration scheme.Also,we support our application with a numerical example and figures to illustrate the validity of our iterative scheme.展开更多
In this note,we consider a new unknown input observer design for nonlinear systems.The main idea consists in determining the estimation error and mean value theorem parameters(β)to introduce them into proposed observ...In this note,we consider a new unknown input observer design for nonlinear systems.The main idea consists in determining the estimation error and mean value theorem parameters(β)to introduce them into proposed observer structure.This process is designed on the basis of mean value theorem and genetic algorithm.The stability study relies on the use of a classical quadratic Lyapunov function.The observer’s gains are determined systematically.For the validation of theoretical development proposed in this paper,we consider two practical realizations that deals with the secure communication problem.展开更多
A formula for the mean-value distribution of certain meromorphic functions on a vertical line s = σ +iR under a generalized Boolean transformation, called rational Boolean transformation from R into itself, is derive...A formula for the mean-value distribution of certain meromorphic functions on a vertical line s = σ +iR under a generalized Boolean transformation, called rational Boolean transformation from R into itself, is derived using Birkhoff 's ergodic theorem. This formula is represented as a computable integral. Using the Cauchy's integral theorem, values of this integral corresponding to various possible cases are explicitly computed.展开更多
文摘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.
文摘This paper discusses use of approximations and the Integral Mean Value Theorem to show that 6 coefficients approximately describe the distortions of near surface inhomogeneities on the MT field of a horizontally layered earth model. When these 6 coefficients are considered together with those of the magnetic field of a horizontally layered earth model,the analytic and approximate wave impedance equations can be derived for the MT response of a horizontally layered earth model with near-surface 2-D and 3-D inhomogeneities. These approximate wave impedance equations are used with inverted MT data for 2-D and 3-D forward modelling. Although these 6 coefficients cannot be determined before inversion,initial estimates can be used. The 6 coefficients and the asistivity and thickness of each layer of a horizontally layered earth can be obtained by using published inversion methods. The 6 coefficients give important informaion (depths and resistivities) on the near-surface inhomogenelties.The authors inverted 2-D and 3-D theoretical models for Fast Approximate Inversion of Magnetotelluric (FAIMT) data for a horizontally layered earth with near-surface inhomogeneities compares favorably with traditional invrsion methods, especially for inverting regional or basin structures. This method simplifies computation and gives a reasonable 1 -D geological model with fewer nonuniquenas problems.
文摘The behavior of the zeros in finite Taylor series approximations of the Riemann Xi function (to the zeta function), of modified Bessel functions and of the Gaussian (bell) function is investigated and illustrated in the complex domain by pictures. It can be seen how the zeros in finite approximations approach to the genuine zeros in the transition to higher-order approximation and in case of the Gaussian (bell) function that they go with great uniformity to infinity in the complex plane. A limiting transition from the modified Bessel functions to a Gaussian function is discussed and represented in pictures. In an Appendix a new building stone to a full proof of the Riemann hypothesis using the Second mean-value theorem is presented.
文摘In this paper, the solution, more general than [1], of a weak singular integral equation integral(0)(pi)integral(-infinity)(infinity) p(s,psi)d sk(psi)d psi=F(r,theta), (r,theta)epsilon (Q) over bar=Q+partial derivative Q subject to constraint p(s,psi)=0, for (s,psi)=(r,theta)is not an element of Q={r,theta)/F(r,theta)>c*} is found p=2/pi[root w g'(0)+integral(0)(w) root w-u g '(u)du] where k and F are given continuous functions; (s,psi) is a local polar coordinating with origin at M(r,theta); (r,theta) is the global polar coordinating with origin at O(0,0) F(r,theta)=c* (const.) is the boundary contour partial derivative Q of the considered range Q; g(w)=F(r,theta)/[pi k(psi(0))]; g'=dg/dw; w=N-r(2)sin(2)(theta+psi(0)); psi(0) and N are mean values. The solution shown in type (2.19) of [1] is a special case of the above solution and only suits F(r,theta)=w. The solution of a rigid cone contact with elastic half space, more simple and clear than Love's (1939), is given as an example of application.
文摘In this paper we present a mean value theorem derived from Flett's mean value theorem. It turns out that cubic polynomials have the midpoint of the interval as their mean value point.To answer what class of functions have this property,we consider a functional equation associated with this mean value theorem.This equation is then solved in a general setting on abelian groups.
文摘Fixed point theory is one of the most important subjects in the setting of metric spaces since fixed point theorems can be used to determine the existence and the uniqueness of solutions of such mathematical problems.It is known that many problems in applied sciences and engineering can be formulated as functional equations.Such equations can be transferred to fixed point theorems in an easy manner.Moreover,we use the fixed point theory to prove the existence and uniqueness of solutions of such integral and differential equations.Let X be a non-empty set.A fixed point for a self-mapping T on X is a point𝑒𝑒∈𝑋𝑋that satisfying T e=e.One of the most challenging problems in mathematics is to construct some iterations to faster the calculation or approximation of the fixed point of such problems.Some mathematicians constructed and generated some new iteration schemes to calculate or approximate the fixed point of such problems such as Mann et al.[Mann(1953);Ishikawa(1974);Sintunavarat and Pitea(2016);Berinde(2004b);Agarwal,O’Regan and Sahu(2007)].The main purpose of the present paper is to introduce and construct a new iteration scheme to calculate or approximate the fixed point within a fewer number of steps as much as we can.We prove that our iteration scheme is faster than the iteration schemes given by Sintunavarat et al.[Sintunavarat and Pitea(2016);Agarwal,O’Regan and Sahu(2007);Mann(1953);Ishikawa(1974)].We give some numerical examples by using MATLAB to compare the efficiency and effectiveness of our iterations scheme with the efficiency of Mann et al.[Mann(1953);Ishikawa(1974);Sintunavarat and Pitea(2016);Abbas and Nazir(2014);Agarwal,O’Regan and Sahu(2007)]schemes.Moreover,we introduce a problem raised from Newton’s law of cooling as an application of our new iteration scheme.Also,we support our application with a numerical example and figures to illustrate the validity of our iterative scheme.
文摘In this note,we consider a new unknown input observer design for nonlinear systems.The main idea consists in determining the estimation error and mean value theorem parameters(β)to introduce them into proposed observer structure.This process is designed on the basis of mean value theorem and genetic algorithm.The stability study relies on the use of a classical quadratic Lyapunov function.The observer’s gains are determined systematically.For the validation of theoretical development proposed in this paper,we consider two practical realizations that deals with the secure communication problem.
基金supported by Thailand research fund(Grant No.MRG6080210)
文摘A formula for the mean-value distribution of certain meromorphic functions on a vertical line s = σ +iR under a generalized Boolean transformation, called rational Boolean transformation from R into itself, is derived using Birkhoff 's ergodic theorem. This formula is represented as a computable integral. Using the Cauchy's integral theorem, values of this integral corresponding to various possible cases are explicitly computed.