الدوال التحليلية الشكلية (Holomorphic Functions)
الدالة التحليلية الشكلية هي دالة قابلة للاشتقاق عقديًا على مجموعة مفتوحة؛ وهذا الشرط الوحيد يجعل الدالة تحليلية، وقابلة للاشتقاق إلى ما لا نهاية، ويمكن تمثيلها محليًا بمتسلسلة قوى متقاربة.
Definition
تكون دالة المتغير العقدي تحليلية شكلية على مجموعة مفتوحة إذا كان لها مشتق عقدي عند كل نقطة من تلك المجموعة؛ وبالمثل، تكون تحليلية هناك، مما يعني أنها محليًا هي مجموع متسلسلة قوى متقاربة.
Scope
يغطي هذا الموضوع قابلية الاشتقاق العقدي ومعادلات كوشي-ريمان، وتكافؤ التحليلية الشكلية والتحليلية، وتمثيلات متسلسلات القوى، والعلاقة بالدوال التوافقية، ومبادئ التطابق والقيمة العظمى للمعيار، والدوال الكلية ونظرية ليوفيل، وتصنيف الأصفار والمتفردات المعزولة.
Core questions
- لماذا يفرض وجود مشتق عقدي معادلات كوشي-ريمان؟
- لماذا تكون كل دالة تحليلية شكلية تحليلية تلقائيًا وقابلة للاشتقاق إلى ما لا نهاية؟
- كيف تُقيد الأجزاء الحقيقية والتخيلية للدالة التحليلية الشكلية لتكون توافقية؟
- ما هي أنواع المتفردات التي يمكن أن تحتويها الدالة التحليلية الشكلية، وكيف تُصنف؟
Key theories
- معادلات كوشي-ريمان
- قابلية الاشتقاق العقدي مكافئة لأن تُرضي الأجزاء الحقيقية والتخيلية زوجًا مقترنًا من المعادلات التفاضلية الجزئية، مما يجبر كل جزء على أن يكون توافقيًا ويربط التحليل العقدي بنظرية الجهد.
- مبادئ القيمة العظمى للمعيار والتطابق
- لا تحقق الدالة التحليلية الشكلية غير الثابتة قيمة عظمى داخلية لمعيارها، وتتفق دالتان تحليليتان شكليتان تتفقان على مجموعة ذات نقطة حدية في كل مكان على مجال متصل، مما يعبر عن صلابة الدوال التحليلية الشكلية.
- نظرية ليوفيل
- الدالة الكلية المحدودة هي دالة ثابتة، وهي نتيجة لتقديرات كوشي التي تقدم برهانًا قصيرًا على النظرية الأساسية للجبر.
Clinical relevance
نظرًا لأن الأجزاء الحقيقية والتخيلية للدالة التحليلية الشكلية توافقية، فإن الدوال التحليلية الشكلية تُنمذج الظواهر ثنائية الأبعاد في الحالة المستقرة مثل الإمكانات الكهروستاتيكية وتدفق السوائل المثالي، وتجعلها خصائص الصلابة قوية في نظرية الأعداد، ونظرية الدوال الخاصة، والاستمرار التحليلي للتحويلات.
History
تم التعرف على الدور المحدد لمعادلات كوشي-ريمان بواسطة كوشي وريمان في منتصف القرن التاسع عشر، بينما طور فايرشتراس وجهة نظر متسلسلات القوى المكافئة. وقد أثبت عملهم المشترك أن قابلية الاشتقاق العقدي والتحليلية تتطابقان.
Key figures
- Augustin-Louis Cauchy
- Bernhard Riemann
- Karl Weierstrass
Related topics
Seminal works
- ahlfors1979
- conway1978
Frequently asked questions
- هل الدوال التحليلية الشكلية والتحليلية هما نفس الشيء؟
- بالنسبة لدوال المتغير العقدي، فإنهما متكافئتان: قابلية الاشتقاق العقدي على مجموعة مفتوحة، والتي تسمى التحليلية الشكلية، هي بالضبط الشرط الذي يجعل الدالة محليًا متسلسلة قوى متقاربة، والتي تسمى التحليلية.
- لماذا لا يمكن لدالة تحليلية شكلية أن يكون لها قيمة عظمى محلية لحجمها داخل منطقة؟
- ينتج مبدأ القيمة العظمى للمعيار من خاصية القيمة المتوسطة للدوال التوافقية؛ يمكن للمعيار أن يصل إلى أكبر قيمة له فقط على الحدود ما لم تكن الدالة ثابتة.