Delta shock waves in conservation laws with impulsive moving source: some results obtained by multiplying distributions

C.O.R. Sarrico

doi:10.1080/14029251.2019.1591718

<Previous Article In Issue

Download article (PDF)

Next Article In Issue>

Volume 26, Issue 2, March 2019, Pages 214 - 227

Delta shock waves in conservation laws with impulsive moving source: some results obtained by multiplying distributions

Authors

C.O.R. Sarrico

CMAFCIO, Faculdade de Ciências da Universidade de Lisboa, Campo Grande, 1749-016 Lisboa, Portugal,corsarrico@gmail.com

Received 17 September 2018, Accepted 20 November 2018, Available Online 6 January 2021.

DOI: 10.1080/14029251.2019.1591718 How to use a DOI?
Keywords: Products of distributions; conservation laws with impulsive source; Riemann problems; traveling shock waves; Delta waves; Delta shock waves
Abstract: The present paper concerns the study of a Riemann problem for the conservation law u_t + [ϕ(u)]_x = kδ(x − vt) where x, t, k, v and u = u(x, t) are real numbers. We consider ϕ an entire function taking real values on the real axis and δ stands for the Dirac measure. Within a convenient space of distributions we will explicitly see the possible emergence of waves with the shape of shock waves, delta waves and delta shock waves. For this purpose, we define a rigorous concept of a solution which extends both the classical solution concept and a weak solution concept. All this framework is developed in the setting of a distributional product that is not constructed by approximation. We include the main ideas of this product for the reader’s convenience. Recall that delta shock waves are relevant physical phenomena which may be interpreted as processes of concentration of mass or even as processes of formation of galaxies in the universe.
Copyright: © 2019 The Authors. Published by Atlantis and Taylor & Francis
Open Access: This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

1. Introduction and contents

Let us consider the Riemann problem

ut+[φ(u)]x=kδ(x−vt),(1.1)

u(x,0)=u1+(u2−u1)H(x),(1.2)

where x ∈ ℝ is the space variable, t ∈ ℝ is the time variable, u(x, t) ∈ ℝ is the unknown state variable, k, v, u₁, u₂ ∈ ℝ are given constants, H is the Heaviside function and δ stands for the Dirac measure supported at the origin. We suppose ϕ an entire function taking real values on the real axis. The goal is to evaluate the evolution of the profile (1.2) within the space W of distributions u defined by

u(x,t)=f(t)+g(t)H(x−vt)+h(t)δ(x−vt),

where f, g, h : ℝ → ℝ are C¹-functions.

The main result (under certain conditions) is the solution,

u(x,t)=u1+(u2−u1)H(x−vt)+Atδ(x−vt),(1.3)

where

A=k+v(u2−u1)−[φ(u2)−φ(u1)].(1.4)

This solution, when it exists, is unique in W. Thus, the emergence of traveling shock waves (A = 0 and u₁ ≠ u₂), delta waves (A ≠ 0 and u₁ = u₂) and delta shock waves (A ≠ 0 and u₁ ≠ u₂) becomes possible.

An interesting result can be obtained as a particular case, supposing that there exists a solution for (1.1), (1.2), in W, with k = 0: in this case (as we will see) we have necessarily A = 0. This means that, in W, the usual conservation law

ut+[φ(u)]x=0,(1.5)

subjected to the initial condition (1.2) cannot develop neither delta waves nor delta shock waves; the impulse amplification (which concerns the term Atδ(x − vt)) during the time evolution is impossible in this setting. This is a characteristic of the equation (1.5) that does not happen for systems of the same type; remember that Dirac measures amplified along time appear in the solution of Riemann problems for systems of conservation laws with source zero (see [4–6, 10, 11, 14]). Also recall that this amplification is a relevant physical phenomenon which may be interpreted as a process of concentration of mass or even as a process of formation of galaxies in the universe [16]. Thus, and for the problem (1.1), (1.2), the concentration of matter in the front shock during the time evolution is possible only when k ≠ 0. We will also prove that, the existence of an impulsive source does not cause necessarily the appearing of an impulse in the solution, that is, there exist cases, with k ≠ 0, where the solution contains only functions (without any Dirac measure present). This will be easily shown in an example concerning Burgers equation with an impulsive moving source.

Often, in this kind of problems, the distributional solutions appear as weak limits. It may even happen that those weak limits cannot be substituted into equations or systems owing to the well known difficulties of multiplying distributions. On top of that, limit processes involving sequences of continuous functions may not yield to mathematically consistent solutions (see [13], Section II). Our method overcome those difficulties, as we will explain.

For the equation (1.1), we will adopt a concept of solution defined within the setting of a distributional product. This concept is a consistent extension of the classical solution concept and, in a sense explained at the end of Section 5, can also be seen as a new type of weak solution.

In our framework, the product of two distributions is a distribution that depends on the choice of a certain function α encoding the indeterminacy inherent to such products. This indeterminacy generally is not avoidable and in many cases it also has a physical meaning; concerning this point let us mention [1–3, 8]. Thus, the solutions of differential equations containing such products may depend (or not) of α. We call such solutions α-solutions. Thus, when the solutions depend on α, the future behavior of the system cannot be fully predicted. This fact might be due to physical features omitted in the formulation of the model with the goal of simplifying it. It is worthwhile to stress that, for the present problem (1.1), (1.2), the solutions, when they exist, are independent of α!

The concept of α-solution has shown to be a convenient tool in the study of singular solutions of nonlinear PDEs and systems (see for instance, [8–12, 14, 15]). Also recently, Chun Shen and Meina Sun [17] used our framework to study the zero-pressure gas dynamic system with the Coulomb like friction term; they advocate that “it is more easy to use the method of α-solutions to discover discontinuous solutions involving Dirac-delta measures in many branches of engineering, physics and mechanics”.

Let us now summarize the present paper’s contents. In Section 2, we present the main ideas of our method for multiplying distributions. In Section 3, we define powers of certain distributions. In Section 4, we define the composition of an entire function with a distribution. In Section 5, we define the concept of α-solution for the equation (1.1). In Section 6, we present the main result, that is, all possible solutions of the Riemann problem (1.1), (1.2) that belong to W. Easy examples are given in Section 7.

2. The multiplication of distributions

Let 𝒞^∞ be the space of indefinitely differentiable real or complex-valued functions defined on ℝ^N, N ∈ {1, 2, 3,...}, and 𝒟 the subspace of C^∞ consisting of those functions with compact support. Let 𝒟′ be the space of Schwartz distributions and L(𝒟) the space of continuous linear maps ϕ : 𝒟 → 𝒟, where we suppose 𝒟 endowed with the usual topology. We will sketch the main ideas of our distributional product (the reader can look at (2.4), (2.7), and (2.9) as definitions, if he prefers to skip this presentation). For proofs and other details concerning this product see [7].

The construction of a general product in 𝒟′

First, we define a product T ϕ ∈ 𝒟′ for T ∈ 𝒟′ and ϕ ∈ L(𝒟) by

〈Tφ,ξ〉=〈T,φ(ξ)〉,

for all ξ ∈ 𝒟; this makes 𝒟′ a right L(𝒟)-module. Next, we define an epimorphism ζ˜:L(𝒟)→𝒟′, where the image of ϕ is the distribution ζ˜(φ) given by

〈ζ˜(φ),ξ〉=∫φ(ξ),

for all ξ ∈ 𝒟 (in the present paper, all integrals are extended all over ℝ^N); given S ∈ 𝒟′, we say that ϕ is a representative operator of S if ζ˜(φ)=S. For instance, if β ∈ 𝒞 ^∞ is seen as a distribution, the operator ϕ_β ∈ L(𝒟) defined by ϕ_β (ξ) = βξ, for all ξ ∈ 𝒟, is a representative operator of β because, for all ξ ∈ 𝒟, we have

〈ζ˜(φβ),ξ〉=∫φβ(ξ)=∫βξ=〈β,ξ〉.

For this reason ζ˜(φβ)=β. If T ∈ 𝒟′, we also have

〈Tφβ,ξ〉=〈T,φβ(ξ)〉=〈T,βξ〉=〈Tβ,ξ〉,

for all ξ ∈ 𝒟. Hence,

Tβ=Tφβ.

Thus, given T, S ∈ 𝒟′, we are tempted to define a natural product by setting TS := Tϕ, where ϕ ∈ L(𝒟) is a representative operator of S, i.e., ϕ is such that ζ˜(φ)=S. Unfortunately, this product is not well defined, because TS depends on the representative ϕ ∈ L(𝒟) of S ∈ 𝒟′.

This difficulty can be overcome, if we fix α ∈ 𝒟 with

[(sαφ)(ξ)](y)=∫φ[(τyα̌)ξ],(2.1)

for all ξ ∈ 𝒟 and all y ∈ ℝ^N, where τyα̌ is given by (τyα̌)(x)=α̌(x−y)=α(y−x) for all x ∈ ℝ^N. It can be proved that for each α ∈ 𝒟 with ∫ α = 1, s_α(ϕ) ∈ L(𝒟), s_α is linear, s_α ○ s_α = s_α (s_α is a projector of L(𝒟)), kersα=kerζ˜, and ζ˜∘sα=ζ˜.

Now, for each α ∈ 𝒟, we can define a general α-product ⊙α of T ∈ 𝒟′ with S ∈ 𝒟′ by setting

T⊙αS:=T(sαφ),(2.2)

where ϕ ∈ L(𝒟) is a representative operator of S ∈ 𝒟′. This α-product is independent of the representative ϕ of S, because if ϕ, ψ are such that ζ˜(φ)=ζ˜(ψ)=S, then φ−ψ∈kerζ˜=kersα. Hence,

T(sαφ)−T(sαψ)=T[sα(φ−ψ)]=0.

Since ϕ in (2.2) satisfies ζ˜(φ)=S, we have ∫ϕ(ξ) = 〈S, ξ〉 for all ξ ∈ 𝒟, and by (2.1)

[(sαφ)(ξ)](y)=〈S,(τyα̌)ξ〉=〈Sξ,τyα̌〉=(Sξ*α)(y),

for all y ∈ ℝ^N, which means that (s_αϕ)(ξ) = Sξ * α. Therefore, for all ξ ∈ 𝒟,

〈T⊙αS,ξ〉=〈T(sαφ),ξ〉=〈T,(sαφ)(ξ)〉=〈T,Sξ*α〉=[T*(Sξ*α)̌](0)=[(Sξ)̌*(T*α̌)](0)=〈(T*α̌)S,ξ〉,

and we obtain an easier formula for the general product (2.2),

T⊙αS=(T*α̌)S.(2.3)

In general, this α-product is neither commutative nor associative but it is bilinear and satisfies the Leibniz rule written in the form

