<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Aug 23, 2017 at 2:30 AM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
   Some argue that the preconditioned residual is "closer to" the norm of the error than the unpreconditioned norm. I don't have a solid mathematical reason to prefer left preconditioning with the preconditioned norm.</blockquote><div><br></div><div>Because you have || x - x_exact || < k(A) || r ||</div><div><br></div><div>where r is the residual and k is the condition number of A. If instead of A you use P A, which we assume has a lower condition number, then</div><div>this bound is improved.</div><div><br></div><div>  Thanks,</div><div><br></div><div>     Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888"><br>
   Barry<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
<br>
> On Aug 22, 2017, at 11:27 PM, Klaij, Christiaan <<a href="mailto:C.Klaij@marin.nl">C.Klaij@marin.nl</a>> wrote:<br>
><br>
> Barry,<br>
><br>
> Thanks for the explanation.<br>
><br>
> We do have some rare cases that give false convergence, but<br>
> decided to use<br>
><br>
> CALL KSPSetNormType(ksp,KSP_NORM_<wbr>UNPRECONDITIONED,ierr)<br>
><br>
> so that convergence is always based on the true residual. Our<br>
> results are much more consistent now. So that could have been<br>
> your protection against the rare case as well, right? Why do you<br>
> prefer left preconditioning?<br>
><br>
> Chris<br>
><br>
><br>
><br>
> dr. ir. Christiaan Klaij  | Senior Researcher | Research & Development<br>
> MARIN | T <a href="tel:%2B31%20317%2049%2033%2044" value="+31317493344">+31 317 49 33 44</a> | mailto:<a href="mailto:C.Klaij@marin.nl">C.Klaij@marin.nl</a> | <a href="http://www.marin.nl" rel="noreferrer" target="_blank">http://www.marin.nl</a><br>
><br>
> MARIN news: <a href="http://www.marin.nl/web/News/News-items/BlueWeek-October-911-Rostock.htm" rel="noreferrer" target="_blank">http://www.marin.nl/web/News/<wbr>News-items/BlueWeek-October-<wbr>911-Rostock.htm</a><br>
><br>
> ______________________________<wbr>__________<br>
> From: Barry Smith <<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>><br>
> Sent: Tuesday, August 22, 2017 6:25 PM<br>
> To: Klaij, Christiaan<br>
> Cc: <a href="mailto:petsc-users@mcs.anl.gov">petsc-users@mcs.anl.gov</a><br>
> Subject: Re: [petsc-users] Petsc ILU PC Change between 3.6.4 and 3.7.x?<br>
><br>
>> On Aug 22, 2017, at 6:49 AM, Klaij, Christiaan <<a href="mailto:C.Klaij@marin.nl">C.Klaij@marin.nl</a>> wrote:<br>
>><br>
>> We also faced this problem in our code. So I've added:<br>
>><br>
>> CALL PetscOptionsSetValue(PETSC_<wbr>NULL_OBJECT,"-sub_pc_factor_<wbr>shift_type","nonzero",ierr)<br>
>><br>
>> since there seems to be no setter function for this (correct me<br>
>> if I'm wrong). Then everythings fine again.<br>
>><br>
>> Out of curiosity, what was the reason to change the default<br>
>> behaviour?<br>
><br>
>   The reason we changed this is that we would rather have a failure that makes the user aware of a serious problem then to produce "garbage" results. In some rare cases the shift can cause a huge jump in the preconditioned residual which then decreases rapidly while the true residual does not improve. This results in the KSP thinking it has converged while in fact it has essentially garbage for an answer. Under the previous model, where we shifted by default, users would in this rare case think they had reasonable solutions when they did not.<br>
><br>
>   For many users, such as yourself, the previous default behavior was fine because you didn't have the "rare case" but we decided it was best to protect against the rare case even though it would require other users such as yourself to add the option.<br>
><br>
>   Barry<br>
<br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div><div><br></div><div><a href="http://www.caam.rice.edu/~mk51/" target="_blank">http://www.caam.rice.edu/~mk51/</a><br></div></div></div>
</div></div>