Markov inequality for polynomials of degree n with m distinct zeros

Let be the collection of all polynomials of degree at most n with real coefficients that have at most m distinct complex zeros. We prove thatfor every . This is far away from what we expect. We conjecture that the Markov factor 32·8^mn above may be replaced by cmn with an absolute constant c>0. We are not able to prove this conjecture at the moment. However, we think that our result above gives the best-known Markov-type inequality for on a finite interval when mc log n.     

Ratio and relative asymptotics of polynomials orthogonal with respect to varying Denisov-type measures

Let μ be a finite positive Borel measure with compact support consisting of an interval plus a set of isolated points in , such that μ^′>0 almost everywhere on [c,d]. Let , be a sequence of polynomials, , with real coefficients whose zeros lie outside the smallest interval containing the support of μ. We prove ratio and relative asymptotics of sequences of orthogonal polynomials with respect to varying measures of the form dμ/w_2n. In particular, we obtain an analogue for varying measures of Denisov's extension of Rakhmanov's theorem on ratio asymptotics. These results on varying measures are applied to obtain ratio asymptotics for orthogonal polynomials with respect to fixed measures on the unit circle and for multi-orthogonal polynomials in which the measures involved are of the type described above.     

An upper estimate in Turán's pure power sum problem

Let z₁, z₂, …, z_n be complex numbers, and write for their power sums. Let where the minimum is taken under the condition that . In this paper we prove that .     

Multiple positive solutions for some p-Laplacian boundary value problems

This paper deals with the existence of multiple positive solutions for the one-dimensional p-Laplacian subject to one of the following boundary conditions: or where φ_p(s)=|s|^p−2s, p>1. By means of a fixed point theorem due to Avery and Peterson, sufficient conditions are obtained that guarantee the existence of at least three positive solutions. The interesting point is the nonlinear term f is involved with the first-order derivative explicitly.     

Dual generalized Bernstein basis

The generalized Bernstein basis in the space Π_n of polynomials of degree at most n, being an extension of the q-Bernstein basis introduced by Philips [Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518], is given by the formula [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT Numer. Math. 44 (2004) 63–78],

We give explicitly the dual basis functions for the polynomials , in terms of big q-Jacobi polynomials P_k(x;a,b,ω/q;q), a and b being parameters; the connection coefficients are evaluations of the q-Hahn polynomials. An inverse formula—relating big q-Jacobi, dual generalized Bernstein, and dual q-Hahn polynomials—is also given. Further, an alternative formula is given, representing the dual polynomial (0jn) as a linear combination of min(j,n-j)+1 big q-Jacobi polynomials with shifted parameters and argument. Finally, we give a recurrence relation satisfied by , as well as an identity which may be seen as an analogue of the extended Marsden's identity [R.N. Goldman, Dual polynomial bases, J. Approx. Theory 79 (1994) 311–346].     

Generalized Green Classes

Generalized Green classes are introduced; some basic properties of members in a generalized Green class are studied. Finally, we apply the results to (Λ), the Ringel–Hall algebra of a finite-dimensional hereditary algebra Λ over a finite field. In particular, it is proved that (Λ) belongs to a suitable generalized Green class, and that there is direct decomposition of spaces (Λ) =  (Λ)  J, where (Λ) is the composition algebra of Λ and J is a twisted Hopf ideal of (Λ), which is exactly the orthogonal complement of (Λ).     

Identities on Units of Algebraic Algebras

Let be an algebraic algebra over an infinite field K and let ( ) be its group of units. We prove a stronger version of Hartley's conjecture for , namely, if a Laurent polynomial identity (LPI, for short) f = 0 is satisfied in ( ), then satisfies a polynomial identity (PI). We also show that if is non-commutative, then is a PI-ring, provided f = 0 is satisfied by the non-central units of . In particular, is locally finite and, thus, the Kurosh problem has a positive answer for K-algebras whose unit group is LPI. Moreover, f = 0 holds in ( ) if and only if the same identity is satisfied in . The last fact remains true for generalized Laurent polynomial identities, provided that is locally finite.     

Galois Reconstruction of Finite Quantum Groups

