Интегральный инвариант

степени к(порядка k)гладкой динамической системы - а) абсолютный И. и.: внешняя дифференциальная форма j степени к, переходящая в себя под действием преобразований, образующих эту систему; б) относительный И. и.: внешняя дифференциальная форма j степени k, внешний дифференциал к-рой является абсолютным И. и. (имеющим уже степень k+1). Обычно речь идет об И. и. для потока {St}, определяемого системой обыкновенных дифференциальных уравнений x=f(x), где f - гладкое векторное поле, заданное в нек-рой области евклидова пространства (или многообразия); в терминах координат (локальных координат в случае многообразия) эта система имеет вид [img: http://localhost:8080/file/021014-68.jpg] Важный пример И. и.- форма объема (f=p(x)dx1 [img: http://localhost:8080/file/021014-69.jpg] dxn [где р(х)- положительная локально интегрируемая (часто даже непрерывная или гладкая) функция координат]. При гладкой р эта форма является абсолютным И. и. системы [img: http://localhost:8080/file/021014-70.jpg] (1), если В этом случае поток имеет инвариантную меруm(A) = [img: http://localhost:8080/file/021014-71.jpg] к-рая в терминах (локальных) координат задается своей плотностью р (х)(последнюю, допуская нек-рую вольность речи, тоже часто наз. И. и.). Гамилътонова система с (обобщенными) импульсами и координатами р i, qi, i=1,..., т, имеет относительный И. и. [img: http://localhost:8080/file/021014-72.jpg] и абсолютный И. и. [img: http://localhost:8080/file/021014-73.jpg] Этот факт можно положить в основу определения гамильтоновых систем и использовать при развертывании их теории, ибо многие специфич. особенности последней непосредственно связаны с этими И. и. (см.[4], [5]). Внешние степени wk (в том числе и форма объема wm) являются абсолютными, а произведения y [img: http://localhost:8080/file/021014-74.jpg] wk -относительными И. и. любой гамильтоновой системы, поэтому их наз. универсальными И. и. гамильтоновых систем. С точностью до множителя все универсальные И. и. гамильтоновых систем сводятся к указанным (см. [4], [7]). Если система (1) имеет абсолютный И. и. j степени к, то для любой k-мерной гладкой цепи с (напр., гладкого k-мерного многообразия) [img: http://localhost:8080/file/021014-75.jpg] Если же система (1) имеет относительный И. и., то (2), вообще говоря, имеет место лишь тогда, когда цепь является границей цепи размерности k+l. Иногда относительный И. и. определяют несколько более сильным требованием, чтобы (2) выполнялось для всех циклов с. Первоначально И. и. были определены А. Пуанкаре (см. [1], [2]) именно как интегралы указанного выше типа, остающиеся инвариантными, когда область интегрирования движется под действием потока. Все сказанное легко распространяется на неавтономные системы x=f(x, t). Более существенной является модификация понятия И. и., предложенная Э. Картаном (В. Cartan. [3]) и связанная с переходом (даже в автономном случае) к расширенному фазовому пространству (к обычным фазовым переменным добавляется время), в к-ром интегральные кривые рассматриваемой системы дифференциальных уравнений образуют нек-рое семейство линий (конгруэнцию). Э. Картан требует, чтобы интеграл формы ф по цепи с(или по циклу, если речь идет об относительном И. и.) оставался неизменным, когда каждую точку [img: http://localhost:8080/file/021014-76.jpg] сдвигают вдоль интегральной кривой, проходящей через эту точку; при этом различные точки можно сдвигать по-разному, лишь бы это было гладкой деформацией цикла с. (Напр., в новом смысле относительным И. и. гамильтоновой системы является не y, а весьма полезный интегральный инвариант Пуанкаре- Картан а [img: http://localhost:8080/file/021014-77.jpg] -Hdt, где H- гамильтониан, см. [3]-[5].) Родственное определение дано в [6].