Related papers: Interpolation of data by smooth non-negative funct…
In this article, we prove the following interpolation problem: if the composition of a function and a regular map between affine varieties is a regular function, then there exists a global regular function of the target variety that…
It was recently shown that the theory of linear stochastic systems can be viewed as a particular case of the theory of linear systems on a certain commutative ring of power series in a countable number of variables. In the present work we…
Given a finite set \sigma of the unit disc \mathbb{D}={z\in\mathbb{C}:, |z|<1} and a holomorphic function f in \mathbb{D} which belongs to a class X, we are looking for a function g in another class Y (smaller than X) which minimizes the…
In the context of cubic splines, the authors have contributed to a recent paper dealing with the computation of nonlinear derivatives at the interior nodes so that monotonicity is enforced while keeping the order of approximation of the…
In this document I develop a weight function theory of positive order basis function interpolants and smoothers. **In Chapter 1 the basis functions and data spaces are defined directly using weight functions. The data spaces are used to…
We introduce a new paradigm for immersed finite element and isogeometric methods based on interpolating function spaces from an unfitted background mesh into Lagrange finite element spaces defined on a foreground mesh that captures the…
According to V.P.Potapov, a classical interpolation problem can be reformulated in terms of a so-called Fundamental Matrix Inequality (FMI). To show that every solution of the FMI satisfies the interpolation problem, we usualy have to…
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…
Let $f$ be an analytic function mapping the unit disk $\D$ to itself. We give necessary and sufficient conditions on the local behavior of $f$ near a finite set of boundary points that requires $f$ to be a finite Blaschke product.
In the present paper we will introduce a new approach to multivariate interpolation by employing polyharmonic functions as interpolants, i.e. by solutions of higher order elliptic equations. We assume that the data arise from $C^{\infty}$…
In the present work, the notion of Cubic Spline Super Fractal Interpolation Function (SFIF) is introduced to simulate an object that depicts one structure embedded into another and its approximation properties are investigated. It is shown…
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The underlying synthesis problem, however, is challenging and…
Given a finite sequence $a:={a_1, ..., a_N}$ in a domain $\Omega \subset C^n$, and complex scalars $v:={v_1, ..., v_N}$, consider the classical extremal problem of finding the smallest uniform norm of a holomorphic function verifying…
We prove that every nonnegative continuous real-valued function on a given compact metric space is the uniform limit of some increasing sequence of nonnegative simple functions being linear combinations of indicators of open sets; here the…
We first present an abstract principle for the interchange of infimization and integration over spaces of mappings taking values in topological spaces. New conditions on the underlying space and the integrand are then introduced to convert…
Given $E_0, E_1, F_0, F_1, E$ rearrangement invariant function spaces, $a_0$, $a_1$, $b_0$, $b_1$, $b$ slowly varying functions and $0< \theta_0<\theta_1<1$, we characterize the interpolation spaces $$(\overline{X}^{\mathcal…
A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents, hypersequents, and labelled sequents). In this paper, we…
In this paper, we investigate the problem of designing compact support interpolation kernels for a given class of signals. By using calculus of variations, we simplify the optimization problem from an infinite nonlinear problem to a finite…
While direct statements for kernel based interpolation on regions $\Omega \subset \mathbb{R}^d$ are well researched, far less is known about corresponding inverse statements. The available inverse statements for kernel based interpolation…
Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula $\beta$ logically follows from a formula $\alpha$, then there is a formula $\gamma$,…