আবেলের উপপাদ্য

এই নিবন্ধটি অ্যাবেলের উপপাদ্য শক্তি ধারার উপর সম্পর্কে। অ্যাবেলের উপপাদ্য বীজগাণিতিক বক্ররেখার উপর জন্য অ্যাবেল–জ্যাকোবি নকশা দেখুন। অ্যাবেলের উপপাদ্য পঞ্চম মাত্রার অসমাধানযোগ্যতার উপর জন্য অ্যাবেল–রুফিনি উপপাদ্য দেখুন। অ্যাবেলের উপপাদ্য সরল রেখাধারী পার্থক্য সমীকরণের উপর জন্য অ্যাবেলের পরিচয় দেখুন। অ্যাবেলের উপপাদ্য অবিভাজ্য পলিনোমিয়ালের উপর জন্য অ্যাবেলের অবিভাজ্যতার উপপাদ্য দেখুন। অ্যাবেলের ধারা যোগফল বের করার সূত্র, যেখানে সমাকলন ব্যবহৃত হয় জন্য অ্যাবেলের যোগফল সূত্র দেখুন।

অ্যাবেলের উপপাদ্য (Abel's theorem) গণিতে একটি পাওয়ার সিরিজের সীমাকে তার গুণকগুলোর যোগফলের সাথে সম্পর্কিত করে। এটি নরওয়েজীয় গণিতবিদ নিলস হেনরিক অ্যাবেলের নামে নামকরণ করা হয়েছে, যিনি এটি ১৮২৬ সালে প্রমাণ করেছিলেন।^[১]

উপপাদ্য

ধরা যাক টেইলর শ্রেণি $${\displaystyle G(x)=\sum _{k=0}^{\infty }a_{k}x^{k}}$$ একটি ঘাত শ্রেণি, যার বাস্তব সহগ ${\displaystyle a_{k}}$ এবং অভিসারিত ব্যাসার্ধ পার্স করতে ব্যর্থ (সিনট্যাক্স ত্রুটি): {\displaystyle 1।} ধরে নেওয়া হয়েছে। ধরা যাক যে শ্রেণি $${\displaystyle \sum _{k=0}^{\infty }a_{k}}$$ অভিসারিত। তাহলে ${\displaystyle G(x)}$ বামদিক থেকে অবিচ্ছিন্ন ${\displaystyle x=1}$-এ, অর্থাৎ পার্স করতে ব্যর্থ (সিনট্যাক্স ত্রুটি): {\displaystyle \lim_{x\to 1^-} G(x) = \sum_{k=0}^\infty a_k।}

একই উপপাদ্য জটিল ঘাত শ্রেণির ক্ষেত্রেও প্রযোজ্য, $${\displaystyle G(z)=\sum _{k=0}^{\infty }a_{k}z^{k},}$$ যদি ${\displaystyle z\to 1}$ সম্পূর্ণরূপে একক স্টল্ৎস সেক্টর এর মধ্যে থাকে, যা হলো উন্মুক্ত একক বৃত্তের এমন একটি অঞ্চল যেখানে $${\displaystyle |1-z|\leq M(1-|z|)}$$ একটি স্থির এবং সীমিত ${\displaystyle M>1}$ এর জন্য। এই শর্ত ব্যতীত সীমা বিদ্যমান নাও থাকতে পারে: উদাহরণস্বরূপ, ঘাত শ্রেণি $${\displaystyle \sum _{n>0}{\frac {z^{3^{n}}-z^{2\cdot 3^{n}}}{n}}}$$ ${\displaystyle z=1}$-এ ${\displaystyle 0}$-এ অভিসারিত হয়, কিন্তু ${\displaystyle e^{\pi i/3^{n}}}$ আকারের যেকোনো বিন্দুর কাছে এটি সীমাবদ্ধ নয়। ফলে, ${\displaystyle z}$ একক বৃত্তে ১-এর দিকে ধাবিত হলে এই মান সীমা হিসেবে গণ্য হয় না।

উল্লেখ্য, ${\displaystyle G(z)}$ বন্ধ অন্তর ${\displaystyle [0,t]}$-এ অবিচ্ছিন্ন, যেখানে ${\displaystyle t<1}$, কারণ এই শ্রেণিটি সমজাত অভিসারণ এর মাধ্যমে সংযোজিত বৃত্তের সঙ্কুচিত উপসেটগুলিতে অভিসারিত হয়। তবে, অ্যাবেলের উপপাদ্য অনুযায়ী ${\displaystyle G(z)}$ এর ${\displaystyle [0,1]}$ এর উপর সংযোজনটি অবিচ্ছিন্ন।

স্টল্ৎস সেক্টর

20 স্টল্ৎস সেক্টর, যেখানে ${\displaystyle M}$ এর মান ১.০১ থেকে ১০ পর্যন্ত পরিবর্তিত। লাল রেখাগুলি শঙ্কুর ডান প্রান্তের স্পর্শক।

স্টল্ৎস সেক্টর ${\displaystyle |1-z|\leq M(1-|z|)}$ এর নির্দিষ্ট সমীকরণ হলো $${\displaystyle y^{2}=-{\frac {M^{4}(x^{2}-1)-2M^{2}((x-1)x+1)+2{\sqrt {M^{4}(-2M^{2}(x-1)+2x-1)}}+(x-1)^{2}}{(M^{2}-1)^{2}}}}$$ এবং এটি ডানদিকে বিভিন্ন মানের জন্য চিত্রিত করা হয়েছে।

সেক্টরের বাম প্রান্ত হলো ${\displaystyle x={\frac {1-M}{1+M}}}$, এবং ডান প্রান্ত হলো ${\displaystyle x=1}$। ডান প্রান্তে এটি একটি শঙ্কুতে পরিণত হয়, যার কোণ ${\displaystyle 2\theta }$, যেখানে ${\displaystyle \cos \theta ={\frac {1}{M}}}$।

মন্তব্য

এই উপপাদ্যের সরাসরি একটি ফলাফল হল, যদি ${\displaystyle z}$ কোনও অশূন্য জটিল সংখ্যা হয়, যার জন্য ধারাটি $${\displaystyle \sum _{k=0}^{\infty }a_{k}z^{k}}$$ অবসিত হয়, তবে এটি প্রমাণ করে যে: $${\displaystyle \lim _{t\to 1^{-}}G(tz)=\sum _{k=0}^{\infty }a_{k}z^{k}}$$ যেখানে সীমাটি নিচ থেকে নেওয়া হয়।

এই উপপাদ্যটি এমন ধারাগুলোর জন্যও সাধারণীকৃত হতে পারে, যেগুলো অসীমে অভিসারিত হয়।^{[তথ্যসূত্র প্রয়োজন]} যদি $${\displaystyle \sum _{k=0}^{\infty }a_{k}=\infty }$$ তবে $${\displaystyle \lim _{z\to 1^{-}}G(z)\to \infty .}$$

তবে, যদি ধারা কেবলমাত্র অসংগতি প্রমাণিত হয়, কিন্তু অন্য কোনও কারণে অসীমে না পৌঁছায়, তাহলে উপপাদ্যের দাবি ব্যর্থ হতে পারে। উদাহরণস্বরূপ, নিচের ধারাটি দেখুন: $${\displaystyle {\frac {1}{1+z}}.}$$

যেখানে ${\displaystyle z=1}$, ধারাটি হয় ${\displaystyle 1-1+1-1+\cdots ,}$ কিন্তু ${\displaystyle {\tfrac {1}{1+1}}={\tfrac {1}{2}}.}$

উল্লেখযোগ্য বিষয় হল, এই উপপাদ্যটি ${\displaystyle R=1}$ ব্যতিরেকে অন্যান্য অভিসারণ ব্যাসার্ধের ক্ষেত্রেও প্রযোজ্য। ধরা যাক, $${\displaystyle G(x)=\sum _{k=0}^{\infty }a_{k}x^{k}}$$ একটি শক্তি ধারা যার অভিসারণ ব্যাসার্ধ ${\displaystyle R,}$ এবং ধরে নেওয়া হয় যে ধারা ${\displaystyle x=R}$-এ অভিসারিত হয়। তাহলে ${\displaystyle G(x)}$ ${\displaystyle x=R}$-এ বামে থেকে ক্রমাগত, অর্থাৎ: $${\displaystyle \lim _{x\to R^{-}}G(x)=G(R).}$$

প্রয়োগ

অ্যাবেলের উপপাদ্যের প্রয়োগ হল, এটি আমাদের একটি শক্তি ধারার সীমা নির্ণয় করতে সহায়তা করে যখন তার আর্গুমেন্ট (${\displaystyle z}$) ${\displaystyle 1}$-এর কাছাকাছি নিচ থেকে পৌঁছায়, এমন ক্ষেত্রেও যেখানে শক্তি ধারার অভিসারণ ব্যাসার্ধ, ${\displaystyle R,}$ সমান ${\displaystyle 1}$ এবং সীমাটি সসীম কিনা তা নিশ্চিত হওয়া যায় না। উদাহরণস্বরূপ, দ্বিপদ ধারার ক্ষেত্রে এটি দেখুন। অ্যাবেলের উপপাদ্য আমাদের অনেক ধারার সুনির্দিষ্ট মান নির্ণয়ে সাহায্য করে। উদাহরণস্বরূপ, যখন $${\displaystyle a_{k}={\frac {(-1)^{k}}{k+1}},}$$ তখন আমরা পাই: $${\displaystyle G_{a}(z)={\frac {\ln(1+z)}{z}},\qquad 0<z<1,}$$ যেখানে জ্যামিতিক শক্তি ধারাটি সমজাতীয়ভাবে অভিসারিত। এইভাবে, $${\displaystyle \sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}}$$ অ্যাবেলের উপপাদ্য দ্বারা ${\displaystyle \ln 2}$-এ অভিসারিত হয়। অনুরূপভাবে, $${\displaystyle \sum _{k=0}^{\infty }{\frac {(-1)^{k}}{2k+1}}}$$ অভিসারিত হয় ${\displaystyle \arctan 1={\tfrac {\pi }{4}}.}$

