A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

New Coins from Old, Smoothly

Given a (known) function f:[0,1]→(0,1), we consider the problem of simulating a coin with probability of heads f(p) by tossing a coin with unknown heads probability p, as well as a fair coin, N times each, where N may be random. The work of Keane and O’Brien (ACM Trans. Model. Comput. Simul. 4(2):213–219, 1994) implies that such a simulation scheme with the probability ℙ _p (N<∞) equal to 1 exists if and only if f is continuous. Nacu and Peres (Ann. Appl. Probab. 15(1A):93–115, 2005) proved that f is real analytic in an open set S⊂(0,1) if and only if such a simulation scheme exists with the probability ℙ _p (N>n) decaying exponentially in n for every p∈S. We prove that for α>0 noninteger, f is in the space C ^α [0,1] if and only if a simulation scheme as above exists with ℙ _p (N>n)≤C(Δ _n (p)) ^α , where \varDelta _n(x):=max{?{x(1-x)/n},1/n}\varDelta _{n}(x):=\max\{\sqrt{x(1-x)/n},1/n\}. The key to the proof is a new result in approximation theory: Let B⁺_n\mathcal{B}^{+}_{n} be the cone of univariate polynomials with nonnegative Bernstein coefficients of degree n. We show that a function f:[0,1]→(0,1) is in C ^α [0,1] if and only if f has a series representation ?_n=1^￥F_n\sum_{n=1}^{\infty}F_{n} with F_n ? B⁺_nF_{n}\in \mathcal{B}^{+}_{n} and ∑ _k>n F _k (x)≤C(Δ _n (x)) ^α for all x∈[0,1] and n≥1. We also provide a counterexample to a theorem stated without proof by Lorentz (Math. Ann. 151:239–251, 1963), who claimed that if some j_n ? B⁺_n\varphi_{n}\in\mathcal{B}^{+}_{n} satisfy |f(x)−φ _n (x)|≤C(Δ _n (x)) ^α for all x∈[0,1] and n≥1, then f∈C ^α [0,1].     

An inequality relating to triple product integrals of laguerre functions

IfL _n(x) is thenth Laguerre polynomial and {ie45-1}, then we can expand the functions {ie45-2} over (0, ∞) in terms of the set {ie45-3}, i.e., {ie45-4}. In this paper we prove, an old-standing conjecture that (−1) ^tK_rt>0 for 0≦t≦r (r=0,1,…); i.e., that, in the sense defined by Trench, the set {ie45-5} is alternating with respect to the set {ie45-6}.     

On conditions for Dirichlet series absolutely convergent in a half-plane to belong to the class of convergence

Let M(σ) = sup{|F(σ + it)|: t ∈ ℝ} and μ(σ) = max {|a _n |exp(σλ_n): n ≥ 0}, σ < 0, for a Dirichlet series {fx995-01} with abscissa of absolute convergence σ_a = 0. We prove that the condition ln ln n = o(ln λ_n), n → ∞, is necessary and sufficient for the equivalence of the relations {fx995-02}, for each series of this type. Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 6, pp. 851–856, June, 2008.     

On simultaneous approximation to a differentiable function and its derivative by inverse Pal-Type interpolation polynomials

Let ξ_{n −1} < ξ_{n −2} < ξ_{n − 2} < ... < ξ₁ be the zeros of the the (n−1)-th Legendre polynomial P_n−1(x) and −1=x_n<x_n−1<...<x₁=1, the zeros of the polynomial . By the theory of the inverse Pal-Type interpolation, for a function f(x)∈C _[−1,1] ¹ , there exists a unique polynomial R_n(x) of degree 2n−2 (if n is even) satisfying conditions R_n(f, ξ_k) = f (ε_k) (1 ⩽ k ⩽ n −1); R¹ _n(f,x_k)=f¹(x_k)(1≤k≤n). This paper discusses the simultaneous approximation to a differentiable function f by inverse Pal-Type interpolation polynomial {R_n(f, x)} (n is even) and the main result of this paper is that if f∈C _[1,1] ^r , r≥2, n≥r+2, and n is even then |R¹ _n(f,x)−f¹(x)|=0(1)|W_n(x)|h(x)·n^3−r·E_2n−r−3(f^(r)) holds uniformly for all x∈[−1,1], where .     

Asymptotic behavior of positive solutions of fourth-order nonlinear difference equations

