On the number of groups of a given order

Letting G(n) denote the number of nonisomorphic groups of order n, it is shown that for square-free n, G(n) ≤ ?(n) and G(n) ≤ (log n)^c on a set of positive density. Letting F_k(x) denote the number of n ≤ x for which G(n) = k, it is shown that $\text{F}{}_2\text{(x) =}\text{O(x(}\text{log}{}_4\text{x)}\text{(}\text{log}{}_3\text{x)}{}^2\text{)}$, where log_rx denotes the r-fold iterated logarithm.     

On the order of the error function of the (k,r)-integers

Let k and r be fixed integers such that 1 < r < k. Any positive integer n of the form n = a^kb, where b is r-free, is called a (k, r)-integer. In this paper we prove that if Q_k,r(x) denotes the number of (k, r)-integers ≤ x, then $\text{Q}{}_{\mathrm{k,r}}\text{(x) =}\text{xζ(k)}\text{ζ(r)}\text{+ Δ}{}_{\mathrm{k,r}}\text{(x)}$, where $\text{Δ}{}_{\mathrm{k,r}}\text{(x) = O(x}{}^{\mathrm{<mtext>1</mtext><mtext>r</mtext>}}\text{exp}\text{[?B}\text{log}{}^{\mathrm{<mtext>3</mtext><mtext>5</mtext>}}\text{x (}\text{log log}\text{x)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>5</mtext>}}\text{])}$, B being a positive constant depending on r and the O-estimate is uniform in k. On the assumption of the Riemann hypothesis, we improve the above order estimate of Δ_k,r(x) and prove that

$\text{1}\text{x}\text{∫}\text{1}\text{α}\text{δ}{}_{\mathrm{k,r}}\text{(t)dt=0(x}\text{1}\text{k}\text{ω(x))}\text{or}\text{0(x}{}^{\mathrm{3/(4r+1)}}\text{ω(x))}$

, according as $\text{k ≤}\text{(4r + 1)}\text{3}$ or $\text{k >}\text{(4r + 1)}\text{3}$, where ω(x) = exp [B log x(log log x)^?1].     

Hermite series estimates of a probability density and its derivatives

The following estimate of the pth derivative of a probability density function is examined: $\text{Σ}{}_{\mathrm{k\; =\; 0}}{}^{\mathrm{N}}\text{a}\text{?}{}_{\mathrm{k}}\text{h}{}_{\mathrm{k}}\text{(x)}$, where h_k is the kth Hermite function and $\text{a}\text{?}{}_{\mathrm{k}}\text{= (}\text{(?1)}{}^{\mathrm{p}}\text{n}\text{)}$Σ_{i = 1}ⁿh_k^(p)(X_i) is calculated from a sequence X₁,…, X_n of independent random variables having the common unknown density. If the density has r derivatives the integrated square error converges to zero in the mean and almost completely as rapidly as O(n^?α) and O(n^?α log n), respectively, where $\text{α =}\text{2(r ? p)}\text{(2r + 1)}$. Rates for the uniform convergence both in the mean square and almost complete are also given. For any finite interval they are O(n^?β) and $\text{O(n}{}^{\mathrm{<mtext>?\beta </mtext><mtext>2</mtext>}}\text{log}\text{n)}$, respectively, where $\text{β =}\text{(2(r ? p) ? 1)}\text{(2r + 1)}$.     

Limit distributions for the maxima of stationary Gaussian processes

Let {X_n} be a stationary Gaussian sequence with E{X₀} = 0, {X²₀} = 1 and E{X₀X_n} = rⁿ_n Let c_n = (2ln n)^{$\text{built1}\text{2}$}, b_n = c_n? $\text{1}\text{2}$c^-1_n ln(4π ln n), and set M_n = max_{0 ?k?n}X_k. A classical result for independent normal random variables is that

