Biconjugate gradient stabilized method: Difference between revisions

Revision as of 03:32, 28 November 2022

Latest revision as of 17:57, 29 July 2025

(11 intermediate revisions by 8 users not shown)

Line 1:

{{Short description|Concept in mathematics}}

{{Technical|date=May 2015}}

Line 5 ⟶ 6:

==Algorithmic steps==

===Unpreconditioned BiCGSTAB===

In the following sections, {{math|1=('''<var>x</var>''','''<var>y</var>''') = '''<var>x</var>'''^T '''<var>y</var>'''}} denotes the [[dot product]] of vectors. To solve a linear system {{math|'''<var>Ax</var>''' {{=}} '''<var>b</var>'''}}, BiCGSTAB starts with an initial guess {{math|'''<var>x</var>'''₀}} and proceeds as follows:

# {{math|'''<var>r</var>'''₀ {{=}} '''<var>b</var>''' − '''<var>Ax</var>'''₀}}

# Choose an arbitrary vector {{math|'''<var>r̂</var>'''₀}} such that {{math|('''<var>r̂</var>'''₀, '''<var>r</var>'''₀) ≠ 0}}, e.g., {{math|'''<var>r̂</var>'''₀ {{=}} '''<var>r</var>'''₀}} .
# {{math|('''<var>xρ</var>''','''<varsub>y0</varsub>''') {{=}} denotes the dot product of vectors {{math|1=('''<var>xr̂</var>''','''<varsub>y0</varsub>''') =, '''<var>xr</var>'''<supsub>T0</supsub>) '''<var>y</var>'''}}

# {{math|'''<var>ρp</var>'''₀ {{=}} '''<var>α</var> {{=}} <var>ωr</var>'''₀ {{=}} 1}}

# {{math|'''<var>v</var>'''₀ {{=}} '''<var>p</var>'''₀ {{=}} '''0'''}}

# For {{math|<var>i</var> {{=}} 1, 2, 3, …}}

## {{math|'''<var>ρ_iv</var>''' {{=}} ('''<var>r̂</var>'''₀, '''<var>rAp</var>'''_{<var>i</var>−1})}}

## {{math|<var>βα</var> {{=}} (<var>ρ_i</var>/<var>ρ</var>_{<var>i</var>−1})/('''<var>αr̂</var>/'''<varsub>ω0</var>_{, <var>i'''v'''</var>−1})}}

## {{math|<var>'''ph'''_i</var> {{=}} '''<var>rx</var>'''_{<var>i</var>−1} + <var>β</var>(α'''<var>p</var>'''_{<var>i</var>−1} − <var>ω</var>_{<var>i</var>−1}'''<var>v</var>'''_{<var>i</var>−1}) }}

## {{math|<var>'''vs'''_i</var> {{=}} <var>'''r'''<var>Ap</var>'''_{<var>i</var>−1} − <var>α'''v'''</var>}}

## If {{math|<var>α'''h'''</var> {{=}} <var>ρ_{is accurate enough, i.e., if}</var>/('''s'''</var>r̂ is small enough, then set {{math|</var>'''x'''_0i,</var> {{=}} <var>'''vh'''_i</var>)}} and quit

## {{math|<var>'''h'''</var> {{=}} '''<var>x</var>'''_{<var>i</var>−1} + <var>α'''p'''_i</var> }}

## If {{math|<var>'''h'''</var>}} is accurate enough, then set {{math|<var>'''x'''_i</var> {{=}} <var>'''h'''</var>}} and quit

## {{math|<var>'''s'''</var> {{=}} <var>'''r'''</var>_{<var>i</var>−1} − <var>α'''v'''_i</var>}}

## {{math|'''<var>t</var>''' {{=}} '''<var>As</var>'''}}

## {{math|<var>ω_i</var> {{=}} (<var>'''t'''</var>, <var>'''s'''</var>)/(<var>'''t'''</var>, <var>'''t'''</var>)}}

## {{math|<var>'''x'''_i</var> {{=}} <var>'''h'''</var> + <var>ω_i'''s'''</var>}}

## If {{math|<var>'''xr'''_i</var> {{=}} is<var>'''s'''</var> accurate− enough, then quit<var>ω'''t'''</var>}}

