En matemáticas, las inclusiones diferenciales son una generalización del concepto de ecuación diferencial ordinaria de la forma
donde F es un mapa de valores múltiples , es decir, F ( t , x ) es un conjunto en lugar de un solo punto en. Las inclusiones diferenciales surgen en muchas situaciones, incluidas las desigualdades variacionales diferenciales , los sistemas dinámicos proyectados , el proceso de barrido de Moreau, los sistemas dinámicos de complementariedad lineal y no lineal, las ecuaciones diferenciales ordinarias discontinuas, los sistemas dinámicos de conmutación y la aritmética de conjuntos difusos . [1]
Por ejemplo, la regla básica para la fricción de Coulomb es que la fuerza de fricción tiene una magnitud μN en la dirección opuesta a la dirección de deslizamiento, donde N es la fuerza normal y μ es una constante (el coeficiente de fricción). Sin embargo, si el deslizamiento es cero, la fuerza de fricción puede ser cualquier fuerza en el plano correcto con una magnitud menor o igual a μN . Por lo tanto, escribir la fuerza de fricción en función de la posición y la velocidad conduce a una función de valor establecido.
Teoría
La teoría de la existencia generalmente asume que F ( t , x ) es una función hemicontinua superior de x , medible en t , y que F ( t , x ) es un conjunto convexo cerrado para todo t y x . Existencia de soluciones para el problema del valor inicial.
para un intervalo de tiempo suficientemente pequeño [ t 0 , t 0 + ε ), sigue ε > 0. Se puede mostrar la existencia global siempre que F no permita "estallido" ( como por un finito ).
La teoría de la existencia de inclusiones diferenciales con F ( t , x ) no convexa es un área de investigación activa.
La singularidad de las soluciones generalmente requiere otras condiciones. Por ejemplo, supongasatisface una condición de Lipschitz unilateral :
para algo de C para todo x 1 y x 2 . Entonces el problema del valor inicial
tiene una solución única.
Esto está estrechamente relacionado con la teoría de los operadores monótonos máximos , desarrollada por Minty y Haïm Brezis .
La teoría de Filippov solo permite discontinuidades en la derivada, pero no permite discontinuidades en el estado, es decir necesita ser continuo. Schatzman y más tarde Moreau (quien le dio el nombre actualmente aceptado) ampliaron la noción para medir la inclusión diferencial (MDI) en la que la inclusión se evalúa tomando el límite de arriba para. [2] [3]
Aplicaciones
Las inclusiones diferenciales se pueden utilizar para comprender e interpretar adecuadamente ecuaciones diferenciales ordinarias discontinuas, como las que surgen para la fricción de Coulomb en sistemas mecánicos y los interruptores ideales en electrónica de potencia. AF Filippov, que estudió regularizaciones de ecuaciones discontinuas, ha hecho una contribución importante. Además, la técnica de regularización fue utilizada por NN Krasovskii en la teoría de juegos diferenciales .
Las inclusiones diferenciales también se encuentran en la base del análisis de sistemas dinámicos no suaves (NSDS), [4] que se utiliza en el estudio analógico de conmutación de circuitos eléctricos utilizando ecuaciones de componentes idealizadas (por ejemplo, utilizando líneas verticales rectas idealizadas para la marcada exponencial regiones de conducción directa y de ruptura de una característica de diodo ) [5] y en el estudio de ciertos sistemas mecánicos no lisos como las oscilaciones stick-slip en sistemas con fricción seca o la dinámica de los fenómenos de impacto . [6] Software que los sistemas Resuelve ENDE existe, tal como INRIA 's Siconos .
Ver también
- Rigidez , que afecta a las ODE / DAE para funciones con "giros bruscos" y que afecta a la convergencia numérica
Referencias
- ^ Brogliato, Bernard; Tanwani, Aneel (2020). "Sistemas dinámicos acoplados con operadores monótonos de valores establecidos: formalismos, aplicaciones, buena postura y estabilidad". SIAM Review, vol.62, no 1, pp.3-129, disponible en hal.inria.fr/hal-02379498.
- ^ David E. Stewart (2011). Dinámica con desigualdades: impactos y restricciones duras . SIAM. pag. 125. ISBN 978-1-61197-070-8.
- ^ Bernard Brogliato (2016). Mecánica no suave. Modelos, Dinámica y Control . Springer International Publishing Suiza, 3ª ed. ISBN 978-3-319-28664-8.
- ^ Markus Kunze (2000). Sistemas dinámicos no suaves . Springer Science & Business Media. ISBN 978-3-540-67993-6.
- ^ Vincent Acary; Olivier Bonnefon; Bernard Brogliato (2010). Modelado y simulación no suave para circuitos conmutados . Springer Science & Business Media. págs. 3–4. ISBN 978-90-481-9681-4.
- ^ Remco I. Leine; Hendrik Nijmeijer (2013). Dinámica y bifurcaciones de sistemas mecánicos no lisos . Springer Science & Business Media. pag. V (prefacio). ISBN 978-3-540-44398-8.
- Aubin, Jean-Pierre; Cellina, Arrigo (1984). Inclusiones diferenciales, mapas de valores establecidos y teoría de la viabilidad . Grundl. der Math. Wiss. 264 . Berlín: Springer. ISBN 9783540131052.
- Aubin, Jean-Pierre; Frankowska, Hélène (1990). Análisis por valores establecidos . Birkhäuser. ISBN 978-0817648473.
- Deimling, Klaus (1992). Ecuaciones diferenciales multivalor . Walter de Gruyter. ISBN 978-3110132120.
- Andrés, J .; Górniewicz, Lech (2003). Principios topológicos de punto fijo para problemas de valores en la frontera . Saltador. ISBN 978-9048163182.
- Filippov, AF (1988). Ecuaciones diferenciales con lados derechos discontinuos . Grupo de Editores Académicos de Kluwer. ISBN 90-277-2699-X.