Жалпы жағдайда функционал өсімшесі
Осыдан шығатыны
. (2)
Егер болса, онда үшін болуы қажет, өйткені бұл жағдайдағы таңбасы жеткілікті аз γ > 0 кезіндегі таңбасымен сәйкеседі. Функция келесі түрде тандалады:
(3)
мұндағы . Сонымен функциясы және кесінділерінде сызықты, демек оның туындысы
(4)
инені еске салады, сондықтан көбіне - "шанышпа" вариациялар деп аталады. функциялары (3), (4) формулаларынан анықталады, ендеше
Бірінші вариацияны (2) формуласына сай есептейік:
мұндагы .
функциясы Эйлер теңдеуінің шешімі, ендеше (3)- формула дұрыс. Сол (3) тендігінен
, (5)
(6)
(6)-дан (5) өрнегін алып тастасақ:
Енді (4)-тегі өрнектің жазылуы:
осыдан мынаны ескерсек:
егер егер онда
(16)
Бекітілген үшін белгілеуін енгізсек, кез келген кезінде (16) өрнек
түрінде жазылады. Теорема дәлелденді.
Лежандр шарты. Жай есепті қарастырамыз. Жоғарыда U -дағы локәлдік минимумының келесі қажетті шарттарын дәлелдегенбіз 1) ; 2) . Осы кезге дейін жағдайын карастырдық.Әлсіз локәлдік минимумның күшейтілген қажетті шарттарын алу үшін -ден басқа және екінші вариация теріс болмайтын жағдаларды қарастырамыз.
Мәселен функциясы шекаралық шарттарын қанағаттандыратын Эйлер тендеуінің шешімі делік.
белгілеулерін енгізіп, екінші вариациясын (қараңыз (9))
(1)
түрінде жазамыз.
1-теорема. функциясы қарапайым есептегі әлсіз локәлдік минимумге жеткізуі үшін Эйлер тендеуінің шешімі бойында
(2)
теңсіздігі (Лежандр шарты) орындалуы қажет.
Дәлелі. Эйлер тендеуінің шешімі бойында теңсіздігі орындалсын делік. (2) теңсіздігінің дұрыстығын көрсетейік. Қарсы жоримыз, яғни нүктесінде .
Мәселен функция Ал
функциясын (мұндағы ) және
функциясын жазайық функциясы функциясының үш қырын болатындай етіп тегістейді. Туынды
функциясының мәні мәніне қарағанда жеткілікті аз, сонымен қатар салыстырғанда туындысы да жеткілікті аз, ендеше (1)- өрнек таңбасы мына шама таңбасымен анықталады:
Бұл шартына қайшы. Теорема дәлелденді.
Якоби шарты. Эйлер тендеуінің шешімі бойында екінші вариация функциясына тәуелді функционал, яғни
(3)
мұндағы .
Жай есеп (3) үшін Эйлер тендеуі:
Осыдан, ескерсек:
(4)
Мәселен Лежандрдың күшейтілген шарты орындалсын делік. Онда (4) – тендеу
(5)
түрінде жазылады, мұндағы . Мәселен -(5) - дифференциалдық теңдеудің шешімі болсын.
Достарыңызбен бөлісу: |