Vector hyperinterpolation on the sphere

We present new results on hyperinterpolation for spherical vector fields. Especially we consider the operator , which may be described as an approximation to the L² orthogonal projection . In detail, we prove that is the projection with the least uniform norm and that has the optimal value for its norm in the C→L² setting. These results are already known for the scalar case. In the continuous space setting, we could prove only a sub-optimal bound for the Lebesgue constant of the vector hyperinterpolation operator.     

Splitting methods for SU(N) loop approximation

The problem of finding the correct asymptotic rate of approximation by polynomial loops in dependence of the smoothness of the elements of a loop group seems not well-understood in general. For matrix Lie groups such as , it can be viewed as a problem of nonlinearly constrained trigonometric approximation. Motivated by applications to optical FIR filter design and control, we present some initial results for the case of -loops, N≥2. In particular, using representations via the exponential map and first order splitting methods, we prove that the best approximation of an -loop belonging to a Hölder–Zygmund class , α>1/2, by a polynomial -loop of degree ≤n is of the order O(n^−α/(1+α)) as n→∞. Although this approximation rate is not considered final, to our knowledge it is the first general, nontrivial result of this type.     

On the sampling and recovery of bandlimited functions via scattered translates of the Gaussian

Let λ be a positive number, and let be a fixed Riesz-basis sequence, namely, (x_j) is strictly increasing, and the set of functions is a Riesz basis (i.e., unconditional basis) for L₂[−π,π]. Given a function whose Fourier transform is zero almost everywhere outside the interval [−π,π], there is a unique sequence in , depending on λ and f, such that the function

is continuous and square integrable on (−∞,∞), and satisfies the interpolatory conditions I_λ(f)(x_j)=f(x_j), . It is shown that I_λ(f)converges to f in , and also uniformly on , as λ→0⁺. In addition, the fundamental functions for the univariate interpolation process are defined, and some of their basic properties, including their exponential decay for large argument, are established. It is further shown that the associated interpolation operators are bounded on for every p[1,∞].     

On a filter for exponentially localized kernels based on Jacobi polynomials

Let , and for k=0,1,…, denote the orthonormalized Jacobi polynomial of degree k. We discuss the construction of a matrix H so that there exist positive constants c, c₁, depending only on H, α, and β such that

Specializing to the case of Chebyshev polynomials, , we apply this theory to obtain a construction of an exponentially localized polynomial basis for the corresponding L² space.     

The maximal range problem for a bounded domain

Let be a bounded domain such that 0Ω. Denote by , the set of all complex polynomials of degree at most n. Let

where . We relate the maximal polynomial range

to the geometry of Ω.     

Nonnegative solutions of the characteristic initial value problem for linear partial functional–differential equations of hyperbolic type

On the rectangle , the problem on the existence and uniqueness of a nonnegative solution of the characteristic initial value problem for the equation

is considered, where is a linear bounded operator and .     

Zeros of Bernoulli-type functions and best approximations

The zero sets of (D+a)ⁿg(t) with in the (t,a)-plane are investigated for and .The results are used to determine entire interpolations to functions , which give representations for the best approximation and best one-sided approximation from the class of functions of exponential type η>0 to .     

Relative asymptotic of multiple orthogonal polynomials for Nikishin systems

We prove the relative asymptotic behavior for the ratio of two sequences of multiple orthogonal polynomials with respect to the Nikishin systems of measures. The first Nikishin system is such that for each k, σ_k has a constant sign on its compact support consisting of an interval , on which almost everywhere, and a discrete set without accumulation points in . If denotes the smallest interval containing , we assume that Δ_k∩Δ_k+1=0/, k=1,…,m−1. The second Nikishin system is a perturbation of the first by means of rational functions r_k, k=1,…,m, whose zeros and poles lie in .     

Linear interpolation and Sobolev orthogonality

There is a strong connection between Sobolev orthogonality and Simultaneous Best Approximation and Interpolation. In particular, we consider very general interpolatory constraints , defined by

where f belongs to a certain Sobolev space, a_ij() are piecewise continuous functions over [a,b], b_ijk are real numbers, and the points t_k belong to [a,b] (the nonnegative integer m depends on each concrete interpolation scheme). For each f in this Sobolev space and for each integer l greater than or equal to the number of constraints considered, we compute the unique best approximation of f in , denoted by p_f, which fulfills the interpolatory data , and also the condition that best approximates f⁽ⁿ⁾ in (with respect to the norm induced by the continuous part of the original discrete–continuous bilinear form considered).     

Asymptotics of the orthogonal polynomials for the Szegő class with a polynomial weight

Let p be a trigonometric polynomial, non-negative on the unit circle . We say that a measure σ on belongs to the polynomial Szegő class, if , σ_s is singular, and

For the associated orthogonal polynomials {_n}, we obtain pointwise asymptotics inside the unit disc . Then we show that these asymptotics hold in L²-sense on the unit circle. As a corollary, we get an existence of certain modified wave operators.     

Asymptotic expression of the linear discrete best -approximation

Let h_p, 1<p<∞, be the best ℓ_p-approximation of the element from a proper affine subspace K of , hK, and let denote the strict uniform approximation of h from K. We prove that there are a vector and a real number a, 0a1, such that