${\displaystyle G_{a}(z)}$ কে উৎপাদক ফাংশন বলা হয়, যা ${\displaystyle a}$ ক্রমের জন্য উৎপাদক। অ্যাবেলের উপপাদ্য প্রায়োগিক সম্ভাবনার গ্যালটন-ওয়াটসন প্রক্রিয়ার মতো বিভিন্ন বাস্তব সংখ্যিক ও অঋণাত্মক ক্রমের উৎপাদক ফাংশন নিয়ন্ত্রণে সহায়ক।

প্রমাণের সংক্ষিপ্তসার

যখন ${\displaystyle a_{0}}$-এর থেকে একটি ধ্রুবক বিয়োগ করা হয়, তখন আমরা ধরে নিতে পারি যে পার্স করতে ব্যর্থ (এসভিজি (ব্রাউজার প্লাগইনের মাধ্যমে ম্যাথএমএল সক্রিয় করা যেতে পারে): "http://localhost:6011/bn.wikipedia.org/v1/" সার্ভার থেকে অবৈধ উত্তর ("Math extension cannot connect to Restbase."):): {\displaystyle \sum_{k=0}^\infty a_k=0।} এখন ${\displaystyle s_{n}=\sum _{k=0}^{n}a_{k}\!}$ হিসেবে ধরা যাক। তারপর, ${\displaystyle a_{k}=s_{k}-s_{k-1}}$ ধরে এবং ধারাটির সরল রূপান্তর (summation by parts) করলে পাই: পার্স করতে ব্যর্থ (এসভিজি (ব্রাউজার প্লাগইনের মাধ্যমে ম্যাথএমএল সক্রিয় করা যেতে পারে): "http://localhost:6011/bn.wikipedia.org/v1/" সার্ভার থেকে অবৈধ উত্তর ("Math extension cannot connect to Restbase."):): {\displaystyle G_a(z) = (1-z)\sum_{k=0}^{\infty} s_k z^k।}

