Abstract
We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics, but are also fundamental in the mathematical theory of multidimensional conservation laws. A transonic shock for the Euler equations for self-similar potential flow separates elliptic (subsonic) and hyperbolic (supersonic) phases of the self-similar solution of the corresponding nonlinear partial differential equation in a domain under consideration, in which the location of the transonic shock is apriori unknown. We first develop a general framework under which self-similar transonic shocks, as free boundaries, are proved to be uniformly convex, and then apply this framework to prove the uniform convexity of transonic shocks in the two longstanding fundamental shock problems—the shock reflection–diffraction by wedges and the Prandtl–Meyer reflection for supersonic flows past solid ramps. To achieve this, our approach is to exploit underlying nonlocal properties of the solution and the free boundary for the potential flow equation.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics, but are also fundamental in the mathematical theory of multidimensional conservation laws (see [5, 14, 16]). Mathematically, a transonic shock for the Euler equations for potential flow separates elliptic (subsonic) and hyperbolic (supersonic) phases of the self-similar solution of the corresponding nonlinear partial differential equation (PDE) in a domain under consideration, in which the location of the transonic shock is apriori unknown. The Rankine-Hugoniot conditions on the shock, together with the nonlinear PDE in the elliptic and hyperbolic regions, provide the sufficient overdeterminancy for finding the shock location. This enforces a restriction to the shock and yields its fine properties, such as its possible geometric shapes, which is the main theme of this paper. For this purpose, we formulate the transonic shock problem as a one-phase free boundary problem for the nonlinear elliptic PDE in a domain with a part of the boundary fixed, as illustrated in Fig. 1. More precisely, we first develop a general framework under which self-similar transonic shock waves, as the free boundaries in the one-phase problem, are proved to be uniformly convex, and then apply this framework to prove the uniform convexity of transonic shocks in the two longstanding fundamental shock problems for potential flow—the shock reflection–diffraction by wedges and the Prandtl–Meyer reflection for supersonic flows past solid ramps. In particular, the convexity of transonic shocks is consistent with the geometric configurations of shocks observed in physical experiments and numerical simulations; see e.g. [4, 11, 12, 17, 18, 25,26,27,28,29,30, 33, 36, 40, 41], and the references cited therein. Also see [9, 10, 32, 34, 35, 37, 39] for the geometric structure of numerical Riemann solutions involving transonic shocks for the Euler equations for compressible fluids.
One of our key observations in this paper is that the convexity of transonic shocks is not a local property. In fact, for the regular shock reflection–diffraction problem as described in §7.1, the uniform convexity is a result of the interaction between the cornered wedge and the incident shock, since the reflected shock remains flat when the wedge is a flat wall. Therefore, any local argument is not sufficient to lead to a proof of the uniform convexity. In this paper, we develop a global approach by exploiting some nonlocal properties of transonic shocks in self-similar coordinates and employ it to prove that the transonic shocks must be convex. Our approach is based on two features related to the global and nonlinear phenomena. One is that the convexity of transonic shocks is closely related to the monotonicity properties of the solution, which is derived from the global structure in the applications. These properties are also crucial in the proof of the existence of the two shock problems in [3, 14]. The other is that the Rankine-Hugoniot conditions, combined with the monotonicity properties, enforce the nonlocal dependence between the values of the velocity at the points of the transonic shock, as well as the nonlocal dependence between the velocity and the geometric shape of the shock. Moreover, for this problem, it seems to be difficult to apply directly the methods as in [7, 8, 19], owing to the difference and more complicated structure of the boundary conditions.
The convexity of shock waves is not only an important geometric property observed frequently in physical experiments and numerical simulations, but also crucial in the analysis of multidimensional shock waves. For example, the convexity property of transonic shocks plays an essential role in the proof of the uniqueness and stability of shock waves with large curvature in [15]. Therefore, our approach can be useful for other nonlinear problems involving transonic shocks, especially for the problems that cannot be handled by the perturbation methods.
In particular, as an application of our general framework for the convexity of shocks, we prove the uniform convexity of transonic shocks in the two longstanding fundamental shock problems. The first is the problem of shock reflection–diffraction by concave cornered wedges as analyzed in §7.1. It has been analyzed in Chen-Feldman [13, 14], in which von Neumann’s sonic and detachment conjectures for the existence of regular shock reflection–diffraction configurations have been solved all the way up to the detachment wedge-angle for potential flow. The second is the Prandtl–Meyer reflection problem for supersonic flow past a solid ramp as analyzed in §7.2. Elling-Liu [20] made a first rigorous analysis of the problem for which the steady supersonic weak shock solution is a large-time asymptotic limit of an unsteady flow under certain assumptions for an important class of wedge angles and potential fluids. Recently, in Bae-Chen-Feldman [2, 3], the existence theorem for the general case all the way up to the detachment wedge-angle has been established via new techniques based on those developed in Chen-Feldman [14]. For both problems, we apply the general framework developed in this paper to prove the uniform convexity of the transonic shocks involved.
The study of geometric properties of free boundaries, such as the convexity of the free boundaries and the monotonicity properties of the corresponding solutions under consideration, is fundamental in the mathematical theory of free boundary problems; see [6,7,8, 19, 21,22,23,24, 38] and the references cited therein. Furthermore, as mentioned earlier, the convexity of free boundaries has played an essential role in the analysis of the uniqueness and stability of solutions of the free boundary problems, as shown in [15].
The organization of this paper is as follows: in §2, we introduce the potential flow equation and the Rankine-Hugoniot conditions on the shock, and set up a framework as a general free boundary problem on which we focus in this paper, and then we present the main theorem for this free boundary problem. In §3, we show some useful lemmas. Then we develop our approach to prove first the uniform convexity of the shock, i.e., Theorem 2.1 in §4, and to prove further the uniform convexity of the shock on compact subsets of its relative interior, i.e., Theorem 2.3 in §5. In §6, we establish the relation between the strict convexity of the transonic shock and the monotonicity properties of the solution, i.e., Theorem 2.2. Finally, in §7, we apply the main theorems to prove the uniform convexity of transonic shocks in the two shock problems—the shock reflection–diffraction by wedges and the Prandtl–Meyer reflection for supersonic flows past solid ramps.
A note regarding terminology for simplicity: since our main concern is the convexity of the elliptic (subsonic) region for which the transonic shock as a free boundary is a part of the boundary of the region throughout this paper, we use the term—convexity—for the free boundary, even though it corresponds to the concavity of the shock location function in a natural coordinate system. Moreover, we use the term uniform convexity for a transonic shock to represent that the transonic shock is of non-vanishing curvature on any compact subset of its relative interior.
2 The Potential Flow Equation and Free Boundary Problems
2.1 The Potential Flow Equation
As in [1, 13], the Euler equations for potential flow consist of the conservation law of mass for the density and the Bernoulli law for the velocity potential \(\varPsi \):
where \(B_0\) is the Bernoulli constant determined by the incoming flow and/or boundary conditions, \(\mathbf {x}=(x_1,x_2)\in \mathbb {R}^2\), \( i(\rho )=\int ^{\rho }_1\frac{p'(\tau )}{\tau }d\tau \) for the pressure function \(p=p(\rho )\), and \(\mathbf {v}=\nabla \varPsi \) is the velocity.
For polytropic gas, by scaling,
where \(c(\rho )\) is the sound speed.
If the initial-boundary value problem is invariant under the self-similar scaling
then we can seek self-similar solutions with the form
where \(\varphi \) is called a pseudo-velocity potential that satisfies \(D\varphi :=(\varphi _{\xi _1}, \varphi _{\xi _2})=\mathbf {v}-\varvec{\xi }\), which is called a pseudo-velocity. The pseudo—potential function \(\varphi \) satisfies the following potential flow equation in the self-similar coordinates:
where the density function \(\rho =\rho (|D\varphi |^2,\varphi )\) is determined by
with constant \(\rho _0>0\), and the divergence div and gradientD are with respect to the self-similar variables \(\varvec{\xi }\).
From (2.3)–(2.4), we see that the potential function \(\varphi \) is governed by the following potential flow equation of second order:
Equation (2.5) written in the non-divergence form is
where the sound speed \(c=c(|D\varphi |^2,\varphi ,\rho _0)\) is determined by
Equation (2.5) is a second-order equation of mixed hyperbolic-elliptic type, as it can be seen from (2.6): It is elliptic if and only if
which is equivalent to
Moreover, from (2.6)–(2.7), equation (2.5) satisfies the Galilean invariance property: if \(\varphi (\varvec{\xi })\) is a solution, then its shift \(\varphi (\varvec{\xi }-\varvec{\xi }_0)\) for any constant vector \(\varvec{\xi }_0\) is also a solution. Furthermore, \(\varphi (\varvec{\xi })+const.\) is a solution of (2.5) with adjusted constant \(\rho _0\) correspondingly in (2.4).
One class of solutions of (2.5) is that of constant states that are the solutions with constant velocity \(\mathbf {v}=(u, v)\). This implies that the pseudo-potential \(\varphi \) of a constant state satisfies \(D\varphi =\mathbf {v}-\varvec{\xi }\) so that
where C is a constant. For such \(\varphi \), the expressions in (2.4)–(2.7) imply that the density and sound speed are positive constants \(\rho \) and c, i.e., independent of \(\varvec{\xi }\). Then, from (2.8) and (2.10), the ellipticity condition for the constant state is
Thus, for a constant state \(\mathbf {v}\), equation (2.5) is elliptic inside the sonic circle, with center \(\mathbf {v}\) and radius c.
2.2 Weak Solutions and the Rankine–Hugoniot Conditions
Since the problem involves transonic shocks, we define the notion of weak solutions of equation (2.5), which admits shocks. As in [13], it is defined in the distributional sense.
Definition 2.1
A function \(\varphi \in W^{1,1}_\mathrm{loc}(\varOmega )\) is called a weak solution of (2.5) if
-
(i)
\(\rho _0^{\gamma -1}-(\gamma -1)(\varphi +\frac{1}{2}|D\varphi |^2)\ge 0\quad \text {a.e. in }\varOmega \);
-
(ii)
\((\rho (|D\varphi |^2,\varphi ),\rho (|D\varphi |^2,\varphi )|D\varphi |)\in (L^1_\mathrm{loc}(\varOmega ))^2\);
-
(iii)
For every \(\zeta \in C^{\infty }_{c}(\varOmega )\),
$$\begin{aligned} \int _{\varOmega }\big (\rho (|D\varphi |^2,\varphi )D\varphi \cdot D\zeta -2\rho (|D\varphi |^2,\varphi )\zeta \big )\mathrm {d}\varvec{\xi }=0. \end{aligned}$$(2.11)
A piecewise \(C^2\) solution \(\varphi \) in \(\varOmega \), which is \(C^2\) away from and \(C^1\) up to the \(C^1\)–shock curve S, satisfies the conditions of Definition 2.1 if and only if it is a \(C^2\)–solution of (2.5) in each subregion and satisfies the following Rankine-Hugoniot conditions across curve S:
where the square bracket \([\,\cdot \,]_{S}\) denotes the jump across S, and \(\varvec{\nu }\) is the unit normal vector to S. Condition (2.13) follows from the requirement: \(\varphi \in W^{1,1}_\mathrm{loc}(\varOmega )\) for piecewise-smooth \(\varphi \), and condition (2.12) is obtained from (2.11) via integration by parts and by using (2.13) and the piecewise-smoothness of \(\varphi \). Physically, condition (2.12) is owing to the conservation of mass across the shock, and (2.13) is owing to the irrotationality. From now on, we denote \(D\varphi \cdot \varvec{\nu }=\partial _{\varvec{\nu }}\varphi =\varphi _{\varvec{\nu }}\) when no confusion arises.
It is well known that there are fairly many weak solutions to conservation laws (2.5). In order to single out the physically relevant solutions, the entropy condition is required. A discontinuity of \(D\varphi \) satisfying the Rankine-Hugoniot conditions (2.12)–(2.13) is called a shock if it satisfies the following physical entropy condition:
From (2.12), the entropy condition indicates that the normal derivative function \(\varphi _{\varvec{\nu }}\) on a shock always decreases across the shock in the pseudo-flow direction. That is, when the pseudo-flow direction and the unit normal vector \(\varvec{\nu }\) are both from state (0) to (1), then \(\rho _1>\rho _0\) and \(\varphi _{1\varvec{\nu }}<\varphi _{0\varvec{\nu }}\).
2.3 General Framework and Free Boundary Problems
Now we develop a general framework for the transonic shocks as free boundaries, on which we will focus our analysis in this paper.
As in Fig. 1, let \(\varOmega \) be a bounded, open, and connected set, and \(\partial \varOmega = \varGamma _{\mathrm{shock}}\cup \varGamma _1\cup \varGamma _2\), where the closed curve segment \(\varGamma _{\mathrm{shock}}\) is a transonic shock that separates a pseudo-supersonic constant state (0) outside \(\varOmega \) from a pseudo-subsonic (non-constant) state (1) inside \(\varOmega \), and \(\varGamma _1\cup \varGamma _2\) is a fixed boundary whose structure will be specified later. The dashed ball \(B_{c_0}(O_0)\) is the sonic circle of state (0) with center \(O_0=(u_0,v_0)\) and radius \(c_0\). Note that \(\varGamma _{\mathrm{shock}}\) is outside of \(B_{c_0}(O_0)\) because state (0) is pseudo-supersonic on \(\varGamma _{\mathrm{shock}}\). A and B are the endpoints of the free boundary \(\varGamma _{\mathrm{shock}}\), while \(\varvec{\tau }_A\) and \(\varvec{\tau }_B\) are the unit tangent vectors pointing into the interior of \(\varGamma _{\mathrm{shock}}\) at A and B, respectively.
Denote \(\mathbf {v}_0=(u_0,v_0)\). Then the pseudo-potential of constant state (0) with density \(\rho _0>0\) has the form
Let
Then we see from (2.6) that \(\phi =\varphi -\varphi _0\) satisfies the following equation in \(\varOmega \):
where \(c=c(|D\varphi |^2, \varphi , \rho _0)\) is the sound speed, determined by (2.7). Along the shock curve \(\varGamma _{\mathrm{shock}}\) that separates the constant state (0) with pseudo-potential \(\varphi _0\) from the non-constant state \(\varphi \) in \(\varOmega \), the boundary conditions for \(\phi \) are
from the Rankine-Hugoniot conditions (2.12)–(2.13).
Now we state the main results of this paper. We first layout the structural framework for domain \(\varOmega \) under consideration.
From now on, \(\varGamma ^0\) denotes the relative interior of a curve segment \(\varGamma \). In particular, \(\varGamma _{\mathrm{shock}}^0\) is the relative interior of \(\varGamma _{\mathrm{shock}}\).
Framework (A)—The structural framework for domain \(\varOmega \):
-
(i)
Domain \(\varOmega \) is bounded. Its boundary \(\partial \varOmega \) is a continuous closed curve without self-intersections, piecewise \(C^{1,\alpha }\) up to the endpoints of each smooth part for some \(\alpha \in (0,1)\), and the number of smooth parts is finite.
-
(ii)
At each corner point of \(\partial \varOmega \), angle \(\theta \) between the arcs meeting at that point from the interior of \(\varOmega \) satisfies \(\theta \in (0, \pi )\).
-
(iii)
\(\partial \varOmega = \varGamma _{\mathrm{shock}}\cup \varGamma _1\cup \varGamma _2\), where \(\varGamma _{\mathrm{shock}}\), \(\varGamma _1\), and \(\varGamma _2\) are connected and disjoint, and both \(\varGamma _{\mathrm{shock}}^0\) and \(\varGamma _1\cup \varGamma _2\) are non-empty. Moreover, if \(\varGamma _i\ne \emptyset \) for some \(i\in \{1,2\}\), then its relative interior is nonempty, i.e., \(\varGamma _i^0\ne \emptyset \).
-
(iv)
\(\varGamma _{\mathrm{shock}}\) includes its endpoints A and B with corresponding unit tangent vectors \(\varvec{\tau }_A\) and \(\varvec{\tau }_B\) pointing into the interior of \(\varGamma _{\mathrm{shock}}\) respectively. If \(\varGamma _1\ne \emptyset \), then A is a common endpoint of \(\varGamma _{\mathrm{shock}}\) and \(\varGamma _1\). If \(\varGamma _2\ne \emptyset \), then B is a common endpoint of \(\varGamma _{\mathrm{shock}}\) and \(\varGamma _2\).
If \(\varvec{\tau }_A\ne \pm \varvec{\tau }_B\), define the cone
Then we have
Theorem 2.1
Assume that domain \(\varOmega \) satisfies Framework (A). Assume that \(\phi \in C^1(\overline{\varOmega })\cap C^{2}(\varOmega \cup \varGamma _{\mathrm{shock}}^0)\cap C^{3}(\varOmega )\) is a solution of (2.16)–(2.17), which is not a constant state in \(\varOmega \). Moreover, let \(\phi \) satisfy the following conditions:
-
(A1)
The entropy condition holds across \(\varGamma _{\mathrm{shock}}\): \(\rho (|D\varphi |^2, \varphi )>\rho _0\) and \(\phi _{\varvec{\nu }}<0\) along \(\varGamma _{\mathrm{shock}}\), where \(\varvec{\nu }\) is the interior normal vector to \(\varGamma _{\mathrm{shock}}\), i.e., pointing into \(\varOmega \);
-
(A2)
There exist constants \(C_1>0\) and \(\alpha _1\in (0,1)\) such that \(\Vert \phi \Vert _{1+\alpha _1,\overline{\varOmega }}\le C_1\);
-
(A3)
In \(\varOmega \cup \varGamma _{\mathrm{shock}}^0\), equation (2.16) is strictly elliptic: \(c^2-|D(\phi +\varphi _0)|^2>0\);
-
(A4)
\(\varGamma _{\mathrm{shock}}\) is \(C^2\) in its relative interior;
-
(A5)
\(\varvec{\tau }_A\ne \pm \varvec{\tau }_B\), and \(\{P+Con\}\cap \varOmega =\emptyset \) for any point \(P\in \overline{\varGamma _{\mathrm{shock}}}\);
-
(A6)
There exists a vector \(\mathbf {e}\in Con\) such that one of the following conditions holds:
-
(i)
\(\varGamma _1\ne \emptyset \), and the directional derivative \(\phi _{\mathbf {e}}\) cannot have a local maximum point on \(\varGamma _1^0\cup \{A\}\) and a local minimum point on \(\varGamma _2^0\),
-
(ii)
\(\varGamma _2\ne \emptyset \), and \(\phi _{\mathbf {e}}\) cannot have a local minimum point on \(\varGamma _1^0\) and a local maximum point on \(\varGamma _2^0\cup \{B\}\),
-
(iii)
\(\phi _{\mathbf {e}}\) cannot have a local minimum point on \(\varGamma _1\cup \varGamma _2\),
where all the local maximum or minimum points are relative to \(\overline{\varOmega }\).
-
(i)
Then the free boundary \(\varGamma _{\mathrm{shock}}\) is a convex graph. That is, there exists a concave function \(f\in C^{1,\alpha }(\mathbb {R})\) in some orthonormal coordinate system (S, T) in \(\mathbb {R}^2\) such that
with \(f\in C^\infty ((T_A, T_B))\), and shock \(\varGamma _{\mathrm{shock}}\) is strictly convex in its relative interior in the sense that, if \(P=(S,T)\in \varGamma _{\mathrm{shock}}^0\) and \(f''(T)=0\), then there exists an integer \(k>1\), independent of the choice of the coordinate system (S, T), such that
The number of the points at which \(f''(T)=0\) is at most finite on each compact subset of \(\varGamma _{\mathrm{shock}}^0\). In particular, the free boundary \(\varGamma _{\mathrm{shock}}\) cannot contain any straight segment.
Remark 2.2
Conditions (A2) and (A5)–(A6) of Theorem 2.1 are the requirements on the global behavior of solutions. In fact, (A5) ensures that there is a coordinate system in which the shock is a Lipschitz graph globally.
Remark 2.3
Condition (A6) allows us to deal with three different kinds of boundary conditions. Moreover, at each of the endpoints of \(\varGamma _{\mathrm{shock}}\), the ellipticity can be either uniform or degenerate. Some applications to each case can be found in §7.
Remark 2.4
The assumption that \(\phi \) is not a constant state means that \(\phi \) cannot be of the form: \(\phi =a_1+(a_2,a_3)\cdot \varvec{\xi }\) in \(\varOmega \), where \(a_j, j=1,2,3\), are constants. In fact, this assumption can be guaranteed by the boundary conditions assigned along \(\varGamma _1\cup \varGamma _2\) in the applications in §7.
In the next theorem, we show that, if assumptions (A1)–(A4) and (A6) hold, then a monotonicity condition for \(\phi \) near \(\varGamma _{\mathrm{shock}}^0\), which is slightly stronger than condition \(\mathrm{(A5)}\), is the necessary and sufficient condition for the strict convexity of shock \(\varGamma _{\mathrm{shock}}\).
Theorem 2.2
Let \(\varOmega \) and \(\phi \) be as in Theorem 2.1 except condition \(\mathrm{(A5)}\). Then the fact that the free boundary \(\varGamma _{\mathrm{shock}}\) is a strictly convex graph in the sense of (2.18)–(2.19) in Theorem 2.1 is the necessary and sufficient condition for the monotonicity property that \(\phi _{\mathbf {e}}>0\) on \(\varGamma _{\mathrm{shock}}^{0}\) for any unit vector \(\mathbf {e}\in \overline{Con}\), where \(\varGamma _{\mathrm{shock}}^0\) is the relative interior of \(\varGamma _{\mathrm{shock}}\).
Remark 2.5
Let \(\varOmega \) and \(\phi \) be as in Theorem 2.2, including that the monotonicity property (or equivalently, the strict convexity of \(\varGamma _{\mathrm{shock}}\)) holds. In addition, assume that, for any unit vector \(\mathbf {e}\in \overline{Con}\) and any point \(\varvec{\xi }\) in the fixed boundary part \(\varGamma _1\cup \varGamma _2\), \(\phi _{\mathbf {e}}\) satisfies that either \(\phi _{\mathbf {e}}(\varvec{\xi })\ge 0\) or \(\phi _{\mathbf {e}}\) cannot attain its local minimum at \(\varvec{\xi }\) with respect to \(\varOmega \). Then \(\phi _{\mathbf {e}}>0\) in \(\varOmega \cup \varGamma _{\mathrm{shock}}^{0}\) for any unit vector \(\mathbf {e}\in \overline{Con}\).
The proof of Remark 2.5 is given after the proof of Theorem 2.2 in §6. Moreover, the assumptions of Remark 2.5 can be justified for the two applications: the regular shock reflection problem and the Prandtl–Meyer reflection problem; see §7.
Furthermore, under some additional assumptions that are satisfied in the two applications, the shock curve is uniformly convex in its relative interior in the sense defined in the following theorem:
Theorem 2.3
Let \(\varOmega \) and \(\phi \) be as in Theorem 2.1. Furthermore, assume that, for any unit vector \(\mathbf {e}\in \mathbb {R}^2\), the boundary part \(\varGamma _1\cup \varGamma _2\) can be further decomposed so that
-
(A7)
\(\varGamma _1\cup \varGamma _2= \hat{\varGamma }_0\cup \hat{\varGamma }_1\cup \hat{\varGamma }_2\cup \hat{\varGamma }_3\), where some of \(\hat{\varGamma }_i\) may be empty, \(\hat{\varGamma }_i\) is connected for each \(i=0,1,2,3\), and all curves \(\hat{\varGamma }_i\) are located along \(\partial \varOmega \) in the order of their indices, i.e., non-empty sets \(\hat{\varGamma }_j\) and \(\hat{\varGamma }_k\), \(k>j\), have a common endpoint if and only if either \(k=j+1\) or \(\varGamma _i=\emptyset \) for all \(i=j+1, \dots , k-1\). Also, the non-empty set \(\hat{\varGamma }_i\) with the smallest (resp. largest) index has the common endpoint A (resp. B) with \(\varGamma _{\mathrm{shock}}\). Moreover, if \(\hat{\varGamma }_i\ne \emptyset \) for some \(i\in \{0,1,2,3\}\), then its relative interior is nonempty: \(\hat{\varGamma }_i^0\ne \emptyset \);
-
(A8)
\(\phi _{\mathbf {e}}\) is constant along \(\hat{\varGamma }_0\) and \(\hat{\varGamma }_3\);
-
(A9)
For \(i=1,2\), if \(\phi _\mathbf {e}\) attains its local minimum or maximum relative to \(\overline{\varOmega }\) on \(\hat{\varGamma }_i^0\), then \(\phi _{\mathbf {e}}\) is constant along \(\hat{\varGamma }_i\);
-
(A10)
One of the following two conditions holds:
-
(i)
Either \(\hat{\varGamma }_1=\emptyset \) or \(\hat{\varGamma }_2=\emptyset \);
-
(ii)
Both \(\hat{\varGamma }_1\) and \(\hat{\varGamma }_2\) are non-empty, and \(\hat{\varGamma }_3=\emptyset \), so that \(\hat{\varGamma }_2\) has the common endpoint B with \(\varGamma _{\mathrm{shock}}\). At point B, the following conditions hold:
-
If \(\varvec{\nu }_\mathrm{sh}(B)\cdot {\mathbf {e}}<0\), then \(\phi _{\mathbf {e}}\) cannot attain its local maximum relative to \(\overline{\varOmega }\) at B,
-
If \(\varvec{\nu }_\mathrm{sh}(B)\cdot {\mathbf {e}}=0\), then \(\phi _\mathbf {e}(B)=\phi _\mathbf {e}(Q^*)\) for the common endpoint \(Q^*\) of \(\hat{\varGamma }_1\) and \(\hat{\varGamma }_2\),
where \(\varvec{\nu }_\mathrm{sh}(B):=\lim \limits _{\varGamma _{\mathrm{shock}}^0\ni P\rightarrow B}\varvec{\nu }(P)\), which exists since \(\varGamma _{\mathrm{shock}}\) is \(C^1\) up to B.
-
-
(i)
Then the shock function f(T) in (2.18) satisfies that \(f''(T)<0\) for all \(T\in (T_A, T_B)\); that is, \(\varGamma _{\mathrm{shock}}\) is uniformly convex on closed subsets of its relative interior.
Remark 2.6
By (2.17) and condition (A1) of Theorem 2.1, it follows that \(\phi <0\) in \(\varOmega \) near \(\varGamma _{\mathrm{shock}}\). Since \(\varGamma _{\mathrm{shock}}\) is the zero level set of \(\phi \), then the following statements hold (see also Lemma 3.2(v)):
-
(i)
The convexity of \(\varGamma _{\mathrm{shock}}\) is equivalent to the fact that \(\phi _{\varvec{\tau }\varvec{\tau }}\ge 0\) on \(\varGamma _{\mathrm{shock}}\). Moreover, by (2.19), if \(\phi _{\varvec{\tau }\varvec{\tau }}=0\) at some \(P\in \varGamma _{\mathrm{shock}}\), then there exists an integer \(k>1\) such that
$$\begin{aligned} \partial ^n_{\varvec{\tau }}\phi =0 \quad \text{ for } n=2, \dots , 2k-1, \qquad \,\,\,\,\, \partial _{\varvec{\tau }}^{(2k)}\phi >0 \quad \text{ at } P, \end{aligned}$$(2.20)where k is the same as in (2.19). In particular, this implies that k is independent of the choice of the coordinate system (S, T) used in (2.18);
-
(ii)
The conclusion of Theorem 2.3 is equivalent to the following: \(\phi _{\varvec{\tau }\varvec{\tau }}>0\) along \(\varGamma _{\mathrm{shock}}^0\), where \(\varGamma _{\mathrm{shock}}^0\) is the interior points of \(\varGamma _{\mathrm{shock}}\).
Remark 2.7
If the conclusion of Theorem 2.3 holds, then the curvature of \(\varGamma _{\mathrm{shock}}\):
has a positive lower bound on any closed subset of \((T_A, T_B)\).
Remark 2.8
The definition of \(\hat{\varGamma }_0\) and \(\hat{\varGamma }_3\) is motivated by the observation that \(\phi _{\mathbf {e}}\) is constant along the sonic arcs in the two shock problems; see the applications in §7 for more details.
Remark 2.9
We can simplify (2.15) as follows: By the Galilean invariance of the potential flow equation (2.16) (i.e., invariance with respect to the shift of coordinates), we assume without loss of generality that \(\mathbf {v}_0=(0,0)\); indeed, this can be achieved by introducing the new coordinates \(\varvec{\xi }'=(\xi _1-u_0,\xi _2-v_0)\). Furthermore, we choose constant \(\rho _0\) in (2.4) to be the density of state (0). Then the pseudo-potential of state (0) is
We will use this form in the proof of the main theorems.
Remark 2.10
Rewrite the condition: \(\phi _{\varvec{\nu }}<0\) in (A1), as \(D\varphi \cdot \varvec{\nu }<D\varphi _0\cdot \varvec{\nu }\). Then, replacing \(\phi +\varphi _0\) by \(\varphi \) in the second equality in (2.17) and using that \(\rho >\rho _0\) by (A1) for \(\rho _0>0\), we have
The theorems stated above are proved in §3–§6. In §3, we first prove some general properties of the free boundary \(\varGamma _{\mathrm{shock}}\), and then derive some additional properties from the assumptions in the theorems. In §4–§6, we employ all of these properties to prove Theorems 2.1–2.3. Specifically, we prove Theorem 2.1 in §4, Theorem 2.3 in §5, and Theorem 2.2 in §6. Then, in §7, we apply the general framework to show the convexity results for the two shock problems: the shock reflection–diffraction problem and the Prandtl–Meyer reflection problem. In the appendix, we construct paths in \(\varOmega \) satisfying certain properties—these paths are used in the proof of the main results.
In the rest of the paper, we use the following terminology: a statement that a function attains a local extremum at \(P\in \partial \varOmega \) means that the local extremum is relative to \(\overline{\varOmega }\). In the case when the local extremum is along (or relative to) \(\partial \varOmega \), we always state that explicitly.
3 Basic Properties of Solutions
In this section, we list several lemmas for the solutions of the self-similar potential flow equation (2.16), which will be used in the subsequent development. Some of them have been proved in Chen-Feldman [14] for a specific geometric situation for the shock reflection–diffraction problem. Here we list these facts under the general conditions of Theorem 2.1 and present them in the form convenient for the use in the general situation considered here. For many of them, the proofs are similar to the arguments in [14], in which cases we omit or sketch them only below for the sake of brevity.
3.1 Additional Properties from (A1)–(A5)
Let \(\phi \in C(\overline{\varOmega })\cap C^{2}(\varOmega \cup \varGamma _{\mathrm{shock}}^0) \cap C^{3}(\varOmega )\) be a solution of (2.16)–(2.17). In this subsection, we use the results of [14, Lemma 6.1.4] to show some properties as the consequences of conditions (A1)–(A5) of Theorem 2.1. First, for a given unit constant vector \(\mathbf {e}\in \mathbb {R}^2\), we derive the equation and the boundary conditions for \(\phi _\mathbf {e}\).
Let \(\mathbf {e}^{\perp }\) be the unit vector orthogonal to \(\mathbf {e}\), and let (S, T) be the coordinates with basis \(\{\mathbf {e}, \mathbf {e}^{\perp }\}\). Then equation (2.16) in the (S, T)–coordinates is
Differentiating (3.1) with respect to S and using the Bernoulli law,
we obtain the following equation for \(w=\partial _S\phi =\partial _\mathbf {e}\phi \):
Since the coefficients of the second-order terms of (3.2) are the same as the ones of (3.1), we find that (3.2) is strictly elliptic in \(\varOmega \cup \varGamma _{\mathrm{shock}}^{0}\). Using the regularity of \(\phi \) above, we find that the coefficients of (3.2) are continuous on \(\varOmega \cup \varGamma _{\mathrm{shock}}^{0}\). Thus, (3.2) is uniformly elliptic on compact subsets of \(\varOmega \cup \varGamma _{\mathrm{shock}}^{0}\).
For the boundary conditions along \(\varGamma _{\mathrm{shock}}\), we first have
Thus, the unit normal vector \(\varvec{\nu }\) and the tangent vector \(\varvec{\tau }\) of \(\varGamma _{\mathrm{shock}}\) are
Notice that, from the entropy condition—condition (A1) of Theorem 2.1, we have
so that (3.3) is well defined.
Taking the tangential derivative of the second equality in (2.17) along \(\varGamma _{\mathrm{shock}}\) and using (3.3), we have
From this, after a careful calculation by using equation (2.16) (see [14, Sect. 5.1.3] for details), we have
where \(D^2\phi [a,b] :=\sum _{i,j=1}^2a_ib_j\partial _{ij}\phi \) and
Using (2.22) and conditions (A1) and (A3) of Theorem 2.1, we obtain from (3.5) that
Based on equation (3.2) and the boundary condition (3.4), we have the following lemma:
Lemma 3.1
Let \(\varOmega \) be a domain with piecewise \(C^1\) boundary, and let \(\varGamma _{\mathrm{shock}}\subset \partial \varOmega \) be \(C^2\) in its relative interior. Let \(\phi \in C^{2}(\varOmega \cup \varGamma _{\mathrm{shock}}^{0})\cap C^{3}(\varOmega )\) be a solution of (2.16) in \(\varOmega \) and satisfy (2.17) on \(\varGamma _{\mathrm{shock}}\), and let \(\phi \) be not a constant state in \(\varOmega \). Assume also that \(\phi \) satisfies conditions (A1)–(A3) of Theorem 2.1. For a fixed unit vector \(\mathbf {e}\in \mathbb {R}^2\) with \(\varvec{\nu }\cdot \mathbf {e}<0\), if a local minimum or maximum of \(w\mathrm{:}=\partial _\mathbf {e}\phi \) in \(\varOmega \) is attained at \(P\in \varGamma _{\mathrm{shock}}^{0}\), then \(\phi _{\varvec{\tau }\varvec{\tau }}>0\) or \(\phi _{\varvec{\tau }\varvec{\tau }}<0\), respectively, where \(\varvec{\nu }\) denotes the interior unit normal vector on \(\varGamma _{\mathrm{shock}}\) to \(\varOmega \).
Proof
First, we note that the proof of [14, Lemma 8.2.4] applies to the present case so that the conclusion of that lemma holds:
Since \(\varvec{\nu }\cdot \mathbf {e}<0\), we follow the proof of [14, Lemma 8.2.15] to obtain that \(k>0\) and
Thus, by ellipticity and (2.22), \(\phi _{\varvec{\tau }\varvec{\tau }}\) has the same sign as \(w_{\varvec{\nu }}\). Also, w satisfies equation (3.2), which is strictly elliptic in \(\varOmega \cup \varGamma _{\mathrm{shock}}^0\). Then, from Hopf’s lemma, \(w_{\varvec{\nu }}(P)<0\) if w attains its local maximum at P, while \(w_{\varvec{\nu }}(P)>0\) if w attains its local minimum at P. Then \(\phi _{\varvec{\tau }\varvec{\tau }}(P)<0\) if w attains its local maximum at P, while \(\phi _{\varvec{\tau }\varvec{\tau }}(P)>0\) if w attains its local minimum at P. \(\quad \square \)
Next we consider the geometric shape of \(\varGamma _{\mathrm{shock}}\) under the conditions listed in Theorem 2.1.
Lemma 3.2
Let \(\varOmega \) be a domain with piecewise \(C^1\) boundary, and let \(\varGamma _{\mathrm{shock}}\subset \partial \varOmega \) be \(C^2\) in its relative interior. Let \(\phi \in C(\overline{\varOmega })\cap C^{2}(\varOmega \cup \varGamma _{\mathrm{shock}}^0)\cap C^{3}(\varOmega )\) be a solution of (2.16)–(2.17). Assume also that conditions (A1)–(A5) of Theorem 2.1 are satisfied. For a unit vector \(\mathbf {e}\in Con\), which is defined in Theorem 2.1(A5), let \(\mathbf {e}^{\perp }\) be the orthogonal unit vector to \(\mathbf {e}\) with \(\mathbf {e}^{\perp }\cdot \varvec{\tau }_A>0\). Let (S, T) be the coordinates with respect to basis \(\{\mathbf {e}, \mathbf {e}^{\perp }\}\), and let \((S_P,T_P)\) be the coordinates of point P in the (S, T)–coordinates. Note that \(T_B>T_A\) since \(\mathbf {e}^{\perp }\cdot \varvec{\tau }_A>0\). Then there exists \(f_\mathbf {e}\in C^{1,\alpha }(\mathbb {R})\) such that
-
(i)
\(\varGamma _{\mathrm{shock}}=\{S=f_\mathbf {e}(T)\,:\,T_A<T<T_B\}\), \(\varOmega \subset \{S<f_\mathbf {e}(T) :\,T\in \mathbb {R}\}\), \(A=(f_\mathbf {e}(T_A),T_A)\), \(B=(f_\mathbf {e}(T_B),T_B)\), and \(f\in C^2((T_A,T_B))\);
-
(ii)
The directions of the tangent lines to \(\varGamma _{\mathrm{shock}}\) lie between \(\varvec{\tau }_A\) and \(\varvec{\tau }_B\); that is, in the (S, T)–coordinates,
$$\begin{aligned} -\infty<\frac{\varvec{\tau }_B\cdot \mathbf {e}}{\varvec{\tau }_B\cdot \mathbf {e}^{\perp }}=f_\mathbf {e}'(T_B)\le f'_\mathbf {e}(T)\le f'_\mathbf {e}(T_A) =\frac{\varvec{\tau }_A\cdot \mathbf {e}}{\varvec{\tau }_A\cdot \mathbf {e}^{\perp }}<\infty \end{aligned}$$for any \(T\in (T_A,T_B)\);
-
(iii)
\(\varvec{\nu }(P)\cdot \mathbf {e}<0\) for any \(P\in \varGamma _{\mathrm{shock}}\);
-
(iv)
\(\phi _\mathbf {e}>0\) on \(\varGamma _{\mathrm{shock}}\);
-
(v)
For any \(T\in (T_A,T_B)\),
$$\begin{aligned} \phi _{\varvec{\tau }\varvec{\tau }}(f_\mathbf {e}(T),T)<0\quad \Longleftrightarrow \quad f''_\mathbf {e}(T)>0, \end{aligned}$$while
$$\begin{aligned} \phi _{\varvec{\tau }\varvec{\tau }}(f_\mathbf {e}(T),T)>0\quad \Longleftrightarrow \quad f''_\mathbf {e}(T)<0. \end{aligned}$$
Proof
By the first condition in (2.17) and the entropy condition (A1),
From this, we have the following two facts:
-
(a)
\(D\phi \ne (0,0)\) on \(\varGamma _{\mathrm{shock}}\);
-
(b)
Combining (3.7) with assumption (A5), \(D\phi \cdot \mathbf {e}\ge 0\) on \(\varGamma _{\mathrm{shock}}\) for each \(\mathbf {e}\in Con\).
Using facts (a)–(b) and recalling that Con denotes the open cone, we conclude that \(D\phi \cdot \mathbf {e}>0\) on \(\varGamma _{\mathrm{shock}}\) for any \(\mathbf {e}\in Con\). Then the implicit function theorem ensures the existence of \(f_\mathbf {e}\) such that property (i) holds.
For property (ii), from the definition that \(\mathbf {e}^{\perp }\cdot \varvec{\tau }_A>0\) and the fact that \(\{P+Con\}\cap \varOmega =\emptyset \), we find that, in the (S, T)–coordinates, for any given \(T\in (T_A,T_B)\) and small \(\sigma >0\),
From this, noting that \(f'_\mathbf {e}(T_A) =\frac{\varvec{\tau }_A\cdot \mathbf {e}}{\varvec{\tau }_A\cdot \mathbf {e}^{\perp }}\) and the similar expression for \(f'_\mathbf {e}(T_B)\) follow from the definition of \(f'_\mathbf {e}\), we obtain (ii).
Next we show (iii). From (i), \(\varvec{\nu }=\frac{(f'_\mathbf {e}(T), -1)}{\sqrt{1+(f'_\mathbf {e}(T))^2}}\), \(\varvec{\tau }_A=\frac{(1, f'_\mathbf {e}(T_A))}{\sqrt{1+(f'_\mathbf {e}(T_A))^2}}\), and \(\varvec{\tau }_B=-\frac{(1, f'_\mathbf {e}(T_B))}{\sqrt{1+(f'_\mathbf {e}(T_B))^2}}\). Since \(\mathbf {e}\in Con\), then \(\mathbf {e}=s_1 (1, f'_\mathbf {e}(T_A))-s_2 (1, f'_\mathbf {e}(T_B))\) for some \(s_1, s_2>0\). Also, the condition that \(\varvec{\tau }_A\ne -\varvec{\tau }_B\) in (A5) implies that \(f'_\mathbf {e}(T_A)\ne f'_\mathbf {e}(T_B)\). Then
where we have used (ii) and the fact that \(f'_\mathbf {e}(T_A)\ne f'_\mathbf {e}(T_B)\) to obtain the last inequality. Now (iii) is proved.
To show property (iv), we notice that, along \(\varGamma _{\mathrm{shock}}\), \(\phi _{\varvec{\tau }}=0\), \(\phi _{\varvec{\nu }}<0\) by assumption (A1) of Theorem 2.1, and \(\varvec{\nu }\cdot \mathbf {e}<0\) by (iii). Therefore, \(\phi _\mathbf {e}=(\varvec{\nu }\cdot \mathbf {e})\phi _{\varvec{\nu }}>0\), which is (iv).
Finally, property (v) follows from the boundary conditions along \(\varGamma _{\mathrm{shock}}\). More precisely, in the (S, T)–coordinates, differentiating twice with respect to T in the equation: \(\phi (f_\mathbf {e}(T),T)=0\), and using that \(\phi _{\varvec{\tau }}=0\) and \(\phi _\mathbf {e}\ne 0\) along \(\varGamma _{\mathrm{shock}}\) by property (iv), we have
Now property (v) directly follows from (v) and properties (iii)–(iv). This completes the proof. \(\quad \square \)
In order to show Lemma 3.4 below, we first note the following property of solutions of the potential flow equation:
Lemma 3.3
([14], Lemma 6.1.4). Let \(\varOmega \subset \mathbb {R}^2\) be open, and let \(\varOmega \) be divided by a smooth curve S into two subdomains \(\varOmega ^+\) and \(\varOmega ^-\). Let \(\varphi \in C^{0,1}(\varOmega )\) be a weak solution in \(\varOmega \) as defined in Definition 2.1 such that \(\varphi \in C^2(\varOmega ^{\pm })\cap C^1(\varOmega ^{\pm }\cup S)\). Denote \(\varphi ^{\pm }:=\varphi \big |_{\varOmega ^{\pm }}\). Suppose that \(\varphi \) is a constant state in \(\varOmega ^-\) with density \(\rho _-\) and sound speed \(c_-\), that is,
where \(\mathbf {v}_-\) is a constant vector and \(A^-\) is a constant. Let \(P_k\in S\), for \(k=1,2\), be such that
-
(i)
\(\varphi ^-\) is supersonic at \(P_k\): \(|D\varphi ^-|>c_-:=c(|D\varphi ^-|^2,\varphi ^-, \rho _0)\) at \(P_k\);
-
(ii)
\(D\varphi ^-\cdot \varvec{\nu }>D\varphi ^+\cdot \varvec{\nu }>0\) at \(P_k\), where \(\varvec{\nu }\) is the unit normal vector to S oriented from \(\varOmega ^-\) to \(\varOmega ^+\);
-
(iii)
For the tangent line \(L_{P_k}\) to S at \(P_k\), \(k=1,2\), \(L_{P_1}\) is parallel to \(L_{P_2}\) with \(\varvec{\nu }(P_1)=\varvec{\nu }(P_2)\);
-
(iv)
\(d(P_1)>d(P_2)\), where \(d(P_k)\) is the distance between line \(L_{P_k}\) and center \(O^-=\mathbf {v}_-\) of the sonic circle of state \(\varphi ^-\) for each \(k=1,2\).
Then
where \(\phi ^+(\varvec{\xi })=\frac{1}{2}|\varvec{\xi }|^2+\varphi ^+(\varvec{\xi })\).
Now we prove a technical fact used in the main argument of the paper.
Lemma 3.4
Let \(\varOmega \), \(\varGamma _{\mathrm{shock}}\), and \(\phi \) be as in Lemma 3.2. For the unit vector \(\mathbf {e}\in Con\), let (S, T) be the coordinates defined in Lemma 3.2, and let \(f_\mathbf {e}\) be the function from Lemma 3.2(i). Assume that, for two different points \(P=(T,f_\mathbf {e}(T))\) and \(P_1=(T_1,f_\mathbf {e}(T_1))\) on \(\varGamma _{\mathrm{shock}}\),
Then
-
(i)
\(d(P):=\mathrm{dist}(O_0,L_{P})>\mathrm{dist} (O_0,L_{P_1})=:d(P_1)\), where \(O_0\) is the center of sonic circle of state (0), and \(L_{P}\) and \(L_{P_1}\) are the tangent lines of \(\varGamma _{\mathrm{shock}}\) at P and \(P_1\), respectively.
-
(ii)
\(\phi _\mathbf {e}(P)>\phi _\mathbf {e}(P_1).\)
Proof
First, since \(f'_\mathbf {e}(T)=f'_\mathbf {e}(T_1)\), denote \(\varvec{\nu }:=\varvec{\nu }(P)=\varvec{\nu }(P_1)\) and \(\varvec{\tau }:=\varvec{\tau }(P)=\varvec{\tau }(P_1)\). In addition,
Therefore, it suffices to find the expression of vector \(PO_0\) in terms of vector \(P_1O_0\).
From the definition of the (S, T)–coordinates and the shock function \(f_\mathbf {e}\) in the previous lemmas, we have
so that
Since \(\big (\mathbf {e}^{\perp }+f_\mathbf {e}'(T_1)\mathbf {e}\big )\cdot \varvec{\nu }=0\),
From Lemma 3.2(iii) and the fact that \(f_\mathbf {e}(T)>f_\mathbf {e}(T_1)+f'_\mathbf {e}(T_1)(T-T_1)\), we conclude that \(PO_0\cdot \varvec{\nu }>P_1O_0\cdot \varvec{\nu }\). This implies
Then (i) is proved.
Now we prove (ii). By (i) and Lemma 3.3,
Also, \(\partial _{\varvec{\tau }}\phi =0\) on \(\varGamma _{\mathrm{shock}}\) by the first condition in (2.17). Thus, \(\partial _{\varvec{\tau }}\phi (P)=\partial _{\varvec{\tau }}\phi (P_1)=0\). Then, using \(\mathbf {e}\cdot \varvec{\nu }<0\), we obtain
which is (ii). \(\quad \square \)
3.2 Real Analyticity of the Shock and Related Properties
In this subsection, we show that the shock, \(\varGamma _{\mathrm{shock}}^0\), is real analytic and \(\phi \) is real analytic in \(\varOmega \cup \varGamma _{\mathrm{shock}}^0\). To see that, we note that the free boundary problem (2.5) and (2.12)–(2.13) can be written in terms of \(\phi =\varphi -\varphi _0\) with \(\varvec{\nu }=\frac{D\phi }{|D\phi |}\) in the form
where, for \((\mathbf {r}, \mathbf {p}, z, \varvec{\xi })\in S^{2\times 2}\times \mathbb {R}^2\times \mathbb {R}\times \overline{\varOmega }\) with \(S^{2\times 2}\) as the set of symmetric \(2\times 2\) matrices,
with
Equation (3.10) is quasilinear, so that its ellipticity depends only on \((\mathbf {p}, z, \varvec{\xi })\). By assumption, the equation is strictly elliptic on solution \(\phi \), i.e., for \((\mathbf {p}, z, \varvec{\xi }) = (D\phi (P), \phi (P), P)\) for all \(P\in \varOmega \cup \varGamma _{\mathrm{shock}}^0\).
Furthermore, it is easy to check by an explicit calculation that the ellipticity of the equation and the fact that \(\varvec{\nu }=\frac{D\phi }{|D\phi |}\) on \(\varGamma _{\mathrm{shock}}^0\) imply the obliqueness of the boundary condition (3.11) on \(\varGamma _{\mathrm{shock}}^0\) for solution \(\phi \):
Moreover, from the explicit expressions, \(N(\mathbf {r}, \mathbf {p}, z, \varvec{\xi })\) is real analytic on \(S^{2\times 2}\times \mathbb {R}^2\times \mathbb {R}\times \overline{\varOmega }\), and \(M(\mathbf {p}, z, \varvec{\xi })\) is real analytic on
Since \(\varphi _0\) is pseudo-supersonic, \(\varphi \) is pseudo-subsonic on \(\varGamma _{\mathrm{shock}}\), and conditions (2.12)–(2.13) hold, we have
so that
for all \((\mathbf {p}, z, \varvec{\xi })=(D\phi (\varvec{\xi }), \phi (\varvec{\xi }), \varvec{\xi })\) with \(\varvec{\xi }\in \varGamma _{\mathrm{shock}}\). That is, \(M(\mathbf {p}, z, \varvec{\xi })\) is real analytic in an open set containing \((\mathbf {p}, z, \varvec{\xi })=(D\phi (\varvec{\xi }), \phi (\varvec{\xi }), \varvec{\xi })\) for all \(\varvec{\xi }\in \varGamma _{\mathrm{shock}}\).
Then, by Theorem 2 in Kinderlehrer-Nirenberg [31], we have the following lemma:
Lemma 3.5
Let \(\varOmega \), \(\varGamma _{\mathrm{shock}}\), and \(\phi \) be as in Lemma 3.2. Then \(\varGamma _{\mathrm{shock}}^0\) is real analytic in its relative interior; in particular, \(f_\mathbf {e}\) is real analytic on \((T_A, T_B)\) for any \(\mathbf {e}\in Con\). Moreover, \(\phi \) is real analytic in \(\varOmega \) up to \(\varGamma _{\mathrm{shock}}^0\).
We remark here that the assertion on the analyticity of the solution up to the free boundary is not listed in the formulation of Theorem 2 in [31], but is shown in its proof.
Now we show the following fact that will be repeatedly used for subsequent development.
Lemma 3.6
Let \(\varOmega \), \(\varGamma _{\mathrm{shock}}\), and \(\phi \) be as in Lemma 3.2. Assume that \(\phi \) is not a constant state in \(\varOmega \). Let \(\mathbf {e}\in Con\), and let \(T_A, T_B\), and \(f_\mathbf {e}\) be from Lemma 3.2(i). Then, for any \(T_P\in (T_A, T_B)\), there exists an integer \(k\ge 2\) such that \(f_\mathbf {e}^{(k)}(T_P)\ne 0\).
Proof
In this proof, we use equation (3.4) in the (S, T)–coordinates with basis \(\{\varvec{\nu },\varvec{\tau }\}=\{\varvec{\nu }(P),\varvec{\tau }(P)\}\) (constant vectors).
We argue by a contradiction. Assume that \(P=(f_\mathbf {e}(T_P),T_P)\in \varGamma _{\mathrm{shock}}^0\) is such that \(f_\mathbf {e}^{(i)}(T_P)=0\) for all \(i>1\). From (v) and its derivatives with respect to T, we use assumption (A1) of Theorem 2.1 to obtain
Writing (3.4) in the coordinates with the basis of the normal vector \(\varvec{\nu }\) and tangent vector \(\varvec{\tau }\) on \(\varGamma _{\mathrm{shock}}\) at P, and writing vector \(\varvec{h}\) given in (3.5) as \(\varvec{h}=h_{\varvec{\nu }} \varvec{\nu }+h_{\varvec{\tau }}\varvec{\tau }\), we have
From (3.6), \(h_{\varvec{\nu }}=\varvec{h}\cdot \varvec{\nu }<0\) at P so that \(\phi _{\varvec{\tau }\varvec{\tau }}=0\) implies that \(\phi _{\varvec{\nu }\varvec{\tau }}=0\). Now, from equation (3.1) and assumption (A3) of Theorem 2.1, we obtain that \(\phi _{\varvec{\nu }\varvec{\nu }}=0\), so that
Continuing inductively with respect to order k of differentiation, we fix \(k>2\), and assume that \(D^j\phi (P)=0\) for \(j=2,\dots , k-1\). With this, taking the \((k-1)\)-th tangential derivative of (3.4), we obtain
Thus, from \(\partial ^k_{\varvec{\tau }}\phi (P)=0\), we have
Then, using the \(\partial ^{k-2}_T\)–derivative of equation (3.1), we see that \(\partial ^{k-2}_{\varvec{\tau }}\partial ^2_{\varvec{\nu }}\phi (P)=0\). Furthermore, using the \(\partial ^{k-3}_T\partial _S\)–derivative of equation (3.1), we see that \(\partial ^{k-3}_{\varvec{\tau }}\partial ^3_{\varvec{\nu }}\phi (P)=0\), etc. Thus, we obtain that all the derivatives of \(\phi \) of order two and higher are zero at P. Now, from the analyticity of \(\phi \) up to \(\varGamma _{\mathrm{shock}}^0\ni P\), we conclude that \(\phi \) is linear in the whole domain \(\varOmega \), which is a contradiction to the condition of Theorem 2.1 that \(\varphi \) is not a constant state. \(\quad \square \)
3.3 Minimal and Maximal Chains: Existence and Properties
In this subsection, we assume that \(\varOmega \subset \mathbb {R}^2\) is open, bounded, and connected, and that \(\partial \varOmega \) is a continuous curve, piecewise \(C^{1,\alpha }\) up to the endpoints of each smooth part and has a finite number of smooth parts. Moreover, at each corner point of \(\partial \varOmega \), angle \(\theta \) between the arcs meeting at that point from the interior of \(\varOmega \) satisfies \(\theta \in (0, \pi )\). Note that Theorem 2.1 requires all these conditions.
Let \(\phi \in C(\overline{\varOmega })\cap C^2(\varOmega \cup \varGamma _{\mathrm{shock}}^0)\cap C^3(\varOmega )\) be a solution of equation (2.16) in \(\varOmega \) satisfying conditions (A2)–(A3) of Theorem 2.1. Let \(\mathbf {e}\in \mathbb {R}^2\) be a unit vector.
Definition 3.7
Let \(E_1, E_2\in \partial \varOmega \). We say that points \(E_1\) and \(E_2\) are connected by a minimal (resp. maximal) chain with radius r if there exist \(r>0\), integer \(k_1\ge 1\), and a chain of balls \(\{B_{r}(C^i)\}_{i=0}^{k_1}\) such that
-
(a)
\(C^0=E_1\), \(C^{k_1}=E_2\), and \(C^i\in \overline{\varOmega }\) for \(i=0,\dots , k_1\);
-
(b)
\(C^{i+1}\in \overline{B_{r}(C^i)\cap \varOmega }\) for \(i=0,\dots , k_1-1\);
-
(c)
\(\phi _\mathbf {e}(C^{i+1})={\displaystyle \min _{\overline{B_{r}(C^i)\cap \varOmega }}\phi _\mathbf {e}<\phi _\mathbf {e}(C^i)}\) (resp. \(\phi _\mathbf {e}(C^{i+1})={\displaystyle \max _{\overline{B_{r}(C^i)\cap \varOmega }}\phi _\mathbf {e}>\phi _\mathbf {e}(C^i)}\)) for \(i=0,\dots , k_1-1\);
-
(d)
\(\phi _\mathbf {e}(C^{k_1})={\displaystyle \min _{\overline{B_{r}(C^{k_1})\cap \varOmega }}\phi _\mathbf {e}}\) (resp. \(\phi _\mathbf {e}(C^{k_1})={\displaystyle \max _{\overline{B_{r}(C^{k_1})\cap \varOmega }}\phi _\mathbf {e}}\)).
For such a chain, we also use the following terminology: The chain starts at \(E_1\) and ends at \(E_2\), or the chain is from \(E_1\) to \(E_2\).
Remark 3.8
This definition does not rule out the possibility that \(B_r(C^i)\cap \partial \varOmega \ne \emptyset \), or even \(C^i\in \partial \varOmega \), for some or all \(i=0,\dots , k_1-1\).
Remark 3.9
Radius r is a parameter in the definition of minimal or maximal chains. We do not fix r at this point. In the proof of Theorems 2.1–2.3, the radii will be determined for various chains in such a way that Lemmas 3.14–3.18 below can be applied.
We now consider the minimal and maximal chains for \(\phi _\mathbf {e}\) in \(\varOmega \). In the results of these subsections, all the constants depend on the parameters in the conditions listed above, i.e., the \(C^{1,\alpha }\)–norm of the smooth parts of \(\partial \varOmega \), the angles at the corner points, and \(\Vert \phi \Vert _{C^{1,\alpha }(\overline{\varOmega })}\), in addition to the further parameters listed in the statements.
We first show that the chains with sufficiently small radius are connected sets.
Lemma 3.10
There exists \(r^*>0\), depending only on the \(C^{1,\alpha }\)–norms of the smooth parts of \(\partial \varOmega \) and angles \(\theta \in (0, \pi )\) in the corner points, such that, for any \(E\in \overline{\varOmega }\) and \(r\in (0, r^*]\),
-
(i)
\(B_r(E)\cap \varOmega \) is connected;
-
(ii)
For any \(G\in \overline{B_r(E)\cap \varOmega }\), \(B_r(E)\cap B_r(G)\cap \varOmega \) is nonempty.
Proof
We only sketch the argument, since the details are standard.
We first prove (i). Denote \(Q_{r}:=(-Lr, Lr)\times (-r, r)\). The conditions on \(\partial \varOmega \) imply that there exist \(L, N>4\) such that, for any sufficiently small \(r>0\), the following facts hold:
-
(a)
If \(P\in \partial \varOmega \) has the distance at least Nr from the corner points of \(\partial \varOmega \), then, in some orthonormal coordinate system in \(\mathbb {R}^2\) with the origin at P,
$$\begin{aligned}&\varOmega \cap Q_{2r}=\{(s,t)\in Q_{2r}\;:\; s>g(t)\},\nonumber \\&\partial \varOmega \cap Q_{2r}=\{(s,t)\in Q_{2r}\;:\; s=g(t)\} \end{aligned}$$(3.17)for some \(g\in C^{1,\alpha }(\mathbb {R})\) with \(g(0)=g'(0)=0\);
-
(b)
If \(P\in \partial \varOmega \) is a corner point, then, in some orthonormal coordinate system in \(\mathbb {R}^2\) with the origin at P,
$$\begin{aligned}&\varOmega \cap Q_{4N r}=\{(s,t)\in Q_{4N r}\;:\; s>\max (g_1(t), g_2(t))\},\nonumber \\&\partial \varOmega \cap Q_{4N r}=\{(s,t)\in Q_{4Nr}\;:\; s=\max (g_1(t), g_2(t))\} \end{aligned}$$(3.18)for some \(g_1\) and \(g_2\) satisfying
$$\begin{aligned}&g_1, g_2\in C^{1,\alpha }(\mathbb {R}), \;\; g_1(0)=g_2(0)=0,\;\;g_1'(0)< 0,\;\;g_2'(0)> 0,\nonumber \\&g_1(t)>g_2(t)\; \text{ for } t<0,\qquad \; g_1(t)<g_2(t)\; \text{ for } t>0. \end{aligned}$$(3.19)Note that, in order to obtain (3.18)–(3.19), we use the condition that angle \(\theta \) at P satisfies \(\theta \in (0, \pi )\).
Let \(E\in \overline{\varOmega }\). Without loss of generality, we assume that \(\mathrm{dist}(E, \partial \varOmega )<r\); otherwise, (i) already holds.
The first case is that the distance from E to the corner points is at least 2Nr. Then, denoting by P the nearest point on \(\partial \varOmega \) to E, it follows that P satisfies the condition for Case (a) above, so that P is the unique nearest point on \(\partial \varOmega \) to E, and \(E=(s^*, 0)\) with \(s^*\in [0, r)\) in the coordinate system described in (a) above. Then, denoting \(f^\pm (t):=s^*\pm \sqrt{r^2-t^2}\) on \([-r, r]\), and using that \(|g'(t)|\le Ct^\alpha \) and \(|g(t)|\le Ct^{1+\alpha }\) on \([-r, r]\) for C depending on the \(C^{1,\alpha }\)–norm of the smooth parts of \(\partial \varOmega \), we obtain that, if r is small, there exist \(t^+\in (\frac{9}{10} r, r]\) and \(t^-\in [-r, -\frac{9}{10} r)\) such that
where the last set is empty if \(t^\pm =\pm r\), and
which is a connected set, by the first inequality in (3.20) and the fact that \(f^-<f^+\) in \((-r,r)\).
In the other case, when the distance from E to the corner points is smaller than 2Nr, we argue similarly by using the coordinates described in Case (b) above, related to the corner point P that is the nearest to E. The existence of such a coordinate system and the fact that \(\mathrm{dist}(E,P)<2Nr\) also imply that the nearest corner P is unique for E. Then, in these coordinates,
Let
Then, by (3.18),
If r is sufficiently small, we deduce from (3.19) that there exists \(\lambda \in (0,1)\) such that
Let \(P^{(k)}=(s^{(k)}, t^{(k)})\) be the nearest point to E on \(\varGamma ^{(k)}\). Then \(P^{(k)}\in \varGamma ^{(k)}\cap Q_{2N r}\).
Assume that \({\mathrm{dist}}(E,\varGamma ^{(1)}) <r\), which implies that \(E\in B_r(P^{(1)})\). Using (3.23), \(g_1'(t^{(1)})<0\). Then, reducing r depending on the \(C^{1,\alpha }\)–norm of \(g_1\), rotating the coordinate system (s, t) by angle \(\arctan (|g_1'(t^{(1)})|)\) clockwise, and shifting the origin into \(P^{(1)}\), we conclude that, in the resulting coordinate system (S, T),
for some \(G\in C^{1,\alpha }(\mathbb {R})\) with \(G(0)=G'(0)=0\), which is similar to (3.17). Then, arguing as in Case (a), we obtain an expression similar to (3.21) for \(\varOmega ^{(1)}\cap B_{r}(E)\) in the (S, T)–coordinates. Changing back to the (s, t)–coordinates and possibly further reducing r depending on \(\lambda \), we obtain the existence of \(t^-\in [t^*- r, t^*)\) such that
where the last set is empty if \(t^-=t^*-r\), and
where \(f^\pm (t):=s^*\pm \sqrt{r^2-(t-t^*)^2}\) on \([t^*-r, t^*+r]\). Note that (3.25) also holds if \({\mathrm{dist}}(E,\varGamma ^{(1)})\ge r\): Indeed, in this case, \(\varOmega ^{(1)}\cap B_{r}(E)=B_{r}(E)\) and \(g_1(t)\le f^-(t)\) on \([t^*-r, t^*+r]\), so that (3.25) holds with \(t^-=t^*-r\).
By a similar argument, we show the existence of \(t^+\in (t^*, t^*+r]\) such that
where the last set is empty if \(t^+=t^*+r\), and
From (3.22), (3.25), and (3.27), we obtain
which is a connected set, by the first inequalities in (3.24) and (3.26) and the fact that \(f^-<f^+\) in \((t^*-r, t^*+r)\).
Now we prove assertion (ii). We can assume that \(G\in B_r(E)\cap \partial \varOmega \); otherwise, (ii) already holds. Then we again consider two cases, as above, and use expressions (3.21) and (3.28) to conclude the proof. \(\quad \square \)
Remark 3.11
The condition that the interior angles \(\theta \) at the corner points of \(\partial \varOmega \) satisfy \(\theta \in (0, \pi )\) is necessary for Lemma 3.10. Indeed, let \(\theta \in (\pi , 2\pi )\) at some corner \(Q\in \partial \varOmega \). For simplicity, consider first the case when \(\partial \varOmega \cap B_{5R}(Q)\) consists of two straight lines intersecting at Q for some \(R>0\). Then it is easy to see that, for any \(E\in \partial \varOmega \) with \(d:=\mathrm{dist}(E, Q)\in (0, R]\), \(B_r(E)\cap \varOmega \) is not connected for all \(r\in (d\sin (2\pi -\theta ),\, d)\). With the assumption that \(\partial \varOmega \) is piecewise \(C^{1,\alpha }\) up to the corner points (without assumption that \(\partial \varOmega \cap B_{5R}(Q)\) is piecewise-linear), the same is true for all \(r\in (d_1, d)\) for some \(d_1\in (d\sin (2\pi -\theta ), d)\) if d is sufficiently small.
Lemma 3.12
There exists \(r^*>0\) such that any chain in Definition 3.7 with \(r\in (0, r^*)\) satisfies
-
(i)
\({\displaystyle \bigcup _{i=0}^{k_1}\big (B_{r}(C^i)\cap \varOmega \big )}\) is connected;
-
(ii)
There exists a continuous curve \(\mathcal {S}\) with endpoints \(C^0\) and \(C^{k_1}\) such that
$$\begin{aligned} \mathcal {S}^0\subset {\displaystyle \bigcup _{i=0}^{k_1}\big (B_{r}(C^i)\cap \varOmega \big )},\,\,\,\, \; {\mathrm{dist}}(\mathcal {S}_r, \partial \varOmega )>0 \qquad \;\; \text{ for } \text{ all } r>0, \end{aligned}$$where \(\mathcal {S}_r=\mathcal {S}\setminus \big (B_r(C^0)\cup B_r(C^{k_1})\big )\), and \(\mathcal {S}^0\) denotes the open curve that does not include the endpoints. More precisely, \(\mathcal {S}=g([0,1])\), where \(g\in C([0, 1];\mathbb {R}^2)\) and is locally Lipschitz on (0, 1) with \(g(0)=C^0\), \(g(1)=C^{k_1}\), and \({\displaystyle g(t)\in \bigcup _{i=0}^{k_1}\big (B_{r}(C^i)\cap \varOmega \big )}\) for all \(t\in (0,1)\).
Proof
We use \(r^*\) in Lemma 3.10. We prove (i) by induction: We first note that \(B_{r}(C^1)\cap \varOmega \) is connected by Lemma 3.10(i). Suppose that, for \(m\in \{1, 2,\dots , k_1-1\}\), \({ A_m=\bigcup _{i=0}^{m}\left( B_{r}(C^i)\cap \varOmega \right) }\) is connected. We note that \(A_m\) has a nonempty intersection with \(B_{r}(C^{m+1})\cap \varOmega \) by Definition 3.7(b) and Lemma 3.10(ii). Also, \(B_{r}(C^{m+1})\cap \varOmega \) is a connected set. Then it follows that \(\bigcup _{i=0}^{m+1}\left( B_{r}(C^i)\cap \varOmega \right) \) is connected. This proves (i).
Assertion (ii) with reduced \(r^*\) follows from Lemmas A.1 and A.3. \(\quad \square \)
Remark 3.13
Lemma 3.12(ii) implies that \(\mathcal {S}^0\) lies in the interior of \(\varOmega \).
Now we show the existence of minimal (resp. maximal) chains. We use \(r^*\) from Lemma 3.12 from now on.
Lemma 3.14
If \(E_1\in \partial \varOmega \) and is not a local minimum point (resp. maximum point) of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\), then, for any \(r\in (0, r^*)\), there exists a minimal (resp. maximal) chain \(\{G^i\}_{i=0}^{k_1}\) for \(\phi _\mathbf {e}\) of radius r in the sense of Definition 3.7, starting at \(E_1\), i.e., \(G^0=E_1\). Moreover, \(G^{k_1}\in \partial \varOmega \) is a local minimum (resp. maximum) point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\), and \(\phi _\mathbf {e}(G^{k_1})<\phi _\mathbf {e}(E_1)\) (resp. \(\phi _\mathbf {e}(G^{k_1})>\phi _\mathbf {e}(E_1)\)).
Proof
We discuss only the case of the minimal chain, since the case of the maximal chain can be considered similarly. Thus, \(E_1\) is not a local minimum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\).
Let \(G^0=E_1\). Choose \(G^{i+1}\) to be the point such that the minimum of \(w=\phi _\mathbf {e}\) in \(\overline{B_{r}(G^i)}\cap \overline{\varOmega }\) is attained at \(G^{i+1}\), provided that \(w(G^{i+1})<w( G^i)\); otherwise (i.e., if the minimum of \(w=\phi _\mathbf {e}\) in \(\overline{B_{r_1}(G^i)}\cap \overline{\varOmega }\) is attained at \(G^i\) itself), the process ends and we set \(k_1:= i\).
In order to show that \(\{G^i\}_{i=0}^{k_1}\) is a minimal chain for \(r\in (0, r^*)\), it suffices to show that \(G^{k_1}\in \partial \varOmega \) and that \(k_1\) is positive and finite. These can be seen as follows:
-
(i)
Since \(G^0 = E_1\) is not a local minimum point relative to \(\overline{\varOmega }\), it follows that \(G^1\ne G^0\) so that \(k_1\ge 1\) and \(\phi _\mathbf {e}(G^0)<\phi _\mathbf {e}(G^1)\).
-
(ii)
There is only a finite number of \(\{G^i\}\). Indeed, on the contrary, since domain \(\varOmega \) is bounded, there exists a subsequence \(\{G^{i_m}\}\) such that \(G^{i_m}\rightarrow \hat{C}\) as \(m\rightarrow \infty \), where \(\hat{C}\) is a point lying in \(\overline{\varOmega }\). Thus, for any \(\epsilon <r\), there is a large number N such that, for any \(j,\,m>N\), \(\text{ dist }\{G^{i_j},\,G^{i_m}\}<\epsilon \). On the other hand, by construction, for any \(j<i-1\), \(G^{i}\) cannot lie in the ball centering at \(G^j\) with radius r so that \(\text{ dist }\{G^i,\,G^j\}\ge r\) for any \(j<i-1\). This is a contradiction.
-
(iii)
\(G^{k_1}\in \partial \varOmega \). Otherwise, \(G^{k_1}\in \varOmega \) is an interior local minimum point of \(\phi _\mathbf {e}\), which contradicts the strong maximum principle, since \(\phi _\mathbf {e}\) satisfies equation (3.2) that is strictly elliptic in \(\varOmega \), and \(\phi _\mathbf {e}\) is not constant in \(\varOmega \) by the assumption that \(\varphi \) is not a uniform state.
Therefore, \(\{G^i\}_{i=0}^{k_1}\) is a minimal chain with \(G^{k_1}\in \partial \varOmega \). Also, from the construction, \(G^{k_1}\) is a local minimum point of w with respect to \(\overline{\varOmega }\) with \(w(G^{k_1})<w(E_1)\).
\(\square \)
Lemma 3.15
For any \(\delta >0\), there exists \(r_1^*\in (0, r^*]\) such that the following holds: Let \(\mathcal {C}\subset \partial \varOmega \) be connected, let \(E_1\) and \(E_2\) be the endpoints of \(\mathcal {C}\), and let there be a minimal chain \(\{E^i\}_{i=0}^{k_1}\) of radius \(r_1\in (0, r_1^*]\) which starts at \(E_1\) and ends at \(E_2\), and \(H_1\in \mathcal {C}^0=\mathcal {C}\setminus \{E_1,E_2\}\) such that
Then, for any \(r_2\in (0, r_1]\), any maximal chain \(\{H^j\}_{j=0}^{k_2}\) of radius \(r_2\) starting from \(H_1\) satisfies \(H^{k_2}\in \mathcal {C}^0\), where \(\mathcal {C}^0\) denotes the relative interior of curve \(\mathcal {C}\) as before.
Proof
Using the bound: \(\Vert \phi \Vert _{1+\alpha _1, \overline{\varOmega }}\le C\) by condition (A2) of Theorem 2.1, we can find a radius \(r_1^*\in (0, r^*]\) small enough such that
We fix this \(r_1^*\) and assume that the minimal chain \(\{E^i\}_{i=0}^{k_1}\) from \(E_1\) to \(E_2\) is of radius \(r_1\in (0, r_1^*]\).
Recall that, from Definition 3.7 for the minimal and maximal chains, \(\phi _\mathbf {e}(E_1)>\phi _\mathbf {e}(E^i)\) for \(i=1, \dots , k_1\), and \(\phi _\mathbf {e}(H_1)<\phi _\mathbf {e}(H^j)\) for \(j=1, \dots , k_2\). Then, for each \(i=0,\dots , k_1\), and \(j=0,\dots , k_2\),
where we have used that \(E_1=E^0\), \(H_1=H^0\), and \(0<r_1\le r_1^*\). Then
From this, we have
where \(\varLambda := \bigcup _{i=0}^{k_1}\overline{B_{r_1}(E^i)\cap \varOmega }\).
Since \(\overline{B_{r_1}(H^1)\cap \varOmega }\) is a connected set, then one of connected components of set \(\displaystyle \overline{\varOmega }\setminus \varLambda \) contains \(\overline{B_{r_1}(H^1)\cap \varOmega }\). We denote this component by \(K_1\). Since \(\varOmega \) is a connected set, then it follows from (3.29) and Lemma 3.12(i) applied to chain \(\{H^j\}\) that
Thus, \(H^{k_2}\in \partial K_1\cap \partial \varOmega \). It remains to show that \(\partial K_1\cap \partial \varOmega \) lies within \(\mathcal {C}\).
Notice that \(H_1\in \partial K_1\cap \mathcal {C}\) so that \(\partial K_1\cap \mathcal {C}\ne \emptyset \). Also, \(K_1\) is a connected set with \(K_1\cap \varLambda =\emptyset \). From Lemma 3.12(ii) applied to chain \(\{E^i\}\), we obtain the existence of a continuous curve \(\mathcal {S}\subset \varLambda \) connecting \(E_1\) to \(E_2\) with the properties listed in Lemma 3.12(ii). Combining these properties with Remark 3.13, we see that \(K_1\subset \overline{\varOmega }_1\), where \(\varOmega _1\) is the open region bounded by curves \(\mathcal {S}\) and \(\mathcal {C}\). Notice that \(\varOmega _1\subset \varOmega \). Thus, \(\partial K_1\cap \partial \varOmega \) lies within \(\partial \varOmega _1 \cap \partial \varOmega = \mathcal {C}\), which implies that \(H^{k_2}\in \mathcal {C}\). Moreover, the definition of minimal and maximal chains and our assumptions in this lemma imply that
Thus, \(H^{k_2}\in \mathcal {C}^0\). \(\quad \square \)
Remark 3.16
In Lemma 3.15, we have not discussed the existence of the maximal chain \(\{H^j\}_{j=0}^{k_2}\) of radius \(r_2\) starting from \(H_1\). If \(H_1\) is not a local maximum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\), such an existence follows from Lemma 3.14.
We also have a version of Lemma 3.15 in which the roles of minimal and maximal chains are interchanged.
Lemma 3.17
For any \(\delta >0\), there exists \(r_1^*\in (0, r^*]\) such that the following holds: Let \(\mathcal {C}\subset \partial \varOmega \) be connected, let \(E_1\) and \(E_2\) be the endpoints of \(\mathcal {C}\), and let there exist a maximal chain \(\{E^i\}_{i=0}^{k_1}\) of radius \(r_1\in (0, r_1^*]\) which starts at \(E_1\) and ends at \(E_2\), and \(H_1\in \mathcal {C}^0\) such that
Then, for any \(r_2\in (0, r_1]\), any minimal chain \(\{H^j\}_{j=0}^{k_2}\) of radius \(r_2\), starting from \(H_1\), satisfies that \(H^{k_2}\in \mathcal {C}^0\).
The proof follows the argument of Lemma 3.15 with the changes resulting from switching between the minimal and maximal chains and the correspondingly reversed signs in the inequalities.
Lemma 3.18
For any \(r_1\in (0, r^*]\), there exists \(r_2^*=r_2^*(r_1)\in (0, r^*]\) such that the following holds: Let \(\mathcal {C}\subset \partial \varOmega \) be connected, let \(E_1\) and \(E_2\) be the endpoints of \(\mathcal {C}\), let there exist a minimal chain \(\{E^i\}_{i=0}^{k_1}\) of radius \(r_1\in (0, r^*]\) which starts at \(E_1\) and ends at \(E_2\), and let there exist \(H_1\in \mathcal {C}^0\) such that
Then, for any \(r_2\in (0, r_2^*]\), any minimal chain \(\{H^j\}_{j=0}^{k_2}\) of radius \(r_2\), starting from \(H_1\), satisfies that \(H^{k_2}\in \mathcal {C}^0\).
Proof
As in the proof of Lemma 3.15, we need to show (3.29). Set \(\delta :=\phi _\mathbf {e}(E_2)- \phi _\mathbf {e}(H_1)\). Then \(\delta >0\).
Using condition (A2) of Theorem 2.1, we can find a radius \(r_2^*\in (0, r^*]\) small enough such that for all \(P\in \overline{\varOmega }\). We fix this \(r_2^*\) and assume that the minimal chain \(\{H^j\}_{j=0}^{k_2}\) starting at \(H_1\) is of radius \(r_2\in (0, r_2^*]\). Then, using properties (c)–(d) in Definition 3.7 for the minimal chains, we have
that is,
Then, for \(i=0, \dots , k_1\) and \(j=0, \dots , k_2\),
This implies (3.29). Then the rest of the proof of Lemma 3.15 applies without changes. \(\quad \square \)
4 Proof of Theorem 2.1
In this section, we first prove Theorem 2.1, based on the lemmas obtained in §3.
We use the (S, T)–coordinates from Lemma 3.2 for a unit vector \(\mathbf {e}\in Con\) chosen below so that it suffices to prove that the graph of \(f''_\mathbf {e}\) is concave:
and satisfies the strict convexity in the sense of Theorem 2.1.
In that follows, we denote all the points on \(\varGamma _{\mathrm{shock}}\) with respect to T; that is, for any point \(P\in \varGamma _{\mathrm{shock}}\), there exists \(T_P\) such that \(P=(f_\mathbf {e}(T_P),T_P)\) in the (S, T)–coordinates.
The proof of Theorem 2.1 consists of the following four steps, where the non-strict concavity of \(f''_\mathbf {e}\) is shown in Steps 1–3, while the strict convexity is shown in Step 4:
-
Step 1.
For any fixed \(\mathbf {e}\in Con\), if there exists \(\hat{P}\in \varGamma _{\mathrm{shock}}^0\) with \(f_\mathbf {e}''(T_{\hat{P}})>0\), we prove the existence of a point \(C\in \varGamma _{\mathrm{shock}}^0\), depending on \(\mathbf {e}\), such that \(f_\mathbf {e}''(T_C)\ge 0\), and C is a local minimum point of \(\phi _\mathbf {e}\) along \(\varGamma _{\mathrm{shock}}\), but C is not a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\).
-
Step 2.
We fix \(\mathbf {e}\in Con\) to be the vector from condition (A6). Then we prove the existence of \(C_1\in \varGamma _{\mathrm{shock}}^0\) such that there exists a minimal chain with radius \(r_1\) from C to \(C_1\).
-
Step 3.
Let \(\mathbf {e}\in Con\) be the same as in Step 2. We show that the existence of points C and \(C_1\) described above yields a contradiction, from which we conclude that there is no \(\hat{P}\in \varGamma _{\mathrm{shock}}^0\) with \(f_\mathbf {e}''(T_{\hat{P}})>0\). More precisely, it will be proved by showing the following facts:
-
Let \(A_2\) be a maximum point of \(\phi _\mathbf {e}\) along \(\varGamma _{\mathrm{shock}}\) lying between points C and \(C_1\). Then \(A_2\) is a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\), and there is no point between C and \(C_1\) on \(\varGamma _{\mathrm{shock}}\) such that the tangent line at this point is parallel to the one at \(A_2\).
-
Between C and \(A_2\), or between \(C_1\) and \(A_2\), there exists a local minimum point \(C_2\) of \(\phi _\mathbf {e}\) along \(\varGamma _{\mathrm{shock}}\) such that \(C_2\ne C\), or \(C_2\ne C_1\), and \(C_2\) is not a local minimum point of \(\phi _\mathbf {e}\) relative to domain \(\overline{\varOmega }\).
-
Then, by applying the results on the minimal chains obtained in §3.3 and the facts obtained above in this step, and iterating these arguments, we can conclude our contradiction argument.
-
-
Step 4.
Fix \(\mathbf {e}\in Con\). We show that, for every \(P\in \varGamma _{\mathrm{shock}}^0\), either \(f_\mathbf {e}''(T_P)<0\) or there exists an even integer \(k>2\) such that \(f_\mathbf {e}^{(i)}(T_P)=0\) for all \(i=2,\dots ,k-1\), and \(f_\mathbf {e}^{(k)}(T_P)<0\). This proves the strict convexity of the shock. We also note that k is independent of the choice of \(\mathbf {e}\in Con\), since, by Lemma 3.2, the above property is equivalent to the facts that \(\partial _{\varvec{\tau }}^{i}\phi (P)=0\) for all \(i=2,\dots ,k-1\), and \(\partial _{\varvec{\tau }}^k\phi (P)>0\).
Now we follow these steps to prove Theorem 2.1 in the rest of this section.
4.1 Step 1: Existence of a Local Minimum Point \(C\in \varGamma _{\mathrm{shock}}^0\) along \(\varGamma _{\mathrm{shock}}\) in the Convex Part
We choose any \(\mathbf {e}\in Con\) and keep it fixed through Step 1. Assume that
Then, in this step, we prove that there exist points \(\hat{A}, \hat{B}, C\in \varGamma _{\mathrm{shock}}^0\) such that \(T_C\in (T_{\hat{A}},T_{\hat{B}})\) with \(f_\mathbf {e}''(T_C)\ge 0\), \(f_\mathbf {e}''(T)< 0\) for all \(T\in (T_{\hat{A}},T_{\hat{B}})\) which are sufficiently close to \(T_{\hat{A}}\) and \(T_{\hat{B}}\), and
Moreover, the minimum at C is strict in the sense that
Lemma 4.1
Let
be the maximal interval satisfying
-
\(I^+\subset (T_A,T_B)\),
-
\(T_{\hat{P}} \in I^+\),
-
\(f_\mathbf {e}''(T_P)\ge 0\) for all \(T_P\in I^+\),
-
Maximality: If \((T_{P_1},T_{P_2})\subset (T_A,T_B)\) such that \(\hat{P}\in (T_{P_1},T_{P_2})\) and \(f_\mathbf {e}''(T_P)\ge 0\) for all \(T_P\in (T_{P_1},T_{P_2})\), then \((T_{P_1},T_{P_2})\subset I^+\).
Note that such \(I^+\) exists and is nonempty because \(\hat{P}\in \varGamma _{\mathrm{shock}}^0\) and \(f_\mathbf {e}''(T_{\hat{P}})>0\). Then
-
(i)
\(T_A<T_{A^+}< T_{B^+}<T_B\),
-
(ii)
\(f_\mathbf {e}'(T_{A^+})<f_\mathbf {e}'(T_{\hat{P}})<f_\mathbf {e}'(T_{B^+})\) and \(f_\mathbf {e}'(T_{A^+})\le f_\mathbf {e}'(T)\le f_\mathbf {e}'(T_{B^+})\) for all \(T\in I^+\),
-
(iii)
There exists an open interval \(J^+\subset (T_A,T_B)\) such that \([T_{A^+}, T_{B^+}]\subset J^+\) and
$$\begin{aligned} f_\mathbf {e}''(T)<0, \,\,\, f_\mathbf {e}'(T_{A^+})\le f_\mathbf {e}'(T)\le f_\mathbf {e}'(T_{B^+}) \qquad \text{ for } \text{ all } T\in J^+\setminus \overline{I^+}, \end{aligned}$$(4.2)where \(J^+\backslash \overline{I^+}\) is non-empty, since \(\overline{I^+} \subset J^+\) and \(J^+\) is open.
Proof
Assume that \(T_{A^+}=T_A\). By the definition of \(I^+\), \(f_\mathbf {e}\) is convex on \(I^+\). From condition (A4) of Theorem 2.1, \(f_\mathbf {e}\in C^2((T_A,T_B))\cap C^{1,\alpha }([T_A,T_B])\). Combining these facts with \(f_\mathbf {e}''(T_{\hat{P}})>0\), we have
By Lemma 3.2(i), this implies that \((A+Con)\cap \varOmega \ne \emptyset \), which contradicts (A5). Then \(T_{A^+}>T_A\). Similarly, \(T_{B^+}<T_B\). This proves (i).
Property (ii) follows directly from the definition of \(I^+\) and the fact that \(f_\mathbf {e}''(T_{\hat{P}})>0\), by combining with regularity \(f_\mathbf {e}\in C^2((T_A,T_B))\).
It remains to show (iii). We first show that
where \(T_A< T_{A^+} \) by (i). If (4.3) is false, then there exists a sequence \(\{T^+_i\}\subset (T_A, T_{A^+})\) such that \(\lim _{i\rightarrow \infty }T^+_i=T_{A^+}\) and \(f_\mathbf {e}''(T^+_i)\ge 0\) for all i. Also, from the maximality part in the definition of \(I^+\), there exists a sequence \(\{T^-_i\}\subset (T_A, T_{A^+})\) such that \(\lim _{i\rightarrow \infty }T^-_i=T_{A^+}\) and \(f_\mathbf {e}''(T^-_i)< 0\) for all i. From this, using the regularity of \(f_\mathbf {e}\) in Lemma 3.5, it is easy to see that \(f_\mathbf {e}^{(k)}(A^+)=0\) for \(k=2, 3, \dots \), which contradicts Lemma 3.6. This proves (4.3).
Moreover, by property (ii), there exists \(T_{\hat{A}}\in [T_{\hat{A}_1}, T_{A^+})\) satisfying \(f_\mathbf {e}'(T_{\hat{A}})\le f_\mathbf {e}'(T_{B^+})\). Now, since \(f_\mathbf {e}''<0\) on \((T_{\hat{A}_1}, T_{A^+})\), we obtain that \(f_\mathbf {e}''(T)<0\) and \(f_\mathbf {e}'(T_{A^+})<f_\mathbf {e}'(T)\le f_\mathbf {e}'(T_{B^+})\) for all \(T\in (T_{\hat{A}}, T_{A^+})\).
Similarly, we show that there exists \(T_{\hat{B}}\in (T_{B^+}, T_B]\) such that \(f_\mathbf {e}''(T)<0\) and \(f_\mathbf {e}'(T_{A^+})\le f_\mathbf {e}'(T)< f_\mathbf {e}'(T_{B^+})\) for all \(T\in (T_{B^+}, T_{\hat{B}})\).
Now (iii) is proved with \(J^+=(T_{\hat{A}}, T_{\hat{B}})\). \(\quad \square \)
Clearly, the interval, \(J^+\), satisfying the properties in Lemma 4.1(iii) is non-unique. From now on, we choose and fix an interval:
satisfying the properties stated in Lemma 4.1(iii).
Now we show the existence of a local minimum point \(C\in \overline{I^+}\) along \(\varGamma _{\mathrm{shock}}\).
Proposition 4.2
Set
Then
-
(i)
There exists \(T_C\in \overline{I^+}\) such that
$$\begin{aligned} w(C)=\min _{[T_{\hat{A}},T_{\hat{B}}]}w(f_\mathbf {e}(T),T)\mathrm{;} \end{aligned}$$ -
(ii)
\(C\in \varGamma _{\mathrm{shock}}^0\) with \(f''_\mathbf {e}(T_C)\ge 0\);
-
(iii)
Furthermore,
$$\begin{aligned} w(P)>w(C) \qquad \,\, \text{ for } \text{ all } T_P\in (T_{\hat{A}}, T_{\hat{B}})\setminus [T_{A^+}, T_{B^+}]. \end{aligned}$$
Proof
Let \(J^+\) be the open interval from (4.4), which satisfies the properties in Lemma 4.1(iii). Also, recall that \(\overline{I^+}=[T_{A+},T_{B^+}]\). Then, from (i) and (iii) of Lemma 4.1, we obtain that \(T_{\hat{A}}< T_{A+}<T_{B^+} < T_{\hat{B}}\).
Fix \(T_P\in J^+\setminus \overline{I^+}\). Then \(f'_{\mathbf {e}}(T_{A^+})\le f'_\mathbf {e}(T_P)\le f'_\mathbf {e}(T_{B^+})\) by Lemma 4.1(iii). Thus, there exists \(T_{P_1}\in \overline{I^+}=[T_{A+},\,T_{B^+}]\) such that \(f'_\mathbf {e}(T_{P_1})=f'_\mathbf {e}(T_P)\). In addition, since \(f_\mathbf {e}''\ge 0\) in \(\overline{I^+}\) by the definition of \(I^+\), and \(f_\mathbf {e}''< 0\) in \(J^+\setminus [T_{A+},T_{B^+}]\) by Lemma 4.1(iii), then
-
If \(T_P\in [T_{B^+},T_{\hat{B}}]\), \(f'_\mathbf {e}(T)\ge f'_\mathbf {e}(T_{P_1})\) for all \(T\in [T_{P_1},T_{P}]\), with strict inequality \(f'_\mathbf {e}(T)> f'_\mathbf {e}(T_{P_1})\) for \(T\in (T_{B^+},T_{P})\),
-
If \(T_P\in [T_{\hat{A}},T_{A^+}]\), \(f'_\mathbf {e}(T)\le f_\mathbf {e}'(T_{P_1})\) for all \(T\in [T_P,T_{P_1}]\), with strict inequality \(f'_\mathbf {e}(T)< f'_\mathbf {e}(T_{P_1})\) for \(T\in (T_P,T_{A^+})\).
Thus, defining the function
we obtain in the two cases considered above that
-
If \(T_P\in [T_{B^+},T_{\hat{B}}]\), then
$$\begin{aligned} g'(T){\left\{ \begin{array}{ll} \ge 0 \quad &{}\text{ for } T\in [T_{P_1},T_P],\\ >0 \quad &{}\text{ for } T\in (T_{B^+},T_P). \end{array}\right. } \end{aligned}$$ -
If \(T_P\in [T_{\hat{A}},T_{A^+}]\), then
$$\begin{aligned} g'(T){\left\{ \begin{array}{ll} \le 0 \quad &{}\text{ for } T\in [T_P,T_{P_1}],\\ <0 \quad &{}\text{ for } T\in (T_P, T_{A^+}). \end{array}\right. } \end{aligned}$$
Therefore, in both cases, \(g(T_P)>g(T_{P_1})\), which implies
Now, by Lemma 3.4,
Thus we have proved that, for any \(T_P\in J^+\setminus \overline{I^+}\), there exists \(T_{P_1}\in \overline{I^+}\) such that (4.5) holds for \(P=(f_\mathbf {e}(T_{P}), T_{P})\) and \(P_1=(f_\mathbf {e}(T_{P_1}), T_{P_1})\). This implies that there exists \(T_C\in \overline{I^+}\) such that \(w(f_\mathbf {e}(T),T)\) attains its minimum over \(\overline{J^+}=[T_{\hat{A}},T_{\hat{B}}]\) at \(T_C\). This proves assertion (i).
Moreover, we find from \(T_C\in \overline{I^+}\subset J^+\) that \(C\in \varGamma _{\mathrm{shock}}^0\). Also, from (i) and \(\overline{I^+}\subset J^+= (T_{\hat{A}},T_{\hat{B}})\), \(f''_\mathbf {e}(T_C)\ge 0\). This proves assertion (ii).
Assertion (iii) for all \(T_P\in (T_{\hat{A}}, T_{\hat{B}})\setminus [T_{A^+}, T_{B^+}]\) follows from the strict inequality in (4.5). \(\quad \square \)
We derive a corollary of Lemma 4.2(ii). The property, \(C\in \varGamma _{\mathrm{shock}}^0\), guarantees the strict ellipticity of equation (2.16) at C, where we have used assumption (A3) of Theorem 2.1. Combining \(f''_\mathbf {e}(T_C)\ge 0\) with Lemma 3.2(v) implies that \(\phi _{\varvec{\tau }\varvec{\tau }}(C)\le 0\). Thus, from Lemma 3.1 and Lemma 3.2(iii), we obtain
Corollary 4.3
C is not a local minimum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\).
This means that, for any radius \(r>0\), there is a point \(C_r\in \overline{ B_r(C)\cap \varOmega }\) such that \(w(C_r)<w(C)\).
4.2 Step 2: Existence of \(T_{C_1}\in (T_A,T_B)\setminus [T_{\hat{A}},T_{\hat{B}}]\) Such That \(C_1\) and C Are Connected by a Minimal Chain with Radius \(r_1\), for Vector \(\mathbf {e}\) from Condition (A6)
In the argument, we use the minimal and maximal chains in the sense of Definition 3.7.
Through §4.2–§4.3, we fix \(\mathbf {e}\in Con\) to be the vector from condition (A6) of Theorem 2.1, and use points \(\hat{A}, \hat{B}, C\in \varGamma _{\mathrm{shock}}^0\) from Step 1 (which correspond to this vector \(\mathbf {e}\)) and constant \(r^*\) from Lemma 3.10. In this step, we prove the following proposition:
Proposition 4.4
Let \(\mathbf {e}\in Con\) be the vector from condition (A6) of Theorem 2.1, and let C be the corresponding point obtained in Proposition 4.2. Then there exists \(\hat{r}_1\in (0, r^*]\) such that, for any \(r_1\in (0, \hat{r}_1)\) and any minimal chain \(\{C^i\}_{i=0}^{k_1}\) of radius \(r_1\) for \(w=\phi _\mathbf {e}\) starting from point C, its endpoint \(C_1:= C^{k_1}\) is in \(\varGamma _{\mathrm{shock}}^0\), i.e., \(C_1\in \varGamma _{\mathrm{shock}}^0\). Moreover, \(C_1\) is a local minimum point of w relative to \(\overline{\varOmega }\) such that
In order to prove Proposition 4.4, we first notice that, by Corollary 4.3 and Lemma 3.14, for any \(r_1\in (0, r^*)\), there exists a minimal chain \(\{C^i\}_{i=0}^{k_1}\) of radius \(r_1\) for \(w=\phi _\mathbf {e}\) in the sense of Definition 3.7, starting at C, i.e., \(C^0=C\). Moreover, \(C^{k_1}\in \partial \varOmega \) is a local minimum point of w with respect to \(\overline{\varOmega }\), and \(w(C^{k_1})<w(C)\).
Now, in order to complete the proof of Proposition 4.4, it suffices to prove the following lemma:
Lemma 4.5
There exists \(\hat{r}_1>0\) such that, if \(r_1\in (0, \hat{r}_1]\), then \(C^{k_1}\in \varGamma _{\mathrm{shock}}^0\).
Proof
On the contrary, if \(C^{k_1}\in \overline{\varGamma _1\cup \varGamma _2}\), we derive a contradiction for sufficiently small \(r_1>0\). Now we divide the proof into five steps.
1. We first determine how small \(r_1>0\) should be in the minimal chain \(\{C^i\}\). Choose points \(A_1, B_1\in \varGamma _{\mathrm{shock}}\) such that
Note that the definition of points \(A_1\) and \(B_1\) is independent of the choice of the minimal chain \(\{C^i\}\) and its radius. Also, from Proposition 4.2(iii), it follows that \(\phi _\mathbf {e}(A_1)>\phi _\mathbf {e}(C)\) and \(\phi _\mathbf {e}(B_1)>\phi _\mathbf {e}(C)\). Let
Then \(\delta >0\). Lemma 3.15 determines \(r_1^*(\delta )\), so that \(r_1 \in (0, r_1^*(\delta ))\) is assumed in the minimal chain \(\{C^i\}\).
2. We start from Case (i) of condition (A6).
Claim: Under the condition of Case (i), \(A_1\) cannot be a local maximum point of \(w=\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\).
In fact, for Case (i), if \(A_1=A\), then \(A_1\) cannot be a local maximum point. On the other hand, if \(A_1\ne A\), and \(A_1\) is a local maximum point, then
by Lemmas 3.1–3.2. Thus, we consider the function
Then \(F(T_{A_1})=0\), \(F'(T_{A_1})=0\), and \(F''(T_{A_1})>0\) so that \(F(T)>0\) near \(T_{A_1}\). Let the maximum of F(T) on \([T_A,T_{A_1}]\) be attained at \(T_{A^*}\). Then \(F(T_{A^*})>0\), which implies that \(T_{A^*}\ne T_{A_1}\).
If \(T_{A^*}\ne T_{A}\), then \(F'(T_{A^*})=0\), which implies that \(f'_\mathbf {e}(T_{A^*})-f'_\mathbf {e}(T_{A_1})=0\). If \(T_{A^*}=T_A\), then, using \(f_\mathbf {e}'(T_A)\ge f'_\mathbf {e}(T_{A_1})\), condition (A5), and \(F'(T_A)\le 0\) (since \(T_A=T_{A^*}\) is a maximum point of F(T) on \([T_A,T_{A_1}]\)), we conclude that \(f_\mathbf {e}'(T_{A^*})=f_\mathbf {e}'(T_A)=f_\mathbf {e}'(T_{A_1})\). Thus, in both cases,
Also, \(F(T_{A^*})>0\) implies that
Then, from Lemma 3.4, \(\phi _\mathbf {e}(A^*)>\phi _\mathbf {e}(A_1)\), which contradicts the definition of \(A_1\). Now the claim is proved.
3. In this step, for Case (i) of condition (A6), we obtain a contradiction to the assumption that \(C^{k_1}\in \overline{\varGamma _1\cup \varGamma _2}\).
Since \(C^{k_1}\in \overline{\varGamma _1\cup \varGamma _2}\) is a local minimum point of \(\phi _\mathbf {e}\), the condition for Case (i) implies that \(C^{k_1}\in \overline{\varGamma _1}\cup \{B\}\).
We first consider the case that \(C^{k_1}\in \overline{\varGamma _1}\setminus \{A\}\). Since \(A_1\) is not a local maximum point of \(w=\phi _\mathbf {e}\), and \(r_1\in (0, r^*]\), then, by Lemma 3.14, there exists a maximal chain \(\{A^j\}_{j=0}^{k_2}\) of radius \(r_1\) for w in the sense of Definition 3.7, starting at \(A_1\), i.e., \(A^0=A_1\). Moreover, \(A^{k_2}\in \partial \varOmega \) is a local maximum point of w with respect to \(\overline{\varOmega }\), and \(w(A^{k_2})>w(A_1)\). Furthermore, by Lemma 3.15 and the restriction for \(r_1\) described in Step 1, it follows that one of the following three cases occurs:
-
(a)
\(A^{k_2}\) lies on \(\varGamma _1^0\) between \(C^{k_1}\) and A;
-
(b)
\(A^{k_2}=A\);
-
(c)
\(A^{k_2}\) lies on \(\varGamma _{\mathrm{shock}}^0\) strictly between A and C.
Since \(A^{k_2}\) is a local maximum point of \(\phi _\mathbf {e}\), then it cannot lie on \(\varGamma _1^0\cup \{A\}\) by the condition of Case (i). Thus, only case (c) can occur, i.e., \(A^{k_2}\) lies on \(\varGamma _{\mathrm{shock}}^0\) between A and C. However, the property that \(w(A^{k_2})>w(A_1)\) contradicts the fact that \(T_{A_1}\) is the maximum point of \(\phi _\mathbf {e}(f_\mathbf {e}(T), T)\) on \([T_A,T_C]\). Thus, the case that \(C^{k_1}\in \overline{\varGamma _1}\setminus \{A\}\) is not possible.
Next, consider the case that \(C^{k_1}=A\). Then
so that the definition of \(A_1\) implies that \(A_1\ne A\). Combining with the fact that \(A_1\ne C\) proved above, we conclude that \(A_1\) lies on \(\varGamma _{\mathrm{shock}}^0\) strictly between C and \(C^{k_1}=A\). Then we obtain a contradiction by following the same argument as above.
The remaining case, \(C^{k_1}=B\), is considered similarly to the case that \(C^{k_1}=A\). Indeed, in that argument, we have not used the condition that A cannot be a local maximum point. Thus, the argument applies to the case that \(C^{k_1}=B\), with only notational change: points B and \(B_1\) are used, instead of A and \(A_1\).
This completes the proof for Case (i) of condition (A6) of Theorem 2.1.
4. The proof for Case (ii) of condition (A6) of Theorem 2.1 is similar to Case (i). The only difference is to replace both A and \(A_1\) in the argument by B and \(B_1\).
5. Consider Case (iii) of condition (A6) of Theorem 2.1, i.e., when \(\phi _\mathbf {e}\) cannot have a local minimum point on \(\varGamma _1\cup \varGamma _2\). For the local minimum point \(C^{k_1}\in \overline{\varGamma _1\cup \varGamma _2}\), this implies that \(C^{k_1}\in \{A, B\}\). Then the argument is the same as for the cases: \(C^{k_1}=A\) and \(C^{k_1}=B\), at the end of Step 3.
This completes the proof of Lemma 4.5.
Proposition 4.4 with \(C_1=C^{k_1}\) follows directly from Lemma 4.5. \(\quad \square \)
4.3 Step 3: Existence of Points C and \(C_1\) Yields a Contradiction
In this section, we continue to denote by \(\mathbf {e}\in Con\) the vector from condition (A6) of Theorem 2.1, and use points \(\hat{A}, \hat{B}, C\in \varGamma _{\mathrm{shock}}^0\) from Step 1 which correspond to this vector \(\mathbf {e}\). Then, for each \(r_1\in (0, \hat{r}_1]\), the corresponding point \(C_1\) is defined in Proposition 4.4. In this step, we will arrive at a contradiction to the existence of such C and \(C_1\) if \(r_1\) is sufficiently small. This implies that (4.1) cannot hold for \(\mathbf {e}\) from condition (A6), which means that \(f_\mathbf {e}(\cdot )\) is concave, i.e., \(\varGamma _{\mathrm{shock}}\) is convex.
For \(E_1, E_2\in \varGamma _{\mathrm{shock}}\), denote by \(\varGamma _{\mathrm{shock}}[E_1, E_2]\) the part of \(\varGamma _{\mathrm{shock}}\) between points \(E_1\) and \(E_2\), including the endpoints.
Fix \(r_1\in (0, \hat{r}_1]\). This choice determines \(C_1\). Let \(A_2\in \varGamma _{\mathrm{shock}}[C, C_1]\) be such that
Lemma 4.6
There exists \(\delta >0\) such that, for any \(r_1\in (0, \hat{r}_1]\), the corresponding points C, \(C_1\), and \(A_2\) defined above satisfy
Proof
We employ Proposition 4.2 for vector \(\mathbf {e}\) from condition (A6). Then, using that \(\phi _\mathbf {e}(C)>\phi _\mathbf {e}(C_1)\) by Proposition 4.4, it follows from Proposition 4.2(i) that \(T_{C_1}\notin [T_{\hat{A}},T_{\hat{B}}]\).
Using this and (4.6), we conclude that (4.7) holds with
where \(\delta >0\) by Proposition 4.2(iii). Notice that the definition of points \(\hat{A}\), \(\hat{B}\), and C is independent of \(r_1\); see (4.4) and Proposition 4.2(i). Then the right-hand side of (4.8) is independent of \(r_1>0\), so that \(\delta >0\) is independent of \(r_1\). \(\quad \square \)
The rest of the argument in this section involves only part \(\varGamma _{\mathrm{shock}}[C, C_1]\) of the shock curve, independent of the other parts of \(\partial \varOmega \). Without loss of generality, we assume that \(C_1\in \varGamma _{\mathrm{shock}}[A, C]\) so that
Indeed, if \(C_1\in \varGamma _{\mathrm{shock}}[B, C]\), we re-parameterize the shock curve by
where \(\tilde{f}_{\mathbf {e}}(T)=f_\mathbf {e}(-T)\), and \(T_A\) and \(T_B\) are the T–coordinates of A and B with respect to the original parameterization, and then switch the notations for points A and B. Thus, (4.9) holds in the new parametrization.
Now (4.6) has the form:
In particular, \(T_{A_2}\in (T_{C_1}, T_C)\). See also Fig. 2.
From Lemma 4.6 and Proposition 4.4, we obtain that, for any \(r_1\in (0, \hat{r}_1]\),
Now we prove
Lemma 4.7
If \(r_1\) is sufficiently small, then
-
(i)
\(A_2\) is a local maximum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\);
-
(ii)
There is no point \(Q\ne A_2\) between C and \(C_1\) along the shock such that the tangent line at Q is parallel to the one at \(A_2\).
Proof
The proof consists of two steps.
1. In this step, we prove (i). We first fix \(r_1>0\). Let \(\delta \) be from Lemma 4.6, and let \(r_1^*>0\) be the constant from Lemma 3.15 for this \(\delta \). We fix \(r_1=r_1^*\), and denote \(C_1\) and \(A_2\) as the corresponding points for this choice of \(r_1\). Suppose that \(A_2\) is not a local maximum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\). Using (4.11) and the existence of a minimal chain of radius \(r_1\) from C to \(C_1\), we can apply Lemma 3.15 to obtain the existence of a maximal chain \(\{A^j\}_{j=0}^{k_2}\) of radius \(r_1\) starting from \(A_2\) (i.e., \(A_2=A^0\)) such that \(A^{k_2}\) is on \(\varGamma _{\mathrm{shock}}\) between C and \(C_1\). Since \(\phi _\mathbf {e}(A_2)<\phi _\mathbf {e}(A^{k_2})\), we obtain a contradiction to (4.6). Thus, \(A_2\) is a local maximum point with respect to \(\overline{\varOmega }\).
2. Now we prove (ii). We use (4.9). Assume that there is a point \(Q\ne A_2\) between C and \(C_1\) such that the tangent line at Q is parallel to the one at \(A_2\). Since \(A_2\) is a local maximum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\) as shown in Step 1 in this proof, we find that \(f''_\mathbf {e}(T_{A_2})>0\), by Lemmas 3.1–3.2. Define
Then
and there is a point \(T_Q\in (T_{C_1}, T_{A_2})\cup (T_{A_2}, T_{C})\) such that \(F'(T_Q)=0\).
If \(F(T_Q)>0\), then, by Lemma 3.4, we conclude that \(\phi _\mathbf {e}(Q)>\phi _\mathbf {e}(A_2)\), which contradicts (4.10).
If \(F(T_Q)\le 0\), we first consider the case that \(Q\in (T_{C_1}, T_{A_2})\). Using \({\displaystyle \max _{T\in [T_Q, T_{A_2}]} F(T)>0}\) by (4.12) so that this maximum is attained at some point \(T_{Q_1}\in (T_Q,T_{A_2})\), we obtain
so that Lemma 3.4 can be applied to obtain that \(\phi _\mathbf {e}(Q_1)>\phi _\mathbf {e}(A_2)\), which is a contradiction. The case that \(Q\in (T_{A_2}, T_{C})\) is considered similarly.
Therefore, point Q does not exist. \(\quad \square \)
With the facts established in Lemma 4.7, we can conclude the proof of the main assertion of Step 3 by a contradiction for sufficiently small \(r_1>0\). The main idea of the remaining argument is illustrated in Fig. 3. We first notice the following facts:
Lemma 4.8
\(f_\mathbf {e}(T)\) satisfies the following properties:
Proof
Property (4.13) follows from Lemmas 3.1–3.2, since \(A_2\) and \(C_1\) are the local maximum and minimum points of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\), respectively.
To show (4.14), we note from \(f_\mathbf {e}''(T_{A_2})>0\) that \(f_\mathbf {e}'(T)< f_\mathbf {e}'(T_{A_2})\) in \((T_{A_2}-\varepsilon ,\, T_{A_2})\) for some \(\varepsilon >0\). Then, if \(f_\mathbf {e}'(T_Q)> f_\mathbf {e}'(T_{A_2})\) for some \(T_Q\in [T_{C_1},T_{A_2})\), there exists \(T_P\in (T_{Q}, T_{A_2})\) with \(f_\mathbf {e}'(T_P)=f_\mathbf {e}'(T_{A_2})\), which contradicts Lemma 4.7(ii). Thus, (4.14) holds. Finally, (4.15) is proved by similar argument. \(\quad \square \)
Now we choose \(T_{C_2}\in [T_{C_1},T_{A_2}]\) such that
We show that
To prove (4.17), we first establish the following more general property of \(\varGamma _{\mathrm{shock}}\) (which will also be used in the subsequent development):
Lemma 4.9
Assume that there exist points \(E_1\), \(E_2\), and \(E_3\) on \(\varGamma _{\mathrm{shock}}\) such that
-
(i)
\(T_{E_1}<T_{E_2}\) and \(T_{E_3}\in [T_{E_1},T_{E_2}]\),
-
(ii)
\(f_\mathbf {e}''(T_{E_1})<0\),
-
(iii)
\(f_\mathbf {e}'(T_{E_1})\le f_\mathbf {e}'(T_{E_2})\),
-
(iv)
\(\phi _\mathbf {e}(E_1)<\phi _\mathbf {e}(E_2)\),
-
(v)
\(\phi _\mathbf {e}(E_3)={\displaystyle \min _{T\in [T_{E_1},T_{E_2}]}\phi _\mathbf {e}(f_\mathbf {e}(T),T)}\).
Then \(\phi _\mathbf {e}(E_3)<\phi _\mathbf {e}(E_1)\), and \(E_3\) is not a local minimum point of \(\phi _\mathbf {e}\) relative to domain \(\overline{\varOmega }\).
Proof
We divide the proof into two steps.
1. We first show that \(\phi _\mathbf {e}(E_3)<\phi _\mathbf {e}(E_1)\). By condition (v), this is equivalent to the inequality:
Thus, it suffices to show that it is impossible that
Assume that (4.18) holds. Consider the function:
Then \(F(T_{E_1})=F'(T_{E_1})=0\), and \(F''(T_{E_1})=f_\mathbf {e}''(T_{E_1})<0\) by condition (ii). This implies that \(F(T)<0\) in \((T_{E_1}, T_{E_1}+\delta )\) for some small \(\delta >0\). Denoting by \(T_Q\) a minimum point of F(T) in \([T_{E_1},T_{E_2}]\), then \(F(T_Q)<0\). This implies that \(Q\ne E_1\). Now we consider two cases:
If \(Q\ne E_2\), then \(F'(T_Q)=0\), i.e., \(f_\mathbf {e}'(T_{Q})=f_\mathbf {e}'(T_{E_1})\). With this, \(F(T_Q)<0\) can be rewritten as
Then, by Lemma 3.4(ii), we obtain that \(\phi _\mathbf {e}(E_1)>\phi _\mathbf {e}(Q)\), which contradicts (4.18).
If \(Q=E_2\), then \(F'(T_{E_2})\le 0\). Notice that \(F'(T_{E_2})=f'_\mathbf {e}(T_{E_2})-f'_\mathbf {e}(T_{E_1})\ge 0\) by condition (iii). Thus, \(F'(T_{E_2})=0\), which means that \(f'_\mathbf {e}(T_{E_2})=f'_\mathbf {e}(T_{E_1})\). Then, using \(F(T_{E_2})=F(T_Q)<0\) and arguing similar to the previous case, we employ Lemma 3.4(ii) to obtain that \(\phi _\mathbf {e}(E_1)>\phi _\mathbf {e}(E_2)\), a contradiction to (4.18).
Therefore, we have proved that (4.18) is false. This implies that \(\phi _\mathbf {e}(E_3)<\phi _\mathbf {e}(E_1)\), as we have shown above.
2. We now show that \(E_3\) cannot be a local minimum point of \(\phi _\mathbf {e}\) relative to domain \(\overline{\varOmega }\). We have shown in Step 1 that \(E_3\ne E_1\). Also, \(E_3\ne E_2\) by conditions (iv)–(v). Thus, \(T_{E_3}\in (T_{E_1},T_{E_2})\), i.e., \(E_3\in \varGamma _{\mathrm{shock}}^0\). If \(E_3\) is a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\), we obtain by Lemmas 3.1 and 3.2(v) that \(f''_\mathbf {e}(T_{E_3})<0\). Let
Then \(G(T_{E_3})=G'(T_{E_3})=0\) and \(G''(T_{E_3})=f_\mathbf {e}''(T_{E_3})<0\). This implies that \(G(T)<0\) in \((T_{E_3}, T_{E_3}+\delta )\) for some \(\delta >0\). Assume that \(T_{Q_1}\) is a minimum point of G(T) in \([T_{E_3},T_{E_2}]\). Then, repeating the argument in Step 1 (with \(E_3\), G, and \(T_{Q_1}\) instead of \(E_1\), F, and \(T_Q\), respectively), we obtain that \(\phi _\mathbf {e}(E_3)>\phi _\mathbf {e}(Q_1)\), which contradicts condition (v). \(\quad \square \)
Lemma 4.9 also holds if \(T_{E_1}>T_{E_2}\), with only change in the condition that \(f_\mathbf {e}'(T_{E_1})\le f_\mathbf {e}'(T_{E_2})\) that is now replaced by \(f_\mathbf {e}'(T_{E_1})\ge f_\mathbf {e}'(T_{E_2})\). More precisely, we have
Corollary 4.10
Assume that there exist points \(E_1\), \(E_2\), and \(E_3\) on \(\varGamma _{\mathrm{shock}}\) such that
-
(i)
\(T_{E_1}>T_{E_2}\) and \(T_{E_3}\in [T_{E_2},T_{E_1}]\),
-
(ii)
\(f_\mathbf {e}''(T_{E_1})<0\),
-
(iii)
\(f_\mathbf {e}'(T_{E_1})\ge f_\mathbf {e}'(T_{E_2})\),
-
(iv)
\(\phi _\mathbf {e}(E_1)<\phi _\mathbf {e}(E_2)\),
-
(v)
\(\phi _\mathbf {e}(E_3)=\min _{T\in [T_{E_2},T_{E_1}]}\phi _\mathbf {e}(f_\mathbf {e}(T),T)\).
Then \(\phi _\mathbf {e}(E_3)<\phi _\mathbf {e}(E_1)\), and \(E_3\) is not a local minimum point of \(\phi _\mathbf {e}\) relative to domain \(\overline{\varOmega }\).
Proof
We prove this by directly repeating the argument in the proof of Lemma 4.9 with some obvious changes. Alternatively, by re-parameterizing the shock curve by
so that \(\tilde{f}_{\mathbf {e}}(T)=f_\mathbf {e}(-T)\), and \(T_A\) and \(T_B\) are the T–coordinates of A and B with respect to the original parameterization, then we are under the conditions of Lemma 4.9 in the new parameterization. \(\quad \square \)
Proof of (4.17)
Using (4.9)–(4.11), (4.13)–(4.14), and (4.16), we can apply Lemma 4.9 with \(E_1=C_1\), \(E_2=A_2\), and \(E_3=C_2\) to obtain (4.17). \(\quad \square \)
Let \(r_1\) be the constant from Lemma 4.7, and \(r_2\in (0, r_1)\). Since \(C_2\) is not a local minimum point by (4.17), we use Lemma 3.14 to obtain the existence of a minimal chain \(\{C_2^j\}_{j=0}^{k_2}\) with radius \(r_2\); see Fig. 3. Next, we restrict \(r_2\) to be smaller than \(r_2^*\) from Lemma 3.18 defined by \(r_1\) fixed above. Then, recalling that there is a minimal chain of radius \(r_1\) which starts at C and ends at \(C_1\), and noting that \(\phi _\mathbf {e}(C_2)<\phi _\mathbf {e}(C_1)\) by (4.16)–(4.17), we obtain that \(C_2^{k_2}\) lies on \(\varGamma _{\mathrm{shock}}\) between C and \(C_1\). Now, using (4.16) and noting that \(\phi _\mathbf {e}(C_2^{k_2})<\phi _\mathbf {e}(C_2^0)=\phi _\mathbf {e}(C_2)\), we conclude that \(C_2^{k_2}\) lies on the part \([T_{A_2},T_C]\) of \(\varGamma _{\mathrm{shock}}\); see Fig. 3. Denote \(C_3:=C_2^{k_2}\) and notice that \(C_3\) is a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\).
From this construction, point \(A_2\) (defined by equation (4.6) so that (4.10) holds) satisfies \(T_{A_2}\in (T_{C_2}, T_{C_3})\subset (T_{C_1},T_{C})\). Then
Also, from (4.11), (4.16), and the definition of \(C_3\) as the endpoint of the minimal chain from \(C_2\), we have
where the last property holds by Lemmas 3.1–3.2, since \(C_3\) is a local minimum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\). Moreover, from (4.15),
Choosing \(T_{C_4}\in [T_{A_2},T_{C_3}]\) such that
we can apply Corollary 4.10 with \(E_1=C_3\), \(E_2=A_2\), and \(E_3=C_4\) to show that \(\phi _\mathbf {e}(C_4)<\phi _\mathbf {e}(C_3)\) and \(C_4\) cannot be a local minimum point.
Then we repeat the same argument as those for the minimal chain starting from \(C_2\). Specifically, for any \(r_3\in (0, r_2]\), we use Lemma 3.14 to obtain the existence of a minimal chain \(\{C_4^m\}_{m=0}^{k_3}\) with radius \(r_3\) starting from \(C_4\), i.e., \(C_4^0=C_4\); see Fig. 3. Next, we restrict \(r_3\) to be smaller than \(r_2^*(r_2)\) from Lemma 3.18, i.e., \(r_2\) fixed above is used as \(r_1\) in Lemma 3.18 to determine \(r_2^*(r_2)\). Then, recalling that there is a minimal chain of radius \(r_2\) which starts at \(C_2\) and ends at \(C_3\), and noting that \(\phi _\mathbf {e}(C_4)<\phi _\mathbf {e}(C_3)\) as we have shown above, we obtain by Lemma 3.18 that
However, combining the properties shown above, we have
so that
Then the property that \(\phi _\mathbf {e}(C_4^{k_3})<\phi _\mathbf {e}(C_4)\) implies that \(C^{k_3}_4\) cannot lie on \([T_{C_2},T_{C_3}]\subset [T_{C_1},T_{C_3}]\). This contradicts (4.20).
This contradiction shows that (4.1) cannot hold if \(\mathbf {e}\) is the vector from condition (A6) of Theorem 2.1. Therefore, in the (S, T)–coordinates from Lemma 3.2 for this vector \(\mathbf {e}\), we conclude that
We have thus completed the proof of the following fact:
Proposition 4.11
Suppose that conditions (A1)–(A6) of Theorem 2.1 hold. Then the free boundary \(\varGamma _{\mathrm{shock}}\) is a convex graph as described in Theorem 2.1.
4.4 Step 4: Strict Convexity of \(\varGamma _{\mathrm{shock}}\)
In this step, we show the strict convexity in the sense that, for any fixed \(\mathbf {e}\in Con\), using the coordinates and function \(f_\mathbf {e}\) from Lemma 3.2(i), for every \(P\in \varGamma _{\mathrm{shock}}^0\), either \(f_\mathbf {e}''(T_P)<0\) or there exists an even integer \(k>2\) such that \(f_\mathbf {e}^{(i)}(T_P)=0\) for all \(i=2,\dots , k-1\), and \(f_\mathbf {e}^{(k)}(T_P)<0\).
Note that \(f_\mathbf {e}''\le 0\) on \((T_A, T_B)\) by Proposition 4.11.
Let \(T_P\in (T_A, T_B)\) be such that \(f_\mathbf {e}''(T_P)=0\). By Lemma 3.6, there exists an integer k such that
The convexity of the shock in Proposition 4.11 implies that k must be even and \(f^{(k)}_\mathbf {e}(T_P)<0\). This shows (2.19) in the coordinate system with basis \(\{\mathbf {e}, \mathbf {e}^{\perp }\}\). Moreover, using Remark 2.6, we have
Proposition 4.12
Suppose that conditions (A1)–(A6) of Theorem 2.1 hold. Then the free boundary \(\varGamma _{\mathrm{shock}}\) is strictly convex in the sense that (2.19) holds at every \(T\in (T_A, T_B)\) with \(f''(T)=0\). Moreover, (2.20) holds at every point of \(\varGamma _{\mathrm{shock}}^0\), at which \(\phi _{\varvec{\tau }\varvec{\tau }}=0\).
Furthermore, we note the following fact:
Lemma 4.13
Suppose that conditions (A1)–(A6) of Theorem 2.1 hold. Then, for any \(\varepsilon >0\), there is no more than a finite set of points \(P=(f(T), T)\in \varGamma _{\mathrm{shock}}\) with \(T\in [T_A+\varepsilon , T_B-\varepsilon ]\) such that \(f''(T)=0\) (or equivalently, \(\phi _{\varvec{\tau }\varvec{\tau }}(P)=0\)).
Proof
Suppose that \(T_i\in [T_A+\varepsilon , T_B-\varepsilon ]\) for \(i=1,2,\dots \), are such that \(f''(T_i)=0\). Then a subsequence of \(T_i\) converges to \(T^*\in [T_A+\varepsilon , T_B-\varepsilon ]\), and \(f^{(n)}(T^*)=0\) for each \(n=2,3,\dots \), and \(P^*=(f(T^*), T^*)\in \varGamma _{\mathrm{shock}}^0\). It follows that \(\partial ^n_{\varvec{\tau }}\phi (P^*)=0\) for each \(n=2,3,\dots \). This contradicts (2.20). \(\quad \square \)
By Propositions 4.11–4.12 and Lemma 4.13, the proof of Theorem 2.1 is completed.
5 Proof of Theorem 2.3: Uniform Convexity of Transonic Shocks
In this section, we show the uniform convexity of \(\varGamma _{\mathrm{shock}}^0\) in the sense that \(f''(T_P)<0\) for every \(P\in \varGamma _{\mathrm{shock}}^0\) for \(f(\cdot )\) in (2.18), or equivalently, \(f''_\mathbf {e}(T)<0\) on \((T_A, T_B)\) for any \(\mathbf {e}\in Con\).
The outline of the proof is the following: By Theorem 2.1 and Remark 2.6, \(\phi _{\varvec{\tau }\varvec{\tau }}\ge 0\) on \(\varGamma _{\mathrm{shock}}^0\). Thus, we need to show that \(\phi _{\varvec{\tau }\varvec{\tau }}>0\) on \(\varGamma _{\mathrm{shock}}^0\). Assume that \(\phi _{\varvec{\tau }\varvec{\tau }}=0\) at \(P_\mathrm{d}\in \varGamma _{\mathrm{shock}}^0\). Then we obtain a contradiction by proving that there exists a unit vector \(\mathbf {e}\in \mathbb {R}^2\) such that \(P_\mathrm{d}\) is a local minimum point of \(\phi _\mathbf {e}\) along \(\varGamma ^{0}_\mathrm{shock}\), but \(P_\mathrm{d}\) is not a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Then we can construct a minimal chain for \(\phi _\mathbf {e}\) connecting \(P_\mathrm{d}\) to \(C^{k_1}\in \partial \varOmega \). We show that
-
\(C^{k_1}\notin \varGamma _0\cup \varGamma _3\),
-
\(C^{k_1}\notin \varGamma _1\cup \varGamma _2\),
-
\(C^{k_1}\notin \varGamma _{\mathrm{shock}}\).
This implies that \(\phi _{\varvec{\tau }\varvec{\tau }}>0\) on \(\varGamma _{\mathrm{shock}}^0\) so that \(f''(T)<0\) on \((T_A, T_B)\); see Remark 2.6.
Now we follow the procedure outlined above to prove Theorem 2.3. In the proof, we use the (S, T)–coordinates in (2.18). Then we have
where we have used the convexity of \(\varGamma _{\mathrm{shock}}\) proved in Theorem 2.1. Note that the orientation of the tangent vector \(\varvec{\tau }(P)\) at \(P\in \varGamma _{\mathrm{shock}}\) has been chosen to be towards endpoint B.
First, from the convexity and Lemma 3.1, we have
Lemma 5.1
Let \(\phi \) be a solution as in Theorem 2.1. For any unit vector \(\mathbf {e}\in \mathbb {R}^2\), if \(\mathbf {e}\cdot \varvec{\nu }<0\) (resp. \(\mathbf {e}\cdot \varvec{\nu }>0\)) at \(P\in \varGamma _{\mathrm{shock}}^0\), then \(\phi _\mathbf {e}\) cannot attain its local maximum (resp. minimum) with respect to \(\overline{\varOmega }\) at this point.
We now prove the uniform convexity by a contradiction argument. From Theorem 2.1 and Remark 2.6, we know that (2.20) holds so that, if \(f''(T_{P_\mathrm{d}})=0\) at some interior point \(P_\mathrm{d}\) of \(\varGamma _{\mathrm{shock}}\), then
for some \(\varepsilon >0\). First we choose a unit vector \(\mathbf {e}\in \mathbb {R}^2\) via the following lemma.
Lemma 5.2
There exists a unit vector \(\mathbf {e}\in \mathbb {R}^2\) such that, for any local minimum point \(P_\mathrm{d}\) of \(\phi _\mathbf {e}\) along \(\varGamma ^{0}_\mathrm{shock}\), \(\mathbf {e}\cdot \varvec{\nu }(P_\mathrm{d})<0\). In addition, \(P_\mathrm{d}\) is a strict local minimum point along \(\varGamma ^{0}_\mathrm{shock}\) in the following sense: For the unit tangent vector \(\varvec{\tau }=\varvec{\tau }(P)\) to \(\varGamma _{\mathrm{shock}}\) at P defined by (5.1), \(\phi _{\mathbf {e}\varvec{\tau }}\) is strictly positive on \(\varGamma _{\mathrm{shock}}\) near \(P_\mathrm{d}\) in the direction of \({\varvec{\tau }}\), and \(\phi _{\mathbf {e}\varvec{\tau }}\) is strictly negative on \(\varGamma _{\mathrm{shock}}\) near \(P_\mathrm{d}\) in the direction opposite to \({\varvec{\tau }}\). More precisely, in the coordinates from (5.1), there exists \(\varepsilon >0\) such that \(T_A<T_{P_\mathrm{d}}-\varepsilon< T_{P_\mathrm{d}}+\varepsilon <T_B\) and
Proof
Recall that \(\phi _{\varvec{\tau }\varvec{\tau }}(P_\mathrm{d})=0\). Now we first use (3.15) at \(P_\mathrm{d}\) with \(h_{\varvec{\nu }}\ne 0\) by (3.6), and then use the strictly elliptic equation (3.1) at \(P_\mathrm{d}\) in the (S, T)–coordinates with basis \(\{\varvec{\nu }(P_\mathrm{d}), \varvec{\tau }(P_\mathrm{d})\}\) to obtain
For any unit vector \(\mathbf {e}\in \mathbb {R}^2\), define a function \(g(\cdot )\equiv g(\mathbf {e})(\cdot )\) on \(\varGamma _{\mathrm{shock}}^0\) by
Then, at any point of \(\varGamma _{\mathrm{shock}}^0\), we see from (3.15) with (3.5) that, for any unit vector \(\mathbf {e}\in \mathbb {R}^2\),
Notice that, from the expression of \(g(\mathbf {e})(\cdot )\) and assumption (A3) of Theorem 2.1,
Then we can choose a unit vector \(\mathbf {e}\) such that \(\mathbf {e}\cdot \varvec{\nu }<0\) and \(g(\mathbf {e})=0\) at \(P_\mathrm{d}\). We fix this vector \(\mathbf {e}\) for the rest of this proof. From (5.4), we have
Below we use the (S, T)–coordinates from (5.1). From (2.17) and (5.1), we use condition (A1) in Theorem 2.1 to obtain that \(\phi _S>0\) on \(\varGamma _{\mathrm{shock}}\) so that
Then we can use these expressions to define \(\varvec{\tau }\) and \(\varvec{\nu }\) in \(\varOmega \) near \(\varGamma _{\mathrm{shock}}\), which allows to extend function \(g(\mathbf {e})(\cdot )\) defined by expression (5.5) into this region. Since \(\phi \in C^{2}(\varOmega \cup \varGamma _{\mathrm{shock}}^0)\), the extended \(\varvec{\tau }\), \(\varvec{\nu }\), and \(g(\mathbf {e})(\cdot )\) are \(C^1\) up to \(\varGamma _{\mathrm{shock}}^0\). Then, from (5.4), \(D_{(S,T)}\varvec{\tau }=0\) and \(D_{(S,T)}\varvec{\nu }=0\) at point \(P_\mathrm{d}\). Moreover, differentiating (2.4) and (2.7), and using (5.4) yield that \(D_{(S,T)}\rho =0\) and \(D_{(S,T)}c^2=0\) at point \(P_\mathrm{d}\). Therefore, differentiating (5.5), using (5.8), and writing \(g(\cdot )\) for \(g(\mathbf {e})(\cdot )\), we have
Then, by (5.1),
Thus, \(g(f(T),T)<0\) on \((T_{P_\mathrm{d}}-\varepsilon ,\, T_{P_\mathrm{d}})\) and \(g(f(T),T)>0\) on \((T_{P_\mathrm{d}},\, T_{P_\mathrm{d}}+\varepsilon )\) for some \(\varepsilon >0\). By (5.2) and (5.6), the same is true for \(\phi _{\mathbf {e}\varvec{\tau }}\).
Then \(P_\mathrm{d}\) is a local minimum point of \(\phi _\mathbf {e}\) along \(\varGamma _\mathrm{shock}\), and \(\phi _{\mathbf {e}\varvec{\tau }}\) has the properties asserted. \(\quad \square \)
Remark 5.3
The unit vector \(\mathbf {e}\) is not necessarily in the cone introduced in condition (A5) of Theorem 2.1.
Lemma 5.4
\(P_\mathrm{d}\) is not a local minimum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\).
Proof
If \(P_\mathrm{d}\) is a local minimum point, it follows from Lemma 3.1 and \(\mathbf {e}\cdot \varvec{\nu }(P_\mathrm{d})<0\) that \(\phi _{\varvec{\tau }\varvec{\tau }}(P_\mathrm{d})>0\), which contradicts to the fact that \(\phi _{\varvec{\tau }\varvec{\tau }}(P_\mathrm{d})=0\). \(\quad \square \)
Now we consider a minimal chain starting at \(P_\mathrm{d}\). In the following argument, we use the (S, T)–coordinates in (5.1).
To choose the radius for this chain, we note the following:
Lemma 5.5
There exist points \(P_\mathrm{d}^\pm \in \varGamma _{\mathrm{shock}}^0\) such that
-
(i)
\(P_\mathrm{d}\) lies on \(\varGamma _{\mathrm{shock}}\) strictly between \(P_\mathrm{d}^+\) and \(P_\mathrm{d}^-\):
$$\begin{aligned} T_A<T_{P_\mathrm{d}^-}<T_{P_\mathrm{d}}<T_{P_\mathrm{d}^+}<T_B; \end{aligned}$$ -
(ii)
Denoting by \(\varGamma _{\mathrm{shock}}[P, Q]\) the segment of \(\varGamma _{\mathrm{shock}}\) with endpoints P and Q, then
$$\begin{aligned}&\phi _\mathbf {e}(P_\mathrm{d})<\phi _\mathbf {e}(P)<\phi _\mathbf {e}(P_\mathrm{d}^-) \quad \;\text{ if } P\in \varGamma _{\mathrm{shock}}[P_\mathrm{d}^-, P_\mathrm{d}]\setminus \{ P_\mathrm{d}^-, P_\mathrm{d}\},\nonumber \\&\phi _\mathbf {e}(P_\mathrm{d})<\phi _\mathbf {e}(P)<\phi _\mathbf {e}(P_\mathrm{d}^+) \quad \;\text{ if } P\in \varGamma _{\mathrm{shock}}[P_\mathrm{d}^+, P_\mathrm{d}]\setminus \{P_\mathrm{d}^+, P_\mathrm{d}\}; \end{aligned}$$(5.9) -
(iii)
\(\mathbf {e}\cdot \varvec{\nu }(P) <0\) for all \(P\in \varGamma _{\mathrm{shock}}[P_\mathrm{d}^-, P_\mathrm{d}^+]\).
Proof
Recall the definition of \(\varvec{\tau }\) in (5.1). Then we use (5.3) in Lemma 5.2 to find that, for \(\varepsilon >0\) defined there,
Thus, for points \(P_\mathrm{d}^\pm :=(f(T_{P_\mathrm{d}}\pm \varepsilon ), \,T_{P_\mathrm{d}}\pm \varepsilon )\), assertions (i)–(ii) hold. Furthermore, since \(\mathbf {e}\cdot \varvec{\nu }<0\) at \(P_\mathrm{d}\), then, reducing \(\varepsilon \) if necessary, we obtain property (iii). \(\quad \square \)
Denote
Note that \(\delta >0\) by (5.9). Now let \(r_1\) be constant \(r_1^*\) from Lemma 3.15 determined by \(\delta \) from (5.10).
By Lemmas 3.14 and 5.4, there exists a minimal chain with radius \(r_1\) which starts at \(P_\mathrm{d}\). Denote its endpoint by \(C^k\). Then
and \(C^k\) is a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Moreover,
Now we consider case by case all parts of the decomposition
defined in Framework (A)(iii) and assumption (A7) of Theorem 2.3, and show that \(C^k\) cannot lie on the corresponding part. Eventually, we reach a contradiction by showing that \(C^k\) cannot lie anywhere on \(\partial \varOmega \).
In the proof below, we note the following:
Remark 5.6
We use condition (A10) of Theorem 2.3 only in the proof of Lemma 5.10. The other conditions of Theorem 2.3 to be used in the proof below include Framework (A), conditions (A1)–(A6) of Theorem 2.1, and (A7)–(A9) of Theorem 2.3. These conditions are symmetric for \(\hat{\varGamma }_0\) and \(\hat{\varGamma }_3\), for \(\hat{\varGamma }_1\) and \(\hat{\varGamma }_2\), and for points A and B. Also, \(\delta \) in (5.10) is defined in a symmetric way with respect to the change of direction of T in (5.1). This allows without loss of generality to make a particular choice between points A and B, and the corresponding boundary segments in order to fix the notations, as detailed in several places below.
Now we consider all the cases for the location of \(C^k\) on \(\partial \varOmega \).
Lemma 5.7
\(C^k\notin \overline{\hat{\varGamma }_0}\cup \overline{\hat{\varGamma }_3}\).
Proof
On the contrary, if \(C^k\in \overline{\hat{\varGamma }_0}\cup \overline{\hat{\varGamma }_3}\), we now show in the next four steps that it leads to a contradiction.
1. We first fix the notations. In this proof, we do not use condition (A10) of Theorem 2.3. Thus, as discussed in Remark 5.6, we can assume without loss of generality that \(C^k\in \overline{\hat{\varGamma }_3}\) and \(B=\varGamma _{\mathrm{shock}}\cap \overline{\hat{\varGamma }_3}\).
From (5.12) and condition (A8) of Theorem 2.3,
We now prove Lemma 5.7 by showing the two claims below: Claims 5.7.1–5.7.2.
2. Claim 5.7.1. It is impossible that \(\mathbf {e}\cdot \varvec{\nu }(B)\le 0\) at B; see Fig. 4 for the illustration of the argument below.
We first show that, if \(\mathbf {e}\cdot \varvec{\nu }(B) \le 0\), then, since \(\mathbf {e}\cdot \varvec{\nu }(P_\mathrm{d})<0\), the strict convexity of \(\varGamma _{\mathrm{shock}}\) (as in Lemma 4.13) and the graph structure (5.1) imply that \(\varvec{\nu }\cdot \mathbf {e}<0\) at any point lying strictly between \(P_\mathrm{d}\) and B along \(\varGamma _{\mathrm{shock}}\). Indeed, using (5.1) and writing \(\mathbf {e}=(e_1, e_2)\) in the (S, T)–coordinates, we have
Thus,
Using \(f''(T)\le 0\) and Lemma 4.13, we have
Then it follows that
Therefore, we have
Now we show that (5.15) leads to a contradiction. Let \(P_1\in \varGamma _{\mathrm{shock}}[P_\mathrm{d},\,B]\) be such that
Since \(\varGamma _{\mathrm{shock}}[P_\mathrm{d},\,P_\mathrm{d}^+]\subset \varGamma _{\mathrm{shock}}[P_\mathrm{d},\,B]\) by Lemma 5.5(i), we obtain from (5.10) that
so that \(P_1\ne P_\mathrm{d}\). Also, by (5.13) and (5.17), we see that \(P_1\ne B\). Thus, \(\varvec{\nu }(P_1)\cdot \mathbf {e}<0\) by (5.15). Now, by Lemma 5.1, \(P_1\) cannot be a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Therefore, by Lemma 3.14, there exists a maximal chain of radius \(r_1\), starting from \(P_1\) and ending at some point \(P_2\in \partial \varOmega \) which is a local maximum point relative to \(\overline{\varOmega }\), and \(\phi _\mathbf {e}(P_1)< \phi _\mathbf {e}(P_2)\).
Next, we show that
Indeed, recall that there exists a minimal chain of radius \(r_1\) from \(P_\mathrm{d}\) to \(C^k\in \hat{\varGamma }_3\). Also, \(P_1\) lies on \(\varGamma _{\mathrm{shock}}^0\) strictly between \(P_\mathrm{d}\) and B. Then, from (5.17) and the choice of \(r_1\) (see the lines after (5.10)), we obtain from Lemma 3.15 that either (5.18) holds or \(P_2\) lies on \(\overline{\hat{\varGamma }_3}\) between B and \(C^k\) (possibly including B). However, we use condition (A8) of Theorem 2.3, (5.13), and (5.17) to obtain that, for any \(P\in \overline{\hat{\varGamma }_3}\),
which implies that \(P_2\ne P\). This proves (5.18).
However, (5.18) contradicts (5.16) since \(\phi _\mathbf {e}(P_1)< \phi _\mathbf {e}(P_2)\). Now Claim 5.7.1 is proved.
3. Claim 5.7.2. It is impossible that \(\mathbf {e}\cdot \varvec{\nu }(B)>0\); see Figs. 5–6 for the illustration of the argument below.
If \(\mathbf {e}\cdot \varvec{\nu }(B)>0\), then, using \(\mathbf {e}\cdot \varvec{\nu }(P_\mathrm{d})<0\), there exists a point \(P_0\in \varGamma _{\mathrm{shock}}[P_\mathrm{d}, B]\) so that \(\mathbf {e}\cdot \varvec{\nu }(P_0)=0\).
Then, from (5.14),
Now, since \(f''(T)\le 0\) by the convexity of \(\varGamma _{\mathrm{shock}}\), we use Lemma 4.13 to find that the function: \(T\rightarrow -e_1+ f'(T)e_2\) is strictly monotone on \((T_A, T_B)\), which implies that point \(P_0\) is unique.
Recall that \(\mathbf {e}\cdot \varvec{\nu }(P_\mathrm{d})<0\) and \(\mathbf {e}\cdot \varvec{\nu }(P_0)= 0\). Then, following the proof of (5.15), we have
Similarly, using \(\mathbf {e}\cdot \varvec{\nu }(P_0)= 0\) and \(\mathbf {e}\cdot \varvec{\nu }(B) > 0\), and arguing similar to the proof of (5.15), we have
From (5.19)–(5.20) and Lemma 5.1, we conclude that
Next, since \(\mathbf {e}\cdot \varvec{\nu }(P_0)=0\), then \(\mathbf {e}=\pm \varvec{\tau }(P_0)\). Moreover, by (5.1), we have
because \(f''(T)\le 0\) and \(T_{P_\mathrm{d}}\le T_{P_0} \le T_B\). Then, since \(\varvec{\nu }(P_\mathrm{d})\cdot \mathbf {e}<0\), we conclude
With this, recalling that \(\phi _{\varvec{\tau }\varvec{\tau }}\ge 0\) on \(\varGamma _{\mathrm{shock}}\), we use (5.6)–(5.7) and Lemma 4.13 to obtain the existence of two points \(P_0^-\) and \(P_0^+\) such that \(P_0^\pm =(f(T_{P_0^\pm }), \,T_{P_0^\pm })\in \varGamma _{\mathrm{shock}}([P_\mathrm{d}, B])^0\) and
Then there exists \(\hat{\delta }>0\) such that
Moreover, combining (5.21) with (5.24), we conclude
Note that (5.26) improves (5.21), which follows from (5.23).
Let \(P_1\in \varGamma _{\mathrm{shock}}[P_\mathrm{d},\, P_0]\) such that
By Lemma 5.5(i)–(ii) and (5.10),
Moreover, from (5.23) and (5.25), we obtain
Also, by (5.24), \(T_{P_1}\le T_{P_0^-}\). Combining all these facts, we have
From (5.26) with (5.23) and (5.27), \(P_1\) cannot be a local maximum point of \(\phi _\mathbf {e}\) with respect to \(\overline{\varOmega }\).
Therefore, by Lemma 3.14, we can construct a maximal chain of any radius \(r_2\in (0, r_1]\) starting from \(P_1\). We choose \(r_2\) so that it works in the argument below. For this, we use constant \(\hat{\delta }\) from (5.25), choose \(\tilde{r}_2\) the smaller constant \(r_1^*\) from Lemmas 3.15–3.17 determined by \(\hat{\delta }\), and then define
Fix a maximal chain of radius \(r_2\) starting from \(P_1\). It ends at some point \(P_2\in \partial \varOmega \) that is a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Moreover, by (5.28), \(\phi _\mathbf {e}(P_1)\ge \phi _\mathbf {e}(P_\mathrm{d})+\delta \); that is, (5.17) holds in the present case. Since \(r_2\le r_1\), then the proof of (5.18) works in the present case so that \(P_2\) lies on \(\varGamma _{\mathrm{shock}}^0\) strictly between \(P_\mathrm{d}\) and B. Since \(P_2\) is a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\), we obtain from (5.26) with (5.23) that \(P_2\) lies strictly between \(P_0^+\) and B on \(\varGamma _{\mathrm{shock}}\). Combining with (5.28), we have
Let \(P_3\) be such that
By (5.24)–(5.25) and (5.28)–(5.29),
Then, from (5.26) combined with (5.23) and (5.29), \(P_3\) cannot be a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\).
Therefore, there exists a minimal chain of radius \(r_2\) starting from \(P_3\) and ending at \(P_4\in \partial \varOmega \). Recall that there exists a maximal chain of radius \(r_2\) from \(P_1\) to \(P_2\). Also, it follows from (5.31) that \(P_3\ne P_2\) so that \(P_3\) lies in \((\varGamma _{\mathrm{shock}}[P_1, P_2])^0\). Moreover, \(\phi _\mathbf {e}(P_3)\le \phi _\mathbf {e}(P_1)-\hat{\delta }\) by (5.31). Using the choice of \(r_2\) and Lemma 3.17, we conclude that \(P_4\in (\varGamma _{\mathrm{shock}}[P_1, P_2])^0\) and is a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Then, from (5.26) combined with (5.23), (5.27), and (5.29), we obtain
Moreover, combining the facts about the locations of points discussed above together, we have
Now we follow the previous argument for defining points \(P_1\), ..., \(P_4\) inductively to construct points \(P_{4k+1}\), ..., \(P_{4k+4}\) for \(k=1, 2, \dots \), as follows (cf. Fig. 6):
Fix integer \(k\ge 1\) and assume that points \(P_{4k-1}\) and \(P_{4k}\) have been constructed with the following properties:
From (5.23), it follows that (5.34) can be written as
We first notice that, for \(k=1\), points \(P_3=P_{4k-1}\) and \(P_4=P_{4k}\) satisfy conditions (5.34)–(5.36). Indeed, for (5.34), the first inclusion follows from (5.30) combined with (5.29), while the second inclusion follows from (5.32) combined with (5.27). Property (5.36) for \(P_3\) and \(P_4\) follows directly from the definition of these points above, and (5.35) for \(P_3\) follows from (5.31). Thus, we have the starting point for the induction.
Now, for \(k=1,2,\dots \), given \(P_{4k-1}\) and \(P_{4k}\), we construct \(P_{4k+1}\), ..., \(P_{4k+4}\). Choose
Combining (5.25) with (5.35)–(5.37), we obtain
In particular, \(P_{4k+1}\ne P_{4k}\). Then, from (5.24) and (5.37),
From (5.26),
Thus, there exists a maximal chain of radius \(r_2\) starting at \(P_{4k+1}\) and ending at some point \(P_{4k+2}\in \partial \varOmega \), which is a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Moreover,
By (5.38), \(\phi _\mathbf {e}(P_{4k+1})\ge \phi _\mathbf {e}(P_{4k-1})+2\hat{\delta }\). With this, using (5.36)–(5.37), (5.39), the choice of \(r_2\), and Lemma 3.15, we obtain
Since \(P_{4k+2}\) is a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\), we use (5.26) and (5.37) to obtain
Now choose
Note that \(T_{P_0^+}\in (T_{P_0}, T_{P_{4k+2}})\) by (5.37) and (5.42). Then, from the definition of \(P_{4k+3}\), (5.25), and (5.38),
By (5.41) and (5.43), \(\phi _\mathbf {e}(P_{4k+3})<\phi _\mathbf {e}(P_{4k+2})\) so that \(P_{4k+3}\ne P_{4k+2}\). Also, by (5.23)–(5.24), \(P_{4k+3}\notin \varGamma _{\mathrm{shock}}[P_0, P_0^+]\). Then, using (5.39), we have
In particular, \(T_{P_{4k+3}}\in ( T_{P_0}, T_B)\). Thus, by (5.26) and (5.37), \(T_{P_{4k+3}}\) is not a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Then there exists a minimal chain of radius \(r_2\) starting at \(P_{4k+3}\) and ending at some point \(P_{4k+4}\in \partial \varOmega \) that is a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Since there exists a maximal chain of radius \(r_2\) from \(P_{4k+1}\) to \(P_{4k+2}\), we use (5.43)–(5.44) and Lemma 3.17 to conclude that \(P_{4k+4}\in (\varGamma _{\mathrm{shock}}[P_{4k+1},P_{4k+2}])^0\). Since \(P_{4k+4}\) is a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\), we use (5.26), (5.37), and (5.39) to obtain
From (5.44) combined with (5.37) and (5.42), \(T_{P_{4k+3}}\in ( T_{P_0^+}, T_B)\). From this and (5.45), we see that points \(P_{4k+3}\) and \(P_{4k+4}\) satisfy (5.34) with \(k+1\) instead of k. Also, from (5.37), (5.39), and (5.45),
Therefore, we obtain local minimum points \(P_{4k}\in \varGamma _{\mathrm{shock}}^0\), \(k=1,2,\dots \), of \(\phi _\mathbf {e}\) which satisfy (5.46) for each k. Then there exists a limit \(P^*=\lim _{k\rightarrow \infty }P_{4k}\) with \(T_{P^*}\in [T_{P_\mathrm{d}}, T_{P_0^-}]\), which implies
Since \(P_{4k}\in \varGamma _{\mathrm{shock}}\) is a local minimum point of \(\phi _\mathbf {e}\), \(\partial _{\varvec{\tau }} \phi _\mathbf {e}(P_{4k})=0\), so that
From this, since \(\{T_{P_{4k}}\}\) is a strictly increasing sequence by (5.46), we obtain
The analyticity of functions \(\phi _\mathbf {e}\) and f(T), shown in Lemma 3.5, implies that the function: \(T\mapsto \phi _\mathbf {e}(f(T),T)\) is real analytic on \((T_A,T_B)\). Then we conclude from (5.47) that \(\phi _\mathbf {e}(f(T),T)\equiv const.\) on \((T_A,T_B)\). By (5.22), we see that \(\mathbf {e}=-\varvec{\tau }(P_0)\), so that \(\phi _\mathbf {e}(P_0)=\phi _{\varvec{\tau }}(P_0)=0\), where the last equality holds by the first condition in (2.17). That is,
Then, using that \(\phi _{\varvec{\tau }}\equiv 0\) along \(\varGamma _{\mathrm{shock}}\) by the first condition in (2.17) and that \(\mathbf {e}\cdot \varvec{\nu }<0\) at \(P_\mathrm{d}\) by Lemma 5.2, we obtain that \(D\phi =0\) at \(P_\mathrm{d}\). This, combined with (2.21) and the first condition in (2.17), implies that \(\rho =\rho _0\) at \(P_\mathrm{d}\), which contradicts condition (A1) of Theorem 2.1. Therefore, Claim 5.7.2 is proved.
-
4. Combining Claim 5.7.1 with Claim 5.7.2, we finally conclude Lemma 5.7.
\(\square \)
Lemma 5.8
\(C^k\notin \hat{\varGamma }_i^0\) for \(i=1,2\).
Proof
Since \(C^k\) is a local minimum point of \(\phi _\mathbf {e}\), then condition (A9) of Theorem 2.3 and the regularity property \(\phi \in C^{1,\alpha }(\overline{\varOmega })\) imply that \(\phi _\mathbf {e}=const.\) on \(\overline{\hat{\varGamma }_i}\). Combining this with (A7)–(A8), we obtain that \(\phi _\mathbf {e}=const.\) on \(\overline{\hat{\varGamma }_0\cup \hat{\varGamma }_1}\) (resp. on \(\overline{\hat{\varGamma }_2\cup \hat{\varGamma }_3}\)) if \(i=1\) (resp. \(i=2\)), where one or both of \(\hat{\varGamma }_0\) and \(\hat{\varGamma }_3\) may be empty. Then, following Remark 5.6, we can assume without loss of generality that \(C^k\in \overline{\hat{\varGamma }_2}\) (i.e., \(i=2\)). In this case, \(B\in \overline{\hat{\varGamma }_2\cup \hat{\varGamma }_3}\) so that \(\phi _\mathbf {e}(P)=\phi _\mathbf {e}(B)\) for any \(P\in \overline{\hat{\varGamma }_2\cup \hat{\varGamma }_3}\). From this and (5.12), we obtain that (5.13) holds in the present case.
Then we are in the same situation as in Lemma 5.7. Therefore, the proof of Lemma 5.7 applies, which yields a contradiction. \(\quad \square \)
Remark 5.9
Combining Lemmas 5.7–5.8, we obtain that, if condition (i) of assumption (A10) holds, the only remaining possible location of \(C^k\) is on \(\varGamma _{\mathrm{shock}}\). On the other hand, if condition (ii) of assumption (A10) holds, then the remaining possible locations of \(C^k\) are either on \(\varGamma _{\mathrm{shock}}\) or at the common endpoint \(Q^*\) of \(\hat{\varGamma }_1\) and \(\hat{\varGamma }_2\).
Lemma 5.10
Assume that condition (ii) of assumption (A10) holds, and let \(Q^*\) be the point defined there. Then \(C^k\ne Q^*\).
Proof
Assume \(C^k=Q^*\). If \(\phi _\mathbf {e}\) attains a local minimum or maximum relative to \(\overline{\varOmega }\) on \(\hat{\varGamma }_2^0\), then condition (A9) of Theorem 2.3 and the regularity property \(\phi \in C^{1,\alpha }(\overline{\varOmega })\) imply that \(\phi _\mathbf {e}={ const.}\) on \(\overline{\hat{\varGamma }_2}\). Since \(B\in \overline{\hat{\varGamma }_2}\) by condition (ii) of assumption (A10), we obtain that \(\phi _\mathbf {e}(P)=\phi _\mathbf {e}(B)\) for all \(P\in \overline{\hat{\varGamma }_2}\). Because of \(C^k=Q^*\in \overline{\hat{\varGamma }_2}\), we can complete the proof as in Lemma 5.8 above.
Thus, we can assume that
Then we consider three cases, depending on whether \(\mathbf {e}\cdot \varvec{\nu }_\mathrm{sh}(B)\) is positive, negative, or zero. In the argument, we take into account that \(\hat{\varGamma }_3=\emptyset \) by condition (ii) of (A10) so that \(\hat{\varGamma }_2\) has endpoints \(Q^*\) and B.
If \(\mathbf {e}\cdot \varvec{\nu }_\mathrm{sh}(B)<0\), then we argue similar to the proof of Claim 5.7.1, replacing \(\hat{\varGamma }_3\) by \(\hat{\varGamma }_2\), with the differences described below. First, we show (5.15) without changes in the argument. Next, we choose \(P_1\in \varGamma _{\mathrm{shock}}[P_\mathrm{d},\,B]\) satisfying (5.16) so that the proof of (5.17) holds without changes in the present case, which implies that \(P_1\ne P_\mathrm{d}\). However, since (5.13) is not available in the present case, we cannot conclude that \(P_1\ne B\). That is, we now obtain that \(P_1\in \varGamma _{\mathrm{shock}}[P_\mathrm{d}, B]\setminus \{P_\mathrm{d}\}\). If \(P_1\in (\varGamma _{\mathrm{shock}}[P_\mathrm{d}, B])^0\), then, by (5.15) and Lemma 5.1, \(P_1\) cannot be a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). If \(P_1=B\), then the same conclusion follows from condition (ii) of (A10) since \(\mathbf {e}\cdot \varvec{\nu }_\mathrm{sh}(B)<0\). Thus, there exists a maximal chain of radius \(r_2\), starting from \(P_1\) and ending at some point \(P_2\in \partial \varOmega \) which is a local maximum point relative to \(\overline{\varOmega }\), and \(\phi _\mathbf {e}(P_1)< \phi _\mathbf {e}(P_2)\). Now, instead of (5.18), we show a weaker statement,
To prove (5.49), recall that there exists a minimal chain of radius \(r_1\) from \(P_\mathrm{d}\) to \(C^k=Q^*\in \overline{\hat{\varGamma }_2}\). Also, \(P_1\in \varGamma _{\mathrm{shock}}[P_\mathrm{d},B]\setminus \{P_\mathrm{d}\}\). Then, from (5.17) and the choice of \(r_2\), we obtain from Lemma 3.15 that either (5.49) holds or \(P_2\) lies on \(\varGamma _2^0\) between B and \(C^k\). On the other hand, the last case is ruled out by (5.48) since \(P_2\) is a local maximum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Thus, (5.49) holds. However, (5.49) contradicts (5.16) since \(\phi _\mathbf {e}(P_1)< \phi _\mathbf {e}(P_2)\). Therefore, we reach a contradiction in the case that \(\mathbf {e}\cdot \varvec{\nu }(B)<0\).
If \(\mathbf {e}\cdot \varvec{\nu }(B)=0\), we use condition (ii) of (A10) and the fact that \(C^k=Q^*\) to conclude
which implies (5.13). Now we follow the argument of the proof of Claim 5.7.1 via replacing \(\hat{\varGamma }_3\) by \(\hat{\varGamma }_2\), up to (5.18). Instead of (5.18), we can show (5.49) whose proof, given above, still works in the present case without changes. Then, as shown above, (5.49) contradicts (5.16). Therefore, we reach a contradiction in the case that \(\mathbf {e}\cdot \varvec{\nu }(B)=0\).
If \(\mathbf {e}\cdot \varvec{\nu }(B)>0\), then we argue as in Claim 5.7.2, via replacing \(\hat{\varGamma }_3\) by \(\hat{\varGamma }_2\), and with modifications similar to the ones described above. Specifically, (5.48) is used to conclude that \(P_2\notin \hat{\varGamma }_2^0\). From this, we conclude that \(P_2\) lies on \(\varGamma _{\mathrm{shock}}\) between \(P_0^+\) and B, possibly including B. However, we now cannot rule out the possibility that \(P_2= B\) as in the proof of Claim 5.7.2 (again, since (5.13) is not available). Thus, instead of (5.29), we have
From this, using (5.24)–(5.25) and (5.28), it follows that (5.30)–(5.31) hold. From (5.31), \(P_3\ne P_2\), and then (5.30) implies that
Then, from (5.26) combined with (5.23), \(P_3\) cannot be a local minimum point of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\). Thus, there exists a minimal chain of radius \(r_2\) starting from \(P_3\). The rest of the proof of Claim 5.7.2 applies without changes. Therefore, we obtain a contradiction in the case that \(\mathbf {e}\cdot \varvec{\nu }(B)>0\). This completes the proof. \(\quad \square \)
Remark 5.11
Combining Lemmas 5.8 and 5.10, we obtain that, if condition (ii) of assumption (A10) holds, then \(C^k\) cannot lie within \(\hat{\varGamma }_1^0\cup \{Q^*\}\cup \hat{\varGamma }_2^0\). Combining this with Lemma 5.7, we see that, if condition (ii) of assumption (A10) holds, the only remaining possible location of \(C^k\) is at \(\varGamma _{\mathrm{shock}}\).
From Remarks 5.9 and 5.11, in order to complete the proof of Theorem 2.3, it remains to show
Lemma 5.12
\(C^k\notin \varGamma _{\mathrm{shock}}\).
Proof
The proof consists of two steps.
1. Recall that \(\varGamma _{\mathrm{shock}}\) includes its endpoints A and B. Thus, we first consider the case that \(C^k\) is either A or B. Note that Lemma 5.7 does not cover this case if either \(\hat{\varGamma }_0\) or \(\hat{\varGamma }_3\), or both, are empty.
The argument below does not use condition (A10) of Theorem 2.3. Thus, as discussed in Remark 5.6, we can assume without loss of generality that \(C^k=B\). Then, since there is a minimal chain from \(P_\mathrm{d}\) to \(C^k=B\), we conclude that (5.13) holds. Now the proofs of Claims 5.7.1–5.7.2 apply, with the following simplification: From Lemma 3.15 and the definition of point \(P_2\) in each of these claims, we conclude that (5.18) holds. The rest of the proofs of Claims 5.7.1–5.7.2 work without changes. Therefore, we reach a contradiction, which shows that \(C^k\) is neither A nor B.
2. It remains to consider the case that \(C^k\in \varGamma _{\mathrm{shock}}^0\). Notice that \(C^k\) is a local minimum point of \(\phi _\mathbf {e}\). Then, from Lemma 5.1, we see that \(\mathbf {e}\cdot \varvec{\nu }\le 0\) at \(C_1\). Now the argument as in Claim 5.7.1, with point B replaced by point \(C^k\), works without change. This yields a contradiction. Therefore, \(C^k\notin \varGamma _{\mathrm{shock}}^0\). \(\quad \square \)
Proof of Theorem 2.3
Combining Lemmas 5.7–5.8 with Lemma 5.12, we obtain that \(C^k\) cannot lie on the set
Since \(\varGamma _{\mathrm{shock}}\) includes its endpoints, G covers all \(\partial \varOmega \) except point \(Q^*\) defined in Case (ii) of (A10), if \(Q^*\) exists. In Case (i) of (A10), point \(Q^*\) does not exist, so that \(G=\partial \varOmega \), which implies that \(C^k\notin \partial \varOmega \). In Case (ii) of (A10), point \(Q^*\) exists, and Lemma 5.10 implies that \(C^k\ne Q^*\), so that \(C^k\notin \partial \varOmega \) in this case as well. However, the fact that \(C^k\notin \partial \varOmega \) contradicts (5.11). This completes the proof of Theorem 2.3. \(\quad \square \)
6 Proof of Theorem 2.2: Equivalence Between the Strict Convexity and the Monotonicity
Proof of Theorem 2.2
By the boundary condition (2.17), \(\phi _{\varvec{\tau }}=0\) on \(\varGamma _{\mathrm{shock}}\). Also, by assumption (A1), \(\phi _{\varvec{\nu }}<0\) on \(\varGamma _{\mathrm{shock}}\) for the interior normal vector \(\varvec{\nu }\). Then the monotonicity property \(\phi _{\mathbf {e}}>0\) in \(\varGamma _{\mathrm{shock}}^{0}\) for any unit vector \(\mathbf {e}\in \overline{Con}\) implies that assumption (A5) in Theorem 2.1 holds. Now it follows from Theorem 2.1 that, under the assumptions of Theorem 2.2, the monotonicity property is the sufficient condition for the strict convexity of the free boundary \(\varGamma _{\mathrm{shock}}\) in the sense of (2.18)–(2.19).
On the other hand, if the shock graph is strictly convex in the sense of Theorem 2.1, then, at any point on \(\varGamma _{\mathrm{shock}}^0\), the tangent vector \(\varvec{\tau }\) is not in \(\overline{Con}\), where we have used the strict convexity in the sense of (2.19) to have this property for the boundary directions of the cone. Then, using again that \(\phi _{\varvec{\tau }}=0\) and \(\phi _{\varvec{\nu }}<0\) on \(\varGamma _{\mathrm{shock}}\) in (2.17) and condition (A1) in Theorem 2.1, it follows that \(\phi _\mathbf {e}> 0\) on \(\varGamma _{\mathrm{shock}}^0\) for any unit vector \(\mathbf {e}\in \overline{Con}\); that is, the monotonicity property holds. This completes the proof of Theorem 2.2. \(\quad \square \)
Proof of the Assertion in Remark 2.5
By equation (3.2) and condition (A3) in Theorem 2.1, \(\phi _\mathbf {e}\) satisfies the strong minimum principle in \(\varOmega \). This implies
where we have used the assumption in Theorem 2.1 that \(\phi \) is not a constant state. Note that, by the assumption of Theorem 2.2, \(\phi _\mathbf {e}>0\) on \(\varGamma _{\mathrm{shock}}\), and \(\phi _\mathbf {e}\) on \(\varGamma _1\cup \varGamma _2\) satisfies that either \(\phi _\mathbf {e}\ge 0\) or \(\phi _\mathbf {e}\) cannot attain its local minimum with respect to \(\varOmega \). Thus, \(\phi _\mathbf {e}>0\) in \(\varOmega \cup \varGamma _{\mathrm{shock}}^0\). \(\quad \square \)
7 Applications to Multidimensional Transonic Shock Problems
In this section, we apply Theorem 2.1 to prove the convexity of multidimensional transonic shocks for two longstanding shock problems.
7.1 Shock Reflection–Diffraction Problem
When a plane incident shock hits a two-dimensional wedge, shock reflection–diffraction configurations take shape; also see Chen-Feldman [14].
The wedge is of the shape: \(\{|x_2| < x_1\tan \theta _\mathrm{w}\}\) with \(\theta _\mathrm{w} \in (0, \frac{\pi }{2})\). Then the positive \(x_1\)–axis is the symmetry axis of the wedge, the wedge vertex is at the origin, and \(\theta _\mathrm{w}\) is the (half) angle of the wedge. The incident shock \(S_0\) separates two constant states: state (0) with velocity \(\mathbf {v}_0=(0,0)\) and density \(\rho _0\) ahead of \(S_0\), and state (1) with velocity \(\mathbf {v}_1=(u_1,0)\) and density \(\rho _1\) behind \(S_0\), where \(\rho _1>\rho _0\), and \(u_1>0\) is determined by \((\rho _0, \rho _1, \gamma )\) through the Rankine-Hugoniot conditions on \(S_0\). The shock, \(S_0\), moves in the direction of the \(x_1\)–axis and hits the wedge vertex at the initial time. Also, the slip boundary condition: \(\mathbf{v}\cdot \varvec{\nu }=0\) is prescribed on the solid wedge boundary, where \(\mathbf{v}\) is the velocity of gas. Since state (1) does not satisfy the slip boundary condition, the shock reflection–diffraction configurations form at later time, which are self-similar so that the problem can be reformulated in the self-similar coordinates \(\varvec{\xi }=(\xi _1,\xi _2)=(\frac{x_1}{t}, \frac{x_2}{t})\). Depending on the flow parameters and wedge angle, there may be various patterns of shock reflection–diffraction configurations, including Regular Reflection and Mach Reflection. Because of the symmetry of the problem with respect to the \(\xi _1\)–axis, it suffices to consider the problem only on the upper half-plane \(\{\xi _2>0\}\).
The regular reflection configuration is characterized by the fact that the reflection occurs at the intersection point \(P_0\) of the incident shock with the wedge boundary. Figure 7(a)–(b) show the structure of regular reflection configurations in self-similar coordinates. The regular reflection solutions are piecewise-smooth; that is, they are smooth away from the incident and reflected-diffracted shocks, as well as the sonic circle \(P_1P_4\) for the supersonic regular reflection case across which \(\mathbf{v}\) is only Lipschitz.
From the description of state (1) above, its pseudo-potential is
A necessary condition for the existence of piecewise-smooth regular reflection configurations is the existence of the constant state (2) with pseudo-potential \(\varphi _2\) that satisfies both the slip boundary condition on the wedge boundary and the Rankine-Hugoniot conditions with state (1) across the reflected shock \(S_1:=\{\varphi _1=\varphi _2\}\). Owing to the constant state structure (2.10), it suffices to require these conditions at \(P_0\). Thus, the conditions at \(P_0\) are
where \(\varvec{\nu }_\mathrm{w}\) is the outward (with respect to the wedge) normal vector to the wedge boundary, \(\theta _\mathrm{w}\) is the wedge angle in the upper half-plane, and \(\varvec{\nu }_{S_1}=\frac{D(\varphi _1-\varphi _2)}{|D(\varphi _1-\varphi _2)|}\). Therefore, we have three algebraic equations for parameters \((u_2, v_2, C_2)\) in expression (2.10) for \(\varphi _2\). Since the piecewise-smooth regular reflection solution must satisfy (7.1) at \(P_0\) with \(\varphi \) replaced by \(\varphi _2\), then \((\varphi , D\varphi )=(\varphi _2, D\varphi _2)\) at \(P_0\), if \(\varphi _2\) exists.
It is well-known (see e.g. [14, Chapter 7]) that, given the parameters of states (0) and (1), there exists a detachment angle \(\theta _\mathrm{w}^\mathrm{d}\in (0, \frac{\pi }{2})\) such that equations (7.1) have two solutions for each wedge angle \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d},\frac{\pi }{2})\), which become equal when \(\theta _\mathrm{w}=\theta _\mathrm{w}^\mathrm{d}\). Thus, two types of two-shock configurations occur at \(P_0\) in the wedge interval \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d}, \frac{\pi }{2})\). For each such \(\theta _\mathrm{w}\), state (2) with the smaller density is called a weak state (2). The global existence of regular reflection solutions for all \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d}, \frac{\pi }{2})\) with \((\varphi , D\varphi )\) at \(P_0\) determined by the weak states (2) has been established in [13, 14]. Below, state (2) always refers to the weak state (2).
If state (2) exists, its pseudo-potential is
where \(v_2=u_2\tan \theta _\mathrm{w}\). In particular, state (2) satisfies the first condition in (7.1) on the whole wedge boundary (in the upper half-plane \(\{\xi _2>0\}\)):
Depending on the wedge angle, state (2) can be either supersonic or subsonic at \(P_0\). Moreover, for \(\theta _\mathrm{w}\) near \(\frac{\pi }{2}\) (resp. for \(\theta _\mathrm{w}\) near \(\theta _\mathrm{w}^\mathrm{d}\)), state (2) is supersonic (resp. subsonic) at \(P_0\); see [14, Chapter 7]. The type of state (2) at \(P_0\) for a given wedge angle \(\theta _\mathrm{w}\) determines the type of reflection, supersonic or subsonic, as shown in Fig. 7(a) or 7(b) respectively, when \(u_1<c_1\).
When \(u_1>c_1\), besides the configurations shown in Fig. 7(a)–(b), there is an additional possibility that the reflected-diffracted shock is attached to the wedge vertex \(P_3\), i.e., \(P_2=P_3\); see Fig. 8(a)–(b).
The regular reflection problem is posed in the region:
where \(\mathbb {R}^2_+:=\mathbb {R}^2\cap \{\xi _1>0\}\).
Definition 7.1
\(\varphi \in C^{0,1}(\overline{\varLambda })\) is a weak solution of the shock reflection–diffraction problem if \(\varphi \) satisfies equation (2.5) in \(\varLambda \), the boundary conditions:
in the weak sense (defined below), and the asymptotic conditions:
where
and \(\xi _1^0>0\) is the location of the incident shock \(S_0\).
In Definition 7.1, the solution is understood in the following weak sense: We consider solutions with a positive lower bound for the density, so that (7.3) is equivalent to the conormal condition
Thus, a weak solution of problem (2.5) and (7.3) is given by Definition 2.1 in region \(\varLambda \), with the following change: (2.11) is satisfied for any \(\zeta \in C^{\infty }_{c}(\mathbb {R}^2)\) (whose support does not have to be in \(\varLambda \)).
Next, we define the points and lines on Fig. 7(a)–(b). The incident shock is line \(S_0:=\{\xi _1=\xi _1^0\}\) with \(\xi _1^0=\frac{\rho _1u_1}{\rho _1-\rho _0}>0\). The center, \(O_2=(u_2, v_2)\), of the sonic circle \(B_{c_2}(O_2)\) of state (2) lies on the wedge boundary between the reflection point \(P_0\) and the wedge vertex \(P_3\) for both the supersonic and subsonic cases.
Then, for the supersonic case, i.e., when \(|D\varphi _2(P_0)|=|P_0 O_2|>c_2\) with \(P_0\notin \overline{B_{c_2}(O_2)}\), we denote by \(P_4\) the upper point of intersection of \(\partial B_{c_2}(O_2)\) with the wedge boundary so that \(O_2\in P_3P_4\). Also, \(\partial B_{c_2}(O_2)\) of state (2) intersects line \(S_1\), and one of the points of intersection, \(P_1\in \varLambda \), is such that segment \(P_0P_1\) is outside \(B_{c_2}(O_2)\). We denote the arc of \(\partial B_{c_2}(O_2)\) by \(\varGamma _{\mathrm{sonic}}=P_1P_4\). The curved part of the reflected-diffracted shock is \(\varGamma _{\mathrm{shock}}=P_1P_2\), where \(P_2\in \{\xi _2=0\}\). Denote the line segments \(\varGamma _\mathrm{sym}:=P_2P_3\) and \(\varGamma _{\mathrm{wedge}}:=P_3P_4\). The lines and curves \(\varGamma _{\mathrm{shock}}\), \(\varGamma _{\mathrm{sonic}}\), \(\varGamma _\mathrm{sym}\), and \(\varGamma _{\mathrm{wedge}}\) do not have common points, except their endpoints \(P_1\), ..., \(P_4\). Thus, \(\varGamma _{\mathrm{shock}}\cup \varGamma _{\mathrm{sonic}}\cup \varGamma _\mathrm{sym}\cup \varGamma _{\mathrm{wedge}}\) is a closed curve without self-intersection. Denote by \(\varOmega \) the domain bounded by this curve.
For the subsonic/sonic case, i.e., when \(|D\varphi _2(P_0)|=|P_0 O_2|\le c_2\) so that \(P_0\in \overline{B_{c_2}(O_2)}\), the curved reflected-diffracted shock is \(\varGamma _{\mathrm{shock}}=P_0P_2\) that does not have common interior points with the line segments \(\varGamma _\mathrm{sym}=P_2P_3\) and \(\varGamma _{\mathrm{wedge}}=P_0P_3\). Then \(\varGamma _{\mathrm{shock}}\cup \varGamma _\mathrm{sym}\cup \varGamma _{\mathrm{wedge}}\) is a closed curve without self-intersection, and \(\varOmega \) is the domain bounded by this curve.
Furthermore, in some parts of the argument below, it is convenient to extend problem (2.5) and (7.3), given in \(\varLambda \) by even reflection about the \(\xi _1\)–axis, i.e., defining \(\varphi ^\mathrm{ext}(-\xi _1, \xi _2):=\varphi (\xi _1, \xi _2)\) for any \(\varvec{\xi }=(\xi _1,\xi _2)\in \varLambda \). Then \(\varphi ^\mathrm{ext}\) is defined in region \(\varLambda ^\mathrm{ext}\) obtained from \(\varLambda \) by adding the reflected region \(\varLambda ^-\), i.e., \(\varLambda ^\mathrm{ext}=\varLambda \cup \{(\xi _1, 0)\; :\;\xi _1<0\}\cup \varLambda ^-\). In a similar way, region \(\varOmega \) and curve \(\varGamma _{\mathrm{shock}}\subset \partial \varOmega \) can be extended into the corresponding region \(\varOmega ^\mathrm{ext}\) and curve \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\subset \partial \varOmega ^\mathrm{ext}\).
Now we define a class of solutions, with structure as shown on Fig. 7(a)–(b).
Definition 7.2
Let \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d},\frac{\pi }{2})\). A function \(\varphi \in C^{0,1}(\overline{\varLambda })\) is an admissible solution of the regular reflection problem (2.5) and (7.3)–(7.4) if \(\varphi \) is a solution in the sense of Definition 7.1 and satisfies the following properties:
-
(i)
The structure of solutions is as follows:
-
If \(|D\varphi _2(P_0)|>c_2\), then \(\varphi \) is of the supersonic regular shock reflection–diffraction configuration shown on Fig. 7(a) and satisfies:
The reflected-diffracted shock \(\varGamma _{\mathrm{shock}}\) is \(C^{2}\) in its relative interior. Curves \(\varGamma _{\mathrm{shock}}\), \(\varGamma _{\mathrm{sonic}}\), \(\varGamma _{\mathrm{wedge}}\), and \(\varGamma _\mathrm{sym}\) do not have common points except their endpoints.
\(\varphi \) satisfies the following properties:
$$\begin{aligned}&\varphi \in C^{0,1}(\varLambda )\cap C^1(\varLambda \setminus (S_0\cup \overline{P_0P_1P_2})),\nonumber \\&\varphi \in C^{1}(\overline{\varOmega })\cap C^{3}(\overline{\varOmega }\setminus (\overline{\varGamma _{\mathrm{sonic}}}\cup \{P_2, \,P_3\})), \nonumber \\&\varphi =\left\{ \begin{array}{ll} \varphi _0\qquad \text{ for } \xi _1>\xi _1^0 \text{ and } \xi _2>\xi _1\tan \theta _\mathrm{w},\\ \varphi _1 \qquad \text{ for } \xi _1<\xi _1^0 \text{ and } \text{ above } \text{ curve } P_0P_1P_2,\\ \varphi _2 \qquad \text{ in } \text{ region } P_0P_1P_4. \end{array}\right. \end{aligned}$$(7.5) -
If \(|D\varphi _2(P_0)|\le c_2\), then \(\varphi \) is of the subsonic regular shock reflection–diffraction configuration shown on Fig. 7(b) and satisfies:
The reflected-diffracted shock \(\varGamma _{\mathrm{shock}}\) is \(C^{2}\) in its relative interior. Curves \(\varGamma _{\mathrm{shock}}\), \(\varGamma _{\mathrm{wedge}}\), and \(\varGamma _\mathrm{sym}\) do not have common points except their endpoints.
\(\varphi \) satisfies the following properties:
$$\begin{aligned}&\varphi \in C^{0,1}(\varLambda )\cap C^1(\varLambda \setminus \overline{\varGamma _{\mathrm{shock}}}),\nonumber \\&\varphi \in C^{1}(\overline{\varOmega })\cap C^3(\overline{\varOmega }\setminus \{P_0, P_2, P_3\}), \nonumber \\&\varphi =\left\{ \begin{array}{ll} \varphi _0 \quad &{}\text{ for } \xi _1>\xi _1^0 \text{ and } \xi _2>\xi _1\tan \theta _\mathrm{w},\\ \varphi _1 \quad &{}\text{ for } \xi _1<\xi _1^0 \text{ and } \text{ above } \text{ curve } P_0P_2,\\ \varphi _2(P_0) \quad &{}\text{ at } P_0, \end{array}\right. \nonumber \\&D\varphi (P_0)=D\varphi _2(P_0). \end{aligned}$$(7.6)
Furthermore, in both supersonic and subsonic cases,
$$\begin{aligned} \varGamma _{\mathrm{shock}}^\mathrm{ext}\,\,\,\,\text{ is } C^1 \text{ in } \text{ its } \text{ relative } \text{ interior }. \end{aligned}$$(7.7) -
-
(ii)
Equation (2.5) is strictly elliptic in \(\overline{\varOmega }\setminus \,\overline{\varGamma _{\mathrm{sonic}}}\):
$$\begin{aligned} |D\varphi |<c(|D\varphi |^2, \varphi ) \qquad \text{ in } \overline{\varOmega }\setminus \,\overline{\varGamma _{\mathrm{sonic}}}, \end{aligned}$$where, for the subsonic and sonic cases, we have used notation \(\overline{\varGamma _{\mathrm{sonic}}}=\{P_0\}\).
-
(iii)
\(\partial _{\varvec{\nu }}\varphi _1>\partial _{\varvec{\nu }}\varphi >0\) on \(\varGamma _{\mathrm{shock}}\), where \(\varvec{\nu }\) is the normal vector to \(\varGamma _{\mathrm{shock}}\) pointing into \(\varOmega \).
-
(iv)
\(\varphi _2\le \varphi \le \varphi _1\) in \(\varOmega \).
-
(v)
Let \(\mathbf {e}_{S_1}\) be the unit vector parallel to \(S_1:=\{\varphi _1=\varphi _2\}\), oriented so that \(\mathbf {e}_{S_1}\cdot D\varphi _2(P_0)>0\):
$$\begin{aligned} \mathbf {e}_{S_1}= -\frac{(v_2,\, u_1-u_2)}{\sqrt{(u_1-u_2)^2+v_2^2}}. \end{aligned}$$(7.8)Let \(\mathbf {e}_{\xi _2}=(0,1)\). Then
$$\begin{aligned} \partial _{\mathbf {e}_{S_1}}(\varphi _1-\varphi )\le 0, \quad \,\, \partial _{\xi _2}(\varphi _1-\varphi )\le 0 \qquad \;\; \text{ on } \varGamma _{\mathrm{shock}}. \end{aligned}$$(7.9)
Below we continue to use the notational convention
Remark 7.3
Since the admissible solution \(\varphi \) in Definition 7.2 is a weak solution in the sense of Definition 7.1 and has the regularity as in Definition 7.2(i), it satisfies (2.16) classically in \(\varOmega \) with \(\phi =\varphi -\varphi _1\), the Rankine-Hugoniot conditions
and the boundary conditions
Note also that, rewriting (7.12) in terms of \(\phi =\varphi -\varphi _1\), we have
Remark 7.4
An admissible solution \(\varphi \) is not a constant state in \(\varOmega \) (recall that \(\theta _\mathrm{w}<\frac{\pi }{2}\)). Indeed, if \(\varphi \) is a constant state in \(\varOmega \), then \(\varphi =\varphi _2\) in \(\varOmega \): This follows from (7.5) for the supersonic case since \(\varphi \) is \(C^{1}\) across \(\varGamma _{\mathrm{sonic}}\), and from the property that \((\varphi , D\varphi )=(\varphi _2, D\varphi _2)\) at \(P_0\) for the subsonic case. However, \(\varphi _2\) does not satisfy (7.12) on \(\varGamma _\mathrm{sym}\) since \(\mathbf {v}_2=(u_2, v_2)=(u_2, u_2\tan \theta _\mathrm{w})\) with \(u_2>0\) and \(\theta _\mathrm{w}\in (0, \frac{\pi }{2})\).
Remark 7.5
Let \(\varphi \) be an admissible solution and \(\phi :=\varphi -\varphi _1\). For a unit vector \(\mathbf {e}\in \mathbb {R}^2\), denote
Then, from the regularity in Definition 7.2(i),
where we have used (7.10) for the subsonic and sonic cases.
We first notice that w satisfies equation (3.2) in the (S, T)–coordinates with basis \(\{\mathbf {e}, \mathbf {e}^\perp \}\). Equation (3.2) has the same coefficients of the second-order terms as equation (2.6), so that (3.2) is strictly elliptic in \(\overline{\varOmega }\setminus \,\overline{\varGamma _{\mathrm{sonic}}}\) by Definition 7.2(ii).
Furthermore, by [14, Lemma 5.1.3], w satisfies the following boundary conditions on the straight segments \(\varGamma _{\mathrm{wedge}}\) and \(\varGamma _\mathrm{sym}\): If \(\mathbf {e}\cdot \varvec{\tau }\ne 0\) for a unit tangent vector \(\varvec{\tau }\) on \(\varGamma _{\mathrm{wedge}}\) (resp. \(\varGamma _\mathrm{sym}\)), then
The coefficients are continuous and hence locally bounded, which implies that these boundary conditions are oblique on \(\varGamma _{\mathrm{wedge}}^0\) (resp. \(\varGamma _\mathrm{sym}^0\)).
Lemma 7.6
Definition 7.2 is equivalent to the definition of admissible solutions in [14]; see Definitions 15.1.1–15.1.2 there.
Proof
In order to show that the solutions in Definition 7.2 satisfy all the properties in Definitions 15.1.1–15.1.2 of Chen-Feldman [14], it requires to show that they satisfy:
where \(O_1=(u_1, 0)\) is the center of sonic circle of state (1) and, in the subsonic reflection case (see Fig. 7(b)), we have used the notational convention (7.10). Moreover, note that the inequalities in (7.9) hold on \(\varGamma _{\mathrm{shock}}\), while these inequalities in (7.16) hold in the larger domain \(\overline{\varOmega }\).
We first show both (7.16) and the stronger property
The argument is the same as the one in the proof of Remark 2.5 (see §6) for \(\phi =\varphi -\varphi _1\) in the present case. We only need to check for \(\mathbf {e}=\mathbf {e}_{S_1}\) and \(\mathbf {e}=\mathbf {e}_{\xi _2}\) that, for any point \(\varvec{\xi }\in \partial \varOmega \setminus \varGamma _{\mathrm{shock}}^0\), \(\phi _{\mathbf {e}}\) satisfies that
Note that \(\partial \varOmega \setminus \varGamma _{\mathrm{shock}}^0=\overline{\varGamma _{\mathrm{sonic}}}\cup \varGamma _{\mathrm{wedge}}\cup \varGamma _\mathrm{symm}\cup \{P_3\}\).
Consider first \(\mathbf {e}=\mathbf {e}_{S_1}\). Since \(D\varphi (P_3)=(0,0)\) by (7.12) and \(\varphi \in C^1(\overline{\varOmega })\), we conclude that \(w(P_3)=0\). Next, \(\mathbf {e}_{S_1}\cdot \varvec{\tau }\ne 0\) on \(\varGamma _{\mathrm{wedge}}\cup \varGamma _\mathrm{sym}\) by [14, Lemma 7.5.12]. Then, by Remark 7.5, \(\phi _{\mathbf {e}}\) satisfies a homogeneous elliptic equation in \(\varOmega \) and the oblique boundary conditions (7.14) on \(\varGamma _{\mathrm{wedge}}^0\cup \varGamma _\mathrm{sym}^0\), so that w cannot attain its local minimum on \(\varGamma _{\mathrm{wedge}}^0\cup \varGamma _\mathrm{sym}^0\), unless w is constant in \(\varOmega \) in which case \(w\equiv w(P_3)=0\) in \(\overline{\varOmega }\). On \(\overline{\varGamma _{\mathrm{sonic}}}\), \((\varphi , D\varphi )=(\varphi _2, D\varphi _2)\) as shown in Remark 7.4, where we have used notation (7.10). Also, \(\mathbf {e}_{S_1}\cdot D(\varphi _2-\varphi _1)=0\) by (7.8). Thus, \(\phi _{\mathbf {e}_{S_1}}=\mathbf {e}_{S_1}\cdot D(\varphi _2-\varphi _1)=0\) on \(\overline{\varGamma _{\mathrm{sonic}}}\), which implies (7.18) for \(\mathbf {e}=\mathbf {e}_{S_1}\).
Now we show (7.18) for \(\mathbf {e}=\mathbf {e}_{\xi _2}\), i.e., \(w=\phi _{\xi _2}\). The argument is similar to the previous case, with the following differences: First, \(\mathbf {e}_{\xi _2}\cdot \varvec{\tau }=0\) on \(\varGamma _\mathrm{sym}\) so that, instead of (7.14), we obtain that \(w=0\) on \(\varGamma _\mathrm{sym}\) by (7.13). Also, on \(\varGamma _{\mathrm{sonic}}\), we use again that \(D\varphi =D\varphi _2\) to obtain that \(w=\phi _{\xi _2}=(\varphi _2-\varphi _1)_{\xi _2}=v_2\ge 0\). The rest of the argument is the same as above, which leads to (7.18) for \(\mathbf {e}=\mathbf {e}_{\xi _2}\).
Repeating the proof of Remark 2.5 (see §6), in which \(\phi \) is not a constant state by Remark 7.4, we obtain (7.17). With this, (7.16) is proved.
Next we show (7.15). Since \(\overline{\varGamma _{\mathrm{shock}}}\subset \varLambda \setminus \overline{B_{c_1}(O_1)}\), then \(\varphi _1\) is supersonic on \(\varGamma _{\mathrm{shock}}\). This is a standard consequence of the Rankine-Hugoniot conditions (7.11), combined with the entropy condition of Definition 7.2(iii).
It remains to show that \(\xi _{1 P_2}\le \xi _{1 P_1}\) and \(\overline{\varGamma _{\mathrm{shock}}}\subset \{\xi _{1 P_2}\le \xi _1\le \xi _{1 P_1}\}\). From (7.17), \(\phi _{\xi _2}>0\) in \(\varOmega \). Also, \(\phi =0\) on \(\varGamma _{\mathrm{shock}}\) and \(\phi \le 0\) in \(\varOmega \) by (iv). From these properties and the regularity of curve \(\varGamma _{\mathrm{shock}}\), it follows that any vertical line that has a non-empty intersection with \(\varGamma _{\mathrm{shock}}\) intersects \(\varGamma _{\mathrm{shock}}\) either at one point or on a closed interval. Moreover,
From these properties, we conclude that
It remains to show that \(\xi _{1 P_2}\le \xi _{1 P_1}\). Assume that \(\xi _{1 P_2}> \xi _{1 P_1}\). Then, from (7.19) and the structure of \(\varOmega \) described in Definition 7.2(i), we conclude that \(\overline{\varGamma _{\mathrm{shock}}}\) is contained within the following subregion of \(\{\xi _{1 P_1}\le \xi _1 \le \xi _{1 P_2}\}\): Above \(\overline{\varGamma _{\mathrm{sonic}}}\) on \(\{\xi _{1 P_1}\le \xi _1 \le \min (\xi _{1 P_2}, \xi _{1 P_4})\}\), and above \(\varGamma _{\mathrm{wedge}}\) on \(\{\xi _{1 P_4}\le \xi _1 \le \xi _{1 P_2}\}\) if \(\xi _{1 P_2}\ge \xi _{1 P_4}\). This implies that \(\overline{\varGamma _{\mathrm{shock}}}\subset \{\xi _2>0\}\). This contradicts the fact that endpoint \(P_2\) of \(\varGamma _{\mathrm{shock}}\) lies on \(\{\xi _2=0\}\). Now (7.15) is proved.
Therefore, we have shown that the solutions in Definition 7.2 satisfy all the properties in Definitions 15.1.1–15.1.2 of [14].
Now we show that the admissible solutions defined in Definitions 15.1.1–15.1.2 of [14] satisfy all the properties of Definition 7.2. For that, we need to show that the admissible solutions in Definitions 15.1.1–15.1.2 of [14] satisfy property (iii) of Definition 7.2. This is proved in [14, Lemma 8.1.7 and Proposition 15.2.1]. \(\quad \square \)
From Lemma 7.6, all the estimates and properties of admissible solutions shown in [14] hold for the admissible solutions defined above. We list some of these properties in the next theorem.
Below we use the notation that, for two unit vectors \(\mathbf {e}, \mathbf {f}\in \mathbb {R}^2\) with \(\mathbf {e}\ne \pm \mathbf {f}\),
Theorem 7.1
(Properties of admissible solutions). There exits a constant \(\alpha =\alpha (\rho _0,\rho _1,\gamma )\in (0, \frac{1}{2})\) such that any admissible solution in the sense of Definition 7.2 with wedge angle \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d},\frac{\pi }{2})\) has the following properties:
-
(i)
Additional regularity:
-
If \(|D\varphi _2(P_0)|>c_2\), i.e., when \(\varphi \) is of the supersonic regular shock reflection–diffraction configuration as in Fig. 7(a), it satisfies
$$\begin{aligned} \varphi \in C^\infty (\overline{\varOmega }\backslash (\overline{\varGamma _{\mathrm{sonic}}}\cup \{P_3\})) \cap C^{1,1}(\overline{\varOmega }\backslash \{P_3\})\cap C^{1,\alpha }(\overline{\varOmega }). \end{aligned}$$The reflected-diffracted shock \(P_0P_1P_2\) (where \(P_0P_1\) is the straight segment and \(P_1P_2=\varGamma _{\mathrm{shock}}\)) is \(C^{2,\beta }\) up to its endpoints for any \(\beta \in [0, \frac{1}{2})\) and \(C^\infty \) except \(P_1\).
-
If \(|D\varphi _2(P_0)|\le c_2\), i.e., when \(\varphi \) is of the subsonic regular shock reflection–diffraction configuration as in Fig. 7(b), it satisfies
$$\begin{aligned} \varphi \in C^{1,\beta }(\overline{\varOmega })\cap C^{1,\alpha }(\overline{\varOmega }\setminus \{P_0\}) \cap C^{\infty }(\overline{\varOmega }\setminus \{P_0, P_3\}) \end{aligned}$$for some \(\beta =\beta (\rho _0,\rho _1,\gamma , \theta _\mathrm{w})\in (0, \alpha ]\) which is non-decreasing with respect to \(\theta _\mathrm{w}\), and the reflected-diffracted shock \(\varGamma _{\mathrm{shock}}\) is \(C^{1,\beta }\) up to its endpoints and \(C^\infty \) except \(P_0\).
Furthermore, in both supersonic and subsonic cases,
$$\begin{aligned} \varphi ^\mathrm{ext}\in C^\infty (\varOmega ^\mathrm{ext}\cup (\varGamma _{\mathrm{shock}}^\mathrm{ext})^0). \end{aligned}$$ -
-
(ii)
For each \(\mathbf {e}\in Con(\mathbf {e}_{S_1}, \mathbf {e}_{\xi _2})\),
$$\begin{aligned} \partial _{\mathbf {e}}(\varphi _1-\varphi )< 0 \qquad \text{ in } \overline{\varOmega }, \end{aligned}$$(7.21)where vectors \(\mathbf {e}_{S_1}\) and \(\mathbf {e}_{\xi _2}\) are introduced in Definition 7.2(v).
-
(iii)
Denote by \(\varvec{\nu }_\mathrm{w}\) the unit interior normal vector to \(\varGamma _{\mathrm{wedge}}\) (pointing into \(\varOmega \)), i.e., \(\varvec{\nu }_\mathrm{w}=(-\sin \theta _\mathrm{w}, \cos \theta _\mathrm{w})\). Then \(\partial _{\varvec{\nu }_\mathrm{w}}(\varphi -\varphi _2)\le 0\) in \(\overline{\varOmega }\).
Proof
Below we use the equivalence shown in Lemma 7.6.
Assertion (i) follows from Definition 7.2(i) and [14, Corollary 11.4.7, Proposition 11.5.1, Corollary 16.6.12]. Assertion (ii) is obtained in [14, Corollary 8.2.10, Proposition 15.2.1]. Assertion (iii) follows from [14, Lemma 8.2.19, Proposition 15.2.1], where \(\mathbf {n}_\mathrm{w}=-\varvec{\nu }_\mathrm{w}\). \(\quad \square \)
Remark 7.7
We note that \(\varvec{\nu }_\mathrm{w}\in Con(\mathbf {e}_{S_1}, \mathbf {e}_{\xi _2})\) for any wedge angle \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d},\frac{\pi }{2})\), which is proved in [14, Lemma 8.2.11].
Now we state the results on the existence of admissible solutions.
Theorem 7.2
(Global solutions up to the detachment angle for the case: \(u_1\le c_1\)). Let the initial data \((\rho _0, \rho _1, \gamma )\) satisfy that \(u_1\le c_1\). Then, for each \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d},\frac{\pi }{2})\), there exists an admissible solution of the regular reflection problem in the sense of Definition 7.2, which satisfies the properties stated in Theorem 7.1.
Proof
The existence of admissible solutions directly follows from Lemma 7.6 and [14, Theorem 2.6.7 and Remark 2.6.8]. \(\quad \square \)
When \(u_1> c_1\), the results of Theorem 7.2 hold for any wedge angle \(\theta _\mathrm{w}\) from \(\frac{\pi }{2}\) until either \(\theta _\mathrm{w}^\mathrm{d}\) or \(\theta _\mathrm{w}^\mathrm{c}\in (\theta _\mathrm{w}^\mathrm{d}, \frac{\pi }{2})\) when the shock hits the wedge vertex \({P_3}\).
Theorem 7.3
(Global solutions up to the detachment angle for the case: \(u_1> c_1\).) Let the initial data \((\rho _0, \rho _1, \gamma )\) satisfy that \(u_1>c_1\). Then there is \(\theta _\mathrm{w}^\mathrm{c}\in [\theta ^\mathrm{d}_\mathrm{w},\frac{\pi }{2})\) such that, for each \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{c},\frac{\pi }{2})\), there exists an admissible solution of the regular reflection problem in the sense of Definition 7.2, which satisfies the properties stated in Theorem 7.1.
If \(\theta _\mathrm{w}^\mathrm{c}>\theta ^\mathrm{d}_\mathrm{w}\), then, for the wedge angle \(\theta _\mathrm{w}=\theta _\mathrm{w}^\mathrm{c}\), there exists an attached shock solution \(\varphi \) with all the properties listed in Definition 7.2 and Theorem 7.1(ii)–(iii) except that \(P_3=P_2\) (we denote \(P_3\) for that point below). In addition, for the regularity of solution \(\varphi \), we have
-
For the supersonic case with \(\theta _\mathrm{w}=\theta ^\mathrm{c}_\mathrm{w}\),
$$\begin{aligned} \varphi \in C^\infty (\overline{\varOmega }\backslash (\overline{\varGamma _{\mathrm{sonic}}}\cup \{P_3\}))\cap C^{1,1}(\overline{\varOmega }\backslash \{P_3\})\cap C^{0,1}(\overline{\varOmega }), \end{aligned}$$and the reflected shock \(P_0P_1P_3\) is Lipschitz up to the endpoints, \(C^{2,\beta }\) for any \(\beta \in [0,\frac{1}{2})\) except point \(P_3\), and \(C^{\infty }\) except points \(P_1\) and \(P_3\).
-
For the subsonic case with \(\theta _\mathrm{w}=\theta ^\mathrm{c}_\mathrm{w}\),
$$\begin{aligned} \varphi \in C^\infty (\overline{\varOmega }\backslash \{P_0,\,P_3\}) \cap C^{1,\beta }(\overline{\varOmega }\backslash \{P_3\})\cap C^{0,1}(\overline{\varOmega }) \end{aligned}$$for \(\beta \) as in Theorem 7.1, and the reflected shock \(P_0P_3\) is Lipschitz up to the endpoints, \(C^{1,\beta }\) except point \(P_3\), and \(C^{\infty }\) except points \(P_0\) and \(P_3\).
Proof
The existence of admissible solutions directly follows from Lemma 7.6 and [14, Theorem 2.6.9 and Remark 2.6.8], where we note that [14, Remark 2.6.8] applies to the case: \(u_1> c_1\) as well, although this is not stated explicitly. \(\quad \square \)
Now we show that the admissible solutions satisfy the conditions of Theorems 2.1–2.3.
Lemma 7.8
The following statements hold:
-
(i)
Any admissible solution in the sense of Definition 7.2 satisfies the conditions of Theorems 2.1 and 2.3.
-
(ii)
Any regular reflection–diffraction solution in the sense of Definition 7.1 with properties (i)–(iv) of Definition 7.2 and with shock \(\varGamma _{\mathrm{shock}}\) being a strictly convex graph in the sense of (2.18)–(2.19) satisfies property (v) of Definition 7.2.
Proof
We divide the proof into seven steps: Assertion (i) is proved in Steps 1–6, while assertion (ii) is proved in Step 7.
1. We use \(\varLambda ^\mathrm{ext}\), \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\), and \(\varphi ^\mathrm{ext}\) defined before Definition 7.2. Combining the structure of equation (2.5) with the boundary conditions (7.3) on the negative \(\xi _1\)–axis yields that the reflected/extended function \(\varphi ^\mathrm{ext}\) is a weak solution of equation (2.5) in \(\varLambda ^\mathrm{ext}\). By the boundary conditions (7.3), state (1) satisfies \(\partial _{\varvec{\nu }}\varphi _1=0\) on the \(\xi _1\)–axis. Then the structure of the constant state (see §2.1) implies that \(\varphi _1(-\xi _1, \xi _2)=\varphi _1(\xi _1, \xi _2)\) in \(\mathbb {R}^2\) so that \(\varphi _1^\mathrm{ext}=\varphi _1\). We also note the regularity of \(\varphi ^\mathrm{ext}\) in Theorem 7.1(i). Thus, the extended shock \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\) separates the constant state \(\varphi _1\) from the smooth solution \(\varphi ^\mathrm{ext}\) of equation (2.5) in \(\varOmega ^\mathrm{ext}\), and the Rankine-Hugoniot conditions (7.11) are satisfied for \(\varphi ^\mathrm{ext}\) and \(\varphi _1\) on \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\).
2. Region \(\varOmega \) satisfies the conditions in Framework (A). Indeed, for the supersonic reflection case (see Fig. 7(a)), the required piecewise-regularity holds, since \(\varGamma _{\mathrm{wedge}}\) and \(\varGamma _\mathrm{sym}\) are straight segments, \(\varGamma _{\mathrm{sonic}}\) is an arc of circle, and \(\varGamma _{\mathrm{shock}}\) has the regularity stated in Theorem 7.1(i). The fact that all the angles of the corners of \(\varOmega \) are less than \(\pi \) is verified as follows:
Consider first the supersonic case. Since curve \(P_0P_1P_2\) is \(C^2\) at \(P_1\), and \(P_0P_1\) is a straight segment, we use that the center of sonic circle of state (2) is on \(\varGamma ^0_\mathrm{wedge}\) and \(P_0\) is outside that circle to conclude that the angle at \(P_1\) is between \((\frac{\pi }{2}, \pi )\), and the angle at \(P_4\) is \(\frac{\pi }{2}\). Also, since (7.7) shows that \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\) is smooth near \(P_2\), it follows that the interior angle to \(\varOmega \) at \(P_2\) is \(\frac{\pi }{2}\). Finally, the angle at \(P_3\) is \(\pi -\theta \in (\frac{\pi }{2}, \pi )\).
For the subsonic reflection case, the angles at \(P_2\) and \(P_3\) are handled similarly. The angle at \(P_0\) is in \((0, \frac{\pi }{2})\) for the following reason: By [14, Lemma 8.2.11, Proposition 15.2.1], for any \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d}, \frac{\pi }{2})\), \(\varvec{\nu }_\mathrm{w}\in Con(\mathbf {e}_{S_1}, \mathbf {e}_{\xi _2})\) so that, using the regularity of \(\varGamma _{\mathrm{shock}}\) in Theorem 7.2(i), property (iii) in Theorem 7.2, and \(\varphi =\varphi _1\) on \(\varGamma _{\mathrm{shock}}\), we conclude that \(\varGamma _{\mathrm{shock}}\) is a graph
of a function \(f(T)\in C^2([T_{P_2}, T_{P_0}))\cap C^{1,\beta }([T_{P_2}, T_{P_0}])\), where the (S, T)–coordinates are along the normal and tangent directions to \(\varGamma _{\mathrm{wedge}}\).
3. The entropy condition (A1) of Theorem 2.1 follows directly from property (iii) of Definition 7.2, where state (0) in Theorem 2.1 is state (1) in the regular shock reflection problem.
From the regularity of \(\varphi \) and \(\varGamma _{\mathrm{shock}}\) in Theorem 7.1(i), we see that conditions (A2) and (A4) of Theorem 2.1 hold.
Property (ii) of Definition 7.2 implies that condition (A3) of Theorem 2.1 holds.
4. Using the notations of the endpoints of \(\varGamma _{\mathrm{shock}}\) as in Framework (A) by \(A:={P_1}\) and \(B:=P_2\), we see from the properties of Definition 7.2(i) that
As we discussed in Step 2, \(\varGamma _{\mathrm{shock}}\) is orthogonal to the \(\xi _1\)–axis at \(P_2\). From this and [14, Lemma 7.5.12], \(\mathbf {e}_{\xi _1}\ne \pm \mathbf {e}_{S_1}\). Also, combining property (ii) of Theorem 7.1 with the fact that \(\varGamma _{\mathrm{shock}}\) is the level set \(\varphi -\varphi _1=0\), we obtain that \(\{P+Con\}\cap \varOmega =\emptyset \) for all \(P\in \varGamma _{\mathrm{shock}}\). Thus, condition (A5) of Theorem 2.1 is satisfied.
5. Next, we discuss condition (A6) of Theorem 2.1. We recall that \(\phi :=\varphi -\varphi _1\). All the local minima and maxima discussed below are relative to \(\overline{\varOmega }\). Also, we discuss the supersonic and subsonic/sonic cases together below, and use notations (7.10) for the subsonic/sonic case. Furthermore, since conditions (A1)–(A5) have been verified, we can use Lemma 3.2 in the argument below.
Fix \(\mathbf {e}=\varvec{\nu }_\mathrm{w}\), where \(\varvec{\nu }_\mathrm{w}\) is defined in Theorem 7.1(iii). By Remark 7.7, \(\mathbf {e}\in Con\). We first notice that, by Remark 7.5, \(w=\phi _\mathbf {e}\) satisfies equation (3.2), which is strictly elliptic in \(\varOmega \cup \varGamma _{\mathrm{shock}}^0\cup \overline{\varGamma _\mathrm{sym}}\cup \varGamma _{\mathrm{wedge}}^0\). Furthermore, since \(\varvec{\tau }=\mathbf {e}_{\xi _1}\) on \(\varGamma _\mathrm{sym}\) so that \(\mathbf {e}\cdot \varvec{\tau }=-\sin \theta _\mathrm{w}\ne 0\) on \(\varGamma _\mathrm{sym}\), then w satisfies (7.14) on \(\varGamma _\mathrm{sym}^0\), and this boundary condition is oblique. Thus, by Hopf’s lemma, the local maximum and minimum of \(\phi _\mathbf {e}\) relative to \(\overline{\varOmega }\) cannot be attained on \(\varGamma _\mathrm{sym}^0\), unless \(\phi _\mathbf {e}\) is constant.
We now show the similar property on \(\overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\). From (7.2) and (7.12), \(\partial _{\mathbf {e}}(\varphi -\varphi _2)=\partial _{\varvec{\nu }}(\varphi -\varphi _2)=0\) on \(\overline{\varGamma _{\mathrm{wedge}}}\). Also, \(D\varphi =D\varphi _2\) on \(\overline{\varGamma _{\mathrm{sonic}}}\) by Definition 7.2(i). Thus, \(\partial _\mathbf {e}(\varphi -\varphi _2)=0\) on \(\overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\), which is the global maximum over \(\overline{\varOmega }\) by Theorem 7.1(i). Then \(\partial _\mathbf {e}(\varphi -\varphi _2)\) cannot attain its local minimum at some \(P\in \overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\) unless \(\partial _\mathbf {e}(\varphi -\varphi _2)\equiv 0\) in \(\varOmega \). Indeed, if \(P\in \overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\) is a point of local minimum of \(\partial _\mathbf {e}(\varphi -\varphi _2)\), then, since P is also a point of global maximum and \(\partial _\mathbf {e}(\varphi -\varphi _2)(P)= 0\) as shown above, we obtain that \(\partial _\mathbf {e}(\varphi -\varphi _2)\equiv 0\) in \(B_r(P)\cap \varOmega \) for some \(r>0\). Since \(\partial _\mathbf {e}(\varphi -\varphi _2) =\partial _\mathbf {e}(\varphi -\varphi _1)+\partial _\mathbf {e}(\varphi _1-\varphi _2)=\partial _\mathbf {e}\phi +u_1\sin \theta _\mathrm{w}\) (where we have used that \(D\varphi _2\cdot \varvec{\nu }_\mathrm{w}=0\)) so that \(\partial _\mathbf {e}(\varphi -\varphi _2)\) satisfies the strictly elliptic equation (3.2) in \(\varOmega \), the strong maximum principle implies that \(\partial _\mathbf {e}(\varphi -\varphi _2)\equiv 0\) in \(\varOmega \). Recalling that \(\partial _\mathbf {e}\phi =\partial _\mathbf {e}(\varphi -\varphi _2)-u_1\sin \theta _\mathrm{w}\), we conclude that \(\phi _\mathbf {e}\equiv -u_1\sin \theta _\mathrm{w}\) in \(\overline{\varOmega }\) if \(\phi _\mathbf {e}\) attains its local minimum at some \(P\in \overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\).
Combining the two cases discussed above, we conclude that, if \(\phi _\mathbf {e}\) attains its local minimum at some point \(P\in \overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\cup \varGamma _\mathrm{sym}^0\), then \(\phi _\mathbf {e}\) is constant in \(\varOmega \), specifically \(\phi _\mathbf {e}\equiv -u_1\sin \theta _\mathrm{w}=:a\).
Now we show that, if \(\phi _\mathbf {e}\equiv a\) in \(\varOmega \) for an admissible solution \(\varphi \), then \(\varphi \) is a uniform state in \(\varOmega \). To fix notations, we consider first the supersonic case. We use the (S, T)–coordinates with basis \(\{\mathbf {e}, \mathbf {e}^\perp \}\) and the origin at \(P_3\) for \(\mathbf {e}^\perp \) determined as in Lemma 3.2 for \(\mathbf {e}=\varvec{\nu }_\mathrm{w}\), i.e., \(\mathbf {e}^\perp =-(\cos \theta _\mathrm{w}, \sin \theta _\mathrm{w})\). We recall that \(A=P_1\) and \(B=P_2\); see Step 4. Then \(T_B=T_{P_2}>T_{P_3}=0>T_{P_1}=T_A>T_{P_4}\). Also,
where \(f_\mathrm{so}\in C^\infty ((T_{P_4},\,T_{P_1}))\) and \(f_\mathrm{so}>0\) on \((T_{P_4},\,T_{P_1})\). The function, \(f_\mathbf {e}\), from Lemma 3.2(i) for \(\mathbf {e}=\varvec{\nu }_\mathrm{w}\) satisfies that \(f_\mathbf {e}(T)>\max (T\tan \theta _\mathrm{w}, 0)\) on \((T_{P_1},\,T_{P_2})\). Also,
where \(\hat{f}\in C(T_{P_4},\,T_{P_2})\) satisfies
Let \(\phi _\mathbf {e}\equiv a\) in \(\varOmega \). Then, from the structure of \(\varOmega \) described above, \(\phi (S,T)=aS+g(T)\) in \(\varOmega \) for some \(g\in C^1(\mathbb {R})\). Since \(\phi _{\xi _2}=0\) on \(\varGamma _\mathrm{sym}\) by (7.13), we see that \(a\,\mathbf {e}\cdot \mathbf {e}_{\xi _2}+g'(T)\,\mathbf {e}^\perp \cdot \mathbf {e}_{\xi _2}=0\) for all \(T\in (T_{P_3}, \;T_{P_2})\), where we have used the expression of \(\varGamma _\mathrm{sym}^0\) in the (S, T)–coordinates given above. Note that \(\mathbf {e}^\perp \cdot \mathbf {e}_{\xi _2}=-\sin \theta _\mathrm{w}\ne 0\). Thus, \(g'(T)\) is constant on \((T_{P_3}, \;T_{P_2})\), which implies that \(\phi (S,T)=aS+bT+c\) in \(\hat{\varOmega }\) for some \(b, c\in \mathbb {R}\), where
Since \(\phi \) is real analytic in \(\varOmega \) by Lemma 3.5, it follows that \(\phi (S,T)=aS+bT+c\) in \(\varOmega \). That is, \(\varphi =\varphi _2+\phi \) is a constant state in \(\varOmega \), which contradicts Remark 7.4.
For the subsonic/sonic case, the argument is the same, except that the structure of \(\varOmega \) now becomes
Therefore, we have shown that \(\phi \) cannot attain its local minimum on \(\overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\cup \varGamma _\mathrm{sym}^0\).
Then we define \(\varGamma _1:=(\overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}}\cup \varGamma _\mathrm{sym}^0)\setminus \{P_1\}= \partial \varOmega \setminus \overline{\varGamma _{\mathrm{shock}}}\), and \(\varGamma _2:=\emptyset \) in both the supersonic and subsonic/sonic cases. Clearly, \(\varGamma _1\) is connected. Now Case (iii) of condition (A6) of Theorem 2.1 holds in both the supersonic and subsonic/sonic cases.
6. We now check the conditions of Theorem 2.3. Since the conditions of Theorem 2.1 have been checked, the conclusions of that theorem hold; in particular, \(\varphi _{\varvec{\tau }\varvec{\tau }}\ge 0\) on \(\varGamma _{\mathrm{shock}}\).
Let \(\hat{\varGamma }_0:=\varGamma _{\mathrm{sonic}}^0\cup \{P_4\}\) in the supersonic case, and \(\hat{\varGamma }_0:=\emptyset \) in the subsonic case. Let \(\hat{\varGamma }_1:=\varGamma _{\mathrm{wedge}}^0\cup \{P_3\}\), \(\hat{\varGamma }_2:=\varGamma _\mathrm{sym}^0\), and \(\hat{\varGamma }_3:=\emptyset \). In the supersonic case, for any nonzero \(\mathbf {e}\in \mathbb {R}^2\), \(\phi _\mathbf {e}=D(\varphi _2-\varphi _1)\cdot \mathbf {e}\) on \(\varGamma _{\mathrm{sonic}}\), i.e., \(\phi _\mathbf {e}\) is constant on \(\hat{\varGamma }_0\). Then (A7)–(A8) hold.
Let \(\mathbf {e}\in \mathbb {R}^2\) be a unit vector. We have shown in Step 5 that \(\phi _\mathbf {e}\) is not a constant in \(\varOmega \). Then, by (7.14), \(\phi _\mathbf {e}\) can attain a local minimum or maximum on \(\varGamma _{\mathrm{wedge}}^0\) only if \(\mathbf {e}\cdot \varvec{\tau }_\mathrm{w}=0\), i.e., \(\mathbf {e}=\pm \varvec{\nu }_\mathrm{w}\). In that case, by (7.13), \(\phi _\mathbf {e}\) is constant on \(\overline{\varGamma _{\mathrm{wedge}}}\). This verifies (A9) on \(\hat{\varGamma }_1:=\varGamma _{\mathrm{wedge}}^0\cup \{P_3\}\). On \(\hat{\varGamma }_2:=\varGamma _\mathrm{sym}^0\), (A9) is checked similarly. On \(\hat{\varGamma }_0:=\varGamma _{\mathrm{sonic}}^0\cup \{P_4\}\) in the supersonic case, \(D\varphi =D\varphi _2\) so that \(\phi _\mathbf {e}=(D\varphi _2-D\varphi _1)\cdot \mathbf {e}=const.\) Now (A9) is proved.
To check condition (ii) of (A10) at point \(B=P_2\), we note that, by Step 1, \(\phi ^\mathrm{ext}:=\varphi ^\mathrm{ext}-\varphi _1\) satisfies equation (2.16) in \(\varOmega ^\mathrm{ext}\) and conditions (2.17) on \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\). Also, we have shown above that the original problem in \(\varOmega \) satisfies hypotheses (A1)–(A3) of Theorem 2.1. It follows that the problem for \(\phi ^\mathrm{ext}\) in \(\varOmega ^\mathrm{ext}\) satisfies (A1)–(A3) of Theorem 2.1.
Now it follows that the extended problem in \(\varOmega ^\mathrm{ext}\) satisfies the conditions of Lemma 3.1. Also, \(P_2\) is an interior point of the extended shock \(\varGamma _{\mathrm{shock}}^\mathrm{ext}\). Furthermore, using (7.7), we have
where \(\varvec{\nu }_\mathrm{sh}(P_2)\) is defined in (A10). Since \(\phi _{\varvec{\tau }\varvec{\tau }}\ge 0\) on \(\varGamma _{\mathrm{shock}}\) as noted above, which implies that \(\phi _{\varvec{\tau }\varvec{\tau }}(P_2)\ge 0\) from the regularity of \(\varphi \) in Theorem 7.2, we apply Lemma 3.1 for the extended problem to conclude that, if \(\varvec{\nu }_\mathrm{sh}(P_2)\cdot \mathbf {e}<0\), then \(\phi _\mathbf {e}\) cannot attain its local maximum at \(P_2\). If \(\varvec{\nu }_\mathrm{sh}(P_2)\cdot \mathbf {e}=0\), we use that \(\varvec{\nu }_\mathrm{sh}(P_2)=\mathbf {e}_{\xi _1}\) by (7.7) to conclude that \(\mathbf {e}=\pm \mathbf {e}_{\xi _2}\) in that case. Then we use the \(C^1(\overline{\varOmega })\)–regularity of \(\phi \) to conclude that \(\phi _\mathbf {e}=0\) on \(\overline{\varGamma }_\mathrm{sym}\) by (7.13). Thus, \(\phi _\mathbf {e}(P_2)=\phi _\mathbf {e}(P_3)\) if \(\varvec{\nu }(P_2)\cdot \mathbf {e}=0\), so that condition (ii) of (A10) holds.
7. Now we show assertion (ii). Any admissible solution has a strictly convex shock by Theorems 2.1 and 2.3, since we have verified the conditions of these theorems in Steps 1–6 of this proof. Then it remains to show that any regular reflection–diffraction solution in the sense of Definition 7.1, with properties (i)–(iv) of Definition 7.2 and with shock \(\varGamma _{\mathrm{shock}}\) being a strictly convex graph in the sense of (2.18)–(2.19), satisfies property (v) of Definition 7.2.
Recall that (2.18) holds in the present case with \(A=P_1\) and \(B=P_2\) as discussed in Steps 2 and 4. Then, using the properties of Definition 7.2(i), we find that, in the coordinates of (2.18),
Also, from the strict concavity of f in the sense of (2.19), we obtain that \(f'(T_A)>f'(T)>f'(T_B)\) and \(f(T)<f(T_1)+f'(T_1)(T-T_1)\) for all \(T, T_1\in (T_A, T_B)\). From this, we see that \(\{P+Con\}\cap \varOmega =\emptyset \) for any \(P\in \varGamma _{\mathrm{shock}}\). Then, since \(\varphi \le \varphi _1\) in \(\varOmega \) from Definition 7.2(iv) and \(\varphi =\varphi _1\) on \(\varGamma _{\mathrm{shock}}\) by (7.11), we obtain that \(\partial _\mathbf {e}\varphi \ge \partial _\mathbf {e}\varphi _1\) for any \(\mathbf {e}\in Con\), which implies (7.9). \(\quad \square \)
From Lemma 7.8 and Theorems 2.1–2.3, we have
Theorem 7.4
If \(\varphi \) is an admissible solution of the shock reflection–diffraction problem, then its shock curve \(\varGamma _{\mathrm{shock}}\) is uniformly convex in the sense described in Theorem 2.3.
Furthermore, if a weak solution in the sense of Definition 7.1 satisfies properties (i)–(iv) of Definition 7.2, then the transonic shock \(\varGamma _{\mathrm{shock}}\) is a strictly convex graph in the sense of (2.18)–(2.19) if and only if property (v) of Definition 7.2 holds.
Proof
The uniform convexity of \(\varGamma _{\mathrm{shock}}\) for admissible solutions follows from Lemma 7.8 and Theorems 2.1 and 2.3.
Moreover, if a shock solution in the sense of Definition 7.1 satisfies properties (i)–(iv) of Definition 7.2, and its shock is a strictly convex graph, then, by Lemma 7.8(ii), the solution satisfies property (v) of Definition 7.2. \(\quad \square \)
7.2 Reflection Problem for Supersonic Flows Past a Solid Ramp
The second example is the Prandtl–Meyer reflection problem. This is a self-similar reflection that occurs when a two-dimensional supersonic flow with velocity \(\mathbf {v}_\infty =(u_\infty , 0)\), \(u_\infty >0\), in the direction along the wedge axis hits the wedge at \(t=0\). The slip boundary condition on the wedge boundary yields a self-similar reflection pattern; see Fig. 9(a)–(b). Also see Bae-Chen-Feldman [2, 3].
We consider this problem in the self-similar coordinates. Using the symmetry with respect to the \(\xi _1\)–axis, the problem can be posed in the region:
Denote by \(\varphi _\infty \) the pseudo-potential of the incoming state.
Definition 7.9
\(\varphi \in C^{0,1}(\overline{\varLambda })\) is a weak solution of the Prandtl–Meyer reflection problem if \(\varphi \) satisfies equation (2.5) in \(\varLambda \), the boundary conditions (7.3) on \(\partial \varLambda \), and the asymptotic conditions:
along ray \(L_\theta :=\{\xi _1=\xi _2\cot \theta , \xi _2>0\}\) for each \(\theta \in (\theta _\mathrm{w}, \pi )\) in the weak sense (as in Definition 7.1).
We consider the solutions with the structure shown in Fig. 9(a)–(b). These solutions are piecewise-smooth and equal to the constant states outside region \(\varOmega \) described below.
The constant states are defined as follows (see [3, §2] for the details and proofs): Given the constant self-similar state with velocity \(\mathbf {v}_\infty =(u_\infty , 0)\) and density \(\rho _\infty \) which is supersonic at the origin (the wedge vertex), there exist the detachment wedge angle \(\theta _\mathrm{w}^\mathrm{d}\in (0, \frac{\pi }{2})\) and the sonic wedge angle \(\theta _\mathrm{w}^\mathrm{s}\in (0, \theta _\mathrm{w}^\mathrm{d})\), which depend only on \((\rho _\infty , u_\infty )\), such that, for any wedge angle \(\theta _\mathrm{w}\in (0,\theta _\mathrm{w}^\mathrm{d})\),
-
(i)
There exists a unique constant state \(\varphi _\mathcal {N}\), which determines the normal reflection state of \(\varphi _\infty \) from the wedge boundary \(\partial W:=\{\xi _1>0, \xi _2=\xi _1\tan \theta _\mathrm{w}\}\); that is, \(\varphi _\mathcal {N}\) satisfies that \(\partial _{\varvec{\nu }} \varphi _\mathcal {N}=0\) on \(\partial W\), half-line \(S_\mathcal {N}:=\{\varvec{\xi }\; :\;\varphi _\mathcal {N}=\varphi _\infty \}\cap \{\xi _2>0\}\) lies in \(\varLambda \) and is parallel to \(\partial W\), and the Rankine-Hugoniot condition holds on \(S_\mathcal {N}\):
$$\begin{aligned} \rho _\infty \partial _{\varvec{\nu }}\varphi _\infty =\rho _\mathcal {N}\partial _{\varvec{\nu }}\varphi _\mathcal {N}\qquad \,\, \text{ on } S_\mathcal {N}. \end{aligned}$$ -
(ii)
There exists a constant state \(\varphi _\mathcal {O}\) such that \(\partial _{\varvec{\nu }} \varphi _\mathcal {O}=0\) on \(\partial W\), half-line \(S_\mathcal {O}:=\{\varvec{\xi }\; :\;\varphi _\mathcal {O}=\varphi _\infty \}\cap \{\xi _2>0\}\) lies in \(\varLambda \), the wedge vertex is on \(\overline{S_\mathcal {O}}\) (i.e., \(\mathbf {0}\in \overline{S_\mathcal {O}}\)), and the Rankine-Hugoniot condition holds on \(S_\mathcal {O}\):
$$\begin{aligned} \rho _\infty \partial _{\varvec{\nu }}\varphi _\infty =\rho _\mathcal {O}\partial _{\varvec{\nu }}\varphi _\mathcal {O}\qquad \,\, \text{ on } S_\mathcal {O}. \end{aligned}$$In fact, there exist two states for \(\varphi _\mathcal {O}\), weak and strong, and we always choose the weak one with the smaller density (so that the unique state \(\varphi _\mathcal {O}\) is often referred).
-
(iii)
\(\varphi _\mathcal {O}\) is supersonic (resp. subsonic) at the origin for all \(\theta _\mathrm{w}\in (0, \theta _\mathrm{w}^\mathrm{s})\) (resp. \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{s}, \theta _\mathrm{w}^\mathrm{d}))\). This determines the supersonic and subsonic Prandtl–Meyer reflection configurations below.
Next, we define the points, lines, and regions in Fig. 9(a)–(b) for a given wedge angle \(\theta _\mathrm{w}\in (0,\theta _\mathrm{w}^\mathrm{d})\) as follows:
-
(a)
The sonic arcs \(\varGamma _{\mathrm{sonic}}^\mathcal {N}\) and \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\) are the arcs (defined below) of the sonic circles of the constant states \(\varphi _\mathcal {N}\) and \(\varphi _\mathcal {O}\), respectively, with the centers on \(\partial W\), since these states satisfy the slip boundary condition on \(\partial W\):
-
\(\varGamma _{\mathrm{sonic}}^\mathcal {N}\) is the upper arc of \(\partial B_{c_\mathcal {N}}(O_\mathcal {N})\) between lines \(\partial W\) and \(S_\mathcal {N}\). It follows that \(\varGamma _{\mathrm{sonic}}^\mathcal {N}\subset \varLambda \), since \(\partial B_{c_\mathcal {N}}(O_\mathcal {N})\) intersects the full line \(S_\mathcal {N}\) at two points. Denote the endpoints of \(\varGamma _{\mathrm{sonic}}^\mathcal {N}\) by \(P_2\) and \(P_3\), which lie on \(S_\mathcal {N}\) and \(\partial W\), respectively.
-
Arc \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\) is defined only for the supersonic reflection configurations, i.e., for \(\theta _\mathrm{w}\in (0,\theta _\mathrm{w}^\mathrm{s})\). In this case, \(\partial B_{c_\mathcal {O}}(O_\mathcal {O})\) intersects half-line \(S_\mathcal {O}\) at two points within \(\varLambda \), and \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\) is the lower arc of \(\partial B_{c_\mathcal {O}}(O_\mathcal {O})\) between lines \(\partial W\) and \(S_\mathcal {O}\). Then \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\subset \varLambda \). Denote the endpoints of \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\) by \(P_1\) and \(P_4\), which lie on \(S_\mathcal {O}\) and \(\partial W\), respectively.
-
For the supersonic configurations, \(S_{\mathcal {O}, \mathrm{seg}}\) is segment \(OP_1\). Note that \(S_{\mathcal {O}, \mathrm{seg}} \subset S_\mathcal {O}\).
-
\(S_{\mathcal {N}, \mathrm{seg}}\) is the portion of \(S_\mathcal {N}\) with the left endpoint \(P_2\), i.e., \(S_{\mathcal {N}, \mathrm{seg}} = S_\mathcal {N}\cap \{\xi _1>\xi _{1, P_2}\}\).
-
-
(b)
\(\varGamma _{\mathrm{wedge}}\) is the segment of \(\partial W\) between points \(P_3\) and \(P_4\) for the supersonic case (resp. between \(\varvec{0}\) and \(P_3\) for the subsonic case).
-
(c)
There exists a smooth shock curve \(\varGamma _{\mathrm{shock}}\) with the following properties:
-
For the supersonic reflection configurations, \(\varGamma _{\mathrm{shock}}\) has endpoints \(P_1\) and \(P_2\);
-
For the subsonic reflection configurations, \(\varGamma _{\mathrm{shock}}\) has endpoints \(P_2\) and O;
-
\(\varGamma _{\mathrm{shock}}\), \(\varGamma _{\mathrm{sonic}}^\mathcal {N}\), \(\varGamma _{\mathrm{wedge}}\), and \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\) do not have common points except at their end points.
-
-
(d)
\(\varOmega \) is the domain bounded by the curve formed by \(\overline{\varGamma _{\mathrm{shock}}}\), \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\), \(\overline{\varGamma _{\mathrm{wedge}}}\), and \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\).
-
(e)
For the supersonic reflection configurations, \(\varOmega _\mathcal {O}\) is the region bounded by arc \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\) and the straight segments \(\overline{OP_1}\) and \(\overline{OP_4}\).
-
(f)
\(\varOmega _\mathcal {N}\) is the unbounded region with the boundary consisting of arc \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\), and the straight half-lines \(\partial W\cap \{\xi _1\ge \xi _{1P_3}\}\) and \(S_\mathcal {N}\cap \{\xi _1\ge \xi _{1P_2}\}\).
-
(g)
\(\varOmega _\infty :=\varLambda \setminus \overline{\varOmega _\mathcal {O}\cup \varOmega \cup \varOmega _\mathcal {N}}\) for the supersonic case, and \(\varOmega _\infty :=\varLambda \setminus \overline{\varOmega \cup \varOmega _\mathcal {N}}\) for the subsonic case.
Now we define a class of solutions of the Prandtl–Meyer reflection problem with the structure as in Fig. 9(a)–(b).
Definition 7.10
Let \((\rho _{\infty }, (u_{\infty },0))\) be a supersonic state in \(\varOmega _{\infty }\), and let \(\theta _\mathrm{w}^\mathrm{d}\) and \(\theta _\mathrm{w}^\mathrm{s}\) be the corresponding detachment and sonic angles. Let \(\theta _\mathrm{w}\in (\theta _\mathrm{w}^\mathrm{d},\frac{\pi }{2})\). A function \(\varphi \in C^{0,1}(\overline{\varLambda })\) is an admissible solution of the Prandtl–Meyer reflection problem if \(\varphi \) is a solution in the sense of Definition 7.9 and satisfies the following properties:
-
(i)
The structure of solution is the following:
-
If \(\theta _\mathrm{w}\in (0, \theta _\mathrm{w}^\mathrm{s})\), then the solution is of supersonic reflection configuration as in Fig. 9(a) and satisfies
$$\begin{aligned}&\varphi \in C^{1}(\overline{\varLambda }\setminus \overline{S_{\mathcal {O}, \mathrm{seg}}\cup \varGamma _{\mathrm{shock}}\cup S_{\mathcal {N}, \mathrm{seg}}}), \end{aligned}$$(7.22)$$\begin{aligned}&\varphi \in C^3(\varOmega )\cap C^2(\overline{\varOmega }\setminus \overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}\cup \varGamma _{\mathrm{sonic}}^\mathcal {N}}) \cap C^1(\overline{\varOmega }), \end{aligned}$$(7.23)$$\begin{aligned}&\varphi ={\left\{ \begin{array}{ll} \,\varphi _\infty \qquad &{}\text{ in } \varOmega _\infty ,\\ \,\varphi _\mathcal {O}&{}\text{ in } \varOmega _\mathcal {O},\\ \,\varphi _\mathcal {N}&{}\text{ in } \varOmega _\mathcal {N}\mathrm{;} \end{array}\right. } \end{aligned}$$(7.24) -
If \(\theta _\mathrm{w}\in [\theta _\mathrm{w}^\mathrm{s}, \theta _\mathrm{w}^\mathrm{d})\), then the solution is of subsonic reflection configuration as in Fig. 9(b) and satisfies
$$\begin{aligned}&\varphi \in C^{1}(\overline{\varLambda }\setminus \overline{\varGamma _{\mathrm{shock}}\cup S_{\mathcal {N}, \mathrm{seg}}}), \end{aligned}$$(7.25)$$\begin{aligned}&\varphi \in C^3(\varOmega )\cap C^2(\overline{\varOmega }\setminus (\{O\}\cup \overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}})) \cap C^1(\overline{\varOmega }), \end{aligned}$$(7.26)$$\begin{aligned}&\varphi ={\left\{ \begin{array}{ll} \,\varphi _\infty \qquad &{}\text{ in } \varOmega _\infty ,\\ \,\varphi _\mathcal {O}(O) &{}\text{ at } O,\\ \,\varphi _\mathcal {N}&{}\text{ in } \varOmega _\mathcal {N}\mathrm{,} \end{array}\right. } \end{aligned}$$(7.27)$$\begin{aligned}&D\varphi (O)=D\varphi _\mathcal {O}(O). \end{aligned}$$(7.28)
-
-
(ii)
The shock curve \(\varGamma _{\mathrm{shock}}\) is \(C^2\) in its relative interior.
-
(iii)
Equation (2.5) is strictly elliptic in \(\overline{\varOmega }\backslash (\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\cup \overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}})\) for the supersonic case and in \(\overline{\varOmega }\backslash (\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\cup \{O\})\) for the subsonic case.
-
(iv)
\(\partial _{\varvec{\nu }}\varphi _\infty>\partial _{\varvec{\nu }}\varphi >0\) on \(\varGamma _{\mathrm{shock}}\), where \(\varvec{\nu }\) is the normal vector to \(\varGamma _{\mathrm{shock}}\) pointing into \(\varOmega \).
-
(v)
\(\partial _{\mathbf {e}_{S_\mathcal {O}}}(\varphi _{\infty }-\varphi )\le 0\) and \(\partial _{\mathbf {e}_{S_\mathcal {N}}}(\varphi _{\infty }-\varphi )\le 0\) in \(\varOmega \), where vectors \(\mathbf {e}_{S_\mathcal {O}}\) and \(\mathbf {e}_{S_\mathcal {N}}\) are parallel to lines \(S_\mathcal {O}\) and \(S_\mathcal {N}\), respectively, oriented towards the interior of \(\varGamma _{\mathrm{shock}}\) from points \(P_1\) and \(P_2\), respectively;
Remark 7.11
A version of Remark 7.3 holds in the present case, with the only difference that the potential function of the incoming state is \(\varphi _\infty \) here, instead of \(\varphi _1\).
Remark 7.12
\(\varphi \) in \(\varOmega \) is not a constant state. Indeed, if \(\varphi \) is a constant state in \(\varOmega \), then \(\varphi =\varphi _\mathcal {N}\) in \(\varOmega \), which follows from (7.24) and (7.27) in the supersonic and subsonic cases, respectively. On the other hand, we obtain that \(\varphi =\varphi _\mathcal {O}\) in \(\varOmega \), which follows from both (7.24) for the supersonic case (since \(\varphi \) is \(C^{1}\) across \(\varGamma _{\mathrm{sonic}}^\mathcal {O}\)) and the property that \((\varphi , D\varphi )=(\varphi _2, D\varphi _2)\) at O for the subsonic case. However, \(\varphi _\mathcal {O}\) and \(\varphi _\mathcal {N}\) are two different states, which can be seen from their definitions, since line \(S_\mathcal {N}\) is parallel to \(\partial W\) (so that these lines do not coincide), while \(S_\mathcal {O}\) intersects \(\partial W\) at point O.
Lemma 7.13
Definition 7.10 is equivalent to the definition of admissible solutions in [3]; see Definition 2.14 there.
The proof of Lemma 7.13 follows closely the proof of Lemma 7.6 with mostly notational changes, so we skip this proof here.
From Lemma 7.13, the results of [2, 3] for the existence and properties of admissible solutions apply to the solutions in the sense of Definition 7.2. We list some of these properties in the following theorem:
Theorem 7.5
Let \((\rho _{\infty }, (u_{\infty },0))\) be a supersonic state in \(\varOmega _{\infty }\), and let \(\theta _\mathrm{w}^\mathrm{d}\) and \(\theta _\mathrm{w}^\mathrm{s}\) be the corresponding detachment and sonic angles. Then any admissible solution of the Prandtl–Meyer reflection problem with wedge angle \(\theta _\mathrm{w}\in (0, \theta _\mathrm{w}^\mathrm{d})\) has the following properties:
-
(i)
Additional regularity:
-
If \(\theta _\mathrm{w}\in (0, \theta _\mathrm{w}^\mathrm{s})\), i.e., when the solution is of supersonic reflection configuration as in Fig. 9(a), then \(\varphi \in C^{1,1}(\overline{\varOmega _\mathcal {O}\cup \varOmega \cup \varOmega _\mathcal {N}})\) and \(\varphi \in C^\infty (\overline{\varOmega }\setminus \overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}\cup \varGamma _{\mathrm{sonic}}^\mathcal {N}})\);
-
If \(\theta _\mathrm{w}\in [\theta _\mathrm{w}^\mathrm{s}, \theta _\mathrm{w}^\mathrm{d})\), i.e., when the solution is of subsonic reflection configuration as in Fig. 9(b), then \(\varphi \in C^{1,\alpha }(\overline{\varOmega \cup \varOmega _\mathcal {N}})\cap C^{1,1}(\overline{\varOmega \cup \varOmega _\mathcal {N}}\setminus \{O\})\) and \(\varphi \in C^\infty (\overline{\varOmega }\setminus (\{O\}\cup \overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}})) \) for some \(\alpha \in (0, 1)\), depending on \((\rho _\infty , u_\infty , \theta _\mathrm{w})\) and non-increasing with respect to \(\theta _\mathrm{w}\).
-
-
(ii)
The shock curve \(\varGamma _{\mathrm{shock}}\) is \(C^\infty \) in its relative interior.
-
(iii)
\(\varGamma _{\mathrm{shock}}\) has the following regularity up to the endpoints: In the supersonic case, the whole shock curve \(\overline{S_{\mathcal {O}, \mathrm{seg}}\cup \varGamma _{\mathrm{shock}}\cup S_{\mathcal {N}, \mathrm{seg}}}\) is \(C^{2,\beta }\) for any \(\beta \in (0, 1)\). In the subsonic case, curve \(\overline{\varGamma _{\mathrm{shock}}\cup S_{\mathcal {N}, \mathrm{seg}}}\) is \(C^{1, \alpha }\) with \(\alpha \) as in (i).
-
(iv)
For each \(\mathbf {e}\in Con(\mathbf {e}_{S_\mathcal {O}}, \mathbf {e}_{S_\mathcal {N}})\),
$$\begin{aligned} \partial _{\mathbf {e}}(\varphi _\infty -\varphi )< 0 \qquad \,\,\text{ in } \overline{\varOmega }, \end{aligned}$$(7.29)where vectors \(\mathbf {e}_{S_\mathcal {O}}\) and \(\mathbf {e}_{S_\mathcal {N}}\) are introduced in Definition 7.10(v), and notation (7.20) has been used.
-
(v)
Denote by \(\varvec{\nu }_\mathrm{w}\) the unit normal vector to \(\varGamma _{\mathrm{wedge}}\), interior with respect to \(\varOmega \), i.e., \(\varvec{\nu }_\mathrm{w}=(-\sin \theta _\mathrm{w}, \cos \theta _\mathrm{w})\). Then
$$\begin{aligned} \partial _{\varvec{\nu }_\mathrm{w}}(\varphi -\varphi _\mathcal {O})\le 0, \quad \partial _{\varvec{\nu }_\mathrm{w}}(\varphi -\varphi _\mathcal {N})\le 0 \qquad \text{ in } \overline{\varOmega }. \end{aligned}$$
Proof
Properties (i)–(iii) are from [3, Theorem 2.16]. Properties (iv) and (v) are shown in [3, Lemmas 3.2 and 3.6], where the results are stated in a rotated coordinate system, in which the \(\xi _2\)–variable is in the direction of \(\varvec{\nu }_\mathrm{w}\). \(\quad \square \)
Theorem 7.6
Let \((\rho _{\infty }, (u_{\infty },0))\) be a supersonic state in \(\varOmega _{\infty }\), and let \(\theta _\mathrm{w}^\mathrm{d}\) be the corresponding detachment angle. Then, for any \(\theta _\mathrm{w}\in (0,\theta _\mathrm{w}^\mathrm{d})\), there exists an admissible solution of the Prandtl–Meyer reflection problem.
The existence of solutions follows from [3, Theorem 2.15].
Now, similar to Lemma 7.8, we have
Lemma 7.14
The following statements hold:
-
(i)
Any admissible solution in the sense of Definition 7.10 satisfies the conditions of Theorems 2.1 and 2.3.
-
(ii)
Any global weak solution of the Prandtl–Meyer reflection problem in the sense of Definition 7.9 with properties (i)–(iv) of Definition 7.10 and with shock \(\varGamma _{\mathrm{shock}}\) being a strictly convex graph in the sense of (2.18)–(2.19) satisfies property (v) of Definition 7.10.
Proof
We first discuss the proof of assertion (i).
Conditions (A1)–(A5) follow directly as in Lemma 7.8. In particular, in (A5), \(Con=Con(\mathbf {e}_{S_\mathcal {O}},\mathbf {e}_{S_\mathcal {N}})\), where we have used (7.20). Also, \(A=P_1\) and \(B=P_2\), where \(P_1:=O\) in the subsonic/sonic case.
For condition (A6), we choose \(\mathbf {e}=\varvec{\nu }_\mathrm{w}\), where \(\varvec{\nu }_\mathrm{w}\) is defined in Theorem 7.5(v). Then \(\mathbf {e}\in Con\), which can be seen from the fact that \(u_\mathcal {O}>0\) and \(v_\mathcal {O}>0\) with \(\frac{v_\mathcal {O}}{u_\mathcal {O}}>\tan \theta _\mathrm{w}\), and \(\mathbf {e}_{\mathcal {N}}=-(\cos \theta _\mathrm{w}, \sin \theta _\mathrm{w})\).
In the argument below, the local extrema are relative to \(\overline{\varOmega }\). Also, we discuss the supersonic and subsonic/sonic cases together and define \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}:=\{O\}\) and \(P_1:=O\) for the subsonic/sonic case.
Recall the boundary conditions:
Also, \(D\varphi =D\varphi _\mathcal {O}\) on \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\) by Definition 7.10(i). Thus, \(\partial _\mathbf {e}(\varphi -\varphi _\mathcal {O})=0\) on \(\overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\), which is the global maximum over \(\overline{\varOmega }\) by Theorem 7.5(v). Since \(\varphi \) is not a constant state, arguing as in Step 5 of the proof of Lemma 7.8, we find that, if \(\phi _\mathbf {e}\) attains its local minimum on \(\overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\), then \(\phi _\mathbf {e}\) is constant in \(\varOmega \). Similarly, using that \(D\varphi =D\varphi _\mathcal {N}\) on \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\) and arguing as above, we conclude that \(\phi _\mathbf {e}\) cannot attain its local minimum on \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\), unless \(\phi _\mathbf {e}\) is constant in \(\varOmega \). Combining all the facts together, we conclude that, if \(\phi _\mathbf {e}\) attains its local minimum on \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\cup \overline{\varGamma _{\mathrm{wedge}}}\cup \overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\), then \(\phi _\mathbf {e}\) is constant in \(\varOmega \).
We now show that, if \(\phi _\mathbf {e}\) is constant in \(\varOmega \), then \(\varphi \) is a constant state in \(\varOmega \). To fix notations, we consider first the supersonic case. Since conditions (A1)–(A5) have been verified, we can apply Lemma 3.2. We work in the (S, T)–coordinates with basis \(\{\mathbf {e}, \mathbf {e}^\perp \}\) and origin O, where the orientation of \(\mathbf {e}^\perp \) is as in Lemma 3.2. Then \(T_{P_4}<T_{P_1}<T_{P_2}<T_{P_3}\), where we have used that \(A=P_1\) and \(B=P_2\). Also,
where \(f_{\mathcal {O}}\in C^\infty ((T_{P_4},\,T_{P_1}))\) and \(f_{\mathcal {N}}\in C^\infty ((T_{P_2},\,T_{P_3}))\) are positive. With this, we obtain
where \(\hat{f}\in C(T_{P_4},\,T_{P_3})\) satisfies
Let \(\phi _\mathbf {e}\equiv a\) in \(\varOmega \). Then, from the structure of \(\varOmega \) described above, \(\phi (S,T)=aS+g(T)\) in \(\varOmega \) for some \(g\in C^1(\mathbb {R})\). Then, noting that \(D\varphi =D\varphi _{\mathcal {N}}\) on \(\varGamma _{\mathrm{sonic}}^{\mathcal {N}}\), we obtain
where we have used that \(D(\varphi _{\mathcal {N}}-\varphi _\infty )\) is a constant vector. Thus, \(g'(T)\) is constant on \((T_{P_2},\,T_{P_3})\) so that \(\phi (S,T)=aS+bT+c\) in \(\hat{\varOmega }:=\{(S, T)\,:\, T\in (T_{P_2},\,T_{P_3}), \; S\in (0,\, f_{\mathcal {N}}(T) ) \} \subset \varOmega \). Then, arguing as in Step 5 of the proof of Lemma 7.8, we conclude that \(\varphi \) is a constant state in \(\varOmega \), which is a contradiction. For the subsonic/sonic case, the argument is the same, except the structure of \(\varOmega \), where now \(P_4=P_1=O\), and \(f_{\mathcal {O}}\) is not present in (7.30).
Therefore, Case (iii) of (A6) holds with \(\mathbf {e}=\varvec{\nu }_\mathrm{w}\), \(\varGamma _1:=\varGamma _{\mathrm{sonic}}^\mathcal {N}\cup \overline{\varGamma _{\mathrm{wedge}}}\cup \varGamma _{\mathrm{sonic}}^\mathcal {O}\) for the supersonic case (resp. \(\varGamma _1:=\varGamma _{\mathrm{sonic}}^\mathcal {N}\cup \overline{\varGamma _{\mathrm{wedge}}}\setminus \{P_2\}\) for the subsonic case), and \(\varGamma _2=\emptyset \).
We now show that conditions (A7)–(A10) are satisfied with \(\hat{\varGamma }_0=\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\setminus \{P_2\}\), \(\hat{\varGamma }_1=\varGamma _{\mathrm{wedge}}^0\), \(\hat{\varGamma }_2=\emptyset \), and \(\hat{\varGamma }_3=\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\setminus \{P_1\}\) for the supersonic case (resp. \(\hat{\varGamma }_3=\emptyset \) for the subsonic case). Indeed, then (A7) clearly holds. Also, (A8) holds since \(D\varphi =D\varphi _\mathcal {N}\) on \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\), and \(D\varphi =D\varphi _\mathcal {O}\) on \(\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\) for the supersonic case.
Condition (A9) on \(\hat{\varGamma }_1=\varGamma _{\mathrm{wedge}}^0\) can be checked as follows: If \(\mathbf {e}\cdot \varvec{\tau }\ne 0\) on \(\varGamma _{\mathrm{wedge}}^0\), then the argument of Step 5 in the proof of Lemma 7.8 applies here to yield that \(\phi _\mathbf {e}\) cannot attain the local minima or maxima on \(\varGamma _{\mathrm{wedge}}^0\). In the other case, when \(\mathbf {e}=\pm \varvec{\nu }_\mathrm{w}\), we use the boundary condition:
to derive that \(\partial _{\varvec{\nu }}\phi =-u_\infty \sin \theta _\mathrm{w}\) on \(\varGamma _{\mathrm{wedge}}\), similar to (7.13). Also, on \(\hat{\varGamma }_0=\overline{\varGamma _{\mathrm{sonic}}^\mathcal {N}}\setminus \{P_2\}\), \(D\varphi =D\varphi _\mathcal {N}\) so that \(\phi _{\mathbf {e}}=\partial _{\mathbf {e}}(\varphi _\mathcal {N}-\varphi _\infty )=const\). The argument on \(\hat{\varGamma }_3=\overline{\varGamma _{\mathrm{sonic}}^\mathcal {O}}\setminus \{P_1\}\) in the supersonic case is similar. This verifies (A9). Case (i) of (A10) clearly holds here.
To prove assertion (ii), we follow directly the argument of Step 7 in the proof of Lemma 7.8 with mostly notational changes, e.g., now \(\varphi _\infty \) replaces \(\varphi _1\). \(\quad \square \)
Therefore, we have
Theorem 7.7
If \(\varphi \) is an admissible solution of the Prandtl–Meyer reflection problem, then its shock curve \(\varGamma _{\mathrm{shock}}\) is uniformly convex in the sense described in Theorem 2.3. Moreover, for a weak solution of the Prandtl–Meyer reflection problem in the sense of Definition 7.9 with properties (i)–(iv) of Definition 7.10, the transonic shock \(\varGamma _{\mathrm{shock}}\) is a strictly convex graph as in (2.18)–(2.19) if and only if property (v) of Definition 7.10 holds.
References
Bae, M., Chen, G.-Q., Feldman, M.: Regularity of solutions to regular shock reflection for potential flow. Invent. Math. 175, 505–543, 2009
Bae, M., Chen, G.-Q., Feldman, M.: Prandtl-Meyer reflection for supersonic flow past a solid ramp. Q. Appl. Math. 71(3), 583–600, 2013
Bae, M., Chen, G.-Q., Feldman, M.: Prandtl–Meyer Reflection Configurations, Transonic Shocks, and Free Boundary Problems. Research Monograph, 218 pp, Memoirs of the American Mathematical Society, AMS: Providence, 2020 (accepted)
Ben-Dor, G.: Shock Wave Reflection Phenomena. Springer, New York 1991
Bers, L.: Mathemaical Aspects of Subsonic and Transonic Gas Dynamics. Wiley, New York 1958
Caffarelli, L., Jerison, D., Kenig, C.E.: Some new monotonicity theorems with applications to free boundary problems. Ann. Math. 2(155), 369–404, 2002
Caffarelli, L., Salazar, J.: Solutions of fully non-linear elliptic equations with patches of zero gradient: existence, regularity and convexity of level curves. Trans. Am. Math. Soc. 354(8), 3095–3115, 2002
Caffarelli, L., Spruck, J.: Convexity properties of solutions to some classical variational problems. Commun. PDE7(11), 1337–1379, 1982
Chang, T., Chen, G.-Q., Yang, S.: On the Riemann problem for two-dimensional Euler equations I: interaction of shocks and rarefaction waves. Discrete Contin. Dynam. Syst. 1, 555–584, 1995
Chang, T., Chen, G.-Q., Yang, S.: On the Riemann problem for two-dimensional Euler equations II: interaction of contact discontinuities. Discrete Contin. Dynam. Syst. 6, 419–430, 2000
Chapman, C.J.: High Speed Flow. Cambridge University Press, Cambridge 2000
Chen, G.-Q., Deng, X., Xiang, W.: Shock diffraction by convex cornered wedge for the nonlinear wave systems. Arch. Ration. Mech. Anal. 211, 61–112, 2014
Chen, G.-Q., Feldman, M.: Global solutions of shock reflection by large-angle wedges for potential flow. Ann. Math. (2)171, 1067–1182, 2010
Chen, G.-Q., Feldman, M.: The Mathematics of Shock Reflection-Diffraction and Von Neumann’s Conjecture. Research Monograph, Annals of Mathematics Studies, 197. Princeton University Press, Princeton, 2018
Chen, G.-Q., Feldman, M., Xiang, W.: Uniquenss and stability of shock reflection-diffraction problem for potetial flow. In: Hyperbolic Problems: Theory, Numerics, Applications, A. Bressan, M. Lewicka, D. Wang, and Y. Zheng (Eds.), pp. 2–24, AIMS Series on Applied Mathematics 10, AIMS: Springfield, MO (USA), 2020 [Preprint arXiv:1904.00114]
Dafermos, C.M.: Hyperbolic Conservation Laws in Continuum Physics, 4th edn. Springer, Berlin 2016
Dem’yanov, A.Yu, Panasenko. , A.V.: Numerical solution to the problem of the diffraction of a plane shock wave by a convex corner. Fluid Dyn. 16, 720–725, 1981. (Translated from the original Russian)
Deschambault, R.L., Glass, I.I.: An update on non-stationary oblique shock-wave reflections: actual isopycnics and numerical experiments. J. Fluid Mech. 131, 27–57, 1983
Dolbeault, J., Monneau, R.: Convexity estimates for nonlinear elliptic equations and application to free boundary problems. Ann. I.H. Poincaré–A.N. 19(6), 903–626, 2002
Elling, V., Liu, T.-P.: Supersonic flow onto a solid wedge. Commun. Pure. Appl. Math. 61, 1347–1448, 2008
Evans, L.C., Spruck, J.: Motion of level sets by mean curvature. I. J. Differ. Geom. 33, 635–681, 1991
Evans, L.C., Spruck, J.: Motion of level sets by mean curvature. II. Trans. Am. Math. Soc. 330, 321–332, 1992
Evans, L.C., Spruck, J.: Motion of level sets by mean curvature. III. J. Geom. Anal. 2, 121–150, 1992
Friedman, A.: Variational Principles and Free-Boundary Problems, Second edn. Robert E. Krieger Publishing Co., Inc., Malabar, FL 1988
Glaz, H.M., Colella, P., Glass, I.I., Deschambault, R.L.: A numerical study of oblique shock-wave reflection with experimental comparisons. Proc. R. Soc. Lond. A398, 117–140, 1985
Glaz, H.M., Colella, P., Glass, I.I., Deschambault, R.L.: A detailed numerical, graphical, and experimental study of oblique shock wave reflection. Lawrence Berkeley Laboratory Report, LBL-20033, 1985
Glaz, H.M., Walter, P.A., Glass, I.I., Hu, T.C.J.: Oblique shock wave reflections in \(SF_6\): A comparison of calculation and experiment. AIAA J. Prog. Astr. Aero. 106, 359–387, 1986
Glimm, J., Majda, A.: Multidimensional Hyperbolic Problems and Computations. Springer, New York 1991
Hindman, R.G., Kutler, P., Anderson, D.: A two-dimensional unsteady Euler-equation solver for flow regions with arbitrary boundaries. AIAA Report 79-1465, 1919
Ivanov, M.S., Vandromme, D., Formin, V.M., Kudryavtsev, A.N., Hadjadj, A., Khotyanovsky, D.V.: Transition between regular and Mach reflection of shock waves: new numerical and experimental results. Shock Waves11, 199–207, 2001
Kinderlehrer, D., Nirenberg, L.: Regularity in free boundary problems. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)4, 373–391, 1977
Kurganov, A., Tadmor, E.: Solution of two-dimensional Riemann problems for gas dynamics without Riemann problem solvers. Numer. Methods Partial Differ. Eqs. 18, 584–608, 2002
Kutler, P., Shankar, V.: Diffraction of a shock wave by a compression corner. Part I: Regular reflection. AIAA J. 15, 197–203, 1977
Lax, P.D., Liu, X.-D.: Solution of two-dimensional Riemann problems of gas dynamics by positive schemes. SIAM J. Sci. Comput. 19, 319–340, 1998
Liu, X.D., Lax, P.D.: Positive schemes for solving multi-dimensional hyperbolic systems of conservation laws. J. Comput. Fluid Dyn. 5, 133–156, 1996
Schneyer, G.P.: Numerical simulation of regular and Mach reflection. Phys. Fluids18, 1119–1124, 1975
Schulz-Rinne, C.W., Collins, J.P., Glaz, H.M.: Numerical solution of the Riemann problem for two-dimensional gas dynamics. SIAM J. Sci. Comput. 14, 1394–1414, 1993
Plotnikov, P.I., Toland, J.F.: Convexity of Stokes waves of extreme form. Arch. Ration. Mech. Anal. 171, 349–416, 2014
Serre, D.: Shock reflection in gas dynamics. In: Handbook of Mathematical Fluid Dynamics, Vol. 4, pp. 39–122, Elsevier: North-Holland, 2007
Shankar, V., Kutler, P., Anderson, D.: Diffraction of a shock wave by a compression corner, part II: single Mach reflection. AIAA J. 16, 4–5, 1978
Woodward, P., Colella, P.: The numerical simulation of two-dimensional fluid flow with strong shocks. J. Comput. Phys. 54, 115–173, 1984
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by C. M. Dafermos
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of Gui-Qiang G. Chen was supported in part by the UK Engineering and Physical Sciences Research Council Award EP/E035027/1 and EP/L015811/1, and the Royal Society–Wolfson Research Merit Award (UK). The research of Mikhail Feldman was supported in part by the National Science Foundation under Grants DMS-1401490 and DMS-1764278, and the Van Vleck Professorship Research Award by the University of Wisconsin-Madison. The research of Wei Xiang was supported in part by the UK EPSRC Science and Innovation Award to the Oxford Centre for Nonlinear PDE (EP/E035027/1), the CityU Start-Up Grant for New Faculty 7200429(MA), the Research Grants Council of the HKSAR, China (Project No. CityU 21305215, Project No. CityU 11332916, Project No. CityU 11304817, and Project No. CityU 11303518), and partly by the National Science Foundation Grant DMS-1101260 while visiting the University of Wisconsin-Madison.
Appendix A. Paths Connecting Endpoints of the Minimal and Maximal Chains
Appendix A. Paths Connecting Endpoints of the Minimal and Maximal Chains
For \(\varLambda \subset \mathbb {R}^n\), we denote
Lemma A.1
Let \(\varLambda \subset \mathbb {R}^n\) be an open set such that \(\varLambda _r\) is connected for each \(r\in [0, r_0]\) with given \(r_0>0\). Let \(P, Q\in \overline{\varLambda }\) be such that \(B_r(P)\cap \varLambda _\rho \) and \(B_r(Q)\cap \varLambda _\rho \) are connected for each \(0\le \rho < r\le r_0\). Then there exists a continuous curve \(\mathcal {S}\) with endpoints P and Q such that \( \mathcal {S}^0\subset \varLambda \). More precisely, \(\mathcal {S}=g([0,1])\), where \(g\in C([0, 1];\mathbb {R}^n)\), g is locally Lipschitz on (0, 1), \(g(0)=P\), \(g(1)=Q\), and \(g(t)\in \varLambda \) for all \(t\in (0,1)\).
Proof
We first note that, after points P and Q are fixed, we can assume that \(\varLambda \) is a bounded set; otherwise, we replace \(\varLambda \) by \(\varLambda \cap B\), where B is an open ball and \(P, Q\in B\).
We divide the proof into three steps.
1. We notice that, if \(P, Q\in \varLambda _r\) for some \(r\in [0, r_0)\), then there exists a piecewise-linear path \(\mathcal {S}\) with a finite number of corner points connecting P to Q such that \(\mathcal {S}\subset \varLambda _{r/2}\). This is obtained via covering \(\overline{\varLambda _r}\) by balls \(B_{r/2}(\xi _i)\), \(i=1, \dots , N\), with each \(\xi _i\in \overline{\varLambda }_r\) and via noting that, since \(\varLambda _r\) is connected, then any \(\xi _i\) and \(\xi _j\) can be connected by a piecewise-linear path with at most N corners, each section of which is a straight segment connecting centers of two intersecting balls of the cover.
Thus, the path connecting \(\xi _i\) to \(\xi _j\) lies in \(\cup _{k=1}^N B_{r/2}(\xi _k)\subset \varLambda _{r/2}\). Then we connect P to Q by first connecting P (resp. Q) to the nearest center of ball \(\xi _i\) (resp. \(\xi _j\)) via a straight segment that lies in \(B_{r_2}(\xi _i)\) (resp. \(B_{r_2}(\xi _j)\)), and next connect \(\xi _i\) to \(\xi _j\) as above. In this way, the whole path \(\mathcal {S}\) between P and Q is Lipschitz up to the endpoints and lies in \(\varLambda _{r/2}\). Clearly, there exists \(g\in C^{0,1}([0,1]; \mathbb {R}^n)\) with \(g(0)=P\), \(g(1)=Q\), and \(g(t)\in \varLambda _{r/2}\) for all \(t\in [0,1]\) such that \(\mathcal {S}=g([0, 1]\). Therefore, this lemma is proved for any \(P, Q\in \varLambda \).
2. Now we consider the case when \(P\in \partial \varLambda \) and \(Q\in \varLambda \). Since \(\varLambda \) is open, there exists a sequence \(P_m\rightarrow P\) with \(P_m\in \varLambda \) for \(m=1,2,\dots \). Then \(P_m\in \varLambda _{r_m}\) with \(r_m>0\) and \(r_m\rightarrow 0\). Thus, taking a subsequence, we can assume without loss of generality that \(0<r_m< \frac{r_0}{m}\) for all m.
As proved in Step 1, \(P_1\) can be connected to Q by a Lipschitz curve that is parameterized by \(g\in C^{0,1}([\frac{1}{2},1]; \mathbb {R}^n)\) with
where \(\tilde{r}>0\). Since \((B_r(P)\cap \varLambda )_\varepsilon = B_{r-\varepsilon }(P)\cap \varLambda _\varepsilon \) for all \(\varepsilon \in [0, \frac{r}{2})\), then the assumptions of this lemma allow to apply the result of Step 1 to sets \(B_{r_0/m}(P)\cap \varLambda \) for \(m=1, 2, \dots \). Thus, for each \(m=1, 2, \dots \), we obtain a Lipschitz path between \(P_m\) and \(P_{m+1}\) which lies in \(B_{r_0/m}(P)\cap \varLambda \) and is parameterized by \(\displaystyle g\in C^{0,1}([\frac{1}{m+2},\frac{1}{m+1}]; \mathbb {R}^n)\) with
Combining the above together, we obtain a function \(g: (0, 1]\rightarrow \mathbb {R}^n\) such that \(\displaystyle g\in C([0,1]; \mathbb {R}^n)\cap C^{0,1}_\mathrm{loc}((0,1]; \mathbb {R}^n)\) with
This completes the proof for the case when \(P\in \partial \varLambda \) and \(Q\in \varLambda \).
3. The remaining case for both \(P, Q\in \partial \varLambda \) now readily follows, by connecting each of P and Q to some \(C\in \varLambda \) and taking the union of the paths. \(\quad \square \)
Lemma A.2
Let \(\varOmega \subset \mathbb {R}^2\) satisfy the conditions stated at the beginning of §3.3, and let \(r^*\) be the constant from Lemma 3.10. Let \(\varOmega _{\rho }\) be defined as in (A.1). Then there exists \(r_0\in (0, \frac{r^*}{10}]\) such that sets \(\varOmega _\rho \) are connected for all \(\rho \in [0, r_0]\), and sets \(B_r(E)\cap \varOmega _\rho \) are connected for any \(E\in \overline{\varOmega }\) and \(0\le \rho <r\le r_0\). Moreover, if \(0\le \rho < r\le 2r_0\), \(P\in \overline{\varOmega }\), and \(\mathrm{dist}(P, \partial \varOmega )<r\), then
where C depends only on the constants in the assumptions on \(\varOmega \).
Proof
Throughout this proof, C denotes a universal constant, depending only on \(\varOmega \). We divide the proof into two steps.
1. We first describe the structure of \(\partial \varOmega _\rho \) for sufficiently small \(\rho >0\) and show that \(\varOmega _\rho \) is connected for such \(\rho \) and (A.2) holds.
Denote by \(\varGamma _i\), \(i=1,\dots , m\), the smooth regions of \(\partial \varOmega \) up to the corner points. Then, for \(P\in \varOmega \), we have
Denote
Using that each \(\varGamma _i\) is \(C^{1,\alpha }\) up to the corner points, and the angles at the corner points are between \((0, \pi )\), we now show that there exists \(r_0>0\) such that, for any \(\rho \in (0, r_0)\) and \(i=1,\dots , m\), the set:
is a Lipschitz curve. In addition, \(\varGamma _i^\rho \) is close to \(\varGamma _i\) in the Lipschitz norm in the sense described bellow.
Consider first a curve \(\varGamma =\{(s,t)\in \mathbb {R}^2\;:\; s=g(t)\}\) for some \(g\in C^{1,\alpha }(\mathbb {R})\). Let \(\rho >0\) and \(\varGamma ^\rho =\{(s,t)\in \mathbb {R}^2\;:\; s>g(t), \;\mathrm{dist}((s,t), \varGamma )=\rho \}\). Fix \(t_0\in \mathbb {R}\) and \(r>10\rho \), and denote \(L:=\Vert g\Vert _{C^{0,1}([t_0-2r, t_0+2r])}\). Then we find that, for any \(t_1\in [t_0-r, t_0+r]\), there exists \(s_1\in [g(t_1)+\rho , \;g(t_1)+\rho \sqrt{L^2+1}]\) such that \((s_1, t_1)\in \varGamma ^\rho \) and
by noting that \(B_\rho (s_1, t_1)\cap \varGamma =\emptyset \). From this,
with \(g^\rho \in C^{0,1}_\mathrm{loc}(\mathbb {R})\) and \(\Vert g-g^\rho \Vert _{L^\infty ([-r,r])}\le \rho \sqrt{L^2+1}\). Moreover, fix \(P\in \varGamma ^\rho \). Then there exists \(Q\in \varGamma \) such that \(\mathrm{dist}(P, Q)=\rho \). It follows that
From this, for any \(r\in (0,1)\), we find that there exists \(r_0\in (0,\frac{r}{10}]\) depending only on r, \(\alpha \), and \(\hat{L}:=\Vert g\Vert _{C^{1,\alpha }([3r, 3r])}\) such that, if \(\rho \in (0, r_0]\), then, for any \(P=(g^\rho (t_P), t_P)\in \varGamma ^\rho \cap \{t\in [-r, r]\}\), we have
for any \(t\in [-2r, 2r]\), where \(Q:=(g(t_Q), t_Q)\) a point such that \(\mathrm{dist}(P, Q)=\rho \).
Then, noting that
and \(\Vert g-g^\rho \Vert _{L^\infty ([-r,r])}\le \rho \sqrt{\hat{L}^2+1}\), we have
Thus, for any \(\varepsilon \in (0,1)\), reducing \(r_0\), we obtain
From this, under the conditions of Case (a) in the proof of Lemma 3.10, when (3.17) holds, we follow the argument in the proof of Lemma 3.10 and choosing sufficiently small \(r_0\) and \(\varepsilon \) in (A.3) to obtain that, for any positive \(\rho <\min \{r, r_0\}\),
Furthermore, under the conditions of Case (b) in the proof of Lemma 3.10, when (3.18)–(3.19) hold, we repeat the argument there by choosing small \(r_0\) and \(\varepsilon \), and conclude that, for any positive \(\rho <\min \{r, r_0\}\),
where \(g_1^\rho \) and \(g_2^\rho \) satisfy (A.3) with \(g_1\) and \(g_2\), respectively, and that there exists \(t_\rho \in (-C\rho , C\rho )\) such that
We adjust \(r_0\) so that \(r_0\le \frac{r^*}{10}\). Then, from (A.4)–(A.6) with \(r=r^*\), we obtain that, for each \(\rho \in (0, r_0]\), \(\partial \varOmega _\rho \) is a Lipschitz curve without self-intersection. It follows that \(\varOmega _\rho \) is simply-connected.
Also, combining (A.4) with (3.17) and (A.5)–(A.6) with (3.18)–(3.19) for \(r=r_0\), choosing \(\varepsilon \) small in (A.3) for \(g, g_1\), and \(g_2\), and adjusting \(r_0\), we have
Then we conclude (A.2).
2. Now we show that \(B_r(E)\cap \varOmega _\rho \) is connected for any \(E\in \varOmega \) and \(0\le \rho <r\le r_0\).
Assume that \({\mathrm{dist}}(E, \partial \varOmega )<2r\) (otherwise, the result already holds). Since \(r_0\le \frac{r^*}{10}\), we obtain (3.17)–(3.19) for 2r instead of r, so that (A.4)–(A.6) hold for 2r instead of r. Then, arguing as in the proof of Lemma 3.10 and possibly reducing \(r_0\), we obtain the following:
-
If \(B_r(E)\cap \varOmega \) has expression (3.21), then
$$\begin{aligned} \varOmega _\rho \cap B_{r}(E)=\{(s,t)\;:\;t\in (t^-_\rho , t^+_\rho ),\; \max (f^-(t), g^\rho (t))<s<f^+(t)\}, \end{aligned}$$where \(t^+_\rho \in (\frac{9r}{10}, r]\) and \(t^-_\rho \in [-r, -\frac{9r}{10})\) with \(|t^\pm _\rho -t^\pm |\le C\rho \), \(f^+>g^\rho \) on \((t^-_\rho , t^+_\rho )\), and \(f^+<g^\rho \) on \([-r, r]\setminus [t^-_\rho , t^+_\rho ]\);
-
If \(B_r(E)\cap \varOmega \) has expression (3.28), then
$$\begin{aligned} \varOmega _\rho \cap B_{r}(E){=}\{(s,t)\;:\;t\in (t^-_\rho , t^+_\rho ),\; \max (f^-(t), g_1^\rho (t), g_2^\rho (t))<s<f^+(t)\}, \end{aligned}$$where \(t^-_\rho \in [t^*- r, t^*)\) and \(t^+_\rho \in (t^*, t^*+r]\) with \(|t^\pm _\rho -t^\pm |\le C\rho \), and \(f^+(t)>\max (g_1^\rho (t), g_2^\rho (t))\) on \((t^-_\rho , t^+_\rho )\).
The facts above imply that sets \(B_r(E)\cap \varOmega _\rho \) are connected. \(\quad \square \)
In the next lemma, we use the minimal and maximal chains in the sense of Definition 3.7.
Lemma A.3
Let \(\varOmega \subset \mathbb {R}^2\) satisfy the conditions stated at the beginning of §3.3, and let \(r_0\) be the constant from Lemma A.2. Let \(E_1, E_2\in \overline{\varOmega }\), and let there exist a minimal or maximal chain \(\{E^i\}_{i=1}^N\) of radius \(r_1\in (0, r_0]\) connecting \(E_1\) to \(E_2\) in \(\varOmega \), i.e., \(E^0=E_1\) and \(E^N=E_2\). Denote
so that \(E_1, E_2\in \partial \varLambda \). Then there exists \(\hat{r}_0>0\) such that set \(\varLambda \) and points \(\{E_1, E_2\}\) satisfy the conditions of Lemma A.1 with radius \(\hat{r}_0\).
Proof
We divide the proof into two steps.
1. We first show the existence of \(\hat{r}_0\in (0, r_1)\) such that \(\varLambda _\rho \) is connected for each \(\rho \in (0, \hat{r}_0]\). We recall that \(r_1\le r_0\le r^*\) so that the conclusions of Lemma 3.10 hold for \(B_{r_1}(E^i)\).
Since, for each \(P\in \varLambda \),
then
By Lemma 3.10(ii) and property (b) of Definition 3.7, we see that, if \(r_1\le r^*\), then \(B_{r_1}(E^i) \cap B_{r_1}(E^{i+1}) \cap \varOmega \ne \emptyset \) for \(i=0, \dots , N-1\). Note that all the sets in the last intersection are open. Then, recalling that \(r_1\le r_0\) and using (A.2) in Lemma A.2, we obtain that there exists \(\hat{r}^0\in (0, r_1)\) such that, for any \(\rho \in (0, \hat{r}_0)\),
Also, from Lemma A.2, sets \(B_{r_1-\rho }(E^i)\cap \varOmega _\rho \) are connected, since \(r_1\le r_0\). Then we obtain that \(\displaystyle \bigcup _{i=0}^N B_{r_1-\rho }(E^i) \cap \varOmega _\rho \) is connected by using the argument in the proof of Lemma 3.12(i). Thus, by (A.7), we conclude that \(\varLambda _\rho \) is connected for all \(\rho \in (0, \hat{r}_0)\).
2. Since \(B_{r_1}(E^0)\cap \varOmega \subset \varLambda \), then we use (A.7) to obtain
Sets \(B_{r}(E^0)\cap \varOmega _\rho \) with r and \(\rho \) as above are connected by Lemma A.2. Thus, the assumptions of Lemma A.1 with radius \(\frac{r_1}{10}\) hold for point \(E_1=E^0\). For point \(E_2=E^N\), the argument is similar. \(\quad \square \)
About this article
Cite this article
Chen, GQ.G., Feldman, M. & Xiang, W. Convexity of Self-Similar Transonic Shocks and Free Boundaries for the Euler Equations for Potential Flow. Arch Rational Mech Anal 238, 47–124 (2020). https://doi.org/10.1007/s00205-020-01528-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-020-01528-0