On the long time behavior of almost periodic entropy solutions to scalar conservation laws

TL;DR

This paper characterizes the long-term decay and asymptotic behavior of almost periodic entropy solutions to scalar conservation laws, identifying conditions for convergence to traveling waves and describing the flux function's properties.

Contribution

It establishes the precise decay conditions for multidimensional solutions and proves convergence to traveling waves in one dimension, linking flux function properties to the limit profile.

Findings

Decay conditions for multidimensional solutions

Asymptotic convergence to traveling waves in 1D

Flux function is affine on the minimal segment of the limit profile

Abstract

We found the precise condition for the decay as $t\to\infty$ of Besicovitch almost periodic entropy solutions of multidimensional scalar conservation laws. Moreover, in the case of one space variable we establish asymptotic convergence of the entropy solution to a traveling wave (in the Besicovitch norm). Besides, the flux function turns out to be affine on the minimal segment containing the essential range of the limit profile while the speed of the traveling wave coincides with the slope of the flux function on this segment.

Equations

$$u_t+{\mathrm{div}}_x\phi (u)=0,u=u(t,x),(t,x)\in \Pi .$$

$$u(0,x)=u_0(x)\in L^{\infty }({\mathbb{R}}^n).$$

$$\frac{\partial }{\partial t}|u-k|+{\mathrm{div}}_x[\mathrm{sign}(u-k)(\phi (u)-\phi (k))]\le 0$$

$${\mathrm{esslim}}_{t\to 0+}u(t,\cdot )=u_0\text{mbox}in{L}_{loc}^1({\mathbb{R}}^n).$$

$${\int }_{\Pi }[|u-k|h_t+\mathrm{sign}(u-k)(\phi (u)-\phi (k))\cdot {\nabla }_{x}h]dtdx\ge 0,$$

$$\{x=(x_1,\dots ,x_n)\in {\mathbb{R}}^n||x{|}_{\infty }=\underset{i=1,\dots ,n}{\max }|x_i|\le R/2\},R>0.$$

$$N_1(u)=\underset{R\to +\infty }{\mathrm{limsup}}{R}^{-n}{\int }_{C_R}|u(x)|dx,u(x)\in L_{loc}^1({\mathbb{R}}^n).$$

$$B^1({\mathbb{R}}^n)=\{u\in L_{loc}^1({\mathbb{R}}^n)|N_1(u)<+\infty \},B_0^1({\mathbb{R}}^n)=\{u\in L_{loc}^1({\mathbb{R}}^n)|N_1(u)=0\}.$$

$$\bar{u}=\text{vbox}-{\int }_{{\mathbb{R}}^n}u(x)dx\doteq \underset{R\to +\infty }{\lim }{R}^{-n}{\int }_{C_R}u(x)dx$$

$$a_{\lambda }=\text{vbox}-{\int }_{{\mathbb{R}}^n}u(x)e^{-2\pi i\lambda \cdot x}dx,\lambda \in {\mathbb{R}}^n.$$

$$Sp(u)=\{\lambda \in {\mathbb{R}}^n|a_{\lambda }\ne 0\}$$

$$N_1(u(t,\cdot )-v(t,\cdot ))\le N_1(u_0-v_0).$$

$$|u-v{|}_t+{\mathrm{div}}_x[\mathrm{sign}(u-v)(\phi (u)-\phi (v))]\le 0\text{mbox}in{\mathcal{D}}^{\prime }(\Pi ).$$

$${\int }_0^{\infty }\left(R^{-n}{\int }_{{\mathbb{R}}^n}|u(t,x)-v(t,x)|g(x/R)dx\right)h^{\prime }(t)dt+$$

$$R^{-n-1}{\int }_{\Pi }\mathrm{sign}(u-v)(\phi (u)-\phi (v))\cdot {\nabla }_{y}g(x/R)h(t)dtdx\ge 0.$$

$$R^{-n-1}\left|{\int }_{\Pi }\mathrm{sign}(u-v)(\phi (u)-\phi (v))\cdot {\nabla }_{y}g(x/R)h(t)dtdx\right|\le$$

$$R^{-1}\Vert \phi (u)-\phi (v){\Vert }_{\infty }{\int }_{\Pi }|{\nabla }_{y}g|(y)h(t)dtdy\le \frac{A}{R}{\int }_0^{+\infty }h(t)dt,$$

$$I_R(t)=R^{-n}{\int }_{{\mathbb{R}}^n}|u(t,x)-v(t,x)|g(x/R)dx.$$

$${\int }_0^{+\infty }(I_R(t)-At/R)h^{\prime }(t)dt={\int }_0^{+\infty }{I}_R(t)h^{\prime }(t)dt+\frac{A}{R}{\int }_0^{+\infty }h(t)dt\ge 0$$

$$I_R(t)\le I_R(0)+At/R,$$

