Featured image of post علم الأحياء الرياضي وأنماط تورينج: رياضيات التنظيم الذاتي والتشكل التكويني التي تركها العبقري في أواخر حياته

علم الأحياء الرياضي وأنماط تورينج: رياضيات التنظيم الذاتي والتشكل التكويني التي تركها العبقري في أواخر حياته

أعظم روائع آلان تورينج في أواخر حياته. تغطية شاملة للآليات المذهلة لأنماط خطوط الحيوانات والأنماط الهندسية الناشئة من معادلات التفاعل والانتشار، بدءًا من تحليل الاستقرار الخطي إلى المحاكاة العددية باستخدام بايثون، ووصولاً إلى أحدث ما توصل إليه علم الأحياء الجزيئي.

كيف تتشكل أشكال الحياة؟ من خلية واحدة متماثلة كرويًا وهي البويضة المخصبة، كيف تنمو الأطراف، وتتشكل الأعضاء الداخلية، وتُرسم أنماط مخططة أو مبقعة جميلة على الجلد؟ لغز “التشكل التكويني” (Morphogenesis) هذا الذي واجهه العديد من علماء الأحياء والفلاسفة منذ العصور القديمة، قدم له عبقري حلاً حاسماً باستخدام رؤى رياضية بحتة من مجال مختلف تماماً. إنه آلان ماتيسون تورينج (Alan Mathison Turing)، المعروف كأب لعلوم الحاسوب الحديثة والشخصية الرئيسية في فك شفرة إنجما.

اقترح تورينج في ورقته البحثية التي نشرها عام 1952 بعنوان “الأساس الكيميائي للتشكل التكويني (The Chemical Basis of Morphogenesis)” مفهوم “أنماط تورينج”، حيث تنشأ أنماط مكانية بشكل عفوي من حالة متجانسة من خلال التكرار المستمر لانتشار المواد الكيميائية وتفاعلها داخل الكائنات الحية. في هذا المقال، سنكشف عن هذه النظرية التي تعد إنجازاً بارزاً في علم الأحياء الرياضي والفيزياء غير الخطية، برؤية مفصلة وصارمة للغاية، بدءًا من بنيتها الرياضية وتحليل المعادلات التفاضلية الجزئية، ووصولاً إلى المحاكاة العددية والتحقق التجريبي في أحدث علوم الأحياء الجزيئية. وعلى وجه الخصوص، في هذا المقال، سنتعمق بشكل غير مسبوق في الاشتقاق الرياضي الكامل لتحليل الاستقرار الخطي لمعادلات التفاعل والانتشار، ومخططات الطور لمساحة المعلمات لنماذج جيرير-ماينهاردت وجراي-سكوت، وتنفيذ المحاكاة العددية ثنائية الأبعاد باستخدام بايثون، وتشكيل الأنماط في الفضاء ثلاثي الأبعاد، ورياضيات الضوضاء والمتانة (الروبوستنس).

الفصل الأول: وصية مفكك الشفرات - كسر التناظر العفوي من حالة التوازن المتجانسة

تورينج، الذي فك شفرة آلة التشفير الألمانية “إنجما” خلال الحرب العالمية الثانية وقدم مساهمة هائلة في انتصار الحلفاء، ابتعد بعد الحرب عن نظرية تصميم الحاسوب (آلة تورينج) ووجه ذكاءه النادر نحو لغز الحياة. السؤال الأساسي الذي طرحه كان: “لماذا تنشأ هياكل معقدة بشكل عفوي من وسط متجانس؟”

وفقًا للقانون الثاني للديناميكا الحرارية في الفيزياء (قانون زيادة الإنتروبيا)، تمامًا كما ينتشر الحبر المقطر في كوب في جميع أنحاء الماء ليصبح بلون خفيف متجانس، فإن الظاهرة الفيزيائية للانتشار تعمل دائمًا على جعل توزيع تركيز المواد متجانسًا وتعمل في اتجاه تدمير الهياكل. ومع ذلك، أدرك تورينج أنه بإضافة تفاعل غير خطي يسمى “التفاعل الكيميائي (Chemical reaction)"، تنشأ مفارقة مذهلة. أي، على عكس الحدس القائل بأن “الانتشار يدمر الهياكل”، فإن الظاهرة هي “لأن هناك انتشارًا، يتم زعزعة استقرار الحالة المتجانسة وتتشكل الهياكل (الأنماط) المكانية بشكل عفوي”.

