Persamaan diferensial parsial

**Persamaan diferensial parsial** (PDP) adalah persamaan yang di dalamnya terdapat suku-suku diferensial parsial, yang dalam matematika diartikan sebagai suatu hubungan yang mengaitkan suatu fungsi yang tidak diketahui, yang merupakan fungsi dari beberapa variabel bebas, dengan turunan-turunannya melalui variabel-variabel yang dimaksud. PDP digunakan untuk melakukan formulasi dan menyelesaikan permasalahan yang melibatkan fungsi-fungsi yang tidak diketahui, yang merupakan dibentuk oleh beberapa variabel, seperti penjalaran suara dan panas, elektrostatika, elektrodinamika, aliran fluida, elastisitas, atau lebih umum segala macam proses yang terdistribusi dalam ruang, atau terdistribusi dalam ruang dan waktu. Kadang beberapa permasalahan fisis yang amat berbeda memiliki formulasi matematika yang mirip satu sama lain.

## Pengantar

Bentuk paling sederhana dari persamaan diferensial adalah

: \frac{\partial u}{\partial x}=0\, 

di mana *u* suatu fungsi tak diketahui dari *x* dan *y*. Hubungan ini mengisyaratkan bahwa nilai-nilai *u*(*x*,*y*) adalah tidak bergantung dari *x*. Oleh karena itu solusi umum dari persamaan ini adalah

:u(x,y) = f(y),\,

di mana *f* adalah suatu fungsi sembarang dari variabel *y*. Analogi dari persamaan diferensial biasa untuk persamaan ini adalah

: \frac{du}{dx}=0\, 

yang memiliki solusi

:u(x) = c,\,

di mana *c* bernilai konstan (tidak bergantung dari nilai *x*). Kedua contoh di atas menggambarkan bahwa solusi umum dari persamaan diferensial biasa melibatkan suatu kostanta sembarang, akan tetapi solusi dari persamaan diferensial parsial melibatkan suatu fungsi sembarang. Sebuah solusi dari persamaan diferensial parsial secara umum tidak unik; kondisi tambahan harus disertakan lebih lanjut pada syarat batas dari daerah di mana solusi didefinisikan. Sebagai gambaran dalam contoh sederhana di atas, fungsi \!f(y) dapat ditentukan jika \!u dispesifikasikan pada sebuah garis \!x=0.

## Keberadaan dan keunikan
Meskipun masalah keberadaan dan keunikan solusi pada persamaan diferensial biasa memiliki jawaban yang sangat memuaskan menggunakan Teorema Picard-Lindelöf, yaitu kasus untuk persamaan diferensial parsial. Teorema Cauchy-Kowalevski menyatakan bahwa Masalah Cauchy untuk persamaan diferensial parsial yang koefisien adalah Fungsi analitik dalam fungsi yang tidak diketahui. Meskipun hasil ini mungkin menyelesaikan keberadaan dan keunikan solusi, contoh persamaan diferensial parsial linier koefisiennya memiliki turunan dari semua pesanan tetapi tidak memiliki solusi sama sekali: lihat Lewy (1957).

Contoh perilaku patologis adalah urutan (tergantung pada ) Masalah Cauchy untuk Persamaan Laplace

: \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2}=0,

dengan syarat batas

: \begin{align} u(x,0) &= 0, \\ \frac{\partial u}{\partial y}(x,0) &= \frac{\sin nx}{n}, \end{align}

darimana  adalah bilangan bulat.

Turunan dari  adalah hubungan dengan  yang mendekati nol dalam , tetapi solusinya adalah

: u(x,y) = \frac{\sinh ny \sin nx}{n^2}.

## Klasifikasi

- Dalam pengembangan -

### Notasi
Penulisan PDP umumnya ditulis dengan menggunakan tika bawah. Misalnya:

u_x = \frac{\partial u}{\partial x},\quad u_{xx} = \frac{\partial^2 u}{\partial x^2},\quad u_{xy} = \frac{\partial^2 u}{\partial y\, \partial x} = \frac{\partial}{\partial y } \left(\frac{\partial u}{\partial x}\right). 

Pada situasi umum dengan u adalah fungsi dengan n variabel, maka u_i menunjukkan turunan parsial pertama terhadap input ke-i, u_{ij} menunjukkan turunan parsial kedua relatif terhadap input ke-i dan ke-j, dan seterusnya.

Huruf yunani \Delta menunjukkan Operator Laplace; jika u adalah funsi dengan jumlah n variabel, maka
\Delta u = u_{11} + u_{22} + \cdots + u_{nn}.

Pada bacaan fisika, operator Laplace sering dituliskan sebagai \nabla^2. Pada bacaan matematika, \nabla^2 u dapat juga mempresentasikan matriks Hesse dari fungsi u.

### Jenis umum PDP

Persamaan diferensial parsial eliptik, parabola, dan hiperbolik orde dua telah mempelajari secara luas sejak awal abad ke-20. Namun, masih banyak jenis PDP yang sangat penting lainnya, termasuk persamaan Korteweg-de Vries. Hibrida Persamaan Euler-Tricomi, yang bervariasi dari eliptik ke hiperbolik untuk berbagai wilayah domain. Ada pula perluasan penting dari tipe dasar ini ke PDP tingkat tinggi, tetapi pengetahuan semacam itu lebih terspesialisasikan.

Klasifikasi tersebut memberikan panduan untuk kondisi awal dan batas yang sesuai dan untuk kelancaran solusi.

### Persamaan linear dan nonlinear

#### Persamaan linear
Sebuah PDP dikatakan sebagai persamaan **linear** jika variabel yang tidak diketahui dan turunannya adalah linear. Misalnya, untuk fungsi u dengan variabel x dan y, sebuah PDP linear orde kedua dengan bentuk
 a_1(x,y)u_{xx} + a_2(x,y)u_{xy} + a_3(x,y)u_{yx} + a_4(x,y)u_{yy} + a_5(x,y)u_x + a_6(x,y)u_y + a_7(x,y)u = f(x,y)


dengan a_i dan f adalah fungsi dengan variabel independen x dan y saja. Sering kali turunan parsial campuran u_xy dan u_yx akan disamakan, tapi ini tidak diperlukan untuk diskusi tentang linearitas persamaan.

Jika a_i adalah konstan (independen terhadap x dan y), maka PDP tersebut dikatakan disebut sebagai **linear dengan koefisien konstan**. Jika f bernilai 0 di mana pun, maka PDP linear disebut **homogenous**, jika tidak maka disebut **inhomogenous**. Ini berbeda dengan homogenisasi asimpotik yang mempelajari tentang efek dari osilasi frekuensi tinggi pada koefisien pada solusi PDP.

#### Nonlinear equations

Tiga jenis PDP nonlinear adalah semi-linear, quasilinear, dan nonlinear penuh.

Jenis terdekat dengan PDP linear adalah PDP **semi-linear**, di mana hanya turunan orde tertinggi muncul seperti bagian linear, dengan koefisien adalah fungsi dari variabel independen. Turunan orde lebih rendah dan fungsi yang tidak diketahui mungkin terlihat acak. Misalnya, sebuah persamaan PDP semi-linear orde kedua yang umum dengan dua variabel adalah
 a_1(x,y)u_{xx} + a_2(x,y)u_{xy} + a_3(x,y)u_{yx} + a_4(x,y)u_{yy} + f(u_x, u_y, u, x, y) = 0 

Pada PDP **quasilinear'', turunan tertinggi juga muncul seperti bagian linear, tapi dengan koefisien yang kemungkinan fungsi terhadap variabel yang tidak diketahui atau turunan dengan orde yang lebih rendah:

<math display="block"> a_1(u_x, u_y, u, x, y)u_{xx} + a_2(u_x, u_y, u, x, y)u_{xy} + a_3(u_x, u_y, u, x, y)u_{yx} + a_4(u_x, u_y, u, x, y)u_{yy} + f(u_x, u_y, u, x, y) = 0 </math>

Banyak PDP fundamental pada fisika berjenis quasilinear, seperti persamaan [[relativitas umum]] dan [[Persamaan Navier-Stokes]] yang mendeskripsikan pergerakan [[fluida]].

Sebuah PDP tanpa properti linear apa pun dikenal sebagai **nonlinear penuh''', dan memiliki nonlinearitas pada satu atau lebih turunan dengan orde tertinggi. Contohnya adalah Persamaan Monge–Ampère yang muncul dari geometri diferensial.

## Solusi analitis
### Pemisahan variabel
PDP linier dapat mengindetifikasi menjadi sistem persamaan diferensial biasa dengan teknik penting dengan pemisahan variabel. Teknik tersebut berpijak pada karakteristik dari solusi untuk persamaan diferensial. Kami berasumsi sebagai ansatz bahwa ketergantungan solusi pada keliling ruang dan waktu dapat dituliskan sebagai hasil kelompok masing tergantung pada satu keliling, kemudian dapat melihat apakah ini dapat dilakukan untuk menyelesaikan masalah.

Dalam metode pemisahan variabel, seseorang mengindetifikasi PDP menjadi PDP dalam variabel yang lebih sedikit, salah satu persamaan diferensial biasa ketika variabel tersebut gilirannya lebih mudah untuk dipecahkan.

Hal tersebut kemungkinan untuk PDP yanh sederhana, disebut pula persamaan diferensial parsial yang terpisahkan dan domain umum persegi panjang (hasil kali interval). PDP yang dapat memisahkan sesuai dengan hasil matriks diagonal dengan memikirkan "menetapkan nilai x" sebagai koordinat, setiap koordinat dapat dipahami secara terpisah.

Pada saat menggeneralisasi metode karakteristik dan juga digunakan dalam transformasi integral.

## Solusi numerik

## Referensi

## Pranala luar