The scaling relation says that is a homogeneous function of degree . Fix and differentiate the identity with respect to the positive parameter . The chain rule gives
Setting proves the Euler theorem for homogeneous functions identity
Differentiate once more with respect to , using equality of the mixed partial derivatives for the assumed twice continuously differentiable function:
At this is the second-order Euler identity for homogeneous functions:
The repeated parameter differentiation accounts for the factor , rather than .
Write . Direct differentiation, using the chain rule, gives
The stated parameter restrictions ensure that the logarithm is defined near , and that and . With , the Taylor series begins
If , the constant term is nonzero, and the first two nonzero terms are
This covers both and ; the constant term is respectively positive or negative.
If , which is possible precisely with and , the constant term vanishes. The first two nonzero terms are then
No further case is needed, since the linear and quadratic coefficients cannot vanish under the given restrictions. All remainders use Big O notation.
For the given differential form, set and . Their partial derivatives satisfy
In fact an explicit potential is
since and . Thus the differential form is an exact differential form on all of .
Replacing by suggests the potential
Direct differentiation verifies that is exactly the left-hand side of the required ordinary differential equation. This direct verification remains valid even for negative ; it does not require a real square root . Therefore
The initial condition gives . Solving this quadratic equation in and selecting the branch that has gives
The second expression also defines the removable value . The maximal open interval containing on which this is a differentiable real solution is
At either endpoint the square root vanishes and , while , so the original ordinary differential equation cannot hold there with a finite derivative.
A rational lower bound for the natural logarithm proves positivity for every , including . Define
Then , while direct differentiation gives
Thus for . Setting in the expression from part (b) gives
Therefore , and is a strictly increasing sequence.
An antiderivative of the initial velocity is . Thus D'Alembert's formula gives
This is a positive Gaussian function moving right and a negative Gaussian function moving left. Their cancellation at gives the zero initial displacement, while direct differentiation gives .
For every , the profile is an odd function of , vanishes at , is positive for and negative for , and tends to zero at both spatial infinities. The signs follow from . The positive and negative lobes move farther apart as increases; for large separation they approach the individual unit-height Gaussian functions centred at . At finite separation the actual extrema lie slightly beyond these centres: writing , the positive global maximum occurs at the unique satisfying .
Figure 1.
Oppositely signed Gaussian wave profiles at two positive times
. Representative times with and show the odd function profile and increasing separation of its lobes. The individual component centres are , while their superposition slightly shifts the actual extrema. Details.
Choose the left homogeneous solution and the right one . Their Wronskian is . The Dirichlet modified Helmholtz Green function on an interval, with operator sign , is therefore
It vanishes at both endpoints, is continuous at , and its first derivative jumps by , giving . The Green-function representation then gives
The two integrals are and , respectively. Substituting them and simplifying gives
Direct differentiation verifies and both zero boundary values. The negative kernel also explains why the solution is negative inside the interval despite the positive right-hand side.
Figure 1.
A negative Dirichlet Green kernel produces a negative response to positive forcing
. Left: three source locations give continuous kernels with derivative jump . Right: the integrated solution of returns to zero at both boundaries. Details.
In monic form the Chebyshev differential equation has and . Both are analytic near zero, so it is an ordinary point. At , and are analytic; at , and are analytic. Thus both endpoints are regular singular points.
Insert and equate coefficients. The recurrence relation is
Explicitly the factors are for and for . The lowest equation for forces . For , one may choose to select an even solution, independent of the odd solution. The leading coefficient is free in either chosen parity branch.
For a nonterminating branch the consecutive parity-term ratio tends to . Hence the ratio test gives convergence for , and radius of convergence one. Terminating branches are polynomials with infinite radius. For an integer, choose of the same parity as : the recurrence stops once , producing a degree- Chebyshev polynomial. Normalization at gives all nonzero coefficients through degree three:
Set . Direct differentiation gives , so the equation becomes . For , . A polynomial has finite derivative at , and therefore , forcing . Also , so . For , the transformed solution is affine in and the same derivative condition removes its linear term. Thus
The endpoint values follow by continuity. The finite-derivative condition is what excludes the independent nonpolynomial branch, rather than normalization alone.
The substitution separates the uniform equilibrium from the decaying perturbation. Direct differentiation gives
Consequently the reaction-diffusion equation reduces to the heat equation . Its data become
When the three constants coincide, the Dirichlet boundary conditions for are homogeneous. Separation of variables gives and , selecting the normal modes for . Thus
Two integrations by parts give , while the constant term uses . Therefore the Fourier sine series is
For , its first coefficient is nonzero. Multiplying by and retaining the slowest-decaying mode gives
The remainder estimate holds uniformly in for sufficiently large positive time. If , the fundamental vanishes and the next possible mode has decay rate , explaining the exclusion.
There is an initial endpoint compatibility issue unless : the given polynomial profile vanishes at the endpoints, whereas the boundary values equal . The series realizes the initial data in L2 space and pointwise in the open interval, imposing the prescribed boundary values for . For nonzero it cannot also be continuous at both initial endpoint corners.
The homogeneous equation is a Cauchy-Euler equation. Trying gives the repeated indicial root
Hence, for ,
Both independent solutions diverge at the origin, so no nonzero homogeneous combination satisfies the zero-origin conditions by continuous extension.
For a source point , finiteness on forces the Green function to vanish on that side. On , continuity and the unit first-derivative jump require
Using the homogeneous solutions gives the causal Green function for a repeated-root Euler operator
Indeed, the Wronskian of and is , and direct differentiation gives . Since is continuous, its second derivative produces precisely a unit Dirac delta, with no derivative of a delta. For each positive source it is identically zero near the origin, so both required origin values vanish. The differential operator itself is interpreted on ; no value of its singular coefficients at zero is needed.
Integrating against the forcing yields
The last integral equals , by integration by parts or differentiating . Consequently
Substitution gives , while . The divergent homogeneous solutions prove uniqueness in the regular class. No boundary condition at infinity was imposed or required.
Direct differentiation gives
On the unit disk , polar coordinates give , and . Consequently the volume integral is
For an independent surface integral calculation, the relevant cross product is
The bottom face contributes and the top contributes . On the cylindrical side, put , , and . The flux density is . All terms except integrate to zero because they are odd functions of or , giving
Thus minus the total outward flux is , in agreement with the volume integral.
The source factor cancels the singular denominator of the Green function. Splitting the integral at gives
Using , these two integrals are and , respectively. Simplification gives
The exponential and linear terms are homogeneous solutions, while direct differentiation gives for . Also , and the expression is analytic through zero. Uniqueness in this regular class follows because any difference is a global linear combination : the left boundary forces , and the right then forces .
The two homogeneous Dirichlet boundary conditions on force negative separation constants. The initial profile is an even function, so only the even sine-family eigenfunctions are needed:
They obey and . Odd eigenfunctions have zero projection onto the even initial data. Hence the initial coefficients are
The desired eigenfunction expansion is therefore
At this is the Fourier series of on the interval; its coefficients are absolutely summable. Each term satisfies the partial differential equation and side conditions. For the additional Gaussian decay in justifies termwise differentiation. Since and , the whole series decays uniformly as .
Let . Since , differentiation under the Fourier transform integral and integration by parts give
Thus . The Gaussian integral gives , proving the Fourier transform of a Gaussian formula
For the higher derivatives, start with . If , the product rule gives
If has degree and leading coefficient , the recurrence gives degree and leading coefficient . Induction proves the assertion for every . These polynomials are , where is the Probabilists' Hermite polynomial.
Set . Direct differentiation gives , so . Finiteness of at zero requires , and the other endpoint gives . The Dirichlet eigenvalues are positive: integration by parts gives , and a nonzero cannot have zero right-hand side. Thus , and the second endpoint gives
Define by its limit. This is the radial Dirichlet spectrum in three dimensions with radius . Its weighted squared norm is .
Use the Green-function representation to integrate over the charged segment:
For , a primitive with respect to is
as direct differentiation verifies using the derivative of inverse tangent. Therefore
This expression is even in , since is even. On , take the continuous limit , with at . The finite segment has a logarithmically growing potential at large distance, but its electric field decays; the boundary condition constrains the field rather than the potential.
Let be the sphere's mechanical moment of inertia about its rotation axis, and let . For an undriven rigid sphere the rotational energy is . In the weak-radiation-loss approximation, conservation of energy gives
Integrating gives
Equivalently, the characteristic spin-down time is
The radiative spin-down of a rotating electric dipole therefore has angular frequency that decays as at late times within this model, rather than exponentially. The original paper gives no mass or mass-density profile, so cannot be determined from and the relative permittivity. If a homogeneous solid sphere of mass is additionally assumed, insert ; uniform dielectric response alone does not imply this mechanical mass distribution.
The approximation is important. If the dipole angle is with , direct differentiation gives . Using the constant-frequency radiation law instantaneously neglects the second term and assumes . This gives the standard leading slow spin-down solution above. An exact nonadiabatic radiation reaction evolution would require the mechanical and near-field dynamics beyond the information supplied, rather than treating this leading law as exact at arbitrarily rapid damping.
For a normalizable state take . inverse construction of a quantum potential gives . differentiation yields , so the chosen potential energy zero fixes . Thus
This energy lies above the negative minima of the potential energy; its zero value does not mean zero kinetic energy. The nodeless eigenfunction is the ground state.
All four angle measurements have the same standard uncertainty, so ordinary least squares minimizes
Differentiation gives
Thus the unique minimum is
The overbars denote sample means over the four observations. Numerically,
so
The fixed have negligible uncertainty. Assuming independent errors in the four , propagation of uncertainty in quadrature gives
Hence
If the period measurement is independent of the angle measurements, including its calibration uncertainty gives
This last uncertainty includes the stated random measurement errors only. Whether the model describes the data must be checked before treating it as a reliable measurement of the gravitational constant.
Using gives
The internal-energy identity from (b), followed by differentiation with respect to temperature at fixed moment of inertia, yields
For one mole of independent rotors, the rotational energy is and the rotational molar heat capacity is .
This agrees with the equipartition theorem. The given spectrum describes a linear rotor with two independent rotational degrees of freedom, each contributing to the high-temperature mean energy. Rotation about the molecular axis is not an additional degree of freedom of this ideal linear-rotor model, so the result is rather than per rotor. These are rotational contributions alone; translational and vibrational heat capacities have not been included. At low temperature the discrete excitation gap freezes rotational excitation out, so the rotational heat capacity tends to zero instead of remaining at its classical value.
Take positive heat flux upwards, along increasing , and denote thermal conductivity by . Fourier's law gives . Since , differentiation of the literal printed expression gives
Its negative young-age flux is another sign of the unphysical initial profile. For the explicitly corrected hot initial plate, the surface heat flux of a cooling plate is instead
The old-age limit is . For , replacing the Gaussian sum by its leading integral gives , recovering the half-space cooling model. Neither nor is numerically specified, so the age-dependent flux remains symbolic as requested.