Фермац теоремасы (стационарлық нүктелер) - Fermats theorem (stationary points) - Wikipedia

Жылы математика, Ферма теоремасы (сонымен бірге ішкі экстремум теоремасы) - бұл жергілікті табу әдісі максимумдар мен минимумдар туралы дифференциалданатын функциялар қосулы ашық жиынтықтар деп көрсету арқылы әр жергілікті экстремум туралы функциясы Бұл стационарлық нүкте (функция туынды сол кезде нөлге тең). Ферма теоремасы - а теорема жылы нақты талдау, атындағы Пьер де Ферма.

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

Мәлімдеме

Ферма теоремасын айтудың бір әдісі, егер функцияда локаль болса экстремум бір сәтте және болып табылады ажыратылатын онда функцияның туындысы сол кезде нөлге тең болуы керек. Дәл математикалық тілде:

Келіңіздер функция болу керек және солай делік нүкте жергілікті экстремумға ие. Егер дифференциалды , содан кейін .

Теореманы түсінудің тағы бір әдісі контрапозитивті оператор: егер кез-келген нүктедегі функцияның туындысы нөлге тең болмаса, онда ол нүктеде локальды экстремум болмайды. Ресми түрде:

Егер дифференциалды , және , содан кейін локальды экстремум емес .

Қорытынды

Функцияның ғаламдық экстремасы f үстінде домен A кезінде ғана пайда болады шекаралар, дифференциалданбайтын нүктелер және стационарлық нүктелер -ның ғаламдық экстремумы болып табылады f, онда келесілердің бірі дұрыс:

  • шекара: шекарасында орналасқан A
  • сараланбайтын: f дифференциалданбайды
  • стационарлық нүкте: нүктесінің стационарлық нүктесі болып табылады f

Кеңейту

Жоғары өлшемдерде дәл осындай тұжырым орындалады; дегенмен, дәлелдеу біршама күрделі. Қиындық мынада: 1 өлшемде нүктеден солға немесе оңға жылжуға болады, ал үлкен өлшемдерде көптеген бағыттарға жылжуға болады. Осылайша, егер туынды жоғалып кетпесе, бар екендігіне дау айту керек кейбіреулері функция өсетін бағыт - осылайша кері бағытта функция азаяды. Бұл дәлелдеудің немесе талдаудың жалғыз өзгерісі.

Мәлімдемені сонымен қатар кеңейтуге болады дифференциалданатын коллекторлар. Егер Бұл дифференциалданатын функция коллекторда , содан кейін оның жергілікті экстремасы болуы керек сыни нүктелер туралы , атап айтқанда сыртқы туынды нөлге тең.[1]

Қолданбалар

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

Мұны функцияны әр нүктеде бағалау және максимумды қолдану арқылы, немесе туындыларды әрі қарай талдау арқылы жасауға болады. бірінші туынды тест, екінші туынды тест немесе жоғары ретті туынды тест.

Интуитивті дәлел

Интуитивті түрде дифференциалданатын функция оның туындысымен жуықталады - дифференциалданатын функция шексіз а сияқты әрекет етеді сызықтық функция дәлірек айтсақ, Осылайша, тұрғысынан «егер f дифференциалданатын және at жойылмайтын туындысы бар онда ол экстремумға жетпейді «интуициясы, егер at туындысы болса оң, функциясы - ұлғаюда жақын ал егер туынды теріс болса, онда функция төмендеу жақын Екі жағдайда да ол максимумға немесе минимумға жете алмайды, өйткені оның мәні өзгеріп отырады. Ол «тоқтаған» жағдайда ғана максимумға немесе минимумға жете алады - егер туынды жоғалып кетсе (немесе ол дифференциалданбайтын болса, немесе шекараға түсіп, әрі қарай жалғастыра алмаса). Дегенмен, «өзін сызықтық функция сияқты» дәл жасау мұқият аналитикалық дәлелдеуді қажет етеді.

