La théorie de la régularité locale pour les équations de Stokes et Navier--Stokes près de la frontière courbe

Informations fondamentales

• ID de l'article: 2510.13028
• Titre: The local regularity theory for the Stokes and Navier--Stokes equations near the curved boundary
• Auteurs: Hui Chen, Su Liang, Tai-Peng Tsai
• Classification: math.AP (Analyse des EDP)
• Date de publication: 14 octobre 2025 (soumission arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.13028

Résumé

Cet article étudie le problème de la régularité locale pour l'équation de Stokes près d'une frontière courbe, en considérant les conditions aux limites sans glissement (no-slip) ou de Navier. Les auteurs généralisent les estimations antérieures concernant les frontières planes au cas des frontières courbes, établissant la théorie correspondante sous des hypothèses de régularité initiale extrêmement faibles. Comparé au cas des frontières planes, la preuve pour les frontières courbes est beaucoup plus complexe et nécessite de nouvelles techniques telles que la « forme normale » lissée, la récupération des estimations de dérivées verticales à partir des dérivées horizontales, et la transformation des dérivées temporelles en dérivées spatiales, afin de traiter les termes de perturbation d'ordre élevé générés par le redressement de la frontière. En application, les auteurs proposent une nouvelle définition des points réguliers de frontière pour l'équation de Navier-Stokes incompressible, garantissant une régularité spatiale plus élevée.

Contexte et motivation de la recherche

1. Importance du problème: Les équations de Stokes et Navier-Stokes décrivent le mouvement des fluides visqueux incompressibles et constituent les équations fondamentales de la mécanique des fluides. Comprendre la régularité des solutions près de la frontière est crucial tant pour la théorie que pour les applications en mécanique des fluides.
2. Limitations des recherches existantes:
   • Les théories existantes de régularité aux frontières se concentrent principalement sur le cas des frontières planes
   • Les travaux de Seregin-Shilkin et al. montrent que, même avec une force extérieure nulle, les solutions faibles de l'équation de Stokes sous condition de non-glissement peuvent ne pas être lisses près de la frontière
   • Les contre-exemples construits par Chang-Kang montrent que des solutions très faibles bornées peuvent avoir des gradients non bornés
3. Défis des frontières courbes: En raison de la complexité géométrique, le cas des frontières courbes nécessite de traiter les termes de perturbation supplémentaires générés par le redressement de la frontière, rendant l'analyse beaucoup plus difficile.
4. Motivation de la recherche: Établir une théorie de régularité complète pour le cas des frontières courbes, fournissant une base théorique pour les géométries complexes rencontrées dans les applications pratiques.

Contributions principales

1. Généralisation des estimations aux frontières: Généralisation des estimations de régularité de l'équation de Stokes sur frontières planes au cas des frontières courbes, établissement d'estimations de gradients sur les frontières $C^{1,1}$ et d'estimations de dérivées secondes sur les frontières $C^{2,1}$.
2. Innovations techniques: Développement de nouvelles techniques pour traiter les frontières courbes, notamment:
   • La « forme normale » lissée
   • La récupération des estimations de dérivées verticales à partir des dérivées horizontales
   • La transformation des dérivées temporelles en dérivées spatiales
3. Théorie de régularité complète: Établissement d'une théorie de régularité locale complète respectivement pour les conditions aux limites sans glissement et de Navier.
4. Nouvelle définition des points réguliers de frontière: Proposition d'une nouvelle définition des points réguliers de frontière pour l'équation de Navier-Stokes garantissant une régularité spatiale d'ordre supérieur.

Explication détaillée des méthodes

Définition du problème

Considérons l'équation de Stokes instationnaire sur un domaine $\Omega \subset \mathbb{R}^d$ ($d \geq 2$): $\begin{cases} \partial_t u - \Delta u + \nabla p = f + \text{div} F \\ \text{div} u = 0 \end{cases}$

Les conditions aux limites sont:

• Condition sans glissement: $u = 0$ sur $\Sigma$
• Condition de Navier: $[(2Du + F)n]_{\tan} + \alpha u_{\tan} = 0$ et $u \cdot n = 0$ sur $\Sigma$

L'objectif est d'établir des estimations de régularité des solutions près de la frontière courbe $\partial\Omega \in C^{1,1}$ ou $C^{2,1}$.

Cadre technique fondamental

1. Technique de redressement de la frontière

Pour une frontière $C^{1,1}$, le redressement local de la frontière courbe s'effectue par transformation de coordonnées $T$: $T x = (x', x_d - \gamma(x'))$ où $\gamma \in C^{1,1}(\mathbb{R}^{d-1})$ satisfait $\gamma|_{x'=0} = 0$, $\nabla\gamma|_{x'=0} = 0$.

2. Technique de lissage et prolongement

Utilisation d'un opérateur de lissage avec prolongement pair-pair-impair: $E^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(g)(x,t) = \int_{\mathbb{R}^d_+ \times \mathbb{R}} g(y,s) \cdot \eta^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(x,y,t-s) dy ds$

3. Technique de forme normale

Pour traiter les termes de perturbation d'ordre élevé, introduction de la « forme normale »:

• Pour la vitesse: $\hat{v}_k = (1 + |\nabla\gamma|^2)v_k$
• Pour la vorticité: $\hat{\omega}_{id} = (1 + |\nabla\gamma|^2) \cdot \omega_{id} + \sum_{k=1}^{d-1}(1 + |\nabla\gamma|^2) \cdot \gamma'_k \cdot \gamma'_i \cdot \omega_{kd}$

Théorèmes principaux

Théorème 1.1 (Estimations de dérivées pour condition sans glissement)

Supposons $\Gamma \in C^{1,1}$, et soit $(u,p)$ une paire de très faible solution. Alors: $\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}$

Théorème 1.2 (Estimations de gradients pour condition de Navier)

Supposons $\Gamma \in C^{1,1}$, et soit $u$ une solution faible. Alors: $\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}$

