نام پژوهشگر: قاسم رضوی
قاسم رضوی مرتضی گچ پزان
در سالیان اخیر کار زیادی روی حل دستگاه های معادلات خطی بزرگ به فرم نقطه ی زینی انجام شده که علت این علاقه ,این واقعیت است که انواع گسترده ای از مسائل علوم کاربردی و مهندسی منجر به این نوع دستگاهها می شوند.به عنوان مثال روش عناصر متناهی برای حل معادلات ناویر استوکس , بهینه سازی مقید ,درونیابی داده های پراکنده و کمترین مربعا ت مقید شده از جمله ی این موارد هستند. روش های مستقیم برای مسائل با اندازه بزرگ کارایی خوبی ندارند هرچند نسبت به روش های زیر فضای کریلف حافظه ی کمتری را اشغال می کنند ولی کارایی روش های زیر فضای کریلف بیشتر است. متاسفانه روش های زیر فضای کریلف برای مسائل نقطه ی زینی کارایی کمی دارند و این سبب می شود با ارائه ی پیش شرط سازهای مناسب به افزایش سرعت همگرایی و درنتیجه کارایی روش کمک کنیم . در این پژوهش نخست به معرفی معادلات ناویر استوکس می پردازیم و آنگاه دستگاه ها ی حاصل از گسسته سازی این معادلات (مسائل نقطه ی زینی) بررسی می کنیم. سپس به معرفی روش های زیر فضای کریلف وپیش شرط سازی ان پرداخته و پیش شرط هایی که برای این نوع مسائل ارائه شده است مدنظر قرار می دهیم در انتها به مقایسه نتایج عددی روش های ارائه شده روی دستگاه حاصل از گسسته سازی معادلات ناویر استوکس خطی شده می پردازیم.