$$R^{-n}{\int }_{C_R}|u(t,x)-v(t,x)|dx\le I_R(t)\le$$

$$R^{-n}{\int }_{C_{kR}}|u(t,x)-v(t,x)|dx=k^n(kR{)}^{-n}{\int }_{C_{kR}}|u(t,x)-v(t,x)|dx,$$

$$N_1(u(t,\cdot )-v(t,\cdot ))\le \underset{R\to +\infty }{\mathrm{limsup}}{I}_R(t)\le k^n{N}_1(u(t,\cdot )-v(t,\cdot )).$$

$$\forall \xi \in M_0,\xi \ne 0\text{mbox}thefunctionsu\to \xi \cdot \phi (u)$$

$$\text{mbox}arenotaffineinanyvicinityofI=\overline{u_0}.$$

$$\underset{t\to +\infty }{\lim }u(t,\cdot )=I\text{mbox}in{\mathcal{B}}^1({\mathbb{R}}^n).$$

$$\forall \xi \in {\mathcal{L}}^{\prime },\xi \ne 0\text{mbox}thefunctionsu\to \xi \cdot \phi (u)$$

$$\text{mbox}arenotaffineinanyvicinityofI={\int }_{{\mathbb{T}}^n}{u}_0(x)dx$$

$$\underset{t\to +\infty }{\lim }{\int }_{{\mathbb{T}}^n}|u(t,x)-I|dx=0.$$

$$u_t+\phi (u{)}_x=0,$$

$$b=\min \{k\in \mathbb{R}|(v-k{)}^{+}=\max (v-k,0)=0\text{mbox}in{\mathcal{B}}^1(\mathbb{R})\},$$

$$a=\max \{k\in \mathbb{R}|(k-v{)}^{+}=0\text{mbox}in{\mathcal{B}}^1(\mathbb{R})\}.$$

$$\underset{t\to +\infty }{\lim }(u(t,x)-v(x-ct))=0\text{mbox}in{\mathcal{B}}^1(\mathbb{R}).$$

Full text

1 Introduction

In the half-space $\Pi=\mathbb{R}_{+}\times\mathbb{R}^{n}$, where $\mathbb{R}_{+}=(0,+\infty)$, we consider a conservation law

[TABLE]

The flux vector $\varphi(u)=(\varphi_{1}(u),\ldots,\varphi_{n}(u))$ is supposed to be merely continuous: $\varphi(u)\in C(\mathbb{R},\mathbb{R}^{n})$. Recall the notion of Kruzhkov entropy solution of the Cauchy problem for equation (1.1) with initial condition

[TABLE]

Definition 1.1** ([6]).**

A bounded measurable function $u=u(t,x)\in L^{\infty}(\Pi)$ is called an entropy solution (e.s.) of (1.1), (1.2) if for all $k\in\mathbb{R}$

[TABLE]

in the sense of distributions on $\Pi$ (in $\mathcal{D}^{\prime}(\Pi)$), and

[TABLE]

Here {\rm sign}\,u=\left\{\begin{array}[]{rr}1,&u>0,\\ -1,&u\leq 0\end{array}\right. and relation (1.3) means that for each test function $h=h(t,x)\in C_{0}^{1}(\Pi)$, $h\geq 0$,

[TABLE]

where $\cdot$ denotes the inner product in $\mathbb{R}^{n}$.

Taking in (1.3) $k=\pm R$, where $R\geq\|u\|_{\infty}$, we obtain that $u_{t}+{\rm div}_{x}\varphi(u)=0$ in $\mathcal{D}^{\prime}(\Pi)$, that is an e.s. $u=u(t,x)$ is a weak solutions of this equation as well.

The existence of e.s. of (1.1), (1.2) follows from the general result of [12, Theorem 3]. In the case under consideration when the flux vector is only continuous the effect of infinite speed of propagation appears, which may even leads to the nonuniqueness of e.s. if $n>1$, see examples in [7, 8, 12], where exact sufficient conditions of the uniqueness were also found. Nevertheless, if an initial function $u_{0}$ is periodic in $\mathbb{R}^{n}$ ( at least in $n-1$ independent directions ), then the e.s. of (1.1), (1.2) is unique and $x$-periodic, see [11], as well as the more general result [12, Theorem 11].

We will study problem (1.1), (1.2) in the class of Besicovitch almost periodic functions. Let $C_{R}$ be the cube

[TABLE]

We define the seminorm

[TABLE]

Recall ( see [1, 9] ) that the Besicovitch space $\mathcal{B}^{1}(\mathbb{R}^{n})$ is the closure of trigonometric polynomials, i.e. finite sums $\sum a_{\lambda}e^{2\pi i\lambda\cdot x}$ with ${i^{2}=-1}$, $\lambda\in\mathbb{R}^{n}$, in the quotient space $B^{1}(\mathbb{R}^{n})/B^{1}_{0}(\mathbb{R}^{n})$, where

[TABLE]

The space $\mathcal{B}^{1}(\mathbb{R}^{n})$ is equipped with the norm $\|u\|_{1}=N_{1}(u)$ ( we identify classes in the quotient space $B^{1}(\mathbb{R}^{n})/B^{1}_{0}(\mathbb{R}^{n})$ and their representatives ). The space $\mathcal{B}^{1}(\mathbb{R}^{n})$ is a Banach space, it is isomorphic to the completeness of the space $AP(\mathbb{R}^{n})$ of Bohr almost periodic functions with respect to the norm $N_{1}$. It is known (see for instance [1] ) that for each function $u\in\mathcal{B}^{1}(\mathbb{R}^{n})$ there exists the mean value

[TABLE]

and, more generally, the Bohr-Fourier coefficients

[TABLE]

The set

[TABLE]

is called the spectrum of an almost periodic function $u(x)$. It is known [1], that the spectrum $Sp(u)$ is at most countable.

Now we assume that the initial function $u_{0}(x)\in\mathcal{B}^{1}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})$. Let \displaystyle I=\mathchoice{{\vbox{\hbox{\textstyle- }}\kern-7.44173pt}}{{\vbox{\hbox{\scriptstyle- }}\kern-5.60507pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.51254pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.03754pt}}\!\int_{\mathbb{R}^{n}}u_{0}(x)dx, and $M_{0}$ be the smallest additive subgroup of $\mathbb{R}^{n}$ containing $Sp(u_{0})$.

