On the interplay between $(p,q)$-growth and $x$-dependence of the energy integrand: a limit case

Resumen Técnico

1. Planteamiento del Problema

El artículo aborda el problema de la regularidad local Lipschitziana de los minimizantes locales de funcionales integrales no autónomos de la forma:
$$\int_{\Omega} F(x, Dz) \, dx$$
donde $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) es un conjunto abierto acotado. La densidad de energía $F(x, \xi)$ satisface condiciones de crecimiento $(p, q)$ respecto a la variable gradiente $\xi$ y posee una dependencia en la variable espacial $x$ que pertenece a una clase de Sobolev específica.

El contexto histórico y el desafío principal radican en evitar el fenómeno de Lavrentiev y establecer la regularidad bajo condiciones de crecimiento no estándar. La literatura previa (ej. Eleuteri-Marcellini-Mascolo [12]) había establecido criterios de regularidad Lipschitz bajo la condición estricta de desigualdad:
$$\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$$
donde $r$ es el exponente de integrabilidad de la derivada de $F$ respecto a $x$ (asumiendo $x \mapsto F(x, \xi) \in W^{1,r}$).

El objetivo central de este trabajo es estudiar el caso límite donde se alcanza la igualdad en la condición anterior:
$$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
y también el caso donde $r \to n$ (recuperando resultados de crecimiento estándar con coeficientes en espacios logarítmicos).

2. Metodología

La prueba se estructura en tres pasos fundamentales, utilizando un enfoque unificado que cubre tanto el caso de desigualdad estricta como el caso límite:

1. Estimación a priori para minimizantes suaves:

   • Se asume inicialmente que el minimizante $u$ es suficientemente regular ($u \in W^{1,\infty}_{loc}$ y una transformación no lineal de su gradiente está en $W^{1,2}_{loc}$).
   • Se deriva una desigualdad de tipo Caccioppoli de segundo orden (Lema 3.1). Esta desigualdad controla la norma $L^2$ de la Hessiana ($D^2u$) ponderada por potencias del gradiente, en términos de la función $h(x)$ que mide la regularidad en $x$ y los gradientes de una función de corte $\eta$.
   • La clave técnica reside en el manejo de los términos que involucran $h(x)$, aprovechando que $h$ pertenece al espacio de Orlicz-Zygmund $L^r \log^\alpha L$.

2. Iteración de tipo Moser:

   • Se utiliza la desigualdad de Caccioppoli junto con la desigualdad de Sobolev para establecer una estimación recursiva sobre las normas $L^p$ del gradiente en bolas concéntricas decrecientes.
   • Se definen sucesiones de radios y exponentes crecientes para iterar el proceso.
   • El análisis se divide en tres casos según la relación entre $p, q, r$ y $\alpha$:
     • Caso i): $p=q$ y $r=n$ (crecimiento estándar con coeficientes en $W^{1,n} \log^\alpha L$).
     • Caso ii): $p < q$ y desigualdad estricta en la condición de crecimiento.
     • Caso iii): El caso límite donde $p < q$ y se cumple la igualdad $\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$.

3. Procedimiento de Aproximación:

   • Dado que la estimación a priori asume regularidad, se construye una secuencia de funcionales aproximados $F_k$ (suavizados y con crecimiento controlado) que convergen monótonamente a $F$.
   • Se demuestra que los minimizantes de los funcionales aproximados $u_k$ son suaves y satisfacen las estimaciones a priori uniformemente.
   • Mediante compacidad y semicontinuidad inferior, se prueba que la secuencia converge a un minimizante del funcional original, preservando la regularidad Lipschitz.

3. Contribuciones Clave

