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

Resumen Técnico: Topología en el Problema de Interacción de un Punto en Grafos Estrellados No Locales Extendidos y sus Autovalores

Planteamiento del Problema
Este artículo investiga el problema espectral inverso para operadores de Sturm-Liouville definidos en grafos métricos con forma de estrella. El modelo específico involucra un vértice central $v_0$ conectado a $m$ aristas ($e_j$) de longitudes conocidas $l_j$. El sistema está gobernado por una ecuación diferencial con potenciales no locales de valores complejos $q_j(x)$ y una condición de "argumento congelado" en el vértice central, que representa una interacción de un punto. Las condiciones de contorno incluyen condiciones de Dirichlet en los vértices exteriores, continuidad en el vértice central y una ley de Kirchhoff generalizada no local que involucra un término integral del potencial.

Un objetivo clave del estudio es recuperar la información topológica de la estructura de la red utilizando datos espectrales no locales. Para facilitar este análisis, el autor construye un "grafo cerrado extendido" $\bar{T}$ conectando los extremos exteriores de las aristas del grafo estrella, formando un grafo métrico cíclico con nuevas aristas $\bar{e}_j$ de longitudes $\bar{l}_j$. El estudio pretende determinar la unicidad de las longitudes de estas aristas extendidas y las funciones de potencial basadas en el espectro de este sistema extendido.

Metodología
El análisis procede mediante la construcción de soluciones especiales y la derivación de una función característica $\Phi(z)$ cuyos ceros corresponden a los autovalores del sistema.

1. Construcción de Soluciones Especiales: El autor modifica la construcción de Nizhnik para definir soluciones especiales $\phi_j(x; z)$ en las aristas originales y $\bar{\phi}_j(x; z)$ en las aristas extendidas. Estas soluciones están diseñadas para satisfacer las condiciones de continuidad en el vértice central y las condiciones de Dirichlet en los vértices exteriores.
2. Análisis de Fourier: Los potenciales no locales $q_j(x)$ se expanden en series de Fourier-seno. Los coeficientes de estas series se utilizan para expresar las soluciones y sus derivadas.
3. Derivación de la Función Característica: Al sumar los flujos (derivadas) en los vértices e incorporar la condición de contorno no local (la ley de Kirchhoff generalizada), el autor deriva una función característica $\Phi(z)$. Esta función es una función entera de tipo finito, y su conjunto de ceros define el espectro del problema.
4. Análisis Complejo y Argumentos de Densidad: El artículo emplea herramientas de la teoría de funciones enteras, específicamente:
   • Lema de Titchmarsh: Para relacionar la función de conteo de ceros con el envolvente convexo del soporte.
   • Teorema de Cartwright: Para establecer que si una transformada de Fourier se anula en los enteros, la función subyacente es trivial.
   • Densidad de Ceros: La densidad de ceros ($\delta$) se calcula para productos y sumas de funciones enteras para comparar los datos espectrales de dos grafos diferentes.

Contribuciones Clave y Resultados

• Existencia y Bien Poseimiento: El artículo establece que el sistema diferencial está bien definido. Demuestra que, bajo el supuesto de independencia racional de las longitudes de las aristas $\{l_j, \bar{l}_j\}$, el conjunto de autovalores es no vacío y no está contenido enteramente en los ceros de los términos de seno triviales (es decir, existen autovalores no locales no triviales).
• Unicidad de las Longitudes de las Aristas Extendidas: La Proposición 3.11 demuestra que si dos grafos estrella extendidos comparten las mismas funciones de potencial y sus funciones características son idénticas (salvo por una constante), entonces las longitudes de las aristas extendidas $\bar{l}_j$ deben ser iguales. El autor señala explícitamente que, si bien esto demuestra la unicidad de las longitudes de las aristas extendidas, no implica automáticamente que los grafos originales sean concurrentes (geométricamente idénticos en todos sus aspectos) sin restricciones adicionales.
• Unicidad de los Potenciales: El Teorema 3.12 demuestra que si las funciones características de dos sistemas (con longitudes de aristas conocidas y racionalmente independientes) son idénticas, entonces las funciones de potencial $q_j(x)$ en cada arista son idénticas casi en todas partes. Esto se logra mostrando que la diferencia en los potenciales conduce a una transformada de Fourier nula, lo que implica que los potenciales son cero.

Significancia y Pretensiones
El autor afirma que el sistema es resoluble bajo "condiciones muy necesarias", específicamente la independencia racional de las longitudes de las aristas y la no trivialidad de los potenciales. La principal significancia del trabajo radica en:

1. Recuperación de la Geometría de la Red: Proporciona un método para recuperar las longitudes de las aristas extendidas que conectan los extremos del grafo estrella a partir de los datos espectrales. Aunque el artículo busca recuperar información angular, el resultado riguroso establece la unicidad de las longitudes de las aristas extendidas, lo cual se relaciona con los ángulos bajo configuraciones geométricas específicas.
2. Modelado No Local: Aborda el problema inverso para operadores con potenciales no locales y condiciones de contorno no locales (argumento congelado), que modelan fenómenos físicos como vibraciones o flujos monitoreados desde un centro de control central.
3. Rigor Matemático: El artículo establece la unicidad del problema espectral inverso para esta clase específica de grafos estrella extendidos no locales, mostrando que los datos espectrales determinan de manera única las funciones de potencial y las longitudes de las aristas extendidas.

El artículo concluye que el problema espectral inverso admite una formulación única y resoluble, permitiendo la reconstrucción de las funciones de potencial y las longitudes de las aristas extendidas a partir de los datos espectrales no locales.