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

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

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

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

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

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

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

در این تحقیق‏، یکی از روش های حل مسایل کنترل بهینه ی غیرخطی مقید مورد بررسی و مطالعه قرار می گیرد. دو عمل مختلف جهت حل این مسایل قابل اجراست: ‎1- عمل دوگانه سازی‏، 2- عمل گسسته سازی. ‎‎ در حالت کلی این دو عمل جابجایی پذیر‎‎ نیستند. یک مجموعه شرایط بستار معرفی می شود تا جابجایی پذیری این عمل ها را امکان پذیر سازد. ‎‎یکی از نتایج مهم شرایط بستار، ‎"قضیه ی نگاشت هم بردار"‎‎‎‎ است که تبدیل ضرای...

در این پایان نامه اثبات می شود که هر عمل نیم گروه کمین انبساطی از c^1-دیفیومورفیسم های({c^{1+?-دیفیومورفیسم های همدیس)یک منیفلد فشرده به طور استوار کمین(نسبت به اندازه لبگ،ارگودیک)است.

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