تطور

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

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

المنحنى التطوري لمنحنى أو سطح أو، بشكل أعم، فضاء جزئي ، هو الكاوستيك للخريطة العادية. ليكن M فضاءً جزئيًا أملسًا ومنتظمًا في Rⁿ . لكل نقطة p في M ولكل متجه v ، انطلاقًا من p وعموديًا على M ، نُقرن النقطة p + v . يُعرّف هذا خريطة لاغرانجية تُسمى الخريطة العادية. الكاوستيك للخريطة العادية هو المنحنى التطوري لـ M. [ 2 ]

ترتبط المنحنيات التطورية ارتباطًا وثيقًا بالمنحنيات الملتوية : المنحنى هو المنحنى التطوري لأي من منحنياته الملتوية.

تاريخ

ناقش أبولونيوس ( حوالي 200 قبل الميلاد) المنحنيات التطورية في الكتاب الخامس من كتابه "المخروطيات" . ومع ذلك، يُنسب الفضل أحيانًا إلى هيغنز في كونه أول من درسها (1673). صاغ هيغنز نظريته حول المنحنيات التطورية حوالي عام 1659 للمساعدة في حل مشكلة إيجاد منحنى التزامن ، مما ساعده بدوره في بناء بندول متزامن. ويعود ذلك إلى أن منحنى التزامن هو منحنى دائري ، ويتميز المنحنى الدائري بخاصية فريدة، وهي أن منحنى تطوره هو أيضًا منحنى دائري. في الواقع، سمحت نظرية المنحنيات التطورية لهيغنز بتحقيق العديد من النتائج التي تم التوصل إليها لاحقًا باستخدام حساب التفاضل والتكامل. [ 3 ] 

تطور منحنى وسيطي

لوx=ج(ت)،ت[ت1،ت2]{\displaystyle {\vec {x}}={\vec {c}}(t),\;t\in [t_{1},t_{2}]}هو التمثيل البارامتري لمنحنى منتظم في المستوى حيث لا يساوي انحناؤه صفرًا في أي مكان وρ(ت){\displaystyle \rho (t)}نصف قطر انحنائه ون(ت){\displaystyle {\vec {n}}(t)}ثم يكون متجه الوحدة العمودي مشيرًا إلى مركز الانحناء، هـ(ت)=ج(ت)+ρ(ت)ن(ت){\displaystyle {\vec {E}}(t)={\vec {c}}(t)+\rho (t){\vec {n}}(t)} يصف المنحنى التطوري للمنحنى المعطى.

لج(ت)=(x(ت)،y(ت))تي{\displaystyle {\vec {c}}(t)=(x(t),y(t))^{\mathsf {T}}}وهـ=(X،Y)تي{\displaystyle {\vec {E}}=(X,Y)^{\mathsf {T}}}يحصل المرء X(ت)=x(ت)-y(ت)(x(ت)2+y(ت)2)x(ت)y"(ت)-x"(ت)y(ت){\displaystyle X(t)=x(t)-{\frac {y'(t){\Big (}x'(t)^{2}+y'(t)^{2}{\Big )}}{x'(t)y''(t)-x''(t)y'(t)}}}و Y(ت)=y(ت)+x(ت)(x(ت)2+y(ت)2)x(ت)y"(ت)-x"(ت)y(ت).{\displaystyle Y(t)=y(t)+{\frac {x'(t){\Big (}x'(t)^{2}+y'(t)^{2}{\Big )}}{x'(t)y''(t)-x''(t)y'(t)}}.}

تطور منحنى ضمني

للمنحنىΓ{\displaystyle \Gamma }معبر عنه ضمنيًا بالشكلو(x،y)=0{\displaystyle f(x,y)=0}يمكن تحديد منحنى التطور من خلال نظام من المعادلات التي تربط المنحنى الأصلي بخطوطه العمودية. عند كل نقطة على المنحنىΓ{\displaystyle \Gamma }، ويُعطى اتجاه متجه العمودي بالصيغة التالية:

(-وyوx،xوy-yوxوx){\displaystyle \left(-{\frac {f_{y}}{f_{x}}},\,{\frac {xf_{y}-yf_{x}}{f_{x}}}\right)}

