Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 5J a Solution Created 2026-09-24 Updated 2026-10-03
Writing the log-likelihood as , the Fisher information matrix is the expected negative Hessian matrixUnder the usual regularity conditions it is equivalently the expected outer product of the score function.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 305 3 a Solution Created 2026-09-28 Updated 2026-10-05
The Goldstone theorem states that every spontaneously broken generator of a continuous internal global symmetry in a Lorentz-invariant quantum field theory produces a massless scalar particle.
For the classical proof, let be the invariant scalar potential and let be a vacuum. Infinitesimal invariance givesDifferentiate with respect to and evaluate at the stationary point , where . The scalar mass matrix then obeysFor every broken generator, , so is a zero eigenvector of the Hessian matrix. It is a massless fluctuation tangent to the vacuum manifold.
For the quantum proof, spontaneous breaking means that some local field hasWrite and insert a complete set of momentum eigenstates into the current-field correlation function. Current conservation and Lorentz covariance imply that a scalar intermediate state couples asThe nonzero equal-time commutator requires a pole at ; otherwise the conserved-current spectral integral vanishes at zero momentum. Thus a massless Goldstone boson exists for every independent broken direction.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 2 2H i Solution Created 2026-09-24 Updated 2026-10-03
True. Continuity and compactness give a maximum of on . At an interior maximum the Hessian matrix is negative semidefinite, so its trace satisfies , contradicting . The maximum must therefore occur on . This is the strict form of the maximum principle for subharmonic functions.
Past exam of the mathematics course of the University of Cambridge 2022 ia Paper 2 6A a Solution Created 2026-09-24 Updated 2026-09-25
The multivariable chain rule gives, at ,Sufficient conditions for a strict local minimum at are and .
At a stationary point, in every direction. Its second derivative is the quadratic form of the Hessian matrix. Ifthen completing the square givesfor every nonzero direction . The Hessian is therefore positive definite, and the stationary point is a strict local minimum.
Past exam of the mathematics course of the University of Cambridge 2022 ia Paper 2 6A b Solution Created 2026-09-24 Updated 2026-09-25
The stationary equations areThus and , givingThe Hessian matrix isAt either nonzero stationary point,so both are strict local minima.
Along a line through the origin,whereWhen and ,Consequently the origin is a local minimum along the line whenincluding the equality cases because the positive quartic term then leads. It is also a minimum on the vertical line. It is a local maximum along the line whenIn the first case the graph is locally bowl-shaped. In the second it initially bends downward from the origin, but the positive quartic term eventually turns it upward, producing the usual double-well profile.
Past exam of the mathematics course of the University of Cambridge 2022 ia Paper 2 8B b Solution Created 2026-09-24 Updated 2026-09-25
The only positive equilibrium solves and , hence isAway from a nullcline,This is separable:Integration gives the first integralThus one convenient conserved quantity is
Its gradient isso is its only stationary point in the positive quadrant. Its Hessian matrix iswhich is positive definite everywhere. Hence is a strict, indeed global, minimum.
The nearby level curves of are closed curves surrounding this minimum. Since is constant along every trajectory, a solution starting on a sufficiently small nearby level set cannot leave the region bounded by a slightly larger level set. This proves Lyapunov stability of the equilibrium: solutions initially close to remain close for all time.
Past exam of the mathematics course of the University of Cambridge 2022 ib Paper 1 7H Solution Created 2026-09-23 Updated 2026-09-25
Starting from , gradient descent repeatedly computes the gradient and updatesstopping when the gradient norm, step, or objective decrease is sufficiently small.
The Hessian bounds say that is -strongly convex and has -smooth gradient. With ,Thus the iteration count isconvergence becomes slower linearly with the condition number .
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 3 2G i Solution Created 2026-09-24 Updated 2026-09-25
Because is compact, attains a maximum. If a maximizer lay in , its Hessian matrix would be negative semidefinite, so its trace would satisfy , contradicting . Hence every strictly subharmonic function under the stated hypotheses attains a maximum on .
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 3 4C Solution Created 2026-09-23 Updated 2026-10-05
If is once differentiable, this is equivalent to monotonicity of its gradient:Equivalently, every tangent hyperplane supports the graph:If is twice differentiable, convexity is equivalent to the Hessian matrix being positive semidefinite throughout .
Forthe Hessian isA real symmetric two-by-two matrix is positive semidefinite exactly when its two diagonal entries and its determinant are nonnegative. ThusThe largest convexity domain is thereforeFor , its boundary is the hyperbola in the first quadrant and the domain lies above it. For , it is the closed first quadrant. This is the convexity domain of x cubed plus y cubed plus Axy.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 339 1 c Solution Created 2026-09-28 Updated 2026-10-03
Write . The log-sum-exp function is convex and composition with the affine functions preserves convexity, so is convex. Directly, its Hessian matrix will also be shown positive semidefinite in part d.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 339 1 d Solution 2026-09-28
Define the softmax weightsThey obey and . The gradient is their weighted mean,Differentiating once more gives the covariance-form Hessian matrixFor every unit vector ,where . The Hessian is a covariance matrix, so it is positive semidefinite; the displayed upper bound also gives in the Loewner order. Consequently has a Lipschitz gradient with
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 25G c Solution Created 2026-09-24 Updated 2026-09-25
At , the surface cannot cross the boundary , because it lies inside . Consequently the two surfaces are tangent at . Apply a proper Euclidean motion of Euclidean three-space so that , their common tangent plane is , and the prescribed inward unit normal is . Locally writewith the region on the side . ThenThus has a local minimum at zero and its Hessian matrix is positive semidefinite. The fundamental forms of a graph surface at a horizontal tangent plane giveTaking the trace of the positive-semidefinite difference proves the mean-curvature comparison at tangential contact:
There is no analogous conclusion for . In the same local coordinates takeThen , so the second graph lies on the inward side of the first, while the Gaussian curvature of a graph surface givesHence the mean-curvature inequality holds butUsing smooth bump functions, these local graph patches can be completed away from to a compact region with connected smooth boundary and a closed interior surface without changing their germs at . This realizes the counterexample under the global hypotheses.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 107 3 a Solution Created 2026-09-24 Updated 2026-09-25
Forthe weak maximum principle for elliptic operators states that impliesIn particular, a solution of cannot have a positive interior maximum exceeding its boundary maximum.
Because the coefficient matrix is positive definite and the closure of the smooth bounded domain is compact, strict ellipticity supplies a uniform lower bound after restricting to . Rotate and translate coordinates so that is bounded in the direction, and set . For sufficiently large ,If had a positive interior maximum, its gradient would vanish and its Hessian matrix would be negative semidefinite there, giving . This contradicts . Comparing on the boundary and sending proves the assertion.
Past exam of the mathematics course of the University of Cambridge 2026 ia Paper 2 6C i Solution Created 2026-09-24 Updated 2026-10-03
, so the critical points are . The Hessian matrix at is , making it the local minimum; is degenerate and not a minimum.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 313 1 b ii Solution Created 2026-09-24 Updated 2026-09-25
For a zero of order at the origin and no other zeros,Away from the zero, the flat Taubes equation isIf had a positive interior maximum, then the second-derivative test would give there, while , a contradiction. The boundary values are at the zero and at infinity, so the maximum principle gives . Hence
The gradient of the given polynomial isIts second component vanishes when or . The first component then gives exactly three critical points:The Hessian matrix and its determinant areAt the Hessian matrix is , whose positive definiteness proves a strict local minimum by the second-derivative test. At its determinant is , so both points are saddle points of a scalar function. Their values and classifications areThere are no local maxima.
The Hessian matrix and Hessian determinant areAt , , so this is a saddle point. At , and , so this is a strict local minimum. ThereforeThe value at the local minimum is ; there is no local maximum.
Treat the explanatory variables as fixed and put , . To identify both slopes, assume and . The given centring and orthogonality conditions make the three columns pairwise orthogonal.
The log-likelihood function in the normal linear model, up to a constant independent of the coefficients, isThus maximum likelihood estimation minimizes the residual sum of squares. Setting its partial derivatives to zero givesUsing decouples these equations:The Hessian matrix of the residual sum of squares is , which is positive definite. These are therefore the unique minimizers. If either squared sum is zero, the associated explanatory variable vanishes identically and its coefficient cannot be identified.
Expanding and taking partial derivatives gives the gradient and Hessian matrixAt , these are andThus the Newton step solvesThe second equation gives ; substituting into the first gives . HenceAt , however,The eigenvalues of this Hessian matrix are in direction and in direction . It is invertible but indefinite. Thus the Newton step is zero, andThis illustrates that stationary points are fixed points of Newton's method. Here the fixed point is a saddle point of a scalar function, not a local minimum. Indeed, direct substitution along the two eigenvector directions givesFor sufficiently small nonzero , one direction decreases and the other increases it. The global minimum is instead zero: the sum of squares vanishes at and . These are the only real zeros, since and imply . Thus a zero gradient is an insufficient stopping certificate for minimization problem without classifying the stationary point.
For an unconstrained differentiable function of two real variables, an interior local minimum must solve the simultaneous stationary point equationsApply Newton's method in optimization to this gradient equation. The Jacobian matrix of the gradient is the Hessian matrixAt , solve the linear system , then set . When the Hessian matrix is invertible, this isThis follows by setting the first order Taylor expansion equal to zero. Solving the linear system avoids explicitly computing a matrix inverse. A stationary point need not be a local minimum: for example, a positive-definite matrix suffices to classify a stationary point as a strict local minimum, whereas an indefinite Hessian matrix identifies a saddle point of a scalar function.