About the Stationary Solver
The following background information about the Stationary Solver discusses these topics: Damped Newton Methods, Termination Criterion for the Fully Coupled and Segregated Attribute Nodes, Linear Solvers vs. Nonlinear Solvers, and Pseudo Time Stepping. Also see Selecting a Stationary, Time-Dependent, or Eigenvalue Solver.
Stationary in the COMSOL Multiphysics Programming Reference Manual
Damped Newton Methods
The nonlinear solver uses an affine invariant form of the damped Newton method as described in Ref. 3. You can write the discrete form of the equations as f(U) = 0, where f(U) is the residual vector and U is the solution vector. Starting with the initial guess U0, the software forms the linearized model using U0 as the linearization point. It solves the discretized form of the linearized model f'(U0) δU = −f(U0) for the Newton step δU using the selected linear system solver (f'(U0) is the Jacobian matrix). It then computes the new iteration U1 = U0 + λδU, where λ (0 ≤ λ ≤ 1) is the damping factor. Next the modified Newton correction estimates the error E for the new iteration U1 by solving f'(U0) E = −f(U1). If the relative error corresponding to E is larger than the relative error in the previous iteration, the algorithm reduces the damping factor λ and recomputes U1. This algorithm repeats the damping-factor reduction until the relative error is less than in the previous iteration or until the damping factor underflows the minimum damping factor. When it has taken a successful step U1, the algorithm proceeds with the next Newton iteration.
A value of λ = 1 results in Newton’s method, which converges quadratically if the initial guess U0 is sufficiently close to a solution. In order to enlarge the domain of attraction, the solver chooses the damping factors judiciously. Nevertheless, the success of a nonlinear solver depends heavily on a carefully selected initial guess, so you should provide the best value for U0, giving at least an order of magnitude guess for different solution components.
Termination Criterion for the Fully Coupled and Segregated Attribute Nodes
You specify the termination criteria in the Settings window for a Fully Coupled or Segregated subnode to the Stationary Solver node. Also see The Segregated Solver (Termination Criterion for a Segregated Solver).
Termination Criterion: Solution
For Termination criterion: Solution, the nonlinear iterations terminate when the following convergence criterion is satisfied: Let U be the current approximation to the true solution vector, and let E be the estimated error in this vector. The software stops the iterations when the relative tolerance exceeds the relative error computed as the following weighted Euclidean norm:
Here M is the number of fields; Nj is the number of degrees of freedom in field j. The double subscript denotes degree of freedom index (i) and field (j) component. Let Wi,j = max(|Ui,j|, Sj), where Sj is a scale factor that the solver determines from the scaling method. You select the scaling method from the Method list in the Scaling section of the Dependent Variables node’s Settings window. The solver then computes the scale factor Sj using the following rules:
For Automatic, Sj is the average of |Ui,j| for all DOFs i for fixed j, times a factor equal to 105 for highly nonlinear problems or 0.1 otherwise.
For Manual, Sj is the value given in the Scale field. Sj is multiplied by a factor equal to 105 for highly nonlinear problems or 0.1 otherwise
For Initial value based, Sj is the average of |Vi,j| for all DOFs i with fixed j times a factor equal to 105 for highly nonlinear problems or 0.1 otherwise. V = U0 is the solution vector corresponding to the initial value. In case all DOFs are zero for that particular field j, the total mean of |Vi,j| for all i and j is used instead.
For None, Wi,j = 1. In this case, err is an estimate for the absolute error.
The (automatically damped Newton) nonlinear solver only checks the convergence criterion if the damping factor for the current iteration is equal to 1. Thus, the solver continues as long as the damping factor is not equal to 1 even if the estimated error is smaller than the requested relative tolerance.
Termination Criterion: Residual
For Termination criterion: Residual, the nonlinear iterations terminate when the following convergence criterion is satisfied: The software stops the iterations when the relative tolerance exceeds the relative error computed as the weighted Euclidean norm
where F is the current residual. In the equation above, the double subscript denotes the degree of freedom index (i) and the field (j) component. The iterations can also terminate if the relative step size is in the range of a hundred machine epsilon, and in addition, a full Newton step is taken. The weights are determined considering both the initial residual f0 and the residual after the first iteration f1 as f = 0.5 | f0| + 0.5 |  f1|. In the equation above, the double subscript denotes the degree of freedom index (i) and the field (j) component. The iterations can also terminate if the relative step size is in the range of a hundred machine epsilon and in addition a full Newton step is taken.
You select the scaling method from the Method list in the Residual Scaling section of the Dependent Variables node’s Settings window. The solver then computes the weights using the following rules:
For Automatic, the weights are determined considering both the initial residual f0 and the residual after the first iteration f1 as . is the average of fi, j for all DOFs i for a fixed j. In case all fi, j are zero for that particular field j, the total mean of fi, j for all i and j is used instead.
For time-dependent problems, the first time step calculates the weights based on f as above. Here f is considered as the base residual. In later time steps, the initial residual of the current step f0t and the residual after the first iteration of the current time step f1t will be considered together with the base residual f to determine whether the weights need to be updated for the current time step. The weights are calculated based on (i = 0 or 1). The weights are updated as if the ratio / or / for a field j exceeds the threshold defined in the Threshold for updating residual scale field in the settings for a Dependent Variables node or its Field subnodes.
For Manual, the weights is the value given in the Scaling field.
Additional information about the weights for time-dependent problems:
With consistent initialization active, the base residual f and the weights will be calculated during the consistent initialization and recalculated after the consistent initialization finishes.
When the weights for field j need to be updated, then the weights are updated for all fields solved for in the fully coupled solver or in the same segregated step.
For wave problems, the weights consist of two parts: the nonvelocity part and the velocity part . The weights are calculated using only the nonvelocity part of the residual f. The weights for the field j are defined to be proportional to the weights as . The proportional ratio r is a fieldwise quantity and is defined as , where F is the current residual. The weights are set to be 1 for the first iteration at the first time step. It is updated when the velocity part of the residual is nonzero for the first time. The velocity weights will be updated again when the nonvelocity weights are updated.
Termination Criterion: Solution or Residual
For Termination criterion: Solution or residual, the nonlinear iterations terminate when the relative tolerance exceeds the relative error computed as the minimum of the solution-based error and the error given by the Residual factor times the residual-based error above.
Termination Criterion: Solution and Residual
For Termination criterion: Solution and residual, the nonlinear iterations terminate the Newton iterations on a solution-based estimated relative error and a residual-based estimated relative error given by the Residual factor times the residual-based error above.
Linear Solvers vs. Nonlinear Solvers
Automatic Nonlinearity Detection
COMSOL Multiphysics automatically detects nonlinearity, so you normally do not need to decide whether to use a linear or a nonlinear solver.
The automatic detection works through analysis of the variables contributing to the residual Jacobian matrix and the constraint Jacobian matrix. If the algorithm finds that both these matrices are complete and do not depend on the solution, the stationary solver (including parametric sweeps) uses a linear solver algorithm. Otherwise, the solver uses a nonlinear solver algorithm. “Complete” here means that the algorithm only found contributing variables for which the correct Jacobian is computed.
Overriding the Automatic Nonlinearity Detection
In some cases you might want to specify explicitly that the stationary solver uses the linear or nonlinear solver algorithm. Such cases include:
When using the Fully Coupled solver, you can furthermore
Which Models Are Nonlinear?
How do you determine if a problem is linear or nonlinear? Finding out is not always easy, but for most physics you can apply the following criterion: If any coefficient or material property contains a dependent variable, the model is nonlinear. The same holds true for models based on a PDE in the coefficient form, again with the same criterion.
Whether your problem is linear or nonlinear, the solvers break it down into one or several linear systems of equations. Therefore, the linear solver selection affects the solution time and memory requirements also for nonlinear models.
Pseudo Time Stepping
A pseudo time-stepping method is used in transport problems to stabilize the convergence toward steady state. Here an adaptive feedback controller controls a CFL (Courant–Friedrichs–Lewy) number, which is then used for pseudo time stepping. The CFL number starts from a moderate value (order one) and increases up to several orders of magnitude at convergence.
A simple multiplicative PID controller for CFL control is used
(20-6)
where the controller parameters kP, kI, and kD for the proportional, integral, and derivative parts, respectively, are positive constants. Here en is the nonlinear error estimate for step n and tol is a given target error estimate.
The next factor is used to control the CFL number toward the requested target error estimate. A standard local error estimate control uses only a factor of this sort, but for this type of control, the absolute level of the error is not that important. However, without this factor (kI = 0), the CFL number might drift even though the error level is fluctuating on the same level. This factor can also be used to select an absolute regime for the error where increasing the CFL number should be more difficult.
A hard lower limit is used, and to lower the risk of premature termination there is an extra requirement of not accepting convergence until .
After each segregated solver iteration, the log reports the Pseudo time-stepping CFL-ratio defined as min(log(CFL)/log(CFL),1.0), where CFL104 is the steady-state CFL number. The CFL ratio concerns the overall progress of the segregated solver and not individual groups. Convergence is allowed when this number is one and the usual convergence criteria are met.
Pseudo time stepping is available for stationary problems. In the coupled approach, it functions together with the constant damped Newton solver. See the settings for Fully Coupled and Segregated for related parameters.