مساحة شوارتز

في الرياضيات ، فضاء شوارتزS{\displaystyle {\mathcal {S}}}هي فضاء الدوال لجميع الدوال التي تتناقص مشتقاتها من جميع الرتب بسرعة . يتميز هذا الفضاء بخاصية مهمة، وهي أن تحويل فورييه هو تشاكل ذاتي عليه. تُمكّن هذه الخاصية، من خلال الازدواجية، من تعريف تحويل فورييه لعناصر الفضاء الثنائي.S*{\displaystyle {\mathcal {S}}^{*}}منS{\displaystyle {\mathcal {S}}}أي بالنسبة للتوزيعات المعتدلة . تُسمى الدالة في فضاء شوارتز أحيانًا دالة شوارتز .

تُعد دالة غاوس ثنائية الأبعاد مثالاً على دالة تتناقص بسرعة.

سميت فضاءات شوارتز نسبة إلى عالم الرياضيات الفرنسي لوران شوارتز .

تعريف

يتركشمال{\displaystyle \mathbb {N} }لتكن مجموعة الأعداد الصحيحة غير السالبة ، ولأينشمال{\displaystyle n\in \mathbb {N} }، دعشمالن:=شمال××شمالن أوقات{\displaystyle \mathbb {N} ^{n}:=\underbrace {\mathbb {N} \times \dots \times \mathbb {N} } _{n{\text{ times}}}}كنن{\displaystyle n} -fold Cartesian product .

فضاء شوارتز أو فضاء الدوال المتناقصة بسرعة علىRن{\displaystyle \mathbb {R} ^{n}}هو فضاء الدوالS(Rن،ج):={وج(Rن،ج)|α،βشمالن،وα،β<}،{\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n},\mathbb {C} \right):=\left\{f\in C^{\infty }(\mathbb {R} ^{n},\mathbb {C} )\mid \forall {\boldsymbol {\alpha }},{\boldsymbol {\beta }}\in \mathbb {N} ^{n},\|f\|_{{\boldsymbol {\alpha }},{\boldsymbol {\beta }}}<\infty \right\},}أينج(Rن،ج){\displaystyle C^{\infty }(\mathbb {R} ^{n},\mathbb {C} )}هو فضاء الدوال الملساء منRن{\displaystyle \mathbb {R} ^{n}}إلىج{\displaystyle \mathbb {C} }، ووα،β:=رشفةxRن|xα(دβو)(x)|.{\displaystyle \|f\|_{{\boldsymbol {\alpha }},{\boldsymbol {\beta }}}:=\sup _{{\boldsymbol {x}}\in \mathbb {R} ^{n}}\left|{\boldsymbol {x}}^{\boldsymbol {\alpha }}({\boldsymbol {D}}^{\boldsymbol {\beta }}f)({\boldsymbol {x}})\right|.}هنا،رشفة{\displaystyle \sup }يشير إلى القيمة العليا ، وقد استخدمنا ترميزًا متعدد المؤشرات ، أيxα:=x1α1x2α2...xنαن{\displaystyle {\boldsymbol {x}}^{\boldsymbol {\alpha }}:=x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}\ldots x_{n}^{\alpha _{n}}}ودβ:=1β12β2...نβن{\displaystyle D^{\boldsymbol {\beta }}:=\partial _{1}^{\beta _{1}}\partial _{2}^{\beta _{2}}\ldots \partial _{n}^{\beta _{n}}} .