يُطلق على هذا في مصطلحات الفيزياء اسم “كسر التناظر العفوي (Spontaneous Symmetry Breaking)”. حالة متجانسة ومتناحية تمامًا (ذات تناظر انتقالي) تنتقل إلى بنية دورية مكانية مجهرية متأثرة بتموج (ضوضاء) طفيف. تم تجاهل فكرة تورينج هذه من قبل المجتمع البيولوجي في ذلك الوقت لأنها كانت سابقة لأوانها بكثير، لكنها أدت لاحقًا إلى نظرية الهياكل المبددة (الديناميكا الحرارية غير المتوازنة) لإيليا بريغوجين، وأصبحت رائدة في فتح مجال دراسي ضخم للعلوم غير الخطية.

الفصل الثاني: البنية الرياضية لمعادلة التفاعل والانتشار - التحفيز الذاتي المحلي والتثبيط الجانبي العالمي

من أجل فهم جوهر أنماط تورينج، من الضروري كشف “البنية الرياضية” لـ “معادلة التفاعل والانتشار (Reaction-Diffusion Equation)” التي تصفها. هنا، نعتبر نوعين من المواد الكيميائية الافتراضية (مورفوجينات) موزعة مكانيًا. ليكن أحدهما العامل المنشط (Activator) $u(x, t)$، والآخر العامل المثبط (Inhibitor) $v(x, t)$.

يتم وصف التغيير في تركيز هاتين المادتين بواسطة نظام المعادلات التفاضلية الجزئية غير الخطية المتزامنة التالية.

$$ \frac{\partial u}{\partial t} = D_u \nabla^2 u + f(u, v) $$$$ \frac{\partial v}{\partial t} = D_v \nabla^2 v + g(u, v) $$

هنا، $D_u, D_v$ هي معاملات الانتشار (Diffusion coefficient) لـ $u$ و $v$ على التوالي، و $\nabla^2$ هو اللابلاسي (المشتقة المكانية الثانية، مؤثر لابلاس). يمثل الحد الأول على الجانب الأيمن “الانتشار (الانتشار المكاني)"، والحد الثاني $f(u, v), g(u, v)$ يمثل “التفاعل (الإنتاج أو التدمير المحلي للمواد الكيميائية)”.

الشرط الضروري لحدوث تكوين النمط هو وجود بنية ردود فعل (تغذية راجعة) تسمى “التحفيز الذاتي المحلي والتثبيط الجانبي العالمي (Local Auto-activation and Lateral Inhibition; LALI)”. على وجه التحديد، يجب أن يفي $f(u, v)$ و $g(u, v)$ بالخصائص التالية.

  1. التنشيط الذاتي (Auto-activation): يعزز العامل المنشط $u$ إنتاجه الخاص.
  2. التثبيط المتبادل (Cross-inhibition): يعزز العامل المنشط $u$ إنتاج العامل المثبط $v$.
  3. التثبيط الذاتي (Self-inhibition): يثبط العامل المثبط $v$ إنتاجه الخاص (أو يتحلل طبيعياً).
  4. ردود الفعل بواسطة التثبيط المتبادل: يثبط العامل المثبط $v$ إنتاج العامل المنشط $u$.

والأهم من ذلك هو الفرق في سرعة الانتشار. يجب أن ينتشر العامل المثبط $v$ أسرع من العامل المنشط $u$ ($D_v > D_u$). لنفترض حدوث تموج حيث يزداد تركيز $u$ محلياً. يتكاثر $u$ عن طريق التفاعل التحفيزي الذاتي، ولكنه ينتج $v$ في نفس الوقت. ينتشر $v$ المنتج إلى المناطق المحيطة بشكل أسرع من $u$ (تثبيط جانبي عالمي)، ويقمع بقوة الإنتاج الجديد لـ $u$ في المناطق المحيطة. نتيجة لذلك، يتم تثبيت بنية موجة مستقرة تتمثل في “قمم ووديان” حيث يكون $u$ مرتفعاً في المركز ويكون $u$ منخفضاً في المناطق المحيطة لأن $v$ مرتفع. هذه هي الآلية البديهية لأنماط تورينج.

الفصل الثالث: الاشتقاق الكامل لتحليل الاستقرار الخطي لمعادلات التفاعل والانتشار

دعونا نثبت الحجة البديهية في الفصل السابق من خلال تحليل رياضي صارم. لإثبات “عدم استقرار تورينج (الزعزعة بسبب الانتشار)” في معادلات التفاعل والانتشار، نستخدم تحليل الاستقرار الخطي (Linear Stability Analysis). هذه طريقة لدراسة كيف تتصرف التموجات الصغيرة بالقرب من نقطة التوازن مع مرور الوقت.

$$ f(u_0, v_0) = 0, \quad g(u_0, v_0) = 0 $$$$ u(x,t) = u_0 + \delta u(x,t), \quad v(x,t) = v_0 + \delta v(x,t) $$

باستبدال هذا في معادلة التفاعل والانتشار الأصلية، وإجراء متسلسلة تايلور حول $(u_0, v_0)$، وتجاهل حدود الدرجة الثانية فما فوق من الكميات الصغيرة لإضفاء الطابع الخطي عليها، نحصل على المعادلة التالية بصيغة مصفوفة.

$$ \frac{\partial}{\partial t} \begin{pmatrix} \delta u \\ \delta v \end{pmatrix} = \begin{pmatrix} D_u \nabla^2 & 0 \\ 0 & D_v \nabla^2 \end{pmatrix} \begin{pmatrix} \delta u \\ \delta v \end{pmatrix} + J \begin{pmatrix} \delta u \\ \delta v \end{pmatrix} $$$$ J = \begin{pmatrix} f_u & f_v \\ g_u & g_v \end{pmatrix} = \begin{pmatrix} \frac{\partial f}{\partial u} & \frac{\partial f}{\partial v} \\ \frac{\partial g}{\partial u} & \frac{\partial g}{\partial v} \end{pmatrix} \Bigg|_{(u_0, v_0)} $$

3.1 شروط الاستقرار في غياب الانتشار

المفارقة الكبرى في عدم استقرار تورينج هي أنه “على الرغم من أنه مستقر في حالة عدم وجود انتشار (متجانس مكانياً)، إلا أنه يصبح غير مستقر عند إضافة الانتشار”. لذلك، نجد أولاً شروط استقرار النظام بدون انتشار (الحد التفاضلي المكاني هو صفر). يعتمد استقرار نظام المعادلات التفاضلية العادية $\frac{d}{dt}\mathbf{w} = J\mathbf{w}$ على كون الأجزاء الحقيقية للقيم الذاتية لمصفوفة جاكوبي $J$ سالبة. في حالة المصفوفة المربعة $2 \times 2$، القيم الذاتية $\lambda$ هي حلول المعادلة المميزة $\det(\lambda I - J) = 0$، أي $\lambda^2 - \text{Tr}(J)\lambda + \text{Det}(J) = 0$. الشرطان الضروريان والكافيان ليكون الجزء الحقيقي سالباً هما:

  • الشرط 1 (شرط الأثر): $$ \text{Tr}(J) = f_u + g_v < 0 $$
  • الشرط 2 (شرط المحدد): $$ \text{Det}(J) = f_u g_v - f_v g_u > 0 $$

3.2 التموج المكاني وعلاقة التشتت للعدد الموجي $k$

$$ \begin{pmatrix} \delta u \\ \delta v \end{pmatrix} = \begin{pmatrix} U_k \\ V_k \end{pmatrix} e^{\lambda t} e^{i \mathbf{k} \cdot \mathbf{x}} $$

عن طريق استبدال هذا في المعادلة الخطية، يصبح اللابلاسي $\nabla^2 e^{i \mathbf{k} \cdot \mathbf{x}} = -k^2 e^{i \mathbf{k} \cdot \mathbf{x}}$ (حيث $k = |\mathbf{k}|$). وبالتالي، يتم تحويل الحد التفاضلي المكاني إلى حد جبري، مما يؤدي إلى مسألة القيمة الذاتية التالية.

$$ \lambda \begin{pmatrix} U_k \\ V_k \end{pmatrix} = (J - k^2 D) \begin{pmatrix} U_k \\ V_k \end{pmatrix}, \quad D = \begin{pmatrix} D_u & 0 \\ 0 & D_v \end{pmatrix} $$$$ \det(\lambda I - M(k)) = 0 $$$$ \lambda^2 - \text{Tr}(M(k))\lambda + \text{Det}(M(k)) = 0 $$$$ \text{Tr}(M(k)) = (f_u + g_v) - k^2 (D_u + D_v) $$$$ \text{Det}(M(k)) = (f_u - k^2 D_u)(g_v - k^2 D_v) - f_v g_u $$$$ = D_u D_v k^4 - (D_v f_u + D_u g_v) k^2 + (f_u g_v - f_v g_u) $$

3.3 شروط ظهور عدم استقرار تورينج (4 متباينات)

لكي يختل استقرار النظام ويتشكل نمط، يجب أن يصبح الجزء الحقيقي للقيمة الذاتية $\lambda$ موجباً لعدد موجي معين $k \neq 0$. لدينا $\text{Tr}(M(k)) = \text{Tr}(J) - k^2(D_u + D_v)$، ولكن بسبب الشرط 1 ($\text{Tr}(J) < 0$) و $D_u, D_v > 0$، فإن $\text{Tr}(M(k)) < 0$ دائمًا. لذلك، المسار الوحيد لإنتاج قيمة ذاتية بجزء حقيقي موجب هو وجود عدد موجي $k$ بحيث $\text{Det}(M(k)) < 0$.

$$ H(k^2) \equiv D_u D_v (k^2)^2 - (D_v f_u + D_u g_v) k^2 + \text{Det}(J) $$

