[
Abstract
We extend Guderley’s problem of finding a selfsimilar scaling solution for a converging cylindrical or spherical shock wave from the ideal gas case to the case of flows with an arbitrary equation of state closure model, giving necessary conditions for the existence of a solution. The necessary condition is a thermodynamic one, namely that the adiabatic bulk modulus, , of the fluid be of the form where is pressure, is mass density, and is an arbitrary function. Although this condition has appeared in the literature before, here we give a more rigorous and extensive treatment. Of particular interest is our novel analysis of the governing ordinary differential equations (ODEs), which shows that, in general, the Guderley problem is always an eigenvalue problem. The need for an eigenvalue arises from basic shock stability principles – an interesting connection to the existing literature on the relationship between selfsimilarity of the second kind and stability. We also investigate a special case, usually neglected by previous authors, where assuming constant shock velocity yields a reduction to ODEs for every material, but those ODEs never have a bounded, differentiable solution. This theoretical work is motivated by the need for more realistic test problems in the verification of inviscid compressible flow codes that simulate flows in a variety of nonideal gas materials.
1 \yr2016 \vol0 \issue0
existence of selfsimilar converging shocks for arbitrary EOS]ON THE EXISTENCE OF SELFSIMILAR CONVERGING SHOCKS FOR ARBITRARY EQUATION OF STATE
boyd, ramsey, and baty]ZACHARY M. BOYD,
1 Introduction
While much is understood concerning inviscid compressible flows in ideal gases, less is known about counterpart flows in nonideal materials. For instance, in explosion and highspeed impact phenomena, metals, plastics, and other nongaseous materials experience pressures far exceeding the limits of stressstrain models and are instead wellmodeled by inviscid compressible flow (Euler) equations. However, because of the structure of these materials, constituitive relations other than the ideal gas law are needed to correctly model the thermodynamics involved. Some equations of state (EOS) that find use in these situations are very dissimilar to that of an ideal gas and may only be valid in a limited range of pressures, energies, and densities. These EOS models can arise from theoretical considerations, empirical measurements, or a combination of both. Understanding these types of flows on a theoretical and computational level leads to improvements in safety and reliability in explosives handling, aids in the design of blastresistant materials, and enables enhanced experimental design.
Inviscid compressible flow codes (or “hydrocodes”) are widely used to simulate explosive or highspeed impact phenomena, and must be subject to rigorous programs of verification and validation (as reviewed among many others by Oberkampf et al. [1, 2], Roy [3], and Kamm [4]) while being so employed. One important code verification tool is comparison to exact solutions of the underlying equations otherwise solved approximately by a hydrocode. In the ideal gas case the Noh [5, 6, 7, 8], Sedov [9], Guderley [10, 11, 12], Kidder [13], and Coggeshall [14, 15, 16] solutions are example “test problems” that may be used to reveal strengths and weaknesses in a hydrocode (e.g., wallheating errors, symmetry breaking). Unfortunately, in the case of nonideal gas flows, exact solutions are at best less wellunderstood, if not altogether unavailable.
There has been quite a bit of effort to export some of the aforementioned ideal gas solutions to the inviscid compressible flow of nonideal materials, mostly by identifying EOS models with special properties and mimicking the derivations from the corresponding ideal gas problems [17, 18, 19, 20, 21]. There have also been some attempts at treating these issues in generality [22, 23, 24, 8], some of which have been successful. On the other hand, it has become clear that there is something special about the ideal gas constitutive law that allows for the existence of more exact solutions than other, more realistic EOS models: namely, a lack of inherent dimensional scales in both the Euler equations and EOS, and a corresponding abundance of symmetries. Thus, for each problem, it seems that the best we can do is find all EOS models that possess the necessary symmetries for the Euler equations to have exact solutions with desired properties. This method essentially amounts to finding forms of an EOS that lead to a reduction of the Euler equations from partial differential equations (PDEs) to ordinary differential equations (ODEs), and then testing whether the ODEs have a solution with desirable properties. While the reduction to ODEs has been wellstudied, the solvability of those ODEs has received less attention (with the notable exceptions of Guderley [10], Sedov [9], and Lazarus [11]). One of the contributions of this work is to initiate that study in an important special case. Existence in these problems is not trivial and often reduces to a nonlinear eigenvalue problem, whose solution properties appear to not be rigorously understood.
In addition to the need for useful code verification problems, there are two other motivations for finding analytical solutions for nonideal, inviscid compressible flows. The first – discussed principally by Barenblatt [25] – is that such solutions frequently express the intermediate asymptotic behavior of physical systems. Additional effort has gone into the closely related problem of showing that different kinds of exact solutions are stable to perturbation and in some sense will attract nearby solutions to them [26, 27, 28, 29, 30, 31, 32].
Our final motivation is the fact that in the context of inviscid compressible flow, many exact solutions belong to the subclasses of selfsimilar or scaleinvariant solutions. Understanding the spatial, temporal, or other scaling behavior of fluid flow scenarios allows experimentalists to choose – ostensibly without penalty – the dimensional scale on which to perform work, and then extrapolate according to simple scaling laws. This is the main idea behind “scale modeling” in engineering, and it often helps achieve significant cost savings, increases the amount of data that can be obtained, and in some cases even makes the difference between an experiment being feasible or not.
1.1 Contributions of this work
In this work, we focus on the Guderley idealized implosion problem [10, 11, 33, 34, 12], which considers an infinitely strong cylindrically or spherically symmetric shock wave moving toward the onedimensional curvilinear origin, focusing at the origin, and then reflecting back into the surrounding onceshocked medium. In addition to being solved by the aforementioned authors in the ideal gas case, the Guderley problem has also been solved in some other scenarios [17, 18, 19], and Holm [22], Axford and Holm [23], and Hutchens [24] even provide a general class of EOS models for which there exists a reduction from the PDEs of inviscid compressible flow to ODEs. For the purposes of code verification, a reduction to ODEs is often considered an “exact” solution because numerical ODE solvers are usually considered to be more robust than the hydrocodes (in general, numerical PDE solvers) they are often used to verify.
Moreover, Ramsey et al. [8] have shown that certain classical ideal gas test problems can be solved for essentially arbitrary EOS closures, using a choice of similarity variables and associated reductiontoODEs that applies equally well regardless of the material in which the compressible flow occurs. On the other hand, there is an obstacle in the case of curvilinear flows that prevents the existence of counterpart universal solutions. For example, Ramsey et al. [8] find that the onedimensional cylindrical or spherical Noh problems only have solutions for certain choices of EOS. Such issues with curvilinear symmetry do not arise because of incompatible boundary conditions, but rather from the fact that the reduced ODEs do not have a nontrivial solution with the properties that define a generalized Noh flow.
Indeed, while the presence of enough symmetries to reduce the governing Euler PDEs to ODEs has been extensively studied (see, for example, Ovsiannikov [35], Andreev et al. [36], Cantwell [37], Holm [22], Axford and Holm [23], and Hutchens [24]), less is known about when the resulting ODEs actually have a solution that satisfies conditions specific to a given class of problems. In this work, we obtain some first results concerning the aforementioned ODEs, which arise from considering the Guderley problem. We also hope that our analysis will provide convincing evidence that the existence of suitable solutions is a nontrivial consideration, which needs to be explicitly addressed in studies involving similarity solutions, especially when working with problems exhibiting Zel’dovich and Raizer’s and Barenblatt’s “selfsimilarity of the second kind” [38, 25].
This paper thus contributes to the literature in at least the following ways:

