A Heisenberg Subdivision Scheme with Central Smoothness Loss

Résumé Technique : Un schéma de subdivision de Heisenberg avec perte de lissage central

Énoncé du Problème
Les schémas de subdivision sont des outils fondamentaux pour générer des courbes et des surfaces lisses à partir de données discrètes de contrôle. Bien que la subdivision linéaire dans l'espace euclidien soit bien comprise, de nombreuses applications impliquent des données prenant des valeurs dans des variétés non euclidiennes ou des groupes de Lie, où le raffinement linéaire composante par composante est géométriquement inapproprié. Les approches existantes, telles que celles basées sur les cadres de proximité (Wallner et Dyn) ou les constructions intrinsèques log-exp, visent généralement à prouver qu'un schéma non linéaire hérite de la régularité de sa référence linéaire sous certaines hypothèses de proximité quantitative.

Ce document traite d'une lacune dans la théorie de la subdivision non commutative. Plus précisément, il examine si une règle interpolatoire explicite et géométriquement naturelle, définie directement sur le groupe de Heisenberg tridimensionnel ($Heis_3$) — le plus simple modèle de géométrie non commutative — préserve la régularité de son équivalent euclidien. Les auteurs construisent un schéma où la coordonnée centrale est corrigée par un terme dérivé directement de la loi de groupe et analysent la régularité de la courbe limite résultante.

Méthodologie
Les auteurs définissent un opérateur de subdivision interpolatoire explicite, $S_H$, agissant sur les polygones de contrôle dans $Heis_3$. La loi de groupe est donnée par :
$$(x, y, z) \cdot (x', y', z') = \left(x + x', y + y', z + z' + \frac{1}{2}(xy' - yx')\right)$$

La règle de raffinement est construite comme suit :

1. Coordonnées horizontales ($x, y$) : raffinées à l'aide du schéma de quatre points classique de Dyn, Gregory et Levin ($L_4$) avec le paramètre $\omega = 1/16$.
2. Coordonnée centrale ($z$) : raffinée en appliquant le masque de quatre points linéaire aux valeurs $z$ existantes et en ajoutant un terme de correction $R^k_i$. Cette correction est dérivée explicitement de la loi de groupe pour tenir compte de la non-commutativité lors de l'insertion d'un nouveau point entre deux points existants.
   $$R^k_i = \frac{1}{2}(x^k_i b^k_i - y^k_i a^k_i)$$
   où $a^k_i$ et $b^k_i$ sont les déplacements horizontaux générés par la règle des quatre points.

L'analyse repose sur la structure de bloc triangulaire de la carte de raffinement, qui découple l'évolution horizontale de l'évolution centrale. Le cœur de l'analyse consiste à dériver une récursion à deux échelles exacte pour les premières différences centrales scalées ($e^k_i = 2^k(z^k_{i+1} - z^k_i)$). Cette récursion prend la forme :
$$e^{k+1} = S e^k + \hat{g}^{k+1}$$
où $S = 2D_1$ est l'opérateur de première différence scalé (qui n'est pas une contraction) et $\hat{g}^{k+1}$ est un terme de forçage dérivé de la correction scalée $F^k_i = 2^k R^k_i$.

Contributions Clés et Résultats

1. Schéma Non Commutatif Explicite : Le papier fournit un schéma de subdivision interpolatoire entièrement explicite, basé sur les coordonnées, pour $Heis_3$. Contrairement aux schémas log-exp intrinsèques, cette règle n'est pas équivariante à gauche mais permet une interprétation géométrique directe et une analyse en forme fermée du terme de correction.

2. Régularité Découplée :

   • Limite Horizontale : Les composantes horizontales $(X, Y)$ convergent vers la limite $C^1$ classique des quatre points, indépendamment des données centrales.
   • Limite Centrale : La composante centrale $Z$ converge uniformément vers une fonction continue. Cependant, elle présente une perte de régularité distincte par rapport au cas euclidien.

3. Régularité de Zygmund et Perte de $C^1$ :

   • Les auteurs prouvent que la limite centrale $Z$ appartient à la classe de Zygmund $\Lambda^*$, possédant un module de continuité d'ordre $O(h \log(1/h))$.
   • Crucialement, les premières différences scalées de la coordonnée centrale croissent linéairement avec le niveau de raffinement $k$ (c'est-à-dire $\sup_i 2^k |z^k_{i+1} - z^k_i| = O(k)$).
   • Sous une condition de non-annulation signée explicite et vérifiable sur les coefficients de détail (qui est satisfaite pour des données typiques non dégénérées), les auteurs prouvent une borne inférieure correspondante $\Theta(k)$. Cette croissance implique que la fonction limite n'est pas continûment dérivable ($Z \notin C^1$).

4. Mécanisme de Perte de Lissage :
   Le papier identifie le mécanisme précis de cette perte de régularité. Le terme de forçage dans la récursion de la différence centrale est la correction scalée non différenciée. Comme la limite de la correction scalée $2^k R^k_i$ converge vers une fonction $f(t) = \frac{1}{4}(XY' - YX')$ généralement non nulle, l'amplitude du forçage ne décroît pas à travers les échelles. Ce forçage persistant est injecté à travers l'opérateur $S$, qui possède une composante neutre (il préserve les séquences alternées). Par conséquent, une nouvelle oscillation d'amplitude fixe est injectée à chaque niveau de raffinement, provoquant une accumulation linéaire des premières différences.

5. Vérification Numérique :
   Les expériences numériques confirment les résultats théoriques. La coordonnée centrale présente un profil visiblement rugueux et non lisse. Les premières différences scalées croissent linéairement avec le niveau de raffinement, tandis que le quotient de la seconde différence reste borné, confirmant la régularité de Zygmund et l'échec de la régularité $C^1$.

Signification et Revendications
Le papier positionne ce résultat comme un exemple de régularité négative au sein de la théorie de la subdivision non linéaire. Il ne contredit pas les résultats de transfert de régularité positifs existants (tels que ceux basés sur la proximité ou les cadres log-exp), mais opère en dehors de leurs hypothèses.

• Échec de la Proximité : Les auteurs démontrent que la correction de Heisenberg satisfait seulement une borne linéaire par rapport aux incréments horizontaux, alors que la proximité pour le transfert $C^1$ nécessite une borne quadratique ($O(\|\Delta u\|^2)$). L'échec de cette condition quadratique n'est pas un artefact technique mais le reflet fidèle de la non-lissé de la limite.
• Leçon de Prudence : Ce travail sert d'avertissement pour les constructions basées sur des lois de groupe par coordonnées ou par points de base. Une correction qui est géométriquement naturelle et inoffensive à un seul niveau de raffinement peut détruire la régularité de la courbe limite si elle est injectée avec une amplitude non décroissante à chaque échelle.
• Portée : Le résultat est spécifique à ce schéma de coordonnées explicite et non équivariant. Il ne prétend pas que tous les schémas de subdivision de groupes de Lie échouent à préserver la régularité, mais souligne que l'utilisation spécifique de la loi de groupe pour générer une correction de premier ordre dans un contexte non commutatif peut entraîner une perte d'un ordre logarithmique de régularité (passant de $C^1$ à Zygmund).

En résumé, l'article établit que si la géométrie horizontale reste lisse, la correction non commutative dans le canal central introduit un forçage persistant qui empêche la courbe limite d'être $C^1$, résultant ainsi en une limite continue de régularité de Zygmund.