2025-11-14T18:07:11.651587

Li-Yau-Hamilton Inequality on the JKO Scheme for the Granular-Medium Equation

Coudreuse
We establish a version of the Li--Yau--Hamilton inequality for the Granular-Medium equation on the torus, both at the PDE level and for its time-discrete approximation given by the JKO scheme. We then apply this estimate to derive further quantitative results for the continuous and discrete JKO flows, including Lipschitz and $L^\infty$ bounds, as well as a quantitative Harnack inequality. Finally, we use the regularity provided by this estimate to show that the JKO scheme for the Fokker--Planck equation converges in $L^2_{\mathrm{loc}}((0,+\infty); H^2(\mathbb{T}^d))$.
academic

Inégalité de Li-Yau-Hamilton sur le Schéma JKO pour l'Équation du Milieu Granulaire

Informations Fondamentales

  • ID de l'article: 2510.09231
  • Titre: Li-Yau-Hamilton Inequality on the JKO Scheme for the Granular-Medium Equation
  • Auteur: Fanch Coudreuse
  • Classification: math.AP (Analyse des EDP), math.OC (Optimisation et Contrôle)
  • Date de publication: 10 octobre 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2510.09231

Résumé

Cet article établit une version de l'inégalité de Li-Yau-Hamilton pour l'équation du milieu granulaire sur le tore, couvrant à la fois le niveau des EDP et son approximation temporelle discrète donnée par le schéma JKO. L'article applique ensuite cette estimation pour dériver des résultats quantitatifs supplémentaires pour les flots JKO continus et discrets, incluant des bornes de Lipschitz et L∞L^\infty, ainsi qu'une inégalité de Harnack quantitative. Enfin, en utilisant la régularité fournie par cette estimation, l'article prouve la convergence du schéma JKO pour l'équation de Fokker-Planck dans Lloc2((0,+∞);H2(Td))L^2_{\mathrm{loc}}((0,+\infty); H^2(\mathbb{T}^d)).

Contexte et Motivation de la Recherche

Contexte du Problème

Les inégalités de type Li-Yau sont des estimations fondamentales dans la théorie de l'équation de la chaleur, avec des applications plus larges à l'étude des équations de diffusion. Initialement prouvées par P. Li et S. Yau en 1986, elles montrent que sur les variétés riemanniennes à courbure de Ricci non-négative, les solutions positives de l'équation de la chaleur satisfont une borne ponctuelle Δlog⁡ρt≥−d2t\Delta \log \rho_t \geq -\frac{d}{2t}. Par la suite, Hamilton a amélioré cette inégalité sous des hypothèses géométriques plus strictes en une estimation complète du Hessien: D2log⁡ρt⪰−12tID^2 \log \rho_t \succeq -\frac{1}{2t}I.

Motivation de la Recherche

  1. Perfectionnement de la théorie du schéma JKO: Depuis les travaux fondateurs de Jordan, Kinderlehrer et Otto, le schéma JKO en tant que schéma d'Euler implicite pour les flots de gradient dans l'espace de Wasserstein a été largement étudié. Cependant, les versions discrètes des estimations importantes valables pour l'équation continue restent à établir.
  2. Limitations des résultats existants: P.W.Y. Lee a établi en 2018 pour la première fois une estimation de la forme D2log⁡ρtτ⪰−C2tD^2 \log \rho_t^\tau \succeq -\frac{C}{2t} pour le schéma JKO sur le tore, mais avec trois limitations principales:
    • Nécessité d'hypothèses de régularité sur les données initiales
    • La constante C∈(1/2,1]C \in (1/2, 1] n'est pas optimale
    • Impossibilité de traiter des types d'équations plus généraux
  3. Défis techniques: Pour l'équation de Fokker-Planck, l'imitation directe des arguments classiques du principe du maximum rencontre des termes de gradient difficiles à contrôler. L'absence de fonctions convexes non-constantes sur le tore rend les méthodes standard inefficaces.

