التحليل الميكرولوكي

التحليل الميكرولوكالي هو فرع من التحليل الرياضي يدرس الدوال، والدوال المعممة ، والمعادلات التفاضلية الجزئية من خلال تحديد موقعها وترددها. وتتمثل الفكرة الرئيسية في وصف التفرد ليس فقط من خلال النقطة التي يحدث عندها، بل أيضًا من خلال اتجاه المماس المرافق الذي يحدث فيه. ويشير مصطلح "ميكرولوكالي" إلى التموضع على نطاق صغير في فضاء الطور : محليًا بالقرب من نقطة ما.x{\displaystyle x}لمتشعب وبالقرب في الوقت نفسه من متجه مشترك غير صفريξ{\displaystyle \xi }عند تلك النقطة. هذا أدق من التحليل المحلي العادي، الذي يميز فقط ما إذا كانت الدالة أو التوزيع منتظمًا بالقرب منx{\displaystyle x}تُشفّر معلومات الموضع والمتجه المرافق الذي تحدث فيه حالة التفرد بواسطة مجموعة جبهة الموجة لتوزيع، وهي مجموعة فرعية مخروطية من حزمة الظل المرافق مع إزالة المقطع الصفري. [ 1 ] [ 2 ]

طُوِّر التحليل الميكرولوكالي خلال الفترة من خمسينيات إلى سبعينيات القرن العشرين، وذلك بالارتباط بالمعادلات التفاضلية الجزئية الخطية ، وطرق تحويل فورييه ، والدوال الفائقة، والمؤثرات التفاضلية الزائفة . ويتناول هذا التحليل الانتظام الإهليلجي ، وانتشار النقاط الشاذة، ومؤثرات التكامل الفورييه ، والبصريات الهندسية ، ونظرية التشتت ، والنظرية الطيفية ، والتحليل شبه الكلاسيكي ، والمسائل العكسية . [ 3 ] [ 4 ] [ 5 ]

نعومة دقيقة على المستوى الميكروي

تُعدّ فكرة النعومة من الأفكار الأساسية في التحليل الميكروي المحلي.Rن{\displaystyle \mathbb {R} ^{n}}يتم التعبير عن ذلك باستخدام تحويل فورييه . إذاu{\displaystyle u}هو توزيع وϕ{\displaystyle \phi }هي دالة قطع سلسة مدعومة بالقرب من نقطةx0{\displaystyle x_{0}}اضمحلال تحويل فورييهϕu^(ξ){\displaystyle {\widehat {\phi u}}(\xi )}مثل|ξ|{\displaystyle |\xi |\to \infty }يكشف ما إذا كانu{\displaystyle u}ناعم بالقربx0{\displaystyle x_{0}}يأخذ التحليل الميكرولوكالي هذا الاضمحلال في الاعتبار فقط في جوار مخروطي لاتجاه معين.ξ00{\displaystyle \xi _{0}\neq 0}إذا استمر التحلل السريع في تلك المنطقة المخروطية، فإنu{\displaystyle u}يقال إنها ناعمة على المستوى الميكروي المحلي عند(x0،ξ0){\displaystyle (x_{0},\xi _{0})}[ 1 ]

وبالتالي فإن السلاسة الميكروية المحلية هي مفهوم أضعف من السلاسة العادية: يمكن أن يكون التوزيع سلسًا ميكرويًا محليًا في بعض الاتجاهات عند نقطة ما وليس في اتجاهات أخرى.

إحدى النتائج الأساسية في هذا المجال هي الانتظام الإهليلجي الميكروي المحلي. إذاP{\displaystyle P}هو مؤثر تفاضلي زائف يكون إهليلجيًا بالقرب من(x0،ξ0){\displaystyle (x_{0},\xi _{0})}، ثمu{\displaystyle u}ناعم على المستوى الميكروي(x0،ξ0){\displaystyle (x_{0},\xi _{0})}حينماPu{\displaystyle Pu}يكون السطح أملسًا على المستوى الميكروي المحلي هناك. أو بعبارة أخرى، نقاط تفرد الحلu{\displaystyle u}إلى معادلةPu=و{\displaystyle Pu=f}يمكن أن يحدث ذلك بعيدًا عن مجموعة جبهة الموجةو{\displaystyle f}فقط في المجموعة المميزة لـP{\displaystyle P}[ 6 ] [ 2 ]

