This paper studies the parabolic $p$-Laplace equation with $p>2$ in a moving domain under a Neumann type boundary condition corresponding to the total mass conservation. We establish the existence and uniqueness of a weak solution by the Galerkin method in evolving Bochner spaces and a monotonicity argument. The main difficulty is in characterizing the weak limit of the nonlinear gradient term, where we need to deal with a term which comes from the boundary condition and cannot be absorbed into a monotone operator. To overcome this difficulty, we prove a uniform-in-time Friedrichs type inequality on a moving domain with time-dependent basis functions and make use of it to get the strong convergence of approximate solutions. We also show that the time derivative exists in the $L^2$ sense when given data have a better regularity.
academicSolutions faibles de l'équation parabolique p-Laplacienne dans un domaine mobile sous une condition aux limites de type Neumann
- ID de l'article: 2505.12598
- Titre: Weak solutions to the parabolic p-Laplace equation in a moving domain under a Neumann type boundary condition
- Auteur: Tatsu-Hiko Miura (Graduate School of Science and Technology, Université de Hirosaki)
- Classification: math.AP (Analyse mathématique)
- Date de publication: Mai 2025 (prépublication arXiv)
- Lien de l'article: https://arxiv.org/abs/2505.12598
Cet article étudie les solutions faibles de l'équation parabolique p-Laplacienne (p>2) sur un domaine mobile sous une condition aux limites de type Neumann correspondant à la conservation de la masse totale. L'existence et l'unicité des solutions faibles sont établies par la méthode de Galerkin dans les espaces de Bochner évolutifs et par des arguments de monotonie. La principale difficulté réside dans la caractérisation de la limite faible du terme de gradient non linéaire, nécessitant le traitement de termes provenant de la condition aux limites qui ne peuvent pas être absorbés dans l'opérateur monotone. Pour surmonter cette difficulté, une inégalité de Friedrichs uniforme en temps sur le domaine mobile est démontrée, utilisant des fonctions de base dépendant du temps et permettant d'obtenir la convergence forte des solutions approchées. Il est également démontré que lorsque les données données possèdent une meilleure régularité, la dérivée temporelle existe au sens L2.
- Contexte d'application pratique: Les équations aux dérivées partielles sur des domaines dépendant du temps apparaissent dans plusieurs domaines tels que la biologie, l'ingénierie et la mécanique des fluides, possédant une importance pratique considérable.
- Défis théoriques: Les équations paraboliques non linéaires sur des domaines mobiles sont beaucoup plus complexes que dans le cas de domaines fixes, particulièrement lorsque l'on considère des conditions aux limites de type Neumann.
- Conservation de la masse: La condition aux limites de type Neumann considérée dans l'article correspond à la conservation de la masse totale:
dtd∫Ωtudx=∫Ωtfdx,t∈(0,T)
- Cas linéaire: Les équations paraboliques linéaires sur des domaines mobiles ont été largement étudiées, mais les cas non linéaires sont relativement peu étudiés.
- Restrictions sur les conditions aux limites: La plupart des recherches sur les équations d'évolution d'opérateurs monotones se concentrent sur les conditions aux limites de Dirichlet; les études sur les conditions de type Neumann sont moins nombreuses.
- Difficultés techniques: La complexité supplémentaire introduite par le domaine mobile rend difficile l'application directe des méthodes de monotonie traditionnelles.
- Établissement d'une théorie d'existence et d'unicité: Pour l'équation parabolique p-Laplacienne sur un domaine mobile avec condition aux limites de type Neumann, l'existence et l'unicité des solutions faibles sont démontrées.
- Surmontage des obstacles techniques: En démontrant une inégalité de Friedrichs uniforme en temps, le problème des termes non monotones provenant de la condition aux limites est résolu.
- Développement de nouvelles techniques d'analyse: La méthode de Galerkin dans le cadre des espaces de Bochner évolutifs sur domaines mobiles est établie.
- Fourniture de résultats de régularité: Il est démontré que sous des hypothèses de régularité supérieure des données, la dérivée temporelle existe au sens L2.
Considérons l'équation parabolique p-Laplacienne sur un domaine mobile Ωt⊂Rn:
undefined