On the calculation of generalized binomial coefficients

The generalized binomial coefficients (_κ^λ) are defined by

$\text{Cλ(I}{}_{\mathrm{m}}\text{+ R)}\text{Cλ(I}{}_{\mathrm{m}}\text{)}\text{=}\text{Σ}\text{k=0}\text{l}\text{Σ}\text{κ}\text{(}\text{λ}\text{κ}\text{)}\text{C}{}_{\mathrm{\kappa }}\text{(R)}\text{C}{}_{\mathrm{\kappa }}\text{(I}{}_{\mathrm{m}}\text{)}$

, where the C_k(R) are the zonal polynomials of the m × m matrix R. In this paper some simple expressions are derived which allow straightforward calculation of a large number of these coefficients.     

Polynomials generalizing binomial coefficients and their application to the study of Fermat's last theorem

We study properties of the polynomials φ_k(X) which appear in the formal development Π_{k ? 0}ⁿ (a + bX^k)^rk = Σ_{k ≥ 0}φ_k(X) a^{r ? k}b^k, where r_k ∈ $\text{l}$ and r = Σr_k. this permits us to obtain the coefficients of all cyclotomic polynomials. Then we use these properties to expand the cyclotomic numbers G_r(ξ) = Π_{k = 1}^{p ? 1} (a + bξ^k)^kr, where p is a prime, ξ is a primitive pth root of 1, a, b ∈ $\text{l}$ and 1 ≤ r ≤ p ? 3, modulo powers of ξ ? 1 (until (ξ ? 1)^{2(p ? 1) ? r}). This gives more information than the usual logarithmic derivative. Suppose that $\text{p ? ab(a + b)}$. Let $\text{m = ?}\text{b}\text{a}$. We prove that G_r(ξ) ≡ c^p mod p(ξ ? 1)² for some c ∈ $\text{l}$, if and only if Σ_{k = 1}^{p ? 1}k^{p ? 2 ? r}m^k ≡ 0 (mod p). We hope to show in this work that this result is useful in the study of the first case of Fermat's last theorem.     

Valeurs aux entiers négatifs des séries de Dirichlet associées a un polynôme,I

In this paper, we are studying Dirichlet series Z(P,ξ,s) = Σ_n?$\text{N}$^1rP(n)^?s ξⁿ, where P ∈ $\text{R}$₊ [X₁,…,X_r] and ξⁿ = ξ₁ⁿ¹ … ξ_r^nr, with ξ_i ∈ $\text{C}$, such that |ξ_i| = 1 and ξ_i ≠ 1, 1 ≦ i ≦ r. We show that Z(P, ξ,·) can be continued holomorphically to the whole complex plane, and that the values Z(P, ξ, ?k) for all non negative integers, belong to the field generated over $\text{Q}$ by the ξ_i and the coefficients of P. If, there exists a number field K, containing the ξ_i, 1 ≦ i ≦ r, and the coefficients of P, then we study the denominators of Z(P, ξ, ?k) and we define a $\text{B}$-adic function Z$\text{B}$(P, ξ,·) which is equal, on class of negative integers, to Z(P, ξ, ?k).     

Packing a convex domain with similar convex domains

Given a convex domain C and a positive integer k, inscribe k nonoverlapping convex domains into C, all of them similar to C. Denote by f(k) the maximal sum of their circumferences. In this paper it is shown, that for C square, parallelogram or triangle (1) the first increase of f(k) after k = l² occurs not later than at k = l² + 2, (2) constructions can be given, where the following lower bounds are attained for f(k) = f(l² + j):

$\text{(}\text{1}\text{c}\text{) ? l +}\text{(j ? 1)}\text{2l}\text{j}\text{odd}\text{, l? 2}$

$\text{? l +}\text{j}\text{2}\text{(l + 1) j}\text{even}\text{, l?2}$

where c denotes the circumference of C.     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

On the zeros of exponential polynomials

Suppose r = (r₁, …, r_M), r_j ? 0, γ_kj ? 0 integers, k = 1, 2, …, N, j = 1, 2, …, M, γ_k · r = ∑_jγ_kjr_j. The purpose of this paper is to study the behavior of the zeros of the function h(λ, a, r) = 1 + ∑_{j = 1}^Na_je^{?λγ_j · r}, where each a_j is a nonzero real number. More specifically, if $\text{Z}\text{?}\text{(a, r) =}\text{closure}\text{{}\text{Re}\text{λ: h(λ, a, r) = 0}}$, we study the dependence of $\text{Z}\text{?}\text{(a, r)}\text{on}\text{a, r}$. This set is continuous in a but generally not in r. However, it is continuous in r if the components of r are rationally independent. Specific criterion to determine when $\text{0 ?}\text{Z}\text{?}\text{(a, r)}$ are given. Several examples illustrate the complicated nature of $\text{Z}\text{?}\text{(a, r)}$. The results have immediate implication to the theory of stability for difference equations x(t) ? ∑_{k = 1}^MA_kx(t ? r_k) = 0, where x is an n-vector, since the characteristic equation has the form given by h(λ, a, r). The results give information about the preservation of stability with respect to variations in the delays. The results also are fundamental for a discussion of the dependence of solutions of neutral differential difference equations on the delays. These implications will appear elsewhere.     

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.     

