ভেক্টর ক্যালকুলাসে গ্রিনের উপপাদ্য, গাউসের ডাইভারজেন্স উপপাদ্য এবং কেলভিন-স্টোকসের উপপাদ্যকে তিনটি পৃথক ও জটিল সূত্র হিসেবে শেখানো হয়। তবে আধুনিক ডিফারেনশিয়াল জ্যামিতি প্রমাণ করেছে যে এই সবকটি উপপাদ্য আসলে একটিমাত্র পরম সুন্দর ও সার্বজনীন সমীকরণের বিশেষ ক্ষেত্র: স্টোকসের সার্বজনীন উপপাদ্য (Generalized Stokes’ Theorem)। সীমানাযুক্ত ওরিয়েন্টেবল ম্যানিফোল্ডে এক্সটেরিয়র ক্যালকুলাসের এই সূত্রটি স্থানীয় অবকলন এবং বৈশ্বিক টপোলজির মধ্যে সেতুবন্ধন রচনা করে।
১. ওরিয়েন্টেবিলিটি ও পার্টিশন অব ইউনিটি
একটি $n$-মাত্রিক মসৃণ ম্যানিফোল্ড $M$-এর ওপর একটি $n$-ফর্ম সমাকলন করতে হলে ম্যানিফোল্ডটিকে ওরিয়েন্টেবল (Orientable) হতে হয়। এর অর্থ হলো, এর সকল রূপান্তর মানচিত্রের জ্যাকোবিয়ান নির্ণায়কের মান সর্বত্র ধনাত্মক হতে হবে:
det left( frac{partial phi_beta^i}{partial phi_alpha^j} right) > 0
ম্যানিফোল্ডের বিভিন্ন খণ্ডাংশ জোড়া লাগিয়ে সমাকলন সংজ্ঞায়িত করার জন্য ব্যবহৃত হয় পার্টিশন অব ইউনিটি (Partition of Unity)। এটি মসৃণ ফাংশন গুচ্ছ ${rho_alpha}$ যা ম্যানিফোল্ডের যেকোনো বিন্দুতে সমন্বিত মান ১ প্রদান করে ($sum_alpha rho_alpha(p) = 1$)। এর ফলে সমাকলনকে রূপান্তর করা যায়:
int_M omega equiv sum_alpha int_{U_alpha} rho_alpha omega
২. সীমানাযুক্ত ম্যানিফোল্ড ও স্টোকসের সার্বজনীন উপপাদ্য
ধরা যাক $M$ একটি কম্প্যাক্ট, ওরিয়েন্টেড $n$-মাত্রিক মসৃণ ম্যানিফোল্ড যার সীমানা $partial M$, এবং $omega in Omega^{n-1}(M)$ একটি কম্প্যাক্ট সাপোর্টের মসৃণ $(n-1)$-ফর্ম। তবে স্টোকসের সার্বজনীন রূপটি হলো:
int_{partial M} omega = int_M domega
এই একটিমাত্র সূত্র সমগ্র উচ্চতর ক্যালকুলাসকে নিজের মধ্যে ধারণ করে:
- ক্যালকুলাসের মৌলিক উপপাদ্য ($n=1$): $[a, b]$ ব্যবধানে $int_a^b f'(x) dx = f(b) – f(a)$।
- গ্রিনের উপপাদ্য ($n=2$ তল): সমতলের আবদ্ধ পথের সমাকলনকে ক্ষেত্রফল সমাকলনে রূপান্তর।
- চিরায়ত স্টোকস উপপাদ্য ($n=2$ বক্রতল): পৃষ্ঠতলের কার্ল ফ্লাক্সকে সীমানা লুপের সঞ্চালনে রূপান্তর।
- গাউস ডাইভারজেন্স উপপাদ্য ($n=3$ আয়তন): বদ্ধ তলের ফ্লাক্সকে অভ্যন্তরীণ ডাইভারজেন্সের আয়তন সমাকলনে রূপান্তর।
৩. ডি রাম কোহোমোলজি (De Rham Cohomology)
যেহেতু এক্সটেরিয়র ডেরিভেটিভের ক্ষেত্রে সর্বদা $d^2 = 0$, তাই যেকোনো এক্স্যাক্ট ফর্ম ($omega = deta$) স্বয়ংক্রিয়ভাবে ক্লোজড ফর্ম ($domega = 0$) হয়:
B^k(M) subseteq Z^k(M)
কিন্তু সমস্ত ক্লোজড ফর্ম কি এক্স্যাক্ট? এই প্রশ্নের উত্তর দেয় $k$-তম ডি রাম কোহোমোলজি গ্রুপ:
H_{text{dR}}^k(M) equiv frac{Z^k(M)}{B^k(M)} = frac{{text{Closed } ktext{-forms}}}{{text{Exact } ktext{-forms}}}
ডি রামের যুগান্তকারী উপপাদ্য অনুসারে, এই বিশ্লেষণাত্মক কোহোমোলজি গ্রুপটি টপোলজিক্যাল সিঙ্গুলার কোহোমোলজির সাথে আইসোমরফিক ($H_{text{dR}}^k(M) cong H^k(M; mathbb{R})$)। অর্থাৎ ডিফারেনশিয়াল সমীকরণের সমাধান যোগ্যতা সরাসরি ম্যানিফোল্ডের ছিদ্র ও জ্যামিতিক কাঠামোর ওপর নির্ভরশীল।
