An iterative process for nonlinear lipschitzian and strongly accretive mappings in uniformly convex and uniformly smooth Banach spaces

SupposeX is ans-uniformly smooth Banach space (s > 1). LetT: X X be a Lipschitzian and strongly accretive map with constantk (0, 1) and Lipschitz constantL. DefineS: X X bySx=f–Tx+x. For arbitraryx ₀ X, the sequence {x_n} _n=1 is defined byx _n+1=(1– _n)x_n+ _nSy_n,y _n=(1– _n)x_n+ _nSx_n,n0, where {_n} _n=0 , {_n} _n=0 are two real sequences satisfying: (i) 0 _n ^p–1 2^–1s(k+k _n–L ²_n)(w+h)^–1 for eachn, (ii) 0 _n ^p–1 min{k/L², sk/(+h)} for eachn, (iii) _{n n}=, wherew=b(1+L)^s andb is the constant appearing in a characteristic inequality ofX, h=max{1, s(s-l)/2},p=min {2, s}. Then {x_n} _n=1 converges strongly to the unique solution ofTx=f. Moreover, ifp=2, _n=2^–1s(k +k–L²)(w+h)^–1, and _n= for eachn and some 0 min {k/L², sk/(w + h)}, then x_{n + 1}–q ^n/sx₁-q, whereq denotes the solution ofTx=f and=(1 – 4^–1s²(k +k – L ²)²(w + h)^–1 (0, 1). A related result deals with the iterative approximation of Lipschitz strongly pseudocontractive maps inX. SupposeX ism-uniformly convex Banach spaces (m > 1) andc is the constant appearing in a characteristic inequality ofX, two similar results are showed in the cases of L satisfying (1 – c²)(1 + L)^m < 1 + c – cm(l – k) or (1 – c²)L^m < 1 + c – cm(1 – s).     

Approximation of convolutions of multi-dimensional symmetric distributions by accompanying laws

Let F be a symmetric k-dimensional probability distribution, whose characteristic function satisfies for allt R ^k the inequality –1 + , where 0 < < 2. Let n be an arbitrary natural number, let Fⁿ be the n-fold convolution of the distribution F with itself, and let e(nF) be the accompanying infinitely divisible distribution with characteristic function exp(n( –1)). It is proved that the uniform distance (·,·) between corresponding distribution functions admits estimate (F ⁿ ,e(nF))c₁(k)(n^–1+exp(–n+ckn ³ n)), where c₁ (k) depends only on the dimension k, while c₂ is an absolute constant.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 55–72, 1989.     

On extremal perturbations of semi-Fredholm operators

Given a bounded linear operatorA in an infinite dimensional Banach space and a compact subset of a connected component of its semi-Fredholm domain, we construct a finite rank operatorF such that –A+F is bounded below (or surjective) for each ,F ²=0 and rankF=max min{dimN(–A), codimR(–A)}, if ind(–A)0 (or ind(–A)0, respectively) for each .     

An iff fixed point criterion for continuous self-mappings on a complete metric space

Summary Letf be a self-map on a metric space (X, d). We give necessary and sufficient conditions for the sequences {f ⁿ x} (x X) to be equivalent Cauchy. As a typical application we get the following result. Letf be continuous and (X, d) be complete. If, for anyx, y X d(f ⁿ x, f ⁿ y) 0 and for somec > 0, this convergence is uniform for allx, y inX withd(x, y) c thenf has a unique fixed pointp, andf ⁿ x p, for eachx inX. This theorem includes among others results of Angelov, Browder, Edelstein, Hicks and Matkowski.     

A note on the independent domination number of subset graph

The independent domination number i(G) (independent number (G)) is the minimum (maximum) cardinality among all maximal independent sets of G. Haviland (1995) conjectured that any connected regular graph G of order n and degree 1/2n satisfies i(G) 2n/3 1/2. For 1 k l m, the subset graph S _m (k, l) is the bipartite graph whose vertices are the k- and l-subsets of an m element ground set where two vertices are adjacent if and only if one subset is contained in the other. In this paper, we give a sharp upper bound for i(S _m (k, l)) and prove that if k + l = m then Havilands conjecture holds for the subset graph S _m (k, l). Furthermore, we give the exact value of (S _m (k, l)).This work was supported by National Natural Sciences Foundation of China (19871036).     

On convergence subsystems of orthonormal systems

It is proved that for any sequence {R _k} _k=1 of real numbers satisfyingR _kk (k1) andR _k=o(k log₂ k),k, there exists an orthonormal system {n _k(x)} _n=1 ,x (0;1), such that none of its subsystems {n _k(x)} _k=1 withn _kR_k (k1) is a convergence subsystem.     

Matrix functions with arbitrarily prescribed left and right partial indices

We prove that ifn2 and , are two given vectors inZ ⁿ, then there exists a matrix function inL ^n×n (T) which has a right Wiener-Hopf factorization inL ² with the partial indices and a left Wiener-Hopf factorization inL ² with the partial indices .     

On commuting compact self-adjoint operators on a Pontryagin space

Suppose thatA ₁,A ₂, ...,A _n are compact commuting self-adjoint linear maps on a Pontryagin spaceK of indexk and that their joint root subspaceM ₀ at the zero eigenvalue in ⁿ is a nondegenerate subspace. Then there exist joint invariant subspacesH andF inK such thatK=FH,H is a Hilbert space andF is finite-dimensional space withkdimF(n+2)k. We also consider the structure of restrictionsA _j|F in the casek=1.     

Fredholm weighted composition operators

We characterize the Fredholm weighted composition operators onC(X). In particular, ifX is a set with some regular property like intervals or balls inR ⁿ , our characterization implies that a weighted composition operator is Fredholm if and only if it is invertible. This equivalence is true for weighted composition operators onL ^p (), where is a nonatomic measure (1p<).     

On the unique finite (SI) decomposition of the Jordan operator ⊕ i=1 n S(θ) for certain inner function θ

In this paper, we have proven that for the Jordan blockS() withS() (SI), _i=1 ⁿ S() =S() ⁽ⁿ⁾ (n 1) has unique finite (SI) decomposition up to a similarity. As result, we obtain that ifV is a Volterra operator onH=L ²([0, 1]), thenV ⁽ⁿ⁾ has unique finite (SI) decomposition.This project was supported by National Natural Science Foundation of China.     

Logarithms and imaginary powers of closed linear operators

The imaginary powersA ^it of a closed linear operatorA, with inverse, in a Banach spaceX are considered as aC ₀-group {exp(itlogA);t R} of bounded linear operators onX, with generatori logA. Here logA is defined as the closure of log(1+A) – log(1+A ^–1). LetA be a linearm-sectorial operator of typeS(tan ), 0(/2), in a Hilbert spaceX. That is, |Im(Au, u)| (tan )Re(Au, u) foru D(A). Then ±ilog(1+A) ism-accretive inX andilog(1+A) is the generator of aC ₀-group {(1+A) ^it ;t R} of bounded imaginary powers, satisfying the estimate (1+A) ^it exp(|t|),t R. In particular, ifA is invertible, then ±ilogA ism-accretive inX, where logA is exactly given by logA=log(1+A)–log(1+A ^–1), and {A ^it;t R} forms aC ₀-group onX, with the estimate A ^it exp(|t|),t R. This yields a slight improvement of the Heinz-Kato inequality.     

On the spectrum determined growth assumption and the perturbation ofC 0 semigroups

The spectrum determined growth property ofC ₀ semigroups in a Banach space is studied. It is shown that ifA generates aC ₀ semigroup in a Banach spaceX, which satisfies the following conditions: 1) for any >s(A), sup{R(;A) | Re}<; 2) there is a ₀>(A) such that , xX, and , fX ^*, then (A=s(A). Moreover, it is also shown that ifA=A ₀+B is the infinitesimal generator of aC ₀ semigroup in Hilbert space, whereA ₀ is a discrete operator andB is bounded, then (A)=s(A). Finally the results obtained are applied to wave equation and thermoelastic system.     

Sur les équations fonctionnelles auxq-différences

Summary In this paper, we study the convergence of formal power series solutions of functional equations of the formP _k(x)(^[k](x))=(x), where ^[k] (x) denotes thek-th iterate of the function.We obtain results similar to the results of Malgrange and Ramis for formal solutions of differential equations: if(0) = 0, and(0) =q is a nonzero complex number with absolute value less than one then, if(x)=a(n)x ⁿ is a divergent solution, there exists a positive real numbers such that the power seriesa(n)q ^sn(n+1)2 x ⁿ has a finite and nonzero radius of convergence.

     

Adjoints of slant Toeplitz operators II

Let be the unit circle {z|z|=1} and _n c _n e ⁱⁿ be a bounded measurable function on . Theslant Toeplitz operator A onL ² ( ) is defined by A e _n ,e _m =c _2m–n for allm, n wheree _n (z)=z ⁿ , . In this paper, we continue the study initiated in [6] onA ^* , the adjoint ofA . Specifically, we will show that for a certain dense set of continuous functions on ,A ^* is similar to some constant multiple of either a shift, or a shift plus a rank one operator.     

Conditions for eigenvectors of a selfadjoint operator-function to form a basis

Consider a functionL() defined on an interval of the real axis whose values are linear bounded selfadjoint operators in a Hilbert spaceH. A point ₀ and a vector ₀ H( ₀ 0) are called eigenvalue and eigenvector ofL() ifL() ifL(₀) ₀ = 0. Supposing that the functionL() can be represented as an absolutely convergent Fourier integral, the interval is sufficiently small and the derivative will be positive at some point, it has been proved that all the eigenvectors of the operator-functionL() corresponding to the eigenvalues from the interval form an unconditional basis in the subspace spanned by them.     

A variational principle for eigenvalues of pencils of Hermitian matrices

LetH=(A, B) be a pair of HermitianN×N matrices. A complex number is an eigenvalue ofH ifdet(A–B)=0 (we include = ifdetB=0). For nonsingularH (i.e., for which some is not an eigenvalue), we show precisely which eigenvalues can be characterized as _k ⁺ =sup{inf{*A:*B=1,S},SS _k},S _k being the set of subspaces of C ^N of codimensionk–1.Dedicated to the memory of our friend and colleague Branko NajmanResearch supported by NSERC of Canada and the I.W.Killam FoundationProfessor Najman died suddenly while this work was at its final stage. His research was supported by the Ministry of Science of CroatiaResearch supported by NSERC of Canada     

Subsolutions for abstract evolution equations

We study different notions of subsolutions for an abstract evolution equation du/dt+Auf where A is an m-accretive nonlinear operation in an ordered Banach space X with order-preserving resolvents. A first notion is related to the operator d/dt+A in the ordered Banach space L ¹(0, T; X); a second one uses the evolution equation du/dt+A uf where A :x{y;zy for some zAx}; other notions are also considered.     

The commutant of rationally cyclic subnormal operators and rational approximation

Let denote the set of analytic bounded point evaluations forR ^q (K, ). Assume that . In this paper, we first show that if is a finitely connected domain and if the evaluation map fromR ^q (K, )L () toH () is surjective, then | is absolutely continuous with respect to harmonic measure for . This generalizes Olin and Yang's corresponding result for polynomials and the proof we present here is simpler. We also provide an example that shows this absolute continuity property fails in general when is an infinitely connected domain. In the second part, we then offer a solution to a problem of Conway and Elias.     

Zeros of the densities of infinitely divisible measures on R n

Let be an infinitely divisible probability measure onR ⁿ without Gaussian component and let be its Lévy measure. Suppose that is absolutely continuous with respect to the Lebesgue measure . We investigate the structure of the set ⁿ of admissible translates of . This yields a unified presentation of previously known results. We also show that if(S)>0 then is equivalent to , under the assumption that supp =R ⁿ , whereS is the closure of the semigroup generated by the support of .The research of this author is supported by KBN Grant.The research of this author is supported by AFSOR Grant No. 90-0168, and the University of Tennessee Science Alliance, a State of Tennessee Center of Excellence.