A power series has radius of convergence when it converges absolutely for every and diverges for every . Its behaviour on is not specified by this definition. When , it converges at the centre and diverges at every nonzero point; an infinite radius of convergence means absolute convergence at every finite .
Suppose, towards a contradiction, that for all at some . Choose a complex number with . Then
The comparison test for series with the convergent geometric series yields absolute convergence at , contradicting the definition of . Thus terms of a power series are unbounded outside its convergence disc:
For the given power series, the ratio test gives, when ,
Hence it converges absolutely for and its terms fail to tend to zero for (the ratios are eventually larger than some number greater than ). Therefore . In fact, on it also converges absolutely by comparison with the convergent p-series .
Define the change-of-basis matrices by expressing each new basis vector in the corresponding old basis:
Thus is , is , and both are invertible matrices: a linear combination of their columns is zero exactly when the same combination of the new basis vectors is zero. For any vector , its coordinate columns therefore satisfy ; likewise .
The matrix representation of a linear map gives
Multiplying by the matrix inverse of and comparing with for every proves
The domain change of basis acts on the right, while the codomain change of basis acts on the left through its inverse.
For a bounded real function on , convergence of its improper integral means that its restriction to every , , is Riemann integrable and that the finite limit
exists. Boundedness by itself does not guarantee either local Riemann integrability or existence of this limit.
A monotone function on is bounded between its endpoint values. Divide the interval into equal pieces with endpoints . If is nondecreasing, its upper and lower Darboux sums differ by
For nonincreasing , the same calculation with reversed endpoint values gives . Thus in either case . For every one can choose to make this gap smaller than ; the Riemann integrability criterion proves that is Riemann integrable.
Now let be decreasing on with limit zero. For each , . On its monotonicity gives
Summing these bounds, with , yields
Both the partial sums and the truncated integrals are nondecreasing because . The inequalities show that one family is bounded above if and only if the other is. The bounded monotone sequence theorem then gives convergence of the sums exactly when the integer-endpoint integrals converge. For real between and , the integral to lies between the integrals to these integer endpoints; the squeeze theorem supplies the same limit. If either family is unbounded, both tend to . This proves the integral test for convergence in the required form.
For , use , which is decreasing and tends to zero. Its truncated improper integral is
This has a finite limit exactly when . If , the terms do not tend to zero, so the term test for divergence applies. Thus the full p-series criterion is
For every its nonnegative partial sums tend to .
The two Gamma function integrals are absolutely convergent when . Consequently Fubini theorem gives
Make the change of variables , , so , , , , and the Jacobian is . Powers of positive real variables use the real logarithm, so this transformation is also valid for complex exponents. The integral factors as
Both factors converge under the same real-part assumptions. The first is , proving the Beta function identity
The circle is a periodic orbit, since there and . Its period is . Linearizing in along it gives
The monodromy matrix is triangular with diagonal entries
The unit Floquet multiplier comes from translating an autonomous orbit in time: its tangent vector is a periodic solution of the variational equation, independently of . A sufficient condition for asymptotic stability is , making the normal multiplier less than one. The reverse strict inequality gives instability; equality requires nonlinear analysis.
For the normal multiplier is , so the circle is asymptotically stable. That does not mean it attracts every initial point. Since makes strictly increasing, divide the radial equation by :
For , put . Then , whose integrated linear coefficient decreases by per revolution. Thus every exterior orbit approaches .
For put . It satisfies the linear equation
Let be its solution with . It defines the separatrix wherever . At , , , and differentiation gives , so . The approach to this endpoint takes infinite physical time because .
To locate its other endpoint, use the integrating factor with . It gives
In particular , whereas
On , crossing has , so there is one crossing . There cannot be another crossing before : on crossings have negative derivative, while the local quadratic form at is positive on its left. Thus for , and its closure is a homoclinic orbit to the origin. At , , so departure from the origin likewise takes infinite time.
Scalar-solution comparison now gives the basin picture. Initial points inside that loop have at the same angle and approach before reaching angle . Points on its boundary return to the origin along the homoclinic trajectory. Points outside the loop reach angle with or lie outside the unit circle; they approach . To check the inner exterior region quantitatively, the return map at is , where . It sends every increasingly to infinity, equivalently .
Figure 1.
Stable periodic circle and the homoclinic basin boundary for the sinusoidal radial flow
. Details.
There are no other nonconstant periodic orbits: an orbit reaching the section with has strictly increasing successive values, and the remaining inner trajectories tend to the origin. The origin, defined by the continuous Cartesian extension, attracts the interior of the loop but is not Lyapunov stable, since arbitrarily small lower-sector initial points outside the loop approach the unit circle. This is the homoclinic basin boundary in a sinusoidal radial flow.
Substitute , . The derivatives give
For a nontrivial spreading similarity solution, equality at all times requires . The conserved total number of molecules is
A finite nonzero constant therefore requires , giving . In one dimension the same diffusion length exponent is , but conservation gives amplitude exponent ; generally it is in dimension .
The profile equation is consequently
Multiplication by puts it in the integrated form . For the regular localized Gaussian heat kernel profile, the constant is zero at the origin, so . Integrating gives
The second expression chooses the optional normalization . Its mass is , and its width tends to zero with while its mass stays fixed, so it approaches times a Dirac delta distribution at the origin as .
The fit is a Gaussian linear model for with an intercept and the six displayed explanatory variables:
The command computes ordinary least squares; independent normal errors with common variance are the additional assumptions yielding the exact printed tests. A coefficient describes an adjusted association on the log scale, holding the other variables fixed. Exponentiation gives a multiplicative effect on the conditional median of sulphur dioxide, not an additive effect on its original scale. Under the Gaussian model its conditional mean additionally includes the factor .
The estimates are the coordinates of . With observations and parameters the residual degrees of freedom are , and the residual standard error is to the displayed precision. The reported standard error of coefficient is . For each null hypothesis , the displayed statistic has Student t-distribution with degrees of freedom under that null. Its two-sided p-value is .
At the level the intercept, temperature, manufacturing and wind coefficients differ significantly from zero in the full model. Temperature and wind have negative estimated adjusted effects; manufacturing has a positive one. The p-values for population, precipitation and precipitation days, approximately , and , do not reject their respective zero-coefficient hypotheses. This is not evidence that their effects are exactly zero, and these observational associations do not establish causation.
A sensible candidate reduced linear regression keeps an intercept, temperature, manufacturing and wind. It must be refitted: coefficients generally change when correlated predictors are removed. The three deletions can be checked jointly by the F-test statistic
which has distribution under the joint null. The individual summary does not determine this joint test or establish the reduced model's adequacy.
In the final command, the uniquely matching component named by fit$df is the residual degrees of freedom. Thus the result is

There are unlisted articles, also show them or only show them.