لكي يكون هناك فترة تأخذ فيها هذه الدالة التربيعية قيمة سالبة، يجب أن يكون إحداثي $k^2$ للرأس موجباً، ويجب أن يكون الحد الأدنى عند الرأس سالباً.

يتم إيجاد إحداثي $k^2$ للرأس عن طريق الاشتقاق والمساواة بالصفر: $k_{min}^2 = \frac{D_v f_u + D_u g_v}{2 D_u D_v}$. يتم استنتاج شرط أن يكون هذا موجباً.

  • الشرط 3 (عدم تناظر معامل الانتشار): $$ D_v f_u + D_u g_v > 0 $$ من أجل تحقيق ذلك مع الشرط 1 ($f_u + g_v < 0$)، يجب ألا يتساوى $D_v$ و $D_u$ أبدًا، وعلى وجه التحديد يجب أن يكون $D_v$ أكبر بكثير من $D_u$ ($D_v > D_u$).

علاوة على ذلك، من شرط أن يكون الحد الأدنى $H(k_{min}^2) < 0$، يُستنتج الشرط الذي يكون فيه المميز موجباً.

  • الشرط 4 (الشرط الحرج لظهور النمط): $$ (D_v f_u + D_u g_v)^2 - 4 D_u D_v (f_u g_v - f_v g_u) > 0 $$

عندما تتحقق كل هذه المتباينات الأربع (الشروط 1-4)، يتسبب النظام في عدم استقرار تورينج ويولد تلقائياً بنية دورية مكانية. تسمى منطقة المعلمات التي تستوفي هذه الشروط “فضاء تورينج”.

الفصل الرابع: البنية الرياضية ومخططات الطور للنماذج الشهيرة

كنماذج ديناميكية تفاعل محددة تفي بشروط عدم استقرار تورينج، تم اقتراح العديد من النماذج المهمة في علم الأحياء الرياضي. هنا، سوف نتعمق في البنية الرياضية لـ “نموذج جيرير-ماينهاردت” و “نموذج جراي-سكوت”، وهما أبرز هذه النماذج.

4.1 نموذج جيرير-ماينهاردت (Gierer-Meinhardt)

هذا النموذج، الذي اقترحه ألفريد جيرير وهانس ماينهاردت في عام 1972، يعبر عن ديناميكيات المورفوجينات داخل الكائنات الحية بطريقة طبيعية للغاية.

$$ \frac{\partial u}{\partial t} = D_u \nabla^2 u + c \frac{u^2}{v} - \mu_u u + \rho_u $$$$ \frac{\partial v}{\partial t} = D_v \nabla^2 v + c u^2 - \mu_v v + \rho_v $$

أهم ميزة لهذه المعادلة تكمن في مصطلح إنتاج العامل المنشط $u$، وهو $u^2 / v$. يقوم $u$ بتحفيز ذاتي غير خطي تجاه نفسه ($u^2$)، لكن معدل إنتاجه يتم كبحه بشكل متناسب عكسياً مع تركيز العامل المثبط $v$. من ناحية أخرى، يتم إنتاج $v$ بشكل متناسب مع كمية $u$ ($c u^2$). لا تزال بنية التغذية الراجعة الرائعة هذه تُستخدم على نطاق واسع حتى اليوم كنظرية أساسية لمجموعة واسعة من التشكلات البيولوجية، مثل تكوين رأس الهيدرا وأنماط أصداف الرخويات. في مساحة المعلمات، يتم رسم مخطط طور (Phase diagram) يُظهر بوضوح انتقالات الطور من منطقة الاستقرار إلى مناطق أنماط البقع والخطوط، اعتماداً على نسبة معدلات الاضمحلال $\mu_u$ و $\mu_v$. على وجه الخصوص، نظرًا لأن اللاخطية في التحفيز الذاتي قوية، فإنها تتميز بسهولة تكوين أنماط بقع مستقرة للغاية.

4.2 نموذج جراي-سكوت (Gray-Scott) ومخطط الطور المعقد

تم ابتكار هذا النموذج في ثمانينيات القرن الماضي لشرح التفاعلات التحفيزية الذاتية في الكيمياء الفيزيائية (مثل تفاعل الكلوريت-يوديد-مالونات)، ويحظى بشعبية هائلة في مجالات علوم الحاسوب ورسومات الحاسوب.

$$ \frac{\partial u}{\partial t} = D_u \nabla^2 u - u v^2 + F(1 - u) $$$$ \frac{\partial v}{\partial t} = D_v \nabla^2 v + u v^2 - (F + k)v $$

