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.     

Compositions of singular integral operators

The composition of two Calderón-Zygmund singular integral operators is given explicitly in terms of the kernels of the operators. For φ?L¹(Rⁿ) and ε = 0 or 1 and ∝ φ = 0 if ε = 0, let Ker(φ) be the unique function on R^{n + 1} homogeneous of degree ?n ? 1 of parity ε that equals φ on the hypersurface x₀ = 1. Let Sing(φ, ε) denote the singular integral operator , which exists under suitable growth conditions on ? and φ. Then Sing(φ, ε₁) Sing(ψ, ε₂)f = ?2π²(∝ φ)(∝ ψ)f + Sing(A, ε₁, + ε₂)f, where

(with notation $\text{¦t¦}{}_0{}^{\mathrm{a}}\text{= ¦t¦}{}^{\mathrm{a}}\text{and}\text{¦t¦}{}_1{}^{\mathrm{a}}\text{= ¦t¦}{}^{\mathrm{a}}\text{sgn}\text{t}$). This result is used to show that the mapping ψ → A is a classical pseudo-differential operator of order zero if φ is smooth, with top-order symbol

$\text{ω}{}_0\text{(x,?)=?πiθ(?)∫θ(x?y)}\text{sgn}\text{y·?dy}\text{if}\text{?}{}_1\text{=1}$

,

$\text{=?2θ(?)∫θ(x?y)}\text{log}\text{|y·?|dy}\text{if}\text{?}{}_1\text{=0}$

where θ(ξ) is a cut-off function. These results are generalized to singular integrals with mixed homogeneity.     

Construction of a recurrence relation for modified moments

In this paper we are constructing a recurrence relation of the form

$\text{∑}\text{i=0}\text{r}\text{ω}{}_{\mathrm{i}}\text{(k)m}{}_{\mathrm{k+i}}{}^{\mathrm{\{\lambda \}}}\text{[f] = ω(k)}$

for integrals (called modified moments)

$\text{m}{}_{\mathrm{k}}{}^{\mathrm{\{\lambda \}}}\text{[f]df=}\text{∫}\text{?1}\text{1}\text{f(x)C}{}_{\mathrm{k}}{}^{\mathrm{(\lambda )}}\text{(x)dx (k = 0,1,…)}$

in which C_k^(λ) is the k-th Gegenbauer polynomial of order $\text{λ(λ > ?}\text{1}\text{2}\text{)}$, and f is a function satisfying the differential equation

$\text{∑}\text{i=0}\text{n}\text{P}{}_{\mathrm{i}}\text{(x)f}{}^{\mathrm{(i)}}\text{(x) = p(x) (?1?x?1)}$

of order n, where p₀, p₁, …, p_n ? 0 are polynomials, and m_k^〈λ〉[p] is known for every k. We give three methods of construction of such a recurrence relation. The first of them (called Method I) is optimum in a certain sense.     

Two-parameter Turan inequalities for ultraspherical and Laguerre polynomials

It is known that the classical orthogonal polynomials satisfy inequalities of the form U_n²(x) ? U_{n + 1}(x) U_{n ? 1}(x) > 0 when x lies in the spectral interval. These are called Turan inequalities. In this paper we will prove a generalized Turan inequality for ultraspherical and Laguerre polynomials. Specifically if P_n^λ(x) and L_n^α(x) are the ultraspherical and Laguerre polynomials and $\text{F}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(x) =}\text{P}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(x)}\text{P}{}_{\mathrm{n}}{}^{\mathrm{\lambda }}\text{(1)}\text{, G}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) =}\text{L}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x)}\text{L}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(0)}\text{,}\text{then}\text{F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? F}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > 0, ? 1 < x < 1, ?}\text{1}\text{2}\text{< α ? β ? α + 1}\text{and}\text{G}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) G}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? G}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) G}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > 0, x > 0, 0 < α ? β ? α + 1}$. We also prove the inequality $\text{(n + 1) F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n}}{}^{\mathrm{\beta }}\text{(x) ? nF}{}_{\mathrm{n\; +\; 1}}{}^{\mathrm{\alpha }}\text{(x) F}{}_{\mathrm{n\; ?\; 1}}{}^{\mathrm{\beta }}\text{(x) > A}{}_{\mathrm{n}}\text{[F}{}_{\mathrm{n}}{}^{\mathrm{\alpha }}\text{(x)]}{}^2\text{, ?1 < x < 1, ?}\text{1}\text{2}\text{< α ? β < α + 1,}\text{where}\text{A}{}_{\mathrm{n}}$ is a positive constant depending on α and β.     