Dk(T⊙αS)=(DkT)⊙αS+T⊙α(DkS),

where D_k is the usual k-partial derivative operator in distributional sense (k = 1, 2,...,N).

Recall that the usual Schwartz products of distributions are not associative and the commutative property is a convention inherent to the definition of such products (see the classical monograph of Schwartz [18] pp. 117, 118, and 121, where these products are defined). Unfortunately, the α-product (2.3), in general, is not consistent with the classical Schwartz products of distributions with functions.

How to get a product consistent with the Schwartz product of a distribution with a C^∞-function?

In order to obtain consistency with the usual product of a distribution with a C^∞-function, we are going to introduce some definitions and single out a certain subspace H_α of L(𝒟).

An operator ϕ ∈ L(𝒟) is said to vanish on an open set Ω ⊂ ℝ^N, if and only if ϕ(ξ) = 0 for all ξ ∈ 𝒟 with support contained in Ω. The support of an operator ϕ ∈ L(𝒟) will be defined as the complement of the largest open set in which ϕ vanishes.

Let 𝒩 be the set of operators ϕ ∈ L(𝒟) whose support has Lebesgue measure zero, and ρ(C^∞) the set of operators ϕ ∈ L(𝒟) defined by ϕ(ξ) = β ξ for all ξ ∈ 𝒟, with β ∈ C^∞. For each α ∈ 𝒟, with ∫ α = 1, let us consider the space H_α = ρ(C^∞) ⊕ s_α(𝒩) ⊂ L(𝒟). It can be proved that ζα:=ζ˜|Hα:Hα→C∞⊕𝒟μ′ is an isomorphism (𝒟′_μ stands for the space of distributions whose support has Lebesgue measure zero). Therefore, if T ∈ 𝒟′ and S = β + f ∈ C^∞ ⊕ 𝒟′_μ, a new α-product, α˙, can be defined by Tα˙S:=Tφα, where for each α, φα=ζα−1(s)∈Hα. Hence,

Tα˙S=Tζα−1(S)=T[ζα−1(β+f)]=T[ζα−1(β)+ζα−1(f)]=Tβ+T⊙αf=Tβ+(T*α̌)f,

and putting α instead of α̌ (to simplify), we get

Tα˙S=Tβ+(T*α)f.(2.4)

Thus, the referred consistency is obtained when the C^∞-function is placed at the right-hand side: if S ∈ C^∞, then f = 0, S = β, and Tα˙S=Tβ.

How to obtain the consistency to all Schwartz products of D′^p-distributions with C^p-functions?

The α-product (2.4) can be easily extended for T ∈ 𝒟′^p and S = β + f ∈ C^p ⊕ 𝒟′_μ, where p ∈ {0, 1, 2,...,∞}, 𝒟′^p is the space of distributions of order ≤ p in the sense of Schwartz (𝒟′^∞ means 𝒟′), Tβ is the Schwartz product of a 𝒟′^p-distribution with a C^p-function, and (T * α) f is the usual product of a C^∞-function with a distribution. This extension is clearly consistent with all Schwartz products of 𝒟′^p-distributions with C^p-functions, if the C^p-functions are placed at the right-hand side. It also keeps the bilinearity and satisfies the Leibniz rule written in the form

Dk(Tα˙S)=(DkT)α˙S+Tα˙(DkS),

clearly under certain natural conditions; for T ∈ 𝒟′^p, we must suppose S ∈ C^p+1 ⊕ 𝒟′_μ. Moreover, these products are invariant by translations, that is,

τa(Tα˙S)=(τaT)α˙(τaS),

where τ_a stands for the usual translation operator in distributional sense. These products are also invariant for the action of any group of linear transformations h : ℝ^N → ℝ^N with |deth| = 1, that leave α invariant.

Thus, for each α ∈ 𝒟 with ∫ α = 1, formula (2.4) allows us to evaluate the product of T ∈ D′^p with S ∈ C^p ⊕ D′_μ; therefore, we have obtained a family of products, one for each α.

From now on, we always consider the dimension N = 1. For instance, if β is a continuous function we have for each α by applying (2.4),

δα˙β=δα˙(β+0)=δβ+(δ*α)0=β(0)δ,βα˙δ=βα˙(0+δ)=β0+(β*α)δ=[(β*α)(0)]δ,δα˙δ=δα˙(0+δ)=δ0+(δ*α)δ=αδ=α(0)δ,δα˙(Dδ)=(δ*α)Dδ=αDδ=α(0)Dδ−α′(0)δ,(Dδ)α˙S=(Dδ*α)δ=α′δ=α′(0)δ,(2.5)

Hα˙δ=(H*α)δ=[∫−∞+∞α(−τ)H(τ)dτ]δ=(∫−∞0α)δ.(2.6)

For each α, the support of the α-product (2.4) satisfies (Tα˙S)⊂suppS, as for usual functions, but it may happen that (Tα˙S)⊄suppT. For instance, if a, b ∈ ℝ, from (2.4) we have,

(τaδ)α˙(τbδ)=[(τaδ)*α](τbδ)=(τaα)(τbδ)=α(b−a)(τbδ).

Other products we need in the present paper

It is also possible to multiply many other distributions preserving the consistency with all Schwartz products of distributions with functions. For instance, using the Leibniz formula to extend the α-products, it is possible to write

Tα˙S=Tw+(T*α)f,(2.7)