Let be a (small) category and let F:  →  alg_f be a functor, where alg_f is the category of finite-dimensional measured algebras over a field k (or Frobenius algebras). We construct a universal Hopf algebra A_aut(F) such that F factorizes through a functor :  →  coalg_f(A_aut(F)), where coalg_f(A_aut(F)) is the category of finite-dimensional measured A_aut(F)-comodule algebras. This general reconstruction result allows us to recapture a finite-dimensional Hopf algebra A from the category coalg_f(A) and the forgetful functor ω: coalg_f(A) →  alg_f: we have A  A_aut(ω). Our universal construction is also done in a C*-algebra framework, and we get compact quantum groups in the sense of Woronowicz.     

Widths and shape-preserving widths of Sobolev-type classes of s-monotone functions

Let I be a finite interval, , and 1p∞. Given a set M, of functions defined on I, denote by the subset of all functions yM such that the s-difference is nonnegative on I, τ>0. Further, denote by the Sobolev class of functions x on I with the seminorm x^(r)_Lp1. We obtain the exact orders of the Kolmogorov and the linear widths, and of the shape-preserving widths of the classes in L_q for s>r+1 and (r,p,q)≠(1,1,∞). We show that while the widths of the classes depend in an essential way on the parameter s, which characterizes the shape of functions, the shape-preserving widths of these classes remain asymptotically ≈n^-2.     

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.     

A mixed hook-length formula for affine Hecke algebras

Let be the affine Hecke algebra corresponding to the group GL_l over a p-adic field with residue field of cardinality q. We will regard as an associative algebra over the field . Consider the -module W induced from the tensor product of the evaluation modules over the algebras and . The module W depends on two partitions λ of l and μ of m, and on two non-zero elements of the field . There is a canonical operator J acting on W; it corresponds to the trigonometric R-matrix. The algebra contains the finite dimensional Hecke algebra H_l+m as a subalgebra, and the operator J commutes with the action of this subalgebra on W. Under this action, W decomposes into irreducible subspaces according to the Littlewood–Richardson rule. We compute the eigenvalues of J, corresponding to certain multiplicity-free irreducible components of W. In particular, we give a formula for the ratio of two eigenvalues of J, corresponding to the “highest” and the “lowest” components. As an application, we derive the well known q-analogue of the hook-length formula for the number of standard tableaux of shape λ.     

The supremum of Brownian local times on Hölder curves

For , we consider L^f_t, the local time of space-time Brownian motion on the curve f. Let be the class of all functions whose Hölder norm of order α is less than or equal to 1. We show that the supremum of L^f₁ over f in is finite if α>1/2 and infinite if α<1/2.     

Young measures generated by a class of integrands: a narrow epicontinuity and applications to Homogenization

Given a subset E of convex functions from into which satisfy growth conditions of order p>1 and an open bounded subset of , we establish the continuity of a map μΦ_μ from the set of all Young measures on equipped with the narrow topology into a set of suitable functionals defined in and equipped with the topology of Γ-convergence. Some applications are given in the setting of periodic and stochastic homogenization.     

-Modules on Smooth Toric Varieties

Let X be a smooth toric variety. Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal . Let A denote the ring of differential operators on Spec(S). We show that the category of -modules on X is equivalent to a subcategory of graded A-modules modulo -torsion. Additionally, we prove that the characteristic variety of a -module is a geometric quotient of an open subset of the characteristic variety of the associated A-module and that holonomic -modules correspond to holonomic A-modules.     

Classification Theorems for General Orthogonal Polynomials on the Unit Circle

