An equality such as describes which choices are allowed. A quadratic expression describes how those choices are compared. These are different parts of an optimization problem: solving derivative equations is useful only after the feasible set and the objective have both been specified.
We study a hypothetical mathematical model. The symbols and are real weights and the objective is a stated quadratic criterion. No empirical interpretation of its coefficients is needed for the calculations below.
1. State the feasible set before differentiating
Consider
With only the equality constraint, the feasible set is the entire line
For example, satisfies the equality. If negative weights are forbidden, the problem has the additional assumptions and . Since , its feasible set becomes the closed segment
A minimum over the line and a minimum over this segment are different claims. An equality-constrained candidate may fail an additional inequality constraint; we must check it rather than assume feasibility.
2. Derive the candidate by eliminating one variable
Every feasible point has exactly one representation . Substitution therefore loses no feasible choices:
Here . Its only stationary point is , so . Both weights are positive and sum to one.
The derivative locates a candidate. The next step establishes why it is a global minimum and why no other feasible point attains the same value.
3. Prove global optimality with an exact square
Completing the square gives the identity
The coefficient 11 is positive. Consequently for every real , with equality exactly when . Thus is the unique global minimizer over , and the minimum value is .
Because this point also belongs to , the same point and value solve the nonnegative-weight problem. The endpoints are a useful independent check:
both larger than . The square identity is stronger than checking only endpoints: it compares the candidate with every point of the entire feasible line.
For a more restrictive interval , the same identity says to choose the point of nearest to , then set . If the interval excludes , the minimizer moves to a boundary. This conclusion follows from the square; it does not require pretending a boundary point is stationary.
4. Reconcile the multiplier and matrix calculations
Using the convention
the multiplier equations are
Subtracting the first two equations gives . Hence , and the budget gives . We recover , and . These equations agree with substitution. Their agreement does not replace the preceding global comparison.
For the same criterion is
The two off-diagonal entries contribute . Because is symmetric, , explaining the multiplier equations in matrix notation. Calling this quadratic a variance model would require separate probabilistic assumptions about ; algebra alone supplies no such interpretation.
Exercises
P08. Add the constraint to the stated model. Find the minimizing weights and the minimum value. Explain why the equality-only stationary point is no longer feasible.
P08a. Expand for the displayed matrix. Explain why putting 2 in both off-diagonal entries would give a different objective.
P08b. Instead require , with . Find the minimizing weights and value by using distance from .
P08c. Replace the objective by but keep the entire feasible line . Does the same stationary point minimize the new objective? Explain both what happens there and whether a global minimum exists.
Full solutions
P08. Since , the equality-only candidate is excluded. On , the point nearest to is . Therefore , and direct substitution gives
This boundary point need not satisfy ; indeed .
P08a. Multiplication gives . With both off-diagonal entries equal to 2, the cross terms would sum to , changing the criterion.
P08b. Since , the nearest feasible point is . Thus , and
P08c. Along the line, . The same point is now the unique global maximum. As , the objective tends to , so a global minimum does not exist on that line. Stationary equations alone therefore cannot identify the type of optimum.