The spherical Bochner theorem on semisimple Lie groups

Let G be a connected semisimple Lie group with finite center and K a maximal compact subgroup. Denote (i) Harish-Chandra's Schwartz spaces by $\text{C}$^p(G)(0<p?2), (ii) the K-biinvariant elements in $\text{C}$^p(G) by $\text{I}$^p(G), (iii) the positive definite (zonal) spherical functions by $\text{P}$, and (iv) the spherical transform on $\text{C}$^p(G) by ? → $\text{}\text{?}$gj. For T a positive definite distribution on G it is established that (i) T extends uniquely onto $\text{C}$^l(G), (ii) there exists a unique measure μ of polynomial growth on $\text{P}$ such that T[ψ]=∫pψdμ for all ψ?I¹(G) (iii) all measures μ of polynomial growth on $\text{P}$ are obtained in this way, and (iv) T may be extended to a particular $\text{I}$^p(G) space (1 ? p ? 2) if and only if the support of μ lies in a certain easily defined subset of $\text{P}$. These results generalize a well-known theorem of Godement, and the proofs rely heavily on the recent harmonic analysis results of Trombi and Varadarajan.     

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).     

An asymptotic relation for the zeros of Bessel functions

We define the function j_νκ for all real κ > 0 as follows: for κ = 1, 2, … the j_νκ denotes the kth positive zero of the Bessel function J_ν(z) of first kind and for k ? 1 < κ < k, j_νκ denotes the kth positive zero of the cylinder Bessel function C_ν(z) = cos αJ_ν(z) ? sin αY_ν(Z) with α = (k ? ν)π (see [2]), where Y_ν(x) is the Bessel function of second kind. We introduce the function ι(x) for x > ? 1,

$\text{l(x)=}\text{lim}\text{κ→∞}\text{j}{}_{\mathrm{\kappa ,x,\kappa }}\text{κ}$

. and we prove, among other things, the inequality $\text{j}{}_{\mathrm{\nu \kappa }}\text{< κι(}\text{ν}\text{κ}\text{)}$. Moreover, we find the first three terms of the asymptotic expansion of ι(x), for large values of x and other properties of this function.     

Polynomial sums over automorphs of a positive definite binary quadratic form

Let P(X) be a homogeneous polynomial in X = (x, y), Q(X) a positive definite integral binary quadratic form, and G the group of integral automorphs of Q(X). Let A(m) = {N ∈ $\text{Z}$ × $\text{Z}$ : Q(N) = m}. It is shown that if Σ_N∈A(m)P(N) = 0 for each m = 1, 2, 3,… then Σ_U∈GP(UX) ≡ 0.     

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.     

A generalization of the Kruskal-Katona theorem

