Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

Metrics in the sphere of a C*-module

Given a unital C*-algebra and a right C*-module over , we consider the problem of finding short smooth curves in the sphere = {x ∈ : 〈x, x〉 = 1}. Curves in are measured considering the Finsler metric which consists of the norm of at each tangent space of . The initial value problem is solved, for the case when is a von Neumann algebra and is selfdual: for any element x ₀ ∈ and any tangent vector ν at x ₀, there exists a curve γ(t) = e ^tZ (x ₀), Z ∈ , Z* = −Z and ∥Z∥ ≤ π, such that γ(0) = x ₀ and (0) = ν, which is minimizing along its path for t ∈ [0, 1]. The existence of such Z is linked to the extension problem of selfadjoint operators. Such minimal curves need not be unique. Also we consider the boundary value problem: given x ₀, x ₁ ∈ , find a curve of minimal length which joins them. We give several partial answers to this question. For instance, let us denote by f ₀ the selfadjoint projection I − x ₀ ⊗ x ₀, if the algebra f ₀ f ₀ is finite dimensional, then there exists a curve γ joining x ₀ and x ₁, which is minimizing along its path.      

Small zeros of additive forms in several variables

Letf(X) be an additive form defined by

Existence of Positive Solutions for Singular Second-order<Emphasis Type="Italic">m</Emphasis>-Point Boundary Value Problems

Abstract   The singular second-order m-point boundary value problem

On matroid intersections

This paper exploits and extends results of Edmonds, Cunningham, Cruse and McDiarmid on matroid intersections. Letr ₁ andr ₂ be rank functions of two matroids defined on the same setE. For everyS ⊂E, letr ₁₂(S) be the largest cardinality of a subset ofS independent in both matroids, 0≦k≦r ₁₂(E)−1. It is shown that, ifc is nonnegative and integral, there is ay: 2 ^E →Z ⁺ which maximizes and , subject toy≧0, ∀j∈E, .     

Approximation of several dimensional functions by trigonometric polynomials

Let f(x, y) be a periodic function defined on the region D

Strong Cesàro summability of double Fourier integrals

We prove the following theorem. Assume f ∈ L ^∞(R ²) with bounded support. If f is continuous at some point (x ₁,x ₂) ∈ R ², then the double Fourier integral of f is strongly q-Cesàro summable at (x ₁,x ₂) to the function value f(x ₁,x ₂) for every 0 < q < ∞. Furthermore, if f is continuous on some open subset of R ², then the strong q-Cesàro summability of the double Fourier integral of f is locally uniform on . Research partially supported by the Australian Research Council and the Hungarian National Foundation for Scientific Research under Grant T 046 192.     

Some remarks on trigonometric sums

Let

Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

Convergence of the method of chords for solving generalized equations

In this article, we study an iterative procedure of the following form

Fourier and Hermite series estimates of regression functions

Summary In the paper we estimate a regressionm(x)=E {Y|X=x} from a sequence of independent observations (X ₁,Y ₁),…, (X _n, Y_n) of a pair (X, Y) of random variables. We examine an estimate of a type , whereN depends onn andϕ _N is Dirichlet kernel and the kernel associated with the hermite series. Assuming, that E|Y|<∞ and |Y|≦γ≦∞, we give condition for to converge tom(x) at almost allx, provided thatX has a density. if the regression hass derivatives, then converges tom(x) as rapidly asO(nC^{−(2s−1)/4s}) in probability andO(n ^{−(2s−1)/4s} logn) almost completely.     

Optimal interpolation of convergent algebraic series

Let , –1<x ₁<...<x _n <1. Denote , t∈(–1,1). Given a function f∈W we try to recover f(ζ) at fixed point ζ∈(–1,1) by an algorithm A on the basis of the information f(x ₁),...,f(x _n ). We find the intrinsic error of recovery . This work is supported by RFBR (grant 07-01-00167-a and grant 06-01-00003).     

Biconvex sets and optimization with biconvex functions: a survey and extensions

The problem of optimizing a biconvex function over a given (bi)convex or compact set frequently occurs in theory as well as in industrial applications, for example, in the field of multifacility location or medical image registration. Thereby, a function is called biconvex, if f(x,y) is convex in y for fixed x∈X, and f(x,y) is convex in x for fixed y∈Y. This paper presents a survey of existing results concerning the theory of biconvex sets and biconvex functions and gives some extensions. In particular, we focus on biconvex minimization problems and survey methods and algorithms for the constrained as well as for the unconstrained case. Furthermore, we state new theoretical results for the maximum of a biconvex function over biconvex sets. J. Gorski and K. Klamroth were partially supported by a grant of the German Research Foundation (DFG).     

