Approximations in the l∞ norm and the generalized inverse

We introduce the concept of a strict l_∞-metric projector, based in the definition of strict approximation, to prove that for each matrix A of order m×n with coefficients in the field R of real numbers there exists a set of operators G: R^m → Rⁿ homogeneous and continuous, but not necessarily linear (strict generalized inverse) such that AGA = A and 6AGy?y6 is minimized for all y, when the norm is the l_∞ norm. We investigate the properties of these operators and prove that there are two distinguished operators A^-1_{∞, β} and A^-1_∞ which are extensions of the generalized inverse introduced by Newman and Odell in the case of a strictly convex norm.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Continuity properties of the averaging projection onto the set of Hankel matrices

Some continuity properties of the averaging projection $\text{P}$ onto the set of Hankel matrices are investigated. It is proved that this projection is of weak type (1, 1) which means that for any nuclear operator T the s-numbers of $\text{P}$T satisfy S_n($\text{P}$T) ? const(n + 1). As a consequence it is obtained that $\text{P}$ maps the Matsaev ideal $\text{G}$_ω = {T:∑_n?0S_n(T)(2n + 1)^?1 < ∞} into the set of compact operators.     

Fourier transforms of smooth functions on certain nilpotent Lie groups

The authors consider irreducible representations $\text{π ?}\text{N}\text{?}$ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels K_φ(x, y) of the trace class operations π_φ = ∝_Nφ(n)π_ndn, regarding the π as modeled in L²(R^k) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels K_φ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rⁿ, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rⁿ → Rⁿ with the following properties. The Fourier transforms F₁φ = K_φ(x, y, λ) all factor through A to give “rationalized” Fourier transforms Fφ(u) such that Fφ ° A = F₁φ. On the rationalized parameter space a function f(u) is of the form F_φ = f ? f is Schwartz class on Rⁿ. If polynomial operators T?P(N) are transferred to operators $\text{T}\text{?}$ on Rⁿ such that $\text{F(Tφ) =}\text{T}\text{?}\text{(Fφ), P(N)}$ is transformed isomorphically to P(Rⁿ).     

A generalization of doubly stochastic matrices over a field

Let X and Y be m×n matrices over a field F such that Y^TX is nonsingular, and let Λ and Λ′ be sets of n-square matrices over F. Solutions A to the simultaneous equations AX = XK and $\text{Y}{}^{\mathrm{T}}\text{A =}\text{K}\text{?}\text{Y}{}^{\mathrm{T}}$ where K?Λ and $\text{K}\text{?}\text{? Λ′}$ are considered. It is shown that many properties of doubly stochastic matrices over a field have a natural generalization in terms of the set Δ(Λ,Λ′) of all such solutions.     

On an inequality of Tosio Kato for degenerate-elliptic operators

Let Ω be a domain in Rⁿ and T = ∑_{j,k = 1}ⁿ(?_j ? ib_j(x)) a_jk(x)(?_k ? ib_k(x)), where the a_jk and the b_j are real valued functions in $\text{C}{}^1\text{(Ω)}$, and the matrix (a_jk(x)) is symmetric and positive definite for every $\text{x ? Ω}$. If T₀ is the same as T but with b_j = 0, j = 1,…, n, and if u and Tu are in $\text{L}{}_{\mathrm{<mtext>loc</mtext>}}{}^1\text{(Ω)}$, then T. Kato has established the distributional inequality $\text{T}{}_0\text{¦ u ¦ ?}\text{Re[(sign}$ ū) Tu]. He then used this result to obtain selfadjointness results for perturbed operators of the form T ? q on Rⁿ. In this paper we shall obtain Kato's inequality for degenerate-elliptic operators with real coefficients. We then use this to get selfadjointness results for second order degenerate-elliptic operators on Rⁿ.     

Brown measures of sets of commuting operators in a type II1 factor

