Decay estimates of functions through singular extensions of vector-valued Laplace transforms

Let X be a Banach space and let f∈L^∞(R⁺;X) whose Laplace transform extends analytically to some region containing iR?{0}, possibly having a pole at the origin. In this paper, we give estimates of the decay of certain slight suitable modification of f in terms of the growth of its Laplace transform along the imaginary axis. This technique is applied to obtain decay estimates of smooth orbits of bounded C₀-semigroups whose infinitesimal generators have an arbitrary finite boundary spectrum. These results are close to those given recently by C.J.K. Batty and T. Duyckaerts.     

Strength of convergence in the orbit space of a groupoid

Let G be a second-countable locally-compact Hausdorff groupoid with a Haar system, and let {xn} be a sequence in the unit space G(0) of G. We show that the notions of strength of convergence of {xn} in the orbit space G(0)/G and measure-theoretic accumulation along the orbits are equivalent ways of realising multiplicity numbers associated to a sequence of induced representation of the groupoid C^?-algebra.     

Hardy spaces for the strip

In this paper we shall study Hardy spaces of analytic functions in a strip S. Our main result is on one hand an intrinsic characterization of the spaces and on the second that polynomials are dense. We also present an orthogonal (in H²(S)) basis of polynomials.     

Multicyclicity of unbounded normal operators and polynomial approximation in C

A remarkable and much cited result of Bram [J. Bram, Subnormal operators, Duke Math. J. 22 (1955) 75-94] shows that a star-cyclic bounded normal operator in a separable Hilbert space has a cyclic vector. If, in addition, the operator is multiplication by the variable in a space L²(m) (not only unitarily equivalent to it), then it has a cyclic vector in L^∞(m). We extend Bram's result to the case of a general unbounded normal operator, implying by this that the (classical) multiplicity and the multicyclicity of the operator (cf. [N.K. Nikolski, Operators, Functions and Systems: An Easy Reading, vol. 2, Math. Surveys Monogr., vol. 93, Amer. Math. Soc., Providence, 2002]) coincide. It follows that if m is a sigma-finite Borel measure on C (possibly with noncompact support), then there is a nonnegative finite Borel measure τ equivalent to m and such that L²(C,τ) is the norm-closure of the polynomials in z.     

A class of essential representations of product systems

We construct a family of essential representations of an arbitrary product system by generalizing some techniques introduced by M. Skeide and W. Arveson. We then classify the resulting E₀-semigroups up to conjugacy, by identifying their tail flows as periodic W^∗-dynamical systems acting on factors of type I_∞. The conjugacy classes of these E₀-semigroups correspond to the orbits of the action of the automorphism group of the product system on unital vectors. In the sequel, this classification shows explicitly that any E₀-semigroup admits uncountably many non-conjugate cocycle perturbations.     

Solutions of nonlinear evolution inclusions

In this paper, the solution of the nonlinear evolution inclusion problem of the form u^′(t)+B(t,u(t))∋f(t) is studied. In this problem, the operators are of type (M) or type (S₊), which are different from those of pseudo-monotone operators that had been studied by many authors. At the same time, we study the perturbation problem. In fact, many kinds of evolution equations can be generalized by this problem. The former results are improved and generalized by our conclusions, and we will give more applications.     

A note on ball-covering property of Banach spaces

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere SX of X; and X is said to have the ball-covering property (BCP) provided it admits a ball-covering by countably many balls. In this note we give a natural example showing that the ball-covering property of a Banach space is not inherited by its subspaces; and we present a sharp quantitative version of the recent Fonf and Zanco renorming result saying that if the dual X^∗ of X is w^∗ separable, then for every ε>0 there exist a (1+ε)-equivalent norm on X, and an R>0 such that in this new norm SX admits a ball-covering by countably many balls of radius R. Namely, we show that R=R(ε) can be taken arbitrarily close to (1+ε)/ε, and that for X=?₁[0,1] the corresponding R cannot be equal to 1/ε. This gives the sharp order of magnitude for R(ε) as ε→0.     

A functional characterization of measures and the Banach-Ulam problem

For a measurable space (Ω,A), let ?_∞(A) be the closure of span{χA:A∈A} in ?_∞(Ω). In this paper we show that a sufficient and necessary condition for a real-valued finitely additive measure μ on (Ω,A) to be countably additive is that the corresponding functional ?μ defined by (for x∈?_∞(A)) is w^*-sequentially continuous. With help of the Yosida-Hewitt decomposition theorem of finitely additive measures, we show consequently that every continuous functional on ?_∞(A) can be uniquely decomposed into the ?₁-sum of a w^*-continuous functional, a purely w^*-sequentially continuous functional and a purely (strongly) continuous functional. Moreover, several applications of the results to measure extension are given.     

Positive Quaternion Kähler Manifolds with fourth Betti number equal to one

Positive Quaternion Kähler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. In this article we are mainly concerned with Positive Quaternion Kähler Manifolds M satisfying b₄(M)=1. Generalising a result of Galicki and Salamon we prove that M4n in this case is homothetic to a quaternionic projective space if 2≠n?6.     