في هذا النموذج، يُعتبر $u$ المادة المتفاعلة، و $v$ المنتج التحفيزي الذاتي. يتم توفير $u$ من الخارج بمعدل ثابت $F$، ويتحلل $v$ ويُطرد بمعدل $F+k$. تمثل مصطلحات التفاعل $-u v^2$ و $+u v^2$ تحولاً يعكس حفظ الكتلة. قام J.E. Pearson (1993) بمسح شامل للمعلمات $F$ (معدل التغذية) و $k$ (معدل الاضمحلال) في معادلة جراي-سكوت هذه واكتشف وجود أنماط متنوعة مذهلة. وفقًا لمخطط طور بيرسون، يمكن إجراء التصنيف التالي.

  • المنطقة $\alpha$: حالة متجانسة تمامًا (لا يوجد نمط).
  • المنطقة $\lambda$: بقع تتكاثر ذاتيًا عن طريق الانقسام المتكرر مثل انقسام الخلايا (Cell division-like).
  • المنطقة $\kappa$: أنماط تشبه الديدان الطويلة الممتدة (Worms) أو الأشكال الشبيهة بالمتاهة (Labyrinths).
  • المنطقة $\mu$: نقاط ثابتة ومستقرة (Spots). تُظهر هذه الأنماط “خصائص حيوية” يصعب تصديق أنها نشأت من معادلات تفاضلية بسيطة. يُعد نموذج جراي-سكوت ملعبًا ممتازًا لعلوم النظم المعقدة من حيث أنه يولد ديناميكيات متنوعة من مصطلحات تفاعل بسيطة.

الفصل الخامس: محاكاة كاملة لنموذج جراي-سكوت باستخدام بايثون

هنا، نقدم كود بايثون كامل لإجراء محاكاة عددية ثنائية الأبعاد لنموذج جراي-سكوت، ونشرح خوارزميته. في الحسابات العددية للمعادلات التفاضلية الجزئية، الطريقة الأساسية هي تقسيم الفضاء إلى شبكة (طريقة الفروق المحدودة) ودفع الوقت بخطوات صغيرة (طريقة أويلر).

تقريب اللابلاسي بفرق من 5 نقاط

$$ \nabla^2 u_{i,j} \approx \frac{u_{i+1,j} + u_{i-1,j} + u_{i,j+1} + u_{i,j-1} - 4u_{i,j}}{\Delta x^2} $$

لتحقيق شروط الحدود الدورية (ما يخرج من أحد الطرفين يدخل من الطرف المقابل)، يسمح استخدام np.roll في مكتبة NumPy الخاصة بلغة بايثون بإجراء عمليات حسابية سريعة للمصفوفات بدون حلقات تكرار.

كود المحاكاة

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
import numpy as np
import matplotlib.pyplot as plt
import matplotlib.animation as animation

# إعداد المعلمات (نموذج Gray-Scott)
# على سبيل المثال، المعلمات التي تُظهر أنماط المتاهة (Labyrinth) أو البقع (Spot)
Du, Dv = 0.16, 0.08
F, k = 0.060, 0.062  # مثال لمعلمات أخرى: F=0.035, k=0.06 (Spot)
dx = 1.0
dt = 1.0
steps_per_frame = 50
frames = 200

# حجم الشبكة المكانية
N = 100

# إعداد الحالة الأولية (في حالة متجانسة من u=1, v=0، يتم تطبيق اضطراب فقط في المركز)
u = np.ones((N, N))
v = np.zeros((N, N))

# وضع منطقة ضوضاء صغيرة لـ v في المركز
r = 10
center = N // 2
u[center-r:center+r, center-r:center+r] = 0.50 + 0.1 * np.random.random((2*r, 2*r))
v[center-r:center+r, center-r:center+r] = 0.25 + 0.1 * np.random.random((2*r, 2*r))

def laplacian(Z):
    """
    حساب اللابلاسي باستخدام طريقة الفروق ذات الـ 5 نقاط وشروط الحدود الدورية
    """
    Z_top = np.roll(Z, 1, axis=0)
    Z_bottom = np.roll(Z, -1, axis=0)
    Z_left = np.roll(Z, 1, axis=1)
    Z_right = np.roll(Z, -1, axis=1)
    return (Z_top + Z_bottom + Z_left + Z_right - 4 * Z) / (dx ** 2)

fig, ax = plt.subplots(figsize=(6, 6))
im = ax.imshow(v, cmap='inferno', vmin=0, vmax=0.4)
ax.axis('off')

def update(frame):
    global u, v
    for _ in range(steps_per_frame):
        # حساب حد التفاعل
        uvv = u * v**2
        
        # حساب حد الانتشار
        Lu = laplacian(u)
        Lv = laplacian(v)
        
        # التطور الزمني بطريقة أويلر
        du = Du * Lu - uvv + F * (1.0 - u)
        dv = Dv * Lv + uvv - (F + k) * v
        
        u += du * dt
        v += dv * dt
        
    im.set_array(v)
    return [im]

ani = animation.FuncAnimation(fig, update, frames=frames, interval=50, blit=True)
plt.title("Gray-Scott Model Simulation")
plt.show()

