Laplasyen

Şablon:Kaynaksız Matematikte, Laplace operatörü ya da Laplasyen, Öklid uzayındaki bir skaler fonksiyonun gradyanı alınarak elde edilen vektörün diverjansı ile tanımlanan bir diferansiyel operatörüdür. Genellikle $\mathrm{\nabla }\cdot \mathrm{\nabla }$, ${\mathrm{\nabla }}^2$ (burada $\mathrm{\nabla }$, nabla operatörüdür) veya $\mathrm{\Delta }$ sembolleriyle gösterilir. Kartezyen koordinat sisteminde, Laplasyen, fonksiyonun her bağımsız değişkenine göre ikinci kısmi türevlerinin toplamı ile verilir. Silindirik ve küresel koordinatlar gibi diğer koordinat sistemlerinde de Laplasyenin kullanışlı bir formu vardır.

Laplace operatörü, operatörü ilk kez gök mekaniği çalışmasına uygulayan Fransız matematikçi Pierre-Simon Laplace (1749–1827) adına adlandırılmıştır. Belirli bir kütle yoğunluğu dağılımına bağlı olarak yerçekimi potansiyelinin Laplasyeni, bu yoğunluk dağılımının sabit bir katıdır. Laplace denklemi ${\mathrm{\nabla }}^{2}f$= 0'ın çözümleri, harmonik fonksiyonlar olarak adlandırılır ve vakumdaki olası yerçekimi potansiyellerini temsil eder.

Motivasyon

Difüzyon

