برهان از یکان و ساخت تابع مقیاس نهایی بر چندلاها (منیفلدها)
موضوع: از توابع برآمدگی موضعی (Bump Functions) تا افراز یکان هموار (C∞-Partition of Unity) و کاربرد در ساخت متریک و انتگرالگیری
اجزایِ پراکنده چو در رشته کشیدند،
یکتاییِ کل از دلِ کثرت به دمیدند.
با دستِ همواریِ هر گوشهِٔ خلوت،
نقشِ ابدیت به سراپرده کشیدند.
۱. مقدمه و درآمد سخن
پس از اثبات لمِ وجود تابع برآمدگی موضعی (Bump Function)، گام بنیادین بعدی پیوند زدن این ساختارهای خُرد برای تدوین افراز یکان هموار (C∞-Partition of Unity) بر روی کل منیفلد است. در این ساحت، با تکیه بر ویژگیهای توپولوژیک «هاسدورف بودن»، «شمارشپذیری دوم» و پیامد فرخندهی آن یعنی «پارافشردگی (Paracompactness)»، مجموع این توابع موضعی خوشتعریف گشته و با نرمالسازی دقیق، افراز کامل واحد به بار مینشیند.
۲. روند برهان و استنتاج ریاضی (گامهای تکمیلی)
گام پنجم: بررسی همواری و بینهایتبار مشتقپذیری تابع قطعهای
تابع پایهای زیر را بر روی خط حقیقی ℝ در نظر میگیریم:
f(s) = { e-1/s for s > 0 , 0 for s ≤ 0 }
اثبات رده C∞ بودن در مبدأ (s = 0):
برای هر k ∈ ℕ و s > 0، با استقرای ریاضی میتوان نشان داد که مشتق k-اُم همواره به فرم زیر است:
f(k)(s) = P2k(1/s) · e-1/s
که در آن P2k یک چندجملهای از درجه 2k نسبت به متغیر 1/s است. با محاسبه حد راست هنگامی که s → 0+ (با تغییر متغیر t = 1/s → +∞):
lims → 0+ f(k)(s) = limt → +∞ P2k(t) · e-t = 0
از آنجا که حد چپ و تمامی مشتقات چپ در صفر برابر با صفر مطلق هستند، پیوستگی تمام مراتب مشتقات تضمین شده و تابع f در سراسر ℝ هموار (C∞) است.
گام ششم: ساخت تابع برآمدگی موضعی بر روی منیفلد
ابتدا بر روی فضای اقلیدسی ℝn تابع کمکی g(z) = f(ρ2 - ||z||2) را تعریف میکنیم. تکیهگاه (Support) این تابع گوی بسته به شعاع ρ است:
supp(g) = B(0, ρ) = V̄m ⊂ x(U)
حال تابع hm : M → ℝ را به سراسر منیفلد گسترش میدهیم:
hm(p) = { g(x(p)) = f(ρ2 - ||x(p)||2) if p ∈ U , 0 if p ∈ M \ U }
ویژگیهای کلیدی تابع برآمدگی hm:
- hm ∈ C∞(M) (درون U ترکیب توابع هموار است و در خارج آن صفر مطلق بوده و در مرز تمام مشتقات محو میشوند).
- در نقطه مرکزی مثبت است: hm(m) = f(ρ2) = e-1/ρ2 > 0.
- تکیهگاه آن زیرمجموعهای فشرده درون چارت موضعی است: supp(hm) = Ūm ⊂ U.
گام هفتم: ساخت افراز یکان سراسری (Partition of Unity)
فرض کنید منیفلد M هاسدورف و دارای پایهی شمارشپذیر دوم باشد؛ بنابراین فضا پارافشرده (Paracompact) است:
پوشش متناهیموضعی: به ازای هر پوشش باز {Uα}، میتوان با اتکا به پارافشردگی، یک پالایشِ متناهیموضعی باز مانند {Wi}i ∈ I همراه با خانوادهای از توابع هموار {hi}i ∈ I یافت به طوری که supp(hi) ⊂ Wi باشد و در هر نقطه p ∈ M، تنها شمار متناهی از hi(p)ها مقداری ناصفر داشته باشند.
تعریف تابع مجموع (پوشش ناصفر): تابع مقیاس را تعریف میکنیم:
H(p) = ∑i ∈ I hi(p)
به دلیل تناهی موضعی، این مجموع در همسایگی هر نقطه متناهی است؛ پس H ∈ C∞(M). همچنین چون هر نقطه حداقل در تکیهگاه مثبت یکی از توابع قرار دارد، همواره H(p) > 0 خواهد بود.
نرمالسازی و نیل به افراز یکان: برای هر شاخص i ∈ I، تابع وزنِ افراز را چنین وضع میکنیم:
ψi(p) = hi(p) / H(p) = hi(p) / ∑j hj(p)
خواص نهایی خانواده {ψi}:
- همواری کامل: ψi ∈ C∞(M)
- کرانداری: 0 ≤ ψi(p) ≤ 1
- حفظ تکیهگاه موضعی:
ψi(p) = hi(p) / H(p) = hi(p) / ∑j hj(p)
خواص نهایی خانواده {ψi}:
- همواری کامل: ψi ∈ C∞(M)
- کرانداری: 0 ≤ ψi(p) ≤ 1
- حفظ تکیهگاه موضعی: supp(ψi) = supp(hi) ⊂ Wi
- اصل یکانگی: ∑i ∈ I ψi(p) = H(p) / H(p) ≡ 1 بر سراسر منیفلد.
g = ∑i ψi gi
امتداد میدانهای تانسوری: تعمیم میدانهای برداری، عملگرهای دیفرانسیلی و تانسورهای موضعی به سراسر منیفلد بدون پدید آمدن ناپیوستگی در مرزهای همپوشانی کاردها.
«افراز یکان، تسبیحِ کثرتها در پیشگاهِ وحدتِ مطلق است؛ آنجا که اجزایِ محدود، بیآنکه هویتِ خویش ببازند، در ساختاری هماهنگ به قامتِ یکتایی آراسته میشوند.»
واژگان کلیدی:
افراز یکان (Partition of Unity)، تابع برآمدگی (Bump Function)، پارافشردگی، تناهی موضعی، متریک ریمانی سراسری، انتگرالگیری روی منیفلد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.