2025-11-17T16:37:19.965161

The Fujita exponent for a heat equation with mixed local and nonlocal nonlinearities on the Heisenberg group

Fino, Kirane

This article deals with the problems of local and global solvability for a semilinear heat equation on the Heisenberg group involving a mixed local and nonlocal nonlinearity. The characteristic features of such equations, arising from the interplay between the geometric structure of the Heisenberg group and the combined nonlinearity, are analyzed in detail. The need to distinguish between subcritical and supercritical regimes is identified and justified through rigorous analysis. On the basis of the study, the author suggests precise conditions under which local-in-time mild solutions exist uniquely for regular, nonnegative initial data. It is proved that global existence holds under appropriate growth restrictions on the nonlinear terms. To complement these results, it is shown, by employing the capacity method, that solutions cannot exist globally in time when the nonlinearity exceeds a critical threshold. As a result, the Fujita exponent is formulated and identified as the dividing line between global existence and finite-time blow-up. In addition, lifespan estimates were obtained in the supercritical regime, providing insight into how the size of the initial data influences the time of blow-up.

academic

L'exposant de Fujita pour une équation de la chaleur avec des non-linéarités mixtes locales et non-locales sur le groupe de Heisenberg

Informations fondamentales

ID de l'article: 2507.16411
Titre: L'exposant de Fujita pour une équation de la chaleur avec des non-linéarités mixtes locales et non-locales sur le groupe de Heisenberg
Auteurs: Ahmad Z. Fino (American University of the Middle East), Mokhtar Kirane (Khalifa University)
Classification: math.AP (Analyse des EDP)
Date de publication: 22 juillet 2025 (prépublication arXiv)
Lien de l'article: https://arxiv.org/abs/2507.16411

Résumé

Cet article étudie la résolubilité locale et globale d'une équation de la chaleur semi-linéaire impliquant des termes de non-linéarité mixtes locaux et non-locaux sur le groupe de Heisenberg. L'article analyse en détail les propriétés caractéristiques résultant de l'interaction entre la structure géométrique du groupe de Heisenberg et les termes de non-linéarité mixtes. Par une analyse rigoureuse, il identifie et justifie la nécessité de distinguer les régimes sous-critique et surcritique. L'étude fournit des conditions précises pour l'existence et l'unicité de solutions douces locales en temps pour les données initiales régulières non-négatives, prouve l'existence globale sous des restrictions de croissance appropriées des termes de non-linéarité, et utilise la méthode de capacité pour démontrer que les solutions ne peuvent pas exister globalement lorsque les termes de non-linéarité dépassent le seuil critique. Finalement, l'exposant de Fujita est déterminé comme ligne de démarcation entre l'existence globale et l'explosion en temps fini, et des estimations du temps de survie sont obtenues dans le régime surcritique.

Contexte et motivation de la recherche

Contexte du problème

Problème classique de Fujita: En 1966, Fujita a étudié le comportement de l'équation de la chaleur semi-linéaire classique $u_t = \Delta u + u^p$ sur $\mathbb{R}^n$ , découvrant l'exposant critique $p_F = 1 + 2/n$ , qui détermine la ligne de démarcation entre l'existence globale des solutions et l'explosion en temps fini.
Extension sur le groupe de Heisenberg: Le groupe de Heisenberg $H^n$ , en tant qu'exemple typique de variété sous-riemannienne, possède un opérateur sous-laplacien $\Delta_H$ avec une forte sous-ellipticité et des propriétés d'échelle sous-riemannienne. Des chercheurs comme Zhang, Pohožaev-Véron et Pascucci ont établi des résultats de type Fujita pour les problèmes de type puissance sur le groupe de Heisenberg.
Défi des non-linéarités mixtes: La présence simultanée de termes de mémoire non-locaux (convolution temporelle) et de termes de réaction de type puissance crée une non-linéarité mixte locale-non-locale qui rend le problème plus riche et plus difficile.

Motivation de la recherche

La littérature existante aborde rarement les équations de diffusion avec des non-linéarités mixtes locales-non-locales
La structure géométrique du groupe de Heisenberg fournit un cadre naturel pour la diffusion sous-elliptique
Il est nécessaire de comprendre comment l'interaction entre les effets de mémoire et les termes de réaction instantanée affecte le comportement des solutions

Contributions principales

