On Jackson-Type Inequalities for Functions Defined on a Sphere

We obtain exact estimates for the approximation of functions defined on a sphere in the metrics of C and L ₂ by linear methods of summation of Fourier series in spherical harmonics in the case where differential and difference properties of these functions are defined in the space L ₂. __________ Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 57, No. 3, pp. 291–304, March, 2005.     

The convergence of the best discrete linear Lp approximation as p → 1

It is well known that the best discrete linear L_p approximation converges to a special best Chebyshev approximation as p → ∞. In this paper it is shown that the corresponding result for the case p → 1 is also true. Furthermore, the special best L₁ approximation obtained as the limit is characterized as the unique solution of a nonlinear programming problem on the set of all L₁ solutions.     

Strong Stability and Non-smooth Data Error Estimates for Discretizations of Linear Parabolic Problems

We study smoothing properties of discretizations of a linear parabolic initial boundary value problem with a possibly non-selfadjoint elliptic operator. The solution at time t > 0 of this problem, as well as its time derivatives, are in L _r for initial values in L _s even when r > s. We show that similar strong stability results hold for discrete solutions obtained by discretizing in space by linear finite elements and in time by a class of A()-stable implicit rational multistep methods (including single step methods as a special case) with good smoothing properties, as well as for certain combinations of single step methods. Most of our results are derived from the corresponding L ₂-bounds, shown by semigroup techniques, together with a discrete Gagliardo-Nirenberg inequality, and generalize previously known estimates with respect to admissible problems and time discretization methods. Our techniques make it possible to obtain, e.g., supremum norm error estimates for initial data which are only required to be in L ₁.     

One-sided non-linear mean approximation

This note examines one-sided (from above) nonlinear approximation with respect to a general integral (mean) “norm” on an interval. Necessary conditions for local minima are given. Interpolating properties of best approximations are given. When degenerate approximations can be best is studied for the L₁ and L_2k cases. Some comparable aspects of the discrete case are examined.     

Testfunctions for quantitative Korovkin theorems in Lp

Quantitative error estimates for the L_p approximation by positive linear operators can be given by using the so-called averaged modulus of smoothness or τ-modulus of first and second order. The approximation error for the three test function e_i, e_i(x)=xⁱ, i=0,1,2 is hereby of special importance. In this paper it is shown that it is possible to give quantitative L_p error estimates where the monomials are replaced by other Tchebychev systems that have certain additional properties.     

Semidiscrete Galerkin Approximation for a Linear Stochastic Parabolic Partial Differential Equation Driven by an Additive Noise

We study the semidiscrete Galerkin approximation of a stochastic parabolic partial differential equation forced by an additive space-time noise. The discretization in space is done by a piecewise linear finite element method. The space-time noise is approximated by using the generalized L₂ projection operator. Optimal strong convergence error estimates in the L₂ and norms with respect to the spatial variable are obtained. The proof is based on appropriate nonsmooth data error estimates for the corresponding deterministic parabolic problem. The error estimates are applicable in the multi-dimensional case. AMS subject classification (2000) 65M, 60H15, 65C30, 65M65.Received April 2004. Revised September 2004. Communicated by Anders Szepessy.     

Boundary control of parabolic systems: Finite-element approximation

Finite-element approximation of a Dirichlet type boundary control problem for parabolic systems is considered. An approach based on the direct approximation of an input-output semigroup formula is applied. Error estimates inL ₂[OT; L ₂()] andL ₂[OT; L ₂()] norms are derived for optimal state and optimal control, respectively. It turns out that these estimates areoptimal with respect to the approximation theoretic properties.Research supported in part under Grant no. NSG 4015, National Aeronautics and Space Administration.     

Error estimates and superconvergence of semidiscrete mixed methods for optimal control problems governed by hyperbolic equations

In this paper, we investigate the L ^??(L ₂)-error estimates and superconvergence of the semidiscrete mixed finite elementmethods for quadratic optimal control problems governed by linear hyperbolic equations. The state and the co-state are discretized by the order k Raviart-Thomas mixed finite element spaces and the control is approximated by piecewise polynomials of order k(k ?? 0). We derive error estimates for approximation of both state and control. Moreover, we present the superconvergence analysis for mixed finite element approximation of the optimal control problems.     

Linear deviations of the classes\tilde W_p^\alpha and approximations in spaces of multipliers

We consider the problem of the asymptotically best linear method of approximation in the metric of L_s[?π, π] of the set \(\tilde W_p^\alpha (1)\) of periodic functions with a bounded in L_p[?π, π] fractional derivative, by functions from \(\tilde W_p^\beta (M)\) ,β >α, for sufficiently large M, and the problem about the best approximation in L_s[?π, π] of the operator of differentiation on \(\tilde W_p^\alpha (1)\) by continuous linear operators whose norm (as operators from L_r[?π, π] into L_q[?π, π])does not exceed M. These problems are reduced to the approximation of an individual element in the space of multipliers, and this allows us to obtain estimates that are exact in the sense of the order.     

Approximation of functions by certain nonlinear integral operators

We study approximation properties of certain nonlinear integral operators L _n * obtained by a modification of given operators L _n . The operators L _n;r and L _n;r * of r-times differentiable functions are also studied. We give theorems on approximation orders of functions by these operators in polynomial weight spaces.     

Strong full bounded solutions of nonlinear parabolic equations with nonlinear boundary conditions

