The part of the log-likelihood depending on is
Completing the square separates the sum into a term independent of and . Positive definiteness makes its unique minimum occur at . Since linear combinations of independent multivariate normal vectors are normal,
The Hessian matrix is negative definite, confirming the global likelihood maximum.
Use the convention that the likelihood ratio is maximized alternative likelihood divided by null likelihood. The alternative excludes zero, but its supremum agrees with the unrestricted maximum, even on the exceptional sample . Completing the square gives
Under the null, , so exactly for every . Equivalently is distributed as for . With the reciprocal likelihood-ratio convention the statistic is instead.
Wilks theorem predicts a limiting chi-squared distribution with degrees of freedom equal to the difference of parameter dimensions, here , under regularity and an interior null point of the unrestricted model. This example strengthens the asymptotic conclusion to an exact finite-sample identity.
Assume incompressible inviscid layers, gravity , no surface tension, and irrotational perturbations of the uniform base flows. The full bulk equations are and . At the rigid walls . At the material interface each layer obeys , and . There is no tangential-velocity matching condition across this vortex sheet.
Write , with , . Then , and the wall conditions are . Linearizing the interface conditions at zero gives
The second follows from linear Bernoulli pressure and the hydrostatic pressure shift .
For , use amplitudes and . Kinematics gives and . The dynamic condition becomes
Completing the square yields
A positive real part occurs precisely when
The function decreases strictly from at to zero at infinity. Indeed its derivative has numerator , since . Therefore the minimum speed producing instability at every finite nonzero wavenumber is
At equality every still satisfies the strict growth inequality, since ; the limiting infinite-wavelength mode is marginal. A strict uniform long-wave margin requires .
Figure 1.
Normalized finite-depth shear-instability threshold
. Details.
By the Markov property, all factors in the stationary likelihood function that involve are the transitions from to and from to . Hence conditioning on later observations adds no information once the two neighbors are known. Writing , and , its conditional density is proportional to
The quadratic coefficient of is and the linear coefficient is . Completing the square therefore gives the Gaussian AR1 bridge
Here is the innovation variance, not the marginal stationary variance.
A Bogomolny bound expresses a static field energy as nonnegative squares plus a term fixed by the topological charge or boundary data. Setting the squares to zero gives the first-order Bogomolny equations. Their solutions minimize the energy in that sector and satisfy the second-order Euler-Lagrange field equations, although a general stationary solution need not attain the bound.
For one real scalar in one spatial dimension, take the Lagrangian density
A finite-energy field configuration in this static sector must approach scalar-field vacua with at the two ends. Completing the square gives the square completion for a one-dimensional kink:
Choose the sign for which the boundary term is nonnegative. Thus
Taking the derivative of the equality equation gives , the static Euler-Lagrange field equation. The boundary term is invariant under deformations keeping the asymptotic scalar-field vacua fixed; it is not a contribution from the local shape of the kink.
For a phi-four kink, let , , and select the sector , . Then , and the increasing Bogomolny equation is . Separating variables yields
The integration constant is the translational collective coordinate. Directly, and its energy density is , whose integral is . The decreasing antikink has the reversed boundary values, profile , and the same energy. A Lorentz boost produces the exact uniformly moving kink , with Lorentz factor and energy .
In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with , , and energy
The gauge covariant derivative is used throughout this normalization. Integration by parts, using , gives , with a vanishing boundary divergence for the decaying vortex fields. Combining this identity with the magnetic and potential terms gives the Bogomolny square completion for an Abelian Higgs vortex:
Finite-energy field configurations have at infinity, and makes the magnetic flux equal to the phase winding . For ,
These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound . The coefficient follows from the explicit energy normalization above; other conventions can give . Static solutions of fixed positive vortex number have equal energy independent of their positions, giving the Abelian Higgs vortex moduli space used for slow dynamics.
For , completing the square gives the Bogomolny bound
Consequently
with equality exactly when the Bogomolny equation
holds everywhere. Separating variables, or differentiating the proposed form directly, gives all solutions with the required limits:
These are the translated phi-four kinks.
Differentiating the first-order equation yields
which is precisely the Euler-Lagrange equation from part (a). Thus every configuration saturating the first-order bound is automatically a stationary solution of the second-order variational equation.
Write , so the data map is . The Gaussian likelihood and prior distribution give
Completing the square, or using Gaussian conjugacy for a normal linear model, identifies a multivariate normal distribution with precision matrix . Since , its posterior mean and covariance matrix are
The parameters are
For example, , which checks the square completion.
The orthogonal vectors
are eigenvectors of the covariance matrix. Their respective variances are
They are independent under the posterior distribution, by independence of uncorrelated jointly normal variables. Thus uncertainty is different in the two directions even for positive noise: the data constrain , whereas spans the null space of the data map.
As , the posterior distribution converges to the law of
This is supported on , and its posterior mean is the minimum-norm least-squares solution. The prior distribution still determines the distribution along the unobserved null space; it has not disappeared. This example of a Gaussian posterior in the zero-noise limit distinguishes exact recovery of an observed component from recovery of the whole unknown.
Use the shape-rate convention for the Gamma distribution. Define
The zero null space assumption makes a positive-definite matrix, and is the unique ordinary least squares solution. The Gaussian likelihood contributes , which must be retained because is unknown. Multiplying it by the improper prior and the Gamma distribution gives the normal-gamma posterior with a flat prior:
Here the constant density of the improper prior cancels on normalization. Put
The normal equation makes the residual orthogonal to the range of . The orthogonal decomposition by a closed subspace into that range and its orthogonal complement gives
Integration over by the Gaussian integral, followed by integration over using the Gamma distribution, yields
Thus the posterior distribution is proper, despite the improper prior; here follows from the zero null space assumption.
Completing the square in and collecting the powers of give the two conditional distributions:
Explicitly their probability density functions are
For a joint maximum a posteriori estimate relative to , first fix . The unique maximizing is . The remaining log density is plus a constant. Consequently, if ,
The stated assumptions do not always imply . If , the supremum occurs as but is not attained on ; if , the density is unbounded there. In either case there is no joint maximum a posteriori estimate in the stated parameter space. Calling zero a boundary mode does not make it an admissible positive precision.
If “MAP estimators” instead means separate modes of the marginal distributions, integration gives
Thus the marginal maximum a posteriori estimate of is always , and that of is when , with the same nonattainment at zero when . Joint and marginal maximization are different operations; the usual joint interpretation gives the preceding boxed pair.
Multiplying the Gaussian likelihood and prior and completing the square gives
Therefore normal-normal conjugacy gives
Finite energy requires and on the circle at spatial infinity. Writing there gives . The vortex number is the winding number
By Stokes theorem, the magnetic flux is quantized:
For the rotationally symmetric Abelian Higgs vortex ansatz, and give
After the angular integration, the Abelian Higgs model energy becomes
Completing the square in the two pairs of terms gives
Regularity at the origin and approach to the vacuum at infinity require
More precisely, and near the origin. The boundary term is , so
The bound is saturated exactly when both squares vanish, giving the radial Bogomolny vortex equations
The asymptotic value also makes the flux , so the ansatz has vortex number .
The terms involving can be written by completing the square:
Translation of the integration variable in the Gaussian functional integral over contributes only a -independent determinant. The effective free energy is therefore
where
This is the surfactant renormalization of the square-gradient coefficient.
Use completing the square in each coordinate:
Comparing with the standard circle equation gives
Multiplying the polar equation by its denominator gives . Squaring and using yields
Take . Completing the square gives
The standard ellipse equation is consequently
whose centre is . Squaring has introduced no unwanted branch: on this ellipse the minimum of is , so follows with the correct positive sign.
Use completing the square after taking out the leading coefficient:
Thus , and . Since a real square is nonnegative, the global minimum is , attained at .
The tangent half-angle substitution gives and . The endpoints become zero and one, so
Use completing the square, , and integrate:
Thus both integrals equal .
Use completing the square to obtain
The locus is therefore a circle with centre and radius . It meets the horizontal axis at and and the vertical axis at ; its highest and lowest points are .
Figure 1.
The circle locus, its centre, and its coordinate-axis intersections
. Details.
For , completing the square gives the conic section
The possible levels follow from
For , the contours are ellipses centred at , shrinking to the maximum as . The zero contour is the parabola from part (c). For , the contours are vertical-opening hyperbolas. At they degenerate into the intersecting straight lines, and for they are horizontal-opening hyperbolas. These descriptions specify the remaining contour families and their symmetry about the axis. The lower bound is approached as at fixed but is never attained.
Figure 1.
Contours and an ascending gradient trajectory
. Original contours of the rational scalar field. The critical points are marked; the green parabola is the zero contour and the crossing dashed lines have level . The red trajectory starts at and follows the positive gradient towards the maximum, as discussed in part (e). Details.