Center conditions III: Parametric and model center problems

We consider an Abel equation (*)y’=p(x)y ² +q(x)y ³ withp(x), q(x) polynomials inx. A center condition for (*) (closely related to the classical center condition for polynomial vector fields on the plane) is thaty ₀=y(0)≡y(1) for any solutiony(x) of (*). Folowing [7], we consider a parametric version of this condition: an equation (**)y’=p(x)y ² +εq(x)y ³ p, q as above, ε ∈ ℂ, is said to have a parametric center, if for any ɛ and for any solutiony(ɛ,x) of (**)y(ɛ, 0)≡y(ɛ, 1).. We give another proof of the fact, shown in [6], that the parametric center condition implies vanishing of all the momentsm _k (1), wherem _k (x)=∫ ₀ ^{x pk} (t)q(t)(dt),P(x)=∫ ₀ ^x p(t)dt. We investigate the structure of zeroes ofm _k (x) and generalize a “canonical representation” ofm _k (x) given in [7]. On this base we prove in some additional cases a composition conjecture, stated in [6, 7] for a parametric center problem. The research of the first and the third author was supported by the Israel Science Foundation, Grant No. 101/95-1 and by the Minerva Foundation.     

Center conditions II: Parametric and model center problems

We consider an Abel equation (*)y’=p(x)y ² +q(x)y ³ withp(x), q(x) polynomials inx. A center condition for (*) (closely related to the classical center condition for polynomial vector fields on the plane) is thaty ₀=y(0)≡y(1) for any solutiony(x) of (*). We introduce a parametric version of this condition: an equation (**)y’=p(x)y ² +εq(x)y ³ p, q as above, ℂ, is said to have a parametric center, if for any ε and for any solutiony(ε,x) of (**),y(ε,0)≡y(ε,1). We show that the parametric center condition implies vanishing of all the momentsm _k (1), wherem _k (x)=∫ ₀ ^{x pk} (t)q(t)(dt),P(x)=∫ ₀ ^x p(t)dt. We investigate the structure of zeroes ofm _k (x) and on this base prove in some special cases a composition conjecture, stated in [10], for a parametric center problem. The research of the first and the third author was supported by the Israel Science Foundation, Grant No. 101/95-1 and by the Minerva Foundation.     

Differential operators associated with zonal polynomials. II

Summary LetC _κ(S) be the zonal polynomial of the symmetricm×m matrixS=(s_ij), corresponding to the partition κ of the non-negative integerk. If ∂/∂S is them×m matrix of differential operators with (i, j)th entry ((1+δ_ij)∂/∂s_ij)/2, δ being Kronecker's delta, we show that C_k(∂/∂S)C_λ(S)=k!δ_λkC_k(I), where λ is a partition ofk. This is used to obtain new orthogonality relations for the zonal polynomials, and to derive expressions for the coefficients in the zonal polynomial expansion of homogenous symmetric polynomials.     

New multiplier method for solving linear complementarity problems

A new multiplier method for solving the linear complementarity problem LCP(q, M) is proposed. By introducing a Lagrangian of LCP(q, M), a new smooth merit function ϑ(x, λ) for LCP(q, M) is constructed. Based on it, a simple damped Newton-type algorithm with multiplier self-adjusting step is presented. When M is a P-matrix, the sequence {ϑ(x ^k, λ ^k)} (where {(x ^k, λ ^k)} is generated by the algorithm) is globally linearly convergent to zero and convergent in a finite number of iterations if the solution is degenerate. Numerical results suggest that the method is highly efficient and promising. Selected from Numerical Mathematics (A Journal of Chinese Universities), 2004, 26(2): 162–171     

Rauzy tilings and bounded remainder sets on the torus

For the two-dimensional torus , we construct the Rauzy tilings d⁰ ⊃ d¹ ⊃ … ⊃ d^m ⊃ …, where each tiling d^m+1 is obtained by subdividing the tiles of d^m. The following results are proved. Any tiling d^m is invariant with respect to the torus shift S(x) = x+ mod ℤ², where ζ⁻¹ > 1 is the Pisot number satisfying the equation x³− x²−x-¹ = 0. The induced map is an exchange transformation of B^md ⊂ , where d = d⁰ and . The map S^(m) is a shift of the torus , which is affinely isomorphic to the original shift S. This means that the tilings d^m are infinitely differentiable. If Z_N(X) denotes the number of points in the orbit S¹(0), S²(0), …, S^N(0) belonging to the domain B^md, then, for all m, the remainder r_N(B^md) = Z_N(B^md) − N ζ^m satisfies the bounds −1.7 < r_N(B^md) < 0.5. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 322, 2005, pp. 83–106.     

The approximation of functions of many variables by their Féjér sums

We construct elliptic Féjér polynomials K_n(x) of m variables. We prove some of their properties: a) the Féjér polynomials are positive on the m-dimensional torus T^m, K_n(x)0, b) (x)=o(n^–1), as n, c) we calculate their norms in the spaces L[T^m] and C[T^m]. We estimate the deviation of the Féjér sum _n(x,f) from the functionf(x). For the space C[T^m]: where c_,m c_1,m are constants.Translated from Matematicheskie Zametki, Vol. 13, No. 6, pp. 817–828, June, 1973.In conclusion, the author wishes to express his gratitude to S. B. Stechkin for help with the paper.     

