از ویکیپدیا، دانشنامه آزاد
این مقاله در مورد عملگر ریاضی در زمینه های اسکالر است. برای عملکرد میدانهای برداری، لاپلاس بردار را ببینید . برای توزیع احتمال لاپلاس، توزیع لاپلاس را ببینید . برای مفهوم نظری نمودار، به لاپلاسی ماتریس مراجعه کنید .
بخشی از مجموعه مقالات در مورد
حساب دیفرانسیل و انتگرال

- قضیه رول
- قضیه مقدار میانگین
- قضیه تابع معکوس
نشان می دهد
دیفرانسیل
نشان می دهد
انتگرال
نشان می دهد
سلسله
پنهان شدن
بردار
- شیب
- واگرایی
- حلقه
- لاپلاسی
- مشتق جهت دار
- اتحاد ها
قضایا
- شیب
- سبز
- استوکس
- واگرایی
- استوکس تعمیم یافته
نشان می دهد
چند متغیره
نشان می دهد
پیشرفته
نشان می دهد
تخصصی
نشان می دهد
در ریاضیات ، عملگر لاپلاس یا لاپلاسین یک عملگر دیفرانسیل است که از واگرایی گرادیان یک تابع اسکالر در فضای اقلیدسی به دست میآید . معمولاً با نمادها نشان داده می شود
(جایی که
عملگر nabla است )، یا
. در یک سیستم مختصات دکارتی , لاپلاسین با مجموع مشتقات جزئی دوم تابع نسبت به هر متغیر مستقل داده می شود . در سایر سیستم های مختصات ، مانند مختصات استوانه ای و کروی ، لاپلاسین نیز شکل مفیدی دارد. به طور غیررسمی، f ( p ) لاپلاسی تابع f در یک نقطه p اندازه میگیرد که مقدار میانگین f روی کرههای کوچک یا توپهایی که در مرکز p هستند، از f ( p ) چقدر انحراف دارد .
عملگر لاپلاس از نام ریاضیدان فرانسوی پیر سیمون د لاپلاس (1749-1827) نامگذاری شده است، که برای اولین بار این عملگر را برای مطالعه مکانیک سماوی به کار برد : لاپلاسین پتانسیل گرانشی ناشی از توزیع چگالی جرم معین، مضرب ثابتی از آن توزیع چگالی راه حل های معادله لاپلاس f = 0 توابع هارمونیک نامیده می شوند و پتانسیل های گرانشی ممکن را در مناطق خلاء نشان می دهند .
لاپلاسین در بسیاری از معادلات دیفرانسیل که پدیده های فیزیکی را توصیف می کنند، رخ می دهد. معادله پواسون پتانسیل های الکتریکی و گرانشی را توصیف می کند . معادله انتشار گرما و جریان سیال را توصیف می کند . معادله موج انتشار موج را توصیف می کند . و معادله شرودینگر تابع موج را در مکانیک کوانتومی توصیف می کند . در پردازش تصویر و بینایی کامپیوتری ، از اپراتور لاپلاسین برای کارهای مختلفی مانند تشخیص حباب و لبه استفاده شده است . لاپلاسین ساده ترین عملگر بیضوی است و در هسته نظریه هاج و همچنین نتایج کومولوژی د رام قرار دارد .
تعریف [ ویرایش ]
عملگر لاپلاس یک عملگر دیفرانسیل مرتبه دوم در فضای اقلیدسی n بعدی است که به عنوان واگرایی (⋅
) از گرادیان (
). بنابراین اگر
یک تابع با ارزش حقیقی دو بار متمایز است ، سپس لاپلاسی از
تابع با ارزش حقیقی است که توسط:

( 1 )
جایی که نمادهای اخیر از نوشتن رسمی ناشی می شوند:

به صراحت، لاپلاسین f حاصل مجموع تمام مشتقات جزئی دوم غیر مخلوط در مختصات دکارتی x i است :

( 2 )
به عنوان یک عملگر دیفرانسیل مرتبه دوم، عملگر لاپلاس توابع Ck را به توابع Ck - 2 برای k ≥ 2 نگاشت می کند . این یک عملگر خطی : C k ( R n ) → C k −2 ( R n ) یا به طور کلی، یک عملگر : C k (Ω) → C k −2 (Ω) برای هر مجموعه باز Ω است. R n _
انگیزه [ ویرایش ]
انتشار [ ویرایش ]
در تئوری فیزیکی انتشار ، عملگر لاپلاس به طور طبیعی در توصیف ریاضی تعادل به وجود می آید . [1] به طور خاص، اگر u چگالی در تعادل مقداری مانند غلظت شیمیایی باشد، شار خالص u از مرز ∂ V هر ناحیه صاف V صفر است، مشروط بر اینکه هیچ منبع یا فرورفتگی در V وجود نداشته باشد :

