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

Arithmetic properties of certain functions in several variables

If T is an n × n matrix with nonnegative integral entries, we define a transformation T: Cⁿ → Cⁿ by w = Tz where

$\text{W}{}_1\text{=}\text{∏}\text{j=1}\text{n}\text{z}{}_{\mathrm{j}}{}^{\mathrm{t}}\text{ij}\text{(1?i?n).}$

We consider functions f(z) of n complex variables which satisfy a functional equation giving f(Tz) as a rational function of ¹f(z) and we obtain conditions under which such a function f(z) takes transcendental values at algebraic points.     

Generalized Bell numbers and zeros of successive derivatives of an entire function

Six different formulations equivalent to the statement that, for n ? 2, the sum ∑_{k = 1}ⁿ (?1)^kS(n, k) ≠ 0, where the S(n, k) are Stirling numbers of the second kind, are shown to hold. Using number-theoretic methods, a sufficient condition for the above statement to be true for a set of positive integers n having density 1 is then obtained. It remains open whether it is true for all n > 2. The equivalent statements then yield information on the irreducibility of the polynomials ∑_{k = 1}ⁿS(n, k)t^{k = 1} over the rationals, the nonreal zeros for successive derivatives $\text{(}\text{d}\text{dz}\text{)}{}^{\mathrm{n}}\text{exp}\text{(e}{}^{\mathrm{iz}}\text{)}$, a gap theorem for the nonzero coefficients of exp(?e^z), and the continuous solution of the differential-difference equation $\text{?(x) = 1, 0 ? x < 1, ?′(x) = ?¦x¦?(x ? 1), 1 ? x < ∞}$, where ∥ denotes the greatest integer function.     

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

.     

Some explicit formulae in simultaneous padé approximation

Using old results on the explicit calculation of determinants, formulae are given for the coefficients of P₀(z) and P₀(z)f_i(z) ? P_i(z), where P_i(z) are polynomials of degree σ ? ρ_i (i=0,1,…,n), P₀(z)f_i(z) ? P_i(z) are power series in which the terms with z^k, 0?k?σ, vanish (i=1,2,…,n), (ρ₀,ρ₁,…,ρ_n) is an (n+1)-tuple of nonnegative integers, σ=ρ₀+ρ₁+?+ρ_n, and {f_i}ⁿ_i=1 is the set of hypergeometric functions {₁F₁(1;c_i;z)}ⁿ_i=1$\text{(c}{}_{\mathrm{i}}\text{?}\text{Z}\text{z.drule;}\text{N}\text{, c}{}_{\mathrm{i}}\text{? c}{}_{\mathrm{j}}\text{?}\text{Z}\text{)}$ or {₂F₀(a_i,1;z)}ⁿ_i=1$\text{(a}{}_{\mathrm{i}}\text{?}\text{Z}\text{?}\text{N}\text{, a}{}_{\mathrm{i}}\text{? a}{}_{\mathrm{j}}\text{?}\text{Z}\text{)}$ under the condition ρ₀?ρ_i ? 1 (i=1,2,…,n).     

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.     

Omega theorems for the iterated additive convolution of a nonnegative arithmetic function

Let R_k(n) denote the number of ways of representing the integers not exceeding n as the sum of k members of a given sequence of nonnegative integers. Suppose that $\text{1}\text{2}\text{< β < k}$, $\text{δ =}\text{β}\text{2}\text{?}\text{β}\text{(4}\text{min}\text{(β,}\text{k}\text{2}\text{))}$ and

$\text{ξ=}\text{1/2β if β<k/2,}\text{β?1/2 if β=1/2,}\text{(k ? 2)(k + 1)/2k if k/2<β<k.}$

R. C. Vaughan has shown that the relation R_k(n) = G(n) + o(n^δ log^?ξn) as n → +∞ is impossible when G(n) is a linear combination of powers of n and the dominant term of G(n) is cn^β, c > 0. P. T. Bateman, for the case k = 2, has shown that similar results can be obtained when G(n) is a convex or concave function. In this paper, we combine the ideas of Vaughan and Bateman to extend the theorems stated above to functions whose fractional differences are of one sign for large n. Vaughan's theorem is included in ours, and in the case $\text{β <}\text{k}\text{2}$ we show that a better choice of parameter improves Vaughan's result by enabling us to drop the power of log n from the estimate of the error term.     

