🔢 mathematics

Multiplicity results for mixed local-nonlocal variable exponent problem involving singular and superlinear term

Este artículo demuestra la existencia de múltiples soluciones para una clase de ecuaciones elípticas cuasilineales que combinan operadores locales y no locales con exponentes variables, singularidades y términos superlineales, mediante métodos variacionales sobre la variedad de Nehari y estableciendo además cotas $L^\infty$ para dichas soluciones.

Autores originales: Shammi Malhotra, Ambesh Kumar Pandey, K. Sreenadh

Publicado 2026-04-08

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Shammi Malhotra, Ambesh Kumar Pandey, K. Sreenadh

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Hola! Imagina que este artículo de investigación es como una historia de detectives matemáticos que intentan resolver un misterio muy complejo: ¿Cómo se comporta un sistema cuando tiene reglas que cambian de lugar en lugar y, además, enfrenta dos fuerzas opuestas?

Aquí te explico la esencia del trabajo de Shammi Malhotra, Ambesh Kumar Pandey y K. Sreenadh, usando analogías de la vida cotidiana.

1. El Escenario: Un "Terreno" que Cambia

Imagina que estás en un parque (el dominio $\Omega$ ) donde las reglas del juego no son las mismas en todas partes.

Exponentes variables: En una zona, el suelo es suave y fácil de caminar (como un exponente bajo), pero en otra zona, el suelo es rocoso y difícil (un exponente alto). Además, la "dureza" del suelo cambia suavemente mientras caminas. Esto es lo que llaman exponentes variables ( $p(x)$ ).
Dos tipos de movimiento:
1. Movimiento local (el vecino): Si quieres ir a la tienda, caminas paso a paso hasta llegar. Esto es el operador local ( $\Delta_{p(x)}$ ).
2. Movimiento no local (el teletransporte): A veces, puedes saltar instantáneamente a otro lado del parque sin pasar por el medio. Esto es el operador no local o fraccional ( $(-\Delta)^s_{p(x)}$ ).
La mezcla: El problema estudia un sistema donde ambos tipos de movimiento ocurren al mismo tiempo. Es como si tuvieras que caminar por el parque, pero de repente pudieras saltar a la otra punta, y todo esto mientras el suelo cambia de textura constantemente.

2. El Conflicto: Dos Fuerzas Opuestas

En el centro de este parque hay una ecuación que describe cómo se mueve algo (digamos, una población de animales o la temperatura). Esta ecuación tiene dos "villanos" o fuerzas que compiten:

La Singularidad (El abismo): Hay un punto donde la fuerza se vuelve infinita si te acercas demasiado. Imagina un agujero negro o un precipicio muy peligroso. Matemáticamente, es el término $u^{-\gamma(x)}$ . Si la cantidad de "algo" ( $u$ ) se hace muy pequeña, esta fuerza lo empuja con una violencia extrema. Es como intentar caminar cerca del borde de un acantilado; cuanto más cerca estás, más fuerte te tira hacia abajo.
El Crecimiento Superlineal (La explosión): Por otro lado, hay una fuerza que empuja hacia arriba, pero que se vuelve más fuerte cuanto más grande es la cantidad. Imagina un cohete: cuanto más combustible tiene, más rápido acelera, y si tiene mucho combustible, acelera tan rápido que explota. Esto es el término $u^{r(x)-1}$ .

El misterio: ¿Puede el sistema encontrar un equilibrio estable cuando tiene un abismo que lo tira hacia abajo y un cohete que lo empuja hacia arriba, todo en un terreno que cambia de textura?

3. La Herramienta: El "Mapa de Montañas" (Variedad de Nehari)

Para resolver esto, los autores no miran la ecuación directamente (que es un caos). En su lugar, construyen un mapa de energía.

Imagina que cada posible solución es un punto en un paisaje montañoso.
La altura de la montaña representa la "energía" del sistema. Queremos encontrar los valles (mínimos de energía) donde el sistema se asienta.
El problema es que este paisaje es muy extraño: tiene agujeros (por la singularidad) y picos muy altos.

Los matemáticos usan una técnica llamada Variedad de Nehari. Imagina que esta variedad es como una cinta de correr especial que recorre las crestas de las montañas. Solo nos interesan los puntos donde la fuerza neta es cero (donde no subes ni bajas).

4. El Descubrimiento: ¡Hay dos soluciones!

El gran hallazgo del artículo es que, si el parámetro $\lambda$ (que podríamos imaginar como la "intensidad" del viento o la fuerza externa) es lo suficientemente pequeño, el sistema tiene exactamente dos soluciones estables diferentes.