که در آن n واحد بیرونی نرمال با مرز V است . با قضیه واگرایی ،

از آنجایی که این برای همه مناطق صاف V صادق است ، می توان نشان داد که به این معنی است:
سمت چپ این معادله عملگر لاپلاس است و کل معادله u = 0 به عنوان معادله لاپلاس شناخته می شود . راه حل های معادله لاپلاس، یعنی توابعی که لاپلاسین آنها یکسان صفر است، بنابراین چگالی های تعادلی ممکن را تحت نفوذ نشان می دهند.
عملگر لاپلاس خود یک تفسیر فیزیکی برای انتشار غیرتعادلی دارد به عنوان میزانی که یک نقطه نشان دهنده منبع یا سینک غلظت شیمیایی است، به معنایی که معادله انتشار دقیق است . این تفسیر از لاپلاسی نیز با حقیقیت زیر در مورد میانگین ها توضیح داده می شود.
میانگین ها [ ویرایش ]
با توجه به یک تابع دو بار متمایز پیوسته:
و یک نکته
. سپس، مقدار متوسط از
بالای توپ با شعاع
متمرکز در
است: [2]

به طور مشابه، مقدار متوسط از
بر روی کره (مرز یک توپ) با شعاع
متمرکز در
است:

چگالی مرتبط با پتانسیل [ ویرایش ]
اگر φ نشان دهنده پتانسیل الکترواستاتیک مرتبط با توزیع بار q باشد، خود توزیع بار توسط منفی لاپلاسین φ بدست می آید :

جایی که ε 0 ثابت الکتریکی است .
این نتیجه قانون گاوس است . در واقع، اگر V هر ناحیه صاف با مرز ∂ V باشد ، طبق قانون گاوس، شار میدان الکترواستاتیک E در سراسر مرز با بار محصور شده متناسب است:

که در آن برابری اول ناشی از قضیه واگرایی است . از آنجایی که میدان الکترواستاتیک شیب (منفی) پتانسیل است، این نشان می دهد:

از آنجایی که این برای همه مناطق V صادق است ، باید داشته باشیم

همین رویکرد نشان می دهد که منفی لاپلاسین پتانسیل گرانشی توزیع جرم است . اغلب توزیع بار (یا جرم) داده می شود و پتانسیل مرتبط ناشناخته است. یافتن تابع پتانسیل تحت شرایط مرزی مناسب معادل حل معادله پواسون است .
به حداقل رساندن انرژی [ ویرایش ]
انگیزه دیگر برای ظاهر شدن لاپلاسین در فیزیک این است که راه حل های f = 0 در ناحیه U توابعی هستند که انرژی دیریکله را ثابت می کنند :

برای مشاهده این، فرض کنید f : U → R یک تابع است و u : U → R تابعی است که در مرز U ناپدید می شود . سپس:

که در آن آخرین برابری با استفاده از اولین اتحاد گرین دنبال می شود . این محاسبه نشان می دهد که اگر f = 0 باشد ، E در اطراف f ثابت است . برعکس، اگر E حول f ثابت باشد ، آنگاه f = 0 توسط لم اساسی حساب تغییرات .
عبارات مختصات [ ویرایش ]
دو بعدی [ ویرایش ]
عملگر لاپلاس در دو بعد توسط:
در مختصات دکارتی ،
که در آن x و y مختصات دکارتی استاندارد صفحه xy هستند .
در مختصات قطبی ،

که r نشان دهنده فاصله شعاع ی و θ زاویه است.
سه بعدی [ ویرایش ]
همچنین ببینید: دل در مختصات استوانه ای و کروی
در سه بعد، کار با لاپلاسین در انواع سیستم های مختصات مختلف رایج است.
در مختصات دکارتی ،

در مختصات استوانه ای ،

جایی که
نشان دهنده فاصله شعاع ی، φ زاویه آزیموت و z ارتفاع است.
در مختصات کروی :
یا

با گسترش عبارت اول، این عبارات خوانده می شوند

که در آن φ نشان دهنده زاویه ازیموتال و θ زاویه اوج یا هم عرض جغرافیایی است .
به طور کلی مختصات منحنی ( ξ 1 , ξ 2 , ξ 3 ):