Löwner expansions

A fundamental problem is to estimate the logarithmic coefficients of a power series with constant coefficient zero which represents a function which has distinct values at distinct points of the unit disk. A source of estimates is an expansion theorem for the Löwner equations which is obtained from a study of contractive substitutions in Hilbert spaces of analytic functions. The methods are an outgrowth of the theory of square summable power series [1]. Assume that σ_n is a given function of nonnegative integers n, with nonnegative values, such that σ₀ = 0 and such that σ_{n ? 1} ? σ_n when n is positive. Infinite values are allowed. The underlying Hilbert space is the set $\text{G}$_σ(0) of equivalence classes of power series f(z) = ∑ a_nzⁿ with constant coefficient zero such that f(z)²_{$\text{G}$σ⁽⁰⁾} = ∑(n/σ_n)|a_n|² is finite. Equivalence of power series f(z) and g(z) means that the coefficient of zⁿ in f(z) is equal to the coefficient of zⁿ in g(z) when σ_n is finite.     

Lemniscates and inequalities for the logarithmic capacities of continua

It is shown that if P(z) = z ⁿ + ? is a polynomial with connected lemniscate E(P) = {z: ¦P(z)¦ ≤ 1} and m critical points, then, for any n? m+1 points on the lemniscate E(P), there exists a continuum γ ? E(P) of logarithmic capacity cap γ ≤ 2^?1/n which contains these points and all zeros and critical points of the polynomial. As corollaries, estimates for continua of minimum capacity containing given points are obtained.     

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.     

Resolvent estimates for a certain class of Schrödinger operators with exploding potentials

Let $\text{H = ?Δ + V}{}_{\mathrm{<mtext>E</mtext>}}\text{(¦x¦)+ V(x)}$ be a Schrödinger operator in Rⁿ. Here $\text{V}{}_{\mathrm{<mtext>E</mtext>}}\text{(¦x¦)}$ is an “exploding” radially symmetric potential which is at least C² monotone nonincreasing and O(r²) as r → ∞. V is a general potential which is short range with respect to V_E. In particular, V_E  0 leads to the “classical” short-range case (V being an Agmon potential). Let Λ = lim_{r → ∞}V_E(r) and R(z) = (H ? z)^?1, 0 < Im z, Λ < Re z < ∞. It is shown that R(z) can be extended continuously to Im z = 0, except possibly for a discrete subset $\text{N}$?(Λ, ∞), in a suitable operator topology $\text{B(L, L}{}^1\text{)}$. And L ? L²(Rⁿ) is a weighted L²-space; H is then absolutely continuous over (Λ, ∞), except possibly for a discrete set of eigenvalues. The corresponding eigenfunctions are shown to be rapidly decreasing.     

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.     

Hamiltonicity in (0–1)-polyhedra

The graph G(P) of a polyhedron P has a node corresponding to each vertex of P and two nodes are adjacent in G(P) if and only if the corresponding vertices of P are adjacent on P. We show that if P ? $\text{R}$ⁿ is a polyhedron, all of whose vertices have (0–1)-valued coordinates, then (i) if G(P) is bipartite, the G(P) is a hypercube; (ii) if G(P) is nonbipartite, then G(P) is hamilton connected. It is shown that if P ? $\text{R}$ⁿ has (0–1)-valued vertices and is of dimension d (≤n) then there exists a polyhedron P′ ? $\text{R}$^d having (0–1)-valued vertices such that $\text{G(P) ? G(P′)}$. Some combinatorial consequences of these results are also discussed.     

Periodic-type functionals and their extensions