The unshocked conditions that permit the existence of a Guderley solution are treated in more detail than in previous works, as far as we are aware. This treatment highlights some counterintuitive facts about the existence of “strong shocks” and selfsimilar scaling in the case where there exist characteristic unshocked density, pressure, and specific internal energy scales. These results seem to contradict, or at least require a more subtle use of, the rule of thumb commonly employed to determine the number of selfsimilar scalings admitted by a problem formulation.

The ODEs that result from the introduction of selfsimilar scaling variables are treated in full generality.

The important special case of a universal reduction to ODEs (i.e., the universal symmetry as noted by Ovsiannikov [35], Holm [22], and Boyd et al. [39]) is treated. We show that in this case, the associated ODEs never have a bounded Guderley solution. This result motivates further study of the ODEs resulting from symmetry or scaling reduction, rather than concentrating solely on the symmetries.

We show that with the standard choice of scaleinvariant similarity variables, in a Guderley scenario one must choose between an eigenvalue problem and unbounded solutions.

We provide a novel intuitive explanation for the blowup in the ODE solve that occurs for almost all choices of similarity variables: there is a competition between boundedness and shock stability which underlies the blowup.
In support of these objectives, Sec. 2, includes an overview of the inviscid Euler equations, a rigorous definition of the Guderley problem, and a discussion of the permissible unshocked fluid states for which this problem may be defined. In Sec. 3, we include a formalized proof surrounding the existence of bounded Guderley solutions for a general EOS closure model. We conclude in Sec. 4.
2 Mathematical model
The equations of adiabatic motion for an inviscid compressible fluid are given by (see, e.g., Landau and Lifschitz [40], Courant and Friedrichs [41], Ovsiannikov [35], Axford [42], and Harlow and Amsden [43])
(1)  
(2)  
(3) 
where
(4) 
is the material derivative, is the velocity field, is the (scalar) pressure, is the mass density, and is the adiabatic bulk modulus, defined as
(5) 
where is the fluid entropy. The adiabatic bulk modulus is also related to the local speed of sound by
(6) 
and is in general a materialdependent function of and – indeed, the introduction of the adiabatic bulk modulus is the only source of information about the thermodynamic properties of the specific material under consideration. Moreover, given an EOS of the form (where is the energy per unit mass or specific internal energy; SIE), is obtained from the relation
(7) 
For example, for the ideal gas EOS,
(8) 
the corresponding adiabatic bulk modulus is determined from Eq. (7) to be
(9) 
where is the polytropic index. In general, the reverse relation
(10) 
shows that an inverted EOS of the form can also be recovered from (as shown in detail by Axford [42]).
In any event, Eqs. (1)(3) express the conservation of mass, momentum, and energy of the fluid, neglecting heat conduction, body forces, material strength, anisotropy of material structure, and viscosity. These assumptions are appropriate in many contexts where shock waves form, including supersonic flows [41], explosions [38], shock tube experiments [38], and space reentry [44].
Restricting to onedimensional (1D) symmetry (which will be employed throughout the remainder of this work), Eqs. (1)(3) become
(11)  
(12)  
(13) 
where or for cylindrical or spherical symmetry, respectively. The planar symmetry case () will not be considered in this work, as its properties are very different, and a wide variety of solutions can be shown to exist.
2.1 Guderley’s problem
We seek solutions to a natural extension of Guderley’s idealized implosion problem [10], which is a cylindrically or spherically symmetric convergingreflecting shock solution of Equations (11)(13). For the case of an ideal gas [i.e., given by Equation (9)], this problem has also been solved by Stanyukovich [45], Butler [46], Lazarus [11], and many others. Some variations on this problem have also been considered and solved [17, 18, 23, 19]. In this work, we develop the theory of existence of Guderley solutions in materials with arbitrary .
The objective of the Guderley problem is to determine the flow in a scenario where a strong cylindrically or spherically symmetric shock generated far from the origin converges at the origin and is reflected back. Following authors such as Stanyukovich [45], Zel’dovich and Raizer [38], and Chisnell [34], in this work we restrict to the converging regime. As shown in detail by Lazarus [11] and Ramsey et al. [12], analysis of the reflected regime follows naturally from that of the converging regime, and will be deferred to a future study.
For the sake of mathematical precision, we define the Guderley problem as the problem of finding functions , and (the shock wave location as a function of ) satisfying the following requirements:

