Set the similarity variable
Then
The factors of cancel, leaving the self-similar ordinary differential equation
Let be the group parameter. The infinitesimal generator of a Lie point symmetry
has flow equations
Therefore it generates the scaling group
Here , , and . The total-derivative formulas for the second prolongation of a Lie point symmetry give
and
Thus
For the wave equation expression ,
It therefore vanishes whenever , proving that generates the simultaneous spacetime scaling symmetry of the wave equation.
The independent invariant of the scaling orbits is the similarity variable
while itself is invariant. Seek a group-invariant solution . Direct partial differentiation gives
The wave equation reduces to
Hence, on any interval avoiding ,
The diffusion length suggests the similarity variable
The Neumann solution of the Stefan problem, written using the error function, is
These expressions satisfy all four thermal boundary conditions. At the interface,
Since and , the Stefan condition becomes
The second term represents heat supplied from the warm water and therefore reduces the freezing rate.
The transformations
form a one-parameter Lie point symmetry of . The product is a similarity variable, and a group-invariant solution satisfies