أينوx=وx{\displaystyle f_{x}={\frac {\partial f}{\partial x}}}ووy=وy{\displaystyle f_{y}={\frac {\partial f}{\partial y}}}. تصف هذه المكونات اتجاه المتجه العمودي عند كل نقطة على المنحنى.

يمكن الحصول على منحنى التطور عن طريق حل النظام التالي (انظر [ 4 ] لمزيد من التفاصيل):

0=و(x،y)،u=-وyوx،v=xوy-yوxوx،{\displaystyle {\begin{aligned}0&=f(x,y),\\u&=-{\frac {f_{y}}{f_{x}}},\\v&={\frac {xf_{y}-yf_{x}}{f_{x}}},\end{aligned}}}

أينu{\displaystyle u}وv{\displaystyle v}تمثل هذه القيم مكونات المتجه العمودي. يتم حذف المتغيرات.x{\displaystyle x}وy{\displaystyle y}ينتج عن هذا النظام معادلة جبرية واحدة بدلالةu{\displaystyle u}وv{\displaystyle v}، وهو ما يحدد منحنى التطور.

خصائص الكائن المتطور

العمودي عند النقطة P هو المماس عند مركز الانحناء C.

من أجل استخلاص خصائص منحنى منتظم، من المفيد استخدام طول القوسs{\displaystyle s}بسبب استخدام المنحنى المعطى كمعامل له، وذلك بسبب|ج|=1{\textstyle \left|{\vec {c}}'\right|=1}ون=-ج/ρ{\textstyle {\vec {n}}'=-{\vec {c}}'/\rho }(انظر صيغ فرينيه-سيريه ). ومن ثمّ فإن متجه المماس للمنحنى التطوريهـ=ج+ρن{\textstyle {\vec {E}}={\vec {c}}+\rho {\vec {n}}}يكون: هـ=ج+ρن+ρن=ρن .{\displaystyle {\vec {E}}'={\vec {c}}'+\rho '{\vec {n}}+\rho {\vec {n}}'=\rho '{\vec {n}}\ .} من هذه المعادلة نحصل على الخصائص التالية للمنحنى التطوري:

  • في نقاط معρ=0{\displaystyle \rho '=0}المنحنى التطوري ليس منتظماً . وهذا يعني: عند النقاط ذات الانحناء الأقصى أو الأدنى ( رؤوس المنحنى المعطى) يكون للمنحنى التطوري نقاط حادة . (انظر إلى مخططات المنحنيات التطورية للقطع المكافئ، والقطع الناقص، والمنحنى الدائري، والمنحنى الكلوي).
  • بالنسبة لأي قوس من المنحنى التطوري لا يحتوي على نقطة انحناء، فإن طول القوس يساوي الفرق بين نصفي قطري الانحناء عند طرفيه. هذه الحقيقة تُسهّل إثبات نظرية تايت-كنيسر حول تداخل الدوائر المتماسّة . [ 5 ]
  • تكون المتجهات العمودية للمنحنى المعطى عند نقاط الانحناء غير الصفري مماسات للمنحنى التطوري، وتكون المتجهات العمودية للمنحنى عند نقاط الانحناء الصفري خطوط تقارب للمنحنى التطوري. ومن ثم: فإن المنحنى التطوري هو غلاف المتجهات العمودية للمنحنى المعطى.
  • في أجزاء من المنحنى معρ>0{\displaystyle \rho '>0}أوρ<0{\displaystyle \rho '<0}المنحنى هو منحنى ملتف لمنحنى تطوره. (في الرسم التوضيحي: القطع المكافئ الأزرق هو منحنى ملتف للقطع المكافئ شبه المكعب الأحمر، والذي هو في الواقع منحنى تطور القطع المكافئ الأزرق.)

إثبات الخاصية الأخيرة: ليكنρ>0{\displaystyle \rho '>0}في قسم الاعتبار. يمكن وصف منحنى التطور (المنحنى الالتفافي) للمنحنى التطوري (المنحنى التطوري) على النحو التالي:ج0=هـ-هـ|هـ|(0s|هـ(w)|دw+ل0)،{\displaystyle {\vec {C}}_{0}={\vec {E}}-{\frac {{\vec {E}}'}{\left|{\vec {E}}'\right|}}\left(\int _{0}^{s}\left|{\vec {E}}'(w)\right|\mathrm {d} w+l_{0}\right),} أينل0{\displaystyle l_{0}}هو امتداد ثابت للسلسلة (انظر منحنى الالتفاف لمنحنى مُعامل ). معهـ=ج+ρن،هـ=ρن{\displaystyle {\vec {E}}={\vec {c}}+\rho {\vec {n}}\;,\;{\vec {E}}'=\rho '{\vec {n}}}وρ>0{\displaystyle \rho '>0}يحصل المرء ج0=ج+ρن-ن(0sρ(w)دw+ل0)=ج+(ρ(0)-ل0)ن.{\displaystyle {\vec {C}}_{0}={\vec {c}}+\rho {\vec {n}}-{\vec {n}}\left(\int _{0}^{s}\rho '(w)\;\mathrm {d} w\;+l_{0}\right)={\vec {c}}+(\rho (0)-l_{0})\;{\vec {n}}\,.} وهذا يعني: بالنسبة لامتداد السلسلةل0=ρ(0){\displaystyle l_{0}=\rho (0)}يتم إعادة إنتاج المنحنى المعطى.

  • المنحنيات المتوازية لها نفس الشكل التطوري.

