C0-semigroups on a locally convex space

A necessary and sufficient condition that a densely defined linear operator A in a sequentially complete locally convex space X be the infinitesimal generator of a quasi-equicontinuous C₀-semigroup on X is that there exist a real number β ? 0 such that, for each λ > β, the resolvent (λI ? A)^?1 exists and the family {(λ ? β)^k(λI ? A)^?k; λ > β, k = 0, 1, 2,…} is equicontinuous. In this case all resolvents (λI ? A)^?1, λ > β, of the given operator A and all exponentials exp(tA), t ? 0, of the operator A belong to a Banach algebra $\text{B}{}_{\mathrm{г}}\text{(X)}$ which is a subspace of the space L(X) of all continuous linear operators on X, and, for each t ? 0 and for each x?X, one has lim_{k → z} (I ? k^?1tA)^?kx = exp(tA) x. A perturbation theorem for the infinitesimal generator of a quasi-equicontinuous C₀-semigroup by an operator which is an element of $\text{B}{}_{\mathrm{г}}\text{(X)}$ is obtained.     

Nonlinear equations involving m-accretive operators

Let X be a Banach space and T an m-accretive operator defined on a subset D(T) of X and taking values in 2^x. For the class of spaces whose bounded closed and convex subsets have the fixed point property for nonexpansive self-mappings, it is shown here that two boundary conditions which imply existence of zeroes for T, appear to be equivalent. This fact is then used to prove that if there exists x₀?D(T) and a bounded open neighborhood U of x₀, such that $\text{¦T(x}{}_0\text{)¦ < r ? ¦T(x)¦}$ for all x??U ∩ D(T), then the open ball B(0; r) is contained in the range of T.     

Zeros for accretive operators satisfying certain boundary conditions

Let X be a Banach space with the dual space $\text{X}{}^1$ to be uniformly convex, let D ? X be open, and let $\text{T:}\text{D}\text{?}\text{→ X}$ be strongly accretive (i.e., for some k < 1: (λ ? k)∥ u ? v∥ ? ∥(λ ? 1)(u ? v)+ T(u) ? T(v)∥ for all $\text{u, v ?}\text{D}\text{?}$ and λ > k). Suppose T is demicontinuous and strongly accretive and suppose there exists z?D satisfying: T(x) t(x ? z) for all x??D and t < 0. Then it is shown that T has a unique zero in $\text{D}\text{?}$. This result is then applied to the study of existence of zeros of accretive mappings under apparently different types of boundary conditions on T.     

Generalized quasi-variational inequalities in locally convex topological vector spaces

Let E be a Hausdorff topological vector space and X ? E an arbitrary nonempty set. Denote by E′ the dual space of E and the pairing between E′ and E by 〈w, x〉 for w?E′ and x?E. Given a point-to-set map S: X → 2^X and a point-to-set map T: X → 2^E′, the generalized quasi-variational inequality problem (GQVI) is to find a point $\text{y}\text{?}\text{? S(}\text{y}\text{?}\text{)}$ and a point $\text{u}\text{?}\text{? T(}\text{y}\text{?}\text{)}$ such that $\text{Re}\text{〈}\text{u}\text{?}\text{,}\text{y}\text{?}\text{? x〉 ? 0}$ for all $\text{x ? S(}\text{y}\text{?}\text{)}$. By using the Ky Fan minimax principle or its generalized version as a tool, some general theorems on solutions of the GQVI in locally convex Hausdorff topological vector spaces are obtained which include a fixed point theorem due to Ky Fan and I. L. Glicksberg, and two different multivalued versions of the Hartman-Stampacchia variational inequality.     

Product integrals of continuous resolvents: Existence and nonexistence

