2025-11-19T23:52:14.372101

Logarithmic spirals in 2d perfect fluids

Jeong, Said
We study logarithmic spiraling solutions to the 2d incompressible Euler equations which solve a nonlinear transport system on $\mathbb{S}$. We show that this system is locally well-posed in $L^p, p\geq 1$ as well as for atomic measures, that is logarithmic spiral vortex sheets. In particular, we realize the dynamics of logarithmic vortex sheets as the well-defined limit of logarithmic solutions which could be smooth in the angle. Furthermore, our formulation not only allows for a simple proof of existence and bifurcation for non-symmetric multi branched logarithmic spiral vortex sheets but also provides a framework for studying asymptotic stability of self-similar dynamics. We give a complete characterization of the long time behavior of logarithmic spirals. We prove global well-posedness for bounded logarithmic spirals as well as data that admit at most logarithmic singularities. This is due to the observation that the local circulation of the vorticity around the origin is a strictly monotone quantity of time. We are then able to show a dichotomy in the long time behavior, solutions either blow up (either in finite or infinite time) or completely homogenize. In particular, bounded logarithmic spirals should converge to constant steady states. For logarithmic spiral sheets, the dichotomy is shown to be even more drastic where only finite time blow up or complete homogenization of the fluid can and does occur.
academic

Spirales logarithmiques dans les fluides parfaits 2D

Informations fondamentales

  • ID de l'article: 2302.09447
  • Titre: Logarithmic spirals in 2d perfect fluids
  • Auteurs: In-Jee Jeong (Université nationale de Séoul), Ayman R. Said (Université Duke)
  • Classification: math.AP (Analyse mathématique)
  • Date de publication: 31 mai 2024
  • Lien de l'article: https://arxiv.org/abs/2302.09447

Résumé

Cet article étudie les solutions en spirales logarithmiques de l'équation d'Euler incompressible bidimensionnelle, qui satisfont un système de transport non linéaire sur le cercle S\mathbb{S}. Les auteurs démontrent le caractère bien posé local du système dans les espaces LpL^p (p≥1p\geq 1) et pour les mesures atomiques (feuillets de tourbillon en spirale logarithmique). En réalisant la dynamique des feuillets de tourbillon logarithmiques comme limite bien définie de solutions régulières, ils fournissent un cadre pour étudier l'existence de feuillets de tourbillon en spirales logarithmiques multiples asymétriques, les phénomènes de bifurcation et la stabilité asymptotique de la dynamique auto-similaire. Sur la base de la monotonicité stricte de la circulation locale, les auteurs caractérisent complètement le comportement à long terme des spirales logarithmiques, prouvent le caractère bien posé global des spirales logarithmiques bornées, et révèlent une dichotomie des solutions: soit explosion (en temps fini ou infini), soit homogénéisation complète.

Contexte et motivation de la recherche

