Гренвальс теңсіздігі - Grönwalls inequality - Wikipedia

Жылы математика, Гронваллдың теңсіздігі (деп те аталады Гронвалл леммасы немесе Грёнвол - Бельман теңсіздігі) белгілі бір қанағаттандыратыны белгілі функцияны байланыстыруға мүмкіндік береді дифференциалды немесе интегралдық теңсіздік сәйкес дифференциалды немесе интегралдық теңдеу. Лемманың екі түрі бар, дифференциалды және интегралды форма. Соңғысы үшін бірнеше нұсқа бар.

Гренвалль теңсіздігі теориясында әр түрлі бағаларды алудың маңызды құралы болып табылады қарапайым және стохастикалық дифференциалдық теңдеулер. Атап айтқанда, ол а салыстыру теоремасы оны дәлелдеу үшін қолдануға болады бірегейлік шешімінің бастапқы мән мәселесі; қараңыз Пикард - Линделёф теоремасы.

Ол аталған Томас Хакон Гронвалл (1877-1932). Гронвалл - бұл оның есімінің швед жазуы, бірақ ол Америка Құрама Штаттарына қоныс аударғаннан кейін өзінің ғылыми жарияланымдарында өзінің есімін Гронвалл деп жазған.

Дифференциалды форманы 1919 жылы Гронвалл дәлелдеді.[1]Интегралды нысаны дәлелденді Ричард Белман 1943 ж.[2]

Гронвалл-Бельман теңсіздігінің сызықтық қорытуы белгілі Бихари – ЛаСалле теңсіздігі. Басқа нұсқалар мен жалпылауды Пачпатте, Б.Г. (1998).[3]

Дифференциалды форма

Келіңіздер Мен белгілеу аралық туралы нақты сызық форманың [а, ∞) немесе [а, б] немесе [а, б) бірге а < б. Келіңіздер β және сен нақты бағаланған болу үздіксіз функциялар бойынша анықталған Мен. Егерсен болып табылады ажыратылатын ішінде интерьер Менo туралы Мен (аралық Мен соңғы нүктелерсіз а және мүмкін б) және дифференциалдық теңсіздікті қанағаттандырады

содан кейін сен сәйкес дифференциал шешімімен шектеледі теңдеу v ′(т) = β(т) v(т):

барлығына тМен.

Ескерту: Функциялардың белгілері туралы ешқандай болжамдар жоқ β жәнесен.

Дәлел

Функцияны анықтаңыз

Ескертіп қой v қанағаттандырады

бірге v(а) = 1 және v(т) > 0 барлығына тМен. Бойынша ереже

Осылайша функцияның туындысы оң емес және функция жоғарыда бастапқы нүктедегі мәнімен шектелген аралық :

бұл Гренваллдың теңсіздігі.

Үздіксіз функциялар үшін интегралды форма

Келіңіздер Мен белгілеу аралық туралы нақты сызық форманың [а, ∞) немесе [а, б] немесе [а, б) бірге а < б. Келіңіздер α, β және сен анықталған нақты функциялар болуМен. Мұны ойлаңыз β және сен үздіксіз және теріс бөлігі α -ның барлық жабық және шектелген ішкі интервалында интеграцияланадыМен.

  • (а) Егерβ теріс емес және егер болса сен интегралдық теңсіздікті қанағаттандырады
содан кейін
  • б) егер қосымша, функция α кемімейді, сонда

Ескертулер:

  • Функциялардың белгілері туралы ешқандай болжамдар жоқ α жәнесен.
  • Дифференциалды формасымен салыстырғанда, дифференциалдылығы сен интегралды форма үшін қажет емес.
  • Үздіксіздікті қажет етпейтін Грёнвалл теңсіздігінің нұсқасы үшін β және сен, келесі бөлімдегі нұсқаны қараңыз.

Дәлел

(а) анықтаңыз

Пайдалану өнім ережесі, тізбек ережесі, туындысы экспоненциалды функция және есептеудің негізгі теоремасы, біз туынды үшін аламыз