جایی که جمع بر روی شاخص های مکرر دلالت دارد ، g mn تانسور معکوس متریک و Γl mn نمادهای کریستوفل برای مختصات انتخاب شده هستند .
ابعاد N [ ویرایش ]
در مختصات منحنی دلخواه در ابعاد N ( ξ 1 ، ...، ξN )، میتوانیم لاپلاسین را بر حسب تانسور متریک معکوس بنویسیم .
:
از فرمول ووس-ویل [3] برای واگرایی .
در مختصات کروی در ابعاد N ، با پارامترسازی x = rθ ∈ R N با r نشان دهنده یک شعاع حقیقی مثبت و θ عنصری از کره واحد S N -1 ،

که در آن S N -1 عملگر لاپلاس-بلترامی روی ( N -1) -کره است که به عنوان لاپلاسین کروی شناخته می شود. دو عبارت مشتق شعاع ی را می توان به طور معادل به صورت زیر بازنویسی کرد:

در نتیجه، لاپلاسین کروی تابعی که بر روی SN - 1 ⊂ RN تعریف شده است را می توان به عنوان لاپلاسی معمولی تابعی که به RN ∖ {0} گسترش یافته محاسبه کرد تا در طول پرتوها ثابت باشد، یعنی درجه همگن باشد . صفر
تغییر ناپذیری اقلیدسی [ ویرایش ]
لاپلاسی تحت تمام دگرگونی های اقلیدسی ثابت است : چرخش ها و ترجمه ها . به عنوان مثال، در دو بعد، به این معنی است که:

برای همه θ , a , و b . در ابعاد دلخواه،
هر گاه ρ یک چرخش باشد و به همین ترتیب:
هر زمان که τ ترجمه باشد. (به طور کلی، زمانی که ρ یک تبدیل متعامد مانند بازتاب است، این موضوع صادق است .)
در واقع، جبر همه عملگرهای دیفرانسیل خطی اسکالر، با ضرایب ثابت، که با همه تبدیلهای اقلیدسی جابهجا میشوند، جبر چند جملهای است که توسط عملگر لاپلاس ایجاد میشود.
نظریه طیفی [ ویرایش ]
همچنین ببینید: شنیدن شکل یک درام و مقدار ویژه دیریکله
طیف عملگر لاپلاس از تمام مقادیر ویژه λ تشکیل شده است که برای آنها یک تابع ویژه f با عبارت زیر وجود دارد :

این معادله به عنوان معادله هلمهولتز شناخته می شود .
اگر Ω یک دامنه محدود در R n باشد ، آنگاه توابع ویژه لاپلاسین یک مبنای متعارف برای فضای هیلبرت L 2 (Ω) هستند . این نتیجه اساساً از قضیه طیفی بر روی عملگرهای فشرده خود الحاقی که به معکوس لاپلاسین (که فشرده است، توسط نابرابری پوانکاره و قضیه رلیش-کوندراخوف ) اعمال میشود. [4] همچنین می توان نشان داد که توابع ویژه، توابع بی نهایت قابل تمایز هستند . [5] به طور کلی، این نتایج برای عملگر لاپلاس-بلترامی در هر منیفولد فشرده ریمانی با مرز، یا در واقع برای مسئله مقدار ویژه دیریکله هر عملگر بیضی با ضرایب صاف در یک دامنه محدود، صادق است. وقتی Ω n- کره باشد ، توابع ویژه لاپلاسین هارمونیک های کروی هستند .
لاپلاسی بردار [ ویرایش ]
بردار عملگر لاپلاس که با نشان داده می شود2
، یک عملگر دیفرانسیل است که روی یک میدان برداری تعریف شده است . [6] لاپلاس بردار شبیه لاپلاسین اسکالر است. در حالی که لاپلاسین اسکالر به یک میدان اسکالر اعمال می شود و یک کمیت اسکالر را برمی گرداند، بردار لاپلاسی برای یک میدان برداری اعمال می شود و یک کمیت برداری را برمی گرداند. هنگامی که در مختصات دکارتی متعامد محاسبه می شود ، میدان برداری برگشتی برابر با میدان برداری لاپلاسین اسکالر اعمال شده برای هر جزء برداری است.
لاپلاسین بردار یک میدان برداری آ
به عنوان ... تعریف شده است

در مختصات دکارتی ، این به شکل بسیار سادهتر کاهش مییابد

