A capacitary approach to Lyapunov-type inequalities for elliptic problems on weighted graphs

Resumen Técnico: Un enfoque capacitario para las desigualdades de tipo Lyapunov para problemas elípticos en grafos ponderados

Planteamiento del Problema
El artículo aborda la falta de investigación sobre las desigualdades de tipo Lyapunov en el contexto de los grafos ponderados. Si bien estas desigualdades están bien establecidas para las ecuaciones diferenciales ordinarias y parciales (proporcionando condiciones necesarias para la existencia de soluciones no triviales a problemas de valor en la frontera y relacionándose con la estabilidad y las estimaciones de autovalores), sus contrapartes discretas para el $p$-Laplaciano discreto en grafos ponderados no habían sido estudiadas sistemáticamente. Los autores se centran en el problema de Dirichlet impulsado por el $p$-Laplaciano discreto en un grafo ponderado, conexo y localmente finito $(V, \omega, \mu)$:
$$\begin{cases} -\Delta^\omega_p u(x) = w(x)|u(x)|^{p-2}u(x), & x \in \Omega, \\ u(x) = 0, & x \in V \setminus \Omega, \end{cases}$$
donde $\Omega \subset V$ es un subconjunto finito no vacío, $w$ es un potencial, y $1 < p < \infty$. El objetivo es derivar cotas inferiores para el potencial $w$ (específicamente su parte positiva $w_+$) en términos de las propiedades geométricas y capacitarias del dominio $\Omega$, asegurando que, si existe una solución no trivial, el potencial no pueda ser arbitrariamente pequeño.

Metodología
Los autores adoptan un enfoque capacitario, que es la innovación metodológica central del trabajo. En lugar de depender únicamente de suposiciones métricas o de volumen, el estudio se basa en:

