В математике дифференциальные включения являются обобщением понятия обыкновенного дифференциального уравнения вида
где F — многозначное отображение , т. е. F ( t , x ) — это множество , а не отдельная точка в . Дифференциальные включения возникают во многих ситуациях, включая дифференциальные вариационные неравенства , проектируемые динамические системы , процесс выметания Моро, линейные и нелинейные динамические системы комплементарности, разрывные обыкновенные дифференциальные уравнения, переключающиеся динамические системы и арифметику нечетких множеств . [1]
Например, основное правило для кулоновского трения заключается в том, что сила трения имеет величину μN в направлении, противоположном направлению скольжения, где N — нормальная сила, а μ — константа (коэффициент трения). Однако, если скольжение равно нулю, сила трения может быть любой силой в правильной плоскости с величиной, меньшей или равной μN . Таким образом, запись силы трения как функции положения и скорости приводит к заданной функции .
В дифференциальном включении мы не только берем отображение со значениями множеств в правой части, но также можем взять подмножество евклидова пространства для некоторого следующего способа. Пусть и Наша главная цель — найти функцию, удовлетворяющую дифференциальному включению ae в , где — открытое ограниченное множество.
Теория существования обычно предполагает, что F ( t , x ) является верхней хеминепрерывной функцией x , измеримой по t , и что F ( t , x ) является замкнутым, выпуклым множеством для всех t и x . Существование решений для задачи начального значения
для достаточно малого интервала времени [ t 0 , t 0 + ε ), тогда следует ε > 0. Глобальное существование может быть показано при условии, что F не допускает «раздутия» ( как для конечного ).
Теория существования дифференциальных включений с невыпуклым F ( t , x ) является активной областью исследований.
Единственность решений обычно требует других условий. Например, предположим, что удовлетворяет одностороннему условию Липшица :
для некоторого C для всех x 1 и x 2. Тогда начальная задача
имеет уникальное решение.
Это тесно связано с теорией максимальных монотонных операторов , разработанной Минти и Хаимом Брезисом .
Теория Филиппова допускает только разрывы в производной , но не допускает разрывов в состоянии, т.е. должна быть непрерывной. Шацман и позже Моро (который дал ей ныне принятое название) расширили понятие до меры дифференциального включения (МДИ), в которой включение оценивается путем взятия предела сверху для . [2] [3]
Дифференциальные включения могут быть использованы для понимания и соответствующей интерпретации разрывных обыкновенных дифференциальных уравнений, например, возникающих при трении Кулона в механических системах и идеальных переключателях в силовой электронике. Важный вклад был сделан А. Ф. Филипповым , который изучал регуляризации разрывных уравнений. Далее, техника регуляризации была использована Н. Н. Красовским в теории дифференциальных игр .
Дифференциальные включения также лежат в основе анализа негладких динамических систем (NSDS) [4] , который используется в аналоговом исследовании коммутационных электрических цепей с использованием идеализированных компонентных уравнений (например, с использованием идеализированных прямых вертикальных линий для резко экспоненциальных областей прямой и пробивной проводимости характеристики диода ) [5] и в исследовании некоторых негладких механических систем , таких как прерывистые колебания в системах с сухим трением или динамика ударных явлений. [6] Существует программное обеспечение, которое решает системы NSDS, например, Siconos от INRIA .
В непрерывной функции, когда нечеткая концепция используется в дифференциальном включении, появляется новая концепция нечеткого дифференциального включения , которая применяется в моделировании атмосферной дисперсии и кибернетике в медицинской визуализации .