Two canonical passive state/signal shift realizations of passive discrete time behaviors

A discrete time invariant linear state/signal system Σ with a Hilbert state space and a Kren signal space has trajectories (x(),w()) that are solutions of the equation , where F is a bounded linear operator from into with a closed domain whose projection onto is all of . This system is passive if the graph of F is a maximal nonnegative subspace of the Kren space . The future behavior of a passive system Σ is the set of all signal components w() of trajectories (x(),w()) of Σ on with x(0)=0 and . This is always a maximal nonnegative shift-invariant subspace of the Kren space , i.e., the space endowed with the indefinite inner product inherited from . Subspaces of with this property are called passive future behaviors. In this work we study passive state/signal systems and passive behaviors (future, full, and past). In particular, we define and study the input and output maps of a passive state/signal system, and the past/future map of a passive behavior. We then turn to the inverse problem, and construct two passive state/signal realizations of a given passive future behavior , one of which is observable and backward conservative, and the other controllable and forward conservative. Both of these are canonical in the sense that they are uniquely determined by the given data , in contrast earlier realizations that depend not only on , but also on some arbitrarily chosen fundamental decomposition of the signal space . From our canonical realizations we are able to recover the two standard de Branges–Rovnyak input/state/output shift realizations of a given operator-valued Schur function in the unit disk.     

Theorems about the attractor for incompressible non-Newtonian flow driven by external forces that are rapidly oscillating in time but have a smooth average

This paper discusses the incompressible non-Newtonian fluid with rapidly oscillating external forces g(x,t)=g(x,t,t/) possessing the average g⁰(x,t) as →0⁺, where 0<₀<1. Firstly, with assumptions (A₁)–(A₅) on the functions g(x,t,ξ) and g⁰(x,t), we prove that the Hausdorff distance between the uniform attractors and in space H, corresponding to the oscillating equations and the averaged equation, respectively, is less than O() as →0⁺. Then we establish that the Hausdorff distance between the uniform attractors and in space V is also less than O() as →0⁺. Finally, we show for each [0,₀].     

On fully operator Lipschitz functions

Let be the disc algebra of all continuous complex-valued functions on the unit disc holomorphic in its interior. Functions from act on the set of all contraction operators (A1) on Hilbert spaces. It is proved that the following classes of functions from coincide: (1) the class of operator Lipschitz functions on the unit circle ; (2) the class of operator Lipschitz functions on ; and (3) the class of operator Lipschitz functions on all contraction operators. A similar result is obtained for the class of operator C₂-Lipschitz functions from .     

The Approximation Functional and Interpolation with Perturbed Continuity

The continuity conditions at the endpoints of interpolation theorems, Ta_BjM_j a_Aj for j=0, 1, can be written with the help of the approximation functional: E(t, Ta; B₁, B₀)_L^∞M₀ a_A0 and E(t, Ta; B₀, B₁)_L^∞M₁ a_A1. As a special case of the results we present here we show that in the hypotheses of the interpolation theorem the L^∞ norms can be replaced by BMO( ₊) norms. This leads to a strong version of the Stein-Weiss theorem on interpolation with change of measure. Another application of our results is that the condition fL⁰, i.e., f*L^∞, where f*(γ)=μ{|f|>γ} is the distribution function of f, can be replaced in interpolation with L(p, q) spaces by the weaker f*BMO( ₊).     

A new characterization of Bergman–Schatten spaces and a duality result

Let denote the space of all upper triangular matrices A such that lim_r→1⁻(1−r²)(A*C(r))^′_B(ℓ²)=0. We also denote by the closed Banach subspace of consisting of all upper triangular matrices whose diagonals are compact operators. In this paper we give a duality result between and the Bergman–Schatten spaces . We also give a characterization of the more general Bergman–Schatten spaces , 1p<∞, in terms of Taylor coefficients, which is similar to that of M. Mateljevic and M. Pavlovic [M. Mateljevic, M. Pavlovic, L^p-behaviour of the integral means of analytic functions, Studia Math. 77 (1984) 219–237] for classical Bergman spaces.     

Zeros of Bernoulli-type functions and best approximations

The zero sets of (D+a)ⁿg(t) with in the (t,a)-plane are investigated for and .The results are used to determine entire interpolations to functions , which give representations for the best approximation and best one-sided approximation from the class of functions of exponential type η>0 to .     

A unified and generalized set of shrinkage bounds on minimax Stein estimates

Consider the problem of estimating the mean vector θ of a random variable X in , with a spherically symmetric density f(x−θ²), under loss δ−θ². We give an increasing sequence of bounds on the shrinkage constant of Stein-type estimators depending on properties of f(t) that unify and extend several classical bounds from the literature. The basic way to view the conditions on f(t) is that the distribution of X arises as the projection of a spherically symmetric vector (X,U) in . A second way is that f(t) satisfies (−1)^jf^(j)(t)≥0 for 0≤j≤ℓ and that (−1)^ℓf^(ℓ)(t) is non-increasing where k=2(ℓ+1). The case ℓ=0 (k=2) corresponds to unimodality, while the case ℓ=k=∞ corresponds to complete monotonicity of f(t) (or equivalently that f(x−θ²) is a scale mixture of normals). The bounds on the minimax shrinkage constant in this paper agree with the classical bounds in the literature for the case of spherical symmetry, spherical symmetry and unimodality, and scale mixtures of normals. However, they extend these bounds to an increasing sequence (in k or ℓ) of minimax bounds.     

Inverse eigenproblem for -symmetric matrices and their approximation

Let be a nontrivial involution, i.e., R=R⁻¹≠±I_n. We say that is R-symmetric if RGR=G. The set of all -symmetric matrices is denoted by . In this paper, we first give the solvability condition for the following inverse eigenproblem (IEP): given a set of vectors in and a set of complex numbers , find a matrix such that and are, respectively, the eigenvalues and eigenvectors of A. We then consider the following approximation problem: Given an n×n matrix , find such that , where is the solution set of IEP and is the Frobenius norm. We provide an explicit formula for the best approximation solution by means of the canonical correlation decomposition.     

On the Norm of the Metric Projections

LetXbe a Banach space. GivenMa subspace ofXwe denote withP_Mthe metric projection ontoM. We defineπ(X) sup{P_M: Ma proximinal subspace ofX}. In this paper we give a bound forπ(X). In particular, whenX=L_p, we obtain the inequality P_M2^|2/p−1|, for every subspaceMofL_p. We also show thatπ(X)=π(X*).     

An isomorphic characterization of L-spaces

We show that a sequentially (τ)-complete topological vector lattice X_τ is isomorphic to some L¹(μ), if and only if the positive cone can be written as X₊ = ₊B for some convex, (τ)-bounded, and (τ)-closed set B X₊ {0}. The same result holds under weaker hypotheses, namely the Riesz decomposition property for X (not assumed to be a vector lattice) and the monotonic σ-completeness (monotonic Cauchy sequences converge). The isometric part of the main result implies the well-known representation theorem of Kakutani for (AL)-spaces. As an application we show that on a normed space Y of infinite dimension, the “ball-generated” ordering induced by the cone Y₊ = ₊ (for u >) cannot have the Riesz decomposition property. A second application deals with a pointwise ordering on a space of multivariate polynomials.     

Extremely non-complex spaces

We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces X such that the norm equality Id+T²=1+T² holds for every bounded linear operator . This answers in the positive Question 4.11 of [V. Kadets, M. Martín, J. Merí, Norm equalities for operators on Banach spaces, Indiana Univ. Math. J. 56 (2007) 2385–2411]. More concretely, we show that this is the case of some C(K) spaces with few operators constructed in [P. Koszmider, Banach spaces of continuous functions with few operators, Math. Ann. 330 (2004) 151–183] and [G. Plebanek, A construction of a Banach space C(K) with few operators, Topology Appl. 143 (2004) 217–239]. We also construct compact spaces K₁ and K₂ such that C(K₁) and C(K₂) are extremely non-complex, C(K₁) contains a complemented copy of C(2^ω) and C(K₂) contains a (1-complemented) isometric copy of ℓ_∞.     

On accuracy of approximation of the spectral radius by the Gelfand formula

The famous Gelfand formula ρ(A)=limsup_n→∞A^n1/n for the spectral radius of a matrix is of great importance in various mathematical constructions. Unfortunately, the range of applicability of this formula is substantially restricted by a lack of estimates for the rate of convergence of the quantities A^n1/n to ρ(A). In the paper this deficiency is made up to some extent. By using the Bochi inequalities we establish explicit computable estimates for the rate of convergence of the quantities A^n1/n to ρ(A). The obtained estimates are then extended for evaluation of the joint spectral radius of matrix sets.     

Nonnegative iterations with asymptotically constant coefficients

Let A_k,k=0,1,2,…, be a sequence of real nonsingular n×n matrices which converge to a nonsingular matrix A. Suppose that A has exactly one positive eigenvalue λ and there exists a unique nonnegative vector u with properties Au=λu and u=1. Under further additional conditions on the spectrum of A, it is shown that if x₀≠0 and the iterates