البرهان: منحنى متوازٍ بمسافةد{\displaystyle d}للمنحنى المعطى تمثيل بارامتريجد=ج+دن{\displaystyle {\vec {c}}_{d}={\vec {c}}+d{\vec {n}}}ونصف قطر الانحناءρد=ρ-د{\displaystyle \rho _{d}=\rho -d}(انظر المنحنى الموازي ). ومن ثم فإن منحنى تطور المنحنى الموازي هوهـد=جد+ρدن=ج+دن+(ρ-د)ن=ج+ρن=هـ.{\displaystyle {\vec {E}}_{d}={\vec {c}}_{d}+\rho _{d}{\vec {n}}={\vec {c}}+d{\vec {n}}+(\rho -d){\vec {n}}={\vec {c}}+\rho {\vec {n}}={\vec {E}}\;.}

الخصائص الجبرية الحقيقية والنقاط الشاذة

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

  • الحد الأقصى لعدد المرات التي يمكن أن يتقاطع فيها خط حقيقي مع منحنى تطوري لمنحنى جبري حقيقي من الدرجةد{\displaystyle d}هو على الأقلد(د-2){\displaystyle d(d-2)}.
  • يبلغ الحد الأقصى لعدد الرؤوس الحقيقية (النقاط الحادة) على هذا المنحنى التطوري على الأقلد(2د-3){\displaystyle d(2d-3)}.
  • تمت دراسة الحد الأقصى لعدد العقد (التقاطعات الذاتية المستعرضة الحقيقية) على المنحنى التطوري وعلى منحنى ثنائي، مع حدود دنيا متعددة الحدود بدلالةد{\displaystyle d}[ 4 ]

أمثلة

منحنى تطور القطع المكافئ

بالنسبة للقطع المكافئ ذي التمثيل البارامتري(ت،ت2){\displaystyle (t,t^{2})}يمكن الحصول من الصيغ المذكورة أعلاه على المعادلات التالية: X==-4ت3{\displaystyle X=\cdots =-4t^{3}}Y==12+3ت2،{\displaystyle Y=\cdots ={\frac {1}{2}}+3t^{2}\,,} وهو ما يصف قطعًا مكافئًا نصف مكعب

منحنى تطور (باللون الأحمر) لقطع ناقص

منحنى تطور القطع الناقص

بالنسبة للقطع الناقص ذي التمثيل البارامتري(أكوست،بالخطيئةت){\displaystyle (a\cos t,b\sin t)}يحصل المرء على: [ 6 ]X==أ2-ب2أكوس3ت{\displaystyle X=\cdots ={\frac {a^{2}-b^{2}}{a}}\cos ^{3}t}Y==ب2-أ2بالخطيئة3ت.{\displaystyle Y=\cdots ={\frac {b^{2}-a^{2}}{b}}\sin ^{3}t\;.} هذه هي معادلات كويكب غير متناظر . حذف المعاملت{\displaystyle t}يؤدي إلى التمثيل الضمني (أX)23+(بY)23=(أ2-ب2)23 .{\displaystyle (aX)^{\tfrac {2}{3}}+(bY)^{\tfrac {2}{3}}=(a^{2}-b^{2})^{\tfrac {2}{3}}\ .}

