DOI: https://doi.org/10.3934/math.2026421
تاريخ النشر: 2026-01-01
المؤلف: 李清 وآخرون
الموضوع الرئيسي: أداء الميرومورفيك والدوال الكاملة
نظرة عامة
تقدم هذه الورقة دراسة شاملة للعائلات العادية والدوال العادية في سياق القرص المتعدد الوحدوي \( D^n \subset \mathbb{C}^n \). النتيجة الرئيسية، التي تم التعبير عنها في النظرية 2.2، تؤكد أن عائلة \( F \subset O(D^n) \) هي عادية إذا وفقط إذا، لكل نقطة \( a \in D^n \) ولكل اتجاه إحداثي \( j \)، فإن العائلة المقابلة من الشرائح أحادية البعد \( F_{a,j} \) هي عادية على القرص الوحدوي. هذه النتيجة تقلل فعليًا من مشكلة العادية في عدة متغيرات إلى مشكلة العادية في متغير واحد على طول جميع خطوط الإحداثيات، مما يعكس الخصائص غير المتجانسة للقرص المتعدد.
علاوة على ذلك، تقدم الورقة تعريفًا للدوال العادية على \( D^n \) التي تظل ثابتة تحت مجموعة التحويلات التلقائية الكاملة \( \text{Aut}(D^n) \). تم تأسيس معيار مقياسي رئيسي (الاقتراح 2.7)، يشير إلى أن دالة هولومورفية \( f \in O(D^n) \) هي عادية إذا كانت مشتقتها الكروية \( f^\sharp(z) \) تلتزم بشرط النمو \( f^\sharp(z) \leq C \max_{1 \leq j \leq n} (1 – |z_j|^2)^{-1} \) لبعض الثوابت \( C > 0 \). تم إثبات أن هذا المعيار حاد من خلال أمثلة ويعمل كأداة عملية لتقييم العادية. يتم التأكيد على التفاعل بين المشتقات الكروية الإقليدية وBergman، مما يظهر ظهور مقياس Poincaré الناتج في التقديرات. تشمل اتجاهات البحث المستقبلية توسيع هذه النتائج إلى مجالات منتجات أخرى واستكشاف العائلات العادية من الخرائط الهولومورفية بين الأقراص المتعددة.
مقدمة
في هذا القسم، يقدم المؤلفون مفهوم العائلات العادية من الدوال الهولومورفية المعرفة على مجال \( \Omega \subset \mathbb{C}^n \). تُسمى عائلة \( F \subset O(\Omega) \) عادية إذا كانت كل سلسلة ضمنها تحتوي على سلسلة فرعية تتقارب بشكل موحد على المجموعات المدمجة من \( \Omega \) إلى دالة هولومورفية أو إلى اللانهاية. يتم التأكيد على أهمية العائلات العادية من خلال ارتباطاتها بنظرية مونتيل، ونظرية توزيع القيم، وظواهر الانضغاط في التحليل المعقد. يشير المؤلفون إلى أعمال أساسية متنوعة وتطورات حديثة في النظرية، لا سيما في سياق عدة متغيرات معقدة، حيث تم تأسيس معايير للعادية من خلال طرق مختلفة، بما في ذلك استخدام المشتقات الكروية.
تهدف الورقة إلى تطوير نظرية للعائلات العادية خصيصًا للقرص المتعدد \( D^n \)، مع معالجة التحديات التي تطرحها هندستها غير المتجانسة مقارنة بالمجالات الأكثر تماثلاً مثل الكرة الوحدوية. يطرح المؤلفون أسئلة حاسمة بشأن توصيف العائلات العادية من حيث معيار من نوع مارتى يتضمن شكل ليفي لـ \( \log(1 + |f|^2) \)، وما إذا كان يمكن اكتشاف العادية من خلال سلوك العائلات على الشرائح الإحداثية. يقدمون نتيجتين رئيسيتين: معيار من نوع مارتى يشير إلى أن عائلة \( F \subset O(\Omega) \) هي عادية إذا كانت المشتقات الكروية المرتبطة \( f^\sharp \) محدودة محليًا بشكل موحد، وتوصيف شريحي يؤكد أن عائلة على \( D^n \) هي عادية إذا كانت جميع عائلات الشرائح الإحداثية لها عادية. بالإضافة إلى ذلك، يقدمون توصيفًا مقياسيًا للدوال العادية على مجالات المنتجات باستخدام مقياس Poincaré الناتج.
مناقشة
في هذا القسم، يستكشف المؤلفون مفاهيم العائلات العادية والدوال العادية في سياق القرص المتعدد الوحدوي \( D^n \). تُعرف عائلة \( F \subset O(D^n) \) بأنها عادية إذا كانت كل سلسلة في \( F \) تحتوي على سلسلة فرعية تتقارب بشكل موحد على المجموعات المدمجة إما إلى دالة هولومورفية أو إلى اللانهاية. يؤسس المؤلفون معيارًا من نوع مارتى (النظرية 2.1)، موضحين أن \( F \) هي عادية إذا، لكل مجموعة مدمجة \( K \subset D^n \)، يوجد ثابت \( C_K > 0 \) بحيث تكون المشتقة الكروية \( f^\sharp(z) \) محدودة بواسطة \( C_K \) لكل \( z \in K \) و \( f \in F \). تم تعديل هذا المعيار ليتناسب مع هندسة القرص المتعدد، مما يتطلب اعتبارًا دقيقًا لهيكله غير المتجانس، حيث أن القرص المتعدد هو مجال منتج بمساهمات إحداثية متميزة.
يقدم المؤلفون أيضًا توصيفًا شريحيًا (النظرية 2.2)، مؤكدين أن \( F \) هي عادية إذا وفقط إذا كانت كل عائلة شريحة إحداثية \( F_{a,j} \) عادية على القرص الوحدوي. تعكس هذه التخفيف من عدة متغيرات إلى متغير واحد على طول خطوط الإحداثيات الخصائص الهندسية الفريدة للقرص المتعدد. بالإضافة إلى ذلك، يقدمون معيارًا مقياسيًا (الاقتراح 2.7) للدوال العادية، مشيرين إلى أن دالة هولومورفية \( f \) على \( D^n \) هي عادية إذا كانت مشتقتها الكروية \( f^\sharp(z) \) تلبي شرط نمو محدد بالنسبة لمقياس Poincaré الناتج. يتم التأكيد على التفاعل بين المشتقات الكروية الإقليدية وBergman، لا سيما ثبات مشتقة Bergman تحت التحويلات التلقائية، مما يبسط التحليل من خلال السماح بنقل التقديرات إلى الأصل. تمتد النتائج لتشمل النتائج الكلاسيكية في متغير واحد إلى إعدادات ذات أبعاد أعلى، مما يمهد الطريق لوجهات البحث المستقبلية في دراسة العائلات والدوال العادية في التحليل المعقد.
DOI: https://doi.org/10.3934/math.2026421
Publication Date: 2026-01-01
Author(s): 李清 et al.
Primary Topic: Meromorphic and Entire Functions
Overview
This paper presents a comprehensive study of normal families and normal functions within the context of the unit polydisc \( D^n \subset \mathbb{C}^n \). The principal finding, articulated in Theorem 2.2, establishes that a family \( F \subset O(D^n) \) is normal if and only if, for every point \( a \in D^n \) and each coordinate direction \( j \), the corresponding one-dimensional slice family \( F_{a,j} \) is normal on the unit disc. This result effectively reduces the problem of normality in several variables to that of normality in one variable along all coordinate lines, thereby reflecting the anisotropic characteristics of the polydisc.
Furthermore, the paper introduces a definition of normal functions on \( D^n \) that is invariant under the full automorphism group \( \text{Aut}(D^n) \). A key metric criterion is established (Proposition 2.7), indicating that a holomorphic function \( f \in O(D^n) \) is normal if its spherical derivative \( f^\sharp(z) \) adheres to the growth condition \( f^\sharp(z) \leq C \max_{1 \leq j \leq n} (1 – |z_j|^2)^{-1} \) for some constant \( C > 0 \). This criterion is demonstrated to be sharp through examples and serves as a practical tool for assessing normality. The interplay between the Euclidean and Bergman spherical derivatives is emphasized, showcasing the emergence of the product Poincaré metric in the estimates. Future research directions include extending these findings to other product domains and exploring normal families of holomorphic mappings between polydiscs.
Introduction
In this section, the authors introduce the concept of normal families of holomorphic functions defined on a domain \( \Omega \subset \mathbb{C}^n \). A family \( F \subset O(\Omega) \) is termed normal if every sequence within it has a subsequence that converges uniformly on compact subsets of \( \Omega \) to a holomorphic function or to infinity. The significance of normal families is underscored by their connections to Montel’s theorem, value distribution theory, and compactness phenomena in complex analysis. The authors reference various foundational works and recent advancements in the theory, particularly in the context of several complex variables, where criteria for normality have been established through different approaches, including the use of spherical derivatives.
The paper aims to develop a theory of normal families specifically for the polydisc \( D^n \), addressing challenges posed by its anisotropic geometry compared to more symmetric domains like the unit ball. The authors pose critical questions regarding the characterization of normal families in terms of a Marty-type criterion involving the Levi form of \( \log(1 + |f|^2) \), and whether normality can be detected through the behavior of families on coordinate slices. They present two main results: a Marty-type criterion indicating that a family \( F \subset O(\Omega) \) is normal if the associated spherical derivatives \( f^\sharp \) are locally uniformly bounded, and a slice characterization asserting that a family on \( D^n \) is normal if all its coordinate slice families are normal. Additionally, they introduce a metric characterization of normal functions on product domains using the product Poincaré metric.
Discussion
In this section, the authors explore the concepts of normal families and normal functions within the context of the unit polydisc \( D^n \). A family \( F \subset O(D^n) \) is defined as normal if every sequence in \( F \) has a subsequence that converges uniformly on compact subsets to either a holomorphic function or to infinity. The authors establish a Marty-type criterion (Theorem 2.1), demonstrating that \( F \) is normal if, for every compact set \( K \subset D^n \), there exists a constant \( C_K > 0 \) such that the spherical derivative \( f^\sharp(z) \) is bounded by \( C_K \) for all \( z \in K \) and \( f \in F \). This criterion is adapted to the polydisc geometry, which necessitates careful consideration of its anisotropic structure, as the polydisc is a product domain with distinct coordinate contributions.
The authors further present a slice characterization (Theorem 2.2), asserting that \( F \) is normal if and only if each coordinate slice family \( F_{a,j} \) is normal on the unit disc. This reduction from several variables to one variable along coordinate lines reflects the unique geometric properties of the polydisc. Additionally, they introduce a metric criterion (Proposition 2.7) for normal functions, stating that a holomorphic function \( f \) on \( D^n \) is normal if its spherical derivative \( f^\sharp(z) \) satisfies a specific growth condition relative to the product Poincaré metric. The interplay between the Euclidean and Bergman spherical derivatives is emphasized, particularly the invariance of the Bergman derivative under automorphisms, which simplifies the analysis by allowing estimates to be transferred to the origin. The findings extend classical results in one variable to a higher-dimensional setting, paving the way for future research directions in the study of normal families and functions in complex analysis.