در سال 1940 اولام در دا نشگاه ویسکانسین بحثی به شکل زیر ارایه کرد فرض کنید g1 یک گروه وg2 یک گروه متری با متر(.و. )d و0 < ? اگر 0 <? به طوری که تابع h: g1? g2صادق در شرط d(h(xy),h(x)h(y))< ?برای تمامی xوy ها در g1 باشد وجود داشته باشد آنگاه همو مر فیسم 2 g?1g:h با شرط d(h(x),h(x))<?برای تمامی xها در g1 وجود دارد؟ ها یرز نمونه ای از تقریب توابع جمعی را با این فرض که g1و g2 فضاهای باناخ باشند در سال 1941 بدست آورد. سپس راسیاس در سال 1978 برای ضعیف ترکردن شرط کران داری نرم تفاضل کوشی به شکل زیر بررسی های انجام داد. ||f(x+y)-f(x)-f(y)|| ??(||x||p +||y||p) بعد از آن پایداری برای چندین معادله تابعی به طور گسترده مورد بررسی قرار گرفت. در سال 2007 بلید پایداری هایرز -اولام –راسیاس معادله مربعی توابع با پیچش را بدست آورد. حال دراین پایان نامه می خواهیم روش نقطه ثابت را برای بررسی پایداری هایرز -اولام –راسیاس بکاربریم.

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

در سراسر این پایان نامه فرض می کنیم r–حلقه ای نوتری، a یک ایده آل r و m یک r–مدول باشد. مدول های کوهمولوژی موضعی اولین بار توسط گروتندیگ معرفی شد و یکی از زمینه های مهم تحقیقاتی در هندسه جبری و جبر جابجایی می باشد. مدول های مینیماکس نیز نخستین بار توسط زوشنگر تعریف و در مقاله معروفش تحت همین نام مورد مطالعه قرار گرفت و نتایج جالبی توسط خود زوشنگر ثابت شده است. به عنوان مثال هر مدول نوتری و آرتینی یک مدول مینیماکس می باشد. مفهوم مدول های a-مینیماکس اولین بار در سال 2009 توسط دکتر اعظمی بعنوان تعمیم مدول های مینیماکس معرفی و مطالعه شده است. این پایان نامه متشکل از 5 فصل می باشد. در فصل اول قضایا و تعاریف مورد نیاز آورده شده است. در فصل دوم تعلق داشتن مدول های کوهمولوژی موضعی از اندیس های پایین و بالا به یک زیر کاتگوری خاص به نام زیر کاتگوری سرِ مشخص سازی شده است. در فصل های سوم وچهارم متناهی بودن ایده آل اول وابسته به i–امین مدول کوهمولوژی موضعی برای مدول های مینیماکس و a-مینیماکس بررسی شده اند، که در واقع تعمیم قضیه برادمن و لشکری به این مدول هاست.

الف – تعریف مسئله و فرضیات : تعریف1: خانواده شمارای را یک قاب برای گویند هرگاه ثابتهایی مانند وجود داشته باشد بطوریکه (1) اعداد را کرانهای قاب گویند. که این کرانها منحصربفرد نیستند. اگر آنگاه قاب را قاب تنگ و اگر آنرا قاب تنگ پارسوال نامند. اگر در (1) فقط نامساوی سمت راست به ازای هر برقرار باشد آنگاه یک دنباله بسل نامیده می شود. تعریف 2. یک g- قاب برای نسبت به نامیده می شود هرگاه ثابتهایی مانند وجود داشته باشند بطوریکه (2) در حالت خاص اگر آنگاه را یک g- قاب تنگ و اگر آنگاه را یک g-قاب پارسوال گوییم. اگر در (2) فقط نامساوی سمت راست به ازای هر برقرارباشد آنگاه را یک خانواده g- بسل می نامیم. که زیر مجموعه حداکثر شمارا از اعداد طبیعی است.

در این پایاننامه با استفاده از قضیه کرانیکر روی مجموعه نقاط ثلبت مشترک از نیم گروه های پیوسته n- پارامتری از نگاشت ها بحث می کنیم.در این راستا ابتدا در فصل 2 به قضایای مربوط به مجموعه نقاط ثابت مشترک برای نیم گروه های 1 - پارامتری سپس به اثبات قضایای نقطه ثابت مشترک برای نیم گروه های پیوسته ی n- پارامتری می پردازیم.

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

در طول این پایان نامه پایداری نا برابری های مربعی پیکسیدر شده دو نوع تابع را ثابت می کنیم .

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

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

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

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

در این پایان نـامه پایداری هایرز-اولام برای معادله ی تابعی جمعی f(2x+y)+f(2x-y)=4(f(x+y)+f(x-y))-3/7 (f(2y)-2f(2y))+2f(2x)-8f(x) (*) در فضاهای 2-باناخ بررسی می شود و برای این منظور ثابت می کنیم که اگر (x,?.,.?) یک فضای 2-باناخ، ???، p,q>4 و تابع f:x?x به ازای هر x,y,z?x در نامعادله ی زیر صدق کند: ?7[f(2x+y)+f(2x-y)]-28[f(x+y)+f(x-y)]+3[f(2y)-2f(y)]-14[f(2x)-4f(x)],z???(?x,z?^p+?y,z?^q ). آنگاه تابع مربعی منحصربفرد q:x?x وجود دارد که در (*) صدق می کند و ?f(x)-q(x),z??(??x,z?^q)/(3(2^q-16)).

روش نقطه ثابت دومین تکنیک پر کاربرد در بررسی پایداری هایرز – اولام در معادلات تابعی می باشد که برای اولین بار در سال 1991 توسط بیکر بکار برده شد. او برای بررسی پایداری معادلات تابعی یک متغییره ، از شکل دیگری از قضیه نقطه ثابت باناخ استفاده کرد. بیشتر ریاضی دانان از روشهای دیگری مانند روش رادو و قضایای دیاز و مارگولیز استفاده می کردند. هدف از نگارش این پایان نامه کاربرد شکل دیگری از قضیه نقطه ثابت باناخ برای نظریه پایداری هایرز – اولام معادلات تابعی می باشد.

ساختار کدهای دوری و پاددوری به طول n و دوگان آنها روی حلقه ی زنجیری متناهی r وقتی که مشخصه ی حلقه ی خارج قسمتی n ،r را عاد نکند، معین می شوند. در برخی موارد که مشخصه ی حلقه ی خارج قسمتی n ،r را عاد می کند نیز مشخصمی شوند. در حالت خاص ساختار کدهای پاددوری به طول ?t روی z?m و دوگان آنها بررسی می شوند.

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