Solución 1 (El valle bajo): Es una solución donde el sistema se mantiene en un nivel bajo, luchando contra el abismo pero sin explotar. Es como un equilibrio precario pero seguro.
Solución 2 (El valle alto): Es una solución donde el sistema se ha "inflado" lo suficiente para superar el abismo y estabilizarse en un nivel más alto, controlado por la fuerza del cohete.

¿Cómo lo probaron?
Usaron un método llamado análisis de mapas de fibra. Imagina que tomas una piedra (una solución posible) y la lanzas en diferentes direcciones (escalas). Observan cómo cambia la energía. Descubrieron que la "cinta de correr" (Nehari) se divide en dos partes separadas. En una parte, la energía baja hasta un mínimo (solución 1). En la otra, hay otro mínimo (solución 2).

5. El Final: ¿Son soluciones reales?

En matemáticas, a veces encuentras soluciones que son "fantasmas" (no tienen sentido físico o son infinitas).

Los autores demostraron que estas dos soluciones son reales y acotadas.
Usaron una técnica llamada iteración de De Giorgi (que es como un proceso de refinamiento paso a paso) para asegurar que, aunque el terreno sea complicado, la solución nunca se vuelve infinita ni se rompe. Es decir, la solución es "suave" y bien comportada en todo el parque.

En Resumen

Este papel es como decir: "Aunque tengamos un sistema caótico con reglas cambiantes, un peligro infinito en un lado y una explosión en el otro, si controlamos bien la fuerza externa, el sistema puede encontrar dos formas diferentes y estables de existir."

Es un avance importante porque combina dos mundos (lo local y lo no local) con reglas que cambian, algo que es muy común en la vida real (como en la restauración de imágenes o el flujo de fluidos especiales), pero que hasta ahora era muy difícil de entender matemáticamente.

Aquí presento un resumen técnico detallado del artículo "Multiplicity results for mixed local-nonlocal variable exponent problem involving singular and superlinear term" (Resultados de multiplicidad para un problema mixto local-no local con exponentes variables que involucra un término singular y superlineal), escrito por Shammi Malhotra, Ambesh Kumar Pandey y K. Sreenadh.

1. Planteamiento del Problema

El artículo estudia una clase de ecuaciones elípticas cuasilineales que combinan operadores locales y no locales con exponentes variables. El problema principal, denotado como $(Q_\lambda)$ , se formula en un dominio acotado $\Omega \subset \mathbb{R}^N$ con frontera Lipschitz:

$\begin{cases} -\Delta_{p(x)}u + (-\Delta)_{p(x)}^s u = \lambda a(x)u^{-\gamma(x)} + b(x)u^{r(x)-1}, & u > 0 \text{ en } \Omega, \\ u = 0, & \text{en } \mathbb{R}^N \setminus \Omega. \end{cases}$

Componentes clave del modelo:

Operador Mixto: Combina el $p(x)$ -Laplaciano local ( $-\Delta_{p(x)}u = \text{div}(|\nabla u|^{p(x)-2}\nabla u)$ ) y el $p(x)$ -Laplaciano fraccionario no local ( $(-\Delta)_{p(x)}^s u$ ).
Exponentes Variables: La función $p(x, y)$ define el crecimiento del operador, satisfaciendo condiciones de simetría y acotación ( $1 < p^- \le p(x,y) \le p^+ < N$ ).
Términos No Lineales:
- Singular: $\lambda a(x)u^{-\gamma(x)}$ con $0 < \gamma(x) < 1$ . Este término hace que la energía no sea diferenciable en cero.
- Superlineal: $b(x)u^{r(x)-1}$ con crecimiento subcrítico ( $r(x) < p^*(x)$ ).
Parámetro: $\lambda > 0$ es un parámetro de bifurcación.

2. Marco Funcional y Metodología

Dado que el funcional de energía asociado no es diferenciable debido al término singular, los autores emplean métodos variacionales restringidos al Manifold de Nehari.

A. Espacios Funcionales

Se define el espacio de solución $X_0(\Omega)$ como la intersección del espacio de Sobolev variable $W^{1,p(x)}_0(\Omega)$ y un espacio de Sobolev fraccionario variable $X_0$ asociado al operador no local. Este espacio es un espacio de Banach separable, reflexivo y uniformemente convexo.

B. El Manifold de Nehari

