从属解析函数族的有限阶哈达玛乘积

设P[A,B]={f(z):f(z)(?)(1+Az)/(1-Bz),A+B≠0,|B|≤1,f(z)在单位开圆盘内解析}.定义函数族H_1,H_2,…,H_n的有限阶哈达玛乘积为H_1*H_2*H_3…*H_n(z)={f_1*f_2*f_3*…f_n(z):f_i∈H_i,i=1,2,…,n,n∈Z~+}.讨论并得到了P(A_1,B_1)*P(A_2,B_2)*P(A_3,B_3)*…*P(A_n,B_n)=P(X,Y)的充分必要条件,主要结果是对先前相应研究内容的直接推广.     

On intertwining operators

LetB(H) denote the algebra of operators on the Hilbert spaceH into itself. GivenA,BB(H), defineC (A, B) andR (A, B):B(H)B(H) byC (A, B) X=AX–XB andR(A, B) X=AXB–X. Our purpose in this note is a twofold one. we show firstly that ifA andB ^*B (H) are dominant operators such that the pure part ofB has non-trivial kernel, thenC ⁿ (A, B) X=0, n some natural number, implies thatC (A, B)X=C(A ^*,B ^*)X=0. Secondly, it is shown that ifA andB ^* are contractions withC ₀ completely non-unitary parts, thenR ⁿ (A, B) X=0 for some natural numbern implies thatR (A, B) X=R (A ^*,B ^*)X=C (A, B ^*)X=C (A ^*,B) X=0. In the particular case in whichX is of the Hilbert—Schmidt class, it is shown that his result extends to all contractionsA andB.     

A criterion of diagonalizability of a pair of matrices over the ring of principal ideals by common row and separate column transformations

We establish that a pair A, B, of nonsingular matrices over a commutative domain R of principal ideals can be reduced to their canonical diagonal forms D ^A and D ^B by the common transformation of rows and separate transformations of columns. This means that there exist invertible matrices U, V _A, and V _B over R such that UAV _a=D^A and UAV _B=D^B if and only if the matrices B _*A and D _* ^B D^A where B _* 0 is the matrix adjoint to B, are equivalent.     

Control subspaces of minimal dimension. Elementary introduction. Discotheca

