قضیه کارلسون
قضیه کارلسون در ریاضیات، یک قضیه یکتایی در تحلیل مختلط است که توسط فریتز دیوید کارلسون کشف شد. به زبان ساده، این قضیه بیان میکند که دو تابع تحلیلی متفاوت که در بینهایت به سرعت رشد نمیکنند، نمیتوانند در اعداد صحیح با هم مطابقت داشته باشند.
این قضیه معمولاً برای اثبات یکتایی توسعه سری نیوتون به کار میرود و تعمیمهای آن در سایر توسعهها نیز مورد استفاده قرار میگیرد.
شرایط قضیه
فرض کنید تابع f سه شرط زیر را برآورده کند:
- تابع f یک تابع تمامنما (entire function) از نوع نمایی است، به این معنی که برای مقادیر حقیقی a و b، |f(z)| ≤ C e^(a|z|) برقرار است.
- وجود دارد C و b به گونهای که |f(n)| ≤ C e^(-bn) برای هر عدد صحیح غیرمنفی n برقرار باشد.
- تابع f روی اعداد صحیح غیرمنفی صفر میشود.
در این صورت، تابع f هویتأ صفر است.
کاربردهای قضیه
قضیه کارلسون در اثبات یکتایی سریهای نیوتون کاربرد دارد. اگر تابعی دارای تمام تفاوتهای جلو باشد، سری نیوتون آن به صورت f(x) = ∑ [f(n) / n!] (x)_n تعریف میشود. در اینجا، (x)_n ضریب دو جملهای است و f(n) تفاوت جلو n-ام است. اگر شرایط قضیه کارلسون برآورده شود، سری نیوتون یکتا خواهد بود.