Difüzyonun fiziksel teorisinde, Laplace operatörü,[difüzyon dengesinin matematiksel tanımında doğal olarak ortaya çıkar. Özellikle, eğer Şablon:Math bir miktarın, örneğin kimyasal bir yoğunluğun denge durumundaki yoğunluğunu temsil ediyorsa, Şablon:Math'nin düzgün bir bölgesinin sınırı Şablon:Math (aynı zamanda Şablon:Math olarak da adlandırılır) boyunca Şablon:Math'nun net akısı sıfırdır, eğer Şablon:Math içinde bir kaynak veya yutucu yoksa: $$\underset{S}{\int }\mathrm{\nabla }u\cdot 𝐧,dS=0,$$ burada Şablon:Math, Şablon:Math'nin sınırına dışa doğru olan birim normal vektördür. Diverjans teoremine göre, $$\underset{V}{\int }\mathrm{div}\mathrm{\nabla }u,dV=\underset{S}{\int }\mathrm{\nabla }u\cdot 𝐧,dS=0.$$ Bu, tüm düzgün bölgeler Şablon:Math için geçerli olduğundan, şu sonuca varılabilir: $$\mathrm{div}\mathrm{\nabla }u=\mathrm{\Delta }u=0.$$ Bu denklemin sol tarafı Laplace operatörüdür ve tüm denklem Şablon:Math olarak bilinen Laplace denklemidir. Laplace denkleminin çözümleri, yani Laplasyeni sıfır olan fonksiyonlar, difüzyon altında olası denge yoğunluklarını temsil eder.

Laplace operatörünün kendisi, denge dışı difüzyon için fiziksel bir yoruma sahiptir; bir noktanın kimyasal yoğunluk açısından bir kaynak ya da yutucu olarak ne derece işlev gördüğünü, difüzyon denklemi ile kesin hale getirilen bir anlamda gösterir. Laplasyenin bu yorumu, ortalamalar hakkındaki şu gerçek ile de açıklanabilir.

Ortalamalar

Sürekli iki kez türevlenebilir bir fonksiyon $f:{ℝ}^n\to ℝ$ ve bir nokta $p\in {ℝ}^n$ verildiğinde, $p$ merkezli ve yarıçapı $h$ olan küre üzerinde $f$'in ortalama değeri şu şekildedir: $${\bar{f}}_B(p,h)=f(p)+\frac{\mathrm{\Delta }f(p)}{2(n+2)}{h}^2+o(h^2)h\to 0,$$

Benzer şekilde, $p$ merkezli ve yarıçapı $h$ olan kürenin (bir topun sınırı olarak da düşünülebilir) üzerinde $f$'nin ortalama değeri şu şekildedir: $${\bar{f}}_S(p,h)=f(p)+\frac{\mathrm{\Delta }f(p)}{2n}{h}^2+o(h^2)h\to 0.$$

Potansiyele bağlı yoğunluk

Eğer Şablon:Math skaler fonksiyonu, Şablon:Math ile gösterilen bir yük dağılımı ile ilişkili elektrostatik potansiyeli gösteriyorsa, yük dağılımı, Şablon:Math'nin Laplasyeninin negatifi ile verilir: $$q=-{\epsilon }_0\mathrm{\Delta }\phi ,$$ burada Şablon:Math elektrik sabitidir.

Bu, Gauss yasasının doğal bir sonucudur. Gerçekten de, Şablon:Math bölgesi, sınırı Şablon:Math olan herhangi bir düzgün bölgeyse, Gauss yasasına göre elektrostatik alan Şablon:Math'nin sınır boyunca akısı, bu bölge içerisindeki toplam elektriksel yük ile orantılıdır: $$\underset{\partial V}{\int }𝐄\cdot 𝐧dS=\underset{V}{\int }\mathrm{div}𝐄dV=\frac{1}{{\epsilon }_0}\underset{V}{\int }qdV.$$ burada ilk eşitlik diverjans teoremine dayanmaktadır. Elektrostatik alan, potansiyelin (negatif) gradyanı olduğundan, şu sonucu elde ederiz: $$-\underset{V}{\int }\mathrm{div}(\mathrm{grad}\phi )dV=\frac{1}{{\epsilon }_0}\underset{V}{\int }qdV.$$

Bu, olası tüm bölgeler Şablon:Mvar için geçerli olduğundan, şu sonuca varırız: $$\mathrm{div}(\mathrm{grad}\phi )=-\frac{1}{{\epsilon }_0}q$$

Aynı yaklaşım, kütleçekimsel potansiyelin Laplasyeninin negatifinin kütle dağılımı olduğunu ima eder. Genellikle, yük (veya kütle) dağılımı bilinir ve buna bağlı potansiyel bilinmez. Uygun sınır koşullarına tabi potansiyel fonksiyonunu bulmak, Poisson denklemini çözmeye eşdeğerdir.

Enerji minimizasyonu

Laplace operatörünün fizikte ortaya çıkmasının bir diğer motivasyonu, Şablon:Math denkleminin çözümlerinin, bir bölge Şablon:Math'da Dirichlet enerjisi fonksiyonelini durağan nokta yapmasıdır: $$E(f)=\frac{1}{2}\underset{U}{\int }\Vert \mathrm{\nabla }f{\Vert }^{2}dx.$$

Bunu görmek için, Şablon:Math bir fonksiyon ve Şablon:Math Şablon:Math bölgesinin sınırında sıfır olan bir fonksiyon olsun. O zaman: $${\frac{d}{d\epsilon }|}_{\epsilon =0}E(f+\epsilon u)=\underset{U}{\int }\mathrm{\nabla }f\cdot \mathrm{\nabla }u,dx=-\underset{U}{\int }u\mathrm{\Delta }fdx$$Son eşitlik, Green teoremi (Green'in birinci özdeşliği) kullanılarak elde edilir. Bu hesaplama, eğer Şablon:Math ise, Şablon:Math'nin Şablon:Math etrafında durağan olduğunu gösterir. Tersine, eğer Şablon:Math, Şablon:Math etrafında durağan ise, varyasyonlar hesabının temel teoremine göre Şablon:Math olur.

Koordinat ifadeleri

İki boyut

İki boyutta Laplace operatörü şu şekilde verilir:

Kartezyen koordinatlarda, $$\mathrm{\Delta }f=\frac{{\partial }^{2}f}{\partial x^2}+\frac{{\partial }^{2}f}{\partial y^2}$$ burada Şablon:Mvar ve Şablon:Mvar, Şablon:Math-düzleminin standart Kartezyen koordinatlarıdır.

Kutupsal koordinatlarda, $$\begin{array}{cc}\mathrm{\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{array}$$ burada Şablon:Mvar radyal mesafeyi, Şablon:Mvar ise açıyı temsil eder.

Üç boyut

(Ayrıca bakınız: Silindirik ve küresel koordinatlarda del operatörü)

Üç boyutta, Laplace operatörü çeşitli koordinat sistemlerinde sıkça kullanılır.

Kartezyen koordinatlarda: $$\mathrm{\Delta }f=\frac{{\partial }^{2}f}{\partial x^2}+\frac{{\partial }^{2}f}{\partial y^2}+\frac{{\partial }^{2}f}{\partial z^2}.$$Silindirik koordinatlarda: $$\mathrm{\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 {\phi }^2}+\frac{{\partial }^{2}f}{\partial z^2},$$ burada $\rho$ radyal mesafeyi, Şablon:Math azimutal açıyı ve Şablon:Math yüksekliği temsil eder.

Küresel koordinatlarda: $$\mathrm{\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 }(\sin \theta \frac{\partial f}{\partial \theta })+\frac{1}{r^2{\sin }^2\theta }\frac{{\partial }^{2}f}{\partial {\phi }^2},$$ veya $$\mathrm{\Delta }f=\frac{1}{r}\frac{{\partial }^2}{\partial r^2}(rf)+\frac{1}{r^2\sin \theta }\frac{\partial }{\partial \theta }(\sin \theta \frac{\partial f}{\partial \theta })+\frac{1}{r^2{\sin }^2\theta }\frac{{\partial }^{2}f}{\partial {\phi }^2},$$İlk ve ikinci terimi genişlettiğimizde ifadeler aşağıdaki şekli alır:$$\mathrm{\Delta }f=\frac{{\partial }^{2}f}{\partial r^2}+\frac{2}{r}\frac{\partial f}{\partial r}+\frac{1}{r^2\sin \theta }(\cos \theta \frac{\partial f}{\partial \theta }+\sin \theta \frac{{\partial }^{2}f}{\partial {\theta }^2})+\frac{1}{r^2{\sin }^2\theta }\frac{{\partial }^{2}f}{\partial {\phi }^2},$$ burada Şablon:Math azimutal açıyı ve Şablon:Math zenit açısını temsil eder.

Genel eğrisel koordinatlarda (Şablon:Math): $$\mathrm{\Delta }=\mathrm{\nabla }{\xi }^m\cdot \mathrm{\nabla }{\xi }^n\frac{{\partial }^2}{\partial {\xi }^m,\partial {\xi }^n}+{\mathrm{\nabla }}^2{\xi }^m\frac{\partial }{\partial {\xi }^m}=g^{mn}(\frac{{\partial }^2}{\partial {\xi }^m,\partial {\xi }^n}-{\mathrm{\Gamma }}_{mn}^l\frac{\partial }{\partial {\xi }^l}),$$burada tekrarlanan indisler üzerinde toplama varsayılmıştır, Şablon:Math ters metrik tensördür ve Şablon:Math seçilen koordinatlar için Christoffel sembolleridir.