Дәлірек айтсақ, интуицияны былай деп айтуға болады: егер туынды оң болса, бар кейбір нүкте оң жағында қайда f үлкенірек және кейбір нүкте сол жағында қайда f аз, демек f максимумға да, минимумға да жетпейді Керісінше, егер туынды теріс болса, оң жақта кіші, ал сол жақта үлкенірек нүкте болады. Осылай делінген, дәлелдеулер мұны тек теңдеулерге аударып, «қаншалықты көп немесе аз» екенін тексеру.

The интуиция мінез-құлқына негізделген көпмүшелік функциялар. Бұл функцияны қабылдаңыз f максимумы бар х0, функционалды минимумға ұқсас дәлелдеу. Егер жергілікті максимум болса, шамамен (шамалы) болуы мүмкін Көршілестік туралы «функциясы» дейін өседі «және» кейін төмендейді «[1 ескерту] . Туынды өсетін функция үшін оң, ал кемитін функция үшін теріс болғандықтан, дейін оң, кейін теріс болады . мәндерді өткізбейді (бойынша Дарбу теоремасы ), сондықтан ол оң және теріс мәндер арасында бір уақытта нөлге тең болуы керек. Мүмкін болатын көршілес нүкте болып табылады .

Теорема (және оның төмендегі дәлелі) түйсіктен гөрі жалпы болып табылады, өйткені ол функцияны маңайға қарағанда дифференциалдауды қажет етпейді. . Функцияның тек шеткі нүктесінде ғана дифференциалдануы жеткілікті.

Дәлел

1-дәлел: Жойылмайтын туындылар экстремум емес дегенді білдіреді

Айталық f дифференциалды туындымен K, және болжаймыз жалпылықты жоғалтпай бұл сондықтан жанама сызық оң көлбеуі бар (өсуде). Одан кейін онда сектант сызықтар арқылы барлығының оң көлбеуі бар, осылайша оң жақта f үлкенірек, ал сол жақта f азырақ.

Дәлелдеу схемасы:

  • туынды туралы шексіз тұжырым (тангенс сызығы) кезінде білдіреді
  • айырмашылық бағалары туралы жергілікті мәлімдеме (секант жолдары) жақын бұл білдіреді
  • туралы жергілікті мәлімдеме мәні туралы f жақын

Ресми түрде, туынды анықтамасы бойынша, дегенді білдіреді

Атап айтқанда, жеткілікті аз (кейбіреулеріне қарағанда аз ), өлшем кем дегенде болуы керек шекті анықтау арқылы. Осылайша аралық біреуінде:

біреуін ауыстырды теңдік шегінде (шексіз оператор) теңсіздік көрші туралы (жергілікті мәлімдеме). Осылайша, теңдеуді қайта құру, егер содан кейін:

оң жақтағы аралықта, f қарағанда үлкен және егер содан кейін:

сол жақта, f аз

Осылайша жергілікті немесе глобалды максимум немесе минимум емес f.

Дәлел 2: Экстремум туындылардың жойылып кетуін білдіреді

Одан басқа, мұны бастай беруге болады жергілікті максимум болып табылады, содан кейін туынды 0 екенін дәлелде.

Айталық жергілікті максимум болып табылады (ұқсас дәлел, егер қолданылады жергілікті минимум). Сонда бар осындай және бізде бар барлығына бірге . Сондықтан кез-келген үшін Бізде бар

Бастап шектеу осы қатынастың жоғарыдан 0-ге жақындайды және оған тең біз мынаны қорытындылаймыз . Екінші жағынан, үшін біз мұны байқаймыз

бірақ тағы да шектеу төменнен 0-ге жақындайды және тең сондықтан бізде де бар .

Демек, біз мынаны қорытындылаймыз

Сақтық

