Broyden's Method for Nonlinear Systems
Broyden's Method for Nonlinear Systems
Broyden’s Method generalizes Newton’s Method by replacing the exact computation of the Jacobian matrix with an approximation that is updated iteratively. This is done using a secant condition and a rank-one update formula. The secant condition serves as a guidance for these updates, aligning the direction of approximation along the change in the function's output over subsequent iterates. Through this approach, Broyden’s Method extends the applicability of Newton's Method to scenarios where computing the Jacobian is too expensive or impractical, offering a balance between computational efficiency and convergence speed. The method effectively utilizes previous information to amend the Jacobian iteratively, maintaining performance even as the problem size increases .
In Broyden’s Method, matrix-vector multiplication plays a central role, replacing the need to solve systems of linear equations as is required in Newton’s Method for calculating each step. Instead of recalculating the Jacobian and its inverse at every step, Broyden's algorithm relies on updating an initial inverse Jacobian through matrix-vector products. These products are significantly less computationally intensive, thereby providing substantial savings in effort and computation time per iteration. This focus on matrix-vector operations allows Broyden's Method to efficiently handle larger systems where recalculating Jacobians and solving linear systems would be prohibitively costly .
Broyden's Method eliminates the need to directly compute the Jacobian matrix at each iteration by using approximate updates derived from the previous iterations' data. Instead of recalculating the Jacobian, Broyden's algorithm starts with an initial Jacobian and then applies a series of rank-one updates based on previous iterates and the associated changes in the function's value. This approach relies on the Sherman-Morrison formula to update the inverse Jacobian efficiently, which is necessary for calculating the next step in the iteration process. Consequently, the method requires only matrix-vector multiplications rather than recomputing the full Jacobian matrix, thus significantly reducing computational effort .
Newton's Method requires the evaluation of partial derivatives to construct the Jacobian matrix for each iteration, which adds significant computational expense. Additionally, solving the system of linear equations involving the Jacobian can be costly. Broyden's Method modifies Newton’s Method by using approximate partial derivatives, thereby reducing the need to repeatedly solve these costly equations. It does this by updating an approximate Jacobian using a rank-one update rather than recalculating it entirely, allowing some reuse of data from previous iterations. This change significantly reduces computational effort while maintaining efficiency by only requiring matrix-vector multiplications during each iteration .
Rank-one updates in Broyden’s Method are used to iteratively improve the approximation of the Jacobian matrix's inverse. Specifically, after the initial Jacobian is evaluated, Broyden's Method applies rank-one updates by adding the outer product of certain vectors determined by the secant condition to the current approximation. The significance of these updates is that they alter the Jacobian approximation without the computational expense of recalculating the entire matrix. In combination with the Sherman-Morrison formula, they allow for an efficient recalculation of the inverse Jacobian, maintaining accuracy by leveraging previously computed data for matrix operations during each iteration. This iterative enhancement contributes to achieving convergence efficiently while managing computational resources .
The Sherman-Morrison formula provides a way to update the inverse of a matrix that has undergone a rank-one update. In Broyden’s Method, after calculating the inverse of the initial Jacobian (or its approximation), Broyden’s algorithm calculates subsequent approximations using matrix updates that require rank-one changes. By using the Sherman-Morrison formula, we efficiently compute the inverse of the Jacobian approximation without solving a full set of linear equations for each update. This technique specifically updates the inverse matrix without requiring a complete inversion at each step, leveraging previous calculations .
To adapt Broyden’s Method for solving minimization problems, it is first critical to express the optimization problem in terms of finding the zero of the gradient (first derivatives) of the function to be minimized. Next, Broyden’s Method is applied to iteratively update the inverse Jacobian approximation for these gradients, using rank-one updates based on changes in the gradient across iterations. Initial steps include evaluating the gradient at an initial point and calculating the corresponding Jacobian, much like starting conditions in the standard application for solving nonlinear systems. By using these tailored updates, Broyden’s Method can leverage its efficiency in handling large systems to effectively minimize functions through efficient gradient-based adaptations .
The secant condition in Broyden's Method asserts that the approximate Jacobian matrix should satisfy the equation D1(x(1) - x(0)) = g(x(1)) - g(x(0)), similar to a finite difference approximation of the derivative for scalar functions. This condition ensures that the update to the Jacobian matrix is consistent with the change in the function's output over the previous iteration's step. It is crucial because it allows the method to maintain a good approximation of the function's behavior while avoiding the computational cost of exact derivative evaluation. By only requiring matrix-vector multiplications rather than full recalculations of the Jacobian, Broyden’s Method achieves greater efficiency over Newton's Method .
An example problem uses Broyden's Method to find solutions to a nonlinear system where g(x, y, z) includes equations like x^2 + y^2 + z^2 = 3. Starting with an initial guess, Broyden's Method applies an initial Newton step, then shifts to using approximate Jacobian updates. The second iterate result coincided with that of Newton's Method, yielding x(2) = (5/4, 3/4, 1). However, Broyden’s Method avoids recalculating the Jacobian for subsequent steps, using rank-one updates instead, thus saving computational costs. Though the second iterate matches, in general, for larger or complex problems, Broyden's approach reduces computational demands without sacrificing outcome precision compared to Newton’s Method, which recalculates Jacobian matrices at every step .
In Broyden’s Method, it is sufficient to update only the inverse Jacobian, Dk^{-1}, starting from the initial Jacobian inversion at k = 0, because the formulae involved in updating the inverse rely on rank-one adjustments that leverage the previously computed values. This process obviates the need to directly compute Dk as such computations are resource-intensive. By focusing only on the inverse and using efficient update strategies via the Sherman-Morrison formula, the algorithm's performance is greatly enhanced. This allows it to process iterations quickly with fewer resources, making it suitable for large-scale problems where computing the full Jacobian at each step would be computationally prohibitive .




