Hörmanders жағдайы - Hörmanders condition - Wikipedia

Жылы математика, Хормандердің жағдайы меншігі болып табылады векторлық өрістер егер бұл қанағаттандырылса, теориясында көптеген пайдалы салдары бар жартылай және стохастикалық дифференциалдық теңдеулер. Шарттың аты аталған Швед математик Ларс Хормандер.

Анықтама

Екі C1 векторлық өрістер V және W қосулы г.-өлшемді Евклид кеңістігі Rг., болсын [VW] оларды белгілейді Жалған жақша, анықталған басқа векторлық өріс

қайда Д.V(х) дегенді білдіреді Фрешет туындысы туралы V кезінде х ∈ Rг.деп ойлауға болады матрица бұл векторға қолданылады W(х), және қарама-қарсы.

Келіңіздер A0, A1, ... An векторлық өрістер болуы керек Rг.. Олар қанағаттандырады дейді Хормандердің жағдайы егер, әр пункт үшін х ∈ Rг., векторлар

аралық Rг.. Олар қанағаттандырады деп айтылады параболалық Хормандер жағдайы егер дәл солай болса, бірақ индекспен тек 1, ..., мәндерін ескере отырыпn.

Стохастикалық дифференциалдық теңдеулерге қолдану

Қарастырайық стохастикалық дифференциалдық теңдеу (SDE)

қайда векторлар өрісі бар шектелген туынды деп есептеледі, қалыпқа келтірілген n- өлшемді броундық қозғалыс және дегенді білдіреді Стратонович интеграл SDE түсіндіру.Хормандер теоремасы, егер жоғарыдағы SDE параболалық Хормандер шартын қанағаттандырса, оның шешімдері Лебег өлшеміне қатысты біркелкі тығыздықты қабылдайды.

Коши проблемасына қолдану

Жоғарыдағыдай белгімен екінші ретті анықтаңыз дифференциалдық оператор F арқылы

Парциалды дифференциалдық теңдеулер теориясының маңызды мәселесі - векторлық өрістерде жеткілікті шарттарды анықтау Aмен Коши проблемасы үшін

тегіс болу іргелі шешім, яғни нақты бағаланатын функция б (0, +∞) × R2г. → R осындай б(т, ·, ·) Тегіс R2г. әрқайсысы үшін т және

жоғарыдағы Коши мәселесін қанағаттандырады. Біраз уақыттан бері белгілі болды: бұл тегіс шешім эллиптикалық жағдайда, онда

және матрица A = (аджи), 1 ≤ j ≤ г., 1 ≤ мен ≤ n осындай АА барлық жерде an кері матрица.

Хормандердің 1967 жылғы еңбегінің үлкен жетістігі - тегіс іргелі шешімнің анағұрлым әлсіз болжаммен болатындығын көрсету болды: қазіргі кезде оның атымен аталған шарттың параболалық нұсқасы.

Жүйелерді басқару үшін қолдану

Келіңіздер М тегіс коллектор болыңыз және тегіс векторлық өрістер болыңыз М. Бұл векторлық өрістер Хормендер шарттарын қанағаттандырады деп есептесек, онда басқару жүйесі

болып табылады жергілікті бақыланатын кез келген уақытта кез келген уақытта М. Бұл белгілі Чоу-Рашевский теоремасы. Қараңыз Орбита (басқару теориясы).

Сондай-ақ қараңыз

Әдебиеттер тізімі

  • Bell, Denis R. (2006). Мальлиавин есебі. Mineola, NY: Dover Publications Inc., x + 113 б. ISBN  0-486-44994-7. МЫРЗА2250060 (Кіріспеге қараңыз)
  • Хормандер, Ларс (1967). «Гипоэллиптикалық екінші ретті дифференциалдық теңдеулер». Acta Math. 119: 147–171. дои:10.1007 / BF02392081. ISSN  0001-5962. МЫРЗА0222474