در این مقاله؛ ما یک نتیجه در باب وجود جواب یک نابرابری تغییراتی برداری قوی گسترش یافته به دست می آوریم و از آن یک قضیه نقطه تطابق در یک فضای هیلبرت نتیجه می گیریم.

از آنجا که روش­های نیمه­لاگرانژی محدودیت پایداری به‌شرط کورانت-فردریکس-لوی (CFL) ندارند، به­صورت وسیعی در مدل­های گردش کلی به­کار برده می­شوند. در غالب صورت­های روش نیمه­لاگرانژی، برای محاسبه کمیت حل­شونده (مانند سرعت باد، رطوبت، دما و جرم) درون‌یابی در فاصله بین نقاط شبکه ای لازم است. از مشکلات مواجه در کاربرد روش نیمه­لاگرانژی تولید نوسان اضافی در مناطق با گرادیان شدید است. دو رویکرد برای حذف...

مطالعات مربوط به چندجمله ای های متعامد از اواخر قرن نوزدهم میلادی آغاز گردید. توابع متعامد گویا‏، اولین بار در اواخر دهه‎1960‎ ‎ توسط ریاضیدان ارمنی‏، دیرباشیان ‎ltrfootnote{‎dj‎rbashian‎‎}‎ ‎به کار برده شد. مقالات وی به زبان روسی انتشار یافت و پس از مدتی به انگلیسی ترجمه شد و در اختیار علاقه مندان قرار گرفت‎‎‎‎.‎‎ ‎یک مطالعه سیستماتیک از توابع متعامد گویا که به چندجمله ای های سگو‎ltrfootnote{...

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

چکیده ندارد.

چکیده ندارد.

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

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

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

مدل سازی ربات های پیوسته، با دو چالش دقت و زمان محاسبات روبرو است. در واقع، مدل های دقیق دارای مشکل حجم بالای محاسباتی می باشند، که منجر به عدم کارایی آن ها در کاربردهایی مانند کنترل برخط می گردد. این مقاله به ارائه روش جدیدی برای مدل سازی دینامیک بدنه ربات های پیوسته می پردازد. در این روش، شکل ربات با تعداد دلخواهی از المان های انحناء-ثابت (کمان دایروی) تخمین زده شده، معادلات دینامیک از روش ان...