سُميت معضلة الناقصية لدركليه بهذا الاسم نظرًا لعالم الرياضيات بيتر غوستاف ليجون دركليه. كانت فكرة دركليه الأساسية هي تغيير معادلات أويلر إلى نظام المعادلات التفاضلية العادية بحيث يكون موضع جسيم السائل في سطح ناقص متجانس في أي وقت هو دالة خطية ومتجانسة للموضع الأولي لجسيم السائل، ويجري هذا التغيير باستخدام نموذج لاغرانج بدلاً من نموذج أويلر.[1][2][3]
تاريخ
وجد دركليه بعض الحلول لمعادلات أويلر وقدمها في محاضراته التي تمحورت حول المعادلات التفاضلية الجزئية في تموز/يوليو في عام 1857 ونشر النتائج في نفس الشهر.[4] لم يستطع إنهاء العمل الذي بدأه بسبب وفاته المفاجئ في عام 1859. جُمعت ملاحظاته ونُشرت من قبل ريتشارد ديديكيند بعد وفاته عام 1860.[5]
قال بيرنهارد ريمان : "أظهر دركليه بطريقة أكثر بروزًا في بحثه الذي عمل عليه وحُرر للنشر بعد وفاته من قبل ديديكيند وسيلة جديدة تمامًا للتحقيقات حول حركة السطح الناقص المتجانس الذي ينجذب ذاتيًا. يتلقى تطوير اكتشافه المميز اهتمامًا خاصًا خاصة من علماء الرياضيات وذلك بغض النظر عن علاقته بأشكال الأجرام السماوية التي حرضت في البداية على هذه التحقيقات".
صيغة ريمان-ليبوفيتز
عمم برنارد ريمان معضلة دركليه في عام 1860[6] ثم عممها نورمان ليبوفيتز بشكل حديث في عام 1965.[7] لتكن كل من دالة ودالة ودالة أشباه محاور السطح الناقص التي تختلف مع الوقت، وبما أن السطح الناقص متجانس فإن ثبات الكتلة يتطلب ثبات حجم السطح الناقص، ، أي أن يكون بنفس الحجم الأولي.
افترض وجود قاعدة داخلية (إكس 1، اكس2، اكس3) وقاعدة دورانية (اكس 1، اكس2، اكس3) مع أن يكون رمز هو التحول الخطي مثل ومن الواضح أن رمز متعامد، فمثلًا . يمكننا تحديد مصفوفة غير متماثلة بالعلاقة حيث يمكننا كتابة المزدوج رمز و رمز على الشكل معادلة. يمثل رمز وقت دوران القاعدة الدورانية وفقَا للقاعدة الداخلية.
لنفترض بشكلٍ لا يخلو من التعميم تطابق القاعدة الداخلية والقاعدة المتحركة في البداية، أي معادلة. تبحث معضلة دركليه بحكم التعريف عن حل يمثل دالة خطية للحالة الأولى معادلة. لنفترض النموذج التالي:
ونحدد مصفوفة قطرية رمز مع عناصر قطرية كونها أشباه محاور للسطح الناقص ثم يمكن كتابة المعادلة أعلاه على شكل مصفوفة:
حيث معادلة. يمكن أن يتضح بعد ذلك أن المصفوفة تحوّل المتجه رمز بشكل خطّي إلى نفس المتجه في أي وقت لاحق معادلة. يمكننا أن ندرك من تعريف رمز أن المتجه رمز يمثل وحدة طبيعية على سطح ناقص بحيث يتحرك عنصر سائل على السطح مع السطح. لذلك نرى أن رمز يحول متجه وحدة واحدة على الحد إلى متجه وحدة أخرى على الحد أيضًا وبمعنى آخر هو متعامد، أي . نحدد بعد ذلك مصفوفة أخرى غير متماثلة على الشكل:
حيث يُعرف المزدوج الخاص بها على الشكل معادلة. تُعد المشكلة مشكلة الدوران الموحد رمز مع المكونات المعطاة بواسطة العلاقة:
- ,
يمكن أن يأخذ الضغط شكلًا تربيعيًا فقط، ويمكن رؤيته من معادلة الزخم (واستخدام حالة التلاشي على السطح) التي تُعطى بالعلاقة:
حيث رمز هو الضغط المركزي، لذلك تكون معادلة. تُختزل أخيرًا معادلة زخم الموتر إلى:
حيث رمز هو ثابت التجاذب و رمز يُعبر عن مصفوفة قطرية تُعطى عناصرها المتعامدة بواسطة العلاقة:
تحتوي معادلة زخم الموتر والحفاظ على معادلة الكتلة مثل معادلة على عشرة معادلات للمجاهيل العشرة.
نظرية ديديكيند
تشير النظرية إلى أنه إذا حُددت الحركة بواسطة العلاقة معادلة فتُقبل تحت شروط معضلة دركليه، وتُحدد الحركة بعدها بوساطة تبديل رمز إلى رمز وهو أمر مقبول أيضًا. يمكن القول بأن النظرية قد تُقبل لأي حالة من الحركات التي تحافظ على شكل السطح الناقص.
المراجع
- Chandrasekhar, S. (1969). Ellipsoidal figures of equilibrium (Vol. 10, p. 253). New Haven: Yale University Press.
- Chandrasekhar, S. (1967). Ellipsoidal figures of equilibrium—an historical account. Communications on Pure and Applied Mathematics, 20(2), 251-265.
- Lebovitz, N. R. (1998). The mathematical development of the classical ellipsoids. International journal of engineering science, 36(12), 1407-1420.
- Dirichlet G. Lejeune, Nach von der KoÈnig Gesell der Wiss zu GoÈtt 14 (1857) 205
- Dirichlet, P. G. L. (1860). Untersuchungen über ein Problem der Hydrodynamik (Vol. 8). Dieterichschen Buchhandlung.
- Riemann, B. (1860). Über die Fortpflanzung ebener Luftwellen von endlicher Schwingungsweite. Verlag der Dieterichschen Buchhandlung.
- Norman R. Lebovitz (1965), The Riemann ellipsoids, (lecture notes, Inst. Ap., Cointe-Sclessin, Belgium)