যদি ${\displaystyle \varepsilon >0}$ হয়, তবে এমন একটি ${\displaystyle n}$ নির্বাচন করা সম্ভব যাতে ${\displaystyle |s_{k}|<\varepsilon }$ হয় সব ${\displaystyle k\geq n}$ জন্য এবং দেখা যায় যে: $${\displaystyle \left|(1-z)\sum _{k=n}^{\infty }s_{k}z^{k}\right|\leq \varepsilon |1-z|\sum _{k=n}^{\infty }|z|^{k}=\varepsilon |1-z|{\frac {|z|^{n}}{1-|z|}}<\varepsilon M}$$ যখন ${\displaystyle z}$ নির্দিষ্ট স্টলজ কোণের মধ্যে থাকে। যথেষ্ট ছোট ${\displaystyle z}$ যখন ${\displaystyle 1}$-এর নিকটবর্তী হয়, তখন পাই: $${\displaystyle \left|(1-z)\sum _{k=0}^{n-1}s_{k}z^{k}\right|<\varepsilon ,}$$ ফলে ${\displaystyle \left|G_{a}(z)\right|<(M+1)\varepsilon }$ হয় যখন ${\displaystyle z}$ যথেষ্টভাবে ${\displaystyle 1}$-এর নিকটবর্তী এবং স্টলজ কোণের মধ্যে থাকে।