$\text{P[c}{}_{\mathrm{n}}\text{(M}{}_{\mathrm{n}}\text{?b}{}_{\mathrm{n}}\text{)?x]→exp[-e}{}^{\mathrm{-x}}\text{] as n → ∞ for all x.}$

Berman has shown that (1) applies as well to dependent sequences provided r_nlnn = o(1). Suppose now that {r_n} is a convex correlation sequence satisfying r_n = o(1), (r_nlnn)^-1 is monotone for large n and o(1). Then

$\text{P[r}{}_{\mathrm{n}}{}^{\mathrm{<mtext>-1</mtext><mtext>2</mtext>}}\text{(M}{}_{\mathrm{n}}\text{? (1?r}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{b}{}_{\mathrm{n}}\text{)?x] → Ф(x)}$

for all x, where Ф is the normal distribution function. While the normal can thus be viewed as a second natural limit distribution for {M_n}, there are others. In particular, the limit distribution is given below when r_n is (sufficiently close to) γ/ln n. We further exhibit a collection of limit distributions which can arise when r_n decays to zero in a nonsmooth manner. Continuous parameter Gaussian processes are also considered. A modified version of (1) has been given by Pickands for some continuous processes which possess sufficient asymptotic independence properties. Under a weaker form of asymptotic independence, we obtain a version of (2).     

The sum of aΩ(n) over integers n ≤ x with all prime factors between a and y

For a > 0 let $\text{ψ}{}_{\mathrm{a}}\text{(x, y) =}\text{Σ}\text{a}{}^{\mathrm{\Omega (n)}}$, the sum taken over all n, 1 ≤ n ≤ x such that if p is prime and p|n then a < p ≤ y. It is shown for u < about ($\text{log log}\text{x}\text{log log log}\text{x}$) that $\text{ψ}{}_{\mathrm{a}}\text{(x, x}{}^{\mathrm{<mtext>1</mtext><mtext>u</mtext>}}\text{) ? x(}\text{log}\text{x)}{}^{\mathrm{a?1}}\text{p}{}_{\mathrm{a}}\text{(u)}$, where p_a(u) solves a delay differential equation much like that for the Dickman function p(u), and the asymptotic behavior of p_a(u) is worked out.     

Recurrence relations based on minimization and maximization

Explicit and asymptotic solutions are presented to the recurrence M(1) = g(1), M(n + 1) = g(n + 1) + min_{1 ? t ? n}(αM(t) + βM(n + 1 ? t)) for the cases (1) α + β < 1, $\text{log}{}_2\text{α}\text{log}{}_2\text{β}$ is rational, and g(n) = δ_nI. (2) α + β > 1, min(α, β) > 1, $\text{log}{}_2\text{α}\text{log}{}_2\text{β}$ is rational, and (a) g(n) = δ_n1, (b) g(n) = 1. The general form of this recurrence was studied extensively by Fredman and Knuth [J. Math. Anal. Appl.48 (1974), 534–559], who showed, without actually solving the recurrence, that in the above cases $\text{M(n) = Ω(n}{}^{\mathrm{<mtext>1\; +\; </mtext><mtext>1</mtext><mtext>\gamma </mtext>}}\text{)}$, where γ is defined by α^?γ + β^?γ = 1, and that $\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{M(n)}\text{n}{}^{\mathrm{1\; +\; \gamma }}$ does not exist. Using similar techniques, the recurrence M(1) = g(1), M(n + 1) = g(n + 1) + max_{1 ? t ? n}(αM(t) + βM(n + 1 ? t)) is also investigated for the special case α = β < 1 and g(n) = 1 if n is odd = 0 if n is even.     

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

.     

On the probability that k positive integers are relatively prime II

Given a set S of positive integers let $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t)}$ denote the number of k-tuples 〈m₁, …, m_k〉 for which $\text{m}{}_{\mathrm{i}}\text{∈ S ? [1, t]}$ and (m₁, …, m_k) = 1. Also let $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n)}$ denote the probability that k integers, chosen at random from $\text{S ? [1, n]}$, are relatively prime. It is shown that if P = {p₁, …, p_r} is a finite set of primes and S = {m : (m, p₁ … p_r) = 1}, then $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t) = (td(S))}{}^{\mathrm{k}}\text{Π}{}_{\mathrm{\nu ?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) + O(t}{}^{\mathrm{k?1}}\text{)}$ if k ≥ 3 and $\text{Z}{}_2{}^{\mathrm{S}}\text{(t) = (td(S))}{}^2\text{Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^2\text{) + O(t}\text{log}\text{t)}$ where d(S) denotes the natural density of S. From this result it follows immediately that $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) = (ζ(k))}{}^{\mathrm{?1}}\text{Π}{}_{\mathrm{p\in P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{)}{}^{\mathrm{?1}}$ as n → ∞. This result generalizes an earlier result of the author's where $\text{P = ?}$ and S is then the whole set of positive integers. It is also shown that if S = {p₁^x₁ … p_r^x_r : x_i = 0, 1, 2,…}, then $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → 0}$ as n → ∞.     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

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.     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

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.     

Temporally inhomogeneous scattering theory

A theory of scattering for the time dependent evolution equations $\text{du}\text{dt}\text{= iH}{}_{\mathrm{j}}\text{(t)u, j = 0, 1}$ (¹) is developed. The wave operators are defined in terms of the evolution operators U_j(t, s), which govern (¹). The scattering operator remains unitary. Sufficient conditions for existence and completeness of the wave operators are obtained; these are the main results. General properties, such as the chain rule and various intertwining relations, are also established. Applications include potential scattering (H₀(t) = ?Δ, Δ denoting the Laplacian, and H₁(t) = ?Δ + q(t, ·)) and scattering for second-order differential operators with coefficients constant in the spatial variable ($\text{H}{}_{\mathrm{j}}\text{(t) = ∑}{}_{\mathrm{m,\; k\; =\; 1}}{}^{\mathrm{n}}\text{a}{}_{\mathrm{mk}}{}^{\mathrm{(j)}}\text{(t)(}\text{?}{}^2\text{?x}{}_{\mathrm{m}}\text{?x}{}_{\mathrm{k}}\text{) + b}{}_{\mathrm{j}}\text{(t)}\text{for}\text{j = 0, 1}$).     

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.     

On an estimate for Bloch and Doob norm and covering problem in Doob's class

For any fixed 0 < π ? 2π, let D(π) be the family of all holomorphic functions in the unit disk Δ which satisfy (i)f(0) = 0 and (ii) $\text{lim inf}{}_{\mathrm{z\; \to \; \pi ¦f(z)¦\; ?\; 1}}$, for all π lying on some arc A_f ? ?Δ with arclength $\text{¦A}{}_{\mathrm{f}}\text{¦ ? π}$. We show that for each 0 < ε < 1, there is a π₀ > 0 such that for any f?D(π) with π < π₀, the Bloch and Doob norm respectively satisfy

$\text{6f6}{}_{\mathrm{B}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|}{}^2\text{) > 2(1 ? ε)}\text{log}\text{1+}\text{cos}\text{(}\text{p}\text{2}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

$\text{6f6}{}_{\mathrm{D}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|) > (1 ? ε)}\text{log}\text{1}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

