قضیه گاوس


 

34.1 مقدمه

34.1.1 واگرایی، شار و حجم

سریع‌ترین راه برای محاسبه حجم یک جسم جامد پیچیده استفاده از قضیه گاوس است. معلوم می‌شود که شار میدان برداری F = [ x , 0 , 0 ] از طریق سطح مرزی S یک جسم جامد E برابر با حجم است. قضیه گاوس این شار را با ایجاد میدان در داخل برابر می‌داند. اگر میدان برداری F = [ x , 0 , 0 ] را رسم کنید، می‌بینید که چیزها را منبسط می‌کند. به مکعب واحد نگاه کنید. میدان از وجوه y = 0 ، y = 1 یا z = 0 و z = 1 عبور نمی‌کند زیرا میدان در آنجا موازی است. در x = 0 ، میدان صفر است. تنها وجهی از مکعب‌مستطیل که مقداری میدان از آن عبور می‌کند x = 1 است و میدان در حال خروج از آنجاست. بنابراین، چیزی باید در داخل ایجاد شود. این ایجاد میدان واگرایی نامیده می‌شود. اگر F = [ P , Q , R ] ، آنگاه div ( F ) = P x + Q y + R z . در مورد F = [ x , 0 , 0 ] واگرایی ثابت 1 داریم. دیده‌ایم که E div ( F ) d V = S F d S . همچنین می‌توانید ببینید که برای میدان‌هایی مانند F = [ 0 , x , 0 ] شار کل صفر است زیرا آنچه از یک طرف وارد می‌شود از طرف دیگر خارج می‌شود. هر میدان خطی F به صورت ترکیب خطی از میدان‌های کلاس که قضیه واگرایی برای آنها برقرار است.

شکل 1. میدان برداری F = [ x , 0 , 0 ] واگرایی ثابت 1 دارد. شار از طریق S F d S از مرز برابر است با E div ( F ) d V .

34.1.2 قانون گاوس، لاپلاسین و قانون نیوتن