সংশ্লিষ্ট ধারণা

অ্যাবেলের উপপাদ্যের বিপরীত গুলিকে টবারীয় উপপাদ্য বলা হয়: কোনও সুনির্দিষ্ট বিপরীত নেই, তবে কিছু শর্তাধীন অনুমানের উপর ভিত্তি করে ফলাফল পাওয়া যায়। অসংগতি ধারা এবং এর যোগফল পদ্ধতি নিয়ে গবেষণার ক্ষেত্রটিতে অনেক উপপাদ্য অ্যাবেলীয় এবং টবারীয় ধরণের।

আরও দেখুন

আরও পড়ুন

• Ahlfors, Lars Valerian (সেপ্টেম্বর ১, ১৯৮০)। Complex Analysis (Third সংস্করণ)। McGraw Hill Higher Education। পৃষ্ঠা 41–42। আইএসবিএন 0-07-085008-9।  - আহলফোর্স এটিকে অ্যাবেলের সীমা উপপাদ্য বলেছেন।

তথ্যসূত্র

1. Abel, Niels Henrik (১৮২৬)। "Untersuchungen über die Reihe ${\displaystyle 1+{\frac {m}{1}}x+{\frac {m\cdot (m-1)}{2\cdot 1}}x^{2}+{\frac {m\cdot (m-1)\cdot (m-2)}{3\cdot 2\cdot 1}}x^{3}+\ldots }$ u.s.w."। J. Reine Angew. Math.। 1: 311–339। 

বহিঃসংযোগ

• Abel summability at PlanetMath (এই ধরণের আরও সাধারণ অ্যাবেলীয় উপপাদ্যের আলোচনা)
• A.A. Zakharov (২০০১), "Abel summation method", Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media, আইএসবিএন 978-1-55608-010-4 উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
• এরিক ডব্লিউ. ওয়াইস্টাইন সম্পাদিত ম্যাথওয়ার্ল্ড থেকে "Abel's Convergence Theorem"।