Local regularity theorems for the stationary thermistor problem with oscillating degeneracy

In this paper we present some regularity results for solutions to the system −Δu=σ(u)²|∇φ|, div(σ(u)∇φ)=0 in the case where σ(u) is allowed to oscillate between 0 and a positive number as u→∞. In particular, we show that u is locally bounded if σ(u) is bounded below by a suitable exponential function.     

Eventual differentiability of functional differential equations in Banach spaces

This paper concerns the regularity of a functional differential equation in the form: , t>0, where A is the generator of an analytic semigroup on a Banach space X, and B₁,B₂ are α(γ−A)-bounded linear operator for 0<α<1. By spectral analysis, it is shown that the associated solution semigroup of this equation is eventually differentiable.     

Delay-dependent stability of symmetric schemes in Boundary Value Methods for DDEs

We consider the symmetric schemes in Boundary Value Methods (BVMs) applied to delay differential equations y^′(t)=ay(t)+by(t-τ) with real coefficients a and b. If the numerical solution tends to zero whenever the exact solution does, the symmetric scheme with (k₁+m,k₂)-boundary conditions is called τ_k1,k2(0)-stable. Three families of symmetric schemes, namely the Extended Trapezoidal Rules of first (ETRs) and second (ETR₂s) kind, and the Top Order Methods (TOMs), are considered in this paper.By using the boundary locus technology, the delay-dependent stability region of the symmetric schemes are analyzed and their boundaries are found. Then by using a necessary and sufficient condition, the considered symmetric schemes are proved to be τ_ν,ν-1(0)-stable.     

Locating the peaks of least-energy solutions to a quasilinear elliptic Neumann problem, Part II

We continue our work (Y. Li, C. Zhao, Locating the peaks of least-energy solutions to a quasilinear elliptic Neumann problem, J. Math. Anal. Appl. 336 (2007) 1368-1383) to study the shape of least-energy solutions to the quasilinear problem ε^mΔ_mu−u^m−1+f(u)=0 with homogeneous Neumann boundary condition. In this paper we focus on the case 1<m<2 as a complement to our previous work on the case m≥2. We use an intrinsic variation method to show that as the case m≥2, when ε→0⁺, the global maximum point P_ε of least-energy solutions goes to a point on the boundary ∂Ω at a rate of o(ε) and this point on the boundary approaches a global maximum point of mean curvature of ∂Ω.     

The Independence Number for De Bruijn networks and Kautz networks

Let D be a directed graph; the (l,ω)-Independence Number of graph D, denoted by α_l,ω(D), is an important performance parameter for interconnection networks. De Bruijn networks and Kautz networks, denoted by B(d,n) and K(d,n) respectively, are versatile and efficient topological structures of interconnection networks. For l=1,2,…,n, this paper shows that α_l,d−1(B(d,n))=dⁿ,α_l,d−1(K(d,n))=α_l,d(K(d,n))=dⁿ+dⁿ⁻¹ if d≥3 and n≤d−2. In particular, the paper shows the exact value of the Independence Number for B(d,1) and B(d,2) for any d. For the generalized situation, the paper obtains a lower bound α_l,d−1(B(d,n))≥d² if n≥3 and d≥5.     

On certain spaces of vector measures of bounded variation

If (Σ,X) is a measurable space and X a Banach space we investigate the X-inheritance of copies of ?_∞ in certain subspaces Δ(Σ,X) of bvca(Σ,X), the Banach space of all X-valued countable additive measures of bounded variation equipped with the variation norm. Among the consequences of our main theorem we get a theorem of J. Mendoza on the X-inheritance of copies of ?_∞ in the Bochner space L₁(μ,X) and other of the author on the X-inheritance of copies of ?_∞ in bvca(Σ,X).     

Linkability in iterated line graphs

We prove that for every graph H with the minimum degree δ?5, the third iterated line graph L³(H) of H contains as a minor. Using this fact we prove that if G is a connected graph distinct from a path, then there is a number k_G such that for every i?k_G the i-iterated line graph of G is -linked. Since the degree of Lⁱ(G) is even, the result is best possible.     

Path bundles on n-cubes

A path bundle is a set of 2^a paths in an n-cube, denoted Q_n, such that every path has the same length, the paths partition the vertices of Q_n, the endpoints of the paths induce two subcubes of Q_n, and the endpoints of each path are complements. This paper shows that a path bundle exists if and only if n>0 is odd and 0?a?n-⌈log₂(n+1)⌉.     

Weighted interpolation in Paley-Wiener spaces and finite-time controllability

This paper considers the solution of weighted interpolation problems in model subspaces of the Hardy space H² that are canonically isometric to Paley-Wiener spaces of analytic functions. A new necessary and sufficient condition is given on the set of interpolation points which guarantees that a solution in H² can be transferred to a solution in a model space. The techniques used rely on the reproducing kernel thesis for Hankel operators, which is given here with an explicit constant. One of the applications of this work is to the finite-time controllability of diagonal systems specified by a C₀ semigroup.