Invert the equation and regard as a function of :This is a first-order linear differential equation. Multiplication by the integrating factor givesso . The initial condition at gives . Hence and
Define . By the fundamental theorem of calculus, . The chain rule givesIntegrating from to and using , yields the change of variables formulaThe argument also covers a decreasing because both integrals are oriented.
For , set . The ordinary change of variables formula givesTaking is exactly the defining limit of the improper integral. By the improper power integral, it converges for , and
Let be the size of generation . This is a Galton-Watson process with offspring meanThe expected generation size in a Galton-Watson process is thereforeIts probability generating function isBy the Galton-Watson extinction fixed point, the extinction probability is the smallest solution in of . Factoring givesso . The probability of production continuing forever is
Expanding the squared Euclidean distances givesThus one may takeThe normal is parallel to , so is its perpendicular bisector. If lies on both and , then , hence it also lies on . Geometrically, the three perpendicular bisectors of the noncollinear triangle concur at its circumcenter.
Assume the direction vectors are nonzero. The cross product equation is equivalent toso is parallel to and the locus is the line .
For nonparallel directions, is normal to both lines. Projecting their displacement onto the corresponding unit vector gives the distance between skew linesIf the directions are parallel, the corresponding formula is
If with , thenso every eigenvalue is real. If and , thenDistinct eigenvalues therefore have orthogonal eigenvectors.
The normalized eigenvectors form an orthonormal basis, so the matrix satisfies and is unitary. Withthe equations say , hence . This is the finite-dimensional unitary diagonalization of a normal matrix.
A unitary conjugate of an arbitrary diagonal matrix need not be Hermitian: and give . It is Hermitian exactly when all diagonal entries of are real.
For the displayed matrix, one valid decomposition isThe columns are orthonormal eigenvectors, so direct multiplication gives .
For the heat kerneldirect partial differentiation givesThus solves the heat equation. For bounded continuous , differentiation under the integral sign givesWith ,The Gaussian integral makes the weight have total mass one, and the dominated convergence theorem gives . This is the Gaussian approximate identity.
For the viscous Burgers equation with unit viscosity, the Cole-Hopf transformation reduces the equation to . To obtain initial value , choose(up to an irrelevant positive constant), and set . ThereforeEquivalently,and the approximate-identity limit gives .
The first and third equations form a constant-coefficient linear system of differential equationsThe eigenvectors and have eigenvalues and . Applying the initial data givesThe remaining equation becomesAn integrating factor, or the usual exponential and trigonometric particular solutions, givesThese values satisfy all three initial conditions.
Rolle theorem states that if is continuous on the closed interval between two distinct points, differentiable between them, and has equal endpoint values, then vanishes at an interior point.
Let and, for , putThen and for . Applying Rolle's theorem successively times gives a point , , where . Hencewhich is the stated Taylor theorem with Lagrange remainder.
If , the case gives . Thus is constant; equivalently this is the immediate corollary of the mean value theorem.
Differentiation givesThe initial conditions set the constant to one, sothe Pythagorean trigonometric identity.
Since , Taylor theorem with Lagrange remainder givesfor some , whilefor some . The intermediate value theorem supplies with . The sine addition formula gives . The analogous cosine addition formula gives , soThus is a periodic function.
Choose a closed interval containing the bounded sequence. Bisect it and retain a half containing infinitely many terms; repeat. The resulting intervals are nested and their lengths tend to zero. By the nested interval theorem they have one common point , and choosing successively indexed terms from these intervals produces a subsequence converging to . This proves the Bolzano-Weierstrass theorem.
Boundedness of makes both real sequences and bounded. The Bolzano-Weierstrass theorem first gives a subsequence for which converges. Applying it again to gives a subsubsequence for which the imaginary parts also converge. Since convergence of complex numbers is equivalent to convergence of their real parts and imaginary parts, this subsubsequence converges in .
Construct the nested index sequences inductively. Start with . Having chosen , apply the Bolzano-Weierstrass theorem to the bounded sequence of th coordinates along those indices, and let be an increasing subsequence along which that coordinate converges. Because each new sequence is nested inside all earlier ones, coordinates all converge along .
Now take the diagonal subsequence argumentNestedness impliesso is strictly increasing. For every fixed , the tail is a subsequence of ; hence converges. This single diagonal subsequence works for every coordinate.
For events , the probabilistic inclusion-exclusion principle isTo prove it, fix an outcome lying in exactly events. Its total coefficient on the right isby the binomial theorem; outcomes in no event contribute zero. Taking expectations of this pointwise indicator identity proves the formula. Truncating after the pair terms gives the Bonferroni inequalities
For the final bound, let and . The intersection assumption givesThe Cauchy-Schwarz inequality applied to yields . Thereforeso the required universal constant may be taken as . This is a second moment method estimate.
The standard normal density isIt is nonnegative, and the Gaussian integral gives , so it is a probability density function. Completing the square gives the moment-generating function of a standard normal variableThus and
The linear combination of independent normal random variables is normal. HenceThis also follows by multiplying the moment-generating functions of the independent and identically distributed random variables.
Since and a standard normal variable has second and fourth moments and ,Thus has the chi-squared distribution with degrees of freedom and
Convergence in distribution means that the cumulative distribution functions satisfy at every continuity point of . The Lévy continuity theorem states that this is equivalent to pointwise convergence of characteristic functions to the characteristic function of , provided the limiting function is continuous at zero.
For fixed , independence and a Gaussian integral giveUsing ,Therefore , the characteristic function of the standard normal distribution. Lévy's theorem now givesThis derives the limit directly, without assuming the central limit theorem.
Articles by others on the same topic
There are currently no matching articles.