موضوع مقاله: لم جردن | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # لم جردن | مقدمه: در آنالیز مختلط، لم جردن، نتیجه‌ای است که از آن برایِ محاسبه‌ی انتگرال‌هایِ مسیر یا انتگرال‌هایِ ناسره، بهره می‌برند. | ## بخش 1: لم جردن | صورت لم مسیرِ دایره‌ایِ زیر را در نظر می‌گیریم: با توجه به محدوده‌ی زاویه‌ها، این نیم‌دایره در نیم‌صفحه‌ی بالایی قرار دارد، مرکزِ آن مبداءِ مختصات است و R>0 شعاعِ آن را نشان می‌دهد. حال تابعِ پیوسته‌ی f را که دامنه‌ی آن اعدادِ مختلط هستند با ضابطه‌ی زیر و بر رویِ این مسیر در نظر می‌گیریم: که a>0 است. این حد برابر است با: به شکلی مشابه، لمِ جردان برایِ نیم‌دایره‌ای که در نیم‌صفحه‌ی پایینی قرار گرفته نیز صادق است، اگر که a<0 باشد. توضیح فرض کنید که به ازایِ تمامِ Rهایِ بزرگ، باز هم f بر رویِ نیم‌دایره‌ی CR تعریف شده و بر رویِ آن پیوسته باشد، در این صورت اگر مقدارِ ماکزیمم تابع در Rهایِ بزرگ به سمتِ صفر میل کند (به این شرط، شرطِ (*) می‌گوییم.): از لمِ جردن به راحتی می‌توان نتیجه گرفت که: اگر a=0 باشد، آن‌گاه لمِ تخمین برقرار است. در صورتی که شرطِ (*) برقرار باشد، حتی اگر a=0 باشد، باز هم در ، مقدارِ انتگرال برابر صفر می‌شود. | ## بخش 2: لم جردن | اما در موقعیت‌هایی که شرطِ (*) برقرار نیست، برایِ پیدا کردنِ حدِ بالایِ انتگرال باید به لمِ تخمین مراجعه کرد. همانندِ لمِ تخمین، حدِ بالایی‌ای که لمِ جردن مشخص می‌کند، به شکلِ صریح به طولِ CR ارتباط ندارد و مستقل از شعاعِ مسیر است. لمِ جردن، در محاسبه‌ی انتگرال‌هایِ حقیقی که بر رویِ محورِ اعدادِ حقیقی تعریف می‌شوند می‌تواند بسیار مفید باشد. تابعِ را در نظر می‌گیریم که در نیمه‌ی بالاییِ صفحه‌ی اعدادِ مختلط، همه‌جا هولومورفیک (تحلیلی) و پیوسته است مگر در تعدادِ متناهی نقطه و این نقطه‌ها را که هیچ‌کدام بر رویِ محورِ اعدادِ حقیقی قرار ندارند، با z1 و z2 و ... مسیرِ بسته‌ی C را که در شکل نشان داده شد در نظر بگیرید، این مسیر از اجتماعِ مسیرهایِ C1 و C2 تشکیل می‌شود و بنا به تعریف داریم: اما بر رویِ مسیرِ C2، از آن‌جایی که متغیرِ Z، تنها شاملِ عددهایِ حقیقی می‌شود، به جایِ متغیرِ z می‌توان تنها بخشِ حقیقیِ آن را قرار داد و در نتیجه انتگرالِ دوم، به انتگرالِ حقیقیِ معمولی تبدیل می‌شود: سمتِ چپِ معادله را نیز می‌توان به کمکِ قضیه‌ی مانده، محاسبه کرد. | ## بخش 3: لم جردن | تا |zn| باشد، آن‌گاه بنا به قضیه‌ی مانده: که مانده‌ی تابعِ f در تکینگی‌هایِ Zk را نشان می‌دهد. اگر f شرطِ (*) را برآورده کند، آن‌گاه میل دادنِ R به سمتِ بی‌نهایت، باعث می‌شود که انتگرالِ مسیر بر رویِ C1 بنا به لمِ جردن صفر شود و در نتیجه، در نهایت مقدارِ انتگرالِ ناسره را این چنین به دست بیاوریم: مثال تابعِ زیر، شرایطِ لازم برایِ برقراریِ لمِ جردن را دارا است. از آن‌جایی که تابع در نیمه‌ی بالایی تنها یک نقطه‌ی تکینگی دارد و آن هم در z = i قرار گرفته‌است، داریم: از آن‌جایی که z = i، قطبِ ساده‌ی تابعِ f است، و با توجه به اینکه = ، خواهیم داشت: از آن‌جایی که پس بخشِ حقیقیِ جوابی که ما یافتیم برابر خواهد بود با مقدارِ انتگرالِ زیر: این نتیجه نشان می‌دهد که با استفاده از ابزارهایی که در آنالیزِ مختلط در دست داریم، چه‌طور می‌توان به سادگیِ تمام انتگرالِ تابع‌هایی را محاسبه کرد (تابع‌هایی چون ) که محاسبه‌شان در حالتِ عادی بسیار دشوار و گاه حتی ناممکن است. | ## جمع‌بندی | اثبات لم جردن بنا به تعریفِ انتگرال مسیر مختلط داریم: حال از نامساویِ زیر بهره می‌بریم: در نتیجه خواهیم داشت: حال MR را این‌گونه تعریف می‌کنیم: با توجه به اینکه تابعِ sin تابعی متقارن است ( = ) می‌توانیم کران‌هایِ انتگرال را به جایِ (صفر تا π) از (صفر تا π/2) در نظر بگیریم.