are nonnegative, then converges to u and converges to λ as k→∞.     

Turán type reverse Markov inequalities for compact convex sets

For a compact convex set the well-known general Markov inequality holds asserting that a polynomial p of degree n must have p^′c(K)n²p. On the other hand for polynomials in general, p^′ can be arbitrarily small as compared to p.The situation changes when we assume that the polynomials in question have all their zeroes in the convex set K. This was first investigated by Turán, who showed the lower bounds p^′(n/2)p for the unit disk D and for the unit interval I[-1,1]. Although partial results provided general lower estimates of order , as well as certain classes of domains with lower bounds of order n, it was not clear what order of magnitude the general convex domains may admit here.Here we show that for all bounded and convex domains K with nonempty interior and polynomials p with all their zeroes lying in K p^′c(K)np holds true, while p^′C(K)np occurs for any K. Actually, we determine c(K) and C(K) within a factor of absolute numerical constant.     

The Fréchet and limiting subdifferentials of integral functionals on the spaces

A new approach to computing the Fréchet subdifferential and the limiting subdifferential of integral functionals is proposed. Thanks to this way, we obtain formulae for computing the Fréchet and limiting subdifferentials of the integral functional , uL₁(Ω,E). Here is a measured space with an atomless σ-finite complete positive measure, E is a separable Banach space, and . Under some assumptions, it turns out that these subdifferentials coincide with the Fenchel subdifferential of F.     

An upper bound on Jacobi polynomials

Let be an orthonormal Jacobi polynomial of degree k. We will establish the following inequality:

where δ_-1<δ₁ are appropriate approximations to the extreme zeros of . As a corollary we confirm, even in a stronger form, T. Erdélyi, A.P. Magnus and P. Nevai conjecture [T. Erdélyi, A.P. Magnus, P. Nevai, Generalized Jacobi weights, Christoffel functions, and Jacobi polynomials, SIAM J. Math. Anal. 25 (1994) 602–614] by proving that

in the region .     

Sharp tridiagonal pairs

Let denote a field and let V denote a vector space over with finite positive dimension. We consider a pair of -linear transformations A:V→V and A^*:V→V that satisfies the following conditions: (i) each of A,A^* is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^*V_iV_i-1+V_i+V_i+1 for 0id, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^* such that for 0iδ, where and ; (iv) there is no subspace W of V such that AWW, A^*WW, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0id the dimensions of coincide. We say the pair A,A^* is sharp whenever dimV₀=1. A conjecture of Tatsuro Ito and the second author states that if is algebraically closed then A,A^* is sharp. In order to better understand and eventually prove the conjecture, in this paper we begin a systematic study of the sharp tridiagonal pairs. Our results are summarized as follows. Assuming A,A^* is sharp and using the data we define a finite sequence of scalars called the parameter array. We display some equations that show the geometric significance of the parameter array. We show how the parameter array is affected if Φ is replaced by or or . We prove that if the isomorphism class of Φ is determined by the parameter array then there exists a nondegenerate symmetric bilinear form , on V such that Au,v=u,Av and A^*u,v=u,A^*v for all u,vV.     

Widths and shape-preserving widths of Sobolev-type classes of s-monotone functions

Let I be a finite interval, , and 1p∞. Given a set M, of functions defined on I, denote by the subset of all functions yM such that the s-difference is nonnegative on I, τ>0. Further, denote by the Sobolev class of functions x on I with the seminorm x^(r)_Lp1. We obtain the exact orders of the Kolmogorov and the linear widths, and of the shape-preserving widths of the classes in L_q for s>r+1 and (r,p,q)≠(1,1,∞). We show that while the widths of the classes depend in an essential way on the parameter s, which characterizes the shape of functions, the shape-preserving widths of these classes remain asymptotically ≈n^-2.     

A rotation method which gives linear estimates for powers of the Ahlfors–Beurling operator

In [O. Dragičević, A. Volberg, Sharp estimate of the Ahlfors–Beurling operator via averaging martingale transforms, Michigan Math. J. 51 (2) (2003) 415–435] the Ahlfors–Beurling operator T was represented as an average of two-dimensional martingale transforms. The same result can be proven for powers Tⁿ. Motivated by [T. Iwaniec, G. Martin, Riesz transforms and related singular integrals, J. Reine Angew. Math. 473 (1996) 25–57], we deduce from here that Tⁿ_p are bounded from above by Cnp^*, . We further improve this estimate to obtain the optimal behaviour of the L^p norms in question.