Ферма теоремасы аясында жиі кездесетін нәзік қате түсінік, ол жергілікті мінез-құлық туралы өзінен гөрі күшті мәлімдеме жасайды деп болжауға болады. Ферма теоремасы маңызды емес функциялар (монотонды) жергілікті максимумға дейін «жоғарылайды» немесе «төмендейді» деп айтыңыз. Бұл шектеу «нүктеге біркелкі жақындау» дегенді білдіретін қате түсінікке өте ұқсас. «Жақсы мінез-құлыққа ие функциялар» үшін (бұл дегеніміз - бұл үздіксіз дифференциалданатын ), кейбір түйсіктер орын алады, бірақ жалпы функциялар төменде көрсетілгендей, өзін-өзі ұстай алмауы мүмкін. Мораль - туынды құралдар анықтайды шексіз мінез-құлық және сол үздіксіз туындылар анықтайды жергілікті мінез-құлық.

Үздіксіз дифференциалданатын функциялар

Егер f болып табылады үздіксіз дифференциалданатын бойынша ашық көршілік нүктенің , содан кейін дегенді білдіреді f ауданында көбейіп келеді келесідей.

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

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

Керісінше, егер f нүктесінде нөлге тең ( стационарлық нүкте болып табылады), жалпы жергілікті мінез-құлық туралы ешнәрсе жасауға болмайды f - ол бір жағына өсіп, екінші жағына төмендеуі мүмкін (сол сияқты) ), екі жаққа дейін ұлғайту (сияқты ), екі жағына дейін азайту (сияқты ) немесе тербеліс сияқты күрделі тәсілдермен әрекет етіңіз (сияқты , төменде қарастырылғандай).

Арқылы шексіз мінез-құлықты талдауға болады екінші туынды тест және жоғары ретті туынды тест, егер функция жеткілікті түрде дифференциалданатын болса және at-да жоғалып кетпейтін бірінші туынды болса Бұл үздіксіз функция, содан кейін жергілікті мінез-құлықты жасауға болады (яғни, егер жоғалып кетпейтін алғашқы туынды болып табылады, және үздіксіз, сондықтан ), содан кейін емдеуге болады f сияқты жергілікті көпмүшеге жақын дәрежесі к, өйткені ол шамамен әрекет етеді бірақ егер к- туынды үздіксіз емес, мұндай қорытынды жасауға болмайды және ол басқаша болуы мүмкін.

Патологиялық функциялар

Функция - арасында тезірек тербеліп отырады және сияқты х тәсілдер 0. Демек, функция 0 мен аралығында жылдамырақ тербеліс жасайды сияқты х 0. Егер біреу осы функцияны анықтау арқылы кеңейтсе онда кеңейтілген функция үздіксіз және барлық жерде сараланатын болады (ол 0-дің туындысымен ерекшеленеді), бірақ 0-ге жақын күтпеген мінез-құлыққа ие: 0-дің кез-келген маңында ол 0-ге жетеді, сонымен қатар тең (оң сан) шексіз жиі.

Осы бағытта жалғастыра отырып, біреуін анықтауға болады , арасында тербеліс жасайды және . Функция жергілікті және глобалды минимумға ие , бірақ 0-дің бірде-бір аймағында ол 0-ге дейін кемімейді немесе 0-ге дейін өспейді - ол 0-ге жақын жерде қатты тербеледі.

Бұл патологияны түсінуге болады, өйткені функциясы ж барлық жерде ажыратылады, олай емес үздіксіз сараланатын: шегі сияқты жоқ, сондықтан туынды 0-де үзіліссіз болмайды. Бұл 0-ге жақындаған сайын өсетін және кемитін мәндер арасындағы тербелісті көрсетеді.

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

Ескертулер

  1. ^ Бұл интуиция тек дұрыс үздіксіз дифференциалданатын функциялар, жалпы алғанда бұл сөзбе-сөз дұрыс емес - функция жергілікті максимумға дейін ұлғаюдың қажеті жоқ: оның орнына тербеліс болуы мүмкін, сондықтан көбеймейді де, кемімейді, бірақ жай максимум кішігірім маңдағы кез-келген мәндерден үлкен болады оның сол немесе оң жағы. Патологиядағы мәліметтерді қараңыз.

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

  1. ^ «Ферманың жергілікті экстремалар туралы теоремасы тегіс коллекторларға қатысты ма?». Stack Exchange. 2015 жылғы 11 тамыз. Алынған 21 сәуір 2017.

Сыртқы сілтемелер