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}$

     

Phase reconstruction from magnitude of band-limited multidimensional signals

In this paper, the problem of phase reconstruction from magnitude of multidimensional band-limited functions is considered. It is shown that any irreducible band-limited function f(z₁…,z_n), z_i ? $\text{C}$, i=1, …, n, is uniquely determined from the magnitude of f(x₁…,x_n): | f(x₁…,x_n)|, x_i ? $\text{R}$, i=1,…, n, except for (1) linear shifts: ^{i(α1z1+…+α_n2n+β}), β, α_i?$\text{R}$, i=1,…, n; and (2) conjugation: $\text{f}{}^1\text{(z}{}_1{}^1\text{,…,z}{}_{\mathrm{n}}{}^1\text{)}$.     

On the qth convergence exponent of entire functions

In this paper we obtain a growth relation for entire functions of qth order with respect to the distribution of its zeros. We also derive certain relations between the qth convergence exponents of two or more entire functions. The most striking result of the paper is: If f(z) has at least one zero, then

$\text{lim sup}\text{r→∞}\text{log n}\text{(r)}\text{log}{}^{\mathrm{[q+1]}}{}_{\mathrm{r}}\text{=?(q)}$

, where n(r) is the number of zeros of f(z) in $\text{¦}\text{z}\text{¦ ? r}$ and

$\text{?(q)=g.l.b.}\text{α:α>0 and}\text{∑}\text{∞}\text{n=1}\text{(log}{}^{\mathrm{[q]}}\text{r}{}_{\mathrm{n}}\text{)}{}^{\mathrm{-\alpha }}\text{<∞}$

.     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

Coefficient inequalities for a subclass of starlike functions

A function f(z) = z ? ∑^∞_{n = 2}a_nzⁿ, a_n ? 0, analytic and univalent in the unit disk, is said to be in the family $\text{T}{}^1\text{(a, b)}$, a real and b ? 0, if $\text{¦(}\text{zf′}\text{f}\text{) ? a¦ ? b}$ for all z in the unit disk. A complete characterization is found for $\text{T}{}^1\text{(a, b)}$ when a ? 1. Also, sharp coefficient bounds are determined for certain subclasses of $\text{T}{}^1\text{(a, b)}$ when a < 1; however, examples are given to show that these bounds do not remain valid for the whole family.     

Estimées Ck pour l'équation ∂̄b sur un convexe de type fini de Cn

Let q=1,…,n?1 and D be a bounded convex domain in $\text{C}{}^{\mathrm{n}}$ of finite type m. We construct two integral operators T_q and $\text{T}{}_{\mathrm{q}}$ such that for all $\text{p∈}\text{N}\text{,}\text{T}{}_{\mathrm{q}}\text{,}\text{T}{}_{\mathrm{q}}\text{:C}{}^{\mathrm{p}}{}_{\mathrm{0,q}}\text{(bD)→C}{}^{\mathrm{p+1/m}}{}_{\mathrm{0,q?1}}\text{(bD)}$ are continuous, and for all (0,q)-forms h continuous on bD with $\text{?}{}_{\mathrm{b}}\text{h}$ continuous on bD too, with the additional hypothesis when q=n?1 that ∫_bDh∧φ=0 for all φ∈C^∞_n,0(bD) $\text{?}\text{?}{}_{\mathrm{b}}$-fermée, we show $\text{h=}\text{?}\text{?}{}_{\mathrm{b}}\text{(T}{}_{\mathrm{q}}\text{?}\text{T}{}_{\mathrm{q}}\text{)h+(T}{}_{\mathrm{q+1}}\text{?}\text{T}{}_{\mathrm{q+1}}\text{)}\text{?}\text{?}{}_{\mathrm{b}}\text{h}$. For this construction, we use the Diederich–Fornæss support function of Alexandre (Publ. IRMA Lille 54 (III) (2001)). To prove the continuity of T_q, we integrate by parts and take care of the tangential derivatives. The normal component in z of the kernel of $\text{T}{}_{\mathrm{q}}$ will have a bad behaviour, so, in order to find a good representative of its equivalence class, we isolate the tangential component of the kernel and then integrate by parts again. To cite this article: W. Alexandre, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

Periodic oscillations of coefficients of power series that satisfy functional equations

It is shown that the coefficients a_n of the power series f(z) = ∑^∞_n=1a_nzⁿ which satisfies the functional equation

$\text{f(z)=z+f(z}{}^2\text{+z}{}^3\text{)}$

