Using Euler's formula, the complex exponential function satisfies
Hence
The complex sine function obeys
Thus
Since , the complex conjugate gives
Therefore
Factor the expression using the complex conjugate:
It is real, so
All values of the complex logarithm are
Because , one may take the complex argument . Consequently
Invert the equation and regard as a function of :
This is a first-order linear differential equation. Multiplication by the integrating factor gives
so . The initial condition at gives . Hence and
Define . By the fundamental theorem of calculus, . The chain rule gives
Integrating from to and using , yields the change of variables formula
The argument also covers a decreasing because both integrals are oriented.
For , set . The ordinary change of variables formula gives
Taking 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 mean
The expected generation size in a Galton-Watson process is therefore
Its probability generating function is
By the Galton-Watson extinction fixed point, the extinction probability is the smallest solution in of . Factoring gives
so . The probability of production continuing forever is
Expanding the squared Euclidean distances gives
Thus one may take
The 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 to
so 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 lines
If the directions are parallel, the corresponding formula is
A matrix is Hermitian when , and unitary when .
If with , then
so every eigenvalue is real. If and , then
Distinct eigenvalues therefore have orthogonal eigenvectors.
The normalized eigenvectors form an orthonormal basis, so the matrix satisfies and is unitary. With
the 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 is
The columns are orthonormal eigenvectors, so direct multiplication gives .
For the heat kernel
direct partial differentiation gives
Thus solves the heat equation. For bounded continuous , differentiation under the integral sign gives
With ,
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 . Therefore
Equivalently,
and the approximate-identity limit gives .
The first and third equations form a constant-coefficient linear system of differential equations
The eigenvectors and have eigenvalues and . Applying the initial data gives
The remaining equation becomes
An integrating factor, or the usual exponential and trigonometric particular solutions, gives
These 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 , put
Then and for . Applying Rolle's theorem successively times gives a point , , where . Hence
which 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.
Differentiate
Using and gives
By the zero derivative on a connected open set, is independent of .
The constant from part (i) is found by setting :
Taking therefore gives the sine addition formula
Differentiation gives
The initial conditions set the constant to one, so
the Pythagorean trigonometric identity.
Since , Taylor theorem with Lagrange remainder gives
for some , while
for some . The intermediate value theorem supplies with . The sine addition formula gives . The analogous cosine addition formula gives , so
Thus 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 argument
Nestedness implies
so 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 is
To prove it, fix an outcome lying in exactly events. Its total coefficient on the right is
by 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 gives
The Cauchy-Schwarz inequality applied to yields . Therefore
so the required universal constant may be taken as . This is a second moment method estimate.
The standard normal density is
It 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 variable
Thus and
The linear combination of independent normal random variables is normal. Hence
This 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 give
Using ,
Therefore , the characteristic function of the standard normal distribution. Lévy's theorem now gives
This derives the limit directly, without assuming the central limit theorem.

Articles by others on the same topic (0)

There are currently no matching articles.