## If {{math|<var>'''rx'''_i</var>}} is accurate enough, i.e., if {{=}} math|<var>'''sr'''</var> − <var>ω_i'''t'''</var>}} is small enough, then quit

## {{math|<var>'''h'''ρ_i</var> {{=}} ('''<var>xr̂</var>'''_{0<var/sub>i, '''</var>−1r} + <var>α'''p'''<sub><var>i</subvar></varsub> )}}

## {{math|<var>'''s'''β</var> {{=}} (<var>'''r'''ρ_i</var>/<var>ρ</var>_{<var>i</var>−1} − )(<var>α'''v'''<sub/var>i/</subvar>ω</var>)}}

## {{math|<var>'''p'''<varsub>i</sub>s</var>''' {{=}} '''<var>r</var>'''_{<var>i</var>−1} −+ <var>αβ</var>('''v<var>p</var>'''_{<var>i</var>−1} − <var>ω</var>'''<var>v</var>''')}}

In some cases, choosing the vector {{math|'''<var>r̂</var>'''₀}} randomly improves numerical stability.<ref>{{Cite journal |last=Schoutrop |first=Chris |last2=Boonkkamp |first2=Jan ten Thije |last3=Dijk |first3=Jan van |date=July 2022 |title=Reliability Investigation of BiCGStab and IDR Solvers for the Advection-Diffusion-Reaction Equation |url=https://doi.org/10.4208/cicp.OA-2021-0182 |journal=Communications in Computational Physics |language=en |volume=32 |issue=1 |pages=156–188 |doi=10.4208/cicp.oa-2021-0182 |issn=1815-2406}}</ref>

===Preconditioned BiCGSTAB===

Line 31 ⟶ 33:

# {{math|'''<var>r</var>'''₀ {{=}} '''<var>b</var>''' − '''<var>Ax</var>'''₀}}

# Choose an arbitrary vector {{math|'''<var>r̂</var>'''₀}} such that {{math|('''<var>r̂</var>'''₀, '''<var>r</var>'''₀) ≠ 0}}, e.g., {{math|'''<var>r̂</var>'''₀ {{=}} '''<var>r</var>'''₀}}

# {{math|<var>ρ</var>₀ {{=}} ('''<var>αr̂</var>'''₀, {{=}} '''<var>ωr</var>'''₀) {{=}} 1}}

# {{math|'''<var>vp</var>'''₀ {{=}} '''<var>pr</var>'''₀ {{=}} '''0'''}}

# For {{math|<var>i</var> {{=}} 1, 2, 3, …}}

## {{math|'''<var>ρ_iy</var>''' {{=}} ({{SubSup|'''<var>r̂K</var>'''|2|−1}}{{SubSup|'''<subvar>0K</subvar>, '''|1|−1}}'''<var>rp</var>'''_{<var>i</var>−1})}}

## {{math|<var>β'''v'''</var> {{=}} ('''<var>ρ_iAy</var>/<var>ρ</var>_{<var>i</var>−1})(<var>α</var>/<var>ω</var>_{<var>i</var>−1})'''}}

## {{math|<var>'''p'''_iα</var> {{=}} '''<var>rρ</var>'''_{<var>i</var>−1} + <var>β</var>('''<var>pr̂</var>'''_{<var>i</var>−10} −, <var>ω</var>_{<var>i</var>−1}'''<var>v</var>'''_{<var>i</var>−1})}}

## {{math|'''<var>y</var>''' {{=}} {{SubSup|'''<var>K</var>'''|2|−1}}{{SubSup|'''<var>K</var>'''|1|−1}}'''<var>p</var>'''_<var>i</var>}}

## {{math|<var>'''v'''_i</var> {{=}} '''<var>Ay</var>'''}}

## {{math|<var>α</var> {{=}} <var>ρ_i</var>/('''<var>r̂</var>'''₀, <var>'''v'''_i</var>)}}

## {{math|<var>'''h'''</var> {{=}} '''<var>x</var>'''_{<var>i</var>−1} + <var>α'''y'''</var> }}

## {{math|'''<var>vs</var>'''₀ {{=}} '''<var>pr</var>'''_{0<var>i</var>−1} {{=}}− <var>α'''0v'''</var>}}

## If {{math|<var>'''h'''</var>}} is accurate enough then {{math|<var>'''x'''_i</var> {{=}} <var>'''h'''</var>}} and quit

## {{math|'''<var>s</var>''' {{=}} '''<var>r</var>'''_{<var>i</var>−1} − <var>α'''v'''_i</var>}}

## {{math|'''<var>z</var>''' {{=}} {{SubSup|'''<var>K</var>'''|2|−1}}{{SubSup|'''<var>K</var>'''|1|−1}}'''<var>s</var>'''}}

## {{math|'''<var>t</var>''' {{=}} '''<var>Az</var>'''}}

## {{math|<var>ω_i</var> {{=}} ({{SubSup|'''<var>K</var>'''|1|−1}}'''<var>t</var>''', {{SubSup|'''<var>K</var>'''|1|−1}}'''<var>s</var>''')/({{SubSup|'''<var>K</var>'''|1|−1}}'''<var>t</var>''', {{SubSup|'''<var>K</var>'''|1|−1}}'''<var>t</var>''')}}

## {{math|<var>'''x'''_i</var> {{=}} <var>'''h'''</var> + <var>ω_i'''z'''</var>}}

## If {{math|<var>'''h'''</var>}} is accurate enough, then set {{math|<var>'''xr'''_i</var> {{=}} '''<var>s</var>'''h − <var>ω'''t'''</var>}} and quit

## If {{math|<var>'''x'''_i</var>}} is accurate enough then quit

## {{math|<var>'''r'''ρ_i</var> {{=}} ('''<var>sr̂</var>''' − <var>ω_i0, '''t<var>r</var>'''_<var>i</var>)}}

## {{math|'''<var>yβ</var>''' {{=}} {{SubSup|'''(<var>Kρ_i</var>'''|2|−1}}{{SubSup|'''/<var>Kρ</var>'''|1|−1}}'''_{<var>pi</var>'''−1})(<var>iα</var>/<var>ω</subvar>)}}

## {{math|<var>α'''p'''_i</var> {{=}} '''<var>ρr</var>'''_{<var>i</subvar>} + <var>β</var>('''<var>r̂p</var>'''_{0<var>i</var>−1}, − <var>'''vω</var>'''<sub>i</subvar>v</var>''')}}

This formulation is equivalent to applying unpreconditioned BiCGSTAB to the explicitly preconditioned system

Line 90 ⟶ 92:

:{{math|'''<var>r̃</var>'''_<var>i</var> {{=}} <var>Q_i</var>('''<var>A</var>''')<var>P_i</var>('''<var>A</var>''')'''<var>r</var>'''₀}}

where {{math|<var>Q_i</var>('''<var>A</var>''') {{=}} ('''<var>I</var>''' − <var>ω</var>₁'''<var>A</var>''')('''<var>I</var>''' − <var>ω</var>₂'''<var>A</var>''')⋯('''<var>I</var>''' − <var>ω_i'''A'''</var>)}} with suitable constants {{math|<var>ω_j</var>}} instead of {{math|<var>'''r'''_i</var> {{=}} <var>P_i</var>('''<var>A</var>''')<var>'''r'''₀</var>}} in the hope that {{math|<var>Q_i</var>('''<var>A</var>''')}} will enable faster and smoother convergence in {{math|<var>'''r̃'''_i</var>}} than {{math|<var>'''r'''_i</var>}}.

It follows from the recurrence relations for {{math|<var>P_i</var>('''<var>A</var>''')}} and {{math|<var>T_i</var>('''<var>A</var>''')}} and the definition of {{math|<var>Q_i</var>('''<var>A</var>''')}} that

Line 98 ⟶ 100:

which entails the necessity of a recurrence relation for {{math|<var>Q_i</var>('''<var>A</var>''')<var>T_i</var>('''<var>A</var>''')'''<var>r</var>'''₀}}. This can also be derived from the BiCG relations:

:{{math|<var>Q_i</var>('''<var>A</var>''')<var>T_i</var>('''<var>A</var>''')'''<var>r</var>'''₀ {{=}} <var>Q_i</var>('''<var>A</var>''')<var>P_i</var>('''<var>A</var>''')'''<var>r</var>'''₀ + <var>β</var>_{<var>i</var>+1}('''<var>I</var>''' − <var>ω_i'''A'''</var>)<var>Q</var>_{<var>i</var>−1}('''<var>A</var>''')<var>PT</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀}}.

Similarly to defining {{math|<var>'''r̃'''_i</var>}}, BiCGSTAB defines

Line 132 ⟶ 134:

:{{math|<var>ρ̃</var>_<var>i</var> {{=}} (<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀) {{=}} ('''<var>r̂</var>'''₀, <var>Q</var>_{<var>i</var>−1}('''<var>A</var>''')<var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀) {{=}} ('''<var>r̂</var>'''₀, '''<var>r</var>'''_{<var>i</var>−1})}}.

Due to biorthogonality, {{math|'''<var>r</var>'''_{<var>i</var>−1} {{=}} <var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀}} is orthogonal to {{math|<var>U</var>_{<var>i</var>−2}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀}} where {{math|<var>U</var>_{<var>i</var>−2}('''<var>A</var>'''^T)}} is any polynomial of degree {{math|<var>i</var> − 2}} in {{math|'''<var>A</var>'''^T}}. Hence, only the highest-order terms of {{math|<var>P</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} and {{math|<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} matter in the [[dot productsproduct]]s {{math|(<var>P</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀)}} and {{math| (<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀)}}. The leading coefficients of {{math|<var>P</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} and {{math|<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} are {{math|(−1)^{<var>i</var>−1}<var>α</var>₁<var>α</var>₂⋯<var>α</var>_{<var>i</var>−1}}} and {{math|(−1)^{<var>i</var>−1}<var>ω</var>₁<var>ω</var>₂⋯<var>ω</var>_{<var>i</var>−1}}}, respectively. It follows that

:{{math|<var>ρ_i</var> {{=}} (<var>α</var>₁/<var>ω</var>₁)(<var>α</var>₂/<var>ω</var>₂)⋯(<var>α</var>_{<var>i</var>−1}/<var>ω</var>_{<var>i</var>−1})<var>ρ̃</var>_<var>i</var>}},

Line 144 ⟶ 146:

:{{math|<var>α_i</var> {{=}} <var>ρ_i</var>/('''<var>p̂</var>'''_<var>i</var>, <var>'''Ap'''_i</var>) {{=}} (<var>P</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀)/(<var>T</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>'''A'''T</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀)}}.

Similarly to the case above, only the highest-order terms of {{math|<var>P</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} and {{math|<var>T</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} matter in the [[dot productsproduct]]s thanks to biorthogonality and biconjugacy. It happens that {{math|<var>P</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} and {{math|<var>T</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} have the same leading coefficient. Thus, they can be replaced simultaneously with {{math|<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)}} in the formula, which leads to

:{{math|<var>α_i</var> {{=}} (<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>P</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀)/(<var>Q</var>_{<var>i</var>−1}('''<var>A</var>'''^T)'''<var>r̂</var>'''₀, <var>'''A'''T</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀) {{=}} <var>ρ̃</var>_<var>i</var>/('''<var>r̂</var>'''₀, '''<var>A</var>'''<var>Q</var>_{<var>i</var>−1}('''<var>A</var>''')<var>T</var>_{<var>i</var>−1}('''<var>A</var>''')'''<var>r</var>'''₀) {{=}} <var>ρ̃</var>_<var>i</var>/('''<var>r̂</var>'''₀, '''<var>Ap̃</var>'''_<var>i</var>)}}.

Line 167 ⟶ 169:

==References==

{{reflist}}

* {{Cite journal | doi = 10.1137/0913035 | title = Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems | year = 1992 | last1 = Van der Vorst | first1 = H. A. | journal = [[SIAM Journal on Scientific Computing|SIAM J. Sci. Stat. Comput.]] | volume = 13 | issue = 2 | pages = 631–644 | hdl = 10338.dmlcz/104566 | hdl-access = free }}

* {{cite book