It was shown in [17] that an e.s. $u(t,x)$ of (1.1), (1.2) is almost periodic with respect to spatial variables. Moreover, $u(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$ (after possible correction on a set of null measure) and ${Sp(u(t,\cdot))\subset M_{0}}$, \displaystyle\mathchoice{{\vbox{\hbox{\textstyle- }}\kern-7.44173pt}}{{\vbox{\hbox{\scriptstyle- }}\kern-5.60507pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.51254pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.03754pt}}\!\int_{\mathbb{R}^{n}}u(t,x)dx=I for all $t\geq 0$. The uniqueness of e.s. $u(t,x)$ in the space $C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$ is a consequence of the following general result [17, Proposition 1.3], which holds for arbitrary bounded and measurable initial functions.

Theorem 1.1**.**

Let $u(t,x),v(t,x)\in L^{\infty}(\Pi)$ be e.s. of (1.1), (1.2) with initial functions $u_{0}(x),v_{0}(x)\in L^{\infty}(\mathbb{R}^{n})$, respectively. Then for a.e. $t>0$

[TABLE]

For completeness we reproduce the proof.

Proof.

Applying Kruzhkov doubling of variables method, we obtain the relation ( see [6, 12] )

[TABLE]

We choose a function $g(y)\in C_{0}^{1}(\mathbb{R}^{n})$ such that $0\leq g(y)\leq 1$, and $g(y)\equiv 1$ in the cube $C_{1}$, $g(y)\equiv 0$ in the complement of the cube $C_{k}$, $k>1$, and a function $h=h(t)\in C_{0}^{1}(\mathbb{R}_{+})$, $h\geq 0$. Applying (1.6) to the test function $f=R^{-n}h(t)g(x/R)$ with $R>0$, we obtain

[TABLE]

Making the change $y=x/R$ in the last integral in (1), we derive the estimate

[TABLE]

where $A=\|\varphi(u)-\varphi(v)\|_{\infty}\int_{\mathbb{R}^{n}}|\nabla_{y}g|(y)dy$. Here and below we use the notation $|z|$ for the Euclidian norm of a finite-dimensional vector $z$. Let

[TABLE]

From (1) and (1) it follows that

[TABLE]

for all $h(t)\in C_{0}^{1}((0,+\infty))$, $h(t)\geq 0$. This means that the generalized derivative $\frac{d}{dt}(I_{R}(t)-At/R)\leq 0$, which readily implies that there exists a set $F\subset(0,+\infty)$ of full Lebesgue measure ( which can be defined as the set of common Lebesgue points of functions $I_{R}(t)$, $R\in\mathbb{Q}$ ) such that $\forall t_{2},t_{1}\in F$, $t_{2}>t_{1}$, $\forall R\in\mathbb{Q}$ $I_{R}(t_{2})-At_{2}/R\leq I_{R}(t_{1})-At_{1}/R$, that is $I_{R}(t_{2})\leq I_{R}(t_{1})+A(t_{2}-t_{1})/R$. By the evident continuity of $I_{R}(t)$ with respect to $R$ the latter relation remains valid for all $R>0$. In the limit as $F\ni t_{1}\to 0$ we obtain, taking into account the initial conditions for e.s. $u,v$, that $\forall t_{2}=t\in F$ for all $R>0$

[TABLE]

where $\displaystyle I_{R}(0)=R^{-n}\int_{\mathbb{R}^{n}}|u_{0}(x)-v_{0}(x)|g(x/R)dx$. By the properties of $g(y)$ we find the inequalities

[TABLE]

which imply that

[TABLE]

In view of (1.10) we derive from (1.9) in the limit as $R\to+\infty$ that $N_{1}(u(t,\cdot)-v(t,\cdot))\leq k^{n}N_{1}(u_{0}-v_{0})$ for all $t\in F$. To complete the proof it only remains to notice that $k>1$ is arbitrary. ∎

Remark 1.1**.**

As was established in [13, Corollary 7.1], after possible correction on a set of null measure any e.s. $u(t,x)\in C(\mathbb{R}_{+},L^{1}_{loc}(\mathbb{R}^{n}))$. In particular, without loss of generality, we may claim that relation (1.9) holds for all $t>0$. This implies in the limit as $R\to+\infty$ that the statement of Theorem 1.1 holds for all $t>0$ as well. The continuity property allows also to replace the essential limit in initial condition (1.4) by the usual one.

The main our results are contained in the following two theorems 1.2, 1.4.

Theorem 1.2**.**

Assume that the following non-degeneracy condition holds for the flux components in “resonant” directions $\xi\in M_{0}$:

[TABLE]

Then an e.s. $u(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$ satisfies the decay property

[TABLE]

Condition (1.2) is precise: if it fails, then there exists an initial data $u_{0}\in\mathcal{B}^{1}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})$ with the properties $Sp(u_{0})\subset M_{0}$, $\overline{u_{0}}=I$, such that the corresponding e.s. $u(t,x)$ of (1.1), (1.2) does not satisfy (1.12).

Remark 1.2**.**

The decay of almost periodic e.s. was firstly studied by H. Frid [5] in the class of Stepanov almost periodic function. This class is natural for the case of smooth flux vector $\varphi(u)$, when an e.s. $u(t,x)$ of (1.1), (1.2) exhibits the property of finite speed of propagation. The decay of such solutions was established in the stronger Stepanov norm but under rather restrictive assumptions on the dependence of the length of inclusion intervals for $\varepsilon$-almost periods of $u_{0}$ on the parameter $\varepsilon$.

Notice that in the case of a periodic function $u_{0}$ the group $M_{0}$ coincides with the dual lattice $\mathcal{L}^{\prime}$ to the lattice $\mathcal{L}$ of periods of $u_{0}$, and in this case theorem 1.2 reduces to the following result [15] ( see also the earlier paper [14] ):

Theorem 1.3**.**

Under the condition

[TABLE]

an e.s. $u(t,x)\in C([0,+\infty),L^{1}(\mathbb{T}^{n}))$ satisfies the decay property

[TABLE]

Here $\mathbb{T}^{n}=\mathbb{R}^{n}/\mathcal{L}$ is the $n$-dimensional torus, and $dx$ is the normalized Lebesgue measure on $\mathbb{T}^{n}$.

Remark that in the case $\varphi(u)\in C^{2}(\mathbb{R},\mathbb{R}^{n})$ the assertion of theorem 1.3 was established in [3]. Now we consider the case of one space variable $n=1$ when (1.1) has the form

[TABLE]

where $\varphi(u)\in C(\mathbb{R})$. As above, we assume that $u_{0}\in\mathcal{B}^{1}(\mathbb{R})\cap L^{\infty}(\mathbb{R})$ and that $M_{0}$ is the additive subgroup of $\mathbb{R}$ generated by $Sp(u_{0})$. For an almost periodic function $v(x)\in\mathcal{B}^{1}(\mathbb{R})$ we denote by $S(v)$ the minimal segment $[a,b]$ containing essential values of $v(x)$. This segment can be defined by the relations

[TABLE]

As is easy to verify, the above minimal and maximal values exist and $a\leq b$.

Our second result is the following unconditional asymptotic property of convergence of an e.s. $u(t,x)$ to a traveling wave:

Theorem 1.4**.**

There is a constant $c\in\mathbb{R}$ (speed) and a function $v(y)\in\mathcal{B}^{1}(\mathbb{R})\cap L^{\infty}(\mathbb{R})$ (profile) such that

[TABLE]

Moreover, $Sp(v)\subset M_{0}$, $\bar{v}=I=\overline{u_{0}}$, and $\varphi(u)-cu={\rm const}$ on the segment $S(v)$.

We remark, in addition to theorem 1.4, that the profile $v(y)$ of the traveling wave and, if $v\not\equiv{\rm const}$, its speed $c$ are uniquely defined. Indeed, if (1.16) holds with $v=v_{1},v_{2}$, $c=c_{1},c_{2}$, respectively, then $v_{1}(x-c_{1}t)-v_{2}(x-c_{2}t)\to 0$ in $\mathcal{B}^{1}(\mathbb{R})$ as $t\to+\infty$, which implies the relation

