Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Interpolation is the theory of constructing smooth functions, usually polynomials or trigonometric polynomials, whose graph passes through a number of given points in the plane. Splines and Bézier curves, piecewise linear or cubic interpolation, Lagrange and Hermite interpolation are example topics.

0
votes
0answers
51 views

Nonparametric Bayesian estimation of several black-box functions of different variables from their noisy sums

In order to introduce my problem, let’s start with the nonparametric estimation of a single unknown/black-box function $f:{\Omega _f} \to \mathbb{R}$ of a discrete variable $x$ in a finite domain ${\...
1
vote
0answers
34 views

Defining Boundary Conditions for Spline Interpolation via the Euler–Maclaurin Formula

The Euler–Maclaurin formula states an interdependency between \begin{align} I\quad:=&\quad\int_m^nf(x) \, dx;\ m,n\in\mathbb{Z}\\[6pt] S\quad:=&\quad\sum_{k=m}^n f(k) \\[6pt] D\quad:=&\...
0
votes
1answer
77 views

Chebyshev interpolation [closed]

Let's define the n-th degree Chebyshev polynomials by $$ T_{n} (x)=\cos(n\arccos(x)).$$ Find a polynomial $P$ such that $$\mid y- P (x) \mid$$ is minimal, using the first three Chebyshev ...
1
vote
0answers
34 views

On different norms of the interpolating operator

Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
4
votes
1answer
64 views

Find $p$ s.t. there is a sequence of nodes in $[0,1]$ s.t. sequence of interpolating polynomials of every continuous function converges in $p$-norm

Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
3
votes
1answer
158 views

Given any sequence of interpolating nodes, can we find a continuous function $f$ whose interpolating polynomials doesn't converge to $f$ point-wise

Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
1
vote
1answer
97 views

Wasserstein interpolation between two probability measures on a metric space

Question 1 Given probability measures $\mu$ and $\nu$ on the same metric space $X=(X,d)$, and $\alpha \in [0, 1]$, is it always possible to find another probability measure $\lambda_\alpha$ on $X$ ...
4
votes
2answers
134 views

Reference to L^1 error for piecewise linear interpolation of Lipschitz functions

Let $f:[0,1]\to\mathbb{R}$ be a Lipschitz function, and $\pi f$ be its piecewise linear interpolant on an equispaced grid with $n$ points. It should be true (if I am not making mistakes with the ...
4
votes
2answers
62 views

Univariate polynomial interpolation with restricted degrees

Let $D=\{d_1, d_2, \ldots, d_n\}$ be an integer set. I'd like to know if I can interpolate any collection of $n$ points $(x_1, y_1), (x_2, y_2), \ldots, (x_{n}, y_{n})$ by a polynomial whose degree ...
8
votes
2answers
358 views

Interpolation space between $L^1\cap L^2$ and $L^1$

In the paper of Bourgain, the way equation (3.78) is deduced from (3.69) and (3.76) seems via the following interpolation result. Let $(X,\mu)$ and $(Y,\nu)$ be two measure spaces and let $T$ be a ...
2
votes
1answer
65 views

Lagrangian interpolation at Chebyshev points - estimate on coefficients in monomic basis

First, let us fix some Notation: Let $n\in\mathbb{N}$ and $x_i=\cos(\tfrac{(i+1/2)\pi}{(n+1)})$, $i=0,\dots,n$, be the Chebyshev points. Let \begin{align}L_i(x)={\displaystyle\prod_{\substack{0\leq j\...
1
vote
1answer
75 views

Optimal $L^2$ bounds of cubic spline interpolation

Let $s(x)$ be the natural cubic spline interpolant of a function $f\in C^4$. There are known bounds on the $L^{\infty}$ error, $\|f^{(r)}(x) - s^{(r)} (x) \|_{\infty} $ for $r=0,1,2,3$. See Hall & ...
0
votes
0answers
35 views

Radial Basis Function Centers

Given $n$ inputs $x_1,...x_n$ and $n$ responses $f(x_1),...,f(x_n)$, a commonly used approach of estimating $f(\cdot)$, is by using a positive definite radial basis function $\phi(\cdot)$: \begin{...
0
votes
2answers
194 views

How to prove the this sobolev-like inequality presented in the paper “sobolev inequalities in disguise”

click to see the picture of one related page from the paper this is the link of the whole paper What I cannot really clearly understands is the content bellow: the shortcut of the inequality If ...
1
vote
1answer
72 views

Proof Reference - Polynomial interpolation at quadrature points

If $\left( p_n \right)_{n=0}^{\infty}$ is a family of orthogonal polynoamials with respect to a measure $\mu$ on $[-1,1]$, and $\left( x_j, w_j \right)$ are the quadrature points and weights for the ...
1
vote
0answers
38 views

Solutions to a certain Birkhoff-interpolation problem

$\newcommand{\CC}{\mathbb{C}}$ Let for $n > 1$ and $m = n-1$ $$ p = x^n + a_1 x^{n-1} + \cdots + a_m x $$ be a polynomial with $a_i \in \CC$. Call $p^{(i)}(x) = \frac{d^ip}{dx^i}(x)$. The ...
0
votes
1answer
93 views

Elegant / Canonical way to Extend Integer Iterates of a Function to a Real Parameter

Any map $f \colon \mathbb{R} \to \mathbb{R}$ induces a "composition map" $$f^\circ\colon \mathbb{R} \times \mathbb{N} \to \mathbb{R},$$ where $$f^{\circ n}(x) = \underbrace{f \circ \dotsb \circ f}_{...
2
votes
2answers
92 views

Do splines preserve monotonicity?

Start with a monotone nonincreasing function and sample it at finite set of points $x_0, ..., x_n$, $x_i<x_{i+1}$ so that $f(x_i)<f(x_{i+1})$. If you approximate $f$ with a linear spline then ...
1
vote
2answers
93 views

Cubic interpolating Spline - Number of extremum points

Question: Given $f\in C^2 [a,b]$, and $s$ its "natural cubic spline" interpolant on some grid/knots $a= t_0 < t_1<t_2 < \ldots < t_n = b$, is there a bound on the number of extremum point ...
1
vote
1answer
48 views

inverse interpolation

Given data points $(x_i,y_i)\in \mathbb{R}^m\times \mathbb{R}^n$ with $n>m$ satisfying $y_i=f (x_i)$ with a sufficiently smooth injective unknown function $f:\mathbb{R}^m\rightarrow \mathbb{R}^n$ ...
4
votes
0answers
129 views

Identities for powers of functions based on generalization of Lagrange interpolation

Lagrange polynomial can be used to obtain an identity: $$(k+t)^n = \sum_{i=0}^n (k+d_i)^n \prod_{\substack{j=0\\ j\not=i}}^n \frac{t-d_j}{d_i-d_j},$$ which holds for any integer $n>0$, any real ...
4
votes
1answer
230 views

A Taylor formula for a Vandermonde-like determinant

Let $f_0,\ldots,f_N$ be smooth functions over an interval $I\subset{\mathbb R}$. Let $x_0,\ldots,x_N\in I$ be given, and form the Vandermonde-like determinant $$\Delta_N=\det((f_i(x_j)))_{0\le i,j\le ...
1
vote
1answer
234 views

Variational Proof for minimum curvature of cubic splines

Background: Give an increasing set of points $(x_i)_{i=0}^n \subset \mathbb [a,b]$, a cubic spline $S(x)$ is a piecewise cubic polynomial with continuous second derivative. One can also prove, roughly,...
5
votes
1answer
187 views

How to choose contour for rational approximation

Let $f$ be an analytic function on $\Omega \subset \mathbb{C}$. The Hermite formula for interpolation at the points $a_k$, $k=1,\ldots,n$, using a rational function $r_n$ with poles at $b_k$, $k=1,\...
3
votes
0answers
111 views

“Natural” ways of interpolating unitary matrices

Given two unitary matrices $A$ and $B$, that are "near" each other in some sense (perhaps $\left\lVert A-B\right\rVert <\epsilon$ for some norm, what are some sensible ways to interpolate between ...
0
votes
0answers
35 views

Interpolation in $X^{s,b}$ spaces

I've recently interested in the $X^{s,b}$ method to prove the well-posed results for dispersive equations. Recall that $X^{s,b}$ is the closure of Schwartz space with the norm $$ \|u\|_{X^{s,b}_{\tau=...
0
votes
0answers
68 views

Analytic interpolation with $k$-th derivative small on $\mathbb{R}$

I am looking for a condition such that the following theorem would hold: Suppose given an $\epsilon > 0$ and a natural number $k$. Suppose further given $x_{1}, ..., x_{n}$, $y^{0}_{1}, ..., y^{0}...
3
votes
1answer
287 views

Interpolation in Sobolev spaces

Let $H^s$, $0\leq s<\infty$ be the $L^2$ based Sobolev spaces such that $$ \hat{f}(\xi)(1+|\xi|^2)^{s/2} \in L^2. $$ Let $r_1,r_2,p_1,p_2>0$ be given parameters. Assume that a linear operator $...
1
vote
3answers
141 views

Interpolation by rational functions reference

I have been hearing a lot about a theory of interpolation using rational function, parallel to that of polynomial interpolation. I'm looking for a book chapter, or even short lecture notes, that will ...
4
votes
1answer
188 views

Polynomial interpolants in quadrature points and L2 convergence spectral rate

We recall that the Lagrange Interpolation Polynomial $p_n(x)$ of a function $f\in C^n(\Omega )$ for some $\Omega \subseteq \mathbb{R}$ and $n\in \mathbb{N}$, has a pointwise error term of the form $$|...
3
votes
0answers
82 views

Increasing sequence of closed subspaces of $L^2$ and error estimate of a product of orthogonal projections

We define an increasing sequence of closed subspaces \begin{align*} V_{0} \subset V_{1} \subset V_{\ell} \subset \dots \end{align*} of $L^2(I)$ where $I=(0,x_{max})$, and each $V_{\ell}$ is equipped ...
1
vote
0answers
97 views

How to optimally choose points for multivariable Hermite interpolation?

I have a multi-variate, continuous function $f$ from $R^n$ to $R$, which I can query for its output for any input. I would like to create interpolation polynomial for it. The computation of $f$ is ...
0
votes
0answers
65 views

What can be said about moments of probability distribution if it satisifies hemholtz equation?

From physical considerations I have observed, that probability density in region of interest satisfies $$ \Delta u(x) + \phi(x)u(x) = f(x), $$ where $\phi(x)$ and $f(x)$ are both given functions and $...
3
votes
1answer
123 views

Maximum of a B-spline

Given $p+2$ nondecreasing (and not all identical) knots $t_0, \ldots, t_{p+1}$ on the real line, consider the normalized B-spline of degree $p$ defined over these knots. We know that the B-spline is ...
1
vote
0answers
22 views

Special Properties of “Vibrant” Spline-Functions

While checking an idea about knot-placement for spline interpolation, I needed to find a way to calculate splines, that are strictly monotone between adjacent pairs of knots and for which every knot ...
4
votes
0answers
116 views

A color interpolation lemma

I need the following "color interpolation lemma". Actually I know a way to prove it, but I'm not very satisfied with that proof. Lemma. Let $G=(V,E)$ be a (properly) colored graph with colors $1, \...
2
votes
1answer
139 views

Who was first to use reproducing kernels in order to try to solve interpolation problems?

I understand that Sarason generalized the interpolation problem by taking it into the operator theoretic setting via reproducing kernels, but whose idea was it to use reproducing kernels such as the ...
1
vote
0answers
204 views

Multilinear Interpolation

Suppose I have a multilinear map $\Gamma(u,v)$ satisfying \begin{align} \big\| \Gamma(u,v)\big\|_{L^2} &\leq \big\| u\big\|_{L^2} \big\| v\big\|_{L^2} \\ \big\| \Gamma(u,v)\big\|_{L^\infty} &\...
2
votes
0answers
52 views

Interpolation polynomial smaller than its function?

Let $q$ be a real number such that $q>1$ and $f$ be an entire function on $\mathbb C$ such that $\overline{\lim}_{r\to+\infty}\limits\frac{\ln|f|_r}{\ln^2r}<\frac{1}{2\ln q}$, where $|f|_r=\sup_{...
1
vote
1answer
420 views

Interpolation of a series of data points via Chebyshev approximation?

first of all: english is not my native language, so there might be differences between what I meant and what you understood. Sorry for that in advance. As a research project, I try to comprehend and ...
6
votes
0answers
276 views

Interpolation between $H^1$ and $H^1\cap L^1$

Suppose that $T:H^1(\mathbb{R}^3)\rightarrow\mathbb{R}$ is a linear bounded operator, with operator norm $M_2$. In particular, given $1\leq p\leq2$, there exist optimal constants $M_p\leq M_2$ such ...
8
votes
2answers
349 views

generalizations of Vandermonde matrix to high dimensions

Let $x_1,x_2,\cdots,x_n\in\mathbb{R} $ or $\mathbb{C}$. By the non-degeneracy of Vandermonde matrix the maps $$ f: \mathbb{R}\longrightarrow\mathbb{R}^n,$$ $$ x\longmapsto (1,x,x^2,\cdots,x^{n-1})...
5
votes
0answers
165 views

Branches of 3j symbols

Question Is there a quick way to identify the branches in a 3J symbol? Context I need to compute Wigner 3J symbols/Clebsch–Gordan coefficients, $$ \begin{pmatrix} \ell_1 &\ell_2 &\ell_3\\ ...
2
votes
0answers
85 views

Natural neighbor interpolation

Recently I am interested in Natural neighbor interpolation, that is : Given a function $P(x)$ and some interpolation points $\{x_i,P(x_i)\}_{i=1}^N$, we have the interpolation function $$P^*(x)=\sum_{...
4
votes
1answer
188 views

Sign of 3j symbol (in view of interpolation)

Question Is there a closed formula for the sign of a 3j symbol? Context I need to compute Wigner 3J symbols/Clebsch–Gordan coefficients, $$ \begin{pmatrix} \ell_1 &\ell_2 &\ell_3\\ 0&0&...
0
votes
1answer
462 views

Reference for Bessel's interpolation formula

Please give me a reference for a standard, easy-to-find, textbook where I can find the full proof of Bessel's interpolation formula? Thank you.
1
vote
1answer
306 views

Finding t vlaue in Bezier curve [closed]

According to this question, I'm looking for some method to find the t value in Quadratic bezier curve equation: $$ B(t)=P_0+t(1-t)P_1+t^2P_2 \space \space where \space 0 ≤ t ≤ 1 $$ In this ...
1
vote
0answers
130 views

About properties of polynomials with common interlacing

Say $\{a_1,a_2,..,a_n\}$ and $\{b_1,b_2,...,b_n\}$ be the real roots of two monic polynomials of degree $n$ which have a common interlacing. (say I have arranged the roots in increasing order) Can ...
2
votes
1answer
304 views

Interpolation between weighted $L^p$ spaces

Let $K:\mathbb{R}^3\backslash\{0\}\times\mathbb{R}^3\backslash\{0\}\rightarrow\mathbb{C}$, such that $K(x,y)=K(y,x)$ and $K(x,y)=|x|^{-1}|y|^{-1}H(x,y)$, with $H$ locally bounded. Let $T$ be the (...
2
votes
1answer
214 views

Smallest degree of approximating polynomial

Let $\{0,1\}^n=S_0\cup S_1$ withh $S_0\cap S_1=\emptyset$. Let $\epsilon\in[\frac{1}2,1)$. Let $f:\Bbb R^n\rightarrow\Bbb R$ be a polynomial such that $$f(S_0)=0,\mbox{ }f(S_1)\subseteq[1-\epsilon,1+...