دالة التوافقيات الفرعية
في الرياضيات ، تعتبر الدوال التوافقية الفرعية والتوافقية الفائقة فئات مهمة من الدوال المستخدمة على نطاق واسع في المعادلات التفاضلية الجزئية والتحليل المركب ونظرية الجهد .
بشكل بديهي، ترتبط الدوال شبه التوافقية بالدوال المحدبة لمتغير واحد كما يلي: إذا تقاطع منحنى دالة محدبة مع خط مستقيم عند نقطتين، فإن منحنى الدالة المحدبة يقع أسفل الخط الواصل بين هاتين النقطتين. وبالمثل، إذا لم تتجاوز قيم الدالة شبه التوافقية قيم الدالة التوافقية على حدود كرة ، فإن قيم الدالة شبه التوافقية لا تتجاوز قيم الدالة التوافقية داخل الكرة أيضًا .
يمكن تعريف الدوال التوافقية الفائقة بنفس الوصف، مع استبدال عبارة "لا أكبر" بعبارة "لا أصغر". أو بعبارة أخرى، الدالة التوافقية الفائقة هي ببساطة معكوس الدالة التوافقية الفرعية، ولهذا السبب يمكن نقل أي خاصية من خصائص الدوال التوافقية الفرعية بسهولة إلى الدوال التوافقية الفائقة.
التعريف الرسمي
بصورة رسمية، يمكن صياغة التعريف على النحو التالي. ليكنلتكن مجموعة جزئية من الفضاء الإقليديودع لتكن دالة شبه متصلة من الأعلى . إذن،يُطلق عليه اسم التوافقي الفرعي إذا كان لأي كرة مغلقةمن المركزونصف القطروارد فيوكل دالة متصلة ذات قيم حقيقيةعلىهذا متناغم فيويرضيللجميععلى الحدودللديناللجميع
لاحظ أنه وفقًا لما سبق، فإن الدالة التي تساوي −∞ هي دالة فرعية توافقية، لكن بعض المؤلفين يستبعدون هذه الدالة بحكم التعريف.
وظيفةيُطلق عليه اسم التوافقي الفائق إذاهو توافق فرعي.
ملكيات
- تكون الدالة توافقية إذا وفقط إذا كانت توافقية فرعية وتوافقية فائقة.
- لوC 2 ( قابلة للتفاضل مرتين بشكل مستمر ) على مجموعة مفتوحةفي، ثميكون التوافقي الفرعي إذا وفقط إذا كانعلى، أينهو اللابلاسي .
- لا يمكن بلوغ القيمة العظمى لدالة شبه توافقية داخل نطاقها إلا إذا كانت الدالة ثابتة، وهو ما يُعرف بمبدأ القيمة العظمى . مع ذلك، يمكن بلوغ القيمة الصغرى لدالة شبه توافقية داخل نطاقها.
- تشكل الدوال التوافقية الفرعية مخروطًا محدبًا ، أي أن التركيبة الخطية للدوال التوافقية الفرعية ذات المعاملات الموجبة هي أيضًا توافقية فرعية.
- القيمة العظمى عند نقطة ما لدالتين فرعيتين توافقيتين هي دالة فرعية توافقية. وإذا كانت القيمة العظمى عند نقطة ما لعدد قابل للعد من الدوال الفرعية التوافقية شبه متصلة من الأعلى، فإنها تكون أيضاً دالة فرعية توافقية.
- نهاية متتالية متناقصة من الدوال التوافقية الفرعية هي دالة توافقية فرعية (أو تساوي تمامًا).
- لا تكون الدوال التوافقية الفرعية بالضرورة متصلة في الطوبولوجيا المعتادة، ومع ذلك يمكن إدخال الطوبولوجيا الدقيقة التي تجعلها متصلة.
أمثلة
لوهل هو تحليلي إذنهي دالة شبه توافقية. يمكن إنشاء المزيد من الأمثلة باستخدام الخصائص المذكورة أعلاه، وذلك بأخذ القيم العظمى، والتركيبات المحدبة، والنهايات. في البعد 1، يمكن الحصول على جميع الدوال شبه التوافقية بهذه الطريقة.
نظرية تمثيل ريز
لويكون توافقياً فرعياً في منطقة، في الفضاء الإقليدي ذي البعد،متناغم في، و، ثميُطلق عليه اسم المقام التوافقي لـإذا وُجدت نغمة توافقية رئيسية، فإنه توجد نغمة توافقية رئيسية أصغر، و أثناء التواجد في البعد الثاني، أينهو أصغر مقام توافقي رئيسي، وهو مقياس بوريل فييُطلق على هذا اسم نظرية تمثيل ريز .
الدوال التوافقية الفرعية في المستوى المركب
تُعد الدوال التوافقية الفرعية ذات أهمية خاصة في التحليل المركب ، حيث ترتبط ارتباطًا وثيقًا بالدوال الهولومورفية .
يمكن إثبات أن الدالة الحقيقية المتصلةلمتغير مركب (أي لمتغيرين حقيقيين) معرف على مجموعةتكون شبه توافقية إذا وفقط إذا كان ذلك لأي قرص مغلقمن المركزونصف القطريمتلك المرء
بشكل بديهي، هذا يعني أن الدالة التوافقية الفرعية لا تتجاوز في أي نقطة متوسط القيم في دائرة حول تلك النقطة، وهي حقيقة يمكن استخدامها لاستنتاج مبدأ الحد الأقصى .
لوإذا كانت دالة تامة الشكل، هي دالة شبه توافقية إذا حددنا قيمةعند أصفاريكونويترتب على ذلك أن يكون شبه توافقي لكل α > 0. تلعب هذه الملاحظة دورًا في نظرية فضاءات هاردي ، وخاصة لدراسة H p عندما 0 < p < 1.
في سياق المستوى المركب، يمكن تحقيق الصلة بالدوال المحدبة أيضًا من خلال حقيقة أن الدالة شبه التوافقيةعلى نطاقالذي يكون ثابتًا في الاتجاه التخيلي يكون محدبًا في الاتجاه الحقيقي والعكس صحيح.
النغمات التوافقية الكبرى للدوال التوافقية الفرعية
لويكون توافقياً فرعياً في منطقةفي المستوى المركب، ومتناغم على، ثمهو مقام توافقي رئيسي لـفيلوفييمكن اعتبار هذا التفاوت شرطًا للنمو على[ 1 ]
الدوال التوافقية الفرعية في القرص الواحد. دالة القيمة القصوى الشعاعية
لتكن φ دالة شبه توافقية، متصلة، وغير سالبة في مجموعة جزئية مفتوحة Ω من المستوى المركب تحتوي على القرص المغلق D (0, 1). تُعرَّف الدالة القصوى الشعاعية للدالة φ (المقيدة بالقرص المغلق) على دائرة الوحدة كما يلي: إذا كانت P r ترمز إلى نواة بواسون ، فإنه يتبع من التوافقية الفرعية أن يمكن إثبات أن التكامل الأخير أقل من القيمة عند e iθ للدالة القصوى لهاردي-ليتلوود φ ∗ لتقييد φ على دائرة الوحدة T ، بحيث يكون 0 ≤ M φ ≤ φ ∗ . من المعروف أن مؤثر هاردي-ليتلوود محدود على L p ( T ) عندما 1 < p < ∞. ويترتب على ذلك أنه بالنسبة لثابت عالمي ما C ،
إذا كانت f دالة تامة الشكل في Ω و 0 < p < ∞، فإن المتباينة السابقة تنطبق على φ = | f | p /2 . ويمكن استنتاج من هذه الحقائق أن أي دالة F في فضاء هاردي الكلاسيكي H p تحقق بمزيد من العمل، يمكن إثبات أن F لها حدود شعاعية F ( e iθ ) في كل مكان تقريبًا على دائرة الوحدة، و (بحسب نظرية التقارب المسيطر ) أن F r ، المعرفة بواسطة F r ( e iθ ) = F ( r e iθ ) تميل إلى F في L p ( T ).
الدوال التوافقية الفرعية على مشعبات ريمان
يمكن تعريف الدوال شبه التوافقية على أي مشعب ريماني .
التعريف: ليكن M متعدد الشعب الريماني، ودالة شبه متصلة من الأعلى . افترض أنه لأي مجموعة جزئية مفتوحةوأي دالة توافقية f 1 على U ، بحيثعلى حدود U ، المتباينةينطبق على جميع U. عندئذٍ يُطلق على f اسم التوافقي الفرعي .
هذا التعريف مكافئ للتعريف المذكور أعلاه. كذلك، بالنسبة للدوال القابلة للتفاضل مرتين، فإن التوافقية الجزئية مكافئة للمتباينة، أينهو اللابلاسي المعتاد . [ 2 ]
انظر أيضاً
مراجع
- ^ روزنبلوم وروفنياك 1994 ، ص. 35.
- ↑ غرين، ر. إي .؛ وو، هـ. (1974). "تكاملات الدوال شبه التوافقية على مشعبات ذات انحناء غير سالب". Inventiones Mathematicae . 27 (4): 265–298 . Bibcode : 1974InMat..27..265G . doi : 10.1007/BF01425500 . S2CID 122233796 . ، MR 0382723
المراجع
- روزنبلوم، مارفن؛ روفنياك، جيمس (1994). مواضيع في فئات هاردي والدوال أحادية القيمة . نصوص بيركهاوزر المتقدمة: كتب بازل الدراسية. بازل: دار نشر بيركهاوزر.
مراجع عامة
- كونواي، جون ب. (1978). دوال المتغير المركب الواحد . نيويورك: سبرينغر-فيرلاغ. ISBN 0-387-90328-3.
- كرانز، ستيفن ج. (1992). نظرية الدوال لعدة متغيرات مركبة . بروفيدنس، رود آيلاند: دار نشر تشيلسي التابعة للجمعية الرياضية الأمريكية. رقم ISBN 0-8218-2724-3.
- دوب، جوزيف ليو (1984). نظرية الكمون الكلاسيكية ونظيرتها الاحتمالية . برلين هايدلبرغ نيويورك: سبرينغر-فيرلاغ . ISBN 3-540-41206-9.
تتضمن هذه المقالة مواد من وظائف التوافقيات الفرعية والتوافقيات الفائقة على موقع PlanetMath ، المرخص بموجب رخصة Creative Commons Attribution/Share-Alike .
- الدوال التوافقية الفرعية
- نظرية الجهد
- التحليل المعقد
- أنواع الوظائف
