Dengan sistem mana A ∈ R n × n , saya membaca bahwa, dalam kasus iterasi Jacobi digunakan sebagai pemecah, metode ini tidak akan konvergen jika b memiliki komponen bukan nol dalam ruang nol A . Jadi, bagaimana seseorang dapat secara resmi menyatakan bahwa, asalkan b memiliki komponen non-nol yang mencakup ruang nol A , metode Jacobi adalah non-konvergen? Saya bertanya-tanya bagaimana itu bisa diformalkan secara matematis, karena bagian dari solusi ortogonal ke ruang nol memang menyatu.
Oleh karena itu, dengan memproyeksikan ruang nol dari setiap iterate, ia menyatu (atau?).
.........
Saya sangat tertarik pada kasus mana L adalah matriks Laplacian simetris dengan ruang-nol yang direntang oleh vektor 1 n = [ 1 ... 1 ] T ∈ R n , dan b memiliki komponen nol dalam null-ruang L , J b = b , di mana J = I - 1
Jawaban:
Kondisi yang benar untuk solvabilitas tidak ada hubungannya dengan ruang nol dari (kecuali A simetris) tetapi dengan ruang nol dari A T . Jika A T u = 0 maka A x = b menyiratkan bahwa u T b = u T A x = 0 , maka b harus ortogonal ke vektor nol A T (jika tidak ada solusi, dan iterasi Jacobi tidak memiliki alasan untuk menyatu).A A AT ATu=0 Ax=b uTb=uTAx=0 b AT
Tetapi jika ini masalahnya, solusinya ada, dan dalam kasus kuadrat ada banyak sekali.
Dalam kasus tunggal, karena orang tidak pernah tahu apakah kondisi ini terpenuhi (dan itu akan dimanjakan oleh pembulatan), orang biasanya akan memecahkan masalah sebagai masalah kuadrat terkecil. Untuk menemukan solusi norma minimum, gunakan gradien konjugasi pada persamaan normal; ini mengharuskan Anda kode perkalian dengan dan oleh A T . (Hanya diberikan rutin untuk mengalikan dengan A , seseorang dapat menggunakan GMRES sebagai gantinya, dengan sifat konvergensi yang kurang dapat diprediksi.)A AT A
sumber