<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">On 12/5/12 4:37 AM, Jed Brown wrote:<br>
    </div>
    <blockquote
cite="mid:CAM9tzSn19G0MbjZD-W13jEB-OV0-Qbr_Cqh9-dGxW29zOY=AHw@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
      <div class="gmail_extra">
        <div class="gmail_quote"><br>
          <div>So you start with the quasi-linear form<br>
            <br>
            F(u) := A(u) u - b = 0</div>
          <div><br>
          </div>
          <div>then we can rewrite the iteration<br>
            <br>
            w = A(u)^{-1} b</div>
          <div><br>
          </div>
          <div>in defect-correction form<br>
            <br>
            w = u - A(u)^{-1} F(u)</div>
          <div><br>
          </div>
          <div>because<br>
            <br>
            A^{-1} F(u) = A^{-1} (A u - b) = u - A^{-1} b</div>
          <div><br>
          </div>
          <br>
        </div>
      </div>
    </blockquote>
    Jed,<br>
    <br>
    Of course that is correct. The only advantage of using non
    defect-correction form is straightforward implementation of non-zero
    Dirichlet boundary conditions. As usual, one would just remove (or
    zero out) corresponding rows, multiply column coefficients with
    defined values and subtract from RHS. In defect correction form one
    at least needs to distinguish first iteration. Skipping correction
    of RHS in this case most likely will cause convergence problems.<br>
    <br>
    Picard is equal to Newton only when following conditions hold:<br>
    <br>
    1) F(u)  = R(u) which is true residual.<br>
    2) A(u) =  J(u) which is true Jacobian (does not necessarily follow
    from the first condition).<br>
    <br>
    In more likely case Picard is equal to Newton with A(u) approximate
    Jacobian, or simply not applicable because residual cannot be
    expressed in a form of a linear operator (as was discussed before by
    you and Barry). <br>
    <br>
    For general problem with zero initial guess, and non-zero Dirichlet
    BC I would do exactly one iteration of Picard with corrected RHS (no
    difference between defect/non defect-correction forms, no matter
    whether A(u) or J(u), if available), and then switch to Newton. <br>
    <br>
    Anton<br>
    <br>
    <br>
  </body>
</html>