with T ∈ 𝒟′⁻¹ and S=w+f∈Lloc1⊕𝒟μ′, where 𝒟′⁻¹ stands for the space of distributions T ∈ 𝒟′ such that DT ∈ 𝒟′⁰ and Tw is the usual pointwise product of T ∈ 𝒟′⁻¹ with w∈Lloc1. Recall that, locally, T can be read as a function of bounded variation (see [9], Sec. 2 for details). For instance, since H ∈ 𝒟′⁻¹ and H=H+0∈Lloc1⊕𝒟μ′, we have

Hα˙H=HH+(H*α)0=H.(2.8)

More generally, if T ∈ 𝒟′⁻¹ and S∈Lloc1, then Tα˙S=TS because by (2.7) we can write

Tα˙S=Tα˙(S+0)=TS+(T*α)0=TS.

Thus, in distributional sense, the α-products of functions that, locally, are of bounded variation coincide with the usual pointwise product of these functions considered as a distribution. We stress that in (2.4) or (2.7) the convolution T * α is not to be understood as an approximation of T. Those formulas are exact.

Another useful extension is given by the formula

Tα˙S=D(Yα˙S)−Yα˙(DS),(2.9)

for T ∈ 𝒟′⁰ ∩ 𝒟′_μ and S, DS∈Lloc1⊕𝒟c′, where 𝒟′_c ⊂ 𝒟′_μ is the space of distributions whose support is at most countable, and Y ∈ 𝒟′⁻¹ is such that DY = T (the products Yα˙S and Yα˙(DS) are supposed to be computed by (2.4) or (2.7)). The value of Tα˙S given by (2.9) is independent of the choice of Y ∈ 𝒟′⁻¹ such that DY = T (see [9] p. 1004 for the proof). For instance, by (2.6) and (2.9), we have for any α,

δα˙H=D(Hα˙H)−Hα˙(DH)=DH−Hα˙δ=δ−(∫−∞0α)δ=(∫0+∞α)δ,(2.10)

so that Hα˙δ+δα˙H=δ for any α. The products (2.4), (2.7), and (2.9) are compatible, that is, if an α-product can be computed by two of them, the result is the same.

3. Powers of distributions

Let M ⊂ 𝒟′ be a set of distributions such that, if T₁, T₂ ∈ M, then T1α˙T2 is well defined and T1α˙T2∈M. For each T ∈ M we define the α-power Tαn by the recurrence relation

Tαn=(Tαn−1)α˙T for n≥1, with Tα0=1 for T≠0;(3.1)

naturally, if 0 ∈ M, 0αn=0 for all n ≥ 1.

Since our distributional products are consistent with the Schwartz products of distributions with functions, when the functions are placed at the right-hand side, we have βαn=βn for all β ∈ C⁰ ∩ M. Thus, this definition is consistent with the usual definition of powers of C⁰-functions. Moreover, if M is such that τ_aT ∈ M for all T ∈ M and all a ∈ ℝ^N, then we also have (τaT)αn=τa(Tαn).

Taking, for instance, M = C^p ⊕ (𝒟′^p ∩ 𝒟′_μ) and supposing T₁, T₂ ∈ M, we have T₁ = β₁ + f₁, T₂ = β₂ + f₂ and by (2.4), we can write

T1α˙T2=T1β2+(T1*α)f2=(β1+f1)β2+[(β1+f1)*α]f2=β1β2+f1β2+[(β1+f1)*α]f2∈M.

Therefore, we can define α-powers Tαn of distributions T ∈ C^p ⊕ (𝒟′^p ∩ 𝒟′_μ). For instance, if m ∈ ℂ\{0}, we have (mδ)α0=1, (mδ)α1=mδ, and for n ≥ 2, (mδ)αn=mn[α(0)]n−1δ, as can be easily seen by induction applying (2.5).

Setting M = 𝒟′⁻¹ and supposing T₁, T₂ ∈ 𝒟′⁻¹, we have T1α˙T2∈𝒟′−1. Thus, we can also define α-powers Tαn of distributions T ∈ 𝒟′⁻¹ by the recurrence relation (3.1) and clearly we get,

Tαn=Tn,

that is, in distributional sense the α-powers of functions that, locally, are of bounded variation, coincide with the usual powers of these functions when considered as distributions.

In the sequel we will write, in all cases, Tⁿ instead of Tαn, supposing α fixed. For instance, if m ∈ ℝ we will write (mδ)¹ = mδ and for n ≥ 2, (mδ)ⁿ = mⁿ[α(0)]ⁿ⁻¹δ.

Taking M = {a + (b − a)H + mδ : a, b, m ∈ ℝ} we have:

Theorem 3.1.

Given α, let us suppose a, b, m ∈ ℝ, p=∫−∞0α, q=∫0+∞α and λ = α(0)m + (b − a)q. Then,

[a+(b−a)H+mδ]n=an+(bn−an)H+m[Pn−1(a+λ)]δ,(3.2)

where P_n−1 is the polynomial defined by the recurrence relation P₀(s) = 1 and for n ≥ 1, P_n(s) = sP_n−1(s) + pbⁿ + qaⁿ.

For a proof, see [12], p. 335.

4. Composition of entire functions with distributions

Let ϕ : ℂ → ℂ be an entire function. Then we have,

φ(s)=a0+a1s+a2s2+⋯(4.1)

for the sequence an=φ(n)(0)n! of complex numbers and all s ∈ ℂ. If T ∈ M we define the composition ϕ ○ T by formula

