Вариациалы иҫәпләмә: өлгөләр араһындағы айырма

Эстәлек юйылған Эстәлек өҫтәлгән
Баныу (фекер алышыу | өлөш)
Үҙгәртеү аңлатмаһы юҡ
Баныу (фекер алышыу | өлөш)
Үҙгәртеү аңлатмаһы юҡ
4 юл:
 
== Ҡулланыу өлкәһе ==
Вариациялы иҫәпләмә ысулдары математиканың төрлө өлкәләрендә киң ҡулланыла. Мәҫәлән, дифференциаль геометрияла улар ярҙамында геодезия линияларынһығыҡтарын һәм [[Минималь өҫлөк|минималь өҫлө]]<nowiki/>ктәрҙе эҙләйҙәр. Физикала вариация ысулы — дискрет, шулай уҡ тарҡатылған системалар, шул иҫәптән физик ҡырҙар өсөн дә, хәрәкәт тигеҙләмәләрен алыуҙың көслө ҡоралдарының береһе. Вариациялы иҫәпләмә ысулдары статикала ла ҡулланыла .
 
== Термин һәм билдәләмәләр ==
13 юл:
* Беренсе вариация һәм беренсе вариациялы сығарылманан тыш, икенсе һәм юғары дәрәжәле вариациялы сығарылмалар ҙа ҡарала.
 
Анализда исеме менән тап килгән функция ''вариацияһы'' вариациалы иҫәпләүҙәриҫәпләмә менән бер нисек тә бәйле түгел.
 
