Group-invariant solution Created 2026-09-24 Updated 2026-11-05
A group-invariant solution has a graph preserved by the chosen Lie point symmetry. For a one-parameter infinitesimal generator of a Lie point symmetry
a differentiable scalar solution is invariant when is tangent to its graph, equivalently
This is a first-order constraint in addition to the original partial differential equation. The values of need not be constant along the projected orbits if the symmetry also changes the dependent variable.
For , the invariance condition is . Its solutions on have the similarity ansatz . The graph is invariant under even though changes along that orbit. For a symmetry fixing the dependent variable, , the simpler statement that is constant along projected orbits is valid.
At a positive interior maximum, , , and if the point is compared with its past. The PDE instead gives , a contradiction. Thus a positive global/past-strip maximum must come from the spatial boundary or initial-time limit. The far value is positive, so any attained global maximum is positive; the argument does not prohibit a negative local maximum in isolation.
For uniqueness put . It satisfies
The parabolic comparison principle with zero difference data gives and then , hence . As usual on this noncompact singular-time domain, this uses an admissible comparison class in which the initial and far-field limits justify truncation; for example bounded/subquadratic differences on finite past strips with the corresponding uniform zero traces suffice. A barrier controls spatial infinity, since applied to it is nonnegative. The printed fixed-point limits alone should not silently be substituted for all uniform/growth hypotheses of this comparison argument.
Use drift cancellation in a parabolic similarity reduction. For the similarity ansatz, derivative scaling gives
Thus , the drift terms cancel, and with . Use the positive-equilibrium separatrix for a cubic profile equation. Multiply by and use the limiting equilibrium to determine the integration constant:
The branch approaching the positive far equilibrium satisfies ; the constant equilibrium is included as well. Separation gives
For a finite boundary value at and no interior pole, take . Values describe the corresponding coth-type approach from above; is constant, and positive gives the tanh-type branch. The other first-integral sign cannot approach the positive equilibrium nontrivially as .
The requested deficit integral is, after ,
Therefore , and the selected solution is .
Balance the time derivative, cubic dispersion and quadratic transport using the cylindrical KdV equation similarity ansatz , on . For the same real cube-root convention can be used separately. Substitution and removal of the common factor give
Every term is a total derivative: and . Integration therefore gives the requested second-order equation
where is a constant determined by any additional boundary data. No condition in the question forces .
This part uses source-free viscous evolution of an accretion disk. Put and . The prescribed kinematic viscosity then becomes
so . Since , the Keplerian viscous diffusion equation gives
Canceling the prefactor and setting proves
Use the similarity ansatz with . Derivatives at fixed give
On the branch , substitute . The two expressions reduce to
Equality of the constant coefficients requires , and then the other coefficients agree as well.
The physical compact self-similar disk with square-root density viscosity uses this branch up to its outer edge and vacuum beyond it:
Here is the positive part. The cutoff matters: beyond , the untruncated squared expression would have , and its right-hand side would no longer be the polynomial used above. At the moving edge, vanishes quadratically and vanishes cubically. The latter and its first derivative match the vacuum values continuously, so joining to zero creates no distributional mass-flux source. The joined profile satisfies the equation, including in the weak sense at the edge.
Returning to the surface density gives the explicit result
with for . Thus the outer edge is and moves linearly in physical time, with speed . The density decreases monotonically with radius, has an integrable central cusp, and drops quadratically to zero at the outer edge. The formal origin boundary has zero viscous torque in an accretion disk, because there, even though the surface density diverges.
To characterize the spreading, let and integrate in . The disk mass and angular momentum are
The mass decreases while the angular momentum remains constant: matter accretes at the origin and the remaining disk spreads outward. More explicitly, with , the inward mass flux is
It is inward for and outward for . The dividing radius is , and the origin flux equals . The outer edge carries no flux beyond itself. This family is a self-similar accreting disk with finite mass at each positive time, rather than a regular finite-mass initial profile at .
Figure 1.
Surface density and scaled surface density of the compact self-similar accretion disc at three times
. Details.
Use the dimensionless equation from part (a). For the similarity ansatz , , its three terms have time factors
A nontrivial similarity solution retaining storage, lateral drainage and nonzero rainfall requires the exponents to agree:
Unlike a source-free diffusion equation, the nonzero prescribed rainfall fixes an amplitude-versus-time scale directly, so no additional conserved quantity or boundary condition is required to determine these exponents. Degenerate spatially uniform solutions are an exception to this all-terms balance. The rain-fed aquifer similarity solution satisfies
If the dimensional equation is used directly without scaling out coefficients, its similarity profile instead obeys . The normalization above is the one in which the subsequent condition applies.
Similarity solution Created 2026-09-24 Updated 2026-11-05
A similarity solution has a fixed profile after rescaling its independent variables and, when needed, its amplitude. A typical similarity ansatz is
Substitution into a partial differential equation fixes a scale balance and produces an equation for the similarity profile . In one spatial dimension this is often an ordinary differential equation; in several spatial dimensions it can remain a partial differential equation unless a further symmetry, such as radiality, is imposed.
For on , balance of time and space derivatives gives . Preservation of a finite nonzero spatial integral gives . Writing , the profile equation is
solved by . The Gaussian heat kernel is therefore a spreading profile whose total mass stays fixed. A scale-invariant equation need not have a similarity solution compatible with arbitrary prescribed data; the scaling of the data and conserved quantities is part of the construction.