معادله لاپلاس
معادلهٔ لاپلاس یک معادله دیفرانسیل با مشتقات جزئی است که از اهمّیّت و کاربرد فراوانی در ریاضیّات، فیزیک، و مهندسی برخوردار است. به عنوان چند نمونه می‌شود به زمینه‌هایی همچون الکترومغناطیس، ستاره‌شناسی، و دینامیک سیالات اشاره کرد که حلّ این معادله در آن‌ها کاربرد دارد. در سه بعد می‌شود آن را به صورت زیر نمایش داد:
formula_1
این معادله، حالت همگن معادله پواسن است. جواب‌های کلی این معادله در نظریه پتانسیل بررسی می‌شوند و تمام آن‌ها توابع همساز هستند.
در فضای سه بعدی، مسئله پیدا کردن تابع حقیقی دو بار مشتق‌پذیر φ بر حسب متغیرهای y ,x و z است بطوریکه: در مختصات دکارتی: در مختصات استوانه‌ای: در مختصات کروی: و در مختصات خمیده‌خط: یا: این معادله غالباً به صورت زیر نوشته می‌شود: یا در متون عمومی بصورت: که در آن ∇=Δ عملگر لاپلاس یا لاپلاسین است. که در آن div=. ∇ دیورژانس و grad=∇ گرادیان است. جواب‌های معادلهٔ لاپلاس تابع هارمونیک نامیده می‌شود. اگر در طرف راست بجای صفر یک تابع سه متغیره "(f(x,y،z" داشته باشیم: این معادله، معادله پواسون نامیده می‌شود. معادلهٔ لاپلاس و پواسون ساده‌ترین مثال‌های معادلات دیفرانسیل جزئی بیضوی‌اند. عملگر دیفرانسیل جزئی formula_11 یاformula_12 (که شاید در هر بعدی تعریف شده باشد) عملگر لاپلاس نامیده می‌شود.
در کل سه نوع شرایط مرزی وجود دارد. دیریکله، نویمان، کوشی. برای معادله لاپلاس شرایط دیریکله یا نویمان کافی است. یعنی با در دست داشتن یکی از شرایط هم مقدار تابع به دست می‌آید و هم مشتق عمود آن و شرط مرزی کوشی برای این معادله اشتباه است. جواب معادله لاپلاس در داخل مرزها تحلیلی است. اصل برهمنهی در مورد جواب‌های این معادله صادق است یعنی هر ترکیب خطی از جواب‌های معادله خود نیز جواب معادله است.
پاسخ معادله لاپلاس دو ویژگی جالب دارد:
فرم معادلهٔ لاپلاس با دو متغیر مستقل به صورت زیر است:
قسمت حقیقی و موهومی یک تابع تحلیلی مختلط، هر دو در معادله لاپلاس صدق می‌کند. اگر z مختلط باشد و: formula_14 شرط لازم برای اینکه (f(z تابع تحلیلی باشد این است که در معادلهٔ کوشی ریمان صدق کند. این منجر می‌شود به: بنابراین u در معادلهٔ لاپلاس صدق می‌کند. به همین شکل می‌توان نشان داد که v هم در معادلهٔ لاپلاس صدق می‌کند. بالعکس، با در نظر گرفتن یک تابع هارمونیک، بخش تحلیلی (f(z (حداقل به‌طور موضعی) است اگر آزمون به فرم باشد، در صورتی که قرار دهیم: معادله کوشی ـ ریمان ارضا می‌شود. این رابطه ψرا مشخص نمی‌کند، بلکه فقط رشد آن را مشخص می‌کند. معادله لاپلاس برای ψ به‌طور ضمنی بیان می‌کند که شرایط انتگرال‌پذیری در ψ صدق می‌کند. و بنابراین ψ را می‌توان با یک انتگرال خط تعریف کرد. شرایط انتگرال‌پذیری و قضیه استوکس نشان می‌دهد که مقدار انتگرال تنها به دو نقطه ابتدایی و انتهایی ارتباط دارد و از مسیر مستقل است. جفت جواب‌های معادله لاپلاس توابع همساز همیوغ نامیده می‌شوند. این نتیجه تنها هنگامی که مسیر دور یک نقطه تکین دور نزند و به‌طور موضعی مورد قبول است. برای مثال اگر r و v مختصات قطبی باشند یک تابع تحلیلی معادل است با در هر صورت زاویهٔ θ فقط در ناحیه‌ای که مبدأ را محصور نمی‌کند تک مقداری است. رابطه نزدیک بین معادله لاپلاس و تابع تحلیلی نشان می‌دهد که هر جواب معادله لاپلاس از هر مرتبه‌ای مشتق دارد و حداقل در یک دایره که یک نقطهٔ تکین را محصور نکند می‌تواند به صورت یک سری توانی بسط داده شود. این با جواب معادلهٔ موج کاملاً در تضاد است، که معمولاً نظم کمتری دارد. یک رابطهٔ نزدیک بین سری‌های توانی و سری‌های فوریه وجود دارد. اگر ما یک تابع f را به صورت سری توانی در یک دایره با شعاع R بسط دهیم، این به این معناست که ضرایب تعریف شده مناسب قسمت‌های موهومی و حقیقی به این صورت دارند: بنابراین که فرمول بالا، یک سری فوریه برای f است.
فرض کنیم u و v مؤلفه‌های عمودی و افقی سرعت یک سیال تراکم ناپذیر و غیر چرخشی در فضای دو بعدی باشد. شرط اینکه سیال تراکم‌ناپذیر باشد به این صورت است که و شرط اینکه سیال غیر چرخشی باشد: اگر ما دیفرانسیل تابع ψرابه این صورت در نظر بگیریم: در این صورت شرط تراکم‌ناپذیری، شرط انتگرال‌پذیری برای این دیفرانسیل است. تابع حاصل، تابع جریان نامیده می‌شود، چون که در راستای شارش ثابت است. مشتق اول ψ به صورت زیر داده می‌شود: و شرط غیر چرخشی بودن اشاره به این دارد که، ψ در معادله لاپلاس صدق می‌کند. تابع همساز φ که همیوغ ψ است، «پتانسیل سرعت» نامیده می‌شود. معادله کوشی ـ ریمان بیان می‌کند که: بنابراین هر تابع تحلیلی با یک شارش سیال تراکم‌ناپذیر و پایدار و غیر چرخشی در صفحه مرتبط است. بخش حقیقی «پتانسیل سرعت» و بخش موهومی، «تابع جریان» است.
با توجه به معادله ماکسول، یک میدان الکتریکی (u,v) در فضای دو بعدی که مستقل از زمان است در این معادلات صدق می‌کند: و جایی که ρ چگالی بار باشد. اولین معادله ماکسول، شرط انتگرال‌پذیری برای دیفرانسیل زیر است: پس پتانسیل الکتریکی φ به گونه‌ای ساخته می‌شود که شرایط زیر را ارضا نماید: دومین معادله ماکسول دلالت دارد بر که این معادله پواسون است.
یک جواب بنیادی معادله لاپلاس، در این رابطه صدق می‌کند: جایی که تابع دلتای دیراک، نشان دهنده وجود یک واحد منبع در نقطهٔ formula_37 است. هیچ تابعی این خاصیت را ندارد، اما می‌توان آن را به عنوان حدی از توابعی که انتگرال آن‌ها در فضا واحد است و پشتیبان (ناحیه‌ای که تابع در آن صفر نیست) آن‌ها به یک نقطه تبدیل شده‌است، در نظر گرفت. پس تعریف جواب اصلی اشاره دارد بر اینکه اگر از لاپلاسی u بر هر حجمی که نقطهٔ منبع را محصور کند، انتگرال بگیریم، داریم: معادله لاپلاس تحت یک دوران مختصات ناوردا است و از این رو ما انتظار داریم که که جواب اصلی فقط به فاصلهٔ r از نقطه مبدأ بستگی داشته باشد. اگر ما حجم را به صورت کره‌ای با شعاع a حول نقطه منبع انتخاب کنیم، قضیه دیورژانس گاوس بیان می‌کند که: این منجر می‌شود به روی یک کره به شعاع r حول نقطهٔ منبع است و از این رو یک استدلال مشابه نشان می‌دهد که در دو بعد این جواب این گونه است:
یک تابع گرین یک جواب اصلی است که شرایط مناسبی در مرز s از حجم v را ارضا می‌کند. برای مثال تابع گرین در این معادله صدق می‌کند. اکنون اگر u یکی از جواب‌های معادلهٔ پواسون در v باشد و فرض می‌کنیم که u مقدار مرزی g روی s باشد. آنگاه ما فرمول گرین (یک نتیجه از قضیه دیورژانس) را بکار می‌بریم، که بیان می‌کند: علائم "u" و "G" نشان‌دهنده مشتق نرمال بر s هستند. با در نظر گرفتن شرایط ارضا شده توسط U و G، این نتیجه به این رابطه ساده می‌شود: بنابراین تابع گرین تأثیر داده‌های f و g را در نقطه formula_48 توضیح می‌دهد. در مورد داخل کره‌ای با شعاع a تابع گرین به‌وسیلهٔ انعکاس، پیدا می‌شود. نقطه منبع p که در فاصله ρ از مبدأ کره قرار دارد در طول خط واصل این دونقطه، به یک نقطه 'p که در فاصله زیر قرار دارد، انعکاس پیدا می‌کند: توجه کنید که اگر p در داخل کره باشد 'p در خارج کره خواهد بود. تابع گرین به این صورت داده می‌شود. جایی که R فاصله تا نقطهٔ منبع p و 'R فاصله تا نقطه انعکاسی 'p را نشان می‌دهد. یک نتیجه از این عبارت برای تابع گرین، فرمول انتگرال پواسون است. فرض کنیم ρ و θ و φ مختصات کروی برای نقطه منبع p باشند. در اینجا θ نشان‌دهنده زاویه با محور عمودی است، که در تضاد با نشانه گذاری ریاضی آمریکایی معمولی است، اما با استاندارد اروپا و روال فیزیکی منطبق است. جواب معادله لاپلاس درون کره برابر است با جایی که: یک نتیجه ساده از این فرمول این است که اگر u یک تابع همساز باشد، مقدار u در مرکز کره برابر مقدار میانگین مقدارهای آن بر سطح کره است. این خاصیت مقدار میانگین فوراً نشان می‌دهد که یک تابع همساز غیر ثابت نمی‌تواند مقدار ماکزیمم خود را در یک نقطهٔ داخلی بگیرد.