مجموعة موجية أمامية

مجموعة جبهة الموجةدبليوF(u){\displaystyle WF(u)}توزيعu{\displaystyle u}على مشعب أملسX{\displaystyle X}هي مجموعة الأزواج(x،ξ){\displaystyle (x,\xi )}، معξ0{\displaystyle \xi \neq 0}، حيثu{\displaystyle u}ليست ناعمة على المستوى الميكروي المحلي. إنها مجموعة فرعية مخروطية مغلقة منتي*X0{\displaystyle T^{*}X\setminus 0}بمعنى أنه إذا(x،ξ){\displaystyle (x,\xi )}ينتمي إلىدبليوF(u){\displaystyle WF(u)}إذن كذلك(x،λξ){\displaystyle (x,\lambda \xi )}لكلλ>0{\displaystyle \lambda >0}[ 1 ]

إسقاطدبليوF(u){\displaystyle WF(u)}لX{\displaystyle X}هو الدعم الوحيد لـu{\displaystyle u}وبالتالي، تحتوي مجموعة جبهة الموجة على الموقع المعتاد للنقاط الشاذة، ولكنها تسجل أيضًا اتجاهاتها. [ 2 ]

مجموعة جبهات الموجة لتوزيع ديراك دلتادلتاx0{\displaystyle \delta _{x_{0}}}في نقطةx0{\displaystyle x_{0}}على سبيل المثال، يتكون من جميع اتجاهات الظل التمام غير الصفرية عندx0{\displaystyle x_{0}}:

دبليوF(دلتاx0)={(x0،ξ):ξتيx0*X، ξ0}.{\displaystyle WF(\delta _{x_{0}})=\{(x_{0},\xi ):\xi \in T_{x_{0}}^{*}X,\ \xi \neq 0\}.}

إذا كان للتوزيع انقطاع مفاجئ عبر سطح فائق أملسS{\displaystyle S}، مجموعة جبهة الموجة الخاصة بها موجودة في الحزمة المشتركة لـS{\displaystyle S}وبالتالي، تتركز النقطة الشاذة في الاتجاهات العمودية على السطح الفائق.

المؤثرات التفاضلية الزائفة

تُعمم المؤثرات التفاضلية الزائفة المؤثرات التفاضلية من خلال السماح بدوال أكثر عمومية لمتغير التردد. محليًا، يكون لهذا المؤثر الشكل التالي:

أu(x)=(2π)-نهـأناxξأ(x،ξ)u^(ξ)دξ،{\displaystyle Au(x)=(2\pi )^{-n}\int e^{ix\cdot \xi }a(x,\xi ){\widehat {u}}(\xi )\,d\xi ,}

أو، بشكل أعم، تكامل تذبذبي ذو سعةأ(x،ξ){\displaystyle a(x,\xi )}الوظيفةأ{\displaystyle a}يُطلق عليه رمز المعامل. [ 7 ] [ 8 ]

الجزء المتجانس الرئيسي من الرمز هو الرمز الأساسي. وهو يتحكم في جزء كبير من السلوك الميكرو-محلي للمؤثر. يكون المؤثر إهليلجيًا عند نقطة ما.(x،ξ){\displaystyle (x,\xi )}من حزمة الظل التمام إذا كان رمزها الرئيسي غير صفري هناك. المجموعة التي يتلاشى فيها الرمز الرئيسي هي المجموعة المميزة للمؤثر.

تعتبر المؤثرات التفاضلية الزائفة ميكروية محلية بمعنى أنها لا تخلق حالات شاذة جديدة في اتجاهات عشوائية:

دبليوF(أu)دبليوF(u).{\displaystyle WF(Au)\subseteq WF(u).}