الشكل الدائري (باللون الأزرق)، ودائرته الملامسة (باللون الأحمر) والشكل المتطور (باللون الأخضر).

منحنى تطوري لدائرة

بالنسبة للمنحنى الدائري ذي التمثيل البارامتري(ر(ت-الخطيئةت)،ر(1-كوست)){\displaystyle (r(t-\sin t),r(1-\cos t))}سيكون التطور كالتالي: [ 7 ]X==ر(ت+الخطيئةت){\displaystyle X=\cdots =r(t+\sin t)}Y==ر(كوست-1){\displaystyle Y=\cdots =r(\cos t-1)} وهو ما يصف نسخة منقولة من نفسها.

إن الشكل التطوري للكلية الكبيرة (الأزرق) هو الكلية الصغيرة (الأحمر).

تطور منحنيات الجمالية اللوغاريتمية

المنحنى التطوري لمنحنى لوغاريتمي جمالي هو منحنى لوغاريتمي جمالي آخر. [ 8 ] ومن الأمثلة على هذه العلاقة أن المنحنى التطوري للولب أويلر هو لولب ذو معادلة سيزارو.κ(s)=-s-3{\displaystyle \kappa (s)=-s^{-3}}[ 9 ]

تطورات بعض المنحنيات

التطور

المنحنى الشعاعي

المنحنى الذي يحمل تعريفًا مشابهًا هو شعاع منحنى معين. لكل نقطة على المنحنى، نأخذ المتجه من تلك النقطة إلى مركز الانحناء وننقله بحيث يبدأ من نقطة الأصل. عندئذٍ، يُسمى المحل الهندسي للنقاط الواقعة عند نهايات هذه المتجهات شعاع المنحنى. تُستنتج معادلة الشعاع بحذف حدي x و y من معادلة المنحنى التطوري. ينتج عن ذلك (X،Y)=(-yx2+y2xy"-x"y،xx2+y2xy"-x"y).{\displaystyle (X,Y)=\left(-y'{\frac {{x'}^{2}+{y'}^{2}}{x'y''-x''y'}}\;,\;x'{\frac {{x'}^{2}+{y'}^{2}}{x'y''-x''y'}}\right).}

مراجع

  1. ^ وايسستين ، إريك دبليو. “تطور الدائرة” . عالم الرياضيات .
  2. أرنولد، في. آي .؛ فارتشينكو، أ. ن.؛ حسين زاده، س. م. (1985). تصنيف النقاط الحرجة، والكاوستيك، وجبهات الموجة: غرائب ​​الخرائط التفاضلية، المجلد 1. بيركهاوزر . ISBN 0-8176-3187-9.
  3. يودر، جويلا ج. (2004). كشف الزمن: كريستيان هويغنز ورياضيات الطبيعة . مطبعة جامعة كامبريدج .
  4. 1 2 3 راجني بيني، كورديان رينر وبوريس شابيرو (2025). عودة الطائرة تتطور ، حوليات معهد فورييه ، 75(4):1685–1751. دوى:10.5802/aif.3703
  5. غيس، إتيان ؛ تاباشنيكوف، سيرجي ؛ تيمورين، فلادلين (2013). "المنحنيات المماسّة: حول نظرية تايت-كنيسر". مجلة الرياضيات الذكية . 35 (1): 61-66 . arXiv : 1207.5662 . doi : 10.1007/s00283-012-9336-6 . MR 3041992 . 
  6. R.Courant: Vorlesungen über Differential- und Integralrechnung. الفرقة 1، سبرينغر-فيرلاغ، 1955، ص 268.
  7. وايسشتاين، إريك دبليو. "التطور الدائري" . عالم الرياضيات .
  8. يوشيدا، ن.، وسايتو، ت. (2012). "المنحنيات التطورية للمنحنيات المستوية ذات الجمالية اللوغاريتمية والحدود القابلة للرسم لقطاعات المنحنى". التصميم بمساعدة الحاسوب وتطبيقاته . 9 (5): 721-731 . doi : 10.3722/cadaps.2012.721-731 .{{cite journal}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  9. ^ "تطور دوامة أويلر" . لاين بندر ويكي . 2024-03-11.