ﯽﻤﺗا بﺬﺟ هﺎﮕﺘﺳد ﻪﻧﻮﻤﻧ یزﺎﺳ هدﺎﻣآ · issn: 2476-6623 | نﺎﻣﻮﺗ ۱۳۵۰۰ |۱۳۹۶ هﺎـﻣ ﻦﯾدروﺮﻓ | ﻢﻫدرﺎﻬﭼ
ﯽﻄﺧ يﺮﺒﺟ تﻻدﺎﻌﻣ هﺎﮕﺘﺳد ﻞﺣwp.kntu.ac.ir/mojra/Algebric...
Transcript of ﯽﻄﺧ يﺮﺒﺟ تﻻدﺎﻌﻣ هﺎﮕﺘﺳد ﻞﺣwp.kntu.ac.ir/mojra/Algebric...
*
جبري خطیمعادالتحل دستگاه
خطیجبربرايمقدمه•:زیربصورتاستدستگاهیمجهولnبامعادلهnخطیدستگاهیک•
•
+ +⋯+ =+ +⋯+ =⋮+ +⋯+ = ;• = ( ) × , = , … , , = ,… , → =
•Aضرایب،ماتریسXومجهوالتبردارBداردنامدومطرفبردار..گویندغیرهمگنغیراینصورتدروباشدمیهمگنخطیدستگاهآنگاهB=0اگر•میX=A-1Bیکتايجوابدارايدستگاهآنگاهباشد،پذیرمعکوسAماتریساگر•
.استX=0نیزهمگنحالتدروباشد
Session8: Numerical Analysis Dr. Afsaneh Mojra
1/30
جبري خطیمعادالتحل دستگاه :اینکهبهتوجهبا•
– = ( ) = & = −–AijسطرکردنحذفازحاصلدترمینانiستونوامiماتریسامAباشدمی.
• = → = −−• = →• = + − +− + −+ − +
Session8: Numerical Analysis Dr. Afsaneh Mojra
2/30
جبري خطیمعادالتحل دستگاه
نامکرامرروشباشد،میماتریسمعکوسمحاسبهبرمبتنیکهروشاین•.دارد
:کنیدحلماتریسمعکوسروشازاستفادهبارازیرخطیدستگاه:مثال•
•+ =+ =
:حل•
• = , = , , = ≠• , = = [ . , . ]
Session8: Numerical Analysis Dr. Afsaneh Mojra
3/30
جبري خطیمعادالتحل دستگاه
اجراقابلسادگیبهباالابعادباهايدستگاهبرايمعکوسماتریسروش•نیازضربعمل!nبهnxnماتریسیکدترمینانمحاسبهبراي.باشدنمی
رخداداحتمالافزایشوباالزمانصرفباعثمحاسباتبااليحجم.داریم.گرددمیخطا
بسیاررامحاسباتحجمکهکنیممیمعرفیراروشهاییبخشایندر•بادستگاهیکبهتبدیلراخطیمعادالتدستگاهودهندمیکاهش
حلبرايونمایدمیقطريیاومثلثیپایینمثلثی،باالضرایبماتریس.باشندمیمناسبباالابعادبادستگاه
Session8: Numerical Analysis Dr. Afsaneh Mojra
روش هاي مستقیمروش هاي مستقیم
4/30
جبري خطیمعادالتحل دستگاه
:سطريعملیاتمعرفی•ماتریسیکدردلخواهسطردوجابجایی•
• ↔ثابتمقداریکدرسطریکضرب•
• →دیگرسطردرمتناظرمقادیربهسطریکازمضربینمودناضافه•
• → +
Session8: Numerical Analysis Dr. Afsaneh Mojra
اعمال عملیات سطري مقدماتی، در جواب دستگاه معادالت .خطی تغییري ایجاد نمی نماید
اعمال عملیات سطري مقدماتی، در جواب دستگاه معادالت .خطی تغییري ایجاد نمی نماید
5/30
جبري خطیمعادالتحل دستگاه
.باشدمییکتاجوابدارايAX=Bخطیمعادالتدستگاهکنیمفرض•استفادهبااگرگوییممعادالتدستگاهاینافزودهماتریسرا[A:B]ماتریس
مثلثی،باالماتریسیکبهتتبدیلراAماتریسمقدماتیسطرياعمالاز.نماییمقطريیاومثلثیپایین
• : = … . .… . . ⋮⋮⋮ ⋱ ⋮ ⋮… . . ⋮ →Session8: Numerical Analysis Dr. Afsaneh Mojra
روش حذفی گاوس و گاوس جردنروش حذفی گاوس و گاوس جردن
6/30
جبري خطیمعادالتحل دستگاه :مثلثیباالماتریس•
• : = ′ … . .… . . ′ ⋮ ′′ ⋮ ′⋮ ⋱ ⋮ ⋮ ⋮… . . ⋮ ′»0«بابرابراصلیقطرپایینعناصرکلیه،»1«بابرابراصلیقطررويعناصرکلیه•:بهگرددمیتبدیلAX=Bخطیمعادالتدستگاهاینصورتدر•
•
+ ′ + ′ + ⋯+ = ′+ ′ + ⋯+ = ′+⋯+ = ′⋮ + = ′= ′Session8: Numerical Analysis Dr. Afsaneh Mojra
7/30
جبري خطیمعادالتحل دستگاه
:باشدمیزیربصورتخطیدستگاهجواببنابراین•
•
= ′= ′ − ′ ′⋮= ′ − − −⋯−− ′.شودمیگفتهگاوسپسروحذفیروشروش،اینبه•حذفیروشاستفادهموردروششود،مثلثیپایینماتریسیکبهتبدیلAماتریساگر•
.بودخواهدگاوسپیشرو
Session8: Numerical Analysis Dr. Afsaneh Mojra
8/30
جبري خطیمعادالتحل دستگاه
بدسترازیرخطیدستگاهجوابگاوسپیشروحذفیروشازاستفادهبا:مثال•:آورید
•+ − =− − =+ − = −
Session8: Numerical Analysis Dr. Afsaneh Mojra
9/30
جبري خطیمعادالتحل دستگاه
:داشتخواهیمبنابراین•• = ; = + = , = + − =
Session8: Numerical Analysis Dr. Afsaneh Mojra
10/30
جبري خطیمعادالتحل دستگاه
LUبصورترا)Aماتریس(خطیدستگاهضرایبماتریسروشایندر•باالماتریسیکUومثلثیپایینماتریسیکLآندرکهکنیممیتجزیه:داشتخواهیماینصورتدر.استمثلثی
• = → =:داشتخواهیمUX=Yفرضبا•
• =استمثلثیپایینماتریسیکLY=Bخطیدستگاهضرایبکهشودمیمشاهده•
ازسپس.آوریممیبدستراYگاوسپیشروحذفیروشازاستفادهبانتیجهدرUX=YگاوسپسروحذفیروشازاستفادهباوXآوریممیبدسترا.
Session8: Numerical Analysis Dr. Afsaneh Mojra
LUروش تجزیه LU decomposition (factorization)
LUروش تجزیه LU decomposition (factorization)
11/30
جبري خطیمعادالتحل دستگاه مثلثی؟پایینوباالماتریسدوبهضرایبماتریستجزیهنحوه:نکته•
:داشتخواهیمکنیم،استفادهماتریسهاضربازچنانچه•
•
==⋮+ + =نمیواحدجوابدارايدستگاهاینبنابراین.داشتخواهیممجهول12ومعادله9•
.باشد
Session8: Numerical Analysis Dr. Afsaneh Mojra
12/30
جبري خطیمعادالتحل دستگاه قرارواحدمقداربرابرراUیاوLماتریسدوازیکیاصلیقطررويعناصر:حلراه•
:دهیمروشراروشباشد،یکاصلیقطرعناصربامثلثیپایینماتریسیکLاگر•
Doolittle).گوینددولیتل algorithm)کروتروشراروشباشد،یکاصلیقطرعناصربامثلثیباالماتریسیکUاگر•
Crout).گویند algorithm)A=LیعنیU=LTاگر• LTگویندچولسکیراروشدراینصورت.(Cholesky
decomposition)
Session8: Numerical Analysis Dr. Afsaneh Mojra
13/30
جبري خطیمعادالتحل دستگاه
:آوریدبدسترازیرخطیدستگاهجوابکروتروشازاستفادهبا:مثال•
•+ + =+ − =+ + =
یکUآندرکهکنیممیتجزیهLUبصورتراAماتریسروشایندر:حل•:استیکاصلیقطرعناصربامثلثیباالماتریس
Session8: Numerical Analysis Dr. Afsaneh Mojra
14/30
جبري خطیمعادالتحل دستگاه
• = , = , =• = , = , =• = − , = , = −
:داریمبنابراین•• = →
:آوریممیبدستگاوسپسروحذفیروشازاستفادهبا•• = − ; = − , =
:کنیممیحلراUX=Yدستگاهاکنون•
Session8: Numerical Analysis Dr. Afsaneh Mojra
15/30
جبري خطیمعادالتحل دستگاه
:آوریممیبدستگاوسپسروحذفیروشازاستفادهبا•• = − ; = , =
اینبیانبراي.استپذیرامکانخاصیشرایطتحتچولسکیتجزیه•:کنیممیتعریفابتداشرایط،
Session8: Numerical Analysis Dr. Afsaneh Mojra
16/30
جبري خطیمعادالتحل دستگاه
Xهربازايهرگاهگوییم،معینمثبتماتریسیکراA=(aij)nxnماتریس•:باشیمداشتهصفرمخالف
• >.استمعینمثبتماتریسیکزیرماتریسدهیدنشان:مثال•
•:حل•
• = ≠Session8: Numerical Analysis Dr. Afsaneh Mojra
ماتریس مثبت معینPositive definite matrix
(symmetric)
ماتریس مثبت معینPositive definite matrix
(symmetric)
17/30
جبري خطیمعادالتحل دستگاه
• = = + + + =+ + = + + >.استمعینمثبتماتریسیکAماتریسپس•
:اینستکهAماتریسبودنمعنمثبتبرايکافیشرط•.باشند(مثبت)صفرازبزرگتراصلیقطررويعناصرتمامی•.باشندسطرهردرمقداربزرگتریناصلیقطررويعناصر•:هربراي•
• ∀ ≠ : + > | |.باشدصفرازبزرگترAدترمینان•
Session8: Numerical Analysis Dr. Afsaneh Mojra
18/30
جبري خطیمعادالتحل دستگاه است؟معینمثبتماتریسیکAماتریسآیا:مثال•
• = 11 2 32 15 123 12 18.باشندمیصفرازبزرگتراصلیقطررويعناصرتمامی•.باشندمیسطرهردرمقداربزرگتریناصلیقطررويعناصر•:هربراي•
• ∀ ≠ : + > | |• = >
.استمعینمثبتماتریسیکAماتریسپس•توانمیچولسکیتجزیهروشدرباشد،متقارنومعینمثبتماتریسیکAاگر•
:نوشت• A=L LT
Session8: Numerical Analysis Dr. Afsaneh Mojra
19/30
جبري خطیمعادالتحل دستگاه
.آوریدبدستچولسکیروشازاستفادهبارازیردستگاهجواب:مثال•
•+ + =+ + =+ + =
توانمیپس.استمعینمثبتمتقارنماتریسیکدستگاهضرایبماتریس:حل•:نمودتجزیهزیرصورتبهراAضرایبماتریس
• A=L LT
• =
.باشندمیماتریسهايدرایهآندرونعناصرواستماتریسنشاندهنده||عالمت•
Session8: Numerical Analysis Dr. Afsaneh Mojra
l11 0 0l21 l22 0l31 l32 l33
l11 l21 l310 l22 l320 0 l33
1 4 54 20 325 32 64
20/30
جبري خطیمعادالتحل دستگاه
:آیدمیبدستزیرصورتبهLماتریس•
• = → = [ ]• = → = [ ]
Session8: Numerical Analysis Dr. Afsaneh Mojra
1 0 04 2 05 6 3
21/30
جبري خطیمعادالتحل دستگاه
پیچیدگیازدترمینانمقدارمحاسبه3ازباالترابعادباماتریسهايبراي•ماتریسآوردنبدستدردترمینانمحاسبهبهنیاز.استبرخوردارزیادي
استفادهبابخشایندر.داردزیادياهمیتآنبهوابستهمسائلومعکوس.پرداختخواهیمماتریسیکدترمینانمحاسبهبهLUتجزیهروشاز
:داشتخواهیم،A=LUآنجاییکهاز•• = = ( )
Session8: Numerical Analysis Dr. Afsaneh Mojra
LUمحاسبه دترمینان در روش تجزیه Computing Determinant in LU decomposition
LUمحاسبه دترمینان در روش تجزیه Computing Determinant in LU decomposition
22/30
جبري خطیمعادالتحل دستگاه جداگانهLUتجزیهروشسهازیکهردررادترمینانمحاسبهادامهدر•
:دادخواهیمقراربررسیمورد:دولیتلروش•
• = = ∏ = …• = −
:کروتروش•• = = ∏ = …• = −
Session8: Numerical Analysis Dr. Afsaneh Mojra
23/30
جبري خطیمعادالتحل دستگاه
:چولسکیروش•• = , = → =• = ( )
.نماییدمحاسبهراضرایبماتریسدترمینانمقدارقبلمثالدر:مثال•:حل•:باشدمیزیربصورتLماتریسشد،محاسبهکههمانطور•
• = − = → = =Session8: Numerical Analysis Dr. Afsaneh Mojra
1 0 04 2 05 6 3
24/30
حل دستگاه معادالت جبري غیر خطی
بررسیموردراغیرخطیمعادالتدستگاهحلبرايروشیکبخشایندر•تعمیمروشاین.داردنام)سادهتکرار(ثابتنقطهروشکهدهیممیقرار
.باشدمیمعادلهریشهیافتنبرايثابتنقطهروش
:بگیریدنظردررازیرمجهولnمعادلهnغیرخطیدستگاه•• , , … , =• , , … , =• ⋮• , , … , =
Session8: Numerical Analysis Dr. Afsaneh Mojra
25/30
غیر خطیحل دستگاه معادالت جبري
.آوردبدستمجهوالتسایرحسببرراxiبایدامiمعادلهدرثابتنقطهروشدر•• = , , … ,• = , , … ,• ⋮• = , , … ,
باشد،دستگاهاینجوابازاولیهتقریبیکXاگر•• = , … ,
:تکراريدنبالهدراینصورت•• ( ) = = , , , …
حالتمشابههمگراییشرایط.باشدمیغیرخطیمعادلهدستگاهجواببههمگرا•.گرفتقراربحثموردقبالًکهاستبعديیک
Session8: Numerical Analysis Dr. Afsaneh Mojra
26/30
غیر خطیحل دستگاه معادالت جبري
برآوردصورتیبهزیراولیهتقریبباسادهتکرارروشبارازیردستگاهجواب:مثال•:باشدبرقرارزیرشرطکهکنید
• = . , . , − . , ( ) − ( ) <•
− ( ) − =− + . + + . =+ + =:مجهوالتسایرحسببرامiمعادلهدرxiبازنویسی:حل•
Session8: Numerical Analysis Dr. Afsaneh Mojra
27/30
غیر خطیحل دستگاه معادالت جبري
•
= ( ) += + + . − .= − ( + ):آیددرمیزیربصورتثابتنقطهدنبالهبنابراین•
•
( ) = ( ( ) ( )) +( ) = + ( ) + . − .( ) = − ( ( ) ( ) + ):استشدهآوردهجدولدرk=1,2,..,5بازاينتایج•
Session8: Numerical Analysis Dr. Afsaneh Mojra
28/30
غیر خطیحل دستگاه معادالت جبري
:استزیربصورتدستگاهجوابتقریببنابراین•• ≅ ( )
Session8: Numerical Analysis Dr. Afsaneh Mojra
k X1(k) X1(k) X1(k) X1(k)-X1(k-1)
0 0.10000000 0.10000000 -0.10000000 -1 0.4999833 0.0944115 -0.523110127 0.4232 0.4999593 0.0002557 -0.52336331 9.4*10-3
3 0.50000000 0.00001234 -0.52359814 2.3*10-4
4 0.50000000 0.00000003 -0.52359847 1.2*10-5
5 0.50000000 0.00000002 -0.52359877 3.1*10-7
29/30
غیر خطیحل دستگاه معادالت جبري
:بااستبرابردستگاهواقعیجواب•
• = . , , −:خطا•
• − ( ) ≤ ×.باشدمیدستگاهجواببرايخوبیتقریبپنجممرحلهجواب•
Session8: Numerical Analysis Dr. Afsaneh Mojra
30/30