On Lp-convergence of Grunwald interpolation

In this paper, the L_p-convergence of Grünwald interpolation G_n(f,x) based on the zeros of Jacobi polynomials J _n ^(α,β) (x)(−1<α,β<1) is considered. L_p-convergence (0<p<2) of Grünwald interpolation G_n(f,x) is proved for p·Max(α,β)<1. Moreover, L_p-convergence (p>0) of G_n(f,x) is obtained for −1<α,β≤0. Therefore, the results of [1] and [3–5] are improved.     

The generalized Rayleigh spectra and Kolmogorov n-widths

Let F(x): R^m→R^m be an odd, continuously differentiable homogeneous map. The paper is devoted to the critical points of the generalized Rayleigh ratio ‖F(x)‖_{l q} ^m ‖x‖_{l p} ^m and connected with some problems of the approximation theory. We find the lower bound for Kolmogorov n-width d_n(F(Bl _p ^m ),l _q ^m ).     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.     

On a method for interpolating functions on chaotic nets

Supposem, n ∈ℕ,m≡n (mod 2),K(x)=|x| ^m form odd,K(x)=|x| ^m In |x| form even (x∈ℝ ⁿ ),P is the set of real polynomials inn variables of total degree ≤m/2, andx ₁,...,x _N ∈ℝ ⁿ . We construct a function of the form

A sturm-liouville problem with physical and spectral parameters in boundary conditions

We study the spectral probleml(u)=−u″+q(x)u(x)=λu(x),u′(0)=0, u′(π)=mλu(π), where λ andm are a spectral and a physical parameter. Form<0, we associate with the problem a self-adjoint operator in Pontryagin space II₁. Using this fact and developing analytic methods of the theory of Sturm-Liouville operators, we study the dynamics of eigenvalues and eigenfunctions of the problems asm→−0. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 163–172, August, 1999.     

On the Diophantine Equation G n ( x )?= G m ( P ( x ))

 Let K be a field of characteristic 0 and let p, q, G ₀ , G ₁ , P ∈K[x], deg P ⩾ 1. Further, let the sequence of polynomials (G _n (x)) _n=0 ^∞ be defined by the second order linear recurring sequence

2-Cohomologies of the groups SL(n, q)

Let G = SL(n, q), where q is odd, V be a natural module over G, and L = S²(V) be its symmetric square. We construct a 2-cohomology group H²(G, L). The group is one-dimensional over F _q if n = 2 and q ≠ 3, and also if (n, q) = (4, 3). In all other cases H²(G, L) = 0. Previously, such groups H²(G, L) were known for the cases where n = 2 or q = p is prime. We state that H²(G, L) are trivial for n ⩾ 3 and q = p^m, m ⩾ 2. In proofs, use is made of rather elementary (noncohomological) methods. __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 687–704, November–December, 2008.     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

On the ternary goldbach problem with primes in independent arithmetic progressions

We show that for every fixed A > 0 and θ > 0 there is a ϑ = ϑ(A, θ) > 0 with the following property. Let n be odd and sufficiently large, and let Q ₁ = Q ₂:= n ^1/2(log n)^−ϑ and Q ₃:= (log n) ^θ . Then for all q ₃ ≦ Q ₃, all reduced residues a ₃ mod q ₃, almost all q ₂ ≦ Q ₂, all admissible residues a ₂ mod q ₂, almost all q ₁ ≦ Q ₁ and all admissible residues a ₁ mod q ₁, there exists a representation n = p ₁ + p ₂ + p ₃ with primes p _i ≡ a _i (q _i ), i = 1, 2, 3.      

A q-analogue of the FKG inequality and some applications

Let L be a finite distributive lattice and μ: L → ℝ⁺ a log-supermodular function. For functions k: L → ℝ⁺ let

New class of polynomials

Summary For the simple Bessel polynomials y_n(x), the Rodrigues' formula is y_n(x)==2⁻ⁿe^2/xDⁿ(x²ⁿe^−2/x). The present work generalizes the idea of the simple. Bessel polynomials of Krall-Frink. It is of great interest to investigate the class of polynomials which are closely connected with the Rodrigues' expression e^3/xDⁿ(x³ⁿe^−3/x) or more generally with e^k/xDⁿ(x^kne^−k/x).     

Some remarks on the construction of quantum symmetric spaces

We present a general survey of some recent developments regarding the construction of compact quantum symmetric spaces and the analysis of their zonal spherical functions in terms of q-orthogonal polynomials. In particular, we define a one-parameter family of two-sided coideals in U _q(g(n, )) and express the zonal spherical functions on the corresponding quantum projective spaces as Askey-Wilson polynomials containing two continuous and one discrete parameter.The author acknowledges financial support by the Japan Society for the Promotion of Science (JSPS) and the Netherlands Organization for Scientific Research (NWO).     

Orthogonal polynomials associated to a certain fourth order differential equation

We introduce orthogonal polynomials M_j^m,l(x)M_{j}^{\mu,\ell}(x) as eigenfunctions of a certain self-adjoint fourth order differential operator depending on two parameters μ∈ℂ and ℓ∈ℕ₀.     

Source-type solutions of degenerate diffusion equations with absorption

The object of this paper is to study the existence of a solution of the Cauchy problemu _t=Δu^m−u^p, u(x,0)=δ(x) and when a solution exists, to study its behaviour ast→0.