The Laplace transform of a function on is
for values of for which the integral converges. Integration by parts gives the Laplace transform of a derivative
Write . Transforming the first two equations and using the initial data gives
The third equation then gives
and hence
A partial fraction decomposition therefore yields the sequential radioactive decay formula
Now let and put . The transformed contribution originating from the initial population becomes
Equivalently, solve the middle equation first to obtain
and use an integrating factor in the final equation:
Evaluating the elementary integral gives
At distance , isotropic luminosity produces radiative acceleration in material of opacity . In fully ionized hydrogen, one Electron supplies a Thomson scattering cross-section for approximately one proton mass of material, so . Balancing radiation against the Newtonian gravitational field of the black hole gives the Eddington luminosity
Below this luminosity gravity can confine optically thin ionized hydrogen; above it, electron scattering alone accelerates the gas outward.
An electron--positron pair has mass and total scattering cross-section , so its opacity is . Therefore
The limit is lower because the radiative force per unit inertial mass is larger in a pair plasma.
For a cloud with arbitrary constant opacity per unit mass,
Suppose the luminosity jumps to a constant while the cloud is at rest at . With , its radial acceleration is
Multiplication by and integration from to infinity gives conservation of energy
This result assumes that and remain constant and that the cloud stays optically thin.
Write for the joint density and assume regularity permits differentiation under the integral. Since
one differentiation gives
Differentiating the score itself,
Taking expectation gives
Thus the information identity is
For , write
The given evolution of the discrete scattering data gives
Solving the resulting two scalar linear equations for the components of and substituting in the reconstruction formula gives
Choosing the additive multiple of so that as and integrating in yields the One-soliton solution of the sine-Gordon equation in light-cone coordinates
It depends only on exactly when the two positive coefficients in the exponent agree:
The unique positive solution is , and then
The transformations satisfy , is the identity map, and , so they form a one-parameter group. If
then the chain rule gives
Thus is a Lie point symmetry. Applied to the one-soliton family, it replaces by . Taking gives , so every member is transformed to the function found above.
For the stated solution, set and . When , its two arguments reduce to
At fixed , only varies, so the Sine-Gordon breather has fundamental period
Finally put . Under the same symmetry, the parameters become
and hence . Choosing makes this sum , proving that every solution in the family is symmetry-equivalent to the normalized breather.
For a bounded function, the lower and upper integrals are the supremum of lower Darboux sums and infimum of upper Darboux sums. It is Riemann integrable when these agree.
Here for , so . On it has only finitely many discontinuities and is piecewise continuous, hence integrable. On its upper-minus-lower contribution is at most . Taking proves integrability on .
The characteristic polynomial of the homogeneous equation is
so . For a particular integral put . Then
Taking gives after discarding homogeneous terms. Therefore
Expanding with the Levi-Civita symbol and the product rule gives
The Stokes theorem states
where the boundary orientation follows the right-hand rule about .
Apply it to . On , and . Substitution of the vector identity and contraction with leaves
The boundary integrand satisfies , proving the formula. The vector is the outward co-normal in the tangent plane of .
For the hemisphere, and . The projected divergence is , so the left side is
On the positively oriented equator, , hence and the boundary integral is also .
The first isomorphism theorem says that for a homomorphism ,
The map is well-defined because equal cosets differ by a kernel element; it is a surjective homomorphism onto the image, and injectivity follows because its kernel is the identity coset.
Here consists of invertible real matrices and consists of those with determinant one. The latter is the kernel of the surjective determinant map to , so it is normal and
The given integral matrices form a group because products and inverses remain integral. The inverse formula shows that an integral inverse exists exactly when the determinant divides every cofactor; taking determinants shows more directly that , hence , and the adjugate formula proves the converse. The matrices show infinitude.
Reduction modulo two is a homomorphism . Its kernel is exactly , so is normal; its index is finite because the target has only six elements.
The residue theorem states that if a meromorphic function has finitely many poles inside a positively oriented simple closed contour and none on it, then its contour integral is times the sum of the enclosed residues.
Apply it to
on a keyhole contour around the positive real axis. The outer and inner circles vanish as their radii tend to infinity and zero because and , respectively. On the upper bank the numerator tends to , while on the lower bank it tends to and the direction is reversed. Therefore the limiting contour integral is
The only enclosed pole is the double pole at . Since ,
The residue theorem now gives
For , division and
yield
At , the integral is one, agreeing with the continuous limit. This is the positive-axis keyhole beta integral.
Because the parameter enters through ,
Use this as in part (a). The necessary orthogonality condition is
With and ,
Consequently
The normalization makes the second integral one. Divide by to obtain
This is the leading nonlinear eigenvalue shift in a Sturm-Liouville problem.
For ,
The stationary Schrodinger equation becomes
Hence, choosing the positive root and a positive normalization constant,
The state is even, so . The Gaussian integrals give
and therefore . These values are collected in gaussian eigenstate for a quadratic potential.
Finally, equality in the derivation of the uncertainty relation requires the centred vectors to be linearly dependent with a purely imaginary proportionality constant. Thus for some ,
In position space this says
whose normalizable solutions are
Thus every saturating state is Gaussian up to translation, a plane-wave factor, and an overall phase, as in the equality case of the Heisenberg uncertainty relation.
Suppose the additive group of the integral domain is isomorphic to . Every ideal is then an additive subgroup of a finitely generated free abelian group, so it has finitely many additive generators . These also generate as an -ideal: integer coefficients are coefficients from the canonical copy of in . Thus every ideal is finitely generated, proving that is Noetherian by noetherianity from finite additive rank.
For an example that fails (i)--(iv), take
It is an integral domain and has additive group . The ideal
has index two: modulo , one has and , and the resulting quotient is . If , multiplication by its generator would have determinant and absolute index
which has no integer solution. Hence is not principal, as detailed in nonprincipal ideal in the integers adjoined a square root of minus five. Condition (i), and therefore all four equivalent conditions, fails.
Take a variation , where the differentiable function obeys
because both and its first derivative have fixed endpoint values. The first variation of the functional is
Applying integration by parts once to the second term and twice to the third gives
The endpoint conditions on and make every boundary term zero. Since the remaining integral vanishes for every admissible variation, the fundamental lemma of the calculus of variations yields the higher-order Euler-Lagrange equation
For
the parity condition is preserved by componentwise addition, negation, and multiplication, and is the identity. Thus is a ring.
It is not an integral domain, since and are nonzero elements of whose product is zero. It is also not a product of two nontrivial rings. Indeed, an idempotent in has each coordinate in , and the parity condition leaves only and . The proved equivalence then excludes a nontrivial product decomposition.
To deduce the final assertion, use the characterization that an integral domain is a unique factorization domain when it is atomic and every irreducible element is prime. Factoring the contents in and then the primitive parts by degree shows that is atomic.
An irreducible constant of is prime in . Every irreducible polynomial of positive degree is, up to a constant unit, primitive. Part (i) makes it irreducible in ; because is a principal ideal domain, it is prime there, and part (ii) makes it prime in . Thus every irreducible of is prime, and
This is the polynomial ring over a unique factorization domain theorem.