A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

Resumen Técnico: Un Teorema de Multiplicidad para Ecuaciones Elípticas No Locales con No Linealidades Pares

Planteamiento del Problema
El artículo investiga un problema de valor en la frontera de Dirichlet para una clase de ecuaciones elípticas no locales en un dominio acotado y suave $\Omega \subset \mathbb{R}^n$. El problema, denotado como $(P)$, se formula como:
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{en } \Omega \\ u = 0 & \text{en } \partial\Omega \end{cases}$$
Aquí, $F(x, t) = \int_0^t f(x, s)ds$, y el término no local surge de la función $Q$ que depende de la integral de $F$ sobre el dominio. El estudio se centra en la existencia de soluciones débiles en el espacio de Sobolev $H^1_0(\Omega)$. El objetivo principal es establecer las condiciones bajo las cuales el problema admite al menos tres soluciones distintas para parámetros $\lambda$ que corren dentro de un intervalo abierto adecuado.

Metodología y Marco Funcional
El autor emplea métodos variacionales, específicamente utilizando la teoría de puntos críticos. Las soluciones débiles de $(P)$ se identifican como puntos críticos del funcional de energía $\Phi: H^1_0(\Omega) \to \mathbb{R}$, definido como:
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
donde $\|u\|$ es la norma estándar en $H^1_0(\Omega)$ y $J(u)$ incorpora el término no local y la perturbación $g$.

El núcleo de la demostración se basa en una desigualdad minimax estricta y un teorema de tres puntos críticos (referenciado como Teorema 3 en [2]). La metodología procede a través de los siguientes pasos:

1. Construcción de un Funcional Auxiliar: El autor introduce un funcional $P(u, \lambda)$ que involucra una función estrictamente convexa $\alpha$, una función impar continua $\gamma$, y el término integral no local.
2. Verificación de la Desigualdad Minimax: El obstáculo técnico central es demostrar la desigualdad estricta:
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   Esto se logra por contradicción. El autor asume la igualdad y demuestra que el punto de silla resultante $(u^*, \lambda^*)$ conduce a una inconsistencia lógica. Específicamente, la demostración utiliza las propiedades de simetría de las funciones (paridad de $f$, imparidad de $\gamma$) y la convexidad estricta de $\alpha$ para mostrar que, si existiera una solución bajo la suposición de igualdad, esta debe ser trivial ($u^*=0$), lo cual contradice la construcción del funcional para parámetros grandes.
3. Coercitividad y Continuidad: La demostración establece que el funcional $u \mapsto \sup_{\lambda} P(u, \lambda)$ es secuencialmente débilmente semicontinuo inferior y coercitivo. Esto asegura la existencia de minimizadores y permite la aplicación del teorema abstracto de puntos críticos.
4. Perturbación por $g$: El paso final consiste en añadir un término de perturbación $g \in \mathcal{A}$ (una clase de funciones de Carathéodory con condiciones de crecimiento específicas). El autor muestra que, si la oscilación de la primitiva de $g$ es suficientemente pequeña (acotada por una constante $\epsilon^*_\mu$), la desigualdad minimax estricta se preserva, garantizando la multiplicidad de soluciones.

Suposiciones Clave
El resultado principal (Teorema 1) requiere las siguientes condiciones:

• No linealidad $f$: $f(x, \cdot)$ debe ser par para casi todo $x$, y el conjunto donde $f$ es no nulo debe tener medida positiva. Además, $F(x, t)$ debe satisfacer una condición de crecimiento subcuadrático en el infinito ($\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$).
• No linealidad $\gamma$: $\gamma$ es continua, impar, se anula solo en 0, y su primitiva satisface una cota de crecimiento lineal.
• Función Convexa $\alpha$: $\alpha$ es estrictamente convexa, derivable, con $\alpha(0)>0$, $\alpha'(0)=0$, y $\alpha'(R)=R$.
• Parámetro $\mu$: El parámetro $\mu$ debe ser suficientemente grande.
• Perturbación $g$: La diferencia entre la integral del supremo y la integral del ínfimo de la primitiva de $g$ debe ser menor que un umbral específico $\epsilon^*_\mu$.

Resultados Principales
El artículo demuestra el Teorema 1, el cual establece que bajo las suposiciones mencionadas, existe un umbral $\epsilon^*_\mu > 0$ tal que para cualquier perturbación $g$ que satisfaga la condición de pequeñez, existe un intervalo abierto $A \subseteq \mathbb{R}$ y un radio $\rho > 0$. Para cada $\lambda \in A$, el problema $(P)$ posee al menos tres soluciones débiles en $H^1_0(\Omega)$, todas con normas estrictamente menores que $\rho$.

Significado y Reivindicaciones
El artículo se posiciona como una "nota muy breve" que busca demostrar un resultado de multiplicidad específico para problemas no locales con no linealidades pares.

• Novedad: El autor establece explícitamente en la Observación 1 que "no tiene conocimiento de resultados conocidos lo suficientemente cercanos al Teorema 1 como para realizar una comparación adecuada". Esto sugiere que el resultado llena un vacío en la literatura respecto a la combinación específica de términos no locales, no linealidades pares y la multiplicidad de tres soluciones mediante desigualdades minimax estrictas.
• Alcance: El trabajo es puramente teórico, centrado en la existencia de soluciones dentro del marco variacional. No propone métodos numéricos, aplicaciones físicas específicas ni direcciones experimentales futuras. La importancia reside en la extensión de la teoría de puntos críticos a una clase específica de ecuaciones elípticas no locales donde la no linealidad exhibe simetría par.