1. $p$-capacidades puntuales: Definidas para un vértice $x \in \Omega$ relativo al dominio $\Omega$ como $C_{p}(x, \Omega) = \inf \{ E_p(\phi) : \phi \in X_V(\Omega), \phi(x)=1 \}$, donde $E_p$ es la energía $p$-discreta.
2. Radios capacitarios: Se introducen dos cantidades clave:
   • $R_p(\Omega) = \max_{x \in \Omega} C_p(x, \Omega)^{-1}$.
   • $R_{p,s}(\Omega) = \max_{u \in X_V(\Omega), u \not\equiv 0} \frac{\|u\|_{\ell^{ps'}(\Omega, \mu)}^p}{E_p(u)}$, donde $s'$ es el exponente conjugado de $s$.
3. Argumentos variacionales: Las demostraciones utilizan principios variacionales (específicamente el Lema 2.1 relativo a problemas de autovalores localizados) e identidades de integración por partes discretas para relacionar la energía de una solución con el potencial.
4. Estimaciones geométricas: Las desigualdades capacitarias generales se especializan mediante la estimación de los radios capacitarios bajo suposiciones geométricas específicas, incluyendo geometría acotada, crecimiento de volumen polinómico, desigualdades isoperimétricas relativas y estructuras de grafos específicas (grafos de caminos radiales y árboles regulares).

Contribuciones Clave y Resultados

1. Desigualdades Intrínsecas Generales:
   El artículo establece desigualdades generales de tipo Lyapunov válidas en cualquier grafo ponderado conexo y localmente finito, independientemente de su métrica o supuestos de crecimiento específicos.
   • Si el problema de Dirichlet admite una solución no trivial, entonces $\|w_+\|_{\ell^1(\Omega, \mu)} \geq 1/R_p(\Omega)$.
   • Más generalmente, para $1 < s < \infty$, $\|w_+\|_{\ell^s(\Omega, \mu)} \geq 1/R_{p,s}(\Omega)$.
     Estos resultados reducen el problema de encontrar desigualdades de Lyapunov a la estimación de los radios capacitarios.

2.Régimen Supercrítico en Grafos de Crecimiento Polinómico:
Bajo supuestos de geometría acotada, crecimiento de volumen polinómico con exponente $D$ y una desigualdad isoperimétrica relativa, los autores derivan una desigualdad de Lyapunov de "radio interno" para el caso supercrítico $p > D$:
$$\|w_+\|_{\ell^1(\Omega, \mu)} \geq c r_\Omega^{-(p-D)}$$
donde $r_\Omega$ es el radio interno de $\Omega$. El artículo demuestra que el exponente $p-D$ es óptimo mediante la construcción de contraejemplos en la red entera $\mathbb{Z}^D$ donde la desigualdad falla para cualquier exponente $\beta < p-D$.

3. Grafos de Caminos Radiales (Tres Regímenes):
   Para grafos de caminos radiales ponderados con dimensión efectiva $D$, los autores derivan desigualdades explícitas que cubren tres regímenes distintos:

   • $p > D$: Escala de potencia: $\|w_+\|_{\ell^1} \geq c \tau_\Omega^{-(p-D)}$.
   • $p = D$: Escala logarítmica: $\|w_+\|_{\ell^1} \geq c (\log \tau_\Omega)^{1-p}$.
   • $1 < p < D$: Escala $L^s$ (para $s > D/p$): $\|w_+\|_{\ell^s} \geq c \tau_\Omega^{-(p-D)/s}$.
     Aquí, $\tau_\Omega$ es el radio exterior radial. El artículo demuestra la optimalidad de estas escalas, señalando que la dimensión relevante es la "dimensión capacitaria" codificada por los pesos y las medidas, no meramente la dimensión combinatoria.

4. Árboles Regulares:
   Para árboles $q$-regulares ($q \geq 3$), los autores obtienen una desigualdad de tipo Lyapunov uniforme con una constante explícita y óptima $c_{p,q}$:
   $$\|w_+\|_{\ell^1(\Omega, \mu)} \geq c_{p,q} = q \left( 1 - (q-1)^{-\frac{1}{p-1}} \right)^{p-1}.$$
   Se demuestra que esta constante es óptima.

5. Aplicaciones a Autovalores:
   Como aplicación directa, el artículo deriva cotas inferiores para el primer autovalor de Dirichlet ponderado $\lambda_{1,p}(\Omega, w)$ del $p$-Laplaciano discreto. Estas cotas se expresan en términos de los radios capacitarios y las normas del peso $w$, proporcionando análogos discretos de las estimaciones de autovalores derivadas de las desigualdades de Lyapunov en el caso continuo.

Significancia y Reivindicaciones
El artículo afirma iniciar el estudio de las desigualdades de tipo Lyapunov para los $p$-Laplacianos discretos en grafos ponderados desde una perspectiva capacitaria. Su principal significancia radica en:

• Unificación: Proporcionar un marco que funciona para grafos arbitrarios mediante radios capacitarios, que luego pueden especializarse a diversos entornos geométricos.
• Optimidad: A diferencia de muchos trabajos previos que solo proporcionan la existencia de constantes, este trabajo demuestra rigurosamente la optimalidad de los exponentes y las constantes en configuraciones geométricas específicas (redes, caminos radiales, árboles).
• Perspectiva Dimensional: Destacar que, para los grafos, la "dimensión efectiva" que gobierna las desigualdades está determinada por la interacción entre las medidas de los vértices y los pesos de las aristas (dimensión capacitaria), la cual puede diferir de la dimensión combinatoria.
• Estimaciones de Autovalores: Ofrecer nuevas cotas inferiores explícitas para el primer autovalor de Dirichlet que complementan las estimaciones de tipo Cheeger y de tipo Faber-Krahn existentes.

Los autores no pretenden resolver el caso general para todas las posibles geometrías de grafos sin supuestos, sino que proporcionan un método robusto para derivar desigualdades óptimas una vez que se comprenden las propiedades capacitarias específicas de un grafo.