Contributions Principales

  1. Établissement de l'inégalité de Li-Yau-Hamilton pour l'équation du milieu granulaire: Pour la première fois, établissement d'une estimation de type Li-Yau-Hamilton au niveau continu pour l'équation du milieu granulaire sur le tore.
  2. Preuve de l'estimation asymptotique de Li-Yau-Hamilton pour le schéma JKO: Amélioration des résultats de Lee selon quatre directions:
    • Suppression de la dépendance à la régularité des données initiales
    • Récupération asymptotique de la constante optimale 1/2
    • Extension à des types d'équations plus généraux
    • Prolongement jusqu'au temps t=0t=0 dans le cas de données initiales régulières
  3. Dérivation d'estimations quantitatives: Utilisation de l'inégalité de Li-Yau-Hamilton pour dériver des bornes de Lipschitz, des bornes L∞L^\infty et une inégalité de Harnack quantitative.
  4. Preuve de convergence forte: Pour l'équation de Fokker-Planck, preuve de la convergence du schéma JKO dans Lloc2((0,+∞);H2(Td))L^2_{\mathrm{loc}}((0,+\infty); H^2(\mathbb{T}^d)).

Détails de la Méthode

Définition du Problème

Étude de l'équation du milieu granulaire sur le tore Td\mathbb{T}^d: ∂tρt=Δρt+∇⋅(ρt∇V+ρt∇W∗ρt)\partial_t \rho_t = \Delta \rho_t + \nabla \cdot (\rho_t \nabla V + \rho_t \nabla W * \rho_t) où VV est le potentiel et WW est le potentiel d'interaction.

Cadre Technique Principal

1. Méthode de la Variable de Pression

Définition de la fonction de pression: u[ρ]:=log⁡ρ+V+W∗ρu[\rho] := \log \rho + V + W * \rho

Cette fonction satisfait l'équation de Hamilton-Jacobi non-locale: ∂tut=Δut+∣∇ut∣2−∇V⋅∇ut−R(∇W,∇ut,ρt)\partial_t u_t = \Delta u_t + |\nabla u_t|^2 - \nabla V \cdot \nabla u_t - R(\nabla W, \nabla u_t, \rho_t)

2. Lemme Clé: Estimation du Gradient pour les Fonctions Semi-Convexes Périodiques

