Continuity of spectrum and approximate point spectrum on operator matrices

Let X and Y be given Banach spaces. For A∈B(X), B∈B(Y) and C∈B(Y,X), let MC be the operator defined on X⊕Y by . In this paper we give conditions for continuity of τ at MC through continuity of τ at A and B, where τ can be equal to the spectrum or approximate point spectrum.     

A note on Browder spectrum of operator matrices

When A∈B(H) and B∈B(K) are given, we denote by MC the operator acting on the Hilbert space H⊕K of the form . In this note, it is shown that the following results in [Hai-Yan Zhang, Hong-Ke Du, Browder spectra of upper-triangular operator matrices, J. Math. Anal. Appl. 323 (2006) 700-707]

     

Generalization of transitive fraternal augmentations for directed graphs and its applications

Let be a directed graph. A transitive fraternal augmentation of is a directed graph with the same vertex set, including all the arcs of and such that for any vertices x,y,z,

1.

if and then or (fraternity);

2.

if and then (transitivity).

In this paper, we explore some generalization of the transitive fraternal augmentations for directed graphs and its applications. In particular, we show that the 2-coloring number col₂(G)≤O(∇₁(G)∇₀(G)²), where ∇_k(G) (k≥0) denotes the greatest reduced average density with depth k of a graph G; we give a constructive proof that ∇_k(G) bounds the distance (k+1)-coloring number col_k+1(G) with a function f(∇_k(G)). On the other hand, ∇_k(G)≤(col_2k+1(G))^2k+1. We also show that an inductive generalization of transitive fraternal augmentations can be used to study nonrepetitive colorings of graphs.     

Continuity of the spectrum on a class of upper triangular operator matrices

Let B(H) denote the algebra of operators on an infinite dimensional complex Hilbert space H, and let A^○∈B(K) denote the Berberian extension of an operator A∈B(H). It is proved that the set theoretic function σ, the spectrum, is continuous on the set C(i)⊂B(Hi) of operators A for which σ(A)={0} implies A is nilpotent (possibly, the 0 operator) and at every non-zero λ∈σp(A^○) for some operators X and B such that λ∉σp(B) and σ(A^○)={λ}∪σ(B). If CS(m) denotes the set of upper triangular operator matrices , where Aii∈C(i) and Aii has SVEP for all 1?i?m, then σ is continuous on CS(m). It is observed that a considerably large number of the more commonly considered classes of Hilbert space operators constitute sets C(i) and have SVEP.     

On the unitary equivalence of absolutely continuous parts of self-adjoint extensions

The classical Weyl-von Neumann theorem states that for any self-adjoint operator A₀ in a separable Hilbert space H there exists a (non-unique) Hilbert-Schmidt operator C=C^? such that the perturbed operator A₀+C has purely point spectrum. We are interesting whether this result remains valid for non-additive perturbations by considering the set ExtA of self-adjoint extensions of a given densely defined symmetric operator A in H and some fixed . We show that the ac-parts and of and A₀ are unitarily equivalent provided that the resolvent difference is compact and the Weyl function M(⋅) of the pair {A,A₀} admits weak boundary limits M(t):=w-lim_y→+0M(t+iy) for a.e. t∈R. This result generalizes the classical Kato-Rosenblum theorem. Moreover, it demonstrates that for such pairs {A,A₀} the Weyl-von Neumann theorem is in general not true in the class ExtA.     

Browder spectra for upper triangular operator matrices

When A∈B(H) and B∈B(K) are given, we denote by MC the operator acting on the infinite dimensional separable Hilbert space H⊕K of the form . In this paper, we prove that

     

Uniformly minimum variance nonnegative quadratic unbiased estimation in a generalized growth curve model

Consider the generalized growth curve model subject to R(X_m)⊆?⊆R(X₁), where B_i are the matrices of unknown regression coefficients, and E=(ε₁,…,ε_s)^′ and are independent and identically distributed with the same first four moments as a random vector normally distributed with mean zero and covariance matrix Σ. We derive the necessary and sufficient conditions under which the uniformly minimum variance nonnegative quadratic unbiased estimator (UMVNNQUE) of the parametric function with C≥0 exists. The necessary and sufficient conditions for a nonnegative quadratic unbiased estimator with of to be the UMVNNQUE are obtained as well.     

Stability to the global large solutions of 3-D Navier-Stokes equations

In this paper, we consider the stability to the global large solutions of 3-D incompressible Navier-Stokes equations in the anisotropic Sobolev spaces. In particular, we proved that for any , given a global large solution v∈C([0,∞);H0,s₀(R³)∩L³(R³)) of (1.1) with and a divergence free vector satisfying for some sufficiently small constant depending on , v, and , (1.1) supplemented with initial data v(0)+w₀ has a unique global solution in u∈C([0,∞);H0,s₀(R³)) with ∇u∈L²(R⁺,H0,s₀(R³)). Furthermore, uh is close enough to vh in C([0,∞);H0,s(R³)).     

Explicit formulas for Laplace transforms of certain functionals of some time inhomogeneous diffusions

We consider a process given by the SDE , t∈[0,T), with initial condition , where T∈(0,∞], α∈R, (Bt)_t∈[0,T) is a standard Wiener process, b:[0,T)→R?{0} and σ:[0,T)→(0,∞) are continuously differentiable functions. Assuming , t∈[0,T), with some K∈R, we derive an explicit formula for the joint Laplace transform of and for all t∈[0,T) and for all α∈R. Our motivation is that the maximum likelihood estimator (MLE) of α can be expressed in terms of these random variables. As an application, we show that in case of α=K, K≠0,

     

The intersection of left (right) spectra of 2 × 2 upper triangular operator matrices

