دالة رياضية لمتغيرين؛ تنتج 1 إذا كانا متساويين، و0 بخلاف ذلك
في الرياضيات ، دلتا كرونيكر (التي سميت على اسم ليوبولد كرونيكر ) هي دالة لمتغيرين ، عادةً ما يكونان مجرد أعداد صحيحة غير سالبة . تكون الدالة 1 إذا كان المتغيران متساويين، و0 بخلاف ذلك:
أو
مع استخدام أقواس إيفرسون :
على سبيل المثال، لأن ، بينما لأن .
يظهر دلتا كرونيكر بشكل طبيعي في العديد من مجالات الرياضيات والفيزياء والهندسة وعلوم الكمبيوتر، كوسيلة للتعبير بشكل مضغوط عن تعريفه أعلاه.
في كثير من الأحيان، يتم استخدام تدوين الوسيطة الفردية ، وهو ما يعادل الإعداد :
في الجبر الخطي ، يمكن اعتباره موترًا ، ويُكتب . في بعض الأحيان يُطلق على دلتا كرونيكر موتر الاستبدال. [1]
معالجة الإشارات الرقمية
دالة العينة الوحدوية
في دراسة معالجة الإشارات الرقمية (DSP)، تمثل دالة العينة الوحدوية حالة خاصة لدالة دلتا كرونيكر ثنائية الأبعاد حيث تتضمن مؤشرات كرونيكر الرقم صفر، وحيث يكون أحد المؤشرات صفرًا. في هذه الحالة:
أو بشكل عام حيث:
ومع ذلك، فهذه ليست سوى حالة خاصة. ففي حساب الموتر، من الشائع ترقيم متجهات الأساس في بُعد معين بدءًا من الفهرس 1، بدلاً من الفهرس 0. وفي هذه الحالة، لا توجد العلاقة، وفي الواقع، فإن دالة دلتا كرونيكر ودالة العينة الوحدوية هما دالتان مختلفتان تتداخلان في الحالة المحددة حيث تتضمن المؤشرات الرقم 0، وعدد المؤشرات هو 2، وقيمة أحد المؤشرات تساوي صفرًا.
في حين تستخدم دالة العينة الوحدوية المنفصلة ودالة دلتا كرونيكر نفس الحرف، إلا أنهما تختلفان في الطرق التالية. بالنسبة لدالة العينة الوحدوية المنفصلة، من التقليدي وضع فهرس عدد صحيح واحد بين أقواس مربعة؛ على النقيض من ذلك، يمكن أن تحتوي دلتا كرونيكر على أي عدد من الفهارس. علاوة على ذلك، فإن الغرض من دالة العينة الوحدوية المنفصلة يختلف عن دالة دلتا كرونيكر. في معالجة الإشارات الرقمية، تُستخدم دالة العينة الوحدوية المنفصلة عادةً كدالة إدخال لنظام منفصل لاكتشاف دالة النظام للنظام والتي سيتم إنتاجها كمخرجات للنظام. على النقيض من ذلك، فإن الغرض النموذجي لدالة دلتا كرونيكر هو تصفية المصطلحات من اتفاقية مجموع أينشتاين .
يتم تعريف دالة العينة الوحدوية المنفصلة بشكل أكثر بساطة على النحو التالي:
بالإضافة إلى ذلك، غالبًا ما يتم الخلط بين دالة دلتا ديراك ودالة دلتا كرونيكر ودالة العينة الوحدوية. يتم تعريف دلتا ديراك على النحو التالي:
على عكس دالة دلتا كرونيكر ودالة العينة الوحدوية ، فإن دالة دلتا ديراك ليس لها مؤشر عدد صحيح، بل لها قيمة غير صحيحة متصلة واحدة t .
تتمتع دلتا كرونيكر بما يسمى بخاصية الغربلة والتي بالنسبة لـ :
وإذا تم النظر إلى الأعداد الصحيحة كمساحة قياس ، وُهبت بمقياس العد ، فإن هذه الخاصية تتطابق مع الخاصية المحددة لدالة دلتا ديراك
وفي الواقع تم تسمية دلتا ديراك على اسم دلتا كرونيكر بسبب هذه الخاصية التناظرية. [2] في معالجة الإشارات، عادةً ما يكون السياق (الوقت المنفصل أو المستمر) هو الذي يميز "وظائف" كرونيكر وديراك. ووفقًا للاتفاقية، يشير عمومًا إلى الوقت المستمر (ديراك)، في حين أن الوسائط مثل ، ، ، ، ، وعادةً ما تكون محجوزة للوقت المنفصل (كرونيكر). ممارسة شائعة أخرى هي تمثيل التسلسلات المنفصلة بأقواس مربعة؛ وبالتالي: . دلتا كرونيكر ليست نتيجة أخذ عينات مباشرة من دالة دلتا ديراك.
في نظرية الاحتمالات والإحصاء ، يمكن استخدام كل من دلتا كرونيكر ودالة دلتا ديراك لتمثيل توزيع منفصل . إذا كان دعم التوزيع يتكون من نقاط ، مع احتمالات مقابلة ، فيمكن كتابة
دالة كتلة الاحتمال للتوزيع باستخدام دلتا كرونيكر، على النحو التالي:
على نحو مكافئ، يمكن كتابة دالة كثافة الاحتمال للتوزيع باستخدام دالة دلتا ديراك على النحو التالي:
في ظل ظروف معينة، يمكن أن تنشأ دلتا كرونيكر من أخذ عينات من دالة دلتا ديراك. على سبيل المثال، إذا حدثت نبضة دلتا ديراك بالضبط عند نقطة أخذ العينات وتم ترشيحها بشكل مثالي بتردد منخفض (مع قطع عند التردد الحرج) وفقًا لنظرية أخذ العينات نيستكويست-شانون ، فإن الإشارة الناتجة في الوقت المنفصل ستكون دالة دلتا كرونيكر.
التعميمات
إذا تم اعتباره موترًا من النوع ، فيمكن كتابة
موتر كرونيكر بمؤشر متغير ومؤشر معاكس :
يمثل هذا الموتر:
تعتبر خريطة الهوية (أو مصفوفة الهوية)، والتي تعتبر بمثابة خريطة خطية أو
الانكماش الأثري أو الموتر ، والذي يعتبر بمثابة تعيين
الخريطة التي تمثل الضرب القياسي كمجموع للضرب الخارجي .
الدلتا كرونيكر المعممة أودلتا كرونيكر متعددة المؤشراتمن الدرجة الأولىهي نوعغير متماثلتمامًافيمؤشراته العليا، وكذلك فيمؤشراته السفلية.
هناك تعريفان مختلفان بعامل قيد الاستخدام. فيما يلي، يتم تقديم الإصدار الذي يحتوي على مكونات غير صفرية تم قياسها لتكون . يحتوي الإصدار الثاني على مكونات غير صفرية وهي ، مع التغييرات الناتجة في عوامل القياس في الصيغ، مثل عوامل القياس في § خصائص دلتا كرونيكر المعممة أدناه تختفي. [4]
تعريفات دلتا كرونيكر المعممة
من حيث المؤشرات، يتم تعريف دلتا كرونيكر المعممة على النحو التالي: [5] [6]
تعتمد تقلصات دلتا كرونيكر على أبعاد المساحة. على سبيل المثال،
حيث d هو بُعد المساحة. ومن هذه العلاقة يتم الحصول على دلتا المتقلصة بالكامل على النحو التالي:
تعميم الصيغ السابقة هو [ بحاجة لمصدر ]
من المعادلات أعلاه وخصائص الموتر غير المتماثل ، يمكننا استنباط خصائص دلتا كرونيكر المعممة:
والتي هي النسخة المعممة من الصيغ المكتوبة في § الخصائص . الصيغة الأخيرة تعادل صيغة كوشي بينيه .
يمكن التعبير عن تقليل الترتيب عن طريق جمع المؤشرات من خلال الهوية [9]
بالنسبة لأي عدد صحيح ، باستخدام حساب البقايا القياسي ، يمكننا كتابة تمثيل تكاملي لدلتا كرونيكر على النحو التالي، حيث يتجه محيط التكامل عكس اتجاه عقارب الساعة حول الصفر. هذا التمثيل يعادل أيضًا تكاملًا محددًا بواسطة دوران في المستوى المركب.
مشط كرونيكر
يتم تعريف دالة مشط كرونيكر مع الفترة (باستخدام تدوين
DSP ) على النحو التالي:
حيث و هما عددان صحيحان. وبالتالي فإن مشط كرونيكر يتكون من سلسلة لا نهائية من النبضات الوحدوية التي تفصل بينها N وحدة، ويتضمن النبضة الوحدوية عند الصفر. ويمكن اعتباره نظيرًا منفصلًا لمشط ديراك .
كرونيكر التكامل
يُطلق على دلتا كرونيكر أيضًا درجة رسم خرائط سطح إلى آخر. [13] افترض أن رسم الخرائط يحدث من السطح S uvw إلى S xyz التي تمثل حدود المناطق، R uvw و R xyz والتي ترتبط ببساطة بمراسلات فردية. في هذا الإطار، إذا كانت s و t معلمات لـ S uvw ، و S uvw إلى S uvw موجهة بواسطة العمودي الخارجي n :
بينما يكون العمودي في اتجاه
ليكن x = x ( u , v , w ) , y = y ( u , v , w ) , z = z ( u , v , w ) محددًا وناعمًا في مجال يحتوي على S uvw , ودع هذه المعادلات تحدد تعيين S uvw على S xyz . عندئذٍ تكون درجة التعيين δ هي1/4π مرات الزاوية الصلبة للصورة S لـ S uvw بالنسبة للنقطة الداخلية لـ S xyz ، O. إذا كانت O هي أصل المنطقة، R xyz ، فإن الدرجة، δ تُعطى بالتكامل:
^ Trowbridge, JH (1998). "حول تقنية قياس إجهاد القص المضطرب في وجود الموجات السطحية". مجلة تكنولوجيا الغلاف الجوي والمحيطات . 15 (1): 291. Bibcode :1998JAtOT..15..290T. doi : 10.1175/1520-0426(1998)015<0290:OATFMO>2.0.CO;2 .
^ ديراك، بول (1930). مبادئ ميكانيكا الكم (الطبعة الأولى) . دار نشر جامعة أكسفورد. رقم ISBN 9780198520115.
^ Spiegel, Eugene; O'Donnell, Christopher J. (1997), Incidence Algebras , Pure and Applied Mathematics, vol. 206, Marcel Dekker, ISBN 0-8247-0036-8.