for all p>1, where with γ_p=o(a^p/p).     

Schurian vector space categories, hereditary algebras and Roiter's norm

We associate a positive real number to any vector space K-category over a field K. Generalizing a result of Nazarova and Roiter, we show that a schurian vector space K-category is representation-finite if and only if is finite and . Such vector space categories are quasilinear, i.e. its indecomposables are simple modules over their endomorphism ring. Recently, Nazarova and Roiter introduced the concept of -faithful poset in order to clarify the structure of critical posets. Their conjecture on the precise form of -faithful posets was established by Zeldich. We generalize these results and characterize -faithful quasilinear vector space K-categories in terms of a class of hereditary algebras H_ρ(D) parametrized by a skew-field D and a rational number ρ1.     

Binary Hermitian forms over a cyclotomic field

Let ζ be a primitive fifth root of unity and let F be the cyclotomic field . Let be the ring of integers. We compute the Voronoï polyhedron of binary Hermitian forms over F and classify -conjugacy classes of perfect forms. The combinatorial data of this polyhedron can be used to compute the cohomology of the arithmetic group and Hecke eigenforms.     

Periodic Schur functions and slit discs

A simply connected domain is called a slit disc if minus a finite number of closed radial slits not reaching the origin. A slit disc is called rational (rationally placed) if the lengths of all its circular arcs between neighboring slits (the arguments of the slits) are rational multiples of 2π. The conformal mapping of onto , (0)=0, ^′(0)>0, extends to a continuous function on mapping it onto . A finite union E of closed non-intersecting arcs e_k on is called rational if for every k, ν_E(e_k) being the harmonic measures of e_k at ∞ for the domain . A compact E is rational if and only if there is a rational slit disc such that . A compact E essentially supports a measure with periodic Verblunsky parameters if and only if for a rationally placed . For any tuple (α₁,…,α_g+1) of positive numbers with ∑_kα_k=1 there is a finite family of closed non-intersecting arcs e_k on such that ν_E(e_k)=α_k. For any set and any >0 there is a rationally placed compact such that the Lebesgue measure |EE^*| of the symmetric difference EE^* is smaller than .     

An upper bound on Jacobi polynomials

Let be an orthonormal Jacobi polynomial of degree k. We will establish the following inequality:

where δ_-1<δ₁ are appropriate approximations to the extreme zeros of . As a corollary we confirm, even in a stronger form, T. Erdélyi, A.P. Magnus and P. Nevai conjecture [T. Erdélyi, A.P. Magnus, P. Nevai, Generalized Jacobi weights, Christoffel functions, and Jacobi polynomials, SIAM J. Math. Anal. 25 (1994) 602–614] by proving that

in the region .     

Widths of weighted Sobolev classes on the ball

We study the Kolmogorov n-widths and the linear n-widths of weighted Sobolev classes on the unit ball B^d in L_q,μ, where L_q,μ, 1≤q≤∞, denotes the weighted L_q space of functions on B^d with respect to weight . Optimal asymptotic orders of and as n→∞ are obtained for all 1≤p,q≤∞ and μ≥0.     

Density results for Gabor systems associated with periodic subsets of the real line

The well-known density theorem for one-dimensional Gabor systems of the form , where , states that a necessary and sufficient condition for the existence of such a system whose linear span is dense in , or which forms a frame for , is that the density condition is satisfied. The main goal of this paper is to study the analogous problem for Gabor systems for which the window function g vanishes outside a periodic set which is -shift invariant. We obtain measure-theoretic conditions that are necessary and sufficient for the existence of a window g such that the linear span of the corresponding Gabor system is dense in L²(S). Moreover, we show that if this density condition holds, there exists, in fact, a measurable set with the property that the Gabor system associated with the same parameters a,b and the window g=χ_E, forms a tight frame for L²(S).     

Quadratic and cubic invariants of unipotent affine automorphisms

Let K be an arbitrary field of characteristic zero, P_n:=K[x₁,…,x_n] be a polynomial algebra, and , for n2. Let σ^′Aut_K(P_n) be given by

It is proved that the algebra of invariants, , is a polynomial algebra in n−1 variables which is generated by quadratic and cubic (free) generators that are given explicitly.Let σAut_K(P_n) be given by

It is well known that the algebra of invariants, , is finitely generated (theorem of Weitzenböck [R. Weitzenböck, Über die invarianten Gruppen, Acta Math. 58 (1932) 453–494]), has transcendence degree n−1, and that one can give an explicit transcendence basis in which the elements have degrees 1,2,3,…,n−1. However, it is an old open problem to find explicit generators for F_n. We find an explicit vector space basis for the quadratic invariants, and prove that the algebra of invariants is a polynomial algebra over in n−2 variables which is generated by quadratic and cubic (free) generators that are given explicitly.The coefficients of these quadratic and cubic invariants throw light on the ‘unpredictable combinatorics’ of invariants of affine automorphisms and of SL₂-invariants.     

A characterization and equations for minimal shape-preserving projections

Let X denote a (real) Banach space and V an n-dimensional subspace. We denote by the space of all bounded linear operators from X into V; let be the set of all projections in . For a given , we denote by the set of operators such that PSS. When , we characterize those for which P is minimal. This characterization is then utilized in several applications and examples.