We consider the SzegÅ reproducing kernel associated with the space of $H$-harmonic functions on the unit ball in n-dimensional space, i.e. functions that are characterized by being annihilated by the hyperbolic Laplacian. This paper derives an explicit series expansion for the reproducing kernel in terms of a triple hypergeometric function introduced of Exton. Moreover, we demonstrate that the SzegÅ kernel admits a representation as a finite sum of hypergeometric functions. We further show that the SzegÅ kernel, for linearly dependent arguments, can be expressed in terms of the first Appell hypergeometric function. In addition we provide a series expansion for the weighted Bergman kernels.
معرّف الورقة : 2510.11821العنوان : H-harmonic reproducing kernels on the ballالمؤلف : Matěj Moravíkالتصنيف : math.FA (التحليل الدالي)تاريخ النشر : 15 أكتوبر 2025رابط الورقة : https://arxiv.org/abs/2510.11821 تدرس هذه الورقة نوى Szegő المعاد إنتاجها المرتبطة بفضاءات الدوال H-التوافقية على الكرة الوحدة ذات البعد n، وهي الدوال التي يلغيها عامل لابلاس الزائدي. تشتق الورقة تمديدات متسلسلة صريحة للنوى المعاد إنتاجها، معبراً عنها بدوال Exton الفائقة الهندسية الثلاثية. علاوة على ذلك، يثبت أن نواة Szegő يمكن تمثيلها كمجموع محدود من الدوال الفائقة الهندسية. يُظهر المزيد أنه بالنسبة للمعاملات المرتبطة خطياً، يمكن التعبير عن نواة Szegő بدالة Appell الفائقة الهندسية من النوع الأول. توفر الورقة أيضاً تمديدات متسلسلة لنوى Bergman الموزونة.
نظرية الدوال H-التوافقية : دراسة الدوال على الكرة الوحدة ذات البعد n في B n B^n B n التي يلغيها عامل لابلاس الزائدي Δ h \Delta_h Δ h ، وهذه الدوال تلعب دوراً مهماً في الهندسة الزائديةنظرية النوى المعاد إنتاجها : في فضاء Hardy H h 2 ( B n ) H^2_h(B^n) H h 2 ( B n ) ، تتمتع نواة Szegő المعاد إنتاجها K h ( x , y ) K_h(x,y) K h ( x , y ) بأهمية أساسية، خاصة في تقدير قيم الدوالتطبيقات الدوال الفائقة الهندسية : للدوال الفائقة الهندسية تطبيقات واسعة في نظرية الدوال الخاصة والفيزياء الرياضيةالحاجة للتمثيل الصريح : تفتقر الأدبيات الموجودة إلى تمديدات متسلسلة واضحة لنواة Szegőالتعقيد الحسابي : الحاجة إلى طرق حسابية أكثر فعالية للتعامل مع النوى المعاد إنتاجها للدوال H-التوافقيةتحسين النظرية : توفير إطار رياضي أكثر اكتمالاً لنظرية الدوال H-التوافقيةإنشاء صيغ صريحة للتكاملات الكروية : بالنسبة لـ α > 1 , β > 1 \alpha > 1, \beta > 1 α > 1 , β > 1 ، يتم إعطاء
∫ ∂ B n 1 ∣ x − η ∣ 2 ( α − 1 ) 1 ∣ y − η ∣ 2 ( β − 1 ) d σ ( η ) \int_{∂B^n} \frac{1}{|x-η|^{2(α-1)}} \frac{1}{|y-η|^{2(β-1)}} dσ(η) ∫ ∂ B n ∣ x − η ∣ 2 ( α − 1 ) 1 ∣ y − η ∣ 2 ( β − 1 ) 1 d σ ( η )
تمثيل دالة Exton الفائقة الهندسية الثلاثيةاشتقاق تمديد متسلسل لنواة Szegő :
K h ( x , y ) = ( 1 − ∣ x ∣ 2 ) n − 1 ( 1 − ∣ y ∣ 2 ) n − 1 ( 1 + ∣ x ∣ 2 ) n − 1 ( 1 + ∣ y ∣ 2 ) n − 1 X 9 ( n − 1 , n − 1 ; n 2 ; X , Y , Z ) K_h(x,y) = \frac{(1-|x|^2)^{n-1}(1-|y|^2)^{n-1}}{(1+|x|^2)^{n-1}(1+|y|^2)^{n-1}} X_9(n-1, n-1; \frac{n}{2}; X,Y,Z) K h ( x , y ) = ( 1 + ∣ x ∣ 2 ) n − 1 ( 1 + ∣ y ∣ 2 ) n − 1 ( 1 − ∣ x ∣ 2 ) n − 1 ( 1 − ∣ y ∣ 2 ) n − 1 X 9 ( n − 1 , n − 1 ; 2 n ; X , Y , Z ) إثبات تمثيل المجموع المحدود : في حالة الأبعاد الزوجية، يمكن تمثيل نواة Szegő كمجموع محدود من الدوال الفائقة الهندسيةتوفير تمثيل خاص للمعاملات المرتبطة خطياً : عندما يكون y = λ x y = λx y = λ x ، يمكن التعبير عن النواة بدالة Appell الفائقة الهندسية من النوع الأولتوفير تمديد متسلسل لنوى Bergman الموزونة : التوسع إلى حالات موزونة أكثر عموميةدراسة خصائص النوى المعاد إنتاجها لفضاءات الدوال H-التوافقية على الكرة الوحدة ذات البعد n في B n B^n B n ، حيث تحقق الدوال H-التوافقية:
Δ h f ( x ) = ( 1 − ∣ x ∣ 2 ) [ ( 1 − ∣ x ∣ 2 ) Δ f ( x ) + 2 ( n − 1 ) ⟨ x , ∇ f ( x ) ⟩ ] = 0 \Delta_h f(x) = (1-|x|^2)[(1-|x|^2)\Delta f(x) + 2(n-1)⟨x,∇f(x)⟩] = 0 Δ h f ( x ) = ( 1 − ∣ x ∣ 2 ) [( 1 − ∣ x ∣ 2 ) Δ f ( x ) + 2 ( n − 1 ) ⟨ x , ∇ f ( x )⟩] = 0
المقياس الثابت تحت تحويلات Möbius : d ρ ( x ) = d μ ( x ) ( 1 − ∣ x ∣ 2 ) n dρ(x) = \frac{dμ(x)}{(1-|x|^2)^n} d ρ ( x ) = ( 1 − ∣ x ∣ 2 ) n d μ ( x ) المقياس الزائدي : d s = ∣ d x ∣ 1 − ∣ x ∣ 2 ds = \frac{|dx|}{1-|x|^2} d s = 1 − ∣ x ∣ 2 ∣ d x ∣ نواة Poisson : P h ( η , x ) = ( 1 − ∣ x ∣ 2 ) n − 1 ∣ x − η ∣ 2 ( n − 1 ) P_h(η,x) = \frac{(1-|x|^2)^{n-1}}{|x-η|^{2(n-1)}} P h ( η , x ) = ∣ x − η ∣ 2 ( n − 1 ) ( 1 − ∣ x ∣ 2 ) n − 1 K h ( x , y ) = ∫ ∂ B n P h ( η , x ) P h ( η , y ) d σ ( η ) K_h(x,y) = \int_{∂B^n} P_h(η,x)P_h(η,y) dσ(η) K h ( x , y ) = ∫ ∂ B n P h ( η , x ) P h ( η , y ) d σ ( η )
استخدام المتطابقة 1 ( 1 + x ) α = 1 Γ ( α ) ∫ 0 ∞ e − t ( 1 + x ) t α − 1 d t \frac{1}{(1+x)^α} = \frac{1}{Γ(α)} \int_0^∞ e^{-t(1+x)} t^{α-1} dt ( 1 + x ) α 1 = Γ ( α ) 1 ∫ 0 ∞ e − t ( 1 + x ) t α − 1 d t لتحويل التكامل إلى شكل أسهل للمعالجة.
من خلال تحويل الإحداثيات الكروية وتمديد دالة Bessel المعدلة:
I ( n − 2 ) / 2 ( z ) = ( z 2 ) ( n − 2 ) / 2 1 Γ ( n 2 ) 0 F 1 ( n 2 ; z 2 4 ) I_{(n-2)/2}(z) = \left(\frac{z}{2}\right)^{(n-2)/2} \frac{1}{Γ(\frac{n}{2})} {_0F_1}\left(\frac{n}{2}; \frac{z^2}{4}\right) I ( n − 2 ) /2 ( z ) = ( 2 z ) ( n − 2 ) /2 Γ ( 2 n ) 1 0 F 1 ( 2 n ; 4 z 2 )
الاستخدام الماهر لتحويلات الدوال الفائقة الهندسية المتعددة، بما في ذلك:
تحويل Gauss الثنائي تحويل Euler صيغ تحويل دوال Appell بالنسبة لـ α > 1 , β > 1 α > 1, β > 1 α > 1 , β > 1 و n ≥ 2 n ≥ 2 n ≥ 2 :
∫ ∂ B n 1 ∣ x − η ∣ 2 ( α − 1 ) 1 ∣ y − η ∣ 2 ( β − 1 ) d σ ( η ) = 1 ( 1 + ∣ x ∣ 2 ) α − 1 ( 1 + ∣ y ∣ 2 ) β − 1 X 9 ( α − 1 , β − 1 ; n 2 ; X , Y , Z ) \int_{∂B^n} \frac{1}{|x-η|^{2(α-1)}} \frac{1}{|y-η|^{2(β-1)}} dσ(η) = \frac{1}{(1+|x|^2)^{α-1}(1+|y|^2)^{β-1}} X_9(α-1, β-1; \frac{n}{2}; X,Y,Z) ∫ ∂ B n ∣ x − η ∣ 2 ( α − 1 ) 1 ∣ y − η ∣ 2 ( β − 1 ) 1 d σ ( η ) = ( 1 + ∣ x ∣ 2 ) α − 1 ( 1 + ∣ y ∣ 2 ) β − 1 1 X 9 ( α − 1 , β − 1 ; 2 n ; X , Y , Z )
حيث X 9 X_9 X 9 هي دالة Exton الفائقة الهندسية الثلاثية.
يمكن تمثيل نواة Szegő كـ:
K h ( x , y ) = ( 1 + ∣ x − y ∣ 2 ( 1 − ∣ x ∣ 2 ) ( 1 − ∣ y ∣ 2 ) ) 2 − 3 n 2 ∑ p , l = 0 n − 1 [حد فائق هندسي] K_h(x,y) = \left(1 + \frac{|x-y|^2}{(1-|x|^2)(1-|y|^2)}\right)^{2-\frac{3n}{2}} \sum_{p,l=0}^{n-1} \text{[حد فائق هندسي]} K h ( x , y ) = ( 1 + ( 1 − ∣ x ∣ 2 ) ( 1 − ∣ y ∣ 2 ) ∣ x − y ∣ 2 ) 2 − 2 3 n ∑ p , l = 0 n − 1 [حد فائق هندسي]
عندما يكون y = λ x y = λx y = λ x و 0 ≤ λ ≤ 1 0 ≤ λ ≤ 1 0 ≤ λ ≤ 1 :
K h ( x , y ) = ( 1 − ∣ x ∣ 2 ) n − 1 ( 1 − ∣ y ∣ 2 ) n − 1 ( 1 + ∣ x ∣ ) 2 ( n − 1 ) ( 1 + ∣ y ∣ ) 2 ( n − 1 ) F 1 ( n − 1 2 ; n − 1 , n − 1 ; n − 1 ; 4 ∣ x ∣ ( 1 + ∣ x ∣ ) 2 , 4 ∣ y ∣ ( 1 + ∣ y ∣ ) 2 ) K_h(x,y) = \frac{(1-|x|^2)^{n-1}(1-|y|^2)^{n-1}}{(1+|x|)^{2(n-1)}(1+|y|)^{2(n-1)}} F_1\left(\frac{n-1}{2}; n-1, n-1; n-1; \frac{4|x|}{(1+|x|)^2}, \frac{4|y|}{(1+|y|)^2}\right) K h ( x , y ) = ( 1 + ∣ x ∣ ) 2 ( n − 1 ) ( 1 + ∣ y ∣ ) 2 ( n − 1 ) ( 1 − ∣ x ∣ 2 ) n − 1 ( 1 − ∣ y ∣ 2 ) n − 1 F 1 ( 2 n − 1 ; n − 1 , n − 1 ; n − 1 ; ( 1 + ∣ x ∣ ) 2 4∣ x ∣ , ( 1 + ∣ y ∣ ) 2 4∣ y ∣ )
استخدام التماثل : الاستفادة من تأثير المجموعة المتعامدة O ( n ) O(n) O ( n ) لتبسيط التكاملتغيير المتغيرات : تحويل الإحداثيات المناسبة لتبسيط التكاملات المعقدةإعادة ترتيب المتسلسلات : تبديل ترتيب الجمع والتكامل، مستفيداً من التقارب المطلقتطبيق المتطابقات : الاستخدام المنهجي لصيغ تحويل الدوال الفائقة الهندسية المختلفةدالة Exton X 9 ( α , β ; γ ; x , y , z ) X_9(α,β;γ;x,y,z) X 9 ( α , β ; γ ; x , y , z ) تتقارب بشكل مطلق عندما يكون ∣ x ∣ < 1 4 |x| < \frac{1}{4} ∣ x ∣ < 4 1 , ∣ z ∣ < 1 4 |z| < \frac{1}{4} ∣ z ∣ < 4 1 , ∣ y ∣ < 1 2 + ( 1 − 4 ∣ x ∣ ) ( 1 − 4 ∣ z ∣ ) |y| < \frac{1}{2} + \sqrt{(1-4|x|)(1-4|z|)} ∣ y ∣ < 2 1 + ( 1 − 4∣ x ∣ ) ( 1 − 4∣ z ∣ ) التوسع إلى الكرة الوحدة بأكملها من خلال الاستمرار التحليلي في حالة الأبعاد الزوجية، تتحلل الدالة الفائقة الهندسية إلى كثيرة حدود، مما يعطي تعبيرات صيغة مغلقة، متسقة مع نتائج Stoll.
عندما يكون x = y x = y x = y ، باستخدام المتطابقة:
F 1 ( α ; β , β ′ ; γ ; z , z ) = 2 F 1 ( α , β + β ′ ; γ ; z ) F_1(α; β, β'; γ; z, z) = {_2F_1}(α, β+β'; γ; z) F 1 ( α ; β , β ′ ; γ ; z , z ) = 2 F 1 ( α , β + β ′ ; γ ; z )
يتم الحصول على تعبيرات مبسطة.
تعطي النظرية 5.1 تمديداً متسلسلاً كاملاً للحالة الموزونة K h s ( x , y ) K^s_h(x,y) K h s ( x , y ) ، حيث تتضمن المعاملات هياكل توافقية معقدة.
Stoll (2019) : إنشاء صيغة مغلقة لنواة Szegő في الأبعاد الزوجية، وتوسع هذه الورقة إلى أبعاد عشوائيةنظرية فضاء Hardy الكلاسيكية : توفير إطار قياسي للحالة H-التوافقيةنظرية الدوال الفائقة الهندسية : توفر أعمال Exton و Appell وغيرهم الأدوات لهذه الورقةإطار موحد : توفير طريقة موحدة للتعامل مع أبعاد عشوائيةصيغ صريحة : إعطاء تمديدات متسلسلة محددة، مما يسهل الحساب العددياكتمال النظرية : ربط الهندسة الزائدية ونظرية النوى المعاد إنتاجها والدوال الخاصةإنشاء ناجح لتمثيل فائق هندسي صريح لنواة Szegő H-التوافقية إثبات الأشكال المبسطة في حالات خاصة التوسع إلى حالة نوى Bergman الموزونة التعقيد الحسابي : الحساب العددي للدوال الفائقة الهندسية الثلاثية لا يزال معقداًقيود مجال التقارب : بعض التعبيرات لها مجالات تقارب محدودةالسلوك في الأبعاد العالية : السلوك المقارب في الحالات عالية الأبعاد لم يتم دراسته بشكل كافٍالخوارزميات العددية : تطوير طرق حسابية عددية فعالةالتحليل المقارب : دراسة السلوك في الأبعاد العالية والحدودالتطبيقات الموسعة : التوسع إلى إعدادات هندسية أخرىالصرامة الرياضية : الإثباتات كاملة والمعالجة التقنية دقيقةالمساهمة النظرية : توفير أدوات مهمة لنظرية الدوال H-التوافقيةابتكار الطريقة : الجمع الماهر بين تقنيات من فروع رياضية متعددةاكتمال النتائج : تغطية من الحالات العامة إلى الحالات الخاصةقيود الفائدة العملية : قد تحد الدوال الفائقة الهندسية المعقدة من التطبيقات العمليةغياب التفسير الفيزيائي : نقص التفسيرات الهندسية أو الفيزيائية البديهيةعدم كفاية مقارنة الكفاءة الحسابية : المقارنة مع الطرق العددية الموجودة غير كافيةالقيمة النظرية : توفير أدوات جديدة لتحليل التوافقيات ونظرية النوى المعاد إنتاجهاالإمكانات التطبيقية : قد يكون لها تطبيقات في الفيزياء الرياضية والتحليل الهندسيالمنهجية : عرض طريقة منهجية للتعامل مع التكاملات المعقدةالبحث النظري : أبحاث الهندسة الزائدية وتحليل التوافقياتالحساب العددي : الحالات التي تتطلب حساب دوال النوى الدقيقةالتطبيقات الفيزيائية : المشاكل الفيزيائية التي تتضمن فضاءات زائديةتستشهد الورقة بـ 15 مرجعاً ذا صلة، تتضمن بشكل أساسي:
أعمال Stoll حول نظرية الدوال H-التوافقية والأوراق ذات الصلة الكتب المدرسية الكلاسيكية للدوال الفائقة الهندسية من قبل Erdélyi وآخرين المراجع القياسية لدوال التوافقيات الكروية والدوال الخاصة يقوم هذا العمل على أساس نظري متين، ويوفر أدوات رياضية مهمة وتبصرات نظرية عميقة لنظرية النوى المعاد إنتاجها للدوال H-التوافقية.