انتگرال های بیضوی؟؟؟؟
پاسخ : انتگرال های بیضوی؟؟؟؟
[SUB] انـتـگرال بـیضـوی
مترجمان: فخری بساره - ابوالفضل گروئی
از دانشنامه آزاد ویکیـپدیـا
Elliptic integral - Wikipedia, the free encyclopedia
در حساب انتگرال، انتگرالهای بیضوی اصولا در ارتباط با مساله طول کمان بیضی مطرح می شوند. این انتگرال ها را برای اولین بار جیولیو فاگنانو (Giulio Fagnano) و لئونهارد اویلر (Leonhard Euler) بررسی کردند. ریاضیات نوین، انتگرال بیضوی را به عنوان هر تابع f که بتواند به شکل زیر بیان شود، تعریف میکند:
وقتی R تابع گویای دو آرگومان آن، P ریشه دوم یک چند جمله ای درجه سه یا چهار بدون ریشه های تکراری و c یک ثابت است.
در کل، انتگرال های بیضوی نمی توانند بر حسب توابع اولیه بیان شوند. استثناها برای این قاعده کلی وقتی است که P ریشه های تکراری دارد یا وقتی که (R(x,y شامل توان های فرد y نباشند. به هر حال، با فرمول تحویل مناسب، هر انتگرال بیضوی می تواند به شکلی که انتگرالهائی را روی توابع گویا و سه شکل متعارف (برای نمونه، انتگرالهای بیضوی نوع اول، دوم و سوم) در بر گیرد، درآید.
در کـنار فـرم هـائی که در زیـر داده شده انـد، انـتگـرال های بـیـضـوی نـیـز مـمکن است به صـورت لـژانـدر (Legendre form) و صورت متقارن کارلسون (Carlson symmetric form) بیان شوند. بینش بیشتر در نظریه انتگرال بیضوی می تواند از طریق بررسی نقشه نگاری شوارتز-کریستوفل حاصل شود. از نظر تاریخی، توابع بیضوی به عنوان توابع مع___ انتگرال های بیضوی کشف شدند و به ویژه این یکی:
داریم
F(sn(z ; k) ; k) = z
وقتی sn یکی از توابع بیضوی ژاکوبی (Jacobi's elliptic functions) است.
نمادها
انتگرال های بیضوی اغلب به شکل توابعی با آرگومان های مختلف بیان می شوند. این آرگومان های مختلف کاملا معادلند (انتگرال بیضوی مشابهی می دهند)، اما به علت ظاهر متفاوتشان گیج کننده اند. بیشتر متون با نقشه نام گذاری متعارف همراهند. پیش از تعریف انتگرال ها، قواعد نامگذاری آرگومان ها را مرور می کنیم:
زاویه مدولار
مدول بیضوی
مشخصه (پارامتر)
توجه کنید که سه قرارداد بالا کاملا توسط دیگری تعیین شده اند. با مشخص شدن یکی، دیگری نیز مشخص میگردد. انتگرالهای بیضوی نیز به آرگومان دیگری وابسته اند که میتواند با راههای مختلفی تعیین شود.
دامنه
x وقتی
u وقتی x=sn u و sn یکی از انتگرالهای بیضوی ژاکوبی است.
با مشخص شدن هر یک از این آرگومانها دیگر آرگومانها هم تعیین میشوند. بنابراین، میتوانند در نمادنگاری به صورت قابل تعویض به کار روند. توجه کنید که u نیز به m بستگی دارد. چند رابطه اضافی، u را به صورت
و
شامل می شوند.
دومی گاهی اوقات دامنه دلتا نامیده و به شکل نگاشته می شود. در مراجع نوشتاری به مشخصه (پارامتر) مکمل، مدول مکمل یا زاویه مدولار مکمل نیز اشاره می شود. تعریف بیشتر اینها را (اینجا) ببینید.
انتگرال بیضوی ناقص نوع اول
انتگرال بیضوی ناقص نوع اول F به شکل زیر تعریف می شود:
به طور یکسان، با استفاده از نمادنگاری در صورت ژاکوبی قرار می دهیم:
سپس،
وقتی دانسته شده است که زمانی یک میله عمودی استفاده شود ( | )، آرگومان بعد از میله عموذی پارامتر است (چنان که در بالا تـعـریـف شد)؛ و وقتی بک اسلش (\) بـه کار رود، بعد از آن زاویه مدولار می آید. در این قرارداد، با نمادگذاری مستقیم وام گرفته شده از کتاب مرجع استانداردهای آبرامـوویـتـز و اشتگان (Abramowitz and Stegun). استفاده از ; | \ در انتگرال های بیضوی متداول است.
نمودار انتگرال بیضوی ناقص نوع اول.
به هر حال، قراردادهای مختلفی برای نمادگذاری انتگرال های بیضوی وجود دارد. این اختلاف ها به خصوص برای مبتدیان می توانند بسیار گیج کننده باشند. توابعی که انتگرال های بیضوی را تعیین میکنند استاندارد و نامها و معانی یکتا ندارند (مانند sqrt ، sin و erf). حتی نوشته های درباره این موضوع نیز از نمادگذاری متفاوت استفاده میکنند. در گرادشتین-ریزیک (Gradstein,Rhysik) معادله (8.111) و مقاله صورت لژاندر مقاله ویکیپدیا (Wikipedia) ، معادل ما آورده شده؛ همچنین .
از این رو، اگر شخصی رمزی را از زبان ریاضی Mathematica به زبان استفاده شده توسط Maple ترجمه میکند، باید آرگومان تابع بیضوی Elliptic K function) K) را با ریشه دوم آن جایگزین نماید. به همین منوال، در ترجمه از Maple به Mathematica ، آرگومان باید با مجذورش جایگزین گردد. (K(x بیضوی در Maple تقریبا معادل با [K[x2 بیضوی در Mathematica است. فرد دیگری ممکن است انتظار داشته باشد تا همان نتیجه را در هر دو سامانه (سیستم) بگیرد، دست کم وقتی که داریم: x کوچکتر از یک و بزرگتر از صفر باشد.
توجه کنید که
با u که در بالا تعریف شد: بنابراین، توابع بیضوی ژاکوبی، مع___ های انتگرال های بیضوی هستند.
انتگرال بیضوی ناقص نوع دوم
انتگرال بیضوی ناقص نوع دوم E به این شکل است:
به صورت معادل، با استفاده از نمادگذاری جایگزین (جانشانی) ،
نمودار انتگرال بیضوی ناقص نوع دوم.
نسبت های اضافی شامل زیر می شوند:
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 629x40.
انتگرال بیضوی ناقص نوع سوم
انتگرال بیضوی ناقص نوع سوم به این شکل است:
یا
یا
عدد n مشخصه نامیده می شود و هر مقداری را مستقل از دیگر آرگومانها می تواند بگیرد. توجه داشته باشید که به هر حال مقدار برای هر m نامحدود است.
انتگرال بیضوی کامل نوع اول
انتگرال های بیضوی وقتی کامل خوانده می شوند که دامنه نصف پی (pi/2) و بنابراین x=1 باشد. انتگرال بیضوی کامل نوع اول K می تواند به صورت زیر تعریف شود:
یا
این یک حالت خاص انتگرال بیضوی ناقص نوع اول است:
حالت خاص می تواند به شکل یک سری توانی بیان شود
که معادل است با
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 606x61.
وقتی !!n فاکتوریل دوگانه است.بر حسب تابع فوق هندسی گاوس (Gauss hypergeometric function)، انتگرال بیضوی کامل نوع اول می تواند به شکل
بیان شود.
نمودار انتگرال بیضوی کامل نوع اول.
گاهی اوقات انتگرال بیضوی کامل نوع اول یک چهارم دوره (ربع دوره quarter period) نامیده میشود و میتواند بر حسب میانگین هندسی-حسابی محاسبه گردد.
مقادیر ویژه
مشتق انتگرال بیضوی کامل نوع اول
انتگرال بیضوی کامل نوع دوم
انتگرال بیضوی کامل نوع دوم E می تواند به صورت زیر بیان شود
یا
این حالت خاصی از انتگرال بیضوی ناقص نوع دوم است:
که می تواند به صورت یک سری توانی بیان شود
که به صورت زیر است
این تصویر تغییر اندازه داده شده است. روی نوار جهت مشاهده سایز اصلی تصویر کلیک کنید. سایز اصلی تصویر 644x61 می باشد.
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 644x61.
بر حسب تابع فوق هندسی گاوس، انتگرال بیضوی کامل نوع دوم می تواند به شکل زیر بیان گردد:
نمودار انتگرال بیضوی کامل نوع دوم.
مقادیر ویژه
مشتق انتگرال بیضوی کامل نوع دوم
انتگرال بیضوی کامل نوع سوم
انتگرال بیضوی کامل نوع سوم می تواند به صورت زیر تعریف شود
توجه کنید که گاهی اوقات انتگرال بیضوی کامل نوع سوم با یک علامت مع___ در n تعریف می گردد، برای مثال
مشتقات جزئی انتگرال بیضوی کامل نوع سوم
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 622x51.
نمودار انتگرال بیضوی کامل نوع سوم.
***
نمودارها از سایت بسیار مفید http://www.efunda.com گرفته شده اند.
مراجع:
References
Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 0-486-61272-4. (See chapter 17).
Harris Hancock Lectures on the theory of Elliptic functions (New York, J. Wiley & sons, 1910)
Alfred George Greenhill The applications of elliptic functions (New York, Macmillan, 1892)
Louis V. King On The Direct Numerical Calculation Of Elliptic Functions And Integrals (Cambridge University Press, 1924)
Elliptic integral - Wikipedia, the free encyclopedia
+گویا تصاویر در این ارسال نمایش داده نشدن.
برای مشاهده تصاویر،به لینک های داده شده رجوع کنید.
[/SUB]
مترجمان: فخری بساره - ابوالفضل گروئی
از دانشنامه آزاد ویکیـپدیـا
Elliptic integral - Wikipedia, the free encyclopedia
در حساب انتگرال، انتگرالهای بیضوی اصولا در ارتباط با مساله طول کمان بیضی مطرح می شوند. این انتگرال ها را برای اولین بار جیولیو فاگنانو (Giulio Fagnano) و لئونهارد اویلر (Leonhard Euler) بررسی کردند. ریاضیات نوین، انتگرال بیضوی را به عنوان هر تابع f که بتواند به شکل زیر بیان شود، تعریف میکند:
وقتی R تابع گویای دو آرگومان آن، P ریشه دوم یک چند جمله ای درجه سه یا چهار بدون ریشه های تکراری و c یک ثابت است.
در کل، انتگرال های بیضوی نمی توانند بر حسب توابع اولیه بیان شوند. استثناها برای این قاعده کلی وقتی است که P ریشه های تکراری دارد یا وقتی که (R(x,y شامل توان های فرد y نباشند. به هر حال، با فرمول تحویل مناسب، هر انتگرال بیضوی می تواند به شکلی که انتگرالهائی را روی توابع گویا و سه شکل متعارف (برای نمونه، انتگرالهای بیضوی نوع اول، دوم و سوم) در بر گیرد، درآید.
در کـنار فـرم هـائی که در زیـر داده شده انـد، انـتگـرال های بـیـضـوی نـیـز مـمکن است به صـورت لـژانـدر (Legendre form) و صورت متقارن کارلسون (Carlson symmetric form) بیان شوند. بینش بیشتر در نظریه انتگرال بیضوی می تواند از طریق بررسی نقشه نگاری شوارتز-کریستوفل حاصل شود. از نظر تاریخی، توابع بیضوی به عنوان توابع مع___ انتگرال های بیضوی کشف شدند و به ویژه این یکی:
داریم
F(sn(z ; k) ; k) = z
وقتی sn یکی از توابع بیضوی ژاکوبی (Jacobi's elliptic functions) است.
نمادها
انتگرال های بیضوی اغلب به شکل توابعی با آرگومان های مختلف بیان می شوند. این آرگومان های مختلف کاملا معادلند (انتگرال بیضوی مشابهی می دهند)، اما به علت ظاهر متفاوتشان گیج کننده اند. بیشتر متون با نقشه نام گذاری متعارف همراهند. پیش از تعریف انتگرال ها، قواعد نامگذاری آرگومان ها را مرور می کنیم:
زاویه مدولار
مدول بیضوی
مشخصه (پارامتر)
توجه کنید که سه قرارداد بالا کاملا توسط دیگری تعیین شده اند. با مشخص شدن یکی، دیگری نیز مشخص میگردد. انتگرالهای بیضوی نیز به آرگومان دیگری وابسته اند که میتواند با راههای مختلفی تعیین شود.
دامنه
x وقتی
u وقتی x=sn u و sn یکی از انتگرالهای بیضوی ژاکوبی است.
با مشخص شدن هر یک از این آرگومانها دیگر آرگومانها هم تعیین میشوند. بنابراین، میتوانند در نمادنگاری به صورت قابل تعویض به کار روند. توجه کنید که u نیز به m بستگی دارد. چند رابطه اضافی، u را به صورت
و
شامل می شوند.
دومی گاهی اوقات دامنه دلتا نامیده و به شکل نگاشته می شود. در مراجع نوشتاری به مشخصه (پارامتر) مکمل، مدول مکمل یا زاویه مدولار مکمل نیز اشاره می شود. تعریف بیشتر اینها را (اینجا) ببینید.
انتگرال بیضوی ناقص نوع اول
انتگرال بیضوی ناقص نوع اول F به شکل زیر تعریف می شود:
به طور یکسان، با استفاده از نمادنگاری در صورت ژاکوبی قرار می دهیم:
سپس،
وقتی دانسته شده است که زمانی یک میله عمودی استفاده شود ( | )، آرگومان بعد از میله عموذی پارامتر است (چنان که در بالا تـعـریـف شد)؛ و وقتی بک اسلش (\) بـه کار رود، بعد از آن زاویه مدولار می آید. در این قرارداد، با نمادگذاری مستقیم وام گرفته شده از کتاب مرجع استانداردهای آبرامـوویـتـز و اشتگان (Abramowitz and Stegun). استفاده از ; | \ در انتگرال های بیضوی متداول است.
نمودار انتگرال بیضوی ناقص نوع اول.
به هر حال، قراردادهای مختلفی برای نمادگذاری انتگرال های بیضوی وجود دارد. این اختلاف ها به خصوص برای مبتدیان می توانند بسیار گیج کننده باشند. توابعی که انتگرال های بیضوی را تعیین میکنند استاندارد و نامها و معانی یکتا ندارند (مانند sqrt ، sin و erf). حتی نوشته های درباره این موضوع نیز از نمادگذاری متفاوت استفاده میکنند. در گرادشتین-ریزیک (Gradstein,Rhysik) معادله (8.111) و مقاله صورت لژاندر مقاله ویکیپدیا (Wikipedia) ، معادل ما آورده شده؛ همچنین .
از این رو، اگر شخصی رمزی را از زبان ریاضی Mathematica به زبان استفاده شده توسط Maple ترجمه میکند، باید آرگومان تابع بیضوی Elliptic K function) K) را با ریشه دوم آن جایگزین نماید. به همین منوال، در ترجمه از Maple به Mathematica ، آرگومان باید با مجذورش جایگزین گردد. (K(x بیضوی در Maple تقریبا معادل با [K[x2 بیضوی در Mathematica است. فرد دیگری ممکن است انتظار داشته باشد تا همان نتیجه را در هر دو سامانه (سیستم) بگیرد، دست کم وقتی که داریم: x کوچکتر از یک و بزرگتر از صفر باشد.
توجه کنید که
با u که در بالا تعریف شد: بنابراین، توابع بیضوی ژاکوبی، مع___ های انتگرال های بیضوی هستند.
انتگرال بیضوی ناقص نوع دوم
انتگرال بیضوی ناقص نوع دوم E به این شکل است:
به صورت معادل، با استفاده از نمادگذاری جایگزین (جانشانی) ،
نمودار انتگرال بیضوی ناقص نوع دوم.
نسبت های اضافی شامل زیر می شوند:
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 629x40.
انتگرال بیضوی ناقص نوع سوم
انتگرال بیضوی ناقص نوع سوم به این شکل است:
یا
یا
عدد n مشخصه نامیده می شود و هر مقداری را مستقل از دیگر آرگومانها می تواند بگیرد. توجه داشته باشید که به هر حال مقدار برای هر m نامحدود است.
انتگرال بیضوی کامل نوع اول
انتگرال های بیضوی وقتی کامل خوانده می شوند که دامنه نصف پی (pi/2) و بنابراین x=1 باشد. انتگرال بیضوی کامل نوع اول K می تواند به صورت زیر تعریف شود:
یا
این یک حالت خاص انتگرال بیضوی ناقص نوع اول است:
حالت خاص می تواند به شکل یک سری توانی بیان شود
که معادل است با
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 606x61.
وقتی !!n فاکتوریل دوگانه است.بر حسب تابع فوق هندسی گاوس (Gauss hypergeometric function)، انتگرال بیضوی کامل نوع اول می تواند به شکل
بیان شود.
نمودار انتگرال بیضوی کامل نوع اول.
گاهی اوقات انتگرال بیضوی کامل نوع اول یک چهارم دوره (ربع دوره quarter period) نامیده میشود و میتواند بر حسب میانگین هندسی-حسابی محاسبه گردد.
مقادیر ویژه
مشتق انتگرال بیضوی کامل نوع اول
انتگرال بیضوی کامل نوع دوم
انتگرال بیضوی کامل نوع دوم E می تواند به صورت زیر بیان شود
یا
این حالت خاصی از انتگرال بیضوی ناقص نوع دوم است:
که می تواند به صورت یک سری توانی بیان شود
که به صورت زیر است
این تصویر تغییر اندازه داده شده است. روی نوار جهت مشاهده سایز اصلی تصویر کلیک کنید. سایز اصلی تصویر 644x61 می باشد.
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 644x61.
بر حسب تابع فوق هندسی گاوس، انتگرال بیضوی کامل نوع دوم می تواند به شکل زیر بیان گردد:
نمودار انتگرال بیضوی کامل نوع دوم.
مقادیر ویژه
مشتق انتگرال بیضوی کامل نوع دوم
انتگرال بیضوی کامل نوع سوم
انتگرال بیضوی کامل نوع سوم می تواند به صورت زیر تعریف شود
توجه کنید که گاهی اوقات انتگرال بیضوی کامل نوع سوم با یک علامت مع___ در n تعریف می گردد، برای مثال
مشتقات جزئی انتگرال بیضوی کامل نوع سوم
سایز تصویر کوچک شده است . برای مشاهده در سایز اصلی اینجا کلیک کنید . سایز اصلی تصویر 622x51.
نمودار انتگرال بیضوی کامل نوع سوم.
***
نمودارها از سایت بسیار مفید http://www.efunda.com گرفته شده اند.
مراجع:
References
Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 0-486-61272-4. (See chapter 17).
Harris Hancock Lectures on the theory of Elliptic functions (New York, J. Wiley & sons, 1910)
Alfred George Greenhill The applications of elliptic functions (New York, Macmillan, 1892)
Louis V. King On The Direct Numerical Calculation Of Elliptic Functions And Integrals (Cambridge University Press, 1924)
Elliptic integral - Wikipedia, the free encyclopedia
+گویا تصاویر در این ارسال نمایش داده نشدن.
برای مشاهده تصاویر،به لینک های داده شده رجوع کنید.
[/SUB]
آخرین ویرایش توسط مدیر