Dapatkah metode ruang bagian Krylov digunakan sebagai lebih lancar untuk multigrid?

15

Sejauh yang saya ketahui, pemecah multigrid menggunakan peranti iteratif seperti Jacobi, Gauss-Seidel, dan SOR untuk meredam kesalahan pada berbagai frekuensi. Bisakah metode ruang bagian Krylov (seperti gradien konjugat, GMRES, dll.) Digunakan sebagai gantinya? Saya tidak berpikir mereka digolongkan sebagai "smootheners", tetapi mereka dapat digunakan untuk mendekati solusi grid kasar. Bisakah kita berharap untuk melihat konvergensi analog dengan solusi seperti yang kita lakukan dalam metode multigrid standar? Atau tergantung masalah?

Paul
sumber

Jawaban:

18

Ya, Anda bisa, tetapi metode Krylov umumnya tidak memiliki sifat perataan yang bagus. Ini karena mereka menargetkan seluruh spektrum dengan cara adaptif yang meminimalkan sisa atau norma kesalahan yang sesuai. Ini biasanya akan mencakup beberapa mode frekuensi rendah (panjang gelombang panjang) yang akan ditangani oleh grid kasar dengan baik. Krylov smoothers juga membuat siklus multigrid nonlinier, jadi jika multigrid digunakan sebagai prekondisi untuk metode Krylov luar, metode luar harus "fleksibel" (misalnya GCR atau FGMRES).

Menggunakan Krylov smoothers juga sangat meningkatkan jumlah produk titik yang harus dihitung, yang menjadi hambatan signifikan secara paralel. Namun, bahkan dengan sifat-sifat yang tidak menarik ini, Krylov smoothers kadang-kadang berguna, terutama untuk masalah yang sulit di mana operator interpolasi yang baik tidak tersedia.

λmaxD1AD1A(0.1λmax,1.1λmax)15510λmaxλmax

Adams, Brezina, Hu, dan Tuminaro (2003) adalah makalah yang bagus tentang kinerja paralel dan algoritmik dari polinomial smoothers. Perhatikan bahwa polinomial smoothers cenderung kurang efektif (dan / atau sulit untuk dirumuskan) untuk masalah non-simetris, dalam hal ini Anda mungkin ingin menggunakan Gauss-Seidel atau skema relaksasi yang lebih canggih (blok / didistribusikan).

Jed Brown
sumber
Bisakah Anda menyarankan sumber yang bagus untuk polinomial dan / atau krylov smoothers? Sebenarnya saya belum pernah mendengar keduanya :)
Paul
@JedBrown: Apakah maksud Anda "elips" dalam arti bentuk PDE atau bilinear (yaitu, apakah maksud Anda bahwa semua nilai eigen operator atau simbol utama adalah positif?)? Saya mengasumsikan yang terakhir karena Anda berbicara tentang Jacobi titik-blok.
Jack Poulson
Paul I menambahkan referensi. @Jack Sebenarnya, operator diskrit harus SPD, tetapi dalam praktiknya, metode cenderung bekerja selama spektrum tidak terdistribusi dengan buruk.
Jed Brown