and . is monotonic. The time corresponds to the moment of focusing, so throughout this work.

and are negligibly small for . We set them formally to zero. The unshocked SIE takes whatever value is determined by our choice of and , and the EOS closure model. (See Sec. 2.2 for the case where .) Density is a prescribed constant for .

, and are bounded at each fixed .

is bounded and continuous, and whenever and .

, , and for .

The shock travels subsonically relative to a particle immediately behind it. This means that at the coordinate , where is small; here, and are the shock and aforementioned particle velocities, respectively. This is a stability condition and is implied by either of the following two common assumptions:

Thermodynamic stability: , which is generally true of real physical systems away from phase transitions and assuming a compression rather than rarefaction shock. It arises from the more general condition that entropy should increase across the shock front, as discussed by Courant and Friedrichs [41].

Perturbative stability, also known as evolutionary stability: if the unshocked and shocked regions are perturbed by the addition of small acoustic waves, the shock will remain a shock over time and only adjust in speed to accommodate the perturbations. This prevents the shock from devolving into a rarefaction, as discussed by Jeffrey [47] and Burgess [48].
The Guderley solution is an example of a selfsimilar scaling solution of Eqs. (11)(13), of the form
(14)  
(15)  
(16) 
where
(17) 
and are functions solely of the indicated argument, and , , and are constants. The constant is referred to as the similarity exponent, and it must satisfy as will be shown in Section 3.2. The constants appearing in Eqs. (14)(16) must be chosen so that Eqs. (11)(13) reduce to ODEs in the independent variable when this ansatz is assumed; whether or not this is possible depends on the symmetries present in the coupled PDEEOS system.
There are other, equivalent similarity variable constructions; for example,
One can also replace the pressure or adiabatic bulk modulus with the local sound speed, etc. – indeed, many equivalent forms of the Euler equations and their similarity variables exist. The form of the Euler equations used in this work is identical to that used by, for example, Axford [42] and Ovsiannkov [35]; the associated choice of similarity variables is that which arises most naturally from that form of the equations. Our form also appears naturally when one uses the symmetry analysis method [35, 49, 37, 50], which is a generalization of the approach used here.
From the standpoint of dimensional analysis [38], each set of constitutive units present in the problem (e.g., meters, seconds, kilograms) adds one degree of scaling symmetry, and each inherent scale present in the problem (e.g., dimensional constants such as the speed of light) removes one degree of scaling symmetry.
Thus, for code verification and experimental design purposes, selfsimilar scaling solutions are particularly useful, being, in a sense, of reduced dimensionality compared to that of the governing equations under consideration. As discussed by Barenblatt [25], they also tend to correspond to “intermediate asymptotic” solutions that physical flows approach when they are no longer strongly influenced by their initial conditions, thus yielding intuition about real physical flows – although a separate stability analysis would be necessary to confirm that this connection is valid.
2.2 The unshocked state
The definition of the Guderley problem provided in Section 2.1 includes the typical choice of unshocked state, in particular featuring and . Since the problem definition also includes the presence of a shock wave (interpreted as a mathematical discontinuity in the context of the inviscid Euler equations), the RankineHugoniot shock jump conditions must be employed at , in lieu of Eqs. (11)(13) (from which they may be formally derived). These conditions express conservation of mass, momentum, and energy across the shock wave, and the form corresponding to the Guderley problem definition is given by
(18)  
(19)  
(20) 
where the subscripts and indicate unshocked and shocked quantities, and is again the shock velocity.
The ideal gas Guderley problem includes ; this condition directly corresponds to the strong shock limit of the RankineHugoniot jump conditions, where the unshocked pressure and SIE are negligible compared to their shocked values. Moreover, the strong shock assumption eliminates the characteristic scales and from the problem formulation; the presence of any such scales usually reduces the inherent scaling symmetry rank, as discussed in Section 2.1 (however, we will also show in Sec. 3.2 that this rule must be applied with caution).
On the other hand, it may sometimes prove necessary to include a nonzero or in the formulation of a problem of interest. Consider, for example, a simple generalization of the ideal gas EOS provided by Eq. (8),
(21) 
where is a reference SIE. With Eq. (21), an unshocked state is only satisfied for – a vacuum state. However, in this case an unshocked state allows for the satisfaction of for any unshocked density, and Eqs. (18)(20) still reduce to the strong shock limit.
Since many EOS models are intended to only match experimental data at high pressures and energies, it is reasonable that situations such as the preceding might arise and demand flexibility with the unshocked conditions. Indeed, Schmidt et al. [51] and Lilieholm et al. [52] have completed preliminary work to develop an EOS with a reference SIE feature similar to that included in Eq. (21), which nevertheless exhibits Guderleylike solutions when used in conjunction with the inviscid Euler equations.
Thus, in this work, we assume but do not necessarily require . We will show in Sec. 3.2 that the restriction can be relaxed with very little change to the results, but we do not treat that case in full detail here.
3 Existence theorem
The main result of this work is:
Theorem 1.
All adiabatic bulk moduli for which the Guderley problem has a selfsimilar scaling solution satisfy , where is an arbitrary function. In all such solutions, the shock is accelerating as for . The similarity exponent, if it exists, solves a nonlinear eigenvalue problem.
We now prove this result in three subsections. The first investigates the choice of similarity variables, the second analyzes in detail the jump conditions, shock trajectory, and unshocked conditions, and the third considers solvability. In a fourth subsection, we focus on a special case which seems not to have been previously considered, but which is nonetheless of great interest.
3.1 Similarity variables
We work with the 1D cylindrically or spherically symmetric form of the inviscid Euler equations, given previously by Eqs. (11)(13),
(22)  
(23)  
(24) 
and the selfsimilar scaling ansatz given previously by Eqs. (14)(17),
(25)  
(26)  
(27)  
(28) 
As discussed in Sec. 2.1, we seek values of , , , and such that Eqs. (22)(24) collapse to ODEs in when the substitutions given by Eqs. (25)(28) are made. Before doing so, additional simplification can be achieved by examining the unshocked state,
(29)  
(30)  
(31) 
for and all . As a result, appearing in Eq. (25), since the constant unshocked density cannot scale as a function of time with held constant. There are no such constraints on and appearing in Eqs. (26) and (27) since the and variables feature no characteristic scales in the unshocked region.
Now, we apply Eqs. (25)(28) to Eq. (22) to yield
(32) 
This equation depends on alone if either or . The case corresponds to a stationary shock, as will be shown in Sec. 3.2. Discarding this case and applying Eqs. (25)(28) to Eq. (23) yields
(33) 
which depends only on if . As a result, Eqs. (25)(28) become
(34)  
(35)  
(36)  
(37) 
Finally, applying Eqs. (25)(28) to Eq. (24) yields
(38) 
To cancel the dangling term from this relation, either , or must obey
(39) 
Since can depend only on and , it then follows that
(40) 
where is an arbitrary function of the indicated argument. The derivation culminating in Eq. (40) is similar to those provided by Holm [22], Axford and Holm [23], Hutchens [24], and Boyd et al. [39] using symmetry analysis arguments. In any event, one of or Eq. (40) are the necessary conditions to cancel the dangling appearing in Eq. (38). (See Appendix A for a formal derivation of this outcome.)
Equation (40) has a significant physical interpretation. For example, in the ideal gas case, as given by Eq. (9) is a constant function. In any other case, we observe that the output of must be dimensionless [since has units of pressure, as may be ascertained from inspection of Eq. (5)]. This means there must be a characteristic density incorporated into that allows the units of to be canceled; this is the only characteristic scale permitted to exist in . The reason that a characteristic density is allowed is by making the unshocked density fixed and nonzero, there is already one characteristic density present in the problem definition, so no symmetry is lost by incorporating another. Indeed, we have already seen this characteristic density destroy one degree of symmetry in Eq. (25) when we were forced to exclude scaling on density in the construction of similarity variables.
Moving forward, we will assume either or Eq. (40) holds, since the subsequent analysis is identical. It is notable that there is no restriction on in the case , so if a suitable solution of the associated ODEs can be found, it will apply to any flow that can be modeled by Eqs. (22)(24) and an EOS closure model expressible in terms of .
3.2 Shock trajectory
It is customary in solving the Guderley problem to set the unshocked pressure and SIE equal to zero. We have already shown in Sec. 2.2 that this is not always possible, but without understanding the scaling law obeyed by Guderley solutions, we were unable to fully specify the correct boundary conditions or the shock trajectory. To do so, consider again the RankineHugoniot shock jump conditions relevant to the Guderley problem,
(41)  
(42)  
(43) 
It is possible to assume a slightly more general selfsimilar scaling ansatz than given by Eqs. (14)(16), namely
(44)  
(45)  
(46) 
where the independent similarity variable is still given by Eq. (17). This formulation yields a reduction of Eqs. (22)(24) to ODEs provided we also have either or
(47) 
and
(48)  
(49)  
(50)  
(51) 
The derivation of this slight generalization proceeds identically to the presentation provided in Sec. 3.1,
As noted in Sec 2.2, the assumption is not always thermodynamically consistent for a particular choice of . Instead, we propose setting and and let be whatever value is dictated by the EOS. We now show that these choices lead to jump conditions that depend on alone, thus preserving the selfsimilar nature of the Guderley problem. Inserting Eqs. (48)(51) into Eqs. (41)(43) gives
(52)  
(53)  
(54) 
In order for these conditions to be expressible solely in terms of similarity variables, from inspection of Eq. (52) it is necessary that the shock velocity assume the form
(55) 
whence
(56) 
With Eq. (37), Eq. (56) indicates that the converging shock trajectory exists along a constant value in space, so that, more preceisely,
(57)  
(58) 
Equations (57) and (58) then show that and are necessary conditions for the shock wave to accelerate toward as .
Moreover, with Eqs. (57) and (58), Eqs. (52)(54) become
(59)  
(60)  
(61) 
At this point, it would appear that Eq. (61) is irreducible to similarity variables alone if and are not zero. This is not quite true; with Eq. (10) Boyd et al. [39] show that is necessarily of the form
(62) 
where and are arbitrary functions of their arguments (the latter corresponding to the kernel of a linear PDE solution), and may be interpreted as a reference SIE. It appears that corresponds to adding a constant to each adiabat – in the following, we set for simplicity, and also because the corresponding term in the ideal gas case has , as shown by Boyd et al [39]. Thus, we assume
(63) 
for the arbitrary function . Substituting this additional information into Eq. (61) then yields
(64) 
and from Eq. (59) we have
(65) 
so that Eq. (64) becomes
(66) 
which is a relation depending only on . Converting this relation to physical variables yields
(67) 
This relation shows that if is of the form (with the unshocked pressure given by ), then we can expect selfsimilar scaling to occur, even in the presence of a characteristic unshocked pressure and energy. As a result, the conventional wisdom concerning characteristic scales and selfsimilar scaling must be applied with caution: a Guderleylike problem may still exist for EOS closures that do not admit the standard initial conditions .
It is worth noting that there is another approach that allows for nonzero unshocked pressures and energies, namely that used in the literature on finitestrength shocks (see, for example, Sedov [9] or Hutchens [24]). The details of such an analysis are outside the scope of this work, but we note that it does not yield exact selfsimilarity. Rather, it yields an approximate selfsimilarity or “quasisimilarity,” as discussed at length by the aforementioned authors and, for example, Oshima [53], Lee [54], Rae [55], Axford and Holm [56], and Hafner [57].
3.3 Analysis of ODEs
Equations (32), (33), and (38) may be rewritten as
(68)  
(69)  
(70) 
where we have substituted
(71) 
for notational brevity. As noted in Sec. 3.1, this system collapses to ODEs only if or Eq. (40) is satisfied. Assuming one of these conditions, isolating the derivatives in Eqs. (68)(70) gives the system
(72) 
where may be interpreted as a scaled sound speed that replaces via Eq. (6) – this substitution helps provide a more intuitive physical interpretation to the denominator appearing in Eq. (72). This interpretation will be important in the subsequent analysis.
Consistent with the formal definition of the Guderley problem provided in Section 2.1, we seek a solution of Eq. (72) that is everywhere bounded in the variables , , and (a direct consequence of the boundedness condition on the physical variables , , and ). Since we assume is bounded, by its definition is also bounded. We are also only interested in differentiable solutions of Eq. (72), and will discard all choices of and that cause , , and to become infinite. We therefore analyze whether or not the denominator appearing in Eq. (72) vanishes. Since this denominator is a continuous function of its arguments, it will vanish if we can identify one coordinate where it is negative and another where it is positive.
Far from the origin (i.e., ) and for all finite times, by Eq. (17). As a result, the denominator of Eq. (72), or
(73) 
is observed by inspection to be strictly positive at the aforementioned state, as all quantities besides appearing in it are bounded.
Immediately adjacent to the shock front, the denominator is negative. To see this, observe that if is the position of the shock wave in space, then the physical shock trajectory and shock velocity are given by Eqs. (57) and (58), respectively. Accordingly,
(74) 
so that with Eq. (71), it then follows that
(75) 
immediately adjacent to the shock front. The quantity appearing in Eq. (75) is the shock velocity in a reference frame where the postshock particles are motionless. With Eq. (75) and the definition of , the denominator appearing in Eq. (72) may be written in terms of physical variables as
(76) 
Thus, to determine the sign of this quantity when evaluated immediately adjacent to the shock front, we need only determine whether the shocked sound speed is bigger or smaller than the aforementioned motionlessparticle reference frame shock velocity. The conclusion follows exactly from the shock stability assumption provided in Section 2.1: we assume via thermodynamic and perturbative stability arguments that the shock travels subsonically relative to a particle immediately behind it. As a result, Eq. (76) is strictly negative when evaluated immediately adjacent to the shock front.
Combined with Eq. (73) evaluated as , this result ensures that the denominator appearing in Eq. (72) does indeed change sign between the shock front and , and will somewhere vanish. Thus, Eq. (72) does not have a bounded, differentiable solution, except if the numerators appearing within can all be made to vanish simultaneously with the denominator. Since by the definition of the Guderley problem none of the variables , , , and can be made zero, only the parameter may be selected to (in principle) achieve the required condition. This result shows that the counterpart phenomenon appearing in the ideal gas Guderley solution is observed in general: Eq. (72) is a nonlinear eigenvalue problem. In the ideal gas case, the correct value of is determined numerically, as has been done among many others by Guderley [10], Stanyukovich [45], Butler [46], Lazarus [11], Chisnell [34], and Ramsey et al [12].
The preceding proof is notable in that it gives an intuitive meaning to the blowup observed in solving Eq. (72): the similarity variable derivatives are proportional to the inverse difference between the sound speed and the shock speed in a certain reference frame, at least immediately adjacent to the shock front:
(77) 
Adjacent to the shock front, stability requires that this difference have one sign, whereas far from the shock, boundedness requires it to have the opposite sign. Thus, one is forced to either abandon boundedness (as done by Velikovich et al. [60] and Coggeshall [15] in some shockfree solutions) or solve an eigenvalue problem in the style of Guderley and his many successors. As far as the authors are aware, this interpretation is novel; the complete theory for when the eigenvalue problem has a solution (or what the solution might be in general) is left as a matter for future work.
3.4 The universal symmetry
In Section 3.3 the reduction to ODEs was accomplished by assuming either or . While the latter case notably includes the ideal gas Guderley and related problems as members, the case is much broader, encompassing all materials modeled by Eqs. (22)(24) with an EOS closure model expressible in terms of an adiabatic bulk modulus. If solutions can be found, they yield code verification test problems for a broad class of flows and materials. This case has not been studied rigorously in the context of the Guderley solution, although it has been treated by Bethe [61], Menikoff and Plohr [62], Kamm [63], and Ramsey et al. [8] for various Riemann and Noh problems.
With Eq. (37), setting gives the similarity variable
(78) 
which, following the arguments presented in Sec. 3.2, implies constant velocity shock waves following the trajectories
(79) 
With this parameterization, the ODEs given by Eq. (72) become
(80) 
where Eq. (71) likewise becomes
(81) 
The singular analysis of Eq. (80) proceeds identically to that of Eq. (72) presented in Sec. 3.3, with identical conclusions: the denominator of Eq. (80) is strictly positive as , and strictly negative at . As before, the denominator of Eq. (80) must therefore vanish somewhere, resulting in an unbounded solution contrary to the definition of the Guderley problem as outlined in Sec. 2.1.
However, for the zerodenominator pathology cannot be averted simply by requiring the numerators of Eq. (80) to simultaneously vanish with its denominator: again, none of , , , and may be made zero, as , , and must be nonzero and finite for all , by the definition of the Guderley problem. Thus, by requiring , we have ostensibly removed a degree of freedom that would otherwise allow for at least the possibility of a nonlinear eigenvalue problem, and thus the only route to the construction of a bounded solution.
Otherwise, the restriction on EOS closure models satisfying is definitively required in all cases.
4 Conclusion
In the foregoing, we have analyzed in detail the Guderley problem for an arbitrary EOS closure model by showing how to set up the initial conditions, calculating the motion of the shock wave, determining all possible reductions to similarity variables, and showing that the resulting ODE system and boundary conditions constitute a nontrivial eigenvalue problem. In particular, we have shown that the “universal” choice of similarity variables always leads to a reduction to ODEs, never conflicts with the boundary conditions, and yet yields ODEs that never have a bounded, differentiable solution. This motivates further study of when the ODEs resulting from the introduction of similarity variables have a solution with reasonable properties. For instance, from the foregoing, it is clear that one must choose between unbounded solutions or an eigenvalue problem. Another novel feature of this work is that, by conducting our analysis of the governing ODEs on a more abstract level than is usually done, we have arrived at an intuitive explanation for the necessity of solving an eigenvalue problem to obtain a selfsimilar solution; namely, there is a competition between thermodynamic stability of the shock wave and boundedness of the shocked driving conditions.
Acknowledgements
This work was performed under the auspices of the United States Department of Energy by Los Alamos National Security, LLC, at Los Alamos National Laboratory under contract DEAC5206NA25396. Z. Boyd was also supported by an NDSEG Fellowship. The authors thank J. Schmidt, E. Schmidt, J. Lilieholm, W. Black, and J. Ferguson for helpful conversations and valuable insights on these topics.
Appendix A Formal derivation of the scaleinvariant
A more formal derivation of Eq. (40) proceeds along these lines: suppose there exists a selfsimilar scaling solution to the Guderley problem for a particular . Such a solution yields functions that are welldefined. Moreover, as outlined in Sec. 3.1, the function
(82) 
depends only on , or,
(83) 
for any choice of , and . Let be fixed; expanding Eq. (82) then gives
(84) 
Rearranging, we have
(85) 
where is an arbitrary function of the indicated argument.
Now, let be a constant, and let be an arbitrary element of the range of [i.e., ]. Then, for any , we can choose so that , since is assumed to be positive. Then, we have
(86)  
and thus, is homogeneous in its first argument (at least in the domain needed for the Guderley problem).
Footnotes
 zach.boyd@math.ucla.edu
 ramsey@lanl.gov
 rbaty@lanl.gov
 This is not rigorously true, however. For example, Eqs. (11)(13) also admit symmetries that need not arise from dimensional considerations alone. One such symmetry is discussed in more detail in Sec. 3.4.
 This form appears explicitly in the work of Axford and Holm [23] and is implicitly present in the works of Ovsiannikov [35] and Boyd et al [39]. Although Axford and Holm show that the similarity variable can lead to a reduction to ODEs, it appears that the example in their work uses . Thus, to the knowledge of the authors, there is no example where this more general case is actually applied. Moreover, the unshocked conditions associated with seem not to have been explicitly analyzed in other works.
 If one instead chooses the standard ansatz , it is still possible to have a nonzero unshocked energy, but it is very difficult to have a nonzero unshocked pressure, as calculations very similar to the foregoing show.
 In the scoping study of Lilieholm et al. [52], it appears there is a global, unbounded solution of Eq. (80) in some cases, which is a promising avenue for future work.
