With the uniform prior, the binomial likelihood gives the beta distribution posterior . Under squared-error loss, the Bayes estimator is the posterior mean:
The production manager's prior gives posterior density proportional to . Minimizing gives the weighted posterior mean
using the supplied beta function. Cross multiplication shows exactly when , so it is greater unless .
Let be the velocity potential. The linearized deep-water equations are for , and at , with zero normal velocity at the four side walls. The normal modes are
where are not both zero. The free-surface conditions give the dispersion relation for a deep-water gravity wave:
The initial displacement is the mode, so . Release from rest selects a cosine in time:
Velocity decays as , so it falls to of its surface value at depth .
Remove a small disc about and apply Green second identity to and . Since and , the shrinking inner boundary contributes and gives
For the unit disc, the method of images gives the Dirichlet Green function
which vanishes on the boundary by the hinted identity. The boundary representation with evaluates the normal derivative of at , giving the Poisson kernel
Differentiate the parametrized surface. The coefficients of the first fundamental form simplify to
If , then . Moreover
Thus the second-fundamental-form coefficients satisfy and . The Gaussian curvature is consequently
A self-adjoint operator satisfies . If , then , so . An eigenvector exists over ; its orthogonal complement is -invariant. Induction on dimension produces an orthonormal basis of eigenvectors, proving the finite-dimensional spectral theorem.
A self-adjoint is positive definite exactly when every eigenvalue is positive, since in an eigenbasis. The quadratic forms of two positive-definite operators add, so their sum is positive definite.
The same eigenbasis shows that exactly when is positive definite for every and negative definite for every . Finally, if is a unit eigenvector of with eigenvalue , the Rayleigh quotient bounds give
Thus every eigenvalue of lies in .
A Hermitian operator satisfies on its operator domain. Here
Two integration by parts operations, together with the boundary conditions in the Hamiltonian domain, show that the kinetic term is Hermitian; multiplication by the real function is Hermitian as well. Thus is Hermitian.
For a time-independent operator , the Schrödinger equation and its adjoint give the Ehrenfest theorem
Using the canonical commutation relation ,
Consequently

There are unlisted articles, also show them or only show them.