These two estimates do not hold with ε = 0.     

A canonical decomposition of the probability measure of sets of isotropic random points in Rn

The probability measure of X = (x₀,…, x_r), where x₀,…, x_r are independent isotropic random points in $\text{R}$ⁿ (1 ≤ r ≤ n ? 1) with absolutely continuous distributions is, for a certain class of distributions of X, expressed as a product measure involving as factors the joint probability measure of (ω, ?), the probability measure of p, and the probability measure of $\text{Y}{}^1\text{= (y}{}_0{}^1\text{,…, y}{}_{\mathrm{r}}{}^1\text{)}$. Here ω is the r-subspace parallel to the r-flat η determined by X, ? is a unit vector in ω^⊥ with ‘initial’ point at the origin [ω^⊥ is the (n ? r)-subspace orthocomplementary to ω], p is the norm of the vector z from the origin to the orthogonal projection of the origin on η, and $\text{y}{}_{\mathrm{i}}{}^1\text{=}\text{(x}{}_{\mathrm{i}}\text{? z)}\text{α(p}{}^2\text{)}$, where α is a scale factor determined by p. The probability measure for ω is the unique probability measure on the Grassmann manifold of r-subspaces in $\text{R}$ⁿ invariant under the group of rotations in $\text{R}$ⁿ, while the conditional probability measure of ? given ω is uniform on the boundary of the unit (n ? r)-ball in ω^⊥ with centre at the origin. The decomposition allows the evaluation of the moments, for a suitable class of distributions of X, of the r-volume of the simplicial convex hull of {x₀,…, x_r} for 1 ≤ r ≤ n.     

