Nouvelles estimations globales de Carleman et contrôlabilité nulle pour les SPDEs paraboliques semi-linéaires avant/arrière

Informations fondamentales

• ID de l'article: 2401.13455
• Titre: New global Carleman estimates and null controllability for forward/backward semi-linear parabolic SPDEs
• Auteurs: Lei Zhang, Fan Xu, Bin Liu (École de Mathématiques et Statistiques, Université de Technologie de Huazhong)
• Classification: math.OC (Mathématiques - Contrôle optimal), math.PR (Mathématiques - Théorie des probabilités)
• Date de soumission: Janvier 2024
• Lien de l'article: https://arxiv.org/abs/2401.13455

Résumé

Cet article étudie le problème de contrôlabilité nulle pour les équations aux dérivées partielles stochastiques (SPDEs) paraboliques impliquant l'état et son gradient. Premièrement, des estimations globales améliorées de Carleman sont établies pour les SPDEs paraboliques linéaires avant (arrière) avec des coefficients stochastiques généraux et des termes sources intégrables au carré. Sur cette base, de nouvelles estimations globales de Carleman sont développées pour les SPDEs paraboliques linéaires avant (arrière) avec des termes sources dans les espaces de Sobolev d'ordre négatif, permettant ainsi de traiter la contrôlabilité nulle globale des SPDEs paraboliques linéaires arrière (avant) contenant des termes de gradient. Comme sous-produit, des estimations d'énergie pondérées explicites dépendant des paramètres λ, μ et de la fonction de poids θ sont obtenues pour le système contrôlé, ce qui rend possible l'extension de la contrôlabilité nulle linéaire aux SPDEs paraboliques semi-linéaires arrière (avant) par l'application d'un argument de point fixe dans des espaces de Banach appropriés.

Contexte et motivation de la recherche

Importance du problème

1. Défis théoriques: Les estimations de Carleman, initialement introduites par T. Carleman pour étudier le prolongement unique des EDPs elliptiques, sont devenues un outil puissant pour l'étude des EDPs, des problèmes inverses et des problèmes de contrôle. Pour les équations aux dérivées partielles stochastiques, l'établissement de telles estimations présente des défis importants.
2. Difficultés techniques: Comparé au cas déterministe, les principales difficultés dans l'environnement stochastique sont:
   • Perte de régularité temporelle de la solution
   • Absence de propriétés de compacité d'immersion dans l'espace d'état
   • Rendant inapplicables les arguments de point fixe couramment utilisés dans le cas déterministe
3. Besoins pratiques: Ces SPDEs ont des applications importantes dans la théorie du contrôle optimal stochastique et la théorie du filtrage, attirant une attention considérable du point de vue de la théorie des SPDEs.

Limitations des méthodes existantes

1. Défis dans les références 40, 37: Comme indiqué dans les travaux pionniers de Tang et Zhang, le principal défi pour étendre les résultats déterministes au cadre stochastique est la perte de régularité temporelle des solutions et l'absence de compacité d'immersion dans l'espace d'état.
2. Difficultés avec les termes dépendant du gradient: Les estimations L²-Carleman existantes 20, 40 ne peuvent pas être directement appliquées pour traiter les termes dépendant du gradient, et les estimations H⁻¹-Carleman nouvellement établies 4, 30 restent insuffisantes pour résoudre les problèmes de contrôlabilité non-linéaire.
3. Régularité des coefficients: L'apparition de coefficients stochastiques généraux introduit des termes d'interaction supplémentaires, nécessitant une analyse détaillée et précise.

Contributions principales

