Points de Padua

Dans l'interpolation polynomiale de deux variables, les points de Padua sont le premier exemple connu (et jusqu'à présent le seul) d'un ensemble de points unisolvant (c'est-à-dire que le polynôme d'interpolation est unique) avec une croissance minimale de leur constante de Lebesgue, avéré être de l'ordre $O({\log }^{2}n)$. Leur nom vient de l'Université de Padoue, où ils ont été découverts à l'origine.

Les points sont définis dans le domaine $[-1,1]\times [-1,1]\subset {ℝ}^2$ . Il est possible d'utiliser les points avec quatre orientations, obtenus avec des rotations successives de 90 degrés : on obtient ainsi quatre familles différentes de points de Padua.

Les quatre familles

Points de Padua de la première famille et de degré 5, tracés avec leur courbe génératrice.

Points de Padua de la première famille et de degré 6, tracés avec leur courbe génératrice.

On peut voir les points de Padua comme un « échantillonnage » d'une courbe paramétrique, dite courbe génératrice, qui est légèrement différente pour chacune des quatre familles, de sorte que les points d'interpolation de degré $n$ et la famille $s$ peut être défini comme

${\text{Pad}}_n^s=\{\mathit{\xi }=({\xi }_1,{\xi }_2)\}=\{{\gamma }_s\left(\frac{k\pi }{n(n+1)}\right),k=0,\dots ,n(n+1)\}.$

En fait, les points de Padua se situent exactement sur les auto-intersections de la courbe, et sur les intersections de la courbe avec les limites du carré $[-1;1{]}^2$ . La cardinalité de l'ensemble ${\text{Pad}}_n^s$ est $|{\text{Pad}}_n^s|=N=\frac{(n+1)(n+2)}{2}$ . De plus, pour chaque famille de points de Padoue, deux points se trouvent sur des sommets consécutifs du carré $[-1;1{]}^2$, il y a Modèle:Math points se trouvent sur les bords du carré, et les points restants se trouvent sur les auto-intersections de la courbe génératrice à l'intérieur du carréModèle:,.

Les quatre courbes génératrices sont des courbes paramétriques fermées dans l'intervalle $[0;2\pi ]$, et sont un cas particulier des courbes de Lissajous.

La première famille

La courbe génératrice des points de Padua de la première famille est

${\gamma }_1(t)=[-\cos ((n+1)t),-\cos (nt)],t\in [0,\pi ].$

Si on l'échantillonne comme écrit ci-dessus, on a :

${\text{Pad}}_n^1=\{\mathit{\xi }=({\mu }_j,{\eta }_k),0\le j\le n;1\le k\le \lfloor \frac{n}{2}\rfloor +1+{\delta }_j\},$

où ${\delta }_j=0$ lorsque $n$ est pair ou impair mais $j$ est pair, ${\delta }_j=1$ si $n$ et $k$ sont tous les deux impairs

avec

${\mu }_j=\cos \left(\frac{j\pi }{n}\right),{\eta }_k=\{\begin{array}{cc}\cos \left(\frac{(2k-2)\pi }{n+1}\right)& j\text{ impair}\\ \cos \left(\frac{(2k-1)\pi }{n+1}\right)& j\text{ pair.}\end{array}$

Il s'ensuit que les points de Padua de la première famille auront deux sommets en bas si $n$ est pair, ou à gauche si $n$ est impair.

La deuxième famille

La courbe génératrice des points de Padua de la deuxième famille est

${\gamma }_2(t)=[-\cos (nt),-\cos ((n+1)t)],t\in [0,\pi ],$

ce qui conduit à avoir des sommets à gauche si $n$ est pair et en bas si $n$ est impair.

La troisième famille

La courbe génératrice des points de Padua de la troisième famille est

${\gamma }_3(t)=[\cos ((n+1)t),\cos (nt)],t\in [0,\pi ],$

ce qui conduit à avoir des sommets sur le dessus si $n$ est pair et à droite si $n$ est impair.

La quatrième famille

La courbe génératrice des points de Padua de la quatrième famille est

${\gamma }_4(t)=[\cos (nt),\cos ((n+1)t)],t\in [0,\pi ],$

ce qui conduit à avoir des sommets à droite si $n$ est pair et supérieur si $n$ est impair.

Formule d'interpolation

La représentation explicite de leur polynôme de Lagrange fondamental est basée sur le noyau reproducteur $K_n(𝐱,𝐲)$, $𝐱=(x_1,x_2)$ et $𝐲=(y_1,y_2)$, de l'espace ${\mathrm{\Pi }}_n^2([-1;1{]}^2)$ équipé du produit scalaire

$⟨f,g⟩=\frac{1}{{\pi }^2}\underset{[-1,1{]}^2}{\int }\frac{f(x_1,x_2)}{\sqrt{1-x_1^2}}\frac{g(x_1,x_2)}{\sqrt{1-x_2^2}}\mathrm{d}{x}_1\mathrm{d}{x}_2$

défini par

$K_n(𝐱,𝐲)=\sum _{k=0}^n\sum _{j=0}^k{\hat{T}}_j(x_1){\hat{T}}_{k-j}(x_2){\hat{T}}_j(y_1){\hat{T}}_{k-j}(y_2)$

avec ${\hat{T}}_j$ représentant le polynôme de Chebyshev normalisé de degré $j$ (soit, ${\hat{T}}_0=T_0$, ${\hat{T}}_p=\sqrt{2}{T}_p$ où $T_p(\cdot )=\cos (p\arccos (\cdot ))$ est le polynôme classique de Chebyshev de première espèce de degré $p$ ). Pour les quatre familles de pointes de Padoue, que l'on peut désigner par ${\text{Pad}}_n^s=\{\mathit{\xi }=({\xi }_1,{\xi }_2)\}$, $s=\{1,2,3,4\}$, la formule d'interpolation d'ordre $n$ de la fonction $f:[-1;1{]}^2\to {ℝ}^2$ sur le point cible générique $𝐱\in [-1;1{]}^2$ est alors

${ℒ}_n^{s}f(𝐱)=\sum _{\mathit{\xi }\in {\text{Pad}}_n^s}f(\mathit{\xi })L_{\mathit{\xi }}^s(𝐱)$

où $L_{\mathit{\xi }}^s(𝐱)$ est le polynôme de Lagrange fondamental

$L_{\mathit{\xi }}^s(𝐱)=w_{\mathit{\xi }}(K_n(\mathit{\xi },𝐱)-T_n({\xi }_i)T_n(x_i)),s=1,2,3,4,i=2-(smod2).$

Les poids $w_{\mathit{\xi }}$ sont définis comme

$w_{\mathit{\xi }}=\frac{1}{n(n+1)}\cdot \{\begin{array}{c}\frac{1}{2}\text{ si }\mathit{\xi }\text{ est un sommet}\\ 1\text{ si }\mathit{\xi }\text{ est sur un côté}\\ 2\text{ si }\mathit{\xi }\text{ est intérieur.}\end{array}$

Liens externes

• Liste des publications relatives aux points de Padoue et quelques logiciels d'interpolation.