Let k_n ? k_n?1 ? … ? k₁ be positive integers and let ($\text{i}\text{j}$) denote the coefficient of xⁱ in $\text{Π}\text{r=1}\text{j}\text{(1 + x + x}{}^2\text{+ … + x}{}^{\mathrm{kr}}\text{)}$. For given integers l, m, where 1 ? l ? k_n + k_n?1 + … + k₁ and $\text{1 ? m ? (}\text{n}\text{n}\text{)}$, it is shown that there exist unique integers m(l), m(l ? 1),…, m(t), satisfying certain conditions, for which $\text{m = (}\text{m(l)}\text{l}\text{+ (}\text{m(l?1)}\text{l?1}\text{) + … + (}\text{m(t)}\text{t}\text{)}$. Moreover, any m l-subsets of a multiset with k_i elements of type i, i = 1, 2,…, n, will contain at least $\text{(}\text{m(l)}\text{l?1}\text{) + (}\text{m(l?1)}\text{l?2}\text{) + … + (}\text{m(t)}\text{t?1}$ different (l ? 1)-subsets. This result has been anticipated by Greene and Kleitman, but the formulation there is not completely correct. If k₁ = 1, the numbers ($\text{j}\text{i}$) are binomial coefficients and the result is the Kruskal-Katona theorem.     

On relative primeness of operator polynomials

Given operator polynomials A(λ) and B(λ), one of which is monic, conditions are given for the existence of operator polynomials C(λ) and D(λ) such that A(λ)C(λ) + B(λ)D(λ) = I for every $\text{λ ∈}\text{C}$. A special case will give a characterization of controlla- bility of an infinite-dimensional linear control system.     

On the maximum number of permutations with given maximal or minimal distance

Let us denote by R(k, ? λ)[R(k, ? λ)] the maximal number $\text{M}$ such that there exist $\text{M}$ different permutations of the set {1,…, k} such that any two of them have at least λ (at most λ, respectively) common positions. We prove the inequalities R(k, ? λ) ? kR(k ? 1, ? λ ? 1), R(k, ? λ) ? R(k, ? λ ? 1) ? k!, R(k, ? λ) ? kR(k ? 1, ? λ ? 1). We show: R(k, ? k ? 2) = 2, R(k, ? 1) = (k ? 1)!, R(p^m, ? 2) = (p^m ? 2)!, R(p^m + 1, ? 3) = (p^m ? 2)!, $\text{R(k, ? k ? 3) =}\text{k!}\text{2}$, R(k, ? 0) = k, R(p^m, ? 1) = p^m(p^m ? 1), R(p^m + 1, ? 2) = (p^m + 1)p^m(p^m ? 1). The exact value of R(k, ? λ) is determined whenever k ? k₀(k ? λ); we conjecture that R(k, ? λ) = (k ? λ)! for k ? k₀(λ). Bounds for the general case are given and are used to determine that the minimum of |R(k, ? λ) ? R(k, ? λ)| is attained for $\text{λ = (}\text{k}\text{2}\text{) + O(}\text{k}\text{log}\text{k}\text{)}$.     

Eigenvalues of p-summing and lp-type operators in Banach spaces

This paper is a study of the distribution of eigenvalues of various classes of operators. In Section 1 we prove that the eigenvalues (λ_n(T)) of a p-absolutely summing operator, p ? 2, satisfy

$\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{?π}{}_{\mathrm{p}}\text{(T).}$

This solves a problem of A. Pietsch. We give applications of this to integral operators in L_p-spaces, weakly singular operators, and matrix inequalities.In Section 2 we introduce the quasinormed ideal Π₂⁽ⁿ⁾, P = (p₁, …, p_n) and show that for T ∈ Π₂⁽ⁿ⁾, 2 = (2, …, 2) ∈ Nⁿ, the eigenvalues of T satisfy

$\text{∑}\text{i∈N}\text{|λ}{}_{\mathrm{i}}\text{(T)|}{}^{\mathrm{<mtext>2</mtext><mtext>n</mtext>}}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}\text{?π}{}^{\mathrm{n}}{}_2\text{(T).}$

More generally, we show that for T ∈ Π_p⁽ⁿ⁾, P = (p₁, …, p_n), pi ? 2, the eigenvalues are absolutely p-summable,

$\text{1}\text{p}\text{=}\text{∑}\text{i=1}\text{n}\text{1}\text{p}{}_{\mathrm{i}}\text{and}\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{?C}{}_{\mathrm{p}}\text{π}{}^{\mathrm{n}}{}_{\mathrm{P}}\text{(T).}$

We also consider the distribution of eigenvalues of p-nuclear operators on L_r-spaces.In Section 3 we prove the Banach space analog of the classical Weyl inequality, namely

$\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}\text{? C}{}_{\mathrm{p}}\text{∑}\text{n∈N}\text{α}{}_{\mathrm{n}}\text{(T)}{}^{\mathrm{p}}$

, 0 < p < ∞, where α_n denotes the Kolmogoroff, Gelfand of approximation numbers of the operator T. This solves a problem of Markus-Macaev.Finally we prove that Hilbert space is (isomorphically) the only Banach space X with the property that nuclear operators on X have absolutely summable eigenvalues. Using this result we show that if the nuclear operators on X are of type l₁ then X must be a Hilbert space.     

Product formulas for semigroups with elliptic generators

Real constant coefficient nth order elliptic operators, Q, which generate strongly continuous semigroups on L²($\text{R}$^k) are analyzed in terms of the elementary generator,

$\text{A = (?n)}{}^{\mathrm{<mtext>(</mtext><mtext>n</mtext><mtext>2</mtext><mtext>\; ?\; 1</mtext>}}\text{)(n!)}{}^{\mathrm{?1}}\text{∑}\text{k}\text{j = 1}\text{?}{}^{\mathrm{n}}\text{?x}{}_{\mathrm{j}}{}^{\mathrm{n}}$