We consider a class of fourth-order nonlinear difference equations of the form {fx006-01} where α, β are ratios of odd positive integers and {p _n}, {q _n} are positive real sequences defined for all n ∈ ℕ(n ₀). We establish necessary and sufficient conditions for the existence of nonoscillatory solutions with specific asymptotic behavior under suitable combinations of convergence or divergence conditions for the sums {fx006-02}. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 1, pp. 8–27, January, 2008.     

Analytic Semigroups on C [0,1] Generated by Some Classes of Second Order Differential Operators

C [0,1], α > 0 in (0,1) and α(1), we consider the second order differential operator on C[0,1] defined by Au: = αu″ + βu′, where D(A) may include Wentzell boundary conditions. Under integrability conditions involving √α and β/√α, we prove the analyticity of the semigroup generated by (A,D(A)) on Co[0,1], Cπ[0,1] and on C[0,1], where Co[0,1]: {u∈ C[0,1]|u (1)} and Cπ[0,1]: = {u∈ C[0,1]| u (0) = u (1)}. We also prove different characterizations of D(A) related to some results in [1], where β≡ 0, exhibiting peculiarities of Wentzell boundary conditions. Applications can be derived for the case αx = x ^k (1 - x )^kγ(x )(k≥j/2, x∈ [0,1], γ∈ C{0,1}).     

On convergence of a generalized Pál interpolation process

Let f∈C _[−1,1] ^″ (r≥1) and R_n(f,α,β,x) be the generalized Pál interpolation polynomials satisfying the conditions R_n(f,α,β,x_k)=f(x_k),R_n ^′(f,α,β,x_k)=f′(x_k)(k=1,2,…,n), where {x_k} are the roots of n-th Jacobi polynomial P_n(α,β,x),α,β>−1 and {x _k ^″ } are the roots of (1−x²)P_n″(α,β,x). In this paper, we prove that holds uniformly on [0,1]. In Memory of Professor M. T. Cheng Supported by the Science Foundation of CSBTB and the Natural Science Foundatioin of Zhejiang.     

A remark on the coefficients of bounded polynomials

Let be such that |p(e^iq)|≤1 for ϕ∈R and |p(1)|=a∈[0,1]. An inequality of Dewan and Govil for the sum |a_v|+|a_n|, 0≤u<v≤n is sharpened.     

Korovkin-type theorems and applications

Let {T _n } be a sequence of linear operators on C[0,1], satisfying that {T _n (e _i )} converge in C[0,1] (not necessarily to e _i ) for i = 0,1,2, where e _i = t ⁱ . We prove Korovkin-type theorem and give quantitative results on C ²[0,1] and C[0,1] for such sequences. Furthermore, we define King’s type q-Bernstein operator and give quantitative results for the approximation properties of such operators.      

Negative result in pointwise 3-convex polynomial approximation

Let Δ³ be the set of functions three times continuously differentiable on [−1, 1] and such that f″′(x) ≥ 0, x ∈ [−1, 1]. We prove that, for any n ∈ ℕ and r ≥ 5, there exists a function f ∈ C ^r [−1, 1] ⋂ Δ³ [−1, 1] such that ∥f ^(r)∥ _{C[−1, 1]} ≤ 1 and, for an arbitrary algebraic polynomial P ∈ Δ³ [−1, 1], there exists x such that

Regular left-continuous t-norms

A left-continuous (l.-c.) t-norm ⊙ is called regular if there is an n<ω such that the map x ↦ x⊙a has, for any a∈[0,1], at most n discontinuity points, and if the function mapping every a∈[0,1] to the set behaves in a specifically simple way. The t-norm algebras based on regular l.-c. t-norms generate the variety of MTL-algebras. With each regular l.-c. t-norm, we associate certain characteristic data, which in particular specifies a finite number of constituents, each of which belongs to one out of six different types. The characteristic data determines the t-norm to a high extent; we focus on those t-norms which are actually completely determined by it. Most of the commonly known l.-c. t-norms are included in the discussion. Our main tool of analysis is the translation semigroup of the totally ordered monoid ([0,1];≤,⊙,0,1), which consists of commuting functions from the real unit interval to itself.     

Some simple Haar-type wavelets in higher dimensions

