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

Эстәлек юйылған Эстәлек өҫтәлгән
Баныу (фекер алышыу | өлөш)
"Вариационное исчисление" битен тәржемә итеп төҙөлгән
 
Баныу (фекер алышыу | өлөш)
Үҙгәртеү аңлатмаһы юҡ
1 юл:
.'''Вариациалы иҫәпләмә''' — ''математиканың'' бер йәки бер нисә функцияны һайлап алыуға бәйле үҙгәреүсән дәүмәлдәрҙең иң ҙур һәм иң бәләкәй ҡиммәттәрен табыу ысулдарын өйрәнеүсе бүлеге. ''Механика'', математика, ''иҡтисад'' мәсьәләләрен ( изопериметрик мәсьәләләр, оптималь идара итеү, геодезик һыҙыҡтарҙы табыу) ҡарай
 
Иң типик мәсьәлә - — бирелгән функция экстремаль ҡиммәткә еткән функцияны табыу.
 
== Ҡулланыу өлкәһе ==
Вариациялы иҫәпләмә ысулдары математиканың төрлө өлкәләрендә киң ҡулланыла. Мәҫәлән, дифференциаль геометрияла улар ярҙамында геодезия линияларын һәм [[Минималь өҫлөк|минималь өҫлө]]<nowiki/>ктәрҙе эҙләйҙәр. Физикала вариация ысулы — дискрет, шулай уҡ тарҡатылған системалар, шул иҫәптән физик ҡырҙар өсөн дә, хәрәкәт тигеҙләмәләрен алыуҙың көслө ҡоралдарының береһе. Вариациялы иҫәпләмә ысулдары статикала ла ҡулланыла .
 
== Термин һәм билдәләмәләр ==
Вариациялы иҫәпләмә ысулдары математиканың төрлө өлкәләрендә киң ҡулланыла. Мәҫәлән, дифференциаль геометрияла улар ярҙамында геодезия линияларын һәм [[Минималь өҫлөк|минималь өҫлө]]<nowiki/>ктәрҙе эҙләйҙәр. Физикала вариация ысулы - дискрет, шулай уҡ тарҡатылған системалар, шул иҫәптән физик ҡырҙар өсөн дә, хәрәкәт тигеҙләмәләрен алыуҙың көслө ҡоралдарының береһе. Вариациялы иҫәпләмә ысулдары статикала ла ҡулланыла .
 
 
 
 
 
.
 
== Термин һәм билдәләмәләр ==
Вариациялы иҫәпләүҙең мөһим төшөнсәләре булып түбәндәгеләр тора:
 
* ''вариация'' (беренсе вариация ),
* Вариация сығарылмаһы (беренсе вариация сығарылмаһы),
* Беренсе вариация һәм беренсе вариациялы сығарылманан тыш, икенсе һәм юғары дәрәжәле вариациялы сығарылмалар ҙа ҡарала.
 
Анализда исеме менән тап килгән функция ''вариацияһы'' вариациалы иҫәпләүҙәр менән бер нисек тә бәйле түгел.
 