Варьирвание (үҙгәреш) термины вариациялы иҫәпләмәлә вариация йәки вариация сығарылмаһын табыу өсөн ҡулланыла (был — вариацияларҙы иҫәпләү предметы булып торған сикһеҙ үлсәмле аргумент осрағы өсөн термин дифференциацияһының аналогы). Шулай уҡ йыш ҡына ҡыҫҡалыҡ өсөн (бигерәк тә ҡушымталарҙа вариация термины вариациялы сығарылма табыуға һәм уны нулгә тиңләүгә тиклем кәметелгән вариация мәсьәләһен хәл итеүсисеү өсөн ҡулланыла.
 
Вариация мәсьәләһе, ҡағиҙә булараҡ, ҡайһы бер функционалдарҙың стационарлығын ҡәнәғәтләндергән функцияны (вариацияларҙывариациялы иҫәпләүиҫәпләмә сиктәрендә, функцияға тигеҙләмә) табыуҙы аңлата, йәғни сикһеҙ бәләкәй функциональ үҙгәрештәр тыуҙырмаған функция. Шулай уҡ вариация мәсьәләһе функция табыу (функцияға тигеҙләмә) буйынса тығыҙ бәйләнгән мәсьәлә тип атала. Был функционал урындағы экстремумға барып етә (күп йәһәттән был мәсьәлә беренсеһенә тиклем ҡыҫҡартыла, ҡайһы берҙә бөтөнләй тиерлек).
 
Вариация мәсьәләһе, ҡағиҙә булараҡ, ҡайһы бер функционалдарҙың стационарлығын ҡәнәғәтләндергән функцияны (вариацияларҙы иҫәпләү сиктәрендә, функцияға тигеҙләмә) табыуҙы аңлата, йәғни сикһеҙ бәләкәй функциональ үҙгәрештәр тыуҙырмаған функция. Шулай уҡ вариация мәсьәләһе функция табыу (функцияға тигеҙләмә) буйынса тығыҙ бәйләнгән мәсьәлә тип атала. Был функционал урындағы экстремумға барып етә (күп йәһәттән был мәсьәлә беренсеһенә тиклем ҡыҫҡартыла, ҡайһы берҙә бөтөнләй тиерлек).
 
Ҡағиҙә булараҡ, терминдарҙы ошолай ҡулланғанда мәсьәлә вариациялы иҫәпләмә ысулдары менән сиселә тип күҙҙә тотола.
 
 
Геометрияла һәм механикала изопериметрик мәсьәләләр вариация мәсьәләһенең типик миҫалы булып тора; физикала — был ҡыр өсөн бирелгән эш төрөнән ҡыр тигеҙләмәләрен табыу мәсьәләһе.
Юл 29 ⟶ 27:
 
# Бирелгән периметры булған барлыҡ фигуралар араһынан иң ҙур майҙанды түңәрәк тәшкил итә.
# Бирелгән яҡтары һәм бирелгән периметры булған бөтә [[күпмөйөш|күпмөйөштәр]] араһынан иң ҙур майҙанға тура күпмөйөш эйә.
# Өҫкө майҙаны бирелгән бөтә есемдәрҙең иң ҙур күләменә шар эйә. Шар сегменттары өсөн шундай уҡ мәсьәләне Архимедед сисә, ә Зенодор б.э.т. II быуатта «О изопериметрические фигурах» китабын яҙа (башҡа авторҙарҙың әҫәрҙәрендә унан цитаталар һаҡланған).
 
Беренсе вариациялы принципты яҡтылыҡ нурҙары сағылышы траекториялары өсөн Герон Александрийский «Катоптрика» эшендә формалаштыра (б.э. 21 быуаты) {{Sfn|Рыбников|1949|с=377—378}}.
 
[[Урта быуаттар|Урта быуат]] Европаһында изопериметрияизопериметрик мәсьәләләре менән Сакробоско И. (XI б. I) һәм Т. Брадвардин (XIV б.) шөғөлләнгән. Анализ эщләгәндән һуң вариация мәсьәләләренең яңы типтары барлыҡҡа килә, башлыса механик характерҙа. "Математические начала натуральной философии"нда (1687) [[Исаак Ньютон|Ньютон]] газда[[газ]]да йәки шыйыҡсала[[шыйыҡса]]ла (бирелгән үлсәмдәрҙә) хәрәкәт иткәндә иң аҙбәләкәй ҡаршылыҡты тәьмин иткән есем әйләнеше формаһын табыу мәсьәләһен сисә.
 
Вариациялы иҫәпләүҙеңиҫәпләмәнең хәҙерге вариантын эшләүгә этәргес биргән мөһим тарихи мәсьәлә булып брахистохрон тураһында мәсьәлә тора (1696).
 
Бер нисә математик тарафынан тиҙ арала хәл ителеүе яңы методтарҙың ғәйәт ҙур мөмкинлектәрен күрһәтә. Улар араһында сылбырлы һыҙыҡтың формаһын билдәләү мөһимлеген күрһәтеү кәрәк (йәғни ауыр бер төрлө ептең тигеҙләнеш формалары, 1690 йыл). Вариация мәсьәләләрен сисеүҙең дөйөм ысулдары был осорҙа булмаған, һәр мәсьәлә аҡыллы геометрик фекерләү ярҙамында сиселгән.
 
[[Пьер Ферма]] геометрик оптиканың төп принцибын формалаштыра, уға ярашлы төрлө мөхиттәге яҡтылыҡ иң бәләкәй ваҡытты биләгән юлды һайлай. 1746 йылда Мопертюи, фәнгә иң бәләкәй хәрәкәт итеүҙең беренсе принцибын индереп, был ҡағиҙәне дөйөмләштерә.
 
Вариациялы иҫәпләмәне үҫтереүгә [[Леонард Эйлер]] һәм Жозеф Лагранж тос өлөш индерә. Эйлерҙың вариациялы иҫәпләмәне тәүге системалы тасуирлауы һәм термин үҙе 1766 йыл яҙыла. Лагранж үҙ аллы 1755 йылдан фундаменталь һөҙөмтәләр ала һәм вариация төшөнсәһен индерә.
 
Был этапта практик әһәмиәткә эйә булған вариациялы иҫәпләмәнең төп классик һөҙөмтәләренең береһе булып Эйлер — Лагранждың тигеҙләмәләре — дифференциаль тигеҙләмәләр тора.
 
Улар экстремумдың кәрәкле шарты булып тора, ул вариация методтарҙың аналитик нигеҙенә тәшкил итә.. Тиҙҙән, асыҡланыуынса, был тигеҙләмәләрҙең сығарылыштары бөтә осраҡтарҙа ла ысын экстремум бирмәй, һәм экстремумды гарантиялаусы етерлек шарттар табыу мәсьәләһе ҡуйыла.
 
Тәүге тәрән тикшеренеүҙе (икенсе вариацияны) Лежандр яһаған, ләкин Лагранж уның эшендә хата таба. Лежандраның һөҙөмтәләрен Якоби (1837), һуңынан уның уҡыусыһы Гессе (1857) һәм һуңыраҡ Вейерштрасс аныҡлаштыра. Хәҙер был етерлек шарттар Якоби тигеҙләмәләре тип атала<ref>{{Cite web|url=http://vi.horizalru.com/18.html|title=Вторая вариация функционала. Достаточное условие минимума функционала.|access-date=2011-02-25|archive-date=2010-04-04|archive-url=https://web.archive.org/web/20100404123703/http://vi.horizalru.com/18.html|deadlink=no}}</ref>.
 
== Формаль булмаған фекерләшеү ==
Вариациялы иҫәпләмә йөкмәткеһе — функционал осрағында дифференциал һәм сикле үлсәмле векторлы аргументтың ҡабатландыҡ функцияһының дөйөм төшөнсәләре булып тора. Билдәләү өлкәһе булып ниндәйҙер [[күмәклек]] йәки функциялар арауығы хеҙмәт иткән функциялар, ә мәғәнәһе матдтәләр йәки комплекслы һандар күмәклегендә ята.
 
 
== Башҡортостанда фәнни тикшеренеүҙәр ==
* Башҡортостанда[[Башҡортостан]]да вариациалы иҫәпләмә . өлкәһендәге тәүге фәнни тикшеренеү булып М.  А.'' Лаврентьевтың'' квазиконформлы сағылыш теорияһының вариациялы ысулдары буйынса XX быуаттың 40‑сы йылдарында . 1‑се яртыһында, 40-сы йылдарҙа, (Украина ССР‑ы ФА‑ның Өфөлә эшләү осоронда) башҡарылған ғилми хеҙмәттәре иҫәпләнә. 1960 йылдарҙа . оптималләштереүҙең математика теорияһы һәм уның ҡушымталары менән бәйле вариациалы иҫәпләмә бүлектәре буйынса тикшеренеүҙәр алға китә [[Өфө дәүләт авиация техник университеты|.Өфө дәүләт а''виация техник университеты'']]''нда'' Э.  А.'' Мухачёва'' етәкелегендә . математик программалаштырыу мәсьәләләре һәм уның сәнәғәттә оптималь бесеү һәм төрөү мәсьәләләренә ҡарата ҡушымталары буйынса тикшеренеүҙәр үткәрелә. ''[[Башҡорт дәүләт университеты]]<nowiki/>нда'' С.  Ю.'' Рудерман етәкселегендә'' үткәргес торба трассаларын оптималләштереү буйынса эштәр башҡарыла ,С.  И.'' Спивак'' етәкселегендә ҡатмарлы химик-технологик процестарҙы һәм Н.  Д.'' Морозкин етәкселегендә'' фазалары сикләүле процестарҙы оптималләштереү, В.  Т.'' Иванов'', һәм Ф.  В.'' Лубышев етәкселегендә'' оптималь идара итеүҙең матем. теорияһы, С.  А.'' Щербинин етәселегендә'' электрохимик процестарҙың ҡулай режимдарын иҫәпләп сығарыу буйынса тикшеренеүҙәр үҫеш ала. ''Математика институтында М. Д. Рамаҙанов етәкселегендә'' иҫәпләү алгоритмдарын оптималләштереү теорияһы һәм И.  И.'' Голичев етәеселегендә'' системаның торошон айырмалы сығарылмалары булған ''дифференциаль тигеҙләмәләр'' аша тасуирлау шарттарында оптималләштереү ысулдары эшләнә.
 
== Иҫкәрмәләр ==