1: \documentclass[reqno]{amsart}
2: %\usepackage{amsmath,amsfonts,amssymb}
3: %\usepackage{showlabels}
4: \usepackage{graphicx}
5: %\usepackage[active]{srcltx}
6:
7: \theoremstyle{plain}
8: \newtheorem{theorem}{Theorem}
9: \newtheorem{lemma}{Lemma}
10: \newtheorem{corollary}{Corollary}
11: \newtheorem{proposition}{Proposition}
12:
13: \theoremstyle{definition}
14: \newtheorem{definition}{Definition}
15:
16: \theoremstyle{remark}
17: \newtheorem{remark}{Remark}
18: \newtheorem{example}{Example}
19:
20:
21: \title[Singular shock waves in interactions]
22: {Singular shock waves in interactions
23: \footnote{\tiny The work is supported by Serbian Ministry of
24: Science and Ecology} }
25: \author{Marko Nedeljkov}
26: \address{Department of Mathematics and Informatics, University of Novi Sad,
27: Trg D. Obradovi\'{c}a 4, 21000 Novi Sad, Yugoslavia}
28: \email{markonne@uns.ns.ac.yu}
29: \date{}
30:
31: \begin{document}
32:
33: \begin{abstract}
34: In a number of papers it was shown that there are one-dimensional
35: systems such that they contain solutions with, so called,
36: overcompressive singular shock waves
37: besides the usual elementary waves (shock and rarefaction ones
38: as well as contact discontinuities).
39:
40: One can see their definition for a general 2 $\times$ 2 system
41: with fluxes linear in one of dependent variables in \cite{Ned1}.
42: This paper is devoted to examining
43: their interactions with themselves and elementary waves.
44: After a discussion of systems given in a general form, a complete
45: analysis will be given for the ion-acoustic system given in \cite{KeyKr}.
46: \medskip
47:
48: \noindent
49: {\it Keywords:}
50: conservation law systems, singular shock wave, interaction of singularities,
51: generalized functions
52:
53:
54: \end{abstract}
55:
56: \maketitle
57: % \maketitle
58: \section{Introduction}
59:
60: Consider the system
61: \begin{equation}\label{gdss1}
62: \begin{split}
63: & (f_{2}(u))_{t}+(f_{3}(u)v+f_{4}(u))_{x}=0 \\
64: & (g_{1}(u)v+g_{2}(u))_{t}+(g_{3}(u)v+g_{4}(u))_{x}=0.
65: \end{split}
66: \end{equation}
67: where $f_{i},g_{j}$, $i=2,...,4$, $j=1,...,4$ are polynomials with the
68: maximal degree $m$, $(u,v)=(u(x,t),v(x,t))$ are unknown functions with
69: a physical range $\Omega$, $(x,t)\in {\mathbb R}\times {\mathbb R}_{+}$.
70: We shall fix the following notation for the rest of the paper:
71: $$f_{i}(y)=\sum_{k=0}^{m}a_{i,k}y^{k}, \;
72: g_{j}(y)=\sum_{k=0}^{m}b_{j,k}y^{k}, \; i=2,3,4,\; j=1,2,3,4. $$
73:
74: There are cases when there is no classical solution to Riemann problem
75: for the above system. Sometimes, there is a solution in the form
76: of delta or singular shock wave.
77: In \cite{Ned1} one can see when
78: a system in evolution form (i.e.\
79: when $f_{2}=u$, $g_{1}=1$ and $g_{2}=0$) permits a solution in the
80: shape of singular shock wave. With the same type of reasoning
81: and a more effort, one can give the answer to the
82: same question in the case system (\ref{gdss1}).
83:
84:
85: The aim of this paper is to investigate what happens during and after
86: an interaction of a singular shock wave with another wave.
87: After a general statement about
88: new initial data taken at interaction point
89: (of course, true for delta shock waves, too) in Section 3,
90: we shall present a detailed
91: investigation in the case of the system (so called ion-acoustic system)
92: \begin{equation}\label{dss1}
93: \begin{split}
94: u_{t}+(u^{2}-v)_{x} & = 0 \\
95: v_{t}+(u^{3}/3-u)_{x} & = 0
96: \end{split}
97: \end{equation}
98: given in \cite{KeyKr}.
99:
100: Definitions and concepts used here are from \cite{Ned1}, based on
101: the use of Colombeau generalized functions defined in \cite{ObeWa}.
102: They will be briefly described in the Section 2.
103: If one is not familiar with these concepts, he/she
104: can assume that a solution to the above system is given
105: by nets of smooth functions with equality substituted by
106: a distributional limit.
107: The reason why the generalized functions are used is
108: to give opportunity for extending the procedure in this paper for arbitrary
109: initial data when a system posses singular or delta shock wave
110: as a solution.
111:
112: Few interesting facts observed during the investigations of system
113: (\ref{dss1}) are arising a question about possibilities in a general
114: case. Observed facts are:
115: \begin{enumerate}
116: \item The singular shock wave solution to a Riemann problem for
117: (\ref{dss1}) always has an increasing strength
118: of the rate ${\mathcal O}(t)$, $t \to \infty$. (The strength of the
119: shock is a function which multiplies the delta function contained in
120: a solution, $s(t)$ in (\ref{prom})).
121: After the interaction, the resulting singular shock wave is
122: supported by a curve, not necessary straight
123: line as before, and its strength can be
124: an increasing, but also a constant or a decreasing function with
125: the respect to the time variable.
126: \item When the resulting singular shock wave has a decreasing strength
127: (this can occurs during an interaction of a admissible
128: singular shock wave with a rarefaction wave),
129: after some time it can decompose into two shock waves. This is a
130: quite new phenomenon.
131: \end{enumerate}
132:
133: The structure of this paper can be described in the following way.
134:
135: In the second section we will introduce necessary notation and give
136: basic notions based on the papers \cite{ObeWa} and \cite{Ned1}.
137:
138: In the third section, one can find a way how to continue a solution
139: to the general case of system (\ref{gdss1})
140: after an interaction point (Theorem \ref{glavna}).
141: The basic assumption is that a left-hand side of the first, and
142: the right-hand side of the second wave can be connected by a new
143: singular shock wave. The conditions for such a possibility are
144: formulated trough a notion of {\it second delta singular locus},
145: see Definition \ref{2d1}. Explicit calculations for a geometric description
146: of the locus are possible to perform for
147: system (\ref{gdss1}), but we shall omit it, to preserve readers
148: attention on the further topics.
149:
150: The results given in these sections are used in the next one
151: devoted to special case (\ref{dss1}).
152:
153: The first part of the fourth section is devoted to
154: description of a situation which can occur
155: after a singular shock and a shock wave interact. In the same
156: way one can do the same for two singular shock waves,
157: as one can at the end of this section.
158:
159: The final, 5th section, contains the most interesting and important
160: results about singular shock and rarefaction wave interaction.
161: In that case the decoupling of a singular shock into a pair of shock waves,
162: already mentioned before, can occur. The analysis is done when a singular
163: shock wave is on the left-hand side of a rarefaction wave. But
164: one can easily see that these results can be obtained using the same
165: procedure when a singular shock is on the other side
166: of a rarefaction wave.
167:
168:
169: \section{Notation}
170:
171: We shall briefly repeat some definitions of
172: Colombeau algebra given in \cite{ObeWa} and \cite{Ned1}. Denote
173: ${\mathbb R}_{+}^{2}:={\mathbb R}\times (0,\infty)$,
174: $\overline{{\mathbb R}_{+}^{2}}:={\mathbb R}\times [0,\infty)$ and let
175: $C_{b}^{\infty}(\Omega)$ be the algebra of smooth functions on
176: $\Omega$ bounded together with all their derivatives. Let
177: $C_{\overline{b}}^{\infty}({\mathbb R}_{+}^{2})$ be a set of
178: all functions $u\in C^{\infty}({\mathbb R}_{+}^{2})$ satisfying
179: $u|_{{\mathbb R}\times (0,T)} \in C_{b}^{\infty}({\mathbb R}\times (0,T))$
180: for every $T>0$. Let us remark that every element of
181: $C_{b}^{\infty}({\mathbb R}_{+}^{2})$ has a smooth extension up to
182: the line $\{ t=0\}$, i.e.\ $C_{b}^{\infty}({\mathbb R}_{+}^{2})=
183: C_{b}^{\infty}(\overline{{\mathbb R}_{+}^{2}})$. This is also true for
184: $C_{\overline{b}}^{\infty}({\mathbb R}_{+}^{2})$.
185:
186: \begin{definition}\label{emn}
187: ${\mathcal E}_{M,g}({\mathbb R}_{+}^{2})$ is the set of all maps
188: $G:(0,1)\times {\mathbb R}_{+}^{2} \rightarrow {\mathbb R}$,
189: $(\varepsilon,x,t) \mapsto G_{\varepsilon}(x,t)$, where
190: for every $\varepsilon \in (0,1)$,
191: $G_{\varepsilon}\in C_{\overline{b}}^{\infty}({\mathbb R}_{+}^{2})$
192: satisfies:
193:
194: \noindent
195: For every $(\alpha,\beta)
196: \in {\mathbb N}_{0}^{2}$ and $T>0$, there exists $N\in {\mathbb N}$ such that
197: $$\sup_{(x,t)\in {\mathbb R}\times (0,T)}
198: |\partial_{x}^{\alpha}\partial_{t}^{\beta} G_{\varepsilon}(x,t)|
199: ={\mathcal O}(\varepsilon^{-N}), \text{ as } \varepsilon \rightarrow 0.$$
200:
201: ${\mathcal E}_{M,g}({\mathbb R}_{+}^{2})$ is an multiplicative differential
202: algebra, i.e.\
203: a ring of functions with the usual operations of addition and multiplication,
204: and differentiation which satisfies Leibniz rule.
205:
206: ${\mathcal N}_{g}({\mathbb R}_{+}^{2})$ is the set of all
207: $G\in {\mathcal E}_{M,g}({\mathbb R}_{+}^{2})$,
208: satisfying:
209:
210: \noindent
211: For every $(\alpha,\beta)
212: \in {\mathbb N}_{0}^{2}$, $a\in {\mathbb R}$ and $T>0$
213: $$\sup_{(x,t)\in {\mathbb R}\times (0,T)}
214: |\partial_{x}^{\alpha}\partial_{t}^{\beta} G_{\varepsilon}(x,t)|
215: ={\mathcal O}(\varepsilon^{a}), \text{ as } \varepsilon \rightarrow 0.$$
216: $\Box$
217: \end{definition}
218:
219: Clearly, ${\mathcal N}_{g}({\mathbb R}_{+}^{2})$ is
220: an ideal of the multiplicative
221: differential algebra ${\mathcal E}_{M,g}({\mathbb R}_{+}^{2})$, i.e.\
222: if $G_{\varepsilon}\in {\mathcal N}_{g}({\mathbb R}_{+}^{2})$ and
223: $H_{\varepsilon}\in {\mathcal E}_{M,g}({\mathbb R}_{+}^{2})$,
224: then $G_{\varepsilon}H_{\varepsilon}\in {\mathcal N}_{g}({\mathbb R}_{+}^{2})$.
225:
226: \begin{definition}\label{g}
227: The multiplicative differential algebra
228: ${\mathcal G}_{g}({\mathbb R}_{+}^{2})$
229: of generalized functions is defined by
230: ${\mathcal G}_{g}({\mathbb R}_{+}^{2})=
231: {\mathcal E}_{M,g}({\mathbb R}_{+}^{2})/{\mathcal N}_{g}({\mathbb R}_{+}^{2})$.
232: All operations in ${\mathcal G}_{g}({\mathbb R}_{+}^{2})$ are
233: defined by the corresponding ones in ${\mathcal E}_{M,g}({\mathbb R}_{+}^{2})$.
234: $\Box$
235: \end{definition}
236:
237: If $C_{b}^{\infty}({\mathbb R})$ is used instead of
238: $C_{b}^{\infty}({\mathbb R}_{+}^{2})$ (i.e.\
239: drop the dependence on the $t$ variable), then
240: one obtains ${\mathcal E}_{M,g}({\mathbb R})$, ${\mathcal N}_{g}({\mathbb R})$,
241: and consequently, the space of generalized functions on a real line,
242: ${\mathcal G}_{g}({\mathbb R})$.
243:
244: In the sequel, $G$ denotes an element (equivalence class)
245: in ${\mathcal G}_{g}(\Omega)$
246: defined by its representative
247: $G_{\varepsilon}\in {\mathcal E}_{M,g}(\Omega)$.
248:
249: Since $C_{\overline{b}}^{\infty}({\mathbb R}_{+}^{2})=
250: C_{\overline{b}}^{\infty}(\overline{{\mathbb R}_{+}^{2}})$,
251: one can define a restriction of a generalized function to $\{ t=0\}$
252: in the following way.
253:
254: For given $G\in {\mathcal G}_{g}({\mathbb R}_{+}^{2})$, its restriction
255: $G|_{t=0}\in {\mathcal G}_{g}({\mathbb R})$ is the class determined
256: by a function
257: $G_{\varepsilon}(x,0)\in {\mathcal E}_{M,g}({\mathbb R})$.
258: In the same way as above,
259: $G(x-ct)\in {\mathcal G}_{g}({\mathbb R})$
260: is defined by $G_{\varepsilon}(x-ct)\in {\mathcal E}_{M,g}({\mathbb R})$.
261:
262: If $G \in {\mathcal G}_{g}$ and $f\in C^{\infty}({\mathbb R})$
263: is polynomially bounded
264: together with all its derivatives, then one can
265: easily show that the composition $f(G)$,
266: defined by a representative $f(G_{\varepsilon})$,
267: $G\in {\mathcal G}_{g}$ makes sense. It means that $f(G_{\varepsilon})\in
268: {\mathcal E}_{M,g}$ if $G_{\varepsilon}\in {\mathcal E}_{M,g}$, and
269: $f(G_{\varepsilon})-f(H_{\varepsilon}) \in {\mathcal N}_{g}$ if
270: $G_{\varepsilon}-H_{\varepsilon}\in {\mathcal N}_{g}$.
271:
272: The equality in the space of the generalized functions ${\mathcal G}_{g}$ is
273: to strong for our purpose, so we need to define
274: a weaker relation called association.
275: \begin{definition}\label{ass}
276: A generalized function $G\in {\mathcal G}_{g}(\Omega)$ is
277: said to be {\em associated with} $u\in {\mathcal D}'(\Omega)$, $G \approx u$,
278: if for some (and hence every) representative
279: $G_{\varepsilon}$ of $G$, $G_{\varepsilon} \rightarrow u$ in
280: ${\mathcal D}'(\Omega)$ as $\varepsilon \rightarrow 0$.
281: Two generalized functions $G$ and $H$ are said to be
282: associated, $G\approx H$, if $G-H \approx 0$. The rate of convergence
283: in ${\mathcal D}'$ with respect to $\varepsilon$
284: is called the {\em rate of association}.
285: $\Box$
286: \end{definition}
287:
288: A generalized function $G$ is said to be {\em of a bounded type} if
289: $$\sup_{(x,t)\in {\mathbb R}\times (0,T)} |G_{\varepsilon}(x,t)|
290: ={\mathcal O}(1) \text{ as } \varepsilon \rightarrow 0,$$
291: for every $T>0$.
292:
293: Let $u \in {\mathcal D}_{L^{\infty}}'({\mathbb R})$. Let ${\mathcal A}_{0}$
294: be the set of all functions $\phi \in C_{0}^{\infty}({\mathbb R})$ satisfying
295: $\phi(x)\geq 0$, $x\in {\mathbb R}$,
296: $\int \phi(x) dx=1$ and $\operatorname{supp}\phi \subset [-1,1]$, i.e.\
297: \begin{equation*}
298: {\mathcal A}_{0}=\{\phi\in C_{0}^{\infty}:\;
299: (\forall x\in {\mathbb R}) \phi(x)\geq 0,\;
300: \int\phi(x)dx=1,\; \mathop{\rm supp}\phi\subset [-1,1]\}.
301: \end{equation*}
302:
303: Let $\phi_{\varepsilon}(x)=\varepsilon^{-1}\phi(x/\varepsilon)$,
304: $x\in {\mathbb R}$. Then
305: $$ \iota_{\phi}: u \mapsto u\ast \phi_{\varepsilon}/{\mathcal N}_{g},$$
306: where $u\ast \phi_{\varepsilon}/{\mathcal N}_{g}$ denotes the
307: equivalence class with respect to the ideal ${\mathcal N}_{g}$,
308: defines a mapping of ${\mathcal D}_{L^{\infty}}'({\mathbb R})$ into
309: ${\mathcal G}_{g}({\mathbb R})$, where $\ast$ denotes the usual
310: convolution in ${\mathcal D}'$. It is clear that $\iota_{\phi}$ commutes
311: with the derivation, i.e.\
312: $$\partial_{x}\iota_{\phi}(u)=\iota_{\phi}(\partial_{x}u).$$
313:
314: \begin{definition}\label{s-d}
315: \begin{itemize}
316: \item[(a)] $G \in {\mathcal G}_{g}({\mathbb R})$ is said to be
317: {\em a generalized step function} with value $(y_{0},y_{1})$
318: if it is of bounded type and
319: $$ G_{\varepsilon}(y)=
320: \begin{cases}
321: y_{0}, \; & y< -\varepsilon \\ y_{1}, \; & y> \varepsilon
322: \end{cases}
323: $$
324: Denote $[G]:=y_{1}-y_{0}$.
325: \item [(b)] $D \in {\mathcal G}_{g}({\mathbb R})$
326: is said to be {\em generalized split
327: delta function} ({\em S$\delta$-function}, for short) with value
328: $(\alpha_{0},\alpha_{1})$ if
329: $D=\alpha_{0}D^{-}+\alpha_{1}D^{+}$, where $\alpha_{0}+\alpha_{1}=1$
330: and
331: \begin{equation}\label{DG}
332: DG\approx (y_{0}\alpha_{0}+y_{1}\alpha_{1})\delta,
333: \end{equation}
334: for every generalized step function $G$ with value $(y_{0},y_{1})$.
335: \item[(c)]Let $m$ be an odd positive integer.
336: A generalized function $d \in {\mathcal G}_{g}({\mathbb R})$ is said to be
337: {\em $m'$-singular delta function} ({\em $m'$SD-function}, for short)
338: with value $(\beta_{0},\beta_{1})$ if
339: $d=\beta_{0}d^{-}+\beta_{1}d^{+}$, $\beta_{0}^{m-1}+\beta_{1}^{m-1}=1$,
340: $d^{\pm}\in {\mathcal G}_{g}({\mathbb R})$,
341: $(d^{\pm})^{i} \approx 0$, $i\in \{1,\dots,m-2,m\}$,
342: $(d^{\pm})^{m-1}\approx \delta$, and
343: \begin{equation}\label{m1dG}
344: d^{m-1}G\approx (y_{0}\beta_{0}^{m-1}+y_{1}\beta_{1}^{m-1})\delta,
345: \end{equation}
346: for every generalized step function $G$ with value $(y_{0},y_{1})$.
347: \item[(d)]Let $m$ be an odd positive integer.
348: A generalized function $d \in {\mathcal G}_{g}({\mathbb R})$ is said to be
349: {\em $m$-singular delta function} ({\em $m$SD-function}, for short)
350: with value $(\beta_{0},\beta_{1})$ if
351: $d=\beta_{0}d^{-}+\beta_{1}d^{+}$, $\beta_{0}^{m}+\beta_{1}^{m}=1$,
352: $d^{\pm}\in {\mathcal G}_{g}({\mathbb R})$,
353: $(d^{\pm})^{i} \approx 0$, $i\in \{1,\dots,m-1\}$,
354: $(d^{\pm})^{m}\approx \delta$, and
355: \begin{equation}\label{mdG}
356: d^{m}G\approx (y_{0}\beta_{0}^{m}+y_{1}\beta_{1}^{m})\delta,
357: \end{equation}
358: for every generalized step function $G$ with value $(y_{0},y_{1})$.
359: \end{itemize}
360: $\Box$
361: \end{definition}
362:
363: In this paper we shall assume the compatibility condition
364: $Dd\approx 0$, where $D$ is S$\delta$- and $d$ is $m$SD- or $m'$Sd-function.
365:
366:
367: Suppose that the initial data are given by
368: \begin{equation} \label{id1}
369: u|_{t=T}=\begin{cases} u_{0}, & x<X \\ u_{1}, & x>X \end{cases}
370: \; v|_{t=T}=\begin{cases} v_{0}, & x<X \\ v_{1}, & x>X. \end{cases}
371: \end{equation}
372:
373: \begin{definition} \label{singsh}
374: {\em Singular shock wave} (DSSW for short) is an associated
375: solution to (\ref{dss1}) with the initial data (\ref{id1}) of the form
376: \begin{equation} \label{prom}
377: \begin{split}
378: & u((x-X),(t-T))=G((x-X)-c(t-T)) \\
379: & +\tilde{s}(t)(\alpha_{0}d^{-}((x-X)-c(t-T))
380: +\alpha_{1}d^{+}((x-X)-c(t-T))) \\
381: & v((x-X),(t-T))=H((x-X)-c(t-T))\\
382: & +s(t)(\beta_{0}D^{-}((x-X)-c(t-T))
383: +\beta_{1}D^{+}((x-X)-c(t-T))) \\
384: & + \tilde{\tilde{s}}(t)(\gamma_{0}d^{-}((x-X)-c(t-T))
385: +\gamma_{1}d^{+}((x-X)-c(t-T)))
386: \end{split}
387: \end{equation}
388: where
389: \begin{itemize}
390: \item[(i)] $c\in {\mathbb R}$ is the speed of the wave,
391: \item[(ii)] $s(t)$, $\tilde{s}(t)$ and $\tilde{\tilde{s}}$
392: are smooth functions for $t\geq 0$, and equal zero at $t=T$.
393: \item[(iii)] $G$ and $H$ are generalized step functions
394: with values $(u_{0},u_{1})$
395: and $(v_{0},v_{1})$ respectively,
396: \item[(iv)] $d_{1}=\alpha_{0}d^{-}+\beta_{1}d^{+}$ and
397: $d_{2}=\gamma_{0}d^{-}+\gamma_{1}d^{+}$ are
398: $m$SD- or $m'$SD-functions,
399: \item[(v)] $D=\alpha_{0}D^{-}+\alpha_{1}D^{+}$ is an S$\delta$-function
400: compatible with $d$.
401: \end{itemize}
402:
403: The {\it singular part} of the wave is
404: $$
405: \left[ \begin{matrix}\tilde{s}(t)(\alpha_{0}d^{-}+\alpha_{1}d^{+}) \\
406: s(t)(\beta_{0}D^{-}+\beta_{1}D^{+})+
407: \tilde{\tilde{s}}(t)(\gamma_{0}d^{-}+\gamma_{1}d^{+}) \end{matrix}\right].
408: $$
409: The wave is {\em overcompressive}
410: if its speed is less or equal to
411: the left- and greater or equal to the right-hand side
412: characteristics i.e.\
413: \begin{equation*}
414: \lambda_{2}(u_{0},v_{0})>\lambda_{1}(u_{0},v_{0})\geq c
415: \geq \lambda_{2}(u_{1},v_{1})>\lambda_{1}(u_{1},v_{1}).
416: \end{equation*}
417: $\Box$
418: \end{definition}
419:
420: \begin{remark}\label{konstrukcija}
421: (a) In \cite{Ned1} one can find special choice for S$\delta$- and
422: and $d$ is $m$SD- or $m'$Sd-functions. For example
423: $D^{\pm} \in {\mathcal G}_{g}({\mathbb R})$
424: are given by the representatives
425: $$D_{\varepsilon}^{\pm}(y)
426: :={1 \over \varepsilon} \phi\Big({y-(\pm 2\varepsilon) \over \varepsilon}\Big),
427: \; \phi \in {\mathcal A}_{0}.$$
428: $m$SD- and $m'$SD-functions can be chosen in the same manner.
429:
430: \noindent
431: (b) Compatibility condition for an S$\delta$-function $D$ and
432: an $m$SD- or $m'$SD-function $d$ is automatically fulfilled if
433: \begin{equation*}
434: \mathop{\rm supp} d_{\varepsilon}^{+} \cap
435: \mathop{\rm supp} D_{\varepsilon}^{+} =
436: \mathop{\rm supp} d_{\varepsilon}^{-} \cap
437: \mathop{\rm supp} D_{\varepsilon}^{-} = \emptyset
438: \end{equation*}
439:
440: \noindent
441: (c) Idea behind the above definition of products (\ref{DG}), (\ref{m1dG})
442: and (\ref{mdG}) is the following. Starting point is that we know nothing
443: about infinitesimal values of the initial data (carried on by step functions
444: $G$ and $H$ above) around zero, but only that any such unmeasurable
445: influence stops at the points $\pm\varepsilon$. The above mentioned
446: definitions are made in order to get uniqueness of all products where
447: step functions, S$\delta$-, $m$SD- and $m'$SD-functions appear.
448: With an additional information for $G_{\varepsilon}$ and $H_{\varepsilon}$
449: around zero, one can choose $D$ and $d$ much more freely. For example,
450: in $G_{\varepsilon}$ and $H_{\varepsilon}$ are monotone functions
451: (which is quite natural assumption), relation (\ref{DG}) can be substituted by
452: $$
453: DG\approx \gamma \delta, \; \gamma \text{ can be any real between }
454: \min\{y_{0},y_{1}\} \text{ and } \max\{y_{0},y_{1}\}.
455: $$
456: The possibilities in Colombeau algebra are even wider for specific systems
457: instead of general case (\ref{gdss1}). One can look in \cite{Col92} for
458: a good review of such possibilities.
459: We dealing with a system in a general form and it is the reason
460: for using the above definition.
461:
462: \noindent
463: (d) Due to absence of known additional facts for
464: the general case (\ref{gdss1}) (hyperbolicity, additional conservation
465: laws,...), one can use the overcompressibility as an admissibility
466: condition.
467: \end{remark}
468: \medskip
469:
470:
471: \begin{definition} \label{d1}
472: The set of all points $(u_{1},v_{1})\in \Omega$ such that there exists an
473: singular shock wave solution (called {\it corresponding DSSW})
474: to Cauchy problem
475: (\ref{gdss1},\ref{id1}) is called {\em delta singular locus}.
476: We shall write $(u_{1},v_{1})\in \mathop{\rm DSL}(u_{0},v_{0})$.
477: If the corresponding DSSW is overcompressive,
478: then it is called {\em overcompressive delta singular locus}.
479: We shall write $(u_{1},v_{1})\in \mathop{\rm DSL}^{\ast}(u_{0},v_{0})$.
480: $\Box$
481: \end{definition}
482:
483: In the sequel, the term ``solution'' will denote generalized function
484: which solves a system in the association sense.
485:
486:
487: \section{The new initial data}
488:
489: Suppose that system (\ref{gdss1}) posses a DSSW solution
490: for some initial data. Assume one of the following.
491: \begin{itemize}
492: \item[(i)] If an $m$SD-function is contained in the above DSSW, then assume
493: \begin{equation}\label{deg}
494: \mathop{\rm deg}(g_{1})<m-1,\;
495: \mathop{\rm deg}(g_{2}) < m,\;
496: \mathop{\rm deg}(f_{2}) < m.
497: \end{equation}
498: \item[(ii)] If an $m'$SD-function is contained
499: in the above DSSW, then assume
500: \begin{equation}\label{deg'}
501: \mathop{\rm deg}(g_{1}) < m-2, \;
502: \mathop{\rm deg}(g_{2}) < m-1,\;
503: \mathop{\rm deg}(f_{2}) < m-1.
504: \end{equation}
505: \end{itemize}
506:
507: Take the new initial data
508: \begin{equation} \label{eq6}
509: u|_{t=T}=\begin{cases} u_{0}, & x<X \\ u_{1}, & x>X \end{cases},
510: \; v|_{t=T}=\begin{cases} v_{0}, & x<X \\ v_{1}, & x>X \end{cases}
511: + \zeta \delta_{(X,T)},
512: \end{equation}
513: for system (\ref{gdss1}), where $\zeta$ is a non-zero real.
514:
515: \begin{definition} \label{2d1}
516: The set of all points $(u_{1},v_{1})\in \Omega$ such that there exists an
517: DSSW solution (called corresponding DSSW) to Cauchy problem
518: (\ref{gdss1},\ref{eq6}) for some $\zeta$ is called {\em second
519: delta singular locus} of initial strength $\zeta$
520: for $(u_{0},v_{0})$. We shall write
521: $(u_{1},v_{1})\in \mathop{\rm SDSL}_{\zeta}(u_{0},v_{0})$
522: If the the corresponding DSSW is overcompressive,
523: then it is called {\em overcompressive second delta singular locus},
524: and write
525: $(u_{1},v_{1})\in \mathop{\rm SDSL}_{\zeta}^{\ast}(u_{0},v_{0})$.
526: $\Box$
527: \end{definition}
528:
529: Before the main theorem, let us give a useful lemma.
530:
531: \begin{lemma} \label{podskup}
532: Suppose that $(u_{1},v_{1})\in \mathop{\rm DSL}(u_{0},v_{0})$.
533: Then $(u_{1},v_{1})\in \mathop{\rm SDSL}_{\zeta}(u_{0},v_{0})$,
534: if $\zeta>0$.
535:
536: If the corresponding DSSW contains $m$SD-function, and $m$
537: is an odd number, then the statement holds true for every real $\zeta$.
538:
539: Additionally, $\beta_{i}$, $i=1,2$, from Definition \ref{singsh} for the
540: corresponding DSSW do not depend on $\zeta$.
541: \end{lemma}
542: \begin{proof}
543: We shall give the proof for a DSSW containing $m$SD-function (\ref{prom}).
544: The other case can be proved in the same way.
545:
546: Inserting functions $u$ and $v$ from (\ref{prom}) into system (\ref{gdss1})
547: with initial data (\ref{eq6}) and taking account relations
548: (\ref{deg}) or (\ref{deg'}), one gets
549: \begin{equation*}
550: \begin{split}
551: f_{2}(u) \approx & f_{2}(G) \\
552: g_{1}(u) \approx & g_{1}(G) \\
553: g_{2}(u) \approx & g_{2}(G) \\
554: f_{3}(u) \approx & f_{3}(G)
555: + \tilde{s}(t)^{m-1}(u_{1}\alpha_{0}^{m-1}d^{-}+u_{0}\alpha_{1}^{m-1}d^{+})
556: m a_{3,m-1} \\
557: & + \tilde{s}(t)^{m}(\alpha_{0}^{m}d^{-}+\alpha_{1}^{m}d^{+}) a_{3,m}
558: \tilde{s}(t)^{m}a_{3,m}\delta \\
559: f_{4}(u)\approx & f_{4}(G)
560: + \tilde{s}(t)^{m}(\alpha_{0}^{m-1}d^{+}+\alpha_{1}^{m-1}d^{+}) a_{4,m}
561: \tilde{s}(t)^{m}a_{4,m}\delta \\
562: g_{3}(u) \approx & g_{3}(G)
563: + s(t)^{m-1}(u_{1}\beta_{0}^{m-1}d^{-}+u_{0}\beta_{1}^{m-1}d^{+})
564: m b_{3,m-1} \\
565: & + \tilde{s}(t)^{m}(\beta_{0}^{m}d^{-}+\beta_{1}^{m}d^{+}) b_{3,m}
566: \tilde{s}(t)^{m}b_{3,m}\delta \\
567: g_{4}(u)\approx & f_{4}(G)
568: + \tilde{s}(t)^{m}(\beta_{0}^{m-1}d^{+}+\beta_{1}^{m-1}d^{+}) b_{4,m}
569: \tilde{s}(t)^{m}b_{4,m}\delta
570: \end{split}
571: \end{equation*}
572: There are two possible cases. Either $\tilde{\tilde{s}}\not \equiv 0$ and
573: $a_{3,m}=b_{3,m}=0$ (i.e.\
574: $\mathop{\rm deg}(f_{3})\leq m-1$ and $\mathop{\rm deg}(g_{3})\leq m-1$),
575: or $\tilde{\tilde{s}}\equiv 0$. In both the cases, the procedure which
576: follows is the same, so take $\tilde{\tilde{s}}\not \equiv 0$
577: for definiteness. From the first equation of (\ref{gdss1}) one gets
578: \begin{equation*}
579: \begin{split}
580: & (f_{2}(u))_{t}+(f_{3}(u)v+f_{4}(u))_{x} \\
581: \approx & -c([f_{2}(G)]+[f_{3}(G)H+f_{4}(G)])\delta \\
582: & + \tilde{s}(t)^{m-1}\tilde{\tilde{s}}(t)
583: (u_{1}\alpha_{0}^{m-1}\gamma_{0}+u_{0}\alpha_{1}^{m-1}\gamma_{1})
584: ma_{3,m-1}\delta' \\
585: & + (f_{3}(u_{0})\beta_{0}+f_{3}(u_{1})\beta_{1})\delta'
586: + \tilde{s}(t)^{m}\delta' \approx 0.
587: \end{split}
588: \end{equation*}
589: One immediately gets the speed of DSSW,
590: $$ c={[f_{3}(G)H+f_{4}(G)] \over [f_{2}(G)]}, $$
591: and the relations
592: $$ \kappa_{1}s(t)=\tilde{s}(t)^{m-1}\tilde{\tilde{s}}(t)
593: \text{ and }
594: \kappa_{2}s(t)=\tilde{s}(t)^{m},$$
595: for some reals $\kappa_{1}$ and $\kappa_{2}$. Finally, one gets
596: \begin{equation}\label{esp1}
597: \kappa_{1}(u_{1}\alpha_{0}^{m-1}\gamma_{0}+u_{0}\alpha_{1}^{m-1}\gamma_{1})
598: m a_{3,m-1}+f_{3}(u_{0})\beta_{0}+f_{3}(u_{1})\beta_{1}+\kappa_{2}b_{4,m}=0.
599: \end{equation}
600:
601: Inserting all these relations into the second equation, one gets
602: \begin{equation*}
603: \begin{split}
604: & (g_{1}(u)v+g_{2}(u))_{t}+ (g_{3}(u)v+g_{4}u))_{x} \\
605: \approx & (-c[g_{1}(G)H+g_{2}(G)]+[g_{3}(G)H+g_{4}(G)]
606: +s'(t)(g_{1}(u_{0}\beta_{0}+g_{1}(u_{1})\beta_{1}))\delta \\
607: & + s(t)(g_{1}(u_{0})\beta_{0}+g_{1}(u_{1})\beta_{1}+
608: g_{3}(u_{0})\beta_{0}+g_{3}(u_{1})\beta_{1} \\
609: & +\kappa_{1}(u_{1}\alpha_{0}^{m-1}\gamma_{0}+u_{0}\alpha_{1}^{m-1}\gamma_{1})
610: m b_{3,m-1}+\kappa_{2}b_{4,m})\delta'\approx 0.
611: \end{split}
612: \end{equation*}
613: The function $s$ must be a linear one, say $s'(t)=\sigma$, and
614: the above functional equation gives the last two equations in ${\mathbb R}$,
615: \begin{equation} \label{esp2}
616: -c[g_{1}(G)H+g_{2}(G)]+[g_{3}(G)H+g_{4}(G)]
617: +\sigma (g_{1}(u_{0})\beta_{0}+g_{1}(u_{1})\beta_{1})=0
618: \end{equation}
619: and
620: \begin{equation}\label{esp3}
621: \begin{split}
622: &-c((g_{1}(u_{0})+g_{3}(u_{0})\beta_{0}+(g_{1}(u_{1})+g_{3}(u_{1})\beta_{1})\\
623: &+\kappa_{1}(u_{1}\alpha_{0}^{m-1}\gamma_{0}+u_{0}\alpha_{1}^{m-1}\gamma_{1})
624: m b_{3,m-1}+\kappa_{2}b_{4,m}=0.
625: \end{split}
626: \end{equation}
627: In the above equations, only important fact about $s$ is its derivative.
628: Thus one can safely put $s(t)=\sigma t +\zeta$ and if the above
629: system (\ref{esp1}-\ref{esp3}) has a solution, then
630: $(u_{1},v_{1})\in \mathop{\rm SDSL}_{\zeta}(u_{0},v_{0})$ provided
631: that $\tilde{s}$ and $\tilde{\tilde{s}}$ can be recovered. This is certainly
632: the case when $\zeta>0$. If $m$ is an odd number, then $\tilde{s}
633: =s(t)^{1/m}$ and $\tilde{\tilde{s}}=\tilde{s}$ are always determined.
634:
635: The second part of the assertion, that $\beta_{i}$, $i=1,2$ are
636: independent of $\zeta$ is obvious from the above.
637: \end{proof}
638:
639: \begin{remark}
640: From the proof of the lemma one can see that it is actually possible
641: for $\zeta$ to take negative values, i.e.\
642: it is enough that $\zeta\geq -s(T)$, where $T$ is a time of interaction
643: when new initial data are given.
644: \end{remark}
645:
646: The following assertion is crucial for the construction of weak solution
647: (a solution in an associated sense)
648: to (\ref{gdss1}) after an interaction: At an interaction point of a DSSW
649: and some other wave one can consider
650: the new initial value problem which contains delta function.
651: \medskip
652:
653: Suppose that the initial data are given by
654: \begin{equation} \label{3id}
655: u(x,0)=\begin{cases} u_{0},& \; x<a \\
656: u_{1},& \; a<x<b \\ u_{2},& \; x>b \end{cases} \text{ and }
657: v(x,0)=\begin{cases} v_{0},& \; x<a \\
658: v_{1},& \; a<x<b \\ v_{2},& \; x>b \end{cases}
659: \end{equation}
660: such that there exist a singular shock wave starting from the point $x=a$
661: and a shock wave (or another singular shock wave) starting from the point
662: $x=b$, $a<b$. They can interact if $c_{1}>c_{2}$, where $c_{i}$ is
663: the speed of the $i$-th wave, $i=1,2$. For the simplicity we shall assume
664: that $b=0$.
665:
666: Let $(X,T)$ be the interaction point of the overcompressive
667: singular shock wave starting at the point $x=a$
668: \begin{equation} \label{prvidssw}
669: \begin{split}
670: u^{1}(x,t) = & G^{1}(x-c_{1}t-a)
671: +\tilde{s}^{1}(t)\Big(\alpha^{1}_{0}d^{-}(x-c_{1}t-a)
672: +\alpha^{1}_{1}d^{+}(x-c_{1}t-a)\Big) \\
673: v^{1}(x,t) = & H^{1}(x-c_{1}t-a)
674: + s^{1}(t)\Big(\beta^{1}_{0}D^{-}(x-c_{1}t-a)
675: +\beta^{1}_{1}D^{+}(x-c_{1}t-a)\Big) \\
676: & +\tilde{\tilde{s}}^{1}(t)\Big(\gamma^{1}_{0}d^{-}(x-c_{1}t-a)
677: +\gamma^{1}_{1}d^{+}(x-c_{1}t-a)\Big)
678: \end{split}
679: \end{equation}
680: and the admissible (singular) shock wave
681: \begin{equation} \label{drugidssw}
682: \begin{split}
683: u^{2}(x,t) = & G^{2}(x-c_{2}t)
684: +\tilde{s}^{2}(t)\Big(\alpha^{2}_{0}d^{-}(x-c_{2}t)
685: +\alpha^{2}_{1}d^{+}(x-c_{2}t)\Big) \\
686: v^{2}(x,t) = & H^{2}(x-c_{2}t)
687: + s^{2}(t)\Big(\beta^{2}_{0}D^{-}(x-c_{2}t)
688: +\beta^{2}_{1}D^{+}(x-c_{2}t)\Big)\\
689: & +\tilde{\tilde{s}}^{2}(t)\Big(\gamma^{2}_{0}d^{-}(x-c_{2}t-a)
690: +\gamma^{2}_{1}d^{+}(x-c_{2}t-a)\Big)
691: \end{split}
692: \end{equation}
693: where $G^{1}$, $G^{2}$, $H^{1}$ and $H^{2}$ are the generalized step functions
694: with values $(u_{0},u_{1})$, $(u_{1},u_{2})$, $(v_{0},v_{1})$
695: and $(v_{1},v_{2})$, respectively. Also, $(\alpha_{0}^{i})^{m_{1}}+
696: (\alpha_{1}^{i})^{m_{1}}=(\gamma_{0}^{i})^{m_{1}}+
697: (\gamma_{1}^{i})^{m_{1}}=\beta_{0}^{i}+\beta_{1}^{i}=1$, $i=1,2$.
698: Here, $m_{1}=m$ if singular part of singular shock wave is $m$SD-function
699: and $m_{1}=m-1$ in the case of $m'$SD-function.
700: If the second wave is a shock one,
701: then one can put $s^{2}\equiv \tilde{s}^{2}\equiv\tilde{\tilde{s}}^{2}\equiv 0$.
702:
703: The speed of a singular shock wave (as well as for a shock wave) can be found
704: using the first equation in (\ref{gdss1}) because of assumptions (\ref{deg})
705: or (\ref{deg'}). For the first singular
706: shock wave (\ref{prvidssw}) we have
707: \begin{equation*}
708: \begin{split}
709: & (f_{2}(u))_{t}+(f_{3}(u)v+f_{4}(u))_{x} \approx
710: (f_{2}(G))_{t}+(f_{3}(G)H+f_{4}(G))_{x}
711: + (\mathop{\rm const} s^{1}(t)\delta)_{x} \\
712: \approx & (-c_{1}[f_{2}(G)]+[f_{3}(G)H+f_{4}(G)])\delta+
713: \mathop{\rm const} s^{1}(t)\delta'\approx 0,
714: \end{split}
715: \end{equation*}
716: where the term $\mathop{\rm const}s^{1}(t)$ is determined, but we shall
717: not write the exact value since it is not needed for the assertion.
718: Missing argument in the above expression is $x-c_{1}t-a$.
719:
720: Let $\Gamma_{1}=\{x=c_{1}t+a\}$ and $\Gamma_{2}=\{x=c_{2}t\}$.
721: Then $[\cdot]_{\Gamma_{i}}$ denotes the jump at the
722: curve $\Gamma_{i}$, $i=1,2$.
723: Thus, one can see that the speed of that singular shock wave
724: has the same value as in the case of shock wave,
725: $$c_{1}={ [f_{3}(G)H+f_{4}(G)]_{\Gamma_{1}}\over [f_{2}(G)]_{\Gamma_{1}}}.$$
726: Also,
727: $$c_{2}={ [f_{3}(G)H+f_{4}(G)]_{\Gamma_{2}}\over [f_{2}(G)]_{\Gamma_{2}}}.$$
728:
729: Finally, one can see that the waves given by (\ref{prvidssw}) and
730: (\ref{drugidssw}) will interact at the point $(X,T)$ if $a<0$ and
731: $c_{1}>c_{2}$, where
732: \begin{equation*}
733: \begin{split}
734: T=& {a[f_{2}(G)]_{\Gamma_{1}}[f_{2}(G)]_{\Gamma_{2}}
735: \over [f_{3}(G)H+f_{4}(G)]_{\Gamma_{2}}[f_{2}(G)]_{\Gamma_{1}}
736: -[f_{3}(G)H+f_{4}(G)]_{\Gamma_{1}}[f_{2}(G)]_{\Gamma_{2}}}\\
737: X=& {a [f_{3}(G)H+f_{4}(G)]_{\Gamma_{2}}[f_{2}(G)]_{\Gamma_{1}}
738: \over [f_{3}(G)H+f_{4}(G)]_{\Gamma_{2}}[f_{2}(G)]_{\Gamma_{1}}
739: -[f_{3}(G)H+f_{4}(G)]_{\Gamma_{1}}[f_{2}(G)]_{\Gamma_{2}}}.
740: \end{split}
741: \end{equation*}
742: \medskip
743: \medskip
744:
745: Denote by $(\tilde{u}(x,t),\tilde{v}(x,t))$ a solution before interaction
746: time $t=T$ consisting of waves (\ref{prvidssw},\ref{drugidssw}).
747:
748: \begin{remark}
749: In the case of system (\ref{dss1})
750: one can easily calculate speeds of the above shocks and
751: coordinates of the interaction point.
752: The speeds of singular shock and entropy shock wave are
753: \begin{equation*}
754: c_{1}={u_{1}^{2}-v_{1}-u_{0}^{2}+v_{0} \over
755: u_{1}-u_{0}} \text{ and } c_{2}={u_{2}^{2}-v_{2}-u_{1}^{2}+v_{1} \over
756: u_{2}-u_{1}}.
757: \end{equation*}
758: If $c_{1}>c_{2}$, then one gets
759: \begin{equation*}
760: X={-ac_{2} \over c_{2}-c_{1}} \text{ and }
761: T={a \over c_{2}-c_{1}}.
762: \end{equation*}
763: for the interaction point $(X,T)$.
764: \end{remark}
765:
766: \begin{theorem} \label{glavna}
767: Let system (\ref{gdss1}) be given.
768: Suppose that $(u_{2},v_{2})\in \mathop{\rm SDSL}_{\zeta}(u_{0},v_{0})$,
769: $\zeta=(\zeta_{1}+\zeta_{2})/(g_{1}(u_{0})\beta_{0}+g_{1}(u_{1})\beta_{1})$,
770: where the constants $\zeta_{i}$, $i=1,2$,
771: are defined by
772: \begin{equation*}
773: \begin{split}
774: & g_{1}(u^{1})v^{1}+g_{2}(u^{1})|_{(t=T)}
775: \approx \zeta_{1}\delta_{(X,T)} \\
776: & g_{1}(u^{2})v^{2}+g_{2}(u^{2})|_{(t=T)}
777: \approx \zeta_{2}\delta_{(X,T)}.
778: \end{split}
779: \end{equation*}
780: The corresponding DSSW, $(\hat{u},\hat{v})(x,t)$ is given by
781: \begin{equation} \label{izlaznidssw}
782: \begin{split}
783: \hat{u}(x,t) = & G(x-X-c(t-T)) \\
784: & +\tilde{s}(t)\Big(\alpha_{0}d^{-}(x-X-c(t-T))
785: +\alpha_{1}d^{+}(x-X-c(t-T))\Big) \\
786: \hat{v}(x,t) = & H(x-X-c(t-T)) \\
787: & + s(t)\Big(\beta_{0}D^{-}(x-X-c(t-T))
788: +\beta_{1}D^{+}(x-X-c(t-T))\Big) \\
789: & +\tilde{\tilde{s}}(t)\Big(\gamma_{0}d^{-}(x-X-c(t-T))
790: +\gamma_{1}d^{+}(x-X-c(t-T))\Big)
791: \end{split}
792: \end{equation}
793: for $t>T$. By Lemma \ref{podskup}, $\beta_{0}$ and $\beta_{1}$ are
794: determined independently on $\zeta$, so the definition of $DSSW$ makes
795: sense.
796:
797: Then there exist a solution to (\ref{gdss1},\ref{3id}) in the association
798: sense such that it equals $(\tilde{u},\tilde{v})(x,t)$
799: for $t<T-\varepsilon$, and it equals $(\hat{u},\hat{v})(x,t)$
800: for $t>T+\varepsilon$.
801: \end{theorem}
802: \begin{proof}
803: Take a constant $t_{0}$ such that singular parts of the waves
804: $(u_{\varepsilon}^{1}(x,t),v_{\varepsilon}^{1}(x,t))$ and
805: $(u_{\varepsilon}^{2}(x,t),v_{\varepsilon}^{2}(x,t))$ has disjoint
806: supports (i.e.\
807: $c_{1}t-a-c_{2}t>4\varepsilon$, for $t<T-t_{0}\varepsilon$, if
808: one uses the construction of the S$\delta$, $m$SD and $m'$SD-functions
809: defined above).
810:
811: Let us denote
812: \begin{equation*}
813: \begin{split}
814: & \Delta_{\varepsilon}=\{(x,t):\; |x-X|\leq t_{0}\varepsilon+\varepsilon,\;
815: |t-T|\leq t_{0}\varepsilon+\varepsilon\}, \\
816: & \tilde{\Delta}_{\varepsilon}=\{(x,t):\; |x-X|\leq t_{0}\varepsilon,\;
817: |t-T|\leq t_{0}\varepsilon\}, \\
818: & A_{\varepsilon}=\{(x,t):\; |x-X|\leq t_{0}\varepsilon+\varepsilon,\;
819: t=T-t_{0}\varepsilon-\varepsilon\}, \\
820: & B_{\varepsilon}=\{(x,t):\; x=X+t_{0}\varepsilon+\varepsilon,\;
821: |t-T|\leq t_{0}\varepsilon+\varepsilon\}, \\
822: & C_{\varepsilon}=\{(x,t):\; |x-X|\leq t_{0}\varepsilon+\varepsilon,\;
823: t=T+t_{0}\varepsilon+\varepsilon\}, \\
824: & D_{\varepsilon}=\{(x,t):\; x=X-t_{0}\varepsilon-\varepsilon,\;
825: |t-T|\leq t_{0}\varepsilon+\varepsilon\}.
826: \end{split}
827: \end{equation*}
828:
829: Define a cut-off function $\xi_{\varepsilon}(x,t)$ which equals zero for
830: $(x,t)\in \Delta_{\varepsilon}$ and 1 for
831: $(x,t)\in \tilde{\Delta}_{\varepsilon}$.
832: Let
833: \begin{equation*}
834: (u_{temp},v_{temp})(x,t)=
835: \begin{cases}
836: (\tilde{u}(x,t),\tilde{v}(x,t)), & t<T \\
837: (\hat{u}(x,t),\hat{v}(x,t)), & t>T.
838: \end{cases}
839: \end{equation*}
840:
841: We shall prove that the generalized functions $u$ and $v$ represented by
842: \begin{equation} \label{resenje}
843: u_{\varepsilon}(x,t)=u_{temp}(x,t)\xi_{\varepsilon}(x,t), \text{ and }
844: v_{\varepsilon}(x,t)=v_{temp}(x,t)\xi_{\varepsilon}(x,t),
845: \; x\in {\mathbb R},\; t\geq 0
846: \end{equation}
847: solve (\ref{gdss1}) in the association sense.
848:
849: Denote
850: \begin{equation*}
851: {\mathbf F}(u,v)=\left[ \begin{matrix}f_{2}(u) \\
852: g_{1}(u)v+g_{2}(u) \end{matrix} \right] \text{ and }
853: {\mathbf G}(u,v)=\left[ \begin{matrix}f_{3}(u)v+f_{4}(u) \\
854: g_{3}(u)v+g_{4}(u) \end{matrix}\right].
855: \end{equation*}
856:
857: We have
858: \begin{equation*}
859: \begin{split}
860: & \iint_{{\mathbb R}_{+}^{2}}{\mathbf F}(u,v)\Psi_{t} +
861: {\mathbf G}(u,v)\Psi_{x} dx dt \\
862: = & \iint_{\tilde{\Delta}_{\varepsilon}}{\mathbf F}(u,v)\Psi_{t} +
863: {\mathbf G}(u,v)\Psi_{x} dx dt \\
864: = & \iint_{{\mathbb R}_{+}^{2}\setminus \tilde{\Delta}_{\varepsilon}}
865: {\mathbf F}(u,v)\Psi_{t} + {\mathbf G}(u,v)\Psi_{x} dx dt,
866: \end{split}
867: \end{equation*}
868: for every test function $\Psi=\left[ \begin{matrix}\psi_{1}\\
869: \psi_{2}\end{matrix}\right]\in {\mathcal C}_{0}^\infty({\mathbb R}_{+}^{2})$.
870:
871: The measure of the set $\tilde{\Delta}_{\varepsilon}$ is
872: ${\mathcal O}(\varepsilon^{2})$, as $\varepsilon \rightarrow 0$,
873: while
874: \begin{equation*}
875: \| {\mathbf F}(u,v)\Psi_{t}
876: +{\mathbf G}(u,v)\Psi_{x}\|_{L^{\infty}({\mathbb R}_{+}^{2})}
877: \leq \mathop{\rm const} \varepsilon^{-1+1/m}
878: \end{equation*}
879: due to the assumptions in Definition \ref{s-d}.
880: Thus,
881: \begin{equation*}
882: \iint_{\tilde{\Delta}_{\varepsilon}}{\mathbf F}(u,v)\Psi_{t} +
883: {\mathbf G}(u,v)\Psi_{x} dx dt \sim \varepsilon^{1/m} \rightarrow 0, \text{ as }
884: \varepsilon \rightarrow 0.
885: \end{equation*}
886:
887: Using the divergence theorem for the second integral one gets
888: \begin{equation*}
889: \begin{split}
890: & \iint_{{\mathbb R}_{+}^{2}\setminus \tilde{\Delta}_{\varepsilon}}
891: {\mathbf F}(u,v)\Psi_{t} + {\mathbf G}(u,v)\Psi_{x} dx dt \\
892: = & \int_{\partial\tilde{\Delta}_{\varepsilon}}{\mathbf F}(u,v)\Psi\nu_{t} +
893: \int {\mathbf G}(u,v)\Psi\nu_{x} ds \\
894: & - \iint_{{\mathbb R}_{+}^{2}\setminus \tilde{\Delta}_{\varepsilon}}
895: {\mathbf F}(u,v)_{t}\Psi + {\mathbf G}(u,v)_{x}\Psi dx dt.
896: \end{split}
897: \end{equation*}
898: The last integral in the above expression tend to zero as
899: $\varepsilon \rightarrow 0$ since $(u,v)$ solves (\ref{gdss1})
900: in ${\mathbb R}_{+}^{2}\setminus\tilde{\Delta}_{\varepsilon}$
901: due to the construction. For the other integral one gets
902: \begin{equation*}
903: \begin{split}
904: & \int_{\partial\tilde{\Delta}_{\varepsilon}}{\mathbf F}(u,v)\Psi \nu_{t} +
905: \int {\mathbf G}(u,v)\Psi \nu_{x}ds \\
906: = & \int_{A_{\varepsilon}}{\mathbf F}(u,v)\Psi dx
907: - \int_{C_{\varepsilon}}{\mathbf F}(u,v)\Psi dx
908: + \int_{D_{\varepsilon}}{\mathbf G}(u,v)\Psi dt
909: - \int_{B_{\varepsilon}}{\mathbf G}(u,v)\Psi dt.
910: \end{split}
911: \end{equation*}
912: Functions $u_{\varepsilon}$ and $v_{\varepsilon}$ are $L^{\infty}$-bounded
913: uniformly in $\varepsilon$ on the sides
914: $B_{\varepsilon}$ and $D_{\varepsilon}$. Since their lengths
915: are ${\mathcal O}(\varepsilon)$, integrals over them tends to zero
916: as $\varepsilon \rightarrow 0$.
917:
918: Using the fact that $f_{2}(d_{\varepsilon})\approx 0$ one gets
919: \begin{equation*}
920: \lim_{\varepsilon \rightarrow 0}F(\tilde{u},\tilde{v})|_{t=T}
921: =\left[\begin{matrix} 0 \\
922: (\zeta_{1}+\zeta_{2})\delta_{(X,T)}\end{matrix}\right],
923: \end{equation*}
924: as well as the construction of S$\delta$- and $m'$SD (or $m$SD)-functions,
925: one gets
926: \begin{equation*}
927: \lim_{\varepsilon \rightarrow 0}
928: \int_{A_{\varepsilon}} {\mathbf F}(u_{\varepsilon},v_{\varepsilon})dx
929: =\left[\begin{matrix} 0 \\
930: \zeta_{1}+\zeta_{2}\end{matrix}\right]\cdot \Psi(X,T).
931: \end{equation*}
932: Thus, there has to be true that
933: \begin{equation*}
934: \lim_{\varepsilon \rightarrow 0}
935: \int_{C_{\varepsilon}} {\mathbf F}(u_{\varepsilon},v_{\varepsilon})dx
936: =-\left[\begin{matrix} 0 \\
937: \zeta_{1}+\zeta_{2}\end{matrix}\right]\cdot \Psi(X,T).
938: \end{equation*}
939: This implies $f_{2}(\hat{u})|_{(X,T)}\approx 0$ and
940: \begin{equation} \label{dusl}
941: g_{1}(\hat{u})\hat{v}+g_{2}(\hat{u})|_{(X,T)}
942: \approx (\zeta_{1}+\zeta_{2})\delta_{(X,T)}.
943: \end{equation}
944: Due to conditions (\ref{deg}) or (\ref{deg'}) one immediately
945: gets $f_{2}(\hat{u})|_{(X,T)}\approx 0$. Put
946: $\zeta=(\zeta_{1}+\zeta_{2})/(g_{1}(u_{0})\beta_{0}+g_{1}(u_{1})\beta_{1})$.
947: Then
948: $$
949: g_{1}(\hat{u})\hat{v}+g_{2}(\hat{u})|_{t=T}
950: \approx \hat{G}\hat{H}+\hat{G}
951: +s(T)(g_{1}(u_{0})\beta_{0}+g_{1}(u_{1})\beta_{1})\delta(X)
952: $$
953: and after another restriction on $x=X$,
954: $$
955: g_{1}(\hat{u})\hat{v}+g_{2}(\hat{u})|_{(X,T)}\approx
956: (\zeta_{1}+\zeta_{2})\delta_{(X,T)}.
957: $$
958: This concludes the proof.
959: \end{proof}
960:
961: \begin{remark} \label{distriblim}
962: The distributional limit of the result of the interaction is given by
963: \begin{equation*}
964: \begin{split}
965: u(x,t)
966: &= \left\{ \begin{aligned}
967: u_{0},&\; x<c_{1}t-a,\;t<t \\
968: u_{1},&\; c_{1}t-a<x<c_{2}t, \; t<T \\
969: u_{2},&\; x>c_{2}t, \; t<T \\
970: u_{0},&\; x<ct+X, \; t>T \\
971: u_{2},&\; x>ct+X, \; t>T
972: \end{aligned} \right. \\
973: v(x,t)
974: &= \left\{ \begin{aligned}
975: v_{0},&\; x<c_{1}t-a,\;t<t \\
976: v_{1},&\; c_{1}t-a<x<c_{2}t, \; t<T \\
977: v_{2},&\; x>c_{2}t, \; t<T \\
978: v_{0},&\; x<ct+X, \; t>T \\
979: v_{2},&\; x>ct+X, \; t>T
980: \end{aligned} \right\} + s_{1}(t)\delta_{S_{1}}+
981: s_{2}(t)\delta_{S_{2}}+s(t)\delta_{S},
982: \end{split}
983: \end{equation*}
984: where $S_{1}=\{(x,t):\; x=c_{1}t+a,\; t\in [0,T]$,
985: $S_{2}=\{(x,t):\; x=c_{2}t,\; t\in [0,T]$ and
986: $S=\{(x,t):\; x-X=c(t-T),\; t\in [T,\infty)$.
987: If the second wave (\ref{drugidssw}) is a shock one, then $s_{2}\equiv 0$.
988:
989: The above solution is continuous in
990: $t$ with values in ${\mathcal D}'({\mathbb R})$. This fact
991: can be used in the approach similar to \cite{ShDan1}, where
992: the variable $t$ is treated separately, i.e.\
993: when system (\ref{gdss1}) is considered to be in evolution form.
994: \end{remark}
995:
996:
997: The theorem shows that after an interaction of a singular shock with
998: some shock or another singular shock the problem
999: reduces to solving system (\ref{gdss1}) with the new initial data
1000: (\ref{eq6}).
1001: \begin{remark}
1002:
1003: \noindent
1004: (i) The solution to the interaction problem from Theorem \ref{glavna}
1005: is always associated with a lower association rate
1006: than the solution of the original Riemann problem.
1007: For specific system it seems possible to make more sophisticated
1008: construction in order to improve the rate.
1009:
1010: \noindent
1011: (ii) It appears that $d_{\varepsilon}^{\pm}$
1012: are unavoidable correction factors even their distributional limit
1013: equals zero.
1014:
1015: The conditions (\ref{deg}) and (\ref{deg'}) ensures that the new initial data
1016: at intersection point do not depend on $m$SD- or $m'$SD-functions in
1017: the solution. We have used them because the real nature of
1018: $m$SD- and $m'$SD-functions is not so clear yet.
1019: \end{remark}
1020:
1021: The above theorem will be used in
1022: the rest of the paper for investigation of interactions between singular
1023: shock waves and other types of waves in the special case
1024: of system (\ref{dss1}).
1025:
1026: \section{Applications}
1027: Consider now system (\ref{dss1}) which a special case to (\ref{gdss1}).
1028: The authors of \cite{KeyKr} defined and proved existence
1029: of singular shock wave solutions for some Riemann problems
1030: of this system.
1031:
1032: In the present paper, we will investigate interactions of
1033: such solutions with the other solutions to Riemann problem for (\ref{dss1}).
1034: In order to familiarize a reader with the presented results, let us
1035: give some basic remarks about such solutions.
1036:
1037: For a given Riemann data $(u_{0},v_{0})$, $(v_{0},v_{1})$, there are three
1038: basic solution types:
1039: \begin{enumerate}
1040: \item[(a)] {\it Shock waves}
1041: \begin{equation}\label{sw12}
1042: u(x,y)=\left\{ \begin{aligned} u_{0},& \; x<ct \\ u_{1},& \;
1043: x>ct \end{aligned} \right. \phantom{second}
1044: v(x,y)=\left\{ \begin{aligned} v_{0},& \; x<ct \\ v_{1},& \;
1045: x>ct \end{aligned} \right.
1046: \end{equation}
1047: where $c=[u^{2}-v]/[u]$ and $(u_{1},v_{1})$ lies in an admissible
1048: part of Hugoniot locus of the point $(u_{0},v_{0})$.
1049: \item[(b)] {\it Centered rarefaction waves}
1050: \begin{equation}\label{rw1}
1051: \begin{split}
1052: & u(x,t)=\left\{ \begin{aligned} u_{0},& \; x<(u_{0}-1)t \\
1053: x/t+1,& \; (u_{0}-1)t\leq x \leq (u_{1}-1)t \\
1054: u_{1},& \; x>(u_{1}-1)t
1055: \end{aligned} \right. \\
1056: & v(x,t)=\left\{ \begin{aligned} v_{0},& \; x<(u_{0}-1)t \\
1057: (x/t)^{2}/2+2x/t+C_{1},& \; (u_{0}-1)t\leq x \leq (u_{1}-1)t \\
1058: v_{1},& \; x>(u_{1}-1)t
1059: \end{aligned}\right.
1060: \end{split}
1061: \end{equation}
1062: (1-rarefaction wave), where $C_{1}=v_{0}-u_{0}^{2}/2-u_{0}-1/2$,
1063: when $(u_{1},v_{1})$ lies in an 1-rarefaction curve
1064: starting at the point $(u_{0},v_{0})$. Or
1065: \begin{equation}\label{rw2}
1066: \begin{split}
1067: & u(x,t)=\left\{ \begin{aligned} u_{0},& \; x<(u_{0}+1)t \\
1068: x/t-1,& \; (u_{0}+1)t\leq x \leq (u_{1}+1)t \\
1069: u_{1},& \; x>(u_{1}+1)t
1070: \end{aligned}\right. \\
1071: & v(x,t)=\left\{ \begin{aligned} v_{0},& \; x<(u_{0}+1)t \\
1072: (x/t)^{2}/2-2x/t+C_{2},& \; (u_{0}+1)t\leq x \leq (u_{1}+1)t \\
1073: v_{1},& \; x>(u_{1}+1)t
1074: \end{aligned}\right.
1075: \end{split}
1076: \end{equation}
1077: (2-rarefaction wave), where $C_{2}=v_{0}-u_{0}^{2}/2+u_{0}-1/2$,
1078: when $(u_{1},v_{1})$ lies in an 2-rarefaction curve
1079: starting at the point $(u_{0},v_{0})$.
1080: \item[(c)] {\it Singular shock waves} (see Definition
1081: \ref{prom}) of $3'$SD-type,
1082: \begin{equation}\label{ssw}
1083: \begin{split}
1084: & u(x,y)=\left\{ \begin{aligned} u_{0},& \; x<ct \\ u_{1},& \;
1085: x>ct \end{aligned} \right\}+\tilde{s}(t)(\alpha_{0}d_{\varepsilon}^{-}(x-ct)
1086: + \alpha_{1}d_{\varepsilon}^{+}(x-ct))\\
1087: & v(x,y)=\left\{ \begin{aligned} v_{0},& \; x<ct \\ v_{1},& \;
1088: x>ct \end{aligned} \right\}+s(t)(\beta_{0}D_{\varepsilon}^{-}(x-ct)+
1089: \beta_{1}D_{\varepsilon}^{+}(x-ct)),
1090: \end{split}
1091: \end{equation}
1092: where $c=[u^{2}-v]/[u]$, and all other terms
1093: are as in that definition. That means
1094: \begin{equation}\label{usl}
1095: D_{\varepsilon}\approx \delta,
1096: \;(d_{\varepsilon}^{\pm})^{i}\approx 0, \; i=1,3, \; (d_{\varepsilon}^{\pm})^{2}
1097: \approx \delta,
1098: \end{equation}
1099: while $(u_{1},v_{1})$ lies in a region denoted by $Q_{7}$ in \cite{KeyKr}
1100: of the point $(u_{0},v_{0})$ (see Figure 1).
1101: \end{enumerate}
1102: For an arbitrary Riemann problem to (\ref{dss1})
1103: one can construct a solutions by
1104: the means of these waves or their combinations (\cite{KeyKr}).
1105: \medskip
1106:
1107: While interactions of the first two types can be handled in a usual
1108: way, interactions involving singular shock waves are quite different
1109: and far more interesting, so they become a topic of this paper.
1110:
1111:
1112: The procedure for the singular shock wave interactions
1113: can be also used for systems (\ref{gdss1}). But
1114: a complete after-interaction solution highly depends on a particular
1115: system. That is the reason why we treat system (\ref{dss1}) only.
1116:
1117:
1118: In order to simplify notation, we shall substitute the point
1119: $(X,T)$ in (\ref{eq6}) by $(0,0)$ and then solve the
1120: Cauchy problem (\ref{dss1},\ref{eq6}).
1121:
1122:
1123: There are no multiplication of $v$ with $u$
1124: in system (\ref{dss1}), so in the sequel it will be enough
1125: to take $D^{-}=D^{+}$,
1126: $\alpha_{0}(t):=\alpha_{0}\tilde{s}(t)$,
1127: $\alpha_{1}(t):=\alpha_{1}\tilde{s}(t)$ and
1128: $\beta(t):=s(t)$, i.e.\
1129: to look for a solution of the form
1130: \begin{equation} \label{eq7}
1131: \begin{split}
1132: & u = G(x-ct)+(\alpha_{0}(t)d^{-}(x-ct)
1133: +\alpha_{1}(t)d^{+}(x-ct)) \\
1134: & v = H(x-ct)+\beta(t)D(x-ct),
1135: \end{split}
1136: \end{equation}
1137: where $G$ and $H$ are generalized step functions,
1138: while $d$ is $3'$SD- and $D$ is S$\delta$-function and $c\in {\mathbb R}$.
1139:
1140: Let us determine SDSL of (\ref{dss1}) for some $(u_{0},v_{0})\in
1141: {\mathbb R}^{2}$.
1142:
1143: Substitution of (\ref{eq7}) into the first equation of the system gives
1144: \begin{equation}\label{eq8}
1145: \begin{split}
1146: & c={u_{1}^{2}-v_{1}-u_{0}^{2}+v_{0} \over u_{1} - u_{0}} \\
1147: & \alpha_{0}^{2}(t)+\alpha_{1}^{2}(t)=\beta(t),
1148: \end{split}
1149: \end{equation}
1150: where $c$ is the speed of the wave. After neglecting all terms
1151: converging to zero as $\varepsilon \to 0$,
1152: the second equation becomes
1153: \begin{equation*}
1154: \begin{split}
1155: & \partial_{t}H_{\varepsilon}(x-ct)+\beta'(t)\delta(x-ct)
1156: -c\beta(t)\delta'(x-ct)
1157: +\partial_{x}({1 \over 3}G_{\varepsilon}^{3}-G) \\
1158: &+(u_{1}\alpha_{0}^{2}(t)+u_{0}\alpha_{1}^{2}(t))\delta'(x-ct)= 0.
1159: \end{split}
1160: \end{equation*}
1161: Thus, the following relations has to hold.
1162: \begin{equation} \label{eq8dva}
1163: \beta'(t)=c(v_{1}-v_{0})-\big( {1 \over 3} u_{0}^{3} - u_{0}
1164: -{1 \over 3} u_{1}^{3} + u_{1} \big) =: k,
1165: \end{equation}
1166: i.e.
1167: \begin{equation*}
1168: \beta(t)=kt+\zeta, \mbox{ since } \beta(0)=\zeta
1169: \end{equation*}
1170: and
1171: \begin{equation} \label{eq9}
1172: u_{1}\alpha_{0}^{2}(t)+u_{0}\alpha_{1}^{2}(t)=c\beta(t).
1173: \end{equation}
1174:
1175: Like in \cite{KeyKr} one can see that the overcompressibility means
1176: \begin{equation*}
1177: u_{0}-1 \geq c \geq u_{1}+1,
1178: \end{equation*}
1179: i.e., $v_{1}$ lies between the curves
1180: \begin{equation*}
1181: \begin{split}
1182: & D=\{ (u,v):\; v=v_{0}+u^{2}+u-u_{0}u-u_{0} \} \\
1183: & E=\{ (u,v):\; v=v_{0}-u+u_{0}u-u_{0}^{2}+u_{0} \},
1184: \end{split}
1185: \end{equation*}
1186: and $u_{0}-u_{1}\geq 2$.
1187:
1188: \begin{figure}[Ht]
1189: %\begin{center}
1190: \includegraphics*[scale=0.75]{idss1.eps}
1191: %
1192: %\vspace*{-3.5cm}
1193: %
1194: %{\small Figure 1.}
1195: %\end{center}
1196: %\medskip \medskip
1197: \caption{}
1198: \end{figure}
1199:
1200: Denote by $J_{1}$ the union of the parts of admissible
1201: Hugoniot locus
1202: \begin{equation*}
1203: S_{1}=\Big \{ (u,v): \;
1204: v-v_{0}=(u-u_{0})\Big( {u_{0}+u \over 2}
1205: +\sqrt{1-{(u_{0}-u)^{2}\over 12}}\Big)\Big\},
1206: \end{equation*}
1207: and
1208: \begin{equation*}
1209: S_{2}=\{ (u_{1},v_{1}): \;
1210: v-v_{0}=(u-u_{0})\Big( {u_{0}+u \over 2}
1211: -\sqrt{1-{(u_{0}-u)^{2}\over 12}}\Big)\Big\},
1212: \end{equation*}
1213: for $u\in [u_{0}-\sqrt{12},u_{0}-3]$. Note that $S_{i}$ is not an
1214: $i$th shock curve but only a label.
1215:
1216: The points between the curves
1217: $D$ and $E$, and on the left-hand side
1218: of $J_{1}$ defines the area denoted by $Q_{7}$ in \cite{KeyKr}.
1219: Here, this area is called delta singular locus.
1220:
1221: One can easily check that system
1222: (\ref{eq8},\ref{eq9}) has a solution if and only if $\beta(t)>0$.
1223: \medskip
1224: Depending on $k$, defined in (\ref{eq8dva}),
1225: there are three possibilities for a resulting wave:
1226:
1227:
1228: \noindent
1229: (i) If $k>0$, then $\tilde{\beta}'(t)>0$ and $(u_{1},v_{1})\in Q_{7}$.
1230: The resulting singular shock has the same properties as
1231: before, i.e.\
1232: its strength increases with the time.
1233: \medskip
1234:
1235: \noindent
1236: (ii) If $k=0$, then $\tilde{\beta} \equiv \text{const} = \zeta >0$
1237: and the corresponding part of a singular overcompressive locus is $J_{1}$.
1238: The result of the interaction is a new kind of singular shock wave,
1239: its strength is a constant with respect to the time.
1240: \medskip
1241:
1242: \noindent
1243: (iii) If $k<0$ (this means that the point $(u_{1},v_{1})$
1244: is on the left-hand side of $J_{1}$), then
1245: the resulting singular shock wave has much more
1246: differences from the usual one (with an increasing strength).
1247: Its initial strength equals $\zeta$,
1248: $\beta(0)=\zeta>0$, but linearly decreases in time. At some point
1249: $T_{0}$ the strength of
1250: the singular shock equals zero and the singular
1251: shock wave does not exist after that.
1252: In the rest of the paper we shall see some cases when this happens.
1253: The new initial data for time $t=T_{0}$ are the Riemann ones, and the
1254: solution after that time can be find in the usual way,
1255: by using the results in \cite{KeyKr}.
1256: \medskip
1257:
1258: All the above facts are collected in the following theorem.
1259:
1260: \begin{theorem} \label{2sl}
1261: The SDSL$_{\zeta}$, $\zeta>0$, for (\ref{dss1},\ref{eq6}) is the
1262: area bounded by the curves $D$, $E$, $S_{2}\setminus J_{1}$ and
1263: $S_{1}\setminus J_{1}$. (The area $Q_{7}$ is a subset of this one,
1264: as known from Lemma \ref{podskup}.)
1265: The overcompressive SDSL$_{\zeta}$, $\zeta >0$,
1266: is a part of the SDSL bounded by the curves $D$ and $E$ such that
1267: $u_{1}\leq u_{0}-2$.
1268: \end{theorem}
1269:
1270: \subsection{Interaction of a singular shock and an admissible shock wave}
1271:
1272: Suppose that a singular shock wave with a speed $c_{1}$ and
1273: a left- and right-hand values
1274: $U_{0}=(u_{0},v_{0})$ and $U_{1}=(u_{1},v_{1})$, respectively,
1275: interact with an admissible shock wave with a speed $c_{2}<c_{1}$
1276: having left-hand and right-hand values
1277: $U_{1}=(u_{1},v_{1})$ and $U_{2}=(u_{2},v_{2})$, respectively,
1278: at a point
1279: $(X,T)$.
1280: \begin{lemma} \label{dss_sw}
1281: If the above singular shock and shock wave are admissible,
1282: $(u_{2},v_{2})$ lies between the lines $D$ and $E$.
1283: Thus, the solution after the interaction is a single
1284: overcompressive singular shock wave.
1285: \end{lemma}
1286: \begin{proof}
1287: Since $u_{0} \geq u_{1}+3$ and $u_{1}>u_{2}$
1288: (because of the admissibility conditions for singular and shock wave), we have
1289: $u_{0} > u_{2}+3$. The point $(u_{2},v_{2})$ lies on the curve
1290: $S_{1}$ or $S_{2}$ with the origin at the point $(u_{1},v_{1})$.
1291: Thus
1292: \begin{equation*}
1293: v_{2}=v_{1}+(u_{2}-u_{1})\Big({u_{1}+u_{2}\over 2} \pm
1294: \sqrt{1-{(u_{1}-u_{2})^{2} \over 12}}\Big).
1295: \end{equation*}
1296: The point $(u_{1},v_{1})$ lies in the area denoted by $Q_{7}$,
1297: thus bellow or at the curve $D$ with the origin at
1298: $(u_{0},v_{0})$. Therefore
1299: \begin{equation*}
1300: v_{1}\leq v_{0}+u_{1}^{2}+u_{1}-u_{0}u_{1}-u_{0}.
1301: \end{equation*}
1302: Let the point $(u_{0},v_{0})$ be the origin. The point $(u_{2},v_{2})$
1303: will be bellow the curve $D$ if
1304: \begin{equation*}
1305: \begin{split}
1306: & v_{0}+u_{1}^{2}+u_{1}-u_{0}u_{1}-u_{0}+
1307: (u_{2}-u_{1})\Big({u_{1}+u_{2}\over 2} \pm
1308: \sqrt{1-{(u_{1}-u_{2})^{2} \over 12}}\Big) \\
1309: \leq & v_{0}+u_{2}^{2}+u_{2}-u_{0}u_{2}-u_{0}.
1310: \end{split}
1311: \end{equation*}
1312: Non-positivity of $u_{1}-u_{2}$ gives
1313: \begin{equation*}
1314: \pm \sqrt{1-{(u_{1}-u_{2})^{2} \over 12}} \leq
1315: {1 \over 2}(u_{0}-u_{1})+{1 \over 2}(u_{0}-u_{2})-1.
1316: \end{equation*}
1317: The left-hand side of the above inequality is less than 2, while
1318: the right-hand side is greater that 2. Thus, the point $(u_{2},v_{2})$
1319: really lies bellow the curve $D$.
1320:
1321: In the same way one can prove that the point $(u_{2},v_{2})$
1322: lies above the curve $E$.
1323: \end{proof}
1324:
1325: \begin{remark} \label{another}
1326: In the same manner as above, one can prove that the situation is the same
1327: when singular shock and shock wave change sides. That is, when an admissible
1328: singular shock wave interacts with an admissible shock wave
1329: from the right-hand side, then the solution is again a single admissible
1330: singular shock wave.
1331: \end{remark}
1332:
1333: \subsection{Double singular shock wave interaction}
1334:
1335: Suppose that an admissible singular shock wave with a speed $c_{1}$ and
1336: left- and right-hand
1337: side values $U_{0}=(u_{0},v_{0})$ and $U_{1}=(u_{1},v_{1})$,
1338: respectively, interacts
1339: with an another singular shock wave with a speed $c_{2}<c_{1}$ and
1340: left-hand (right-hand) side values
1341: $U_{1}=(u_{1},v_{1})$ ($U_{2}=(u_{2},v_{2})$) at the point $(X,T)$.
1342: Since the conditions for the existence of singular shock waves include
1343: $u_{0}-u_{1}\geq 3$ and $u_{1}-u_{2}\geq 3$, then $u_{0}-u_{2}\geq 6$, i.e.\
1344: the point $(u_{2},v_{2})$ is on the left-hand side of the line
1345: $u=u_{0}-\sqrt{12}$.
1346: Concerning the position of the point $(u_{2},v_{2})$
1347: in the plane of wave regions with the origin at $(u_{0},v_{0})$ there
1348: are three possibilities:
1349:
1350: \noindent
1351: (i) The point $(u_{2},v_{2})$ is between or at the curves $D$ and $E$.
1352: The result of the interaction is a single singular shock wave (with
1353: increasing strength).
1354:
1355: \noindent
1356: (ii) The point $(u_{2},v_{2})$ is above the curve $D$.
1357: The result of the interaction is an 1-rarefaction wave followed
1358: with a singular shock wave.
1359:
1360: \noindent
1361: (iii) The point $(u_{2},v_{2})$ is bellow the curve $E$.
1362: The result of the interaction is a singular shock wave
1363: followed by a 2-rarefaction wave.
1364:
1365: SDSL's always have increasing strength in these three cases.
1366:
1367: \section{Intersection of a singular shock wave and a rarefaction wave}
1368:
1369: The last possibility of singular shock wave interactions is between
1370: a singular shock wave and a rarefaction wave.
1371: That possibility is omitted from a considerations of the general case
1372: due to a richness of possible behaviors. Nevertheless, the most
1373: of specific Riemann problems can be treated similarly as system (\ref{dss1})
1374: was here, at least up to some point.
1375:
1376: For a given point $(u_{0},v_{0})$, the rarefaction curves are given by
1377: (see \cite{KeyKr})
1378: \begin{equation*}
1379: \begin{split}
1380: & R_{1}=\{(u,v):\;
1381: v=v_{0}-{1\over 2}u_{0}^{2}+{1\over 2}u^{2}+u-u_{0}\}. \\
1382: & R_{2}=\{(u,v):\;
1383: v=v_{0}-{1\over 2}u_{0}^{2}+{1\over 2}u^{2}-u+u_{0}\}
1384: \end{split}
1385: \end{equation*}
1386:
1387: Suppose that a singular shock wave with left- and right-hand side values
1388: $U_{0}=(u_{0},v_{0})$ and $U_{1}=(u_{1},v_{1})$,
1389: from the left-hand side interacts
1390: with a rarefaction wave at some point $(X,T)$.
1391: If the rarefaction wave is approximated with a number of small
1392: amplitude (non-admissible) shock waves like in wave fronth tracking
1393: algorithm (see \cite{Bre} for example),
1394: intuition given in Theorem \ref{glavna},
1395: such that the first task should be to look at the singular shock
1396: wave and the interaction of singular shock and non-admissible shock wave.
1397: It is possible to extend Theorem \ref{glavna} for such a case,
1398: providing that a non-admissible shock wave has amplitude small enough
1399: (of the rate $\varepsilon^{2}$, say).
1400: Denote by $(u_{r},v_{r})$ the end-point in a rarefaction curve. Let us note
1401: that the starting point of the curve $(u_{1},v_{1})$ is in $Q_{7}$.
1402:
1403: In what follows, we shall abuse the notation and denote by
1404: $(u_{1},v_{1})$ the left-hand side of an approximated non-admissible
1405: shock wave. Denote by $(u_{1},v_{1})\in Q_{7}$ the left-hand side and by
1406: $(u_{2},v_{2})$ the right-hand side value of a part from the rarefaction
1407: curve. If $(u_{2},v_{2})\in Q_{7}$, then the result of the interaction is a
1408: single singular shock wave, with the left-hand side value equals
1409: $(u_{0},v_{0})$. The speed depends on initial values as in (\ref{eq8}).
1410: So, one can continue the procedure taking approximate
1411: points from the rarefaction
1412: curve as the right-hand values of the non-admissible shock wave until it
1413: reaches the border of $Q_{7}$.
1414:
1415: After looking at the above discrete model we are back in a real situation.
1416:
1417: Let us denote by $(c(t),t)$,
1418: $t$ belonging to some interval,
1419: a path of the resulting singular shock wave trough $Q_{7}$.
1420: It is possible to explicitly calculate
1421: the above path. For example if a singular shock wave interacts with
1422: a centered 1-rarefaction waves,
1423: substituting
1424: \begin{equation*}
1425: \begin{split}
1426: & u(x,t)=\left\{ \begin{aligned} u_{1}, & \; x<c(t) \\
1427: \phi_{1}(x/t), & \; x>c(t) \end{aligned} \right\} +
1428: \alpha_{0}(t)d_{\varepsilon}^{-}(x-c(t))
1429: +\alpha_{1}(t)d_{\varepsilon}^{+}(x-c(t)) \\
1430: & v(x,t)=\left\{ \begin{aligned} v_{1}, & \; x<c(t) \\
1431: \phi_{2}(x/t), & \; x>c(t) \end{aligned} \right\} +
1432: \beta(t)D_{\varepsilon}(x-c(t))
1433: \end{split}
1434: \end{equation*}
1435: in system (\ref{dss1}), one obtains
1436: \begin{equation*}
1437: \begin{split}
1438: & \tilde{\alpha_{0}}^{2}(t)+\tilde{\alpha}_{1}^{2}(t)=\tilde{\beta}(t)\\
1439: & c(t)=\Big(t(1-2(u_{1}-v_{0}+v_{1}+u_{0}^{2}-u_{1}^{2}))\\
1440: & + T(1-2(u_{0}-v_{1}-u_{0}u_{1}+u_{0}^{2}-u_{1}^{2}))\Big)/(2(u_{0}-1))\\
1441: & \tilde{\beta}'(t)=c'(t)\Big({1\over 2}\Big({c(t) \over t}+1\Big)
1442: +\Big({c(t) \over t}+1\Big)+v_{1}-{1\over 2}u_{1}^{2}-u_{1}-v_{0}\Big)\\
1443: & -\Big({1\over 3}\Big({c(t) \over t}+1\Big)^{3}-\Big({c(t) \over t}+1\Big)
1444: -{1\over 3}u_{0}^{3}+u_{0}\Big),
1445: \end{split}
1446: \end{equation*}
1447: where the initial data for $\beta$ at the point $t=T$ is the initial strength
1448: of the singular shock wave $\beta(T)$.
1449: The above calculations means that a form of the resulting singular shock
1450: curve and its strength are uniquely determined trough the area $Q_{7}$.
1451: If $(u_{r},v_{r})\in Q_{7}$, then the analysis is finished. Suppose that
1452: this is not true. The main problem is to analyse situation when
1453: rarefaction curve intersects the boundary of $Q_{7}$. Let us try to
1454: find out what is happening by using
1455: a discrete model.
1456:
1457: Thus, the first real problem is to find a form of solution
1458: when the points from the rarefaction curve satisfy:
1459: $(u_{1},v_{1})\in Q_{7}$ and $(u_{2},v_{2})\not\in Q_{7}$.
1460:
1461: Denote by $\tilde{D}$ and $\tilde{G}$ the intersection points of the
1462: curve $J_{1}$ (or the line $u=u_{0}-3$) with the curves
1463: $E$ and $D$, respectively (see Figure 2).
1464:
1465: \subsection{The first critical case}
1466:
1467: Denote by $J$ the 1-rarefaction curve starting from the point $\tilde{G}$ and
1468: by $J_{2}$ the 2-rarefaction curve starting from the point $\tilde{D}$
1469: The region where
1470: $(u_{2},v_{2})$ can lie consist of five subregions:
1471:
1472: \noindent
1473: (i) {\it The rarefaction curve which starts at $(u_{1},v_{1})$
1474: intersects the curve $D$ out of point $\tilde{G}$.}
1475: The point $(u_{2},v_{2})$ lies in the region above the curve $D$ and
1476: left of the line $u=u_{0}-3$. The final result of the interaction
1477: is a 1-rarefaction wave ($R_{1}$)
1478: followed by a singular shock wave with increasing strength.
1479:
1480: \noindent
1481: (ii) {\it The rarefaction curve which starts at $(u_{1},v_{1})$
1482: intersects the curve $E$ out of point $\tilde{D}$.}
1483: The point $(u_{2},v_{2})$ lies in the region below the curve $E$ and
1484: on the left-hand side of the line $u=u_{0}-3$. The result of
1485: the interaction is a singular shock wave
1486: with increasing strength followed by a 2-rarefaction wave ($R_{2}$).
1487:
1488:
1489: \noindent
1490: (iii) {\it The rarefaction curve which starts at $(u_{1},v_{1})$
1491: intersects the curve $J_{1}$ out of points $\tilde{D}$
1492: and $\tilde{G}$.} Since an amplitude of a non-admissible
1493: shock wave can be as small as necessary, one can assume that
1494: the point $(u_{2},v_{2})$ lies in the
1495: second delta singular locus and the resulting singular shock wave
1496: has a negative strength.
1497: The strength-function $\tilde{\beta}(t)=\zeta+k(t-T_{0})$ of the resulting
1498: singular shock is decreasing, so, there could exists
1499: a point $T_{1}=T-\zeta/k$ such that
1500: $\tilde{\beta}(T_{1})=\alpha_{0}=\alpha_{1}=0$. Let
1501: $X_{1}=cT_{1}+(X-T)$, where $c$ is the speed of the resulting
1502: singular shock wave (space coordinate of the point where strength
1503: reaches zero). Therefore, in the time $t=T_{1}$, we have to solve
1504: new Riemann problem
1505: \begin{equation*}
1506: u|_{t=T_{1}}=\begin{cases} u_{0}, & x<X_{1} \\
1507: u_{2},& x>X_{1} \end{cases}, \;
1508: v|_{t=T_{1}}=\begin{cases} v_{0}, & x<X_{1} \\
1509: v_{2},& x>X_{1} \end{cases}.
1510: \end{equation*}
1511: This problem has a unique entropy solution consists from
1512: two shock waves, since the point $(u_{2},v_{2})$ is between the curves
1513: $S_{1}$ and $S_{2}$, with respect to the origin at the
1514: point $(u_{0},v_{0})$. This means that the singular
1515: shock wave decouples into a pair of admissible shock waves.
1516: If $u_{r}\leq u_{0}-2$, this pair of the shock waves are the final solution.
1517: The case when $u_{r}<u_{0}-2$ belongs to the following
1518: subsection, i.e.\
1519: the second critical case.
1520: %\medskip \medskip
1521:
1522: %\begin{center}
1523: %\includegraphics*[scale=0.55]{idss3.eps}
1524: %
1525: %{\small Fig.\ 4. Possible disintegration of a singular shock wave}
1526: %\end{center}
1527: %\medskip
1528:
1529:
1530: \noindent
1531: (iv) {\it The rarefaction curve $R_{j}$, $j=1 \text{ or } 2$,
1532: which starts at $(u_{1},v_{1})$
1533: intersects the curve $J_{1}$ in the point $\tilde{G}$.}
1534: We can take $\tilde{G}=(u_{2},v_{2})$ for convenience. The set
1535: of such points $(u_{1},v_{1})$ lies on the inverse rarefaction curve,
1536: which starts from the right-hand side values, i.e.\
1537: \begin{equation*}
1538: \begin{split}
1539: &\tilde{R}_{1}=\{(u,v):\; v=v_{0}+(u_{0}^{2}-u^{2})/2+u_{0}-u\} \\
1540: &\text{and} \\
1541: &\tilde{R}_{2}=\{(u,v):\; v=v_{0}+(u_{0}^{2}-u^{2})/2-u_{0}+u\}
1542: \end{split}
1543: \end{equation*}
1544: (the same explanation will be used in Remark \ref{r4} bellow).
1545: Straightforward calculation
1546: shows that this curve lies in the region $Q_{7}$, thus this
1547: situation is possible, as one can see using the
1548: inverse rarefaction curves $\tilde{R}_{1}$ and $\tilde{R}_{2}$
1549: given above.
1550:
1551: If $j=1$, then
1552: the point $(u_{2},v_{2})$ belongs
1553: to $J$ and the solution after the interaction is an $R_{1}$-wave
1554: followed by a singular shock wave with a constant strength.
1555:
1556: If $j=2$, then
1557: the point $(u_{2},v_{2})$ lies in the area bellow the curve $J$.
1558: This can be verified by direct calculation,
1559: taking into account that the amplitude of
1560: a non-admissible shock is small enough,
1561: $u_{2}<u_{0}-2$. The solution after the interaction is an
1562: admissible singular shock wave with a decreasing strength.
1563: Further explanations of a such singular shock wave is given in the
1564: following subsection.
1565:
1566: \noindent
1567: (v) {\it The rarefaction curve $R_{j}$ which starts at $(u_{1},v_{1})$
1568: intersects the curve $J_{1}$ in the point $\tilde{D}$.}
1569: Again, let $\tilde{D}=(u_{2},v_{2})$.
1570: Simple calculation, as in
1571: the case (iv), shows that this situation is also possible
1572: since the inverse rarefaction curves starting from
1573: $\tilde{D}$ stay in $Q_{7}$.
1574: If $j=2$, the point $(u_{2},v_{2})$ belongs
1575: to $J_{2}$, and then the solution after the interaction is
1576: singular shock wave with a constant strength followed by an
1577: $R_{2}$-wave.
1578:
1579: If $j=1$, then use of the same arguments as above gives that
1580: the point $(u_{2},v_{2})$ lies in the area above the curve $J_{2}$
1581: and the result of the interaction is an admissible
1582: singular shock wave with a decreasing strength. Again, one can see
1583: the following subsection for the further analysis.
1584:
1585: \subsection{The second critical case}
1586:
1587: Now we are dealing with the problem when the rarefaction wave
1588: after passing through $J_{1}$, after
1589: passes trough the curves $D$ or $E$.
1590: One can see that this is the continuation of the cases (iii)-(v)
1591: from the previous part.
1592:
1593: \noindent
1594: (a) Denote by $\hat{D}$ the area above the curve $D$,
1595: bellow $S_{1}$ and on the left-hand side of the line $u=u_{0}-2$.
1596: Also denote by $\hat{\hat{D}}$ the area above the curve $E$,
1597: bellow $S_{1}$ and on the right-hand side of the line $u=u_{0}-2$.
1598: If $(u_{2},v_{2})$ lies in one of these regions,
1599: the solution is combination of a
1600: rarefaction wave $R_{1}$ and an overcompressive singular shock wave with
1601: a decreasing or constant strength.
1602:
1603: \noindent
1604: (b) Denote by $\hat{E}$ the area bellow the curve $E$,
1605: above $S_{2}$ and on the left-hand side of the line $u=u_{0}-2$.
1606: Also denote by $\hat{\hat{E}}$ the area bellow the curve $D$,
1607: above $S_{2}$ and on the right-hand side of the line $u=u_{0}-2$.
1608: If $(u_{2},v_{2})$ lies in one of these regions,
1609: the solution is then a combination of
1610: an overcompressive singular shock wave with
1611: a decreasing or constant strength and a rarefaction wave $R_{2}$.
1612: Denote by $D_{0}$ the area bounded by the curves $D$, $E$, $S_{1}$
1613: and $S_{2}$ such that $u<u_{0}-2$ in $D_{0}$.
1614: %\medskip \medskip
1615: \begin{figure}[Ht]
1616: %
1617: %\begin{center}
1618: \includegraphics*[scale=0.75]{idss2.eps}
1619: %
1620: % {\small Figure 2.}
1621: % \end{center}
1622: % \medskip
1623: \caption{}
1624: \end{figure}
1625:
1626: One can see that a rarefaction curve cannot enter into $D_{0}$
1627: since it has to pass trough
1628: the intersection point $(u_{0}-2,-2u_{0}+v_{0}+2)$ of $D$ and $E$, but
1629: \begin{equation*}
1630: \begin{split}
1631: & 2u-2u_{0}-uu_{0}+u^{2}/2+u_{0}^{2}/2+2>0
1632: \text{ (ie. } R_{1}
1633: \text{ is above the curve } E\text{)} \\
1634: & 2u_{0}-2u+uu_{0}-u^{2}/2-u_{0}^{2}/2-2<0 \text{ (ie. } R_{2}
1635: \text{ is bellow the curve } D\text{)}.
1636: \end{split}
1637: \end{equation*}
1638: Therefore, a rarefaction curve which passes trough the point
1639: $D\cap E$ goes either into $\hat{\hat{D}}$ or $\hat{\hat{E}}$,
1640: and these cases are analysed above.
1641:
1642: Thus, we have described all important points of the interactions
1643: between singular shock and rarefaction waves.
1644: When a result of a single interaction is known, the question
1645: about further singular shock path could be answered by a successive
1646: use of the above procedures.
1647:
1648: \begin{remark} \label{r4}
1649: One can use the similar analysis of all possible cases when
1650: a rarefaction wave which interacts with a singular shock wave is on
1651: the left-hand side of it. Instead of direct rarefaction and singular
1652: shock curves, the inverse ones should be used, i.e.\
1653: $(u_{2},v_{2})$ is a starting point and one is able to calculate
1654: $v_{0}$ from formulas of $E$ ,$D$, $S_{1}$, $S_{2}$, $R_{1}$ and $R_{2}$.
1655: \end{remark}
1656:
1657: \begin{remark}
1658: In the contrast with the case in \cite{NedObe}, where interaction
1659: can generate some ``strange'' solution containing unbounded $L_{loc}^{1}$
1660: function, in the presented system one can find only bounded functions
1661: and singular shock waves as a result on an interaction.
1662:
1663: For a system (\ref{gdss1}) with $g_{1}\not \equiv \mathop{\rm const}$, or
1664: $g_{2}\not \equiv 0$, interaction of singular shock and rarefaction waves
1665: cannot be treated as easy as here.
1666: \end{remark}
1667:
1668: Thus, we have proved the following assertion for the interaction
1669: in the case of system (\ref{dss1}).
1670:
1671: \begin{theorem} \label{primenjena}
1672: Suppose that a singular shock wave interacts with a rarefaction wave
1673: at the time $T$. For some time period $T<t<T_{1}$ the solution
1674: is represented by a singular shock wave supported by a uniquely defined
1675: curve (not a line) followed by a new rarefaction wave. Depending on the
1676: right-hand value of the primary rarefaction wave, one has the following
1677: possible cases for a solution after $t>T_{1}$.
1678: \begin{itemize}
1679: \item[(a)] Single singular shock wave (supported by a line)
1680: with an increasing strength.
1681: \item[(b)] 1-rarefaction wave followed by singular shock wave
1682: with an increasing strength.
1683: \item[(c)] Singular shock wave with an increasing strength
1684: followed by 2-rarefaction wave.
1685: \item[(d)] Singular shock wave with a decreasing strength
1686: prolonged by either a single singular shock wave with an increasing strength,
1687: or a pair of admissible shock waves.
1688: \item[(e)] 1-rarefaction wave followed by singular shock wave
1689: with a constant strength.
1690: \item[(f)] Singular shock wave with a constant strength
1691: followed by 2-rarefaction wave.
1692: \item[(g)] Singular shock wave with a decreasing strength
1693: prolonged by either 1-rarefaction wave followed by singular shock wave
1694: with decreasing or constant strength, or singular shock wave
1695: with decreasing or constant strength followed by 2-rarefaction wave.
1696: \end{itemize}
1697: ``Prolonged'' is the state after strength of singular shock wave
1698: becomes zero. Such wave can also stop with non-zero strength, and then
1699: there is obviously no prolongation described above.
1700: \end{theorem}
1701: \begin{thebibliography}{99}
1702:
1703: \bibitem{Bre} A. Bressan, Hyperbolic Systems of Conservation Laws,
1704: Oxford University Press, New York, 2000.
1705:
1706: \bibitem{Col} J. F. Colombeau, Elementary Introduction in New
1707: Generalized Functions North Holland, 1985.
1708:
1709: \bibitem{Col92} J. F. Colombeau, Generalized Functions in Theory
1710: and Numerics, Springer, 1992.
1711:
1712: \bibitem{Daf} C.\ Dafermos, Hyperbolic Conservation Laws in Continuum
1713: Physics, Springer-Verlag, Heidelberg, 2000.
1714:
1715: \bibitem{ShDan1} V. G. Danilov, V. M. Shelkovich,
1716: Dynamics of propagation and interaction of
1717: shock waves in conservation law systems,
1718: J.\ Diff.\ Equ., 211, 333-381 (2005).
1719:
1720: \bibitem{KeyKr} B. L. Keyfitz, H. C. Kranzer,
1721: Spaces of weighted measures for conservation laws with singular
1722: shock solutions, J.\ Differ.\ Equations {\bf 118},2, 420-451 (1995).
1723:
1724: \bibitem{Lax} P. D. Lax, Hyperbolic Systems of
1725: Conservation Laws and the Mathematical Theory of
1726: Shock Waves, SIAM, Philadelphia, 1973.
1727:
1728: \bibitem{Ned1} M. Nedeljkov, Delta and singular delta locus for
1729: one dimensional systems of conservation laws, Math.\
1730: Method Appl.\ Sci. {\bf 27}, 931-955 (2004).
1731:
1732: \bibitem{NedObe} M. Nedeljkov, M. Oberguggenberger,
1733: Delta shock wave and interactions in a simple model case,
1734: Submitted.
1735:
1736: \bibitem{Obe1} M. Oberguggenberger, Multiplication of Distributions
1737: and Applications to Partial Differential Equations,
1738: Pitman Res.\ Not.\ Math.\ 259, Longman Sci.\ Techn., Essex,
1739: 1992.
1740:
1741: \bibitem{ObeWa} M. Oberguggenberger, Y-G Wang,
1742: Generalized solutions to conservation laws,
1743: Z.\ Anal.\ Anwend. {\bf 13}, 7-18 (1994).
1744:
1745: \end{thebibliography}
1746:
1747:
1748: \end{document}
1749:
1750:
1751:
1752: