Put and . The constant-in-time coefficient on is previsible, so the ratio minus is . Since , continuity and the dominated convergence theorem imply
The Itô isometry gives . For , use the Chebyshev inequality and the normal distribution of to obtain
First let , then ; the normal distribution has no atom at zero. This proves
No independence between and the denominator is needed.
The first estimate suggested by the hint is valid: Brownian scaling and the Gamma function give . The second hint requires care about the placement of its expectation: with , the interpretation is correct by the Jensen inequality and the Itô isometry, whereas the interpretation is false with constant . For the latter interpretation, the Burkholder-Davis-Gundy inequality supplies a constant instead. One can see the obstruction with a Brownian motion stopped on exiting : if is that Brownian exit time, then , , and strict Jensen inequality gives .
This obstruction also survives the continuity condition on . On a long finite interval approximate by a continuous adapted process equal to until and decreasing linearly to during the next units of time, and take its initial value to be by inserting a short continuous ramp before starting the exit experiment. The Itô isometry controls these approximations, and letting the interval length tend to infinity recovers the strict inequality above; hence some bounded continuous adapted example also violates the latter interpretation with constant . The direct proof avoids relying on this ambiguous hint.
Fix the observed , let , and let . The E-step forms
For finite expected log-likelihoods and , the Jensen inequality gives
The first inequality allows additional mass outside the old complete-data support; it is equality when the relevant supports coincide. Ratios are taken on the support of . If a candidate assigns zero density on positive -mass, its is minus infinity and it cannot be an improving finite M-step.
An M-step of the expectation-maximization algorithm chooses with , so
This EM likelihood monotonicity also holds for a generalized M-step that merely increases , rather than maximizing it exactly. It is a statement about the observed-data likelihood function.
Apply the Jensen inequality to the convex exponential function under the trial equilibrium measure:
The given identity therefore implies . Taking minus the logarithm reverses the inequality and proves the Feynman-Bogoliubov inequality
The units make and dimensionless here. Equality holds when is constant on the support of the trial measure. Optimizing the trial parameters tightens an upper bound, which is the basis of the Gaussian variational approximation.
For every admissible transport map , the pushforward measure condition gives for -almost every . Hence , and
Apply the Jensen inequality to the convex function and the probability measure :
Translation by one sends the source uniform distribution to the target uniform distribution, so is admissible. Its displacement is constantly one, giving
No monotonicity assumption on is needed, because all displacements have the same sign. The same argument with a transport plan also gives the identical minimum for the Kantorovich optimal transport problem.
As in part (c), every admissible transport map has nonnegative displacement with . The square root is a strictly concave function, so the reversed Jensen inequality gives
The map is admissible and attains one. Therefore
Thus “worst” means largest cost among admissible transport maps. Equality in the Jensen inequality for a strictly concave function forces to be constant almost everywhere, so this maximizer is unique up to a -null set. For comparison, the admissible reflection has smaller cost
The upper bound also holds for every transport plan.
The stochastic gradients obey
The nonexpansiveness of metric projection and the subgradient inequality imply, after conditioning on ,
Summing telescopes. Since both and lie in the radius- set , their distance is at most . By the Jensen inequality and convexity of ,
Choose
The two terms are then equal, and
With varying positive step sizes, the same one-step inequality is
Sum from to , use , and divide by . The Jensen inequality for the weighted average gives
where and .
A function on an interval is a convex function if
Jensen inequality states that for an integrable random variable , when all terms are defined,
The function is convex on because
Applying Jensen's inequality to the uniform distribution on the positive numbers gives
Writing and multiplying by yields
Set
Under the probability measure with density , the Jensen inequality for the concave logarithm gives
The sub-Gaussian assumption with variance parameter gives . A second application of Jensen inequality gives . Consequently
as required.
The pushforward measure of under is
The Lebesgue decomposition theorem says that for sigma-finite measures there are unique measures and such that
For a convex lower-semicontinuous function with , choose any measure dominating probability measures , put and , and define the f-divergence
using the lower-semicontinuous perspective value when . This definition includes the singular part and is independent of .
To prove the data processing inequality for f-divergences, let and use . The densities of and , pulled back to , are and . Since the perspective
is jointly convex, conditional Jensen inequality gives
Integration proves
The chi-squared divergence is
when , and is infinite otherwise.
Fix a probability measure . Let be uniform on and, conditionally on , draw from . Compare this joint law with the reference law under which is uniform and independent of . For
the target expectation is , while its reference expectation is
because the form a partition. Its reference variance is . The Cauchy-Schwarz inequality applied to the likelihood ratio gives
The last divergence separates over :
Taking the infimum over all probability measures proves the required inequality.
A set is -rich when every -element subset of has at least common neighbours.
Choose vertices independently and uniformly from , allowing repetitions, and let
By Jensen inequality applied to the convex function ,
Let count the -subsets having fewer than common neighbours in . For each such , the probability that is
so
The assumed inequality gives , so some choice has . Delete one vertex from each bad -subset of . The remaining set has size at least and contains no bad -subset, so it is -rich. This is the basic dependent random choice argument.
Let be independent with laws . We prove the claim by induction. Split the law of total variance at the last coordinate:
The first term is at most . Apply the induction hypothesis to . Differentiation under the expectation and Jensen inequality give
Writing and combining the terms yields
This is the Tensorization of a Poincaré inequality.
For , concavity of implies
so is concave.
Since , Jensen inequality gives
If , concavity and yield
Hence is decreasing on ; this is scaled centered risk under concave utility.
Condition on the information available before time . The current wealth is then fixed, while is independent of that information. Put
For any portfolio , use the inner product induced by the positive-definite matrix to write
The linear image of a multivariate normal vector shows that the two portfolio returns are jointly normal, and
Thus independence of uncorrelated jointly normal variables makes the residual return independent of the aligned return; it also has expected value zero.
The continuation value is concave by part (c). Conditional Jensen inequality therefore shows that adding the independent centered residual cannot improve the objective:
where . Since the optimal portfolio is unique, its residual must be zero.
It remains to determine the sign. If , the portfolios and have the same return variance, namely , while their means are and . The latter return has the distribution of the former plus the positive constant . Since is increasing, replacing by cannot reduce the objective, contradicting uniqueness. Hence .
Applying this conditional argument at every time gives nonnegative, past-measurable random variables such that
This is the Gaussian one-fund theorem.
The function is strictly convex. Subject to , the Jensen inequality gives
with equality only at
This is the minimum of the relative potential, so it is a stable relative equilibrium.
Let near an equally spaced configuration, and put
The gap perturbations are
whose sum vanishes. A Taylor expansion gives the quadratic energies
Thus the linearized equations are
The matrix in parentheses is the Graph Laplacian of . Its constant eigenvector has eigenvalue zero, while every vector whose components sum to zero has eigenvalue three. One orthonormal set of three normal modes and their angular frequencies is therefore
The zero mode is rigid rotation. The positive and equal squared frequencies on the two-dimensional relative subspace prove stability and agree with the general normal modes of three equal masses with a symmetric gap potential.
Let , so . Since class counts add,
The function is concave function on . Jensen inequality therefore gives
which is precisely . Thus an axis-aligned split cannot increase the weighted empirical Gini impurity.
Use the distribution associated with the code in part b. Since ,
For , Holder inequality, equivalently the indicated Jensen inequality, gives
Therefore