A Minimax Problem Admitting the Equioscillation Characterization of Bernstein and Erd?s

This paper shows that under certain conditions a solution of the minimax problem min_{a<x1<…<xn<b} max_1in+1 f_i(x₁, …, x_n) admits the equioscillation characterizations of Bernstein and Erd s and has strong uniqueness. This problem includes as a particular example the optimal Lagrange interpolation problem.     

On Sobolev Orthogonality for the Generalized Laguerre Polynomials

The orthogonality of the generalized Laguerre polynomials, {L^(α)_n(x)}_n0, is a well known fact when the parameterαis a real number but not a negative integer. In fact, for −1<α, they are orthogonal on the interval [0, +∞) with respect to the weight functionρ(x)=x^αe^−x, and forα<−1, but not an integer, they are orthogonal with respect to a non-positive definite linear functional. In this work we will show that, for every value of the real parameterα, the generalized Laguerre polynomials are orthogonal with respect to a non-diagonal Sobolev inner product, that is, an inner product involving derivatives.     

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.     

Markov-Type Inequalities for Products of Müntz Polynomials

Let Λ(λ_j)^∞_j=0 be a sequence of distinct real numbers. The span of {x^λ₀, x^λ₁, …, x^λ_n} over is denoted by M_n(Λ)span{x^λ₀, x^λ₁, …, x^λ_n}. Elements of M_n(Λ) are called Müntz polynomials. The principal result of this paper is the following Markov-type inequality for products of Müntz polynomials. T 2.1. LetΛ(λ_j)^∞_j=0andΓ(γ_j)^∞_j=0be increasing sequences of nonnegative real numbers. Let

Full-size image

Then

Full-size image

18(n+m+1)(λ_n+γ_m).In particular ,

Full-size image

Under some necessary extra assumptions, an analog of the above Markov-type inequality is extended to the cases when the factor x is dropped, and when the interval [0, 1] is replaced by [a, b](0, ∞).     

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.     

Asymptotic Behavior of Heat Kernels on Spheres of Large Dimensions

Forn2, let (μ^x_τ, n)_τ0be the distributions of the Brownian motion on the unit sphereS^{n n+1}starting in some pointxSⁿ. This paper supplements results of Saloff-Coste concerning the rate of convergence ofμ^x_τ, nto the uniform distributionU_nonSⁿforτ→∞ depending on the dimensionn. We show that,[formula]forτ_n:=(ln n+2s)/(2n), where erf denotes the error function. Our proof depends on approximations of the measuresμ^x_τ, nby measures which are known explicitly via Poisson kernels onSⁿ, and which tend, after suitable projections and dilatations, to normal distributions on forn→∞. The above result as well as some further related limit results will be derived in this paper in the slightly more general context of Jacobi-type hypergroups.     

Strong and weak convergence theorems for asymptotically nonexpansive mappings

Suppose K is a nonempty closed convex nonexpansive retract of a real uniformly convex Banach space E with P as a nonexpansive retraction. Let T :K→E be an asymptotically nonexpansive nonself-map with sequence {k_n}_n1[1,∞), limk_n=1, F(T):={xK: Tx=x}≠. Suppose {x_n}_n1 is generated iteratively by

where {α_n}_n1(0,1) is such that ε<1−α_n<1−ε for some ε>0. It is proved that (I−T) is demiclosed at 0. Moreover, if ∑_n1(k_n²−1)<∞ and T is completely continuous, strong convergence of {x_n} to some x^*F(T) is proved. If T is not assumed to be completely continuous but E also has a Fréchet differentiable norm, then weak convergence of {x_n} to some x^*F(T) is obtained.     

A Kernel Estimator of a Conditional Quantile

Let (X₁, Y₁), (X₂, Y₂), …, be two-dimensional random vectors which are independent and distributed as (X, Y). For 0<p<1, letξ(px) be the conditionalpth quantile ofYgivenX=x; that is,ξ(px)=inf{y : P(YyX=x)p}. We consider the problem of estimatingξ(px) from the data (X₁, Y₁), (X₂, Y₂), …, (X_n, Y_n). In this paper, a new kernel estimator ofξ(px) is proposed. The asymptotic normality and a law of the iterated logarithm are obtained.     

