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.     

An Lp bound for the Riesz and Bessel potentials of orthonormal functions

Let ψ₁, …,ψ_N be orthonormal functions in $\text{R}$^d and let $\text{u}{}_{\mathrm{i}}\text{= (?Δ)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{ψ}{}_{\mathrm{i}}$, or $\text{u}{}_{\mathrm{i}}\text{= (?Δ + 1)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{ψ}{}_{\mathrm{i}}$, and let $\text{p(x) = ∑¦u}{}_{\mathrm{i}}\text{(x)¦}{}^2$. L^p bounds are proved for p, an example being $\text{∥p∥}{}_{\mathrm{p}}\text{? A}{}_{\mathrm{d}}\text{N}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{for}\text{d ? 3}$, with p = d(d ? 2)^?1. The unusual feature of these bounds is that the orthogonality of the ψ_i, yields a factor $\text{N}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}$ instead of N, as would be the case without orthogonality. These bounds prove some conjectures of Battle and Federbush (a Phase Cell Cluster Expansion for Euclidean Field Theories, I, 1982, preprint) and of Conlon (Comm. Math. Phys., in press).     

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{)}$.     

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.     

Temporal exponential decay for the Stark effect in atoms

Let $\text{H}{}_1\text{= ?∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{N}}\text{(Δ}{}_{\mathrm{i}}\text{+ V(}\text{x}{}_{\mathrm{i}}\text{)) + ∑}{}_{\mathrm{1\; ?\; i\; <j\; ?\; N}}\text{¦}\text{x}{}_{\mathrm{i}}\text{?}\text{x}{}_{\mathrm{j}}\text{¦}{}^{\mathrm{?1}}\text{, V(}\text{x}{}_{\mathrm{i}}\text{) = N ∝ ¦}\text{x}\text{?}\text{y}\text{¦}{}^{\mathrm{?1}}\text{?(}\text{y}\text{)d}\text{y}$, with ? a normalized Gaussian. Suppose $\text{E}$ ≠ 0 and that $\text{H = H}{}_1\text{+}\text{E}\text{· (∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{N}}\text{x}{}_{\mathrm{i}}\text{)}$ has no eigenfunctions in L²($\text{R}$^3N. If H₁ψ = μψ with μ < infσ_ess(H₁), then (ψ, e^?itHψ) decays exponentially at a rate governed by the positions of the resonances of H.     

On the closability of some positive definite symmetric differential forms on c0∞(ω)

Let $\text{S}$ be a Dirichlet form in $\text{L}{}^2\text{(Ω; m)}$, where Ω is an open subset of $\text{R}$ⁿ, n ? 2, and m a Radon measure on Ω; for each integer k with 1 ? k < n, let $\text{S}$_k be a Dirichlet form on some k-dimensional submanifold $\text{Ω}{}_{\mathrm{k}}$ of Ω. The paper is devoted to the study of the closability of the forms E with domain $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ and defined by: $\text{(?,g)=}$$\text{E}$$\text{(?, g)+}\text{∑}\text{i}\text{p}\text{=1}$$\text{E}$k_i where 1 ? k_p < ? < n, and where , g^k_i denote restrictions of ?, g in $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ to . Conditions are given for E to be closable if, for each i = 1,…, p, one has k_i = n ? i. Other conditions are given for E to be nonclosable if, for some i, k_i < n ? i.     

Uniqueness of solutions of nonlinear Dirichlet problems

In this paper, we consider the uniqueness of radial solutions of the nonlinear Dirichlet problem $\text{Δu + ?(u) = 0}\text{in}\text{Ω}\text{with}\text{u = 0}\text{on}\text{?Ω,}\text{where}\text{Δ = ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{?x}{}_{\mathrm{i}}{}^2\text{,?}$ satisfies some appropriate conditions and Ω is a bounded smooth domain in $\text{R}$ⁿ which possesses radial symmetry. Our uniqueness results apply to, for instance, $\text{?(u) = u}{}^{\mathrm{p}}\text{, p > 1}$, or more generally λu + ∑_{i = 1}^ka_iu^pi, λ ? 0, a_i > 0 and p_i > 1 with appropriate upper bounds, and Ω a ball or an annulus.     

Arithmetic in generalized Artin-Schreier extensions of k(x)

If k is a perfect field of characteristic p ≠ 0 and k(x) is the rational function field over k, it is possible to construct cyclic extensions K_n over k(x) such that [K : k(x)] = pⁿ using the concept of Witt vectors. This is accomplished in the following way; if [β₁, β₂,…, β_n] is a Witt vector over k(x) = K₀, then the Witt equation $\text{y}{}^{\mathrm{p}}\text{?}\text{y}\text{= β}$ generates a tower of extensions through $\text{K}{}_{\mathrm{i}}\text{= K}{}_{\mathrm{i?1}}\text{(}\text{y}{}_{\mathrm{i}}\text{)}$ where $\text{y}\text{= [}\text{y}{}_1\text{,}\text{y}{}_2\text{,…,}\text{y}{}_{\mathrm{n}}\text{]}$. In this paper, it is shown that there exists an alternate method of generating this tower which lends itself better for further constructions in K_n. This alternate generation has the form K_i = K_i?1(y_i); y_i^p ? y_i = B_i, where, as a divisor in K_i?1, B_i has the form . In this form q is prime to Πp_j^λ_j and each λ_j is positive and prime to p. As an application of this, the alternate generation is used to construct a lower-triangular form of the Hasse-Witt matrix of such a field K_n over an algebraically closed field of constants.     

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.     

A divided difference inequality for n-convex functions

For a₍₁₎ ? a₍₂₎ ? ··· ? a_(n) ? 0, b₍₁₎ ? b₍₂₎ ? ··· ? b_(n) ? 0, the ordered values of a_i, b_i, i = 1, 2,…, n, m fixed, m ? n, and p ? 1 it is shown that

$\text{∑}\text{1}\text{n}\text{a}{}_{\mathrm{i}}\text{b}{}_{\mathrm{i}}\text{?}\text{∑}\text{1}\text{m}\text{a}{}^{\mathrm{p}}{}_{\mathrm{(i)}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{∑}\text{1}\text{m?k?1}\text{b}{}^{\mathrm{q}}{}_{\mathrm{(i)}}\text{+}\text{b}{}^{\mathrm{q}}{}_{\mathrm{[m?k]}}\text{(k+1)}{}^{\mathrm{<mtext>q</mtext><mtext>p</mtext>}}{}^{\mathrm{<mtext>1</mtext><mtext>q</mtext>}}$

where $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1, b}{}_{\mathrm{[j]}}\text{= b}{}_{\mathrm{(j)}}\text{+ b}{}_{\mathrm{(j\; +\; 1)}}\text{+ ··· + b}{}_{\mathrm{(n)}}\text{,}\text{and}\text{k}$ is the integer such that $\text{b}{}_{\mathrm{(m\; ?\; k\; ?\; 1)}}\text{?}\text{b[m ? k]}\text{(k + 1)}$ and $\text{b}{}_{\mathrm{(m\; ?\; k)}}\text{<}\text{b}{}_{\mathrm{[m\; ?\; k\; +\; 1]}}\text{k}$. The inequality is shown to be sharp. When p < 1 and a_(i)'s are in increasing order then the inequality is reversed.     

Maximum zero strings of Bell numbers modulo primes

For any prime p, the sequence of Bell exponential numbers B_n is shown to have p ? 1 consecutive values congruent to zero (mod p), beginning with B_m, where $\text{m ≡ 1 ?}\text{(p}{}^{\mathrm{p}}\text{? 1)}\text{(p ? 1)}{}^2$ ($\text{mod}\text{(p}{}^{\mathrm{p}}\text{? 1)}\text{(p ? 1)}$). This is an improvement over previous results on the maximal strings of zero residues of the Bell numbers. Similar results are obtained for the sequence of generalized Bell numbers A_n generated by .     

A regularity result for singular nonlinear elliptic systems in inverse-power weighted Sobolev spaces

The compactness method to weighted spaces is extended to prove the following theorem:Let H_2,s¹(B₁) be the weighted Sobolev space on the unit ball in Rⁿ with norm

$\text{6ν6}{}^1{}_{\mathrm{2,s}}\text{=}\text{∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|ν|}{}^2\text{dx + ∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|Dν|}{}^2\text{dx.}$

Let n ? 2 ? s < n. Let u? [H_2,s¹(B₁) ∩ L^∞(B₁)]^N be a solution of the nonlinear elliptic system

$\text{∫}{}_{\mathrm{B1}}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{i,j=1}\text{n}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{(x,u) D}{}^{\mathrm{i}}\text{u}{}_{\mathrm{h}}\text{D}{}^{\mathrm{j\psi }}{}_{\mathrm{K}}\text{dx=0}$

, $\text{∨}\text{ψ}\text{?}\text{¦C}{}_0{}^1\text{(B}{}_1\text{)¦}{}^{\mathrm{N}}\text{,}\text{where}\text{¦A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}\text{¦ ? L, A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}$ are uniformly continuous functions of their arguments and satisfy:

$\text{|η|}{}^2\text{=}\text{∑}\text{i=1}\text{n}\text{,}\text{∑}\text{j=1}\text{N}\text{|η}{}^{\mathrm{i}}{}_{\mathrm{j}}\text{|}{}^2\text{?}\text{∑}\text{i,j=1}\text{n}\text{,}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{h}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{k}}\text{,}\text{?η?R}{}^{\mathrm{Nn}}$

. Then there exists an R₁, 0 < R₁ < 1, and an α, 0 < α < 1, along with a set $\text{Ω ? B}{}_1$ such that (1) $\text{H}{}_{\mathrm{n\; ?\; 2}}\text{(Ω) = 0}$, (2) Ω does not contain the origin; Ω does not contain B_R1, (3) $\text{B}{}_1\text{? Ω}$ is open, (4) u is $\text{Lip}{}_{\mathrm{\alpha }}\text{(B}{}_1\text{? Ω)}$; u is Lip_αB_R1.     

The KMS condition and spectral passivity in group duality

Let (A, G, α) be a C¹-dynamical system, where G is abelian, and let φ be an invariant state. Suppose that there is a neighbourhood Ω of the identity in $\text{G}\text{?}$ and a finite constant κ such that $\text{Π}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{φ(x}{}_{\mathrm{i}}{}^1\text{x}{}_{\mathrm{i}}\text{) ? κ}\text{Π}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{φ(x}{}_{\mathrm{i}}\text{x}{}_{\mathrm{i}}{}^1\text{)}$ whenever x_i lies in a spectral subspace $\text{R}{}^{\mathrm{\alpha }}\text{(Ω}{}_{\mathrm{i}}\text{)}$, where $\text{Ω}{}_1\text{+ … + Ω}{}_{\mathrm{n}}\text{? Ω}$. This condition of complete spectral passivity, together with self-adjointness of the left kernel of φ, ensures that φ satisfies the KMS condition for some one-parameter subgroup of G.     

Enumeration of pairs of permutations

Let π = (a₁, a₂, …, a_n), ? = (b₁, b₂, …, b_n) be two permutations of $\text{Z}{}_{\mathrm{n}}\text{= {1, 2, …, n}}$. A rise of π is pair a_i, a_i+1 with a_i < a_i+1; a fall is a pair a_i, a_i+1 with a_i > a_i+1. Thus, for i = 1, 2, …, n ? 1, the two pairs a_i, a_i+1; b_i, b_i+1 are either both rises, both falls, the first a rise and the second a fall or the first a fall and the second a rise. These possibilities are denoted by RR, FF, RF, FR. The paper is concerned with the enumeration of pairs π, p with a given number of RR, FF, RF, FR. In particular if ω_n denotes the number of pairs with RR forbidden, it is proved that $\text{∑}{}^{\mathrm{\infty }}{}_0\text{ω}{}_{\mathrm{n}}\text{z}{}^{\mathrm{n}}\text{n!n!}\text{=}\text{1}\text{?(z)}$, $\text{?(z) = ∑}{}^{\mathrm{\infty }}{}_0\text{(-1)}{}^{\mathrm{n}}\text{z}{}^{\mathrm{n}}\text{n!n!}$. More precisely if ω(n, k) denotes the number of pairs π, p with exactly k occurences of RR(or FF, RF, FR) then $\text{1 + ∑}{}^{\mathrm{\infty }}{}_{\mathrm{n=1}}\text{z}{}^{\mathrm{n}}\text{n!n!}$$\text{∑}{}^{\mathrm{n?1}}{}_{\mathrm{k=0}}\text{ω(n, k)x}{}^{\mathrm{k}}\text{=}\text{(1 ? x)}\text{(?(z(1 ? x)) ? x)}$.     

Estimating functions of canonical correlation coefficients

Let ρ²₁,…,ρ²_p be the squares of the population canonical correlation coefficients from a normal distribution. This paper is concerned with the estimation of the parameters δ₁,…,δ_p, where $\text{δ}{}_{\mathrm{i}}\text{=}\text{ρ}{}^2{}_{\mathrm{i}}\text{(1 ? ρ}{}^2{}_{\mathrm{i}}\text{)}$, i = 1,…,p, in a decision theoretic way. The approach taken is to estimate a parameter matrix Δ whose eigenvalues are δ₁,…,δ_p, given a random matrix F whose eigenvalues have the same distribution as $\text{r}{}^2{}_{\mathrm{i}}\text{(1 ? r}{}^2{}_{\mathrm{i}}\text{)}$, i = 1,…,p, where r₁,…,r_p are the sample canonical correlation coefficients.     

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

On Guerra's broken replica-symmetry bound

Consider a random Hamiltonian $\text{H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}\text{)}$ for $\text{σ}\text{→}\text{∈Σ}{}_{\mathrm{N}}\text{={0,1}}{}^{\mathrm{<mtext>N</mtext>}}\text{.}$ We assume that the family $\text{(H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}\text{))}$ is jointly Gaussian centered and that for $\text{σ}\text{→}{}^1\text{,}\text{σ}\text{→}{}^2\text{∈Σ}{}_{\mathrm{N}}\text{,}$$\text{N}{}^{\mathrm{?1}}\text{EH}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}{}^1\text{)H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}{}^2\text{)}$ =ξ(N^?1∑_i?Nσ¹_iσ²_i) for a certain function ξ on $\text{R}$. F. Guerra proved the remarkable fact that the free energy of the system with Hamiltonian $\text{H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}\text{)+h∑}{}_{\mathrm{i?N}}\text{σ}{}_{\mathrm{i}}$ is bounded below by the free energy of the Parisi solution provided that ξ is convex on $\text{R}$. We prove that this fact remains (asymptotically) true when the function ξ is only assumed to be convex on $\text{R}{}^{\mathrm{+}}$. This covers in particular the case of the p-spin interaction model for any p. To cite this article: M. Talagrand, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

The essential self-adjointness of generalized Schrödinger operators

A necessary and sufficient condition is given for the generalized Schrödinger operator $\text{A = ?(}\text{1}\text{2?}\text{) ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{D}{}_{\mathrm{i}}\text{(?D}{}_{\mathrm{i}}\text{)}$ to be essentially self-adjoint in $\text{L}{}^2\text{(Ω;? dx)}$, under general assumptions on ? and for arbitrary domains Ω in $\text{R}$ⁿ. In particular, if ? is strictly positive and locally Lipschitz continuous on $\text{Ω = R}{}^{\mathrm{n}}$, then A is essentially. self-adjoint. Examples of non-essential self-adjointness and a complete discussion of the one-dimensional case are also given. These results have applications to the problem of the essential self-adjointness of quantum Hamiltonians and to the uniqueness problem of Markov processes.