General logical metatheorems for functional analysis

In this paper we prove general logical metatheorems which state that for large classes of theorems and proofs in (nonlinear) functional analysis it is possible to extract from the proofs effective bounds which depend only on very sparse local bounds on certain parameters. This means that the bounds are uniform for all parameters meeting these weak local boundedness conditions. The results vastly generalize related theorems due to the second author where the global boundedness of the underlying metric space (resp. a convex subset of a normed space) was assumed. Our results treat general classes of spaces such as metric, hyperbolic, CAT(0), normed, uniformly convex and inner product spaces and classes of functions such as nonexpansive, Hölder-Lipschitz, uniformly continuous, bounded and weakly quasi-nonexpansive ones. We give several applications in the area of metric fixed point theory. In particular, we show that the uniformities observed in a number of recently found effective bounds (by proof theoretic analysis) can be seen as instances of our general logical results.

     

Approximation of the classes <Emphasis Type="Italic">C</Emphasis><Stack><Subscript>β</Subscript><Superscript>ψ</Superscript></Stack><Emphasis Type="Italic">H</Emphasis><Subscript>ω</Subscript> by generalized Zygmund sums

We obtain asymptotic equalities for the least upper bounds of approximations by Zygmund sums in the uniform metric on the classes of continuous 2π-periodic functions whose (ψ, β)-derivatives belong to the set H _ω in the case where the sequences ψ that generate the classes tend to zero not faster than a power function.     

Approximation of Poisson Integrals by de la Vallée Poussin Sums

On the classes of Poisson integrals of functions belonging to unit balls in the spaces C and L, we obtain asymptotic equalities for the upper bounds of approximations by de la Vallée Poussin sums in the uniform metric and the integral metric, respectively.     

A characterization of pointwise-lipschitz-continuous selections for the metric projection

In a series of papers the last two authors have obtained a complete characterization of those finite-dimensional subspaces G of C[a,b] for which there exists a continuous selection for the metric projection onto G. By showing that all continuous selections constructed there are even pointwise-Lipschitz-continuous and quasi-linear, we get a complete characterization concerning selections for the metric projection with this stronger property.     

The Metric Integral of Set-Valued Functions

This paper introduces a new integral of univariate set-valued functions of bounded variation with compact images in \({\mathbb {R}}^d\). The new integral, termed the metric integral, is defined using metric linear combinations of sets and is shown to consist of integrals of all the metric selections of the integrated multifunction. The metric integral is a subset of the Aumann integral, but in contrast to the latter, it is not necessarily convex. For a special class of segment functions equality of the two integrals is shown. Properties of the metric selections and related properties of the metric integral are studied. Several indicative examples are presented.     

关于加权不变原理的一个注记

在这个注记中我们将关于平稳过程的Davydov弱不变原理推广到长记忆无穷滑动平均过程的加权部分和过程,文中还给出了一些不限于滑动平均过程的一般长记忆时间序列的加权部分和过程增量的二阶矩的边界,这些边界将有助于证明这些过程关于一致度量的胎紧性.作为连续映射定理的一个结果, 我们也导出了一些随机变量函数的概率边界.     

Approximations and solution estimates in optimization

Approximation is central to many optimization problems and the supporting theory provides insight as well as foundation for algorithms. In this paper, we lay out a broad framework for quantifying approximations by viewing finite- and infinite-dimensional constrained minimization problems as instances of extended real-valued lower semicontinuous functions defined on a general metric space. Since the Attouch-Wets distance between such functions quantifies epi-convergence, we are able to obtain estimates of optimal solutions and optimal values through bounds of that distance. In particular, we show that near-optimal and near-feasible solutions are effectively Lipschitz continuous with modulus one in this distance. Under additional assumptions on the underlying metric space, we construct approximating functions involving only a finite number of parameters that still are close to an arbitrary extended real-valued lower semicontinuous functions.     

Approximation of Infinitely Differentiable Periodic Functions by Interpolation Trigonometric Polynomials in Integral Metric

We obtain asymptotic equalities for the upper bounds of approximations of periodic infinitely differentiable functions by interpolation trigonometric polynomials in the metric of L ₁ on the classes of convolutions.     

Approximation of periodic functions by trigonometric polynomials in the mean

For arbitrary summation methods we obtain inequalities between upper bounds of deviations in the L metric and corresponding upper bounds in the C metric with respect to a certain class of functions. These inequalities constitute a generalization of known relationships due to S. M. Nikol'skii. We consider the cases wherein these inequalities become exact or asymptotic equalities.Translated from Matematicheskie Zametki, Vol. 16, No. 1, pp. 15–26, July, 1974     

Approximation of Periodic Analytic Functions by Interpolation Trigonometric Polynomials in the Metric of the Space L

We obtain asymptotic equalities for the upper bounds of approximations by interpolation trigonometric polynomials in the metric of the space L on classes of convolutions of periodic functions admitting a regular extension into a fixed strip of the complex plane.     