عند تشغيل هذا الكود، بدءًا من ضوضاء صغيرة في المركز، يمكنك ملاحظة عملية التنظيم الذاتي للأنماط المتاهية المعقدة (أو أنماط البقع) في الوقت الفعلي أثناء انقسامها وتكاثرها ببطء مثل الخلايا. نظرًا لأنه يتم تسريعه من خلال عمليات مصفوفات NumPy، يمكن رسم عملية تكوين الأنماط من بضع ثوانٍ إلى عشرات الثوانٍ حتى على أجهزة الكمبيوتر الشخصية العادية.

الفصل السادس: أنماط تورينج في الفضاء ثلاثي الأبعاد وتكوين الشبكات الحيوية

لقد ركزنا حتى الآن على تكوين الأنماط على مستوى ثنائي الأبعاد (على سبيل المثال، سطح الجلد)، ولكن الكثير من التكوين الشكلي البيولوجي يتقدم في فضاء ثلاثي الأبعاد. يمكن توسيع نظرية تورينج بشكل طبيعي جدًا إلى فضاءات ثلاثية الأبعاد وأسطح منحنية، ومن المثير للدهشة أنها تفسر ببراعة “هياكل الشبكات المتفرعة المعقدة” داخل الكائنات الحية.

6.1 تفرع القصبات الهوائية في الرئتين وتشكيل شبكات الأوعية الدموية

تتفرع رئتي الإنسان من القصبة الهوائية إلى عدد لا يحصى من القصبات الدقيقة بطريقة كسيرية (Branching morphogenesis). وفقًا للدراسات الحديثة، فقد أصبح من الواضح أن عملية التفرع القصبي هذه يتم التحكم فيها أيضًا بواسطة آلية تورينج المتكونة من عوامل منشطة مثل FGF (عامل نمو الأرومة الليفية) وعوامل مثبطة مثل Sprouty. عند إجراء محاكاة تفاعل وانتشار في مساحة ثلاثية الأبعاد، يؤدي التنافس بين النمو القمي (Apical growth) للخلايا الظهارية والتثبيط الجانبي (Lateral inhibition) بواسطة العوامل المثبطة إلى إعادة إنتاج ديناميكيات يتم فيها تكوين فروع جديدة تلقائيًا على فترات متساوية.

6.2 أوردة الأوراق وشبكات العفن الغروي

يُفهم نمط الأوردة في أوراق النباتات أيضًا على أنه متغير من نظام التفاعل والانتشار الذي يجمع بين تدرج تركيز الأوكسين (هرمون نباتي) والنقل القطبي بواسطة بروتينات النقل (PIN). تعتمد ظاهرة العفن الغروي (Physarum polycephalum) الذي يشكل شبكة المسار الأقصر والأمثل بحثًا عن الطعام، على آلية LALI بالمعنى الواسع: التوسع المحلي للأنابيب الخلوية (التحفيز الذاتي) وتقلص الأنابيب الأخرى بسبب قيود الحجم الإجمالي (تثبيط عالمي).

6.3 نموذج التثبيط الجانبي في تكوين الهيكل العظمي

السؤال عن سبب وجود 5 أصابع لدينا (لماذا يتشكل ترتيب دوري للعظام) يعود أيضًا إلى اختيار الطول الموجي في مساحة تورينج. تُشكل جزيئات الإشارة مثل Sox9 (الذي يعزز تكوين الغضاريف)، و Bmp، و Wnt موجات في برعم الطرف ثلاثي الأبعاد، وتتمايز أجزاء “القمة” للموجة الدائمة إلى غضروف، بينما تموت خلايا أجزاء “الوادي” (الاستماتة أو الموت المبرمج للخلايا) أو تبقى كنسيج متوسطي، مما يؤدي إلى تكوين البنية الدورية للعظام. تعد آلية التثبيط الجانبي هذه منظورًا لا غنى عنه عند النظر في تطور الهياكل العظمية البيولوجية المعقدة.

الفصل السابع: تأثير الضوضاء والتموج الأولي على اختيار النمط، ورياضيات المتانة

في تشكيل أشكال الكائنات الحية، هناك موضوع رياضي آخر مهم للغاية. إنه مفارقة “دور الضوضاء (التموج)” و “متانة (صلابة) النمط”.

7.1 اختيار النمط بسبب التموج (Spots or Stripes?)