φ∘T=a0+a1T+a2T2+⋯(4.2)

whenever this series converges in 𝒟′. Clearly, this definition is consistent with the usual meaning of ϕ ○ T, if T ∈ M is a function. Moreover, if M is such that τ_aT ∈ M for all T ∈ M and all a ∈ ℝ, we have τ_a(ϕ ○ T) = ϕ ○ (τ_aT), if ϕ ○ T or ϕ ○ (τ_aT) are well defined. Remember that, in general, ϕ ○ T depends on α. For instance, taking M = {mδ : m ∈ ℂ} it is easy to see that

φ∘(mδ)={φ(0)+φ′(0)mδif α(0)=0,φ(0)+φ(mα(0))−φ(0)α(0)δif α(0)≠0.

We need the following statements:

Lemma 4.1.

Let a, b ∈ ℂ and let p, q and the sequence P_n be defined as in theorem 3.1. Still suppose ϕ an entire function defined by (4.1). Then, the function W_ϕ : ℂ → ℂ defined by Wφ(s)=∑n=1∞anPn−1(s) is well defined and satisfies the following conditions:

(a)
W_ϕ is an entire function;
(b)
Wφ(pa+qb)={φ(b)−φ(a)b−aif b≠a,φ′(a)if b=a;
(c)
W_ϕ = 0 if and only if ϕ′ = 0.

Theorem 4.1.

Given α, let a, b, m ∈ ℂ, q=∫0+∞α and λ = α(0)m + q(b − a). Suppose also that T = a + (b − a)H + mδ and ϕ is an entire function defined by (4.1). Then,

φ∘T=φ(a)+[φ(b)−φ(a)]H+mWφ(a+λ)δ,

where W_ϕ is defined in lemma 4.1.

For the proofs see [12], Section 4.

5. The α-solution concept

Let I be an interval of ℝ with more that one point, and let ℱ(I) be the space of continuously differentiable maps ũ : I → 𝒟′ in the sense of the usual topology of 𝒟′. For t ∈ I, the notation [ũ(t)](x) is sometimes used for emphasizing that the distribution ũ(t) acts on functions ξ ∈ 𝒟 depending on x.

Let Σ(I) be the space of functions u : ℝ × I → ℝ such that:

(a)
for each t ∈ I, u(x,t)∈Lloc1(ℝ);
(b)
ũ : I → D′, defined by [ũ(t)](x) = u(x, t) is in ℱ(I).

The natural injection u ↦ ũ from Σ(I) into ℱ(I) identifies any function in Σ(I) with a certain map in ℱ(I). Since C¹(ℝ×I) ⊂ Σ(I), we can write the inclusions

C1(ℝ×I)⊂Σ(I)⊂ℱ(I).

Thus, identifying u with ũ the equation (1.1) can be read as follows:

du˜dt(t)+D[φ∘u˜(t)]=kτvtδ,(5.1)

Definition 5.1.

Given α, the map ũ ∈ ℱ(I) will be called an α-solution of the equation (5.1) on I, if ϕ○ ũ(t) is well defined, and if this equation is satisfied for all t ∈ I.

This definition sees equation (1.1) as an evolution equation and we have the following results:

Theorem 5.1.

If u(x, t) is a classical solution of (1.1) on ℝ × I then, for any α, the map ũ ∈ ℱ(I) defined by [ũ(t)](x) = u(x, t) is an α-solution of (5.1) on I.

Note that, by a classical solution of (1.1) on ℝ × I, we mean a C¹-function u(x, t) that satisfies (1.1) on ℝ × I.

Theorem 5.2.

If u: ℝ × I → ℝ is a C¹-functions and, for a certain α, the map ũ ∈ ℱ(I) defined by [ũ(t)](x) = u(x, t) is an α-solution of (5.1) on I, then u(x, t) is a classical solution of (1.1) on ℝ × I.

For the proof, it is enough to observe that any C¹-functions u(x, t) can be read as continuously differentiable function ũ ∈ ℱ(I) defined by [ũ(t)](x) = u(x, t) and to use the consistency of the α-products with the classical Schwartz products of distributions with functions.

Definition 5.2.

Given α, any α-solutionũ of (5.1) on I, will be called an α-solution of the equation (1.1) on I.

As a consequence, an α-solution ũ in this sense, read as a usual distributional u, affords a general consistent extension of the concept of a classical solution for the equation (1.1). Thus, and for short, we also call the distribution u an α-solution of (1.1).

As it is well known, a weak solution of a differential equation is a function for which the derivatives may not exist but satisfies the equation in some precise sense.

One of the most important definitions is based in the classical theory of distributions. In this theory, the study of differential equations is, of course, restricted to linear equations, owing to the well known difficulties of multiplying distributions. The classical setting usually considers linear partial differential equations with C^∞-coefficients, and a weak solution is generally defined as satisfying the equation in the sense of distributions.

Linear partial differential evolution equations in the unknown u can be re-interpreted as evolution equations with α-products, in the unknownũ(t), if the (re-interpreted) C^∞-coefficients are placed at the right-hand side of ũ(t) and its derivatives. Actually, in this case, our α-products are consistent with the products of distributions with C^∞-functions. Thus, if u ∈ Σ(I) is a weak solution, then, for any α, the corresponding map ũ ∈ ℱ(I) is an α-solution. Conversely, if u ∈ Σ(I) and for a certain α the corresponding map ũ ∈ ℱ(I) is an α-solution, then u is a weak solution. In this sense, the α-solution concept can be identified with the weak solution concept. Meanwhile, an advantage arises: the coefficients of such equations can now be considered as distributions, if the α-products involved are well defined and the solutions are considered as elements of ℱ(I).

Thus, in the framework of evolution equations, the α-solution concept is an extension of the classical solution concept, and may be also considered as a new type of weak solution provided by distribution theory in the nonlinear setting.

6. The Riemann problem (1.1), (1.2)

Let us consider the equation (1.1) with (x, t) ∈ ℝ × ℝ (we could also have considered (x, t) ∈ ℝ × [0, +∞[), ϕ an entire function taking real values on the real axis, and the unknown u subjected to the initial condition (1.2) with u₁, u₂ ∈ ℝ. When we read this problem in ℱ(ℝ) having in mind the identification u ↦ ũ, we must replace the equation (1.1) by the equation (5.1) and the initial condition (1.2) by the following one

u˜(0)=u1+(u2−u1)H.(6.1)

Theorem 6.1 concerns the α-solutions ũ of the problem (5.1), (6.1) in the time interval I = ℝ, which belong to a convenient space W˜⊂ℱ(ℝ), defined the following way: u˜∈W˜ if and only if

u˜(t)=f(t)+g(t)τvtH+h(t)τvtδ,(6.2)

for certain C¹-functions f, g, h: ℝ → ℝ and all t ∈ ℝ.

Theorem 6.1.

Let A = k + v(u₂ − u₁) − [ϕ(u₂) − ϕ(u₁)]. Then, given α, the problem (5.1), (6.1) has α-solution u˜∈W˜ if and only if one of the following four conditions is satisfied:

(I)
A = 0;
(II)
A ≠ 0, ϕ′ = 0 and v = 0;
(III)
A ≠ 0, ϕ′ ≠ 0, u₁ = u₂ and v = ϕ′(u₁);
(IV)
A ≠ 0, ϕ′ ≠ 0, u₁ ≠ u₂ and v=φ(u2)−φ(u1)u2−u1.

In anyone of these four cases the α-solution is independent on α, is unique in W˜, and is given by

u˜(t)=u1+(u2−u1)τvtH+Atτvtδ.(6.3)

Proof.

Let us suppose u˜∈W˜. Then, from (6.2), we have, for each t,

du˜dt(t)=f′(t)+g′(t)τvtH−vg(t)τvtδ+h′(t)τvtδ−vh(t)τvtDδ=f′(t)+g′(t)τvtH+[h′(t)−vg(t)]τvtδ−vh(t)τvtDδ.(6.4)

On the other hand, from theorem 4.1 with a = f(t), b = f(t) + g(t) and m = h(t), we have, for each t,

φ∘u˜(t)=φ∘[f(t)+g(t)τvtH+h(t)τvtδ]=τvt{φ∘[f(t)+g(t)H+h(t)δ]=τvt{φ[f(t)]+[φ(f(t)+g(t))−φ(f(t)]H+h(t)Wφ[f(t)+α(0)h(t)+qg(t)]δ}=φ[f(t)]+[φ(f(t)+g(t))−φ(f(t)]τvtH+h(t)Wφ[f(t)+α(0)h(t)+qg(t)]τvtδ,D[φ∘u˜(t)]=[φ(f(t)+g(t))−φ(f(t)]τvtδ+h(t)Wφ[f(t)+α(0)h(t)+qg(t)]τvtDδ.(6.5)

Thus, using (6.4) and (6.5), (5.1) turns out to be

f′(t)+g′(t)τvtH+[h′(t)−vg(t)+φ(f(t)+g(t))−φ(f(t))−k]τvtδ+h(t){Wφ[f(t)+α(0)h(t)+qg(t)]−v}τvtDδ=0.

Therefore, (6.2) is an α-solution of (5.1) if and only if, for each t, the following four equations are satisfied

f′(t)=0, g′(t)=0,(6.6)

h′(t)=k+vg(t)−φ(f(t)+g(t))+φ(f(t)),(6.7)

h(t){Wφ[f(t)+α(0)h(t)+qg(t)]−v}=0.(6.8)

Also from (6.1) and (6.2) we can write

f(0)+g(0)H+h(0)δ=u1+(u2−u1)H,

and f(0) = u₁, g(0) = u₂ − u₁ and h(0) = 0 follows. Thus, applying (6.6), (6.7) and (6.8) we conclude that (6.2) satisfies the problem (5.1), (6.1) if and only if for each t, the following four equations are satisfied

f(t)=u1, g(t)=u2−u1,(6.9)

h′(t)=k+v(u2−u1)−[φ(u2)−φ(u1)]=A,(6.10)

h(t){Wφ[pu1+qu2+α(0)h(t)]−v}=0.(6.11)

From (6.10) we have h(t) = At, and so, (6.2) is an α-solution of (5.1), (6.1) if and only if, for all t,

At{Wφ[pu1+qu2+α(0)At]−v}=0.(6.12)

(a)
If A = 0, (6.12) is satisfied and (I) follows.
(b)
If A ≠ 0 and ϕ′ = 0, then, by Lemma 4.1 (c) with a = u₁ and b = u₂, W_ϕ = 0 and (6.12) is satisfied if and only if v = 0. Hence, (II) follows.
(c)
If A ≠ 0, and ϕ′ ≠ 0, (6.12) is satisfied if and only if, for all t ≠ 0,
Wφ[pu1+qu2+α(0)At]=v.(6.13)

Let us suppose α(0) = 0. Then by Lemma 4.1 (b), (6.13) is satisfied if and only if
v={φ(u2)−φ(u1)u2−u1if u2≠u1,φ′(u1)if u2=u1.(6.14)

Thus, if α(0) = 0, (III) and (IV) follows.

Let us suppose α(0) ≠ 0. Then, from (6.13) we have necessarily
Wφ′[pu1+qu2+α(0)At]α(0)A=0,
which means that, for all t ≠ 0,
Wφ′[pu1+qu2+α(0)At]=0.

Then, we conclude that W′_ϕ = 0: actually, if W′_ϕ ≠ 0, since W′_ϕ is an entire function (see Lemma 4.1 (a)), for each t ≠ 0 the number pu₁ + qu₂ + α(0)At would be a zero of W′_ϕ, which is impossible because the zeros of an entire function that does not vanishes are isolated points.

As a consequence, W_ϕ is a constant function and applying Lemma 4.1 (b), we have
Wφ=Wφ(pu1+qu2)={φ(u2)−φ(u1)u2−u1if u1≠u2,φ′(u1)if u1=u2.

Therefore, (6.13) turns out to be (6.14).

Thus, if α(0) ≠ 0, (III) and (IV) follows again.
(d)
Clearly, in all cases, the α-solution (6.3) is unique in W˜ and independent on α.
As a consequence of definition 5.2, we can say that the problem (1.1), (1.2) has an unique α-solution within W, independent on α and given by (1.3).

Corollary 6.1.

If the Riemann problem (5.1), (6.1) with k = 0 has an α-solution u˜∈W˜, then A = 0.

Proof

Suppose k = 0. Then A = v(u₂ − u₁) − [ϕ(u₂) − ϕ(u₁)], and if u₁ = u₂, A = 0 follows. If u₁ ≠ u₂, the following cases of theorem 6.1 cannot be applied:

case (II), because if ϕ′ = 0 and v = 0 then ϕ is a constant function and A = 0 follows;
case (III); because, in this case, u₁ = u₂;
case (IV); because if v=φ(u2)−φ(u1)u2−u1, then A = 0 follows.

Thus, by theorem 6.1, only case (I) can be applied and A = 0 follows again.

As a consequence of definition 5.2, we can say that if the Riemann problem (1.5), (1.2) has an α-solution in W, this α-solution is given by the constant state u(x, t) = u₁, if u₁ = u₂, or by the travelling shock wave u(x, t) = u₁ + (u₂ − u₁)H(x − vt), if u₁ ≠ u₂. Thus, as we said in the introduction, the Riemann problem (1.5), (1.2) cannot develop nor delta waves neither delta shock waves in W.

7. Examples

(a)
Let us consider the following Riemann problem
ut+(u22)x=δ(x−vt),(7.1)

u(x,0)=1−H(x).

Since φ(u)=u22, k = 1, u₁ = 1 and u₂ = 0, by theorem 6.1 it follows A=32−v, and only cases (I) and (IV) of this theorem can be applied. Hence, this problem has an α-solution in W if and only if v=32 or v=12.

If v=32, then A = 0 and the unique α-solution in W is the travelling shock wave
u(x,t)=1−H(x−32t),(7.2)
propagating with speed 32. Thus, as we said in the introduction, (7.2) shows that the impulsive source does not necessarily imply the appearing of an impulse in the solution. Also recalling that the unique solution of the problem ut+(u22)x=0, u(x, 0) = 1 − H(x) is the travelling wave
u(x,t)=1−H(x−12t),(7.3)
it is interesting to note that, among all impulse sources of the form δ(x − vt), only the one with speed v=32 is able to modify the speed of the travelling wave (7.3).

If v=12, we have A = 1 and the unique α-solution in W is the delta shock wave
u(x,t)=1−H(x−12t)+tδ(x−12t).(7.4)
(b)
For the problem
ut+(u22)x=δ(x−vt),u(x,0)=1,
since u₁ = u₂ = 1, we have A = 1 and only case (III) of theorem 6.1 can be applied. We conclude that this problem has an α-solution in W if and only if v = 1; this α-solution is unique, independent on α, and is given by the delta wave
u(x,t)=1+tδ(x−t).(7.5)
(c)
For the problem
ut+(u22+u)x=δ(x−vt),u(x,0)=0,
we have φ(u)=u22+u, k = 1, u₁ = u₂ = 0, A = 1. Thus, this problem has an α-solution in W if and only if v = ϕ′(0) = 1. This α-solution is unique in W, is independent of α, and is given by
u(x,t)=tδ(x−t).(7.6)

Final comment: Interpreting u as a density of mass, any of the solutions (7.4), (7.5) or (7.6) shows concentration of matter in a moving point. The more interesting one is perhaps the solution (7.6) where this concentration is obtained from a vanishing initial condition! Such concentrations of matter in a single point may be associated to the formation of galaxies in one-dimensional models of universe. Recall that the Burgers equation can be seen as a drastic simplification of the Navier-Stokes equation.

Acknowledgments

The present reserch was supported by Natural Funding from FCT – Fundação para a Ciência e a Tecnologia, under the project UID/MAT/04561/2019.

References

[1]A. Bressan and F. Rampazzo, On differential systems with vector valued impulsive controls, Bull. Un. Mat. Ital, Vol. 2B, No. 7, 1988, pp. 641-656.

[2]J.F. Colombeau and A. Le Roux, Multiplication of distributions in elasticity and hydrodynamics, J. Math. Phys, Vol. 29, 1988, pp. 315-319.

[3]G. Dal Maso, P. LeFloch, and F. Murat, Definitions and weak stability of nonconservative products, J. Math. Pure Appl, Vol. 74, 1995, pp. 483-548.

[4]V.G. Mitrovic and D. Danilov, Delta shock wave formation in the case of triangular hyperbolic system of conservation laws, J. Differ. Equations, Vol. 245, 2008, pp. 3704-3734.

[5]H. Kalisch and D. Mitrovic, Singular solutions of a Fully Nonlinear 2 × 2 System of Conservation Laws, Proc. Edinb. Math. Soc., Vol. 55, No. 3, 2012, pp. 711-729. (2)

[6]D. Mitrovic, V. Bojkovic, and V.G. Danilov, Linearization of the Riemann problem for a triangular system of conservation laws and delta shock wave formation process, Math. Method. Appl. Sci, Vol. 33, 2010, pp. 904-921.

[7]C.O.R. Sarrico, About a family of distributional products important in the applications, Port. Math, Vol. 45, 1988, pp. 295-316.

[8]C.O.R. Sarrico, Distributional products and global solutions for nonconservative inviscid Burgers equation, J. Math. Anal. Appl, Vol. 281, 2003, pp. 641-656.

[9]C.O.R. Sarrico, The multiplication of distributions and the Tsodyks model of synapses dynamics, Int. J. Math. Anal, Vol. 6, No. 21, 2012, pp. 999-1014.

[10]C.O.R. Sarrico, A distributional product approach to δ -shock wave solutions for a generalized pressureless gas dynamics system, Int. J. Math, Vol. 25, No. 1, 2014, pp. 1450007. (12 pages)

[11]C.O.R. Sarrico, The Riemann problem for the Brio system: A solution containing a Dirac mass obtained via a distributional product, Russ. J. Math. Phys, Vol. 22, No. 4, 2015, pp. 518-527.

[12]C.O.R. Sarrico and A. Paiva, The multiplication of distributions in the study of a Riemann problem in fluid dynamics, J. Nonlinear Math. Phy, Vol. 24, No. 3, 2017, pp. 328-345.

[13]C.O.R. Sarrico and A. Paiva, Newton second law and the multiplication of distributions, J. Math. Phys, Vol. 59, No. 013505, 2018.

[14]C.O.R. Sarrico and A. Paiva, Delta shock waves in the shallow water system, J. Dynam. Differential Equations, Vol. 30, No. 3, 2018, pp. 1187-1198.

[15]C.O.R. Sarrico, Multiplication of distributions and a nonlinear model in elastodynamics, Pacific Journal of Mathematics, Vol. 294, No. 1, 2018.

[16]S.F. Schandarin and Y.B. Zeldovich, The Large scale structure of the universe: Turbulence, intermittency, structures in a selfgravitating medium, Rev. Mod. Phys, Vol. 61, 1989, pp. 185-220.

[17]Chun Shen and Meina Sun, A distributional product approach to the delta shock wave solution for the one-dimensional zero-pressure gas dynamic system, International Journal of Nonlinear Mechanics, Vol. 105, 2018, pp. 105-112.

[18]L. Schwartz, Théorie des distributions, Hermann, Paris, 1965.

<Previous Article In Issue

Download article (PDF)

Next Article In Issue>

Journal: Journal of Nonlinear Mathematical Physics
Volume-Issue: 26 - 2
Pages: 214 - 227
Publication Date: 2021/01/06
ISSN (Online): 1776-0852
ISSN (Print): 1402-9251
DOI: 10.1080/14029251.2019.1591718 How to use a DOI?
Open Access: This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

ris enw bib

TY  - JOUR
AU  - C.O.R. Sarrico
PY  - 2021
DA  - 2021/01/06
TI  - Delta shock waves in conservation laws with impulsive moving source: some results obtained by multiplying distributions
JO  - Journal of Nonlinear Mathematical Physics
SP  - 214
EP  - 227
VL  - 26
IS  - 2
SN  - 1776-0852
UR  - https://doi.org/10.1080/14029251.2019.1591718
DO  - 10.1080/14029251.2019.1591718
ID  - Sarrico2021
ER  -

download .riscopy to clipboard

Journal of Nonlinear Mathematical Physics

Delta shock waves in conservation laws with impulsive moving source: some results obtained by multiplying distributions

1. Introduction and contents

2. The multiplication of distributions

The construction of a general product in 𝒟′

How to get a product consistent with the Schwartz product of a distribution with a C∞-function?

How to obtain the consistency to all Schwartz products of D′p-distributions with Cp-functions?

Other products we need in the present paper

3. Powers of distributions

Theorem 3.1.

4. Composition of entire functions with distributions

Lemma 4.1.

Theorem 4.1.

5. The α-solution concept

Definition 5.1.

Theorem 5.1.

Theorem 5.2.

Definition 5.2.

6. The Riemann problem (1.1), (1.2)

Theorem 6.1.

Proof.

Corollary 6.1.

Proof

7. Examples

Acknowledgments

References

Cite this article

How to get a product consistent with the Schwartz product of a distribution with a C^∞-function?

How to obtain the consistency to all Schwartz products of D′^p-distributions with C^p-functions?