[TABLE]

By the known property of almost periodic functions ( see, for example, [1] ), there exists a sequence $t_{r}\to+\infty$ such that $v_{2}(y+(c_{1}-c_{2})t_{r})\mathop{\to}\limits_{r\to\infty}v_{2}(y)$ in $\mathcal{B}^{1}(\mathbb{R})$ (this is evident if $c_{1}=c_{2}$). On the other hand, in view of (1.17) $v_{2}(y+(c_{1}-c_{2})t_{r})\mathop{\to}\limits_{r\to\infty}v_{1}(y)$ in $\mathcal{B}^{1}(\mathbb{R})$ and hence $v_{1}=v_{2}$ in $\mathcal{B}^{1}(\mathbb{R})$. Further, if $\Delta c=c_{1}-c_{2}\not=0$, then it follows from (1.17) in the limit as $t=t_{r}+h/\Delta c\to+\infty$ that $v_{2}(y)=v_{2}(y+h)$ in $\mathcal{B}^{1}(\mathbb{R})$ for each $h\in\mathbb{R}$. Therefore,

[TABLE]

Thus, for the nonconstant profile $v=v_{2}$ the speed $c_{1}=c_{2}=c$ is uniquely determined. We also remark that $\|v\|_{\infty}\leq\|u_{0}\|_{\infty}$ because by the maximum principle $|u(t,x)|\leq\|u_{0}\|_{\infty}$ a.e. in $\Pi$.

Theorem 1.4 defines the nonlinear operator $T$ on $\mathcal{B}^{1}(\mathbb{R})\cap L^{\infty}(\mathbb{R})$, which associates an initial function $u_{0}$ with the profile $v(y)=T(u_{0})(y)$ of the limit traveling wave for the corresponding e.s. of problem (1.15), (1.2). In theorem 3.1 below we establish that $T$ does not increase the distance in $\mathcal{B}^{1}(\mathbb{R})$.

Remark 1.3**.**

In the case $n=1$ the statement of theorem 1.2 follows from theorem 1.4. Indeed, under the assumptions of theorem 1.2, $v(y)=I$ in $\mathcal{B}^{1}(\mathbb{R})$. Otherwise, $a<I<b$, where $[a,b]=S(v)$ and, by theorem 1.4, $\varphi(u)=cu+{\rm const}$ in the vicinity $(a,b)$ of $I$. But the latter contradicts to assumption (1.2) of theorem 1.2.

Note that in the periodic case theorems 1.4, 3.1 were proved in [16].

2 Proof of theorem 1.2

We assume firstly that the initial function is a trigonometric polynomial $\displaystyle u_{0}(x)=\sum_{\lambda\in\Lambda}a_{\lambda}e^{2\pi i\lambda\cdot x}$. Here $\Lambda=Sp(u_{0})\subset\mathbb{R}^{n}$ is a finite set. The minimal additive subgroup $M_{0}\doteq M(u_{0})$ of $\mathbb{R}^{n}$ containing $\Lambda$ is a finite generated torsion-free abelian group and therefore it is a free abelian group of finite rank (see [10]). Therefore, there is a basis $\lambda_{j}\in M_{0}$, $j=1,\ldots,m$, so that every element $\lambda\in M_{0}$ can be uniquely represented as $\displaystyle\lambda=\lambda(\bar{k})=\sum_{j=1}^{m}k_{j}\lambda_{j}$, $\bar{k}=(k_{1},\ldots,k_{m})\in\mathbb{Z}^{m}$. In particular, the vectors $\lambda_{j}$, $j=1,\ldots,m$, are linearly independent over the field of rational numbers $\mathbb{Q}$. We introduce the finite set $J=\{\ \bar{k}\in\mathbb{Z}^{m}\ |\ \lambda(\bar{k})\in\Lambda\ \}$ and represent the initial function as

[TABLE]

By this representation $u_{0}(x)=v_{0}(y(x))$, where

[TABLE]

is a periodic function on $\mathbb{R}^{m}$ with the standard lattice of periods $\mathbb{Z}^{m}$ while $y(x)$ is a linear map from $\mathbb{R}^{n}$ to $\mathbb{R}^{m}$ defined by the equalities $\displaystyle y_{j}=\lambda_{j}\cdot x=\sum_{i=1}^{n}\lambda_{ji}x_{i}$, $\lambda_{ji}$, $i=1,\ldots,n$, being coordinates of the vectors $\lambda_{j}$, $j=1,\ldots,m$. We consider the conservation law

[TABLE]

$\tilde{\varphi}(v)=(\tilde{\varphi}_{1}(v),\ldots,\tilde{\varphi}_{m}(v))$, where

[TABLE]