Se define el funcional de energía $J_\lambda: X_0 \to \mathbb{R}$ y se restringe al conjunto de Nehari:
$\mathcal{N}_\lambda = \{ u \in X_0 \setminus \{0\} : \langle J'_\lambda(u), u \rangle = 0 \}.$
Debido a la estructura de los términos (singular y superlineal), el manifold se descompone en tres subconjuntos basados en la segunda derivada del mapa de fibra (fibering map) $\phi_u(t) = J_\lambda(tu)$ :

$\mathcal{N}_\lambda^+$ : Donde $\phi_u''(1) > 0$ (mínimos locales).
$\mathcal{N}_\lambda^-$ : Donde $\phi_u''(1) < 0$ (máximos locales).
$\mathcal{N}_\lambda^0$ : Donde $\phi_u''(1) = 0$ .

C. Análisis de Mapas de Fibra y Teoría de Grado

Un desafío técnico principal es la presencia de exponentes variables en las integrales, lo que impide el uso directo de técnicas estándar de exponentes constantes.

Aproximación: Los autores utilizan teoría de grado topológico (degree theory) para aproximar las funciones con exponentes variables por funciones con exponentes constantes en subconjuntos disjuntos. Esto les permite probar propiedades de monotonía y unicidad para los puntos críticos de los mapas de fibra.
Descomposición: Demuestran que para $\lambda$ suficientemente pequeño, $\mathcal{N}_\lambda^0 = \{0\}$ , lo que permite separar el manifold en $\mathcal{N}_\lambda^+$ y $\mathcal{N}_\lambda^-$ .

3. Resultados Principales

Teorema de Existencia de Múltiples Soluciones (Teorema 2.1)

Bajo las hipótesis adecuadas sobre los exponentes $p(x), r(x), \gamma(x)$ y las funciones peso $a(x), b(x)$ , existe un umbral $\Lambda > 0$ tal que para todo $\lambda \in (0, \Lambda)$ , el problema $(Q_\lambda)$ admite al menos dos soluciones débiles positivas distintas:

Una solución $u \in \mathcal{N}_\lambda^+$ que minimiza el funcional de energía en este subconjunto (energía negativa).
Una solución $v \in \mathcal{N}_\lambda^-$ que minimiza el funcional en su subconjunto (energía positiva).

La prueba de existencia se basa en demostrar que el funcional es coercivo y acotado inferiormente en estos subconjuntos, y que las sucesiones minimizantes convergen fuertemente en $X_0$ .

Resultado de Regularidad (Teorema 2.2)

Se establece que las soluciones débiles obtenidas pertenecen a $L^\infty(\Omega)$ (son acotadas).

Método: Se utiliza la iteración de De Giorgi combinada con un argumento de localización.
Condiciones: Se requieren condiciones específicas sobre los exponentes $p(x)$ y $r(x)$ (relacionadas con la inmersión de Sobolev) y la integrabilidad de los pesos $a(x)$ y $b(x)$ .

4. Contribuciones Clave y Significancia

Innovación en Operadores Mixtos con Exponentes Variables:
Este es, según los autores, el primer estudio que aborda operadores mixtos (local + no local) con exponentes variables en presencia de singularidades. La literatura previa se centraba en exponentes constantes o en operadores puros (solo local o solo no local).
Manejo de la No Diferenciabilidad:
La combinación de un término singular ( $u^{-\gamma(x)}$ ) con exponentes variables impide el uso directo del cálculo variacional estándar. La estrategia de restringir al manifold de Nehari y utilizar la teoría de grado para analizar la estructura de los mapas de fibra es una contribución metodológica significativa.
Estructura del Conjunto de Soluciones:
El análisis demuestra cómo la interacción entre la singularidad (que empuja la solución hacia cero) y el término superlineal (que la empuja hacia infinito) crea una geometría compleja en el funcional de energía, permitiendo la existencia de múltiples soluciones para valores pequeños del parámetro $\lambda$ .
Aplicabilidad Física:
El modelo tiene relevancia en fenómenos físicos donde las propiedades del material varían espacialmente (exponentes variables) y donde coexisten mecanismos de difusión local (movimiento browniano) y no local (vuelos de Lévy), como en el transporte de calor anisotrópico o fluidos electrorreológicos.

Conclusión

El artículo proporciona un marco teórico robusto para el análisis de ecuaciones elípticas mixtas con exponentes variables y singularidades. Mediante una combinación sofisticada de análisis variacional, teoría de grado topológico y técnicas de regularidad, los autores logran establecer la existencia de múltiples soluciones y su acotación, llenando un vacío importante en la literatura de ecuaciones diferenciales parciales no lineales.