On the L convergence of Lagrange interpolating entire functions of exponential type

Let f: be a continuous, 2π-periodic function and for each n ε let t_n(f; ·) denote the trigonometric polynomial of degree n interpolating f in the points 2kπ/(2n + 1) (k = 0, ±1, …, ±n). It was shown by J. Marcinkiewicz that lim_{n → ∞} ∝₀^2π¦f(θ) − t_n(f θ)¦^p dθ = 0 for every p > 0. We consider Lagrange interpolation of non-periodic functions by entire functions of exponential type τ > 0 in the points kπ/τ (k = 0, ± 1, ± 2, …) and obtain a result analogous to that of Marcinkiewicz.     

Linear Optimization Queries

Let Γ₀ be a set of n halfspaces in E^d (where the dimension d is fixed) and let m be a parameter, n ≤ m ≤ n^d/2. We show that Γ₀ can be preprocessed in time and space O(m^1+δ) (for any fixed δ > 0) so that given a vector c E^d and another set Γ_q of additional halfspaces, the function c · x can be optimized over the intersection of the halfspaces of Γ₀ Γ_q in time O((n/m^1/d/2 + |Γ_q|)log^4d+3n). The algorithm uses a multidimensional version of Megiddo′s parametric search technique and recent results on halfspace range reporting. Applications include an improved algorithm for computing the extreme points of an n-point set P in E^d, improved output-sensitive computation of convex hulls and Voronoi diagrams, and a Monte-Carlo algorithm for estimating the volume of a convex polyhedron given by the set of its vertices (in a fixed dimension).     

Two New Classes of Difference Families

A Z-cyclic triplewhist tournament for 4n+1 players, or briefly a TWh(4n+1), is equivalent to a n-set {(a_i, b_i, c_i, d_i) | i=1, …, n} of quadruples partitioning Z_4n+1−{0} with the property that ⁿ_i=1 {±(a_i−c_i), ±(b_i−d_i)}=ⁿ_i=1 {±(a_i−b_i), ±(c_i−d_i)}=ⁿ_i=1 {±(a_i−d_i), ±(b_i−c_i)}=Z_4n+1−{0}. The existence problem for Z-cyclic TWh(p)'s with p a prime has been solved for p1 (mod 16). I. Anderson et al. (1995, Discrete Math.138, 31–41) treated the case of p≡5 (mod 8) while Y. S. Liaw (1996, J. Combin. Des.4, 219–233) and G. McNay (1996, Utilitas Math.49, 191–201) treated the case of p≡9 (mod 16). In this paper, besides giving easier proofs of these authors' results, we solve the problem also for primes p≡1 (mod 16). The final result is the existence of a Z-cyclic TWh(v) for any v whose prime factors are all≡1 (mod 4) and distinct from 5, 13, and 17.     

Robust M-estimators of location vectors

Let X₁,…,X_n be i.i.d. random vectors in R^m, let θεR^m be an unknown location parameter, and assume that the restriction of the distribution of X₁−θ to a sphere of radius d belongs to a specified neighborhood of distributions spherically symmetric about 0. Under regularity conditions on and d, the parameter θ in this model is identifiable, and consistent M-estimators of θ (i.e., solutions of Σ_i=1ⁿψ(|X_i− |)(X_i− )=0) are obtained by using “re-descenders,” i.e., ψ's wh satisfy ψ(x)=0 for x≥c. An iterative method for solving for is shown to produce consistent and asymptotically normal estimates of θ under all distributions in . The following asymptotic robustness problem is considered: finding the ψ which is best among the re-descenders according to Huber's minimax variance criterion.     

A logarithmic Gauss curvature flow and the Minkowski problem

Let X₀ be a smooth uniformly convex hypersurface and f a postive smooth function in Sⁿ. We study the motion of convex hypersurfaces X(·,t) with initial X(·,0)=θX₀ along its inner normal at a rate equal to log(K/f) where K is the Gauss curvature of X(·,t). We show that the hypersurfaces remain smooth and uniformly convex, and there exists θ^*>0 such that if θ<θ^*, they shrink to a point in finite time and, if θ>θ^*, they expand to an asymptotic sphere. Finally, when θ=θ^*, they converge to a convex hypersurface of which Gauss curvature is given explicitly by a function depending on f(x).     

Completeness of Trigonometric System with Integer Indices {e; x }