قانون گاوس div ( F ) = f = 4 π G ρ میدان گرانشی ناشی از چگالی جرم ρ و ثابت گرانشی G را توصیف می‌کند. تصویر این است که جرم یک منبع برای میدان است. خواهیم دید که با کمک قضیه واگرایی، این معادله بر قانون گرانش نیوتن F = M G / r 2 ناشی از یک جرم M دلالت دارد. از آنجایی که میدان گرانشی حرکت دائمی را مجاز نمی‌داند، یک میدان گرادیان است و F = V . ترکیب Δ = div (grad لاپلاسین نامیده می‌شود. قانون گاوس اکنون معادله پواسون Δ V = f را تولید می‌کند که پتانسیل V = Δ 1 f را از چگالی جرم تعیین می‌کند. معکوس Δ تابع گرین نیز نامیده می‌شود. هنگامی که چنین توصیفی داشته باشیم، اکنون گرانش را در هر فضایی با لاپلاسین داریم. می‌توانیم گرانش را روی سطحی مانند کره یا در n مطالعه کنیم، جایی که نیرو متناسب با 1 / r n 1 است. در بخش اثبات خواهیم دید که چگونه می‌توانیم گرانش را بر روی هر شبکه متناهی تعریف کنیم.

34.2 سخنرانی

34.2.1 واگرایی و قضیه گاوس: پیوند انتگرال‌ها

واگرایی یک میدان برداری F = [ P , Q , R ] در 3 به صورت div ( F ) = F = P x + Q y + R z تعریف می‌شود. فرض کنید G یک جسم جامد در 3 باشد که توسط سطح S ساخته شده از تعداد متناهی سطوح صاف محدود شده است، به گونه‌ای جهت‌دهی شده که بردار نرمال به S به سمت خارج اشاره کند. قضیه واگرایی یا قضیه گاوس به صورت زیر است:

قضیه 1. G div ( F ) d V = S F d S .

شکل 2. مرز یک جسم جامد به سمت خارج جهت‌دهی شده است. واگرایی انبساط یک جعبه را در حال جریان در میدان اندازه‌گیری می‌کند. شار curl ( F ) از طریق یک سطح بسته 0 است. هیچ میدانی در داخل ایجاد نمی‌شود.

اثبات. اگر G یک جسم جامد به شکل G = { ( x , y , z ) ( x , y ) U ,   g ( x , y ) z h ( x , y ) } and F = [ 0 , 0 , R ] , باشد، آنگاه G div ( F ) d V = U g ( x , y ) h ( x , y ) R z d z d y d x که برابر است با G ( R ( x , y , h ( x , y ) ) R ( x , y , g ( x , y ) ) ) d y d x . شار F = [ 0 , 0 , R ] از طریق سطح r ( u , v ) = [ u , v , h ( u , v ) ] برابر است با G [ 0 , 0 , R ( u , v , h ( u , v ) ) ] [ g u , g v , 1 ] d v d u = G R ( x , y , h ( x , y ) ) d x d y به طور مشابه، شار از طریق سطح پایینی G R ( x , y , g ( x , y ) ) d x d y است. به طور کلی، F = [ P , Q , R ] = [ P , 0 , 0 ] + [ 0 , Q , 0 ] + [ 0 , 0 , R ] را بنویسید تا ادعا را برای جسم جامدی که به طور همزمان توسط نمودارهای توابع در x و y ، یا y و z یا x و z محدود شده است، به دست آورید. یک جسم جامد عمومی را می‌توان به چنین اجسام جامدی برش داد. ◻

34.2.2 به داخل یا خارج؟ واگرایی به عنوان معیار جریان میدان

این قضیه به عبارت واگرایی معنا می‌بخشد. کل واگرایی روی یک ناحیه کوچک برابر با شار میدان از طریق مرز است. اگر این مقدار مثبت باشد، میدان بیشتری خارج می‌شود تا وارد و میدان در داخل "تولید" می‌شود. واگرایی انبساط میدان را اندازه‌گیری می‌کند. برای مثال میدان F ( x , y , z ) = [ x , 0 , 0 ] منبسط می‌شود، در حالی که f ( x , y , z ) = [ x , 0 , 0 ] فشرده می‌شود. F ( x , y , z ) = [ y , z , x ] "تراکم‌ناپذیر" است.

34.2.3 تعمیم قانون گاوس: واگرایی در m بعد

قضیه واگرایی در هر بعد m برقرار است. اگر F = [ F 1 , , F m ] میدان برداری باشد، آنگاه x 1 F 1 + + x m F m به عنوان واگرایی F تعریف می‌شود. اگر G یک ناحیه m -بعدی با مرز S = s ( G ) باشد، آنگاه شار F از طریق S به صورت G F ( s ( u ) ) n ( s ( u ) ) | d s ( u ) | , تعریف می‌شود، که در آن n ( s ( u ) ) یک بردار نرمال واحد است. این را می‌توان با استفاده از زبان فرم‌های دیفرانسیلی که دفعه بعد معرفی می‌شود، کمی بهتر توضیح داد.

34.2.4 واگرایی، کرل و قضیه گرین: یک چرخش دو بعدی

واگرایی F = [ P , Q ] به صورت P x + Q y تعریف می‌شود. اگر F = [ Q , P ] میدان برداری چرخیده باشد، آنگاه div ( F ) = Q x P y کرل F است. قضیه گرین می‌گوید که G curl ( F ) d x d y که برابر است با G div ( F ) d x d y انتگرال خطی C F d r است. انتگرال خطی برای F انتگرال شار برای F است. قضیه واگرایی دو بعدی، قضیه گرین "چرخیده" است.

34.3 مثال‌ها

مثال 1. مسئله: شار F = [ x , y , z ] را از طریق کره‌ای به شعاع ρ که یک توپ G را محدود می‌کند، با جهت‌دهی به سمت خارج محاسبه کنید.
راه‌حل: از آنجایی که div ( F ) = 3 داریم G div ( F ) d V = 3 Vol ( G ) = 3 4 π ρ 3 / 3. شار از طریق مرز S F d S است. همانطور که در مختصات کروی، F ( r ( ϕ , θ ) ) r ϕ × r θ = ρ 3 sin ( ϕ ) , شار برابر است با 0 2 π 0 π ρ 3 sin ( ϕ ) d ϕ d θ = 4 π ρ 3 نیز.

مثال 2. مسئله: شار میدان برداری F ( x , y , z ) = [ 6 x + y 3 , 3 z 2 + 8 y , 22 z + sin ( x ) ] از طریق جسم جامد G = [ 0 , 3 ] × [ 0 , 3 ] × [ 0 , 3 ] ( [ 0 , 3 ] × [ 1 , 2 ] × [ 1 , 2 ] [ 1 , 2 ] × [ 0 , 3 ] × [ 1 , 2 ] [ 0 , 3 ] × [ 0 , 3 ] × [ 1 , 2 ] ) که یک مکعب با سه حفره مکعبی عمود بر هم است و مرحله اول ساخت اسفنج منگر است، چقدر است؟
راه‌حل: از آنجایی که div ( F ) = 22 + 8 + 6 = 36 ، نتیجه 36 برابر حجم جسم جامد است که برابر است با 36 ( 27 7 ) = 720 .

شکل 3. گرانش درون ماه به گونه‌ای است که یک آسانسور در حال عبور از ماه مانند یک نوسانگر هماهنگ نوسان می‌کند. شار F = [ 0 , 0 , z ] از طریق یک سطح برابر با حجم داخل است.

مثال 3. مسئله: میدان گرانشی درون ماه در فاصله ρ از مبدأ چگونه به نظر می‌رسد؟
راه‌حل: یک محاسبه مستقیم از جمع تمام مقادیر میدان F ( x ) = G ( x y ) / | x y | 3 d y دشوار است زیرا نمی‌توانیم در مختصات کروی محاسبه کنیم. خوشبختانه قضیه واگرایی را داریم. میدان F ( x ) طول ثابت F ( ρ ) = | F ( x ) | برای x روی یک کره S ( ρ ) به شعاع ρ دارد و به سمت داخل اشاره می‌کند. بنابراین S ( ρ ) F d S = 4 π ρ 2 F ( ρ ) . گاوس توانست میدان گرانشی را به عنوان یک معادله دیفرانسیل با مشتقات جزئی بنویسد، که در آن σ ( x ) چگالی جرم جسم جامد است. سپس با قضیه واگرایی می‌بینیم که B ( ρ ) 4 π σ ( x ) d x برابر است با 4 π ρ 2 F ( ρ ) . با فرض ثابت بودن σ ، داریم 4 π ( 4 π ρ 3 / 3 ) σ = 4 π ρ 2 F ( ρ ) که F ( ρ ) = ( 4 σ / 3 ) ρ را به دست می‌دهد. میدان به صورت خطی در داخل جسم رشد می‌کند. اگر ρ بزرگتر از شعاع ماه باشد، آنگاه B ( ρ ) 4 π σ ( x ) d x برابر است با 4 π M ، که در آن M = G σ ( x ) d x جرم ماه است. می‌بینیم که در آن صورت F ( ρ ) = M / ρ 2 ، که قانون نیوتن است.

مثال 4. مسئله: با استفاده از قضیه واگرایی، شار میدان برداری F ( x , y , z ) = [ 2342434 y , 2 x y , 4 y z ] T را از طریق مکعب واحد [ 0 , 1 ] × [ 0 , 1 ] × [ 0 , 1 ] که از بالا باز است محاسبه کنید.
راه‌حل: واگرایی F برابر است با 2 x + 4 y . انتگرال این روی مکعب واحد 1 + 2 = 3 را به دست می‌دهد. شار از طریق تمام 6 وجه 3 است. شار از طریق وجه z = 1 برابر است با 0 1 0 1 4 y d x d y = 2. باید این را کم کنیم و 3 2 = 1 به دست می‌آید.

مثال 5. به طور مشابه همانطور که قضیه گرین محاسبه مساحت را با استفاده از انتگرال‌های خطی امکان‌پذیر کرد، حجم یک ناحیه را می‌توان به عنوان یک انتگرال شار محاسبه کرد: یک میدان برداری F با واگرایی ثابت 1 مانند F ( x , y , z ) = [ 0 , 0 , z ] در نظر بگیرید. داریم S [ 0 , 0 , z ] d S = Vol ( G ) . برای مثال، برای یک بیضی‌گون x 2 / a 2 + y 2 / b 2 + z 2 / c 2 ، که پارامتری‌سازی آن r ( ϕ , θ ) = [ a sin ( ϕ ) cos ( θ ) , b sin ( ϕ ) sin ( θ ) , c cos ( ϕ ) ] , است، داریم [ 0 , 0 , c cos ( ϕ ) ] [ a b sin ( ϕ ) cos ( ϕ ) ] = a b c sin ( ϕ ) cos 2 ( ϕ ) که منجر به 2 π a b c × 2 / 3 = 4 π a b c / 3 می‌شود.

مثال 6. یک کامپیوتر می‌تواند حجم یک جسم جامد محصور شده توسط یک سطح مثلث‌بندی شده را با محاسبه شار میدان برداری F = [ 0 , 0 , z ] از طریق سطح تعیین کند. میدان برداری واگرایی 1 دارد به طوری که با قضیه واگرایی، شار حجم را به دست می‌دهد. یک کامپیوتر یک شیء هندسی را با استفاده از مثلث‌ها ذخیره می‌کند. فرض کنید A B C آن مثلث است. اگر n = A B × A C به سمت خارج ناحیه اشاره کند، آنگاه شار برابر است با F n / 2 . یک کامپیوتر اکنون می‌تواند تمام این مقادیر را جمع کند و حجم را به دست آورد.

شکل 4. یک گاو، یک بطری کلاین و یک ماشین از فایل‌های مثال Mathematica و سطوح بسته تولید می‌کنند. با این حال، بطری کلاین داخل ندارد.

تمرین‌ها

تمرین 1. از قضیه واگرایی برای محاسبه شار F ( x , y , z ) = [ x 3 , y 3 , z 3 ] T از طریق کره S : x 2 + y 2 + z 2 = 1 استفاده کنید، جایی که کره به گونه‌ای جهت‌دهی شده است که بردار نرمال به سمت خارج اشاره کند.

تمرین ۲. فرض کنید میدان برداری F ( x , y , z ) = [ 5 x 3 + 12 x y 2 , y 3 + e y sin ( z ) , 5 z 3 + e y cos ( z ) ] T میدان مغناطیسی خورشید است که سطح آن کره‌ای به شعاع 3 با جهت‌گیری به سمت بیرون می‌باشد. شار مغناطیسی S F d S را محاسبه کنید.

تمرین ۳. شار میدان برداری F ( x , y , z ) = [ x y , y z , z x ] T را از طریق استوانه توپر x 2 + y 2 1 ، 0 z 2 بیابید.

تمرین ۴. شار F ( x , y , z ) = [ x + y + z , x + z , z + y ] T را از طریق اسفنج منگر M n تعریف‌شده در مکعب واحد محاسبه کرده و حد n را بگیرید.

شکل ۵. تقریب‌هایی از اسفنج منگر.

تمرین ۵. شار میدان برداری F ( x , y , z , w ) = [ x + 2 y 2 , 3 x + 4 z 5 , 6 z + 8 w 9 , 7 w + 9 x 10 ] T را از طریق کره سه‌بعدی x 2 + y 2 + z 2 + w 2 = 1 در 4 با جهت‌گیری به سمت بیرون محاسبه کنید.