1. Estimations L²-Carleman améliorées: Par l'adoption de fonctions de poids appropriées, de nouvelles estimations globales de Carleman sont établies pour les SPDEs paraboliques linéaires avant (arrière) avec des coefficients stochastiques généraux et des termes sources de valeur L².
2. Estimations H⁻¹-Carleman: Utilisant des arguments de dualité et la méthode HUM de pénalité de Lions, de nouvelles estimations globales de Carleman sont dérivées pour les SPDEs paraboliques avant (arrière) avec des termes sources dans L²_F(0,T;H⁻¹(O)).
3. Contrôlabilité nulle linéaire: Sur la base des estimations H⁻¹-Carleman, la contrôlabilité nulle globale est établie pour les SPDEs paraboliques linéaires arrière (avant) impliquant l'état et le gradient, tout en obtenant des estimations d'énergie intéressantes liées aux paramètres λ, μ et à la fonction de poids θ.
4. Contrôlabilité nulle semi-linéaire: Par l'exécution d'un argument de point fixe (sans utiliser les résultats d'immersion compacte du correspondant déterministe), la contrôlabilité nulle globale des SPDEs paraboliques semi-linéaires arrière (avant) est démontrée.

Explication détaillée de la méthode

Définition de la tâche

Étude de la contrôlabilité nulle pour la SPDE parabolique semi-linéaire arrière suivante:

dy + ∇·(A∇y)dt = (F(ω,t,x,y,∇y,Y) + 1_{O'}u)dt + YdW_t  dans O_T
y = 0  sur Σ_T, y(T) = y_T  dans O

où (y,Y) est la solution unique associée à la variable de contrôle u et à l'état terminal y_T.

Construction de la fonction de poids

Inspiré par la référence 20, pour les paramètres m ≥ 1 et μ ≥ 1, on considère les fonctions de poids:

• φ(x,t) = γ(t)(e^{μ(β(x)+6m)} - μe^{6μ(m+1)})
• ξ(x,t) = γ(t)e^{μ(β(x)+6m)}
• θ(x,t) = e^{ℓ(x,t)}, ℓ(x,t) = λφ(x,t)

où γ(t) est une fonction C² définie par morceaux avec des propriétés de monotonie et de singularité spécifiques dans différents intervalles de temps.

Innovations techniques principales

1. Estimations L²-Carleman améliorées (Théorème 1.2)

Pour le système linéaire avant, l'estimation suivante est établie:

E∫_O e^{2λφ(T)}(λ²μ³e^{2μ(6m+1)}z²(T) + |∇z(T)|²)dx 
+ E∫_{O_T} λμ²ξθ²(|∇z|² + λ²μ²ξ²z²)dxdt
≤ C[E∫_{O_T} θ²(λ²μ²ξ³φ₂² + |∇φ₂|² + φ₁²)dxdt + E∫_{O'_T} λ³μ⁴ξ³θ²z²dxdt]

2. Estimations H⁻¹-Carleman (Théorème 1.4)

En combinant les estimations L²-Carleman, la méthode HUM de Lions et les arguments de dualité, on obtient:

E∫_O λμ²(ξθ²)(T)z²(T)dx + E∫_{O_T} λμ²ξθ²(λ²μ²ξ²z² + |∇z|²)dxdt
≤ C[E∫_{O'_T} λ³μ⁴ξ³θ²z²dxdt + E∫_{O_T} θ²φ₁² + λ²μ²ξ²θ²(φ₂² + |b|²)dxdt]

3. Cadre d'argument de point fixe

On définit une application dans l'espace de Banach pondéré B_{λ,μ}:

K: φ ∈ B_{λ,μ} ↦ F(ω,t,x,y,∇y,Y) ∈ B_{λ,μ}

En choisissant λ,μ suffisamment grands de sorte que Cλ⁻¹μ⁻² < 1, K devient une application contractante, garantissant par le théorème du point fixe de Banach l'existence d'un unique point fixe.

Théorèmes principaux

Théorème 1.6 (Contrôlabilité nulle linéaire)

Supposons que la condition (A1) soit satisfaite. Alors pour chaque état terminal y_T ∈ L²_(Ω;L²(O)), il existe un contrôle û ∈ L²_F(0,T;L²(O')) tel que la solution correspondante (ŷ,Ŷ) satisfasse ŷ(0) = 0.

Théorème 1.8 (Contrôlabilité nulle semi-linéaire)

Supposons que les conditions (A1)-(A2) soient satisfaites. Alors pour tout y_T ∈ L²_(Ω;L²(O)), il existe une variable de contrôle u ∈ L²_F(0,T;L²(O')) telle que la solution unique correspondante (y,Y) satisfasse y(0) = 0.

Théorème 1.12 (Contrôlabilité nulle semi-linéaire avant)

Supposons que les conditions (A1) et (A3) soient satisfaites. Alors pour chaque état initial y₀ ∈ L²_{F₀}(Ω;L²(O)), il existe une paire de contrôle (u,U) telle que la solution unique y satisfasse y(T) = 0.

Difficultés techniques et solutions

1. Complexité introduite par les coefficients stochastiques

Les coefficients stochastiques généraux a^{ij}(ω,t,x) introduisent des termes d'interaction supplémentaires, y compris les termes a^{ij}_, a^{ij}t et a^{ij}, qui n'apparaissent pas dans le cas de l'opérateur Laplacien à coefficients constants.

Solution: Par des techniques d'estimation fine pour traiter ces termes supplémentaires, en particulier dans les étapes 2-3 pour l'estimation de J_i (i=1,...,5).

2. Choix non-classique de la fonction de poids

Contrairement aux fonctions de poids classiques 4,40, une fonction de poids non-dégénérée en t=T est adoptée, ce qui entraîne que l'exposant de ξ dans l'estimation de Carleman est trois au lieu de deux.

Solution: Analyse minutieuse du comportement de la fonction de poids dans différents intervalles de temps, en particulier le signe de γ_t et l'estimation de (2.15d) dans chaque intervalle.

3. Termes non-linéaires dépendant du gradient

Le traitement de la dépendance au gradient dans F(ω,t,x,y,∇y,Y) nécessite une estimation H⁻¹-Carleman plutôt qu'une estimation L² standard.

Solution: Combinaison de la méthode HUM de pénalité de Lions et des arguments de dualité pour établir un nouveau cadre d'estimation de Carleman.

Comparaison avec les travaux connexes

Relation avec la référence 20

• Amélioration: Considère les coefficients stochastiques généraux, plutôt que seulement le cas à coefficients constants
• Extension: Traite les termes non-linéaires dépendant du gradient
• Technique: Adopte une construction de fonction de poids similaire mais nécessite de gérer plus de détails techniques

Relation avec les références 4,30

• Développement: Étend les résultats linéaires au cas non-linéaire
• Méthode: Combine plusieurs techniques (estimations de Carleman, méthode HUM, arguments de dualité)
• Application: Résout des problèmes de contrôle plus généraux

Relation avec la référence 40

• Fondation: Construite sur les travaux pionniers de Tang-Zhang
• Innovation: Traite les termes dépendant du gradient et les termes sources dans les espaces de Sobolev d'ordre négatif
• Contribution: Répond partiellement aux questions ouvertes dans 40, Remarque 2.5

Conclusion et discussion

Conclusions principales

1. Établissement réussi de la théorie de contrôlabilité nulle pour les SPDEs paraboliques semi-linéaires impliquant l'état et le gradient
2. Développement de nouvelles techniques d'estimation de Carleman capables de traiter les termes sources dans les espaces de Sobolev d'ordre négatif
3. Évitement de l'utilisation de la compacité d'immersion par un argument de point fixe ingénieux

Limitations

1. Régularité des coefficients: Exige une régularité W^{2,∞} pour les coefficients du terme principal; les conditions de régularité minimale restent à déterminer
2. Croissance non-linéaire: Traite uniquement les non-linéarités Lipschitziennes; le cas de croissance surlinéaire reste ouvert
3. Position du contrôle: Le cas avant nécessite un contrôle supplémentaire U sur le terme de diffusion

Directions futures

1. Optimisation de la régularité: Étude des exigences de régularité minimale pour les coefficients
2. Extension non-linéaire: Considération des termes non-linéaires à croissance surlinéaire
3. Optimisation du contrôle: Étude de la possibilité de réduire le nombre ou le domaine des variables de contrôle
4. Équations d'ordre supérieur: Extension aux équations paraboliques stochastiques d'ordre quatre

Évaluation approfondie

Avantages

1. Contribution théorique: Progrès importants dans la théorie du contrôle stochastique, répondant partiellement aux questions ouvertes du domaine
2. Innovation technique: Combinaison ingénieuse de plusieurs outils mathématiques, établissant un nouveau cadre d'analyse
3. Théorie complète: Chaîne théorique complète du cas linéaire au cas semi-linéaire
4. Rédaction claire: Détails techniques exhaustifs, preuves rigoureuses

Insuffisances

1. Limitations techniques: Les exigences de régularité des coefficients sont élevées, limitant potentiellement les applications pratiques
2. Coût du contrôle: Dans certains cas, des variables de contrôle supplémentaires sont nécessaires, augmentant la complexité de mise en œuvre
3. Questions ouvertes: Des problèmes théoriques importants restent non résolus

Impact

1. Valeur académique: Fournit des outils théoriques importants pour la théorie du contrôle stochastique
2. Contribution méthodologique: Le cadre technique établi peut s'appliquer à d'autres types d'équations stochastiques
3. Perspectives d'application: Applications potentielles dans la théorie du contrôle optimal stochastique et la théorie du filtrage

Scénarios applicables

1. Recherche théorique: Étude de la théorie du contrôle pour les équations aux dérivées partielles stochastiques
2. Méthodes numériques: Fourniture de fondations théoriques pour la conception d'algorithmes numériques
3. Applications d'ingénierie: Systèmes de contrôle à paramètres distribués avec perturbations stochastiques

Références

L'article cite 50 références importantes couvrant plusieurs domaines, y compris les estimations de Carleman, les équations aux dérivées partielles stochastiques, la théorie du contrôle et d'autres travaux classiques et de pointe, reflétant la profondeur et l'ampleur de la recherche.