اگه اهل علم و دغدغههای آبوهوایی باشی، حتماً سرت به مدلهای اقلیمی و ریاضی خورده! یه تیم پژوهشی (نامهاشون هم کلی طولانیه!) توی این مقاله اومدن راجع به یه مبحث نسبتاً پیچیده اما مهم صحبت کردن؛ یعنی اینکه راهحلهای معادلات مربوط به تغییرات آبوهوایی (همون Climate Change) واقعاً وجود دارن؟ و اصلاً اگه وجود دارن، منحصر به فرد هستن یا نه؟ خلاصه کلی سؤال جذاب که پایهی مدلسازی ما رو شکل میدن.
برای اینکه جوابِ این سؤالات رو بدن، اومدن سراغ یه ابزار ریاضی خفن به اسم نظریه نقطه ثابت! بذار خیلی خودمونی بگم: نظریه نقطه ثابت (Fixed Point Theory) تو ریاضی یه جورایی همون جادوگره! وقتی یه فرآیند رو بارها و بارها تکرار میکنی و به یه نقطه میرسی که اگه دوباره روش همون فرآیند رو اجرا کنی، همونجا میمونه، به اون میگن نقطه ثابت. تو مدلسازی آبوهوا و حتی مدلهای آماری مثل مدل لانژوین (Langevin Model – یه مدل برای توصیف رفتار سیستمهای تصادفی و پُر سر و صدای طبیعته) این مفهوم خیلی مهمه؛ چون میشه فهمید مدل اصلاً به یه جوابِ درست و حسابی میرسه یا سرگردون میشه.
حالا توی این مقاله میگن برای بررسی وجود و یکتایی (یعنی Uniqueness: اینکه فقط یه جواب داریم و نه چندتا جواب متناقض) راهحلهای معادلات اقلیمی، باید از نتایج و قضایایی که قبلاً در منابع علمی اومده، کمک بگیریم. یعنی تکیه نکردن فقط به حرف خودشون، بلکه کلی حق تقدم دادن به ریاضیدانهای قبلی!
یکی دیگه از نکات جذاب مقاله، تأکید روی پایداری (Stability: یه توضیح ساده اینکه «مدل» بعد از گذشت زمان همینطوری نمیپاشه و راهحلش از مدار خارج نمیشه، بلکه همون دور و بر یه مقدار معقول میمونه) و سازگاری (Consistency: یعنی مدل با واقعیتهای فیزیکی جور در میاد) مدلهای آبوهوایی و مدلهای آماری مثل لانژوین هست.
برای اینکه این حرفها رو کامل کنند، چندتا تعریف و قضیه باحال از دنیای نقطه ثابت رو هم مرور کردن؛ مثلاً:
– F-Contraction: یه جور رابطه بین دوتا مقدار هست که قراره بهمون کمک کنه قضیه نقطه ثابت رو برای سیستمهای غیرخطی ثابت کنیم.
– α-F-Contraction: اینم یه نسخه پیشرفتهتر همونه، که یه تابع آلفا (α) میاد وسط و بازی رو جذابتر میکنه!
– Rational Type (ψ,ϕ)-Contraction: اگه شنیدی، اینم یه فرمول و رابطه پیشرفتهتر ریاضی برای پیدا کردن نقطه ثابت تو سیستمهای پیچیدهتره. اینجا ψ و ϕ هم دوتا تابع خاص هستن.
– Geraghty Type Contraction: اینم یکی دیگه از ایدههای مدرن نقطه ثابته که برای بعضی مدلها جواب میده و به حل و تحلیل پایداری کمک میکنه.
خلاصه مقاله با این ابزارای ریاضی سعی کرده نشون بده مدلهای اقلیمی و حتی مدلهای مربوط به سیستمهای تصادفی (مثلاً همون لانژوین) فقط روی کاغذ خوشگل نیستن، بلکه واقعاً با یه پایه منطقی-ریاضی درست حسابی مدلسازی شدن، راهحل وجود داره و البته یکتا هم هست (یعنی خیالمون راحته مدل گیج نمیزنه!).
در انتها هم میگه که تسلط روی این قضایا و ابزارهای نقطه ثابت برای هرکسی که میخواد سیستمهای دینامیکی (سیستمهایی که با زمان تغییر میکنن) و رفتارهای اقلیمی کلان رو بفهمه، ضروریه.
پس دفعه بعدی که دیدی یکی میگه مدل اقلیمی به چه دردی میخوره، با اطمینان بگو: نه تنها حلش وجود داره، بلکه یکتاست و خیالمون از پایهاش راحته! اینا رو مدیون نظریه نقطه ثابت و اون همه قضیه و معروفیتش هستیم!
منبع: +