Using the spectral subspaces obtained in [U. Haagerup, H. Schultz, Invariant subspaces of operators in a general II₁-factor, preprint, 2005], Brown's results (cf. [L.G. Brown, Lidskii's theorem in the type II case, in: H. Araki, E. Effros (Eds.), Geometric Methods in Operator Algebras, Kyoto, 1983, in: Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., 1986, pp. 1-35]) on the Brown measure of an operator in a type II₁ factor (M,τ) are generalized to finite sets of commuting operators in M. It is shown that whenever T₁,…,Tn∈M are mutually commuting operators, there exists one and only one compactly supported Borel probability measure μT₁,…,Tn on B(Cn) such that for all α₁,…,αn∈C,

     

Characteristic functions and joint invariant subspaces

Let T:=[T₁,…,Tn] be an n-tuple of operators on a Hilbert space such that T is a completely non-coisometric row contraction. We establish the existence of a “one-to-one” correspondence between the joint invariant subspaces under T₁,…,Tn, and the regular factorizations of the characteristic function ΘT associated with T. In particular, we prove that there is a non-trivial joint invariant subspace under the operators T₁,…,Tn, if and only if there is a non-trivial regular factorization of ΘT. We also provide a functional model for the joint invariant subspaces in terms of the regular factorizations of the characteristic function, and prove the existence of joint invariant subspaces for certain classes of n-tuples of operators.We obtain criteria for joint similarity of n-tuples of operators to Cuntz row isometries. In particular, we prove that a completely non-coisometric row contraction T is jointly similar to a Cuntz row isometry if and only if the characteristic function of T is an invertible multi-analytic operator.     

Approximations of spectra of Schrödinger operators with complex potentials on ℝd

We study spectral approximations of Schrödinger operators T = ?Δ+Q with complex potentials on Ω = ?^d, or exterior domains Ω??^d, by domain truncation. Our weak assumptions cover wide classes of potentials Q for which T has discrete spectrum, of approximating domains Ω_n, and of boundary conditions on ?Ω_n such as mixed Dirichlet/Robin type. In particular, Re Q need not be bounded from below and Q may be singular. We prove generalized norm resolvent convergence and spectral exactness, i.e. approximation of all eigenvalues of T by those of the truncated operators T_n without spectral pollution. Moreover, we estimate the eigenvalue convergence rate and prove convergence of pseudospectra. Numerical computations for several examples, such as complex harmonic and cubic oscillators for d = 1,2,3, illustrate our results.     

Interpolation of operators of weak type (ϕ, ϕ)

Considering the measurable and nonnegative functions ? on the half-axis [0, ∞) such that ?(0) = 0 and ?(t) → ∞ as t → ∞, we study the operators of weak type (?, ?) that map the classes of ?-Lebesgue integrable functions to the space of Lebesgue measurable real functions on ?ⁿ. We prove interpolation theorems for the subadditive operators of weak type (?₀, ?₀) bounded in L _∞(?ⁿ) and subadditive operators of weak types (?₀, ?₀) and (?₁, ?₁) in L _?(? ⁿ ) under some assumptions on the nonnegative and increasing functions ?(x) on [0, ∞). We also obtain some interpolation theorems for the linear operators of weak type (?₀, ?₀) bounded from L _∞(?ⁿ) to BMO(? ⁿ). For the restrictions of these operators to the set of characteristic functions of Lebesgue measurable sets, we establish some estimates for rearrangements of moduli of their values; deriving a consequence, we obtain a theorem on the boundedness of operators in rearrangement-invariant spaces.     

Dynamical behavior of endomorphisms on certain invariant sets

We study the Hausdorff dimension of the intersection between local stable manifolds and the respective basic sets of a class of hyperbolic polynomial endomorphisms on the complex projective space ?². We consider the perturbation (z ² +?z +b?w ², w ²) of (z ², w ²) and we prove that, for b sufficiently small, it is injective on its basic set Λ_? close to Λ:= {0} × S ¹. Moreover we give very precise upper and lower estimates for the Hausdorff dimension of the intersection between local stable manifolds and Λ _? , in the case of these maps.     

