Quadrature rules with few nodes supported on algebraic curves

Résumé Technique : Règles de Quadrature à Peu de Nœuds Supportées sur des Courbes Algébriques

Énoncé du Problème
L'article traite du problème de la détermination du nombre minimal de nœuds requis pour une règle de quadrature de force $s$ afin d'approximer des intégrales par rapport à une mesure de Borel positive $\mu$ supportée sur une courbe algébrique ou rationnelle réelle. Bien que les résultats classiques (Richter, Tchakaloff) garantissent l'existence de règles de quadrature avec au plus $\binom{n+s}{s}$ nœuds via le théorème de Carathéodory, ces bornes sont souvent loin d'être serrées lorsque le support réside sur un ensemble algébrique de faible dimension. Plus précisément, les auteurs se concentrent sur le cas de degré impair ($s = 2s' - 1$), qui est central pour la quadrature de Gauss, mais où l'approche par le cône des moments seule ne permet pas d'obtenir des nombres de nœuds optimaux. L'objectif est de dériver des bornes supérieures explicites et améliorées sur le nombre de nœuds $N$ qui dépendent du degré de la courbe, de sa topologie (spécifiquement les places à l'infini) et de sa paramétrisation.

Méthodologie
Les auteurs adoptent une perspective d'optimisation combinée à des outils de la géométrie algébrique réelle.

1. Cadre d'Optimisation : Au lieu de s'appuyer uniquement sur la géométrie convexe des cônes de moments, les auteurs formulent l'existence d'une règle de quadrature comme un problème de minimisation. Ils minimisent une fonction de pénalité appropriée (par exemple, la somme des poids ou une fonction pénalisant le regroupement des nœuds) sur l'espace des règles de quadrature satisfaisant les conditions d'appariement des moments.
2. Multiplicateurs de Lagrange et Stationnarité : En analysant les points stationnaires de ce problème d'optimisation à l'aide de multiplicateurs de Lagrange, les auteurs dérivent les conditions que les nœuds optimaux doivent satisfaire. Plus précisément, les nœuds optimaux correspondent aux points d'intersection entre la courbe de support $F=0$ et une courbe polynomiale dérivée $G=0$ (ou leurs dérivées), où les courbes possèdent des tangentes parallèles.
3. Comptage Géométrique :
   • Pour les courbes planes, les auteurs appliquent le théorème de Bézout pour borner le nombre de points d'intersection entre le polynôme définissant la courbe et le polynôme de condition d'optimalité. Ils prennent en compte les multiplicités (nœuds apparaissant avec une multiplicité $\ge 2$) et les contributions de la frontière (places à l'infini).
   • Pour les courbes rationnelles dans des dimensions arbitraires, les auteurs utilisent la paramétrisation $\phi(t)$. Ils analysent la surjectivité de l'application de rappel (pullback) des polynômes sur l'espace ambiant vers les polynômes en la variable $t$. Cela leur permet de réduire le problème multivarié à un problème univarié, en exploitant l'optimalité connue de la quadrature de Gauss pour les mesures non dégénérées.
4. Singularités et Zéros : L'analyse traite explicitement le dénominateur $\phi_0(t)$ de la paramétrisation rationnelle, en comptant ses zéros réels distincts (qui correspondent aux places à l'infini ou aux singularités) pour affiner les bornes des nœuds.

Contributions Clés et Résultats
L'article fournit des bornes supérieures explicites pour le nombre minimal de nœuds $N$ pour les règles de quadrature de force $2s-1$ (et $2s$) supportées sur des courbes.

1. Courbes Algébriques Planes Lisses :
   Pour une courbe plane irréductible et lisse $C \subset \mathbb{R}^2$ de degré $d$ possédant au plus $t$ places distinctes à l'infini, les auteurs prouvent l'existence d'une règle de quadrature de force $2s-1$ avec au plus :
   $$N \le ds - \left\lfloor \frac{d}{2} \right\rfloor + 1 + 2t$$
   Si la courbe est compacte ($t=0$), cela se simplifie en $N \le ds - \lceil d/2 \rceil + 1$. Cela améliore la borne précédente de $N \le ds$ établie par Riener et Schweighofer.

2. Courbes Rationnelles dans des Dimensions Arbitraires :
   Pour une courbe rationnelle $C \subset \mathbb{R}^n$ de degré $d$ possédant une paramétrisation polynomiale $\phi(t) = (\phi_1/\phi_0, \dots, \phi_n/\phi_0)$ où $\max \deg \phi_i = D$ et $\phi_0$ possède $p$ zéros réels distincts :

   • Force $2s-1$ : Il existe une règle avec au plus $N \le Ds - \lfloor D/2 \rfloor + p + 1$ nœuds.
   • Force $2s$ : Il existe une règle avec au plus $N \le Ds + p + 1$ nœuds.
     Ces résultats récupèrent la borne classique de Gauss ($N=s$) pour les droites ($D=1$) et généralisent les résultats de Zalar pour certaines courbes planes spécifiques aux courbes rationnelles quelconques en dimensions supérieures.

3. Familles de Courbes Spécifiques :
   L'article analyse des cas spécifiques, tels que la courbe $y = x^d$ avec des nœuds non négatifs. Pour ce cas, ils dérivent une borne de $N \le \lfloor \frac{ds-1}{2} - \frac{d(d-3)}{4} \rfloor + 1$, qui s'avère être asymptotiquement plus serrée que les bornes existantes pour de grands $d$.

Signification et Revendications
Les auteurs affirment que leur travail établit un lien direct entre la complexité algébrique de la courbe de support et la taille minimale des formules de quadrature.

• Unification : Les résultats fournissent un cadre unifié reliant la géométrie algébrique réelle, l'optimisation polynomiale et la théorie des moments.
• Amélioration : Les bornes dérivées améliorent strictement les bornes de type Carathéodory classiques ainsi que les résultats précédents de Riener–Schweighofer et Zalar, notamment en incorporant des caractéristiques géométriques telles que le nombre de places à l'infini et la nature spécifique des paramétrisations rationnelles.
• Focus sur le Degré Impair : L'article souligne que le cas de degré impair ($2s-1$) nécessite des arguments de géométrie et d'optimisation distincts de ceux du cas de degré pair, car le cône des moments ne capture pas pleinement le nombre minimal de nœuds dans ce cadre.
• Optimalité : Les auteurs notent que pour les courbes rationnelles génériques en dimensions $n \ge 3$, leurs bornes sont optimales, correspondant aux bornes inférieures dérivées du cas univarié de Gauss.

L'article conclut en reconnaissant que, bien que les bornes soient serrées dans des cas spécifiques (droites, certaines courbes de faible degré), leur optimalité pour tous les degrés et toutes les forces reste une question ouverte, suggérant des travaux futurs impliquant des invariants plus fins comme la structure des singularités et le genre.