Lemme 1.1: Soit u:Rd→Ru: \mathbb{R}^d \to \mathbb{R} satisfaisant au sens faible D2u⪰−λIdD^2 u \succeq -\lambda I_d (c'est-à-dire uu est −λ-\lambda-convexe), alors pour tout i=1,…,di = 1,\ldots,d on a ∥∇u(x)∥∞≤12λ\|\nabla u(x)\|_\infty \leq \frac{1}{2\lambda}.

Ce lemme est l'outil clé pour traiter les termes de gradient sur le tore.

3. Stratégie de Preuve dans le Cas Continu

Pour le cas lisse, utilisation d'un argument du principe du maximum:

  1. Définition de −λt:=min⁡x∈Td,ν∈SdD2u[ρt](x)(ν,ν)-\lambda_t := \min_{x \in \mathbb{T}^d, \nu \in S^d} D^2 u[\rho_t](x)(\nu,\nu)
  2. Au point optimal (xt,νt)(x_t, \nu_t), utilisation des conditions d'optimalité et de la borne de semi-convexité
  3. Obtention par calcul d'une inégalité différentielle −λ˙t≥2λt2−Λλt-\dot{\lambda}_t \geq 2\lambda_t^2 - \Lambda\lambda_t
  4. Application du lemme de Grönwall pour l'équation logistique

4. Analyse Discrète du Schéma JKO

Théorème d'Amélioration en Une Étape: Soit D2u[η]⪰−λ0D^2 u[\eta] \succeq -\lambda_0, ρ∈Proxτ[η]\rho \in \text{Prox}_\tau[\eta], alors: G[τλ1,τ]≤τλ0G[\tau\lambda_1, \tau] \leq \tau\lambda_0 où G[E,τ]:=E(1−E)2(1−τ(2λ∗+L∗)+τ(λ∗+L∗)E)G[E,\tau] := \frac{E}{(1-E)^2}(1-\tau(2\lambda^* + L^*) + \tau(\lambda^* + L^*)E).

Principe de Comparaison Discret: Définition de la suite de comparaison (Ekτ)k≥0(E_k^\tau)_{k \geq 0} satisfaisant:

  • E0τ=τλ0E_0^\tau = \tau\lambda_0
  • G[Ek+1τ,τ]=EkτG[E_{k+1}^\tau, \tau] = E_k^\tau

Alors pour tout flot JKO on a D2u[ρkτ]⪰−1τEkτD^2 u[\rho_k^\tau] \succeq -\frac{1}{\tau}E_k^\tau.

Points d'Innovation Technique

  1. Contrôle du Gradient par Semi-Convexité: Utilisation astucieuse du Lemme 1.1 pour contrôler les termes de gradient sur le tore, évitant les difficultés des hypothèses de convexité.
  2. Approximation par Différences Finies: Dans le cas non-régulier, utilisation de différences finies à la place des dérivées secondes, combinée avec des arguments de limite pour établir le principe du maximum.
  3. Analyse Asymptotique: Obtention d'estimations précises par linéarisation de la fonction GG et comparaison avec la solution de l'ODE correspondante.

Configuration Expérimentale

Cadre de Vérification Théorique

Cet article est principalement un travail théorique, vérifiant les résultats par des preuves mathématiques rigoureuses. Le contenu principal de vérification inclut:

  1. Estimations Exactes pour l'Équation de la Chaleur: Lorsque V=W=0V = W = 0, obtention du comportement asymptotique exact Ek∼12kE_k \sim \frac{1}{2k}.
  2. Estimations Asymptotiques pour le Cas Général: Preuve que lorsque Λ>0\Lambda > 0, le comportement asymptotique est cohérent avec le cas continu.

Références de Comparaison

  • Résultats de P.W.Y. Lee (2018): Nécessite des hypothèses de régularité, constante non-optimale
  • Inégalité de Li-Yau-Hamilton classique: Résultats standards pour le cas continu
  • Estimation d'Aronson-Bénilan: Résultats similaires pour l'équation des milieux poreux

Résultats Expérimentaux

Résultats Théoriques Principaux

Théorème 1.2 (Estimation Asymptotique de Li-Yau-Hamilton)

Pour le flot JKO (ρtτ)t≥0(\rho_t^\tau)_{t \geq 0}, lorsque t0>0t_0 > 0, t≥t0t \geq t_0:

-\frac{1+o(\tau)}{2t} & \text{si } \Lambda = 0 \\ -\frac{(1+o(\tau))\Lambda}{2(1-e^{-\Lambda t})} & \text{sinon} \end{cases}$$ #### Théorème 1.3 (Estimation Continue de Li-Yau-Hamilton) Pour la solution du flot de gradient de l'équation du milieu granulaire $\rho$, lorsque $t > 0$: $$D^2(\log \rho_t + V + W * \rho_t) \succeq \begin{cases} -\frac{1}{2t} & \text{si } \Lambda = 0 \\ -\frac{\Lambda}{2(1-e^{-\Lambda t})} & \text{sinon} \end{cases}$$ ### Résultats d'Application #### 1. Bornes Quantitatives de Lipschitz et $L^\infty$ $$|\nabla u[\rho_t]|_\infty \leq \frac{1}{2}E_t^{\lambda_0}$$ $$e^{-\frac{d\sqrt{d}}{2}L_t^{\lambda_0}} \leq \rho \leq e^{\frac{d\sqrt{d}}{2}L_t^{\lambda_0}}$$ #### 2. Inégalité de Harnack Quantitative $$\rho_t(x) \leq \rho_{t+h}(y)\left(\frac{e^{\Gamma(t+h)}-1}{e^{\Gamma t}-1}\right)^d \exp(D_\rho(x,y;t,h))$$ #### 3. Résultats de Convergence Forte **Théorème 1.4**: Pour $F[\rho_0] < +\infty$: 1. $(\rho_t^\tau)_{t \geq 0}$ converge dans $L^p_{\text{loc}}((0,+\infty); C^{0,\alpha}(\mathbb{T}^d))$ 2. Lorsque $W = 0$, convergence dans $L^2_{\text{loc}}((0,+\infty); H^2(\mathbb{T}^d))$ ## Travaux Connexes ### Développement des Inégalités de Type Li-Yau 1. **Li-Yau (1986)**: Résultats originaux pour l'équation de la chaleur 2. **Hamilton (1993)**: Estimation complète du Hessien 3. **Bakry-Ledoux, Bakry-Bolley-Gentil**: Extension aux opérateurs de diffusion de Markov ### Théorie des Estimations du Schéma JKO 1. **Jordan-Kinderlehrer-Otto (1998)**: Établissement du schéma JKO 2. **Lee (2018)**: Première estimation de type Li-Yau pour le schéma JKO 3. **Ferrari-Santambrogio, Caillet-Santambrogio**: Extension des estimations de Lipschitz ### Équation du Milieu Granulaire 1. **Recherche étendue sur les équations d'agrégation-diffusion** 2. **Connexions avec les EDS de McKean-Vlasov** 3. **Applications de la théorie du transport optimal** ## Conclusion et Discussion ### Conclusions Principales 1. Établissement réussi de l'inégalité de Li-Yau-Hamilton pour l'équation du milieu granulaire sur le tore 2. Preuve que le schéma JKO préserve une version asymptotique de cette estimation 3. Dérivation de plusieurs estimations quantitatives importantes et résultats de convergence ### Limitations 1. **Restriction au Tore**: La méthode dépend de la compacité et de la périodicité du tore 2. **Hypothèses de Régularité**: Certains résultats nécessitent la régularité $C^{2,1}$ des fonctions potentielles 3. **Termes d'Interaction**: Le traitement du cas $W \neq 0$ est techniquement plus complexe ### Directions Futures 1. Extension à des variétés et domaines plus généraux 2. Traitement de termes de diffusion non-linéaire plus généraux 3. Étude d'autres types d'estimations pour les flots de gradient ## Évaluation Approfondie ### Points Forts 1. **Innovation Théorique**: Première établissement de l'inégalité de Li-Yau-Hamilton pour l'équation du milieu granulaire, comblant un vide théorique 2. **Percée Technique**: Résolution astucieuse des difficultés techniques du contrôle des termes de gradient sur le tore 3. **Résultats Complets**: Formation d'un cadre théorique complet allant des estimations en une étape à l'analyse asymptotique 4. **Applications Riches**: Dérivation de plusieurs résultats quantitatifs importants et théorèmes de convergence ### Insuffisances 1. **Portée d'Application**: Principalement limitée au cadre du tore, l'extension à des domaines généraux nécessite de nouvelles techniques 2. **Complexité Computationnelle**: Certaines preuves sont très techniques, les calculs dans les applications pratiques pourraient être complexes 3. **Optimisation des Constantes**: Bien que les constantes optimales soient récupérées asymptotiquement, les constantes en temps fini pourraient être améliorées ### Impact 1. **Contribution Théorique**: Fourniture d'outils d'analyse importants pour la théorie du schéma JKO 2. **Valeur Méthodologique**: La technique de contrôle du gradient par semi-convexité pourrait s'appliquer à d'autres problèmes 3. **Valeur Pratique**: Les estimations quantitatives offrent des orientations pour l'analyse numérique et la conception d'algorithmes ### Scénarios d'Application 1. **Analyse Numérique**: Analyse de convergence du schéma JKO et estimations d'erreur 2. **Transport Optimal**: Recherche théorique sur les flots de gradient de Wasserstein 3. **Équations aux Dérivées Partielles**: Analyse qualitative des équations d'agrégation-diffusion ## Références Bibliographiques L'article cite 33 références importantes, couvrant plusieurs domaines tels que le transport optimal, les flots de gradient et les inégalités de Li-Yau, reflétant la profondeur et l'ampleur de la recherche. --- **Évaluation Globale**: Cet article est un travail mathématique théorique de haute qualité qui apporte des contributions importantes au domaine d'intersection entre les inégalités de Li-Yau-Hamilton et le schéma JKO. Avec une forte innovation technique, des résultats théoriques complets et une base solide pour les recherches futures dans les domaines connexes.