Harnack inequality for anisotropic fully nonlinear equations with nonstandard growth

A continuación presento un resumen técnico detallado del artículo "Harnack Inequality for Anisotropic Fully Nonlinear Equations with Nonstandard Growth" (Desigualdad de Harnack para Ecuaciones Completamente No Lineales Anisotrópicas con Crecimiento No Estándar), escrito por Sun-Sig Byun y Hongsoo Kim.

---

1. Planteamiento del Problema

El objetivo central del trabajo es establecer desigualdades de Harnack para soluciones de viscosidad de una clase de ecuaciones elípticas completamente no lineales, degeneradas y anisotrópicas, que exhiben condiciones de crecimiento no estándar.

La ecuación principal estudiada es de la forma:
$$\begin{cases} M^-_{\lambda, \Lambda} \left( \left[ |D_i u|^{\frac{p_i-2}{2}} \right] D^2 u \left[ |D_i u|^{\frac{p_i-2}{2}} \right] \right) - \mu \sum_i |D_i u|^{p_i-1} \leq c_0, \\ M^+_{\lambda, \Lambda} \left( \left[ |D_i u|^{\frac{p_i-2}{2}} \right] D^2 u \left[ |D_i u|^{\frac{p_i-2}{2}} \right] \right) + \mu \sum_i |D_i u|^{p_i-1} \geq -c_0, \end{cases}$$
en un dominio $\Omega \subset \mathbb{R}^n$, donde:

• $2 \leq p_1 \leq \dots \leq p_n$ son los exponentes de crecimiento.
• $M^\pm_{\lambda, \Lambda}$ son los operadores extremales de Pucci.
• El término de degeneración es anisotrópico: la ecuación se degenera si cualquier componente del gradiente $\partial_i u$ se anula, no solo si el gradiente completo es cero (a diferencia del Laplaciano $p$-Laplaciano estándar).
• El crecimiento es "no estándar" porque los exponentes $p_i$ varían según la dirección, lo que implica que la ecuación proviene de funcionales del tipo $\int F(Dw) dx$ con $|z|^{p_1} \lesssim F(z) \lesssim |z|^{p_1} + |z|^{p_n}$.

Desafíos principales:

1. Degeneración Anisotrópica: La degeneración ocurre en hiperplanos coordenados ($\partial_i u = 0$), lo que complica el análisis de regularidad.
2. Crecimiento No Estándar: La falta de homogeneidad y la brecha entre $p_1$ y $p_n$ requieren condiciones estrictas para evitar contraejemplos de regularidad.
3. Soluciones de Viscosidad: A diferencia de las soluciones débiles, para las soluciones de viscosidad no se dispone de desigualdades de Sobolev directas ni de un marco funcional analítico abstracto para construir funciones barrera, lo que hace inaplicables los métodos clásicos de De Giorgi-Nash-Moser.

2. Metodología y Herramientas Clave

Los autores desarrollan un enfoque basado en la geometría intrínseca y técnicas de escala, adaptadas específicamente a la estructura anisotrópica del problema.

A. Escala Intrínseca y Cubos Intrínsecos

Debido a la falta de homogeneidad, se rechaza el uso de cubos euclídeos estándar. Se introducen cubos intrínsecos $K_r(M)$ adaptados al nivel de altura $M$ de la solución:
$$K_r(M) := \{ x \in \mathbb{R}^n : |x_i| \leq r^{\alpha_i} M^{\beta_i} \},$$
donde $\alpha_i = 1/p_i$ y $\beta_i = -(p_n - p_i)/p_i$. Esta geometría captura la escala natural de la ecuación en diferentes direcciones.

B. Método del Paraboloide Deslizante (Sliding Paraboloid)

Para obtener estimaciones básicas de medida (Lema 3.1), se adapta el método introducido por Cabré y Savin.

• En lugar de un paraboloide isotrópico, se utiliza un paraboloide anisotrópico:
  $$\phi(x) = \sum K_i |x_i|^{\frac{p_i}{p_i-1}}.$$
• Este parabolooides se desliza desde abajo hasta tocar la gráfica de la solución $u$. Los puntos de contacto permiten estimar la medida del conjunto donde $u$ es pequeño.
• Se maneja la falta de regularidad $C^2$ en los hiperplanos coordenados mediante un argumento de "restricción a secciones" (slices).

C. Construcción de una Función Barrera Anisotrópica (Contribución Central)