A queueing model and a set of orthogonal polynomials

A single serving queueing model is studied where potential customers are discouraged at the rate λ_n = λqⁿ, 0 < q < 1, n is the queue length. The serving rate is μ_n = μ(1 ? qⁿ), n = 0, 1,…. The spectral function is computed and the corresponding set of orthogonal polynomials is studied in detail. The slightly more general model with $\text{λ}{}_{\mathrm{n}}\text{=}\text{λq}{}^{\mathrm{n}}\text{(1 + bq}{}^{\mathrm{n}}\text{)}\text{, μ}{}_{\mathrm{n}}\text{=}\text{μ(1 ? q}{}^{\mathrm{n}}\text{)}\text{(1 + bq}{}^{\mathrm{n}}\text{)}$ and the analogous orthogonal polynomials are also investigated. In both cases a method developed by Pollaczek is used which has been used very successfully to study new sets of orthogonal polynomials by Askey and Ismail.     

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.     

The second largest eigenvalue of a tree

Denote by λ₂(T) the second largest eigenvalue of a tree T. An easy algorithm is given to decide whether λ₂(T)?λ for a given number λ, and a structure theorem for trees withλ₂(T)?λ is proved. Also, it is shown that a tree T with n vertices has $\text{λ}{}_2\text{(T)?lsqb}\text{(n?3)}\text{2}\text{rsqb}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$; this bound is best possible for odd n.     

Deterministic version of Wigner's semicircle law for the distribution of matrix eigenvalues

It is proved that Wigner's semicircle law for the distribution of eigenvalues of random matrices, which is important in the statistical theory of energy levels of heavy nuclei, possesses the following completely deterministic version. Let A_n=(a_ij), 1?i, ?n, be the nth section of an infinite Hermitian matrix, {λ⁽ⁿ⁾}_1?k?n its eigenvalues, and {u_k⁽ⁿ⁾}_1?k?n the corresponding (orthonormalized column) eigenvectors. Let $\text{v}{}^1{}_{\mathrm{n}}\text{=(a}{}_{\mathrm{n1}}\text{,a}{}_{\mathrm{n2}}\text{,?,a}{}_{\mathrm{n,n?1}}\text{)}$, put

$\text{X}{}_{\mathrm{n}}\text{(t)=[n(n-1)]}{}^{\mathrm{<mtext>-1</mtext><mtext>2</mtext>}}\text{∑}\text{k=1}\text{[(n-1)t]}\text{|v}{}_{\mathrm{n}}{}^1\text{u}{}_{\mathrm{f}}{}^{\mathrm{(n-1)}}\text{|}{}^2\text{,}\text{0?t?1}$

(bookeeping function for the length of the projections of the new row v¹_n of A_n onto the eigenvectors of the preceding matrix A_n?1), and let finally

$\text{F}{}_{\mathrm{n}}\text{(x)=n}{}^{-1}\text{(}\text{number of}\text{λ}{}_{\mathrm{k}}{}^{\mathrm{(n)}}\text{?x}\text{n}\text{,1?k?n)}$