Варьирвание (үҙгәреш) термины вариациялы иҫәпләмәлә вариация йәки вариация сығарылмаһын табыу өсөн ҡулланыла (был  — вариацияларҙы иҫәпләү предметы булып торған сикһеҙ үлсәмле аргумент осрағы өсөн термин дифференциацияһының аналогы). Шулай уҡ йыш ҡына ҡыҫҡалыҡ өсөн (бигерәк тә ҡушымталарҙа вариация термины вариациялы сығарылма табыуға һәм уны нулгә тиңләүгә тиклем кәметелгән вариация мәсьәләһен хәл итеү өсөн ҡулланыла.
 
 
Вариация мәсьәләһе, ҡағиҙә булараҡ, ҡайһы бер функционалдарҙың стационарлығын ҡәнәғәтләндергән функцияны (вариацияларҙы иҫәпләү сиктәрендә, функцияға тигеҙләмә) табыуҙы аңлата, йәғни сикһеҙ бәләкәй функциональ үҙгәрештәр тыуҙырмаған функция. Шулай уҡ вариация мәсьәләһе функция табыу (функцияға тигеҙләмә) буйынса тығыҙ бәйләнгән мәсьәлә тип атала. Был функционал урындағы экстремумға барып етә (күп йәһәттән был мәсьәлә беренсеһенә тиклем ҡыҫҡартыла, ҡайһы берҙә бөтөнләй тиерлек).
 
Ҡағиҙә булараҡ, терминдарҙы ошолай ҡулланғанда мәсьәлә вариациялы иҫәпләмә ысулдары менән сиселә тип күҙҙә тотола.
 
 
Геометрияла һәм механикала изопериметрик мәсьәләләр вариация мәсьәләһенең типик миҫалы булып тора; физикала - — был ҡыр өсөн бирелгән эш төрөнән ҡыр тигеҙләмәләрен табыу мәсьәләһе.
 
== Тарихы ==
Антик заманда уҡ изопериметрик мәсьәләләр категорияһына ҡараған тәүге вариация проблемалары барлыҡҡа килә - — мәҫәлән, Дидондың мәсьәләһе боронғо грек математикатарына билдәле булған {{Sfn|Рыбников|1949|с=356—378}}:
 
# Бирелгән периметры булған барлыҡ фигуралар араһынан иң ҙур майҙанды түңәрәк тәшкил итә.
# Бирелгән яҡтары һәм бирелгән периметры булған бөтә күпмөйөштәр араһынан иң ҙур майҙанға тура күпмөйөш эйә.
# Өҫкө майҙаны бирелгән бөтә есемдәрҙең иң ҙур күләменә шар эйә. Шар сегменттары өсөн шундай уҡ мәсьәләне Архимедед сисә, ә Зенодор б.э.т. II быуатта «О изопериметрические фигурах» китабын яҙа (башҡа авторҙарҙың әҫәрҙәрендә унан цитаталар һаҡланған).
 
Беренсе вариациялы принципты яҡтылыҡ нурҙары сағылышы траекториялары өсөн Герон Александрийский «Катоптрика» эшендә формалаштыра (б.э. 21 быуаты) {{Sfn|Рыбников|1949|с=377—378}}.
 
Урта быуат Европаһында изопериметрия мәсьәләләре менән Сакробоско И. (XI б.I I) һәм Т. Брадвардин (XIV б.) шөғөлләнгән. Анализ эщләгәндән һуң вариация мәсьәләләренең яңы типтары барлыҡҡа килә, башлыса механик характерҙа. «"Математические начала натуральной философии»"нда (1687) [[Исаак Ньютон|Ньютон]] газда йәки шыйыҡсала (бирелгән үлсәмдәрҙә) хәрәкәт иткәндә иң аҙ ҡаршылыҡты тәьмин иткән есем әйләнеше формаһын табыу мәсьәләһен сисә.
 
Вариациялы иҫәпләүҙең хәҙерге вариантын эшләүгә этәргес биргән мөһим тарихи мәсьәлә булып брахистохрон тураһында мәсьәлә тора (1696).
 
Бер нисә математик тарафынан тиҙ арала хәл ителеүе яңы методтарҙың ғәйәт ҙур мөмкинлектәрен күрһәтә. Улар араһында сылбырлы һыҙыҡтың формаһын билдәләү мөһимлеген күрһәтеү кәрәк (йәғни ауыр бер төрлө ептең тигеҙләнеш формалары, 1690 йыл). Вариация мәсьәләләрен сисеүҙең дөйөм ысулдары был осорҙа булмаған, һәр мәсьәлә аҡыллы геометрик фекерләү ярҙамында сиселгән.
 
[[Пьер Ферма]] геометрик оптиканың төп принцибын формалаштыра, уға ярашлы төрлө мөхиттәге яҡтылыҡ иң бәләкәй ваҡытты биләгән юлды һайлай.1746 йылда Мопертюи, фәнгә иң бәләкәй хәрәкәт итеүҙең беренсе принцибын индереп, был ҡағиҙәне дөйөмләштерә.
 
Вариациялы иҫәпләмәне үҫтереүгә Леонард Эйлер һәм Жозеф Лагранж тос өлөш индерә. Эйлерҙың вариациялы иҫәпләмәне тәүге системалы тасуирлауы һәм термин үҙе 1766 йыл яҙыла. Лагранж үҙ аллы 1755 йылдан фундаменталь һөҙөмтәләр ала һәм вариация төшөнсәһен индерә.
 
Был этапта практик әһәмиәткә эйә булған вариациялы иҫәпләмәнең төп классик һөҙөмтәләренең береһе булып Эйлер — Лагранждың тигеҙләмәләре — дифференциаль тигеҙләмәләр тора.
[[Пьер Ферма]] геометрик оптиканың төп принцибын формалаштыра, уға ярашлы төрлө мөхиттәге яҡтылыҡ иң бәләкәй ваҡытты биләгән юлды һайлай.1746 йылда Мопертюи, фәнгә иң бәләкәй хәрәкәт итеүҙең беренсе принцибын индереп, был ҡағиҙәне дөйөмләштерә.
 
Улар экстремумдың кәрәкле шарты булып тора, ул вариация методтарҙың аналитик нигеҙенә тәшкил итә.. Тиҙҙән, асыҡланыуынса, был тигеҙләмәләрҙең сығарылыштары бөтә осраҡтарҙа ла ысын экстремум бирмәй, һәм экстремумды гарантиялаусы етерлек шарттар табыу мәсьәләһе ҡуйыла.
 
Тәүге тәрән тикшеренеүҙе (икенсе вариацияны) Лежандр яһаған, ләкин Лагранж уның эшендә хата таба. Лежандраның һөҙөмтәләрен Якоби (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>.
 
== Формаль булмаған фекерләшеү ==
Вариациялы иҫәпләмә йөкмәткеһе — функционал осрағында дифференциал һәм сикле үлсәмле векторлы аргументтың ҡабатландыҡ функцияһының дөйөм төшөнсәләре булып тора. Билдәләү өлкәһе булып ниндәйҙер күмәклек йәки функциялар арауығы хеҙмәт иткән функциялар, ә мәғәнәһе матдтәләр йәки комплекслы һандар күмәклегендә ята.
 
Вариациялы иҫәпләмәне үҫтереүгә Леонард Эйлер һәм Жозеф Лагранж тос өлөш индерә. Эйлерҙың вариациялы иҫәпләмәне тәүге системалы тасуирлауы һәм термин үҙе 1766 йыл яҙыла. Лагранж үҙ аллы 1755 йылдан фундаменталь һөҙөмтәләр ала һәм вариация төшөнсәһен индерә.
 
== Башҡортостанда фәнни тикшеренеүҙәр ==
Был этапта практик әһәмиәткә эйә булған вариациялы иҫәпләмәнең төп классик һөҙөмтәләренең береһе булып Эйлер — Лагранждың тигеҙләмәләре — дифференциаль тигеҙләмәләр тора.
* Башҡортостанда вариациалы иҫәпләмә . өлкәһендәге тәүге фәнни тикшеренеү булып М. А.''Лаврентьевтың'' квазиконформлы сағылыш теорияһының вариациялы ысулдары буйынса XX быуаттың 40‑сы йылдарында . 1‑се яртыһында (Украина ССР‑ы ФА‑ның Өфөлә эшләү осоронда) башҡарылған ғилми хеҙмәттәре иҫәпләнә. 1960 йылдарҙа . оптималләштереүҙең математика теорияһы һәм уның ҡушымталары менән бәйле вариациалы иҫәпләмә бүлектәре буйынса тикшеренеүҙәр алға китә [[Өфө дәүләт авиация техник университеты|.Өфө дәүләт а''виация техник университеты'']]''нда'' Э. А.''Мухачёва'' етәкелегендә . математик программалаштырыу мәсьәләләре һәм уның сәнәғәттә оптималь бесеү һәм төрөү мәсьәләләренә ҡарата ҡушымталары буйынса тикшеренеүҙәр үткәрелә. ''[[Башҡорт дәүләт университеты]]<nowiki/>нда'' С. Ю.''Рудерман етәкселегендә'' үткәргес торба трассаларын оптималләштереү буйынса эштәр башҡарыла,С. И.''Спивак'' етәкселегендә ҡатмарлы химик-технологик процестарҙы һәм Н. Д.''Морозкин етәкселегендә'' фазалары сикләүле процестарҙы оптималләштереү, В. Т.''Иванов'', һәм Ф. В.''Лубышев етәкселегендә'' оптималь идара итеүҙең матем. теорияһы, С. А.''Щербинин етәселегендә'' электрохимик процестарҙың ҡулай режимдарын иҫәпләп сығарыу буйынса тикшеренеүҙәр үҫеш ала. ''Математика институтында М. Д. Рамаҙанов етәкселегендә'' иҫәпләү алгоритмдарын оптималләштереү теорияһы һәм И. И.''Голичев етәеселегендә'' системаның торошон айырмалы сығарылмалары булған ''дифференциаль тигеҙләмәләр'' аша тасуирлау шарттарында оптималләштереү ысулдары эшләнә.
 
Улар экстремумдың кәрәкле шарты булып тора, ул вариация методтарҙың аналитик нигеҙенә тәшкил итә.. Тиҙҙән, асыҡланыуынса, был тигеҙләмәләрҙең сығарылыштары бөтә осраҡтарҙа ла ысын экстремум бирмәй, һәм экстремумды гарантиялаусы етерлек шарттар табыу мәсьәләһе ҡуйыла.
 
Тәүге тәрән тикшеренеүҙе (икенсе вариацияны) Лежандр яһаған, ләкин Лагранж уның эшендә хата таба. Лежандраның һөҙөмтәләрен Якоби (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>.
 
== Формаль булмаған фекерләшеү ==
Вариациялы иҫәпләмә йөкмәткеһе — функционал осрағында дифференциал һәм сикле үлсәмле векторлы аргументтың ҡабатландыҡ функцияһының дөйөм төшөнсәләре булып тора. Билдәләү өлкәһе булып ниндәйҙер күмәклек йәки функциялар арауығы хеҙмәт иткән функциялар, ә мәғәнәһе матдтәләр йәки комплекслы һандар күмәклегендә ята.
 
 
 
*
 
 
 
.
 
:
 
 
 
:
 
 
 
:
 
 
 
 
: ,
 
 
: ,
 
 
:
 
:
 
:
 
 
:
 
 
:
 
<nowiki>:</nowiki>
 
:
 
 
 
#
 
 
 
 
 
 
:
: ,
 
 
:
 
:
 
:
 
:
 
,
 
 
Б
 
:
 
:
 
 
:
 
 
:
 
:
 
:
 
 
:
:
:
 
:
 
:
 
*
 
 
:
 
=== Башҡортостанда фәнни тикшеренеүҙәр ===
 
* Башҡортостанда вариациалы иҫәпләмә . өлкәһендәге тәүге фәнни тикшеренеү булып М.А.''Лаврентьевтың'' квазиконформлы сағылыш теорияһының вариациялы ысулдары буйынса XX быуаттың 40‑сы йылдарында . 1‑се яртыһында (Украина ССР‑ы ФА‑ның Өфөлә эшләү осоронда) башҡарылған ғилми хеҙмәттәре иҫәпләнә. 1960 йылдарҙа . оптималләштереүҙең математика теорияһы һәм уның ҡушымталары менән бәйле вариациалы иҫәпләмә бүлектәре буйынса тикшеренеүҙәр алға китә [[Өфө дәүләт авиация техник университеты|.Өфө дәүләт а''виация техник университеты'']]''нда'' Э.А.''Мухачёва'' етәкелегендә . математик программалаштырыу мәсьәләләре һәм уның сәнәғәттә оптималь бесеү һәм төрөү мәсьәләләренә ҡарата ҡушымталары буйынса тикшеренеүҙәр үткәрелә. ''[[Башҡорт дәүләт университеты]]<nowiki/>нда'' С.Ю.''Рудерман етәкселегендә'' үткәргес торба трассаларын оптималләштереү буйынса эштәр башҡарыла,С.И.''Спивак'' етәкселегендә ҡатмарлы химик-технологик процестарҙы һәм Н.Д.''Морозкин етәкселегендә'' фазалары сикләүле процестарҙы оптималләштереү, В.Т.''Иванов'', һәм Ф.В.''Лубышев етәкселегендә'' оптималь идара итеүҙең матем. теорияһы, С.А.''Щербинин етәселегендә'' электрохимик процестарҙың ҡулай режимдарын иҫәпләп сығарыу буйынса тикшеренеүҙәр үҫеш ала. ''Математика институтында М.Д.Рамаҙанов етәкселегендә'' иҫәпләү алгоритмдарын оптималләштереү теорияһы һәм И.И.''Голичев етәеселегендә'' системаның торошон айырмалы сығарылмалары булған ''дифференциаль тигеҙләмәләр'' аша тасуирлау шарттарында оптималләштереү ысулдары эшләнә.
*
 
 
:
 
:
 
 
:
 
:
 
:
 
:
 
:
 
:
 
:
 
:
:
:
 
:
 
:
 
:
 
*
 
:
:
:
 
*
 
== Иҫкәрмәләр ==
Юл 211 ⟶ 62:
 
== Әҙәбиәт ==
* ''М. В. Алексеев, В. М. Изд., С. В. Фомин'' Оптималь идара. — М.: Наука, 1979
 
* ''М. В. Алексеев, В. М. Изд., С. В. Фомин'' Оптималь идара. — М.: Наука, 1979
* {{Китап|автор=Афанасьев В. Н., Колмановский В. Б., Носов В. Р.|заглавие=Математическая теория конструирования систем управления|место=М.|издательство=[[Высшая школа (издательство)|Высшая школа]]|год=2003|страниц=614|isbn=5-06-004162-X}}
* ''Б.  А.  Дубровин, Новиков С. П., Т.  А.  Фоменко'' Хәҙерге геометрия: ысулдары һәм ҡушымталары. — М.: Наука, 1979
* ''Зейферт Г., В. Трельфалль'' Дөйөм алғанда, иҫәпләмәгәндә вариационный 2-е изд.,  — М.: РХД, 2000
* ''Л.  М.  Краснов, Г.  И.  Макаренко, А.  И.  Киселевтың'' Вариационный иҫәпләмәгәндә, күнегеүҙәр һәм бурыстары. — М.: Наука, 1973
* {{Мәҡәлә|автор=Петров Ю. П.|заглавие=Из истории вариационного исчисления и теории оптимальных процессов|издание=[[Историко-математические исследования]]|номер=32/33|издательство=[[Наука (издательство)|Наука]]|место=М.|год=1990|страницы=53—73}}
* {{Мәҡәлә|автор=Рыбников К. А.|заглавие=Первые этапы развития вариационного исчисления|издание=[[Историко-математические исследования]]|номер=2|издательство=ГИТТЛ|место=М.-Л.|год=1949|страницы=355—498|ref=Рыбников}}
* {{Китап|автор=Фейнман Р., Лейтон Р., Сэндс М.|заглавие=Фейнмановские лекции по физике. Том 6: Электродинамика. Перевод с английского (издание 3)|издательство=Эдиториал УРСС|isbn=5-354-00704-6}} — 19 башлығы: бәләкәй принцибын ғәмәлгә. (Бик ябай, формаль принцип ғәмәлгә индереп, бәләкәй һәм техника күргәҙмәһе көйҙө миҫал; өлкән уҡыусылары өсөн тәҡдим ителә һәм, мөмкин булһа, кесе курс студенты).
* Л а в р е н т ь е в М. А., Л ю с т е р н и к Л. А.  Курс вариационного исчисления. 2-е изд. М.; Л., 1950;
* ''Т.  А.  Фоменко'' Топология вариационный ысулы. — М.: Наука, 1982
* ''Эльсгольц Л. Э.'' Тигеҙләмәһе дифференциаль иҫәпләмә һәм вариационный. — М.: Наука, 1969.
* М у х а ч ё в а Э. А., Р у б и н ш т е й н Г. С.  Математическое программирование. Новосибирск, 1987.
* ''Л.  С.  Полак'' Механика вариационный принциптары. — М.: Физматлить, С 1959-9321959—932
[[Категория:Математика бүлектәре]]
[[Категория:Математика нигеҙҙәре]]