Établissement d'un cadre théorique complet pour l'équation de la chaleur avec non-linéarité mixte sur le groupe de Heisenberg, incluant l'existence locale, l'existence globale et les résultats d'explosion
Détermination de l'exposant critique de Fujita précis, caractérisant la ligne de démarcation entre l'existence globale et l'explosion en temps fini
Développement de techniques analytiques applicables aux non-linéarités mixtes, combinant le théorème du point fixe de Banach et la méthode de capacité
Obtention d'estimations du temps de survie dans le régime surcritique, révélant l'influence de la taille des données initiales sur le temps d'explosion
Établissement d'un principe de comparaison, fournissant un outil analytique important pour les problèmes à non-linéarité mixte

Explication détaillée des méthodes

Définition du problème

Étude de l'équation de la chaleur semi-linéaire:

\partial_t u - \Delta_H u = \int_0^t (t-s)^{-\gamma} |u|^{p_1-1}u(s) ds + |u|^{p_2-1}u, & \eta \in H^n, t > 0 \\ u(\eta, 0) = u_0(\eta), & \eta \in H^n \end{cases}$$ où $\Delta_H$ est l'opérateur sous-laplacien sur le groupe de Heisenberg, $\gamma \in [0,1)$, $p_1, p_2 > 1$. ### Cadre mathématique fondamental #### 1. Structure du groupe de Heisenberg - **Opération de groupe**: $\eta \circ \eta' = (x+x', y+y', \tau+\tau'+2(x \cdot y' - x' \cdot y))$ - **Dimension homogène**: $Q = 2n + 2$ - **Norme de Korányi**: $|\eta|_H = ((|x|^2 + |y|^2)^2 + \tau^2)^{1/4}$ - **Opérateur sous-laplacien**: $\Delta_H = \sum_{i=1}^n (X_i^2 + Y_i^2)$ #### 2. Définition de la solution douce La solution douce satisfait l'équation intégrale: $$u(t,\eta) = S_H(t)u_0(\eta) + \Gamma(\alpha)\int_0^t S_H(t-s)I^\alpha_{0|s}(|u|^{p_1-1}u)(s,\eta) ds + \int_0^t S_H(t-s)|u|^{p_2-1}u(s,\eta) ds$$ où $S_H(t)$ est le semi-groupe généré par $\Delta_H$. #### 3. Exposants critiques Définition des exposants critiques clés: - $p_1^* = \max\{1/\gamma, p_\gamma\}$, où $p_\gamma = 1 + \frac{2(2-\gamma)}{Q-2+2\gamma}$ - $p_2^* = 1 + \frac{2}{Q}$ - $p_2^{**} = \max\{\frac{\gamma-\gamma^2+1}{\gamma(2-\gamma)}, 1 + \frac{2}{Q-2+2\gamma}\}$ ### Points d'innovation technique #### 1. Établissement du principe de comparaison Un principe de comparaison applicable aux non-linéarités mixtes a été construit via des séquences d'itération de Picard, constituant un outil clé pour traiter ce type de problème. #### 2. Analyse par cas de trois situations Dans la preuve de l'existence globale, le problème a été astucieusement divisé en trois cas: - $p_2 = \tilde{p}_2$: construction directe de la solution - $p_2 > \tilde{p}_2$: utilisation du principe de comparaison - $p_2^{**} < p_2 < \tilde{p}_2$: échange des rôles de $p_1$ et $p_2$ #### 3. Exploitation de l'invariance d'échelle Utilisation complète des propriétés de transformation d'échelle du groupe de Heisenberg et de l'homogénéité du noyau de chaleur. ## Configuration expérimentale ### Cadre de vérification théorique En tant qu'article de mathématiques purement théoriques, cet article ne contient pas d'expériences numériques, mais valide les résultats théoriques par des preuves mathématiques rigoureuses: #### 1. Vérification de l'existence locale - Utilisation du théorème du point fixe de Banach - Vérification de la propriété de contraction de l'opérateur - Assurance de la régularité de la solution #### 2. Vérification de l'existence globale - Construction d'espaces fonctionnels appropriés - Vérification de la bornitude de la solution dans cet espace - Utilisation d'arguments de bootstrap pour étendre la régularité #### 3. Vérification des résultats d'explosion - Application de la méthode de capacité (méthode de fonction test redimensionnée) - Construction de sous-solutions et principe de comparaison - Vérification de la précision de l'exposant critique ## Résultats principaux ### 1. Théorème d'existence locale (Théorème 1.1) Pour $u_0 \in C_0(H^n)$, $p_i > 1$ ($i=1,2$), il existe un temps maximal $T_{\max} > 0$ et une unique solution douce. Soit $T_{\max} = +\infty$ (solution globale), soit $T_{\max} < +\infty$ et la solution explose en temps fini. ### 2. Théorème d'existence globale (Théorème 1.2) Lorsque $p_1 > p_1^*$ et $p_2 > p_2^{**}$, pour des données initiales suffisamment petites, le problème admet une unique solution douce globale. ### 3. Théorème d'explosion (Théorème 1.3) Lorsque $p_1 \leq p_1^*$ ou $p_2 \leq p_2^*$, toute solution non-triviale non-négative explose en temps fini. ### 4. Estimations du temps de survie (Théorèmes 1.4-1.5) Dans le cas surcritique, des estimations précises du temps de survie sont données: - Lorsque $p_1 < p_1^{sc} := 1 + \frac{2(2-\gamma)}{Q}$: $T_\varepsilon \leq C\varepsilon^{-(\frac{2-\gamma}{p_1-1} - \frac{Q}{2})^{-1}}$ - Lorsque $p_2 < p_2^*$: $T_\varepsilon \leq C\varepsilon^{-(\frac{1}{p_2-1} - \frac{Q}{2})^{-1}}$ ## Travaux connexes ### Fondements théoriques classiques - **Fujita (1966)**: Établissement du cadre théorique du problème classique de Fujita - **Zhang, Pohožaev-Véron, Pascucci**: Extension de la théorie de Fujita au groupe de Heisenberg ### Recherche sur les non-linéarités mixtes - **Cazenave et al. (2008)**: Étude des équations purement non-locales en espace euclidien - **Souplet (1998)**: Analyse des équations de réaction-diffusion dans des domaines bornés - **Zhang (2023)**: Considération des équations de diffusion fractionnaire ### Position de cet article Cet article est le premier à étudier systématiquement l'équation de la chaleur avec non-linéarité mixte locale-non-locale sur le groupe de Heisenberg, comblant une lacune importante dans ce domaine. ## Conclusions et discussion ### Conclusions principales 1. Établissement réussi d'une théorie complète pour l'équation de la chaleur avec non-linéarité mixte sur le groupe de Heisenberg 2. Détermination de l'exposant critique de Fujita précis, caractérisant complètement la ligne de démarcation entre l'existence globale et l'explosion 3. Obtention d'estimations précises du temps de survie dans le régime surcritique ### Limitations 1. **Problèmes ouverts**: Le comportement lorsque $p_1 > p_1^*$ et $p_2^* < p_2 \leq p_2^{**}$ reste indéterminé 2. **Limitations techniques**: Certaines estimations du temps de survie ne couvrent que certains cas d'explosion 3. **Généralité**: Les résultats se limitent principalement à des formes spécifiques de non-linéarité mixte ### Directions futures 1. Extension aux opérateurs fractionnaires en temps et en espace 2. Considération de données initiales plus singulières 3. Étude de l'influence d'autres types de termes non-locaux sur différents groupes de Lie ou variétés ## Évaluation approfondie ### Avantages 1. **Complétude théorique**: Établissement d'un cadre théorique complet allant de l'existence locale au comportement global 2. **Innovation technique**: Développement de nouvelles techniques pour traiter les non-linéarités mixtes, en particulier l'établissement du principe de comparaison 3. **Précision des résultats**: Obtention d'exposants critiques précis et d'estimations du temps de survie 4. **Systématicité des méthodes**: Combinaison astucieuse de la théorie du point fixe, de la théorie des semi-groupes et de la méthode de capacité ### Insuffisances 1. **Complétude**: Existence d'une région de paramètres dont le comportement n'est pas complètement déterminé 2. **Généralité**: Les méthodes pourraient être difficiles à généraliser directement à des formes de non-linéarité plus générales 3. **Applicabilité**: En tant que recherche purement théorique, la valeur d'application pratique est limitée ### Impact 1. **Contribution académique**: Apport important à la théorie des équations paraboliques non-linéaires 2. **Valeur méthodologique**: Les techniques développées pourraient s'appliquer à d'autres cadres géométriques 3. **Inspiration pour la recherche**: Fournit une référence importante pour les recherches ultérieures sur les problèmes à non-linéarité mixte ### Domaines d'application - Modélisation des processus de diffusion en physique mathématique - Équations d'évolution non-linéaires en analyse géométrique - Étude de la théorie des équations paraboliques en géométrie sous-riemannienne ## Références bibliographiques L'article cite 21 références importantes couvrant la théorie du groupe de Heisenberg, les équations paraboliques semi-linéaires, les résultats de type Fujita et d'autres domaines clés de recherche classique et contemporaine, fournissant un soutien théorique solide pour cet article.