Una formulación matemática que busca un elemento u en un conjunto admisible K tal que un operador variacional A satisfaga la desigualdad ⟨A(u), v - u⟩ ≥ 0 para todo v en K; expresa problemas de equilibrio o de extremo restringido como desigualdades en lugar de igualdades.

Principio

La idea organizadora es codificar restricciones y condiciones de equilibrio directamente en un marco de desigualdades usando operadores monotónicos o coercitivos sobre conjuntos admisibles convexos, generalizando las condiciones de Euler–Lagrange a restricciones por desigualdad.

Demostración

El problema del obstáculo: hallar la forma de equilibrio de una membrana elástica que debe permanecer por encima de un obstáculo dado; la mecánica de contacto y las formulaciones de complementariedad para problemas sin fricción son demostraciones canónicas de desigualdades variacionales.

Aplicación incorrecta

Forzar una formulación por desigualdad variacional cuando el conjunto admisible es no convexo o el operador no es monotónico sin la teoría de existencia adecuada puede llevar a la no existencia o a soluciones espurias; de igual modo, interpretar erróneamente condiciones de complementariedad como ecuaciones de Euler no restringidas es incorrecto.

Consecuencia

Bajo hipótesis de monotonicidad y coercividad, las desigualdades variacionales proporcionan resultados de existencia y frecuentemente de unicidad, y sirven de base para métodos numéricos estables (solvers de desigualdad por elementos finitos, algoritmos de conjunto activo) para problemas de equilibrio con restricciones.

Inversión

El reverso es el problema varacional no restringido (igualdad) caracterizado por las ecuaciones de Euler–Lagrange; eliminar las restricciones por desigualdad convierte el problema en una igualdad variacional estándar si la admisibilidad no está limitada.

Límite

Se aplica naturalmente en espacios de Banach reflexivos o de Hilbert con conjuntos admisibles convexos y operadores que satisfacen monotonicidad/coercividad; excluye muchos problemas de restricciones no convexas, operadores muy no suaves y ciertas leyes de contacto discontinuas sin extensiones especializadas.

Tensión semántica

Tensión entre las desigualdades variacionales y formulaciones relacionadas como problemas de complementariedad u optimización con multiplicadores de Lagrange: se solapan pero difieren en énfasis (forma por desigualdad vs forma por multiplicador/igualdad) y en las herramientas analíticas/numericas adecuadas.

Síntesis

Las desigualdades variacionales generalizan los métodos variacionales para imponer restricciones por desigualdad, ofreciendo un marco unificado para problemas de equilibrio, contacto y complementariedad mediante la formulación de desigualdades de operadores monotónicos sobre conjuntos admisibles, con teoría de existencia robusta y técnicas numéricas adaptadas.