As was shown in [11, 12], there exists a unique e.s. $v(t,y)\in L^{\infty}(\mathbb{R}_{+}\times\mathbb{R}^{m})$ of the Cauchy problem for equation (2.1) with initial function $v_{0}(y)$ and this e.s. is $y$-periodic, i.e. $v(t,y+e)=v(t,y)$ a.e. in $\mathbb{R}_{+}\times\mathbb{R}^{m}$ for all $e\in\mathbb{Z}^{m}$. Besides, in view of [13, Corollary 7.1], we may suppose that $v(t,\cdot)\in C([0,+\infty),L^{1}(\mathbb{T}^{m}))$, where $\mathbb{T}^{m}=\mathbb{R}^{m}/\mathbb{Z}^{m}$ is an $m$-dimensional torus ( which may be identified with the fundamental cube $[0,1)^{m}$ ). Formally, for $u(t,x)=v(t,y(x))$

[TABLE]

However, these reasons are correct only for classical solutions. In the general case $v(t,y)\in L^{\infty}(\mathbb{R}_{+}\times\mathbb{R}^{m})$ the range of $y(x)$ may be a proper subspace of $\mathbb{R}^{m}$ (for example, this is always true if $m>n$), and the composition $v(t,y(x))$ is not even defined. The situation is saved by introduction of additional variables $z\in\mathbb{R}^{m}$. Namely, the linear change $(z,x)\to(z+y(x),x)$ is not degenerated, i.e. it is a linear automorphism of $\mathbb{R}^{m}\times\mathbb{R}^{n}$. Since $v(t,y)$ is an e.s. of equation (2.1) considered in the extended half-space $t>0$, $(y,x)\in\mathbb{R}^{m+n}$, then the function $u(t,z,x)=v(t,z+y(x))$ satisfies the relations

[TABLE]

for all $k\in\mathbb{R}$. Evidently, the initial condition

[TABLE]

is also satisfied, therefore $u(t,z,x)$ is an e.s. of (1.1), (1.2) in the extended domain $\mathbb{R}_{+}\times\mathbb{R}^{m+n}$. Since equation (1.1) does not contain the auxiliary variables $z\in\mathbb{R}^{m}$, then ( cf. [17, Theorem 2.1] ) for all $z\in E\subset\mathbb{R}^{m}$, where $E$ is a set of full measure, the function $v(t,z+y(x))$ is an e.s. of (1.1), (1.2) with initial data $v_{0}(z+y(x))\in\mathcal{B}^{1}(\mathbb{R}^{n})$. Therefore, $v(t,z+y(x))=u^{z}(t,x)$ a.e. in $\Pi$, where, in accordance with [17, Theorem 1.6], $u^{z}(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$ is a unique almost periodic e.s. of (1.1), (1.2). Therefore, we may find a countable dense set $S\subset\mathbb{R}_{+}$ and a subset $E_{1}\subset E$ of full measure such that $u^{z}(t,x)=v(t,z+y(x))$ in $\mathcal{B}^{1}(\mathbb{R})$ for all $t\in S$, $z\in E_{1}$.

Further, as follows from independence of the vectors $\lambda_{j}$, $j=1,\ldots,m$, over $\mathbb{Q}$, the action of the additive group $\mathbb{R}^{n}$ on the torus $\mathbb{T}^{m}$ defined by the shift transformations $T_{x}z=z+y(x)$, $x\in\mathbb{R}^{n}$, is ergodic, see [17] for details. By the variant of Birkhoff individual ergodic theorem [4, Chapter VIII] for every $w(y)\in L^{1}(\mathbb{T}^{m})$ for a.e. $z\in\mathbb{T}^{m}$ there exists the mean value

[TABLE]

In view of (2.2), there exists a set $E_{2}\subset E_{1}$ of full measure such that for $z\in E_{2}$ and all $t\in S$

[TABLE]

Since $u^{z}(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$, $v(t,\cdot)\in C([0,+\infty),L^{1}(\mathbb{T}^{m}))$, while the set $S$ is dense in $[0,+\infty)$, we find that property

[TABLE]

remains valid for all $t\geq 0$. Observe that $v_{0}(z+y(x))\to v_{0}(y(x))=u_{0}(x)$ as $z\to 0$ in $\mathcal{B}^{1}(\mathbb{R}^{n})$ (and even in $AP(\mathbb{R}^{n})$). Hence, by theorem 1.1 in the limit as $E_{2}\ni z\to 0$  $u^{z}(t,x)\to u(t,x)$ in $C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$, where $u(t,x)$ is the e.s. of original problem (1.1), (1.2). Therefore, relation (2.3) in the limit as $z\to 0$ implies the equality

[TABLE]

Further, for every $\bar{k}=(k_{1},\ldots,k_{m})\in\mathbb{Z}^{m}$

[TABLE]

where $\displaystyle\lambda(\bar{k})=\sum_{j=1}^{m}k_{j}\lambda_{j}\in M_{0}$. By condition (1.2) the functions $u\to\bar{k}\cdot\tilde{\varphi}(u)$ are not affine in any vicinity of $I=\overline{u_{0}}=\int_{\mathbb{T}^{m}}v_{0}(y)dy$. We see that non-degeneracy requirement (1.3) is satisfied, and by [15, Theorem 1.3]

[TABLE]

Now it follows from (2.4) that

[TABLE]

i.e. (1.12) holds.

In the general case $u_{0}\in\mathcal{B}^{1}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})$ we choose a sequence $u_{0m}$, $m\in\mathbb{N}$, of trigonometric polynomials converging to $u_{0}$ in $\mathcal{B}^{1}(\mathbb{R}^{n})$ and such that $Sp(u_{0m})\subset M_{0}$, $\overline{u_{0m}}=I$ (for instance, we may choose the Bochner-Fejér trigonometric polynomials, see [1] ). Let $u_{m}(t,x)$ be the corresponding sequence of e.s. of (1.1), (1.2) with initial data $u_{0m}(x)$, $m\in\mathbb{N}$. By theorem 1.1 and remark 1.1 this sequence converges as $m\to\infty$ to the e.s. $u(t,x)$ of the original problem in $C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$. We has already established that under condition (1.2) e.s. $u_{m}(t,x)$ satisfy the decay property

