next up previous contents index
Next: Solving Linear Systems. Up: Equation Solution Previous: Continuation and the Parameter

Solving Nonlinear Systems.

 

The systems of nonlinear equations  are solved by a combination of a damped Newton iteration [16, 15] and the hierarchical basis multigrid iteration [12, 11, 20, 5, 6, 38, 39]. When the problem has tex2html_wrap_inline3688 dependence, the bordered system of equations is solved by block Gaussian elimination; this requires the solution of two sets of equations using the multigrid iteration. Suppose the system to be solved has the form :

  eqnarray2025

Here the operator G represents the finite element equations of order NVF, and N the normalizing equation used in the continuation process; tex2html_wrap_inline5194 is the steplength. At any given step of the Newton process, the system to be solved has the form

  equation2032

where tex2html_wrap_inline7380 is a vector of length NVF and tex2html_wrap_inline7384 is a scalar.  The solution is constructed by solving

eqnarray2056

The coefficient tex2html_wrap_inline7388 , provided tex2html_wrap_inline7390 ; tex2html_wrap_inline7392 otherwise.   Thus the right hand side tex2html_wrap_inline7396 has the appearance of a residual, and w may be viewed as an incremental update. In particular, the vector tex2html_wrap_inline7400 is proportional to the next tangent vector at convergence. The tentative tangent tex2html_wrap_inline4886 is thus easily updated at every Newton step, along with u, tex2html_wrap_inline3688 , tex2html_wrap_inline3726 , tex2html_wrap_inline4898 and tex2html_wrap_inline4902 , and is available for regularizing the right hand side for w on the next Newton step. Since all linear systems involving tex2html_wrap_inline7416 and tex2html_wrap_inline7418 are solved iteratively, solving for corrections using a zero initial guess is a good strategy for minimizing the number of iterations.

The block elimination process is embedded in an overall damped Newton process [14, 15]  given in Figure gif.

   figure2080
Figure:

Here tex2html_wrap_inline7450 is the k-th Newton iterate, tex2html_wrap_inline7454 , and tex2html_wrap_inline7456 . The norm tex2html_wrap_inline7458 is given by 

displaymath7364

where c is a scaling parameter (SCALE in the RP array) chosen to balance the two terms appropriately. 

The scalar tex2html_wrap_inline7470 is the damping parameter.  When the sufficient decrease criterion is not satisfied on line N4, and tex2html_wrap_inline7470 must be reduced, the next value is found through application of one step of a guarded secant/bisection algorithm to the one-dimensional minimization problem

displaymath7365

If sufficient decrease is achieved, the current tex2html_wrap_inline7470 is used to predict tex2html_wrap_inline7478 ; this formula is designed to force rapid increase of tex2html_wrap_inline7478 to one when tex2html_wrap_inline7482 becomes small as superlinear convergence occurs, and at the same time, provide a reasonable first guess in the early stages of the Newton iteration, when damping is most important. The same damping strategy is applied when there is no tex2html_wrap_inline3688 dependence, with the obvious redefinition of tex2html_wrap_inline7486 , tex2html_wrap_inline7488 , and tex2html_wrap_inline7490 . A maximum of ITMAX  damped Newton iterations are allowed, where ITMAX is a user specified integer. PLTMG reports the actual number of Newton iterations used on the most recent call in the parameter ITNUM, and the number of evaluations of tex2html_wrap_inline7502 as IEVALS; tex2html_wrap_inline7506 , since more than one function evaluation may be used in each line search.    


next up previous contents index
Next: Solving Linear Systems. Up: Equation Solution Previous: Continuation and the Parameter

Randolph E. Bank
Fri Apr 4 12:02:05 PST 1997