Regularidad para una ecuación fuertemente degenerada con dependencia explícita en $u$

Información Básica

• ID del artículo: 2511.00976
• Título: Regularity for a strongly degenerate equation with explicit $u$-dependence
• Autor: Miriam Piccirillo (Università degli Studi di Napoli "Federico II")
• Clasificación: math.AP (Análisis de EDPs)
• Fecha de envío: 2 de noviembre de 2025
• Enlace del artículo: https://arxiv.org/abs/2511.00976

Resumen

Este artículo estudia soluciones débiles locales de ecuaciones diferenciales parciales elípticas generalizadas degeneradas: $\mathrm{div}\left(a(x)(|Du|-1)^{p-1}_+\frac{Du}{|Du|}\right)=b(x,u) \text{ en } \Omega$ donde $2\leq p<\infty$, $\Omega$ es un subconjunto abierto de $\mathbb{R}^n$ ($n>2$), y $(\cdot)_+$ denota la parte positiva. Bajo hipótesis apropiadas sobre los datos $b(x,u)$ y el coeficiente $a(x)$, el autor establece resultados de diferenciabilidad de orden superior para el gradiente compuesto con una función que se anula en la bola unitaria. La innovación respecto a trabajos previos en el campo es que el término del lado derecho depende explícitamente de la solución $u$.

Antecedentes de Investigación y Motivación

Importancia del Problema

1. Desafíos de ecuaciones elípticas degeneradas: La parte principal de la ecuación presenta degeneración generalizada—el operador es uniformemente elíptico solo fuera de la bola unitaria centrada en el origen, comportándose asintóticamente como el operador $p$-Laplaciano clásico en esa región.
2. Contexto de aplicaciones prácticas: Tales ecuaciones surgen de problemas de transporte óptimo con efectos de congestión. Cuando $a(x)=1$ y $b(x,u)=f(x)$, esta conexión ha sido estudiada exhaustivamente en la literatura 10-13.
3. Dificultad dual:
   • Degeneración generalizada de la parte principal
   • Dependencia explícita del término del lado derecho en la solución misma

Limitaciones de Métodos Existentes

1. Resultados clásicos: Desde el trabajo pionero de Chipot y Evans 16, la investigación de problemas generalizados degenerados se ha concentrado en casos homogéneos y autónomos. Trabajos posteriores 26, 31 establecieron continuidad de Lipschitz de soluciones débiles en casos de crecimiento superquadrático y subquadrático.
2. Restricciones de regularidad: Para problemas generalizados degenerados, la regularidad de la solución no puede exceder Lipschitz. De hecho, toda función 1-Lipschitz es solución de la ecuación elíptica homogénea.
3. Investigación previa de dependencia en $u$: Incluso para la ecuación de Laplace más simple, la dependencia en $u$ constituye una dificultad en sí misma (Brezis-Nirenberg 14). Trabajos previos 29 que trataban ecuaciones degeneradas generalizadas con lado derecho dependiente de la solución imponían restricciones más severas.

Innovación de Este Artículo

Comparado con 29, este artículo no solo trata hipótesis más débiles sobre $b(x,u)$, sino que también permite coeficientes discontinuos, asumiendo solo regularidad $W^{1,n}$ para la función $a(x)$.

Contribuciones Principales

1. Teorema Principal (Teorema 1.1): Bajo las hipótesis (1.2)-(1.6), se prueba que la solución débil $u\in W^{1,p}_{loc}(\Omega)$ de la ecuación (1.1) satisface $H_{p/2}(Du)\in W^{1,2}_{loc}(\Omega)$, con estimaciones explícitas.
2. Hipótesis Relajadas:
   • Para el coeficiente $a(x)$: solo se requiere regularidad $W^{1,n}_{loc}(\Omega)$ (puede ser discontinuo)
   • Para los datos $b(x,u)$: se permite índice de crecimiento crítico $q\leq p^*\left(\frac{p-2}{p}\right)+1$
3. Innovación Técnica:
   • Establecimiento de estimaciones a priori para problemas congelados (Teorema 4.1)
   • Conexión entre problemas congelados y el problema original mediante métodos de regularización por aproximación
   • Aplicación refinada de desigualdades de Hölder e inmersiones de Sobolev
4. Resultados de Diferenciabilidad de Orden Superior: Se establece regularidad $W^{1,2}_{loc}$ para la función $H_{p/2}(Du)=(|Du|-1)^{p-1}_+\frac{Du}{|Du|}$, lo que no proporciona información de regularidad de segundo orden en la región degenerada, pero proporciona información crítica en la región no degenerada.

Explicación Detallada del Método

Definición de la Tarea

Entrada: Ecuación elíptica generalizada degenerada (1.1), con coeficiente $a(x)$ y datos $b(x,u)$ satisfaciendo condiciones específicas

Salida: Prueba de diferenciabilidad de orden superior de la solución débil, es decir, $H_{p/2}(Du)\in W^{1,2}_{loc}(\Omega)$, con estimaciones cuantitativas

Restricciones:

• $2\leq p<\infty$, $n>2$
• $a(x)\in W^{1,n}_{loc}(\Omega)$, $m<a(x)<M$ c.t.p.
• $b(x,u)$ satisface condiciones de crecimiento (1.3)-(1.4), con funciones relacionadas $k(x)\in L^s_{loc}(\Omega)$, $h(x)\in L^\gamma_{loc}(\Omega)$

Marco Técnico Principal

1. Definición de Función Auxiliar

Se introduce la función auxiliar $H_\gamma:\mathbb{R}^n\to\mathbb{R}^n$: