An Inverse Almost Periodic Problem for a Semilinear Strongly Damped Wave Equation

Titel: Een Inverse Bijna Periodieke Probleem voor een Semilineair Sterk Gedempte Golfvergelijking

Auteurs: Irina Kmit, Nataliya Protsakh, Viktor Tkachenko

---

1. Probleemstelling

Het artikel onderzoekt een inverse randwaardeprobleem voor een semilineaire, sterk gedempte golfvergelijking in een begrensd domein $\Omega \subset \mathbb{R}^n$ met een $C^2$-rand. Het probleem wordt gedefinieerd op de hele tijdsas $t \in \mathbb{R}$ (in plaats van een eindig tijdsinterval).

De onderliggende partiële differentiaalvergelijking (PDV) is:
$$u_{tt} - a^2\Delta u - b(t)\Delta u_t + \phi(x, u) = g(t)f_1(x) + f_2(t, x)$$
met Dirichlet-randvoorwaarden $u|_{\partial\Omega \times \mathbb{R}} = 0$.

Onbekenden:

1. De toestandsfunctie $u(t, x)$.
2. De tijdsafhankelijke broncoëfficiënt $g(t)$.

Gegeven:

• $a \neq 0$ en $b(t) > 0$ (sterke demping).
• $\phi(x, u)$ is een semilineaire term met Lipschitz-continuïteit.
• $f_1(x)$ en $f_2(t, x)$ zijn bekende brontermen.
• Overbepalingsvoorwaarde (Integral Condition): Om $g(t)$ te identificeren, wordt een integraalvoorwaarde opgelegd:
  $$\int_{\Omega} K(x)u(t, x)dx = E(t), \quad t \in \mathbb{R}$$
  waarbij $K(x)$ en $E(t)$ bekende functies zijn.

Doel: Het bewijzen van het bestaan en de uniciteit van een begrensde sterke oplossing $(u, g)$ in Sobolev-ruimten, met specifieke aandacht voor oplossingen die periodiek of Bohr-bijna periodiek zijn in de tijd, afhankelijk van de data.

---

2. Methodologie

De auteurs hanteren een constructieve aanpak die het inverse probleem reduceert tot een equivalent direct probleem, gevolgd door een analyse van de oplossing op eindige intervallen, half-assen en de volledige as.

A. Equivalentieformulering (Reductie)

Het centrale technische hulpmiddel is Lemma 2.1. De auteurs tonen aan dat het inverse probleem equivalent is aan een direct randwaardeprobleem met een geïntroduceerde technische parameter $\alpha > 0$.

• Door de overbepalingsvoorwaarde (1.3) tweemaal te differentiëren en de oorspronkelijke vergelijking te substitueren, kan $g(t)$ expliciet worden uitgedrukt in termen van $u$ en de data (Formule 2.1).
• Dit leidt tot een nieuwe vergelijking voor $u$ (Formule 2.2) die een extra term bevat:
  $$\alpha K_0(x) \left( E(t) - \int_{\Omega} K(\xi)u(t, \xi)d\xi \right)$$
• Hoewel de vergelijking afhangt van $\alpha$, wordt aangetoond dat de uiteindelijke oplossing van het oorspronkelijke probleem onafhankelijk is van $\alpha$. De parameter $\alpha$ dient als een regularisatie- of stabilisatiehulpmiddel in de bewijzen.

B. Bewijsstrategie voor Bestaan en Uniciteit

Het bewijs verloopt in drie fasen:

1. Eindige tijdsintervallen: Er wordt eerst bewezen dat het probleem op een eindig interval $[s, T]$ een unieke sterke oplossing heeft. Hiervoor worden Galerkin-benaderingen gebruikt, gevolgd door energie-estimaten (a priori schattingen) om de convergentie van de benaderingen te garanderen.
2. Half-assen: De oplossingen op eindige intervallen worden uitgebreid naar de half-as $[s, \infty)$. Hierbij wordt gebruikgemaakt van exponentiële stabiliteit. Door kleine aannames te doen over de grootte van de niet-lineariteit ($L_0$), de variatie van de demping ($b_1$) en de norm van de graad van $K$, wordt aangetoond dat de oplossingen begrensd blijven en exponentieel stabiliseren.
3. De volledige as $\mathbb{R}$: De oplossing op de hele reële lijn wordt geconstrueerd als de limiet van oplossingen op half-assen $[-m, \infty)$ wanneer $m \to \infty$. Een cruciaal punt is dat deze limietfunctie onafhankelijk is van de keuze van de starttijd en de parameter $\alpha$.