Strong convergence theorem for uniformly L-Lipschitzian asymptotically pseudocontractive mapping in real Banach space

Let E be a real Banach space. Let K be a nonempty closed and convex subset of E, a uniformly L-Lipschitzian asymptotically pseudocontractive mapping with sequence {kn}_n?0⊂[1,+∞), limn→∞kn=1 such that F(T)≠∅. Let {αn}_n?0⊂[0,1] be such that _∑n?0αn=∞, and _∑n?0αn(kn−1)<∞. Suppose {xn}_n?0 is iteratively defined by xn+1=(1−αn)xn+αnTnxn, n?0, and suppose there exists a strictly increasing continuous function , ?(0)=0 such that 〈Tnx−x^∗,j(x−x^∗)〉?kn‖x−x^∗‖2−?(‖x−x^∗‖), ∀x∈K. It is proved that {xn}_n?0 converges strongly to x^∗∈F(T). It is also proved that the sequence of iteration {xn} defined by xn+1=anxn+bnTnxn+cnun, n?0 (where {un}_n?0 is a bounded sequence in K and {an}_n?0, {bn}_n?0, {cn}_n?0 are sequences in [0,1] satisfying appropriate conditions) converges strongly to a fixed point of T.     

Sequences of contractions on L1-spaces

Let T_n, n = 1,2,… be a sequence of linear contractions on the space where is a finite measure space. Let M be the subspace of L¹ for which T_ng → g weakly in L¹ for g?M. If T_n1 → 1 strongly, then T_nf → f strongly for all f in the closed vector sublattice in L¹ generated by M.This result can be applied to the determination of Korovkin sets and shadows in L¹. Given a set G ? L¹, its shadow S(G) is the set of all f?L¹ with the property that T_nf → f strongly for any sequence of contractions T_n, n = 1, 2,… which converges strongly to the identity on G; and G is said to be a Korovkin set if S(G) = L¹. For instance, if 1 ?G, then, where M is the linear hull of G and $\text{B}$_M is the sub-σ-algebra of $\text{B}$ generated by {x?X: g(x) > 0} for g?M. If the measure algebra is separable, has Korovkin sets consisting of two elements.     

Ramsey regions

Let (T₁,T₂,…,T_c) be a fixed c-tuple of sets of graphs (i.e. each T_i is a set of graphs). Let R(c,n,(T₁,T₂,…,T_c)) denote the set of all n-tuples, (a₁,a₂,…,a_n), such that every c-coloring of the edges of the complete multipartite graph, K_a1,a2,…,an, forces a monochromatic subgraph of color i from the set T_i (for at least one i). If N denotes the set of non-negative integers, then R(c,n,(T₁,T₂,…,T_c))⊆Nⁿ. We call such a subset of Nⁿ a “Ramsey region”. An application of Ramsey's Theorem shows that R(c,n,(T₁,T₂,…,T_c)) is non-empty for n?0. For a given c-tuple, (T₁,T₂,…,T_c), known results in Ramsey theory help identify values of n for which the associated Ramsey regions are non-empty and help establish specific points that are in such Ramsey regions. In this paper, we develop the basic theory and some of the underlying algebraic structure governing these regions.     

Geodesic flows and Neumann systems on Stiefel varieties: geometry and integrability

We study integrable geodesic flows on Stiefel varieties V _n,r ?=?SO(n)/SO(n?r) given by the Euclidean, normal (standard), Manakov-type, and Einstein metrics. We also consider natural generalizations of the Neumann systems on V _n,r with the above metrics and proves their integrability in the non-commutative sense by presenting compatible Poisson brackets on (T ^* V _n,r )/SO(r). Various reductions of the latter systems are described, in particular, the generalized Neumann system on an oriented Grassmannian G _n,r and on a sphere S ^n?1 in presence of Yang–Mills fields or a magnetic monopole field. Apart from the known Lax pair for generalized Neumann systems, an alternative (dual) Lax pair is presented, which enables one to formulate a generalization of the Chasles theorem relating the trajectories of the systems and common linear spaces tangent to confocal quadrics. Additionally, several extensions are considered: the generalized Neumann system on the complex Stiefel variety W _n,r ?=?U(n)/U(n?r), the matrix analogs of the double and coupled Neumann systems.     

