2025-11-12T02:46:09.412369

Critical curve for weakly coupled system of semilinear Euler-Poisson-Darboux-Tricomi equations

Li, Guo
This paper investigates a weakly coupled system of semilinear Euler-Poisson-Darboux-Tricomi equations (EPDTS) with power-type nonlinear terms. More precisely, in the case where the damping terms dominate over the mass terms, the critical curve in the $p-q$ plane that delineates the threshold between global existence and blow-up for the EPDTS is given by \begin{equation*} Γ_m(n,p,q,β_1,β_2)=0, \end{equation*} where $Γ_m$ is defined by (\ref{gammam}). Through the construction of new test functions, the blow-up problem is addressed when $Γ_m(n,p,q,β_1,β_2)\geq0$. Based on the $(L^1\cap L^2)-L^2$ estimates of the solution to the corresponding linear equation established in our previous work \cite{LiGuo2025}, we derive the global existence of solutions with small initial data when $Γ_m(n,p,q,β_1,β_2)<0$, provided that the damping terms prevail over the mass terms.
academic

Kritische Kurve für schwach gekoppeltes System semilinearer Euler-Poisson-Darboux-Tricomi-Gleichungen

Grundinformationen

  • Paper-ID: 2511.08084
  • Titel: Critical curve for weakly coupled system of semilinear Euler-Poisson-Darboux-Tricomi equations
  • Autoren: Yuequn Li, Fei Guo
  • Klassifikation: math.AP (Analysis von PDEs)
  • Veröffentlichungsdatum: 11. November 2025
  • Paper-Link: https://arxiv.org/abs/2511.08084

Zusammenfassung

In diesem Artikel wird das schwach gekoppelte System semilinearer Euler-Poisson-Darboux-Tricomi-Gleichungen (EPDTS) mit potenzgesetzlichen nichtlinearen Termen untersucht. Unter der Bedingung, dass der Dämpfungsterm den Massenterm dominiert, wird eine kritische Kurve Γm(n,p,q,β1,β2)=0\Gamma_m(n,p,q,\beta_1,\beta_2)=0 in der p−qp-q-Ebene angegeben, die zwischen globaler Existenz und Blow-up-Phänomenen unterscheidet. Durch die Konstruktion neuer Testfunktionen wird das Blow-up-Problem für Γm(n,p,q,β1,β2)≥0\Gamma_m(n,p,q,\beta_1,\beta_2)\geq 0 behandelt. Basierend auf (L1∩L2)−L2(L^1\cap L^2)-L^2-Abschätzungen für Lösungen der entsprechenden linearen Gleichungen aus früheren Arbeiten der Autoren wird die globale Existenz von Lösungen mit kleinen Anfangswerten für Γm(n,p,q,β1,β2)<0\Gamma_m(n,p,q,\beta_1,\beta_2)<0 und dominantem Dämpfungsterm hergeleitet.

Forschungshintergrund und Motivation

Forschungsproblem

In diesem Artikel wird das folgende schwach gekoppelte System semilinearer Euler-Poisson-Darboux-Tricomi-Gleichungen untersucht:

