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

Résumé technique : Topologie dans le problème d'interaction à un point sur des graphes en étoile étendus et non locaux et ses valeurs propres

Énoncé du problème
Cet article étudie le problème spectral inverse pour les opérateurs de Sturm-Liouville définis sur des graphes métriques en forme d'étoile. Le modèle spécifique implique un sommet central $v_0$ connecté à $m$ arêtes ($e_j$) de longueurs connues $l_j$. Le système est régi par une équation différentielle avec des potentiels non locaux à valeurs complexes $q_j(x)$ et une condition d'« argument gelé » au sommet central, représentant une interaction à un point. Les conditions aux limites incluent des conditions de Dirichlet aux sommets extérieurs, la continuité au sommet central, et une loi de Kirchhoff non locale généralisée impliquant un terme intégral du potentiel.

Un objectif clé de l'étude est de récupérer l'information topologique concernant la structure du réseau à l'aide de données spectrales non locales. Pour faciliter cette analyse, l'auteur construit un « graphe fermé étendu » $\bar{T}$ en connectant les extrémités extérieures des arêtes du graphe en étoile, formant ainsi un graphe métrique cyclique avec de nouvelles arêtes $\bar{e}_j$ de longueurs $\bar{l}_j$. L'étude vise à déterminer l'unicité des longueurs de ces arêtes étendues et des fonctions de potentiel à partir du spectre de ce système étendu.

Méthodologie
L'analyse procède par la construction de solutions spéciales et la dérivation d'une fonction caractéristique $\Phi(z)$ dont les zéros correspondent aux valeurs propres du système.

1. Construction de solutions spéciales : L'auteur modifie la construction de Nizhnik pour définir des solutions spéciales $\phi_j(x; z)$ sur les arêtes originales et $\bar{\phi}_j(x; z)$ sur les arêtes étendues. Ces solutions sont conçues pour satisfaire les conditions de continuité au sommet central et les conditions de Dirichlet aux sommets extérieurs.
2. Analyse de Fourier : Les potentiels non locaux $q_j(x)$ sont développés en séries de Fourier sinus. Les coefficients de ces séries sont utilisés pour exprimer les solutions et leurs dérivées.
3. Dérivation de la fonction caractéristique : En sommant les flux (dérivées) aux sommets et en incorporant la condition aux limites non locale (la loi de Kirchhoff généralisée), l'auteur dérive une fonction caractéristique $\Phi(z)$. Cette fonction est une fonction entière de type fini, et son ensemble de zéros définit le spectre du problème.
4. Analyse complexe et arguments de densité : L'article emploie des outils issus de la théorie des fonctions entières, notamment :
   • Le lemme de Titchmarsh : Pour relier la fonction de comptage des zéros à l'enveloppe convexe du support.
   • Le théorème de Cartwright : Pour établir que si une transformée de Fourier s'annule sur les entiers, la fonction sous-jacente est triviale.
   • Densité de zéros : La densité des zéros ($\delta$) est calculée pour les produits et les sommes de fonctions entières afin de comparer les données spectrales de deux graphes différents.

Contributions clés et résultats

• Existence et bien-fondé : L'article établit que le système différentiel est bien posé. Il prouve que sous l'hypothèse d'indépendance rationnelle des longueurs d'arêtes $\{l_j, \bar{l}_j\}$, l'ensemble des valeurs propres est non vide et n'est pas entièrement contenu dans les zéros des termes sinus triviaux (c'est-à-dire que des valeurs propres non locales non triviales existent).
• Unicité des longueurs des arêtes étendues : La Proposition 3.11 démontre que si deux graphes en étoile étendus partagent les mêmes fonctions de potentiel et que leurs fonctions caractéristiques sont identiques (à une constante près), alors les longueurs des arêtes étendues $\bar{l}_j$ doivent être égales. L'auteur note explicitement que bien que cela prouve l'unicité des longueurs des arêtes étendues, cela n'implique pas automatiquement que les graphes originaux sont concourants (géométriquement identiques sous tous les aspects) sans contraintes supplémentaires.
• Unicité des potentiels : Le Théorème 3.12 prouve que si les fonctions caractéristiques de deux systèmes (avec des longueurs d'arêtes connues et rationnellement indépendantes) sont identiques, alors les fonctions de potentiel $q_j(x)$ sur chaque arête sont identiques presque partout. Ceci est réalisé en montrant que la différence entre les potentiels conduit à une transformée de Fourier nulle, ce qui implique que les potentiels sont nuls.

Signification et affirmations
L'auteur affirme que le système est soluble sous des « conditions très nécessaires », spécifiquement l'indépendance rationnelle des longueurs d'arêtes et la non-trivialité des potentiels. La principale signification de ce travail réside dans :

1. Récupération de la géométrie du réseau : Il fournit une méthode pour récupérer les longueurs des arêtes étendues reliant les extrémités du graphe en étoile à partir des données spectrales. Bien que l'article vise à récupérer des informations angulaires, le résultat rigoureux établit l'unicité des longueurs des arêtes étendues, ce qui se rapporte aux angles sous des configurations géométriques spécifiques.
2. Modélisation non locale : Il traite du problème inverse pour des opérateurs avec des potentiels non locaux et des conditions aux limites non locales (argument gelé), qui modélisent des phénomènes physiques tels que les vibrations ou les flux surveillés par un centre de contrôle central.
3. Rigueur mathématique : L'article établit l'unicité du problème spectral inverse pour cette classe spécifique de graphes en étoile étendus et non locaux, montrant que les données spectrales déterminent de manière unique les fonctions de potentiel et les longueurs des arêtes étendues.

L'article conclut que le problème spectral inverse admet une formulation unique et soluble, permettant la reconstruction des fonctions de potentiel et des longueurs des arêtes étendues à partir des données spectrales non locales.