abstract.   the sturm-liouville boundary value problem of the multi-order fractional differential equation  is studied. results on the existence of solutions are established. the analysis relies on a weighted function space and a fixed point theorem. an example is given to illustrate the efficiency of the main theorems.

In this report, we prove the undecidability of Core XPath 1.0 (CXP) [6] extended with an Inflationary Fixed Point (IFP) operator. We prove that the satisfiability problem of this language is undecidable. In fact, the fragment of CXP+IFP containing only the self and descendant axes is already undecidable.

Localized nonlinear modes, or solitons, are obtained for the two-dimensional nonlinear Schrödinger equation with various external potentials that possess large variations from periodicity, i.e., vacancy defects, edge dislocations, and quasicrystal structure. The solitons are obtained by employing a spectral fixed-point computational scheme. Investigation of soliton evolution by direct numerical...

In previous work the authors consider the dynamic assignment problem, which involves solving sequences of assignment problems over time in the presence of uncertain information about the future. The algorithm proposed by the authors provides generally high-quality but non-optimal solutions. In this work, though, the authors prove that if the optimal solution to a dynamic assignment problem in o...

Mathematical methods are extensively used in dealing with simulation and approximation problems related to computer science, engineering, physics, many others [...]

in this manuscript, we prove some coupled fixed point theoremsfor two pairs of self mappings satisfying contractive conditions of integraltype in generalized metric spaces. we furnish suitable illustrative examples.in this manuscript, we prove some coupled fixed point theoremsfor two pairs of self mappings satisfying contractive conditions of integraltype in generalized metric spaces. we furnis...

in the present paper‎, ‎we introduce the concept of generalized multivalued $f$ -‎contraction mappings and give a fixed point result‎, ‎which is a proper‎ ‎generalization of some multivalued fixed point theorems including nadler's‎.