ستارگان ریاضی ۸۳

هدف ما ایجاد یک منبع سرشار ریاضی است، ادامه فعالیت های ما در سایت ریاضیات ایران با آدرس www.irmath.com پیگیری می شود منتظرتان هستیم

ستارگان ریاضی ۸۳

هدف ما ایجاد یک منبع سرشار ریاضی است، ادامه فعالیت های ما در سایت ریاضیات ایران با آدرس www.irmath.com پیگیری می شود منتظرتان هستیم

آنالیز ریاضی ۲ . جلسه ۸ قسمت ۲ ( پس از ویرایش)

انتگرال گیرهای با تغییر کراندار

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

در پاسخ باید گفت : چون نمایش تابع a  ( a با تغییرات کراندار است ) به صورت تفاضل دو تابع صعودی ، منحصر به فرد نیست، اگر ؛ می توان توابع صعودی   و یی پیدا کرد که هیچ یک از انتگرال های   و موجود نباشد. اما در قضیه زیر ثابت می کنیم که دست کم برای یک نمایش تابع a و آن هم به صورت  انتگرال های فوق موجود خواهند بود.

قضیه 2-15: انگار a  بر با تغییرات کراندار باشد و تابع  تابع تغییر کل تابع  a  بر بازه ی به طوری که  باشد. با این شرایط اگر  بر ، آنگاه بر خواهد بود.

برهان: طبق تعریف V می دانیم  ، اگر V(b) =0  ، پس V  بر تابعی ثابت است و  . اگر  ، چون V صعودی است ، کافی است ثابت کنیم f  در شرط ریمان بر حسب V بر  صدق می کند. اگر و e>0  داده شده باشد ، را به گونه ای اختیار می کنیم که  برای هر افراز  و هر  داشته باشیم

    (۱)

و چون a بر با تغییر کراندار است

     ( ۲)

که M کران بالای  است، یعنی  . با افرازP  فوق شرط ریمان را برای V می نویسیم

 

پس اگر ثابت کنیم

     ( *)

و

     ( ** )

برهان تمام است. برای اثبات (*) ، چون

 

و با توجه به (2) خواهیم داشت

 

و (**) را به  ترتیب زیر اثیات می کنیم . گیریم

 

و

 

و

 

اگر ؛   را طوری اختیار می کنیم که

 

و اگر   ؛    را طوری اختیار می کنیم که

 

در این صورت

 

پس f در شرط ریمان نسبت به V بر صدق می کند و برهان کامل است.

نیکی و بدی

نیکی و بدی که در نهاد بشر است

شادی و غمی که در قضا و قدر است

با چرخ مکن حواله کاندر ره عقل

چرخ از تو هزار بار بیچاره تر است

آنالیز ریاضی ۲ جلسه ۸ قسمت ۱ (پس از ویرایش )

قضیه 2-12: انگار a بر  صعودی باشد، در این صورت سه گزاره ی زیر هم ارزند.

۱. بر .

۲. f  در شرط ریمان بر حسب a برصدق می کند.

۳.  .

برهان : نشان می دهیم که گزاره ی 2 از 1 و گزاره ی 3 از 2 و گزاره ی 1 از 3 بدست می آید.

انگار گزاره ی 1 برقرار باشد ، یعنی  بر بازه ی ، اگر e>0 داده شده باشد، افرازهای  P1 و P2  از وجود دارند که

 

و

 

اگر ، در این صورت با توجه به قضیه قبل داریم

 

که نشان می دهد

 

پس  f  در شرط ریمان بر حسب a بر صدق می کند.

اکنون اگر گزاره ی 2 برقرار باشد و e>0 داده شده باشد، افرازی مانند هست به طوری که به ازای هر افراز P ظریفتر از آن داریم

 

از این رو داریم

 

پس به ازای هر e>0 داریم

   ( * )

از طرفی می دانیم

  ( ** )

با توجه به ( * ) و ( ** ) داریم

 

سرانجام اگر گزاره ی 3 برقرار باشد نشان می دهیم گزاره ی ۱ برقرار است.

پس انگار

 

نشان می دهیم موجود و برابر با A است.

به ازای e>0 داده شده، طبق تعریف انتگرال بالایی می توان  را طوری برگزید که به ازای هر افرازP ظریفتر از آن داشته باشیم

 

همچنین را طوری برگزید که به ازای هر افرازP ظریفتر از آن داشته باشیم

 

در این صورت با گزینش  به ازای هر افراز ِP ظریفتر ازخواهیم داشت

 

یعنی

 

پس و این پایان برهان است.ÿ

قضیه 2-13: اگر a بر صعودی باشد و  و بر و برای هر داشته باشیم  آنگاه

 

برهان این قضیه به سادگی با استفاده از تعاریف بدست می آید. ÿ

 

با توجه به این قضیه اگر a بر صعودی و  و  آنگاه

 .

قضیه 2-14: انگار a بر  صعودی و   بر، آنگاه  بر و

 

برهان: با توجه به 

 

و

 

و همچنین رابطه ی

 

خواهیم داشت

(*)     

اگر e>0 داده شده باشد ، چون  ، پس افراز  از موجود است به طوری که به ازای هر  داریم

 

در این صورت طبق نابرابری (*) برای هر افراز  داریم

 

پس در شرط ریمان بر حسب a بر بازه ی صدق می کند و  از طرفی چون 

 

لذا طبق قضیه 2-13 داریم

 

که این پایان برهان خواهد بود.ÿ

چرا؟

««    هرچند که رنگ و بوی زیباست مرا

                                                  چون لاله رخ و چو سرو بالاست مرا


       معلوم نشد که در طرب خانه ی خاک

                                                   

                            نقاش ازل بهر چه آراست مرا   »»