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

Technische Zusammenfassung: Topologie im Einpunkt-Interaktionsproblem auf erweiterten nicht-lokalen Stern-Graphen und dessen Eigenwerte

Problemstellung
Diese Arbeit untersucht das inverse Spektralproblem für Sturm-Liouville-Operatoren, die auf sternförmigen metrischen Graphen definiert sind. Das spezifische Modell umfasst einen zentralen Knoten $v_0$, der mit $m$ Kanten ($e_j$) bekannter Längen $l_j$ verbunden ist. Das System wird durch eine Differentialgleichung mit komplexwertigen nicht-lokalen Potenzialen $q_j(x)$ und einer „Frozen Argument“-Bedingung am zentralen Knoten gesteuert, welche eine Einpunkt-Interaktion darstellt. Die Randbedingungen beinhalten Dirichlet-Bedingungen an den äußeren Knoten, Stetigkeit am zentralen Knoten und ein verallgemeinertes nicht-lokales Kirchhoff-Gesetz, das einen Integralterm des Potenzials umfasst.

Ein zentrales Ziel der Untersuchung ist es, topologische Informationen über die Netzwerkstruktur mithilfe nicht-lokaler Spektraldaten zu gewinnen. Um diese Analyse zu erleichlegen, konstruiert der Autor einen „erweiterten geschlossenen Graphen“ $\bar{T}$, indem die äußeren Endpunkte der Kanten des Stern-Graphen verbunden werden, wodurch ein zyklischer metrischer Graph mit neuen Kanten $\bar{e}_j$ der Längen $\bar{l}_j$ entsteht. Die Studie zielt darauf ab, die Eindeutigkeit der Längen dieser erweiterten Kanten sowie der Potenzialfunktionen basierend auf dem Spektrum dieses erweiterten Systems zu bestimmen.

Methodik
Die Analyse erfolgt durch die Konstruktion spezieller Lösungen und die Ableitung einer charakteristischen Funktion $\Phi(z)$, deren Nullstellen den Eigenwerten des Systems entsprechen.

1. Konstruktion spezieller Lösungen: Der Autor modifiziert die Konstruktion von Nizhnik, um spezielle Lösungen $\phi_j(x; z)$ auf den ursprünglichen Kanten und $\bar{\phi}_j(x; z)$ auf den erweiterten Kanten zu definieren. Diese Lösungen sind so konzipiert, dass sie die Stetigkeitsbedingungen am zentralen Knoten und die Dirichlet-Bedingungen an den äußeren Vertices erfüllen.
2. Fourier-Analyse: Die nicht-lokalen Potenzialfunktionen $q_j(x)$ werden in Fourier-Sinus-Reihen expandiert. Die Koeffizienten dieser Reihen werden genutzt, um die Lösungen und deren Ableitungen auszudrücken.
3. Ableitung der charakteristischen Funktion: Durch die Summation der Flüsse (Ableitungen) an den Vertices und unter Berücksichtigung der nicht-lokalen Randbedingung (des verallgemeinerten Kirchhoff-Gesetzes) leitet der Autor eine charakteristische Funktion $\Phi(z)$ ab. Diese Funktion ist eine ganze Funktion endlicher Typen, und ihre Nullstellen definieren das Spektrum des Problems.
4. Komplexe Analysis und Dichteargumente: Die Arbeit verwendet Werkzeuge aus der Theorie ganzer Funktionen, insbesondere:
   • Titchmarshs Lemma: Um die Zählfunktion der Nullstellen mit dem konvexen Hüllkörper des Trägers in Beziehung zu setzen.
   • Cartwrights Theorem: Um zu etablieren, dass, falls eine Fourier-Transformierte auf den ganzen Zahlen verschwindet, die zugrunde liegende Funktion trivial ist.
   • Nullendichte: Die Dichte der Nullstellen ($\delta$) wird für Produkte und Summen ganzer Funktionen berechnet, um die Spektraldaten zweier unterschiedlicher Graphen zu vergleichen.

Wesentliche Beiträge und Ergebnisse

• Existenz und Wohldefiniertheit: Die Arbeit stellt fest, dass das Differentialsystem wohldefiniert ist. Es wird bewiesen, dass unter der Annahme der rationalen Unabhängigkeit der Kantenlängen $\{l_j, \bar{l}_j\}$ die Menge der Eigenwerte nicht leer ist und nicht vollständig in den Nullstellen der trivialen Sinus-Terme enthalten ist (d. h. es existieren nicht-triviale nicht-lokale Eigenwerte).
• Eindeutigkeit der erweiterten Kantenlängen: Proposition 3.11 zeigt, dass, wenn zwei erweiterte Stern-Graphen dieselben Potenzialfunktionen besitzen und ihre charakteristischen Funktionen identisch (bis auf eine Konstante) sind, die Längen der erweiterten Kanten $\bar{l}_j$ ebenfalls gleich sein müssen. Der Autor merkt explizit an, dass dies zwar die Eindeutigkeit der erweiterten Kantenlängen beweist, aber nicht automatisch impliziert, dass die ursprünglichen Graphen konkurrent (geometrisch in allen Aspekten identisch) sind, ohne dass weitere Einschränkungen vorliegen.
• Eindeutigkeit der Potenziale: Theorem 3.12 beweist, dass, wenn die charakteristischen Funktionen zweier Systeme (mit bekannten, rational unabhängigen Kantenlängen) identisch sind, die Potenzialfunktionen $q_j(x)$ auf jeder Kante fast überall identisch sind. Dies wird erreicht, indem gezeigt wird, dass die Differenz der Potenziale zu einer verschwindenden Fourier-Transformierten führt, was impliziert, dass die Potenziale Null sind.

Bedeutung und Ansprüche
Der Autor behauptet, dass das System unter „sehr notwendigen Bedingungen“ lösbar ist, insbesondere der rationalen Unabhängigkeit der Kantenlängen und der Nicht-Trivialität der Potenziale. Die primäre Bedeutung der Arbeit liegt in:

1. Rekonstruktion der Netzwerkgeometrie: Sie bietet eine Methode, um die Längen der erweiterten Kanten, welche die Endpunkte des Stern-Graphen verbinden, aus den Spektraldaten zu rekonstruieren. Während die Arbeit darauf abzielt, Winkelinformationen zu gewinnen, etabliert das rigorose Ergebnis die Eindeutigkeit der erweiterten Kantenlängen, was unter spezifischen geometrischen Konfigurationen mit den Winkeln zusammenhängt.
2. Nicht-lokale Modellierung: Sie adressiert das inverse Problem für Operatoren mit nicht-lokalen Potenzialen und nicht-lokalen Randbedingungen (Frozen Argument), welche physikalische Phänomene wie Vibrationen oder Flüsse modellieren, die an einem zentralen Kontrollzentrum überwacht werden.
3. Mathematische Rigorosität: Die Arbeit etabliert die Eindeutigkeit des inversen Spektralproblems für diese spezifische Klasse erweiterter nicht-lokaler Stern-Graphen und zeigt, dass die Spektraldaten die Potenzialfunktionen und die Längen der erweiterten Kanten eindeutig bestimmen.

Die Arbeit schließt mit dem Ergebnis, dass das inverse Spektralproblem eine eindeutige und lösbare Formulierung besitzt, die es ermöglicht, die Potenzialfunktionen und die Längen der erweiterten Kanten aus den nicht-lokalen Spektraldaten zu rekonstruieren.