Усули Лагранж дар ҳисоб
Усули Лагранж як усули муҳим дар ҳисобкунӣ мебошад, ки барои ҳалли масъалаҳои оптимизатсия ба таври васеъ истифода мешавад, хусусан вақте ки функсия бояд дар шароити муайян (маҳдудиятҳо) ба ҳадди аксар расонида ё кам карда шавад. Дар ҳаёти воқеӣ, масъалаҳо ба монанди ба ҳадди аксар расонидани фоида бо сармояи маҳдуд, ба ҳадди ақал расонидани хароҷоти истеҳсолӣ бо захираҳои маҳдуд ё муайян кардани самараноктарин тарҳ бо шароити муайян аксар вақт метавонанд бо истифода аз оптимизатсияи маҳдуд моделсозӣ карда шаванд. Дар ин ҷо усули Лагранж, ки бо номи усули зарбкунандаи Лагранж низ маълум аст, нақши марказӣ мебозад.
Мафҳумҳои асосии оптимизатсия
Дар ҳисобҳои ибтидоӣ, оптимизатсияи бемаҳдуд бо роҳи ёфтани нуқтаҳои интиқодии функсияи \(f(x) \) тавассути ҳосилаи аввали он анҷом дода мешавад: мо \(f'(x)=0 \)-ро меёбем ва сипас месанҷем, ки оё ин нуқта ҳадди аксар ё ҳадди ақалро медиҳад. Аммо, бисёр масъалаҳо он қадар содда нестанд. Масалан, мо мехоҳем функсияи \(f(x,y) \)-ро ба ҳадди аксар расонем, аммо арзишҳои \(x \) ва \(y \) бояд шартеро қонеъ кунанд, ба монанди \(g(x,y)=0 \). Ин шарт фазои ҳалли онро маҳдуд мекунад, аз ин рӯ мо наметавонем \(x \) ва \(y \)-ро бо хоҳиши худ интихоб кунем.
Усули Лагранж роҳи систематикии ёфтани нуқтаи оптималиро дар фазое, ки бо ин маҳдудиятҳо маҳдуд аст, пешниҳод мекунад. Фаҳмиши ин усул бо геометрия алоқаманд аст: дар нуқтаи оптималӣ таҳти маҳдудияти \(g(x,y)=0 \), самти тағйироти бузургтарини функсияи \(f \) бояд ба самти тағйироти бузургтарини маҳдудияти \(g \) "параллел" бошад. Самти тағйироти бузургтарини функсияи бисёрченак бо градиент, яъне \( \nabla f \) ва \( \nabla g \) дода мешавад. Аз ин рӯ, дар нуқтаи оптималӣ, робита чунин аст:
\[
\nabla f(x,y) = \lambda \nabla g(x,y)
\]
ки дар он \( \lambda \) як доимӣ аст, ки онро зарбкунандаи Лагранж меноманд.
Фаҳмидани зарбҳои Лагранж
Зарбкунандаи Лагранж, \( \lambda \), метавонад ҳамчун омили миқёспазирӣ фаҳмида шавад, ки градиенти функсияи мақсаднок ва градиенти маҳдудиятҳоро алоқаманд мекунад. Дар амал, \( \lambda \) ба мо кӯмак мекунад, ки функсияи мақсаднок ва маҳдудиятҳоро ба шакле "якҷоя" кунем, ки таҳлили он осонтар аст.
Барои ҳалли масъалаи оптимизатсияи маҳдуд бо як маҳдудият, мо функсияи наверо бо номи функсияи Лагранжӣ месозем:
\[
\маткал{L}(x,y,\lambda) = f(x,y) - \lambda (g(x,y))
\]
Аломати минус танҳо як қоида аст; баъзан вобаста ба афзалият аломати плюс истифода мешавад. Идеяи асосӣ дар он аст, ки мо нуқтаҳои статсионарии \( \mathcal{L} \)-ро бо роҳи дифференсиализатсия нисбат ба ҳамаи тағйирёбандаҳо (аз ҷумла \( \lambda \)) ва баробар кардани он ба сифр меёбем:
\[
\frac{\partial \mathcal{L}}{\partial x} = 0,\quad \frac{\partial \mathcal{L}}{\partial y} = 0,\quad \frac{\partial \mathcal{L}}{\partial \lambda} = 0
\]
Муодилаи ниҳоӣ, \( \frac{\partial \mathcal{L}}{\partial \lambda} = 0 \), маҳдудияти \( g(x,y)=0 \)-ро барқарор мекунад, то системаи муодилаҳои ҳосилшуда то ҳол маҳдудиятҳои масъаларо риоя кунад.
Қадамҳои усули Лагранж
Хулоса, тартиби усули Лагранжро метавон чунин ҷамъбаст кард:
1. Функсияи оптимизатсияшавандаро муайян кунед, масалан, \(f(x,y) \).
2. Маҳдудиятҳоро дар шакли \(g(x,y)=0 \) муайян кунед.
3. Функсияи Лагранжиро ташкил диҳед \( \mathcal{L}(x,y,\lambda)=f(x,y)-\lambda g(x,y) \).
4. Ҳосилаҳои қисман \( \mathcal{L} \)-ро нисбат ба \( x \), \( y \) ва \( \lambda \) ҳисоб кунед.
5. Системаи муодилаҳоеро, ки ҳосилаҳои қисманашон ба сифр баробар аст, ҳал кунед.
6. Дар ҳолати зарурӣ, роҳҳои ҳалли номзадҳоро санҷед, то муайян кунед, ки оё онҳо ҳадди аксар ё ҳадди ақалро ба вуҷуд меоранд.
Ин усулро метавон ба зиёда аз як маҳдудият васеъ кард. Агар ду маҳдудият вуҷуд дошта бошад, масалан, \(g(x,y,z)=0 \) ва \(h(x,y,z)=0 \), пас Лагранж чунин мешавад:
\[
\маткал{L}(x,y,z,\lambda,\mu)=f(x,y,z) - \lambda g(x,y,z) - \mu h(x,y,z)
\]
Дар ин ҷо зарбкунандаи иловагӣ пайдо мешавад, яъне \( \mu \).
Мисоли оддӣ
Фарз мекунем, ки мо мехоҳем функсияро ба ҳадди аксар расонем:
\[
f(x,y)=xy
\]
бо маҳдудиятҳо:
\[
x+y=10
\]
ё дар шакли \(g(x,y)=x+y-10=0 \).
Шакли Лагранжӣ:
\[
\маткал{L}(x,y,\lambda)=xy-\lambda(x+y-10)
\]
Ҳосилаҳои қисман:
\[
$\frac{\partial \mathcal{L}}{\partial x}=y-\lambda=0 $$
\]
\[
\frac{\partial \mathcal{L}}{\partial y}=x-\lambda=0
\]
\[
$\frac{\partial \mathcal{L}}{\partial \lambda}=-(x+y-10)=0 $$
\]
Аз ду муодилаи аввал, мо \(y=\lambda \) ва \(x=\lambda \)-ро ба даст меорем, то ки \(x=y \). Ҷойгир кардани \(x+y=10 \) ба маҳдудияти \(2x=10 \Rightarrow x=5 \) ба даст меояд. Аз ин рӯ, \(y=5 \).
Пас, арзиши максималии \(xy \) таҳти маҳдудияти \(x+y=10 \) дар \(x=5 \) ва \(y=5 \) бо арзиши максималии \(f(5,5)=25 \) ба амал меояд. Ин натиҷа инчунин бо интуисия мувофиқ аст: барои маблағи муқарраршуда, зарби ду адади мусбат вақте ки онҳо баробаранд, ҳадди аксар аст.
Маънои геометрии усули Лагранж
Аз нигоҳи геометрӣ, маҳдудияти \(g(x,y)=0 \) дар ҳамворӣ каҷхаттаеро ташкил медиҳад. Мо оптималиро дар тамоми ҳамворӣ не, балки танҳо дар баробари каҷхатта меҷӯем. Дар нуқтаи оптималӣ, каҷхати сатҳӣ \(f(x,y)=k \), ки ба каҷхати маҳдудият тангенс аст, нишон медиҳад, ки градиентҳои онҳо мувозӣ мебошанд. Ин тангенсӣ ба муодилаи \(\nabla f=\lambda \nabla g \) табдил дода мешавад.
Ин маъно барои шарҳ додани он ки чаро усули Лагранж кор мекунад, кӯмак мекунад: агар градиенти \(f\) ба градиенти маҳдудият мувозӣ набошад, пас дар каҷи маҳдудият самтҳое мавҷуданд, ки дар онҳо арзиши \(f\) метавонад афзоиш ё кам шавад. Нуқтаи оптималӣ маҳз вақте рух медиҳад, ки самти "босуръаттарин"-ро дигар бидуни вайрон кардани маҳдудият гирифтан мумкин нест.
Барномаҳо дар соҳаҳои гуногун
Гарчанде ки усулҳои Лагранжӣ реша дар ҳисоб доранд, онҳо дар фанҳои гуногун васеъ истифода мешаванд. Дар иқтисодиёт, онҳо дар назарияи фоиданокӣ ва беҳсозии истеҳсолот истифода мешаванд. Дар физика, мафҳуми Лагранжӣ бо механикаи таҳлилӣ робитаҳои таърихӣ ва математикӣ дорад. Дар муҳандисӣ ва илми компютерӣ, онҳо асоси бисёр алгоритмҳои беҳсозӣ, аз ҷумла беҳсозии барҷаста ва усулҳои рақамӣ дар омӯзиши мошинӣ мебошанд.
Илова бар ин, зарбкунандаҳои Лагранж аксар вақт тафсирҳои амалӣ доранд. Дар баъзе мавридҳои иқтисодӣ, масалан, \( \lambda \) метавонад "нархи сояи" маҳдудиятро нишон диҳад: арзиши оптималӣ чӣ қадар тағйир меёбад, агар маҳдудият каме суст карда шавад.
Маҳдудиятҳо ва қайдҳои муҳим
Усули Лагранж ҳалли номзадҳоро пешниҳод мекунад, аммо он ҳатман кафолат намедиҳад, ки онҳо максимум ё минимумҳои глобалӣ бошанд. Баъзан, якчанд нуқтаҳои статсионарӣ барои муқоиса мавҷуданд. Ғайр аз ин, ин усул фарзияро талаб мекунад, ки градиенти маҳдудият дар нуқтаи ҳалли масъала ғайрисифр аст; агар \( \nabla g = 0 \), вазъият мураккабтар мешавад ва ба коркарди махсус ниёз дорад.
Дар амал, пас аз ёфтани номзад, мо аксар вақт бояд шартҳои иловагиро тафтиш кунем, ба монанди истифодаи санҷиши дуюми ҳосилавӣ ё муқоисаи арзишҳои функсия дар номзад ва сарҳадҳои имконпазири домен.
Penutup
Усули Лагранж дар ҳисобкунӣ як воситаи пуриқтидор барои ҳалли масъалаҳои оптимизатсияи маҳдуд аст. Бо ворид кардани зарбкунанда \( \lambda \), ин усул масъалаи дар аввал душворро - аз сабаби маҳдудиятҳо - ба системаи сохтории муодилаҳои ҳосилавии қисман табдил медиҳад. Фаҳмидани ин усул на танҳо дар математикаи холис муфид аст, балки дар иқтисодиёт, физика, муҳандисӣ ва бисёр соҳаҳои дигаре, ки ба оптимизатсия такя мекунанд, низ хеле муҳим аст.
Бо азхуд кардани усули Лагранж, мо қобилияти моделсозӣ ва ҳалли масъалаҳои воқеии ҷаҳони воқеиро ба таври математикӣ ва самараноктар ба даст меорем - маҳорате, ки асоси муҳим дар ҳисобкунии бисёрченакаи муосир ва оптимизатсия мебошад.
