For hitting zero before four, the success probabilities are
Conditioning each transition on eventual success gives
Thus the conditional expected hitting times satisfy
Solving this linear system gives
Part (i) gives . Since and has probability ,
Conditioned on , a walk at one moves to zero with probability and to two with probability . A walk at two must next move to one, since a move to three would violate . If
first-step analysis gives
Solving,
Let be the probability that the simple symmetric random walk starting at hits zero before . The first-step recurrence is
The recurrence says that is affine, and the boundary values determine it:
This can be false. The function
is a differentiable bijection of , but
has an unbounded difference quotient at zero and is not differentiable there. The inverse function theorem requires the additional local condition .
True. Part (a) shows that is strictly monotone. Suppose it is increasing and let . Given ,
Choose smaller than both distances from to the two outer values. If , monotonicity forces
Thus is continuous at . The decreasing case is identical with inequalities reversed.
This can be false because a strictly increasing need not be surjective. Take
Then is strictly increasing and is continuous, while is discontinuous at zero.
True. If , continuity of gives , and continuity of then gives
Equivalently, this is the composition of continuous functions theorem.
A plane reflection has determinant , while a rotation matrix has determinant . The determinant of their product, in either order, is therefore . Since every rotation has determinant , such a product can never be another rotation.
Choose the -axis along the line of intersection of the two planes. Their unit normals lie in the -plane; after choosing the -axis, take
where is the oriented angle between the planes. The two reflection matrices restrict to
on the -plane and both fix the -axis. Their product is
Thus the composition of two plane reflections is a rotation about the intersection line through angle .
Writing as a column vector, the reflection is
so its reflection matrix is
Each entry of is, up to sign, the determinant of an minor whose entries are affine polynomials in . The Leibniz formula for determinants therefore makes each adjugate entry a polynomial in of degree at most .
For arbitrary , choose positive sequences for which and are nonsingular. The nonsingular identity from part (b) applies to their product:
Every entry is a polynomial, hence continuous, in the matrix entries. Letting proves
for all square matrices.
The determinant is a polynomial in with leading term , so it is not the zero polynomial and has only finitely many roots. Hence one may choose smaller than every positive root, if any. Then
Apply the root test to the terms :
This tends to zero when and to infinity when . On , the series converges absolutely because converges: the point lies strictly inside the original radius two. Thus the lacunary power series has radius
and in fact converges on its entire boundary circle.
The series can be written as
The original power series converges when and diverges when . Hence its radius as a power series in is
Let . The Cauchy-Hadamard theorem, proved by applying the root test, gives a radius of convergence
with the usual conventions. For , choose eventually bounding , which gives absolute convergence by comparison with a geometric series. For , infinitely many terms have th root greater than one, so the terms fail to tend to zero and the series diverges.
Here and the assumed limit gives . Therefore
Thus
Here the full F-test has and . There is no evidence against the joint null hypothesis that both slopes vanish, and hence no evidence in this model that either covariate explains the response.
The full F-test has and tests the null hypothesis that both slope coefficients vanish. It decisively rejects that hypothesis, while says the fitted model explains about of the sample variation. Together with the insignificant individual t-tests, this is characteristic of multicollinearity: the two covariates explain the response jointly, but the output does not identify either one as having a separately estimable effect.
The individual t-tests only test each regression coefficient after adjusting for the other covariate. Here neither covariate is individually significant at conventional levels, but from the abbreviated coefficient table alone one cannot conclude that neither explains the response: strong multicollinearity can make both standard errors large even when the covariates are jointly useful.
Let be the time at which a right-running characteristic curve leaves the piston. The boundary velocity and the characteristic it emits are
With
these relations become
Because and , is single-valued and -periodic behind the wavefront. Ahead of the first characteristic, where , the fluid remains undisturbed and . The implicit relation is Kepler equation; unless , its inverse is not a pure sinusoid.
Series reversion gives
Expanding the cosine then gives
and hence
For
the adiabatic sound speed is
Since , choose invariants that vanish in the equilibrium state :
Consequently
In a right-moving simple wave with , the characteristic speed is therefore , independent of amplitude. The transport equation becomes , so the whole velocity profile translates rigidly at the equilibrium sound speed without nonlinear distortion.

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