مُعامل لابلاس

في الرياضيات ، يُعرف مؤثر لابلاس أو لابلاسيان بأنه مؤثر تفاضلي يُعطى بتباعد تدرج دالة قياسية على الفضاء الإقليدي . ويُرمز إليه عادةً بالرمز {\displaystyle \nabla \cdot \nabla }،2{\displaystyle \nabla ^{2}}(أين{\displaystyle \nabla }( عامل نابلاأوΔ{\displaystyle \Delta }في نظام الإحداثيات الديكارتية ، يُعطى لابلاس بمجموع المشتقات الجزئية الثانية للدالة بالنسبة لكل متغير مستقل . وفي أنظمة إحداثيات أخرى ، مثل الإحداثيات الأسطوانية والكروية، يكون للابلاس شكل مفيد أيضًا. وبشكل غير رسمي، يقيس لابلاس Δf ( p ) للدالة f عند النقطة p مدى انحراف متوسط ​​قيمة f على الكرات الصغيرة المتمركزة عند p عن f ( p ) .

سُمّيَ مُؤثِّر لابلاس نسبةً إلى عالم الرياضيات الفرنسي بيير سيمون دي لابلاس (1749-1827)، الذي طبّقه لأول مرة في دراسة الميكانيكا السماوية : مُؤثِّر لابلاس للجهد التثاقلي الناتج عن توزيع كثافة كتلة مُعيَّن هو مُضاعف ثابت لتوزيع الكثافة هذا. تُسمّى حلول معادلة لابلاس Δf = 0 بالدوال التوافقية ، وهي تُمثِّل الجهود التثاقلية المُحتملة في مناطق الفراغ .

يظهر مؤثر لابلاس في العديد من المعادلات التفاضلية التي تصف الظواهر الفيزيائية. فمعادلة بواسون تصف الجهد الكهربائي والجاذبي ؛ ومعادلة الانتشار تصف تدفق الحرارة والسوائل ؛ ومعادلة الموجة تصف انتشار الموجات ؛ ومعادلة شرودنغر تصف دالة الموجة في ميكانيكا الكم . في معالجة الصور ورؤية الحاسوب ، استُخدم مؤثر لابلاس في مهام متنوعة، مثل كشف البقع والحواف . يُعد لابلاس أبسط مؤثر إهليلجي ، وهو جوهر نظرية هودج ، بالإضافة إلى نتائج علم التماثل دي رام . كما أنه في الأساس المولد المتناهي الصغر للحركة البراونية القياسية علىRن{\displaystyle \mathbf {R} ^{n}} .

تعريف

مؤثر لابلاس هو مؤثر تفاضلي من الدرجة الثانية في الفضاء الإقليدي ذي الأبعاد n ، ويُعرَّف بأنه التباعد ( {\displaystyle \nabla \cdot }) من التدرج (و{\displaystyle \nabla f}وبالتالي إذاو{\displaystyle f}إذا كانت دالة حقيقية قابلة للتفاضل مرتين ، فإن لابلاس لـو{\displaystyle f}هي الدالة ذات القيم الحقيقية المعرفة كما يلي:

حيث تستمد الرموز الأخيرة من الكتابة الرسمية: =(x1،...،xن).{\displaystyle \nabla =\left({\frac {\partial }{\partial x_{1}}},\ldots ,{\frac {\partial }{\partial x_{n}}}\right).} وبالتالي، فإن لابلاس الدالة f هو مجموع جميع المشتقات الجزئية الثانية غير المختلطة في الإحداثيات الديكارتية x i :

باعتباره مؤثرًا تفاضليًا من الدرجة الثانية، يقوم مؤثر لابلاس بتحويل الدوال من C k إلى الدوال من C k −2 لـ k ≥ 2. وهو مؤثر خطي Δ  : C k ( R n ) → C k −2 ( R n ) ، أو بشكل أعم، مؤثر Δ  : C k (Ω) → C k −2 (Ω) لأي مجموعة مفتوحة Ω ⊆ R n .

أو بدلاً من ذلك، يمكن تعريف عامل لابلاس على النحو التالي: 2و(x)=ليمR02نR2(وصدَفَةR-و(x))=ليمR02نأن-1R1+نصدَفَةRو(ر)-و(x)درن-1{\displaystyle \nabla ^{2}f({\vec {x}})=\lim _{R\rightarrow 0}{\frac {2n}{R^{2}}}(f_{{\text{shell}}_{R}}-f({\vec {x}}))=\lim _{R\rightarrow 0}{\frac {2n}{A_{n-1}R^{1+n}}}\int _{{\text{shell}}_{R}}f({\vec {r}})-f({\vec {x}})dr^{n-1}} أينن{\displaystyle n}هو بُعد الفضاء،وصدَفَةR{\displaystyle f_{{\text{shell}}_{R}}}هو متوسط ​​قيمةو{\displaystyle f}على سطح كرة ذات n بُعد ونصف قطر R{\displaystyle R}،صدَفَةRو(ر)درن-1{\displaystyle \textstyle \int _{{\text{shell}}_{R}}f({\vec {r}})dr^{n-1}}هو التكامل السطحي على كرة ذات n بُعد ونصف قطر R{\displaystyle R}، وأن-1{\displaystyle A_{n-1}}هو الحجم الفائق لحدود كرة وحدة n . [ 1 ]

اصطلاحات الإشارات

لا يوجد اصطلاح إشارة قياسي واحد لمؤثر لابلاس. في الإحداثيات الإقليدية، أحد الاصطلاحات الشائعة هو Δ==ج=1ن2xج2،{\displaystyle \Delta =\nabla \cdot \nabla =\sum _{j=1}^{n}{\frac {\partial ^{2}}{\partial x_{j}^{2}}},} بحيث يكون لكل دالة سلسة مدعومة بشكل مضغوطφ{\displaystyle \varphi }، Rنφ(x)¯Δφ(x)دx=-Rن|φ(x)|2دx،{\displaystyle \int _{\mathbf {R} ^{n}}{\overline {\varphi (x)}}\,\Delta \varphi (x)\,dx=-\int _{\mathbf {R} ^{n}}|\nabla \varphi (x)|^{2}\,dx,} وبالتاليΔ{\displaystyle \Delta }سالب شبه محدد علىل2{\displaystyle L^{2}}[ 2 ]

وهناك اصطلاح شائع آخر يتمثل في إدراج علامة ناقص وتحديد بدلاً من ذلك Δ=-=-ج=1ن2xج2،{\displaystyle \Delta =-\nabla \cdot \nabla =-\sum _{j=1}^{n}{\frac {\partial ^{2}}{\partial x_{j}^{2}}},} بحيث يكون لابلاس غير سالب. [ 3 ] [ 4 ]

يُستخدم كلا الأسلوبين في الأدبيات، وعادةً ما يُحدد المؤلفون بوضوح الأسلوب الذي يستخدمونه. [ 5 ] في هذه المقالة، ما لم يُذكر خلاف ذلك،Δ{\displaystyle \Delta }يشير إلى لابلاس الإقليدي Δ==ج=1ن2xج2.{\displaystyle \Delta =\nabla \cdot \nabla =\sum _{j=1}^{n}{\frac {\partial ^{2}}{\partial x_{j}^{2}}}.}

تحفيز

انتشار

في النظرية الفيزيائية للانتشار ، يظهر عامل لابلاس بشكل طبيعي في الوصف الرياضي للتوازن . [ 6 ] على وجه التحديد، إذا كانت u هي الكثافة عند التوازن لكمية ما مثل التركيز الكيميائي، فإن التدفق الصافي لـ u عبر الحدود ∂V (وتسمى أيضًا S ) لأي منطقة ملساء V يساوي صفرًا، بشرط ألا يكون هناك مصدر أو مصب داخل V :SuندS=0،{\displaystyle \int _{S}\nabla u\cdot \mathbf {n} \,dS=0,} حيث n هو متجه الوحدة العمودي الخارجي على حدود V. وبحسب نظرية التباعد ، VdivuدV=SuندS=0.{\displaystyle \int _{V}\operatorname {div} \nabla u\,dV=\int _{S}\nabla u\cdot \mathbf {n} \,dS=0.}

بما أن هذا ينطبق على جميع المناطق الملساء V ، يمكن للمرء أن يثبت أن ذلك يستلزم ما يلي: divu=Δu=0.{\displaystyle \operatorname {div} \nabla u=\Delta u=0.} يمثل الطرف الأيسر من هذه المعادلة مؤثر لابلاس، وتُعرف المعادلة الكاملة Δu = 0 باسم معادلة لابلاس . وبالتالي ، فإن حلول معادلة لابلاس، أي الدوال التي يكون مؤثر لابلاس الخاص بها مساوياً للصفر، تمثل كثافات التوازن الممكنة في ظل الانتشار.

يُفسَّر مُؤثِّر لابلاس نفسه تفسيراً فيزيائياً للانتشار غير المتوازن، باعتباره مدى تمثيل نقطة ما كمصدر أو مصب للتركيز الكيميائي، وهو ما تُوضِّحه معادلة الانتشار بدقة . ويُفسَّر هذا التفسير لمؤثر لابلاس أيضاً بالحقيقة التالية المتعلقة بالمتوسطات.

المتوسطات

بفرض دالة قابلة للتفاضل مرتين بشكل مستمرو:RنR{\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }ونقطةصRن{\displaystyle p\in \mathbb {R} ^{n}}، القيمة المتوسطة لـو{\displaystyle f}فوق الكرة بنصف قطرح{\displaystyle h}مركزها فيص{\displaystyle p}هو: [ 7 ]و¯ب(ص،ح)=و(ص)+Δو(ص)2(ن+2)ح2+o(ح2)لح0{\displaystyle {\overline {f}}_{B}(p,h)=f(p)+{\frac {\Delta f(p)}{2(n+2)}}h^{2}+o(h^{2})\quad {\text{for}}\;\;h\to 0}

وبالمثل، فإن متوسط ​​قيمةو{\displaystyle f}فوق الكرة (حدود الكرة) بنصف قطرح{\displaystyle h}مركزها فيص{\displaystyle p}يكون: و¯S(ص،ح)=و(ص)+Δو(ص)2نح2+o(ح2)لح0.{\displaystyle {\overline {f}}_{S}(p,h)=f(p)+{\frac {\Delta f(p)}{2n}}h^{2}+o(h^{2})\quad {\text{for}}\;\;h\to 0.}

الكثافة المرتبطة بإمكانية

إذا كانت φ ترمز إلى الجهد الكهروستاتيكي المرتبط بتوزيع الشحنة q ، فإن توزيع الشحنة نفسه يُعطى بواسطة معكوس لابلاس φ : q=-ε0Δφ،{\displaystyle q=-\varepsilon _{0}\Delta \varphi ,} حيث ε 0 هو الثابت الكهربائي .

هذا نتيجة لقانون جاوس . في الواقع، إذا كانت V أي منطقة ملساء ذات حدود ∂V ، فإن تدفق المجال الكهروستاتيكي E عبر الحدود يتناسب مع الشحنة المحصورة، وذلك وفقًا لقانون جاوس .VهـندS=VdivهـدV=1ε0VqدV.{\displaystyle \int _{\partial V}\mathbf {E} \cdot \mathbf {n} \,dS=\int _{V}\operatorname {div} \mathbf {E} \,dV={\frac {1}{\varepsilon _{0}}}\int _{V}q\,dV.} حيث تعود المساواة الأولى إلى نظرية التباعد . وبما أن المجال الكهروستاتيكي هو التدرج (السالب) للجهد، فإن هذا يعطينا: -Vdiv(خريجφ)دV=1ε0VqدV.{\displaystyle -\int _{V}\operatorname {div} (\operatorname {grad} \varphi )\,dV={\frac {1}{\varepsilon _{0}}}\int _{V}q\,dV.}

وبما أن هذا ينطبق على جميع المناطق V ، فلا بد أن يكون لدينا div(خريجφ)=-1ε0q{\displaystyle \operatorname {div} (\operatorname {grad} \varphi )=-{\frac {1}{\varepsilon _{0}}}q}

يُشير هذا النهج إلى أن معكوس لابلاس الجهد التثاقلي هو توزيع الكتلة . غالبًا ما يكون توزيع الشحنة (أو الكتلة) مُعطى، بينما يكون الجهد المرتبط به مجهولًا. إيجاد دالة الجهد، مع مراعاة الشروط الحدية المناسبة، يُكافئ حل معادلة بواسون .

تقليل استهلاك الطاقة

ومن الدوافع الأخرى لظهور لابلاس في الفيزياء أن حلول Δ f = 0 في منطقة U هي دوال تجعل دالة طاقة ديريشليه ثابتة : هـ(و)=12يوو2دx.{\displaystyle E(f)={\frac {1}{2}}\int _{U}\lVert \nabla f\rVert ^{2}\,dx.}

لتوضيح ذلك، لنفترض أن f  : UR دالة، وأن u  : UR دالة تنعدم على حدود U. إذن: ددε|ε=0هـ(و+εu)=يووuدx=-يوuΔودx{\displaystyle \left.{\frac {d}{d\varepsilon }}\right|_{\varepsilon =0}E(f+\varepsilon u)=\int _{U}\nabla f\cdot \nabla u\,dx=-\int _{U}u\,\Delta f\,dx} حيث تُستنتج المساواة الأخيرة باستخدام متطابقة غرين الأولى . تُظهر هذه الحسابات أنه إذا كان Δf = 0 ، فإن E تكون ثابتة حول f . وعلى العكس، إذا كانت E ثابتة حول f ، فإن Δf = 0 وفقًا للنتيجة الأساسية لحساب التفاضل والتكامل .

التعبيرات الإحداثية

بعدين

يُعطى عامل لابلاس في بعدين بالصيغة التالية:

في الإحداثيات الديكارتية ، Δو=2وx2+2وy2{\displaystyle \Delta f={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}} حيث x و y هما الإحداثيات الديكارتية القياسية للمستوى xy .

في الإحداثيات القطبية ، Δو=1رر(رور)+1ر22وθ2=2ور2+1رور+1ر22وθ2،{\displaystyle {\begin{aligned}\Delta f&={\frac {1}{r}}{\frac {\partial }{\partial r}}\left(r{\frac {\partial f}{\partial r}}\right)+{\frac {1}{r^{2}}}{\frac {\partial ^{2}f}{\partial \theta ^{2}}}\\&={\frac {\partial ^{2}f}{\partial r^{2}}}+{\frac {1}{r}}{\frac {\partial f}{\partial r}}+{\frac {1}{r^{2}}}{\frac {\partial ^{2}f}{\partial \theta ^{2}}},\end{aligned}}} حيث يمثل r المسافة الشعاعية و θ الزاوية.

الأبعاد الثلاثة

في ثلاثة أبعاد، من الشائع العمل مع لابلاس في مجموعة متنوعة من أنظمة الإحداثيات المختلفة.

في الإحداثيات الديكارتية ، Δو=2وx2+2وy2+2وz2.{\displaystyle \Delta f={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}}.}

في الإحداثيات الأسطوانية ، Δو=1ρρ(ρوρ)+1ρ22وφ2+2وz2،{\displaystyle \Delta f={\frac {1}{\rho }}{\frac {\partial }{\partial \rho }}\left(\rho {\frac {\partial f}{\partial \rho }}\right)+{\frac {1}{\rho ^{2}}}{\frac {\partial ^{2}f}{\partial \varphi ^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}},} أينρ{\displaystyle \rho }يمثل المسافة الشعاعية، و φ زاوية السمت، و z الارتفاع.

في الإحداثيات الكروية : Δو=1ر2ر(ر2ور)+1ر2الخطيئةθθ(الخطيئةθوθ)+1ر2الخطيئة2θ2وφ2،{\displaystyle \Delta f={\frac {1}{r^{2}}}{\frac {\partial }{\partial r}}\left(r^{2}{\frac {\partial f}{\partial r}}\right)+{\frac {1}{r^{2}\sin \theta }}{\frac {\partial }{\partial \theta }}\left(\sin \theta {\frac {\partial f}{\partial \theta }}\right)+{\frac {1}{r^{2}\sin ^{2}\theta }}{\frac {\partial ^{2}f}{\partial \varphi ^{2}}},} أو Δو=1ر2ر2(رو)+1ر2الخطيئةθθ(الخطيئةθوθ)+1ر2الخطيئة2θ2وφ2،{\displaystyle \Delta f={\frac {1}{r}}{\frac {\partial ^{2}}{\partial r^{2}}}(rf)+{\frac {1}{r^{2}\sin \theta }}{\frac {\partial }{\partial \theta }}\left(\sin \theta {\frac {\partial f}{\partial \theta }}\right)+{\frac {1}{r^{2}\sin ^{2}\theta }}{\frac {\partial ^{2}f}{\partial \varphi ^{2}}},} بتوسيع الحدين الأول والثاني، تصبح هذه التعبيرات كما يلي Δو=2ور2+2رور+1ر2الخطيئةθ(كوسθوθ+الخطيئةθ2وθ2)+1ر2الخطيئة2θ2وφ2،{\displaystyle \Delta f={\frac {\partial ^{2}f}{\partial r^{2}}}+{\frac {2}{r}}{\frac {\partial f}{\partial r}}+{\frac {1}{r^{2}\sin \theta }}\left(\cos \theta {\frac {\partial f}{\partial \theta }}+\sin \theta {\frac {\partial ^{2}f}{\partial \theta ^{2}}}\right)+{\frac {1}{r^{2}\sin ^{2}\theta }}{\frac {\partial ^{2}f}{\partial \varphi ^{2}}},} حيث تمثل φ الزاوية السمتية و θ زاوية سمت الرأس أو خط العرض المشترك . وعلى وجه الخصوص، فإن ما سبق يعادل ما يلي: Δو=2ور2+2رور+1ر2ΔS2و،{\displaystyle \Delta f={\frac {\partial ^{2}f}{\partial r^{2}}}+{\frac {2}{r}}{\frac {\partial f}{\partial r}}+{\frac {1}{r^{2}}}\Delta _{S^{2}}f,} أينΔS2و{\displaystyle \Delta _{S^{2}}f}هو عامل لابلاس-بيلترامي على كرة الوحدة.

في الإحداثيات المنحنية العامة ( ξ 1 , ξ 2 , ξ 3 ): Δ=ξمξن2ξمξن+2ξمξم=زمن(2ξمξن-Γمنلξل)،{\displaystyle \Delta =\nabla \xi ^{m}\cdot \nabla \xi ^{n}{\frac {\partial ^{2}}{\partial \xi ^{m}\,\partial \xi ^{n}}}+\nabla ^{2}\xi ^{m}{\frac {\partial }{\partial \xi ^{m}}}=g^{mn}\left({\frac {\partial ^{2}}{\partial \xi ^{m}\,\partial \xi ^{n}}}-\Gamma _{mn}^{l}{\frac {\partial }{\partial \xi ^{l}}}\right),} حيث يتم تضمين الجمع على المؤشرات المتكررة ، و g mn هو موتر القياس العكسي و Γ l mn هي رموز كريستوفيل للإحداثيات المختارة.

أبعاد N

في إحداثيات منحنية عشوائية(ξ1،...،ξشمال){\displaystyle (\xi ^{1},\dots ,\xi ^{N})}علىRشمال{\displaystyle \mathbf {R} ^{N}}، يمكن كتابة لابلاس بدلالة موتر القياس العكسيزأناج{\displaystyle g^{ij}}مثل Δو=1|ز|ξأنا(|ز|زأناجوξج)،|ز|=المحقق(زأناج).{\displaystyle \Delta f={\frac {1}{\sqrt {|g|}}}{\frac {\partial }{\partial \xi ^{i}}}\left({\sqrt {|g|}}\,g^{ij}{\frac {\partial f}{\partial \xi ^{j}}}\right),\qquad |g|=\det(g_{ij}).} هذه هي الحالة الإقليدية الخاصة لمؤثر لابلاس-بيلترامي . [ 8 ] [ 9 ]

في الإحداثيات الكروية علىRشمال{\displaystyle \mathbf {R} ^{N}}، يكتب x=رω،ر=|x|>0،ωSشمال-1{\displaystyle x=r\omega ,\qquad r=|x|>0,\quad \omega \in S^{N-1}} أينSشمال-1{\displaystyle S^{N-1}}هي الكرة ( N – 1) ذات الوحدة فيRشمال.{\displaystyle \mathbf {R} ^{N}.}ثم يتحلل لابلاس إلى أجزاء شعاعية وزاوية: Δو=2ور2+شمال-1رور+1ر2ΔSشمال-1و،{\displaystyle \Delta f={\frac {\partial ^{2}f}{\partial r^{2}}}+{\frac {N-1}{r}}{\frac {\partial f}{\partial r}}+{\frac {1}{r^{2}}}\Delta _{S^{N-1}}f,} أو ما يعادل ذلك Δو=1رشمال-1ر(رشمال-1ور)+1ر2ΔSشمال-1و،{\displaystyle \Delta f={\frac {1}{r^{N-1}}}{\frac {\partial }{\partial r}}\left(r^{N-1}{\frac {\partial f}{\partial r}}\right)+{\frac {1}{r^{2}}}\Delta _{S^{N-1}}f,} أينΔSشمال-1{\displaystyle \Delta _{S^{N-1}}}هو مؤثر لابلاس-بيلترامي علىSشمال-1{\displaystyle S^{N-1}}[ 10 ]​

يُعد هذا التفكيك نقطة البداية لفصل المتغيرات في معادلة لابلاس. إذا سعى المرء إلى إيجاد حلول من الشكل u(ر،ω)=R(ر)Y(ω)،{\displaystyle u(r,\omega )=R(r)Y(\omega ),} عندئذٍ يجب أن يحقق العامل الزاوي معادلة القيمة الذاتية -ΔSشمال-1Y=λY.{\displaystyle -\Delta _{S^{N-1}}Y=\lambda Y.} القيم الذاتية هي λ=(+شمال-2)،=0،1،2،...،{\displaystyle \lambda _{\ell }=\ell (\ell +N-2),\qquad \ell =0,1,2,\dots ,} والدوال الذاتية المقابلة هي التوافقيات الكروية من الدرجة{\displaystyle \ell }علىSشمال-1{\displaystyle S^{N-1}}[ 11 ]

الاستبدالu(ر،ω)=R(ر)Y(ω){\displaystyle u(r,\omega )=R(r)Y(\omega )}داخلΔu=0{\displaystyle \Delta u=0}تعطي المعادلة الشعاعية ر2R"(ر)+(شمال-1)رR(ر)-(+شمال-2)R(ر)=0.{\displaystyle r^{2}R''(r)+(N-1)rR'(r)-\ell (\ell +N-2)R(r)=0.} لشمال3{\displaystyle N\geq 3}، وحلولها هي R(ر)=أر+بر--(شمال-2)،{\displaystyle R(r)=Ar^{\ell }+Br^{-\ell -(N-2)},} أما في الحالات الاستثنائيةشمال=2{\displaystyle N=2}و=0{\displaystyle \ell =0}يحصل المرء R(ر)=أ+بسجلر.{\displaystyle R(r)=A+B\log r.}هذه تعطي التوافقيات الصلبة الكلاسيكية . [ 12 ]

على وجه الخصوص، إذاو(x)=F(ر){\displaystyle f(x)=F(r)}إذا كان شعاعيًا، فإن الحد الزاوي يتلاشى و Δو=F"(ر)+شمال-1رF(ر)=1رشمال-1ددر(رشمال-1F(ر)).{\displaystyle \Delta f=F''(r)+{\frac {N-1}{r}}F'(r)={\frac {1}{r^{N-1}}}{\frac {d}{dr}}\left(r^{N-1}F'(r)\right).} وبالتالي فإن كل دالة توافقية شعاعية على حلقة فيRشمال{\displaystyle \mathbf {R} ^{N}}له الشكل F(ر)={أ+بر2-شمال،شمال2،أ+بسجلر،شمال=2.{\displaystyle F(r)={\begin{cases}A+Br^{2-N},&N\neq 2,\\[4pt]A+B\log r,&N=2.\end{cases}}}

ونتيجة لذلك، فإن لابلاس الكروي لدالة علىSشمال-1{\displaystyle S^{N-1}}يمكن حسابها عن طريق توسيع الدالة إلىRشمال{0}{\displaystyle \mathbf {R} ^{N}\setminus \{0\}}بحيث يكون ثابتًا على طول الأشعة (أي متجانس من الدرجة0{\displaystyle 0}ثم تطبيق لابلاس العادي. [ 13 ]

الثبات الإقليدي

يكون لابلاس متغيرًا مكافئًا تحت السحب العكسي بواسطة كل تحويل إقليدي . بتعبير أدق، إذا ز(x)=يوx+أ{\displaystyle g(x)=Ux+a} هو تماثل إقليدي لـRن{\displaystyle \mathbf {R} ^{n}}، معيويا(ن){\displaystyle U\in O(n)}وأRن{\displaystyle a\in \mathbf {R} ^{n}}ثم لكلوج2(Rن){\displaystyle f\in C^{2}(\mathbf {R} ^{n})}، Δ(وز)=(Δو)ز.{\displaystyle \Delta (f\circ g)=(\Delta f)\circ g.} وبالتالي، فإن لابلاس يتبادل مع الإزاحات ومع التحويلات المتعامدة، وبالتالي على وجه الخصوص مع الدورانات والانعكاسات. [ 14 ] [ 15 ]

في بُعدين، هذا يعني أنه لكل زاويةθ{\displaystyle \theta }وكل متجه ترجمة(أ،ب){\displaystyle (a,b)}، Δ(و(xكوسθ-yالخطيئةθ+أ،xالخطيئةθ+yكوسθ+ب))=(Δو)(xكوسθ-yالخطيئةθ+أ،xالخطيئةθ+yكوسθ+ب).{\displaystyle \Delta {\bigl (}f(x\cos \theta -y\sin \theta +a,\;x\sin \theta +y\cos \theta +b){\bigr )}=(\Delta f)(x\cos \theta -y\sin \theta +a,\;x\sin \theta +y\cos \theta +b).}

وبعبارة أخرى،Δ{\displaystyle \Delta }ثابت تحت التأثير الطبيعي للمجموعة الإقليديةهـ(ن)=يا(ن)Rن{\displaystyle E(n)=O(n)\ltimes \mathbf {R} ^{n}}وظائف علىRن{\displaystyle \mathbf {R} ^{n}}[ 14 ]

وبشكل أعم، من بين المؤثرات التفاضلية الخطية العددية علىRن{\displaystyle \mathbf {R} ^{n}}بمعاملات ثابتة، فإن تلك التي تتبادل مع جميع التماثلات الإقليدية هي بالضبط التعبيرات متعددة الحدود في لابلاس: P(Δ)=أ0+أ1Δ++أمΔم.{\displaystyle P(\Delta )=a_{0}+a_{1}\Delta +\cdots +a_{m}\Delta ^{m}.} وبهذا المعنى، يُولّد لابلاس جبر المؤثرات التفاضلية القياسية ذات المعاملات الثابتة والمتغيرة في الفضاء الإقليدي. [ 14 ]

من وجهة نظر نظرية لي ، ينعكس الثبات الدوراني لمؤثر لابلاس في فعل المجموعة المتعامدةيا(ن){\displaystyle O(n)}على وجه الخصوص، فإن الجزء الزاوي من لابلاس الإقليدي هو، وفقًا لاتفاقية الإشارة، مؤثر كازيمير التربيعي لمجموعة الدوران. في ثلاثة أبعاد، يظهر هذا في تحليل الإحداثيات الكروية. ΔR3=1ر2ر2(ر)-ج2ر2=2ر2+2رر+1ر2ΔS2،{\displaystyle \Delta _{\mathbf {R} ^{3}}={\frac {1}{r}}{\frac {\partial ^{2}}{\partial r^{2}}}(r\cdot )-{\frac {J^{2}}{r^{2}}}={\frac {\partial ^{2}}{\partial r^{2}}}+{\frac {2}{r}}{\frac {\partial }{\partial r}}+{\frac {1}{r^{2}}}\Delta _{S^{2}},} أينج2{\displaystyle J^{2}}كازيمير التربيعي لـso(3){\displaystyle {\mathfrak {so}}(3)}أو بعبارة أخرى،ΔS2=-ج2{\displaystyle \Delta _{S^{2}}=-J^{2}}وفقًا للعرف. [ 16 ]

وبشكل أعم، في الفضاءات المتجانسة مثل الكرات، يُستخلص مؤثر لابلاس-بيلترامي من عنصر كازيمير التربيعي لمجموعة لي المؤثرة، وفي مجموعة لي متراصة ذات مقياس ثنائي التغاير، يكون مؤثر لابلاس هو صورة عنصر كازيمير لجبر لي. [ 17 ] [ 18 ]

ملكيات

يتمتع عامل لابلاس بالعديد من الخصائص الهيكلية الأساسية التي تجعله النموذج الأولي للعامل الإهليلجي .

الخطية والقطع الناقص

مؤثر لابلاس خطي: Δ(أو+بز)=أΔو+بΔز{\displaystyle \Delta (af+bg)=a\,\Delta f+b\,\Delta g} لجميع الوظائفو{\displaystyle f}وز{\displaystyle g}والكميات القياسيةأ{\displaystyle a}وب{\displaystyle b}.

بالنسبة لاتفاقية الإشارات المستخدمة في هذه المقالة، Δ=ج=1ن2xج2،{\displaystyle \Delta =\sum _{j=1}^{n}{\frac {\partial ^{2}}{\partial x_{j}^{2}}},} الرمز الرئيسي لـΔ{\displaystyle \Delta }يكون σ2(Δ)(ξ)=-|ξ|2،{\displaystyle \sigma _{2}(\Delta )(\xi )=-|\xi |^{2},} وهو غير صفري لكلξ0{\displaystyle \xi \neq 0}. هكذاΔ{\displaystyle \Delta }هو مؤثر تفاضلي إهليلجي. [ 19 ]

هويات غرين والذاتية الرسمية

لوΩRن{\displaystyle \Omega \subset \mathbf {R} ^{n}}هو محدودج1{\displaystyle C^{1}}المجال وu،vج2(Ω¯){\displaystyle u,v\in C^{2}({\bar {\Omega }})}ثم تُعطي هويات غرينΩuΔvدx=-Ωuvدx+ΩuvνدS،{\displaystyle \int _{\Omega }u\,\Delta v\,dx=-\int _{\Omega }\nabla u\cdot \nabla v\,dx+\int _{\partial \Omega }u\,{\frac {\partial v}{\partial \nu }}\,dS,} و ΩuΔvدx=ΩvΔuدx+Ω(uvν-vuν)دS.{\displaystyle \int _{\Omega }u\,\Delta v\,dx=\int _{\Omega }v\,\Delta u\,dx+\int _{\partial \Omega }\left(u{\frac {\partial v}{\partial \nu }}-v{\frac {\partial u}{\partial \nu }}\right)\,dS.} على وجه الخصوص، إذا انعدم حد الحدود (على سبيل المثال، بالنسبة للدوال ذات الدعم المحدود)، فإن ΩuΔvدx=ΩvΔuدx،{\displaystyle \int _{\Omega }u\,\Delta v\,dx=\int _{\Omega }v\,\Delta u\,dx,} إذن، فإن لابلاس يكون مترافقًا ذاتيًا رسميًا. [ 5 ] بأخذu=v{\displaystyle u=v}يمنح هوية الطاقة ΩuΔuدx=-Ω|u|2دx+ΩuuνدS،{\displaystyle \int _{\Omega }u\,\Delta u\,dx=-\int _{\Omega }|\nabla u|^{2}\,dx+\int _{\partial \Omega }u\,{\frac {\partial u}{\partial \nu }}\,dS,} وهو ما يكمن وراء نتائج التفرد في مسائل القيم الحدية. [ 5 ]

الدوال التوافقية، والدوال التوافقية الفرعية، والدوال التوافقية الفائقة

دالة قابلة للتفاضل مرتين بشكل مستمرu{\displaystyle u}يُطلق عليه اسم التوافقي إذاΔu=0{\displaystyle \Delta u=0}، توافقية فرعية إذاΔu0{\displaystyle \Delta u\geq 0}وفوق التوافقي إذاΔu0{\displaystyle \Delta u\leq 0}[ 5 ]

لوu{\displaystyle u}متناغم في مجموعة مفتوحةΩ{\displaystyle \Omega }وبر(x)Ω{\displaystyle B_{r}(x)\subset \Omega }، ثمu(x){\displaystyle u(x)}يساوي متوسط ​​كل منu{\displaystyle u}فوق الكرةبر(x){\displaystyle B_{r}(x)}ومتوسطu{\displaystyle u}فوق الكرةبر(x){\displaystyle \partial B_{r}(x)}هذه هي خاصية القيمة المتوسطة للدوال التوافقية. [ 5 ]

لا يمكن للدالة التوافقية غير الثابتة أن تصل إلى قيمة عظمى أو صغرى داخلية. وبالتالي، إذاΩ{\displaystyle \Omega }محدد وuج2(Ω)ج(Ω¯){\displaystyle u\in C^{2}(\Omega )\cap C({\bar {\Omega }})}إذا كان توافقيًا، فإن الأعلىΩ¯u=الأعلىΩu،مينΩ¯u=مينΩu.{\displaystyle \max _{\bar {\Omega }}u=\max _{\partial \Omega }u,\qquad \min _{\bar {\Omega }}u=\min _{\partial \Omega }u.} هذان هما مبدأ الحد الأقصى ومبدأ الحد الأدنى للدوال التوافقية. [ 5 ]

الانتظام

لأن لابلاس إهليلجي، فإن حلول المعادلات التي تتضمنΔ{\displaystyle \Delta }تكون أكثر انتظاماً مما قد يُفترض في البداية. على وجه الخصوص، إذاΔu{\displaystyle \Delta u}إذا كانت قابلة للتكامل التربيعي محليًا،u{\displaystyle u}يقع محلياً في منطقة سوبوليفح2{\displaystyle H^{2}}[ 20 ] على وجه الخصوص ، الدوال التوافقية سلسة، وهي في الواقع تحليلية حقيقية. [ 5 ] وبشكل أعم، تنص ليمّة فايل على أنه إذاu{\displaystyle u}هو حل توزيعي لـΔu=0{\displaystyle \Delta u=0}، ثمu{\displaystyle u}ناعم. [ 5 ]

تتم مناقشة النظرية النوعية المقابلة للدوال التوافقية، بما في ذلك مبدأ الحد الأقصى ومتباينة هارناك ، بمزيد من التفصيل في معادلة لابلاس والدالة التوافقية .

تحويل فورييه

بالنسبة للدوال المنتظمة بدرجة كافية علىRن{\displaystyle \mathbf {R} ^{n}}تكون دالة لابلاس بسيطة للغاية بعد تطبيق تحويل فورييه . وفقًا للاتفاقية و^(ξ)=Rنو(x)هـ-2πأناxξدx،{\displaystyle {\widehat {f}}(\xi )=\int _{\mathbf {R} ^{n}}f(x)e^{-2\pi ix\cdot \xi }\,dx,} يمتلك المرء جو^(ξ)=2πأناξجو^(ξ)،{\displaystyle {\widehat {\partial _{j}f}}(\xi )=2\pi i\xi _{j}{\widehat {f}}(\xi ),} وبالتالي Δو^(ξ)=-4π2|ξ|2و^(ξ).{\displaystyle {\widehat {\Delta f}}(\xi )=-4\pi ^{2}|\xi |^{2}{\widehat {f}}(\xi ).} وبالتالي فإن لابلاس هو مضاعف فورييه ذو الرمز-4π2|ξ|2{\displaystyle -4\pi ^{2}|\xi |^{2}}[ 21 ]

يُظهر هذا التمثيل العديد من السمات الأساسية لمؤثر لابلاس. يعتمد الرمز فقط على|ξ|{\displaystyle |\xi |}، مما يعكس ثبات المؤثر الدوراني، وهو غير صفري لـξ0{\displaystyle \xi \neq 0}مما يعكس الإهليلجية. [ 21 ] كما يسمح بتعريف دوال لابلاس باستخدام حساب التفاضل والتكامل الوظيفي: على سبيل المثال، تتوافق شبه المجموعة الحرارية مع الضرب في هـ-4π2ت|ξ|2،{\displaystyle e^{-4\pi ^{2}t|\xi |^{2}},} وبشكل أعم، تتوافق القوى الكسرية لمؤثر لابلاس مع الضرب في (4π2|ξ|2)α/2.{\displaystyle (4\pi ^{2}|\xi |^{2})^{\alpha /2}.}[ 21 ] [ 22 ]

وبموجب اصطلاحات تحويل فورييه الشائعة الأخرى، فإن العامل4π2{\displaystyle 4\pi ^{2}}يتم إعادة توزيعها، لكن البيان الأساسي يبقى كما هو: تحويل فورييه يقطر لابلاس. [ 21 ]

النظرية الطيفية

تعتمد النظرية الطيفية للابلاسية بشدة على الفضاء الأساسي وعلى الشروط الحدودية المفروضة.

علىل2(Rن){\displaystyle L^{2}(\mathbf {R} ^{n})}، تحويل فورييه يقطر-Δ{\displaystyle -\Delta }، وتحويلها إلى عملية ضرب بواسطة4π2|ξ|2{\displaystyle 4\pi ^{2}|\xi |^{2}}[ 21 ] ويترتب على ذلك أن طيف-Δ{\displaystyle -\Delta }علىRن{\displaystyle \mathbf {R} ^{n}}هي الفترة [0،)،{\displaystyle [0,\infty ),} وأن هذا الطيف متصل تمامًا وليس منفصلًا. [ 5 ] في هذا السياق، تُعتبر الموجات المستوية دوالًا ذاتية معممة لمؤثر لابلاس. [ 21 ]

لوΩRن{\displaystyle \Omega \subset \mathbf {R} ^{n}}إذا كانت منطقة محدودة، وتم فرض شروط حدودية مثل شروط ديريشليه أو نيومان ، فإن التمثيل المقابل لمؤثر لابلاس يكون مؤثرًا ذاتيًا مترافقًا بمُحلِّل مضغوط. وبالتالي، فإن طيفه منفصل: توجد سلسلة من القيم الذاتية. 0λ1λ2{\displaystyle 0\leq \lambda _{1}\leq \lambda _{2}\leq \cdots \to \infty } (مع مراعاة التعددية)، وتشكل الدوال الذاتية المرتبطة بها أساسًا متعامدًا لـل2(Ω){\displaystyle L^{2}(\Omega )}[ 5 ] معادلة القيم الذاتية -Δu=λu{\displaystyle -\Delta u=\lambda u} هي معادلة هيلمهولتز . [ 5 ]

وبشكل أعم، على مشعب ريماني مضغوط ، يكون لمؤثر لابلاس-بيلترامي طيف منفصل غير سالب، وتشكل دواله الذاتية أساسًا متعامدًا لـل2(م){\displaystyle L^{2}(M)}[ 14 ] على الكرة المستديرة، تكون هذه الدوال الذاتية هي التوافقيات الكروية . [ 14 ]

لابلاس الكسري

يُعطى تعميم غير محلي لمؤثر لابلاس بواسطة لابلاس الكسري(-Δ)α/2{\displaystyle (-\Delta )^{\alpha /2}}، أين0<α<2{\displaystyle 0<\alpha <2}. بالنسبة لدوال شوارتز علىRن{\displaystyle \mathbf {R} ^{n}}، ويمكن تعريفها من خلال تحويل فورييه الخاص بها: F((-Δ)α/2و)(ξ)=(4π2|ξ|2)α/2و^(ξ)،{\displaystyle {\mathcal {F}}{\big (}(-\Delta )^{\alpha /2}f{\big )}(\xi )=(4\pi ^{2}|\xi |^{2})^{\alpha /2}{\widehat {f}}(\xi ),} باستخدام اصطلاح تحويل فورييه المذكور أعلاه. [ 22 ]

وبالمثل، يمكن تعريف لابلاس الكسري بواسطة تكامل منفرد : (-Δ)α/2و(x)=جن،αالطاقة الشمسية الكهروضوئيةRنو(x)-و(y)|x-y|ن+αدy،{\displaystyle (-\Delta )^{\alpha /2}f(x)=c_{n,\alpha }\,\operatorname {PV} \!\int _{\mathbf {R} ^{n}}{\frac {f(x)-f(y)}{|x-y|^{n+\alpha }}}\,dy,} أينالطاقة الشمسية الكهروضوئية{\displaystyle \operatorname {PV} }يرمز إلى القيمة الرئيسية لكوشي . [ 22 ] على عكس لابلاس العادي، هذا مؤثر غير محلي: تعتمد قيمته عند نقطة ما على قيم الدالة على جميعRن{\displaystyle \mathbf {R} ^{n}}[ 22 ]

يرتبط معكوس لابلاس الكسري ارتباطًا وثيقًا بجهد ريز .0<α<ن{\displaystyle 0<\alpha <n}، إمكانية ريز للنظامα{\displaystyle \alpha }هل هي عملية التفاف مع النواة؟جن،α|x|α-ن{\displaystyle c_{n,\alpha }|x|^{\alpha -n}}: أناαو(x)=جن،αRنو(y)|x-y|ن-αدy.{\displaystyle I_{\alpha }f(x)=c_{n,\alpha }\int _{\mathbf {R} ^{n}}{\frac {f(y)}{|x-y|^{n-\alpha }}}\,dy.} عندما يتم تعريف كلا الجانبين، يكون لدينا [ 22 ] [ 23 ](-Δ)α/2أناαو=و.{\displaystyle (-\Delta )^{\alpha /2}I_{\alpha }f=f.}

تُعطى عائلة ذات صلة من المؤثرات بواسطة كمونات بيسل .sR{\displaystyle s\in \mathbf {R} }يُعرَّف مؤثر جهد بيسل بواسطة F((أنا-Δ)-s/2و)(ξ)=(1+4π2|ξ|2)-s/2و^(ξ).{\displaystyle {\mathcal {F}}{\big (}(I-\Delta )^{-s/2}f{\big )}(\xi )=(1+4\pi ^{2}|\xi |^{2})^{-s/2}{\widehat {f}}(\xi ).} فضاءات الدوال المرتبطة هي فضاءات جهد بيسلحs،ص(Rن){\displaystyle H^{s,p}(\mathbf {R} ^{n})}[ 24 ] تُعدّ كمونات ريز وبيسل عوامل تنعيم وثيقة الصلة، لكن كمونات بيسل تتضمنأنا-Δ{\displaystyle I-\Delta }بدلاً من-Δ{\displaystyle -\Delta }وبالتالي يكون أداؤها أفضل عند الترددات المنخفضة. [ 24 ]

لابلاس المتجهي

عامل لابلاس المتجهي ، ويرمز إليه أيضًا بـ2{\displaystyle \nabla ^{2}} هو مؤثر تفاضلي مُعرَّف على حقل متجهي . [ 25 ] يُشابه لابلاس المتجهي لابلاس القياسي؛ فبينما يُطبَّق لابلاس القياسي على حقل قياسي ويُعيد كمية قياسية، يُطبَّق لابلاس المتجهي على حقل متجهي ، ويُعيد كمية متجهة. عند حسابه في إحداثيات ديكارتية متعامدة ، يكون الحقل المتجهي الناتج مساويًا للحقل المتجهي للابلاس القياسي المُطبَّق على كل مُركِّبة متجهية.

لابلاس المتجهي لحقل متجهيأ{\displaystyle \mathbf {A} }يُعرَّف بأنه 2أ=(أ)-×(×أ).{\displaystyle \nabla ^{2}\mathbf {A} =\nabla (\nabla \cdot \mathbf {A} )-\nabla \times (\nabla \times \mathbf {A} ).} يمكن اعتبار هذا التعريف بمثابة تحليل هيلمهولتز لمتجه لابلاس.

في الإحداثيات الديكارتية ، يختزل هذا إلى التعبير الأبسط بكثير 2أ=(2أx،2أy،2أz)،{\displaystyle \nabla ^{2}\mathbf {A} =(\nabla ^{2}A_{x},\nabla ^{2}A_{y},\nabla ^{2}A_{z}),} أينأx{\displaystyle A_{x}}،أy{\displaystyle A_{y}}، وأz{\displaystyle A_{z}}هي مكونات حقل المتجهاتأ{\displaystyle \mathbf {A} }، و2{\displaystyle \nabla ^{2}}يوجد على يسار كل مُركِّبة من مُركِّبات حقل المتجهات مُؤثِّر لابلاس (الكمي). يُمكن اعتبار هذا حالة خاصة من صيغة لاغرانج؛ انظر الضرب الثلاثي للمتجهات .

للاطلاع على تعبيرات لابلاس المتجه في أنظمة إحداثيات أخرى، انظر Del في الإحداثيات الأسطوانية والكروية .

تعميم

لابلاس أي حقل موترتي{\displaystyle \mathbf {T} }يُعرَّف مصطلح "الموتر" بأنه تباعد تدرج الموتر : 2تي=()تي.{\displaystyle \nabla ^{2}\mathbf {T} =(\nabla \cdot \nabla )\mathbf {T} .}

في الحالة الخاصة حيثتي{\displaystyle \mathbf {T} }إذا كان الموتر قياسيًا (موترًا من الدرجة الصفرية)، فإن لابلاس يأخذ الشكل المألوف.

لوتي{\displaystyle \mathbf {T} }إذا كان متجهًا (موترًا من الدرجة الأولى)، فإن تدرجه هو مشتق متغاير ينتج عنه موتر من الدرجة الثانية، وتباعده هو متجه أيضًا. يمكن استخدام صيغة لابلاس المتجه المذكورة أعلاه لتجنب حسابات الموترات، ويمكن إثبات أنها مكافئة لتباعد مصفوفة جاكوبي الموضحة أدناه لتدرج متجه. تي=(تيx،تيy،تيz)=[تيxxتيxyتيxzتيyxتيyyتيyzتيzxتيzyتيzz]، أين تيuvتيuv.{\displaystyle \nabla \mathbf {T} =(\nabla T_{x},\nabla T_{y},\nabla T_{z})={\begin{bmatrix}T_{xx}&T_{xy}&T_{xz}\\T_{yx}&T_{yy}&T_{yz}\\T_{zx}&T_{zy}&T_{zz}\end{bmatrix}},{\text{ where }}T_{uv}\equiv {\frac {\partial T_{u}}{\partial v}}.}

وبالمثل، يمكن اعتبار الضرب النقطي ، الذي ينتج عنه متجه، لمتجه بواسطة تدرج متجه آخر (موتر من الدرجة الثانية) بمثابة ضرب مصفوفات: أب=[أxأyأz]ب=[أبxأبyأبz].{\displaystyle \mathbf {A} \cdot \nabla \mathbf {B} ={\begin{bmatrix}A_{x}&A_{y}&A_{z}\end{bmatrix}}\nabla \mathbf {B} ={\begin{bmatrix}\mathbf {A} \cdot \nabla B_{x}&\mathbf {A} \cdot \nabla B_{y}&\mathbf {A} \cdot \nabla B_{z}\end{bmatrix}}.} هذه المتطابقة هي نتيجة تعتمد على الإحداثيات، وليست عامة.

الاستخدام في الفيزياء

ومن الأمثلة على استخدام لابلاس المتجهي معادلات نافيير-ستوكس لتدفق نيوتني غير قابل للانضغاط : ρ(vت+(v)v)=ρو-ص+μ(2v)،{\displaystyle \rho \left({\frac {\partial \mathbf {v} }{\partial t}}+(\mathbf {v} \cdot \nabla )\mathbf {v} \right)=\rho \mathbf {f} -\nabla p+\mu \left(\nabla ^{2}\mathbf {v} \right),} حيث يمثل الحد الذي يحتوي على متجه لابلاس لحقل السرعةμ(2v){\displaystyle \mu \left(\nabla ^{2}\mathbf {v} \right)}يمثل الإجهادات اللزجة في السائل.

مثال آخر هو معادلة الموجة للمجال الكهربائي التي يمكن اشتقاقها من معادلات ماكسويل في غياب الشحنات والتيارات: 2هـ-μ0ϵ02هـت2=0.{\displaystyle \nabla ^{2}\mathbf {E} -\mu _{0}\epsilon _{0}{\frac {\partial ^{2}\mathbf {E} }{\partial t^{2}}}=0.}

يمكن كتابة هذه المعادلة أيضاً على النحو التالي: هـ=0،{\displaystyle \Box \,\mathbf {E} =0,} أين1ج22ت2-2،{\displaystyle \Box \equiv {\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}-\nabla ^{2},}هو دالامبيرتيان ، المستخدم في معادلة كلاين-غوردون .

شبه المجموعة ونواة الحرارة

يُولّد مُؤثر لابلاس شبه المجموعة الحرارية ( e t Δ ) t ≥ 0. إذا كان u ( x , t ) يحل معادلة الحرارةتu=Δu{\displaystyle \partial _{t}u=\Delta u} علىRن{\displaystyle \mathbf {R} ^{n}}مع البيانات الأولية u ( x ,0) = f ( x ) ، إذن u(x،ت)=(هـتΔو)(x)=RنΓت(x-y)و(y)دy،{\displaystyle u(x,t)=(e^{t\Delta }f)(x)=\int _{\mathbf {R} ^{n}}\Gamma _{t}(x-y)f(y)\,dy,} أين Γت(x)=1(4πت)ن/2هـ-|x|2/4ت{\displaystyle \Gamma _{t}(x)={\frac {1}{(4\pi t)^{n/2}}}e^{-|x|^{2}/4t}} هي نواة الحرارة الإقليدية. [ 26 ] [ 2 ] تحقق النوى Γs+ت=Γs*Γت،{\displaystyle \Gamma _{s+t}=\Gamma _{s}*\Gamma _{t},} وبالمثل هـ(s+ت)Δ=هـsΔهـتΔ.{\displaystyle e^{(s+t)\Delta }=e^{s\Delta }e^{t\Delta }.} علىل2(Rن){\displaystyle L^{2}(\mathbf {R} ^{n})}هذه شبه مجموعة انكماشية متصلة بقوة، مولدها هو لابلاس؛ وبشكل أعم، تعمل شبه مجموعة الحرارة بشكل انكماشي على L p لـ 1 ≤ p ≤ ∞ . [ 26 ] [ 2 ]

تتمثل إحدى السمات الأساسية لشبه المجموعة الحرارية في تأثيرها المُنعِّم : فلكل قيمة t > 0 ، تكون الدالة e t Δ f أكثر سلاسة من البيانات الأولية f . وينعكس هذا في الفضاء الإقليدي في تقديرات المشتقات مثل شمالهـتΔولصجشمالت-شمال/2ولص،{\displaystyle \|\nabla ^{N}e^{t\Delta }f\|_{L^{p}}\leq C_{N}t^{-N/2}\|f\|_{L^{p}},} وبشكل أعم، في تقديرات سوبوليف من الشكل هـتΔوحs،صجت-s/2ولص.{\displaystyle \|e^{t\Delta }f\|_{H^{s,p}}\leq C\,t^{-s/2}\|f\|_{L^{p}}.} يُعد هذا التنظيم الفوري مهمًا في نظرية المعادلات التفاضلية الجزئية المكافئة ، وهو أساس التنعيم الغاوسي وطرق فضاء المقياس في معالجة الصور . [ 2 ] [ 27 ]

في المجالات المحدودة وعلى مشعبات ريمان ، يُعرّف نفس البناء شبه زمرة حرارية تُسمى نواتها التكاملية مرة أخرى بنواة الحرارة. ويُشفّر سلوكها التقاربي قصير المدى معلومات هندسية وطيفية حول الفضاء الأساسي. [ 26 ]

التعميمات

يمكن تعريف صيغة من صيغ لابلاس حيثما يكون لدالة طاقة ديريشليه معنى، وهو ما يُعرف بنظرية أشكال ديريشليه . أما بالنسبة للفضاءات ذات البنية الإضافية، فيمكن تقديم أوصاف أكثر وضوحًا لصيغة لابلاس، كما يلي.

مؤثر لابلاس-بيلترامي

يمكن تعميم لابلاس أيضًا إلى مؤثر إهليلجي يُسمى مؤثر لابلاس-بيلترامي، مُعرَّف على مشعب ريماني . ومؤثر لابلاس-بيلترامي، عند تطبيقه على دالة، هو أثر ( tr ) مصفوفة هيسيان الخاصة بتلك الدالة . Δو=tr(ح(و)){\displaystyle \Delta f=\operatorname {tr} {\big (}H(f){\big )}} حيث يُحسب الأثر بالنسبة إلى معكوس موتر القياس . ويمكن تعميم مؤثر لابلاس-بيلترامي إلى مؤثر (يُسمى أيضًا مؤثر لابلاس-بيلترامي) يعمل على حقول الموترات ، وذلك باستخدام صيغة مماثلة.

هناك تعميم آخر لمؤثر لابلاس متاح على مشعبات شبه ريمانية، يستخدم المشتق الخارجي ، والذي يُعبَّر عنه بصيغة "لابلاس المهندس" على النحو التالي: Δو=دلتادو.{\displaystyle \Delta f=\delta df.}

هنا، δ هو المشتق التفاضلي المشترك ، والذي يمكن التعبير عنه أيضًا بدلالة نجمة هودج والمشتق الخارجي. يختلف هذا المؤثر في الإشارة عن "مؤثر لابلاس التحليلي" المعرّف أعلاه. وبشكل أعم، يُعرّف مؤثر لابلاس "هودج" على الأشكال التفاضلية α بواسطة Δα=دلتادα+ددلتاα.{\displaystyle \Delta \alpha =\delta d\alpha +d\delta \alpha .}

يُعرف هذا باسم عامل لابلاس-دي رام ، والذي يرتبط بعامل لابلاس-بيلترامي من خلال متطابقة ويتزنبوك .

دالمبيرتيان

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

في فضاء مينكوفسكي، يصبح مؤثر لابلاس -بيلترامي مؤثر دالمبير{\displaystyle \Box }أو على طريقة دالمبير: =1ج22ت2-2x2-2y2-2z2.{\displaystyle \square ={\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}-{\frac {\partial ^{2}}{\partial x^{2}}}-{\frac {\partial ^{2}}{\partial y^{2}}}-{\frac {\partial ^{2}}{\partial z^{2}}}.}

يُعدّ هذا المؤثر تعميمًا لمؤثر لابلاس، فهو المؤثر التفاضلي الثابت تحت تأثير مجموعة التناظر للفضاء الأساسي، ويختزل إلى مؤثر لابلاس عند تقييده بالدوال غير المعتمدة على الزمن. وقد اختيرت الإشارة العامة للمقياس هنا بحيث تقبل الأجزاء المكانية للمؤثر إشارة سالبة، وهو الاصطلاح المعتاد في فيزياء الجسيمات عالية الطاقة . يُعرف مؤثر دالمبير أيضًا بمؤثر الموجة لأنه المؤثر التفاضلي الذي يظهر في معادلات الموجة ، وهو أيضًا جزء من معادلة كلاين-غوردون ، التي تختزل إلى معادلة الموجة في حالة انعدام الكتلة.

يُعدّ العامل الإضافي c في النظام المتري ضروريًا في الفيزياء إذا تم قياس المكان والزمان بوحدات مختلفة؛ كما يلزم عامل مماثل إذا تم قياس الاتجاه x بالأمتار بينما تم قياس الاتجاه y بالسنتيمترات. في الواقع، عادةً ما يعمل الفيزيائيون النظريون بوحدات تجعل c = 1 لتبسيط المعادلة.

يتم تعميم عامل دالمبير ليصبح عاملًا زائديًا على مشعبات ريمان الزائفة .

انظر أيضاً

ملحوظات

  1. ستاير، دانيال ف. (2015-12-01). "الأهمية الهندسية لمؤثر لابلاس" . المجلة الأمريكية للفيزياء . 83 (12): 992-997 . Bibcode : 2015AmJPh..83..992S . doi : 10.1119/1.4935133 . ISSN 0002-9505 . مؤرشف من الأصل في 2024-10-10 . تم الاسترجاع في 2024-10-10 . {{cite journal}}: CS1 maint: bot: حالة عنوان URL الأصلي غير معروفة ( رابط )
  2. 1 2 3 4 إيفانز، إل سي (2010). المعادلات التفاضلية الجزئية ( الطبعة الثانية). الجمعية الرياضية الأمريكية. ISBN  978-0-8218-4974-3.
  3. روزنبرغ، ستيفن (1997). لابلاس على مشعب ريماني . نصوص طلابية من جمعية لندن الرياضية. المجلد 31. مطبعة جامعة كامبريدج. ISBN  978-0-521-46831-2.
  4. دونالدسون، إس كيه "ملاحظات المحاضرة لدورة التحليل الهندسي في كلية تاتا المجتمعية " (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  5. 1 2 3 4 5 6 7 8 9 10 11 هنتر، جون ك. "الفصل 2: ​​معادلة لابلاس" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  6. إيفانز 1998 ، §2.2
  7. أوفال، جيفري س. (2016-03-01). "مؤثر لابلاس والمتوسط ​​والقيم القصوى" (ملف PDF) . المجلة الرياضية الأمريكية الشهرية . 123 (3): 287-291 . doi : 10.4169/amer.math.monthly.123.3.287 . S2CID 124943537. مؤرشف من الأصل (ملف PDF) بتاريخ 2024-10-07 . تم الاطلاع عليه بتاريخ 2020-07-26 . 
  8. كوران، ريتشارد؛ هيلبرت، ديفيد (1962). أساليب الفيزياء الرياضية، المجلد الأول . وايلي-إنترساينس.
  9. أكسلر، شيلدون؛ بوردون، بول؛ رامي، ويد (2001). نظرية الدوال التوافقية ( الطبعة الثانية). سبرينغر. ISBN  978-0-387-95218-5.
  10. أكسلر، شيلدون؛ بوردون، بول؛ رامي، ويد (2001). نظرية الدوال التوافقية ( الطبعة الثانية). سبرينغر. ISBN  978-0-387-95218-5.
  11. كوران، ريتشارد؛ هيلبرت، ديفيد (1962). أساليب الفيزياء الرياضية، المجلد الأول . وايلي-إنترساينس.
  12. أكسلر، شيلدون؛ بوردون، بول؛ رامي، ويد (2001). نظرية الدوال التوافقية ( الطبعة الثانية). سبرينغر. ISBN  978-0-387-95218-5.
  13. أكسلر، شيلدون؛ بوردون، بول؛ رامي، ويد (2001). نظرية الدوال التوافقية ( الطبعة الثانية). سبرينغر. ISBN  978-0-387-95218-5.
  14. 1 2 3 4 5 كانزاني، يايزا. "التحليل على المتشعبات عبر لابلاس" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  15. فريري، ألكسندر. "ثبات مؤثر لابلاس" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  16. زوبر، جان برنارد. "دورانR3{\displaystyle \mathbf {R} ^{3}}المجموعاتSيا(3){\displaystyle SO(3)}وSيو(2){\displaystyle SU(2)}( ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  17. ^ شليتشكرول، هنريك. ترابا، بيتر؛ فوغان ، ديفيد أ. جونيور “اللابلاسيون في المجالات” (PDF) . تم الاسترجاع 2026-03-21 .
  18. رين، تشيو يو. "الخواص الطيفية لمؤثر لابلاس على زمر لي المدمجة" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  19. دياتلوف، سيميون. "ملاحظات المحاضرة 18.155: التوزيعات، والانتظام الإهليلجي، ومؤثرات التكامل الفورييه، وانتشار الموجات" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  20. دياتلوف، سيميون. "ملاحظات المحاضرة 18.155: التوزيعات، والانتظام الإهليلجي، ومؤثرات التكامل الفورييه، وانتشار الموجات" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  21. 1 2 3 4 5 6 تاو، تيرينس. "تحويل فورييه" (ملف PDF) . تم الاطلاع عليه بتاريخ 21-03-2026 .
  22. 1 2 3 4 5 كواسنيكي، ماتيوس (2017). "عشرة تعريفات مكافئة لمؤثر لابلاس الكسري". حساب التفاضل والتكامل الكسري والتحليل التطبيقي . 20 (1): 7-51 . arXiv : 1507.07356 . doi : 10.1515/fca-2017-0002 .
  23. بوكور، كلوديا؛ فالدينوتشي، إنريكو. "ما هو لابلاس الجزئي؟ مراجعة مقارنة مع نتائج جديدة" (ملف PDF) . تم الاطلاع عليه بتاريخ 21 مارس 2026 .
  24. 1 2 ديمكوفيتش، ليزيك ف. "ملاحظات المحاضرة حول فضاءات الطاقة" (ملف PDF) . تم الاسترجاع في 21-03-2026 .
  25. عالم الرياضيات. "متجه لابلاس" .
  26. 1 2 3 ديفيز، إي بي (1989). نوى الحرارة والنظرية الطيفية . مطبعة جامعة كامبريدج.
  27. ليندبيرغ، توني (1994). "نظرية فضاء المقياس: أداة أساسية لتحليل الهياكل على مختلف المقاييس". مجلة الإحصاء التطبيقي . 21 ( 1-2 ): 225-270 .

مراجع

للمزيد من القراءة