On perturbations of differentiable semigroups

LetX be a Banach space and letA be the infinitesimal generator of a differentiable semigroup {T(t) |t ≥ 0}, i.e. aC ₀-semigroup such thatt ↦T(t)x is differentiable on (0, ∞) for everyx εX. LetB be a bounded linear operator onX and let {S(t) |t ≥ 0} be the semigroup generated byA +B. Renardy recently gave an example which shows that {S(t) |t ≥ 0} need not be differentiable. In this paper we give a condition on the growth of ‖T′(t)‖ ast ↓ 0 which is sufficient to ensure that {S(t) |t ≥ 0} is differentiable. Moreover, we use Renardy’s example to study the optimality of our growth condition. Our results can be summarized roughly as follows:

Sign change of the function <Emphasis Type="Italic">S</Emphasis>(<Emphasis Type="Italic">t</Emphasis>) on short intervals

A theorem for the sign variation of the argument of the Riemann zeta function S(t) in the interval (t − A, t + A) with A = 4.39 ln ln ln ln T for each t, T ≤ t ≤ T + H excluding values from the set E with the measure mes(E) = O(H(ln ln T)⁻¹(ln ln ln T)^−0,5) is proved.     

On the transversal Helly numbers of disjoint and overlapping disks

A family of disks is said to have the property T(k) if any k members of the family have a common line transversal. We call a family of unit diameter disks t-disjoint if the distances between the centers are greater than t. We consider for each natural number k≧ 3 the infimum t_k of the distances t for which any finite family of t-disjoint unit diameter disks with the property T(k) has a line transversal. We determine exact values of t₃ and t₄, and give general lower and upper bounds on the sequence t_k, showing that t_k = O(1/k) as k → ∞. In honour of Helge Tverberg’s seventieth birthday Received: 9 June 2005     

Probabilities of high excursions of Gaussian fields

Let {ξ(t), t ∈ T} be a differentiable (in the mean-square sense) Gaussian random field with E ξ(t) ≡ 0, D ξ(t) ≡ 1, and continuous trajectories defined on the m-dimensional interval T ì \mathbbR^m T \subset {\mathbb{R}^m} . The paper is devoted to the problem of large excursions of the random field ξ. In particular, the asymptotic properties of the probability P = P{−v(t) < ξ(t) < u(t), t ∈ T}, when, for all t ∈ T, u(t), v(t) ⩾ χ, χ → ∞, are investigated. The work is a continuation of Rudzkis research started in [R. Rudzkis, Probabilities of large excursions of empirical processes and fields, Sov. Math., Dokl., 45(1):226–228, 1992]. It is shown that if the random field ξ satisfies certain smoothness and regularity conditions, then P = e^−Q  + Qo(1), where Q is a certain constructive functional depending on u, v, T, and the matrix function R(t) = cov(ξ′(t), ξ′(t)).     

Order reduction for a system of stochastic differential equations with a small parameter in the coefficient of the leading derivative. Estimate for the rate of convergence

We establish an estimate for the rate of convergence of a solution of an ordinary stochastic differential equation of order p ≥ 2 with a small parameter in the coefficient of the leading derivative to a solution of a stochastic equation of order p − 1 in the metric ρ(X, Y) = (sup_0≤t≤T M|X(t) − Y(t)|²)^1/2 __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 12, pp. 1587–1601, December, 2006.     

A Note on the Browder＇s and Weyl＇s Theorem

Let T be a Banach space operator, E（T） be the set of all isolated eigenvalues of T and π（T） be the set of all poles of T. In this work, we show that Browder＇s theorem for T is equivalent to the localized single-valued extension property at all complex numbers λ in the complement of the Weyl spectrum of T, and we give some characterization of Weyl＇s theorem for operator satisfying E（T） = π（T）. An application is also given.     

On a criterion for the uniform boundedness of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup of operators in a Hilbert space

Let T(t), t ≥ 0, be a C ₀-semigroup of linear operators acting in a Hilbert space H with norm ‖·‖. We prove that T(t) is uniformly bounded, i.e., ‖T(t)‖ ≤ M, t ≥ 0, if and only if the following condition is satisfied:

On a question of A. E. Nussbaum on measurability of families of closed linear operators in a Hilbert space

The purpose of this note is to answer a question A. E. Nussbaum formulated in 1964 about the possible equivalence between weak measurability of a family of densely defined, closed operators {T(t)} _t∈ℝ in a separable complex Hilbert space H\mathcal{H} on one hand, and the notion of measurability of the 2 × 2 operator-valued matrix of projections {(P(Γ(T(t))) _j,k )_1⩽j,k⩽2} _t∈ℝ onto the graph Γ(T(t)) of T(t) on the other, in the negative.     