мұнда біз жоғарғы бағалау үшін болжамды интегралдық теңсіздікті қолдандық. Бастап β және экспоненциал теріс емес, бұл туындыға жоғарғы баға бередіv. Бастап v(а) = 0, осы теңсіздікті интеграциялау а дейін т береді

Анықтамасын қолдану v(т) бірінші қадам үшін, содан кейін бұл теңсіздік және функционалдық теңдеу экспоненциалды функциясының, біз аламыз

Бұл нәтижені болжамды интегралды теңсіздікке ауыстыру Гренвалль теңсіздігін береді.

(b) егер функция α кемімейтін болса, онда (а) бөлігі, факт α(с) ≤ α(т), және есептеудің негізгі теоремасы мұны білдіреді

Жергілікті шектеулі өлшемдері бар интегралды форма

Келіңіздер Мен белгілеу аралық туралы нақты сызық форманың [а, ∞) немесе [а, б] немесе [а, б) бірге а < б. Келіңіздер α және сен болуы өлшенетін функциялар бойынша анықталғанМен және рұқсат етіңіз μ бойынша үздіксіз теріс емес шара болуы керек Борел σ-алгебра туралы Мен қанағаттанарлық μ([а, т]) < ∞ барлығына тМен (бұл әрине, қанағаттандырылады μ Бұл жергілікті шектеулі шара ). Мұны ойлаңыз сен қатысты интегралды болып табылады μ деген мағынада

және сол сен интегралдық теңсіздікті қанағаттандырады

Егер қосымша,

  • функциясы α теріс емес немесе
  • функциясы тμ([а, т]) үшін үздіксіз тМен және функциясы α қатысты интегралды болып табылады μ деген мағынада

содан кейін сен Гронваллдың теңсіздігін қанағаттандырады

барлығына тМен, қайда Менс, т ашық аралықты білдіреді (с, т).

Ескертулер

  • Функциялар бойынша үздіксіздік туралы болжамдар жоқ α және сен.
  • Гронвалл теңсіздігіндегі интегралға шексіздік мәні беріледі.
  • Егер α нөлдік функция болып табылады сен теріс емес, демек, Гронваллдың теңсіздігі оны білдіреді сен нөлдік функция.
  • Интегралдылығы сен құрметпен μ нәтиже үшін өте маңызды. Үшін қарсы мысал, рұқсат етіңіз μ белгілеу Лебег шарасы үстінде бірлік аралығы [0, 1], анықтаңыз сен(0) = 0 және сен(т) = 1/т үшін т(0, 1]және рұқсат етіңіз α нөлдік функция.
  • С.Этиер мен Т.Курцтың оқулықта келтірілген нұсқасы.[4] деген неғұрлым күшті болжамдар жасайды α теріс емес тұрақты болып табылады және сен шектелген аралықтармен шектелген, бірақ өлшем деп есептемейді μ жергілікті шектеулі. Төменде келтірілгенмен салыстырғанда, олардың дәлелдемесі қалғандардың мінез-құлқын талқыламайды Rn(т).

Ерекше жағдайлар

  • Егер шара болса μ тығыздығы бар β егер Лебегге қатысты болса, онда Гронваллдың теңсіздігін келесідей етіп жазуға болады
  • Егер функция α теріс емес және тығыздық β туралы μ тұрақты шамамен шектелген в, содан кейін
  • Егер қосымша, теріс емес функция болса α кемімейді, сонда

Дәлелдеу сызбасы

Дәлелдеу үш кезеңге бөлінеді. Идея интегралдық теңсіздікті өз орнына ауыстыру n рет. Бұл 1-талапта математикалық индукцияны қолдану арқылы жасалады. 2-ші талапта өнім өлшемдерінің ауыспалы инварианттығын қолданып, симплекс өлшемін ыңғайлы түрде қайта жазамыз. Үшінші қадамда біз шегіне жетеміз n шексіздікке, Гронвалл теңсіздігінің қажетті нұсқасын шығару.

Толық дәлелдеме

1-талап: теңсіздікті қайталау

Әрбір табиғи сан үшін n оның ішінде нөл,

қалғанымен

қайда

болып табылады n-өлшемді қарапайым және

1-талапты дәлелдеу

