Neumann boundary control of a coupled transport-diffusion system with boundary observation

We study the Neumann boundary stabilization problem of a coupled transport-diffusion system in the case where the observation is done at the boundary. In the recent paper of Sano and Nakagiri [H. Sano, S. Nakagiri, Stabilization of a coupled transport-diffusion system with boundary input, J. Math. Anal. Appl. 363 (2010) 57-72], we treated the stabilization problem for the case with Neumann boundary control and distributed observation. The novelty of this paper is the formulation of the boundary observation equation in a Hilbert space. We have an interesting result of its being expressed by using an -bounded operator with . Moreover, it is shown that a reduced-order model with a finite-dimensional state variable is controllable and observable. This means that one can always construct a finite-dimensional stabilizing controller for the original infinite-dimensional system by using a residual mode filter (RMF) approach.     

On the approximation of spectra of linear operators on Hilbert spaces

We present several new techniques for approximating spectra of linear operators (not necessarily bounded) on an infinite-dimensional, separable Hilbert space. Our approach is to take well-known techniques from finite-dimensional matrix analysis and show how they can be generalized to an infinite-dimensional setting to provide approximations of spectra of elements in a large class of operators. We conclude by proposing a solution to the general problem of approximating the spectrum of an arbitrary bounded operator by introducing the n-pseudospectrum and argue how that can be used as an approximation to the spectrum.     

The substitution theorem for semilinear stochastic partial differential equations

In this article we establish a substitution theorem for semilinear stochastic evolution equations (see's) depending on the initial condition as an infinite-dimensional parameter. Due to the infinite-dimensionality of the initial conditions and of the stochastic dynamics, existing finite-dimensional results do not apply. The substitution theorem is proved using Malliavin calculus techniques together with new estimates on the underlying stochastic semiflow. Applications of the theorem include dynamic characterizations of solutions of stochastic partial differential equations (spde's) with anticipating initial conditions and non-ergodic stationary solutions. In particular, our result gives a new existence theorem for solutions of semilinear Stratonovich spde's with anticipating initial conditions.     

The role of directional compactness in the existence and computation of contingent epiderivatives

This paper underlines the role of directional compactness in the scalarization of graphical derivatives of set-valued maps taking values in infinite-dimensional spaces. Two main theorems are given. The first one states the equivalence of contingent epiderivatives and τw-contingent epiderivatives for directionally compact maps. The second main result proves a variational characterization for the contingent epiderivative of stable and directionally compact maps taking values in general image spaces, extending known results in finite-dimensional and reflexive Banach spaces. The hypotheses given are minimal as is shown by means of several examples. Connections of these theorems with other results of the literature are also provided.     

Property (w) and perturbations II

This note is a continuation of a previous article [P. Aiena, M.T. Biondi, Property (w) and perturbations, J. Math. Anal. Appl. 336 (2007) 683-692] concerning the stability of property (w), a variant of Weyl's theorem, for a bounded operator T acting on a Banach space, under finite-dimensional perturbations K commuting with T. A counterexample shows that property (w) in general is not preserved under finite-dimensional perturbations commuting with T, also under the assumption that T is a-isoloid.     

Delay-range-dependent robust H filtering for uncertain stochastic systems with mode-dependent time delays and Markovian jump parameters

This paper investigates the problem of robust H^∞ filtering for uncertain stochastic time-delay systems with Markovian jump parameters. Both the state dynamics and measurement of the system are corrupted by Wiener processes. The time delay varies in an interval and depends on the mode of operation. A Markovian jump linear filter is designed to guarantee robust exponential mean-square stability and a prescribed disturbance attenuation level of the resulting filter error system. A novel approach is employed in showing the robust exponential mean-square stability. The exponential decay rate can be directly estimated using matrices of the Lyapunov-Krasovskii functional and its derivative. A delay-range-dependent condition in the form of LMIs is derived for the solvability of this H^∞ filtering problem, and the desired filter can be constructed with solutions of the LMIs. An illustrative numerical example is provided to demonstrate the effectiveness of the proposed approach.     