On exponential stability of contraction semigroups

A semigroup [T(t)] on a Hilbert space is exponentially stable if there exist real constants M≥1 and α>0 such that ∥T(t)∥≤Me ^−αt for every t≥0. If [T(t)] is a strongly continuous contraction semigroup, then it is proved that we can set M=1 in the definition of exponential stability if and only if the generator A of [T(t)] is boundedly strict dissipative (just a strict dissipative A is not enough).     

On the behavior of orbits of uniformly stable semigroups at infinity

For uniformly stable bounded analytic C ₀-semigroups {T(t)} _t≥0 of linear operators in a Banach space B, we study the behavior of their orbits T (t)x, x ∈ B, at infinity. We also analyze the relationship between the order of approaching the orbit T (t)x to zero as t → ∞ and the degree of smoothness of the vector x with respect to the operator A ⁻¹ inverse to the generator A of the semigroup {T(t)} _t≥0. In particular, it is shown that, for this semigroup, there exist orbits approaching zero at infinity not slower than , where a > 0, 0 < α < π/(2(π-θ)), θ is the angle of analyticity of {T(t)} _t≥0, and the collection of these orbits is dense in the set of all orbits. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 2, pp. 148–159, February, 2006.     

An integral strong law of large numbers for processes with independent increments

For a stochastically continuous stochastic process with independent increments overD[0,T], letN(t,ε) be the number of smaple function jumps that occur in the interval [0,t] of sizes less than −ε or greater than ε, where ε>0. LetM(t,ε)=EN(t,ε), and assumeM(t,0+)=∞ for 0<t≦T. If lim_{ε ↓0}(M(t,ε)/M(T,ε)) exists and is positive for eacht∈(0,T], then lim_{ε ↓0}(N(t,ε)/M(T,ε)) for allt∈(0,T] with probability one. The research of Howard G. Tucker was supported in part by the National Science Foundation, Grant No. MCS76-03591A01.     

On the set of <Emphasis Type="Italic">t</Emphasis>-linked overrings of an integral domain

Let R be an integral domain with quotient field L. An overring T of R is t-linked over R if I ⁻¹ = R implies that (T : IT)  =  T for each finitely generated ideal I of R. Let O _t (R) denotes the set of all t-linked overrings of R and O(R) the set of all overrings of R. The purpose of this paper is to study some finiteness conditions on the set O _t (R). Particularly, we prove that if O _t (R) is finite, then so is O(R) and O _t (R) = O(R), and if each chain of t-linked overrings of R is finite, then each chain of overrings of R is finite. This yields that the t-linked approach is more efficient than the Gilmer’s treatment (Proc Am Math Soc 131:2337–2346, 2002). We also examine the finiteness conditions in some Noetherian-like settings such as Mori domain, quasicoherent Mori domain, Krull domain, etc. We establish a connection between O _t (R) and the set of all strongly divisorial ideals of R and we conclude by a characterization of domains R that are t-linked under all their overrings. This work was funded by KFUPM under Project # FT/18-2005.     

Weyl’s theorem for algebraically wF(p, r, q) operators with p, r?>?0 and q?≥?1

If T (or T*) is an algebraically wF(p, r, q) operator with p, r > 0 and q ≥ 1 acting in an infinite-dimensional separable Hilbert space, then we prove that Weyl’s theorem holds for f(T) for any f ∈ Hol(σ(T)), where Hol(σ(T)) is the set of all analytic functions in an open neighborhood of σ(T). Moreover, if T* is a wF(p, r, q) operator with p, r > 0 and q ≥ 1, then the a-Weyl’s theorem holds for f(T). In addition, if T (or T*) is an algebraically wF(p, r, q) operator with p, r > 0 and q ≥ 1, then we establish the spectral mapping theorems for the Weyl spectrum and for the essential approximate point spectrum of T for any f ∈ Hol(σ(T)), respectively. Finally, we examine the stability of Weyl’s theorem and the a-Weyl’s theorem under commutative perturbations by finite-rank operators.     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

On the Isolated Points of the Spectrum of Paranormal Operators

For paranormal operator T on a separable complex Hilbert space we show that (1) Weyl’s theorem holds for T, i.e., σ(T) \ w(T) = π₀₀(T) and (2) every Riesz idempotent E with respect to a non-zero isolated point λ of σ(T) is self-adjoint (i.e., it is an orthogonal projection) and satisfies that ranE = ker(T − λ) = ker(T − λ)^*.     