في تحليل الاستقرار الخطي لتورينج، يمكن تحديد العدد الموجي $k$ الذي ينمو بشكل أسرع (الطول الموجي السائد)، ولكن من غير المعروف ما هو النمط الهندسي (بقعة أم شريط) الذي سيتم اختياره في النهاية. لتوضيح ذلك، من الضروري تحليل المنطقة غير الخطية بعد زيادة الاضطراب (تحليل غير خطي ضعيف، معادلات السعة، إلخ). في الواقع، تصبح التقلبات الحرارية المتأصلة في النظام والضوضاء العشوائية في التعبير الجيني بمثابة “بذرة” للاختيار الأولي للنمط. بناءً على الخصائص الطيفية المكانية للضوضاء، يتم استثارة أوضاع معينة بشكل انتقائي. في بعض الحالات، في منطقة الاستقرار المتعدد (Bistability)، يمكن ملاحظة الظاهرة التي يتشعب فيها المصير ليصبح إما بقعة أو شريطًا بسبب اختلافات طفيفة في الضوضاء الأولية.

7.2 متانة التشكل التكويني

من ناحية أخرى، فإن عملية التطور الفردي قوية (متينة) بشكل مدهش. حتى لو تذبذبت درجة الحرارة البيئية أو تغيرت الحالة الغذائية، فإن البشر لديهم دائمًا قلب في نفس الموقف، وتتشكل 5 أصابع. في بيئة خلوية مليئة بالضوضاء العشوائية، لماذا يكون تكوين الأنماط الموثوق به ممكنًا جدًا؟ من وجهة نظر رياضية، فقد تبين أن إضافة المصطلحات غير الخطية مثل “التحكم بالتغذية الأمامية” و “تأثير تشبع المستقبلات” إلى نظام التفاعل والانتشار يوسع بشكل كبير مساحة تورينج (منطقة المعلمات التي تنشأ فيها الأنماط) ويحسن المتانة. علاوة على ذلك، من خلال دمج نمو المجال (التوسع الزمني للأنسجة نفسها) في المعادلة، تتغير قيود شروط الحدود تدريجياً، ويتضح أن هناك “توجيه مسار ميكانيكي” يعمل على التقارب دائمًا إلى نمط فريد دون الاعتماد على الضوضاء. في التحليل باستخدام المعادلات التفاضلية العشوائية (SDE)، تم الإبلاغ حتى عن ظاهرة متناقضة تسمى “الأنماط الناتجة عن الضوضاء (Noise-induced patterns)” حيث أن الضوضاء الديموغرافية (التقلب في عدد الجزيئات) لا تدمر النمط بل تشجع تكوينه. المتانة هي الميزة الأهم للحياة، والمحاولات لإثباتها بالصيغ الرياضية لا تزال نشطة حتى اليوم.

الفصل الثامن: التحقق التجريبي بواسطة علم الأحياء الجزيئي - تم أخيرًا العثور على أنماط تورينج

لعقود من الزمان بعد وفاة تورينج، ساد الرأي النقدي بأن “نظريته جميلة رياضياً فقط وربما لا علاقة لها بالكائنات الحية الحقيقية”. ومع ذلك، تغير الوضع تمامًا في عام 1995 من خلال البحث الرائد الذي أجراه عالم الأحياء الجزيئي الياباني شيجيرو كوندو (حاليًا أستاذ في جامعة أوساكا).

ركز كوندو وزملاؤه على النمط المخطط على جسم سمكة بحرية استوائية كبيرة “سمكة الملاك الإمبراطور (Pomacanthus imperator)”. في حين أن أنماط الثدييات تتوسع ببساطة مع النمو (مثل نفخ بالون)، اكتشفوا أنه مع نمو هذه السمكة، فإن الخطوط “تتفرع” للحفاظ على مسافات متساوية بينها، ويتحرك النمط بأكمله ويعاد تنظيمه ديناميكيًا. عند مقارنة ذلك بمحاكاة نظام تورينج (حساب يوسع المنطقة بمرور الوقت)، تطابقت عملية التفرع وأنماط تفرع الأنماط بشكل مذهل مع حلول المعادلات التفاضلية الجزئية. كانت هذه هي اللحظة الأولى في العالم التي ثبت فيها أن السلوك على المستوى الخلوي يخضع تمامًا للرياضيات العيانية.

بعد ذلك، تقدم التوضيح على المستوى الجزيئي بسرعة.

  • الطيات الحنكية في الفئران (Palatal Rugae): في تشكيل الطيات الدورية على سقف فم الفئران، تم تحديد بروتينين، FGF و Shh، على أنهما يشكلان شبكة تورينج.
  • الأنماط المخططة في أسماك الزرد: تم إثبات “نموذج تورينج الخلوي” الذي يدرك آلية LALI ليس فقط عن طريق انتشار البروتينات، ولكن أيضًا عن طريق خلايا صبغية من أنواع مختلفة (الخلايا الميلانينية والخلايا الزانثوفورية) تتواصل عبر تفاعلات الخلايا المباشرة (نقل الإشارات عبر النتوءات).

تم إثبات تنبؤ تورينج أخيرًا، بعد أكثر من نصف قرن، بالكامل من خلال لغة الحمض النووي والبروتينات.

