Existence of solutions to differential inclusions in Banach spaces

I.IntroductionOwingtothefactthatthesystemwithwhicheconomics,biologyandsoonaredefinitelyconcernedtohaveuncertainty,includingthatcausedbyrestrictiononknowledge.asformathematicaltreatment,generallytheycanonlybedescribedbymeansofdifferentialinclusionsinsteadofdifferentialequations.Itiswell-knownthatthederivativex')ofasolutionx.)tothedifferentialequationx'(t)=f(t,x(t))inheritsthereqularityproperitiesofthemapfandthefunctionx(').Thisisnolongerthecasewithdifferentialinclusionsandisoneofthereasonswhyt…     

Existence of solutions for implicit fuzzy differential inclusions

A class of implicit fuzzy differential inclusions(IFDIs) are introduced and studied.Some existence theorems under different conditions are proved with the selection theorems for the open situation and the closed situation,respectively.A viable solution for a closed IFDI is proved to exist under the tangential condition.As an application,an implicit fuzzy differential equation,which comes from the drilling dynamics in petroleum engineering,is analyzed numerically.The obtained results can improve and extend some known results for fuzzy differential inclusions(FDIs) and fuzzy differential equations(FDEs),which might be helpful in the analysis of fuzzy dynamic systems.     

On the periodic solutions of differential inclusions and applications

The periodic problem of evolution inclusion is studied and its results are used toestablish existence theorems of periodic solutions of a class of semi-linear differential inclusion.Also existence theorem of the extreme solutions and the strong relaxation theorem are given forthis class of semi-linear differential inclusion. An application to some feedback control systems isdiscussed.     

Periodic viable trajectories of differential inclusions

In this paper, the periodic viable trajectories of differential inclusions are discussed. Firstly, a simplified property of differential inclusions is given. Then, an existence theorem of periodic viable trajectories of differential inclusions in a finite dimensional space is proved. With the above results and Galerkin’s approximation, an existence theorem of periodic viable trajectories of partial differential inclusions in a Hilbert space is proved.     

On the new forms of the differential equations of the systems with higher-order nonholonomic constraints

In this paper, the new forms of the differential equations of motion of the systems with higher-order nonholonomic constraints are obtained at first, and then the equivalence between these equations and the known equations is demonstrated. Finally an example is given to illustrate the application of our new equations.     

THE NUMERICAL SOLUTION OF A SINGULARLY PERTURBED PROBLEM FOR SEMILINEAR PARABOLIC DIFFERENTIAL EQUATION

The numerical solution of a singularly perturbed problem for the semilinear parabolicdifferential equation with parabolic boundary layers is discussed.A nonlinear two-leveldifference scheme is constructed on the special non-uniform grids.The uniform convergenceof this scheme is proved and some numerical examples are given.     

Existence of solutions of three-point boundary value problems for nonlinear fourth order differential equation

In this paper, the author uses the methods in [1, 2] to study the existence of solutions of three point boundary value problems for nonlinear fourth order differential equation.% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyEamaaCa% aaleqabaGaaiikaiaaisdacaGGPaaaaOGaeyypa0JaaGOKbiaacIca% caWG0bGaaiilaiaadMhacaGGSaGabmyEayaafaGaaiilaiqadMhaga% GbaiaacYcaceWG5bGbaibacaGGPaaaaa!4497!\[y^{(4)} = f(t,y,y',y',y')\] with the boundary conditions% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaiGaaqaabe% qaaiaadEgacaGGOaGaamyEaiaacIcacaWGHbGaaiykaiaacYcaceWG% 5bGbauaacaGGOaGaamyyaiaacMcacaGGSaGabmyEayaagaGaaiikai% aadggacaGGPaGaaiilaiqadMhagaGeaiaacIcacaWGHbGaaiykaiaa% cMcacqGH9aqpcaaIWaGaaiilaiaadIgacaGGOaGaamyEaiaacIcaca% WGIbGaaiykaiaacYcaceWG5bGbayaacaGGOaGaamOyaiaacMcacaGG% PaGaeyypa0JaaGimaaqaaiqadMhagaqbaiaacIcacaWGIbGaaiykai% abg2da9iaadkgadaWgaaWcbaGaaGymaaqabaGccaGGSaGaam4Aaiaa% cIcacaWG5bGaaiikaiaadogacaGGPaGaaiilaiqadMhagaqbaiaacI% cacaWGJbGaaiykaiaacYcaceWG5bGbayaacaGGOaGaam4yaiaacMca% caGGSaGabmyEayaasaGaaiikaiaadogacaGGPaGaaiykaiabg2da9i% aaicdaaaGaayzFaaaaaa!7059!\[\left. \begin{gathered} g(y(a),y'(a),y'(a),y'(a)) = 0,h(y(b),y'(b)) = 0 \hfill \\ y'(b) = b_1 ,k(y(c),y'(c),y'(c),y'(c)) = 0 \hfill \\ \end{gathered} \right\}\] For the boundary value problems of nonlinear fourth order differential equation% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyEamaaCa% aaleqabaGaaiikaiaaisdacaGGPaaaaOGaeyypa0JaaGOKbiaacIca% caWG0bGaaiilaiaadMhacaGGSaGabmyEayaafaGaaiilaiqadMhaga% GbaiaacYcaceWG5bGbaibacaGGPaaaaa!4497!\[y^{(4)} = f(t,y,y',y',y')\] many results have been given at the present time. But the existence of solutions of boundary value problem (*). (**) studied in this paper has not been involved by the above researches. Morcover, the corollary of the important theorem in this paper, i. e. existence of solutions of the boundary value problem of equation (*) with the following boundary conditions.% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGceaqabeaacaWGHb% WaaSbaaSqaaiaaicdaaeqaaOGaamyEaiaacIcacaWGHbGaaiykaiab% gUcaRiaadggadaWgaaWcbaGaaGymaaqabaGcceWG5bGbauaacaGGOa% GaamyyaiaacMcacqGHRaWkcaWGHbWaaSbaaSqaaiaaikdaaeqaaOGa% bmyEayaagaGaaiikaiaadggacaGGPaGaey4kaSIaamyyamaaBaaale% aacaaIZaaabeaakiqadMhagaGeaiaacIcacaWGHbGaaiykaiabg2da% 9iaadMhadaWgaaWcbaGaaGimaaqabaGccaGGSaGaamOyamaaBaaale% aacaaIWaaabeaakiaadMhacaGGOaGaamOyaiaacMcacqGHRaWkcaWG% IbWaaSbaaSqaaiaaikdaaeqaaOGabmyEayaagaGaaiikaiaadkgaca% GGPaGaeyypa0JaamyEamaaBaaaleaacaaIXaaabeaaaOqaaiqadMha% gaqbaiaacIcacaWGIbGaaiykaiabg2da9iaadMhadaWgaaWcbaGaaG% OmaaqabaGccaGGSaGaam4yamaaBaaaleaacaaIWaaabeaakiaadMha% caGGOaGaam4yaiaacMcacqGHRaWkcaWGJbWaaSbaaSqaaiaaigdaae% qaaOGabmyEayaafaGaaiikaiaadogacaGGPaGaey4kaSIaam4yamaa% BaaaleaacaaIYaaabeaakiqadMhagaGbaiaacIcacaWGJbGaaiykai% abgUcaRiqadogagaGeaiaacIcacaWGJbGaaiykaiabg2da9iaadMha% daWgaaWcbaGaaG4maaqabaaaaaa!7DF7!\[\begin{gathered} a_0 y(a) + a_1 y'(a) + a_2 y'(a) + a_3 y'(a) = y_0 ,b_0 y(b) + b_2 y'(b) = y_1 \hfill \\ y'(b) = y_2 ,c_0 y(c) + c_1 y'(c) + c_2 y'(c) + c'(c) = y_3 \hfill \\ \end{gathered} \] has not been dealt with in previous works.     

g-η-Monotone mapping and resolvent operator technique for solving generalized implicit variational-like inclusions

A new class of g-η-monotone mappings and a class of generalized implicit variational-like inclusions involving g-η-monotone mappings are introduced. The resolvent operator of g-η-monotone mappings is defined and its Lipschitz continuity is presented.An iterative algorithm for approximating the solutions of generalized implicit variationallike inclusions is suggested and analyzed. The convergence of iterative sequences generated by the algorithm is also proved.     

Differential characteristic set algorithm for the complete symmetry classification of partial differential equations

In this paper, we present a differential polynomial characteristic set algorithm for the complete symmetry classification of partial differential equations （PDEs） with some parameters. It can make the solution to the complete symmetry classification problem for PDEs become direct and systematic. As an illustrative example, the complete potential symmetry classifications of nonlinear and linear wave equations with an arbitrary function parameter are presented. This is a new application of the differential form characteristic set algorithm, i.e., Wu＇s method, in differential equations.     

On the Mann and Ishikawa iterative approximation of solutions to variational inclusions with accretive type mappings in Banach spaces

The purpose of this paper is to introduce and study the existence of solutions and convergence of Mann and Ishikawa iterative processes for a class of variational inclusions with accretive type mappings in Banach spaces. The results presented in this paper extend and improve the corresponding results by Chang, Ding, Hassouni, Kazmi, Siddiqi, Zeng et al. Foundation item: the National Natural Science Foundation of China (19771058)     

GLOBAL SOLUTION OF THE INVERSE PROBLEM FOR ACLASS OF NONLINEAR EVOLUTION EQUATIONSOF DISPERSIVE TYPE

ＩｎｔｒｏｄｕｃｔｉｏｎＩｔｉｓｗｅｌｌ＿ｋｎｏｗｎｔｈａｔｐｓｅｕｄｏ＿ｐａｒａｂｏｌｉｃｅｑｕａｔｉｏｎｗｉｔｈｐｒｉｎｃｉｐａｌｐａｒｔｕｔ -ｕｘｘｔｈａｓｂｅｅｎｓｔｕｄｙｉｎｇｒｅｃｅｎｔｌｙ ,ｂｅｃａｕｓｅｔｈｅｒｅｅｘｉｓｔｓｗｉｄｅｐｈｙｓｉｃａｌｂａｃｋｇｒｏｕｎｄｆｏｒｔｈｉｓｃｌａｓｓｏｆｅｑｕａｔｉｏｎｓ.[1 ]ｓｔｕｄｉｅｄｔｈｅｍｕｌｔｉ＿ｄｉｍｅｎｓｉｏｎｉｎｖｅｒｓｅｐｒｏｂｌｅｍｆｏｒｔｈｅｆｏｌｌｏｗｉｎｇｃｌａｓｓｏｆｎｏｎｌｉｎｅａｒｅｖｏｌｕｔｉｏｎｅｑｕ…     

The existence of periodic solutions of impulsive differential equations of mixed type

1　ＰｒｏｂｌｅｍｉｎｔｈｅＲｅｓｅａｒｃｈｏｆＴｏｒｏｉｄＩｍｐｕｌｓｉｖｅｄｉｆｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎｉｓａｎｅｗｉｍｐｏｒｔａｎｔｂｒａｎｃｈｏｆｄｉｆｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎ.Ｉｎ1989,[1],[2]ｓｙｓｔｅｍａｔｉｃａｌｌｙｓｕｍｍａｒｉｚｅｄｒｅｓｅａｒｃｈｗｏｒｋａｂｏｕｔｉｍｐｕｌｓｉｖｅｏｒｄｉｎａｒｙｄｉｆｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎｓ.Ｉｎｒｅｃｅｎｔｙｅａｒｓ,ｔｈｅｒｅａｒｅｍａｎｙｌｉｔｅｒａｔｕｒｅｓｄｅａｌｉｎｇｗｉｔｈｔｈｅｏｓｃｉｌｌａｔｉｏ…     

Global solution of the inverse problem for a class of nonlinear evolution equations of dispersive type

The inverse problem for a class of nonlinear evolution equations of dispersive type was reduced to Cauchy problem of nonlinear evolution equation in an abstract space. By means of the semigroup method and equipping equivalent norm technique, the existence and uniqueness theorem of global solution was obtained for this class of abstract evolution equations, and was applied to the inverse problem discussed here. The existence and uniqueness theorem of global solution was given for this class of nonlinear evolution equations of dispersive type. The results extend and generalize essentially the related results of the existence and uniqueness of local solution presented by YUAN Zhong-xin. Contributed by Chen Yu-shu Foundation item: the National Natural Science Foundation of China (Significance 199990510); the National Key Basic Research Special Foundation of China (G1998020316); Liuhui Center for Applied Mathematics, Nankai University & Tianjin University Biography: Chen Fang-qi (1963-)     

Existence and comparison results for solutions of random integral and differential equations

This paper is the continuation of [1]. In this paper, we give another criteria of the existence of solutions for nonlinear random Volterra integral. A comparison theorem and the existence of random extremal solutions are also obtained by using the notion of ordering with respect to a cone. Our theorems generalize the corresponding results of Vaughan^[2,3] and Lakshmikantham^[4,5].     

Existence and uniqueness of the solution of the boundary-value problem for a parabolic equation of unsteady filtration

The problem of the motion of a filtration front in a zero background in the case of a power-law dependence of the filtration coefficient on gas density is considered, and the existence and uniqueness theorem for solutions in the class of analytic functions is proved. The solution is constructed in explicit form, recurrence formulas for computing the coefficients in the series are obtained, and the convergence of the series is proved by the majorant method. The filtration front construction procedure is proposed.     

Three solutions to inequalities of Dirichlet problem driven by p（x）-Laplacian

A class of nonlinear elliptic problems driven by p（x）-Laplacian with a nonsmooth locally Lipschitz potential is considered.By applying the version of the nonsmooth three-critical-point theorem,the existence of three solutions to the problems is proved.     

Instability of solution for the fourth order linear differential equation with varied coefficient

In this paper,we give some sufficient conditions of the instability for the fourth order linear differential equation with varied coefficient,at least one of the characteristic roots of which has positive real part,by means of Liapunov’s second method.     

Computable error bounds for approximate periodic solutions of autonomous delay differential equations

In this paper, we prove a result that says: Given an approximate solution and frequency to a periodic solution of an autonomous delay differential equation that satisfies a certain noncriticality condition, there is an exact periodic solution and frequency in a neighborhood of the approximate solution and frequency and, furthermore, numerical estimates of the size of the neighborhood are computed. Methods are outlined for estimating the parameters required to compute the errors. An application to a Van der Pol oscillator with delay in the nonlinear terms is given.     

Criteria for the existence of solutions to random integral and differential equations

In [1], we proved a general rondom fixed point theorem and gave some applications. In this paper, we shall give further applications of the theorem. We first obtain a rondom Darbo’s fixed point theorem, using the theorem, we give the criteria for the existence of solutions under compactness hypotheses to nonlinear rondom volterra integral equations and the Cauchy problem of nonlinear rondom differential equations. Our theorems improve andgeneralize some main results of Lakshmikanthem^[2], Vaughn^[3,4] as well as De Blasi and Myjak^[5].     

Problem of periodic solutions for neutral functional differential equation

ＩｎｔｒｏｄｕｃｔｉｏｎＬｅｔＣ(ｋ- 1)2π =ｈ(ｔ) ｜ｈ :Ｒ →Ｒｉｓ (ｋ -1 )＿ｔｈｏｒｄｅｒｃｏｎｔｉｎｕｏｕｓｄｉｆｆｅｒｅｎｔｉａｂｌｅａｎｄｈ(ｔ+ 2π) ≡ｈ(ｔ) ,　　Ｃ2π =ｈ(ｔ) ｜ｈ :Ｒ →Ｒｉｓｃｏｎｔｉｎｕｏｕｓａｎｄｈ(ｔ+ 2π) ≡ｈ(ｔ) ,　　‖ｈ(ｔ)‖ =ｓｕｐｔ∈ [0 ,2π] ｜ｈ(ｔ) ｜ ,　　‖ｈ(ｔ)‖Ｐｋ- 1 =ｍａｘ‖ｈ(ｔ)‖ ,‖ｈ′(ｔ)‖ ,… ,‖ｈ(ｋ- 1) (ｔ)‖ ,　　ｘ(ｍ) (ｔ+ ·) (θ) =ｘ(ｍ) (ｔ+θ)　　θ∈Ｒ (ｍ =0 ,1 ,2 ,… ,ｋ-1 ) .Ｃｌｅａｒｌｙ ,ｘ(ｍ) (ｔ + ·) ∈Ｃ2π, …