Numerical index of absolute sums of Banach spaces

We study the numerical index of absolute sums of Banach spaces, giving general conditions which imply that the numerical index of the sum is less or equal than the infimum of the numerical indices of the summands and we provide some examples where the equality holds covering the already known case of c₀-, ?₁- and ?_∞-sums and giving as a new result the case of E-sums where E has the RNP and n(E)=1 (in particular for finite-dimensional E with n(E)=1). We also show that the numerical index of a Banach space Z which contains a dense union of increasing one-complemented subspaces is greater or equal than the limit superior of the numerical indices of those subspaces. Using these results, we give a detailed short proof of the already known fact that, for a fixed p, the numerical indices of all infinite-dimensional Lp(μ)-spaces coincide.     

Boundary feedback stabilization of the undamped Timoshenko beam with both ends free

In this paper, we study a boundary feedback system of a class of nonuniform undamped Timoshenko beam with both ends free. We give some sufficient conditions and some necessary conditions for the system to have exponential stability. Our method is based on the operator semigroup technique, the multiplier technique, and the contradiction argument of the frequency domain method.     

On convergence of closed convex sets

In this paper we introduce a convergence concept for closed convex subsets of a finite-dimensional normed vector space. This convergence is called C-convergence. It is defined by appropriate notions of upper and lower limits. We compare this convergence with the well-known Painlevé-Kuratowski convergence and with scalar convergence. In fact, we show that a sequence (An)_n∈NC-converges to A if and only if the corresponding support functions converge pointwise, except at relative boundary points of the domain of the support function of A, to the support function of A.     

Boundary value problem for abstract first order differential equation with integral condition

The present paper is devoted to the study of a boundary value problem for abstract first order linear differential equation with integral boundary conditions. We obtain necessary and sufficient conditions for the unique solvability and well-posedness. We also study the Fredholm solvability. Finally, we obtain a result of the stability of solution with respect to small perturbation.     

Some applications of free Fisher information on frame theory

We introduce the notion of operator-valued free Fisher information with respect to a positive map of a random variable in an operator-valued noncommutative probability space and point out its close relations to the modular frames arising from conditional expectations. Then we can apply this notion on the study of frame theory, especially on the disjointness problem of modular frames arising from conditional expectations.     

Exponential asymptotic property of a parallel repairable system with warm standby under common-cause failure

We discuss exponential asymptotic property of the solution of a parallel repairable system with warm standby under common-cause failure. This system can be described by a group of partial differential equations with integral boundary. First we show that the positive contraction C₀-semigroup T(t) [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] which is generated by the operator corresponding to these equations is a quasi-compact operator. Then by using [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] that 0 is an eigenvalue of the operator with algebraic index one and the C₀-semigroup T(t) is contraction, we conclude that the spectral bound of the operator is zero. By using the above results the exponential asymptotical stability of the time-dependent solution of the system follows easily.     

Spectral properties and their applications of frequency response operators in linear continuous-time periodic systems

Spectral properties related to the frequency response operators of finite-dimensional linear continuous-time periodic (FDLCP) systems are examined rigorously and thoroughly in the paper. As applications of the spectral features, positive realness of FDLCP systems is scrutinized and then a harmonic Hamiltonian criterion is derived for the H_∞ norm of FDLCP systems. In particular, positive realness of FDLCP systems is interpreted in term of Toeplitz operators for the first time in this study, together with a testing algorithm. Deriving the harmonic Hamiltonian criterion with a frequency-domain approach bridges the spectra of the frequency response operators in FDLCP systems with their time-domain behaviors.     

A Bo?ejko-Picardello type inequality for finite-dimensional CAT(0) cube complexes

We prove a Bo?ejko-Picardello type inequality for finite-dimensional CAT(0) cube complexes and as a consequence we obtain that a group acting properly on a finite-dimensional CAT(0) cube complex is weakly amenable with the Cowling-Haagerup constant 1.     

