تابع هولومورفیک

اگر به ما یک تابع مختلط-مقدار f از یک متغیر منفرد مختلط داده شده باشد، مشتق f در یک نقطه z₀ در دامنه‌اش توسط حد زیر تعریف می‌شود:

${\displaystyle f^{\prime }(z_0)=\underset{z\to z_0}{lim}\frac{f(z)-f(z_0)}{z-z_0}.}$

این مشابه تعریف مشتق برای توابع حقیقی است، فقط همه کمیت‌هایش مختلط هستند. بخصوص، حد موقعی گرفته می‌شود که عدد مختلط z به سمت z₀ میل می‌کند، و باید برای هر دنباله مقادیر مختلط برای z که در صفحه مختلط به سمت z₀ میل می‌کند، مقدار یکسانی داشته باشد. اگر حد موجود باشد، می‌گوییم که f در نقطه z₀ مشتق‌پذیر مختلط است. مفهوم مشتق‌پذیری مختلط ویژگی‌های مشترک زیادی با مشتق‌پذیری حقیقی دارد: خطی است و از قاعده ضرب، قاعده خارج‌قسمت، و قاعده زنجیره‌ای پیروی می‌کند.

اگر f در هر نقطه z₀ در یک مجموعه باز U مشتق‌پذیر مختلط باشد، آنوقت می‌گوییم که f روی U هولومورفیک است. می‌گوییم که f در نقطه z₀ هرلومورفیک است اگر f روی یک همسایگی z₀ مشتق‌پذیر مختلط باشد. می‌گوییم که f روی یک مجموعه غیر-باز A هولومورفیک است اگر روی یک همسایگی A هولومورفیک باشد. به عنوان یک غیر مثال، تابع f(z) = | z | دقیقا روی یک نقطه (z₀ = 0) مشتق‌پذیر مختلط نیست، و به این دلیل، در نقطه 0 هولومورفیک نیست، زیرا هیچ مجموعه بازی حول 0 موجود نیست که در آن f مشتق‌پذیر مختلط باشد.

رابطه بین مشتق‌پذیری حقیقی و مشتق‌پذیری مختلط به این صورت است: اگر یک تابع مختلط f(x + i y) = u(x, y) + i v(x, y) هولومورفیک باشد، آنوقت u و v در نسبت به x و y مشتق جزیی اولیه دارند و معادلات کوشی-ریمان را برآورده می‌کنند:

${\displaystyle \frac{\mathrm{\partial }u}{\mathrm{\partial }x}=\frac{\mathrm{\partial }v}{\mathrm{\partial }y}\text{and}\frac{\mathrm{\partial }u}{\mathrm{\partial }y}=-\frac{\mathrm{\partial }v}{\mathrm{\partial }x}}$

یا، به صورت معادل، مشتق ویرتین‌گر از f نسبت به z̅ (مزدوج مختلط z) برابر صفر است:

${\displaystyle \frac{\mathrm{\partial }f}{\mathrm{\partial }\overline{z}}=0,}$

که به صورت تقریبی، می‌توان گفت که f به صورت تابعی از z̅ (مزدوج مختلط z) مستقل است.

اگر پیوستگی داده نشده باشد، وارون قضیه لزوما درست نیست. یک وارون ساده آن است که اگر u و v مشتق جزیی اول پیوسته داشته باشند، و معادلات کوشی-ریمان را برآورده سازند، آنوقت f هولومورفیک است. یک وارون رضایت‌بخش‌تر، که اثبات آن بسیار سخت‌تر است، قضیه لومن-منچاف است: اگر f پیوسته باشد، u و v مشتق‌های جزیی اولیه داشته باشند (که لزوما پیوسته نیستند)، و معادلات کوشی-ریمان را برآورده کنند، آنوقت f هولومورفیک است.

تمام توابع چندجمله‌ای در z با ضرایب مختلط بر C هولومورفیک‌اند، و بنابراین سینوس، کسینوس، و تابع نمایی چنین‌اند. (توابع مثلثاتی در حقیقت به‌طور نزدیک وابسته به تابع نمایی اند و به وسیلهٔ فرمول اویلر می‌توانند توسط تابع نمایی تعریف شوند). شاخهٔ اصلی تابع لگاریتم در مجموعهٔ C - {z ∈ R: z ≤ ۰} هولومورفیک است. تابع ریشه می‌تواند به صورت

${\displaystyle \sqrt{z}=e^{\frac{1}{2}\ln z}}$

