The further observation is independent of the earlier observations conditional on . Integrate its conditional success probability against the posterior:
The given factorial formula for the beta function gives this ratio as . Thus the posterior predictive probability is
It is the posterior mean of the Bernoulli success parameter. Independence here is conditional: sharing the uncertain parameter generally makes past and future observations dependent before conditioning on it.
Let denote the distribution function of the posterior beta distribution, with and . This distribution is continuous with positive density on . Its equal-tailed credible interval is
Compute the two quantiles by solving and . Each excluded tail has mass , leaving posterior mass between the endpoints.
A credible set is a measurable subset with posterior probability :
In ordinary language, given the observed data and the chosen prior model, the probability that the parameter lies in this set is . Such a set need not be an interval or be unique; its defining requirement is posterior mass.
Let . The Bernoulli distribution likelihood is proportional to . Multiplication by the beta distribution prior gives
Normalizing with the beta function therefore gives
The parameters remain positive. This is Beta-binomial conjugacy: successes add to the first shape parameter and failures to the second.
Let , where . By the preceding asymptotic normality and Slutsky's theorem, is approximately standard normal. Inverting gives the Wald confidence interval
Its coverage approaches as . The interpretation of the confidence interval is repeated-sample coverage of the fixed parameter; it does not assign a posterior probability to .
The absolute observations are independent exponential random variables with mean and variance . Applying the central limit theorem directly to their average proves
Thus the large-sample approximation is , consistent with inverse Fisher information. Also in probability by the weak law of large numbers, so in the standard error can be replaced by through Slutsky's theorem.
Put . The log-likelihood for the Laplace distribution is
For the derivative is positive for and negative for , so the unique maximum-likelihood estimator is
The exceptional data set has probability zero; there the likelihood has its supremum at the excluded boundary . For the Fisher information, has exponential density for , hence mean . Since ,
This also follows from the score variance, because .
For the uniform distribution on , the mean is and the variance is . The central limit theorem for independent identically distributed variables with finite nonzero variance gives
Choose . Then
The standard normal distribution function is continuous and strictly increasing, so its value at the finite positive number is strictly between and one, as required.
Put . For fixed and sufficiently large ,
For its distribution function is zero. The limiting distribution function is therefore for , for , the exponential distribution of rate one. Since this distribution function is continuous everywhere,
For , independence and the uniform distribution give
Since , for ,
For the probability is zero. This is exactly convergence in probability of to one.
Independent marking with probability is Poisson thinning and gives a Poisson process of chip-buying arrivals, of rate per hour. Its first arrival time therefore satisfies
For example, its survival probability is , which also derives the thinning conclusion directly.
Let and be the interarrival times adjacent to the second arrival. They are independent exponential random variables of rate twelve per hour. The second customer meets the first if hour, and meets a later customer if hour. If the third arrives too late, every subsequent customer does also. Thus the only way to meet nobody is for both gaps to be at least five minutes:
Hence . Exact equality of arrival and departure times has probability zero. The calculation includes both customers already present and customers arriving during the visit; it is a two-sided interarrival test for overlap.
The first arrival time , measured in hours after opening, has exponential distribution of rate twelve. Therefore
Equivalently, there must be no arrivals in the first quarter hour and at least one in the next; independent increments give .
A Poisson process has a Poisson distribution for the count in an interval of length , with mean equal to rate times length. Fifteen minutes is hour, so
Put . Logarithmic differentiation gives
Therefore
so the appropriate potential energy is . The wavefunction never vanishes, so no other time-independent potential gives the same equation for this precise phase choice.
The squared modulus is
It changes width and height with time, so this is not a stationary state. Its integral is the constant ; multiplying the wavefunction by normalizes it. The normalized Gaussian wave packet stays centred at zero but spreads, with position variance . It represents a localized free particle with a spread of momenta, rather than an energy eigenstate. Free Gaussian wave packet evolution broadens the packet even with zero mean momentum.
The Time-dependent Schrödinger equation is
A stationary state of energy has a wavefunction , where
Its time dependence is only a global phase, and its probability density is independent of time.
The polar Euler-Lagrange equation is
For a constant angle with , conservation of makes constant, say . The remaining equation is
If , every nonvertical constant-angle motion is a conical pendulum motion:
The rod sweeps out a cone about the downward vertical, in either azimuthal direction. Equivalently, . The exactly downward and exactly upward vertical rods are also static solutions; azimuth has no physical meaning at either pole. No static tilted rod is possible under nonzero gravity.
If , the condition is . Thus a rod may remain at rest in any orientation, or rotate uniformly in the horizontal plane with and arbitrary constant . The vertical cases are included among static orientations; changing only their azimuth does not move the rod.
Away from the coordinate poles, use in the conserved energy:
Rearranging gives the first-order equation
Where the right side is positive, either sign of its square root is possible, according to the direction of motion. Its zeros are turning points. For , the centrifugal term excludes the poles; if , the polar-coordinate formula is interpreted through the original rod equations.
For an autonomous Lagrangian, the Euler-Lagrange equations imply
Indeed, differentiating the expression cancels the acceleration terms, leaving , which vanishes. Here is quadratic in the velocities, so . Thus the conserved energy is
The azimuth is a cyclic coordinate. Its conjugate momentum is constant:
Therefore is constant as well. Physically, is the vertical component of angular momentum.
The centre of mass is at height . With gravitational potential energy zero at the pivot level,
Hence the Lagrangian is
Adding a constant to the potential would change the numerical energy reference but would not change the motion.

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