Metode Galerkin

Dalam matematika, khususnya bidang analisis numerik, metode galerkin merupakan metode yang digunakan untuk mengubah masalah operator kontinu (seperti persamaan differensial) ke masalah diskret. Dalam prinsipnya, metode ini mirip penerapannya dengan metode variasi ke ruang fungsi dengan mengubah parsamaannya ke formulasi lemah. Yang secara khusus menerapkan beberapa batasan pada ruang fungsi untuk menggolongkan ruang pada suatu himpunan terbatas dari basis fungsi. Sering kali pada penggunaannya, metode Galerkin menyajikan juga metode approksimasi yang biasa digunakan pada umumnya, seperti metode Petrov-Galerkin atau metode Ritz-Galerkin.

Pendekatan berharga oleh matematikawan Rusia Boris Galerkin.

Sejak keindahan metode Galerikin terungkap dalam cara yang sangat abstrak dari studi mereka, maka pertama kali kita akan memberikan abstrak turunannya. Pada akhirnya, kita akan memberikan contoh untuk penggunaannya.

Contoh-contoh metode Galerkin adalah:
# Metode elemen berhingga
# Metode elemen pembatas untuk menyelesaikan persamaan integral
# Metode subruang Kyrlov

## Pengenalan masalah abstrak

### Masalah dalam formulasi lemah

Misalkan kita memasukkan metode Galerkin pada sebuah masalah abstrak yang merupakan suatu formulasi lemah pada ruang Hilbert yaitu *V*, jika diketahui  u\in V  sehingga untuk setiap  v\in V  maka
			 a(u,v) = f(v)  .
adalah benar. Sekarang a( \cdots, \cdots ) adalah bentuk bilinear (penjelasan yang eksak atas a( \cdots, \cdots ) akan ditentukan selanjutnya) dan *f* adalah operator linear pembatas pada *V*.

### Diskretisasi Galerkin

Pilih subruang  v_n \subset V dengan dimensi yang lebih kecil (sebenarnya, kita akan mengasumsikan bahwa indeks *n* menujukkan dimensinya) dan memecahkan masalah yang perhitungkan.
Jika diketahui  u_n \in V_n  dan untuk setiap  v_n \in V_n  maka
		 a(u_n,v_n) = f(v_n)  .
Kita akan menyebut persamaan ini sebagai persamaan Galerkin. Dengan catatan bahwa persamaan ini tidak dapat diubah dan hanya ruangnya yang dapat diubah.

### Ortogonalitas Galerkin

Hal ini merupakan sifat mendasar yang membuat analisis matematika dari metode Galerkin sangat jelas. Karena v_n \subset V, kita dapat menggunakan  v_n  sebagai vector dalam persamaan awal. Substitusi persamaan yang kedua, kita dapati ortogonalitas Galerkin untuk galat
	 a(e_n, v_n) = a(u,v_n) - a(u_n, v_n) =  f(v_n) - f(v_n) = 0 .
Sekarang, e_n = *u* – u_n adalah galat antara solusi masalah awal *u* dan persamaan Galerkin u_n secara berturut-turut.

### Bentuk Matriks

Karena tujuan dari metode Galerkin adalah membentuk sistem persamaan linear, maka kita membangun bentuk matriksnya, sehingga dapat digunakan untuk menghitung solusi dengan program computer.
Misal e_1, e_2, \cdots,e_n  basis untuk  v_n . Maka hal ini cukup untuk menguji coba persamaan Galerkin, sebagai contoh:
Diketahui  u_n \in V_n  sehingga
		 a(u_n, e_i) = f(e_i)  .
Kita akan mengembangkan  u_n  menjadi basis seperti ini,  u_n = \sum_{j=1}^n u_j e_j dan memasukkannya kedalam persamaan di atas, sehingga diperoleh
 a(\sum_{j=1}^n u_j e_j, e_i) = \sum_{j=1}^n u_j a(e_j,e_i) = f(e_i)  untuk i = 1, \cdots, n.
Dalam persamaan sebelumnya, sebenarnya merupakan sistem persamaan linear  A_u = f  , dimana
  a_ij = a(e_j, e_i)   dengan  f_i = f(e_i)  

### Matriks Simetris

Dalam kaitannya dengan definisi dari matriks entry, matriks dari persamaan Galerkin adalah simetris jika dan hanya jika bentuk bilinear a( \cdots, \cdots ) adalah simetris.

## Analisis dari Metode Galerkin

Sekarang, kita akan membatasi diri kita pada bentuk bilinear simetris, yaitu:
			 a(u,v) = a(u,v)  .
Karena ini bukan benar-benar sebuah batas dari metode Galerkin, aplikasi dari teori standar ini menjadi sangat mudah. Selanjutnya, metode Petrov-Galerkin dibutuhkan dalam kasus non-simetris.
Analisis dari metode ini dihasilkan dalam dua langkah. Yang pertama, kita akan menunjukkan bahwa persamaan Galerkin adalah well-posed problem menurut Hadamard dan oleh karena itu kita mengakui persamaan ini sebagai solusi yang tunggal. Pada langkah kedua, kita mempelajari pendekatan sifat dari solusi Galerkin u_n .

Analisi ini kebanyakan akan mengacu pada dua sifat dari bentuk bilinear, yakni:
* Pembatasan: untuk setiap  u, v \in V adalah benar bahwa
 a(u,v) \le C \lVert u \rVert \lVert v \rVert   untuk konstanta C > 0.
* Eliptisitas: untuk setiap setiap  u \in V adalah benar bahwa
 a(u,v) \ge  c\lVert u\rVert ^2  untuk konstanta c > 0 .

Menurut teorema Lax-Milgram, ada dua kondisi implikatif well-posedness dari masalah awal dalam formulasi lemah. Semua kaidah dalam bagian berikut ini akan dinormalisasikan untuk pertidaksamaan benar di atas (kaidah ini sering disebut juga kaidah energy).

### Well-posedness dari metode Galerkin

Karena  V_n \subset V  pembatasan dan eliptisitas dari bentuk bilinear berlaku bagi  V_n . Oleh karena itu, Well-posedness dari metode Galerkin sebenarnya diturunkan dari Well-posedness dari masalah awal.

### Pendekatan Quasi-Best (Lemma Cèa)

Galat e_n = *u* – u_n antara solusi awal dan solusi Galerkin mengenal estimasi sbb:

\lVert e_n \rVert \le \frac{C}{c} \overset {inf} {v_n \in V_n} \lVert u - v_n \rVert .

Ini artinya, bahwa sesuai dengan konstanta \frac{C}{c}, solusi Galerkin  u_n  adalah mendekati solusi awal *u* sebagai vector lainnya dalam  V_n  . Faktanya, hal ini cukup untuk mempelajari pendekatan dengan ruang  V_n , dengan sepenuhnya melupakan tentang persamaan yang ssedang diselesaikan.

### Bukti

Karena buktinya sangat sederhana dan prinsip dasar dibalik semua metode Galerkin yaitu eliptisitas dan pembatasan pada bentuk bilinear(pertidaksamaan) dan ortogonalitas Galerkin, kita punya  v_n \in V_n sehingga:

  c\lVert u\rVert ^2 \le a(e_n, e_n) = a(e_n, u-v_n) \le  C\lVert e_n \rVert \lVert u-v_n \rVert .

Bagi dengan  c\lVert e_n \rVert dan ambil semua kemungkinan hasil akhir infimum lemma v_h.