(empirical distribution function of the eigenvalues of $\text{A}{}_{\mathrm{n}}\text{n}$. Suppose (i) $\text{lim}{}_{\mathrm{n}}\text{a}{}_{\mathrm{nn}}\text{n}\text{=0}$, (ii) lim_nX_n(t)=Ct(0<C<∞,0?t?1). Then

$\text{F}{}_{\mathrm{n}}\text{?W(·,C)}\text{(n→∞)}$

,where W is absolutely continuous with (semicircle) density

$\text{w(x,C)=}\text{(2Cπ)}{}^{-1}\text{(4C-x}{}^2{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{for}\text{|x|?2}\text{C}\text{0}\text{for}\text{|x|?2}\text{C}$

     

A maximization problem and its application to canonical correlation

Let Σ be an n × n positive definite matrix with eigenvalues λ₁ ≥ λ₂ ≥ … ≥ λ_n > 0 and let M = {x, y | x?Rⁿ, y?Rⁿ, x ≠ 0, y ≠ 0, x′y = 0}. Then for x, y in M, we have that $\text{x′Σy}\text{(x′Σxy′Σy)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{≤}\text{(λ}{}_1\text{? λ}{}_{\mathrm{n}}\text{)}\text{(λ}{}_1\text{+ λ}{}_{\mathrm{n}}\text{)}$ and the inequality is sharp. If

$\text{∑=}\text{∑}{}_{11}\text{∑}{}_{12}\text{∑}{}_{21}\text{∑}{}_{22}$

is a partitioning of Σ, let θ₁ be the largest canonical correlation coefficient. The above result yields $\text{θ}{}_1\text{≤}\text{(λ}{}_1\text{? λ}{}_{\mathrm{n}}\text{)}\text{(λ}{}_1\text{+ λ}{}_{\mathrm{n}}\text{)}$.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

A comparison of different compactness notions in fuzzy topological spaces

Starting from a defining differential equation $\text{(}\text{?}\text{?t}\text{) W(λ, t, u) = (}\text{λ(u ? t)}\text{p(t)}\text{) W(λ, t, u)}$ of the kernel of an exponential operator $\text{S}{}_{\mathrm{\lambda }}\text{(?, t) = ∫}{}_{\mathrm{?\infty }}{}^{\mathrm{\infty }}\text{W(λ, t, u)?(u) du}$ with normalization ∫_?∞^∞W(λ, t, u) du = 1, we determine S_λ for various p(t) including; for example, p(t) a quadratic polynomial, all the known exponential operators are recovered and some new ones are constructed. It is shown that all the exponential operators are approximation operators. Further approximation properties of these operators are discussed. For example, functions satisfying $\text{∥ S}{}_{\mathrm{\lambda }}\text{(?, t) ? ?(t)∥ = O(λ}{}^{\mathrm{?\alpha }}\text{)}$ are characterized. Several results of C. P. May are also improved.     

On the absolute continuity of Schrödinger operators with spherically symmetric,long-range potentials,II

Let H = ?Δ + V, where the potential V is spherically symmetric and can be decomposed as a sum of a short-range and a long-range term, V(r) = V_S(r) + V_L. Let λ = lim sup_r→∞V_L(r) < ∞ (we allow λ = ? ∞) and set λ⁺ = max(λ, 0). Assume that for some r₀, V_L(r) ?C^2k(r₀, ∞) and that there exists δ > 0 such that $\text{(}\text{d}\text{dr}\text{)}{}^{\mathrm{j}}\text{V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) · (λ}{}^{\mathrm{+}}\text{? V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) + 1)}{}^{\mathrm{?1}}\text{= O(r}{}^{\mathrm{?j\delta }}\text{), j = 1,…, 2k,}\text{as}\text{r → ∞}$. Assume further that $\text{∝}{}_1{}^{\mathrm{\infty }}\text{(}\text{dr}\text{¦ V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r)¦}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{) = ∞}$ and that 2kδ > 1. It is shown that: (a) The restriction of H to C^∞(Rⁿ) is essentially self-adjoint, (b) The essential spectrum of H contains the closure of (λ, ∞). (c) The part of H over (λ, ∞) is absolutely continuous.     

Qualitative behavior of special functions on compact symmetric spaces

For a symmetric space $\text{G}\text{K}$ of compact type, the highest-weight vectors for representations of G occurring in $\text{L}{}^2\text{(G}\text{K)}$ become heavily concentrated near certain submanifolds of $\text{G}\text{K}$ as the highest weight goes to infinity. This fact is applied to obtain estimates for the spectral measures of the operators qλ = P_λqP_λ, where $\text{P}{}_{\mathrm{\lambda }}\text{: L}{}^2\text{(}\text{G}\text{K}\text{) → V}{}_{\mathrm{\lambda }}$ is an orthogonal projection onto a G-irreducible summand, and q: G/K → $\text{R}$ is a continuous function acting on $\text{L}{}^2\text{(G}\text{K)}$ by multiplication.     

On exponential bases for the Sobolev spaces over an interval

We suppose that K is a countable index set and that $\text{Λ = {λ}{}_{\mathrm{k}}\text{¦ k ? K}}$ is a sequence of distinct complex numbers such that forms a Riesz (strong) basis for L²[a, b], a < b. Let Σ = {σ₁, σ₂,…, σ_m} consist of m complex numbers not in Λ. Then, with p(λ) = Π_{k = 1}^m (λ ? σ_k), forms a Riesz (strong) bas Sobolev space H^m[a, b]. If we take σ₁, σ₂,…, σ_m to be complex numbers already in Λ, then, defining p(λ) as before, forms a Riesz (strong) basis for the space H^?m[a, b]. We also discuss the extension of these results to “generalized exponentials” tⁿe^λ_kt.     

Exposants de Lyapounov pour opérateurs de Schrödinger discrètes quasi-périodiquesLyapounov exponents for discrete,quasi-periodic Schrödinger operators

We consider quasi-periodic Schrödinger operators H on $\text{Z}$ of the form H=H_λ,x,ω=λv(x+nω)δ_n,n′+Δ where v is a non-constant real analytic function on the d-torus $\text{T}{}^{\mathrm{d}}\text{(d?1)}$ and Δ denotes the discrete lattice Laplacian on $\text{Z}$. Denote by L_ω(E) the Lyapounov exponent, considered as function of the energy E and the rotation vector $\text{ω∈}\text{T}{}^{\mathrm{d}}$. It is shown that for |λ|>λ₀(v), there is the uniform minoration $\text{L}{}_{\mathrm{\omega }}\text{(E)>}\text{1}\text{2}\text{log}\text{|λ|}$ for all E and ω. For all λ and ω, L_ω(E) is a continuous function of E. Moreover, L_ω(E) is jointly continuous in (ω,E), at any point $\text{(ω}{}_0\text{,E}{}_0\text{)∈}\text{T}{}^{\mathrm{d}}\text{×}\text{R}$ such that k·ω₀≠0 for all $\text{k∈}\text{Z}{}^{\mathrm{d}}\text{?{0}}$. To cite this article: J. Bourgain, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 529–531.     

On the asymptotic number of tournament score sequences

An n-tournament is a complete labelled digraph on n vertices without loops or multiple arcs. A tournament's score sequence is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The number S_n of distinct score sequences arising from all possible n-tournaments, as well as certain generalizations are investigated. A lower bound of the form

$\text{S}{}_{\mathrm{n}}\text{>}\text{C}{}_1\text{4}{}^{\mathrm{n}}\text{n}{}^{\mathrm{<mtext>5</mtext><mtext>2</mtext>}}$

(C₁ a constant) and an upper bound of the form $\text{S}{}_{\mathrm{n}}\text{<}\text{C}{}_2\text{4}{}^{\mathrm{n}}\text{n}{}^2$ are proved. A q-extension of the Catalan numbers

$\text{c}{}_1\text{(q)=1}\text{and}\text{c}{}_{\mathrm{n}}\text{(q)=}\text{∑}\text{i?1}\text{n?1}\text{c}{}_{\mathrm{i}}\text{(q)c}{}_{\mathrm{n?1}}\text{(q)q}{}^{\mathrm{i(n?i?1)}}$

is defined. It is conjectured that all coefficients in the polynomial C_n(q) are at most $\text{O(}\text{4}{}^{\mathrm{n}}\text{n}{}^3\text{)}$. It is shown that if this conjecture is true, then

$\text{S}{}_{\mathrm{n}}\text{<}\text{C}{}_3\text{4}{}^{\mathrm{n}}\text{n}{}^{\mathrm{<mtext>5</mtext><mtext>2</mtext>}}$

     

Commuting self-adjoint partial differential operators and a group theoretic problem

In Rⁿ let Ω denote a Nikodym region (= a connected open set on which every distribution of finite Dirichlet integral is itself in $\text{L}{}^2\text{(Ω))}$. The existence of n commuting self-adjoint operators $\text{H}{}_1\text{,…, H}{}_{\mathrm{n}}\text{in}\text{L}{}^2\text{(Ω)}$ such that each H_j is a restriction of $\text{?i β}\text{βx}{}_{\mathrm{j}}$ (acting in the distribution sense) is shown to be equivalent to the existence of a set Λ ?Rⁿ such that the restrictions to Ω of the functions exp i ∑ λ_jx_j form a total orthogonal family in $\text{L}{}^2\text{(Ω)}$. If it is required, in addition, that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$, then this is shown to correspond to the requirement that Λ can be chosen as a subgroup of the additive group Rⁿ. The measurable sets Ω ?Rⁿ (of finite Lebesgue measure) for which there exists a subgroup Λ ?Rⁿ as stated are precisely those measurable sets which (after a correction by a null set) form a system of representatives for the quotient of Rⁿ by some subgroup Γ (essentially the dual of Λ).     

Concrete model theory for a class of operators

The operator $\text{L?(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∝}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∝}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ acting on H=∝₀^2π⊕L²(v_t), where m and v_t, 0 ? t ? 2π are measures on [0, 2π] with m smooth and e(s, t) = exp[?∝_t^s∝_Tdv_λ(θ) dm(λ)], satisfies $\text{rank}\text{(I ? LL}{}^1\text{) =}\text{rank}\text{(I ? L}{}^1\text{L) = 1}$. It is, therefore, unitarily equivalent to a scalar Sz.-Nagy-Foia? canonical model. The purpose of this paper is to determine the model explicitly and to give a formula for the unitary equivalence.