Memproyeksikan ruang nol dari

11

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.

Ax=b,
ARn×nbAbA

Oleh karena itu, dengan memproyeksikan ruang nol dari setiap iterate, ia menyatu (atau?).A

.........

Saya sangat tertarik pada kasus mana L adalah matriks Laplacian simetris dengan ruang-nol yang direntang oleh vektor 1 n = [ 1 ... 1 ] TR n , dan b memiliki komponen nol dalam null-ruang L , J b = b , di mana J = I - 1

Lx=b,
L1n=[11]TRnbL
Jb=b,
adalah matriks pemusatan. Apakah itu menyiratkan bahwa setiap iterasi Jacobi akan memiliki ruang kosongL yangdiproyeksikan, yaitu., Setiap iterate akandipusatkan? Saya menanyakan hal ini sejak saat itu sehingga tidak perlu memproyeksikan ruang nolLdari Jacobi iterates (atau, dengan kata lain, untukmemusatkaniterates).J=I1n1n1nTLL
usero
sumber
Pertanyaan ini mungkin relevan untuk Anda juga: scicomp.stackexchange.com/questions/1505/…
shuhalo
Terima kasih. Saya benar-benar membuat kutipan dari komentar saya di sana, karena pertanyaan itu layak mendapat perhatian dengan sendirinya. Namun, hal di atas tidak dialamatkan (tidak diformalkan, setidaknya).
usero
Oh, malu pada saya, saya tidak memeriksa itu pertanyaan Anda sendiri.
shuhalo
@JedBrown Jawaban Anda di scicomp.stackexchange.com/questions/1505/… menginspirasi pertanyaan ini. Saya pikir itu layak mendapat pertimbangan independen. Saya kira Anda akan dapat mempertimbangkan pertanyaan di atas.
usero

Jawaban:

7

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).AAATATu=0Ax=buTb=uTAx=0bAT

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.)AATA

Arnold Neumaier
sumber
bAAAA
AATA
Ab
1
AA=IBx0=bxn+1=b+BxnAu=0uTb=0uTB=uTuTxnkonstan dengan induksi, maka nol. - Tapi mengapa Anda peduli dengan metode Jacobi? Hal ini sangat lambat!
Arnold Neumaier
BAdiag(A)cIcR