Necessary and sufficient conditions are given which ensure the completeness of the trigonometric systems with integer indices; {e^inx; x }^∞_n=−∞ or {e^inx; x }^∞_n=1 in L^α(μ,  ), α1. If there exists a support Λ of the measure μ which is a wandering set, that is, Λ+2kπ, k=0, ±1, ±2, … are mutually disjoint for different k's, then the linear span of our trigonometric system {e^inx; x }^∞_n=−∞ is dense in L^α(μ,  ) α1. The converse statement is also true.     

On the Approximation of Positive Functions by Power Series, II

We consider positive functionsh=h(x) defined forxR⁺₀. Conditions for the existence of a power seriesN(x)=∑ c_nxⁿ,c_n0, with the propertyd₁h(x)/N(x)d₂, x0,for some constantsd₁, d₂R⁺, are investigated in [J. Clunie and T. Kövari,Canad. J. Math.20(1968), 7–20; P. Erd s and T. Kövari,Acta Math. Acad. Sci. Hung.7(1956), 305–316; U. Schmid,Complex Variables18(1992), 187–192; U. Schmid, J.Approx. Theory83(1995), 342–346]. In this paper, methods are discussed which allow for a given functionhthe construction of the coefficientsc_n,n ₀, for the above defined power seriesNand to find suitable constantsd₁andd₂. We also study the power seriesH(x)=∑ xⁿ/u_n, where we setu_n=sup{xⁿ/h(x), x0}, forn ₀, and the relation betweenhandHconcerning the above stated inequalities.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

Kolmogorov Width of Classes of Smooth Functions on the Sphere

Let ^d−1{(x₁,…,x_d) ^d:x²₁+···+x²_d=1} be the unit sphere of the d-dimensional Euclidean space ^d. For r>0, we denote by B^r_p (1p∞) the class of functions f on ^d−1 representable in the formwhere dσ(y) denotes the usual Lebesgue measure on ^d−1, and P^λ_k(t) is the ultraspherical polynomial.For 1p,q∞, the Kolmogorov N-width of B^r_p in L^q( ^d−1) is given bythe left-most infimum being taken over all N-dimensional subspaces X_N of L^q( ^d−1).The main result in this paper is that for r2(d−1)²,where A_NB_N means that there exists a positive constant C, independent of N, such that C⁻¹A_NB_NCA_N.This extends the well-known Kashin theorem on the asymptotic order of the Kolmogorov widths of the Sobolev class of the periodic functions.     

A general framework of compactly supported splines and wavelets

