‎In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...

We present an implementation in the theorem prover PVS of co-inductive stream calculus. Stream calculus can be used to model signal flow graphs, and thus provides a nice mathematical foundation for reasoning about properties of signal flow graphs, which are again used to model a variety of systems such as digital signal processing. We show how proofs by co-induction are used to prove equality o...

Using a generalized spherical mean operator, we obtain a generalization of Titchmarsh's theorem for the Dunkl transform for functions satisfying the ('; p)-Dunkl Lipschitz condition in the space Lp(Rd;wl(x)dx), 1 < p 6 2, where wl is a weight function invariant under the action of an associated re ection group.

  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 paper, we explain a new generalized contractive condition for multivalued mappings and prove a fixed point theorem in metric spaces (not necessary complete) which extends some well-known results in the literature. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresp...

In this paper, the Generalized Kharitonov Theorem for quasi-polynomials is exploited for the purpose of synthesizing a robust controller. The aim here is to develop a controller to simultaneously stabilize a given interval plant family with unknowing and bounded time delay. Using a constructive procedure based on Hermite Biehler theorem, we obtain all PI gains that stabilize an uncertain ̄rst-or...

a 1993 result of j. llibre, and m. misiurewicz, (theorem a [5]), states that if a continuous map f of a graph into itself has an s-horseshoe, then the topological entropy of f is greater than or equal to logs, that is h( f ) ? logs. also a 1980 result of l.s. block, j. guckenheimer, m. misiurewicz and l.s. young (lemma 1.5 [3]) states that if g is an a-graph of f then h(g) ? h( f ). in this pap...