مبرهنة غرين

مواضيع في الحسبان

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

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

ليكن C منحنى مغلق بسيط، إيجابي الوجهة، متفرع أملس، في المستوى $\mathbb{R}$²، ولتكن 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 منطقة بسيطة حدودها تحوي المنحيات C₁، C₂، C₃, C₄، يصبح تمثيل مبرهنة غرين ممكناً.

فيما يلي برهان للنظرية في حالة منطقة بسيطة D، وهي منطقة من النوع I (تلفظ واحد) تكون فيها C₂ وC₄ عبارة عن مستقيمين قائمين. يوجد أيضا برهان مماثل للحالة D منطقة من النوع II (تلفظ اثنان) حيث تكون C₁ وC₃ خطوط مستقيمة. يمكن استخلاص الحالة العامة من هذه الحالة الخاصة بتقريب المجال 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)\}$

حيث g₁ وg₂ هما دالتان متصلتان على الفترة [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 يمكن إعادة صياغتها كاتحاد لأربعة منحنيات: C₁, C₂, C₃, C₄.

مع C₁، استعن بالدوال الوسيطة: x = x, y = g₁(x), a ≤ x ≤ b. على ذلك

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

مع C₃، استخدم الدوال الوسيطة: x = x, y = g₂(x), a ≤ x ≤ b. بالتالي

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

التكامل على C₃ يصبح سالباً لأنه يخالف الاتجاه الموجب b إلى a, حيث أن C متجهة إيجاباً (عكس عقارب الساعة). على C₂ وC₄ بينما 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).

انظر أيضا

• مقياس مستوى
• متطابقات غرين
• مبرهنة غرين المتقطعة

وصلات خارجية

• Green's Theorem on MathWorld