In this paper there is introduced and studied the following characteristic of a linear operator A acting on a Banach space Χ: , where Cyc A=R∶R is a subspace of Χ, dim R<+∞. Spqn (AⁿR∶n?0)=χ. Always disc A ?μ_A=(the multiplicity of the spectrum of the operator (dim R∶R∈Cyc A), where (by definition) in each A-cyclic subspace there is contained a cyclic subspace of dimension ? disc A. For a linear dynamical system x(t)=Ax(t)+Bu,(t) which is controllable, the characteristic disc A of the evolution operator A shows how much the control space can be diminished without losing controllability. In this paper there are established some general properties ofdisc (for example, conditions are given under which disc(A⊕B))=max(discA, disc B); disc is computed for the following operators: S (S is the shift in the Hardy space H²); disc S=2, (but μ_S=i); disc S _n ^* =n (butμ=1), where S_n=S⊕. ⊕S; disc S=2, (but μ_S=1), where S is the bilateral shift. It is proved that for a normal operator N with simple spectrum, disc N=μ_N=1 ? (the operator N is reductive). There are other results also, and also a list of unsolved problems.     

On simultaneous diagonalization of one Hermitian and one symmetric form

It is remarked that if A, B ? M_n(C), A = A^t, and B? = B^t, B positive definite, there exists a nonsingular matrix U such that (1) ū^tBU = I and (2) U^tAU is a diagonal matrix with nonnegative entries. Some related actions of the real orthogonal group and equations involving the unitary group are studied.     

Extension de quelques theoremes sur les densites de series d'elements de n a des series de sous-ensembles finis de n

For a sequence A = {A_k} of finite subsets of N we introduce: $\text{δ(A) =}\text{inf}{}_{\mathrm{m?n}}\text{A(m)}\text{2}{}^{\mathrm{n}}$, $\text{d(A) =}\text{lim inf}{}_{\mathrm{n\to \infty }}\text{A(n)}\text{2}{}^{\mathrm{n}}$, where A(m) is the number of subsets A_k ? {1, 2, …, m}.The collection of all subsets of {1, …, n} together with the operation $\text{a ∪ b, (a ∩ b), (a 1 b = a ∪ b ? a ∩ b)}$ constitutes a finite semi-group N^∪ (semi-group N^∩) (group $\text{N}{}^1$). For N^∪, N^∩ we prove analogues of the Erdös-Landau theorem: δ(A+B) ? δ(A)(1+(2λ)^?1(1?δ(A>))), where B is a base of N of the average order λ. We prove for $\text{N}{}^{\mathrm{\cup }}\text{, N}{}^{\mathrm{\cap }}\text{, N}{}^1$ analogues of Schnirelmann's theorem (that δ(A) + δ(B) > 1 implies δ(A + B) = 1) and the inequalities λ ? 2h, where h is the order of the base.We introduce the concept of divisibility of subsets: a|b if b is a continuation of a. We prove an analog of the Davenport-Erdös theorem: if d(A) > 0, then there exists an infinite sequence {A_kr}, where A_kr | A_kr+1 for r = 1, 2, …. In Section 6 we consider for $\text{N∪, N∩, N1}$ analogues of Rohrbach inequality: $\text{2n}\text{? g(n) ? 2}\text{n}$, where g(n) = min k over the subsets {a₁ < … < a_k} ? {0, 1, 2, …, n}, such that every m? {0, 1, 2, …, n} can be expressed as m = a_i + a_j.Pour une série A = {A_k} de sous-ensembles finis de N on introduit les densités: $\text{δ(A) =}\text{inf}{}_{\mathrm{m?n}}\text{A(m)}\text{2}{}^{\mathrm{m}}$, $\text{d(A) =}\text{lim inf}{}_{\mathrm{n\to \infty }}\text{A(n)}\text{2}{}^{\mathrm{n}}$ où A(m) est le nombre d'ensembles A_k ? {1, 2, …, m}. L'ensemble de toutes les parties de {1, 2, …, n} devient, pour les opérations $\text{a ∪ b, a ∩ b, a 1 b = a ∪ b ? a ∩ b}$, un semi-groupe fini N^∪, N^∩ ou un groupe N¹ respectivement. Pour N^∪, N^∩ on démontre l'analogue du théorème de Erdös-Landau: δ(A + B) ? δ(A)(1 + (2λ)^?1(1?δ(A))), où B est une base de N d'ordre moyen λ. On démontre pour $\text{N}{}^{\mathrm{\cup }}\text{, N}{}^{\mathrm{\cap }}\text{, N}{}^1$ l'analogue du théorème de Schnirelmann (si δ(A) + δ(B) > 1, alors δ(A + B) = 1) et les inégalités λ ? 2h, où h est l'ordre de base. On introduit le rapport de divisibilité des enembles: a|b, si b est une continuation de a. On démontre l'analogue du théorème de Davenport-Erdös: si d(A) > 0, alors il existe une sous-série infinie {A_kr}, où A_kr|A_kr+1, pour r = 1, 2, … . Dans le Paragraphe 6 on envisage pour N^∪, $\text{N}{}^{\mathrm{\cap }}\text{, N}{}^1$ les analogues de l'inégalité de Rohrbach: $\text{2n}\text{? g(n) ? 2}\text{n}$, où g(n) = min k pour les ensembles {a₁ < … < a_k} ? {0, 1, 2, …, n} tels que pour tout m? {0, 1, 2, …, n} on a m = a_i + a_j.     

r-Numbers completion problems of partial upper canonical form I

A pair (A, B), where A is an n × n matrix and B is an n × m matrix, is said to have the nonnegative integers sequence {r_j}_j=1^p as the r-numbers sequence if r₁ = rank(B) and r_j = rank[B AB … A^j−1 B] − rank[B AB … A^j−2B], 2 ≤ j ≤ p. Given a partial upper triangular matrix A of size n × n in upper canonical form and an n × m matrix B, we develop an algorithm that obtains a completion A_c of A, such that the pair (A^c, B) has an r-numbers sequence prescribed under some restrictions.     

Nonlinear Maps Preserving the Jordan Triple *-Product on Factor von Neumann Algebras

Let A and B be two factor von Neumann algebras. For A, B ∈ A, define by [A, B]_*= AB-BA~*the skew Lie product of A and B. In this article, it is proved that a bijective map Φ : A → B satisfies Φ([[A, B]_*, C]_*) = [[Φ(A), Φ(B)]_*, Φ(C)]_*for all A, B, C ∈ A if and only if Φ is a linear *-isomorphism, or a conjugate linear *-isomorphism, or the negative of a linear *-isomorphism, or the negative of a conjugate linear *-isomorphism.     

Latin trades in groups defined on planar triangulations

For a finite triangulation of the plane with faces properly coloured white and black, let A_W\mathcal{A}_{W} be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A_W\mathcal{A}_{W} has free rank exactly two. Let A_W^*\mathcal{A}_{W}^{*} be the torsion subgroup of  A_W\mathcal{A}_{W} , and A_B^*\mathcal{A}_{B}^{*} the corresponding group for the black triangles. We show that A_W^*\mathcal{A}_{W}^{*} and A_B^*\mathcal{A}_{B}^{*} have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in  A_W^*\mathcal{A}_{W}^{*} , thereby proving a conjecture due to Cavenagh and Drápal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith normal form of this matrix determines A_W^*\mathcal{A}_{W}^{*} , so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g≥1 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group.     

Partitioned matrices and Seidel convergence

Summary Without using spectral resolution, an elementary proof of convergence of Seidel iteration. The proof is based on the lemma (generalizing a lemma of P. Stein): If (A+A ^*)–B ^*(A+A ^*)B>0, whereB=–(P+L) ^–1 R,A=P+L (Lower)+R (upper), then Seidel iteration ofAX=Y ₀ converges if and only ifA+A ^*>0. This lemma has as corollaries not only the well-known results of E. Reich and Stein, but also applications to a matrix that can be far from symmetric, e.g.M=[A _ij ] ₁ ² , whereA ₂₁=–A ₁₂ ^* ,A ₁₁,A ₂₂ are invertible;A ₁₁ +A ₁₁ ^* =A₂₂+A ₂₂ ^* ; and the proper values ofA ₁₂ ^–1 A ₁₁,A ₁₂ ^*–1 A ₂₂ are in the interior of the unit disk.Supported under NSF GP 32527.Supported under NSF GP 8758.     

On ranges of Lyapunov transformations

A Lyapunov transformation is a linear transformation on the set $\text{H}$_n of hermitian matrices H ? $\text{C}$^n,n of the form $\text{L}$_A(H) = A¹H + HA, where A ?$\text{C}$^n,n. Given a positive stable A ?$\text{C}$^n,n, the Stein-Pfeffer Theorem characterizes those K ? $\text{H}$_n for which K = $\text{L}$_B(H), where B is similar to A and H is positive definite. We give a new proof of this result, and extend it in several directions. The proofs involve the idea of a controllability subspace, employed previously in this context by Snyders and Zakai.     

Embedding of a pseudo-point residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let υ, t, λ and k be nonnegative integers such that υ?k?t?0. A pair (X, $\text{U}$) is called a (υ, k, λ) t-design, denoted by S_λ(t, k, υ), if (1) |X| = υ, (2) every t-subset of X is contained in exactly λ blocks and (3) for every block A in $\text{U}$, |A| = k. A Möbius plane M is an S₁(3, q+1, q²+1) where q is a positive integer. Let ∞ be a fixed point in M. If ∞ is deleted from M, together with all the blocks containing ∞, then we obtain a point-residual design M^*. It can be easily checked that M^* is an S_q(2, q+1, q²). Any S_q(2, q+1, q²) is called a pseudo-point-residual design of order q, abbreviated by PPRD(q). Let A and B be two blocks in a PPRD(q)M^*. A and B are said to be tangent to each other at z if and only if A∩B={z}. M^* is said to have the Tangency Property if for any block A in M^*, and points x and y such that x?A and y?A, there exists at most one block containing y and tangent to A at x. This paper proves that any PPRD(q)M^* is uniquely embeddable into a Möbius plane if and only if M^* satisfies the Tangency Property.     

On rational invariants of a set of symmetric matrices

Some identities resulting from the Cayley-Hamilton theorem are derived. Some applications include: (a) for k = 1,2,…,n ? 1 a condition is found for a pair (A,B) of symmetric operators acting in Euclidean n-space to have common invariant k-subspace (provided that A does not have multiple eigenvalues); (b) it is shown that the field of rational invariants of (A,B) is isomorphic to a subfield of a rational function field with n(n+3)/2 generators consisting of elements symmetric with respect to the permutaion group P_n; (c) it is shown that any rational invariant of (g+2) symmetric operators A,B,C₁,C₂,…, C_g can be expressed as a rational function of invariants of one or two operators that are taken for pairs (A,B), (A,C₂),…, (A,C_g, (A,B+C₁), (A,B+C₂),…,(A,B+C_g).     

Fixed point theory and product,sub-, super-spaces

In this paper, we definen-segmentwise metric spaces and then we prove the following results:

1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX ⁿ has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C ^*(X) → C^*(X) and for anyn-tuple of distinct points x₁, x₂, ?, x_n ∈X, there exists anh ∈C ^*(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC ^*(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
2. LetX _i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX ₁ × ? × X_n has the fixed point property for alln ∈N Then the product spaceX ₁ × X₂ × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX ⁺ does not have the fixed point property.

Other relevant results and examples will be presented in this paper.     

Spin Leonard pairs

Let ${\mathbb K}$ denote a field, and let V denote a vector space over ${\mathbb K}$ of finite positive dimension. A pair A, A* of linear operators on V is said to be a Leonard pair on V whenever for each B∈{A, A*}, there exists a basis of V with respect to which the matrix representing B is diagonal and the matrix representing the other member of the pair is irreducible tridiagonal. A Leonard pair A, A* on V is said to be a spin Leonard pair whenever there exist invertible linear operators U, U* on V such that UA = A U, U*A* = A*U*, and UA* U ^?1 = U*^?1 AU*. In this case, we refer to U, U* as a Boltzmann pair for A, A*. We characterize the spin Leonard pairs. This characterization involves explicit formulas for the entries of the matrices that represent A and A* with respect to a particular basis. The formulas are expressed in terms of four algebraically independent parameters. We describe all Boltzmann pairs for a spin Leonard pair in terms of these parameters. We then describe all spin Leonard pairs associated with a given Boltzmann pair. We also describe the relationship between spin Leonard pairs and modular Leonard triples. We note a modular group action on each isomorphism class of spin Leonard pairs.     

Dissipativity of some class of uncertain systems

We consider the system $$ \dot x = A\left( \cdot \right)x + B\left( \cdot \right)u, u = S\left( \cdot \right)x, t \geqslant t_0 , $$ where A(·) ∈ ? ^n×n , B(·) ? ^n×p , and S(·) ∈ ? ^p×n . The entries of matrices A(·), B(·), and S(·) are arbitrary bounded functionals. We consider the problem of constructing a matrix H > 0 and finding relations between the entries of the matrices B(·) and S(·) such that for a given constant matrix R the inequality $$ V\left( {x\left( t \right)} \right) < V\left( {x\left( {t_0 } \right)} \right) + \int\limits_{t_0 }^t {x*\left( \tau \right)Rx\left( \tau \right)d\tau ,} $$ where V(x) = x*Hx, is satisfied. This problem is solved for the cases where matrix A(·) has p sign-definite entries on the upper part of some subdiagonal or on the lower part of some superdiagonal. It is assumed also that all entries located to the left (or to the right) of the sign-definite entries are equal to zero.     

Asymptotic estimates for the principal eigenvalue of the laplacian in a geodesic ball

LetM be a compact Riemannian manifold and letB _ε be a geodesic ball of radiusε with center0 ∈ M. We investigate the asymptotic behavior ofλ _ε , the principal eigenvalue of the Laplace-Beltrami operator on \(M/\bar B_\varepsilon\) with homogeneous Dirichlet boundary conditions. We prove thatλ _ε ~Cφ _n (ε) wheren = dimM, φ ₂ (ε)=(logε ^?1)^?1 andφ _n (ε) = (n-2)ε ^n-2 (n>2). In the case whereM is a model the constantC is explicitly evaluated.     

On the maximum of the minimum of a sum

LetB denote the closure of a bounded open set of points inE ⁿ with Jordan content |B|>0 and letc>0 be constant. Typical of the expressions considered is $$M(N,c) = \max _{\left\{ {x_j } \right\}} \min _{x \in B} \sum\limits_{j = 1}^N {\left| {x - x_j } \right|^{ - c} } ,x_j \in E^n$$ Together with its analogs and extensions, the problem forc has a long history, associated with the names of Fekete, Leja, Pólya, Szegö, Frostman and Carleson, to mention just a few. It involves the notions of generalized capacity, transfinite diameter, and equilibrium potential. Here we consider the casec≧n and its extensions, for which the prior history seems less comprehensive. Illustrative of the results obtained are the three equations $$\mathop {\lim }\limits_{N \to \infty } \frac{{M(N,n)}}{{N\log N}} = \frac{{\omega (n)}}{{\left| B \right|}},\mathop {\lim }\limits_{N \to \infty } \frac{{M(N,c)}}{{N^{{c \mathord{\left/ {\vphantom {c n}} \right. \kern-\nulldelimiterspace} n}} }} = \frac{{L(n,c)}}{{\left| B \right|^{{c \mathord{\left/ {\vphantom {c n}} \right. \kern-\nulldelimiterspace} n}} }},\mathop {\lim }\limits_{c \to \infty } L(n,c)^{{1 \mathord{\left/ {\vphantom {1 c}} \right. \kern-\nulldelimiterspace} c}} = \mathop {\lim }\limits_{N \to \infty } \frac{{\left( {\left| B \right|/N} \right)^{{1 \mathord{\left/ {\vphantom {1 n}} \right. \kern-\nulldelimiterspace} n}} }}{{\varrho (N)}}$$ In the firstc=n and ω (n) is the volume of the unit ball. In the secondc>n and existence of the limit is asserted, 0<L(n,c)<∞. In the third, ? (N) is the smallest value such thatN spheres of radius ? (N) can coverB. The results would be unchanged if we requiredx _j ∈B instead ofx _j ∈E ⁿ in the definition ofM(N, c).     

Arnold's canonical matrices and the asymptotic simplification of ordinary differential equations

Let A(x,ε) be an n×n matrix function holomorphic for |x|?x₀, 0<ε?ε₀, and possessing, uniformly in x, an asymptotic expansion $\text{A(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{A}{}_{\mathrm{r}}\text{(x) ε}{}^{\mathrm{r}}$, as ε→0⁺. An invertible, holomorphic matrix function P(x,ε) with an asymptotic expansion $\text{P(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{P}{}_{\mathrm{r}}\text{(x)ε}{}^{\mathrm{r}}$, as ε→0⁺, is constructed, such that the transformation y = P(x,ε)z takes the differential equation $\text{ε}{}^{\mathrm{h}}\text{dy}\text{dx}\text{= A(x,ε)y,h}$ a positive integer, into $\text{ε}{}^{\mathrm{h}}\text{dz}\text{dx}\text{= B(x,ε)z}$, where B(x,ε) is asymptotically equal, to all orders, to a matrix in a canonical form for holomorphic matrices due to V.I. Arnold.     

A characterization of classical Minkowski planes over a perfect field of characteristic two

We give a new set of axioms defining the concept of (B^*)-plane (i.e. Minkowski plane without the tangency property) and we show that every (B^*)-plane in which a condition similar to the “Fano condition” of Heise and Karzel (see [5, § 3]) holds, is a Minkowski plane over a perfect field of characteristic two. In particular, every finite (B^*)-plane of even order is a Minkowski plane over a field. Consequences for strictly 3-transitive groups are derived from the preceding results; in particular, every strictly 3-transitive set of permutations of odd degree containing the identity is a protective group PGL₂(GF(2 ⁿ )) over a finite field GF(2 ⁿ , for some positive integer n.