El núcleo técnico del artículo es la construcción explícita de una función barrera (Lema 4.2) para probar la propiedad de duplicación.

• Se propone una barrera de la forma:
  $$\Phi(x) = \left( \sum |b_i x_i|^{a_i} \right)^{-\gamma}.$$
• Los parámetros $a_i, b_i, \gamma$ se eligen cuidadosamente para que $\Phi$ sea una subsolución de la ecuación.
• Esta construcción es novedosa en el contexto de operadores anisotrópicos degenerados/singulares y es crucial para superar la ausencia de herramientas de soluciones débiles.

D. Propiedad de Duplicación y Estimaciones $L^\epsilon$

Combinando la estimación de medida y la función barrera, se demuestra una propiedad de duplicación (Lema 5.1): si la solución es grande en un cubo pequeño, debe ser grande en un cubo más grande.
Posteriormente, mediante un argumento de recubrimiento de Vitali adaptado a los cubos intrínsecos, se establecen estimaciones $L^\epsilon$ (Teorema 6.1), que cuantifican la descomposición algebraica de los conjuntos de nivel $\{u > M\}$.

3. Resultados Principales

Teorema 1.1: Desigualdad de Harnack Intrínseca

Bajo ciertas condiciones sobre los exponentes $p_i$, se establece que para una solución no negativa $u$ de viscosidad:

1. Acotación Superior: Si $u(0) > 0$, entonces $\sup_{K_r(u(0))} u \leq C_0 u(0)$.
2. Acotación Inferior: Si $u(0) > 0$, entonces $\inf_{K_r(C_0 u(0))} u \geq \frac{1}{C_0} u(0)$.

Condición de los Exponentes:
El resultado requiere que los exponentes satisfagan la siguiente restricción (Ecuación 1.6):
$$\frac{p_n - 1}{p_1 - 1} \leq p_n \frac{n - \lambda/\Lambda}{n}.$$
Esta condición asegura que la brecha entre el exponente mínimo ($p_1$) y el máximo ($p_n$) no sea demasiado grande, lo cual es necesario para evitar contraejemplos de regularidad.

Corolario 1.1: Regularidad Hölder

Como consecuencia directa de la desigualdad de Harnack, se prueba que las soluciones de viscosidad son localmente Hölder continuas con un exponente universal $\alpha \in (0, 1)$ que depende de $n, (p_i), \lambda, \Lambda$.

4. Contribuciones Clave y Novedades

1. Primera Desigualdad de Harnack para Soluciones de Viscosidad: El artículo llena un vacío importante en la literatura, ya que anteriormente solo existían resultados para soluciones débiles o casos muy específicos.
2. Construcción Explícita de Barreras: La construcción de la función barrera $\Phi(x)$ es una contribución técnica mayor. Permite trabajar en el marco de soluciones de viscosidad sin depender de la teoría de soluciones débiles o desigualdades de Sobolev.
3. Adaptación de la Geometría Intrínseca: Se generaliza la técnica de geometría intrínseca (usada previamente en el Laplaciano $p$-parabólico) a un caso donde cada coordenada tiene su propia escala de crecimiento, manejando la complejidad de los cubos $K_r(M)$ que se vuelven "planos" en ciertas direcciones.
4. Análisis de la Condición de Exponentes: Se discute detalladamente cómo la condición (1.6) se compara con condiciones óptimas conocidas para la acotación de soluciones, mostrando que es una condición suficiente para la regularidad Hölder en este contexto no lineal.

5. Significado e Impacto

Este trabajo es fundamental para la teoría de regularidad de ecuaciones elípticas no lineales.

• Teórico: Extiende la teoría de regularidad de De Giorgi-Nash-Moser al ámbito de las soluciones de viscosidad para operadores con crecimiento no estándar y degeneración anisotrópica.
• Aplicado: Proporciona herramientas para analizar ecuaciones que modelan fenómenos físicos donde la difusión o la conductividad varía drásticamente según la dirección y la magnitud del gradiente (ej. mecánica de fluidos no newtonianos, imágenes médicas).
• Metodológico: Demuestra que es posible obtener resultados de regularidad fuerte (Harnack y Hölder) incluso en ausencia de la estructura variacional completa, mediante el uso inteligente de funciones barrera explícitas y geometría intrínseca.

En resumen, Byun y Kim logran superar las dificultades técnicas inherentes a la degeneración anisotrópica y el crecimiento no estándar, estableciendo un marco robusto para la regularidad de soluciones de viscosidad en este tipo de ecuaciones complejas.