Enumeration of perfect matchings of graphs with reflective symmetry by Pfaffians

The Pfaffian method enumerating perfect matchings of plane graphs was discovered by Kasteleyn. We use this method to enumerate perfect matchings in a type of graphs with reflective symmetry which is different from the symmetric graphs considered in [J. Combin. Theory Ser. A 77 (1997) 67, MATCH—Commun. Math. Comput. Chem. 48 (2003) 117]. Here are some of our results: (1) If G is a reflective symmetric plane graph without vertices on the symmetry axis, then the number of perfect matchings of G can be expressed by a determinant of order |G|/2, where |G| denotes the number of vertices of G. (2) If G contains no subgraph which is, after the contraction of at most one cycle of odd length, an even subdivision of K_2,3, then the number of perfect matchings of G×K₂ can be expressed by a determinant of order |G|. (3) Let G be a bipartite graph without cycles of length 4s, s{1,2,…}. Then the number of perfect matchings of G×K₂ equals ∏(1+θ²)^m_θ, where the product ranges over all non-negative eigenvalues θ of G and m_θ is the multiplicity of eigenvalue θ. Particularly, if T is a tree then the number of perfect matchings of T×K₂ equals ∏(1+θ²)^m_θ, where the product ranges over all non-negative eigenvalues θ of T and m_θ is the multiplicity of eigenvalue θ.     

Rate of Convergence of Positive Series

We investigate the rate of convergence of series of the form

DIRICHLET PROBLEMS FOR STATIONARY VON NEUMANN-LANDAU WAVE EQUATIONS

In this article, we are concerned with the Dirichlet problem of the stationary von Neumann-Landau wave equation：
{（-△x＋△y）φ（x,y）=0,x,y∈Ω
φ｜δΩxδΩ=f
where Ω is a bounded domain in R^n. By introducing anti-inner product spaces, we show the existence and uniqueness of the generalized solution for the above Dirichlet problem by functional-analytic methods.     

Estimates of Freud-Christoffel functions for some weights with the whole real line as support

Upper and lower bounds for generalized Christoffel functions, called Freud-Christoffel functions, are obtained. These have the form λ_n,p(W,j,x) = infPW_Lp(R)/|P^(j)(X)| where the infimum is taken over all polynomials P(x) of degree at most n − 1. The upper and lower bounds for λ_n,p(W,j,x) are obtained for all 0 < p ∞ and J = 0, 1, 2, 3,… for weights W(x) = exp(−Q(x)), where, among other things, Q(x) is bounded in [− A, A], and Q″ is continuous in β(−A, A) for some A > 0. For p = ∞, the lower bounds give a simple proof of local and global Markov-Bernstein inequalities. For p = 2, the results remove some restrictions on Q in Freud's work. The weights considered include W(x) = exp(− ¦x¦^α/2), α > 0, and W(x) = exp(− exp(¦x¦)), > 0.     

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.     

Set-Indexed Conditional Empirical and Quantile Processes Based on Dependent Data

We consider a conditional empirical distribution of the form F_n(C x)=∑ⁿ_t=1 ω_n(X_t−x) I{Y_tC} indexed by C , where {(X_t, Y_t), t=1, …, n} are observations from a strictly stationary and strong mixing stochastic process, {ω_n(X_t−x)} are kernel weights, and is a class of sets. Under the assumption on the richness of the index class in terms of metric entropy with bracketing, we have established uniform convergence and asymptotic normality for F_n(· x). The key result specifies rates of convergences for the modulus of continuity of the conditional empirical process. The results are then applied to derive Bahadur–Kiefer type approximations for a generalized conditional quantile process which, in the case with independent observations, generalizes and improves earlier results. Potential applications in the areas of estimating level sets and testing for unimodality (or multimodality) of conditional distributions are discussed.     

Fractional Modified Dyadic Integral and Derivative on ℝ<Subscript>+</Subscript>

For functions in the Lebesgue space L(ℝ₊), a modified strong dyadic integral J _α and a modified strong dyadic derivative D ^(α) of fractional order α > 0 are introduced. For a given function f ∈ L(ℝ₊), criteria for the existence of these integrals and derivatives are obtained. A countable set of eigenfunctions for the operators J _α and D ^(α) is indicated. The formulas D ^(α)(J ^α(f)) = f and J _α(D ^(α)(f)) = f are proved for each α > 0 under the condition that . We prove that the linear operator is unbounded, where is the natural domain of J _α. A similar statement for the operator is proved. A modified dyadic derivative d ^(α)(f)(x) and a modified dyadic integral j _α(f)(x) are also defined for a function f ∈ L(ℝ₊) and a given point x ∈ ℝ₊. The formulas d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) are shown to be valid at each dyadic Lebesgue point x ∈ ℝ₊ of f.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 64–70, 2005Original Russian Text Copyright © by B. I. GolubovSupported by the Russian Foundation for Basic Research (grant no. 05-01-00206).     