Contexte du problème

  1. Phénomènes physiques: Les spirales logarithmiques apparaissent fréquemment dans les jets turbulents et les couches de mélange, particulièrement à des nombres de Reynolds relativement élevés. Bien que la littérature appliquée utilise généralement des spirales algébriques pour la modélisation, Prandtl a d'abord suggéré en 1922 que les courbes logarithmiques pourraient être un meilleur profil pour ces structures.
  2. Défis mathématiques: Le traitement mathématique des feuillets de tourbillon en spirales logarithmiques est extrêmement difficile. La formule classique de Birkhoff-Rott ne s'applique pas directement et nécessite des mécanismes de compensation spéciaux pour vérifier que ces formules donnent effectivement des solutions faibles de l'équation d'Euler.
  3. Lacunes théoriques: Les recherches existantes se concentrent principalement sur des cas de symétrie spécifiques (comme le cas de symétrie m-fois d'Elling-Gnann, m≥3) ou le cas général récent de Cieślak-Kokocki-Ożański, mais manquent d'un cadre théorique unifié.

Motivation de la recherche

  1. Cadre unifié: Fournir une approche EDP unifiée pour traiter tous les cas précédemment considérés, rendant le traitement mathématique plus concis.
  2. Comportement à long terme: Comprendre le comportement à long terme des solutions de l'équation d'Euler 2D est un problème ouvert important en mécanique des fluides; les spirales logarithmiques fournissent une classe spéciale qui peut être complètement analysée.
  3. Formation de singularités: Étudier les mécanismes de formation de singularités des feuillets de tourbillon, ce qui est important pour comprendre la nature de la turbulence.

Contributions principales

  1. Établissement d'une théorie du caractère bien posé complète:
    • Caractère bien posé local dans les espaces LpL^p (p≥1p\geq 1)
    • Caractère bien posé global pour les données bornées et les données avec singularités logarithmiques
    • Caractère bien posé pour les mesures atomiques (feuillets de tourbillon en spirales logarithmiques)
  2. Découverte de quantités clés conservées:
    • Monotonicité stricte de la circulation locale Γ(R)=R22∫h(t,θ)dθ\Gamma(R) = \frac{R^2}{2}\int h(t,\theta)d\theta
    • Ceci constitue une différence fondamentale avec le cas de vorticité 0-homogène
  3. Caractérisation complète du comportement à long terme:
    • Convergence des solutions bornées vers un état stationnaire constant
    • Trichotomie pour les données LpL^p: existence globale et convergence, explosion en temps fini, ou explosion en temps infini
    • Dichotomie pour les données de mesure de Dirac: explosion en temps fini ou homogénéisation complète
  4. Fourniture d'un cadre théorique unifié:
    • Simplification de la preuve d'existence et de bifurcation des feuillets de tourbillon en spirales logarithmiques multiples asymétriques
    • Cadre pour étudier la stabilité asymptotique de la dynamique auto-similaire

Détails des méthodes

Définition du problème

Étude de l'équation d'Euler incompressible bidimensionnelle avec symétrie en spirale logarithmique:

\partial_t\omega + u \cdot \nabla\omega = 0 \\ u = \nabla^{\perp}\Delta^{-1}\omega \end{cases}$$ où la vorticité $\omega$ est invariante sous la transformation $(r,\theta) \mapsto (\lambda r, \theta + \beta\ln\lambda)$, c'est-à-dire: $$\omega(t,r,\theta) = h(t, \theta - \beta\ln r)$$ ### Architecture du modèle #### Réduction de dimension Par la symétrie en spirale logarithmique, le système EDP bidimensionnel se réduit à une équation de transport unidimensionnelle: $$\partial_t h + 2H\partial_\theta h = 0$$ couplée au problème elliptique: $$4H - 4\beta\partial_\theta H + (1+\beta^2)\partial_\theta^2 H = h$$ défini sur $S = \mathbb{R}/(2\pi\mathbb{Z})$. #### Ansatz de fonction de courant $$\Psi(t,r,\theta) = r^2 H(t, \theta - \beta\ln r)$$ avec le champ de vitesse correspondant: $$\begin{cases} u^r = -r\partial_\theta H(t, \theta - \beta\ln r) \\ u^\theta = 2rH(t, \theta - \beta\ln r) - \beta r\partial_\theta H(t, \theta - \beta\ln r) \end{cases}$$ #### Méthode du noyau La solution de l'équation elliptique s'exprime comme $H = K * h$, où le noyau $K$ satisfait: $$4K - 4\beta K' + (1+\beta^2)K'' = 0$$ avec les conditions aux limites: $K(0) = K(2\pi)$, $K'(2\pi) - K'(0) = \frac{1}{1+\beta^2}$ ### Points d'innovation technique 1. **Découverte de quantités conservées**: $$\frac{d}{dt}\int h d\theta = -8\beta\int (H')^2 d\theta$$ Cette monotonicité stricte est la clé de l'analyse du comportement à long terme. 2. **Processus limite des feuillets de tourbillon**: Réalisation des feuillets comme limite bien définie de solutions régulières, évitant les difficultés du traitement direct des intégrales singulières. 3. **Analyse de bifurcation unifiée**: Par l'analyse du système ODE (1.8), traitement unifié des phénomènes de bifurcation dans les cas symétriques et asymétriques. ## Configuration expérimentale ### Vérification théorique Cet article est principalement une recherche théorique, avec vérification des résultats par des preuves mathématiques rigoureuses: 1. **Preuves du caractère bien posé**: Utilisation de méthodes de régularisation et du lemme d'Aubin-Lions 2. **Analyse du comportement à long terme**: Basée sur les quantités conservées et les méthodes énergétiques 3. **Preuves de convergence**: Par convergence de mesures et théorie des distributions ### Analyse de cas spécifiques #### Mesure de Dirac avec symétrie m-fois Considération de $h(t,\cdot) = I_0(t)\sum_{j=0}^{m-1}\delta_{\theta_j(t)}$, où $\theta_j(t) = \theta_0(t) + 2\pi j/m$. Le système se simplifie en: $$\frac{d}{dt}\theta_0(t) = 2K^m(0)I_0(t)$$ $$\frac{d}{dt}I_0(t) = 2(K^m)'(0)(I_0(t))^2$$ La solution est: $I_0(t) = \frac{I_0(0)}{1-2(K^m)'(0)I_0(0)t}$ #### Deux mesures de Dirac asymétriques Les solutions auto-similaires doivent satisfaire l'équation algébrique: $$K(0)(K'(-d)-K'(d)) + K(d)(K'(0)-K'(-d)) + K(-d)(K'(d)-K'(0)) = 0$$ ## Résultats expérimentaux ### Résultats théoriques principaux #### Résultats du caractère bien posé - **Théorème 1.1**: Caractère bien posé local dans $L^p$ ($1\leq p \leq \infty$) - **Théorème 1.3**: Caractère bien posé global pour les données satisfaisant $\sup_{p\geq 1}\frac{\|h_0\|_{L^p}}{p} < +\infty$ - **Théorème 1.5**: Caractère bien posé des feuillets de tourbillon en spirales logarithmiques #### Comportement à long terme - **Théorème 1.8**: Convergence des données bornées vers un état stationnaire constant - **Théorème 1.10**: Trichotomie pour les données $L^p$ - **Théorème 1.11**: Critères de formation de singularités pour les données de mesure de Dirac ### Résultats de l'analyse de bifurcation Pour le cas de deux mesures de Dirac: - Lorsque $\beta \to 0$, existence d'une bifurcation asymétrique unique, convergeant vers $d = \pi/2$ - Lorsque $\beta$ est suffisamment grand, inexistence de solutions asymétriques - Existence d'une valeur critique $\beta_b$ produisant un phénomène de bifurcation ## Travaux connexes ### Développement historique 1. **Prandtl (1922)**: Première introduction du concept de feuillets de tourbillon en spirales logarithmiques 2. **Alexander (1971)**: Introduction des spirales symétriques multiples 3. **Elling-Gnann**: Preuves mathématiques du cas de symétrie m-fois (m≥3) 4. **Cieślak-Kokocki-Ożański**: Progrès récents dans le cas général ### Théories connexes 1. **Théorie de vorticité 0-homogène**: Cas $\beta=0$, nécessitant la symétrie m-fois pour assurer le caractère bien posé 2. **Théorie de Yudovich**: Théorie classique du caractère bien posé de l'équation d'Euler 2D 3. **Système de tourbillons ponctuels**: Théorie de la dynamique des tourbillons discrets ## Conclusions et discussion ### Conclusions principales 1. Établissement d'une théorie mathématique complète des solutions en spirales logarithmiques 2. Découverte de la monotonicité de la circulation locale comme propriété clé 3. Caractérisation complète du comportement à long terme pour diverses conditions initiales 4. Fourniture d'un cadre unifié pour traiter les cas symétriques et asymétriques ### Limitations 1. **Décroissance spatiale**: Les solutions en spirales logarithmiques ne décroissent pas à l'infini spatial, n'appartenant pas à la classe de caractère bien posé standard $L^1 \cap L^\infty$ 2. **Réalisation physique**: Nécessité d'une procédure de troncature pour la réalisation dans les solutions d'énergie finie 3. **Analyse de stabilité**: Bien qu'un cadre soit fourni, l'analyse de stabilité complète nécessite des recherches ultérieures ### Directions futures 1. **Limite visqueuse**: Étude de la convergence des solutions de Navier-Stokes vers les feuillets de tourbillon en spirales logarithmiques 2. **Théorie de stabilité**: Étude approfondie de la stabilité des spirales logarithmiques dans l'équation d'Euler 2D 3. **Vérification numérique**: Vérification par simulation numérique des prédictions théoriques, en particulier les phénomènes de bifurcation ## Évaluation approfondie ### Avantages 1. **Rigueur mathématique**: Fourniture d'un cadre théorique complet avec preuves rigoureuses de tous les résultats 2. **Unification**: Unification des résultats dispersés précédents dans un système théorique unique 3. **Innovativité**: Découverte de la monotonicité de la circulation locale comme propriété clé 4. **Complétude**: Analyse complète du caractère bien posé au comportement à long terme ### Insuffisances 1. **Limitations applicatives**: Résultats principalement théoriques; la connexion avec les phénomènes de fluides réels nécessite un développement ultérieur 2. **Complexité technique**: Certaines techniques de preuve sont relativement complexes, pouvant limiter la généralisation des résultats 3. **Absence de vérification numérique**: Manque d'expériences numériques vérifiant les prédictions théoriques ### Portée d'impact 1. **Contribution théorique**: Fourniture d'un nouveau paradigme pour l'étude du comportement à long terme de l'équation d'Euler 2D 2. **Valeur méthodologique**: Les méthodes de réduction EDP pourraient s'appliquer à d'autres problèmes de symétrie 3. **Recherche future**: Établissement d'une base solide pour la recherche ultérieure dans les domaines connexes ### Domaines d'application 1. **Mécanique des fluides théorique**: Fourniture d'outils mathématiques pour comprendre la dynamique des tourbillons 2. **Théorie des équations aux dérivées partielles**: Comme exemple typique d'équations de transport non linéaires 3. **Mathématiques appliquées**: Fourniture de méthodes pour l'étude de systèmes dynamiques avec symétries spéciales ## Références Cet article cite 34 références importantes, couvrant les travaux fondateurs de Prandtl aux progrès théoriques récents, notamment: - Prandtl (1922): Concept physique des spirales logarithmiques - Yudovich (1963): Théorie classique de l'équation d'Euler 2D - Bedrossian & Masmoudi (2015): Travaux pionniers sur le comportement à long terme - Cieślak, Kokocki & Ożański (2022-2024): Progrès récents sur les feuillets de tourbillon en spirales logarithmiques --- Cet article représente un progrès important dans la théorie de l'équation d'Euler incompressible 2D. En introduisant la symétrie en spirale logarithmique, il non seulement résout un problème mathématique ayant un arrière-plan physique, mais fournit également de nouveaux outils théoriques pour comprendre des phénomènes plus généraux de dynamique des fluides.