When A∈B(H) and B∈B(K) are given, we denote by M_C the operator matrix acting on the infinite-dimensional separable Hilbert space H⊕K of the form In this paper, for given A and B, the sets and ?_C∈Inv(K,H)σ_l(M_C) are determined, where σ_l(T),B_l(K,H) and Inv(K,H) denote, respectively, the left spectrum of an operator T, the set of all the left invertible operators and the set of all the invertible operators from K into H.     

Primitive elements in rings of continuous functions

Let be a surjective continuous map between compact Hausdorff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with algebraic properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map . We prove that if the extension C(Y)⊆C(X) has a primitive element, i.e., C(X)=C(Y)[f], then it is a finite extension and, consequently, the map π is locally injective. Moreover, for each primitive element f we consider the ideal and prove that, for a connected space Y, If is a principal ideal if and only if is a trivial covering.     

Perfectness and imperfectness of unit disk graphs on triangular lattice points

Given a finite set of 2-dimensional points P⊆R² and a positive real d, a unit disk graph, denoted by (P,d), is an undirected graph with vertex set P such that two vertices are adjacent if and only if the Euclidean distance between the pair is less than or equal to d. Given a pair of non-negative integers m and n, P(m,n) denotes a subset of 2-dimensional triangular lattice points defined by where . Let T_m,n(d) be a unit disk graph defined on a vertex set P(m,n) and a positive real d. Let be the kth power of T_m,n(1).In this paper, we show necessary and sufficient conditions that [ is perfect] and/or [ is perfect], respectively. These conditions imply polynomial time approximation algorithms for multicoloring (T_m,n(d),w) and .     

Lipschitz and piecewise-C regularity for scalar minimizers of affine simple integrals

Lipschitz, piecewise-C¹ and piecewise affine regularity is proved for AC minimizers of the “affine” integral , under general hypotheses on , , and with superlinear growth at infinity.The hypotheses assumed to obtain Lipschitz continuity of minimizers are unusual: ρ(·) and ?(·) are lsc and may be both locally unbounded (e.g., not in L_loc¹), provided their quotient ?/ρ(·) is locally bounded. As to h(·), it is assumed lsc and may take +∞ values freely.     

Essential approximate point spectra and Weyl's theorem for operator matrices

When A∈B(H) and B∈B(K) are given, we denote by MC the operator acting on the infinite dimensional separable Hilbert space H⊕K of the form . In this paper, it is shown that a 2×2 operator matrix MC is upper semi-Fredholm and ind(MC)?0 for some C∈B(K,H) if and only if A is upper semi-Fredholm and

     

Holomorphic cohomology groups on compact Kähler complex spaces

Let (X,OX) be a compact (reduced) complex space, bimeromorphic to a Kähler manifold. The singular cohomology groups Hq(X,C) carry a mixed Hodge structure. In particular they carry a weight filtration W−lHq(X,C) (l=0,…,q), and the graded quotients have a direct sum decomposition into holomorphic invariants as . Here we investigate the relationships between the above invariants for r=0 and the cohomology groups , where is the sheaf of weakly holomorphic functions on X. Moreover, according to the smooth case, we characterize the topological line bundles L on X such that the class of c₁(L) in has pure type (1,1).     

Extension of Fourier algebra homomorphisms to duals of algebras of uniformly continuous functionals

For a locally compact group G, let XG be one of the following introverted subspaces of VN(G): , the C^∗-algebra of uniformly continuous functionals on A(G); , the space of weakly almost periodic functionals on A(G); or , the C^∗-algebra generated by the left regular representation on the measure algebra of G. We discuss the extension of homomorphisms of (reduced) Fourier-Stieltjes algebras on G and H to cb-norm preserving, weak^∗-weak^∗-continuous homomorphisms of into , where (XG,XH) is one of the pairs , , or . When G is amenable, these extensions are characterized in terms of piecewise affine maps.     

Topological entropy for set valued maps

Any continuous map T on a compact metric space X induces in a natural way a continuous map on the space K(X) of all non-empty compact subsets of X. Let T be a homeomorphism on the interval or on the circle. It is proved that the topological entropy of the induced set valued map is zero or infinity. Moreover, the topological entropy of is zero, where C(X) denotes the space of all non-empty compact and connected subsets of X. For general continuous maps on compact metric spaces these results are not valid.     

Characterizations of Besov-type and Triebel-Lizorkin-type spaces via maximal functions and local means

Let s∈R. In this paper, the authors first establish the maximal function characterizations of the Besov-type space with and τ∈[0,∞), the Triebel-Lizorkin-type space with p∈(0,∞), q∈(0,∞] and τ∈[0,∞), the Besov-Hausdorff space with p∈(1,∞), q∈[1,∞) and and the Triebel-Lizorkin-Hausdorff space with and , where t^′ denotes the conjugate index of t∈[1,∞]. Using this characterization, the authors further obtain the local mean characterizations of these function spaces via functions satisfying the Tauberian condition and establish a Fourier multiplier theorem on these spaces. All these results generalize the existing classical results on Besov and Triebel-Lizorkin spaces by taking τ=0 and are also new even for Q spaces and Hardy-Hausdorff spaces.     

The structure of max-min hyperplanes

In this article, continuing [12,13], further contributions to the theory of max-min convex geometry are given. The max-min semiring is the set endowed with the operations ⊕=max,⊗=min in . A max-min hyperplane (briefly, a hyperplane) is the set of all points satisfying an equation of the form

a₁⊗x₁⊕…⊕a_n⊗x_n⊕a_n+1=b₁⊗x₁⊕…⊕b_n⊗x_n⊕b_n+1,