Idempotence preserving maps on spaces of triangular matrices

SupposeF is an arbitrary field. Let |F| be the number of the elements ofF. LetT _n (F) be the space of allnxn upper-triangular matrices overF. A map Ψ: T _N (F) → T _N (F) is said to preserve idempotence ifA - λ B is idempotent if and only if Ψ(A) - λΨ(B) is idempotent for anyA, B ∈ T _n (F) and λ ∈ F. It is shown that: when the characteristic ofF is not 2, |F|>3 and n ≥ 3, Ψ:T _n (F) → T _n (F) is a map preserving idempotence if and only if there exists an invertible matrixP τ T _n (F) such that either ?(A) = PAP ^?1 for everyA ∈ T _n (F) or Ψ(A) = PJA ^t JP ^?1 for everyA ∈ T _n (F), whereJ = ∑ _n=1 ⁿ E _i,n+1?i and E_ij is the matrix with 1 in the (i,j)th entry and 0 elsewhere.     

Abstract multiparameter theory,I

In this paper we continue our investigation of multiparameter spectral theory. Let H₁,…, H_k be separable Hilbert spaces and H = ?_{r = 1}^kH_r, be their tensor product. In each space H_r we have densely defined self-adjoint operators T_r and continuous Hermitian operators V_rs. The multiparameter eigenvalue problem concerns eigenvalues λ = (λ₁,…, λ_n) ?R^k and eigenvectors $\text{? = ?}{}_1\text{? ··· ? ?}{}_{\mathrm{k}}\text{? H}$ such that $\text{T}{}_{\mathrm{r}}\text{?}{}_{\mathrm{r}}\text{+ ∑}{}_{\mathrm{s\; =\; 1}}{}^{\mathrm{k}}\text{λ}{}_{\mathrm{s}}\text{V}{}_{\mathrm{rs}}\text{?}{}_{\mathrm{r}}\text{= 0}$. We develop a spectral theory for such systems leading to a Parseval equality and generalized eigenvector expansion. The results are applied to a k × k system of linked secondorder differential equations.     

Dual disjoint hypercyclic operators

Let E be a separable Fréchet space. The operators T₁,…,Tm are disjoint hypercyclic if there exists x∈E such that the orbit of (x,…,x) under (T₁,…,Tm) is dense in E×?×E. We show that every separable Banach space E admits an m-tuple of bounded linear operators which are disjoint hypercyclic. If, in addition, its dual E^∗ is separable, then they can be constructed such that are also disjoint hypercyclic.     

Two classes of <Emphasis Type="Italic">τ</Emphasis>-measurable operators affiliated with a von Neumann algebra

Let M be a von Neumann algebra of operators on a Hilbert space H, τ be a faithful normal semifinite trace on M. We define two (closed in the topology of convergence in measure τ) classes P ₁ and P ₂ of τ-measurable operators and investigate their properties. The class P ₂ contains P ₁. If a τ-measurable operator T is hyponormal, then T lies in P ₁; if an operator T lies in P _k , then UTU* belongs to P _k for all isometries U from M and k = 1, 2; if an operator T from P ₁ admits the bounded inverse T ^?1, then T ^?1 lies in P ₁. We establish some new inequalities for rearrangements of operators from P ₁. If a τ-measurable operator T is hyponormal and T ⁿ is τ-compact for some natural number n, then T is both normal and τ-compact. If M = B(H) and τ = tr, then the class P ₁ coincides with the set of all paranormal operators on H.