[TABLE]

Passing to the limit as $m\to\infty$ in this relation and taking into account the uniform convergence $u_{m}(t,\cdot)\mathop{\to}\limits_{m\to\infty}u(t,\cdot)$ in $\mathcal{B}^{1}(\mathbb{R}^{n})$, we obtain (1.12).

In conclusion, we demonstrate that condition (1.2) is precise. Indeed, if this condition is violated, then there is a nonzero vector $\xi\in M_{0}$ such that $\xi\cdot\varphi(u)=\tau u+c$ on some segment $[I-\delta,I+\delta]$, where $\tau,c,\delta\in\mathbb{R}$ and $\delta>0$. Obviously, the function

[TABLE]

is an e.s. of (1.1), (1.2) with the periodic initial function $u_{0}(x)=I+\delta\sin(2\pi(\xi\cdot x))$. We see that $\overline{u_{0}}=I$, $Sp(u_{0})\subset\{-\xi,0,\xi\}\subset M_{0}$ but the e.s. $u(t,x)$ does not converge to a constant in $\mathcal{B}^{1}(\mathbb{R}^{n})$ as $t\to+\infty$.

The proof of theorem 1.2 is complete.

3 Proof of theorem 1.4

If the flux function $\varphi(u)$ is not affine in any vicinity of $I$, then by theorem 1.2 the function $v(y)\equiv I$, and the segment $S(v)=[I,I]=\{I\}$. Otherwise, suppose that the function $\varphi(u)$ is affine in a certain maximal interval $(a,b)$, where $-\infty\leq a<I<b\leq+\infty$: $\varphi(u)-cu={\rm const}$ in $(a,b)$.

Assuming that $b<+\infty$, we define $u_{+}=u_{+}(t,x)$ as the e.s. of (1.15), (1.2) with initial function $u_{0}(x)+b-I>u_{0}$. By the comparison principle [7, 8, 11, 12] $u_{+}\geq u$ a.e. in $\Pi$. We note that \mathchoice{{\vbox{\hbox{\textstyle- }}\kern-7.44173pt}}{{\vbox{\hbox{\scriptstyle- }}\kern-5.60507pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.51254pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.03754pt}}\!\int_{\mathbb{R}}(u_{0}(x)+b-I)dx=b while $\varphi(u)$ is not affine in any vicinity of $b$ (otherwise, $\varphi(u)$ is affine on a larger interval $(a,b^{\prime})$, $b^{\prime}>b$, which contradicts the maximality of $(a,b)$ ). By theorem 1.2   $u_{+}(t,\cdot)\to b$ in $\mathcal{B}^{1}(\mathbb{R})$ as $t\to+\infty$, and it follows from the inequality $u\leq u_{+}$ that $(u(t,\cdot)-b)^{+}\to 0$ as $t\to+\infty$ in $\mathcal{B}^{1}(\mathbb{R})$. Similarly, if $a>-\infty$, then $u\geq u_{-}$, where $u_{-}=u_{-}(t,x)$ is an e.s. of (1.15), (1.2) with initial function $u_{0}(x)+a-I<u_{0}$. By theorem 1.2 again the function $u_{-}(t,\cdot)\to a$ as $t\to+\infty$ in $\mathcal{B}^{1}(\mathbb{R})$ because \mathchoice{{\vbox{\hbox{\textstyle- }}\kern-7.44173pt}}{{\vbox{\hbox{\scriptstyle- }}\kern-5.60507pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.51254pt}}{{\vbox{\hbox{\scriptscriptstyle- }}\kern-4.03754pt}}\!\int_{\mathbb{R}}(u_{0}(x)+a-I)dx=a while the function $\varphi(u)$ is not affine in any vicinity of $a$. Therefore, $(a-u(t,\cdot))^{+}\mathop{\to}\limits_{t\to+\infty}0$ in $\mathcal{B}^{1}(\mathbb{R})$. The obtained limit relations can be represented in the form