References
 W. L. Oberkampf, T. G. Trucano and C. Hirsch, Verification, validation, and predictive capability in computational engineering and physics, Applied Mechanics Reviews, 57 (2004) 345–384.
 W. L. Oberkampf and C. J. Roy, Verification and validation in scientific computing. (Cambridge University Press 2010).
 C. J. Roy, Review of code and solution verification procedures for computational simulation, Journal of Computational Physics, 205 (2005) 131–156.
 J. Kamm, B. Rider, G. Weirs, E. Love, S. Ramsey and F. Timmes, Dynamic compressible flow verification problems: Oldies but goodies, Tech. Rep. SAND20117601C, Sandia National Laboratories, USA (2011).
 W. Noh, Errors for calculations of strong shocks using an artificial viscosity and an artificial heat flux, J. Comp. Phys., 72 (1987) 78–120.
 W. Rider, Revisiting wall heating, J. Comp. Phys., 162 (2000) 395–410.
 M. Gehmeyr, B. Cheng and D. Mihalas, Noh’s constantvelocity shock problem revisited, Shock Waves, 7 (1997) 255–274.
 S. D. Ramsey, Z. M. Boyd and S. C. Burnett, Solution of the Noh problem using the universal symmetry of the gas dynamics equations, Shock Waves (2016) 1–9.
 L. Sedov, Similarity and Dimensional Methods in Mechanics. (Academic Press, New York 1959).
 G. Guderley, Starke kugelige und zylindrische Verdichtungsstöße in der Nähe des Kugelmittelpunktes bzw. der Zylinderachse, Luftfahrtforschung (1942).
 R. B. Lazarus, Selfsimilar solutions for converging shocks and collapsing cavities, SIAM J. Numer. Anal., 18 (1981) 316–371.
 S. D. Ramsey, J. R. Kamm and J. H. Bolstad, The Guderley problem revisited, International Journal of Computational Fluid Dynamics (2012).
 R. E. Kidder, The theory of homogeneous isentropic compression and its application to laser fusion, in Laser Interaction and Related Plasma Phenomena 449–464, (Springer (1974).
 S. V. Coggeshall and R. A. Axford, Lie group invariance properties of radiation hydrodynamics equations and their associated similarity solutions, Physics of Fluids (19581988), 29 (1986) 2398–2420.
 S. V. Coggeshall, Analytic solutions of hydrodynamics equations, Physics of Fluids A: Fluid Dynamics (19891993), 3 (1991) 757–769.
 S. V. Coggeshall and J. Meyerter Vehn, Groupinvariant solutions and optimal systems for multidimensional hydrodynamics, Journal of mathematical physics, 33 (1992) 3585–3601.
 C. Wu and P. Roberts, Structure and stability of a spherical shock wave in a van der Waals gas, Quarterly Journal of Mechanics and Applied Mathematics, 49 (1995) 501–543.
 J. Jena and V. Sharma, Selfsimilar shocks in a dusty gas, International Journal of NonLinear Mechanics, 34 (1999) 313–327.
 S. D. Ramsey and R. S. Baty, Group invariance properties of the inviscid compressible flow equations for a modified Tait equation of state, tech. rep., Los Alamos National Laboratory (2015).
 S. C. Burnett, S. D. Ramsey, K. G. Honnell and R. S. Jr., Verification studies for the Noh problem using nonideal equations of state and finitestrength shocks, tech. rep., Los Alamos National Laboratory (2016).
 A. D. Howard, C. E. Yorke, S. C. Burnett, K. G. Honell, S. D. Ramsey and R. S. Jr., Application of the Noh problem to Al, Cu, Fe, W, tech. rep., Los Alamos National Laboratory (2016).
 D. D. Holm, Symmetry breaking in fluid dynamics: Lie group reducible motions for real fluids, tech. rep., Los Alamos Scientific Lab., N. Mex.(USA) (1976).
 R. Axford and D. Holm, Spherical shock collapse in a nonideal medium, tech. rep., Los Alamos Scientific Lab. (1978).
 G. J. Hutchens, Finitestrength Shock Propogation for Alternative Equations of State. PhD thesis, University of Illinois at UrbanaChampaign (1990).
 G. I. Barenblatt, Similarity, Selfsimilarity, and Intermediate Asymptotics. (Consultants Bureau 1979).
 N. Ponchaut, Part I: 3DPTV: Advances and Error Analysis. Part II: Extension of Guderley’s Solution for Converging Shock Waves. PhD thesis, California Institute of Technology (2005).
 N. Ponchaut, H. G. Hornung, D. I. Pullin and C. A. Mouton, On imploding cylindrical and spherical shock waves in a perfect gas, Journal of Fluid Mechanics, 560 (2006) 103–122.
 H. Hornung, D. Pullin and N. Ponchaut, On the question of universality of imploding shock waves, Acta mechanica, 201 (2008) 31–35.
 C. Morawetz, Contracting Spherical Shocks Treated by a Perturbation Method. PhD thesis, New York University (1951).
 W. Häfele, Über die Stabilität des Guderleyschen kugeligen Verdichtungsstoßes, Z. Natuforschung, 11 (1956) 183–186.
 K. Brushlinskii, Instability of a convergent spherical shock wave, USSR Computational Mechanics and Mathematica Physics, 22 (1982) 193–205.
 J. Clarisse, “A Godunovtype method in Lagrangian coordinates for computing linearlyperturbed sphericallysymmetric flows of gas dynamics.” Online. Available from https://hal.inria.fr/file/index/docid/197498/filename/article.pdf. Accessed 13 September 2016.
 J. MeyerterVehn and C. Schalk, Selfsimilar spherical compression waves in gas dynamics, Zeitschrift für Naturforschung A, 37 (1982) 955–969.
 R. Chisnell, An analytic description of converging shock waves, Journal of Fluid Mechanics, 354 (1998) 357–375.
 L. V. Ovsiannikov and W. Ames, Group Analysis of Differential Equations. (Academic Press 1982).
 V. K. Andreev, O. Kaptsov, V. V. Pukhnachev and A. Rodionov, Applications of grouptheoretical methods in hydrodynamics, 450. (Springer Science & Business Media 1998).
 B. J. Cantwell, Introduction to Symmetry analysis. (Cambridge University Press 2002).
 Y. B. Zeldovich and Y. P. Raizer, Physics of Shock Waves and HighTemperature Hydrodynamic Phenomena. (Academic Press 1966).
 Z. M. Boyd, S. Ramsey and R. Baty, Symmetries of the Euler compressible flow equations for general equation of state, Tech. Rep. LAUR 1528034, Los Alamos National Laboratory (2015).
 L. Landau and E. Lifschitz, Theoretical Physics. (Pergamon Press, 2nd ed. 1986).
 R. Courant and K. Friedrichs, Supersonic Flow and Shock Waves. (SpringerVerlag 1948).
 R. Axford, Solutions of the Noh problem for various equations of state using Lie groups, Lasers and Particle Beams (2000).
 F. Harlow and A. Amsden, Fluid dynamics: A lasl monograph (mathematical solutions for problems in fluid dynamics) la 4700, Los Alamas National Labratory (1971).
 Ames Research Staff, Equations, tables, and charts for compressible flow, tech. rep., Ames Aeronautical Laboratory (1953).
 K. Stanyukovich, Unsteady Motion of Continuous Media. (Pergammon Press, New York 1970).
 D. Butler, Converging spherical and cylindrical shocks, Tech. Rep. 54/54, UK Armament Research Establishment (1954).
 A. Jeffrey and T. Taniuti, Nonlinear Wave Propogation with Applications to Physics and Magnetohydrodynamics. (Academic Press 1964).
 D. Burgess and M. Scholer, Collisionless Shocks in Space Plasmas. (Cambridge University Press 2015).
 G. W. Bluman and S. C. Anco, Symmetry and Integration Methods for Differential Equations. (Springer 2002).
 P. J. Olver, Applications of Lie Groups to Differential Equations. (SpringerVerlag 1993).
 E. M. Schmidt, S. D. Ramsey, J. F. Lilieholm, Z. M. Boyd and J. H. Schmidt, A scale invariant equation of state for Gruneisen materials, tech. rep., Los Alamos National Laboratory (2016).
 J. F. Lilieholm, E. M. Schmidt, S. D. Ramsey, J. H. Schmidt and Z. M. Boyd, Solving the Guderley implosion problem with a MieGruneisenlike equation of state, tech. rep., Los Alamos National Laboratory (2016).
 K. Oshima, Blast waves produced by exploding wire, departmental bulletin paper, Aeronautical Research Institute, University of Tokyo (1960).
 B. Lee, Nonuniform propagation of imploding shocks and detonations, AIAA Journal, 5 (1967) 1997–2003.
 W. J. Rae, Analytical studies of impactgenerated shock propagation: Survey and new results, Highvelocity impact phenomena (1970) 214–293.
 R. Axford and D. Holm, Converging finitestrength shocks, Physica D: Nonlinear Phenomena, 2 (1981) 194–202.
 P. Hafner, Strong convergent shock waves near the center of convergence: a power series solution, SIAM Journal of Applied Mathematics, 48 (1998) 1244–1261.
 N. Toque, Selfsimilar implosion of a continuous stratified medium, Shock Waves, 11 (2001) 157–165.
 G. Madhumita and V. Sharma, Propogation of strong converging shock waves in a gas of variable density, Journal of Engineering Mechanics, 46 (2003) 55–68.
 A. L. Velikovich, J. L. Giuliani, S. T. Zalesak, J. W. Thornhill and T. A. Gardiner, Exact selfsimilar solutions for the magnetized Noh Zpinch problem, Physics of Plasmas, 19 (2012).
 H. Bethe, The theory of shock waves for an arbitrary equation of state, Tech. Rep. PB32189, Clearinghouse for Federal Scientific and Technical Information, US Department of Commerce, Washington DC (1942).
 R. Menikoff and B. J. Plohr, The Riemann problem for fluid flow of real materials, Rev. Mod. Phys., 61 (1989) 75–130.
 J. R. Kamm, An exact, compressible onedimensional Riemann solver for general, convex equations of state, tech. rep., Los Alamos National Laboratory (2015).