Approximation of functions from the classes $ C_{\beta, \infty }^\psi $ by biharmonic Poisson integrals

We deduce asymptotic equalities for the upper bounds of deviations of biharmonic Poisson integrals on the classes of (ψ, β)-differentiable periodic functions in the uniform metric.     

The uniform convergence of spherical sums of Fourier differentiable functions

Asymptotic equalities are found for exact upper bounds of the deviations in the uniform metric of the spherical sums of a multiple trigonometric Fourier series on classes of functions with a mean-bounded Liouville derivative.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 1, pp. 47–53, January, 1991.     

Intrinsic metrics for non-local symmetric Dirichlet forms and applications to spectral theory

We present a study of what may be called an intrinsic metric for a general regular Dirichlet form. For such forms we then prove a Rademacher type theorem. For strongly local forms we show existence of a maximal intrinsic metric (under a weak continuity condition) and for Dirichlet forms with an absolutely continuous jump kernel we characterize intrinsic metrics by bounds on certain integrals. We then turn to applications on spectral theory and provide for (measure perturbation of) general regular Dirichlet forms an Allegretto–Piepenbrink type theorem, which is based on a ground state transform, and a Shnol' type theorem. Our setting includes Laplacian on manifolds, on graphs and α-stable processes.     

On representation and regularity of continuous parameter multivalued martingales

In this paper we study multivalued martingales in continuous time. First we show that every multivalued martingale in continuous time can be represented as the closure of a sequence of martingale selections. Then we prove two results concerning the cadlag modifications of continuous time multivalued martingales, in Kuratowski-Mosco convergence and in convergence in the Hausdorff metric respectively.

     

Continuous Essential Selections and Integral Functionals

Given a strictly positive measure, we characterize inner semicontinuous solid convex-valued mappings for which continuous functions which are selections almost everywhere are selections. This class contains continuous mappings as well as fully lower semicontinuous closed convex-valued mappings that arise in variational analysis and optimization of integral functionals. The characterization allows for extending existing results on convex conjugates of integral functionals on continuous functions. We also give an application to integral functionals on left continuous functions of bounded variation.     

Competitive Boolean function evaluation: Beyond monotonicity, and the symmetric case

We study the extremal competitive ratio of Boolean function evaluation. We provide the first non-trivial lower and upper bounds for classes of Boolean functions which are not included in the class of monotone Boolean functions. For the particular case of symmetric functions our bounds are matching and we exactly characterize the best possible competitiveness achievable by a deterministic algorithm. Our upper bound is obtained by a simple polynomial time algorithm.     

Approximation of continuous periodic functions of many variables by spherical Riesz means

We find in succession exact upper bounds for the magnitudes of the least upper bounds of the deviations of spherical Riesz means on classes of continuous periodic functions of many variables and, in a number of cases, we prove the asymptotic exactness of these estimates.Translated from Matematicheskie Zametki, Vol. 15, No. 5, pp. 821–832, May, 1974.The author thanks S. B. Stechkin for suggesting the topic of this paper.     

On The Approximation of Functions from The Hölder Class Given On a Segment by Their Biharmonic Poisson Operators

Ukrainian Mathematical Journal - We obtain the exact equality for the upper bounds of deviations of biharmonic Poisson operators on the Hölder classes of functions continuous on the segment...     

Entropy,Universal Coding,Approximation, and Bases Properties

We shall present here results concerning the metric entropy of spaces of linear and nonlinear approximation under very general conditions. Our first result computes the metric entropy of the linear and m-terms approximation classes according to a quasi-greedy basis verifying the Temlyakov property. This theorem shows that the second index r is not visible throughout the behavior of the metric entropy. However, metric entropy does discriminate between linear and nonlinear approximation. Our second result extends and refines a result obtained in a Hilbertian framework by Donoho, proving that under orthosymmetry conditions, m-terms approximation classes are characterized by the metric entropy. Since these theorems are given under the general context of quasi-greedy bases verifying the Temlyakov property, they have a large spectrum of applications. For instance, it is proved in the last section that they can be applied in the case of L _p norms for R ^d for 1 < p < \infty. We show that the lower bounds needed for this paper in fact follow from quite simple large deviation inequalities concerning hypergeometric or binomial distributions. To prove the upper bounds, we provide a very simple universal coding based on a thresholding-quantizing constructive procedure.     

Approximation by de la Vallée-Poussin operators on the classes of functions locally summable on the real axis

For the least upper bounds of deviations of the de la Vallée-Poussin operators on the classes [^(L)]_b^y \hat{L}_\beta^\psi of rapidly vanishing functions ψ in the metric of the spaces [^(L)]_p {\hat{L}_p} , 1 ≤ p ≤ ∞, we establish upper estimates that are exact on some subsets of functions from [^(L)]_p {\hat{L}_p} .