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

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

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

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

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

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

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

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

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

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