مُشتقة ليي، التناظرات و متجهات كيلنغ The Lie derivative, Symmetries and Killing vecto
http://dc11.arabsh.com/i/02855/r1wr6bty4q7q.gif
المصدر: كتب اخى الكريم د/ الصادق
http://thephysics.yoo7.com/t23-topic
مُشتقة ليي، التناظرات و متجهات كيلنغ
The Lie derivative, Symmetries and Killing vectors
1-
تناظرات (تماثُلات) الممتد المتري
دعنا في البدية نشرح ما الذي نعنيه بتناظرات الممتد المتري. التناظر او التماثل في الممتد المتري هو عملية عدم تغير الممتد المتري عند إجراء تحويلات مُعينة، فمثلاً نستطيع ان نقول ان الممتد المتري في فضاء مينكوفسكي يخضع لتناظر تحت تحويلات بوينكاري (زمرة لورنتز هي زمرة جزئية من زمرة بوينكاري) اي ان زمرة بوينكاري هي زمرة لتناظرات الممتد المتري في فضاء مينكوفسكي. كذلك نستطيع ان نقول ان الممتد المتري للسطح الكروي له تناظر دوراني و ذلك لانه لا يتغير عند تدوير الكرة، ويمكن ان ننظر لعملية الدوران هذه من وجهتين : اما كتحويل إيجابي active transformation و ذلك عندما نقوم بتدوير سطح الكرة من دون ان يطرأ اي تغير عليها، أو كتحويل سلبي passive transformation وذلك عندما لا نقوم بتحيرك الكرة ولكن نقوم فقط بتدوير نظام الاحداثيات حيث ان النقاط على سطح الكرة لا تتغير و لكن تتغير تسمية تلك النقاط اي تصبح لها احداثيات جديدة في نظام الاحداثيات الجديد الذي حصلنا عليه بعد عملية الدوران. و هكذا وفقاً لوجهة النظر الاخيرة (التحويلات السلبية) فاننا نستطيع ان نعتبر التناظر على انه عملية عدم تغير الممتد المتري عند اجراء تحويلات إحداثية مُعينة.
لذلك دعنا نعتبر ممتد متري
http://latex.codecogs.com/gif.latex?...5Cnu%7D%28x%29 في نظام إحداثيات
http://latex.codecogs.com/gif.latex?...%5Cmu%7D%5C%7D و قمنا بتغير نظام الاحداثيات
http://latex.codecogs.com/gif.latex?...5Cmu%7D%28x%29 فاننا سوف نحصل على ممتد متري
http://latex.codecogs.com/gif.latex?...5Cnu%7D%28x%29 في نظام الاحداثيات الجديد و هو يُعطى بـ
http://latex.codecogs.com/gif.latex?...&space;%281%29
ومن المناقشة اعلاه فاننا نستنتج معنى التناظر، اي عدم تغير الممتد المتري عند اجراء تحويل إحداثي، بالتعبير التالي:
http://latex.codecogs.com/gif.latex?...&space;%282%29
http://img373.imageshack.us/img373/7384/14ii6.gif
رد: مُشتقة ليي، التناظرات و متجهات كيلنغ The Lie derivative, Symmetries and Killing vecto
http://dc11.arabsh.com/i/02855/r1wr6bty4q7q.gif
- مُشتقة ليي للدوال القياسية
الان نريد ان نترجم المناقشة السابقة في شكل شرط على التحويلات الإحداثية المتناهية الصغر التي تأخذ الصورة العامة التالية:
http://latex.codecogs.com/gif.latex?...&space;%283%29
لتوليد (إنتاج) تناظر للممتد المتري. في المعادلة السابقة نجد ان http://latex.codecogs.com/gif.latex?...ace;%5Cepsilon تمثل مقدار متناهي الصغر و http://latex.codecogs.com/gif.latex?...%5E%7B%5Cmu%7D عبارة عن حقل إتجاهي (متجه) و ذلك نسبة لانه على الرغم من ان الإحداثيات لا تتحول كتحول المتجهات، الا ان التغيرات المتناهية في الصغر للاحداثيات تتحول كمتجهات
http://latex.codecogs.com/gif.latex?...&space;%284%29
لذلك يمكن ان نتعامل مع http://latex.codecogs.com/gif.latex?...%5E%7B%5Cmu%7D على انها http://latex.codecogs.com/gif.latex?...%5E%7B%5Cmu%7D. الان نفترض ان لدينا دالة قياسية http://latex.codecogs.com/gif.latex?...;%5Cphi%28x%29 و اذا قمنا باجراء التحويل الاحداثي متناهي الصغر (3) فان الدالة القياسية سوف تعتمد على الاحداثي الجديد http://latex.codecogs.com/gif.latex?...%28y%28x%29%29 و هكذا يمكننا مقارنة http://latex.codecogs.com/gif.latex?...%28y%28x%29%29 المُعرفة في نظام الاحداثيات x مع http://latex.codecogs.com/gif.latex?...%28y%28x%29%29 المُعرفة في نظام الاحداثيات الجديد y، و لما كانت الدالة القياسية غير متغيرة عند التحويل من مناط احداثي الى آخر فان http://latex.codecogs.com/gif.latex?...=%5Cphi%28x%29. و لذلك فان
http://latex.codecogs.com/gif.latex?...quad%20%285%29
وباجراء تمديد (مفكوك) تايلور للدالة http://latex.codecogs.com/gif.latex?...lon&space;V%29 حول النقطة x نحصل على
http://latex.codecogs.com/gif.latex?...8x%29+...
و لما كانت http://latex.codecogs.com/gif.latex?...ace;%5Cepsilon متناهية في الصغر فاننا سوف نهمل مربعها و نكتفي فقط بالحدود الاول (الرتبة الصفرية http://latex.codecogs.com/gif.latex?...%5Cepsilon%5E0) و الثاني في المفكوك (الرتبة الاولى http://latex.codecogs.com/gif.latex?...%5Cepsilon%5E1) اي ان :
http://latex.codecogs.com/gif.latex?...D%5Cphi%28x%29
و بالتعويض في المعادلة (5) سوف نحصل على
http://latex.codecogs.com/gif.latex?...&space;%286%29
وبقسمة الطرفين على http://latex.codecogs.com/gif.latex?...ace;%5Cepsilon و اخذ النهاية عند http://latex.codecogs.com/gif.latex?...on%20%5Cto%200 (هذا يبرر اسقاط الحد الذي يحتوي على مربع http://latex.codecogs.com/gif.latex?...ace;%5Cepsilon في مفكوك تايلور) فسوف نحصل على تعريف مشتقة ليي على الدوال القياسية
http://latex.codecogs.com/gif.latex?...ace;%286%29%7D
ومن هنا نلاحظ ان مشتقة ليي على الدوال القيايسة هي ببساطة عبارة عن المشتقة الإتجاهية الاعتيادية، وهذا شئ متوقع جداً لانه اذا كانت الدالة تخضع لتناظر ما في اتجاه معين (المتجه V) فيجب ان تنعدم مشتقتها في ذالك الاتجاه اي لا تتغير قيمتها و تظل ثابة في ذلك الاتجاه.
http://img373.imageshack.us/img373/7384/14ii6.gif
رد: مُشتقة ليي، التناظرات و متجهات كيلنغ The Lie derivative, Symmetries and Killing vecto
رد: مُشتقة ليي، التناظرات و متجهات كيلنغ The Lie derivative, Symmetries and Killing vecto
اشكرك جدا جدا اخى العزيز د/ الصادق
حفظ الله اخلاصك لله وصحبة الرسول صلى الله عليه وسلم يقظة ومناما دنيا وآخرة
وصلى الله على سيدنا محمد وعلى اله وصحبه وسلم
http://www.samysoft.net/forumim/shokr/2/80898296.gif
اخوكم / محمد ابوزيد
رد: مُشتقة ليي، التناظرات و متجهات كيلنغ The Lie derivative, Symmetries and Killing vecto
السلام عليكم ورحمة الله وبركاته
جزاك الله خيراً على الموضوع أخينا / أبو آية ... على نقل الموضوع الرائع والمتوقع طبعاً من أستاذنا الغالي / الصادق ... جزاه ربي خيري الدنيا والأخرة ...
في أمان الله
رد: مُشتقة ليي، التناظرات و متجهات كيلنغ The Lie derivative, Symmetries and Killing vecto
السلام عليكم ورحمة الله وبركاته
الحمدلله والصلاة والسلام على رسول الله وعلى آله وصحبه أجمعين
شـكــ وبارك الله فيك ـــرا لك ..... لك مني أجمل تحية .