انتگرال گیرهای با تغییر کراندار
توضیح : در فصل 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 داده شده باشد ، چون ، پس افراز
از
موجود است به طوری که به ازای هر
داریم
صدق می کند و
لذا طبق قضیه 2-13 داریم
که این پایان برهان خواهد بود.ÿ
«« هرچند که رنگ و بوی زیباست مرا
چون لاله رخ و چو سرو بالاست مرا
معلوم نشد که در طرب خانه ی خاک
نقاش ازل بهر چه آراست مرا »»