3-قضیه واگرایی
نتیجه گیری [ ویرایش ]
با جایگزینی F در قضیه واگرایی با اشکال خاص، می توان اتحاد های مفید دیگری را به دست آورد (ر.ک. اتحاد های برداری ). [10]
- با
برای یک تابع اسکالر g و یک میدان برداری F ،
یک مورد خاص این است، در این صورت قضیه مبنایی برای اتحاد های گرین است .
- با
برای دو فیلد برداری F و G ، که در آن
نشان دهنده یک ضرب خارجی است،
- با
برای دو فیلد برداری F و G ، که در آن⋅
نشان دهنده یک ضرب نقطه ای است ،
- با
برای fتابع اسکالر و cمیدان برداری : [11]
آخرین جمله در سمت راست برای ثابت ناپدید می شودجیا هر میدان برداری بدون واگرایی (سلونوئیدی)، به عنوان مثال، جریان های تراکم ناپذیر بدون منبع یا فرورفتگی مانند تغییر فاز یا واکنش های شیمیایی و غیره.ج
ثابت بودن:
- با
برای میدان برداری F و بردار ثابت c : [11]
.
با مرتب کردن مجدد حاصل ضرب سه گانه در سمت راست و خارج کردن بردار ثابت انتگرال،
از این رو،
مثال [ ویرایش ]
فیلد برداری مربوط به مثال نشان داده شده است. بردارها ممکن است به داخل یا خارج از کره اشاره کنند.
قضیه واگرایی را می توان برای محاسبه شار از یک سطح بسته که به طور کامل یک حجم را در بر می گیرد، مانند هر یک از سطوح سمت چپ، استفاده کرد. نمی توان مستقیماً از آن برای محاسبه شار از طریق سطوح دارای مرز مانند سطوح سمت راست استفاده کرد. (سطوح آبی، مرزها قرمز هستند.)
فرض کنید می خواهیم ارزیابی کنیم
که در آن S واحد کره تعریف شده توسط
و F میدان برداری است
محاسبه مستقیم این انتگرال بسیار دشوار است، اما میتوانیم استخراج نتیجه را با استفاده از قضیه واگرایی ساده کنیم، زیرا قضیه واگرایی میگوید که انتگرال برابر است با:
جایی که W واحد توپ است :
از آنجایی که تابع y در یک نیمکره W مثبت و در نیمکره دیگر منفی است، به طور مساوی و مخالف، انتگرال کل آن بر روی W صفر است. برای z هم همینطور است :
از این رو،
،
زیرا توپ واحد W حجم دارد 4 π/3.