نواة بيرغمان

في الدراسة الرياضية لعدة متغيرات معقدة ، فإن نواة بيرغمان ، التي سميت على اسم ستيفان بيرغمان ، هي النواة المُستنسخة لفضاء هيلبرت ( RKHS ) لجميع الدوال الهولومورفية القابلة للتكامل التربيعي على مجال D في C n . 

بتفصيل أكثر، ليكن L 2 ( D ) فضاء هيلبرت للدوال القابلة للتكامل التربيعي على D ، وليكن L 2, h ( D ) الفضاء الجزئي المكون من الدوال التحليلية في L 2 ( D ): أي،

ل2،ح(د)=ل2(د)ح(د){\displaystyle L^{2,h}(D)=L^{2}(D)\cap H(D)}

حيث H ( D ) هو فضاء الدوال التحليلية في D. عندئذٍ ، يكون , h ( D ) فضاء هيلبرت: فهو فضاء خطي مغلق جزئي من ( D )، وبالتالي فهو كامل في حد ذاته. وينتج هذا من التقدير الأساسي، وهو أنه بالنسبة لدالة تحليلية قابلة للتكامل التربيعي ƒ في D

لكل مجموعة جزئية مضغوطة K من D. وبالتالي فإن تقارب متتالية من الدوال التحليلية في L 2 ( D ) يستلزم أيضًا التقارب المضغوط ، وبالتالي فإن دالة النهاية تحليلية أيضًا.

ومن النتائج الأخرى للمعادلة ( 1 ) أنه لكل z D ، يكون التقييم  

إيفz:وو(z){\displaystyle \operatorname {ev} _{z}:f\mapsto f(z)}

هي دالة خطية متصلة على ، h ( D ). وبحسب نظرية تمثيل ريز ، يمكن تمثيل هذه الدالة كحاصل ضرب داخلي مع عنصر من ، h ( D )، أي أن

إيفzو=دو(ζ)ηz(ζ)¯دμ(ζ).{\displaystyle \operatorname {ev} _{z}f=\int _{D}f(\zeta ){\overline {\eta _{z}(\zeta )}}\,d\mu (\zeta ).}

تُعرَّف نواة بيرغمان K بواسطة

ك(z،ζ)=ηz(ζ)¯.{\displaystyle K(z,\zeta )={\overline {\eta _{z}(\zeta )}}.}

النواة K ( z , ζ ) هي دالة تامة الشكل في z ودالة مضادة تامة الشكل في ζ ، وتحقق ما يلي:

و(z)=دك(z،ζ)و(ζ)دμ(ζ).{\displaystyle f(z)=\int _{D}K(z,\zeta )f(\zeta )\,d\mu (\zeta ).}

إحدى الملاحظات الرئيسية حول هذه الصورة هي أنه يمكن تحديد L 2, h ( D ) مع فضاء ل2{\displaystyle L^{2}}الأشكال الهولومورفية (n,0) على D، عن طريق الضرب بواسطة دz1دzن{\displaystyle dz^{1}\wedge \cdots \wedge dz^{n}}منذل2{\displaystyle L^{2}}إن الضرب الداخلي على هذا الفضاء ثابت بشكل واضح تحت التشاكلات الثنائية لـ D، وبالتالي فإن نواة بيرغمان ومقياس بيرغمان المرتبط بها ثابتان تلقائيًا تحت مجموعة التشاكل الذاتي للمجال.

نواة بيرغمان للقرص الواحد D هي الدالة ك(z،ζ)=1π1(1-zζ¯)2.{\displaystyle K(z,\zeta )={\frac {1}{\pi }}{\frac {1}{(1-z{\bar {\zeta }})^{2}}}.}

انظر أيضاً

مراجع