در این پایان نامه، انواعی از نامساوی استروسکی را برای توابع برداری به دست می آوریم که حالت اسکالر را تعمیم می دهد. همچنین ارتباط بین انتگرال ریمان و انتگرال بوخنر را شرح داده و با استفاده از نامساوی استروسکی، یک کران بالا برای اختلاف انتگرال ریمان و انتگرال بوخنر به دست می آوریم. سپس کاربردهای این نامساوی را برای نامساوی عملگرها و برای حل معادلات دیفرانسیل برداری ناهمگن به همراه مثال های عددی ب...

چکیده مسئله وجود پیشین انسان، یعنی حضور انسان در عوالمی پیش از این عالم، از جمله مسائل کلامی کلیدی در تاریخ عقاید امامیه است که هر گونه موضع مثبت یا منفی در قبال آن، عملاً سمت‌وسوی بخش اعظم دیگر مباحث کلامی را تعیین می‌کند. عالمان امامی در مدارس کلامی متوالی مواضع متفاوت و متضادی را درباره این مسئله برگزیده‌اند و موافق موضع خود و علیه موضع مقابل استدلال کرده‌اند. یکی از مدارس مهم کلامی، مدرسه ر...

در این مقاله، تقطیر بخار و رشد کردن قطره روی دیواره سرد افقی و همچنین افتادن قطره از روی صفحه عمودی شبیه سازی شده است. روش بکار رفته روش بولتزمن شبکه ای و مدل مورد استفاده مدل لی است که در نسبت های چگالی و ویسکوزیته زیاد پایدار است. این روش همراه با حل معادله دما و اضافه کردن یک عبارت چشمه تغییر فاز به معادله اصلی لی، مورد استفاده قرار گرفته است. مدل لی بر فرضیات کان-هیلیارد و فرض تراکم ناپذیری...

در این نوشتار، تشریح و مقایسه ی عملکرد دو روش انتگرال گیری روش های ضمنی، یعنی روش c p p m )نزدیک ترین نقطه ی تصویرشده( و روش c p m )صفحات کاهشی(، مورد واکاوی قرار گرفته است. به منظور عددی سازی، مدل خمیری منظری ـ دافالیاس )۱۹۹۷−۲۰۰۴( به کار گرفته شده است. بر اساس نتایج این پژوهش، روش c p p m از پایداری قدرتمندی برای انتگرال گیری روابط مورد نظر در شرایط تغییرشکل های بزرگ و به طور خاص، پدیده ی روا...

در مقاله حاضر از روش بهبود یافته انتگرال دیفرانسیلی برای تحلیل ارتعاشات آزاد یک صفحه­ قطاعی شکل با رفتار ارتوتروپیک قطبی بر روی بستر الاستیک دو پارامتری استفاده شده است. جزئیات و فرمول بندی این روش عددی ارائه شده و با استفاده از آن مقادیر دقیقی از فرکانس های طبیعی برای محدوده وسیعی از دو پارامتر بستر الاستیک با هم مقایسه شده است. از مزیتهای روش بهبود یافته انتگرال دیفرانسیلی می توان به عدم استف...

حدود یک قرن پیش سوفیس لی از گروههای پیوسته برای توسعه تئوری تبدیل ها بصورت سیستماتیک جهت حل odeها به روش جداسازی متغیرها استفاده کرد. اگرچه این تئوری روش قدیمی می باشد. اما هیچ مرجع پایه ای برای کاربرد مهندسان وجود ندارد. در پایان نامه حاضر با ارائه یک روش بسیار ساده سعی در حل odeها مرتبه اول و دوم غیرخطی با استفاده از تئوری لی شده است . این روش چنانکه بیان شد براساس جداسازی متغیرهای استوار است...

در این رساله به مطالعه اشتقاق های لی روی جبرهای عملگری و جبرهای مثلثی می پردازیم. شرایطی را بررسی می کنیم که تحت آن یک اشتقاق لی روی این جبرها به شکل استاندارد ظاهر شود به عبارت دیگر، بتوان آن را به صورت مجموع یک اشتقاق جمعی و یک نگاشت مرکز مقدار که جابجاگرها را به صفر می نگارد تجزیه کرد.

lفرض می کنیم l یک جبر لی موضعاً متناهی روی میدان f با مشخصه صفر و بصورت حد مستقیم جبرهی لی ساده با بعد متناهی باشد.

نظریه انتگرال ریمان در عین سادگی و زیبایی، کاستی هایی نیز دارد. نظریه انتگرال لبگ، پیشرفت قابل توجهی نسبت به نظریه ریمان به حساب می آید و بسیاری از کاستی های آن را رفع می کند و در عین حال برخی از همان کاستی ها را دارد. مثلا شرط انتگرال پذیری همچنان در قضیه اساسی حسابان باید اضافه گردد. در جهت رفع این مشکل و بدست آوردن نظریه ای به قدرت نظریه لبگ با پرداخت هزینه ای کمتر، ریاضیدانان بسیاری نظریه ه...

چکیده ندارد.