[TABLE]

where $s_{a,b}(u)=\min(b,\max(a,u))$ is the cut-off function at the levels $a,b$ (it is possible that $a=-\infty$ or $b=+\infty$).

We set $w(t,x)=s_{a,b}(u(t,x))$ and choose a strictly increasing sequence $t_{k}>0$ such that $t_{k}\to+\infty$ and $N_{1}(u(t_{k},\cdot)-w(t_{k},\cdot))\leq 2^{-k}$. Since $a\leq w(t,x)\leq b$ while $\varphi(u)=cu+{\rm const}$ on $(a,b)$, then the e.s. of (1.15) with initial data $w(t_{k},x)$ at $t=t_{k}$ has the form $u=w(t_{k},x-c(t-t_{k}))$. By theorem 1.1 (with the initial time $t_{k}$) for all $t>t_{k}$

[TABLE]

Substituting $t=t_{l}$, where $l>k$, into this inequality, we obtain

[TABLE]

Thus, $w(t_{k},x+ct_{k})$, $k\in\mathbb{N}$, is a Cauchy sequence in $\mathcal{B}^{1}(\mathbb{R})$. Therefore, this sequence converges as $k\to\infty$ to some function $v(x)\in\mathcal{B}^{1}(\mathbb{R})\cap L^{\infty}(\mathbb{R})$ in $\mathcal{B}^{1}(\mathbb{R})$. It is clear that the segment $S(v)\subset[a,b]$ and therefore $\varphi(u)-cu={\rm const}$ on $S(v)$. Since $Sp(w(t_{k},x+ct_{k}))=Sp(w(t_{k},\cdot))\subset Sp(u(t_{k},\cdot))\subset M_{0}$, the same inclusion holds for the limit function: $Sp(v)\subset M_{0}$. Finally, as follows from theorem 1.1, for $t>t_{k}$

[TABLE]

as $t\to+\infty$ (then also $k=\max\{\ l\ |\ t>t_{l}\ \}\to+\infty$). We see that relation (1.16) is satisfied. To complete the proof of theorem 1.4 it only remains to notice that

[TABLE]

and (1.16) implies that $\overline{v}=I$.

In conclusion we show that the operator $u_{0}\to v=T(u_{0})$, defined in the Introduction, does not increase the distance in $\mathcal{B}^{1}(\mathbb{R})$.

Theorem 3.1**.**

Let $u_{01}(x),u_{02}(x)\in\mathcal{B}^{1}(\mathbb{R})\cap L^{\infty}(\mathbb{R})$ and $v_{1}=T(u_{01})(x)$, $v_{2}=T(u_{02})(x)$. Then

[TABLE]

Proof.

Let $u_{1}(t,x),u_{2}(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}))\cap L^{\infty}(\Pi)$ be e.s. of (1.15), (1.2) with initial data $u_{01}$, $u_{02}$, respectively. By theorem 1.4

[TABLE]

where $c_{1},c_{2}$ are constants. We can choose a sequence $t_{k}>0$ such that $t_{k}\to+\infty$ as $k\to\infty$, and $N_{1}(v_{2}(x+(c_{1}-c_{2})t_{k})-v_{2}(x))\leq 1/k$. Then, with property (1.5) taken into account,

[TABLE]

In the limit as $k\to\infty$ this inequality implies (3.2). ∎

Remark 3.1**.**

In view of theorem 1.1 the map $F$, which associates an initial data $u_{0}\in\mathcal{B}^{1}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})$ with the e.s. $u(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$ of problem (1.1), (1.2), is a uniformly continuous map from $\mathcal{B}^{1}(\mathbb{R}^{n})$ into $C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$. Therefore, it admits the unique continuous extension on the whole space $\mathcal{B}^{1}(\mathbb{R}^{n})$. By analogy with [2] the corresponding function $F(u_{0})=u(t,x)\in C([0,+\infty),\mathcal{B}^{1}(\mathbb{R}^{n}))$ may be called a renormalized solution of (1.1), (1.2) with possibly unbounded almost periodic initial data $u_{0}$. By the approximation techniques all our results can be extended to the case of renormalized almost periodic solutions.

Acknowledgement. This work was supported by the Ministry of Education and Science of the Russian Federation (project no. 1.445.2016/FPM) and by the Russian Foundation for Basic Research (grant no. 15-01-07650-a).