Not near the minimum at . The derivative being set to zero factors as
so has multiplicity of a root equal to three. The ordinary Newton iteration at a multiple root is generally only linearly convergent, with error ratio here.
In fact, cancellation in gives the exact error identity, away from the original undefined quotient at the root,
For iterates approaching , the factor tends to , proving linear convergence. The other zero of at is simple and could instead give quadratic local convergence; the failure at is due to its multiplicity, not to every stationary point of this rational function.
Write . Its derivative is , so on it decreases to and then increases. Its endpoint and turning-point values are
Thus , and the preceding bound becomes
For the rounding estimate, standard binary64 has spacing above one. Balancing this nominal absolute accuracy with the bound gives
Thus a few thousand even strips, roughly , reach the double-precision scale according to this bound. A scale-aware estimate leads to the same order. Indeed,
lies in magnitude between and , where the binary64 spacing is . Balancing the error bound against half that spacing gives about strips.
These are saturation estimates from balancing quadrature truncation and round-off error, not sharp guarantees of the actual rounding plateau. The error bound can be conservative, and evaluation and summation errors can limit accuracy earlier. Merely storing the final result does not specify every source of rounding error.
Let and let . A composite Simpson's rule panel covers two strips, so it has width and absolute error at most
There are panels. By the triangle inequality, the absolute error of their sum is at most the sum of their absolute errors. Hence
This assumes even and, for the usual Simpson remainder theorem, . In particular its fourth derivative is bounded on the interval. It is the error bound for composite Simpson's rule, expressed in strip count rather than panel count.[ref]
Substitution gives
In particular, is a stationary point. For sufficiently close to , Taylor's theorem with fifth-order remainder gives
where lies between and . The fifth derivative is bounded near , so the remainder is and is smaller in magnitude than half the positive quartic term for sufficiently small nonzero . Therefore is a strict local minimum, despite the vanishing second derivative.
An exact algebraic check gives the stronger global conclusion:
Equality holds only at , so it is the unique global minimum on the actual domain.
The displayed rational expression has domain ; its value at zero is undefined despite the printed notation. On that domain, the power rule gives
These derivatives are smooth on every interval avoiding zero, including all intervals used below.
Both terms and are nonnegative, and they vanish simultaneously only at . That point satisfies . Consequently
and the global minimum is unique. No Lagrange multiplier calculation is needed: nonnegativity gives a lower bound attained at a feasible point.
Here the constraint surface is compact and regular, so a global minimum exists and satisfies the Lagrange multiplier equations
Keep the zero-coordinate cases. If , the two points are , with value . If , the two points are , with value . If both coordinates are nonzero, the equations give . The constraint becomes , whose only positive solution is . These are the four points , all with value .
These cases exhaust the stated eight constrained stationary points. Comparing their values gives
For additional classification, substituting gives , with
It decreases from to and increases from to . Thus the two -axis points are constrained local maxima, the two -axis points are global maxima, and the four mixed-coordinate points are global minima.
Use and . Every feasible point has , so cannot vanish. The Lagrange multiplier equations are
The first gives . If , the second would give , a contradiction. Therefore , and the constraint gives . The only constrained stationary points are .
For a global certificate, feasibility implies , and hence
Equality requires and . Thus
The case split is essential: dividing by would discard precisely the minimizers.
Assume and are continuously differentiable near the point. At a regular feasible point, meaning and , a differentiable constrained local extremum satisfies the Lagrange multiplier equations
They arise by differentiating the optimization Lagrangian with respect to all coordinates and the multiplier. Geometrically, the objective has zero derivative along the tangent space of the constraint surface, so its gradient must lie in the normal direction.
Solve these equations for candidates, examine feasible points where the regularity condition fails separately, and compare objective values or use a second-order test restricted to feasible directions. The equations locate stationary points; they do not by themselves establish which are minima or whether a global minimum is attained.
Let for the limit . Quadratic convergence means that eventually for a fixed constant ; exact asymptotic order two has with .
For this iteration and , direct algebra gives
Using the stipulated convergence , the ratio of successive squared errors is
Thus the convergence is quadratic. The iteration is well defined here: , and thereafter implies . The initial point is not already the limit, so the error ratio is meaningful.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact