Nonuniform right definiteness

The multiparameter eigenvalue problem W_m(λ) x_m = x_m, $\text{W}{}_{\mathrm{m}}\text{(λ) = T}{}_{\mathrm{m}}\text{+}\text{∑}\text{n = 1}\text{k}\text{λ}{}_{\mathrm{n}}\text{V}{}_{\mathrm{mn}}$, m = 1,…, k, where /gl /gE $\text{C}$^k, x_m is a nonzero element of the separable Hilbert space H_m, and T_m and V_mn are compact symmetric is studied. Various properties, including existence and uniqueness, of λ = λⁱ ? $\text{C}$^k for which the i_mth greatest eigenvalue of W_m(λⁱ) equals one are proved. “Right definiteness” is assumed, which means positivity of the determinant with (m, n)th entry (y_m, V_mny_m) for all nonzero y_m?H_m, m = 1 … k. This gives a “Klein oscillation theorem” for systems of an o.d.e. satisfying a definiteness condition that is usefully weaker than in previous such results. An expansion theorem in terms of the corresponding eigenvectors x_mⁱ is also given, thereby connecting the abstract oscillation theory with a result of Atkinson.     

Omega theorems for the iterated additive convolution of a nonnegative arithmetic function

Let R_k(n) denote the number of ways of representing the integers not exceeding n as the sum of k members of a given sequence of nonnegative integers. Suppose that $\text{1}\text{2}\text{< β < k}$, $\text{δ =}\text{β}\text{2}\text{?}\text{β}\text{(4}\text{min}\text{(β,}\text{k}\text{2}\text{))}$ and

$\text{ξ=}\text{1/2β if β<k/2,}\text{β?1/2 if β=1/2,}\text{(k ? 2)(k + 1)/2k if k/2<β<k.}$

R. C. Vaughan has shown that the relation R_k(n) = G(n) + o(n^δ log^?ξn) as n → +∞ is impossible when G(n) is a linear combination of powers of n and the dominant term of G(n) is cn^β, c > 0. P. T. Bateman, for the case k = 2, has shown that similar results can be obtained when G(n) is a convex or concave function. In this paper, we combine the ideas of Vaughan and Bateman to extend the theorems stated above to functions whose fractional differences are of one sign for large n. Vaughan's theorem is included in ours, and in the case $\text{β <}\text{k}\text{2}$ we show that a better choice of parameter improves Vaughan's result by enabling us to drop the power of log n from the estimate of the error term.     

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.     

The visually distinct configurations of k sets

Two sets of sets, C₀ and C₁, are said to be visually equivalent if there is a 1-1 mapping m from C₀ onto C₁ such that for every S, T?C₀, S ∩ T=0 if and only if m(S)∩ m(T)=0 and S?T if and only if m(S)?m(T). We find estimates for V(k), the number of equivalence classes of this relation on sets of k sets, for finite and infinite k. Our main results are that for finite k, $\text{1}\text{2}\text{k}{}^2\text{-k log k <log V (k)<ak}{}^2\text{+βk+log k}$, where α and β are approximately 0.7255 and 2.5323 respectively, and there is a set N of cardinality $\text{1}\text{2}\text{(k}{}^2\text{+k)}$ such that there are V(k) visually distinct sets of k subsets of N.     

Geometry of the numerical range of matrices

Some techniques for the study of the algebraic curve C(A) which generates the numerical range W(A) of an n×n matrix A as its convex hull are developed. These enable one to give an explicit point equation of C(A) and a formula for the curvature of C(A) at a boundary point of W(A). Applied to the case of a nonnegative matrix A, a simple relation is found between the curvature of the function Φ(A)=p((1?α)A+ αA^T) (pbeingthePerronroot) at $\text{α=}\text{1}\text{2}$ and the curvature of W(A) at the Perron root of $\text{1}\text{2}\text{(A+A}{}^{\mathrm{T}}\text{)}$. A connection with 2-dimensional pencils of Hermitian matrices is mentioned and a conjecture formulated.     

A class of facet producing graphs for vertex packing polyhedra

