Bilinear control to trajectories of 1D degenerate parabolic equations in moving domains

Technische Zusammenfassung: Bilineare Steuerung zu Trajektorien entarteter parabolischer Gleichungen in 1D auf beweglichen Gebieten

Problemstellung
Dieser Artikel untersucht die lokalen Steuerbarkeitseigenschaften eindimensionaler semilinearer entarteter parabolischer Gleichungen, die auf beschränkten, zeitlich sich entwickelnden Gebieten definiert sind. Das betrachtete spezifische System wird durch eine bilineare Steuerung gesteuert, die über den Koeffizienten des Reaktionsterms wirkt. Das Gebiet $\Omega_t$ ist als $(0, \ell(t))$ definiert, wobei der Rand $\ell(t)$ eine stetig differenzierbare Funktion der Zeit ist, was zu einem nicht-zylindrischen Raum-Zeit-Gebiet $\hat{Q}$ führt. Der Diffusionskoeffizient $a(x)$ entartet am Rand $x=0$ (z. B. $a(x) = x^\alpha$ für $\alpha \in (0,1)$).

Das primäre Ziel besteht darin, die lokale exakte Steuerbarkeit zu einer positiven Trajektorie nachzuweisen. Konkret suchen die Autoren herauszufinden, ob für Anfangsdaten, die hinreichend nahe am Anfangszustand der Trajektorie liegen, eine Steuerfunktion $h$ existiert, die in einer beliebig kleinen offenen Menge $\hat{\omega} \times (0, T)$ unterstützt ist, sodass der gesteuerte Zustand $u$ zum Zeitpunkt $T$ den Trajektorienzustand $\tilde{u}$ erreicht, gegeben eine positive Trajektorie $\tilde{u}$, die die ungesteuerte Gleichung erfüllt.

Methodik
Die Autoren verfolgen eine mehrstufige Strategie, die geometrische Transformationen, Linearisierung und Funktionalanalysis kombiniert:

1. Gebietstransformation: Um den beweglichen Rand zu behandeln, konstruieren die Autoren einen Diffeomorphismus $\tau_t$, der das nicht-zylindrische Gebiet $\hat{Q}$ auf ein festes zylindrisches Gebiet $Q = (0, 1) \times (0, T)$ abbildet. Diese Transformation skaliert die räumliche Variable um und wandelt das ursprüngliche Problem in eine parabolische Gleichung mit zeitabhängigen Koeffizienten und zusätzlichen Termen niedrigerer Ordnung auf einem festen Gebiet um.
2. Linearisierung und Adjungiertenanalyse: Die Steuerbarkeit des nichtlinearen Systems wird über die Linearisierung des transformierten Systems um den Nullzustand (nach Verschiebung um die Zieltrajektorie) angenähert. Die Autoren analysieren das zugehörige linearisierte System, das einen entarteten Diffusionsterm und einen bilinearen Steuerungsterm enthält.
3. Carleman-Abschätzungen: Ein kritischer Bestandteil des Beweises ist die Herleitung globaler Carleman-Abschätzungen für das linearisierte adjungierte System. Diese Abschätzungen nutzen spezifische Gewichtsfunktionen, die von Zeit und Raum abhängen und so konzipiert sind, dass sie die Entartung bei $x=0$ und die Zeitabhängigkeit des Gebiets handhaben. Diese Abschätzungen führen zu einer Beobachtbarkeitsungleichung.
4. Nullsteuerbarkeit des linearen Systems: Unter Verwendung der Beobachtbarkeitsungleichung und der Hilbert-Eindeutigkeitsmethode (HUM), angepasst an gewichtete Räume, beweisen die Autoren die globale Nullsteuerbarkeit des linearisierten Systems. Sie etablieren die Existenz einer Steuerung, die die Lösung zum Zeitpunkt $T$ auf Null führt, sowie spezifische Regularitätsschätzungen für die Steuerung und den Zustand.
5. Satz über die inverse Funktion: Schließlich wenden die Autoren den Liusternik-Satz über die inverse Funktion in Banachräumen an. Durch den Nachweis, dass die durch das nichtlineare System definierte Abbildung $C^1$ ist und dass ihre Linearisierung am Ursprung surjektiv ist (basierend auf den Ergebnissen zur linearen Steuerbarkeit), folgern sie die lokale exakte Steuerbarkeit des ursprünglichen nichtlinearen Systems zu der positiven Trajektorie.

Hauptbeiträge und Ergebnisse

• Hauptsatz: Der Artikel beweist, dass das nichtlineare entartete parabolische System (1) zu jeder positiven Trajektorie $\tilde{u}$ zu jedem Zeitpunkt $T > 0$ lokal exakt steuerbar ist, sofern die Anfangsdaten in der $H^1_a$-Norm hinreichend nahe an den Anfangsdaten der Trajektorie liegen.
• Umgang mit beweglichen Gebieten: Die Arbeit erweitert Steuerbarkeitsresultate von festen Gebieten auf nicht-zylindrische, bewegliche Gebiete für entartete Gleichungen, ein Setting, das aufgrund der zeitlich variierenden Geometrie und der Entartung des Diffusionskoeffizienten erhebliche Komplexität einführt.
• Bilineare Steuerungsmechanik: Die Studie konzentriert sich auf bilineare Steuerungen (multiplikative Steuerungen), die auf den Reaktionsterm wirken und Wachstums- oder Zerfallraten modulieren, die proportional zum Zustand sind. Dies unterscheidet sich von additiven Steuerungen und wird in diesem Kontext als effektiv für das Trajektorien-Tracking nachgewiesen.
• Regularitätsschätzungen: Die Autoren leiten detaillierte gewichtete Abschätzungen für die Steuerung und den Zustand des linearisierten Systems her und stellen sicher, dass die Steuerung über ausreichende Regularität verfügt (speziell in gewichteten $L^2$- und $H^1$-Räumen), um die nichtlinearen Terme im Fixpunktargument zu handhaben.

Bedeutung und Behauptungen
Die Autoren positionieren diese Arbeit als Beitrag zur Steuerungstheorie für entartete partielle Differentialgleichungen (PDEs) in nicht-standardisierten Geometrien. Sie stellen fest, dass die Steuerbarkeit für nicht-entartete und entartete Gleichungen auf festen Gebieten gut entwickelt ist, die Kombination aus Entartung, Nichtlinearität und beweglichen Rändern jedoch eine komplexere Herausforderung darstellt, die spezifische Techniken erfordert.

Der Artikel beansprucht, die ersten Ergebnisse zur bilinearen Steuerbarkeit solcher entarteter Systeme in beweglichen Gebieten zu liefern. Die Bedeutung liegt darin zu zeigen, dass das System zu einer gewünschten positiven Trajektorie gelenkt werden kann, was der Regulierung komplexer dynamischer Systeme (wie etwa bei Phasenübergängen oder Populationsdynamik) unter realistischen Bedingungen entspricht, bei denen die Diffusion an den Rändern verschwindet und sich das Gebiet entwickelt. Die Autoren stellen explizit fest, dass ihre Ergebnisse lokal sind (kleine Anfangsabweichungen voraussetzend) und auf dem Liusternik-Satz über die inverse Funktion beruhen, einem Standard-, aber rigorosen Ansatz zur Etablierung lokaler Steuerbarkeit in unendlich-dimensionalen Systemen.

Der Artikel schließt mit dem Vorschlag möglicher Erweiterungen auf Systeme mit nichtlokalen Nichtlinearitäten und einphasige Stefan-ähnliche Probleme, was darauf hindeutet, dass die hier entwickelten Techniken als Grundlage für diese komplexeren Szenarien dienen könnten.