Théorème 1.3 (Estimations de dérivées d'ordre supérieur pour condition de Navier)

Supposons $\Gamma \in C^{2,1}$, soit $(u,p)$ une paire de solution faible, $F = 0$. Alors: $\|\partial_t u, \nabla^2 u, \nabla p\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q,r}(Q^+_1)}$

Points d'innovation technique

1. Méthode de forme normale

Par introduction de la forme normale $\hat{v}_k$ et $\hat{\omega}_{id}$, les termes d'ordre élevé générés par le redressement de la frontière sont transférés au membre gauche de l'équation, évitant ainsi les termes explosifs dans les estimations.

2. Technique de récupération de dérivées

Utilisation de la condition de divergence nulle pour récupérer les estimations de dérivées verticales à partir des dérivées horizontales: $\partial^2_d E_{\varepsilon_3}(T^{-1}\tilde{u}_d \cdot \zeta) = \partial_d E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) - \sum_{i=1}^{d-1} \partial_d \partial_i E_{\varepsilon_3}(v_i)$

3. Transformation dérivées spatio-temporelles

Transformation des dérivées temporelles en dérivées spatiales pour traiter les termes d'ordre inférieur: $\partial_t E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) = \sum_{k=1}^d (\Delta E_{\varepsilon_3}\hat{v}_k - \partial_k E_{\varepsilon_3}\pi_k + \text{t.o.i.})$

Stratégie de preuve

Condition sans glissement (Section 3)

1. Construction d'approximation de vitesse: Définition de $v_k(x,t) = T^{-1}u_k(x,t) \cdot \zeta(x,t)$
2. Dérivation d'équation de chaleur: Obtention de l'équation de chaleur pour $E^-_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(v_k)$ par choix de fonctions test appropriées
3. Estimations de gradients: Utilisation de la technique de forme normale pour traiter les termes d'ordre élevé, établissement d'estimations $L^{q,r}$ des gradients
4. Estimations de dérivées secondes: Établissement d'estimations de dérivées d'ordre supérieur par théorie elliptique et techniques itératives

Condition de Navier (Sections 4-5)

1. Équation de vorticité: Construction d'approximation de vorticité et dérivation de son équation de chaleur
2. Estimations par étapes: Établissement d'estimations avec termes supplémentaires, puis élimination progressive de ces termes par analyse fine
3. Estimations d'ordre supérieur: Pour les frontières $C^{2,1}$, établissement d'estimations de dérivées troisièmes

Application: Nouvelle définition des points réguliers de frontière

Définition 1.4 (Points réguliers de frontière)

