In this article, we prove the existence of extremal positive solution for the distributed order fractional hybrid differential equation$$int_{0}^{1}b(q)D^{q}[frac{x(t)}{f(t,x(t))}]dq=g(t,x(t)),$$using a fixed point theorem in the Banach algebras. This proof is given in two cases of the continuous and discontinuous function $g$, under the generalized Lipschitz and Caratheodory conditions.

ð2Þ ~ T 1⁄4 T ; 8 2 V: We use HBðV;W Þ to denote the set of Hahn–Banach operators. The classical Hahn–Banach theorem states that every rank-1 operator from V into W is a Hahn–Banach operator. It can also be restated in the following way: if dimW 1⁄4 1, then HBðV;W Þ 1⁄4 LðV;W Þ. Observe that the two statements above are slightly different. In the first case we describe a property of an operator...

The purpose of this paper is to describe three techniques that are useful for the investigation of monotone sets and multifunctions, and give two applications of them. The three techniques use the “fg–theorem”, the “big convexification” of a subset of E × E∗ or a multifunction E 7→ 2E (we suppose throughout that E is a nontrivial real Banach space with dual E∗), and the “convex function associa...

In this paper, we establish a sufficient condition for the controlla-bility of impulsive quasi-linear fractional mixed Volterra-Fredholm-type inte-grodifferential equations in Banach spaces. The results are obtained by using Banach contraction fixed point theorem combined with the fractional calculus theory.

This paper is concerned with an ergodic theorem for asymptotically nonexpansive mappings in the intermediate sense in Banach spaces.

For nonuniform exponentially bounded evolution families defined on Banach spaces, we introduce a class of Banach function spaces, whose norms are uniquely determined by the nonuniform behavior of the corresponding evolution family. We generalize the classical theorem of Datko on these spaces.

We describe an implementation of a pointfree proof of the Alaoglu and the Hahn-Banach theorems in Type Theory. The proofs described here are formalisations of the proofs presented in \The Hahn-Banach Theorem in Type Theory" 4]. The implementation was partially developed simultaneously with 4] and it was a help in the development of the informal proofs.

The classical Banach-Stone theorem characterizes linear surjective isometries between C(K)-spaces. The main aim of this paper is to present a survey of Banach-Stone-theoremtype results between some function spaces. The weighted substitution operators play an important role in characterization of isometries, disjointness preserving operators, and lattice homomorphisms. Some open problems are giv...

For a large class of separable Banach spaces, we prove the real analytic Dolbeault isomorphism theorem for open subsets.

A convergence theorem of Rhoades [18] regarding the approximation of fixed points of some quasi contractive operators in uniformly convex Banach spaces using the Ishikawa iterative procedure, is extended to arbitrary Banach spaces. The conditions on the parameters {αn} that define the Ishikawa iteration are also weakened.