🎛️ اصنع الوحش، حدًّا تلو الآخر
W(x) = Σ aⁿ·cos(bⁿ·π·x) مع a = 0,5 و b = 7. أضف حدودًا: ينتقل المنحنى من جيب تمام أملس إلى تسنين لا نهائي. كبّر الصورة: يبقى خشنًا تمامًا كما هو.
N = 0 → مجرد جيب تمام أملس. كلما كبر N، ازداد تسنين المنحنى.
عند التكبير، تبقى الخشونة قائمة: إنه التشابه الذاتي الكسوري.
الاتصال
في كل مكان ✓
قابلية الاشتقاق
في أي مكان ✗
البعد الكسوري
≈ 1,86
5 حدود: مسنّن بشكل واضح بالفعل. عند اللانهاية، لا يبقى أي مماس في أي مكان.
📐 قبل 1872: «متصلة، إذن قابلة للاشتقاق في كل مكان تقريبًا»
طوال بداية القرن التاسع عشر، كان علماء الرياضيات على يقين: إن دالة متصلة — يُرسم منحناها «دون رفع القلم»، بلا قفزة ولا ثقب — لا بد أن تكون قابلة للاشتقاق في كل مكان، ربما باستثناء بعض النقاط المعزولة («الزوايا» مثل تلك التي للقيمة المطلقة في 0). كان الحدس واضحًا: إن المنحنى الأملس له مماس في كل مكان تقريبًا. حتى عمالقة مثل أمبير ظنوا أنهم برهنوا ذلك.
كان الاتصال وقابلية الاشتقاق يبدوان مفهومين شبه متبادلين. فرسم منحنى متصل كان يعني رسم شيء «ناعم»، يمكن إلصاق مماس به في كل خطوة. كانت هذه العقيدة في صميم تحليل ذلك العصر.
💥 1872: فايرشتراس يطلق وحشه
في 18 يوليوز 1872، قدّم كارل فايرشتراس أمام أكاديمية العلوم في برلين دالة تحطّم هذه العقيدة. إنها متصلة في كل نقطة من ℝ، ومع ذلك لا تقبل مماسًا في أي نقطة. من المستحيل وضع قلم عليها لرسم مستقيم مماس، أينما كنت. المنحنى مكسور إلى ما لا نهاية، مسنّن على جميع المقاييس.
يتلخص بناؤها في سطر واحد فقط، متسلسلة من جيوب التمام:
دالة فايرشتراس
W(x) = Σn=0+∞ an cos(bn π x)
- a ∈ ]0 ; 1[ : السعات aⁿ تتناقص (نحو 0).
- b عدد صحيح فردي : الترددات bⁿ تنفجر (نحو +∞).
- شرط فايرشتراس : a·b > 1 + 3π/2 يضمن عدم قابلية الاشتقاق.
في المحاكاة : a = 0,5 و b = 7، إذن a·b = 3,5 > 1 — «وحشي» بصريًا إلى حد كبير بالفعل.
🧩 لماذا هي متصلة: التقارب المنتظم القياسي
كل حد aⁿcos(bⁿπx) هو دالة متصلة، وسعته مكبورة بـ aⁿ. والحال أن المتسلسلة الهندسية Σ aⁿ تتقارب (لأن 0 < a < 1). إذن لدينا تقارب منتظم قياسي لمتسلسلة الدوال: فهي تتقارب بانتظام.
ومبرهنة محورية في التحليل تقول إن النهاية المنتظمة لمتتالية من الدوال المتصلة هي دالة متصلة. إذن المجموع W متصل في كل مكان. السعات المتناقصة «تمسك» المنحنى متماسكًا، دون أي قفزة.
🌀 لماذا هي غير قابلة للاشتقاق: الميول تجنّ
بالنسبة للمشتقة، نشتق صوريًا حدًّا حدًّا: كل جيب تمام يعطي −aⁿbⁿ·sin(bⁿπx)·π. حينئذٍ تُضرب الميول في (a·b)ⁿ. وبما أننا اخترنا a·b > 1، فإن هذا العامل ينفجر بدل أن يؤول إلى 0.
وبشكل ملموس، عندما نحاول حساب معدل التغير [W(x+h) − W(x)] / h بجعل h يؤول إلى 0، تفرض الحدود ذات الترددات العالية تذبذبات للميل عنيفة أكثر فأكثر: الميل ليس له أي نهاية، فهو يتذبذب إلى ما لا نهاية بين +∞ و −∞. لا نهاية ⇒ لا عدد مشتق ⇒ لا مماس، وذلك في كل نقطة.
التجاذب المحوري
قوتان متعاكستان تؤثران على المتسلسلة نفسها:
- السعات aⁿ → 0 : قوية بما يكفي لجعل الدالة متصلة.
- الميول (ab)ⁿ → +∞ : قوية بما يكفي لتدمير كل قابلية للاشتقاق.
إنه التوازن الدقيق a < 1 لكن ab > 1 هو ما يخلق الوحش.
❄️ العلاقة بالكسوريات
قبل أكثر من قرن من صكّ بنوا ماندلبرو لكلمة «كسوري» (fractale) سنة 1975، كان فايرشتراس قد أنشأ واحدة من أوائلها. عندما تحرّك مؤشر التكبير في المحاكاة، تلاحظ التشابه الذاتي: مهما كان المقياس الذي تنظر به إلى المنحنى، يبقى مسنّنًا تمامًا كما هو. لا يوجد مستوى «أملس» خفيّ عند التكبير — التفصيل لا نهائي.
لهذه الخشونة اللانهائية بصمة عددية: البعد الكسوري لمبيان W محصور قطعًا بين 1 و 2 (في حدود 1,86 بالنسبة لمعطياتنا). إن منحنى بسيطًا (بعده الطوبولوجي 1) متعرّج إلى درجة أنه يبدأ في «ملء» المستوى — دون أن يبلغه تمامًا أبدًا. هذه هي بالضبط روح الكسوريات: تعقيد لا نهائي ينشأ من قاعدة بسيطة.
😱 الصدمة لعلماء الرياضيات في ذلك العصر
أحدثت هذه الدالة زلزالًا حقيقيًا. اعتبرها الكثيرون ضد الطبيعة، مرضًا لا فائدة منه. كتب شارل إرميت، في رسالة سنة 1893، عبارته الشهيرة عن الضجر: إنه يعرض «بفزع ورعب عن هذه الآفة المؤسفة من الدوال المتصلة التي لا تملك أي مشتقة». ومنذ ذلك الحين، لصقت كلمة «وحش» بهذه الأشياء.
سيتحدث هنري بوانكاريه عن «وحوش» و«متحف للمسوخ». لكن في الواقع، كانت هذه الدوال على وشك أن تصبح القاعدة بدل الاستثناء: نعلم اليوم أن «كل» دالة متصلة تقريبًا هي غير قابلة للاشتقاق. وبعيدًا عن كونه شذوذًا، كان وحش فايرشتراس هو الوجه العادي للمتصل — حدسنا هو من كان ساذجًا أكثر من اللازم.
🎓 العلاقة بالبرنامج: الاتصال ≠ قابلية الاشتقاق (2BAC SM)
في السنة الثانية من بكالوريا العلوم الرياضية، تتعلم أن قابل للاشتقاق ⟹ متصل، لكن العكس خاطئ. المثال المضاد الكلاسيكي في الدرس هو الدالة x ↦ |x|، المتصلة في 0 لكنها غير قابلة للاشتقاق في 0 (بسبب الزاوية).
دالة فايرشتراس هي هذا المثال المضاد مدفوعًا إلى أقصى حدّ مطلق: ليست نقطة زاوية واحدة، بل عدد لا نهائي من الزوايا في كل مكان، في كل عدد حقيقي. إنها تبرهن بشكل مذهل أن الاتصال وقابلية الاشتقاق خاصيتان متمايزتان حقًّا، وأن الأولى لا تستلزم الثانية بتاتًا. ما يكفي لكي لا تخلط أبدًا بين «منحنى بلا قفزة» و«منحنى أملس».