Estabilidades locales de Hölder para problemas inversos de ecuaciones hiperbólicas de primer orden

Información Básica

• ID del artículo: 2207.10344
• Título: Local Hölder stabilities for inverse problems of first-order hyperbolic equations
• Autores: Giuseppe Floridia (Università Mediterranea di Reggio Calabria), Hiroshi Takase (Kyushu University)
• Clasificación: math.AP (Análisis de EDPs)
• Fecha de publicación: 21 de julio de 2022
• Enlace del artículo: https://arxiv.org/abs/2207.10344

Resumen

Este artículo estudia el problema de Cauchy para ecuaciones hiperbólicas de primer orden con coeficientes dependientes del tiempo. Mediante la provisión de datos de Cauchy en una subregión del borde lateral, se obtienen estabilidades locales de Hölder para problemas inversos de fuente y problemas inversos de coeficientes utilizando estimaciones de Carleman.

Antecedentes y Motivación de la Investigación

Problemas de Investigación

Este artículo se enfoca principalmente en problemas inversos de ecuaciones diferenciales parciales hiperbólicas de primer orden, incluyendo específicamente:

1. Problema inverso de fuente: Determinar el término fuente $f(x)$ a partir de datos de observación en el borde
2. Problema inverso de coeficientes: Determinar los coeficientes $A_0$ y $A$ a partir de datos de observación en el borde

Importancia del Problema

Las ecuaciones hiperbólicas de primer orden tienen aplicaciones importantes en muchos campos físicos e ingenieriles, tales como:

• Modelado de fenómenos de transporte
• Problemas de propagación de ondas
• Ecuaciones de convección en mecánica de fluidos

La investigación de problemas inversos es significativa para la identificación de parámetros, diagnóstico de sistemas y teoría de control.

Limitaciones de Métodos Existentes

1. La mayoría de investigaciones se concentran en casos donde los coeficientes dependen únicamente de variables espaciales
2. Para ecuaciones de primer orden con coeficientes dependientes del espacio-tiempo, los resultados disponibles son limitados
3. Trabajos previos (como 4) requieren imponer condiciones de borde adicionales en $\Sigma^-$ para obtener estabilidad global de Lipschitz

Motivación de la Investigación

Este artículo tiene como objetivo obtener estabilidad local de Hölder bajo configuraciones más débiles (sin imponer condiciones de borde adicionales en $\Sigma^-$), lo cual es más fácil de lograr que la estabilidad global de Lipschitz pero aún posee significancia teórica y práctica importante.

Contribuciones Principales

1. Establecimiento de estabilidad local de Hölder: Se establece estimaciones de estabilidad local de Hölder para problemas inversos de fuente y problemas inversos de coeficientes sin necesidad de condiciones de borde adicionales
2. Extensión del marco teórico: Se extiende el análisis a ecuaciones hiperbólicas de primer orden con coeficientes dependientes del espacio-tiempo
3. Mejora de condiciones técnicas: En comparación con trabajos previos 4, se relajan los requisitos sobre condiciones de borde
4. Provisión de estimaciones de Carleman: Se proporcionan estimaciones de Carleman cruciales, que son herramientas fundamentales para demostrar la estabilidad

Explicación Detallada de Métodos

Definición de la Tarea

Considérese el operador diferencial parcial de primer orden: $Pu := A_0(x,t)\partial_t u + A(x,t) \cdot \nabla u$

donde:

• $A_0 \in C^1(Q) \cap L^{\infty}(\Omega \times (0,\infty))$ es una función positiva
• $A = (A_1, \ldots, A_d)^T \in C^2(Q;\mathbb{R}^d)$ es una función con valores vectoriales
• $Q := \Omega \times (0,T)$, $\Omega \subset \mathbb{R}^d$ es una región acotada

Se define la descomposición del borde: $\Sigma^+ := \{(x,t) \in \partial\Omega \times (0,T) | A(x,t) \cdot \nu(x) > 0\}$

Condiciones de Hipótesis Fundamentales

El artículo se basa en las siguientes hipótesis clave:

(1.1) Condición de no degeneración: $\exists \rho > 0 \text{ tal que } \min_{(x,t) \in Q} |A(x,t)| \geq \rho$

(1.2) Condición de disipatividad: $A(\cdot, 0)$ es disipativo (véase la definición 1.3)

(1.3) Control de crecimiento temporal: $\exists C > 0 \text{ tal que } \forall \xi \in \mathbb{R}^d, \forall(x,t) \in Q, |\partial_t A(x,t) \cdot \xi| \leq C|A(x,t) \cdot \xi|$

Construcción de Función de Peso

Basándose en la hipótesis de disipatividad, se construye la función de peso: $\varphi_0(x) := \int_0^{\sigma^-(x)} |c_x'(\sigma)| d\sigma$$\varphi(x,t) := \varphi_0(x) - \beta t$

donde $c_x$ es la curva integral de $A(\cdot,0)$ que pasa por el punto $x$.

Estimación de Carleman

Proposición 1.8 (Estimación de Carleman clave): Existen constantes $s_* > 0$ y $C > 0$ tales que $s^2 \int_Q e^{2s\varphi} |u|^2 dx dt + s \int_{\Omega} e^{2s\varphi(x,0)} |u(x,0)|^2 dx$$\leq C \int_Q e^{2s\varphi} |(P + p(x,t))u|^2 dx dt + Cs \int_{\Sigma^+} e^{2s\varphi} |u|^2 dS dt$

para todo $s > s_*$ y funciones $u$ que satisfacen $u(\cdot, T) = 0$.

Resultados Teóricos Principales

Estabilidad del Problema Inverso de Fuente

Teorema 1.5: Considérese el problema de Cauchy