The set of all probability measures σ on the unit circle splits into three disjoint subsets depending on properties of the derived set of {|_n|²dσ}_n0, denoted by Lim(σ). Here {_n}_n0 are orthogonal polynomials in L²(dσ). The first subset is the set of Rakhmanov measures, i.e., of σ with {m}=Lim(σ), m being the normalized (m( )=1) Lebesgue measure on . The second subset Mar( ) consists of Markoff measures, i.e., of σ with mLim(σ), and is in fact the subject of study for the present paper. A measure σ, belongs to Mar( ) iff there are >0 and l>0 such that sup{|a_n+j|:0jl}>, n=0,1,2,…,{a_n} is the Geronimus parameters (=reflectioncoefficients) of σ. We use this equivalence to describe the asymptotic behavior of the zeros of the corresponding orthogonal polynomials (see Theorem G). The third subset consists of σ with {m}Lim(σ). We show that σ is ratio asymptotic iff either σ is a Rakhmanov measure or σ satisfies the López condition (which implies σMar( )). Measures σ satisfying Lim(σ)={ν} (i.e., weakly asymptotic measures) are also classified. Either ν is the sum of equal point masses placed at the roots of zⁿ=λ, λ , n=1,2,…, or ν is the equilibrium measure (with respect to the logarithmic kernel) for the inverse image under an m-preserving endomorphism z→zⁿ, n=1,2,…, of a closed arc J (including J= ) with removed open concentric arc J₀ (including J₀=). Next, weakly asymptotic measures are completely described in terms of their Geronimus parameters. Finally, we obtain explicit formulae for the parameters of the equilibrium measures ν and show that these measures satisfy {ν}=Lim(ν).     

Attractors of the reaction-diffusion systems with rapidly oscillating coefficients and their homogenization

The following reaction-diffusion system in spatially non-homogeneous almost-periodic media is considered in a bounded domain : (1)∂_tu=Au−f(u)+g, u|_∂Ω=0. Here u=(u¹,…,u^k) is an unknown vector-valued function, f is a given nonlinear interaction function and the second order elliptic operator A has the following structure: where a_ij^l(y) are given almost-periodic functions. We prove that, under natural assumptions on the nonlinear term f(u), the longtime behavior of solutions of (1) can be described in terms of the global attractor of the associated dynamical system and that the attractors  , 0<<₀1, converge to the attractor of the homogenized problem (1) as →0. Moreover, in the particular case of periodic media, we give explicit estimates for the distance between the non-homogenized and the homogenized attractors in terms of the parameter .     

On Identity Bases of Epigroup Varieties

Let C _n and C _n be the varieties of all completely regular and of all completely simple semigroups, respectively, whose idempotent generated subsemigroups are periodic with period n. We use Ol'shanski 's theory of geometric group presentations to show that for large odd n these varieties (and similarly defined varieties of epigroups) do not have finitely axiomatizable equational theories.     

Probabilistic and average widths of multivariate Sobolev spaces with mixed derivative equipped with the Gaussian measure

We present sharp bounds on the Kolmogorov probabilistic (N,δ)-width and p-average N-width of multivariate Sobolev space with mixed derivative

Full-size image (1K)

, equipped with a Gaussian measure μ in , that is where 1<q<∞,0<p<∞, and ρ>1 is depending only on the eigenvalues of the correlation operator of the measure μ (see (4)).     

Universal Functions on Complex General Linear Groups

In 1929, Birkhoff proved the existence of an entire function F on with the property that for any entire function f there exists a sequence {a_k} of complex numbers such that {F(ζ+a_k)} converges to f (ζ) uniformly on compact sets. Luh proved a variant of Birkhoff's theorem and the second author proved a theorem analogous to that of Luh for the multiplicative group *. In this paper extensions of the above results to the multi-dimensional case are proved. Let M(n,  ) be the set of all square matrices of degree n with complex coefficients, and let G=GL(n,  ) be the general linear group of degree n over . We denote by (G) the set of all holomorphic functions on G. Similarly, we define ( ). Let K be the (G)-hull of a compact set K in G. Finally we denote by B(G) the set of all compact subsets K of G with K=K such that there exists a holomorphic function f on M(n,  ) with f(0)(f(K)), where (f(K)) is the ( )-hull of f(K). Our main result is the following. There exists a holomorphic function F on G such that for any KB(G), for any function f holomorphic in some neighbourhood of K, and for any >0, there exists CG with max_ZK |F(CZ)−f(Z)|<.     

A note on the distance between two consecutive zeros of m-orthogonal polynomials for a generalized Jacobi weight

Let , with

-1=x_0n<x_1n<<x_nn<x_n+1,n=1