جایی که
،
، و
اجزای میدان برداری هستند
، و
فقط در سمت چپ هر جزء بردار عملگر لاپلاس (اسکالار) قرار دارد. می توان مشاهده کرد که این مورد خاصی از فرمول لاگرانژ است. ضرب سه گانه برداری را ببینید .
برای بیان لاپلاس بردار در سایر سیستم های مختصات به دل در مختصات استوانه ای و کروی مراجعه کنید .
تعمیم [ ویرایش ]
لاپلاسین هر میدان تانسوری
("تانسور " شامل اسکالر و برداری است) به عنوان واگرایی گرادیان تانسور تعریف می شود :

برای مورد خاص که
یک اسکالر (تانسور درجه صفر) است، لاپلاسی شکل آشنا به خود می گیرد.
اگر
یک بردار است (تانسور درجه اول)، گرادیان یک مشتق کوواریانت است که منجر به یک تانسور درجه دوم می شود و واگرایی این دوباره یک بردار است. فرمول بردار لاپلاسی بالا ممکن است برای جلوگیری از ریاضیات تانسور استفاده شود و ممکن است معادل واگرایی ماتریس ژاکوبین نشان داده شده در زیر برای گرادیان یک بردار باشد:

و به همین ترتیب، حاصلضرب نقطهای که بردار را با گرادیان بردار دیگر (تانسور درجه 2) به بردار ارزیابی میکند، میتواند بهعنوان حاصلضرب ماتریسها دیده شود:

این اتحاد یک نتیجه وابسته به مختصات است و کلی نیست.
استفاده در فیزیک [ ویرایش ]
نمونه ای از استفاده از بردار لاپلاسی معادلات ناویر-استوکس برای یک جریان تراکم ناپذیر نیوتنی است :
که در آن عبارت با بردار لاپلاسی میدان سرعت است
نشان دهنده تنش های چسبناک در سیال است.
مثال دیگر معادله موج میدان الکتریکی است که می توان از معادلات ماکسول در غیاب بار و جریان بدست آورد:

این معادله را می توان به صورت زیر نیز نوشت:
جایی که
دلامبرتی است که در معادله کلاین-گوردون استفاده می شود .
کلیات [ ویرایش ]
هر جا که عملکرد انرژی دیریکله معنا داشته باشد ، می توان نسخه ای از لاپلاسی را تعریف کرد ، که نظریه اشکال دیریکله است . برای فضاهایی با ساختار اضافی، می توان توضیحات واضح تری از لاپلاسین به شرح زیر ارائه داد.
اپراتور لاپلاس–بلترامی [ ویرایش ]
مقاله اصلی: اپراتور لاپلاس–بلترامی
لاپلاسین همچنین می تواند به یک عملگر بیضوی به نام عملگر لاپلاس-بلترامی تعمیم داده شود که در منیفولد ریمانی تعریف شده است . عملگر لاپلاس-بلترامی، زمانی که به یک تابع اعمال می شود، رد ( tr ) هسین تابع است :

جایی که ردیابی با توجه به معکوس تانسور متریک گرفته می شود . عملگر لاپلاس-بلترامی را نیز می توان به یک عملگر (که عملگر لاپلاس-بلترامی نیز نامیده می شود) تعمیم داد که بر روی میدان های تانسوری عمل می کند ، با یک فرمول مشابه.
تعمیم دیگری از عملگر لاپلاس که در منیفولدهای شبه ریمانی موجود است از مشتق بیرونی استفاده می کند که بر حسب آن "لاپلاسی هندسه" به صورت بیان می شود.

در اینجا کد دیفرانسیل است که می تواند بر حسب ستاره هاج و مشتق بیرونی نیز بیان شود. این عملگر از نظر علامت با "لاپلاسی تحلیلگر" تعریف شده در بالا متفاوت است. به طور کلی، لاپلاسین "Hodge" بر روی اشکال دیفرانسیل α توسط تعریف می شود

این عملگر به عنوان عملگر لاپلاس-د رام شناخته میشود ، که با اتحاد Weitzenböck به عملگر لاپلاس-بلترامی مرتبط است .
دلامبرتی [ ویرایش ]
لاپلاسی را می توان به طرق خاصی به فضاهای غیر اقلیدسی تعمیم داد، جایی که ممکن است بیضوی ، هذلولی یا فوق هایپربولیک باشد .
در فضای مینکوفسکی عملگر لاپلاس -بلترامی به عملگر دالامبر تبدیل میشود ◻
یا دالامبرتین:

