Exact Lebesgue constants for interpolatory ℒ-splines of third order

In this paper, we obtain the Lebesgue constants for interpolatory ?-splines of third order with uniform nodes, i.e., the norms of interpolation operators from C to C describing the process of interpolation of continuous bounded and continuous periodic functions by ?-splines of third order with uniform nodes on the real line. As a corollary, we obtain exact Lebesgue constants for interpolatory polynomial parabolic splines with uniform nodes.     

About measures and nodal systems for which the Hermite interpolants uniformly converge to continuous functions on the circle and interval

We obtain the Laurent polynomial of Hermite interpolation on the unit circle for nodal systems more general than those formed by the n-roots of complex numbers with modulus one. Under suitable assumptions for the nodal system, that is, when it is constituted by the zeros of para-orthogonal polynomials with respect to appropriate measures or when it satisfies certain properties, we prove the convergence of the polynomial of Hermite-Fejér interpolation for continuous functions. Moreover, we also study the general Hermite interpolation problem on the unit circle and we obtain a sufficient condition on the interpolation conditions for the derivatives, in order to have uniform convergence for continuous functions.Finally, we obtain some improvements on the Hermite interpolation problems on the interval and for the Hermite trigonometric interpolation.     

Controllability for a parabolic equation with a nonlinear term involving the state and the gradient

In this paper, we prove the controllability of a quasi-linear heat equation involving gradient terms with Fourier boundary conditions in a bounded domain of ? ^N . The proofs of the main results in this paper involve such inequalities and rely on the study of these linear problems and appropriate fixed point arguments.     

Mean Convergence of Extended Lagrange Interpolation for Exponential Weights

In this paper, we complete our investigations of mean convergence of Lagrange interpolation for fast decaying even and smooth exponential weights on the line. In doing so, we also present a summary of recent related work on the line and [–1,1] by the authors, Szabados, Vertesi, Lubinsky and Matjila. We also emphasize the important and fundamental ideas, applied in our proofs, that were developed by Erds, Turan, Askey, Freud, Nevai, Szabados, Vértesi and their students and collaborators. These methods include forward quadrature estimates, orthogonal expansions, Hilbert transforms, bounds on Lebesgue functions and the uniform boundedness principle.     

Weighted cross-intersecting families

In this paper we investigate weighted cross-intersecting families: if α,β>0 are given constants, we want to find the maximum of α|A|+β|B| for A,B uniform cross-intersecting families. We determine the maximum sum, even if we have restrictions of the size of A.As corollaries, we will obtain some new bounds on the shadows and the shades of uniform families. We give direct proofs for these bounds, as well, and show that the theorems for cross-intersecting families also follow from these results.Finally, we will generalize the LYM inequality not only for cross-intersecting families, but also for arbitrary Sperner families.     

Constant approximation for fault-tolerant median problems via iterative rounding

In this paper, we study the fault-tolerant matroid median and fault-tolerant knapsack median problems. These two problems generalize many fundamental clustering and facility location problems, such as uniform fault-tolerant k-median, uniform fault-tolerant facility location, matroid median, knapsack median, etc. We present a versatile iterative rounding framework and obtain a unifying constant-factor approximation algorithm.     

Discrete time-variant interpolation as classical interpolation with an operator argument

Necessary and sufficient conditions are derived for the existence of solutions to discrete time-variant interpolation problems of Nevanlinna-Pick and Nudelman type. The proofs are based on a reduction scheme which allows one to treat these time-variant interpolation problems as classical interpolation problems for operator-valued functions with operator arguments. The latter ones are solved by using the commutant lifting theorem.     

An asymptotically optimal cubic spline

In this paper we consider the interpolation problem for a sufficiently smooth function on the segment [0, 1]. The values of the function under consideration are defined at given mesh nodes. We construct a cubic spline asymptotically optimal with respect to the growing number of nodes. Then we estimate interpolation errors for the constructed spline in the uniform and L ₂ metrics.     

Some properties of fractal interpolation functions on Sierpinski gasket

In this paper, we discuss some basic properties of uniform fractal interpolation functions (FIFs), which is a special class of FIFs, on Sierpinski gasket. We firstly study the min-max property of uniform FIFs. Then we present a necessary and sufficient condition such that uniform FIFs have finite energy. Normal derivative and Laplacian of uniform FIFs are also discussed.     

On the uniform asymptotic stability for a linear integro-differential equation of Volterra type

In this paper, we give a necessary and sufficient condition on the uniform asymptotic stability of the zero solution of a linear integro-differential equation of Volterra type where the ordinary part is ax(t). We put emphasis on the case a>0. The proofs of our results are carried out by using the root analysis of the characteristic equation. In Section 5 we give some conjectures.     

On quantitative versions of theorems due to F.E. Browder and R. Wittmann

This paper is another case study in the program of logically analyzing proofs to extract new (typically effective) information (‘proof mining’). We extract explicit uniform rates of metastability (in the sense of T. Tao) from two ineffective proofs of a classical theorem of F.E. Browder on the convergence of approximants to fixed points of nonexpansive mappings as well as from a proof of a theorem of R. Wittmann which can be viewed as a nonlinear extension of the mean ergodic theorem. The first rate is extracted from Browder's original proof that is based on an application of weak sequential compactness (in addition to a projection argument). Wittmann's proof follows a similar line of reasoning and we adapt our analysis of Browder's proof to get a quantitative version of Wittmann's theorem as well. In both cases one also obtains totally elementary proofs (even for the strengthened quantitative forms) of these theorems that neither use weak compactness nor the existence of projections anymore. In this way, the present article also discusses general features of extracting effective information from proofs based on weak compactness. We then extract another rate of metastability (of similar nature) from an alternative proof of Browder's theorem essentially due to Halpern that already avoids any use of weak compactness. The paper is concluded by general remarks concerning the logical analysis of proofs based on weak compactness as well as a quantitative form of the so-called demiclosedness principle. In a subsequent paper these results will be utilized in a quantitative analysis of Baillon's nonlinear ergodic theorem.     

The scalar Nevanlinna-Pick interpolation problem with boundary conditions

We show that if the Nevanlinna-Pick interpolation problem is solvable by a function mapping into a compact subset of the unit disc, then the problem remains solvable with the addition of any number of boundary interpolation conditions, provided the boundary interpolation values have modulus less than unity. We give new, inductive proofs of the Nevanlinna-Pick interpolation problem with any finite number of interpolation points in the interior and on the boundary of the domain of interpolation (the right half plane or unit disc), with function values and any finite number of derivatives specified. Our solutions are analytic on the closure of the domain of interpolation. Our proofs only require a minimum of matrix theory and operator theory. We also give new, straightforward algorithms for obtaining minimal H_∞ norm solutions. Finally, some numerical examples are given.     

The complete grapht-packings andt-coverings

The aim of this paper is to introduce the notions of floor and ceiling functions related to graph edge-decompositions intot mutually isomorphic parts. It is shown that, given any natural numbert, uniform and extremal t-packing andt-covering exist for each complete graph and each complete bipartite graph. Extremal in this context means that both a remainder and a surplus are absolutely minimum. In proofs, decompositions of multigraphs into matchings are involved. Open problems and conjectures are stated.     

扰动Fej\'{e}r点上复Hermite插值的联合逼近

$D$是复平面中由闭Jordan曲线$\Ga$围成的单连区域. 考虑在$\Ga$上扰动Fej\''er点的 Hermite插值一致逼近、平均逼近和联合逼近于函数$f\in A^{(q)}(\o D)$. 该文中的逼近阶一般说来是不可再改进的, 区域的边界限制条件到目前为止是最少的. 以往的全部同类结果都包括在该文中作为特殊情形, 由于该文方法上的改进, 简化和省去了以往 某些证明过程.     

Some logical metatheorems with applications in functional analysis

In previous papers we have developed proof-theoretic techniques for extracting effective uniform bounds from large classes of ineffective existence proofs in functional analysis. Here `uniform' means independence from parameters in compact spaces. A recent case study in fixed point theory systematically yielded uniformity even w.r.t. parameters in metrically bounded (but noncompact) subsets which had been known before only in special cases. In the present paper we prove general logical metatheorems which cover these applications to fixed point theory as special cases but are not restricted to this area at all. Our theorems guarantee under general logical conditions such strong uniform versions of non-uniform existence statements. Moreover, they provide algorithms for actually extracting effective uniform bounds and transforming the original proof into one for the stronger uniformity result. Our metatheorems deal with general classes of spaces like metric spaces, hyperbolic spaces, CAT(0)-spaces, normed linear spaces, uniformly convex spaces, as well as inner product spaces.

     

Approximants de Padé et séries hypergéométriques équilibrées

In this paper, we present and solve some very general new Padé approximant problems, whose solutions can be expressed with hypergeometric series. These series appear in the proofs of the irrationality of ζ(3), of infinitely many ζ(2n+1), and in essentially all results of this kind in the literature. We also prove two new Diophantine results with this method.     

Interpolation theorems on weighted Lorentz martingale spaces

In this paper several interpolation theorems on martingale Lorentz spaces are given.The proofs are based on the atomic decompositions of martingale Hardy spaces over weighted measure spaces.Applying the interpolation theorems,we obtain some inequalities on martingale transform operator.     

Linear and nonlinear abstract equations with parameters

This paper focuses on nonlocal boundary value problems for linear and nonlinear abstract elliptic equations in Banach spaces. Here equations and boundary conditions contain certain parameters. The uniform separability of the linear problem and the existence and uniqueness of maximal regular solution of nonlinear problem are obtained in L_p spaces. For linear case the discreteness of spectrum of corresponding parameter dependent differential operator is obtained. The behavior of solution when the parameter approaches zero and its smoothness with respect to the parameter is established. Moreover, we show the estimate for analytic semigroups in terms of interpolation spaces. This fact can be used to obtain maximal regularity properties for abstract boundary value problems.     

On CLARKSON's Inequalities and Interpolation

We consider some elementary proofs of local versions of CLARKSON 's inequalities and point out the fact that these inequalities can be generalized to hold for a much wider class of parameters. In particular it is easy to generalize our interpolation proof in various ways to higher dimensions. We point out explicitely some examples of such generalizations and we also prove some corresponding global versions. In this elementary way we obtain both new proofs of some previous results of this kind and also some new complements, unifications and further generalizations of these results.     

High order compact schemes for gradient approximation

In this paper, we propose three gradient recovery schemes of higher order for the linear interpolation. The first one is a weighted averaging method based on the gradients of the linear interpolation on the uniform mesh, the second is a geometric averaging method constructed from the gradients of two cubic interpolation on macro element, and the last one is a local least square method on the nodal patch with cubic polynomials. We prove that these schemes can approximate the gradient of the exact solution on the symmetry points with fourth order. In particular, for the uniform mesh, we show that these three schemes are the same on the considered points. The last scheme is more robust in general meshes. Consequently, we obtain the superconvergence results of the recovered gradient by using the aforementioned results and the supercloseness between the finite element solution and the linear interpolation of the exact solution. Finally, we provide several numerical experiments to illustrate the theoretical results.