RELATIVE WIDTH OF SMOOTH CLASSES OF MULTIVARIATE PERIODIC FUNCTIONS WITH RESTRICTIONS ON ITERATED LAPLACE DERIVATIVES IN THE L2-METRIC

For two subsets W and V of a Banach space X, let Kn(W, V, X) denote the relative Kolmogorov n-width of W relative to V defined by Kn (W, V, X) := inf sup Ln f∈W g∈V∩Ln inf ‖f-g‖x,where the infimum is taken over all n-dimensional linear subspaces Ln of X. Let W2(△r) denote the class of 2w-periodic functions f with d-variables satisfying ∫[-π,π]d |△rf(x)|2dx ≤ 1,while △r is the r-iterate of Laplace operator △. This article discusses the relative Kolmogorov n-width of W2(△r) relative to W2(△r) in Lq([-r, πr]d) (1 ≤ q ≤∞), and obtain its weak asymptotic result.     

Bounds on margin distributions in learning problems

Let be a probability space and let P_n be the empirical measure based on i.i.d. sample (X₁,…,X_n) from P. Let be a class of measurable real valued functions on For define F_f(t):=P{ft} and F_n,f(t):=P_n{ft}. Given γ(0,1], define _n,γ(δ):=1/(n^1−γ/2δ^γ). We show that if the L₂(P_n)-entropy of the class grows as ^−α for some α(0,2), then, for all and all δ(0,Δ_n), Δ_n=O(n^1/2),

and

where and c(σ)↓1 as σ↓0 (the above inequalities hold for any fixed σ(0,1] with a high probability). Also, define

Then for all

uniformly in and with probability 1 (for the above ratio is bounded away from 0 and from ∞). The results are motivated by recent developments in machine learning, where they are used to bound the generalization error of learning algorithms. We also prove some more general results of similar nature, show the sharpness of the conditions and discuss the applications in learning theory.     

The asymptotic behavior of the solutions of the Cauchy problem generated by -accretive operators

The purpose of this paper is to study the asymptotic behavior of the solutions of certain type of differential inclusions posed in Banach spaces. In particular, we obtain the abstract result on the asymptotic behavior of the solution of the boundary value problem