این تعمیم عملگر لاپلاس است به این معنا که عملگر دیفرانسیل است که تحت گروه ایزومتری فضای زیرین ثابت است و اگر به توابع مستقل از زمان محدود شود به عملگر لاپلاس کاهش می یابد. علامت کلی متریک در اینجا به گونهای انتخاب میشود که بخشهای فضایی عملگر یک علامت منفی را بپذیرد، که قرارداد معمول در فیزیک ذرات پرانرژی است . عملگر دالامبر به عنوان عملگر موج نیز شناخته می شود زیرا عملگر دیفرانسیل است که در معادلات موج ظاهر می شود و همچنین بخشی از معادله کلاین-گوردون است که در حالت بدون جرم به معادله موج کاهش می یابد.
ضریب اضافی c در متریک در فیزیک مورد نیاز است اگر فضا و زمان در واحدهای مختلف اندازه گیری شود. برای مثال، اگر جهت x بر حسب متر و جهت y بر حسب سانتی متر اندازه گیری شود، فاکتور مشابهی لازم است . در واقع، فیزیکدانان نظری معمولاً در واحدهایی کار می کنند که c =1 باشد تا معادله را ساده کنند.
عملگر دی المبرت به یک عملگر هذلولی در منیفولدهای شبه ریمانی تعمیم می دهد .
همچنین ببینید [ ویرایش ]
- عملگر لاپلاس-بلترامی ، تعمیم به زیرمنیفولدها در فضای اقلیدسی و منیفولد ریمانی و شبه ریمانی.
- عملگر لاپلاسی بردار ، تعمیم میدانهای لاپلاسی به برداری .
- لاپلاسی در هندسه دیفرانسیل .
- عملگر لاپلاس گسسته یک آنالوگ تفاضل محدود از لاپلاسین پیوسته است که بر روی نمودارها و شبکه ها تعریف شده است.
- لاپلاسین یک اپراتور رایج در پردازش تصویر و بینایی کامپیوتری است (به لاپلاسین گاوسی ، آشکارساز حباب و فضای مقیاس مراجعه کنید ).
- فهرست فرمول ها در هندسه ریمانی شامل عباراتی برای لاپلاسی بر حسب نمادهای کریستوفل است.
- لم ویل (معادله لاپلاس) .
- قضیه ارنشاو که نشان می دهد تعلیق گرانشی، الکترواستاتیکی یا مغناطیسی پایدار غیرممکن است.
- دل در مختصات استوانه ای و کروی .
- موقعیت های دیگری که در آنها یک لاپلاسی تعریف می شود عبارتند از: تجزیه و تحلیل بر روی فراکتال ها ، حساب مقیاس زمانی و حساب خارجی گسسته .
یادداشت ها [ ویرایش ]
- ^ ایوانز 1998 ، §2.2
- ↑ Oval, Jeffrey S. (01-03-2016). "لاپلاسی و ارزش های متوسط و افراطی" (PDF) . ماهنامه ریاضی آمریکا . 123 (3): 287-291. doi : 10.4169/amer.math.monthly.123.3.287 . S2CID 124943537 .
- ↑ بایگانی شده در Ghostarchive and the Wayback Machine : Grinfeld, Pavel. "فرمول Voss-Weyl" . یوتیوب . بازیابی شده در 9 ژانویه 2018 .
- ↑ گیلبارگ و ترودینگر 2001 ، قضیه 8.6
- ↑ گیلبارگ و ترودینگر 2001 ، نتیجه 8.11
- ^ دنیای ریاضی. " لاپلاس بردار " .
منابع [ ویرایش ]
- ایوانز، ال. (1998)، معادلات دیفرانسیل جزئی ، انجمن ریاضی آمریکا، شابک 978-0-8218-0772-9
- سخنرانی های فاینمن در فیزیک جلد. فصل دوم 12: آنالوگ های الکترواستاتیک
- گیلبارگ، دی. ترودینگر، ن. (2001)، معادلات دیفرانسیل جزئی بیضوی مرتبه دوم ، اسپرینگر، شابک 978-3-540-41160-4.
- Schey, HM (1996), Div, Grad, Curl, and All That , WW Norton, ISBN 978-0-393-96997-9.
ادامه مطلب [ ویرایش ]
- لاپلاسیان - ریچارد فیتزپاتریک 2006
پیوندهای خارجی [ ویرایش ]
- "اپراتور لاپلاس" ، دایره المعارف ریاضیات ، انتشارات EMS ، 2001 [1994]
- وایستاین، اریک دبلیو. "لاپلاسین" . دنیای ریاضی .
- لاپلاسین در اشتقاق مختصات قطبی
- معادلات مکعب فراکتال و اثر کازیمیر
https://en.wikipedia.org/wiki/Laplace_operator