ملحق: المزيد من أعماق علم الأحياء الرياضي والمعادلات التفاضلية

A1. التحليل غير الخطي الضعيف ومعادلة السعة

$$ \tau_0 \frac{\partial A}{\partial t} = \epsilon A + \xi_0^2 \nabla^2 A - g |A|^2 A $$

هنا، $A$ يمثل السعة المعقدة للنمط، و $\epsilon$ يمثل الانحراف عن معامل التشعب. هذه المعادلة متكافئة رياضياً مع تشكيل الأنماط في الموصلية الفائقة وديناميكيات الموائع (مثل حمل رايلي-بينارد)، مما يدل بقوة على عالمية (Universality) ظواهر التنظيم الذاتي في الطبيعة.

A2. آلية تحديد الطول الموجي البيولوجي

في أنماط تورينج، يُعطى الطول الموجي السائد $\lambda$ كـ $2\pi/k_{max}$، ولكن في الكائنات الحية الحقيقية، يعتمد هذا الطول الموجي على حجم الخلية والقيم المطلقة لمعاملات الانتشار. على سبيل المثال، معامل انتشار البروتينات يكون في حدود $10^{-7} \sim 10^{-6} \text{ cm}^2/\text{s}$، وبناءً على ذلك، يكون الطول الموجي حوالي $0.1 \sim 1 \text{ mm}$. يُظهر هذا المقياس توافقًا مذهلاً مع القيم المقاسة الفعلية في العديد من عمليات التشكل التكويني، مثل تكوين أجزاء الجسم في جنين ذبابة الفاكهة والفترات الفاصلة بين بصيلات الشعر في الفئران.

A3. نماذج تورينج الموسعة

في الأبحاث الحديثة، يتم بنشاط دراسة النماذج التي تتجاوز معادلات التفاعل والانتشار ذات المتغيرين، لتشمل أنظمة ذات 3 متغيرات أو أكثر، ومساحات معلمات غير متجانسة مكانيًا (قطبية الخلية أو تدرجات نمو الأنسجة). كما أن “النماذج الميكانيكية-الكيميائية (Mechano-chemical model)"، التي تجمع ليس فقط الانتشار ولكن أيضًا الانجذاب الكيميائي (Chemotaxis) والتشوه الميكانيكي للخلايا (Mechanobiology)، تجذب الانتباه كمفتاح لكشف ظواهر الحياة الأكثر تعقيدًا. لقد تطور اندماج الرياضيات وعلم الأحياء بعيدًا عما كان عليه في عصر تورينج، ويتألق ببراعة في طليعة العلوم الحديثة.

الخاتمة: مستقبل التشكل التكويني وتأثيره على علوم النظم المعقدة

تجاوز مفهوم أنماط تورينج الآن حدود علم الأحياء الرياضي وامتد إلى جميع مجالات العلوم الطبيعية.

في مجال هندسة المواد، يتم تطبيق آلية تورينج في تقنية النانو التصاعدية التي تستفيد من التنظيم الذاتي. يتقدم البحث لإنشاء “تكوين ذاتي كيميائي” لهياكل دورية دقيقة تتجاوز حدود تقنية الطباعة الحجرية لأشباه الموصلات، عن طريق التحكم في فصل الطور للبوليمرات المشتركة المقطعية والتفاعلات الكيميائية الخاصة (مثل تفاعل بيلوسوف-جابوتنسكي).

في سياق الحياة الاصطناعية (Artificial Life) وعلوم النظم المعقدة (Complex Systems)، يتم إعادة تقييمها كنهج للسؤال الأساسي “ما هي الحياة؟”. إن عملية الانبثاق (Emergence)، حيث تنشأ هياكل عالمية ومنظمة من تفاعل القواعد المحلية، هي مبدأ عالمي يكمن وراء تكوين الهياكل في الأتمتة الخلوية والتعلم العميق.

كشف آلان تورينج، في ورقة بحثية واحدة فقط تركها في الفترة القصيرة من أواخر حياته، عن أسرار تشكل الحياة من خلال المعادلات الرياضية. إن “الأساس الكيميائي للتشكل التكويني” الذي حلم به، باعتباره نقطة تقاطع تلتقي فيها علوم الحاسوب، والفيزياء غير الخطية، وأحدث ما توصل إليه علم الأحياء الجزيئي، لا يزال يقدم لنا أسرارًا جديدة للحياة.


تمت كتابة هذا المقال مع إضافات وتوسعات كبيرة بناءً على أحدث النتائج في علم الأحياء الرياضي والأوصاف الرياضية الصارمة للديناميكيات غير الخطية. نأمل أن يساعد هذا القراء على تجربة جمال هندسة الحياة مع الإشادة بإنجازات تورينج العظيمة.

comments powered by Disqus