We examine a family of graphs called webs. For integers n ? 2 and $\text{k, 1 ? k ?}\text{1}\text{2}\text{n}$, the web W(n, k) has vertices V_n = {1, …, n} and edges {(i, j): j = i+k, …, i+n ? k, for i?V_n (sums mod n)}. A characterization is given for the vertex packing polyhedron of W(n, k) to contain a facet, none of whose projections is a facet for the lower dimensional vertex packing polyhedra of proper induced subgraphs of W(n, k). Simple necessary and sufficient conditions are given for W(n, k) to contain W(n′, k′) as an induced subgraph; these conditions are used to show that webs satisfy the Strong Perfect Graph Conjecture. Complements of webs are also studied and it is shown that if both a graph and its complement are webs, then the graph is either an odd hole or its complement.     

An identity involving partitional generalized binomial coefficients

Define coefficients (_κ^λ) by C_λ(I_p + Z)/C_λ(I_p) = Σ_k=0^l Σ_{?∈$\text{P}$k} (_?^λ) C_κ(Z)/C_κ(I_p), where the C_λ's are zonal polynomials in p by p matrices. It is shown that C_?(Z) etr(Z)/k! = Σ_l=k^∞ Σ_{λ∈$\text{P}$l} (_?^λ) C_λ(Z)/l!. This identity is extended to analogous identities involving generalized Laguerre, Hermite, and other polynomials. Explicit expressions are given for all (_?^λ), ? ∈ $\text{P}$_k, k ≤ 3. Several identities involving the (_?^λ)'s are derived. These are used to derive explicit expressions for coefficients of $\text{C}{}_{\mathrm{\lambda }}\text{(Z)}\text{l}\text{!}$ in expansions of P(Z), $\text{etr}\text{(Z)}\text{k!}$ for all monomials P(Z) in s_j = tr Z^j of degree k ≤ 5.     

A generalization of Lavoie's inequality concerning the sum of idempotent matrices

Let a complex pxn matrix A be partitioned as A′=(A′₁,A′₂,…,A′_k). Denote by ?(A), A′, and A^? respectively the rank of A, the transpose of A, and an inner inverse (or a g-inverse) of A. Let A⁽¹⁴⁾ be an inner inverse of A such that A⁽¹⁴⁾A is a Hermitian matrix. Let B=(A⁽¹⁴⁾₁,A⁽¹⁴⁾₂,…,A_k⁽¹⁴⁾) and $\text{ρ(A)=}\text{∑}\text{i=1}\text{k}\text{ρ(A}{}_{\mathrm{i}}\text{)}$.Then the product of nonzero eigenvalues of BA (or AB) cannot exceed one, and the product of nonzero eigenvalues of BA is equal to one if and only if either B=A⁽¹⁴⁾ or $\text{A}{}_{\mathrm{i>}}\text{A}{}_{\mathrm{<mtext>j</mtext>}}{}^1\text{=0}$ for all i ≠ j,i, j=1,2,…,k . The results of Lavoie (1980) and Styan (1981) are obtained as particular cases. A result is obtained for k=2 when the condition $\text{ρ(A)=}\text{∑}\text{i=1}\text{k}\text{ρ(A}{}_{\mathrm{i}}\text{)}$ is no longer true.     

The constrained bilinear form and the C-numerical range

Let V be an n-dimentional unitary space with inner product (·,·) and S the set {x∈V:(x, x)=1}. For any A∈Hom(V, V) and $\text{q∈}\text{C}$ with ∣q∣?1, we define

$\text{W(A:q)={(Ax, y):x, y∈S, (x, y)=q}}$

. If q=1, then W(A:q) is just the classical numerical range {(Ax, x):x∈S}, the convexity of which is well known. Another generalization of the numerical range is the C-numerical range, which is defined to be the set

$\text{W}{}_{\mathrm{C}}\text{(A)={}\text{tr}\text{(CU}{}^1\text{AU):U}\text{unitary}\text{}}$

where C∈Hom(V, V). In this note, we prove that W(A:q) is always convex and that W_C(A) is convex for all A if rank C=1 or n=2.     

The voltage and current transfer ratios of RLC operator networks