On a class of nonlinear problems involving a p(x)-Laplace type operator

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a smooth bounded domain in ℝ ^N . Our attention is focused on two cases when , where m(x) = max{p ₁(x), p ₂(x)} for any x ∈ or m(x) < q(x) < N · m(x)/(N − m(x)) for any x ∈ . In the former case we show the existence of infinitely many weak solutions for any λ > 0. In the latter we prove that if λ is large enough then there exists a nontrivial weak solution. Our approach relies on the variable exponent theory of generalized Lebesgue-Sobolev spaces, combined with a ℤ₂-symmetric version for even functionals of the Mountain Pass Theorem and some adequate variational methods.     

A limit theorem for the moments of sums of independent random variables

Forn≧1, letS _n=ΣX _n,i (1≦i≦r _n <∞), where the summands ofS _n are independent random variables having medians bounded in absolute value by a finite number which is independent ofn. Letf be a nonnegative function on (− ∞, ∞) which vanishes and is continuous at the origin, and which satisfies, for some for allt≧1 and all values ofx. Theorem.For centering constants c _n,let S _n − c _n converge in distribution to a random variable S. (A)In order that Ef(S_n − c_n) converge to a limit L, it is necessary and sufficient that there exist a common limit (B)If L exists, then L<∞ if and only if R<∞, and when L is finite, L=Ef(S)+R. Applications are given to infinite series of independent random variables, and to normed sums of independent, identically distributed random variables.     

Singular Integrals and Potential Theory

In this paper I consider a class of non-standard singular integrals motivated by potential theoretic and probabilistic considerations. The probabilistic applications, which are by far the most interesting part of this circle of ideas, are only outlined in Section 1.5: They give the best approximation of the solution of the classical Dirichlet problem in a Lipschitz domain by the corresponding solution by finite differences. The potential theoretic estimate needed for this gives rise to a natural duality between the L _p functions on the boundary ∂Ω and a class of functions A on Ω that was first considered by Dahlberg. The actual duality is given by ∫_Ω S f(x)A(x)dx = (f, A) where S f(x) = ∫_∂Ω |x − y|¹⁻ⁿ f(y)dy is the Newtonian potential. We can identify the upper half Lipschitz space with in the obvious way and express for an appropriate kernel K. It is the boundedness properties of the above (for , ) that is the essential part of this work. This relates with more classical (but still “rough”) singular integrals that have been considered by Christ and Journé. Lecture held in the Seminario Matematico e Fisico on March 14, 2005 Received: April 2007     

A note on the crossed product $$ \mathcal{R}(\mathcal{A},\alpha ) $$ associated with PSL2(ℝ)

Given the hyperbolic measure dxdy/y ² on the upper half plane ℍ, the rational actions of PSL₂(ℝ) on ℍ induces a continuous unitary representation α of this group on the Hilbert space L ²(ℍ, dxdy/y ²). Supposing that = {M _f : f ∈ L ^∞ (ℍ, dxdy/y ²)}, we show that the crossed product is of type I. In fact, the crossed product is *-isomorphic to the von Neumann algebra , where is the abelian group von Neumann algebra generated by the left regular representation of K. This work was supported by the Youth Foundation of Sichuan Education Department of China (Grant No. 2003B017)     

Homogenization of two-phase metrics and applications

We consider two-phase metrics of the form ϕ(x, ξ) ≔ , where α,β are fixed positive constants and B _α, B _β are disjoint Borel sets whose union is ℝ^N, and prove that they are dense in the class of symmetric Finsler metrics ϕ satisfying

Coconvex Pointwise Approximation

Assume that a function f C[–1, 1] changes its convexity at a finite collection Y := {y ₁, ... y _s} of s points y _i (–1, 1). For each n > N(Y), we construct an algebraic polynomial P _n of degree n that is coconvex with f, i.e., it changes its convexity at the same points y _i as f and

Asymptotic behavior of the solutions of an integrodifferential system

Summary We consider the system(L): , t ⩾ p, y(t)=f(t), t⩽0, where y is an n-vector and each A_i, B(t) are n × n matrices. System(L) generates a semigroup by means of T_tf(s)=y (t+s, f), f(s) ∈ BC_l(− ∞, 0]. Under some hypotheses concerning the roots ofdet where is the Laplace transform of B(t), the asymptotic behavior of y(t) is discussed. Two typical results are: Theorem 3.1: suppose ∥B(t)∥ ɛ L₁[0, ∞), thendet forRe λ>0 iff for every ɛ>0 there is an M_ɛ>0 such that ∥T_tf∥_l ⩽ ⩽ M_ɛ exp [ɛt]∥f∥_l for t ⩾ 0. Corollary 3.1.1: suppose exp [at]B(t) ∈ ∈ L₁[0, ∞) for some a>0 anddet forRe λ>−a. Then the solution of(L) is exponentially asymptotically stable. Entrata in Redazione il 21 marzo 1975. The author is grateful to ProfessorC. Corduneanu for suggesting this problem and for many helpful discussions during the preparation of the paper.