Strong convergence of viscosity approximation methods for finding zeros of accretive operators in Banach spaces

In this paper, we introduce a composite iterative scheme by viscosity approximation method for finding a zero of an accretive operator in Banach spaces. Then, we establish strong convergence theorems for the composite iterative scheme. The main theorems improve and generalize the recent corresponding results of Kim and Xu [T.H. Kim, H.K. Xu, Strong convergence of modified Mann iterations, Nonlinear Anal. 61 (2005) 51-60], Qin and Su [X. Qin, Y. Su, Approximation of a zero point of accretive operator in Banach spaces, J. Math. Anal. Appl. 329 (2007) 415-424] and Xu [H.K. Xu, Strong convergence of an iterative method for nonexpansive and accretive operators, J. Math. Anal. Appl. 314 (2006) 631-643] as well as Aoyama et al. [K. Aoyama, Y Kimura, W. Takahashi, M. Toyoda, Approximation of common fixed points of a countable family of nonexpansive mappings in Banach spaces, Nonlinear Anal. 67 (2007) 2350-2360], Benavides et al. [T.D. Benavides, G.L. Acedo, H.K. Xu, Iterative solutions for zeros of accretive operators, Math. Nachr. 248-249 (2003) 62-71], Chen and Zhu [R. Chen, Z. Zhu, Viscosity approximation fixed points for nonexpansive and m-accretive operators, Fixed Point Theory and Appl. 2006 (2006) 1-10] and Kamimura and Takahashi [S. Kamimura, W. Takahashi, Approximation solutions of maximal monotone operators in Hilberts spaces, J. Approx. Theory 106 (2000) 226-240].     

Common fixed point theorems of Gregus type for weakly compatible mappings satisfying contractive conditions of integral type

We prove a common fixed point theorem of Gregus type for four mappings satisfying a contractive condition of integral type in metric spaces using the concept of weak compatibility which generalizes Theorem 2 of [A. Djoudi, L. Nisse, Gregus type fixed points for weakly compatible mappings, Bull. Belg. Math. Soc. 10 (2003) 369-378] and other papers. We prove also common fixed point theorems of Gregus type using a strict contractive condition of integral type, a property (E.A) and a common property (E.A) introduced by [M. Aamri, D. El Moutawakil, Some new common fixed point theorems under strict contractive conditions, J. Math. Anal. Appl. 270 (2002) 181-188] and [W. Liu, J. Wu, Z. Li, Common fixed points of single-valued and multi-valued maps, Int. J. Math. Math. Sci. 19 (2005) 3045-3055], respectively.     

Duality for Lipschitz p-summing operators

Building upon the ideas of R. Arens and J. Eells (1956) [1] we introduce the concept of spaces of Banach-space-valued molecules, whose duals can be naturally identified with spaces of operators between a metric space and a Banach space. On these spaces we define analogues of the tensor norms of Chevet (1969) [3] and Saphar (1970) [14], whose duals are spaces of Lipschitz p-summing operators. In particular, we identify the dual of the space of Lipschitz p-summing operators from a finite metric space to a Banach space — answering a question of J. Farmer and W.B. Johnson (2009) [6] — and use it to give a new characterization of the non-linear concept of Lipschitz p-summing operator between metric spaces in terms of linear operators between certain Banach spaces. More generally, we define analogues of the norms of J.T. Lapresté (1976) [11], whose duals are analogues of A. Pietsch?s (p,r,s)-summing operators (A. Pietsch, 1980 [12]). As a special case, we get a Lipschitz version of (q,p)-dominated operators.     

An uncertainty inequality for Fourier-Dunkl series

An uncertainty inequality for the Fourier-Dunkl series, introduced by the authors in [Ó. Ciaurri, J.L. Varona, A Whittaker-Shannon-Kotel’nikov sampling theorem related to the Dunkl transform, Proc. Amer. Math. Soc. 135 (2007) 2939-2947], is proved. This result is an extension of the classical uncertainty inequality for the Fourier series.     

IFS on a metric space with a graph structure and extensions of the Kelisky-Rivlin theorem