An orthonormal wavelet system in ℝ^d, d ∈ ℕ, is a countable collection of functions {ψ _j,k ^ℓ }, j ∈ ℤ, k ∈ ℤ^d, ℓ = 1,..., L, of the form that is an orthonormal basis for L² (ℝ^d), where a ∈ GL_d (ℝ) is an expanding matrix. The first such system to be discovered (almost 100 years ago) is the Haar system for which L = d = 1, ψ¹(x) = ψ(x) = κ[0,1/2)^(x) − κ_[l/2,1) ^(x), a = 2. It is a natural problem to extend these systems to higher dimensions. A simple solution is found by taking appropriate products Φ(x₁, x₂, ..., x_d) = φ₁ (x₁)φ₂(x₂) ... φ_d(x_d) of functions of one variable. The obtained wavelet system is not always convenient for applications. It is desirable to find “nonseparable” examples. One encounters certain difficulties, however, when one tries to construct such MRA wavelet systems. For example, if a = ( _1-1 ^{1 1} ) is the quincunx dilation matrix, it is well-known (see, e.g., [5]) that one can construct nonseparable Haar-type scaling functions which are characteristic functions of rather complicated fractal-like compact sets. In this work we shall construct considerably simpler Haar-type wavelets if we use the ideas arising from “composite dilation” wavelets. These were developed in [7] and involve dilations by matrices that are products of the form a^jb, j ∈ ℤ, where a ∈ GL_d(ℝ) has some “expanding” property and b belongs to a group of matrices in GL_d(ℝ) having |det b| = 1.     

Uneven Splitting of Ham Sandwiches

Let μ ₁,…,μ _n be continuous probability measures on ? ⁿ and α ₁,…,α _n ∈[0,1]. When does there exist an oriented hyperplane H such that the positive half-space H ⁺ has μ _i (H ⁺)=α _i for all i∈[n]? It is well known that such a hyperplane does not exist in general. The famous Ham Sandwich Theorem states that if $\alpha_{i}=\frac{1}{2}Let μ ₁,…,μ _n be continuous probability measures on ℝ ⁿ and α ₁,…,α _n ∈[0,1]. When does there exist an oriented hyperplane H such that the positive half-space H ⁺ has μ _i (H ⁺)=α _i for all i∈[n]? It is well known that such a hyperplane does not exist in general. The famous Ham Sandwich Theorem states that if a_i=\frac12\alpha_{i}=\frac{1}{2} for all i, then such a hyperplane always exists.     

Spline monotone approximation with linear differential operators

Let f∈C³[a,b] and L be a linear differential operator such that L(f)≥0. Then there exists a sequence Q_n, n≥1, of polynomial splines with equally spaced knots, such that Q^(r), approximates f^(r), 0≤r≤s, simultaneously in the uniform norm. This approximation is given through inequalities with rates, involving a measure of smoothness to f^(s); so that L (Q_n)≥0. The encountered cases are the continuous, periodic and discrete.     

The Besov Space B^{{0,1}}_{1} on Domains

Let Ω be a bounded Lipschitz domain. Define B ^0,1 _{1, r} (Ω) = {f∈L ¹ (Ω): there is an F∈B ^0,1 ₁ (ℝ ⁿ ) such that F|_Ω = f} and B ^0,1 _{1 z} (Ω) = {f∈B ^0,1 ₁ (ℝ ⁿ ) : f = 0 on ℝ ⁿ \}. In this paper, the authors establish the atomic decompositions of these spaces. As by-products, the authors obtained the regularity on these spaces of the solutions to the Dirichlet problem and the Neumann problem of the Laplace equation of ℝ ⁿ ₊. Received June 8, 2000, Accepted October 24, 2000     

On Sikkema-Kantorovič polynomials of order K

Let a_n≥0 and F(u)∈C [0,1], Sikkema constructed polynomials: , ifα _n ≡0, then B_n (0, F, x) are Bernstein polynomials. Let , we constructe new polynomials in this paper: Q _n ^(k) (α _n ,f(t))=d ^k /dx ^k B _n+k (α _n ,F _k (u),x), which are called Sikkema-Kantorovic polynomials of order k. Ifα _n ≡0, k=1, then Q_n ⁽¹⁾ (0, f(t), x) are Kantorovič polynomials P_n(f). Ifα _n =0, k=2, then Q_n ⁽²⁾, (0, f(t), x) are Kantorovič polynomials of second order (see Nagel). The main result is: Theorem 2. Let 1≤p≤∞, in order that for every f∈L^P [0, 1], , it is sufficient and necessary that , § 1. Let f(t) de a continuous function on [a, b], i. e., f∈C [a, b], we define^{[1–2],[8–10]}: . As usual, for the space L^p [a,b](1≤p<∞), we have and L[a, b]=l¹[a, b]. Letα _n ⩾0and F(u)∈C[0,1],Sikkema-Bernstein polynomials ^{[3] [4]}. The author expresses his thanks to Professor M. W. Müller of Dortmund University at West Germany for his supports.     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

Asymptotic properties of the norm of extremum values of normal random elements in the space C[0, 1]

We prove that