The subject of this work is the voltage and current transfer ratios of three-terminal networks having no mutual coupling and whose impedances are analytic functions taking their values in an abelian self-adjoint algebra of bounded linear operators on a Hilbert space. Each such value is also assumed to be invertible. It is shown that these ratios have the form [I + A(ζ)]^?1, where, for each ζ in a sufficiently small open cone in the right-half complex plane with apex at the origin and the real axis as its bisector, the numerical range of A(ζ) is contained in a compact subset of the open right-half plane. This implies that the ratios are strictly contractive for each ζ in the cone. The angle of the cone is $\text{π}\text{(2k + 2)}$, where k is the number of internal nodes of a certain “surrogate” network; this result is best possible. For two-terminal-pair networks the ratios are shown to be strictly contractive for each ζ in a similar cone with angle $\text{π}\text{(2k + 4)}$.     

Equivalence of measures for some class of Gaussian random fields

We consider two Gaussian measures P₁ and P₂ on (C(G), $\text{B}$) with zero expectations and covariance functions R₁(x, y) and R₂(x, y) respectively, where R_ν(x, y) is the Green's function of the Dirichlet problem for some uniformly strongly elliptic differential operator A^(ν) of order $\text{2m, m ≥ [}\text{d}\text{2}\text{] + 1}$, on a bounded domain G in $\text{R}$^d (ν = 1, 2). It is shown that if the order of A⁽²⁾ ? A⁽¹⁾ is at most $\text{2m ? [}\text{d}\text{2}\text{] ? 1}$, then P₁ and P₂ are equivalent, while if the order is greater than $\text{2m ? [}\text{d}\text{2}\text{] ? 1}$, then P₁ and P₂ are not always equivalent.     

Über die Wurzelschranke für das Minimalgewicht von codes

Let d be the minimum distance of an (n, k) code $\text{C}$, invariant under an abelian group acting transitively on the basis of the ambient space over a field F with char F × n. Assume that $\text{C}$ contains the repetition code, that dim($\text{C}$ ∏ $\text{C}$^⊥) = k ? 1 and that the supports of the minimal weight vectors of $\text{C}$ form a 2-design. Then d² ? d + 1 ? n with equality if and only if the design is a projective plane of order d ? 1. The case d² ? d + 1 = n can often be excluded with Hall's multiplier theorem on projective planes, a theorem which follows easily from the tools developed in this paper Moreover, if d² ? d + 1 > n and F = GF(2) then (d ? 1)² ? n. Examples are the generalized quadratic residue codes.     

On matrix functions which commute with their derivative

We improve several results published from 1950 up to 1982 on matrix functions commuting with their derivative, and establish two results of general interest. The first one gives a condition for a finite-dimensional vector subspace E(t) of a normed space not to depend on t, when t varies in a normed space. The second one asserts that if A is a matrix function, defined on a set ?, of the form A(t)= U diag(B₁(t),…,B_p(t)) U^-1, t ∈ ?, and if each matrix function B_k has the polynomial form

$\text{B}{}_{\mathrm{k}}\text{(t)=}\text{∑}\text{i=0}\text{α}{}_{\mathrm{k}}\text{f}{}_{\mathrm{ki}}\text{(t)C}{}_{\mathrm{k}}{}^{\mathrm{i}}\text{, t∈ ?, k∈{1,…,p}}$

then A itself has the polynomial form

$\text{A(t)=}\text{∑}\text{i=0}\text{d?1}\text{f}{}_{\mathrm{i}}\text{(t)C}{}^{\mathrm{i}}\text{,t∈?}$

, where

$\text{d=}\text{∑}\text{k=1}\text{p}\text{d}{}_{\mathrm{k}}$

, d_k being the degree of the minimal polynomial of the matrix C_k, for every k ∈ {1,…,p}.     

C0-semigroups on a locally convex space

A necessary and sufficient condition that a densely defined linear operator A in a sequentially complete locally convex space X be the infinitesimal generator of a quasi-equicontinuous C₀-semigroup on X is that there exist a real number β ? 0 such that, for each λ > β, the resolvent (λI ? A)^?1 exists and the family {(λ ? β)^k(λI ? A)^?k; λ > β, k = 0, 1, 2,…} is equicontinuous. In this case all resolvents (λI ? A)^?1, λ > β, of the given operator A and all exponentials exp(tA), t ? 0, of the operator A belong to a Banach algebra $\text{B}{}_{\mathrm{г}}\text{(X)}$ which is a subspace of the space L(X) of all continuous linear operators on X, and, for each t ? 0 and for each x?X, one has lim_{k → z} (I ? k^?1tA)^?kx = exp(tA) x. A perturbation theorem for the infinitesimal generator of a quasi-equicontinuous C₀-semigroup by an operator which is an element of $\text{B}{}_{\mathrm{г}}\text{(X)}$ is obtained.     

