چکیده ندارد.

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

در این پایان نامه اثبات می کنیم که هر همریختی جبری ناصفر π:c(x) →r ارزیاب شماراست. این مفهوم در اثبات ساده و مستقیم این واقعیت که هر فضای لیندلوف، فشرده حقیقی است به کار می آید.

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

نامساوی انتگرالی گراوس برای اولین بار توسط گراوس بیان شد. مرتبط با این نامساوی کارهای زیادی انجام شده است. ما در این پایان نامه ابتدا یک رونوشت نامساوی بسل را در فضاهای ضرب داخلی ارایه می دهیم و کاربردهای آن را برای نامساویهای نوع گراوس بیان می کنیم.سپس یک رونوشت نامساوی بسل و یک فرمول بندی نامساوی گراوس را در *c -ضرب داخلی بدست می آوریم. همچنین بعضی تعمیم های نامساوی نوع گراوس را در مدول های ض...

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