Let {V_k} be a nested sequence of closed subspaces that constitute a multiresolution analysis of L²( ). We characterize the family Φ = {φ} where each φ generates this multiresolution analysis such that the two-scale relation of φ is governed by a finite sequence. In particular, we identify the ε Φ that has minimum support. We also characterize the collection Ψ of functions η such that each η generates the orthogonal complementary subspaces W_k of V_k, . In particular, the minimally supported ψ ε Ψ is determined. Hence, the “B-spline” and “B-wavelet” pair (, ψ) provides the most economical and computational efficient “spline” representations and “wavelet” decompositions of L² functions from the “spline” spaces V_k and “wavelet” spaces W_k, k . A very general duality principle, which yields the dual bases of both {(·−j):j and {η(·−j):j } for any η ε Ψ by essentially interchanging the pair of two-scale sequences with the pair of decomposition sequences, is also established. For many filtering applications, it is very important to select a multiresolution for which both and ψ have linear phases. Hence, “non-symmetric” and ψ, such as the compactly supported orthogonal ones introduced by Daubechies, are sometimes undesirable for these applications. Conditions on linear-phase φ and ψ are established in this paper. In particular, even-order polynomial B-splines and B-wavelets φ_m and ψ_m have linear phases, but the odd-order B-wavelet only has generalized linear phases.     

Multi-Resolution Analysis of Multiplicity d: Applications to Dyadic Interpolation

This paper studies the Multi-Resolution Analyses of multiplicity d (d *), that is, the families (V_n)_n of closed subspaces in ²( ) such that V_n V_{n + 1}, V_{n + 1} = DV_n, where Dƒ(x) = ƒ(2x), and such that there exists a Riesz basis for V₀ of the form {φ_i(· − k), i = 1, . . . , d,k }, with φ₁, . . . , φ_d V₀. Using the Fourier transform, we prove that (λ) = ^t[ ₁(λ), . . . , _d(λ)] = H(λ/2) (λ/2), where H is in the set _d of continuous 1-periodic functions taking values in (d, ). If d = 1, the definition corresponds to the standard Multi-Resolution Analyses, and one can characterize the regular 1-periodic complex-valued functions H (called, then, scaling filters) which yield a Multi-Resolution Analysis. In this paper, we generalize this study to d ≥ 2 by giving conditions on H _d so that there exists = ^t[ ₁, . . . , _d] in ²( , ^d) solution of (λ) = H(λ/2) (λ/2), and so that the integer translates of φ₁, . . . , φ_d form a Riesz family. Then, the latter span the space V₀ of a Multi-Resolution Analysis of multiplicity d. We show that the conditions on H focus on the zeros of det H(·) and on simple spectral hypotheses for the operator P_H defined on _d by P_HF(λ) = H(λ/2)F(λ/2)H(λ/2)* + H(λ/2 + 1/2)F(λ/2 + 1/2)H(λ/2 + 1/2)*. Finally, we explore connections with the order r dyadic interpolation schemes, where r *.     

Global existence and blow-up of solutionsfor a higher-order kirchhoff-type equation with nonlinear dissipation

This paper deals with the higher-order Kirchhoff-type equation with nonlinear dissipationu_tt+(∫_Ω׀D^mu׀²dx)^q(−Δ)^mu+u_t׀u_t׀^r=׀u׀^pu,xΩ,t>0,in a bounded domain, where m < 1 is a positive integer, q, p, r < 0 arepositive constants. We obtain that the solution exists globally if p ≤ r, while ifp > max r, 2q , then for any initial data with negative initial energy, the solution blowsup at finite time in L^p+2 norm.     

On nonautonomous linear systems of differential and difference equations with -symmetric coefficient matrices

Let denote the set of continuous n×n matrices on an interval . We say that is a nontrivial k-involution if where ζ=e^-2πi/k, d₀+d₁++d_k-1=n, and with . We say that is R-symmetric if R(t)A(t)R^-1(t)=A(t), , and we show that if A is R-symmetric then solving x^′=A(t)x or x^′=A(t)x+f(t) reduces to solving k independent d_ℓ×d_ℓ systems, 0ℓk-1. We consider the asymptotic behavior of the solutions in the case where . Finally, we sketch analogous results for linear systems of difference equations.     

Schur functions and the invariant polynomials characterizing U(n) tensor operators

We give a direct formulation of the invariant polynomials _μG_q⁽ⁿ⁾(, Δ_i,;, x_{i,i + 1},) characterizing U(n) tensor operators p, q, …, q, 0, …, 0 in terms of the symmetric functions S_λ known as Schur functions. To this end, we show after the change of variables Δ_i = γ_i − δ_i and x_{i, i + 1} = δ_i − δ_{i + 1} that_μG_q⁽ⁿ⁾(,Δ_i;, x_{i, i + 1},) becomes an integral linear combination of products of Schur functions S_α(, γ_i,) · S_β(, δ_i,) in the variables {γ₁,…, γ_n} and {δ₁,…, δ_n}, respectively. That is, we give a direct proof that _μG_q⁽ⁿ⁾(,Δ_i,;, x_{i, i + 1},) is a bisymmetric polynomial with integer coefficients in the variables {γ₁,…, γ_n} and {δ₁,…, δ_n}. By making further use of basic properties of Schur functions such as the Littlewood-Richardson rule, we prove several remarkable new symmetries for the yet more general bisymmetric polynomials _μ^mG_q⁽ⁿ⁾(γ₁,…, γ_n; δ₁,…, δ_m). These new symmetries enable us to give an explicit formula for both _μ^mG₁⁽ⁿ⁾(γ; δ) and ₁G₂⁽ⁿ⁾(γ; δ). In addition, we describe both algebraic and numerical integration methods for deriving general polynomial formulas for _μ^mG_q⁽ⁿ⁾(γ; δ).     

Kolmogorov and Linear Widths of Weighted Sobolev-Type Classes on a Finite Interval, II

Let I be a finite interval, r and ρ(t)=dist{t, ∂I}, tI. Denote by Δ^s₊W^r_p, α, 0α<∞, the class of functions x on I with the seminorm x^(r)ρ^α_Lp1 for which Δ^s_τx, τ>0, is nonnegative on I. We obtain two-sided estimates of the Kolmogorov widths d_n(Δ^s₊W^r_p, α)_Lq and of the linear widths d_n(Δ^s₊W^r_p, α)^lin_Lq, s=0, 1, …, r+1.     

Zeros of orthogonal polynomials on the real line

Let p_n(x) be the orthonormal polynomials associated to a measure dμ of compact support in . If Esupp(dμ), we show there is a δ>0 so that for all n, either p_n or p_n+1 has no zeros in (E−δ,E+δ). If E is an isolated point of supp(μ), we show there is a δ so that for all n, either p_n or p_n+1 has at most one zero in (E−δ,E+δ). We provide an example where the zeros of p_n are dense in a gap of supp(dμ).     

Orthogonal Polynomial Solutions of Spectral Type Differential Equations: Magnus' Conjecture

Let τ=σ+ν be a point mass perturbation of a classical moment functional σ by a distribution ν with finite support. We find necessary conditions for the polynomials {Q_n(x)}^∞_n=0, orthogonal relative to τ, to be a Bochner–Krall orthogonal polynomial system (BKOPS); that is, {Q_n(x)}^∞_n=0 are eigenfunctions of a finite order linear differential operator of spectral type with polynomial coefficients: L_N[y](x)=∑^N_i=1 ℓ_i(x) y⁽ⁱ⁾(x)=λ_ny(x). In particular, when ν is of order 0 as a distribution, we find necessary and sufficient conditions for {Q_n(x)}^∞_n=0 to be a BKOPS, which strongly support and clarify Magnus' conjecture which states that any BKOPS must be orthogonal relative to a classical moment functional plus one or two point masses at the end point(s) of the interval of orthogonality. This result explains not only why the Bessel-type orthogonal polynomials (found by Hendriksen) cannot be a BKOPS but also explains the phenomena for infinite-order differential equations (found by J. Koekoek and R. Koekoek), which have the generalized Jacobi polynomials and the generalized Laguerre polynomials as eigenfunctions.     

Characterization of generalized convex functions by their best approximation in sign-monotone norms

Let {u₀, u₁,… u_{n − 1}} and {u₀, u₁,…, u_n} be Tchebycheff-systems of continuous functions on [a, b] and let f ε C[a, b] be generalized convex with respect to {u₀, u₁,…, u_{n − 1}}. In a series of papers ([1], [2], [3]) D. Amir and Z. Ziegler discuss some properties of elements of best approximation to f from the linear spans of {u₀, u₁,…, u_{n − 1}} and {u₀, u₁,…, u_n} in the L_p-norms, 1 p ∞, and show (under different conditions for different values of p) that these properties, when valid for all subintervals of [a, b], can characterize generalized convex functions. Their methods of proof rely on characterizations of elements of best approximation in the L_p-norms, specific for each value of p. This work extends the above results to approximation in a wider class of norms, called “sign-monotone,” [6], which can be defined by the property: ¦ f(x)¦ ¦ g(x)¦,f(x)g(x) 0, a x b, imply f g . For sign-monotone norms in general, there is neither uniqueness of an element of best approximation, nor theorems characterizing it. Nevertheless, it is possible to derive many common properties of best approximants to generalized convex functions in these norms, by means of the necessary condition proved in [6]. For {u₀, u₁,…, u_n} an Extended-Complete Tchebycheff-system and f ε C⁽ⁿ⁾[a, b] it is shown that the validity of any of these properties on all subintervals of [a, b], implies that f is generalized convex. In the special case of f monotone with respect to a positive function u₀(x), a converse theorem is proved under less restrictive assumptions.     

Complex Roots of a Random Algebraic Polynomial

This paper, for any constantK, provides an exact formula for the average density of the distribution of the complex roots of equation η₀ + η₁z + η₂z² + ··· + η_{n − 1}z^{n − 1} = Kwhere η_j = a_j + ib_jand {a_j}^{n − 1}_{j = 0}and {b_j}^{n − 1}_{j = 0}are sequences of independent identically and normally distributed random variables andKis a complex number withKas its real and imaginary parts. The case of real roots of the above equation with real coefficients andK,z Ris well known. Further we obtain the limiting behaviour of this distribution function asntends to infinity.     

Limit distributions and one-parameter groups of linear operators on Banach spaces

Let = {U_t: t > 0} be a strongly continuous one-parameter group of operators on a Banach space X and Q be any subset of a set (X) of all probability measures on X. By (Q; ) we denote the class of all limit measures of {U_tn(μ₁ * μ₂*…*μ_n)*δ_xn}, where {μ_n}Q, {x_n}X and measures U_tnμ_j (j=1, 2,…, n; N=1, 2,…) form an infinitesimal triangular array. We define classes L_m( ) as follows: L₀( )= ( (X); ), L_m( )= (L_m−1( ); ) for m=1, 2,… and L_∞( )=_m=0^∞L_m( ). These classes are analogous to those defined earlier by Urbanik on the real line. Probability distributions from L_m( ), m=0, 1, 2,…, ∞, are described in terms of their characteristic functionals and their generalized Poisson exponents and Gaussian covariance operators.