, for n even. Integral operators are defined using the fundamental solutions p_n(x, t) to u_t = Au and using real polynomials q_l,…, q_k on $\text{R}$^m by the formula, for q = (q_l,…, q_k),

$\text{(F(t)?)(x) = ∫}$

_$\text{R}$m

$\text{?(x + q(z)) P}{}_{\mathrm{n}}\text{(z, t)dz}$

. It is determined when, strongly on L²($\text{R}$^k),

$\text{e}{}^{\mathrm{tQ}}\text{=}\text{lim}\text{j → ∞}\text{F}\text{t}\text{j}{}^{\mathrm{j}}$

. If n = 2 or k = 1, this can always be done. Otherwise the symbol of Q must have a special form.     

Operator properties of Sobolev imbeddings over unbounded domains

For an open set Ω ? $\text{R}$^N, 1 ? p ? ∞ and λ ∈ $\text{R}$⁺, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm (cf. A. Pietsch, “r-nukleare Sobol. Einbett. Oper., Ellipt. Dgln. II,” Akademie-Verlag, Berlin, 1971, pp. 203–215). Choose a Banach ideal of operators $\text{U}$, 1 ? p, q ? ∞ and a quasibounded domain Ω ? $\text{R}$^N. Theorem 1 of the note gives sufficient conditions on λ such that the Sobolev-imbedding map $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the given Banach ideal $\text{U}$: Assume the quasibounded domain fulfills condition C_k^l for some l > 0 and 1 ? k ? N. Roughly this means that the distance of any $\text{x ? Ω}$ to the boundary ?Ω tends to zero as $\text{O(¦ x ¦}{}^{\mathrm{?l}}\text{)}$ for $\text{¦ x ¦ → ∞}$, and that the boundary consists of sufficiently smooth ?(N ? k)-dimensional manifolds. Take, furthermore, 1 ? p, q ? ∞, p > k. Then, if μ, ν are real positive numbers with λ = μ + v ∈ $\text{N}$, μ > λ _S($\text{U}$; p,q:N) and v > N/l · λ_D($\text{U}$;p,q), one has that $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ belongs to the Banach ideal $\text{U}$. Here λ_D($\text{U}$;p,q;N)∈$\text{R}$⁺ and λ_S($\text{U}$;p,q;N)∈$\text{R}$⁺ are the D-limit order and S-limit order of the ideal $\text{U}$, introduced by Pietsch in the above mentioned paper. These limit orders may be computed by estimating the ideal norms of the identity mappings l_pⁿ → l_qⁿ for n → ∞. Theorem 1 in this way generalizes results of R. A. Adams and C. Clark for the ideals of compact resp. Hilbert-Schmidt operators (p = q = 2) as well as results on imbeddings over bounded domains.Similar results over general unbounded domains are indicated for weighted Sobolev spaces.As an application, in Theorem 2 an estimate is given for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω fulfills condition C₁^l.For an open set Ω in $\text{R}$^N, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm, see below. Taking a fixed Banach ideal of operators and 1 ? p, q ? ∞, we consider quasibounded domains Ω in $\text{R}$^N and give sufficient conditions on λ such that the Sobolev imbedding operator $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the Banach ideal. This generalizes results of C. Clark and R. A. Adams for compact, respectively, Hilbert-Schmidt operators (p = q = 2) to general Banach ideals of operators, as well as results on imbeddings over bounded domains. Similar results over general unbounded domains may be proved for weighted Sobolev spaces. As an application, we give an estimate for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded open set in $\text{R}$^N.     

Partitions of large multipartites with congruence conditions. II

For 1 ≦ l ≦ j, let $\text{a}$_l = ?_h=1^q(l){a_lh + Mv: v = 0, 1, 2,…}, where j, M, q(l) and the a_lh are positive integers such that j > 1, a_l1 < … < a_lq(2) ≦ M, and let $\text{a}$_l^′ = $\text{a}$_l ∪ {0}. Let p(n : $\text{B}$) be the number of partitions of n = (n₁,…,n_j) where, for 1 ≦ l ≦ j, the lth component of each part belongs to $\text{B}$_l and let p¹(n : $\text{B}$) be the number of partitions of n into different parts where again the lth component of each part belongs to $\text{B}$_l. Asymptotic formulas are obtained for p(n : $\text{a}$), p¹(n : $\text{a}$) where all but one n_l tend to infinity much more rapidly than that n_l, and asymptotic formulas are also obtained for p(n : $\text{a}$′), p¹(n ; $\text{a}$′), where one n_l tends to infinity much more rapidly than every other n_l. These formulas contrast with those of a recent paper (Robertson and Spencer, Trans. Amer. Math. Soc., to appear) in which all the n_l tend to infinity at approximately the same rate.