Біз қолданамыз математикалық индукция. Үшін n = 0 бұл жай болжамды интегралдық теңсіздік, өйткені бос сома нөл ретінде анықталады.

Индукциялық қадам n дейін n + 1: Функция үшін қабылданған интегралдық теңсіздікті енгізу сен қалғанына береді

бірге

Пайдалану Фубини - Тонелли теоремасы екі интегралды ауыстыру үшін аламыз

Демек 1-талап үшін дәлелденген n + 1.

2-талап. Симплексті өлшеу

Әрбір табиғи сан үшін n нөлді және бәрін қосқанда с < т жылы Мен

жағдайда теңдікпен тμ([а, т]) үшін үздіксіз тМен.

2-талапты дәлелдеу

Үшін n = 0, талап біздің анықтамаларымызға сәйкес келеді. Сондықтан, қарастырыңыз n ≥ 1 келесіде.

Келіңіздер Sn барлығының жиынтығын белгілеңіз ауыстыру индекстерінің {1, 2, . . . , n}. Әрбір ауыстыру үшін σSn анықтау

Бұл жиындар әр түрлі ауыстырулар үшін бөлінеді

Сондықтан,

Олардың барлығына қатысты өлшем бір болғандықтан n-бөлімінің өнімі μжәне бар болғандықтан n! ауыстыруSn, мәлімделген теңсіздік пайда болады.

Қазір солай деп ойлаңыз тμ([а, т]) үшін үздіксіз тМен. Содан кейін, әр түрлі индекстер үшін мен, j ∈ {1, 2, . . . , n}, жиынтық

а гиперплан, демек Фубини теоремасы оның өлшемі n-бөлімінің өнімі μ нөлге тең. Бастап

мәлімделген теңдік пайда болады.

Гронваллдың теңсіздігінің дәлелі

Әрбір табиғи сан үшін n, 2-талап қалған бөлігін білдіреді 1-талап бұл

Болжам бойынша бізде бар μ(Мена,т) < ∞. Демек, интеграциялық болжам сен мұны білдіреді

2-талап және сериялы ұсыну экспоненциалды функцияның мәні бағалауды білдіреді

барлығына с < т жылыМен. Егер функцияα теріс емес, содан кейін осы нәтижелерді енгізу жеткілікті 1-талап Гронваллдың функцияға теңсіздігінің жоғарыдағы нұсқасын шығарусен.

Егер тμ([а, т]) үшін үздіксіз тМен, 2-талап береді

және функцияның интегралдылығы α пайдалануға рұқсат конвергенция теоремасы Гренваллдың теңсіздігін шығару үшін.

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

  1. ^ Гронвалл, Томас Х. (1919), «Дифференциалдық теңдеулер жүйесінің шешімдерінің параметріне қатысты туындылар туралы ескерту», Энн. математика, 20 (2): 292–296, JFM  47.0399.02, JSTOR  1967124, МЫРЗА  1502565
  2. ^ Беллман, Ричард (1943), «Сызықтық дифференциалдық теңдеулер шешімдерінің тұрақтылығы», Герцог Математика. Дж., 10 (4): 643–647, дои:10.1215 / s0012-7094-43-01059-2, МЫРЗА  0009408, Zbl  0061.18502
  3. ^ Пачпатт, Б.Г. (1998). Дифференциалдық және интегралдық теңдеулер үшін теңсіздіктер. Сан-Диего: академиялық баспасөз. ISBN  9780080534640.
  4. ^ Этиер, Стюард Н .; Курц, Томас Г. (1986), Марков процестері, сипаттамасы және конвергенциясы, Нью Йорк: Джон Вили және ұлдары, б. 498, ISBN  0-471-08186-8, МЫРЗА  0838085, Zbl  0592.60049

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

  • Логарифмдік норма, күйдің өту матрицасының нормасына жоғарғы және төменгі шектерді беретін Гронвалл леммасының нұсқасы үшін.

Бұл мақалада Гронваллдың леммасынан алынған материалдар бар PlanetMath бойынша лицензияланған Creative Commons Attribution / Share-Alike лицензиясы.