We study the existence of (generalized) bounded solutions existing for all times for nonlinear parabolic equations with nonlinear boundary conditions on a domain that is bounded in space and unbounded in time (the entire real line). We give a counterexample which shows that a (weak) maximum principle does not hold in general for linear problems defined on the entire real line in time. We consider a boundedness condition at minus infinity to establish (one-sided) L^∞-a priori estimates for solutions to linear boundary value problems and derive a weak maximum principle which is valid on the entire real line in time. We then take up the case of nonlinear problems with (possibly) nonlinear boundary conditions. By using comparison techniques, some (delicate) a priori estimates obtained herein, and nonlinear approximation methods, we prove the existence and, in some instances, positivity and uniqueness of strong full bounded solutions existing for all times.     

Polyharmonic Approximation on the Sphere

The purpose of this article is to provide new error estimates for a popular type of spherical basis function (SBF) approximation on the sphere: approximating by linear combinations of Green’s functions of polyharmonic differential operators. We show that the L _p approximation order for this kind of approximation is σ for functions having L _p smoothness σ (for σ up to the order of the underlying differential operator, just as in univariate spline theory). This improves previous error estimates, which penalized the approximation order when measuring error in L _p , p>2 and held only in a restrictive setting when measuring error in L _p , p<2.     

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.     

Classical solutions to phase transition problems are smooth

We prove that classical C¹–solutions to phase transition problems, which include the two–phase Stefan problem, are smooth. The problem is reduced to a fixed domain using von Mises variables. The estimates are obtained by frozen coefficients and new L_p estimates for linear parabolic equations with dynamic boundary condition. Crucial ingredients are the observation that a certain function is a Fourier multiplier, an approximation procedure of norms in Besov spaces and Meyer' approach to Nemytakij operators.     

An extrapolation theorem for nonlinear approximation and its applications

We prove an extrapolation theorem for the nonlinear m-term approximation with respect to a system of functions satisfying very mild conditions. This theorem allows us to prove endpoint L^p-L^q estimates in nonlinear approximation. As a consequence, some known endpoint estimates can be deduced directly and some new estimates are also obtained. Finally, applications of these new estimates are given to spherical m-widths and m-term approximation of the weighted Besov classes.     

Mixed methods of nonlinear second-order elliptic problems in three variables

Mixed finite element methods for treating the Dirichlet problem for fully nonlinear second-order elliptic operators in divergence form are extended to cover the three-dimensional case. Existence and uniqueness of the approximation are proved, and optimal error estimates in L² are demonstrated for both the scalar and vector functions approximated by the method. Error estimates for the pressure variable are also derived in L^q; the result is optimal in order for 2 ≤ q ≤ 6 and less than optimal for 6 < q ≤ + ∞. Newton's method can be used to solve the nonlinear algebraic equations. © 1996 John Wiley & Sons, Inc.     

Pointwise convergence to shock waves for viscous conservation laws

We are interested in the pointwise behavior of the perturbations of shock waves for viscous conservation laws. It is shown that, besides a translation of the shock waves and of linear and nonlinear diffusion waves of heat and Burgers equations, a perturbation also gives rise to algebraically decaying terms, which measure the coupling of waves of different characteristic families. Our technique is a combination of time-asymptotic expansion, construction of approximate Green functions, and analysis of nonlinear wave interactions. The pointwise estimates yield optimal L_p convergence of the perturbation to the shock and diffusion waves, 1 ≤ p ≤ ∞. The new approach of obtaining pointwise estimates based on the Green functions for the linearized system and the analysis of nonlinear wave interactions is also useful for studying the stability of waves of distinct types and nonclassical shocks. These are being explored elsewhere. © 1997 John Wiley & Sons, Inc.     

Near Best Tree Approximation

Tree approximation is a form of nonlinear wavelet approximation that appears naturally in applications such as image compression and entropy encoding. The distinction between tree approximation and the more familiar n-term wavelet approximation is that the wavelets appearing in the approximant are required to align themselves in a certain connected tree structure. This makes their positions easy to encode. Previous work [4,6] has established upper bounds for the error of tree approximation for certain (Besov) classes of functions. This paper, in contrast, studies tree approximation of individual functions with the aim of characterizing those functions with a prescribed approximation error. We accomplish this in the case that the approximation error is measured in L ₂, or in the case p2, in the Besov spaces B _p ⁰(L _p ), which are close to (but not the same as) L _p . Our characterization of functions with a prescribed approximation order in these cases is given in terms of a certain maximal function applied to the wavelet coefficients.     

The best approximation of Laplace operator by linear bounded operators in the space <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We obtain close two-sided estimates for the best approximation of Laplace operator by linear bounded operators on the class of functions for which the square of the Laplace operator belongs to the L _p -space. We estimate the best constant in the corresponding Kolmogorov inequality and the error of the optimal recovery of values of the Laplace operator on functions from this class defined with an error. In a particular case (p = 2) we solve all three problems exactly.     

Nonlinear functionals of the Boltzmann equation and uniform stability estimates

We present nonlinear functionals measuring physical space variation and L¹-distance between two classical solutions for the Boltzmann equation with a cut-off inverse power potential. In the case that initial datum is a small, smooth perturbation of vacuum and decays fast enough in the phase space, we show that these functionals satisfy stability estimates which lead to BV-type estimates and a uniform L¹-stability.