display periodic oscillations; $\text{a}{}_{\mathrm{n}}\text{～ (}\text{ø}{}^{\mathrm{n}}\text{n}\text{) u(}\text{log}\text{n}$ as n → ∞, where $\text{ø =}\text{(1 + 5}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}\text{2}$ and u(x) is a positive, nonconstant, continuous function which is periodic with period log(4 ? ø). Similar results are obtained for a wide class of power series that satisfy similar functional equations. Power series of these types are of interest in combinatorics and computer science since they often represent generating functions. For example, the nth coefficient of the power series satisfying (1) enumerates 2, 3-trees with n leaves.     

Explicit expressions for Bezoutians

The following commutator identity is proved:

$\text{[u(S}{}^1\text{), v(S)] = [v}{}_1\text{(S}{}^1\text{), u}{}_1\text{(S)]}$

. Here S is the n by n matrix of the truncated shift operator S = (Γ_i,i+1), i = 0, 1,…, n ? 1, and u, v are two polynomials of degree not exceeding n. The reciprocal polynomial f;₁ of a polynomial f; of degree ?n is defined by $\text{f}{}_1\text{(z) = z}{}^{\mathrm{n}}\text{f(}\text{1}\text{z}\text{)}$. The commutator identity is closely related to some properties of the Bezoutian matrix of a pair of polynomials; it is used to obtain the Bezoutian matrix in the form of a simple expression in terms of S and S¹. To demonstrate the advantage of this expression, we show how it can be used to obtain simple proofs of some interesting corollaries.     

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.     

Estimées Ck pour les couronnes de convexes de type fini de Cn

C^k estimates for convex domains of finite type in $\text{C}{}^{\mathrm{n}}$ are known from Alexandre (C. R. Acad. Paris, Ser. I 335 (2002) 23–26). We now want to show the same result for annuli. Precisely, we show that for all convex domains D and D′ relatively compact of $\text{C}{}^{\mathrm{n}}$, of finite type m and m′ such that $\text{D}\text{?D′}$, for all q=1,…,n?2, there exists a linear operator $\text{T}{}^1{}_{\mathrm{q}}$ from $\text{C}{}_{\mathrm{0,q}}\text{(}\text{D′?D}\text{)}$ to $\text{C}{}_{\mathrm{0,q?1}}\text{(}\text{D′?D}\text{)}$ such that for all $\text{k∈}\text{N}$ and all (0,q)-form f, $\text{?}\text{?}$-closed of regularity C^k up to the boundary, $\text{T}{}^1{}_{\mathrm{q}}\text{f}$ is of regularity C^{k+1/max(m,m′)} up to the boundary and $\text{?}\text{?}\text{T}{}_{\mathrm{q}}{}^1\text{f=f}$. We fit the method of Diederich, Fisher and Fornaess to the annuli by switching z and ζ. However, the integration kernel will not have the same behavior on the frontier as in the Diederich–Fischer–Fornaess case and we have to alter the Diederich–Fornaess support function which will not be holomorphic anymore. Also, we take care of the so generated residual term in the homotopy formula and show that it is extremely regular so that solve the $\text{?}\text{?}$ problem for it will not be difficult. To cite this article: W. Alexandre, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

K-theory for the leaf space of foliations by Reeb components

The K-theory of the C¹-algebra $\text{C}{}^1\text{(V, F)}$ associated to C^∞-foliations (V, F) of a manifold V in the simplest non-trivial case, i.e., dim V = 2, is studied. Since the case of the Kronecker foliation was settled by Pimsner and Voiculescu (J. Operator Theory4 (1980), 93–118), the remaining problem deals with foliations by Reeb components. The K-theory of $\text{C}{}^1\text{(V, F)}$ for the Reeb foliation of S³ is also computed. In these cases the C¹-algebra $\text{C}{}^1\text{(V, F)}$ is obtained from simpler C¹-algebras by means of pullback diagrams and short exact sequences. The K-groups $\text{K}{}_1\text{(C}{}^1\text{(V, F))}$ are computed using the associated Mayer-Vietoris and six-term exact sequences. The results characterize the C¹-algebra of the Reeb foliation of $\text{T}$² uniquely as an extension of C(S¹) by C(S¹). For the foliations of $\text{T}$² it is found that the K-groups count the number of Reeb components separated by stable compact leaves. A C^∞-foliation of $\text{T}$² such that K₁(C¹($\text{T}$², F)) has infinite rank is also constructed. Finally it is proved, by explicit calculation using (M. Penington, “K-Theory and C¹-Algebras of Lie Groups and Foliations,” D. Phil. thesis, Oxford, 1983), that the natural map $\text{μ: K}{}_1\text{,}{}_{\mathrm{\tau }}\text{(BG) → K}{}_1\text{(C}{}^1\text{(V, F))}$ is an isomorphism for foliations by Reeb components of $\text{T}$² and S³. In particular this proves the Baum-Connes conjecture (P. Baum and A. Connes, Geometric K-theory for Lie groups, preprint, 1982; A. Connes, Proc. Symp. Pure Math.38 (1982), 521–628) when V = $\text{T}$².     

Some divided difference inequalities for n-convex functions

Using results from the theory of B-splines, various inequalities involving the nth order divided differences of a function f with convex nth derivative are proved; notably, $\text{f}{}^{\mathrm{(n)}}\text{(z)}\text{n! ? [x}{}_0\text{,…, x}{}_{\mathrm{n}}\text{]f}\text{?}\text{∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{n}}\text{(f}{}^{\mathrm{(n)}}\text{(x}{}_{\mathrm{i}}\text{)}\text{(n + 1)!)}$, where z is the center of mass $\text{(}\text{1}\text{(n + 1))}\text{∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{n}}\text{x}{}_{\mathrm{i}}$.     

On Lp estimates for the wave equation

New and more elementary proofs are given of two results due to W. Littman: (1) Let $\text{n ? 2, p ?}\text{2n}\text{(n ? 1)}$. The estimate $\text{∫∫ (¦▽u¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{¦}{}^{\mathrm{p}}\text{) dx dt ? C ∫∫ ¦□u¦}{}^{\mathrm{p}}\text{dx dt}$ cannot hold for all u?C₀^∞(Q), Q a cube in $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}\text{× R}$, some constant C. (2) Let n ? 2, p ≠ 2. The estimate $\text{∫ (¦▽(t)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(t)¦}{}^{\mathrm{p}}\text{) dx ? C(t) ∫ (¦▽u(0)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(0)¦}{}^{\mathrm{p}}\text{) dx}$ cannot hold for all C^∞ solutions of the wave equation □u = 0 in $\text{R}{}^{\mathrm{n}}\text{x R}$; all t ?$\text{R}$; some function C: $\text{R}$ → $\text{R}$.     

Kolmogorov-Landau inequalities for monotone functions

Presented in this report are two further applications of very elementary formulae of approximate differentiation. The first is a new derivation in a somewhat sharper form of the following theorem of V. M. Olovyani?nikov: LetN_n (n ? 2) be the class of functionsg(x) such thatg(x), g′(x),…, g⁽ⁿ⁾(x) are ? 0, bounded, and nondecreasing on the half-line ?∞ < x ? 0. A special element ofN_nis

$\text{g}{}_1\text{(x) = 0}\text{if}\text{?∞ < x < ?1, g}{}_1\text{(x) = (1 + x)}{}^{\mathrm{n}}\text{if}\text{?1 ? x ? 0}$

. Ifg(x) ∈ N_nis such that

$\text{g(0) ? g}{}_1\text{(0) = 1, g}{}^{\mathrm{(n)}}\text{(0) ? g}{}_1{}^{\mathrm{(n)}}\text{(0) = n!}$

, then

$\text{g}{}^{\mathrm{(v)}}\text{(0) ? g}{}_1{}^{\mathrm{(v)}}\text{(0)}$

for

1$\text{v = 1,…, n ? 1}$

. Moreover, if we have equality in (1) for some value of v, then we have there equality for all v, and this happens only if $\text{g(x) = g}{}_1\text{(x)}$ in (?∞, 0].The second application gives sufficient conditions for the differentiability of asymptotic expansions (Theorem 4).     

Generic periodic solutions of functional differential equations

Consider the class of retarded functional differential equations

$\text{x(t) = f(x}{}_{\mathrm{t}}\text{)}$

, (1) where x_t(θ) = x(t + θ), ?1 ? θ ? 0, so x_t?C = C([?1, 0], Rⁿ), and $\text{f∈}\textcolor{red}{}\text{=C}{}^{\mathrm{r}}\text{(C,R}{}^{\mathrm{n}}\text{)}$. Let 2 ? r ? ∞ and give $\text{X}$ the appropriate (Whitney) topology. Then the set of $\text{f∈}\textcolor{red}{}$ such that all fixed points and all periodic solutions of (¹) are hyperbolic is residual in

.     

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>}}$