The intersection of essential approximate point spectra of 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 there exists some operator C∈B(K,H) such that MC is upper semi-Fredholm and ind(MC)?0 if and only if there exists some left invertible operator C∈B(K,H) such that MC is upper semi-Fredholm and ind(MC)?0. A necessary and sufficient condition for MC to be upper semi-Fredholm and ind(MC)?0 for some C∈Inv(K,H) is given, where Inv(K,H) denotes the set of all the invertible operators of B(K,H). In addition, we give a necessary and sufficient condition for MC to be upper semi-Fredholm and ind(MC)?0 for all C∈Inv(K,H).     

Weighted geometric discrepancies and numerical integration on reproducing kernel Hilbert spaces

We extend the notion of L₂-B-discrepancy introduced in [E. Novak, H. Wo?niakowski, L₂ discrepancy and multivariate integration, in: W.W.L. Chen, W.T. Gowers, H. Halberstam, W.M. Schmidt, and R.C. Vaughan (Eds.), Analytic Number Theory. Essays in Honour of Klaus Roth, Cambridge University Press, Cambridge, 2009, pp. 359-388] to what we shall call weighted geometric L₂-discrepancy. This extension enables us to consider weights in order to moderate the importance of different groups of variables, as well as to consider volume measures different from the Lebesgue measure and classes of test sets different from measurable subsets of Euclidean spaces.We relate the weighted geometric L₂-discrepancy to numerical integration defined over weighted reproducing kernel Hilbert spaces and settle in this way an open problem posed by Novak and Wo?niakowski.Furthermore, we prove an upper bound for the numerical integration error for cubature formulas that use admissible sample points. The set of admissible sample points may actually be a subset of the integration domain of measure zero. We illustrate that particularly in infinite-dimensional numerical integration it is crucial to distinguish between the whole integration domain and the set of those sample points that actually can be used by the algorithms.     

On the weak-approximate fixed point property

Let X be a Banach space and C a bounded, closed, convex subset of X. C is said to have the weak-approximate fixed point property if for any norm-continuous mapping , there exists a sequence {xn} in C such that (xn−fn(xn)) converges to 0 weakly. It is known that every infinite-dimensional Banach space with the Schur property does not have the weak-approximate fixed point property. In this article, we show that every Asplund space has the weak-approximate fixed point property. Applications to the asymptotic fixed point theory are given.     

Gale duality and Koszul duality

Given a hyperplane arrangement in an affine space equipped with a linear functional, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.     

The generalized nonlinear initial-boundary Riemann problem for linearly degenerate quasilinear hyperbolic systems of conservation laws

This work is a continuation of our previous work, in the present paper we study the generalized nonlinear initial-boundary Riemann problem with small BV data for linearly degenerate quasilinear hyperbolic systems of conservation laws with nonlinear boundary conditions in a half space . We prove the global existence and uniqueness of piecewise C¹ solution containing only contact discontinuities to a class of the generalized nonlinear initial-boundary Riemann problem, which can be regarded as a small BV perturbation of the corresponding nonlinear initial-boundary Riemann problem, for general n×n linearly degenerate quasilinear hyperbolic system of conservation laws; moreover, this solution has a global structure similar to the one of the self-similar solution to the corresponding nonlinear initial-boundary Riemann problem. Some applications to quasilinear hyperbolic systems of conservation laws arising in the string theory and high energy physics are also given.     

A noncommutative Brooks-Jewett Theorem

In classical measure theory the Brooks-Jewett Theorem provides a finitely-additive-analogue to the Vitali-Hahn-Saks Theorem. In this paper, it is studied whether the Brooks-Jewett Theorem allows for a noncommutative extension. It will be seen that, in general, a bona-fide extension is not valid. Indeed, it will be shown that a C^*-algebra A satisfies the Brooks-Jewett property if, and only if, it is Grothendieck, and every irreducible representation of A is finite-dimensional; and a von Neumann algebra satisfies the Brooks-Jewett property if, and only if, it is topologically equivalent to an abelian algebra.