We develop the Hutchinson-Barnsley theory for finite families of mappings on a metric space endowed with a directed graph. In particular, our results subsume a classical theorem of J.E. Hutchinson [J.E. Hutchinson, Fractals and self-similarity, Indiana Univ. Math. J. 30 (1981) 713-747] on the existence of an invariant set for an iterated function system of Banach contractions, and a theorem of L. Máté [L. Máté, The Hutchinson-Barnsley theory for certain non-contraction mappings, Period. Math. Hungar. 27 (1993) 21-33] concerning finite families of locally uniformly contractions introduced by Edelstein. Also, they generalize recent fixed point theorems of A.C.M. Ran and M.C.B. Reurings [A.C.M. Ran, M.C.B. Reurings, A fixed point theorem in partially ordered sets and some applications to matrix equations, Proc. Amer. Math. Soc. 132 (2004) 1435-1443], J.J. Nieto and R. Rodríguez-López [J.J. Nieto, R. Rodríguez-López, Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order 22 (2005) 223-239; J.J. Nieto, R. Rodríguez-López, Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations, Acta Math. Sin. (Engl. Ser.) 23 (2007) 2205-2212], and A. Petru?el and I.A. Rus [A. Petru?el, I.A. Rus, Fixed point theorems in ordered L-spaces, Proc. Amer. Math. Soc. 134 (2006) 411-418] for contractive mappings on an ordered metric space. As an application, we obtain a theorem on the convergence of infinite products of linear operators on an arbitrary Banach space. This result yields new generalizations of the Kelisky-Rivlin theorem on iterates of the Bernstein operators on the space C[0,1] as well as its extensions given recently by H. Oruç and N. Tuncer [H. Oruç, N. Tuncer, On the convergence and iterates of q-Bernstein polynomials, J. Approx. Theory 117 (2002) 301-313], and H. Gonska and P. Pi?ul [H. Gonska, P. Pi?ul, Remarks on an article of J.P. King, Comment. Math. Univ. Carolin. 46 (2005) 645-652].     

Multiplicative Decompositions of Holomorphic Fredholm Functions and ψ*-Algebras

In this article we construct multiplicative decompositions of holomorphic Fredholm operator valued functions on Stein manifolds with values in various algebras of differential and pseudo differential operators which are submultiplicative ψ* - algebras, a concept introduced by the first author. For Fredholm functions T(z) satisfying an obvious topological condition we. Prove (0.1) T(z) = A(z)(I + S(z)), where A(z) is holomorphic and invertible and S(z) is holomorphic with values in an “arbitrarily small” operator ideal. This is a stronger condition on S(z) than in the authors' additive decomposition theorem for meromorphic inverses of holomorphic Fredholm functions [12], where the smallness of S(z) depends on the number of complex variables. The Multiplicative Decomposition theorem (0.1) sharpens the authors' Regularization theorem [11]; in case of the Band algebra L(X) of all bounded linear operators on a Band space, (0.1) has been proved by J. Letterer [20] for one complex variable and by M. 0. Zaidenberg, S. G. Krein, P. A. Kuchment and A. A. Pankov [26] for the Banach ideal of compact operators.     

The Jackson Inequality for the Best L2-Approximation of Functions on [0, 1] with the Weight x

Let L^2（[0, 1], x） be the space of the real valued, measurable, square summable functions on [0, 1] with weight x, and let n be the subspace of L2（[0, 1], x） defined by a linear combination of Jo（μkX）, where Jo is the Bessel function of order 0 and {μk} is the strictly increasing sequence of all positive zeros of Jo. For f ∈ L^2（[0, 1], x）, let E（f, n） be the error of the best L2（[0, 1], x）, i.e., approximation of f by elements of n. The shift operator off at point x ∈[0, 1] with step t ∈[0, 1] is defined by T（t）f（x）=1/π∫0^π f（√x^2 ＋t^2-2xtcosO）dθ The differences （I- T（t））^r/2f = ∑j=0^∞（-1）^j（j^r/2）T^j（t）f of order r ∈ （0, ∞） and the L^2（[0, 1],x）- modulus of continuity ωr（f,τ） = sup{｜｜（I- T（t））^r/2f｜｜：0≤ t ≤τ] of order r are defined in the standard way, where T^0（t） = I is the identity operator. In this paper, we establish the sharp Jackson inequality between E（f, n） and ωr（f, τ） for some cases of r and τ. More precisely, we will find the smallest constant n（τ, r） which depends only on n, r, and % such that the inequality E（f, n）≤ n（τ, r）ωr（f, τ） is valid.     

On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space