C. Periodiciteit en Bijna Periodiciteit

Om te bewijzen dat de oplossing dezelfde periodiciteits-eigenschappen heeft als de data (Bohr-bijna periodiek of $\omega$-periodiek), gebruiken de auteurs een translatie-argument.

• Ze beschouwen het verschil $w(t, x) = u(t+h, x) - u(t, x)$ voor een "bijna periode" $h$.
• Door energie-estimaten toe te passen op dit verschil en gebruik te maken van de exponentiële stabiliteit van het systeem, wordt aangetoond dat dit verschil willekeurig klein wordt als $h$ een geschikte bijna periode is. Dit garandeert dat de oplossing zelf ook bijna periodiek is.

---

3. Belangrijkste Resultaten

De hoofdstelling (Stelling 1.2) stelt het volgende:

1. Bestaan en Uniciteit: Onder de aannames (A1)-(A5) en voor voldoende kleine waarden van $L_0$, $b_1$ en $\|\nabla K\|_{L^2}$, bestaat er een unieke begrensde sterke oplossing $(u, g)$ voor het inverse probleem op de hele tijdsas.
2. Behoud van Structuur:
   • Als de data $E(t)$ en de coëfficiënten Bohr-bijna periodiek zijn, dan is de oplossing $u(t, x)$ en de coëfficiënt $g(t)$ eveneens Bohr-bijna periodiek.
   • Als de data $\omega$-periodiek zijn, dan zijn de oplossingen ook $\omega$-periodiek.
3. Regelmatigheid: De oplossing $u$ behoort tot de ruimte $BC(\mathbb{R}; H^1_0(\Omega) \cap H^2(\Omega))$ en $u_t$ tot $BC(\mathbb{R}; H^1_0(\Omega)) \cap L^\infty(\mathbb{R}; H^2(\Omega))$. De broncoëfficiënt $g$ is een continue, begrensde functie ($BC(\mathbb{R})$).

Aanvullende Resultaten (Stelling 3.3):
Het artikel bewijst ook de goedgesteldeheid (well-posedness) van het inverse probleem op eindige tijdsintervallen en op half-assen. Opmerkelijk is dat voor eindige intervallen de kleine-aannames (smallness conditions) niet nodig zijn voor de uniciteit, in tegenstelling tot het geval op de hele as of half-assen waar stabiliteit vereist is.

---

4. Significatie en Bijdrage

• Nieuw Gebied: Dit werk vult een gat in de literatuur door inverse problemen voor sterk gedempte golfvergelijkingen te bestuderen in het regime van bijna periodieke en periodieke oplossingen. De meeste eerdere studies focusten op eindige tijdsintervallen of initiële waardenproblemen.
• Toepassingsrelevantie: Sterk gedempte golfvergelijkingen modelleren fenomenen in visco-elasticiteit, thermo-elasticiteit en akoestiek. Het identificeren van tijdsmodulaties ($g(t)$) van bekende ruimtelijke bronnen is cruciaal voor diagnostiek en controle in systemen die blootgesteld zijn aan langdurige, periodieke externe krachten.
• Methodologische Innovatie:
  • De introductie van de parameter $\alpha$ in de equivalentieformulering biedt een robuuste manier om het inverse probleem om te vormen tot een direct probleem dat analytisch hanteerbaar is.
  • De constructie van de oplossing op $\mathbb{R}$ als een limiet van oplossingen op half-assen, waarbij de onafhankelijkheid van $\alpha$ wordt bewezen, is een elegante techniek die de stabiliteit van het systeem benut.
• Stabiliteit: De resultaten benadrukken dat de sterke demping ($b(t)\Delta u_t$) klassieke resonantieproblemen onderdrukt, waardoor de bestaande theorie voor bijna periodieke oplossingen mogelijk is, zelfs zonder extra restricties die vaak nodig zijn bij zwak gedempte systemen.

Kortom, dit artikel biedt een wiskundig rigoureuze basis voor het oplossen van inverse bronproblemen in dynamische systemen met langdurige, herhalende excitaties, met toepassing op fysieke systemen met sterke dissipatie.