\partial_t^2 u - t^{2m}\Delta u + \frac{\mu_1}{t}\partial_t u + \frac{\nu_1^2}{t^2}u = |v|^p, & t>1, x\in\mathbb{R}^n,\\ \partial_t^2 v - t^{2m}\Delta v + \frac{\mu_2}{t}\partial_t v + \frac{\nu_2^2}{t^2}v = |u|^q, & t>1, x\in\mathbb{R}^n,\\ (u,\partial_t u, v, \partial_t v)(1,x) = (u_0,u_1,v_0,v_1)(x), & x\in\mathbb{R}^n \end{cases}$$ wobei $m>-1$, $n\geq 1$ die Raumdimension ist, $\mu_i, \nu_i^2\geq 0$ nichtnegative Parameter sind und $p,q>1$. ### Bedeutung der Forschung 1. **Theoretische Bedeutung**: Dieses System verallgemeinert die klassische Wellengleichungstheorie und beinhaltet die Wechselwirkung zwischen dem Strauss-Exponent und dem Fujita-Exponent 2. **Mathematische Struktur**: Die Existenz des Gellerstedt-Operators $\partial_t^2 - t^{2m}\Delta$ führt dazu, dass der Dämpfungsterm $\frac{\mu}{t}\partial_t u$ und der Massenterm $\frac{\nu^2}{t^2}u$ die gleiche Skalierungsinvarianz aufweisen 3. **Kritische Phänomene**: Die Bestimmung der kritischen Kurve, die zwischen globaler Existenz und Blow-up unterscheidet, ist ein Kernproblem der Theorie partieller Differentialgleichungen ### Einschränkungen bestehender Methoden 1. **Ergebnisse für einzelne Gleichungen lassen sich nicht direkt verallgemeinern**: Die kritische Kurve für schwach gekoppelte Systeme ist keine einfache rechteckige Region 2. **Konstruktion von Testfunktionen**: Die Unterschiede zwischen dem Gellerstedt-Operator und dem Standard-Wellenoperator erfordern die Konstruktion neuer, vom Parameter $m$ abhängiger Testfunktionen 3. **Rolle des Parameters $\delta$**: Der Parameter $\delta_i = (\mu_i-1)^2 - 4\nu_i^2$ charakterisiert die Wechselwirkung zwischen Dämpungs- und Massenterm; seine Größe bestimmt die parabolische oder hyperbolische Natur des Systems ### Forschungsmotivation 1. Verallgemeinerung früherer Arbeiten der Autoren zu einzelnen Gleichungen [17] auf gekoppelte Systeme 2. Aufdeckung der komplexen Wechselwirkungen zwischen den Parametern $\mu_i, \nu_i, m$ 3. Etablierung einer vollständigen Theorie der globalen Existenz und des Blow-ups ## Kernbeiträge 1. **Etablierung der kritischen Kurve**: Es wird bewiesen, dass die kritische Kurve für ausreichend großes $\delta_i$ gegeben ist durch $$\Gamma_m(n,p,q,\beta_1,\beta_2) := \max\left\{\frac{p+1}{pq-1}-\frac{\beta_1-1}{2}, \frac{q+1}{pq-1}-\frac{\beta_2-1}{2}\right\} - \frac{(m+1)n}{2} = 0$$ wobei $\beta_i = \frac{\mu_i+1-\sqrt{\delta_i}}{2}$ 2. **Konstruktion neuer Testfunktionen**: Für den Gellerstedt-Operator werden neue, vom Parameter $m$ abhängige Testfunktionen entworfen, um Blow-up-Ergebnisse für $\Gamma_m\geq 0$ zu beweisen 3. **Theorie der globalen Existenz**: Basierend auf $(L^1\cap L^2)-L^2$-Abschätzungen wird die globale Existenz von Lösungen mit kleinen Anfangswerten für $\Gamma_m<0$ etabliert, unterteilt in Fälle hoher Regularität ($\sigma\geq 1$) und niedriger Regularität ($0<\sigma<1$), wobei jeder Fall weiter in drei Unterfälle unterteilt wird 4. **Nichttriviale Verallgemeinerung**: Es wird bewiesen, dass die Ergebnisse für gekoppelte Systeme keine einfache Verallgemeinerung der Ergebnisse für einzelne Gleichungen darstellen; es gibt ein "Versatz"-Phänomen in der kritischen Region, das die komplexe Balance zwischen den beiden Dämpfungstermen und den beiden Massentermen widerspiegelt ## Detaillierte Methodologie ### Aufgabendefinition Untersuchung des Cauchy-Problems für System (1.1), Bestimmung, unter welchen Bedingungen an die Parameter $(p,q)$ die Lösung global existiert oder in endlicher Zeit explodiert. **Definition der Energielösung**: $(u,v)$ ist eine Energielösung von System (1.1) auf $[1,T)$, wenn: - Regularität: $(u,v)\in (C([1,T);H^1)\cap C^1([1,T);L^2))^2$ - Träger-Eigenschaft: $\text{supp}(u,v)(t,\cdot)\subset B_{\varphi_m(t)-\varphi_m(1)+M}$, wobei $\varphi_m(t) = \frac{t^{m+1}}{m+1}$ - Erfüllung der Integralgleichungen (2.6) und (2.7) ### Methodische Architektur der Blow-up-Theorie #### Konstruktion von Testfunktionen Für das Blow-up-Problem ist die Schlüsselinnovation die Konstruktion neuer Testfunktionen: $$\psi_{d,R}(t,x) = \lambda\left(\frac{t-1}{d}\right)\varphi\left(\frac{x}{R^{m+1}}\right)$$ wobei $\lambda(t), \varphi(x)\in C_0^\infty$ spezielle Eigenschaften (3.3) erfüllen. **Kritische technische Punkte**: 1. Die räumliche Abschneidung hängt von $R^{m+1}$ statt $R$ ab; dies ist der Kern der Anpassung an den Gellerstedt-Operator 2. Verwendung der ODE-Eigenschaften, die $h_i(t) = t^{\beta_i}$ erfüllt (3.1) 3. Umformulierung der Gleichung in Divergenzform (3.2) #### Blow-up-Beweisstrategien 1. Definition der Integralfunktionale $I_{d,R}, J_{d,R}$ 2. Abschätzung aller Terme durch Hölder-Ungleichung und Träger-Eigenschaften 3. Verwendung von Bedingung (2.9) zur Sicherung der Integrierbarkeit der Exponenten 4. Herleitung eines Widerspruchs: Wenn $T=\infty$, dann muss bei $\Gamma_m\geq 0$ entweder $u\equiv 0$ oder $v\equiv 0$ gelten, was der Anfangsbedingung (2.8) widerspricht **Kritische Ungleichungen**: $$I_{R,R} \lesssim (R+1)^{-2-\frac{2}{q}+(1-\frac{1}{pq})((m+1)n+\beta_1+1)}I_{R,R}^{\frac{1}{pq}}$$ $$J_{R,R} \lesssim (R+1)^{-2-\frac{2}{p}+(1-\frac{1}{pq})((m+1)n+\beta_2+1)}J_{R,R}^{\frac{1}{pq}}$$ ### Methodische Architektur der globalen Existenz #### Grundlagen der linearen Theorie Verwendung der aus früheren Arbeiten [17] der Autoren etablierten $(L^1\cap L^2)-L^2$-Abschätzungen für die lineare Gleichung $$\partial_t^2 u - t^{2m}\Delta u + \frac{\mu}{t}\partial_t u + \frac{\nu^2}{t^2}u = 0$$ (Propositionen 4.1-4.2). **Kernabschätzung**: Für $\kappa\in[0,\sigma]$, $$\|u(t,\cdot)\|_{\dot{H}^\kappa} \lesssim \|(f,g)\|_{D_\kappa} \times \begin{cases} t^{-\frac{\mu+m}{2}}, & \text{wenn } \kappa > \frac{\sqrt{\delta}}{2(m+1)} + \frac{1}{2} - \frac{n}{2}\\ t^{-\frac{\mu+m}{2}}(1+\log t)^{1/2}, & \text{wenn } \kappa = \frac{\sqrt{\delta}}{2(m+1)} + \frac{1}{2} - \frac{n}{2}\\ t^{-(m+1)(\kappa+\frac{n}{2})+\frac{\sqrt{\delta}-\mu+1}{2}}, & \text{wenn } \kappa < \frac{\sqrt{\delta}}{2(m+1)} + \frac{1}{2} - \frac{n}{2} \end{cases}$$ #### Nichtlineare Theorie: Fixpunkt-Methode Durch das Duhamel-Prinzip wird die Lösung dargestellt als: $$u(t,x) = E_0^{\mu_1,\nu_1}(t,1,x)*u_0 + E_1^{\mu_1,\nu_1}(t,1,x)*u_1 + \int_1^t E_1^{\mu_1,\nu_1}(t,\tau,x)*|v(\tau,x)|^p d\tau$$ **Funktionsraum-Design** (hohe Regularität $\sigma\geq 1$): $$X(T) = \{(u,v)\in (C([1,T];H^\sigma)\cap C^1([1,T];H^{\sigma-1}))^2: \text{supp}(u,v)\subset B_{\varphi_m(t)-\varphi_m(1)+M}\}$$ ausgestattet mit der Norm $$\|(u,v)\|_{X(T)} = \sup_{t\in[1,T]}(t^{-\alpha_1}M_1(t,u) + t^{-\alpha_2}M_2(t,v))$$ wobei $M_i$ die Normen $L^2, \dot{H}^\sigma$ und ihre Zeitableitungen enthält, mit Gewichten $\alpha_i$, die durch die Bedingungen $p\lessgtr \tilde{p}, q\lessgtr \tilde{q}$ bestimmt werden. **Kritische Parameter**: $$\tilde{p} = \frac{(m+1)n+\beta_1+1}{(m+1)n+\beta_2-1}, \quad \tilde{q} = \frac{(m+1)n+\beta_2+1}{(m+1)n+\beta_1-1}$$ #### Behandlung von drei Fällen 1. **$p>\tilde{p}, q>\tilde{q}$** (Theorem 2.2): $\alpha_1=\alpha_2=0$, Standard-Kontraktionsprinzip 2. **$p\leq\tilde{p}, q>\tilde{q}$** (Theorem 2.3): $\alpha_1>0, \alpha_2=0$, erfordert zusätzliche technische Bedingung (2.27) 3. **$p>\tilde{p}, q\leq\tilde{q}$** (Theorem 2.4): Dual zu Fall 2 ### Technische Innovationspunkte 1. **$m$-Abhängigkeit der Testfunktion**: Die räumliche Abschneidung $R^{m+1}$ erfasst präzise die Ausbreitungsgeschwindigkeit des Gellerstedt-Operators 2. **Feines Design gewichteter Normen**: Die Einführung von Gewichten $t^{-\alpha_i}$ ermöglicht die Etablierung der globalen Existenz auch wenn $p\leq\tilde{p}$ 3. **Behandlung von Logarithmusfaktoren**: Wenn $\delta_i = (m+1)^2(n+2\sigma-1)^2$, erscheinen $(1+\log t)^{1/2}$-Faktoren in den Abschätzungen, die eine spezielle Integrierbarkeitsanalyse erfordern 4. **Schichtung der Anfangswert-Regularität**: - $\sigma\geq 1$: Kontrolle der Norm von $\partial_t u$ erforderlich - $0<\sigma<1$: Keine Abschätzung der Zeitableitung erforderlich, vereinfacht den Funktionsraum ## Experimentelle Einrichtung **Anmerkung**: Dieser Artikel ist eine reine mathematische Theoriearbeit ohne numerische Experimente. Alle Ergebnisse werden durch strenge mathematische Beweise gewonnen. ### Theoretische Verifikation Der Artikel verifiziert die Nichtleerheit der theoretischen Bedingungen durch die Konstruktion konkreter Beispiele: **Beispiel 2.1** (Blow-up): $m=0.1, n=2, \mu_1=3, \nu_1=0.25, \mu_2=0.5, \nu_2=0.125$ - Berechnung ergibt $\delta_1=\frac{15}{4}, \delta_2=\frac{3}{16}, \beta_1=\frac{2-\sqrt{15}}{4}, \beta_2=\frac{3}{4}-\frac{\sqrt{3}}{8}$ - Wahl von $p=2.1>1.172, q=2.2>0.687$ - Ergebnis: $\Gamma_m\approx 0.017>0$, Lösung explodiert **Beispiel 2.3** (Globale Existenz): $\sigma=1.1, m=0.4, n=3, \mu_1=15, \nu_1=6, \mu_2=8.7, \nu_2=0.25$ - Verifikation: $\delta_1=52, \delta_2=59.04 > 34.5744 = (m+1)^2(n+2\sigma-1)^2$ - Für beliebige $2<p\leq 3.5, 2<q\leq 3.5$ hat das System eine eindeutige globale Lösung ## Experimentelle Ergebnisse ### Haupttheoretische Ergebnisse #### Blow-up-Ergebnisse (Theorem 2.1) **Bedingungen**: - $\mu_i>1$ (wenn $-1<m<0$) oder $\mu_i>0$ (wenn $m\geq 0$) - $\delta_1,\delta_2>0$ - Anfangswerte erfüllen (2.8) - $p,q$ erfüllen (2.9) und $\Gamma_m(n,p,q,\beta_1,\beta_2)\geq 0$ **Schlussfolgerung**: Die Energielösung explodiert in endlicher Zeit **Bedeutung**: 1. Die Blow-up-Region ist keine rechteckige Region $\{1<p\leq p_F^1, 1<q\leq p_F^2\}$ 2. Es gibt Fälle, in denen $p$ oder $q$ größer als der entsprechende Fujita-Exponent ist, aber die Lösung trotzdem explodiert 3. Wenn $\beta_1\neq\beta_2$, tritt ein "Versatz"-Phänomen in der Blow-up-Region auf #### Ergebnisse zur globalen Existenz **Hohe Regularität ($\sigma\geq 1$)**: 1. **Theorem 2.2** ($p>\tilde{p}, q>\tilde{q}$): - Erfordert $\delta_1,\delta_2 \geq (m+1)^2(n+2\sigma-1)^2$ - Lösung erfüllt Abklingabschätzungen: $$\|u(t,\cdot)\|_{L^2} \lesssim t^{-\frac{(m+1)n}{2}+\frac{\sqrt{\delta_1}-\mu_1+1}{2}}\|(u_0,u_1,v_0,v_1)\|$$ $$\|u(t,\cdot)\|_{\dot{H}^\sigma} \lesssim t^{-\frac{(m+1)(\sigma+n/2)-\sqrt{\delta_1}-\mu_1+1}{2}}\ell_1(t)\|(u_0,u_1,v_0,v_1)\|$$ 2. **Theorem 2.3** ($p\leq\tilde{p}, q>\tilde{q}$): - Zusätzliche Bedingung: $\frac{q+1}{pq-1} < \frac{(m+1)n+\beta_2-1}{2}$ - Die Abschätzung für $u$ enthält einen zusätzlichen Wachstumsfaktor $t^{\alpha_1}$, während $v$ das Standard-Abklingen beibehält 3. **Theorem 2.4**: Dual zu Theorem 2.3 **Niedrige Regularität ($0<\sigma<1$)**: Die Theoreme 2.5-2.7 entsprechen den Theoremen 2.2-2.4, erfordern aber keine Kontrolle der Zeitableitung ### Wichtige Erkenntnisse 1. **Nichttrivialität der kritischen Kurve** (Remark 2.9): - $\Gamma_m\geq 0 \Leftrightarrow p\leq\tilde{p} \text{ und } q\leq\tilde{q}$ - $\Gamma_m<0$ kann durch drei Fälle realisiert werden: $(p>\tilde{p}, q>\tilde{q})$ oder $(p\leq\tilde{p}, q>\tilde{q})$ oder $(p>\tilde{p}, q\leq\tilde{q})$ 2. **Entscheidende Rolle des Parameters $\delta$**: - $\delta$ charakterisiert die Balance zwischen Dämpungs- und Massenterm - Wenn $\delta$ ausreichend groß ist, zeigt das System parabolische Charakteristiken - Der kritische Wert $\delta_i = (m+1)^2(n+2\sigma-1)^2$ bestimmt das Auftreten von Logarithmusfaktoren 3. **Wettbewerb zwischen Strauss- und Fujita-Exponenten**: - Wenn $m=0$ (Standard-Wellengleichung), degeneriert das System zu bekannten Ergebnissen - Die Existenz des Parameters $m$ führt dazu, dass die kritischen Exponenten zwischen Strauss-Typ und Fujita-Typ interpolieren ## Verwandte Arbeiten ### Klassische Theorie einzelner Gleichungen 1. **Strauss-Exponent** (Wellengleichung $\partial_t^2 u - \Delta u = |u|^p$): - Der kritische Exponent $p_S(n)$ ist die positive Wurzel von $(n-1)p^2-(n+1)p-2=0$ - Grundlegende Arbeiten von Glassey, John, Strauss und anderen 2. **Fujita-Exponent** (Wärmegleichung $\partial_t u - \Delta u = |u|^p$): - Der kritische Exponent $p_F(n) = 1+\frac{2}{n}$ - Klassisches Ergebnis von Fujita (1969) 3. **Gedämpfte Wellengleichung** ($\partial_t^2 u - \Delta u + \partial_t u = |u|^p$): - Der kritische Exponent ist der Fujita-Exponent $p_F(n)$ - Arbeiten von Todorova-Yordanov, Zhang und anderen ### Theorie gekoppelter Systeme 1. **Standard-Wellengleichungs-Koppelsysteme**: - Del Santo, Georgiev, Mitidieri und andere untersuchten die kritische Kurve $\Gamma_W(n,p,q)=0$ - Die Blow-up-Region ist größer als bei einzelnen Gleichungen 2. **Gekoppelte Systeme mit Dämpfung**: - Arbeiten von Narazaki, Nishihara-Wakasugi und anderen - Kritische Kurve $\Gamma_{DW}(n,p,q)=0$ 3. **Systeme mit skalierungsinvarianter Dämpfung und Masse**: - Chen-Palmieri (2019) untersuchten den Fall $m=0$ - Der vorliegende Artikel verallgemeinert auf allgemeines $m>-1$ ### Einzelne Euler-Poisson-Darboux-Tricomi-Gleichungen 1. **Arbeiten von Nascimento-Palmieri-Reissig**: - Etablierung von Blow-up-Ergebnissen für $\delta\geq 0$ - Beweis der globalen Existenz wenn $\delta$ ausreichend groß ist 2. **Frühere Arbeiten der Autoren [17]**: - Etablierung von $(L^1\cap L^2)-L^2$-Abschätzungen - Bestimmung des kritischen Exponenten $p_F((m+1)n+\frac{\mu-1-\sqrt{\delta}}{2})$ für einzelne Gleichungen ### Relative Vorteile dieses Artikels 1. **Erste Behandlung gekoppelter Systeme**: Verallgemeinerung der Ergebnisse für einzelne Gleichungen auf schwach gekoppelte Systeme 2. **Neue Testfunktionen**: Konstruktion von Testfunktionen, die sich dem Gellerstedt-Operator anpassen 3. **Vollständige Theorie**: Umfassende Charakterisierung von Blow-up und globaler Existenz 4. **Nichttriviale Verallgemeinerung**: Beweis, dass Kopplungseffekte zu einem "Versatz"-Phänomen führen ## Schlussfolgerungen und Diskussion ### Hauptschlussfolgerungen 1. **Vollständige Charakterisierung der kritischen Kurve**: Wenn der Dämpfungsterm dominiert ($\delta_i$ ausreichend groß), ist die kritische Kurve gegeben durch $$\Gamma_m(n,p,q,\beta_1,\beta_2) = 0$$ 2. **Dichotomie zwischen Blow-up und globaler Existenz**: - $\Gamma_m\geq 0$: Lösung explodiert in endlicher Zeit - $\Gamma_m<0$: Lösung mit kleinen Anfangswerten existiert global 3. **Nichttrivialität der Kopplungseffekte**: Die kritische Region ist keine einfache Produktregion der Ergebnisse für einzelne Gleichungen; sie spiegelt die komplexe Wechselwirkung zwischen den beiden Dämpfungstermen und den beiden Massentermen wider ### Einschränkungen 1. **Einschränkung durch $\delta$**: - Ergebnisse zur globalen Existenz erfordern $\delta_i \geq (m+1)^2(n+2\sigma-1)^2$ - Für kleinere $\delta$ bleibt das Problem offen 2. **Ausgeschlossene Fälle**: - Theorem 2.3 schließt den Fall $\delta_2 = (m+1)^2(n+2\sigma-1)^2$ aus (Remark 4.4) - Grund: Der Logarithmusfaktor $(1+\log\tau)^{pθ_1(2p)/2}$ führt bei $p\leq\tilde{p}$ zu Integrierbarkeitsproblemen 3. **Anfangswertbedingungen**: - Blow-up-Ergebnisse erfordern, dass Anfangswerte spezielle Vorzeichenbedingungen (2.8) erfüllen - Globale Existenz erfordert kleine und kompakt getragene Anfangswerte 4. **Technische Bedingungen**: - Die Theoreme 2.3-2.4 erfordern zusätzliche technische Bedingungen (2.27) und (2.31) - Die geometrische Bedeutung dieser Bedingungen ist nicht ausreichend klar ### Zukünftige Richtungen 1. **Erweiterung des $\delta$-Bereichs**: Untersuchung des Falls $0<\delta_i < (m+1)^2(n+2\sigma-1)^2$ 2. **Kritische Fälle**: Untersuchung des feinen Verhaltens bei $\Gamma_m=0$ (Korrektionsterme, Lebensdauer-Abschätzungen) 3. **Allgemeinere Nichtlinearitäten**: Verallgemeinerung auf allgemeinere Nichtlinearitäten der Form $F(u,v)$ 4. **Numerische Verifikation**: Obwohl die Theorie vollständig ist, können numerische Simulationen intuitive Einblicke bieten 5. **Physikalische Anwendungen**: Erforschung von Anwendungen dieses Systems in Strömungsmechanik und Plasmaphysik ## Tiefgreifende Bewertung ### Stärken 1. **Mathematische Strenge**: - Beweise sind vollständig und technische Details sind klar - Konkrete Beispiele verifizieren die Nichtleerheit der theoretischen Bedingungen - Sorgfältige Fallunterscheidung für verschiedene Szenarien 2. **Methodische Innovation**: - Die Konstruktion von Testfunktionen passt sich geschickt dem Gellerstedt-Operator an - Das Design gewichteter Normen ermöglicht die Behandlung des Falls $p\leq\tilde{p}$ - Feine Analyse von Logarithmusfaktoren 3. **Theoretische Vollständigkeit**: - Abdeckung sowohl von Blow-up als auch von globaler Existenz - Behandlung sowohl hoher als auch niedriger Regularität - Vollständige Klassifikation für verschiedene Größenbeziehungen zwischen $p,q$ und $\tilde{p},\tilde{q}$ 4. **Schreibqualität**: - Klare Struktur und logische Konsistenz - Bemerkungen (Remarks) bieten reichhaltige intuitive Erklärungen - Beispiele sind repräsentativ gewählt ### Schwächen 1. **Technische Komplexität**: - Beweise beinhalten umfangreiche technische Details, die für Anfänger schwer verständlich sein können - Die Fallunterscheidung (Cases 1-8) wirkt umständlich 2. **Restriktivität der Bedingungen**: - Die Untergrenze für $\delta_i$ ist relativ stark - Technische Bedingungen (2.27) und (2.31) entbehren geometrischer Intuition 3. **Lokalität der Ergebnisse**: - Ausschluss des Falls $\delta_2 = (m+1)^2(n+2\sigma-1)^2$ - Für den Spezialfall $\beta_1=\beta_2$ degenerieren die Ergebnisse zu bekannten Resultaten 4. **Anwendungshintergrund**: - Der Artikel diskutiert nicht den physikalischen oder technischen Hintergrund des Systems - Es fehlt eine Erklärung der physikalischen Bedeutung der Parameter ### Einfluss 1. **Theoretischer Beitrag**: - Förderung der Theorie der Euler-Poisson-Darboux-Tricomi-Gleichungen - Bereitstellung eines Forschungsparadigmas für allgemeine gekoppelte hyperbolisch-parabolische Mischsysteme - Aufdeckung des Wettbewerbs zwischen Strauss- und Fujita-Exponenten in gekoppelten Systemen 2. **Methodologischer Wert**: - Die Konstruktionstechniken für Testfunktionen können auf andere Gleichungen mit variablen Koeffizienten angewendet werden - Das Design gewichteter Normen hat universelle Anwendbarkeit - Die Kombination von linearen Abschätzungen und nichtlinearer Iteration ist nachahmenswert 3. **Reproduzierbarkeit**: - Beweisdetails sind ausreichend, um verifiziert zu werden - Beispiele sind konkret und leicht zu überprüfen - Die verwendeten linearen Abschätzungen wurden in früheren Arbeiten der Autoren etabliert 4. **Nachfolgeforschung**: - Ebnet den Weg für die Untersuchung des kritischen Falls $\Gamma_m=0$ - Inspiriert die Forschung an allgemeinen $m$-abhängigen Operatoren - Könnte auf höherordentliche Gleichungen oder andere geometrische Hintergründe verallgemeinert werden ### Anwendungsszenarien 1. **Theoretische Forschung**: - Theorie partieller Differentialgleichungen, insbesondere hyperbolisch-parabolische Mischgleichungen - Theorie kritischer Exponenten - Blow-up-Theorie und globale Wohlgestelltheit 2. **Verwandte Probleme**: - Andere Wellengleichungen mit variablen Koeffizienten - Gleichungen mit Gedächtnistermen oder Bruchordnungs-Operatoren - Nichtlineare Wellenprobleme im hochdimensionalen Raum 3. **Technische Anwendungen**: - Die Testfunktionsmethode kann auf andere Blow-up-Probleme angewendet werden - Techniken mit gewichteten Sobolev-Räumen können auf andere kritische Probleme angewendet werden - Lineare Abschätzungstechniken können auf verwandte Operatoren angewendet werden ## Referenzen (Schlüsselliteratur) [2] W. Chen, A. Palmieri, *Weakly coupled system of semilinear wave equations with distinct scale-invariant terms in the linear part*, Z. Angew. Math. Phys., 70 (2019) [17] Y. Li, F. Guo, *Global existence for the semilinear regular Euler-Poisson-Darboux-Tricomi equation*, J. Differential Equations, 431 (2025) [22] W.N. Nascimento, A. Palmieri, M. Reissig, *Semi-linear wave models with power non-linearity and scale-invariant time-dependent mass and dissipation*, Math. Nachr., 290 (2017) [28] A. Palmieri, M. Reissig, *A competition between Fujita and Strauss type exponents for blow-up of semi-linear wave equations with scale-invariant damping and mass*, J. Differential Equations, 266 (2019) --- **Gesamtbewertung**: Dies ist ein hochqualitatives mathematisches Theoriearbeit, die bedeutende Beiträge zur Theorie schwach gekoppelter Systeme von Euler-Poisson-Darboux-Tricomi-Gleichungen leistet. Der Artikel ist technisch streng, methodisch innovativ und theoretisch vollständig. Obwohl es einige technische Einschränkungen gibt, fördert er insgesamt die theoretische Entwicklung in diesem Bereich und schafft eine solide Grundlage für nachfolgende Forschungen. Besonders hervorzuheben ist die tiefgreifende Aufdeckung der Nichttrivialität von Kopplungseffekten, die über eine einfache Verallgemeinerung von Ergebnissen für einzelne Gleichungen hinausgeht.