The concept of statistical convergence was introduced by Fast [H. Fast, Sur la convergence statistique, Colloq. Math. 2 (1951) 241–244] which was later on studied by many authors. In [J.A. Fridy, C. Orhan, Lacunary statistical convergence, Pacific J. Math. 160 (1993) 43–51], Fridy and Orhan introduced the idea of lacunary statistical convergence. Quite recently, the concept of statistical convergence of double sequences has been studied in intuitionistic fuzzy normed space by Mursaleen and Mohiuddine [M. Mursaleen, S.A. Mohiuddine, Statistical convergence of double sequences in intuitionistic fuzzy normed spaces, Chaos Solitons Fractals (2008), doi:10.1016/j.chaos.2008.09.018]. In this paper, we study lacunary statistical convergence in intuitionistic fuzzy normed space. We also introduce here a new concept, that is, statistical completeness and show that IFNS is statistically complete but not complete.     

PFI代数及其P滤子

文「１」引入了ＦＩ代数及其滤子，文「２」讨论了ＦＩ代数与ＭＶ代数的联系，本文在此基础上引入了正关联ＦＩ代数及其正关联滤子，并得到几个重要性质。     

A boolean transfer principle from L*-Algebras to AL*-Algebras

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is presupposed. MSC: 03C90, 03E40, 17B65, 46L10.     

Constructive methods for certain Bergman operators

This paper is concerned with the class of linear partial differential equations of second order such that there exist Bergman operators with polynomial kernels (cf, [12]). In an earlier paper [ll] the authors have shown that these equations also admit differential operators as introduced by K. W. Bauer [I]. In the present paper, relations between different types of representations of solutions are investigated. These representations are of interest in developing a function theory of solutions; cf., for instance, K. W. Bauer [I] and S. Ruscheweyh [19]. They are also essential to global extensions of local results obtained by means of Bergman operators of the first kind. The inversion problem for those operators is solved, and it is shown that all solutions of equations of that class which are holomorphic in a domain of C² can be represented by operators with polynomial kernels. Furthermore, a construction principle for deriving the equations investigated by K. W. Bauer [2] is obtained; this yields corresponding representations of solutions by differential and integral operators in a systematic fashion     

New fixed point theorems for <Emphasis Type="Italic">P</Emphasis><Subscript>1</Subscript>-compact mappings in Banach spaces

E E. Browder and W. V. Petryshyn defined the topological degree for A- proper mappings and then W. V. Petryshyn studied a class of A-proper mappings, namely, P1-compact mappings and obtained a number of important fixed point theorems by virtue of the topological degree theory. In this paper, following W. V. Petryshyn, we continue to study P1-compact mappings and investigate the boundary condition, under which many new fixed point theorems of P1-compact mappings are obtained. On the other hand, this class of A-proper mappings with the boundedness property includes completely continuous operators and so, certain interesting new fixed point theorems for completely continuous operators are obtained immediately. As a result of it, our results generalize several famous theorems such as Leray-Schauder＇s theorem, Rothe＇s theorem, Altman＇s theorem, Petryshyn＇s theorem, etc.     

ESTIMATES OF LINEAR RELATIVE n-WIDTHS IN L~p [0,1]

In this paper we will show that if an approximation process { L n }n ∈ N is shapepreserving relative to the cone of all k-times differentiable functions with non-negative k-th derivative on [0,1],and the operators L n are assumed to be of finite rank n,then the order of convergence of D k L n f to D k f cannot be better than n 2 even for the functions x k,x k+1,x k+2 on any subset of [0,1] with positive measure.Taking into account this fact,we will be able to find some asymptotic estimates of linear relative n-width of sets of differentiable functions in the space L p [0,1],p ∈ N.     

Algebraic K-theory of groups wreath product with finite groups

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example, for discrete subgroups of Lie groups [F.T. Farrell, L.E. Jones, Isomorphism conjectures in algebraic K-theory, J. Amer. Math. Soc. 6 (1993) 249-297], virtually poly-infinite cyclic groups [F.T. Farrell, L.E. Jones, Isomorphism conjectures in algebraic K-theory, J. Amer. Math. Soc. 6 (1993) 249-297], Artin braid groups [F.T. Farrell, S.K. Roushon, The Whitehead groups of braid groups vanish, Internat. Math. Res. Notices 10 (2000) 515-526], a class of virtually poly-surface groups [S.K. Roushon, The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups, math.KT/0408243, K-Theory, in press] and virtually solvable linear group [F.T. Farrell, P.A. Linnell, K-Theory of solvable groups, Proc. London Math. Soc. (3) 87 (2003) 309-336]. We extend these results in the sense that if G is a group from the above classes then we prove the conjecture for the wreath product G?H for H a finite group. The need for this kind of extension is already evident in [F.T. Farrell, S.K. Roushon, The Whitehead groups of braid groups vanish, Internat. Math. Res. Notices 10 (2000) 515-526; S.K. Roushon, The Farrell-Jones isomorphism conjecture for 3-manifold groups, math.KT/0405211, K-Theory, in press; S.K. Roushon, The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups, math.KT/0408243, K-Theory, in press]. We also prove the conjecture for some other classes of groups.     