On dit que $z_0 = (x_0, t_0)$ est un point régulier de frontière pour la paire de solution $(u,p)$ de l'équation de Navier-Stokes s'il existe $R > 0$ tel que $u \in L^{\infty}(Q^+_R(z_0))$ et $p \in L^{q_0,r_0}(Q^+_R(z_0))$ pour certains $1 < q_0, r_0 < \infty$.

Théorème de relèvement de régularité

• Théorème 1.5: Sous condition sans glissement, près d'un point régulier de frontière, on a $\partial_t u, \nabla^2 u, \nabla p \in L^{q_1,r_0}$ pour tout $q_1 < \infty$
• Théorème 1.6: Sous condition de Navier, près d'un point régulier de frontière, on a $\nabla\partial_t u, \nabla^3 u, \nabla^2 p \in L^{q_1,r_0}$ pour tout $q_1 < \infty$

Travaux connexes

Cas des frontières planes

• Seregin-Shilkin ont établi la régularité spatiale lissée près des frontières planes
• Chang-Kang ont construit des contre-exemples montrant que les gradients peuvent être non bornés sans hypothèse de pression
• Chen-Liang-Tsai ont établi des estimations de gradients sous condition de Navier

Cas des frontières courbes

• Dong-Kwon ont étudié le cas de coefficients de viscosité variables, mais nécessitant des hypothèses de régularité plus fortes
• Cet article est le premier à établir une théorie complète pour les frontières courbes sous les hypothèses de régularité minimales

Conclusions et discussion

Conclusions principales

1. Généralisation réussie de la théorie de régularité des frontières planes au cas des frontières courbes
2. Développement de nouvelles méthodes techniques pour traiter les frontières courbes
3. Proposition d'une nouvelle définition des points réguliers de frontière pour l'équation de Navier-Stokes

Limitations

1. Pour la condition sans glissement, une estimation $L^{q,r}$ de la pression est toujours nécessaire pour éviter les contre-exemples
2. Les estimations de dérivées troisièmes nécessitent une régularité de frontière $C^{3,1}$
3. Les estimations de gradients sous condition de Navier nécessitent toujours l'hypothèse $\nabla u \in L^1$

Directions futures

1. Étude de la possibilité d'établir la théorie sous régularité de frontière plus faible
2. Exploration de l'élimination possible de la dépendance au terme de pression
3. Généralisation des résultats à des conditions aux limites plus générales

Évaluation approfondie

Avantages

1. Complétude théorique: Établissement d'une théorie de régularité complète pour les frontières courbes
2. Innovations techniques: Développement de plusieurs nouvelles techniques pour traiter les frontières courbes
3. Valeur applicative: Fourniture d'une base théorique pour les problèmes de fluides pratiques
4. Rigueur de la preuve: Traitement précis des détails techniques et argumentation complète

Insuffisances

1. Complexité technique: Le processus de preuve est extrêmement complexe, avec une lisibilité limitée
2. Conditions d'hypothèse: Certains résultats nécessitent toujours des hypothèses relativement fortes
3. Optimalité: L'optimalité des résultats n'est pas complètement établie

Portée d'impact

1. Contribution théorique: Comblage d'une lacune dans la théorie de régularité des frontières courbes
2. Valeur méthodologique: Les techniques fournies pourraient s'appliquer à d'autres problèmes aux valeurs limites
3. Perspectives d'application: Fourniture d'un support théorique pour l'analyse numérique et les applications d'ingénierie

Domaines d'application

1. Problèmes de mécanique des fluides en domaines de géométrie complexe
2. Analyse mathématique de la théorie des couches limites
3. Fondements théoriques de la mécanique des fluides numérique

Références bibliographiques

L'article cite 40 références pertinentes, incluant principalement:

• Les travaux classiques de Caffarelli-Kohn-Nirenberg sur la régularité intérieure
• La série de travaux de Seregin et al. sur la régularité aux frontières
• Les recherches récentes de Chang-Kang sur la construction de contre-exemples
• Les travaux antérieurs des auteurs sur le cas des frontières planes

Évaluation générale: Cet article est un travail de haute qualité avec des contributions importantes à la théorie des équations aux dérivées partielles, résolvant avec succès le problème longtemps non résolu de la régularité de l'équation de Stokes près des frontières courbes, avec des innovations techniques significatives et une valeur théorique très élevée.