• Resolución del Caso Límite: El artículo cierra la brecha teórica al demostrar que la regularidad Lipschitz se mantiene incluso cuando la relación entre los exponentes de crecimiento $(p, q)$ y la regularidad de los coeficientes $(r)$ alcanza el límite crítico.
• Tratamiento Unificado: Se presenta un marco unificado que recupera resultados previos (como los de [12] para el caso estricto y [2] para crecimiento estándar) y los extiende al caso límite.
• Dependencia Logarítmica: Se introduce y explota la dependencia de la regularidad de los coeficientes en espacios de tipo $L^r \log^\alpha L$. En el caso límite, se demuestra que un exponente $\alpha > 0$ es crucial para compensar el crecimiento crítico.
• Estimaciones Cuantitativas: Se obtienen estimaciones explícitas para la norma $L^\infty$ del gradiente, que dependen de la integral de la energía y de los parámetros del problema.

4. Resultados Principales

El teorema central (Teorema 1.2 y sus variantes) establece que si $u$ es un minimizante local bajo las hipótesis de crecimiento $(p, q)$ y regularidad de coeficientes $W^{1, r} \log^\alpha L$, entonces $u \in W^{1, \infty}_{loc}(\Omega)$ bajo las siguientes condiciones:

1. Caso Límite General ($r > n$):
   Si $\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$ y $\alpha > 0$, entonces $u$ es Lipschitz local. La estimación de la norma del gradiente es de la forma:
   $$\|Du\|_{L^\infty(B_\rho)} \le G\left( C \int_{B_R} (1 + |Du|^p) dx \right)$$
   donde la función $G(t)$ tiene un comportamiento exponencial debido al término logarítmico:
   $$G(t) \sim \exp\left( t^{\frac{2p(r-n)}{\alpha n}} \right) \cdot t^{\frac{r}{n}} + t^{\frac{1}{p}}$$
   Esto indica que la regularidad se mantiene, pero la cota crece más rápido que en el caso estricto.

2. Caso Límite Degenerado ($r \to n$):
   Si $r=n$ y $p=q$ (crecimiento estándar), pero los coeficientes tienen regularidad $W^{1,n} \log^\alpha L$ con $\alpha > 4n$, se recupera la regularidad Lipschitz con una estimación polinómica estándar:
   $$\|Du\|_{L^\infty(B_\rho)} \le C \left( \int_{B_R} (1 + |Du|^p) dx \right)^{1/p}$$

3. Caso Estricto ($q/p < 1 + 1/n - 1/r$):
   Se recupera el resultado clásico de [12] donde la función $G(t)$ es puramente polinómica, demostrando la consistencia del método.

5. Significado e Impacto

• Optimalidad de las Condiciones: El trabajo sugiere que la condición $\frac{q}{p} \le 1 + \frac{1}{n} - \frac{1}{r}$ (con el ajuste logarítmico adecuado en el caso límite) es probablemente la condición óptima para garantizar la regularidad Lipschitz en problemas no autónomos con crecimiento $(p, q)$.
• Relación Interacción: Ilustra profundamente la "interacción" entre el crecimiento no estándar del gradiente y la regularidad de los coeficientes espaciales. Muestra que una mayor regularidad en $x$ (mayor $r$ o mayor $\alpha$) permite tolerar una mayor brecha entre $p$ y $q$.
• Aplicabilidad: Los resultados son fundamentales para el estudio de ecuaciones elípticas y parabólicas no lineales con crecimiento no estándar, como las ecuaciones de tipo $p(x)$-Laplaciano o modelos en elasticidad no lineal y mecánica de fluidos.
• Herramientas Analíticas: La técnica de iteración de Moser adaptada a espacios de Orlicz-Zygmund y el uso de desigualdades de Caccioppoli de segundo orden en este contexto específico constituyen herramientas valiosas para futuras investigaciones en regularidad de EDPs.

En conclusión, este artículo representa un avance significativo en la teoría de regularidad de funcionales variacionales, resolviendo el caso límite crítico que había permanecido abierto y proporcionando un marco robusto para entender cómo la regularidad de los coeficientes compensa el crecimiento no estándar de la energía.