Related papers: Stein interpolation for the real interpolation met…
Let $T$ be a linear operator that, for some $p_1\in(1,\infty)$, is bounded on $L^{p_1}(\tilde w)$ for all $\tilde w\in A_{p_1}(\mathbb R^d)$ and in addition compact on $L^{p_1}(w_1)$ for some $w_1\in A_{p_1}(\mathbb R^d)$. Then $T$ is…
In this paper we study the consequences of overinterpolation, i.e., the situation when a function can be interpolated by polynomial, or rational, or algebraic functions in more points that normally expected. We show that in many cases such…
This paper presents a general high-order kernel regularization technique applicable to all four integral operators of Calder\'on calculus associated with linear elliptic PDEs in two and three spatial dimensions. Like previous density…
Craig interpolation in SMT is difficult because, e. g., theory combination and integer cuts introduce mixed literals, i. e., literals containing local symbols from both input formulae. In this paper, we present a scheme to compute Craig…
We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and $C^*$-envelope. We consider the…
We study the problem of $P$-interpolation, where $P$ is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the $P$-interpolating terms, we use a hierarchic approach: This allows us to…
We reconsider the theory of Lagrange interpolation polynomials with multiple interpolation points and apply it to linear algebra. For instance, $A$ be a linear operator satisfying a degree $n$ polynomial equation $P(A)=0$. One can see that…
The purpose of this paper is to describe a unified approach to proving vector-valued inequalities without relying on the full strength of weighted theory. Our applications include the Fefferman-Stein and Cordoba-Fefferman inequalities, as…
Let (X j , d j , $\mu$ j), j = 0, 1,. .. , m be metric measure spaces. Given 0 < p $\kappa$ $\le$ $\infty$ for $\kappa$ = 1,. .. , m and an analytic family of multilinear operators T z : L p 1 (X 1) x $\bullet$ $\bullet$ $\bullet$ L p m (X…
Provided a special function of one variable and some of its derivatives can be accurately computed over a finite range, a method is presented to build a series of polynomial approximations of the function with a defined relative error over…
Under consideration methods of constructing trigonometric interpolation splines of two variables on rectangular areas. These methods are easily generalized to the case of trigonometric interpolation splines of several variables on such…
We prove a real interpolation characterization for some non Euclidean H\"older spaces, built on the Lie structure induced by a class of ultra-parabolic Kolmogorov-type operators satisfying the H\"ormander condition. As a by-product we also…
We prove a Boyd-type interpolation result for noncommutative maximal operators of restricted weak type. Our result positively answers an open question posed recently by Bekjan, Chen and Osekowski. As a special case, we find a restricted…
Interpolation Theory gives techniques for constructing spaces from two initial Banach spaces. We provide several conditions under which the restriction of a holomorphic map $f:X_0+X_1 \rightarrow Y_0+Y_1$ to the interpolated spaces (using…
We consider how some methods of uniform and nonuniform interpolation by translates of radial basis functions -- specifically the so-called general multiquadrics -- perform in the presence of certain types of noise. These techniques provide…
We study the complex interpolation and derivation process induced by a family of Orlicz sequence spaces. We present a concrete example of interpolation family of three spaces inducing a centralizer that cannot be obtained from complex…
We consider linear operators $T$ mapping a couple of weighted $L_p$ spaces $\{L_{p_0}(U_0), L_{p_1}(U_1)\}$ into $\{L_{q_0}(V_0), L_{q_1}(V_1)\}$ for any $1\le p_0$, $ p_1$, $q_0$, $q_1\le\infty$, and describe the interpolation orbit of any…
Interpolation based software model checkers have been successfully employed to automatically prove programs correct. Their power comes from interpolating SMT solvers that check the feasibility of potential counterexamples and compute…
This paper contains no new results. It is intended to be merely a brief introduction to the long paper: N. J. Kalton, Differentials of complex interpolation processes for Kothe function spaces. Trans. Amer. Math. Soc. 333 (1992), no. 2,…
Using polynomial interpolation, along with structural properties of the family of positive real rational functions, we here show that a set of m nodes in the open left half of the complex plane, can always be mapped to anywhere in the…