Let Ω denote a simply connected domain in the complex plane and let $\text{K[Ω]}$ be the collection of all entire functions of exponential type whose Laplace transforms are analytic on Ω′, the complement of Ω with respect to the sphere. Define a sequence of functionals $\text{{L}{}_{\mathrm{n}}\text{}}\text{on}\text{K[Ω]}$ by $\text{L}{}_{\mathrm{n}}\text{(f) =}\text{1}\text{2πi}\text{∝}{}_{\mathrm{\Gamma }}\text{g}{}_{\mathrm{n}}\text{(ζ) F(ζ) dζ}$, where F denotes the Laplace transform of f, Γ ? Ω is a simple closed contour chosen so that F is analytic outside and on Ω, and g_n is analytic on Ω. The specific functionals considered by this paper are patterned after the Lidstone functions, L_2n(f) = f⁽²ⁿ⁾(0) and L_{2n + 1}(f) = f⁽²ⁿ⁾(1), in that their sequence of generating functions {g_n} are “periodic.” Set g_{pn + k}(ζ) = h_k(ζ) ζ^pn, where p is a positive integer and each h_k (k = 0, 1,…, p ? 1) is analytic on Ω. We find necessary and sufficient conditions for $\text{f ∈ k[Ω]}\text{with}\text{L}{}_{\mathrm{n}}\text{(f) = 0 (n = 0, 1,…)}$. DeMar previously was able to find necessary conditions [7]. Next, we generalize {L_n} in several ways and find corresponding necessary and sufficient conditions.     

Univalent solutions of Briot-Bouquet differential equations

Let β and γ be complex numbers and let h(z) be regular in the unit disc U. This article studies the Briot-Bouquet differential equation $\text{q(z) + zq′(z)}\text{(βq(z) + γ)}\text{= h(z)}$. Sufficient conditions are obtained for both the regularity and univalency of the solution in U. In addition, applications of these results to differential subordinations, integral operators and univalent functions are given.     

Complex dynamical variables for multiparticle systems with analytic interactions. I

The n-body problem is formulated as a problem of functional analysis on a Hilbert space $\text{G}$ whose elements are analytic functions of complex dynamical variables. It is assumed that the two-body interaction is local and spherically symmetric, and belongs to the two-particle space $\text{G}$. The n-body resolvent R(λ) is constructed with the help of Fredholm methods. The operator R(λ) on $\text{G}$ is associated with a family of operators R(λ, ?) on $\text{L}$² which are resolvents of closed linear operators H(?), the case ? = 0 corresponding to standard quantum mechanics. The spectrum of H(?) contains a set of parallel half-lines starting at the thresholds of scattering channels and making an angle 2? with the positive real axis. The half-lines are branch cuts of R(λ, ?), but matrix elements of R(λ, ?) can be continued analytically across these. The operator R(λ, ?) may have isolated poles. The location of these does not depend on ?. Each pole is associated with one or more eigenvectors of H(?) belonging to spaces $\text{G}$. There may be poles off the real axis, the location of a pole determining for which values of ? it is on the physical sheet of H(?). It is shown how poles off the real axis give rise to resonances in the scattering cross section, the shape of a resonance being as one would expect on the basis of a model in which the scattering takes place via a decaying compound state having an eigenvector of H(?) with complex energy as its wave function.     

Transformation formulae for Dirichlet polynomials

Formulae of Voronoi-Atkinson type are proved for Dirichlet polynomials related to the Dirichlet series ζ²(s) = Σd(n)n^?s or ?(s) = Σa(n)n^?s, where the a(n) are the Fourier coefficients of a cusp form, a typical example being a(n) = τ(n), the Ramanujan function. Applications are given to a formula of Atkinson (Acta Math.81 (1949), 353–376) for the mean square of $\text{|ζ(}\text{1}\text{2}\text{+ it)|}$ and to the differences between consecutive zeros of ?(s) on the critical line in the case when all the a(n) are real.     

Convergence of rows of the Padé table

We prove that at least an infinite subsequence of [$\text{l}\text{2}$] Padé approximants converge to f(z) if f(z) is holomorphic. We speculate that convergence of the [$\text{L ?}\text{m}\text{μ + m}$] approximants to c(z) is associated with convergence of [$\text{L}\text{μ}$] approximants to h(z) where c(z) is meromorphic with μ poles and σ(z) is the polynomial of degree μ which renders g(z) = σ(z)c(z) and h(z) = σ(z)g(z) holomorphic. We formulate this conjecture precisely and prove it for (i) m = 1 and (ii) m = 2 and h(z) a holomorphic function of order less than 1.     

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.     

Typical tensorial rank

Upper bounds on the typical rank $\text{R}$(n, m, l) of tensors ( = maximal border rank = rank of almost all tensors) of a given shape (n, m, l) are presented. These improve previous results by A tkinson and Lloyd. For cubic shape tensors the typical rank is determined exactly: $\text{R}$(n, n, n) = ? _n³/(3n ? 2) ? (n ≠ 3)