A note on Weak-Type Interpolation and Function Spaces

This paper is concerned with an interpolation theorem for operatorsof generalized weak-type on rearrangement invariant spaces.As a tool, generalized average operators of D. W. Boyd, P. L.Butzer and F. Fehér, and L. Maligranda are employed.The theorem contains a result of D. W. Boyd [1] for Lebesguespaces and fills in a gap left by papers of E. M. Semenov [6]and M. Zippin [9].     

Criterions for detecting the existence of the exponential dichotomies in the asymptotic behavior of the solutions of variational equations

We prove that the admissibility of any pair of vector-valued Schäffer function spaces (satisfying a very general technical condition) implies the existence of a “no past” exponential dichotomy for an exponentially bounded, strongly continuous cocycle (over a semiflow). Roughly speaking the class of Schäffer function spaces consists in all function spaces which are invariant under the right-shift and therefore our approach addresses most of the possible pairs of admissible spaces. Complete characterizations for the exponential dichotomy of cocycles are also obtained. Moreover, we involve a concept of a “no past” exponential dichotomy for cocycles weaker than the classical concept defined by Sacker and Sell (1994) in [23]. Our definition of exponential dichotomy follows partially the definition given by Chow and Leiva (1996) in [4] in the sense that we allow the unstable subspace to have infinite dimension. The main difference is that we do not assume a priori that the cocycle is invertible on the unstable space (actually we do not even assume that the unstable space is invariant under the cocycle). Thus we generalize some known results due to O. Perron (1930) [14], J. Daleckij and M. Krein (1974) [7], J.L. Massera and J.J. Schäffer (1966) [11], N. van Minh, F. Räbiger and R. Schnaubelt (1998) [26].     

Bézout rings with almost stable range 1

Elementary divisor domains were defined by Kaplansky [I. Kaplansky, Elementary divisors and modules, Trans. Amer. Math. Soc. 66 (1949) 464-491] and generalized to rings with zero-divisors by Gillman and Henriksen [L. Gillman, M. Henriksen, Some remarks about elementary divisor rings, Trans. Amer. Math. Soc. 82 (1956) 362-365]. In [M.D. Larsen, W.J. Lewis, T.S. Shores, Elementary divisor rings and finitely presented modules, Trans. Amer. Math. Soc. 187 (1) (1974) 231-248], it was also proved that if a Hermite ring satisfies (N), then it is an elementary divisor ring. The aim of this article is to generalize this result (as well as others) to a much wider class of rings. Our main result is that Bézout rings whose proper homomorphic images all have stable range 1 (in particular, neat rings) are elementary divisor rings.     

Elliptic operators on elementary ramified spaces

Diffusion problems on topological networks (one-dimensional networks) have been introduced by G. Lumer [Lu. 1–4] and are also considered by F. Ali Mehmeti [AM] and the author [N.1–3]. According to the ideas of G. Lumer [Lu. 5], we develop here a local approach to diffusion problems on higher dimensional ramified spaces. We consider the variational formulation of such problems (see [L-U, G-T, Li, Sh, Lu. 5]). The transmission operator is the sum of weak Ventcel'-Visik boundary operators [B-C-P] (it is either a first order operator or a second order operator). Finally, like Gilbarg-Trudinger [G-T], we establish a continuity result which will be used in [N. 5] to show that one of the assumptions of the Lumer-Phillips theorem [P] (density of the range) is fulfilled.     

Hypervarieties of a given type

In this paper we consider the notions of hyperidentities and hypervarieties of a given type , without nullary operations, originated by J. Aczel [1], V. D. Belousov [2], W. D. Neumann [12] and W. Taylor [21]. Solid varieties are defined. Their equations correspond to hyperidentities and they form a complete sublattice of the lattice L() of all varieties of type . A completeness theorem for hyperidentities is formulated in analogue to G. Birkhoff [3]. The technique of weak isomorphisms, introduced by E. Marczewski and A. Goetz [7] assists us in partially answering a problem of W. Taylor (Problem 4, [21]).Presented by Ivo Rosenberg.This work was done while the first author was visiting the University of Kaiserslautern, under the auspices of the Alexander von Humboldt Foundation.As a part of this paper was done during the second author's visit to La Trobe University, the financial assistance by ARGS grant B 85154851 and by the DFG is gratefully acknowledged.