Stability theorems for Fourier frames and wavelet Riesz bases

In this paper we present two applications of a Stability Theorem of Hilbert frames to nonharmonic Fourier series and wavelet Riesz basis. The first result is an enhancement of the Paley-Wiener type constant for nonharmonic series given by Duffin and Schaefer in [6] and used recently in some applications (see [3]). In the case of an orthonormal basis, our estimate reduces to Kadec’ optimal 1/4 result. The second application proves that a phenomenon discovered by Daubechies and Tchamitchian [4] for the orthonormal Meyer wavelet basis (stability of the Riesz basis property under small changes of the translation parameter) actually holds for a large class of wavelet Riesz bases.     

On a problem of littlewood

The theorem on the tending to zero of coefficients of a trigonometric series is proved when theL ¹-norms of partial sums of this series are bounded. It is shown that the analog of Helson's theorem does not hold for orthogonal series with respect to the bounded orthonormal system. Two facts are given that are similar to Weis' theorem on the existence of a trigonometric series which is not a Fourier series and whoseL ¹-norms of partial sums are bounded.     

Extension of a theorem of Fejér to double Fourier-Stieltjes series

A theorem of Fejér states that if a periodic function F is of bounded variation on the closed interval [0, 2π], then the nth partial sum of its formally differentiated Fourier series divided by n converges to π^-1[F(x+0)-F(x-0)] at each point x. The generalization of this theorem for Fourier-Stieltjes series of (nonperiodic) functions of bounded variation is also well known. The aim of the present article is to extend these results to the (m, n)th rectangular partial sum of double Fourier or Fourier-Stieltjes series of a function F(x, y) of bounded variation over the closed square [0, 2π]×[0, 2π] in the sense of Hardy and Krause. As corollaries, we also obtain the following results:

Stability number and [a,b]‐factors in graphs

A spanning subgraph whose vertices have degrees belonging to the interval [a,b], where a and b are positive integers, such that a ≤ b, is called an [a,b]‐factor. In this paper, we prove sufficient conditions for existence of an [a,b]‐factor, a connected [a,b]‐factor, and a 2‐connected [a,b]‐factor. The conditions involve the minimum degree, the stability number, and the connectivity of a graph. © 2004 Wiley Periodicals, Inc. J Graph Theory 46: 254–264, 2004     

Orthogonality and recurrence for ordered Laurent polynomial sequences

We consider orderings of nested subspaces of the space of Laurent polynomials on the real line, more general than the balanced orderings associated with the ordered bases {1,z⁻¹,z,z⁻²,z²,…} and {1,z,z⁻¹,z²,z⁻²,…}. We show that with such orderings the sequence of orthonormal Laurent polynomials determined by a positive linear functional satisfies a three-term recurrence relation. Reciprocally, we show that with such orderings a sequence of Laurent polynomials which satisfies a recurrence relation of this form is orthonormal with respect to a certain positive functional.     

A New Way to Represent Links. One-Dimensional Formalism and Untangling Technology

An alternative link representation different from planar diagrams is discussed. Isotopy classes of unordered nonoriented links are realized as central elements of a monoid presented explicitly by a finite number of generators and relations. The group presented by two generators and three relations [[a,b],a ² ba ^–2]=[[a,b],b ² ab ^–2]=[[a,b],[a ^–1,b ^–1]]=1, where [x,y]=xyx ^–1 y ^–1, is proved to have a commutator subgroup isomorphic to the braid group on infinitely many strands. A new partial algorithm for unknot recognition is constructed. Experiments show that the algorithm allows the untangling of unknots whose planar diagram has hundreds of crossings. Here 'untangling' means 'finding an isotopy to the circle'.     

An inverse sturm-Liouville problem by three spectra

It is shown that the potential of the Sturm-Liouville equation on interval [0,a] may be restored by the spectra of three boundary problems generated by the equation on the intervals [0,a], [0, 1/2a] and [1/2a,a], respectively. The algorithm of construction is given as well as the sufficient conditions for three sequences of real numbers to be the spectra of the mentioned boundary problems. The problem on [0,a] describes small vibrations of a smooth string with fixed ends. The problems on the half-intervals describe vibrations of the same string clamped at the point of equilibrium.     

Korobov Spaces with Respect to Digital Orthonormal Bases

 For an orthonormal basis (ONB) of we define classes of functions according to the order of decay of the Fourier coefficients with respect to the considered ONB . The rate is expressed in the real parameter α. We investigate the following problem: What is the order of decay, if any, when we consider with respect to another ONB ? If the function is expressable as an absolutely convergent Fourier series with respect to , we give bounds for the new order of decay, which we call . Special attention is given to digital orthonormal bases (dONBs) of which the Walsh and Haar systems are examples treated in the present paper. Bounding intervals and in several cases explicit values for are given for the case of dONBs. An application to quasi-Monte Carlo numerical integration is mentioned. (Received 21 February 2000; in revised form 19 October 2000)     

