Writing the log-likelihood as , the Fisher information matrix is the expected negative Hessian matrix
Under the usual regularity conditions it is equivalently the expected outer product of the score function.
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 gives
Differentiate with respect to and evaluate at the stationary point , where . The scalar mass matrix then obeys
For 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 has
Write 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 as
The 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.
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.
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. If
then completing the square gives
for every nonzero direction . The Hessian is therefore positive definite, and the stationary point is a strict local minimum.
The stationary equations are
Thus and , giving
The Hessian matrix is
At either nonzero stationary point,
so both are strict local minima.
Along a line through the origin,
where
When and ,
Consequently the origin is a local minimum along the line when
including 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 when
In 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.
The only positive equilibrium solves and , hence is
Away from a nullcline,
This is separable:
Integration gives the first integral
Thus one convenient conserved quantity is
Its gradient is
so is its only stationary point in the positive quadrant. Its Hessian matrix is
which 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.
Starting from , gradient descent repeatedly computes the gradient and updates
stopping 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 is
convergence becomes slower linearly with the condition number .
For
the Hessian matrix is , so
Take
Then
whose Hessian is and whose condition number is .
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 .
Statement (i) is true. For , the function
has , so
Letting gives
This is the maximum principle for harmonic functions.
A function on a convex set is convex when
for all and .
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 .
For
the Hessian is
A real symmetric two-by-two matrix is positive semidefinite exactly when its two diagonal entries and its determinant are nonnegative. Thus
The largest convexity domain is therefore
For , 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.
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.
Let . Factoring out of the sum gives
At least one term in the sum is , while every term is at most . Therefore
and hence
Thus is a uniform smooth maximum of the affine pieces of .
Define the softmax weights
They obey and . The gradient is their weighted mean,
Differentiating once more gives the covariance-form Hessian matrix
For 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
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 write
with the region on the side . Then
Thus 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 give
Taking 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 take
Then , so the second graph lies on the inward side of the first, while the Gaussian curvature of a graph surface gives
Hence the mean-curvature inequality holds but
Using 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.
For
the weak maximum principle for elliptic operators states that implies
In 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.
, so the critical points are . The Hessian matrix at is , making it the local minimum; is degenerate and not a minimum.
For a zero of order at the origin and no other zeros,
Away from the zero, the flat Taubes equation is
If 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 is
Its second component vanishes when or . The first component then gives exactly three critical points:
The Hessian matrix and its determinant are
At 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 are
There are no local maxima.
The critical points satisfy
Substitute to obtain . Thus the only critical points are and .
The Hessian matrix and Hessian determinant are
At , , so this is a saddle point. At , and , so this is a strict local minimum. Therefore
The 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, is
Thus maximum likelihood estimation minimizes the residual sum of squares. Setting its partial derivatives to zero gives
Using 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 matrix
At , these are and
Thus the Newton step solves
The second equation gives ; substituting into the first gives . Hence
At , however,
The eigenvalues of this Hessian matrix are in direction and in direction . It is invertible but indefinite. Thus the Newton step is zero, and
This 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 gives
For 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 equations
Apply Newton's method in optimization to this gradient equation. The Jacobian matrix of the gradient is the Hessian matrix
At , solve the linear system , then set . When the Hessian matrix is invertible, this is
This 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.