Boundary value problems for some quasilinear parabolic equations under minimal conditions on the coefficients

Resumen Técnico: Problemas de Valor en la Frontera para Ecuaciones Parabólicas Cuasilineales bajo Condiciones Mínimas

Planteamiento del Problema
El artículo investiga problemas de valor en la frontera para una clase de ecuaciones parabólicas cuasilineales de la forma:
$$Mu = u_t - \sum_{i,j=1}^n \frac{\partial}{\partial x_i}(a_{ij}(t, x, u)u_{x_j}) + b(t, x, u, \nabla u) = 0$$
definida en un cilindro $Q = (0, T) \times G$, donde $G \subset \mathbb{R}^n$ es un dominio acotado. El estudio aborda dos escenarios primarios de condiciones de frontera:

1. Condiciones de Dirichlet: $u|_{t=0} = u_0$ y $u|_S = g(t, x)$, donde $S = (0, T) \times \Gamma$.
2. Condiciones de Robin (oblicuas): $u|_{t=0} = u_0$ y $\frac{\partial u}{\partial N} + \psi(t, x, u)|_S = 0$, donde $\frac{\partial u}{\partial N}$ es la derivada conormal.

El objetivo central es establecer teoremas de existencia y unicidad para soluciones dentro del espacio de Sobolev $W^{1,2}_p(Q)$ bajo condiciones de suavidad mínimas en los coeficientes $a_{ij}$, el término de orden inferior $b$, y la función de frontera $\psi$. Esto contrasta con la literatura existente (por ejemplo, monografías [1], [2]) que a menudo requieren continuidad de Hölder o supuestos de regularidad más fuertes.

Metodología
La estrategia de prueba combina varias técnicas analíticas avanzadas:

• Estimaciones A Priori: Los autores derivan cotas precisas para las soluciones.
  • Principio del Máximo: Se establece un principio del máximo para acotar la norma $L^\infty$ de la solución. A diferencia de enfoques previos en espacios de Hölder, los autores utilizan un método diferente para manejar soluciones generalizadas, particularmente para la condición de frontera de Robin (3).
  • Continuidad de Hölder: Se adapta el enfoque de [1] para probar que las soluciones son continuas en Hölder, lo cual es un requisito previo para manejar la no linealidad en los coeficientes.
  • Coeficientes Congelados: Para obtener estimaciones $W^{1,2}_p$, se emplea el método de "coeficientes congelados". El problema no lineal se aproxima localmente por problemas lineales con coeficientes constantes (congelados), permitiendo el uso de estimaciones de la teoría lineal.
• Continuación en un Parámetro: La existencia se prueba utilizando el método de continuación en un parámetro $\gamma \in [0, 1]$. El problema se deforma desde una ecuación de calor lineal ($\gamma=0$) hacia la ecuación cuasilineal completa ($\gamma=1$).
• Teoría de Puntos Fijos: La resolubilidad del problema deformado se reduce a encontrar un punto fijo de un operador continuo compacto. La compacidad depende de los teoremas de incrustión de los espacios de Sobolev en los espacios de Hölder.
• Análisis de Unicidad: La unicidad se demuestra analizando la diferencia entre dos posibles soluciones, utilizando condiciones específicas de crecimiento y de tipo Lipschitz para la función $b$ y el término de frontera $\psi$.

Contribuciones Clave y Resultados
El artículo proporciona teoremas que establecen:

1. Existencia y Unicidad en $W^{1,2}_p(Q)$:

   • El Teorema 7 prueba la existencia de una solución única $u \in W^{1,2}_p(Q)$ tanto para problemas de Dirichlet como de Robin, siempre que $p > (n+2)/2$.
   • Las condiciones sobre los datos son mínimas:
     • Los coeficientes $a_{ij}$ son continuos en todas las variables y satisfacen la elipticidad uniforme.
     • Las derivadas $a_{ij, x_i}$ y $a_{ij, u}$ satisfacen condiciones específicas de integrabilidad y continuidad (por ejemplo, $a_{ij, x_i} \in L^{q_3}(Q; C([-R, R]))$).
     • La función $b$ satisface las condiciones de Carathéodory y límites de crecimiento específicos (cuadráticos en $\nabla u$).
     • Para la condición de Robin, $\psi$ y sus derivadas satisfacen condiciones de continuidad de tipo Sobolev análogas.
   • Se requieren condiciones de consistencia en $t=0$ (coincidencia de los datos iniciales y de frontera), particularmente para $p > 3$ en el caso de Robin.

2. Cotas A Priori:

   • Los Teoremas 3 y 4 establecen cotas $L^\infty$ para las soluciones dependiendo de las normas de los datos y la constante de elipticidad $\delta_0$.
   • El Teorema 5 establece la continuidad de Hölder ($C^{\alpha_1, 2\alpha_1}$) de la solución, lo cual es crucial para el argumento de punto fijo.
   • El Teorema 6 proporciona la estimación crucial $W^{1,2}_p$, mostrando que la norma de la solución está acotada por las normas de los datos iniciales y de frontera, independientemente de la solución misma.

3. Resolubilidad Local:

   • El Teorema 8 aborda la resolubilidad local para una clase más amplia de datos donde la suavidad global puede no existir inicialmente. Demuestra que si los datos iniciales $u_0$ y su gradiente están acotados, existe una solución localmente en el tiempo ($Q_{\tau_0}$) incluso si los coeficientes $a_{ij}$ y $b$ solo están definidos/continuos en un entorno de los datos iniciales.

4. Condiciones de Unicidad:

   • Se proporcionan condiciones distintas para la unicidad basadas en el valor de $p$:
     • Para $p > n+2$, bastan las condiciones estándar de Lipschitz sobre $b$ con respecto a $u$ y $\nabla u$ (ponderadas por funciones $L^q$).
     • Para $(n+2)/2 < p \le n+2$, son suficientes condiciones más débiles que involucran crecimiento polinómico en $\nabla u$, siempre que los coeficientes $g_1, g_2$ pertenezcan a espacios $L^q$ específicos.

Significancia y Reivindicaciones
El artículo afirma exponer "condiciones agudas" sobre los datos que están "lejos de ser óptimas" en trabajos previos (refiriéndose específicamente a los requisitos de espacio de Hölder de [1] y [2]). Al trabajar en espacios de Sobolev $W^{1,2}_p(Q)$ con $p > (n+2)/2$, los autores permiten coeficientes que son meramente continuos (o poseen derivadas generalizadas en espacios $L^q$ específicos) en lugar de requerir continuidad $C^k$ o de Hölder.

Los autores destacan que su enfoque para las estimaciones de máximo permite el tratamiento de soluciones generalizadas bajo condiciones de frontera de Robin, un caso donde los métodos previos en [1] y [2] resultaron insuficientes. Los resultados están destinados a facilitar:

• El análisis de resolubilidad para problemas parabólicos inversos.
• La existencia y unicidad de soluciones bajo perturbaciones.
• El desarrollo de métodos de aproximación constructiva mediante técnicas iterativas.

Este trabajo cuenta con el apoyo de la Fundación de Ciencia de Rusia y el Gobierno del Distrito Autónomo de Janti-Mansis, Okrug-YUGRA.