Una técnica variacional que restaura la coercividad de una forma sesquilineal o bilineal introduciendo un operador invertible acotado T (a menudo actuando como transformador de signo o simetría) de modo que la forma transformada sea coerciva o cumpla una desigualdad tipo Gårding, posibilitando la buena planteabilidad para problemas con coeficientes que cambian de signo o con interfaces de transmisión.

Principio

Encontrar una aplicación acotada e invertible T en el espacio de ensayo/test tal que la forma bilineal a(Tu,u) (o a(T·,·) simetrizada apropiadamente) satisfaga una estimación de coercividad ||u||^2 ≤ C Re a(Tu,u) + términos compactos; T intercambia la indefinidez por coercividad preservando la equivalencia de los espacios de solución.

Demostración

En un problema de transmisión Maxwell o Helmholtz con permitividad que cambia de signo a través de una interfaz, se construye T que multiplica funciones por ±1 en subdominios o aplica isomorfismos locales de modo que la forma sesquilineal transformada tenga parte real definida positiva, proporcionando una formulación de Fredholm y solvencia única salvo núcleos de dimensión finita.

Aplicación incorrecta

Aplicar un operador invertible arbitrario T sin asegurar las propiedades de mapeo o la compatibilidad con el adjunto; dicho T puede romper la continuidad, alterar las trazas en la frontera o destruir la correspondencia entre el problema original y el transformado, produciendo conclusiones erróneas sobre la solvencia.

Consecuencia

Cuando existe un T adecuado, el problema variacional se vuelve Fredholm/coercitivo en la forma transformada, otorgando buena planteabilidad o al menos defecto de dimensión finita, y se obtienen esquemas numéricos estables e información espectral adaptada a entornos con cambio de signo o no coercitivos.

Inversión

La noción inversa es la coercividad clásica sin transformación: la forma bilineal es coercitiva en el espacio original y no se requiere T. La T-coercividad generaliza este caso permitiendo una transformación de preacondicionamiento cuando falta la coercividad directa.

Límite

La T-coercividad se aplica cuando se puede identificar un T acotado e invertible que respete la descomposición del espacio de funciones y las trazas en bordes/interfaces; no se aplica cuando no existe tal T (p. ej. condiciones de frontera incompatibles, contraste no acotado o ausencia de una descomposición adecuada) o cuando el problema transformado sigue siendo no-Fredholm.

Tensión semántica

Existe tensión entre la T-coercividad y los marcos inf-sup (Babuška): ambos abordan la falta de coercividad, pero la T-coercividad busca recuperar coercividad mediante una transformación, mientras que el inf-sup trabaja con estructuras de punto de silla; las dos pueden solaparse pero son conceptualmente distintas.

Síntesis

La T-coercividad consiste en introducir un transformador invertible T para convertir una forma variacional indefinida en una coercitiva (o Fredholm); proporciona una vía sistemática hacia la buena planteabilidad y la estabilidad numérica en problemas de transmisión y con coeficientes que cambian de signo cuando no existe coercividad directa.