Let . The mean equations give and . For relative deviations, the drift Jacobian and normalized reaction-noise covariance are
The normalized stationary fluctuation-dissipation relation for a reaction network is with this negative-drift convention. Its entries successively give
The birth and death channels act on one species at a time, so the diffusion matrix is diagonal even though the stationary covariance is not.
For the radiation-era law beginning at , the present particle-horizon estimate is
Rescale this present physical distance back to using . Its physical size was , of order one metre as required. The matched inflationary Hubble rate is , with Hubble radius .
If inflation produces e-folds before , this patch began with size metres. It fits within one Hubble radius if
This estimate uses the idealized radiation-only history stated in the question; substituting the actual matter-dominated history would change the numerical estimate.
For an expanding decelerating power law with , the particle horizon is , and the comoving Hubble radius is . It increases with time, so regions that are mutually visible today can have been out of causal contact at early times. The nearly uniform early thermal conditions inferred across such regions give the horizon problem.
During cosmic inflation, accelerated expansion makes the comoving Hubble radius decrease. A patch initially within one causal communication scale can expand into the region now observed, after which its separated parts are temporarily outside the Hubble radius and later re-enter during deceleration. Sufficient duration before the hot radiation era permits a common causal origin; accelerated expansion is not itself a claim that signals propagate faster than light locally.
For a homogeneous isotropic metric, radial light propagation covers comoving distance . The physical particle horizon is , when this is finite. A future event horizon exists when is finite. The Hubble radius is the instantaneous scale , with ; it is not generally the same as either causal horizon.
For an Einstein-de Sitter universe, , so , while from a beginning at zero. The future integral diverges, so there is no event horizon. For an eternal-past de Sitter spacetime, is constant and the particle-horizon integral from diverges. Its event horizon and Hubble radius both equal . Thus a Hubble radius is not automatically a particle horizon, even in these simple isotropic models.
For a stable one-species linear noise approximation, the normalized stationary fluctuation-dissipation relation for a reaction network becomes
To see the factors explicitly, the linearized restoring rate is , while the chemical noise intensity is the rate-weighted squared step size
Stationarity of the variance gives . Using therefore yields
This is the stationary fluctuation result within the stated negligible-fluctuation/linear-noise approximation, not an exact identity for the boundary-corrected discrete chemistry.
Let and be the production and loss fluxes, counted in molecules per unit time. At the steady state, both equal . The restoring elasticity and turnover lifetime are
Flux-weighting the magnitudes of the reaction steps, one for production and two for loss, gives
This is an average over molecular fluxes, as requested, not an average over reaction-event counts; those are different when a reaction removes two molecules at once.
Apply the formal infinitesimal generator to the molecule count: its increment is at rate and at rate . Thus the exact first-moment identity for the specified generator is
Neglecting fluctuations gives the mean-field approximation , so the positive steady mean is
There is a physical boundary qualification: the printed loss propensity is positive at and would produce a negative molecule count. Consequently it does not by itself define a molecule-count chain on all nonnegative integers. If losses are forbidden below two, the exact loss moment becomes ; a mass-action two-molecule propensity instead uses . The calculation requested here uses the printed formal generator and its large-copy-number approximation, where such boundary corrections are negligible.
The given Riccati ansatz is . Differentiating it and substituting for shows
It therefore selects in the preceding scaled Painleve equation. Write . The quadratic terms cancel in the ansatz, leaving
Thus every nonzero solution of the indicated Airy equation gives the local mKdV solution
on intervals where . For example , with constants not both zero, has the required equation. This branch is generally complex and meromorphic; the printed ansatz itself includes . A real on a real interval would require simultaneously and , which is impossible on an interval. Hence this particular ansatz does not furnish a nontrivial real-valued mKdV profile.
The scaling of the equation suggests , , for . Substitution gives
Integrating in gives the scaled Painlevé II equation
where is an arbitrary integration constant. If the standard normalization is desired, set and . Then and
The direct scaled equation avoids introducing imaginary variables when a real is required.
For a localized traveling wave put with , and require at infinity. The modified KdV equation integrates once to . Multiplying by and integrating again gives
A nonzero decaying real solution requires . Separating on the rising or falling half of the wave and using the indicated inverse-hyperbolic-secant integral yields
The signs and translations are arbitrary. Differentiating the sech profile verifies directly. The relevant antiderivative is the inverse hyperbolic secant, since for .
Set . If , then . If , irrationality of the square root of two implies that the integer is nonzero. Factoring a difference of squares therefore gives
Thus the requested bound holds for every integer and every nonzero integer , without using the Liouville approximation theorem. For completeness, irrationality follows because in lowest terms would make even and then even, contradicting coprimality.
The Liouville approximation theorem states that if is a real irrational algebraic number of degree , there is a constant such that, for all integers with ,
Reduction of the fraction is not necessary: an unreduced denominator only weakens this bound. More generally the same type of bound holds for an algebraic number of degree whenever . The exception is essential for a rational , since an exact rational representation gives zero error. A rational number of degree one obeys the bound directly: if in lowest terms and , then .
The equalities are valid at a differentiable interior optimum under the intended concave formulation, but not under the printed assumptions alone. To derive the intended result, differentiate the finite conditional sum in the Bellman objective. For an interior portfolio fraction with positive invested wealth, its derivative gives
The consumption derivative gives . Since , the first equality cancels its risky part and yields the second requested equality. The envelope derivative with respect to wealth gives , giving the third. Thus, under these added hypotheses,
The first prices the excess stock payoff using future marginal utility; the second equates marginal utility from consuming now to that from saving in the bank; the third identifies the marginal value of wealth with that common quantity. At portfolio or consumption boundaries these are replaced by one-sided optimality inequalities. Finiteness of the sample space justifies differentiating a finite sum; it does not ensure differentiability of a supremum or an interior optimum.
A concrete counterexample satisfies the printed convex assumptions and attains every supremum. Take one remaining decision, a one-point sample space, a deterministic stock return , , and controls in . The optimum is , since the objective is convex in and its larger endpoint value is . Then and . The first claimed expectation is ; the second compares to ; the third compares to . All three fail. Consequently the requested equalities cannot be proved as printed; the derivation above supplies their precise intended interior version.
Here and : the specified utility is strictly concave, contrary to the word “convex” in part (i). Assume its expected values are finite on the admissible set. Define and choose a constant portfolio fraction maximizing . Equivalently maximize for and minimize it for . An interior optimum satisfies
For a constrained endpoint optimum the corresponding derivative has the appropriate one-sided sign. The objective is concave in and strictly concave if , so this condition or its endpoint version determines the optimum. Put and .
Backward induction with independence of the returns gives and . Maximizing the consumption expression
gives , hence
Writing yields and . Therefore the fully explicit horizon dependence is
Use when , and when . The investor consumes this fraction, invests the remaining wealth with the same optimal portfolio mix at each date, and consumes all remaining wealth at . If the stock is identical to the bank almost surely, every portfolio fraction is equivalent.
Let represent the information at decision time and conditional expectation given it. is the largest conditional expected utility from the remaining consumption opportunities with current wealth ; it may depend on the information state as well as . The controls and are chosen using current information. In the usual allocation interpretation and , and next wealth is . Other borrowing/short-selling rules require explicitly replacing this admissible set while preserving solvency.
The Bellman equation follows by separating current utility from future utility: after any current decision the best continuation has conditional value , and maximizing over the current admissible decisions gives the stated recursion. At the last opportunity all wealth is consumed, because utility is increasing, giving .
There are two printed qualifications. Strict convexity is not needed for this recursion, but it conflicts with the concave power utility in part (ii) and does not support the interior maximizing first-order conditions in part (iii). Also the displayed recursion starting at includes consumption at times , whereas the preceding sum starts at one. The same recursion represents that sum when begun at time one; alternatively relabel the consumption dates. Below the policy is given for the recursion's remaining horizon, so this indexing discrepancy does not leave the optimization unspecified.
Assume . The additive two-way model has dimension ; the null model, with no exam effects, has dimension . Write row, column and grand means as . Orthogonal projection onto the full model gives fitted values , while the null fit is . The added exam sum of squares and full residual sum of squares are
The preceding orthogonal-projection result gives independent null chi-squares with and degrees of freedom. Therefore
Reject the no-exam-effect hypothesis for a large value. The printed alternative repeats the identifying constraint ; a genuine alternative additionally has at least one nonzero . No interaction term is being fitted; the independent equal-variance Gaussian error assumption is what makes this exact test valid.
Let and . For nested subspaces these are orthogonal projections onto and , of ranks and . Under the null, both annihilate . In an orthonormal basis adapted to , these two spaces and their complement, the coordinates of are independent . Consequently
and the two variables are independent. Equivalently the joint probability density of the two unscaled sums factors into gamma densities of respective shapes and common scale .
The nuisance variance cancels in
Reject for a value above the upper critical quantile to obtain a level- test. Under a genuine alternative the numerator is noncentral chi-square with noncentrality , while the denominator retains its central law, explaining the upper-tail choice.
Complex conjugation permutes the irreducible characters, because the conjugate of an irreducible representation is irreducible. This involution fixes the real-valued characters and interchanges the other characters in pairs. If there are such pairs, then conjugating permutes its rows by transpositions. Therefore
It follows that the determinant is real when is even and purely imaginary when is odd. It never vanishes, by the preceding part. Real-valued characters include both real and quaternionic representation types; the criterion concerns values of the characters, not those two representation types separately.
The matrix is square by completeness. Column orthogonality says . Taking determinants gives
In particular its determinant is nonzero.
Apply completeness to the indicator of the conjugacy class of . Its expansion coefficient is , because that class has size . Evaluating at gives
The complex conjugation is part of the printed formula; dropping it would not give the general column orthogonality relation.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact