مبرهنة غرين

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
مواضيع في الحسبان
المبرهنة الأساسية
نهايات الدوال
استمرارية
مبرهنة القيمة المتوسطة

في الرياضيات، مبرهنة غرين تعطي العلاقة بين التكامل الخطي حول منحنى بسيط مغلق C والتكامل الثنائي على منطقة مستوية D محصورة ضمن C. تعد النظرية حالة خاصة ثنائية البعد من نظرية أعم هي مبرهنة ستوكس, وجاء الاسم كتقدير للرياضياتي الإنكليزي جورج غرين.

ليكن C منحنى مغلق بسيط، إيجابي الوجهة، متفرع أملس، في المستوى  \mathbb{R} 2، ولتكن D المنطقة المحصورة بالمنحنى C. إذا كانت L وM دوال في (x، y) معرفة على منطقة مفتوحة تحتوي D ولها مشتقات جزئية متصلة هناك، فإن

\oint_{C} (L\, \mathrm{d}x + M\, \mathrm{d}y) = \iint_{D} \left(\frac{\partial M}{\partial x} - \frac{\partial L}{\partial y}\right)\, \mathrm{d}x\, \mathrm{d}y.

في حالة الوجهة الإيجابية، يمكن رسم سهم يشير باتجاه عكس عقارب الساعة في الدائرة الصغيرة الموجودة وسط علامة التكامل (\oint).

لمبرهنة غرين أهمية كبيرة في الفيزياء، لحل تكاملات جريان ثنائي البعد، وتنص على أن مجموع التدفقين عند أي نقطة داخل الحجم تساوي إجمالي التدفق المتجمع حول مساحة مغلقة.

البرهان عندما تكون D منطقة بسيطة[عدل]

إذا كانت D منطقة بسيطة حدودها تحوي المنحيات C1، C2، C3, C4، يصبح تمثيل مبرهنة غرين ممكناً.

فيما يلي برهان للنظرية في حالة منطقة بسيطة D، وهي منطقة من النوع I (تلفظ واحد) تكون فيها C2 وC4 عبارة عن مستقيمين قائمين. يوجد أيضا برهان مماثل للحالة D منطقة من النوع II (تلفظ اثنان) حيث تكون C1 وC3 خطوط مستقيمة. يمكن استخلاص الحالة العامة من هذه الحالة الخاصة بتقريب المجال D باتحاد مؤلف من مجالات بسيطة.

إذا كان ممكن إثبات أن

\int_{C} L\, dx = \iint_{D} \left(- \frac{\partial L}{\partial y}\right)\, dA\qquad\mathrm{(1)}

و

\int_{C} M\, dy = \iint_{D} \left(\frac{\partial M}{\partial x}\right)\, dA\qquad\mathrm{(2)}

صائبتان، فإنه يكون قد تم برهنة نظرية غرين في الحالة الأولى.

عرف منطة D من النوع I كما هو مبين في الصورة:

D = \{(x,y)|a\le x\le b, g_1(x) \le y \le g_2(x)\}

حيث g1 وg2 هما دالتان متصلتان على الفترة [a, b]. احسب التكامل الثنائي في العلاقة (1):


\begin{align}
\iint_D \frac{\partial L}{\partial y}\, dA
& =\int_a^b\,\int_{g_1(x)}^{g_2(x)} \frac{\partial L}{\partial y} (x,y)\,dy\,dx \\
& = \int_a^b \Big\{L(x,g_2(x)) - L(x,g_1(x)) \Big\} \, dx\qquad\mathrm{(3)}
\end{align}

الآن قم باحتساب التكامل الخطي في العلاقة (1). C يمكن إعادة صياغتها كاتحاد لأربعة منحنيات: C1, C2, C3, C4.

مع C1، استعن بالدوال الوسيطة: x = x, y = g1(x), axb. على ذلك

\int_{C_1} L(x,y)\, dx = \int_a^b L(x,g_1(x))\, dx

مع C3، استخدم الدوال الوسيطة: x = x, y = g2(x), axb. بالتالي

 \int_{C_3} L(x,y)\, dx = -\int_{-C_3} L(x,y)\, dx = - \int_a^b L(x,g_2(x))\, dx

التكامل على C3 يصبح سالباً لأنه يخالف الاتجاه الموجب b إلى a, حيث أن C متجهة إيجاباً (عكس عقارب الساعة). على C2 وC4 بينما x تبقى ثابتة ما يعني أن

 \int_{C_4} L(x,y)\, dx = \int_{C_2} L(x,y)\, dx = 0

لذلك،


\begin{align}
\int_{C} L\, dx & = \int_{C_1} L(x,y)\, dx + \int_{C_2} L(x,y)\, dx + \int_{C_3} L(x,y)\, dx + \int_{C_4} L(x,y)\, dx \\
& = -\int_a^b L(x,g_2(x))\, dx + \int_a^b L(x,g_1(x))\, dx\qquad\mathrm{(4)}
\end{align}

بدمج (3) مع (4)، نحصل على العلاقة (1). بحسابات مماثلة يمكن الحصول على العلاقة (2).

انظر أيضا[عدل]

المصادر[عدل]

وصلات خارجية[عدل]