قضیه ولترا برای توابع حقیقی و حقیقی-مقدار در سال 1881 بیان شد. سپس "گلد" و "رادولسکو" قضیه ولترا را برای فضاهای متریک تعمیم دادند. با تعمیم قضیه ولترا برای توابع حقیقی-مقدار روی فضاهای بئر توسط "پتروفسکی" ایده تعریف فضاهای ولترا به وجود آمد و سرانجام گلد و پتروفسکی فضاهای ولترا و ولترای ضعیف را معرفی کردند. بنا به تعریف می توان گفت هر فضای بئر ولتراست. در این پایان نامه خواص این فضاها و مثالهای...

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

در این پایان‎‎نامه، روش تریفتز برای حل مسائل مقدار مرزی بیضوی و بطور خاص برای معادلات لاپلاس و پواسن بیان و مورد بررسی قرار می گیرد. این روش بر پایه استفاده از نوعی توابع بنا شده است که برای اولین بار توسط تریفتز در سال ‎1926‎ مطرح گردید. این توابع که t-تام نامیده می شوند به گونه ای می باشند که اگر عملگر لاپلاس بر آنها اثر کند، حاصل برابر صفر خواهد بود.در ادامه، روش تریفتز برای حل انواع معادلات...

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

در این رساله حل عددی مسائل کنترل بهینه بر اساس توابع هایبرید ارائه می شود. مسائل کنترل بهینه مطرح شده مسائلی با قیود معادله دیفرانسیل خطی ، معادله انتگرال دیفرانسیل خطی ولترا و همچنین معادله دیفرانسیل خطی با محدودیت نامساوی می باشند. ‎ ایده اصلی در این رساله‏‏، استفاده از توابع هایبرید با استفاده از توابع بلاک پالس کلی می باشد. بدین منظور، نخست به معرفی پایه های لژاندر و بلاک پالس کلی‎ و هایبر...

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

در بهینه سازی توپولوژیکی، یافتن بهترین ساختار ممکن برای ‎‎بدنه ای با ناحیه ای دارای ویژگی ها و محدودیت های مشخص، هدف مطلوب محسوب می شود. در این مسئله نه تنها اندازه، شکل و ‎‎اتصال فیزیکی ساختار مشخص نیست بلکه توپولوژی، شکل و اندازه ی ساختار ‎‎به صورت توابع پارامتریک استاندارد ‎‎نیز در دسترس نمی باشد و ساختار با مجموعه ای از توابع توزیع تعریف شده در ناحیه ی طراحی، ‎‎مشخص می شود. در این ‎‎رساله‎‎...

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

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

در این پایان نامه هدف بررسی محاسبات کسری و تکنیک تبدیلات فازی است. در مرحله اول معادله دیفرانسیل کسری فازی را بررسی خواهیم کرد و وجود و منحصر به فردی جواب برای یک کلاس از معادلات دیفرانسیل کسری با شرط اولیه فازی را مورد مطالعه قرار می دهیم. در مرحله دوم سه نوع تبدیل فازی و معکوس این تبدیلات را معرفی خواهیم کرد و ویژگی های تقریب توسط معکوس تبدیل فازی را شرح می دهیم. هر سه نوع تبدیل فازی, ت...