Topology in One Point Interaction Problem on Extended Non-Local Star Graphs and its Eigenvalues

Technische Samenvatting: Topologie in een probleem met één-punt interactie op uitgebreide niet-lokale stervormige grafen en de eigenwaarden daarvan

Probleemstelling
Dit artikel onderzoekt het invers spectraal probleem voor Sturm-Liouville-operatoren gedefinieerd op stervormige metrike grafen. Het specifieke model betreft een centraal knooppunt $v_0$ dat verbonden is met $m$ randen ($e_j$) van bekende lengtes $l_j$. Het systeem wordt beheerst door een differentiaalvergelijking met complexwaardige niet-lokale potentialen $q_j(x)$ en een "frozen argument"-conditie bij het centrale knooppunt, wat een één-punt interactie vertegenwoordigt. De randvoorwaarden omvatten Dirichlet-condities bij de buitenste knooppunten, continuïteit bij het centrale knooppunt, en een gegeneraliseerde niet-lokale Kirchhoff-wet die een integraalterm van de potentiaal bevat.

Een belangrijk doel van de studie is het terugwinnen van topologische informatie over de netwerkstructuur met behulp van niet-lokale spectrale data. Om deze analyse te faciliteren, construeert de auteur een "uitgebreide gesloten graaf" $\bar{T}$ door de buitenste eindpunten van de randen van de stervormige graaf met elkaar te verbinden, waardoor een cyclische metrike graaf ontstaat met nieuwe randen $\bar{e}_j$ van lengtes $\bar{l}_j$. De studie beoogt de uniciteit van de lengtes van deze uitgebreide randen en de potentiaalfuncties te bepalen op basis van het spectrum van dit uitgebreide systeem.

Methodologie
De analyse verloopt via de constructie van speciale oplossingen en de afleiding van een karakteristieke functie $\Phi(z)$ waarvan de nulpunten overeenkomen met de eigenwaarden van het systeem.

1. Constructie van speciale oplossingen: De auteur past de constructie van Nizhnik aan om speciale oplossingen $\phi_j(x; z)$ te definiëren op de oorspronkelijke randen en $\bar{\phi}_j(x; z)$ op de uitgebreide randen. Deze oplossingen zijn ontworpen om te voldoen aan de continuïteitsvoorwaarden bij het centrale knooppunt en de Dirichlet-condities bij de buitenste knooppunten.
2. Fourier-analyse: De niet-lokale potentialen $q_j(x)$ worden geëxpandeerd in Fourier-sinereeksen. De coëfficiënten van deze reeksen worden gebruikt om de oplossingen en hun afgeleiden uit te drukken.
3. Afleiding van de karakteristieke functie: Door de fluxen (afgeleiden) bij de knooppunten op te tellen en de niet-lokale randvoorwaarde (de gegeneraliseerde Kirchhoff-wet) te incorporeren, leidt de auteur een karakteristieke functie $\Phi(z)$ af. Deze functie is een volledige functie van eindig type, en haar nulverzameling definieert het spectrum van het probleem.
4. Complexe Analyse en Dichtheidsargumenten: Het artikel maakt gebruik van instrumenten uit de theorie van volledige functies, specifiek:
   • Titchmarsh's Lemma: Om de telfunctie van nulpunten te relateren aan de convexe huls van de ondersteuning.
   • Cartwright's Theorem: Om vast te stellen dat als een Fourier-transformatie nul is op de gehele getallen, de onderliggende functie triviaal is.
   • Nul-dichtheid: De dichtheid van nulpunten ($\delta$) wordt berekend voor producten en sommen van volledige functies om de spectrale data van twee verschillende grafen te vergelijken.

Belangrijkste Bijdragen en Resultaten

• Bestaan en Welbepaaldheid: Het artikel stelt vast dat het differentiële systeem welbepaald is. Het bewijst dat, onder de aanname van rationale onafhankelijkheid van de randlengtes $\{l_j, \bar{l}_j\}$, de verzameling eigenwaarden niet leeg is en niet volledig binnen de nulpunten van de triviale sinus-termen ligt (d.w.z. er bestaan niet-triviale niet-lokale eigenwaarden).
• Uniciteit van Uitgebreide Randlengtes: Propositie 3.11 toont aan dat als twee uitgebreide stervormige grafen dezelfde potentiaalfuncties delen en hun karakteristieke functies identiek zijn (op een constante na), dan de lengtes van de uitgebreide randen $\bar{l}_j$ gelijk moeten zijn. De auteur merkt expliciet op dat hoewel dit de uniciteit van de uitgebreide randlengtes bewijst, dit niet automatisch impliceert dat de oorspronkelijke grafen concurrerend (geometrisch identiek in alle aspecten) zijn zonder verdere beperkingen.
• Uniciteit van Potentialen: Stelling 3.12 bewijst dat als de karakteristieke functies van twee systemen (met bekende, rationaal onafhankelijke randlengtes) identiek zijn, de potentiaalfuncties $q_j(x)$ op elke rand bijna overal identiek zijn. Dit wordt bereikt door aan te tonen dat het verschil in potentialen leidt tot een verdwijnende Fourier-transformatie, wat impliceert dat de potentialen nul zijn.

Betekenis en Claims
De auteur claimt dat het systeem oplosbaar is onder "zeer noodzakelijke condities", specifiek de rationale onafhankelijkheid van de randlengtes en de niet-trivialiteit van de potentialen. De primaire betekenis van het werk ligt in:

1. Herstel van de Netwerkgeometrie: Het biedt een methode om de lengtes van de uitgebreide randen die de eindpunten van de stervormige graaf verbinden, te herstellen uit spectrale data. Hoewel het artikel gericht is op het herstellen van hoekinformatie, vestigt het rigoureuze resultaat de uniciteit van de uitgebreide randlengtes, wat gerelateerd is aan de hoeken onder specifieke geometrische configuraties.
2. Niet-lokale Modellering: Het behandelt het inverse probleem voor operatoren met niet-lokale potentialen en niet-lokale randvoorwaarden (frozen argument), die fysieke verschijnselen modelleren zoals trillingen of fluxen die worden gemonitord vanuit een centraal controlecentrum.
3. Wiskundige Rigor: Het artikel stelt de uniciteit vast van het inverse spectrale probleem voor deze specifieke klasse van uitgebreide niet-lokale stervormige grafen, waarbij wordt aangetoond dat de spectrale data de potentiaalfuncties en de lengtes van de uitgebreide randen uniek bepaalt.

Het artikel concludeert dat het inverse spectrale probleem een unieke en oplosbare formulering heeft, waardoor de potentiaalfuncties en de lengtes van de uitgebreide randen kunnen worden gereconstrueerd uit de niet-lokale spectrale data.