L'étude des analogues discrets de concepts de la géométrie différentielle : définitions de courbure, de connexions, de géodésiques et de structures variationnelles sur des objets discrets (maillages, graphes, complexes simpliciaux) conçues pour refléter et approcher le comportement géométrique lisse.

Principe

La GDD est gouvernée par le principe de discrétisation préservant la structure : les modèles discrets doivent préserver les identités géométriques clefs, les principes variationnels et les invariants (par ex. Gauss–Bonnet, théorèmes de type Stokes) et converger vers les notions lisses lors du raffinement approprié.

Démonstration

Une démonstration standard est la courbure discrète de Gauss affectée aux sommets d'une surface triangulée via le déficit angulaire ; la somme de ces déficits reproduit la caractéristique d'Euler de façon discrète exacte, reflétant le théorème de Gauss–Bonnet lisse.

Mauvaise application

Considérer tout maillage arbitraire ou tout schéma aux différences finies comme de la GDD sans garantir la préservation des identités géométriques ou des propriétés de convergence ; par exemple employer des discrétisations naïves qui détruisent les invariants de courbure discrets et brisent les lois de conservation.

Conséquence

La GDD fournit des algorithmes géométriques efficaces pour le traitement de surfaces, la simulation et l'infographie, donne des résultats de convergence prouvables vers la géométrie lisse sous raffinement, et offre des formulations combinatoires de théorèmes classiques utiles en numérique et en topologie.

Inversion

L'inverse est la géométrie différentielle lisse classique ou la théorie combinatoire pure des graphes sans compatibilité géométrique : la théorie continue met l'accent sur l'infinie différentiabilité, tandis que la théorie combinatoire peut ignorer la métrique ou la structure de courbure.

Limite

S'applique aux complexes combinatoires finis et aux maillages portant des données géométriques et des notions de différentiation discrète ; exclut les analyses de réseaux purement statistiques ou les algorithmes sur graphes dépourvus d'interprétation géométrique et les schémas qui ne cherchent pas à préserver les identités différentielles.

Tension sémantique

La tension existe entre les discrétisations combinatoires simples à calculer mais non convergentes et les discrétisations préservant la structure qui sont plus contraignantes ; la GDD privilégie la préservation de la structure géométrique souvent au prix d'un surcoût computationnel.

Synthèse

La Géométrie Différentielle Discrète construit des modèles finis et combinatoires des concepts de la géométrie différentielle qui préservent les identités et la structure variationnelle essentielles et convergent vers leurs homologues lisses, conciliant tractabilité numérique et fidélité géométrique.