نموذج واحد

في الهندسة التفاضلية ، يُعرف الشكل التفاضلي الأحادي (أو حقل المتجهات المرافقة ) على مشعب قابل للتفاضل بأنه شكل تفاضلي من الدرجة الأولى، أي مقطع أملس من حزمة المماس المرافق . [ 1 ] وبالمثل، فإن الشكل التفاضلي الأحادي على مشعبم{\displaystyle M}هي دالة سلسة للفضاء الكلي للحزمة المماسية لـم{\displaystyle M}لR{\displaystyle \mathbb {R} }والتي يكون تقييدها على كل ليف دالة خطية على الفضاء المماسي. [ 2 ] ليكنيو{\displaystyle U}ليكن مجموعة فرعية مفتوحة منم{\displaystyle M}وصيو{\displaystyle p\in U}. ثم ω:يوصيوتيص*(م)صωصتيص*(م){\displaystyle {\begin{aligned}\omega :U&\rightarrow \bigcup _{p\in U}T_{p}^{*}(M)\\p&\mapsto \omega _{p}\in T_{p}^{*}(M)\end{aligned}}} يُعرّف شكلاً واحداًω{\displaystyle \omega }.ωص{\displaystyle \omega _{p}}هو متجه متحرك.

غالباً ما يتم وصف الأشكال التفاضلية من الدرجة الأولى محلياً ، وخاصة في الإحداثيات المحلية . في نظام الإحداثيات المحلي، يكون الشكل التفاضلي من الدرجة الأولى عبارة عن توليفة خطية من تفاضلات الإحداثيات: αx=و1(x)دx1+و2(x)دx2++ون(x)دxن،{\displaystyle \alpha _{x}=f_{1}(x)\,dx_{1}+f_{2}(x)\,dx_{2}+\cdots +f_{n}(x)\,dx_{n},} حيثوأنا{\displaystyle f_{i}}هي دوال سلسة. من هذا المنظور، يمتلك الشكل التفاضلي من الدرجة الأولى قانون تحويل متغاير عند الانتقال من نظام إحداثيات إلى آخر. وبالتالي، فإن الشكل التفاضلي من الدرجة الأولى هو حقل موتر متغاير من الرتبة الأولى .

أمثلة

أبسط شكل تفاضلي غير تافه هو شكل "التغير في الزاوية".دθ.{\displaystyle d\theta .}يُعرَّف هذا بأنه مشتق دالة الزاوية.θ(x،y){\displaystyle \theta (x,y)}(وهي معرفة فقط حتى ثابت جمعي)، والتي يمكن تعريفها صراحةً بدلالة دالة atan2 . وبأخذ المشتقة نحصل على الصيغة التالية للمشتقة الكلية : دθ=x(atan2(y،x))دx+y(atan2(y،x))دy=-yx2+y2دx+xx2+y2دy{\displaystyle {\begin{aligned}d\theta &=\partial _{x}\left(\operatorname {atan2} (y,x)\right)dx+\partial _{y}\left(\operatorname {atan2} (y,x)\right)dy\\&=-{\frac {y}{x^{2}+y^{2}}}dx+{\frac {x}{x^{2}+y^{2}}}dy\end{aligned}}} بينما لا يمكن تعريف "دالة" الزاوية بشكل مستمر - فإن الدالة atan2 غير متصلة على طول المحور السالبy{\displaystyle y}المحور - الذي يعكس حقيقة أن الزاوية لا يمكن تعريفها بشكل مستمر، فإن هذه المشتقة تُعرَّف بشكل مستمر باستثناء نقطة الأصل، مما يعكس حقيقة أن التغيرات المتناهية الصغر (والمحلية بالفعل) في الزاوية يمكن تعريفها في كل مكان باستثناء نقطة الأصل. يُعطي تكامل هذه المشتقة على طول مسار التغير الكلي في الزاوية على طول هذا المسار، بينما يُعطي التكامل على مسار مغلق عدد لفات المسار.2π.{\displaystyle 2\pi .}

في لغة الهندسة التفاضلية ، تُعتبر هذه المشتقة شكلاً تفاضلياً من الدرجة الأولى على المستوى المثقوب . وهي مغلقة ( مشتقتها الخارجية تساوي صفرًا) ولكنها ليست تامة ، أي أنها ليست مشتقة شكل تفاضلي من الدرجة الصفرية (أي دالة): الزاويةθ{\displaystyle \theta }ليست دالة سلسة معرفة عالميًا على كامل المستوى المثقوب. في الواقع، يُولّد هذا الشكل أول تماثل دي رام للمستوى المثقوب. هذا هو أبسط مثال على هذا الشكل، وهو أساسي في الهندسة التفاضلية.

تفاضل دالة

يتركيوR{\displaystyle U\subseteq \mathbb {R} }أن تكون مفتوحة (على سبيل المثال، فاصل زمني)(أ،ب){\displaystyle (a,b)})، ولنعتبر دالة قابلة للتفاضلو:يوR،{\displaystyle f:U\to \mathbb {R} ,}مع المشتقو.{\displaystyle f'.}التفاضليدو{\displaystyle df}يُخصص لكل نقطةx0يو{\displaystyle x_{0}\in U}خريطة خطية من الفضاء المماسيتيx0يو{\displaystyle T_{x_{0}}U}إلى الأعداد الحقيقية. في هذه الحالة، يمكن تحديد كل فضاء مماس بشكل طبيعي مع خط الأعداد الحقيقية، والتحويل الخطيRR{\displaystyle \mathbb {R} \to \mathbb {R} }يتم تحديد المسألة عن طريق القياس بواسطةو(x0).{\displaystyle f'(x_{0}).}هذا هو أبسط مثال على شكل تفاضلي (أحادي).

انظر أيضاً

مراجع

  1. "2 مقدمة في الهندسة التفاضلية ‣ النسبية العامة بقلم ديفيد تونغ" . www.damtp.cam.ac.uk . تاريخ الاسترجاع: 4 أكتوبر 2022 .
  2. ماكينيرني، أندرو (9 يوليو 2013). الخطوات الأولى في الهندسة التفاضلية: الريمانية، التماسية، التبسيطية . سبرينغر ساينس آند بيزنس ميديا. الصفحات 136-155 . ISBN  978-1-4614-7732-7.