لتبسيط هذا التعريف، يمكن اعتبار الدالة المتناقصة بسرعة بمثابة دالة في جوهرها.و{\displaystyle f}بحيثو(x){\displaystyle f(x)}،و(x){\displaystyle f'(x)}،و(x){\displaystyle f^{\prime \prime }(x)}... جميعها موجودة في كل مكان علىR{\displaystyle \mathbb {R} }ثم انتقل إلى الصفر كـx±{\displaystyle x\rightarrow \pm \infty }أسرع من أي قوة مقلوب لـx{\displaystyle x}. على وجه الخصوص،S(Rن،ج){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n},\mathbb {C} \right)}هو فضاء جزئي منج(Rن،ج){\displaystyle C^{\infty }(\mathbb {R} ^{n},\mathbb {C} )} .

أمثلة على الدوال في فضاء شوارتز

  • لوα{\displaystyle {\boldsymbol {\alpha }}}إذا كان مؤشرًا متعددًا، وكان a عددًا حقيقيًا موجبًا ، فإنxαهـ-أ|x|2S(Rن){\displaystyle {\boldsymbol {x}}^{\boldsymbol {\alpha }}e^{-a\vert {\boldsymbol {x}}\vert ^{2}}\in {\mathcal {S}}(\mathbb {R} ^{n})} .
  • أي وظيفة سلسةو{\displaystyle f}مع دعم مضغوط موجود فيS(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}هذا واضح لأن أي مشتق منو{\displaystyle f}مستمر ومدعوم بدعم منو{\displaystyle f}لذلك(xαدα)و{\displaystyle ({\boldsymbol {x}}^{\boldsymbol {\alpha }}{\boldsymbol {D}}^{\boldsymbol {\alpha }})f}له حد أقصى فيRن{\displaystyle \mathbb {R} ^{n}}بحسب نظرية القيمة القصوى .
  • لأن فضاء شوارتز هو فضاء متجهي، فإن أي متعدد حدودϕ(x){\displaystyle \phi ({\boldsymbol {x}})}يمكن ضربها بمعاملهـ-أ|x|2{\displaystyle e^{-a\vert {\boldsymbol {x}}\vert ^{2}}}لأ>0{\displaystyle a>0}ثابت حقيقي، لإعطاء عنصر من فضاء شوارتز. على وجه الخصوص، يوجد تضمين لكثيرات الحدود في فضاء شوارتز.

ملكيات

الخصائص التحليلية

  • يستنتج من قاعدة لايبنتز ما يلي:S(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}وهي مغلقة أيضًا تحت الضرب النقطي :و،زS(Rن){\displaystyle f,g\in {\mathcal {S}}\left(\mathbb {R} ^{n}\right)} يعنيوزS(Rن){\displaystyle fg\in {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}. وعلى وجه الخصوص، هذا يعني أنS(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}هوR{\displaystyle \mathbb {R} }الجبر. وبشكل أعم، إذاوS(R){\displaystyle f\in {\mathcal {S}}\left(\mathbb {R} \right)}وح{\displaystyle H}إذا كانت دالة سلسة محدودة ذات مشتقات محدودة من جميع الرتب، فإنوحS(R){\displaystyle fH\in {\mathcal {S}}\left(\mathbb {R} \right)} .
  • تحويل فورييه هو تماثل خطيF:S(Rن)S(Rن){\displaystyle {\mathcal {F}}:{\mathcal {S}}\left(\mathbb {R} ^{n}\right)\rightarrow {\mathcal {S}}\left(\mathbb {R} ^{n}\right)} .
  • لووS(Rن){\displaystyle f\in {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}ثمو{\displaystyle f}دالة ليبشيتز متصلة ، وبالتالي فهي متصلة بانتظام علىRن{\displaystyle \mathbb {R} ^{n}} .
  • S(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}هو نموذج متعدد المتغيرات من نوع فريشيه شوارتز محدب محليًا ومتميز على الأعداد المركبة .
  • كلاهماS(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}ومساحتها الثنائية القوية هي أيضًا:
  1. فضاءات هاوسدورف المحدبة محلياً الكاملة ،
  2. مساحات مونتيل النووية ،
  3. فضاءات فوق بورنولوجية ،
  4. مساحات ماكي البرميلية الانعكاسية .

علاقة فضاءات شوارتز بالفضاءات المتجهة الطوبولوجية الأخرى

  • إذا1ص<{\displaystyle 1\leqslant p<\infty }ثمS(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}هي مجموعة جزئية كثيفة منلص(Rن){\displaystyle L^{p}(\mathbb {R} ^{n})} .
  • فضاء جميع دوال النتوء ،جج(Rن){\displaystyle C_{\text{c}}^{\infty }\left(\mathbb {R} ^{n}\right)}، مدرج فيS(Rن){\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)} .

انظر أيضاً

مراجع

مصادر

  • هورماندر، ل. (1990). تحليل المؤثرات التفاضلية الجزئية الخطية 1، (نظرية التوزيع وتحليل فورييه) (  الطبعة الثانية). برلين: سبرينغر-فيرلاغ. ISBN 3-540-52343-X.
  • ريد، م.؛ سيمون، ب. (1980). أساليب الفيزياء الرياضية الحديثة: التحليل الوظيفي 1 (طبعة منقحة وموسعة  ). سان دييغو: أكاديميك برس. ISBN 0-12-585050-6.
  • شتاين، إلياس م .؛ شاكرجي، رامي (2003). تحليل فورييه: مقدمة (محاضرات برينستون في التحليل 1) . برينستون: مطبعة جامعة برينستون. ISBN 0-691-11384-X.
  • تريف، فرانسوا (2006) [1967]. فضاءات المتجهات الطوبولوجية والتوزيعات والنوى . مينيولا، نيويورك: منشورات دوفر. رقم ISBN 978-0-486-45352-1. OCLC 853623322 . 

تتضمن هذه المقالة مواد من قسم "الفضاء ذو ​​الدوال المتناقصة بسرعة" على موقع PlanetMath ، وهو مرخص بموجب رخصة Creative Commons Attribution/Share-Alike .