تتضمن التصريحات الأكثر دقة الدعم الأساسي لرمزأ{\displaystyle A}وعلى العكس من ذلك، يمكن عكس المؤثرات التفاضلية الزائفة الإهليلجية على المستوى الميكروي المحلي، مما يؤدي إلى أشكال ميكروية محلية من الانتظام الإهليلجي. [ 2 ]

انتشار النقاط الشاذة

بالنسبة للمؤثرات من النوع الرئيسي الحقيقي، يقدم التحليل الميكرولوكالي نظرية دقيقة حول انتشار النقاط الشاذة. ليكنP{\displaystyle P}رمز رأس المال الحقيقيص{\displaystyle p}حقل متجه هاميلتونيحص{\displaystyle H_{p}}تحدد حزمة الظل التمام منحنيات تسمى الخصائص الثنائية . وتنص نظرية انتشار التفردات، بشكل تقريبي، على أن مجموعة جبهة الموجة لحل لـPu=و{\displaystyle Pu=f}، خارج مجموعة جبهة الموجةو{\displaystyle f}، ثابت على طول التدفق ثنائي الخصائص في المجموعة المميزة لـP{\displaystyle P}[ 9 ] [ 10 ]

تُقدّم هذه النظرية صيغةً دقيقةً للبصريات الهندسية . ففي المعادلات الزائدية، تنتقل النقاط الشاذة على طول الأشعة التي يُحدّدها التدفق الهاميلتوني للرمز الرئيسي. وفي حالة معادلة الموجة على مشعب ريماني ، ترتبط هذه الأشعة بالتدفق الجيوديسي . وفي الهندسة اللورنتزية ، ينصّ البيان المقابل على أن النقاط الشاذة لحلول الموجة تنتشر على طول الجيوديسيات الصفرية (الخصائص الثنائية الصفرية).

دالة التموضع الدقيق

انظر أيضاً

مراجع

  1. 1 2 3 هورماندر 1990 , الفصل. ثامنا.
  2. 1 2 3 4 تايلور 1981 ، الفصل 7.
  3. هورماندر 1990 .
  4. هورماندر 1985 .
  5. دويسترمات 2011 .
  6. ^ هورماندر 1985 ، الفصل. الثامن عشر إلى العشرين.
  7. تايلور 1981 ، الفصول 1-3.
  8. ^ هورماندر 1985 ، الفصل. الثامن عشر.
  9. ^ دوسترمات وهورماندر 1972 . خطأ sfn: لا يوجد هدف: CITEREFduistermaatHörmander1972 ( مساعدة )
  10. ^ هورماندر 1985 ، الفصل. السادس والعشرون.
  • Duistermaat، JJ (2011)، مشغلو فورييه المتكاملون ، كلاسيكيات بيركهاوزر الحديثة، بوسطن: بيركهاوزر، دوى : 10.1007 / 978-0-8176-8108-1 ، ISBN 978-0-8176-8107-4.
  • هورماندر، لارس (1990)، تحليل المؤثرات التفاضلية الجزئية الخطية 1: نظرية التوزيع وتحليل فورييه (الطبعة الثانية  )، برلين: سبرينغر، doi : 10.1007/978-3-642-61497-2 ، ISBN 978-3-642-61497-2.
  • هورماندر، لارس (1985)، تحليل المؤثرات التفاضلية الجزئية الخطية III: المؤثرات التفاضلية الزائفة ، برلين: سبرينغر.
  • كاشيوارا، م.؛ شابيرا، ب. إيفورا، ف؛ Waschkies، I. (2006)، “Microlocalization of ind-sheaves” ، التقدم في الرياضيات ، بوسطن، MA: Birkhäuser Boston، الصفحات من 171 إلى 221، ISBN  978-0-8176-4342-3
  • تايلور، مايكل إي. (1981)، المؤثرات التفاضلية الزائفة ، سلسلة برينستون الرياضية، المجلد  34، برينستون، نيوجيرسي: مطبعة جامعة برينستون.