تابع تحلیلی

تابع f روی مجموعه باز D در خط حقیقی، تحلیلی حقیقی است اگر برای هر x_۰ در D بتوان نوشت:

${\displaystyle f(x)=\sum _{n=0}^{\mathrm{\infty }}{a}_n{\left(x-x_0\right)}^n}$ ${\displaystyle =a_0+a_1(x-x_0)+a_2(x-x_0{)}^2+a_3(x-x_0{)}^3+\cdots }$

در این فرمول ضرایب a_۰، a_۱، … اعداد حقیقی هستند و سری برای x در یک همسایگی از x_۰ همگرا است. به صورت دیگر، یک تابع تحلیلی یک تابع بینهایت بار مشتق پذیراست به این صورت که سری تیلور در هر نقطه x_۰ در دامنه‌اش

${\displaystyle f(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n}$

برای x به اندازه کافی نزدیک به x_۰ همگراست و مقدارش برابر با f(x) است. تعریف یک تابع تحلیلی مختلط با جایگزین کردن «مختلط» به جای «حقیقی» و «صفحهٔ مختلط» به جای «خط حقیقی» در مطالب بالا بدست می‌آید.

• هر چندجمله‌ای (حقیقی یا مختلط) یک تابع تحلیلی است. به این دلیل که اگر یک چندجمله‌ای از درجه n باشد، هر جمله از درجه بزرگ‌تر از n در بسط سری تیلورش صفر است، وبنا براین، این سری به‌طور جزئی همگرا خواهد بود.
• تابع نمایی تحلیلی است. هر سری تیلور برای این تابع نه فقط برای x به اندازه کافی نزدیک به x_۰ (همان‌طور که در تعریف آمده) بلکه برای همه مقدار x (حقیقی یا مختلط) همگرا می‌شود.
• توابع مثلثاتی، لگاریتم و توابع توانی روی هر بازهٔ باز در دامنهٔشان تحلیلی‌اند.
• تابع قدر مطلق تحلیلی نیست زیرا مشتق پذیر نیست. توابع تعریف شدهٔ تکه ای (تابعهای معلوم به وسیله فرمولهای مختلف در مناطق مختلف) تحلیلی نیستند.

• مجموع‌ها، ضرب‌ها و ترکیبات توابع تحلیلی، تحلیلی‌اند.
• معکوس یک تابع تحلیلی که هیچ‌کجا صفر نیست، تحلیلی است.
• هر تابع تحلیلی هموار است.

یک چندجمله‌ای نمی‌تواند در تعداد زیادی نقطه صفر باشد مگر اینکه چندجمله‌ای صفر باشد (به‌طور دقیق تر، تعداد صفرها حداکثر می‌تواند به اندازهٔ درجهٔ چندجمله‌ای باشد). حکمی مشابه ولی ضعیفتر برای توابع تحلیلی وجود دارد. اگر مجموعهٔ صفرهای تابع تحلیلی f یک نقطهٔ انباشتگی در دامنه‌اش داشته باشد، آنگاه f در تمام مؤلفهٔ همبندی که شامل نقطهٔ انباشتگیست صفر است.

1. ↑ «تابع تحلیلی» [ریاضی] هم‌ارزِ «analytic function»؛ منبع: گروه واژه‌گزینی. جواد میرشکاری، ویراستار. دفتر سوم. فرهنگ واژه‌های مصوب فرهنگستان. تهران: انتشارات فرهنگستان زبان و ادب فارسی. شابک ۹۶۴-۷۵۳۱-۵۰-۸ (ذیل سرواژهٔ تابع تحلیلی)