Linearization Problem for Third-Order ODEs with Four- and Five-Dimensional Lie Symmetry Algebras under Contact Transformations

Technische Samenvatting: Linearisatie van Derde-Orde ODE's met Vier- en Vijfdimensionale Lie-symmetriealgebra's onder Contacttransformaties

Probleemstelling
Het artikel behandelt het linearisatieprobleem voor scalaire derde-orde gewone differentiaalvergelijkingen (ODE's) van de vorm $u''' = f(x, u, u', u'')$. Specifiek onderzoekt het de voorwaarden waaronder dergelijke vergelijkingen kunnen worden getransformeerd naar lineaire canonieke vormen via contacttransformaties (transformaties die de onafhankelijke variabele, de afhankelijke variabele en de eerste afgeleide omvatten). De studie richt zich op twee specifieke klassen van lineariseerbare vergelijkingen die worden gekenmerkt door hun Lie-symmetriealgebra's: die welke een vierdimensionale Lie-algebra toelaten en die welke een vijfdimensionale Lie-algebra toelaten.

Hoewel eerdere werken (bijvoorbeeld van Chern, Neut, Petitot, Ibragimov, Meleshko en Al-Dweik et al.) criteria voor linearisatie onder punttransformaties hebben vastgesteld of voorwaarden voor equivalentie met lineaire vormen hebben gegeven, heeft dit werk tot doel:

1. Deze resultaten te generaliseren naar de bredere klasse van contacttransformaties.
2. Duidelijk onderscheid te maken tussen de canonieke vormen die vier versus vijf symmetrieën toelaten.
3. Een expliciete, algoritmische procedure te bieden voor het construeren van de contacttransformaties die een gegeven niet-lineaire ODE reduceren tot zijn lineaire canonieke vorm, in plaats van slechts existentievoorwaarden te stellen.

Methodologie
De auteurs maken gebruik van Cartans equivalentiemethode om het probleem op te lossen. De methodologie verloopt via de volgende technische stappen:

1. Geometrische Opzet: Het probleem wordt geformuleerd op de jetruimte van de tweede orde $J^2$ met lokale coördinaten $(x, u, p, q)$ waarbij $p=u'$ en $q=u''$. Een basiscoframe wordt gedefinieerd, en de equivalentie van twee ODE's onder contacttransformaties wordt uitgedrukt als een fundamentele equivalentievoorwaarde die een pullback van dit coframe door een negendimensionale structuurgroep $G$ omvat.
2. Reductieproces: De auteurs voeren een systematische reductie van de structuurgroep uit door torsiecoëfficiënten in de structuurvergelijkingen te normaliseren. Dit omvat:
   • Het absorberen van torsietermen in de groepsparameters.
   • Het identificeren van essentiële torsiecoëfficiënten die dienen als relatieve invarianten ($I_1, I_2, \dots, I_{15}$).
   • Het vertakken van de analyse op basis van het al dan niet verdwijnen van deze invarianten.
3. Vertakking en Classificatie: Het reductieproces leidt tot twee primaire vertakkingen gebaseerd op de invariant $I_3$ (gerelateerd aan het niet-verdwijnen van een Wünschmann-type invariant).
   • Vertakking $I_3 \neq 0$: Verdere reductie leidt tot een sub-vertakking gedefinieerd door het verdwijnen van een reeks invarianten ($I_6, I_8, I_{10}, I_{11}, I_{12}$). Hierin wordt een verder onderscheid gemaakt op basis van de invariant $K = I_9/J_3^2$:
     • Geval $K$ is constant: Komt overeen met de canonieke vorm $\bar{u}''' = s\bar{u}' + \bar{u}$ (vijf symmetrieën).
     • Geval $K$ is niet constant: Komt overeen met de canonieke vorm $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ (vier symmetrieën), onderhevig aan aanvullende verdwijningsvoorwaarden voor afgeleiden van $K$.
4. Constructie van Transformaties: Zodra de invariante coframes voor de canonieke vormen zijn vastgesteld, leiden de auteurs systemen van partiële differentiaalvergelijkingen (PDE's) af om de expliciete contacttransformaties te construeren. Deze systemen zijn lineair of Riccati van aard, en bieden een constructief alternatief voor het direct oplossen van niet-lineaire PDE-systemen.

Belangrijkste Resultaten

• Stelling 3.1 (Vijf Symmetrieën): Een derde-orde ODE is equivalent aan de canonieke vorm $\bar{u}''' = s\bar{u}' + \bar{u}$ (waarbij $s$ een constante is) via contacttransformaties dan en slechts dan als de relatieve invarianten $I_6, I_8, I_{10}, I_{11}, I_{12}$ identiek verdwijnen, en de invariant $K$ constant is (specifiek $K=s$).
• Stelling 3.2 (Vier Symmetrieën): Een derde-orde ODE is equivalent aan de canonieke vorm $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ (waarbij $\bar{a}_3$ niet-constant is) via contacttransformaties dan en slechts dan als de relatieve invarianten $I_6, I_8, I_{10}, I_{11}, I_{12}$ verdwijnen, en de aanvullende invarianten $I_{13}, I_{14}, I_{15}$ (die afgeleiden van $K$ bevatten) verdwijnen, met de voorwaarde dat $K$ niet constant is ($\hat{D}_x K \neq 0$).
• Constructieve Procedures (Proposities 4.1 en 4.2): Het artikel biedt expliciete algoritmen om de contacttransformaties $(\bar{x}, \bar{u}, \bar{p}) = (\phi, \psi, \chi)$ te vinden:
  • Voor het geval met vijf symmetrieën wordt de transformatie gevonden door een stelsel lineaire PDE's van de eerste orde op te lossen voor hulpfuncties $a_1, \phi, \eta, \chi, \psi$.
  • Voor het geval met vier symmetrieën omvat de procedure een extra stap van het oplossen van een vergelijking van Riccati-type voor een hulpfunctie $H$, gevolgd door lineaire systemen voor $b, a_1, \phi, \eta, \chi, \psi$.
• Illustratieve Voorbeelden:
  • De vergelijking $u''' = \alpha (u'')^2 / u'$ blijkt onder contacttransformaties lineariseerbaar te zijn naar de vorm met vijf symmetrieën, maar niet onder punttransformaties (wat de noodzaak van het contactkader aantoont).
  • De vergelijking $u''' = -x(u')^4(u'')^3 + u(u')^3(u'')^3$ blijkt onder contacttransformaties lineariseerbaar te zijn naar de vorm met vier symmetrieën, waarbij opnieuw de criteria voor linearisatie via punttransformatie niet worden voldaan.

Betekenis en Aanspraken
De auteurs stellen dat hun werk een nieuw kader biedt voor het implementeren van Cartans methode dat effectief omgaat met de complexiteit en de groei van expressies die inherent zijn aan het equivalentieprobleem. De primaire bijdragen zijn:

1. Generalisatie: Het uitbreiden van linearisatiecriteria van punttransformaties naar de meer algemene contacttransformaties, waardoor een bredere klasse van lineariseerbare ODE's wordt gevangen.
2. Onderscheid: Het duidelijk scheiden van de canonieke vormen op basis van de dimensie van hun Lie-symmetriealgebra's (vier versus vijf), die in de context van contacttransformaties eerder minder duidelijk werden onderscheiden.
3. Algoritmische Constructie: In tegenstelling tot eerdere benaderingen die vaak vereisten dat niet-lineaire systemen van PDE's werden opgelost of die de constructie van transformaties niet aan bod lieten komen, biedt dit artikel een constructieve, algoritmische procedure. Door het probleem te reduceren tot systemen van lineaire of Riccati-PDE's die zijn afgeleid uit invariante coframes, biedt de methode een praktische route voor het berekenen van de expliciete transformaties.
4. Geometrische Duidelijkheid: Het gebruik van invariante coframes biedt een volledige geometrische karakterisering van de lineariseerbare vergelijkingen, waarbij de noodzakelijke en voldoende voorwaarden voor equivalentie worden gedefinieerd.

Het artikel concludeert dat dit kader een effectieve computationele route biedt voor het construeren van contacttransformaties, waardoor de bruikbaarheid van Cartans equivalentiemethode wordt uitgebreid tot de linearisatie van derde-orde ODE's in een bredere context dan eerder beschikbaar was.