⛰️ از چشمهی هموار تا گویِ تکیهگاه: ساخت تابع برآمدگی موضعی
بخش نخست: اثبات بینهایت بار مشتقپذیری تابع قطعهای و ساخت تابع hm بر روی منیفلد
چو خواهی که خشتی نهی بر دیار، نخستین باید که سازی استوار.
تابعی هموار از عدم تا وجود، که در مرزها نشکند هیچ پود.
این است رازِ تابعِ برآمدگی، که موضع را بخشد به یکبارگی.
۱. مقدمه و درآمد سخن
پس از اثبات لمِ وجود تابع برآمدگی موضعی (Bump Function)، گام بنیادین بعدی پیوند زدن این توابع موضعی برای ساخت افراز یکان هموار (C∞-Partition of Unity) بر روی کل منیفلد است. در این نخستین گام، ابتدا همواریِ تابعِ پایهای را تا بینهایت بررسی میکنیم و سپس آن را بر روی موضعی از منیفلد مینشانیم.
۲. اثبات همواری و بینهایت بار مشتقپذیری تابع قطعهای
تابع پایهای زیر را در نظر بگیرید:
f(s) = e−1/s (برای s > 0) | f(s) = 0 (برای s ≤ 0)
اثبات رده C∞ بودن در مبدأ (s = 0):
برای هر k ∈ N و 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 در سراسر R از رده C∞ است.
۳. ساخت تابع برآمدگی بر روی منیفلد
با قرار دادن g(z) = f(ρ2 − ||z||2) روی Rn، تکیهگاه این تابع برابر گوی بسته است:
supp(g) = B(0, ρ) = Vm ⊂ x(U)
تابع hm: M → R بهصورت زیر بر منیفلد امتداد مییابد:
hm(p) = g(x(p)) = f(ρ2 − ||x(p)||2) (برای p ∈ U)
hm(p) = 0 (برای p ∈ M \ U)
ویژگیهای بنیادین hm:
- hm ∈ C∞(M): زیرا در داخل U ترکیب نگاشتهای هموار است، در خارج U صفر مطلق است و در مرز نیز تمامی مشتقات صفر میشوند.
- hm(m) = f(ρ2) = e−1/ρ2 > 0.
- تکیهگاه hm زیرمجموعهای فشرده درون U است: supp(hm) = Um ⊂ U.
💡 حکمتِ همواری در مرز:
«تابع e−1/s با فروتنیِ تمام در صفر آرام میگیرد؛ تمامِ مشتقاتش صفر میشوند تا وقتی آن را به صفرِ مطلق پیوند میدهیم، هیچ شکستگی یا گسستی پدید نآید. این همان پلِ همواری است که ریاضیات میان "وجود" و "عدم" میزند.»
این نوشتار بخشی از پروژهی بازنویسی یادداشتهای ریاضیِ
دکتر علیاکبر عالمزاده در زمینهی هندسهی منیفلدهاست.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.