Cesàro asymptotics for the orders of SLk(Zn) and GLk(Zn) as n→∞

Given an integer k>0, our main result states that the sequence of orders of the groups $\text{SL}{}_{\mathrm{k}}\text{(}\text{Z}{}_{\mathrm{n}}\text{)}$ (respectively, of the groups $\text{GL}{}_{\mathrm{k}}\text{(}\text{Z}{}_{\mathrm{n}}\text{)}$) is Cesàro equivalent as n→∞ to the sequence C₁(k)n^k2?1 (respectively, C₂(k)n^k2), where the coefficients C₁(k) and C₂(k) depend only on k; we give explicit formulas for C₁(k) and C₂(k). This result generalizes the theorem (which was first published by I. Schoenberg) that says that the Euler function ?(n) is Cesàro equivalent to $\text{n}\text{6}\text{π}{}^2$. We present some experimental facts related to the main result. To cite this article: A.G. Gorinov, S.V. Shadchin, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

A global genericity theorem for bifurcations in variational problems

Let C be a Banach space, H a Hilbert space, and let F(C,H) be the space of C^∞ functions f: C × H → R having Fredholm second derivative with respect to x at each (c, x) ?C × H for which $\text{D?}{}_{\mathrm{c}}\text{(x) = 0}$; here we write $\text{?}{}_{\mathrm{c}}\text{(x)}$ for $\text{?(c, x)}$. Say ? is of standard type if at all critical points of ?_c it is locally equivalent (as an unfolding) to a quadratic form Q plus an elementary catastrophe on the kernel of Q. It is proved that if f?F (A × B, H) satisfies a certain ‘general position’ condition, and dim B ? 5, then for most a?A the function f_o?F(B,H) is of standard type. Using this it is shown that those f?F(B,H) of standard type form an open dense set in F(B,H) with the Whitney topology. Thus both results are Hilbert-space versions of Thom's theorem for catastrophes in $\text{R}$ⁿ.     

Generalizations of theorems of Lyapunov and Stein

The matrix equation $\text{f}{}_{\mathrm{H}}\text{(A)=∑C}{}_{\mathrm{ij}}\text{A}{}^{\mathrm{1i}}\text{HA}{}^{\mathrm{j}}\text{=W, H >0}$, W ?0, is studied. In the case A¹H+HA = W[H?A¹HA = W], the controllability matrix of (A¹,W) is used to determine the number of eigenvalues of A on the imaginary axis [on the unit circle]. As an application a result of Pták on the critical exponent of the spectral norm is obtained. Estimates for the eigenvalues of A satisfying f_H(A) = M are given.     

On a conjecture by D. Ž. D̄okovic

It is shown that if $\text{A?Ω}{}_{\mathrm{n}}\text{?{J}{}_{\mathrm{n}}\text{}}$ satisfies

$\text{nkσ}{}_{\mathrm{k}}\text{(A)?(n?k+1)}{}^2\text{σ}{}_{\mathrm{k?1}}\text{(A)}$

$\text{(k=1,2,…,n)}$

, where σ_k(A) denotes the sum of all kth order subpermanent of A, then Per[λJ_n+(1?λ)A] is strictly decreasing in the interval 0<λ<1.     

Lower bounds for the distributions of certain multivariate test statistics

A lower (upper) bound is given for the distribution of each d_j, j = k + 1, …, p (j = 1, …, s), the jth latent root of AB^?1, where A and B are independent noncentral and central Wishart matrices having $\text{W}{}_{\mathrm{p}}\text{(q, Σ; Ω)}$ with rank $\text{(Ω) ≤ k = p ? s}$ and W_p(n, Σ), respectively. Similar bound are also given for the distributions of noncentral means and canonical correlations. The results are applied to obtain lower bounds for the null distributions of some multivariate test statistics in Tintner's model, MANOVA and canonical analysis.     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.