The construction of single wavelets in d-dimensions

Sets K in d-dimensional Euclidean space are constructed with the property that the inverse Fourier transform of the characteristic function 1 _K is a single dyadic orthonormal wavelet. The construction is characterized by its generality in the procedure, by its computational implementation, and by its simplicity. The general case in which the inverse Fourier transforms of the characteristic functions 1K ¹, ..., 1K ^L are a family of orthonormal wavelets is treated in [27].     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

Optimization for products of concave functions

Ifh denotes the product of finitely many concave non-negative functions on a compact interval [a, b], then it is shown that there exist pointsα andβ witha≤α≤β≤b such thath is strictly increasing on [α, α), constant on (α, β), and strictly decreasing on (β, b]. This structure theorem leads to an extension of several classical optimization results for concave functions on convex sets to the case of products of concave functions.     

Inverse indefinite Sturm-Liouville problems with three spectra

We prove that the potential q(x) of an indefinite Sturm-Liouville problem on the closed interval [a,b] with the indefinite weight function w(x) can be determined uniquely by three spectra, which are generated by the indefinite problem defined on [a,b] and two right-definite problems defined on [a,0] and [0,b], where point 0 lies in (a,b) and is the turning point of the weight function w(x).     

Simple two-sided anti-Lie-admissible algebras

For a Lie algebra L, a bilinear map is called a commutative cocycle if ψ(a, b) = ψ(b, a) and ψ([a, b], c) + ψ([b, a], c) + ψ([c, a], b) = 0 for any a, b, c ∈ L. We prove that any commutative cocycle of a simple Lie algebra of characteristic p ≠ 2, 3 is trivial if the rank of L is at least 2. In particular, any two-sided Alia algebra connected with a simple, finite-dimensional Lie algebra L is isomorphic to L, except for the case where L = sl ₂ . Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

Locally constant dyadic derivatives

We show that in order for a Walsh series to be locally constant it is necessary for certain blocks of that series to sum to zero. As a consequence, we show that a functionf with a somewhat sparse Walsh—Fourier series is necessarily a Walsh polynomial if its strong dyadic derivative is constant on an interval. In particular, if a Rademacher seriesR is strongly dyadically differentiable and if that derivative is constant on any open subset of [0, 1], thenR is a Rademacher polynomial.     

Subspaces and Orthogonal Decompositions Generated by Bounded Orthogonal Systems

We investigate properties of subspaces of L₂ spanned by subsets of a finite orthonormal system bounded in the L_∞ norm. We first prove that there exists an arbitrarily large subset of this orthonormal system on which the L₁ and the L₂ norms are close, up to a logarithmic factor. Considering for example the Walsh system, we deduce the existence of two orthogonal subspaces of L₂ⁿ, complementary to each other and each of dimension roughly n/2, spanned by ± 1 vectors (i.e. Kashin’s splitting) and in logarithmic distance to the Euclidean space. The same method applies for p > 2, and, in connection with the Λ_p problem (solved by Bourgain), we study large subsets of this orthonormal system on which the L₂ and the L_p norms are close (again, up to a logarithmic factor). Partially supported by an Australian Research Council Discovery grant. This author holds the Canada Research Chair in Geometric Analysis.     

A characterization of multidimensional multi-knot piecewise linear spectral sequence and its applications

We characterize a class of piecewise linear spectral sequences. Associated with the spectral sequence, we construct an orthonormal exponential bases for L2（[0,1）d）, which are called generalized Fourier bases. Moreover, we investigate the convergence of Bochner-Riesz means of the generalized Fourier series.     

OMC for scalar multiples of unitaries

We establish the following case of the Determinantal Conjecture of Marcus [M. Marcus, Derivations, Plücker relations and the numerical range, Indiana Univ. Math. J. 22 (1973) 1137-1149] and de Oliveira [G.N. de Oliveira, Research problem: Normal matrices, Linear and Multilinear Algebra 12 (1982) 153-154]. Let A and B be unitary n × n matrices with prescribed eigenvalues a₁, … , a_n and b₁, … , b_n, respectively. Then for any scalars t and s

     

The banach algebra A and its properties

Beurling’s algebra is considered. A* arises quite naturally in problems of summability of the Fourier series at Lebesgue points, whereas Wiener’s algebra A of functions with absolutely convergent Fourier series arises when studying the norm convergence of linear means. Certainly, both algebras are used in some other areas. A* has many properties similar to those of A, but there are certain essential distinctions. A* is a regular Banach algebra, its space of maximal ideals coincides with[−π, π], and its dual space is indicated. Analogs of Herz’s and Wiener-Ditkin’s theorems hold. Quantitative parameters in an analog of the Beurling-Pollard theorem differ from those for A. Several inclusion results comparing the algebra A* with certain Banach spaces of smooth functions are given. Some special properties of the analogous space for Fourier transforms on the real axis are presented. The paper ends with a summary of some open problems.