Let {[I?λA(t)]^?1:0≦λ≦Λ, 0≦t≦T} be a family of resolvents of bounded linear m-dissipative operatorsA(t) on a Banach spaceX. Suppose that the map(λ,t,x←[I?λA(t)]^?1 x is jointly continuous. Then we show it is not necessarily true that for eachx∈X: (1) the product integral lim _{n → ∞} Π _i=1 ⁿ [I - (t/n)A(it/n)]^?1 x exists, (2) the initial value problemy′(t)=A(t)y(t), y(0)=x has a strong solution.     

Zero product determined Jordan algebras,I

We show that the Jordan algebra 𝒮 of symmetric matrices with respect to either transpose or symplectic involution is zero product determined. This means that if a bilinear map {.,?.} from 𝒮?×?𝒮 into a vector space X satisfies {x, y}?=?0 whenever x?○?y?=?0, then there exists a linear map T : 𝒮?→?X such that {x,?y}?=?T(x?○?y) for all x, y?∈?𝒮 (here, x?○?y?=?xy?+?yx).     

Score vectors of tournaments

A tournament T on any set X is a dyadic relation such that for any x, y ∈ X (a) (x, x) ? T and (b) if x ≠ y then (x, y) ∈ T iff (y, x) ? T. The score vector of T is the cardinal valued function defined by R(x) = |{y ∈ X : (x, y) ∈ T}|. We present theorems for infinite tournaments analogous to Landau's necessary and sufficient conditions that a vector be the score vector for some finite tournament. Included also is a new proof of Landau's theorem based on a simple application of the “marriage” theorem.     

Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces

Let X be a non-empty set and F:X×X→X be a given mapping. An element (x,y)∈X×X is said to be a coupled fixed point of the mapping F if F(x,y)=x and F(y,x)=y. In this paper, we consider the case when X is a complete metric space endowed with a partial order. We define generalized Meir-Keeler type functions and we prove some coupled fixed point theorems under a generalized Meir-Keeler contractive condition. Some applications of our obtained results are given. The presented theorems extend and complement the recent fixed point theorems due to Bhaskar and Lakshmikantham [T. Gnana Bhaskar, V. Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, Nonlinear Anal. 65 (2006) 1379-1393].     

Some generic properties of α-nonexpansive mappings

Let X be a Banach space, C a bounded closed subset of X, A a convex closed subset of X, $\text{E}$ a complete metric space formed by all α-nonexpansive mappings fC → A and $\text{M}$ a complete metric space formed by α-nonexpansive differentiable mappings fC → X. The following assertions are proved in this paper: (1) Properness of I ? f is a generic property in $\text{E}$ (2)the subset of $\text{E}$ formed by all α-contractive mappings is of Baire first category in $\text{E}$; and (3) for every y?X, the functional equation x ? f(x) = y has generically a finite number of solutions for f in $\text{M}$. Some applications to the fixed point theory and calculation of the topological degree are given.     

On three-designs of small order

For positive integers t?k?v and λ we define a t-design, denoted B_i[k,λ;v], to be a pair (X,B) where X is a set of points and B is a family, (B_i:i?I), of subsets of X, called blocks, which satisfy the following conditions: (i) |X|=v, the order of the design, (ii) |B_i|=k for each i?I, and (iii) every t-subset of X is contained in precisely λ blocks. The purpose of this paper is to investigate the existence of 3-designs with 3?k?v?32 and λ>0.Wilson has shown that there exists a constant N(t, k, v) such that designs B_t[k,λ;v] exist provided λ>N(t,k,v) and λ satisfies the trivial necessary conditions. We show that N(3,k,v)=0 for most of the cases under consideration and we give a numerical upper bound on N(3, k, v) for all 3?k?v?32. We give explicit constructions for all the designs needed.     

Eigenvalue results for pseudomonotone perturbations of maximal monotone operators

Let X be an infinite-dimensional real reflexive Banach space such that X and its dual X* are locally uniformly convex. Suppose that T: X?D(T) → 2 ^X * is a maximal monotone multi-valued operator and C: X?D(C) → X* is a generalized pseudomonotone quasibounded operator with L ? D(C), where L is a dense subspace of X. Applying a recent degree theory of Kartsatos and Skrypnik, we establish the existence of an eigensolution to the nonlinear inclusion 0 ∈ T _x + λ C _x , with a regularization method by means of the duality operator. Moreover, possible branches of eigensolutions to the above inclusion are discussed. Furthermore, we give a surjectivity result about the operator λT + C when λ is not an eigenvalue for the pair (T, C), T being single-valued and densely defined.     

Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

Extremal integral representations

Let X be a closed bounded convex subset with the Radon-Nikodym property of a Banach space. For tight Borel probability measures μ, v on X, define μ ? v iff there is a dilation T on X such that T(μ) = v. Then, for every x?X, there is a measure μ on X which is maximal in the partial order ? and which has barycenter x. If X is separable, then μ(ex X) = 1 for all maximal measures μ. In general, a maximal measure need not be “on” ex X in this strong sense. If X is weakly compact, then a maximal measure is “on” ex X in the looser sense that μ(B) = 1 for all weak Baire sets B ? ex X.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

Modular metric spaces, I: Basic concepts

The notion of a modular is introduced as follows. A (metric) modular on a set X is a function w:(0,∞)×X×X→[0,∞] satisfying, for all x,y,z∈X, the following three properties: x=y if and only if w(λ,x,y)=0 for all λ>0; w(λ,x,y)=w(λ,y,x) for all λ>0; w(λ+μ,x,y)≤w(λ,x,z)+w(μ,y,z) for all λ,μ>0. We show that, given x₀∈X, the set X_w={x∈X:lim_λ→∞w(λ,x,x₀)=0} is a metric space with metric , called a modular space. The modular w is said to be convex if (λ,x,y)?λw(λ,x,y) is also a modular on X. In this case X_w coincides with the set of all x∈X such that w(λ,x,x₀)<∞ for some λ=λ(x)>0 and is metrizable by . Moreover, if or , then ; otherwise, the reverse inequalities hold. We develop the theory of metric spaces, generated by modulars, and extend the results by H. Nakano, J. Musielak, W. Orlicz, Ph. Turpin and others for modulars on linear spaces.     

Embedding of a pseudo-residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let v, t and λ₁, 0 ? i ? t, be nonnegative integers, and K be a subset of nonnegative integers such that every member of K is at most v. A pair (X, U) is called a (λ₀, λ₁,…, λ_t; K, υ)t-design if (1) |X| = υ, (2) every i-subset of X is contained in exactly λ_t blocks, 0 ? i ? t, and (3) for every block A in $\text{U}$, |A| ?K. It is well-known that if K consists of a singleton k, then λ₀,…, λ_{t ? 1} can be determined from υ, t, k and λ_t. Hence, we shall denote a (λ₀,…, λ_t; {k}, υ)t-design by S_λ(t, k, υ), where λ = λ_t. A Möbius plane M is an S₁(3, q + 1, q² + 1), where q is a positive integer. Let A be a fixed block in M. If A is deleted from M together with the points contained in A, then we obtain a residual design M′ with parameters λ₀ = q³ + q ? 1, λ₁ = q² + q, λ₂ = q + 1, λ₃ = 1, K = {q + 1, q, q ? 1}, and υ = q² ? 1. We define a design to be a pseudo-block-residual design of order q (abbreviated by PBRD(q)) if it has these parameters. We consider the reconstruction problem of a Möbius plane from a given PBRD(q). Let B and B′ be two blocks in a residual design M′. If B and B′ are tangent to each other at a point x, and there exists a block C of size q + 1 such that C is tangent to B at x and is secant to B′, then we say B is r-tangent to B′ at x. A PBRD(q) is said to satisfy the r-tangency condition if for every block B of size q, and any two points x and y not in B, there exists at most one block which is r-tangent to B and contains x and y. We show that any PBRD(q)D can be uniquely embedded into a Möbius plane if and only if D satisfies the r-tangency condition.     

The asymptotics of nonexpansive iterations

Let D be a closed subset of a Banach space X and T: D → D a nonexpansive mapping. Conditions are given (on the space X) for T to satisfy the following property of ergodic type: $\text{{T}{}^{\mathrm{n}}\text{x}\text{n}\text{}}$ converges (either weakly or strongly) to a vector v. Rather unexpectedly, D is not assumed to be convex, nor is I – T assumed to satisfy any range condition. In addition, it is shown that ?v is the unique point of least norm in the closure of R(I – T) if and only if I – T satisfies a certain range condition at infinity. Several interesting applications to accretive operator and nonlinear semigroup theory are also included.     

Sur les arborescences dans un graphe oriente

The main result of this paper is the following theorem: Let G = (X,E) be a digraph without loops or multiple edges, |X| ?3, and h be an integer ?1, if G contains a spanning arborescence and if d⁺_G(x)+d^?_G(x)+d^?_G(y)+d^?_G(y)? 2|X |?2h?1 for all x, y?X, x ≠ y, non adjacent in G, then G contains a spanning arborescence with ?h terminal vertices. A strengthening of Gallai-Milgram's theorem is also proved.     

KKM-type theorems for best proximity points

Let us consider two nonempty subsets A,B of a normed linear space X, and let us denote by 2^B the set of all subsets of B. We introduce a new class of multivalued mappings {T:A→2^B}, called R-KKM mappings, which extends the notion of KKM mappings. First, we discuss some sufficient conditions for which the set ∩{T(x):x∈A} is nonempty. Using this nonempty intersection theorem, we attempt to prove a extended version of the Fan-Browder multivalued fixed point theorem, in a normed linear space setting, by providing an existence of a best proximity point.