Asymptotic behaviour of nonlinear parabolic equations with critical exponents. A dynamical systems approach

We investigate the large-time behaviour of solutions to the nonlinear heat-conduction equation with absorption u_t = Δ(u^{σ + 1}) − u^β in Q = R^N × (0, ∞) (E) with N 1, σ > 0 and critical absorption exponent β = σ + 1 + 2/N; the initial function u(x, 0) = 0 is assumed to be integrable, nonnegative and compactly supported. We prove that u converges as t → ∞ to a unique self-similar function which is a contracted version of one of the asymptotic profiles of the nonabsorptive problem u_t = Δ(u^{σ + 1}), the same for any initial data. The cornerstone of the proof is a result about ω-limits of (infinite-dimensional) asymptotical dynamical systems. Combining this result with an asymptotic evaluation of the mass function as well as typical PDE estimates gives the behaviour of (E) for large times.Similar unusual asymptotic behaviour is obtained for the equation u_t = div(¦Du¦^σ Du) − u^β with same conditions on σ and u(x, 0) and critical value for β = σ + 1 + (σ + 2)/N.     

The Divergence of Lagrange Interpolation for |x| at Equidistant Nodes

In 1918 S. N. Bernstein published the surprising result that the sequence of Lagrange interpolation polynomials to |x| at equally spaced nodes in [−1, 1] diverges everywhere, except at zero and the end-points. In the present paper, we prove that the sequence of Lagrange interpolation polynomials corresponding to |x|^α (0<α1) on equidistant nodes in [−1, 1] diverges everywhere in the interval except at zero and the end-points.     

A sufficient condition for pairing problem of generators in symmetrizable Kac–Moody algebras

In a symmetrizable Kac–Moody algebra g(A), let α=∑_i=1ⁿk_iα_i be an imaginary root satisfying k_i>0 and α,α_i<0 for i=1,2,…,n. In this paper, it is proved that for any x_αg_α{0}, satisfying [x_α,f_n]≠0 and [x_α,f_i]=0 for i=1,2,…,n−1, there exists a vector y such that the subalgebra generated by x_α and y contains g′(A), the derived subalgebra of g(A).     

Transformations preserving normality and Wishart-ness

Let R^n×p, (n), Gl(p) and ₊(p) denote respectively the set of n×p matrices, the set of n×n orthogonal matrices, the set of p×p nonsingular matrices and the set of p × p positive definite matrices. In this paper, it is first shown that a bijective and bimeasurable transformation (BBT) g on R^p≡R^p×1 preserving the multivariate normality of N_p(μ, Σ) for fixed μ=μ₁, μ₂ (μ₁≠μ₂) and for all Σ ₊(p) is of the form g(x)=Ax+b a.e. for some (A, b)Gl(p)×R^p. Second, a BBT g on R^n×p preserving the form for certain 's and all Σ ₊(p) is shown to be of the form g(x)=QxA+E a.e. for some (Q, A, E) (n)×Gl(p)×R^n×p. Third, a BBT h on ₊(p) preserving the Wishart-ness of W_p(Σ, m) (m≥p) for all Σ ₊(p) is shown to be of the form h(w)=A′wA a.e. for some AGl(p). Fourth, a BBT k(x, w)=(k₁(x, w), k₂(x, w)) on R^n×p× ₊(p) which preserves the form of for certain 's and all Σ ₊(p) is shown to be of the form k(x, w)=(QxA+E, A′wA) a.e. for some (Q, A, E) (n)×Gl(p)×R^n×p.