Periodic solutions for p(t)-Lienard equations with a singular nonlinearity of attractive type

1. Probleemstelling

Het artikel onderzoekt het bestaan van $T$-periodieke oplossingen voor een niet-lineaire differentiaalvergelijking van het Liénard-type, gekenmerkt door een $p(t)$-Laplacian operator en een singuliere niet-lineariteit van het aantrekkende type.

De onderzochte vergelijking is:
$$(\phi_{p(t)}(u'(t)))' + f(u(t))u'(t) + g(u(t)) = h(t), \quad t \in [0, T]$$
onder periodieke randvoorwaarden:
$$u(0) - u(T) = 0 = u'(0) - u'(T).$$

Definities en Aannames:

• Operator: $\phi_{p(t)}(x) = |x|^{p(t)-2}x$, waarbij $p: [0, T] \to (1, \infty)$ een continue functie is met $p(0) = p(T)$.
• Functies:
  • $h \in C([0, T]; \mathbb{R})$ is een continue forcing-functie.
  • $f: [0, \infty) \to \mathbb{R}$ is continu.
  • $g: (0, \infty) \to \mathbb{R}$ is continu en heeft een aantrekkende singulariteit bij $0$. Dit betekent dat $\lim_{x \to 0^+} g(x) = +\infty$.
  • Verder wordt aangenomen dat $\lim_{x \to +\infty} g(x) = 0$.
• Oplossing: Een functie $u \in C^1_T$ (dus $u(0)=u(T)$ en $u'(0)=u'(T)$) met waarden in $(0, \infty)$, zodanig dat $\phi_{p(\cdot)}(u'(\cdot))$ absoluut continu is en de vergelijking overal op $[0, T]$ voldoet.

Het centrale probleem is het bewijzen van het bestaan van een positieve periodieke oplossing voor dit systeem, waarbij de singulariteit van $g$ bij nul en de variabele exponent $p(t)$ de analyse complex maken.

2. Methodologie

De auteurs hanteren een topologische benadering die bestaat uit drie hoofdblokken:

1. Continuatie-stelling (Mawhin's continuatie-stelling):
   De basis van het bewijs is een continuatie-stelling (Theorema 2.3), afgeleid uit recente werken [4]. Deze stelling garandeert het bestaan van een oplossing voor een operatorvergelijking $Lu = N(u)$ als drie voorwaarden zijn vervuld binnen een begrensd open verzameling $\Omega$:

   • (H1) Geen oplossingen op de rand $\partial \Omega$ voor de homotopie-familie.
   • (H2) De vergelijking $L(a) = 0$ heeft geen oplossing op $\partial \Omega \cap \mathbb{R}$.
   • (H3) De Brouwer-graad van de projectie is niet-nul.

2. A priori Schattingen en Hulpvergelijkingen:
   Om de voorwaarden van de continuatie-stelling te verifiëren, worden eerst a priori schattingen afgeleid voor oplossingen van geassocieerde problemen.

   • Er wordt eerst een gestoord probleem geanalyseerd met een parameter $\varepsilon > 0$ en een term $-\varepsilon u$ (Theorema 2.4). Hierdoor worden uniforme schattingen verkregen voor de $C^1$-norm van de oplossingen, onafhankelijk van $\varepsilon$.
   • Vervolgens wordt het geval $\varepsilon = 0$ behandeld (Theorema 2.7) via een limietargument, gebruikmakend van de compactheid van de Nemytskii-operator en Sobolev-ongelijkheden.
   • Een cruciale schatting (Propositie 2.8) toont aan dat oplossingen van een verwant probleem uniform begrensd zijn door een constante $K$ die onafhankelijk is van de specifieke vorm van $f$ en een verschuivingsparameter $c$.

3. Methode van Onder- en Boveloplossingen:
   In Sectie 3 wordt een directe bewijsvoering gegeven voor de methode van onder- en bovenoplossingen (Theorema 3.3) specifiek voor de $p(t)$-Laplacian.

   • Een onderoplossing $\alpha$ en een bovenoplossing $\beta$ worden gedefinieerd die de ongelijkheden van de differentiaalvergelijking respecteren.
   • Door een gemodificeerd probleem te construeren (waarbij de niet-lineariteit wordt "geknijpt" tussen $\alpha$ en $\beta$), wordt bewezen dat er een oplossing bestaat die tussen deze grenzen ligt ($\alpha(t) \leq u(t) \leq \beta(t)$).

3. Belangrijkste Resultaten

Het hoofdstuk (Sectie 4) presenteert het hoofdstelling (Theorema 4.1) voor het oorspronkelijke probleem:

Theorema 4.1:
Als er een constante $\alpha > 0$ bestaat zodanig dat $g(\alpha) \geq \max_{[0,T]} h(t)$, en als geldt:
$$\limsup_{x \to +\infty} g(x) < \min_{[0,T]} h(t)$$
(dit impliceert dat $g(x)$ voor grote $x$ kleiner is dan de forcing-term $h$), dan heeft het probleem (1.1) ten minste één oplossing $u$ met $u(t) \geq \alpha$ voor alle $t \in [0, T]$.

Corollary 4.3 (Specifiek geval voor aantrekkende singulariteit):
Als $g: (0, \infty) \to (0, \infty)$ voldoet aan:

1. $\lim_{x \to 0^+} g(x) = +\infty$ (aantrekkende singulariteit),
2. $\lim_{x \to +\infty} g(x) = 0$,
   dan heeft het probleem een oplossing dan en slechts dan als $h(t) > 0$ voor alle $t$ (of strikt positief in gemiddelde zin, afhankelijk van de exacte interpretatie van de integratie, maar de tekst stelt $h > 0$).

Voorbeeld 4.4:
Voor de specifieke vergelijking met een machtswet-singulariteit $\frac{\sigma}{u^\mu}$ (waarbij $\sigma, \mu > 0$), bestaat er een periodieke oplossing dan en slechts dan als $h > 0$.

4. Bijdragen en Significance

• Generalisatie naar $p(t)$-Laplacian: Bestaande resultaten voor het constante geval $p(t) \equiv p$ (zoals in [7]) worden uitgebreid naar het geval van een variabele exponent $p(t)$. Dit is significant omdat $p(t)$-Laplacian vergelijkingen voorkomen in modellen voor niet-Newtoniaanse vloeistoffen en elastische materialen met variabele eigenschappen.
• Behandeling van Singulariteiten: Het artikel behandelt succesvol het geval van een aantrekkende singulariteit ($g(x) \to +\infty$ bij $x \to 0$). Dit is technisch uitdagend omdat de oplossing niet de grens $0$ mag raken, wat strikte positieve ondergrenzen vereist.
• Methodologische Innovatie: De auteurs combineren de continuatie-stelling met de methode van onder- en bovenoplossingen op een manier die specifiek is afgestemd op de $p(t)$-structuur. Ze vermijden variatiële methoden (die vaak worden gebruikt voor $p$-Laplacian problemen), omdat het Liénard-probleem met $f(u)u'$ geen variatiële structuur heeft. In plaats daarvan gebruiken ze topologische methoden (Brouwer-graad) en Sobolev-ruimten met variabele exponenten.
• Open Vraag: De auteurs merken op dat de uitbreiding naar het geval van afstotende krachten (waarbij $\lim_{x \to 0^+} g(x) = -\infty$) voor de $p(t)$-Laplacian momenteel nog een open probleem blijft.

Conclusie:
Het artikel levert een robuust bestaanstheorema voor periodieke oplossingen van een breed klasse van niet-lineaire differentiaalvergelijkingen met variabele exponenten en singuliere termen. Het verifieert dat de voorwaarden voor het bestaan van oplossingen in het constante geval ($p=2$ of $p$ constant) ook geldig zijn voor het veel complexere $p(t)$-geval, mits de forcing-term $h$ positief is en de singulariteit aantrekkend is.