In this paper, we first introduce a new class of generalized accretive operators named （H,η）-accretive in Banach space. By studying the properties of （H,η）-accretive, we extend the concept of resolvent operators...In this paper, we first introduce a new class of generalized accretive operators named （H,η）-accretive in Banach space. By studying the properties of （H,η）-accretive, we extend the concept of resolvent operators associated with m-accretive operators to the new （H,η）-accretive operators. In terms of the new resolvent operator technique, we prove the existence and uniqueness of solutions for this new system of variational inclusions. We also construct a new algorithm for approximating the solution of this system and discuss the convergence of the sequence of iterates generated by the algorithm.展开更多
In this paper,we consider nonconvex-valued functional differential inclusions with nonlinear semigroups in Banach spaces,the existence of the integral solutions is proved.
The full-waveform inversion method is a high-precision inversion method based on the minimization of the misfit between the synthetic seismograms and the observed data.However,this method suffers from cycle skipping i...The full-waveform inversion method is a high-precision inversion method based on the minimization of the misfit between the synthetic seismograms and the observed data.However,this method suffers from cycle skipping in the time domain or phase wrapping in the frequency because of the inaccurate initial velocity or the lack of low-frequency information.furthermore,the object scale of inversion is affected by the observation system and wavelet bandwidth,the inversion for large-scale structures is a strongly nonlinear problem that is considerably difficult to solve.In this study,we modify the unwrapping algorithm to obtain accurate unwrapped instantaneous phase,then using this phase conducts the inversion for reducing the strong nonlinearity.The normal instantaneous phases are measured as modulo 2π,leading the loss of true phase information.The path integral algorithm can be used to unwrap the instantaneous phase of the seismograms having time series and onedimensional(1 D)signal characteristics.However,the unwrapped phase is easily affected by the numerical simulation and phase calculations,resulting in the low resolution of inversion parameters.To increase the noise resistance and ensure the inversion accuracy,we present an improved unwrapping method by adding an envelope into the path integral unwrapping algorithm for restricting the phase mutation points,getting accurate instantaneous phase.The objective function constructed by unwrapping instantaneous phase is less affected by the local minimum,thereby making it suitable for full-waveform inversion.Further,the corresponding instantaneous phase inversion formulas are provided.Using the improved algorithm,we can invert the low-wavenumber components of the underneath structure and ensure the accuracy of the inverted velocity.Finally,the numerical tests of the 2 D Marmousi model and 3 D SEG/EAGE salt model prove the accuracy of the proposed algorithm and the ability to restore largescale low-wavenumber structures,respectively.展开更多
In this paper, the authors investigate the existence of solutions of impulsive boundary value problems for Sturm-Liouville type differential inclusions which admit non-convex-valued multifunctions on right hand side. ...In this paper, the authors investigate the existence of solutions of impulsive boundary value problems for Sturm-Liouville type differential inclusions which admit non-convex-valued multifunctions on right hand side. Two results under weaker conditions are presented. The methods rely on a fixed point theorem for contraction multi-valued maps due to Covitz and Nadler and Schaefer＇s fixed point theorem combined with lower semi-continuous multi-valued operators with decomposable values.展开更多
A method of verifying the viability criterion at a given point for a region with nonsmooth boundary, which is expressed by a quasidifferentiabl function, under a differential inclusion which is a convex hull of finite...A method of verifying the viability criterion at a given point for a region with nonsmooth boundary, which is expressed by a quasidifferentiabl function, under a differential inclusion which is a convex hull of finitely many functions, is proposed. By this method, determining the viability is transformed into solving a number of systems of linear inequalities, or equivalently solving a number of linear programming problems. For the other differential inclusion, called the generalized convex process, it is shown that viability condition holds for a polytope if and only if it holds at all of its vertices. This result is an extension of corresponding one for a linear control system.展开更多
A new system of generalized nonlinear variational-like inclusions involving A- maximal m-relaxed η-accretive （so-called, （A, η）-accretive in [36]） mappings in q-uniformly smooth Banach spaces is introduced, and ...A new system of generalized nonlinear variational-like inclusions involving A- maximal m-relaxed η-accretive （so-called, （A, η）-accretive in [36]） mappings in q-uniformly smooth Banach spaces is introduced, and then, by using the resolvent operator technique associated with A-maximal m-relaxed ~/-accretive mappings due to Lan et al., the exis- tence and uniqueness of a solution to the aforementioned system is established. Applying two nearly uniformly Lipschitzian mappings 81 and 82 and using the resolvent operator technique associated with A-maximal m-relaxed ~？-accretive mappings, we shall construct a new perturbed N-step iterative algorithm with mixed errors for finding an element of the set of the fixed points of the nearly uniformly Lipschitzian mapping Q = （S1, S2） which is the unique solution of the aforesaid system. We also prove the convergence and stability of the iterative sequence generated by the suggested perturbed iterative algorithm under some suitable conditions, The results presented in this paper extend and improve some known results in the literature.展开更多
This paper proves a Filippov type existence theorem for solutions of a boundary valueproblem for a Sturm-Liouville type differential inclusion defined by a nonconvex set-valued map.Themethod consists in application of...This paper proves a Filippov type existence theorem for solutions of a boundary valueproblem for a Sturm-Liouville type differential inclusion defined by a nonconvex set-valued map.Themethod consists in application of the contraction principle in the space of selections of the set-valuedmap instead of the space of solutions.展开更多
文摘In this paper, we first introduce a new class of generalized accretive operators named （H,η）-accretive in Banach space. By studying the properties of （H,η）-accretive, we extend the concept of resolvent operators associated with m-accretive operators to the new （H,η）-accretive operators. In terms of the new resolvent operator technique, we prove the existence and uniqueness of solutions for this new system of variational inclusions. We also construct a new algorithm for approximating the solution of this system and discuss the convergence of the sequence of iterates generated by the algorithm.
文摘In this paper,we consider nonconvex-valued functional differential inclusions with nonlinear semigroups in Banach spaces,the existence of the integral solutions is proved.
基金supported by the National Science and Technology major projects of China(No.2017ZX05032-003-002)Shandong Key Research and Development Plan Project(No.2018GHY115016)China University of Petroleum(East China)Independent Innovation Research Project(No.18CX06023A)。
文摘The full-waveform inversion method is a high-precision inversion method based on the minimization of the misfit between the synthetic seismograms and the observed data.However,this method suffers from cycle skipping in the time domain or phase wrapping in the frequency because of the inaccurate initial velocity or the lack of low-frequency information.furthermore,the object scale of inversion is affected by the observation system and wavelet bandwidth,the inversion for large-scale structures is a strongly nonlinear problem that is considerably difficult to solve.In this study,we modify the unwrapping algorithm to obtain accurate unwrapped instantaneous phase,then using this phase conducts the inversion for reducing the strong nonlinearity.The normal instantaneous phases are measured as modulo 2π,leading the loss of true phase information.The path integral algorithm can be used to unwrap the instantaneous phase of the seismograms having time series and onedimensional(1 D)signal characteristics.However,the unwrapped phase is easily affected by the numerical simulation and phase calculations,resulting in the low resolution of inversion parameters.To increase the noise resistance and ensure the inversion accuracy,we present an improved unwrapping method by adding an envelope into the path integral unwrapping algorithm for restricting the phase mutation points,getting accurate instantaneous phase.The objective function constructed by unwrapping instantaneous phase is less affected by the local minimum,thereby making it suitable for full-waveform inversion.Further,the corresponding instantaneous phase inversion formulas are provided.Using the improved algorithm,we can invert the low-wavenumber components of the underneath structure and ensure the accuracy of the inverted velocity.Finally,the numerical tests of the 2 D Marmousi model and 3 D SEG/EAGE salt model prove the accuracy of the proposed algorithm and the ability to restore largescale low-wavenumber structures,respectively.
文摘In this paper, the authors investigate the existence of solutions of impulsive boundary value problems for Sturm-Liouville type differential inclusions which admit non-convex-valued multifunctions on right hand side. Two results under weaker conditions are presented. The methods rely on a fixed point theorem for contraction multi-valued maps due to Covitz and Nadler and Schaefer＇s fixed point theorem combined with lower semi-continuous multi-valued operators with decomposable values.
基金This research is supported by the National Natural Science Foundation of China under Grant No. 10671126 and Shanghai Leading Academic Discipline Project under Grant No. S30501.
文摘A method of verifying the viability criterion at a given point for a region with nonsmooth boundary, which is expressed by a quasidifferentiabl function, under a differential inclusion which is a convex hull of finitely many functions, is proposed. By this method, determining the viability is transformed into solving a number of systems of linear inequalities, or equivalently solving a number of linear programming problems. For the other differential inclusion, called the generalized convex process, it is shown that viability condition holds for a polytope if and only if it holds at all of its vertices. This result is an extension of corresponding one for a linear control system.
文摘A new system of generalized nonlinear variational-like inclusions involving A- maximal m-relaxed η-accretive （so-called, （A, η）-accretive in [36]） mappings in q-uniformly smooth Banach spaces is introduced, and then, by using the resolvent operator technique associated with A-maximal m-relaxed ~/-accretive mappings due to Lan et al., the exis- tence and uniqueness of a solution to the aforementioned system is established. Applying two nearly uniformly Lipschitzian mappings 81 and 82 and using the resolvent operator technique associated with A-maximal m-relaxed ~？-accretive mappings, we shall construct a new perturbed N-step iterative algorithm with mixed errors for finding an element of the set of the fixed points of the nearly uniformly Lipschitzian mapping Q = （S1, S2） which is the unique solution of the aforesaid system. We also prove the convergence and stability of the iterative sequence generated by the suggested perturbed iterative algorithm under some suitable conditions, The results presented in this paper extend and improve some known results in the literature.
文摘This paper proves a Filippov type existence theorem for solutions of a boundary valueproblem for a Sturm-Liouville type differential inclusion defined by a nonconvex set-valued map.Themethod consists in application of the contraction principle in the space of selections of the set-valuedmap instead of the space of solutions.