where Ω is a bounded open domain in with smooth boundary ∂Ω, f(t,x) is a given L¹-function on ]0,∞[×Ω, γ1 and 1p<∞. Δ_p represents the p-Laplacian operator, is the associated Neumann boundary operator and β a maximal monotone graph in with 0β(0).     

Asymptotics for Lp extremal polynomials on the unit circle

Let p > 1, and dμ a positive finite Borel measure on the unit circle Γ: = {z ε C: ¦z¦ = 1}. Define the monic polynomial φ_{n, p}(z)=zⁿ+…εP_n >(the set of polynomials of degree at most n) satisfying

Full-size image

. Under certain conditions on dμ, the asymptotics of φ_{n, p}(z) for z outside, on, or inside Γ are obtained (cf. Theorems 2.2 and 2.4). Zero distributions of φ_{n, p} are also discussed (cf. Theorems 3.1 and 3.2).     

Orthogonal Rational Functions and Nested Disks

In Akhiezer's book [“The Classical Moment Problem and Some Related Questions in Analysis,” Oliver & Boyd, Edinburghasol;London, 1965] the uniqueness of the solution of the Hamburger moment problem, if a solution exists, is related to a theory of nested disks in the complex plane. The purpose of the present paper is to develop a similar nested disk theory for a moment problem that arises in the study of certain orthogonal rational functions. Let {α_n}^∞_n=0be a sequence in the open unit disk in the complex plane, let

Full-size image

( /|α_k|=−1 whenα_k=0), and let

Full-size image

We consider the following “moment” problem: Given a positive-definite Hermitian inner product ·, · on × , find a non-decreasing functionμon [−π, π] (or a positive Borel measureμon [−π,π)) such that

Full-size image

In particular we give necessary and sufficient conditions for the uniqueness of the solution in the case that If this series diverges the solution is always unique.     

Quadrature formulae connected to σ-orthogonal polynomials

Let dλ(t) be a given nonnegative measure on the real line , with compact or infinite support, for which all moments exist and are finite, and μ₀>0. Quadrature formulas of Chakalov–Popoviciu type with multiple nodes

where σ=σ_n=(s₁,s₂,…,s_n) is a given sequence of nonnegative integers, are considered. A such quadrature formula has maximum degree of exactness d_max=2∑_ν=1ⁿs_ν+2n−1 if and only if

The proof of the uniqueness of the extremal nodes τ₁,τ₂,…,τ_n was given first by Ghizzetti and Ossicini (Rend. Mat. 6(8) (1975) 1–15). Here, an alternative simple proof of the existence and the uniqueness of such quadrature formulas is presented. In a study of the error term R(f), an influence function is introduced, its relevant properties are investigated, and in certain classes of functions the error estimate is given. A numerically stable iterative procedure, with quadratic convergence, for determining the nodes τ_ν, ν=1,2,…,n, which are the zeros of the corresponding σ-orthogonal polynomial, is presented. Finally, in order to show a numerical efficiency of the proposed procedure, a few numerical examples are included.     

Weighted Hardy inequalities

For bounded Lipschitz domains D in it is known that if 1<p<∞, then for all β[0,β₀), where β₀=p−1>0, there is a constant c<∞ with

for all . We show that if D is merely assumed to be a bounded domain in that satisfies a Whitney cube-counting condition with exponent λ and has plump complement, then the same inequality holds with β₀ now taken to be . Further, we extend the known results (see [H. Brezis, M. Marcus, Hardy's inequalities revisited, Dedicated to Ennio De Giorgi, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 25 (1997–1998) 217–237; M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, A. Laptev, A geometrical version of Hardy's inequality, J. Funct. Anal. 189 (2002) 537–548; J. Tidblom, A geometrical version of Hardy's inequality for W^1,p(Ω), Proc. Amer. Math. Soc. 132 (2004) 2265–2271]) concerning the improved Hardy inequality

c=c(n,p), by showing that the class of domains for which the inequality holds is larger than that of all bounded convex domains.     

Estimation of dimension functions of band-limited wavelets

The dimension function D_ψ of a band-limited wavelet ψ is bounded by n if its Fourier transform is supported in [−(2ⁿ⁺²/3)π,(2ⁿ⁺²/3)π]. For each and for each , 0<<δ=δ(n), we construct a wavelet ψ with supp

Full-size image

such that D_ψ>n on a set of positive measure, which proves that [−(2ⁿ⁺²/3)π,(2ⁿ⁺²/3)π] is the largest symmetric interval for estimating the dimension function by n. This construction also provides a family of (uncountably many) wavelet sets each consisting of infinite number of intervals.     

Estimates for n-widths of the Hardy-type operators (Addendum to “Improved estimates for the approximation numbers of the Hardy-type operators”)

Consider the Hardy-type operator T : L^p(a,b)→L^p(a,b),-∞a<b∞, which is defined by

It is shown that

where ρ_n(T) stands for any of the following: the Kolmogorov n-width, the Gel’fand n-width, the Bernstein n-width or the nth approximation number of T.     

Singular boundary value problems for the one-dimension p-Laplacian

The singular boundary value problem

where φ(s)=|s|^p−2s, p>1, is studied in this paper. The singularity may appear at u=0, t=0 and t=1, and the function g may change sign. The existence of solutions is obtained via an upper and lower solution method.     

Kamenev-type oscillation criteria for delay difference equations

Some oscillation criteria are established by Raccati transformation techniques for the following second-order nonlinear neutral difference equation Δ(pn(Δ(xn cnxn-τ))γ) qnxβn-σ=0,n=0,1,2…which extend and include several oscillation criteria in [11], and also correct a theorem and its proof in [10].     

Representations for the first associated q-classical orthogonal polynomials

Let {p_k(x; q)} be any system of the q-classical orthogonal polynomials, and let be the corresponding weight function, satisfying the q-difference equation D_q(σ)=τ, where σ and τ are polynomials of degree at most 2 and exactly 1, respectively. Further, let {p_k⁽¹⁾(x;q)} be associated polynomials of the polynomials {p_k(x; q)}. Explicit forms of the coefficients b_n,k and c_n,k in the expansions

are given in terms of basic hypergeometric functions. Here _k(x) equals x^k if σ⁺(0)=0, or (x;q)_k if σ⁺(1)=0, where σ⁺(x)σ(x)+(q−1)xτ(x). The most important representatives of those two classes are the families of little q-Jacobi and big q-Jacobi polynomials, respectively.Writing the second-order nonhomogeneous q-difference equation satisfied by p_n−1⁽¹⁾(x;q) in a special form, recurrence relations (in k) for b_n,k and c_n,k are obtained in terms of σ and τ.     

On the limiting behavior of the maximum partial sums for arrays of rowwise NA random variables

Let {Xni, 1 ≤ n,i ＜∞} be an array of rowwise NA random variables and {an, n ≥ 1} a sequence of constants with 0 ＜ an ↑∞. The limiting behavior of maximum partial sums 1/an max 1≤k≤n| kΣi=1 Xni| is investigated and some new results are obtained. The results extend and improve the corresponding theorems of rowwise independent random variable arrays by Hu and Taylor [1] and Hu and Chang [2].     

On Chebyshev–Markov Rational Functions over Several Intervals

Chebyshev–Markov rational functions are the solutions of the following extremal problem

Full-size image

withKbeing a compact subset of andω_n(x) being a fixed real polynomial of degree less thann, positive onK. A parametric representation of Chebyshev–Markov rational functions is found forK=[b₁, b₂]…[b_2p−1, b_2p], −∞<b₁b₂<…<b_2p−1b_2p<+∞ in terms of Schottky–Burnside automorphic functions.     

Permanence and global stability in a Lotka-Volterra predator-prey system with delays

Consider the permanence and global asymptotic stability of models governed by the following Lotka-Volterra-type system:

, with initial conditions

x_i(t) = φ_i(t) ≥ o, t ≤ t₀, and φ_i(t₀) > 0. 1 ≤ i ≤n

. We define x₀(t) = x_n+1(t)≡0 and suppose that φ_i(t), 1 ≤ i ≤ n, are bounded continuous functions on [t₀, + ∞) and γ_i, α_i, c_i > 0,γ_i,j ≥ 0, for all relevant i,j.Extending a technique of Saito, Hara and Ma[1] for n = 2 to the above system for n ≥ 2, we offer sufficient conditions for permanence and global asymptotic stability of the solutions which improve the well-known result of Gopalsamy.     

A Singular Riesz Product in the Nevai Class and Inner Functions with the Schur Parameters in ∩p>2 l

There exist singular Riesz products dσ=∏^∞_κ=1 (1+Re(α_κζ^n_κ)) on the unit circle with the parameters (a_n)_n0 of orthogonal polynomials in L²(dσ) satisfying ∑^∞_n=0 |a_n|^p<+∞ for every p, p>2. The Schur parameters of the inner factor of the Cauchy integral ∫ (ζ−z)⁻¹ dσ(ζ), σ being such a Riesz product, belong to ∩_p>2 l^p.     

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.     

Best polynomial and durrmeyer approximation in Lp(S)

On a simplex SR^d, the best polynomial approximation is E_n()_Lp(S)=Inf{P_n−_Lp(S): P_n of total degree n}. The Durrmeyer modification, M_n, of the Bernstein operator is a bounded operator on L_p(S) and has many “nice” properties, most notably commutativity and self-adjointness. In this paper, relations between M_n−z.dfnc;_Lp(S) and E_[√n]()_Lp(S) will be given by weak inequalities will imply, for 0<α<1 and 1≤p≤∞, E_n()_Lp(S)=O(n^-2α)M_n−z.dfnc;_Lp(S)=O(n^-α). We also see how the fact that P(D)εL_p(S) for the appropriate P(D) affects directional smoothness.     

On piecewise-polynomial approximation of functions with a bounded fractional derivative in an Lp-norm

We study the error in approximating functions with a bounded (r + α)th derivative in an L_p-norm. Here r is a nonnegative integer, α ε [0, 1), and ƒ^{(r + α)} is the classical fractional derivative, i.e., ƒ^{(r + α)}(y) = ∝₀¹, ^α d(ƒ^(r)(t)). We prove that, for any such function ƒ, there exists a piecewise-polynomial of degree s that interpolates ƒ at n equally spaced points and that approximates ƒ with an error (in sup-norm) ƒ^{(r + α)}_p O(n^{−(r+α−1/p}). We also prove that no algorithm based on n function and/or derivative values of ƒ has the error equal ƒ^{(r + α)}_p O(n^{−(r+α−1/p}) for any ƒ. This implies the optimality of piecewise-polynomial interpolation. These two results generalize well-known results on approximating functions with bounded rth derivative (α = 0). We stress that the piecewise-polynomial approximation does not depend on α nor on p. It does not depend on the exact value of r as well; what matters is an upper bound s on r, s r. Hence, even without knowing the actual regularity (r, α, and p) of ƒ, we can approximate the function ƒ with an error equal (modulo a constant) to the minimal worst case error when the regularity were known.