تعریف شود و بنابراین هولومورفیک است هر کجا که لگاریتم ln(z) هولومورفیک باشد. تابع ۱/z بر {z: z ≠ ۰} هولومورفیک است.

از آنجا که مشتق‌گیری مختلط خطی است و از قوانین ضرب، تقسیم، و قاعدهٔ زنجیری تبعیت می‌کند، مجموع‌ها، ضرب‌ها و ترکیب توبع هولومورفیک، هولومورفیک‌اند و خاج قسمت دو تابع هولومورفیک، هولومورفیک است هرجا که مخرج مخالف صفر باشد. هر تابع هولومورفیک بینهایت با مشتق‌پذیر در هر نقطه است. تابع هولومورفیک منطبق بر سری تیلوراش است و سری تیلور آن در هر دیسک باز که کاملاً درون دامنهٔ U قرار دارد همگراست. سر تیلور ممکن است در یک دیسک بزرگ همگرا باشد؛ برای نمونه سری تیلور تابع لگاریتم در هر دیسک که شامل ۰ نباشد همگراست، در مجاورت خط حقیقی منفی. برای اثبات به توابع هولومورفیک تحلیلی اند مراجعه کنید. اگر C را با R نشان دهیم، آنگاه توابع هولومورفیک منطبق بر آن دسته از توابع دو متغیر حقیقی اند که در معادلات کوشی-ریمان صدق می‌کنند. نزدیک نقاط با مشتقاط غیر صفر، توابع هولومورفیک همنوایند به این معنی که آن‌ها زاویه و شکل (ولی نه اندازه) اشکال کوچک را حفظ می‌کنند. فرمول انتگرال کوشی می‌گوید که هر تابع هولومورفیک درون یک دیسک تماماً با مقادیرش روی حاشیهٔ دیسک مشخص می‌شود. از دید جبری مجموعهٔ توابع هولومورفیک بر یک مجموعهٔ باز یک حلقهٔ جابجایی و یک فضای برداری مختلط‌اند.

مفهوم تابع هولومورفیک می‌تواند به فضاهای متناهی-بعد از آنالیز تابعی گسترش داده شود.

امروزه، اکثر ریاضی دانان عبارت «تابع هولومورف» را به «تابع تحلیلی» ترجیح می‌دهند، نظر به اینکه عبارت دوم مفهوم کلی‌تری است. این هم‌چنینی به این دلیل است که یک نتیجهٔ مهم در آنالیز مختلط این است که هر تابع هولومورفیک به‌طور مختلط تحلیلی است، حقیقتی که مستقیماً تعاریف را دنبال نمی‌کند. با این وجود عبارت «تحلیلی» همچنان پرکاربرد است. کلمهٔ «هولومورف» از کلمهٔ یونانی «اُلُس» (ὅλος)، به معنی «همه»، و «مُرفِه» (μορφή)، به معنی «صورت» یا «ظاهر» مشتق شده‌است.

• تابع مرومورفیک
• تابع تام

1. ↑ Analytic functions of one complex variable, Encyclopedia of Mathematics. (European Mathematical Society ft. Springer, 2015)
2. ↑ "Analytic function", Encyclopedia of Mathematics, EMS Press, 2001 [1994], retrieved February 26, 2021
3. ↑ Adam Getchel. "Regular Function". MathWorld. Retrieved February 26, 2021.
4. ↑ Ahlfors, L., Complex Analysis, 3 ed. (McGraw-Hill, 1979).
5. ↑ Henrici, P., Applied and Computational Complex Analysis (Wiley). [Three volumes: 1974, 1977, 1986.]
6. ↑ Peter Ebenfelt, Norbert Hungerbühler, Joseph J. Kohn, Ngaiming Mok, Emil J. Straube (2011) Complex Analysis Springer Science & Business Media
7. ↑ Markushevich, A.I.,Theory of Functions of a Complex Variable (Prentice-Hall, 1965). [Three volumes.]
8. ↑ Gunning, Robert C.; Rossi, Hugo (1965). Analytic Functions of Several Complex Variables. Prentice-Hall series in Modern Analysis. Englewood Cliffs, N.J.: Prentice-Hall. pp. xiv+317. ISBN 9780821869536. MR 0180696. Zbl 0141.08601.
9. ↑ Gray, J. D.; Morris, S. A. (1978), "When is a Function that Satisfies the Cauchy-Riemann Equations Analytic?", The American Mathematical Monthly (published April 1978), 85 (4): 246–256, doi:10.2307/2321164, JSTOR 2321164.