Perturbation theory for eigenvalues and resonances of Schrödinger hamiltonians

Suppose that e^2_?|x|V ∈ ReL^P(R³) for some p > 2 and for g ∈ R, H(g) = ? Δ + gV, H(g) = ?Δ + gV. The main result, Theorem 3, uses Puiseaux expansions of the eigenvalues and resonances of H(g) to study the behavior of eigenvalues λ(g) as they are absorbed by the continuous spectrum, that is $\text{λ(g) ↗6 0}\text{as}\text{g ↘5 g}{}_0\text{> 0}$. We find a series expansion in powers of $\text{(g ? g}{}_0\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{, λ(g) = ∑}{}_{\mathrm{n\; =\; 2}}{}^{\mathrm{\infty }}\text{a}{}_{\mathrm{n}}\text{(g ? g}{}_0\text{)}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}$ whose values for g < g₀ correspond to resonances near the origin. These resonances can be viewed as the traces left by the just absorbed eigenvalues.     

Connected matroids with the smallest whitney numbers

In “The Slimmest Geometric Lattices” (Trans. Amer. Math. Soc.). Dowling and Wilson showed that if G is a combinatorial geometry of rank r(G) = n, and if _X(G) = Σμ(0, x)λ^{r ? r(x)} = Σ (?1)^{r ? k}W_kλ^k is the characteristic polynomial of G, then

$\text{w}{}_{\mathrm{k}}\text{?}\text{r}\text{k}\text{+n}\text{r?1}\text{k}$

Thus γ(G) ? 2^{r ? 1} (n+2), where γ(G) = Σw_k. In this paper we sharpen these lower bounds for connected geometries: If G is connected, r(G) ? 3, and n(G) ? 2 ((r, n) ≠ (4,3)), then

$\text{w}{}_{\mathrm{i}}\text{?}\text{r}\text{i}\text{+ n}\text{r}\text{i+1}\text{for i>1; w}{}_1\text{?r+n}\text{r}\text{2}\text{? 1;}$

|μ| ? (r? 1)n; and γ ? (2^{r ? 1} ? 1)(2n + 2). These bounds are all achieved for the parallel connection of an r-point circuit and an (n + 1)point line. If G is any series-parallel network, $\text{r(G) = r(}\text{G}\text{?}\text{) = 4}$, and $\text{n(G) = n(}\text{G}\text{?}\text{) = 3}$ then $\text{(w}{}_1\text{(G))}{}^4{}_{\mathrm{t-G}}\text{? (w}{}_1\text{(}\text{G}\text{?}\text{)) = (8, 20, 18, 7, 1)}$. Further, if β is the Crapo invariant,

$\text{β(G)=}\text{d}{}_{\mathrm{X}}\text{(G)}\text{dλ}\text{(1)}\text{,}$

then β(G) ? max(1, n ? r + 2). This lower bound is achieved by the parallel connection of a line and a maximal size series-parallel network.     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

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.