The first field has vanishing curl and is the gradient of a monomial:
For the second field, direct component differentiation gives
It is not identically zero. Thus is conservative and is not on . The conditional path-integral requests therefore apply to .
Substitution first makes the square-root branch transparent:
On the given interval this is exactly , so direct differentiation gives
in agreement with the chain-rule calculation. Outside this interval one must retain the absolute value; there are cusps at integer multiples of .
Differentiate the polar form of a complex number using the product rule and chain rule:
A second differentiation gives
The two contributions to arise separately from differentiating and from differentiating the moving exponential factor.
Write . The cross product gives , whose three diagonal partial derivatives vanish. For the second vector field, direct differentiation gives , , and . Thus
Separate variables near the nonzero initial condition: . Integration gives , and fixes . Therefore
This is the maximal connected interval containing the initial point. Direct differentiation gives ; the pole at prevents continuation as a finite classical solution of a differential equation through that point.
The positive-domain graph starts with limiting value and limiting slope , then decreases towards the horizontal asymptote , with for large . In fact direct differentiation gives
The first inequality follows from for . Thus the graph is strictly decreasing and convex upward, with and no stationary points. The integral representation also shows its positivity.
Figure 1.
The spherical mass factor and its two limiting approximations
. Details.
These properties belong to the reusable exponential spherical mass factor.
Put and . Logarithmic differentiation of the positive Gaussian function gives
Differentiating once more in space gives
Multiplying by proves
The assumption ensures both the normalization and exponential denominator are defined. This is the heat kernel, with diffusion coefficient and centre .
On the negative half-line, differentiation gives . The integration path from to stays away from the singularity at zero. Therefore
This choice satisfies .
Let . The chain rule gives , so the two given summands combine into its logarithmic derivative, . For , , so the real logarithm is defined throughout the integration path. Since ,
This satisfies , and differentiation recovers both terms of the integrand.
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 .