Some combinatorial constructions for optimal perfect deletion-correcting codes

There are two kinds of perfect t-deletion-correcting codes of length k over an alphabet of size v, those where the coordinates may be equal and those where all coordinates must be different. We call these two kinds of codes T*(k − t, k, v)-codes and T(k − t, k, v)-codes respectively. The cardinality of a T(k − t, k, v)-code is determined by its parameters, while T*(k − t, k, v)-codes do not necessarily have a fixed size. Let N(k − t, k, v) denote the maximum number of codewords in any T*(k − t, k, v)-code. A T*(k − t, k, v)-code with N(k − t, k, v) codewords is said to be optimal. In this paper, some combinatorial constructions for optimal T*(2, k, v)-codes are developed. Using these constructions, we are able to determine the values of N(2, 4, v) for all positive integers v. The values of N(2, 5, v) are also determined for almost all positive integers v, except for v = 13, 15, 19, 27 and 34.      

The size-Ramsey number of trees

IfG andH are graphs, let us writeG→(H)₂ ifG contains a monochromatic copy ofH in any 2-colouring of the edges ofG. Thesize-Ramsey number r _e(H) of a graphH is the smallest possible number of edges a graphG may have ifG→(H)₂. SupposeT is a tree of order |T|≥2, and lett ₀,t ₁ be the cardinalities of the vertex classes ofT as a bipartite graph, and let Δ(T) be the maximal degree ofT. Moreover, let Δ₀, Δ₁ be the maxima of the degrees of the vertices in the respective vertex classes, and letβ(T)=T ₀Δ₀+t ₁Δ₁. Beck [7] proved thatβ(T)/4≤r _e(T)=O{β(T)(log|T|)¹²}, improving on a previous result of his [6] stating thatr _e(T)≤Δ(T)|T|(log|T|)¹². In [6], Beck conjectures thatr _e(T)=O{Δ(T)|T|}, and in [7] he puts forward the stronger conjecture thatr _e(T)=O{β(T)}. Here, we prove the first of these conjectures, and come quite close to proving the second by showing thatr _e(T)=O{β(T)logΔ(T)}.     

Interior transition layers of solutions to the perturbed elliptic Sine-Gordon equation on an interval

We consider the perturbed elliptic Sine-Gordon equation on an interval-u″t+γsinu(t)=μf(u(t)),t ∈I := (-T, T),u(t) > 0,t ∈I,u(±T)=0 where λ, μ>0 are parameters andT>0 is a constant. By applying variational methods subject to the constraint depending on λ, we obtain eigenpairs (μ,u)=(μ(λ),u _λ) which solve this eigenvalue problem for a given λ>0. Then we study the asymptotic behavior ofu _λ and μ(λ) as λ→∞. Especially, we study the location of interior transition layers ofu _λ as λ→∞. This research has been supported by the Japan Society for the Promotion of Science.     

Spectral mapping theorems for exponentially bounded c-semigroups in Banach spaces

LetZ be a generator of an exponentially boundedC-semigroup {S _t } _t≥0 in a Banach space and letT _t =C ⁻¹ S _t . We show that the spectral mapping theorems such as exp(tσ(Z)) ⊂ σ(T _t ) and exp(tσ _p (Z)) ⊂ tσ _p (T _t ) ⊂ exp(tσ _p (Z)) ⋃ {0} for everyt≥0 hold. The present studies were supported by the Basic Science Research Institute Program, Ministry of Education, 1987.     

Weyl’s theorem for totally hereditarily normaloid operators

A Banach space operatorT ∈B(χ) is said to behereditarily normaloid, denotedT ∈ ℋN, if every part ofT is normaloid;T ∈ ℋN istotally hereditarily normaloid, denotedT ∈ ℑHN, if every invertible part ofT is also normaloid. Class ℑHN is large; it contains a number of the commonly considered classes of operators. The operatorT isalgebraically totally hereditarily normaloid, denotedT ∈a — ℑHN, both non-constant polynomialp such thatp(T) ∈ ℑHN. For operatorsT ∈a − ℑHN, bothT andT* satisfy Weyl’s theorem; if also either ind(T−μ)≥0 or ind(T−μ)≤0 for all complexμ such thatT−μ is Fredholm, thenf(T) andf(T*) satisfy Weyl’s theorem for all analytic functionsf ∈ ℋ(σ(T)). For operatorsT ∈a — ℑHN such thatT has SVEP,T* satisfiesa-Weyl’s theorem.