نمایش مبدأ برای سری لوران

[[پرونده:Laurent_series.svg|frame|left|نمایشی از سری لوران.]]
در [[ریاضیات]]، '''سری لوران''' یک تابع مختلط <span dir=ltr>''f''(''z'')</span> یک نمایش از آن تابع به صورت [[سری توانی]] است که شامل جملاتی از درجه منفی است. این سری می‌تواند برای نمایش توابع مختلط در حالتی که یک بسط [[سری تیلور]] نمی‌تواند به کار رود استفاده شود. سری لوران پس از اینکه توسط [[پیر آلفونس لوران]] در ۱۸۴۳ انتشار یافت، نامگذاری شد. ابتدا [[کارل وایرشتراس]] آن را در ۱۸۴۱ کشف کرد ولی منتشر نکرد.
سری لوران برای تابع مختلط <span dir=ltr>''f''(''z'') </span> حول نقطه ''c'' به‌وسیله‌ی:
:<math>f(z)=\sum_{n=-\infty}^\infty a_n(z-c)^n</math>
که <span dir=ltr>''a<sub>n</sub>''</span> ثابتهایی هستند که با یک [[انتگرال خطی]] که یک کلیت از [[فرمول انتگرال کوشی]] است تعریف می‌شوند:
:<math>a_n=\frac{1}{2\pi i} \oint_\gamma \frac{f(z)\,dz}{(z-c)^{n+1}}.\,</math>
مسیر [[انتگرال|انتگرال‌گیری]] γ [[پادساعتگرد]] حول یک [[منحنی تصحیح‌پذیر]] بسته است که هیچ همپوشانی ندارد و ''c'' را در بر گرفته‌است و درون طوقهٔ ''A'' است که در آن <span dir=ltr>''f''(''z'')</span> [[تابع هولومورفیک|هولومورفیک]] است. بسط <span dir=ltr>''f''(''z'')</span> در هر جای این طوقه معتبر خواهد بود. در عمل، این فرمول به ندرت استفاده می‌شود زیرا محاسبهٔ انتگرال‌ها مشکل است. به جای آن، سری لوران به‌وسیله آمیختن با بسط تیلور قطعه به قطعه سر هم می‌شود. اعداد ''a<sub>n</sub>'' و ''c'' معمولاً [[عدد مختلط]] گرفته می‌شوند، اگرچه [[احتمالات]] دیگری نیز وجود دارد.

== سری لوران همگرا ==
سری لوران با ضرایب مختلط ابزار مهمی در [[آنالیز مختلط]] است، مخصوصا برای تجسس رفتار تابع در نزدیکی [[نقطه تکین|نقاط تکین]].
برای نمونه تابع <span dir=ltr>''f''(''x'') = ''e''<sup>−1/''x''²</sup></span> با <span dir=ltr>''f''(0) = 0</span> را در نظر بگیرید. به عنوان یک تابع حقیقی، همه جا بینهایت بار مشتق‌پذیر است. با این وجود به عنوان یک تابع مختلط در <span dir=ltr>''x'' = 0</span> با جایگزینی ''x'' با <span dir=ltr>−1/''x''<sup>2</sup></span> در [[سری توانی]] [[تابع نمایی]] سری لوران آن را می‌سازیم که همگراست و برابر <span dir=ltr>''f''(''x'')</span> است برای تمام اعداد مختلط ''x'' به جز در نقطه تکین <span dir=ltr>''x''=0</span>.
به‌طور کلی تر سری لوران می‌تواند برای نمایش [[تابع هولومورفیک|توابع هولومورفیک]] تعریف شده روی یک طوقه به کار رود، اگر چه [[سری توانی]] برای نمایش توابع هولومورفیک تعریف شده روی یک دیسک استفاده شود.
فرض کنید 
:<math>\sum_{n=-\infty}^{\infty} a_n ( z - c )^n</math>
یک سری لوران با ضرایب مختلط ''a''<sub>''n''</sub> و مرکز مختلط ''c'' است. آنگاه یک شعاع داخلی منحصربفرد ''r'' و یک شعاع خارجی منحصربفرد ''R'' وجود دارد که:
* سری لوران روی طوقهٔ باز <span dir=ltr>''A''&nbsp;:= {''z''&nbsp;: ''r''&nbsp;< |''z''&nbsp;−&nbsp;''c''|&nbsp;<&nbsp;''R''}</span> همگراست. وقتی می‌گوییم سری لوران همگراست، یعنی هردو سری توانی با درجه مثبت و سری توانی با درجه منفی همگرایند. بعلاوه، این همگرایی روی [[مجموعه فشرده|مجموعه‌های فشرده]] [[همگرایی یکشکل|یکشکل]] خواهد بود. نهایتا [[سری همگرا]] یک [[تابع هولومورفیک]] روی طوقهٔ باز تعریف می‌کند.
* خارج از طوقه، سری لوران واگراست. یعنی برای هر نقطه خارج ''A'' سری با درجه مثبت یا سری با درجه منفی واگراست.
* راجع به مرز طوقه، نمی‌توان اظهار نظر کرد.
ممکن است ''r'' صفر باشد یا ''R'' بینهایت باشد. لزوما هم این صحیح نیست که ''r'' کوچک‌تر از ''R'' است. این شعاع‌ها به صورت زیر می‌توانند محاسبه شوند:
:<math>r = \limsup_{n\rightarrow\infty} |a_{-n}|^{1 \over n}</math>
:<math>{1 \over R} = \limsup_{n\rightarrow\infty} |a_n|^{1 \over n}</math>
''R'' را بینهایت می‌گیریم وقتی که lim sup صفر باشد.
برعکس اگر با یک طوقه به شکل <span>''A''&nbsp;= {''z''&nbsp;: ''r''&nbsp;< |''z''&nbsp;−&nbsp;''c''|&nbsp;<&nbsp;''R''}</span> و تابع هولومورفیک <span dir=ltr>''f''(''z'')</span> تعریف شده بر ''A'' شروع کنیم، آنگاه همیشه یک سری لوران منحصربفرد با مرکز ''c'' وجود دارد که (حداقل) روی ''A'' همگراست و نمایانگر تابع <span dir=ltr>''f''(''z'')</span> است.

== منبع ==
Wikipedia contributors, "Laurent series," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Laurent_series&oldid=187741784 (accessed February 22, 2008).

[[رده:آنالیز مختلط]]

[[رده:سری‌های ریاضی]]