1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2: \documentclass[a4,semcolor,psfig,english,12pt,epsf,portrait]{article}

3: \usepackage{amsmath,amsfonts,latexsym,amscd,amssymb,theorem}

4: 

5: %\usepackage{epsfig}

6: %\usepackage{macros}

7: \tolerance = 1500

8: 

9: %\usepackage[T1]{fontenc}

10: %\usepackage[latin1]{inputenc}

11: \usepackage[T1]{fontenc}

12: %\usepackage[latin1]{inputenc}

13: %\usepackage[french]{babel}

14: \usepackage{epsfig}

15: \usepackage{amsmath}

16: \usepackage{psfrag}

17: %\input epsf

18: 

19: \hoffset = 0pt

20: \voffset = 0pt

21: \textwidth = 448pt

22: \textheight = 622pt

23: \topmargin = 0pt

24: \headheight = 12pt

25: \headsep = 0pt

26: \oddsidemargin = 10pt

27: \evensidemargin = 10pt

28: \marginparwidth = 0pt

29:  \marginparsep = 0pt

30: 

31: 

32: 

33: % %\documentstyle[12pt,fullpage]{article}

34: % \documentclass[10pt]{article}

35: 

36: % \renewcommand{\baselinestretch}{1.2}

37: % %\hoffset = 0pt

38: % %\voffset = 0pt

39: % %\textwidth = 480pt

40: % %\textheight = 640pt

41: % \textwidth = 135 mm

42: % \textheight = 195 mm

43: % %\topmargin = 0pt

44: % %\headheight = 0pt

45: % %\headsep = 0pt

46: % %\oddsidemargin = 0pt

47: % %\evensidemargin = 0pt

48: % %\marginparwidth = 0pt

49: % %\marginparsep = 0pt

50: 

51: % \usepackage{epsfig}

52: % \usepackage{amsmath}

53: % %\input epsf

54:   

55: %\def \R {I\!\!R}

56: %\def \N {I\!\!N}

57: 

58: \def\rt{\tilde{\rho}}

59: \def\div{\hbox{div}}

60: \def\rot{\hbox{rot}}

61: \def\R{\hbox{\bf R}}

62: \def\Z{\hbox{\bf Z}}

63: \def\S{{\bf S}}

64: \def\SS{\Sigma}

65: \def\d{\displaystyle}

66: \def\ss{{\cal S}}

67: \def\div{\hbox{div}}

68: \def\inc{\hbox{inc}}

69: \def\curl{\hbox{curl}}

70: \def\DO{ \partial \Omega }

71: \def\A{{\cal A}}

72: \def\B{{\cal B}}

73: \def\N{\hbox{\bf N}}

74: \def\NN{{\cal N}}

75: \def\HH{{\cal H}}

76: \def\T{\mathbb{ T}}

77: \def\CC{\hbox{\bf C}}

78: \def\H{{\cal H}}

79: \def\I{{\cal I}}

80: \def\F{{\cal F}}

81: \def\g{\gamma}

82: \def\p{\partial}

83: \def\a{\alpha}

84: \def\C{{\cal C}}

85: \def\CI{ C^{\infty}}

86: \def\D{{\cal D}}

87: \def\E{{\cal E}}

88: \def\G{\Gamma}

89: \def\K{{\cal K}}

90: \def\k{\kappa}

91: \def\O{\Omega}

92: \def\oO{\overline{\Omega}}

93: \def\o{\omega}

94: \def\i{\infty}

95: \def\e{\varepsilon}

96: \def\m{\mu}

97: \def\L{\Lambda}

98: \def\l{{\lambda}}

99: \def\s{\sigma}

100: \def\dd{\delta}

101: \def\M{{\cal M}}

102: \def\U{{\cal U}}

103: \def\V{{\cal V}}

104: \def\inm{-\!\!\!\!\!\!\!\!\;\int}

105: \def\bs{\backslash}

106: \def \proof{{\sl Preuve. }}

107: \def \leadsto{\hookrightarrow}

108: \def \card{\hbox{card}}

109: \def \diam{\hbox{\rm diam}}

110: \def\<{\langle}

111: \def\>{\rangle}

112: %\baselineskip = 20pt plus 1pt

113: \pagenumbering{arabic}

114: 

115: \renewcommand{\thesubsection}{\arabic{section}.\arabic{subsection}}

116: \renewcommand{\thesection}{\arabic{section}}

117: \renewcommand{\theequation}{\arabic{section}.\arabic{equation}}

118: \newcommand{\SE}{\setcounter{equation}{0} \section}

119: %\newcommand{\be}{\begin{equation}}

120: %\newcommand{\ee}{\end{equation}}

121: %\newcommand{\baa}{\begin{array}}

122: %\newcommand{\eaa}{\end{array}}

123: \newcommand{\ba}{\begin{eqnarray}}

124: \newcommand{\ea}{\end{eqnarray}}

125: \newcommand{\rf}[1]{(\ref{#1})}

126: \newtheorem{theo}{\bf Theorem}[section]

127: %\newtheorem{theodefi}{\bf Théorème-Définition}[section]

128: \newtheorem{lem}[theo]{\bf \textit{Lemma}}

129: \newtheorem{pro}[theo]{\bf Proposition}

130: \newtheorem{cor}[theo]{\bf Corollary}

131: \newtheorem{defi}[theo]{\bf Definition}

132: \newtheorem{rem}[theo]{\bf Remark}

133: 

134: %\newtheorem{hyp}[theo]{\bf Hypothèse}

135: %\newtheorem{pers}[theo]{\bf Perspectives}

136: \newtheorem{con}[theo]{\bf Conjecture}

137: %\input epsf

138: 

139: \def\vs{\vspace*{0.2cm}}

140: 

141: 

142: %%%%%%%%%%%%%% macros oa %%%%%%%%%%%%%%

143: 

144: \renewcommand{\R}{{\mathbb R}}

145: \renewcommand{\Z}{{\mathbb Z}}

146: \renewcommand{\N}{{\mathbb N}}

147: \newcommand{\dsty}{\displaystyle}

148: \newcommand{\fois}{\times}

149: \newcommand{\iy}{\infty}

150: \renewcommand{\g}{\gamma}

151: \renewcommand{\p}{\partial}

152: \newcommand{\norme}[1]{\|#1\|}

153: \newcommand{\normi}[2]{\|#2\|_{#1}}

154: \newcommand{\demi}{\frac12}

155: 

156: 

157: 

158: %\linespread{2}

159: \begin{document}

160: 

161: %\baselineskip = 20pt plus 1pt

162: \title{\bf Global continuous solutions\\

163: to diagonalizable  hyperbolic systems\\

164:   with large and monotone data}

165: 

166: \author{

167: \normalsize\textsc{A. El

168:   Hajj$^1$$^2$, R. Monneau$^1$}}

169: \vspace{20pt}

170: \maketitle

171: \footnotetext[1]{\'Ecole Nationale des Ponts et

172:  Chauss\'ees, CERMICS,

173: 6 et 8 avenue Blaise Pascal, Cit\'e Descartes

174:  Champs-sur-Marne, 77455 Marne-la-Vall\'ee Cedex 2, France}

175: \footnotetext[2]{ Université de Marne-la-Vallée

176: 5, boulevard Descartes

177: Cité Descartes - Champs-sur-Marne

178: 77454 Marne-la-Vallée cedex 2}

179: 

180: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

181: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

182: 

183:  \centerline{\small{\bf{Abstract}}}

184:  \noindent{\small{In this paper, we study  diagonalizable hyperbolic

185:      systems in one space dimension. Based on 

186:       a new  gradient entropy estimate, we prove the

187:       global existence of a continuous solution,   

188:       for large and nondecreasing initial data. Moreover, we show in particular cases

189:       some uniqueness results. We also remark that these results cover

190:        the case of systems which are hyperbolic but not strictly hyperbolic. Physically, this

191:       kind of diagonalizable hyperbolic systems appears naturally in the

192:       modelling of the dynamics of dislocation densities.

193:  }}

194: 

195: \hfill\break

196:  \noindent{\small{\bf{AMS Classification: }}} {\small{35L45, 35Q35,

197:      35Q72, 74H25.}}\hfill\break

198:   \noindent{\small{\bf{Key words: }}} {\small{Global existence, system of Burgers

199:       equations, system of nonlinear transport equations, nonlinear

200:       hyperbolic system, dynamics of dislocation densities.}}\hfill\break

201: 

202: \vspace{20pt}

203: 

204: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

205: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

206: \section{Introduction and main result}

207: 

208: \subsection{Setting of the problem}

209: In this paper we are interested in  continuous solutions to hyperbolic

210: systems in dimension one. Our work will focus on  

211: solution $\d{u(t,x)=(u^i(t,x))_{i=1,\dots,M}}$, where $M$ is an integer,

212: of hyperbolic systems which are

213: diagonal, i.e.

214: \begin{equation}\tag{P}\label{EM:burger}

215: \partial_t u^i + a^i(u)\partial_x u^i = 0 \quad \mbox{on} \quad  

216: (0,T)\times\R\quad \mbox{and for}\quad i=1,...,M,   

217: \end{equation}

218: 

219: \noindent with the initial data:

220: \begin{equation}\tag{ID}\label{EM:initialdata}

221: u^i(0,x)=u_0^i(x),\qquad \mbox{$x\in\mathbb{R}$, for $i=1,\dots,M$} .

222: \end{equation}

223: 

224: \noindent  For real numbers $\alpha^i \le \beta^i$, let us consider the box

225: \begin{equation}\label{EM:box}\displaystyle{U= \Pi_{i=1}^M [\alpha^i,\beta^i]}.

226: \end{equation}

227: 

228: \noindent We consider a given  function  

229:  $a=(a^i)_{i=1,...,M}: U\to \R^M$, which 

230:  satisfies the following regularity assumption:

231: 

232: 

233: $$(H1) \quad \left\{\begin{array}{l}

234: \mbox{the function $a\in C^{\infty}(U)$,}\\

235: \\

236: \mbox{there exists}\quad M_0 >0  \quad \mbox{such that

237:        for}\quad i=1,...,M,\\

238: |a^i(u)|\le M_0 \quad \mbox{for all}\quad

239:        u\in  U,\\

240: \\

241: \mbox{there exists}\quad M_1 >0  \quad \mbox{such that

242:        for}\quad i=1,...,M,\\

243:       

244:        |a^i(v)-a^i(u)| \le M_1 |v-u| \quad \mbox{for all}\quad

245:        v,u\in U.

246: \end{array}\right.$$

247: 

248: \noindent We assume, for all $u\in \R^M$, that the matrix

249: 

250: $$\mbox{$(a^i_{,j}(u))_{i,j=1,...,M}$, where

251: $\d{a^i_{,j}=\frac{\partial}{\partial u^j} a^i,}$}$$

252: 

253: \noindent is non-negative in the positive cone,

254: namely

255: 

256: 

257: $$(H2) \left|\begin{array}{l}

258: \mbox{for all}\quad u\in U,\quad

259:   \mbox{we have}\\

260: \\

261:   \displaystyle{\sum_{i,j=1,...,M}\xi_i\xi_j a^i_{,j}(u) \ge 0\quad \mbox{for

262:   every}\quad \xi=(\xi_1,...,\xi_M)\in [0,+\infty)^M.}

263: \end{array}\right.$$

264: 

265: \noindent In (\ref{EM:initialdata}), each component $u_0^i$ of

266: the initial data $u_0=(u_0^1,\cdots,u_0^M)$ is assumed satisfy the

267: following property:\\

268: 

269: 

270: $$(H3)\quad \left.\left\{\begin{array}{l}

271: \mbox{$u_0^i\in L^{\infty}(\mathbb{R})$,}\\

272: \\

273: \mbox{$u_0^i$ is nondecreasing,}\\

274: \\

275: \mbox{$\partial_x u_0^i \in L\log L(\R)$,}

276:       \end{array}\right.\right|\mbox{ for $i=1,\cdots,M$,}

277: $$

278: 

279: 

280: \noindent where  $L\log L(\R)$

281: is the following Zygmund space:

282: 

283:  $$L\log L(\R)=\left\{\mbox{$f\in L^1(\R)$ such that

284:   $\displaystyle{\int_{\R}|f|\ln\left(1+|f|\right)<+\infty}$}

285:  \right\}.$$

286: \noindent  This space is

287: equipped by the following norm:

288: 

289: 

290: $$\|f\|_{L\log

291:   L(\R)}=\inf\left\{\lambda>0:\displaystyle{\int_{\R}}\frac

292:   {|f|}{\lambda}\ln\left(1+\frac {|f|}{\lambda}\right)\le 1\right\},$$

293: 

294: \noindent  This norm is due to Luxemburg (see Adams \cite[(13), Page

295: 234]{Adams}).\\

296: 

297: \noindent Our purpose is to show the

298: existence of a continuous solution, such that $u^i(t,\cdot)$ 

299:  satisfies  $(H3)$ for all time.

300: 

301: 

302: 

303: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

304: \subsection{Main result}

305: 

306: \noindent It is well-known that for the classical Burgers equation, the solution

307: stays continuous when the initial data is Lipschitz-continuous and

308: non-decreasing. We want somehow to generalize this result to the case of diagonal

309: hyperbolic  systems. 

310: 

311: 

312: \begin{theo}\textbf{(Global existence of a nondecreasing solution)}\label{EM:th1}\\

313: Assume $(H1)$, $(H2)$ and $(H3)$. Then, for all

314: $T>0$, we have:\\

315: 

316: \noindent i) \underline{{\bf Existence of a weak solution:}}

317: 

318: \noindent There exists a function $u$ solution of (\ref{EM:burger})-(\ref{EM:initialdata}) (in the

319: distributional sense), where 

320: $$\mbox{$u\in [L^{\infty}((0,T)\times\R)]^M \cap [C([0,T);L\log

321: L(\R))]^M$ and  $\partial_x u \in [L^{\infty}((0,T);L\log

322: L(\R))]^M$},$$

323: \noindent  such that for a.e $t\in [0,T)$ the function $u(t,\cdot)$ is

324: nondecreasing in $x$  and  satisfies the following $L^{\infty}$ estimate:

325: 

326: \begin{equation}\label{EM:max_pri}

327: \|u^i(t,\cdot)\|_{L^{\infty}(\R)}\le \|u^i_0\|_{L^{\infty}(\R)}, \qquad \mbox{for

328: $i=1,\dots,M$},

329: \end{equation}

330: \noindent and the  gradient entropy estimate:

331: \begin{equation}\begin{array}{ll}\label{EM:entropy}

332: \displaystyle{

333: \int_{\R}\sum_{i=1,\dots,M}f\left(\partial_x

334:   u^i(t,x)\right)dx}+ 

335: \int_{0}^t\int_{\R} \displaystyle{\sum_{i,j=1,\dots,M}a^i_{,j}(u)\partial_x

336: u^i(s,x)\partial_x u^j(s,x)\;dx\;ds}\le C_1,

337: \end{array}\end{equation}

338: 

339: \noindent where 

340: \begin{equation}\label{EM:f}f(x)=\left\{\begin{array}{ll}

341: x\ln(x)+\frac{1}{e} & \quad \mbox{if}\quad x \ge 1/e,\\

342: 0 & \quad \mbox{if}\quad 0\le x \le 1/e,\\

343: \end{array}\right.\end{equation}

344: 

345: \noindent and $C_1(T,M,M_1,\|u_0\|_{[L^{\infty}(\R)]^M},\|\partial_x u_0\|_{[L\log L

346:   (\R)]^M})$.\\ 

347: 

348: \noindent ii) \underline{{\bf  Continuity of the solution:}}

349: 

350: \noindent The solution $u$ constructed in (i) belongs to $C([0,T)\times

351: \R)$ and  there exists 

352: a modulus  of continuity $\omega(\delta,h)$,  such

353: that for all $(t,x)\in(0,T)\times \R$ and all $\delta,h\ge 0$, we have:

354: 

355: \begin{equation}\label{EM:contu}|u(t+\delta,x+h)-u(t,x)|\le C_2\;\omega(\delta,h)

356: \;\;\mbox{with}\;\; \displaystyle{\omega(\delta,h)=\frac{1}{\ln(\frac

357:     {1}{\delta}+1)}+\frac{1}{\ln(\frac {1}{h}+1)}}.

358: \end{equation}

359: \noindent where $C_2(T,M_1, M_0,\|u_0\|_{[L^{\infty}(\R)]^M},\|\partial_x u_0\|_{[L\log L

360:   (\R)]^M})$.

361: \end{theo}

362: 

363: \begin{rem}$\;$\\

364: Here,  we can easily 

365: extend the solution $u$ of (\ref{EM:burger})-(\ref{EM:initialdata}), given by

366: Theorem \ref{EM:th1}, on the time interval $[0,+\infty)$.

367: \end{rem}

368: 

369: 

370: \noindent Our method is based on the following simple remark: if the initial

371: data satisfies $(H3)$ then the

372: solution satisfies $(H3)$ for

373: all $t$. What seems  new is the gradient entropy inequality. 

374: The prove of Theorem \ref{EM:th1} is rather standard.

375: First we regularize the initial data and

376: the system with the addition of a viscosity term, then we show that

377: this regularized system admits a classical solution for short time. We prove the bounds

378: (\ref{EM:max_pri}) and the  fundamental  gradient entropy inequality

379: (\ref{EM:entropy}) which allow to get a solution for all time.

380: Finally,  these {\it a priori} estimates ensure enough compactness to

381: pass to the limit when the regularization varnishes  and to get the

382: existence of a solution.\\

383: 

384: 

385: \begin{rem}$\;$\\

386: To guarantee the $L\log L$ bound on  the gradient  of the solutions. 

387: We assumed in (H2) a sign on the left

388: hand side of gradient entropy inequality (\ref{EM:entropy}).

389: \end{rem}

390: 

391: 

392: \noindent In the case of $2\times2$ strictly hyperbolic systems,

393: which corresponds in (\ref{EM:burger}) to the case of

394: $a^1(u^1,u^2)<a^2(u^1,u^2)$. Lax

395: \cite{Lax} proved the existence of smooth solution of 

396: (\ref{EM:burger})-(\ref{EM:initialdata}). This result was also proven by 

397: Serre \cite[Vol II]{Serre12} in the case of $M\times M$ 

398: rich hyperbolic systems (see 

399: also Subsection \ref{EM:ref} for more related references). Their result is limited to the case of strictly

400: hyperbolic systems, here in  Theorem \ref{EM:th1}, we treated the case

401: of systems which are hyperbolic but not strictly hyperbolic. See the

402: following Remark for a quite detailed example.\\

403: 

404: 

405: \begin{rem}{\bf (Crossing eigenvalues)}\label{EM:cross}\\

406:  Condition (\ref{EM:str_hy}) on the

407: eigenvalues is required in our framework (Theorem \ref{EM:th1}). Here is a  

408:  simple example of a $2\times2$  hyperbolic but not strictly hyperbolic

409:  system. We consider solution $u=(u^1,u^2)$ of 

410: 

411: \begin{equation}\label{EM:exem}

412: \left.\left\{\begin{array}{ll}\partial_t u^1+cos(u^2)\partial_x u^1 =0,\\

413: \\

414: \partial_t u^2+u^1sin(u^2)\partial_x u^2

415: =0,\end{array}\right.\right|\;\;\mbox{on $(0,T)\times \R$.}

416: \end{equation}

417: 

418: \noindent Assume:\\ 

419: 

420: \noindent i)  $u^1(-\infty)=0$, $u^1(+\infty)=1$ and $\partial_x u^1\ge 0$,\\

421: 

422: \noindent ii) $u^2(-\infty)=-\frac{\pi}{2}$,

423: $u^2(+\infty)=\frac{\pi}{2}$ and $\partial_x u^2\ge 0$.\\

424: 

425: \noindent Here the eigenvalues

426: $\lambda_1(u^1,u^2)=cos(u^2)$ and $\lambda_2(u^1,u^2)=u^1sin(u^2)$

427: cross each other at the initial time (and indeed for any

428: time). Nevertheless for $a^1(u^1,u^2)=cos(u^2)$ and

429: $a^2(u^1,u^2)=u^1sin(u^2)$, we can compute

430: 

431:  $$(a^i_{,j}(u^1,u^2))_{i,j=1,2}=\left(\begin{array}{ccc}  0& -sin(u^2) \\

432:                               sin(u^2)& u^1cos(u^2)         

433: \end{array}\right),$$

434: \noindent which satisfies $(H2)$ (under assumptions (i) and (ii)). Therefor

435: Theorem \ref{EM:th1} gives the existence of a solution to (\ref{EM:exem}) with

436: (i) and (ii). 

437: \end{rem}

438: 

439: 

440: \noindent Based on the same type of gradient entropy inequality (\ref{EM:entropy}), it was

441: proved in  Cannone et al. \cite{EC} the

442: existence of a solution in the distributional sense for a 

443: two-dimensional system of two transport equations, where the  

444: velocity vector field is  non-local.\\ 

445: 

446: 

447: 

448: 

449: \noindent The uniqueness of the solution is strongly related to 

450: the existence of regular (Lipschitz) solutions (see

451: Theorem \ref{EM:unicite}). Let us remark that equation

452: (\ref{EM:burger})-(\ref{EM:initialdata}) does not create shocks because the

453: solution (given in Theorem \ref{EM:th1}) is continuous. In this situation, it seems

454: very natural to expect the uniqueness of the solution. Indeed the notion of

455: entropy solution (in particular designed to deal with the

456: discontinuities of weak solutions) does not seem so helpful in this

457: context. Nevertheless the uniqueness of the solution is an open problem

458: in general (even for such a simple system).\\

459: 

460: We ask the following {\it {\bf  Open question:}}

461: 

462: \noindent Is there  uniqueness of the solution given in Theorem

463: \ref{EM:th1} ?\\

464: 

465: 

466: 

467: \noindent Now we give the following existence and uniqueness result in

468: $[W^{1,\infty}([0,T)\times\R)]^M$, in a special  case to simplify the

469: presentation. More precisely we assume

470: 

471: $$\mbox{$(H1')\quad\d{a^i(u)=\sum_{j=1,\dots,M}A_{ij}u^j}$ for

472:   $i=1,\dots,M$ and for all

473: $u\in U$,}$$

474:  

475: $$\hspace{1cm}(H2')\quad

476:   \displaystyle{\sum_{i,j=1,...,M}A_{ij}\xi_i\xi_j \ge 0\quad \mbox{for

477:   every}\quad \xi=(\xi_1,...,\xi_M)\in [0,+\infty)^M.}$$

478:  

479: 

480: 

481: \begin{theo}{\bf (Existence and uniqueness of $W^{1,\infty}$  solution

482:     for a particular $A=(A_{ij})_{i,j=i=1,\dots,M}$)}\label{EM:unicite1}\\

483: Assume $(H1')$. For $T> 0$ and all nondecreasing initial data $u_0\in

484: [W^{1,\infty}(\R)]^M$, the system

485: (\ref{EM:burger})-(\ref{EM:initialdata}) admits a unique solution $u\in

486: \left[W^{1,\infty}([0,T)\times\R)\right]^M$, in the following cases:\\

487: 

488: \noindent i)  $M\ge 2$ and  $A_{ij}\ge 0$, for all

489: $j\ge i$.

490: 

491: \noindent ii) $M\ge 2$ and $A_{ij}\le 0$,  for all

492: $i\neq j$ and $(H2')$. And then for all $(t,x)\in [0,T)\times \R$ we have

493:  

494: 

495: \begin{equation}\label{EM:w_infty}

496: \sum_{i=1,\dots,M}\partial_x u^i(t,x)\;\;\le \;\;\sup_{y\in

497:   \R}\sum_{i=1,\dots,M}\partial_x u^i_0(y).

498: \end{equation}

499: \end{theo}

500: 

501: \begin{rem}{\bf (Case of $M=2$)}\\

502: In particular  for  $M=2$, if $(H1')$, $(H2')$ and

503: $(H3)$ satisfied then we have, by Theorem \ref{EM:unicite1} 

504: the existence and uniqueness of a solution in

505: $\left[W^{1,\infty}([0,T)\times\R)\right]^2$

506:  of (\ref{EM:burger})-(\ref{EM:initialdata}).

507: \end{rem}

508: 

509: \noindent In these particular cases  of the matrix $A$, we can prove

510: that $\partial_x u^i$ for $i=1,\dots,M$, are bounded on $[0,T)\times\R$. Thanks to this better

511: estimates on  $\partial_x u^i$, and then on the velocity  vector

512: field $Au$,  we prove here the uniqueness of the solution. \\

513:  

514: 

515: \noindent In the case of the matrix 

516: $A=\left(\begin{array}{ccc}  1& -1 \\

517:                               -1& 1          

518: \end{array}\right)$, 

519: it was proved in El Hajj,  Forcadel \cite{EF}, the existence and uniqueness of a

520: Lipschitz viscosity solution, and in A. El Hajj \cite{EL}, the existence

521: and uniqueness of a strong solution in $W^{1,2}_{loc}([0,T)\times

522: \R)$.\\

523: 

524:  

525:  

526: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

527: \subsection{Application to diagonalizable systems}\label{EM:dia}

528: Let us first consider a smooth function $u=(u^1,\dots,u^M)$, solution of

529: the following non-conservative hyperbolic system:

530: \begin{equation}\label{EM:lef}

531: \left\{\begin{array}{ll}\partial_t u(t,x)+F(u)\partial_x u(t,x)=0,

532: &u(t,x)\in U,\;x\in\R,\; t\in (0,T),\\

533: \\

534: u(x,0)=u_0(x) &x\in\R,\end{array}\right.\end{equation}

535: 

536: \noindent  where the

537: space of states $U$ is now an open subset of $\R^M$, and for each $u$, $F(u)$ is a

538: $M\times M$-matrix and the  map $F$ is of class $C^1(U)$.  We assume

539: that  $F(u)$ has $M$ real eigenvalues $\lambda_1(u),\dots,\lambda_M(u)$,

540: and we suppose that we can select bases of right and left eigenvectors

541: $r_i(u)$, $l_i(u)$ normalized so that

542: 

543: $$|r_i|\equiv 1 \;\;\;\mbox{and}\;\;\; l_i\cdot r_j=\delta_{ij} $$

544: \begin{rem}{\bf (Riemann invariant)}\\

545: Recall that locally a necessary and sufficient condition to write 

546: $$l_i(u)=\nabla_u \varphi_i (u),$$

547: 

548: \noindent is the Frobenius condition $l_i \wedge dl_i=0$. In that case

549: the function $\varphi_i(u)$ is solution of the following equation

550: 

551: $$(\varphi_i(u))_t + \lambda_i(u)(\varphi_i(u))_x =0.$$

552: 

553: \noindent We recall that then

554: $\varphi_i(u)$ is called a $i$-Riemann invariant (see Sevennec

555: \cite{Sevenn} and Serre \cite[Vol II]{Serre12})). If this is true for

556: any $i$, we say that the system (\ref{EM:lef})

557: is diagonalizable.

558: \end{rem}

559: 

560: \noindent Our theory is naturally applicable to this more general class

561: of systems.

562: 

563: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

564: \subsection{A brief review of some related literature}\label{EM:ref}

565: \noindent Now we  recall some well known results for system

566: (\ref{EM:lef}).

567: 

568: \noindent For a scalar conservation law, this corresponds in (\ref{EM:lef}) to the case

569: $M=1$ and $F(u)= h'(u)$ is the derivative of some flux function $h$, the

570: global existence and uniqueness of $BV$ solution established by Oleinik

571: \cite{Ole} in one space dimension. The famous paper of Kruzhkov

572: \cite{Kru} covers the more general class of $L^{\infty}$ solutions, in

573: several space dimension. For  another alternative approach  based on the

574: notion of entropy process solutions, see Eymard et

575: al. \cite{Eymard}, see also the kinetic formulation P. L. Lions et

576: al. \cite{LBT}. \\

577: 

578: 

579: 

580: \noindent We now recall some well-known results for 

581: a class of $2\times 2$ strictly hyperbolic systems n one space

582: dimension. Here i.e

583: $F(u)$ has two real, distinct eigenvalues 

584: 

585: $$\lambda_1(u)< \lambda_2(u).$$

586: 

587: 

588: \noindent Lax \cite{Lax} proved the existence and  uniqueness of

589: nondecreasing  and smooth solutions

590: of the $2\times 2$  strictly hyperbolic systems. Also in case of

591: $2\times 2$ strictly hyperbolic systems DiPerna \cite{DiPerna2,

592:   DiPerna3}  showed the global existence of a $L^{\infty}$ solution. The

593: proof of DiPerna relies on a

594: compensated compactness argument, based on the representation of the

595: weak limit in terms of Young measures, which must reduce to a Dirac mass

596: due to the presence of a large family of entropies. This results is

597: based on the idea of Tartar \cite{Tartar}.\\

598: 

599: 

600: \noindent For general  $M\times M$  strictly

601: hyperbolic systems; i. e. where $F(u)$ has $M$ real,  distinct eigenvalues

602: 

603: \begin{equation}\label{EM:str_hy}\lambda_1(u)< \dots<\lambda_M(u),\end{equation}

604: 

605: 

606: \noindent  Bianchini and Bressan proved in  \cite{Bressan} a  striking global

607: existence and uniqueness result of $BV$ solutions to system (\ref{EM:lef}),

608: assuming that the initial data has small total variation. Their existence

609: result is a generalization of Glimm result \cite{Glimm}, proved in

610: the conservation case; i.e. $F(u)=Dh(u)$ is the Jacobin of some flux

611: function $h$ and generalized by LeFloch and Liu \cite{LEF88,LEF93} in the

612: non-conservative case.\\

613: 

614: 

615: 

616: \noindent We can also mention that, our system (\ref{EM:burger}) is related

617: to other similar  models, such as scalar transport equations based on

618: vector fields with low regularity. Such equations were for

619: instance studied by Diperna and Lions in \cite{Dep}. They have proved

620: the existence (and uniqueness) of a solution (in the renormalized

621: sense), for given vector fields in

622: $L^1((0,+\infty);W^{1,1}_{loc}(\R^N))$ whose divergence is in

623: $L^1((0,+\infty); L^{\infty}(\R^N))$. This study was generalized

624: by Ambrosio \cite{Amb2004}, who considered vector fields in

625: $L^1((0,+\infty);BV_{loc}(\R^N))$ with bounded divergence. In the

626: present paper, we work in dimension $N=1$ and prove the existence

627: (and some uniqueness results) of solutions of the system

628: (\ref{EM:burger})-(\ref{EM:initialdata}) with a velocity  vector

629: field $a^i(u)$, $i=1,\dots,M$. Here, in Theorem \ref{EM:th1},  

630:  the divergence of our  vector field is only in $L^{\infty}((0,+\infty),

631: L\log L(\R))$. In this case we proved the existence result   

632: thanks to the gradient entropy estimate (\ref{EM:entropy}), which gives a better estimate

633: on the solution. However, in  Theorem \ref{EM:unicite1}, the divergence of

634: our vector field is bounded, which allows us to get a

635: uniqueness result for the non-linear system (\ref{EM:burger}).\\

636: 

637: 

638: 

639: 

640: \noindent We also refer to Ishii, Koike \cite{IK91} and  Ishii \cite{Ish92}, who showed existence

641: and uniqueness of viscosity solutions for Hamilton-Jacobi systems

642: of the form:

643: \begin{equation}\label{EM:ichi}\left\{\begin{array}{ll}

644: \partial_tu^i+ H_i(u,Du^i)=0&\mbox{with } \;u=(u^i)_i\in \R^M,\;\mbox{for } \;x\in\R^N,\; t\in (0,T),\\

645: \\

646: u^i(x,0)=u^i_0(x)&x\in\R,\end{array}\right.\end{equation} where

647: the Hamiltonian $H_i$ is quasi-monotone in $u$ (see

648: Ishii, Koike \cite[Th.4.7]{IK91}). This does not cover our study since

649: our Hamiltonian is not necessarily quasi-monotone.\\

650: 

651: 

652: \noindent For hyperbolic and symmetric systems, G$\dot{a}$rding 

653: has proved in \cite{Garding} a local existence and uniqueness

654: result in $C([0,T); H^s(\R^N))\cap C^1([0,T); H^{s-1}(\R^N))$,

655: with  $s> \frac N2+1$ (see also Serre \cite[Vol I, Th 3.6.1]{Serre12}), 

656: this result being only local in time, even in dimension $N=1$.

657: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

658: \subsection{Miscellaneous extensions to explore  in a futur work}

659: 

660: \noindent {\bf 1.} In  Theorem \ref{EM:th1} we have considered

661: the study of a particular system only  to simplify the presentation. This

662: result could be generalized to the following system

663: 

664: \begin{equation}\tag{P'}\label{EM:bur1}

665: \partial_t u^i + a^i(u,x,t)\partial_x u^i = h^i(u,x,t) \quad \mbox{on} \quad  

666: (0,T)\times\R\quad \mbox{and for}\quad i=1,...,M,   

667: \end{equation}

668: 

669: \noindent with suitable conditions on $a^i$ and $h^i$.\\

670: 

671: 

672: \noindent {\bf 2.} If we consider the case where the system

673: (\ref{EM:burger}) is strictly hyperbolic. Based in the result of  Bianchini,

674: Bressan \cite{Bressan},  we could also prove  the

675: uniqueness of the solution, whose existence is given by Theorem \ref{EM:th1}.   

676: 

677: 

678: \noindent {\bf 3.} We could also extend  Theorem \ref{EM:unicite1} to

679: system (\ref{EM:bur1}), where we replace (i) and (ii) by the following condition\\

680: 

681: 

682: \noindent i') For $M\ge 2$, $a^i_j(u,x,t) \ge0$ for $j\ge i$ and for all $(u,x,t)\in

683: U\times \R\times [0,T)$.

684: 

685:  \noindent ii') For $M\ge 2$,

686: $$a^i_{,j}(u,x,t)\le 0 \quad \mbox{for all}\quad (u,x,t)\in U\times

687: \R\times [0,+\infty), \quad \mbox{for all} \quad i\not= j,$$

688:  \noindent and we assume that for any $v_i\in\R^M,x_i\in \R$, the matrix

689: $$b_{ij}(t)=a^i_{,j}(v_i,x_i,t)$$

690: satisfies for all $t\ge 0$

691: $$(H2'')\quad \d{\sum_{i,j=1,...,M}b_{ij}(t)}\xi_i\xi_j\ge 0 \quad \mbox{for all}\quad

692: \xi=(\xi_1,...,\xi_M)\in  [0,+\infty)^M.$$

693: 

694: \noindent {\bf 4.} We could also prove the uniqueness result in case of

695: $W^{1,\infty}$ solution among weak solution. (and in particular any weak

696: solution is a viscosity solution in the sense of  Crandall-Lions

697: \cite{Lio81, CL82}).\\

698: 

699: \noindent {\bf 5.} We could propose a numerical scheme and try

700:  to prove its convergence.\\

701: 

702: \noindent {\bf 6.} Applications to other equations: Euler, $p$-systems.

703: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

704: \subsection{Organization of the  paper}

705: This paper is organized as follows: in the Section 2, we approximate the

706: system (\ref{EM:burger})  and the initial conditions. Then we prove a local

707: in time existence for this  approximated system. In Section 3, we prove the global in time

708: existence for the approximated system. In the  Section 4, we

709:  prove that the obtained solutions are regular

710: and non-decreasing in $x$ for all $t\in(0,T)$. In Section 5, we 

711: prove the gradient entropy inequality and some other 

712: $\e$-uniform {\it a priori} estimates. In Section 6, we prove the 

713: main result (Theorem \ref{EM:th1}) passing to the limit as $\e$ goes to $0$ and using some

714: compactness properties inherited from our entropy  gradient inequality and the

715: {\it a priori} estimates. In Section 7 we prove some

716: uniqueness results in particular cases (Theorem \ref{EM:unicite1}). An application to the

717: dynamics of dislocation densities given in Section 8. Finally, in the

718: Appendix, we recall the proof of uniqueness of Lipschitz solution to

719: system (\ref{EM:burger}).

720:  

721: 

722: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

723: \section{Local existence of an approximated  system}

724: 

725: The system (\ref{EM:burger}) can be written as:

726: \begin{equation}\label{EM:burgers}

727: \partial_t u+ a(u) \diamond \partial_x u=0,

728: \end{equation}

729: where $u:=(u^i)_{1, \dots, M}$, $a(u)=(a^i(u))_{1, \dots, M}$

730:  and $U\diamond V$ is the

731: ``component by component product'' of the two vectors

732: $U,V\in\mathbb{R}^M$. This is the vector in $\mathbb{R}^M$ whose

733: coordinates are given by $(U\diamond V)_i:=U_i V_i$:

734: $$\left[\begin{array}{l}U_1\\ U_2\\ \vdots\\

735: U_M\end{array}\right]\diamond \left[\begin{array}{l}V_1\\ V_2\\

736: \vdots\\ V_M\end{array}\right]=

737: \left[\begin{array}{l}U_1V_1\\ U_2V_2\\ \vdots\\

738: U_MV_M\end{array}\right].$$

739: 

740: 

741: \noindent Now, we consider  the system (\ref{EM:burgers}), modified by the

742: term $\e\partial_{xx}u$, where

743: $\displaystyle{\partial_{xx}=\frac{\partial^2}{\partial x^2}}$, 

744:  and for smoothed data. This modification

745: brings us to study, for all $0<\e\le 1$, the following system:

746: 

747: \begin{equation}\tag{$P_\e$}\label{EM:burgersapp}

748: \partial_t u^\e-\e\partial_{xx}u^\e=-a(u^\e) \diamond \partial_x u^\e,

749: \end{equation}

750: 

751: \noindent with the smooth initial data:

752: 

753: \begin{equation}\tag{$ID_\e$}\label{EM:initialapp}

754: u^{\e}(x,0)=u^{\e}_0(x),\;\;\; \mbox{ with $u^{\e}_0(x):=u_0\ast\eta_{\e}(x)$,}

755: \end{equation}

756: 

757: \noindent where $\eta_{\e}$  is a mollifier verify, $\eta_{\e}(\cdot)=\frac

758: {1}{\e}\eta(\frac{\cdot}{\e})$, such that $\eta\in

759: C^{\infty}_c(\R)$ is a non-negative function and  $\int_{\R}\eta=1$.

760: 

761: \begin{rem}{$\;$}\\ 

762: By classical properties of the  mollifier  $(\eta_{\e})_{\e}$ and the fact that

763:   $u_0^\e\in [L^{\infty}(\R)]^M$, then $ u_0^{\e}\in

764:   [C^{\infty}(\R)]^M\cap [W^{m,\infty}(\R)]^M$ for all  $m\in \N$.

765: \end{rem}

766: 

767: \noindent The global existence of smooth solution of the system

768: (\ref{EM:burgersapp}) is standard. Here, we prove this results only to

769: ensure the reader.\\

770: 

771: 

772: \noindent The following theorem is a local existence result (in the

773: "Mild" sense) of the regularized system  (\ref{EM:burgersapp})-(\ref{EM:initialapp}). This result

774: is achieved in a super-critical space. Here particularly we  chose

775: the space of functions $\left[C([0,T); X(\R))\right]^M$, where 

776: \begin{equation}\label{EM:X_R}X(\R)=\{\mbox{$u\in L^{\infty}(\R)$ such that $\partial_x u \in

777:   L^8(\R)$}\}.\end{equation}

778: \noindent  This space is a Banach

779: space supplemented with the  following norm

780: 

781: $$\|u\|_{X(\R)}=\|u\|_{L^{\infty}(\R)}+\|\partial_x u\|_{L^8(\R)}.$$

782: 

783: \noindent Here the espace $L^p(\R)$ with $p=8$ will simplify later in

784: Lemma \ref{EM:reg} the Bootstrap argument to get smooth solution.\\

785: 

786: \noindent In this Section, we will prove the following

787: 

788: \begin{theo}\label{EM:theo:exip}{\bf (Local existence result)}\\

789: For all initial data $u_0^\e\in [X(\R)]^M$ there exists

790: $$T^\star=T^\star(M_0,\e)>0,$$

791: such that the system  (\ref{EM:burgersapp})-(\ref{EM:initialapp}) admits

792: solutions $u^{\e}\in \left[C([0,T^{\star}); X(\R))\right]^M$.

793: \end{theo}

794: 

795: \noindent In order to do the proof of Theorem \ref{EM:theo:exip} in

796: Subsection \ref{EM:preu} we need to

797: recall in the following Subsection some known results.

798: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

799: \subsection{Useful results}

800: \begin{lem}\label{EM:eq:int}{\bf (Mild solution)}\\

801: Let $T>0$, and  $u^{\e}\in

802: \left[C([0,T); X(\R))\right]^M$ be a  solution of the

803: following integral problem with

804: $u^{\varepsilon}(t)=u^{\varepsilon}(t,\cdot)$:

805: 

806: \begin{equation}\tag{$IN_\e$}\label{EM:eq:i:6}

807: \displaystyle{u^{\varepsilon}(t)}=S_{\e}(t)u^{\e}_0

808: -\displaystyle{\int_0^t}S_{\e}(t-s)\left(a(u^\e(s))\diamond \partial_x

809:   u^\e(s)\right)ds,

810: \end{equation}

811: 

812: \noindent where $S_{\e}(t)=S_{1}(\e t)$ such that $S_{1}(t)=e^{t\Delta }$ is the

813: heat semi-group. Then $u^{\e}$ is a solution of the system 

814: (\ref{EM:burgersapp})-(\ref{EM:initialapp}) in the sense of distributions.

815: \end{lem}

816: For the proof of this lemma, we refer to Pazy \cite[Th 5.2. Page 146]{Pazy}.

817: 

818: \begin{lem}\label{EM:l2}\textbf{(Picard Fixed Point Theorem, see \cite{Vasile})}\\

819: Let $E$ be a Banach space, let  $B: E\times E \longrightarrow E$ be a

820: continuous  map such that:

821: 

822: $$\|B(x,y)\|_{E}\leq\eta\|y\|_{E}\;\;\;\mbox{for

823:   all}\;\;\;x,y\in E, $$

824: where $\eta$ is a positive given constant. Then, for

825: every $x_0\in E$, if 

826: $$0<\eta<1,$$

827: the equation $x=x_0+B(x,x)$ admits a solution in $E$. 

828: \end{lem}

829: \noindent In order to show the local existence of a solution for

830: (\ref{EM:eq:i:6}), we will apply  Lemma \ref{EM:l2} in  the space

831: $E=\left[L^{\infty}((0,T); X(\R))\right]^M$.

832: 

833: 

834: 

835: \begin{lem}\label{EM:Ctemps}{\bf(Time continuity)}\\

836: Let $T>0$. If $u^\e\in [L^{\infty}((0,T);W^{1, p}(\R))]^M$, $1\le p\le

837: +\infty$, are

838: solutions of integral problem (\ref{EM:eq:i:6}), 

839: then  $u^{\e}\in\left[C([0,T); W^{1,p}(\R))\right]^M$.

840: \end{lem}

841: For the proof of Lemma \ref{EM:eq:int}, see A. Pazy \cite[7.3, Page 212]{Pazy}.

842: 

843: 

844: \begin{lem}\label{EM:estsemi}{\bf(Semi-group estimates)}\\

845: Let $1\le p\le q \le +\infty$. Then for all $f\in L^{p}(\R)$ 

846: and for all $t>0$, we have the following estimates:\\

847: 

848: \noindent i) $\| S_{\e}(t)f\|_{L^{q}(\R)}\leq C t^{-\frac 12 (\frac 1p - \frac 1q)}\|f\|_{L^{p}(\R)}$,\\

849:  

850: \noindent ii) $\left\|\partial_x S_{\e}(t)f\right\|_{L^{p}(\R)}\leq C

851: t^{-\frac 12}\|f\|_{L^{p}(\R)},$\\

852: 

853: 

854: \noindent where $C=C(\e)$ is a positive constant depending on  $\e$.

855: \end{lem}

856: For the proof of this Lemma, see  Pazy \cite[Lemma 1.1.8, Th 6.4.5]{Pazy}.

857: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

858: \subsection{ Proof of  Theorem \ref{EM:theo:exip}}\label{EM:preu}

859: 

860: Our goal is to  show local existence  of a solution of

861: (\ref{EM:burgersapp}) using the Picard  fixed point Theorem. 	

862: To be done according  Lemma \ref{EM:eq:int} it is enough to prove the

863: local existence for the following equation:  

864: \begin{equation}\label{EM:int}\begin{array}{ll}

865: u^{\varepsilon}(t)

866: &=S_{\e}(t)u^{\e}_0

867: -\displaystyle{\int_0^t}S_{\e}(t-s)\left(a(u^\e(s))\diamond \partial_x

868:   u^\e(s)\right)ds,

869: \\

870: \\

871: &=S_{\e}(t)u^{\e}_0+B(u^\e,u^\e)(t),

872: \end{array}\end{equation}

873: 

874: \noindent with $B(u,v)(t)=-\displaystyle{\int_0^t}S_{\e}(t-s)\left(a(u) (s)\diamond \partial_x

875:   v(s)\right)ds$.\\

876: 

877: \noindent If we estimate $B(u,v)$, we will obtain, for all $u,v\in

878: [L^{\infty}((0,T); X(\R))]^M$, where $X(\R)$ defined in (\ref{EM:X_R}), the following: 

879:  

880: 

881: \begin{equation}\label{EM:est_bi}\begin{array}{ll}\|B(u,v)(t)\|_{[X(\R)]^M}

882: &=\left\|\displaystyle{\int_0^t}

883: S_{\e}(t-s)\left(a(u (s))\diamond \partial_x

884:   v(s)\right)ds,\right\|_{[L^{\infty}(\R)]^M},\\

885: \\

886: &+\left\|\displaystyle{\int_0^t}

887: \partial_x S_{\e}(t-s)\left(a(u (s))\diamond \partial_x

888:   v(s)\right)ds,\right\|_{[L^{8}(\R)]^M},\end{array}\end{equation}

889: 

890: 

891: \noindent where for a function $f=(f^1,\dots,f^M)\in [X(\R)]^M $, we

892: note here 

893: 

894: $$\displaystyle{\|f\|_{[X(\R)]^M}=\sup_{i=1,\dots,M}\|f^i\|_{L^{\infty}(\R)}+\sup_{i=1,\dots,M}\|\partial_x

895: f^i\|_{L^{8}(\R)}}.$$

896: 

897: 

898: 

899: \noindent Using Lemma   \ref{EM:estsemi} (i) with $p=8, q=\infty$ for the first term  and Lemma

900:  \ref{EM:estsemi} (ii)  with $p=8$ for the second term,

901:  we obtain that :

902: $$\begin{array}{ll}\|B(u,v)(t)\|_{[X(\R)]^M}

903: &\hspace{-0.3cm}\leq

904: C\displaystyle{\int_0^t\frac{1}{(t-s)^{\frac{7}{16}}}}

905: \left\|a(u(s))\partial_x v(s)\right\|_{[L^{2}(\R)]^M}ds,\\

906: \\

907: &+C\displaystyle{\int_0^t\frac{1}{(t-s)^{\frac{1}{2}}}}

908: \left\|a(u(s))\partial_x v(s)\right\|_{[L^{8}(\R)]^M}ds.

909: \end{array}$$

910: 

911: \noindent We use the Hölder inequality, and get, for all $0<T\le 1$:

912: 

913: \begin{equation}\begin{array}{ll}\label{EM:bil}\|B(u,v)(t)\|_{[X(\R)]^M}

914: &\leq

915: C T^{\frac 12} \left\|\partial_x

916:   v\right\|_{[L^{\infty}((0,T); L^{8}(\R))]^M},\\

917: \\

918: &\leq

919: C T^{\frac 12}  \left\|

920:   v\right\|_{[L^{\infty}((0,T); X(\R))]^M},

921: \end{array}\end{equation}

922: 

923: \noindent where $C(M_0,\e)$. Moreover, we know by classical properties of heat semi-group

924: (see A. Pazy \cite{Pazy}):

925: 

926: \begin{equation}\label{EM:eq:do}

927: \|S_{\e}(t)u_{0}^{\e}\|_{[L^{\infty}((0,T); X(\R))]^

928: M} \le \|u_0^{\e}\|_{[X(\R)]^M} .

929: \end{equation}

930: 

931: 

932: \noindent Now, taking

933: 

934: \begin{equation}\label{EM:de_te}\displaystyle{(T^{\star})^{\frac

935:       12}=\min\left(\frac {1}{2C},1\right)},\end{equation}

936: 

937: 

938: \noindent we can easily verify that 

939: $$C(T^{\star})^{\frac 12}< 1.$$

940: \noindent By applying the Picard  Fixed Point Theorem (Lemma \ref{EM:l2}) with

941: $E=[L^{\infty}((0,T^\star); X(\R))]^M$, this proves the existence of a solution

942: $u^\e\in[L^{\infty}((0,T^\star); X(\R))]^M$ for (\ref{EM:int}).\\  

943: 

944: \noindent Then, according to Lemma \ref{EM:Ctemps}, we deduce that the

945: solution is indeed in  $[C([0,T^\star); X(\R))]^M$.\\

946: 

947: \noindent This proves, by Lemma  \ref{EM:eq:int}, the existence of a

948: solution  in $[C([0,T^\star); X(\R))]^M$, which satisfies the system

949:  (\ref{EM:burgersapp})-(\ref{EM:initialapp})  in the sense of distributions.

950:  $\hfill\Box$

951: 

952: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

953: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

954: \section{Global existence of the solutions of the approximated  system}

955: 

956: In this Section, we will prove the global existence of solution for the system

957: (\ref{EM:burgersapp})-(\ref{EM:initialapp}). Before going into the proof, we

958: need the following lemma.

959: 

960: \begin{lem}\label{EM:Ldeu}{\bf($L^{\infty}$ bound)}\\

961:  Let $T>0$. If $u^{\e}\in [C([0,T); X(\R))]^M$

962: is a solution of system (\ref{EM:burgersapp})-(\ref{EM:initialapp}) with

963: initial data $u_0^\e\in X(\R)$, then

964:   $$\left\|u^{\varepsilon}\right\|_{\left[L^{\infty}([0,T)\times\mathbb R)\right]^M}\leq

965: \|u_0^\e\|_{\left[ L^{\infty}(\R)\right]^M}$$

966: \end{lem}

967: \noindent The proof of this Lemma is a direct application of the

968: Maximum Principle Theorem for parabolic equations  (see

969: Gilbarg-Trudinger \cite[Th.3.1]{CI-TH}).

970: 

971: \begin{rem}\label{EM:M_0}$\;$\\

972: Thanks to the previous Lemma, we notice that we can take

973: the box $U$ defined in (\ref{EM:box}) as the following

974: $$\displaystyle{U= \Pi_{i=1}^M

975:   [-\|u_0^{\e,i}\|_{L^{\infty}(\R)},\|u_0^{\e,i}\|_{L^{\infty}(\R)}]}.$$

976: 

977: \noindent For fixed $\e$, this definition guarantee that $M_0$ do not change in

978: the course of time.

979: \end{rem}

980: 

981: 

982: \noindent The result of this Section is the following.

983: 

984: \begin{theo}\label{EM:theo:exip1}{\bf (Global existence)}\\

985: Let $T>0$ and $0<\e\le 1$. For initial data

986: $u_0^\e\in \left[X(\R)\right]^M$ satisfying $(H1)$ and $(H2)$. Then  the system

987: (\ref{EM:burgersapp})-(\ref{EM:initialapp}), admits a solution

988: $u^{\e}\in [C([0,T); X(\R))]^M$, with

989: $u^{\e}(t,\cdot)$  satisfying  $(H1)$ and $(H2)$

990: for all  $t\in (0,T)$. Moreover, for all  $t\in (0,T)$, we have the

991: following inequalities: 

992: \begin{equation}\label{EM:max_pri_e}

993: \|u^{\e, i}(t,\cdot)\|_{L^{\infty}(\R)}\le \|u^{\e,i}_0\|_{L^{\infty}(\R)}, \qquad \mbox{for

994: $i=1,\dots,M$},

995: \end{equation}

996: \end{theo}

997: 

998: \noindent {\bf Proof of Theorem \ref{EM:theo:exip1}:}\\

999: \noindent  We are going to prove that local in time  solutions obtained by

1000: Theorem \ref{EM:theo:exip} can be extended to global

1001: solutions  for the same system.\\

1002: 

1003:    

1004: \noindent We argue by contradiction: assume that there exists a maximum

1005: time $T_{max}$ such that, we have the existence of solutions of the

1006: system  (\ref{EM:burgersapp})-(\ref{EM:initialapp}) in the function space $

1007: [C([0,T_{max}); X(\R))]^M$. 

1008:  

1009: \noindent For every small enough $\delta>0$, we consider the system  (\ref{EM:burgersapp})

1010: with the initial condition

1011: $$u^{\e,\delta}_{0}(x)=u^{\e}(T_{max}-\delta,x).$$ 

1012: 

1013: \noindent From   Theorem \ref{EM:theo:exip} to deduce that there

1014: exists a time $T^{\star}(M_0,\e)$, independent of $\delta$ (see Remark

1015: \ref{EM:M_0}), such that the system (\ref{EM:burgersapp}) with initial data

1016: $u^{\e,\delta}_{0}$ has a solution $u^{\e,\delta}$ on the time interval

1017: $[0,T^{\star})$. Then for 

1018: 

1019: $$T_0=(T_{max}-\delta)+T^{\star},$$

1020: 

1021: \noindent we extend $u^\e$ on the time interval  $[0,T_0)$ as follows,

1022: 

1023: \begin{equation}

1024: \tilde u^\e(t,x)=\left\{

1025: \begin{aligned}

1026: &u^\e(t,x),\quad\mbox{for}\quad t\in [0,T_{max}-\delta],\\

1027: &u^{\e,\delta}(t,x),\quad\mbox{for}\quad t\in [T_{max}-\delta,T_0)

1028: \end{aligned}

1029: \right.\nonumber

1030: \end{equation}

1031: 

1032: \noindent and we can check that $\tilde{u}^\e$ is a solution of

1033: (\ref{EM:burgersapp})-(\ref{EM:initialapp}) on the time interval

1034: $[0,T_0)$. But from Lemma (\ref{EM:Ldeu}) we know that the time $T^\star$ is

1035: independent of $\delta$ (see Remark \ref{EM:M_0}), which implies that

1036: $T_0>T_{max}$ and so a contradiction.

1037: 

1038: \noindent The inequalities (\ref{EM:max_pri_e}) 

1039:   is a consequence of Lemma \ref{EM:Ldeu}. $\hfill\Box$

1040: 

1041: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1042: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1043: 

1044: \section{Properties of the solutions of the approximated  system}

1045: 

1046: In this section, we are going to prove that the solution of 

1047: (\ref{EM:burgersapp})-(\ref{EM:initialapp})  obtained by Theorem

1048: \ref{EM:theo:exip} is smooth and monotone. 

1049: 

1050: 

1051: \begin{lem}\label{EM:reg}{\bf(Smoothness of the solution)}\\

1052:  Let $T>0$. For all initial data  $u_0^\e\in [X(\R)]^M$, where

1053:  $\partial_x u_0^\e\in [W^{m,p}(\R)]^M$ for all $m\in\N$, $1\le p\le +\infty$.\\

1054:   

1055: \noindent If $u^{\e}$ is a solution of the system 

1056: (\ref{EM:burgersapp})-(\ref{EM:initialapp}), such that $u^{\e}\in\left[C([0,T); X(\R))\right]^M$ and

1057:  $\partial_x u^{\e}\in [L^{\infty}((0,T);L^1(\R))]^M$, then $u^{\e}\in

1058:  \left[C^{\infty}([0,T)\times \R)\right]^M$ and satisfies,

1059: 

1060: \begin{equation}\label{EM:requla}\displaystyle{ u^\e

1061:     \in \left[W^{m,p}((0,T)\times\R)\right]^M

1062: ,\;\;\mbox{for all  $1< p \le +\infty$ and $m\in

1063:   \N\setminus\{0\}$},}\end{equation}

1064: 

1065: \end{lem}

1066: \noindent{\bf Proof of Lemma \ref{EM:reg}}\\

1067: 

1068: \noindent \underline{{\bf Step 1 (Initialization of the Bootstrap)}:}\\

1069: 

1070: \noindent For the sake of simplicity, we will set

1071: 

1072: $$F[u^\e]=-a(u^\e)\diamond \partial_x u^\e.$$ 

1073: 

1074: \noindent From the fact that $u^{\e}\in\left[C([0,T); X(\R))\right]^M$ and

1075: $\partial_x u^{\e}\in [L^{\infty}((0,T);L^1(\R))]^M$, we deduce that

1076: $\partial_x u^{\e},\;\;F[u^\e]\in \left[L^{1}((0,T)\times\R)\right]^M \cap

1077: \left[L^{8}((0,T)\times\R)\right]^M$, which proves by interpolation that  

1078: 

1079: \begin{equation}\label{EM:etap0}\partial_x u^{\e},\;\;F[u^\e]\in

1080:   \left[L^{p}((0,T)\times\R)\right]^M\;\;\;

1081: \mbox{for all $1\le p \le 8$}.\end{equation}

1082: 

1083: \noindent Because $u^\e$ is a solution of (\ref{EM:burgersapp}), we see

1084: that

1085: 

1086: \begin{equation}\label{EM:h_1}\partial_t u^\e-\e\partial_{xx}u^\e=F[u^\e],

1087: \end{equation}

1088: 

1089: \begin{equation}\label{EM:h_2}\partial_{tx}

1090:   u^\e-\e\partial_{xxx}u^\e=\partial_x F[u^\e].

1091: \end{equation}

1092: 

1093: \noindent  Applaying the classical regularity theory of heat

1094: equations on (\ref{EM:h_1}), we deduce that:  

1095: 

1096: \begin{equation}\label{EM:etap1}\partial_t u^\e \;\;\;\mbox{and}\;\;\;

1097:   \partial_{xx} u^\e \in

1098:   \left[L^{p}((0,T)\times\R)\right]^M,\;\;\mbox{for all $1 <p \le 8$}.

1099: \end{equation}

1100: 

1101: 

1102: \noindent For more details, see  Ladyzenskaja \cite[Theorem

1103: 9.1]{LSU}. But we know that

1104: 

1105: \begin{equation}\label{EM:D1}\partial_x F[u^\e]=-a(u^\e)\diamond \partial_{xx}

1106: u^\e-Da(u^\e)\partial_x u^\e \diamond \partial_x u^\e\end{equation}

1107: 

1108: \noindent We notice that thanks to this better regularity on $u^\e$

1109: ((\ref{EM:etap0}) and (\ref{EM:etap1}),  and  by the Hölder inequality we can

1110: easily prove that 

1111: 

1112: $$\partial_x F[u^\e]\in

1113: \left[L^{p}((0,T)\times\R)\right]^M\;\;\;\mbox{for all $1<p\le 4$}.$$

1114: 

1115: 

1116: \noindent Now, we apply again the classical regularity theory of heat

1117: equations on (\ref{EM:h_2}), to deduce that:

1118: 

1119: \begin{equation}\label{EM:etap2}\partial_{tx} u^\e \;\;\;\mbox{and}\;\;\; 

1120: \partial_{xxx} u^\e \in \left[

1121:  L^{p}((0,T)\times\R)\right]^M,\;\;\mbox{for all  $1 <p \le

1122:  4$}.\end{equation}

1123: 

1124: 

1125: \noindent We know that

1126: 

1127: \begin{equation}\label{EM:D2}\partial_t F[u^\e]=-a(u^\e)\diamond \partial_{tx}

1128: u^\e-Da(u^\e)\partial_t u^\e \diamond \partial_x u^\e\end{equation}

1129: 

1130: 

1131: \noindent Thanks this previous regularity on $u^\e$, we obtain by the

1132: Hölder inequality that 

1133: 

1134: $$\partial_t F[u^\e]\in

1135: \left[L^{p}((0,T)\times\R)\right]^M\;\;\;\mbox{for all $1<p\le 4$}.$$

1136: 

1137: \noindent Which gives  that

1138: 

1139: $$\partial_{x}u^\e,\;\;F[u^\e]\in

1140: \left[W^{1,p}((0,T)\times\R)\right]^M\;\;\;\mbox{for all $1<p\le 4$},$$

1141: 

1142: \noindent and  by the Sobolev embedding that

1143: $\partial_{x}u^\e\in\left[L^{p}((0,T)\times\R)\right]^M$ for all

1144: $1<p\le\infty$.

1145: 

1146: \noindent \underline{{\bf Step 2 (Recurrence)}:}\\

1147: 

1148: 

1149: \noindent Now, we use the same steps, we can prove 	

1150: by recurrence that for all $m\in \N$ if, 

1151: 

1152: $$(H_m)\;\;\left|\begin{array}{ll}

1153: &\partial_{x}u^\e \in\left[L^{\infty}((0,T)\times\R)\right]^M,\\

1154: \\

1155: &\partial_{x}u^\e,\;\;F[u^\e]\in \left[W^{m,p}((0,T)\times\R)\right]^M

1156: \;\;\;\mbox{for all $1<p\le 4$},\end{array}\right.$$

1157: 

1158: \noindent then  

1159: $$(H_m)\Rightarrow (H_{m+1}).$$

1160: 

1161: 

1162: \noindent Indeed, as in  (\ref{EM:etap1}) we can deduce here that 

1163: 

1164: \begin{equation}\label{EM:etap11}\partial_t u^\e \;\;\;\mbox{and}\;\;\;

1165:   \partial_{xx} u^\e \in

1166:   \left[W^{m,p}((0,T)\times\R)\right]^M,\;\;\mbox{for all $1 <p \le 4$},

1167: \end{equation}

1168: 

1169: \noindent and From (\ref{EM:D1}), because $\partial_{x}u^\e

1170: \in\left[L^{\infty}((0,T)\times\R)\right]^M$, we can obtain here that

1171: 

1172: $$\partial_x F[u^\e]\in

1173: \left[W^{m,p}((0,T)\times\R)\right]^M\;\;\;\mbox{for all $1<p\le 4$}.$$

1174: 

1175: \noindent Which proves that, as in (\ref{EM:etap2}) that 

1176: 

1177: \begin{equation}\label{EM:etap21}\partial_{tx} u^\e \;\;\;\mbox{and}\;\;\; 

1178: \partial_{xxx} u^\e \in \left[

1179:  W^{m,p}((0,T)\times\R)\right]^M,\;\;\mbox{for all  $1 <p \le

1180:  4$},\end{equation}

1181: 

1182: \noindent and From (\ref{EM:D2}), we deduce that 

1183: 

1184: $$\partial_t F[u^\e]\in

1185: \left[W^{m,p}((0,T)\times\R)\right]^M\;\;\;\mbox{for all $1<p\le 4$},$$

1186: 

1187: \noindent and then

1188: 

1189: $$\partial_{x}u^\e,\;\;F[u^\e]\in

1190: \left[W^{m+1,p}((0,T)\times\R)\right]^M\;\;\;\mbox{for all $1<p\le 4$},$$

1191: 

1192: 

1193: 

1194: \noindent Which proves by the Sobolev embedding the results. $\hfill\Box$

1195: 

1196: 

1197: 

1198: 

1199: 

1200: 

1201: \begin{lem}\label{EM:lem:e0}{\bf (Classical Maximum Principle)}\\

1202:  Let $T>0$. For all initial data  $u_0^\e\in [X(\R)]^M$, where

1203:  $\partial_x u_0^\e\in [W^{m,p}(\R)]^M$ for all $m\in\N$, $1\le p\le +\infty$, and satisfying $(H3)$.\\

1204: 

1205: \noindent If $u^{\e}$ is a solution of the system 

1206: (\ref{EM:burgersapp})-(\ref{EM:initialapp}), such that $u^{\e}\in\left[C([0,T); X(\R))\right]^M$ and

1207:  $\partial_x u^{\e}\in [L^{\infty}((0,T);L^1(\R))]^M$, then we have for

1208:  $i=1,\dots,M$,  $\partial_{x} u^{\e,i}\ge 0$   on $(0,T)\times

1209:    \R$.

1210: \end{lem}

1211: 

1212: \noindent{\bf Proof of Lemma \ref{EM:lem:e0}}\\

1213: \noindent We first derive with respect to $x$ the system

1214: (\ref{EM:burgersapp})-(\ref{EM:initialapp}), and get for

1215: $w^{\e}=(w^{\e,i})_{i=1,\dots,M}= \partial_x u^\e$

1216: 

1217: $$\partial_t w^\e -\e\partial_{xx}w^\e+ a(u^{\e}) \diamond \partial_{x}w^\e+ Da(u)w^{\e}

1218: \diamond w^{\e}=0.$$

1219: 

1220: \noindent  Since $u^{\e}\in \left[C^{\infty}([0,T)\times \R)\right]^M$,

1221: we see, for $i=1,\dots,M$, that $w^{\e,i}$ is smooth and satisfies

1222: $w^{\e,i}(0,x)=\partial_x u_0^{\e,i}\ge 0$. From the classical maximum

1223: principle we deduce that $w^{\e,i} \ge 0$ on $[0,T)\times\R$.  $\hfill\Box$

1224: 

1225: 

1226: 

1227: \begin{rem}\label{EM:boru_x}{\bf ($L^{1}$ uniform estimate on $\partial_x

1228:     u^\e$)}\\

1229: Because  $\partial_x u^{\e,i}\ge 0$, for  $i=1,\dots,M$, we deduce from Lemma \ref{EM:Ldeu} that:

1230: 

1231: \begin{equation}\label{EM:L_1}\left\|\partial_x u^{\varepsilon}\right\|_{\left[L^{\infty}([0,T);L^1(

1232:     \R))\right]^M} \le 

1233: 2\left\|u^{\varepsilon}\right\|_{\left[L^{\infty}([0,T)\times\mathbb R)\right]^M}

1234: \le 2\|u_0^\e\|_{\left[L^{\infty}(\R)\right]^M}.\end{equation}

1235: \end{rem}

1236: 

1237: 

1238: 

1239: 

1240: \begin{cor}\label{EM:theo:exip_regu}{\bf (global existence of nondecreasing

1241:     smooth solutions)}\\

1242: Let $T>0$. The solution given in Theorem \ref{EM:theo:exip} can be chosen such that  

1243: $u^{\e}=(u^{\e,i})_{i=1,\dots,M}$ smooth, satisfies (\ref{EM:requla}) 

1244: and for each $i=1,\dots,M$, $\partial_{x} u^{\e,i}\ge 0$  on

1245: $(0,T)\times \R$.

1246:  

1247: \end{cor}

1248: 

1249: \noindent The proof of Corollary \ref{EM:theo:exip_regu} is a consequence of

1250: Theorem \ref{EM:theo:exip} and Lemmata \ref{EM:reg}, \ref{EM:lem:e0} and Remark

1251: \ref{EM:boru_x}.

1252: 

1253: 

1254: 

1255: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1256: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1257: \section{$\e$-Uniform {\it a priori} estimates }

1258: In this Section, we  show some $\e$-uniform estimates  

1259: on the solutions of the  system

1260: (\ref{EM:burgersapp})-(\ref{EM:initialapp}). These estimates  will be used 

1261:  in Section \ref{EM:preuv}  for the passage to the limit as $\e$ tends to zero.

1262: 

1263: \begin{lem}\label{EM:Ldeu1}{\bf($L^{\infty}$ bound on $u^\e$ and $L^{1}$

1264:     bound on  $\partial_x u^\e$)}\\

1265: Let $T>0$, $0<\e\le 1$ and function $u_0 \in

1266: \left[L^{\infty}(\R)\right]^M$ satisfying $(H3)$. Then the

1267: solution of the system (\ref{EM:burgersapp})-(\ref{EM:initialapp}) given in

1268: Theorem \ref{EM:theo:exip1} with initial data $u_0^\e=u_0\ast\eta_{\e},$

1269: satisfies the following

1270: $\e$-uniform estimates:\\

1271: 

1272: 

1273: \noindent $(E1)$ $\left\|u^\e\right\|_{\left[

1274:     L^{\infty}((0,T)\times\R)\right]^M} \le

1275: \left\|u_0\right\|_{\left[L^{\infty}(\R)\right]^M},$\\

1276: 

1277: \noindent $(E2)$

1278: $\left\|\partial_x{u}^{\e}\right\|_{\left[L^{\infty}((0,T),L^1(\R))\right]^M}

1279: \le 2\left\|u_0\right\|_{\left[L^{\infty}(\R)\right]^M}

1280: ,$\\

1281: \end{lem}

1282: 

1283: 

1284: \noindent {\bf Proof of Lemma \ref{EM:Ldeu1}:}\\

1285: \noindent First, we remark that if $\partial_x u_0\ge 0$, then  $\partial_x

1286: u_0^\e = (\partial_x u_0)\ast\eta_{\e}(x)\ge 0$ (because  $\eta$ is

1287: positive). The fact that $u_0 \in \left[L^{\infty}(\R)\right]^M$ and

1288: $\partial_x u_0\ge 0$, we obtain that $\partial_x u_0

1289: \in \left[L^{1}(\R)\right]^M$. 

1290: 

1291: \noindent By classical properties of the mollifier

1292: $(\eta_{\e})_{\e}$ we know that if  $u_0\in \left[L^{\infty}(\R)\right]^M$

1293: and  $\partial_x u_0 \in\left[L^{1}(\R)\right]^M$  we have $u_0^\e\in

1294: \left[X(\R)\right]^M$ and $\partial_x u_0^\e\in [W^{m,p}(\R)]^M$ for all

1295: $m\in\N$, $1\le p\le +\infty$.\\  

1296: 

1297: 

1298: \noindent Now, we use  Lemma \ref{EM:Ldeu}

1299: and Remark \ref{EM:boru_x}, we deduce by the classical properties of the

1300: mollifier $(E1)$ and $(E2)$.\\

1301: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1302: 

1303: 

1304: \noindent Before going into the proof of the gradient entropy inequality

1305: defined in (\ref{EM:eq:entropie}), we announce the  main idea of this new

1306: gradient entropy estimate. Now, let us set for $w\ge 0$ the entropy function

1307: $$\bar{f}(w)=w\ln w.$$

1308: For any {\it non-negative} test function $\varphi \in C^1_c(\R\times

1309: [0,+\infty))$, let us define the following {\it ``gradient entropy''} with

1310: $w^i:=\partial_x u^i$:

1311: $$\displaystyle{\bar{N}(t)}= \int_{\R}  \varphi \left(\sum_{i=1,...,M}

1312: \bar{f}(w^i)\right)\ dx.$$

1313: It is very natural to introduce such quantity $\bar{N}(t)$ which in

1314: the case $\varphi\equiv 1$, appears to be nothing else than the total entropy of the

1315: system of $M$ type of particles of non-negative densities $w^i$.

1316: Then  it is formally possible to deduce from (\ref{EM:burger}) the

1317: equality in the following new {\it gradient entropy inequality} for all $t\ge 0$\\

1318: \begin{equation}\label{EM:eq:entropie}

1319: \displaystyle{\frac{d \bar{N}}{dt}(t) + \int_{\R}\varphi \left(\sum_{i,j=1,...,M}

1320:   a^i_{,j}w^iw^j\right)\ dx \le R(t)} \quad \quad \mbox{for}\quad  t\ge 0,

1321: \end{equation}

1322: with the rest

1323: $$R(t)= \displaystyle{\int_{\R }  \left\{(\partial_t\varphi)

1324: \left(\sum_{i=1,...,M}\bar{f}(w^i)\right)+(\partial_x\varphi)

1325: \left(\sum_{i=1,...,M} a^i

1326:  \bar{f}(w^i)\right)\right\}\ dx,}

1327: $$

1328: where we only show the dependence on $t$ in the integrals.

1329: We remark in particular that this rest is formally equal to zero if $\varphi\equiv

1330: 1$.\\

1331: 

1332: \noindent To guarantee the existence of continuous solutions, we assumed in $(H2)$ a sign on

1333: the left hand side of inequality (\ref{EM:eq:entropie}).

1334: 

1335: \noindent For we return this previous calculate more rigorous, we prove 	

1336: actually the following gradient entropy inequality

1337: 

1338: \begin{pro}\label{EM:lemme:entro}{\bf(Gradient entropy inequality)}\\ 

1339: Let $T>0$, $0<\e\le 1$ and function $u_0 \in

1340: \left[L^{\infty}(\R)\right]^M$ satisfying $(H3)$. We consider the

1341: solution $u^\e$ of the system (\ref{EM:burgersapp})-(\ref{EM:initialapp}) given in

1342: Theorem \ref{EM:theo:exip1} with initial data

1343: $u_0^\e=u_0\ast\eta_{\e},$. Then, there exists a constant $C(T,M,M_1,

1344: \|u_0\|_{[L^{\infty}(\R)]^M},\|\partial_x u_0\|_{[L\log L

1345:   (\R)]^M}$ such that 

1346: 

1347: \begin{equation}\label{EM:keyest}

1348: N(t)+\displaystyle{\int_{0}^t\int_{\R}\sum_{i,j=1,\dots,M}a^i_{,j}(u^\e)w^{\e,i}w^{\e,j}}

1349: \le C,\;\;\;\mbox{with}\;\;\; N(t)=\displaystyle{\int_{\R}\sum_{i=1,\dots,M} f(w^{\e,i})dx}.

1350: \end{equation}

1351: 

1352: \noindent where  $w^{\e}=(w^{\e,i})_{i=1,\dots,M}=\partial_x u^{\e}$ and 

1353:  $f$ is defined in (\ref{EM:f}).

1354: 

1355: \end{pro}

1356: 

1357: \noindent  For the proof of Proposition \ref{EM:lemme:entro} we need  the following Lemma:

1358: 

1359: \begin{lem}{\bf($L\log L$ Estimate)}\label{EM:e(0)}\\

1360: Let $(\eta_\e)_{\e}$ be a non-negative mollifier, $f$ is the function

1361: defined in (\ref{EM:f}) and $h\in L^1(\R)$ is a non-negative function. Then

1362: 

1363: \noindent i) $\displaystyle{\int_{\R}}f(h)<+\infty$ if and only if

1364: $h\in L\log L(\R)$.\\

1365: 

1366: \noindent ii) If $h\in L\log L(\R)$ the function

1367: $h_{\e}=h\ast\eta_{\e}\in L\log L(\R)$ satisfies

1368: 

1369: $$\|h-h_{\e}\|_{L\log L(\R)} \rightarrow 0 \qquad\mbox{as}\qquad

1370: \e\rightarrow 0.$$ 

1371: 

1372: \end{lem}

1373: 

1374: \noindent  The proof of (i) is trivial, for the proof of (ii) see R. A. Adams

1375: \cite[Th 8.20]{Adams} for the proof of this Lemma.

1376: 

1377: \noindent {\bf Proof of Proposition \ref{EM:lemme:entro}:}\\

1378: \noindent Remark first that the quantity $N(t)$ is well-defined because

1379: $w^{\e}\in \left[L^{\infty}((0,T);L^1(\R))\right]^M \cap

1380: \left[L^{\infty}((0,T);L^8(\R))\right]^M$ (by Theorem \ref{EM:theo:exip}

1381: and Corollary \ref{EM:theo:exip_regu}) and we have the general

1382: inequality $\frac{-1}{e}\le w\log w \le w^2$ for all $w\ge 0$.\\

1383: 

1384: \noindent From Theorem \ref{EM:theo:exip_regu} we know that $w^{\e,i}$ and

1385: smooth non-negative function. Now, we derive $N(t)$ with respect to $t$,

1386: this is well-defined because for $i=1,\dots,M$, we have $\d{\left|\int_{w^{\e,i}\ge \frac {1}{e}}\right|\le

1387: e\|w^{\e,i}\|_{L^{\infty}((0,T);L^1(\R))}}$ and for all $m\in \N$,

1388: $w^{\e,i}\in W^{m,\infty}((0,T)\times\R)$ (see (\ref{EM:requla})).\\

1389: 

1390: 

1391: \noindent Finally, we get that,

1392: 

1393: 

1394: $$\begin{array}{lll}

1395: \displaystyle{\frac{d}{dt}N(t)}

1396: &=\displaystyle{\int_{\R}\sum_{i=1,\dots,M}

1397:   f'(w^{\e,i})(\partial_t w^{\e,i})},\\\\

1398: &=\displaystyle{\int_{\R}\sum_{i=1,\dots,M}

1399: f'(w^{\e,i})\partial_{x}\left(-a^i(u^{\e}) w^{\e,i}

1400: +\varepsilon\partial_{x}

1401: w^{\varepsilon,i}\right)},\\\\

1402: &=\overbrace{

1403:   \mathstrut\displaystyle{\int_{\R}}\sum_{i=1,\dots,M} a^i(u^{\e})

1404: w^{\e,i}f''(w^{\e,i})\partial_{x} w^{\e,i}}^{J_1}

1405: \;\overbrace{

1406:   \mathstrut-\displaystyle{\varepsilon\int_{\R}\sum_{i=1,\dots,M}\left(\partial_x

1407: w^{\e,i}\right)^2f''(w^{\e,i})}}^{J_2}

1408: \end{array}$$

1409: 

1410: \noindent But, it is easy to check that 

1411: $$f'(x)=\left\{\begin{array}{ll}

1412: \ln(x)+1 & \quad \mbox{if}\quad x \ge 1/e,\\

1413: 0 & \quad \mbox{if}\quad 0\le x \le 1/e,\\

1414: \end{array}\right. \;\;\; \mbox{and}\;\;\; f''(x)=\left\{\begin{array}{ll}

1415: \frac{1}{x} & \quad \mbox{if}\quad x \ge 1/e,\\

1416: 0 & \quad \mbox{if}\quad 0\le x \le 1/e.\\

1417: \end{array}\right.$$

1418: 

1419: \noindent This proves that $J_2\le 0$. To control  $J_1$, we rewrite it

1420: under the following form 

1421: 

1422: $$J_1= \displaystyle{\int_{\R}}\sum_{i=1,\dots,M} a^i(u^{\e})

1423: g'(w^{\e,i})\partial_{x} w^{\e,i},$$

1424: 

1425: \noindent where 

1426: 

1427: $$g(x)=\left\{\begin{array}{ll}

1428: x-\frac {1}{e} & \quad \mbox{if}\quad x \ge 1/e,\\

1429: 0 & \quad \mbox{if}\quad 0\le x \le 1/e,\\

1430: \end{array}\right.$$

1431: 

1432: \noindent Then,  we deduce that 

1433: 

1434: $$\begin{array}{lll}J_1

1435: &=\displaystyle{\int_{\R}}\sum_{i=1,\dots,M} a^i(u^{\e})

1436: \partial_{x}(g(w^{\e,i}))\\ 

1437: &=-\displaystyle{\int_{\R}}\sum_{i,j=1,\dots,M} a^i_{,j}(u^{\e})w^{\e,j}

1438: g(w^{\e,i}),\\

1439: &=\overbrace{

1440:   \mathstrut-\displaystyle{\int_{\R}}\sum_{i,j=1,\dots,M}

1441:   a^i_{,j}(u^{\e})w^{\e,j}w^{\e,i}}^{J_{11}}

1442: \;\overbrace{

1443:   \mathstrut-\displaystyle{\int_{\R}}\sum_{i,j=1,\dots,M}

1444: a^i_{,j}(u^{\e})w^{\e,j}(g(w^{\e,i})-w^{\e,i})}^{J_{12}},

1445: \end{array}$$

1446: 

1447: \noindent From $(H2)$, we know that $J_{11}\le 0$. We use the fact that

1448: $|g(x)-x|\le \frac {1}{e}$ for all $x\ge 0$ and $(H1)$, to deduce that

1449: 

1450: $$\begin{array}{lll}|J_{12}|

1451: &\le\frac {1}{e}

1452: M^2M_1\left\|w^{\e,i}

1453: \right\|_{\left[L^{\infty}((0,T),L^1(\R))\right]^M}\\

1454: \\

1455: &\le\frac {2}{e}

1456: M^2M_1\|u_0\|_{[L^{\infty}(\R)]^M}

1457: \end{array}$$

1458: 

1459: \noindent where we have use Lemma \ref{EM:Ldeu1} $(E2)$ in the last

1460: line. Finally, we deduce that, there exists a positive constant

1461: $C(\|u_0\|_{[L^{\infty}(\R)]^M},M_1,M)$ independent of $\e$ such that

1462:  

1463: $$\begin{array}{lll}\displaystyle{\frac{d}{dt}N (t)}

1464: &\le J_{11}+J_{12}+J_{2}\\

1465: &\le J_{11}+C

1466: .\end{array}$$

1467: 

1468: \noindent Integrating in time we get by Lemma \ref{EM:e(0)}, there exists a

1469: another positive constant $C(T,M,M_1,

1470: \|u_0\|_{[L^{\infty}(\R)]^M},\|\partial_x u_0\|_{[L\log L

1471:   (\R)]^M})$ independent of $\e$ such that  

1472: 

1473: $$N(t)+\displaystyle{\int_{0}^t\int_{\R}}\sum_{i,j=1,\dots,M}

1474:   a^i_{,j}(u^{\e})w^{\e,j}w^{\e,i}\le CT+N(0)\le C.$$

1475: 

1476: $\hfill\Box$  

1477: 

1478: 

1479: \begin{lem}{\bf($W^{-1,1}$ estimate on the time derivatives of the

1480:     solutions)}\label{EM:lem:etem}\\

1481: Let $T>0$, $0<\e\le 1$ and function $u_0 \in

1482: \left[L^{\infty}(\R)\right]^M$ satisfying $(H3)$. Then the

1483: solution of the system (\ref{EM:burgersapp})-(\ref{EM:initialapp}) given in

1484: Theorem \ref{EM:theo:exip1} with initial data $u_0^\e=u_0\ast\eta_{\e},$

1485: satisfies the following

1486: $\e$-uniform estimates:\\

1487: 

1488: $$\left\|\partial_t u^{\e} \right\|_{ \left[L^{2}((0,T); W^{-1,1}(\R))\right]^M}\leq

1489: C\left(1+\|u_0\|_{\left[L^{\infty}(\R)\right]^M}^2\right).$$

1490: 

1491: \noindent where $W^{-1,1}(\R)$ is  the dual of the space $W^{1,\infty}(\R).$

1492: 

1493: \end{lem}

1494: \noindent {\bf Proof of Lemma \ref{EM:lem:etem}:}\\

1495: \noindent The idea to  bound

1496: $\partial_t u^{\e}$ is simply to use  the available 

1497: bounds on the right hand side of the equation (\ref{EM:burgersapp}).

1498: 

1499: \noindent  We will give a proof by duality. We multiply the equation (\ref{EM:burgersapp}) by

1500: $\phi\in \left[L^{2}((0,T), W^{1,\infty}(\R))\right]^M$ and integrate on

1501: $(0,T)\times \R$,  which gives

1502: 

1503: $$\displaystyle{

1504: \int_{(0,T)\times\R}\phi\;\partial_t u^\e =

1505: \overbrace{

1506:   \mathstrut\e\int_{(0,T)\times\R}\phi\;\partial_{xx}^2u^\e}^{I_1}

1507: \;\overbrace{ \mathstrut-\int_{(0,T)\times\R}\phi\;a(u^\e) \diamond \partial_x u^\e}^{I_2}}.

1508: $$

1509: \noindent We integrate by parts the term $I_1$, and obtain that for

1510: $0< \e\le 1$:

1511: \begin{equation}\begin{array}{ll}\label{EM:I_1}\displaystyle{|I_1|\le

1512: \left|\int_{(0,T)\times\R}\partial_{x}\phi\partial_{x}u^\e\right|}

1513: &\le

1514: \displaystyle{T\|\partial_{x}\phi\|_{\left [L^{2}((0,T), L^{\infty}(\R))\right]^M}

1515:     \|\partial_{x}u^\e\|_{\left [L^{2}((0,T), L^{1}(\R))\right]^M}},\\

1516: \\

1517: &\displaystyle{\le

1518:   2T^{\frac 32}\|\phi\|_{\left[L^{2}((0,T), W^{1,\infty}(\R))\right]^M}

1519: \|u_0\|_{\left [L^{\infty}(\R)\right]^M}},

1520: \end{array}\end{equation}

1521: \noindent here, we have  used the inequality 

1522: \begin{equation}\label{EM:L_2}\left\|\partial_x u^{\varepsilon}\right\|_{\left[L^{2}([0,T);L^1(

1523:     \R))\right]^M} \le  2 T^{\frac

1524:   12}\|u_0\|_{\left[L^{\infty}(\R)\right]^M},

1525: \end{equation}

1526: 

1527: 

1528: 

1529: \noindent which follows from  estimate (\ref{EM:L_1}) for bounded and

1530: nondecreasing function $u^\e$.

1531: Similarly, for the term $I_2$, we have:  

1532: 

1533: \begin{equation}\begin{array}{ll}\label{EM:I_2}|I_2|

1534: &\le\displaystyle{ M_0\|u\|_{\left

1535:       [L^{\infty}((0,T)\times\R)\right]^M}

1536: \|\phi\|_{\left

1537:       [L^{2}((0,T), L^{\infty}(\R))\right]^M}

1538: \|\partial_{x}u^\e\|_{\left [L^{2}((0,T), L^{1}(\R))\right]^M}},\\

1539: \\

1540: &\le \displaystyle{2T^{\frac 12}M_0\|u_0\|_{\left

1541:       [L^{\infty}(\R)\right]^M}^2\|\phi\|_{\left

1542: [L^{2}((0,T), W^{1,\infty}(\R))\right]^M}}.

1543: \end{array}\end{equation}

1544: 

1545: \noindent Finally,  collecting (\ref{EM:I_1}) and (\ref{EM:I_2}), we get that

1546: there exists a constant $C=C(T,M_0)$ independent of

1547: $0<\e\le 1$ such that:

1548: $$\displaystyle{\left|

1549: \int_{(0,T)\times\R}\phi\partial_t u^\e \right|

1550: \le C\left(1+\|u_0\|_{\left

1551:       [L^{\infty}(\R)\right]^M}^2\right)\|\phi\|_{\left

1552: [L^{2}((0,T), W^{1,\infty}(\R))\right]^M}}

1553: $$

1554: which gives the announced result where we use that $L^{2}((0,T),

1555: W^{-1,1}(\R))$ is the dual of $L^{2}((0,T),

1556: W^{1,\infty}(\R))$ (see   Cazenave and  Haraux

1557:   \cite[Th 1.4.19, Page 17]{Cazen}). $\hfill\Box$

1558: 

1559: \begin{cor}\label{EM:born}{\bf ($\e$-Uniform estimates)}\\

1560: Let $T>0$, $0<\e\le 1$ and function $u_0 \in

1561: \left[L^{\infty}(\R)\right]^M$ satisfying $(H1)$ and $(H2)$. Then the

1562: solution of the system (\ref{EM:burgersapp})-(\ref{EM:initialapp}) given in

1563: Theorem \ref{EM:theo:exip1} with initial data $u_0^\e=u_0\ast\eta_{\e},$

1564: satisfies the following

1565: $\e$-uniform estimates:\\

1566: 

1567: 

1568: $$\left\|\partial_ x{u}^{\e}\right\|_{\left[ L^{\infty}((0,T);  L\log L(\R))\right]^M}

1569: +\left\|u^\e\right\|_{\left[ L^{\infty}((0,T)\times \R)\right]^M}

1570: +\left\|\partial_t{u}^{\e}\right\|_{\left[ L^{2}((0,T); W^{-1,1}(\R))\right]^M}

1571: \le C.$$

1572: 

1573: 

1574: \noindent where  $C=C(T,M,M_0,M_1

1575: \left\|u_0\right\|_{\left[L^{\infty}(\R)\right]^M},\left\|

1576: \partial_x u_0\right\|_{\left[L\log L(\R)\right]^M})$.

1577: 

1578: \end{cor}

1579: 

1580: \noindent We can easily prove this Corollary collecting Lemmata

1581: \ref{EM:Ldeu1}, \ref{EM:lem:etem} and \ref{EM:e(0)} and Proposition \ref{EM:lemme:entro}.

1582: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1583: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1584:  \section{Passage to the limit and the proof of Theorem \ref{EM:th1}}\label{EM:preuv}

1585: 

1586: In this section, we prove that the system

1587:  (\ref{EM:burger})-(\ref{EM:initialdata}) admits solutions $u$ in the

1588: distributional sense.  They are the limits  of $u^{\e}$ given by

1589: Theorem \ref{EM:theo:exip1} when  $\e\rightarrow

1590: 0$. To do this, we

1591: will justify the passage  to the limit as $\e$ tends to $0$ in the

1592: system (\ref{EM:burgersapp})-(\ref{EM:initialapp}) by using some 

1593: compactness  tools that are presented in a first Subsection. 

1594: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1595: \subsection{Preliminary results}

1596: First,  for all $I$  open interval of $\R$, we denote by 

1597: $$L\log L(I)==\left\{\mbox{$f\in L^1(I)$ such that

1598:   $\displaystyle{\int_{I}|f|\ln\left(1+|f|\right)<+\infty}$}

1599:  \right\}.$$

1600: 

1601: \begin{lem}\label{EM:lem:comp}{\bf (Compact embedding)}\\

1602: \noindent Let $I$ an open and bounded interval of $\R$. If we denote

1603: by

1604: $$W^{1, L \log L}(I)=\{\mbox{$u\in L^{1}(I)$ such that

1605:   $\partial_x u\in L\log L(I)$}\}.$$

1606: 

1607: \noindent Then the following injection:

1608: 

1609: $$W^{1, L \log L}(I)\hookrightarrow C(I),$$

1610: \noindent is compact.

1611: \end{lem}

1612: \noindent For the proof of this Lemma see R. A. Adams \cite[Th

1613: 8.32]{Adams}.

1614: 

1615: 

1616: \begin{lem}\label{EM:simo}{\bf (Simon's Lemma)}\\

1617: \noindent Let $X$, $B$, $Y$ be three  Banach spaces, such that

1618: 

1619: $$\mbox{$X\hookrightarrow B$ with compact embedding and $B\hookrightarrow Y$ with continuous

1620:  embedding}.$$ 

1621: 

1622: \noindent Let $T>0$. If $(u^\e)_\e$ is a sequence such that,

1623: 

1624: $$\|u^\e\|_{L^{\infty}((0,T); X)}+\|u^\e\|_{L^{\infty}((0,T); B)}+

1625: \left\|\partial_t u^\e\right\|_{L^q((0,T); Y)}\le C,

1626: $$

1627: 

1628: \noindent  where $q>1$ and $C$ is a constant independent of $\e$, 

1629: then $(u^\e)_\e$ is relatively compact in $C((0,T); B)$.

1630: 

1631: \end{lem}

1632: \noindent For the proof, see J. Simon \cite[Corollary 4, Page 85]{SI87}.\\

1633: 

1634: \noindent In order to show the existence of solution system (\ref{EM:burger}) in

1635: Subsection \ref{EM:preuvf}, we will apply this lemma to each scalar component in the particular case

1636: where  $X=W^{1,\log}(I)$, $B= L^{\infty}(I)$ and

1637: $Y=W^{-1,1}(I):=(W^{1,\infty}(I))'$.\\

1638: 

1639: \noindent We denote by $K_{exp}(I)$ the class of all measurable function $u$,

1640: defined on $I$, for which,

1641: 

1642: $$\displaystyle{\int_{I}\left(e^{|u|}-1\right)<+\infty}.$$

1643:  

1644: \noindent The space  $EXP(I)$ is defined to be the linear hull of

1645: $K_{exp}(I)$. This space is supplemented with the following Luxemburg

1646: norm (see Adams \cite[(13), Page

1647: 234]{Adams} ):

1648:  

1649: $$\|u\|_{EXP(I)}=\inf\left\{\lambda>0:\displaystyle{\int_{I}

1650: \left(e^{\frac{|u|}{\lambda}}-1\right)\le 1}\right\},$$

1651: 

1652: \noindent Let us recall some useful properties of this space.

1653: 

1654: \begin{lem}\label{EM:weak}{\bf (Weak star topology in $L\log L$)}\\

1655: Let $E_{exp}(I)$ be the closure in $EXP(I)$ of the

1656: space of functions  bounded on $I$. Then $E_{exp}(I)$  is a separable

1657: Banach  space which verifies, \\

1658: 

1659: \noindent i) \centerline{$\mbox{$L\log

1660: L(I)$ is the dual space of $E_{exp}(I)$.}$} \\

1661:  

1662: 

1663: \noindent  ii) \centerline{$\mbox{$L^{\infty}(I) 

1664: \hookrightarrow E_{exp}(I)$.}$}

1665: 

1666: \end{lem}

1667: \noindent For the proof, see Adams \cite[Th 8.16, 8.18,

1668: 8.20]{Adams}.

1669: 

1670: 

1671: \begin{lem}\label{EM:hold}{\bf(Generalized Hölder inequality, Adams 

1672:     \cite[8.11, Page 234]{Adams})}\\

1673: Let $f\in EXP (I)$ and $g\in L\log L(I)$. Then $fg\in L^1(I)$, with 

1674: 

1675: $$\|fg\|_{L^1(I)}\le 2\|f\|_{EXP(I)}\|g\|_{L\log L(I)}.$$

1676: \end{lem} 

1677: 

1678: 

1679:  \noindent The following Lemma, we allow to define later the restriction of a function 

1680: $f\in W^{-1,1}(\R)$ on all open interval $I$ of $\R$.

1681: 

1682: \begin{lem}{\bf (Extension)}\\

1683: For all open interval 

1684: $I$ of $\R$, there exists a linear and continuous operator of extension $P:

1685: W^{1,\infty}(I)\rightarrow W^{1,\infty}(\R)$ such that\\

1686: 

1687: \noindent i) $Pu_{|_I}=u$ for  $u\in W^{1,\infty}(I)$.\\

1688: 

1689: \noindent ii) $\|Pu\|_{W^{1,\infty}(\R)}\le\|u\|_{W^{1,\infty}(I)}$ for 

1690: $u\in W^{1,\infty}(I)$.

1691: \end{lem}

1692: \noindent for the proof of this Lemma see for instance  Brezis

1693: \cite[Th.8.5]{Bre}.\\

1694: 

1695: \noindent Thanks this Lemma, we can notice that, if $f\in

1696: W^{-1,1}(\R)$, where $W^{-1,1}(\R):=(W^{1,\infty}(\R))'$, we can define,  for all

1697: open interval $I$ of $\R$, the function $f_{|_I}$ as the

1698: following

1699: 

1700: $$<f_{|_I},h>_{W^{-1,1}(I),W^{1,\infty}(I)}=<f,

1701: Ph>_{W^{-1,1}(\R),W^{1,\infty}(\R)}.$$

1702: 

1703: 

1704: \noindent for all $h\in W^{1,\infty}(I)$. 

1705: 

1706: 

1707: 

1708: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1709: 

1710: \subsection{Proof of  Theorem \ref{EM:th1}}\label{EM:preuvf}

1711: 

1712: \noindent \underline{ {\bf Step 1 (Existence)}:}\\

1713: 

1714: \noindent  First, by Corollary \ref{EM:born}  we know that for any $T>0$, the

1715: solutions $u^{\e}$ of the system

1716: (\ref{EM:burgersapp})-(\ref{EM:initialapp})  obtained with

1717: the help of Theorem  \ref{EM:theo:exip1},  are $\e$-uniformly bounded in

1718: $\left[L^{\infty}((0,T)\times\R)\right]^M$. Hence,  as $\e$

1719: goes to zero, we  can extract a subsequence   still denoted

1720:  by $u^{\e}$, that converges weakly-$\star$  in

1721: $\left[L^{\infty}((0,T)\times\R)\right]^M$ to some limit  $u$. 

1722: Then we want to  show that $u$ is a solution of the

1723: system (\ref{EM:burger})-(\ref{EM:initialdata}). Indeed, since the passage to the

1724: limit in the linear terms is trivial in $\left[\D'((0,T)\times\R)\right]^M$, it

1725: suffices to pass to the limit in the non-linear term,

1726: 

1727: $$a(u^\e)\diamond \partial_x u^\e.$$

1728: 

1729: \noindent According to Corollary \ref{EM:born} we know that for all open and

1730: bounded interval $I$ of $\R$ there exists a constant $C$  independent on $\e$

1731: such that:

1732: 

1733: $$\left\|{u}^{\e}\right\|_{\left[ L^{\infty}((0,T); W^{1, L\log L}(I))\right]^M}

1734: +\left\|u^\e\right\|_{\left[ L^{\infty}((0,T)\times I)\right]^M}

1735: +\left\|\partial_t{u}^{\e}\right\|_{\left[ L^{2}((0,T); W^{-1,1}(I))\right]^M}

1736: \le C.$$

1737: 

1738: \noindent From the compactness of $W^{1,L\log L}(I)\hookrightarrow

1739: L^{\infty}(I)$ (see Lemma \ref{EM:weak} (i)),

1740: we can apply Simon's Lemma (i.e. Lemma \ref{EM:simo}), 

1741: with $X=\left[W^{1,L\log L}(I)\right]^M$, $B=\left[L^{\infty}(I)\right]^M$

1742: and $Y=\left[W^{-1,1}(I)\right]^M$, which shows that

1743: 

1744: \begin{equation}\label{EM:Linf}\mbox {$u^\e$ is relatively  compact in

1745:  in $\left[L^{\infty}((0,T)\times I)\right]^M \hookrightarrow

1746: \left[L^{1}((0,T); L^{\infty}(I))\right]^M.$}\end{equation}

1747: 

1748: \noindent  Then form continuous

1749: injection of $L^{\infty}(I) \hookrightarrow E_{exp}(I)$  (see Lemma

1750: \ref{EM:weak} (ii)), we deduce that,

1751: 

1752: \begin{equation}\label{EM:compact}\mbox{$u^\e$ is relatively  compact in $\left[L^{1}((0,T);

1753:   E_{exp}(\Omega))\right]^M$.}\end{equation}

1754: 

1755: 

1756: \noindent On the other hand,

1757: by Corollary \ref{EM:born}, we notice that

1758: $\partial_x u^\e$ is $\e$-uniformly bounded in

1759:   $\left[L^{\infty}((0,T); L\log L(I))\right]^M$. Moreover, the space

1760:   $\left[L^{\infty}((0,T); L\log L(I))\right]^M$ is the dual space of $\left[L^{1}((0,T);

1761:   E_{exp}(I))\right]^M$, because $L\log L(I)$ is the dual space of

1762: $E_{exp}(I)$ (see Lemma \ref{EM:weak} (ii) and Cazenave, Haraux

1763: \cite[Th 1.4.19, Page 17]{Cazen}). Then, up to a subsequence

1764: 

1765: \begin{equation}\label{EM:compact1}\mbox{$\partial_x u^\e \rightarrow \partial_x u$  

1766: weakly-$\star$ in $\left[L^{\infty}((0,T); L\log L(I))\right]^M$ 

1767: .}\end{equation}  

1768: 

1769: 

1770: \noindent Form (\ref{EM:compact}) and (\ref{EM:compact1}), we see that we can

1771: pass to the limit in the non-linear term in the sense 

1772: 

1773: $$\left[L^{1}((0,T); E_{exp}(I))\right]^M-strong\;

1774: \times\;\left[ L^{\infty}((0,T); L\log

1775: L(I))\right]^M-weak-\star.$$

1776: 

1777: \noindent Because this is true for any bounded open interval $I$ and for

1778: any $T>0$, we deduce that,

1779: 

1780: $$a(u^\e)\diamond \partial_x u^\e  \rightarrow a(u) \diamond \partial_x u\;\;\; \mbox{in}\;\;

1781: \D'((0,T)\times \R)$$

1782: 

1783: \noindent  Consequently, we can pass to the limit in (\ref{EM:burgersapp}) and get that,

1784: 

1785: $$\partial_t{u}+a(u)\diamond \partial_x u =0\;\;\; \mbox{in}\;\;

1786: \D'((0,T)\times \R).$$

1787: 

1788: \noindent  This solution $u$ is also satisfy the

1789: following estimates (see for instance

1790:  Brezis \cite[Prop. 3.12]{Bre}):\\

1791: 

1792: \noindent $(E1')$ $\left\|\partial_x{u}\right\|_{\left[ L^{\infty}((0,T);L\log

1793:     L(\R))\right]^M}\le \liminf

1794: \left\|\partial_x{u}^{\e}\right\|_{\left[ L^{\infty}((0,T);L\log

1795: L(\R))\right]^M} \le C ,$\\

1796: 

1797: \noindent $(E2')$ $\|u\|_{\left[L^{\infty}((0,T)\times \R)\right]^M}\le 

1798: \liminf  \left\|u^\e\right\|_{\left[

1799:      L^{\infty}((0,T)\times\R)\right]^M} \le

1800:  \left\|u_0\right\|_{\left[L^{\infty}(\R)\right]^M},$\\

1801: 

1802: 

1803:  

1804: \noindent   At this stage we remark that, thanks to these two estimates

1805: we obtain that   $(a(u)\diamond \partial_x u)\in

1806: \left[L^{\infty}((0,T);L\log L(\R))\right]^M$, which gives, since 

1807: $\partial_t{u}=-a(u)\diamond \partial_x u$, that  $\partial_t {u}\in\left[

1808:   L^{\infty}((0,T);L\log L(\R))\right]^M$, and then

1809:   $ u \in \left[C([0,T);L\log L(\R))\right]^M$.\\

1810: 

1811: 

1812: 

1813: \noindent \underline{{\bf Step 2 (The initial conditions)}:}\\

1814: 

1815: \noindent It remains to prove that the initial conditions (\ref{EM:initialdata}) coincides

1816:  with $u(\cdot,0)$. Indeed, by Corollary \ref{EM:born}, we see that, for all

1817:  open bounded interval  $I$ of $\R$, $u^{\e}$ is  $\e$-uniformly bounded in 

1818: 

1819: $$\left[W^{1,2}((0,T); W^{-1,1}(I))\right]^M \hookrightarrow\left[C^{\frac 12}([0,T);

1820: W^{-1,1}(I))\right]^M,$$ 

1821: 

1822: \noindent where $W^{-1,1}(I)$ is the dual of $W^{1,\infty}(I)$.

1823:  It follows that, there exists a

1824: constant $C$  independent on $\e$, such that, for all $t,s\in [0,T)$:

1825: $$\|u^\e(t)-u^\e(s)\|_{\left[W^{-1,1}(I)\right]^M}\le C

1826: |t-s|^{\frac 12}.$$

1827: 

1828: \noindent In particular if we set $s=0$, we have:

1829: \begin{equation}\label{EM:hol}\|u^{\e}(t)- u^{\e}_0\|_{\left[W^{-1,1}(I)\right]^M}\le C

1830: t^{\frac 12}.\end{equation}

1831: \noindent Now we pass to the limit in (\ref{EM:hol}). Indeed, 

1832: the functions $u^{\e}$ and $u^{\e}_0$ are $\e$-uniformly 

1833: bounded in $\left[W^{1,2}((0,T); W^{-1,1}(I))\right]^M$ and  $\left[W^{-1,1}(I)\right]^M$

1834: respectively. Moreover we  know that

1835: $u^{\e}-u^{\e}_0$ converges weakly-$\star$ in

1836: $\left[L^{\infty}( (0,T)\times I)\right]^M$ to $u-u_0$.\\ 

1837: 

1838: \noindent Therefore, we

1839: can extract a subsequence still denoted by $u^{\e}-u^{\e}_0$, that

1840: weakly-$\star$  converges in $\left[W^{1,2}((0,T);  W^{-1,1}(I))\right]^M$ to

1841: $u-u_0$. In particular this subsequence 	

1842:  converges, for all $t\in (0,T)$, weakly-$\star$ in $\left[L^{\infty}((0,t);

1843: W^{-1,1}(I))\right]^M$, and consequently it verifies (see for instance

1844:  Brezis \cite[Prop. 3.12]{Bre}),

1845: 

1846: $$\|u-u_0\|_{\left[L^{\infty}((0,t);W^{-1,1}(I))\right]^M}\le

1847: \liminf  

1848: \|u^\e-u^\e_0\|_{\left[L^{\infty}((0,t);W^{-1,1}(I))\right]^M}\le

1849: Ct^{\frac 12}.$$

1850: 

1851: \noindent From (\ref{EM:hol}) we deduce that

1852: $$\|u(t)-u_0\|_{\left[W^{-1,1}(I)\right]^M}\le

1853: Ct^{\frac 12},$$

1854: \noindent which proves that  $u(\cdot,0)=u_0$ in

1855: $\left[\D'(\R)\right]^M$.\\

1856: 

1857: 

1858: \noindent \underline{{\bf Step 3 (Continuity of solution)}:}\\

1859: Now, we are going to prove the continuity estimate (\ref{EM:contu}). For

1860: all $h>0$ and $(t,x)\in (0,T)\times \R$, we have: 

1861: 

1862: 

1863: $$\begin{array}{ll}|u(t,x+h)-u(t,x)|

1864: &\le \d{\left|\int_x^{x+h} \partial_x u(t,y)dy\right|}\\

1865: \\

1866: & \le 2 \d{\|1\|_{EXP(x,x+h)}\|\partial_x u\|_{L\log L(x,x+h)}},\\

1867: \\

1868: & \le 2 \d{\frac{1}{\ln(\frac {1}{h}+1)}\|\partial_x u\|_{L^{\infty}((0,T); L\log

1869:   L(\R))}},\\

1870: \\

1871: & \le \d{C\frac{1}{\ln(\frac {1}{h}+1)}},

1872: \end{array}$$

1873: 

1874: 

1875: \noindent where we have used in the second line the generalized Hölder

1876: inequality (see Lemma \ref{EM:hold}) and in last line we have used that

1877: $\partial_x u \in L^{\infty}((0,T); L\log L(\R))$. Which proves finally

1878: the continuity in space. Now, we prove the continuity in time, for all

1879: $\delta >0$ and $(t,x)\in (0,T)\times \R$, we have:

1880: 

1881: 

1882: $$\begin{array}{llll}\delta|u(t+\delta,x)-u(t,x)|

1883: &=\d{\int_x^{x+\delta}|u(t+\delta,x)-u(t,x)|dy},\\

1884: \\

1885: &\le \overbrace{

1886:   \mathstrut{\d{\int_x^{x+\delta}|u(t+\delta,x)-u(t+\delta,y)|dy}}}^{K_1},\\

1887: &\;\;\;+\overbrace{

1888:   \mathstrut{\d{\int_x^{x+\delta}|u(t+\delta,y)-u(t,y)|dy}}}^{K_2},\\

1889: &\;\;\;+\overbrace{

1890:   \mathstrut{\d{\int_x^{x+\delta}|u(t,y)-u(t,x)|dy}}}^{K_3}.

1891: \end{array}$$

1892: 

1893: \noindent Similarly, as in the last estimate, we can show that:

1894:  

1895: $$\begin{array}{llll}

1896: K_1+K_3&\le \delta \d{\int_x^{x+\delta}|\partial_x  u(t+\delta,y)|dy},

1897: +\delta \d{\int_x^{x+\delta}|\partial_x  u(t,y)|dy},\\

1898: \\

1899: &\le 4\delta \d{\|1\|_{EXP(x,x+\delta)}\|\partial_x

1900:   u\|_{L^{\infty}((0,T); L\log L(\R))}},\\

1901: \\

1902: &\le \d{C\frac{\delta}{\ln(\frac {1}{\delta}+1)}}.

1903: \end{array}$$

1904: 

1905: \noindent Now, we use that $u$ is a solution of (\ref{EM:burger}), and

1906: we obtain that:

1907: 

1908: $$\begin{array}{llll}

1909: K_2

1910: &\le \d{\int_x^{x+\delta}\int_t^{t+\delta}|\partial_t u(s,y)|dy},\\

1911: \\

1912: &\le \d{\int_t^{t+\delta}\int_x^{x+\delta}|a(u(s,y))\diamond \partial_x

1913:   u(s,y)|ds dy},\\

1914: \\

1915: &\le \d{\delta M_0\|u\|_{L^{\infty}((0,T)\times \R )}}

1916:   \d{\|1\|_{EXP(x,x+\delta)}\|\partial_x u\|_{L^{\infty}((0,T); L\log L(\R)}},\\

1917: \\

1918: &\le\d{C\frac{\delta}{\ln(\frac {1}{\delta}+1)},}

1919: \end{array}$$

1920: 

1921: \noindent  where we have used in  last line that $u\in

1922: L^{\infty}((0,T)\times \R )$, collecting the estimates of 

1923: $K_1$, $K_2$ and $K_3$, we prove that:  

1924: 

1925: $$|u(t+\delta,x)-u(t,x)|\le \frac{1}{\delta}(K_1+K_2+K_3)\le

1926: \d{C\frac{1}{\ln(\frac {1}{\delta}+1)}},$$

1927:  

1928: \noindent which proves finally the following:

1929: 

1930: $$|u(t+\delta,x+h)-u(t,x)|\le C\left(

1931:  \displaystyle{\frac{1}{\ln(\frac

1932:     {1}{\delta}+1)}+\frac{1}{\ln(\frac {1}{h}+1)}}\right).$$

1933: 

1934: $\hfill\Box$

1935: 

1936: 

1937: 

1938: 

1939: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1940: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1941: 

1942: \section{Some remarks on the uniqueness

1943:   }

1944: In this Section we study the uniqueness of solution of the system

1945: (\ref{EM:burger})-(\ref{EM:initialdata}) with

1946: $$\d{a^i(u)=\sum_{j=1,\dots,M}A_{ij}u^j}.$$ 

1947: 

1948: \noindent  We show some uniqueness

1949: results for some particular matrices with $M\ge2$.

1950: 

1951: \noindent For the proof of Theorem \ref{EM:unicite1} in Subsection

1952: \ref{EM:uni}, we need to recall in the following Subsection the definition

1953: of viscosity solution and some well-known results in this framework.

1954: 

1955: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1956: \subsection{Some useful results for viscosity solutions}

1957: The notion  of viscosity solutions is quite recente. This concept

1958: has been introduced by  Crandall and Lions \cite{Lio81, CL82} in 1980, to solve 

1959: the first-order Hamilton-Jacobi equations. The theory then extended to

1960: the second order equations by the  work of  Jensen \cite{Jen} and Ishii

1961: \cite{Ishii89}. For good introduction of this theory, we refer to  Barles

1962: \cite{B94} and Bardi, Capuzzo-Dolcetta \cite{BCD97}.

1963: 

1964: \noindent Now, we recall the definition of viscosity solution for the

1965: following problem for all $0\le\e \le 1$:

1966: 

1967: 

1968: \begin{equation}\label{EM:Ham}\partial_t v + H(t,x,v,\partial_{x} v)-\e\partial_{xx}v=0\;\;\;\mbox{with}

1969: \;\;\;x,v\in\R,\; t\in (0,T).\end{equation}

1970: 

1971: 

1972: \noindent where  $H :(0,T)\times \R^3\longmapsto \R$ is the Hamiltonian

1973: and is supposed continuous. We will set 

1974:  

1975: $$USC((0,T)\times\R)=\{\mbox{$f$ such that $f$ is upper semicontinuous 

1976: on $(0,T)\times\R$}\},$$

1977: $$LSC((0,T)\times\R)=\{\mbox{$f$  such that $f$ is lower semicontinuous 

1978:   on $(0,T)\times\R$}\}.$$

1979: 

1980: \begin{defi}\label{EM:defi:salution}{\bf (Viscosity subsolution,

1981:     supersolution and solution)}\\

1982: \noindent A function $v \in USC( (0,T)\times\R)$ is a viscosity subsolution of

1983: (\ref{EM:Ham}) if it satisfies, for every $(t_0,x_0)\in (0,T)\times\R$ and

1984: for every test function $\phi\in C^2((0,T)\times\R)$, that is tangent

1985: from above to $v$ at  $(t_0,x_0)$, the following holds:

1986: 

1987: $$\partial_t \phi + H(t_0,x_0,v,\partial_{x} \phi)-\e\partial_{xx}\phi \le

1988: 0.$$

1989: 

1990: \noindent A function $v \in LSC( (0,T)\times\R)$ is a viscosity supersolution of

1991: (\ref{EM:Ham}) if it satisfies, for every $(t_0,x_0)\in (0,T)\times\R$ and

1992: for every test function $\phi\in C^2((0,T)\times\R)$, that is tangent

1993: from below to $v$ at  $(t_0,x_0)$, the following holds:

1994: $$\partial_t \phi + H(t_0,x_0,v,\partial_{x} \phi)-\e\partial_{xx}\phi \ge

1995: 0.$$

1996: 

1997: \noindent A function $v$ is a viscosity solution of (\ref{EM:Ham}) if, and

1998: only if, it is a sub and a supersolution of (\ref{EM:Ham}).

1999: 

2000: \end{defi}

2001: 

2002: \noindent Let us now recall some well-known results.

2003: 

2004: \begin{rem}\label{EM:Clas}{\bf (Classical solution-viscosity solution)}\\

2005: If  $v$ is a $C^2$ solution of (\ref{EM:Ham}), then $v$ is a viscosity

2006: solution of (\ref{EM:Ham}).

2007: \end{rem}

2008: 

2009: 

2010: \begin{lem}\label{EM:Sta}{\bf (Stability result}, see Barles \cite[Th

2011:   2.3]{B94}{\bf )}\\

2012: We suppose that, for $\e >0$, $v^\e$ is a viscosity solution of 

2013: (\ref{EM:Ham}). If $v^\e\rightarrow v$ uniformly on every compact set  then 

2014: $v$  is a viscosity solution of (\ref{EM:Ham}) with $\e =0$.

2015:  \end{lem}

2016: 

2017: 

2018: \begin{lem}\label{EM:Comp}{\bf (Gronwall for viscosity solution)}\\

2019: Let $v$, a locally bounded $USC(0,T)$ function, which is a viscosity subsolution  of the

2020: equation $\d{\frac{d}{dt}v=\a v}$ where $\a\ge 0$. Assume that $v(0)\le v_0$ then

2021: $v\le v_0 \;e^{\a T}$ in $(0,T)$.

2022: \end{lem}

2023: 

2024: \noindent The proof of this Lemma is a direct application of the

2025: comparison principle, (see Barles \cite[Th 2.4]{B94}).

2026: 

2027: \begin{rem}{$\;$}\\

2028: From Lemmata \ref{EM:Clas}, \ref{EM:Sta} and  from (\ref{EM:Linf}), we can notice that the solution $u^i$

2029: of our system (\ref{EM:burger}) given in  Theorem \ref{EM:th1} is also a viscosity

2030: solution of (\ref{EM:burger}) (where the $u^j$ for $j\neq i$ are considered

2031: fixed to apply Definition \ref{EM:defi:salution}).\end{rem}

2032: 

2033: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2034: \subsection{Uniqueness results}\label{EM:uni}

2035: In this Subsection we prove Theorem \ref{EM:unicite1}. Before going on, we

2036: recall in the following Remark a well-known uniqueness results and we

2037: recall in Theorem  \ref{EM:unicite} the uniqueness results of

2038: $W^{1,\infty}$ solution of (\ref{EM:burger}).

2039: 

2040: 

2041: \begin{rem}{\bf (Uniqueness for  quasi-monotone Hamiltonians)}\\

2042:  If the  elements of the matrix $A$ satisfy:

2043: $$\mbox{$\displaystyle{A_{ii}+\sum_{j\neq i,

2044:   A_{ij}<0}A_{ij}\ge 0}$ \;\;\;for all \;\;\; $i=1,\cdots,M$.}$$

2045: 

2046: \noindent and  if $\partial_x u^i\ge 0$ for $i=1,\dots,M$, 

2047: then we can easily check that the Hamiltonian

2048:  

2049: $$\displaystyle{H_i(u,\partial_x u^i)=\left(\sum_{j=1,\dots

2050:     M}A_{ij}u^j\right)\partial_x u^i},$$

2051: 

2052: \noindent is quasi-monotone in the sense of Ishii, Koike

2053: \cite[(A.3)]{IK91}. Then the result of Ishii, Koike \cite[Th.4.7]{IK91}

2054: shows that for any initial condition $u_0\in [L^{\infty}(\R)]^M$

2055: satisfying $(H1)$-$(H2)$,  the system (\ref{EM:burger}) satisfies

2056: the comparison principle which implies the uniqueness of the solution.

2057: \end{rem}

2058: 

2059: \noindent We have the following result which seems quite standard:

2060: 

2061: \begin{theo}{\bf (Uniqueness of the $W^{1,\infty}$ solution)}\label{EM:unicite}\\

2062: Let $u_0\in [W^{1,\infty}(\R)]^M$ and $T>0$. Then system

2063: (\ref{EM:burger})-(\ref{EM:initialdata})

2064:  admits a  unique solution in $\left[W^{1,\infty}([0,T)\times\R)\right]^M$.  

2065: \end{theo}

2066: 	

2067: \noindent The proof of this Theorem is given in Appendix, because we

2068: have not found any proof of such a result in the literature.\\

2069: 

2070: 

2071: 

2072: \noindent {\bf Proof of Theorem \ref{EM:unicite1}:}\\

2073: \noindent Using Theorem \ref{EM:unicite} with

2074: $\d{a^i(u)=\sum_{j=1,\dots,M}A_{ij}u^j}$, it is enough to show that the

2075: system  (\ref{EM:burger})-(\ref{EM:initialdata}) admits a solution in  

2076: $\left[W^{1,\infty}([0,T)\times\R)\right]^M$. To do that,  it is

2077: enough to prove that the solution  $u^\e$ of the approximated system

2078: obtained in Corollary \ref{EM:born} satisfies that  $\partial_x u^{\e}$

2079: is  bounded in  $\left[L^{\infty}((0,T)\times\R)\right]^M$ uniformly in

2080: $0<\e\le 1$.  Indeed, we then get

2081: the same property for $\partial_x u$, where $u$ is the  limit of $u^\e$

2082: as $\e\rightarrow 0$. Moreover, from  the equation (\ref{EM:burger})

2083: satisfied by $u$ and the fact that 

2084: 

2085: $$u\in\left[L^{\infty}((0,T)\times \R)\right]^M \quad \mbox{and}\quad

2086: \partial_x u\in\left[L^{\infty}((0,T)\times \R)\right]^M,$$ 

2087: 

2088: \noindent we deduce that $\partial_t u\in\left[

2089:   L^{\infty}((0,T)\times \R)\right]^M$ which shows that $u\in

2090: \left[W^{1,\infty}([0,T)\times\R)\right]^M$.\\

2091: 

2092: \noindent To simplify, we denote 

2093: 

2094: $$w^{\e}=\partial_x u^{\e},$$

2095:  

2096: \noindent and we interest in the 

2097: $$\displaystyle{\max_{x\in \R}  w^{\e,i}(t,x)= m_i(t)}.$$ 

2098: 

2099: \noindent This maximum is reached at least at some point  $x_i(t)$, because $w^{\e,i}\in

2100:   C^{\infty}((0,T)\times \R)\cap W^{1,p}((0,T)\times \R)$ for all $1<

2101:   p \le +\infty$ (see Lemma \ref{EM:reg}, (\ref{EM:requla})).\\

2102: 

2103: \noindent In the following we prove in the two cases (i) and (ii) defined in Theorem

2104: \ref{EM:unicite1} that $m_i$, for all $i=1,\dots,M$, is bounded uniformly

2105: in $\e$. First,  deriving with respect

2106: to $x$ the equation (\ref{EM:burgersapp}) 

2107: satisfied by $u^\e \in \left[C^{\infty}((0,T)\times \R)\right]^M$, we

2108: can see that $w^{\e}$ satisfies the following equation

2109: 

2110: \begin{equation}\label{EM:d_u}\partial_t w^{\e,i} -\e\partial_{xx}w^{\e,i}+

2111:   \sum_{j=1, \dots,M}A_{ij}u^{\e,j} \partial_{x}w^{\e,i}+\sum_{j=1, \dots, M}

2112: A_{ij}w^{\e,j} w^{\e,i}=0.\end{equation}

2113: 

2114: 

2115: \noindent Now, we prove that $m_i$ is a viscosity subsolution of the following

2116:   equation,

2117: 

2118: 

2119: \begin{equation}\label{EM:m_i}\frac{d}{dt} m_i(t)+\sum_{j=1,\dots,M}A_{ij}w^{\e,j}(t,x_i(t))

2120: w^{\e,i}(t,x_i(t))\le 0.\end{equation}

2121: 

2122: 

2123: \noindent Indeed, let $\phi\in C^2(0,T)$ a test function, such that

2124: $\phi\ge m_i$ and $\phi(t_0)=m_i(t_0)$ for some $t_0\in (0,T)$. From the

2125: definition of $m_i$, we can easily check that $\phi\ge w^{\e,i}(t,x)$

2126: and $\phi(t_0)=w^{\e,i}(t_0,x_i(t_0))$. But, the fact that $w^{\e,i}\in

2127: C^{\infty}((0,T)\times \R)$, by Remark \ref{EM:Clas} we know that

2128: $w^{\e,i}$  is a viscosity subsolution of (\ref{EM:d_u}). We apply Definition

2129: \ref{EM:defi:salution}, and the fact that

2130: $\partial_x\phi=\partial_{xx}\phi=0$, we get

2131: 

2132: $$\frac{d}{dt} \phi(t_0)+\sum_{j=1,\dots,M}A_{ij}w^{\e,j}(t_0,x_i(t_0))

2133: w^{\e,i}(t_0,x_i(t_0))\le 0.$$

2134: 

2135: \noindent Which proves that $m_i$ is a viscosity subsolution of

2136: (\ref{EM:m_i}).\\

2137: 

2138: 

2139: \noindent Two cases may accur:\\

2140: 

2141: \noindent{\bf i)} Here, we consider the case

2142: where $M\ge 2$ and $A_{ij}\ge 0$ for all $j\ge i$. We see the equation

2143: satisfied by $m_1$, we deduce that satisfies (a viscosity subsolution)

2144:    

2145: 

2146: $$\d{\frac{d}{dt} m_1(t)

2147: \le -\sum_{j=1,\dots,M}A_{1j}w^{\e,j}(t,x_1(t))

2148: w^{\e,1}(t,x_1(t))\le 0,}$$

2149: 

2150: \noindent where we have used the fact that, for $j=1,\dots,M$,

2151: $A_{1j}\ge 0$ and  $w^{\e,j}\ge 0$. This proves by Lemma \ref{EM:Comp} (with

2152: $\a=0$) that,

2153: 

2154: $$\d{m_1(t)\le m_1(0)=w^{\e,1}(t,x_1(t)) \le 

2155: \|\partial_{x} u^{1}_0\|_{L^{\infty}(\R)}}.$$

2156: 

2157: \noindent We reason by recurrence: we assume that $m_j \le C$ for all

2158: $j\le i$, where $C$ is a positive constant independent of $\e$, and we

2159: prove that  $m_{i+1}$ is bounded uniformly in $\e$. Indeed, we know that

2160:    

2161: $$\begin{array}{ll}\d{\frac{d}{dt} m_{i+1}(t)}

2162: &\d{\le

2163: -\sum_{j=1,\dots,M}A_{i+1,j}w^{\e,j}(t,x_j(t))

2164: w^{\e,i+1}(t,x_{i+1}(t)),}\\

2165: \\

2166: &\d{\le -\sum_{j<i+1}A_{i+1,j}w^{\e,j}(t,x_j(t))

2167: w^{\e,i+1}(t,x_{i+1}(t))}\\

2168: &\d{\;\;\;\;-\sum_{M\ge j\ge i+1}A_{i+1,j}w^{\e,j}(t,x_j(t))

2169: w^{\e,i+1}(t,x_{i+1}(t))},\end{array}$$

2170: 

2171: \noindent We use that $A_{i+1,j}\ge 0$, for $M\ge j\ge i+1$, we obtain that 

2172: 

2173: 

2174: $$\begin{array}{ll}\d{\frac{d}{dt} m_{i+1}(t)}

2175: &\d{\le -\sum_{j<i+1}A_{i+1,j}w^{\e,j}(t,x_j(t))

2176: w^{\e,i+1}(t,x_{i+1}(t))},\\

2177: \\ 

2178: &\d{\le C \left(\sum_{j<i+1}|A_{i+1,j}|\right)m_{i+1}(t)}.

2179: \end{array}$$

2180: 

2181: \noindent This implies by Lemma \ref{EM:Comp}, with $\a=\d{C

2182:   \left(\sum_{j<i+1}|A_{i+1,j}|\right)}$,   that

2183: 

2184: 

2185: $$\begin{array}{ll} m_{i+1}(t)

2186: &\d{\le m_{i+1}(0)e^{\a T}},\\

2187: \\

2188: &\le \d{\|\partial_{x} u^{i+1}_0\|_{L^{\infty}(\R)}e^{\a T}}.\end{array}$$

2189: 

2190: 

2191: \noindent Which proves that for all $i=1,\dots,M$, $m_i$ is bounded

2192: uniformly in $\e$.\\

2193:  

2194: 

2195: \noindent{\bf ii)} Here, we consider the case

2196: where $M\ge 2$ and $A_{ij}\le 0$ for all $i\neq j$.  Taking the sum over

2197: the index $i$, from (\ref{EM:m_i}) we get that the quantity 

2198: $\displaystyle{m(t)=\sum_{i=1,\dots,M}m_i(t)}$ satisfies (a viscosity

2199: subsolution see Bardi et al. \cite{Bardi}) 

2200: 

2201: 

2202: $$\begin{array}{ll}\d{\frac{d}{dt}m(t)}

2203: &\d{\le -\sum_{i,j=1,\dots,M}A_{ij}w^{\e,j}(t,x_i(t))

2204: w^{\e,i}(t,x_i(t))},\

2205: \\

2206: &\d{\le -\sum_{i,j=1,\dots,M}A_{ij}w^{\e,j}(t,x_j(t))

2207: w^{\e,i}(t,x_i(t))},\

2208: \\

2209: &\le 0.\end{array}$$ 

2210: 

2211: 

2212: \noindent where we have used that the matrix $A$ satisfies $(H2')$ and $w^{\e,i}\ge

2213: 0$, for $i=1,\dots,M$. Using Lemma \ref{EM:Comp} with $\a=0$, 

2214: we get 

2215: 

2216: $$\begin{array}{ll}m(t)

2217: &\d{\le m(0)

2218: =\d{\sum_{i=1,\dots,M}\partial_x u^{\e,i}_0}},\\

2219: \\

2220: &\le \d{\sup_{y\in \R}\sum_{i=1,\dots,M}\partial_x u^{i}_0(y)}.

2221: \end{array}$$

2222: 

2223: 

2224: \noindent which proves (\ref{EM:w_infty}). $\hfill\Box$

2225: 

2226: 

2227: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2229: \section{Application on the dynamics of dislocations densities}\label{EM:subsce:model}

2230: In this Section, we present a model describing the dynamics of

2231: dislocations densities. We refer to \cite{Hirth} for a physical

2232: presentation of dislocations which are (moving) defects in crystals.

2233: Even if the problem is naturally a three-dimensional problem,we will

2234: first assume that the  geometry of the problem is invariant by

2235: translations in the $x_3$-direction. This reduces the problem to the

2236: study of dislocations densities defined on the plane $(x_1,x_2)$ and 

2237: propagation in a given direction $\vec{b}$ belonging to the plane

2238: $(x_1,x_2)$ (which is called the ``Burger's vector'').\\

2239: 

2240: \noindent In this setting we consider a finite number of slip directions 

2241: $\vec{b} \in \R^2$ and to  each $\vec{b}$ we will associate a

2242: dislocation density. For a detailed  physical presentation of a model with

2243: multi-slip directions, we  refer to Yefimov, Van der Giessen   

2244: \cite{Yef} and  Yefimov \cite[ch. 5.]{Yef1}  and to  Groma, Balogh 

2245: \cite{Groma} for the case of a model with a single slip direction . See

2246: also Cannone et al. \cite{EC} for a mathematical analysis of the

2247: Groma, Balogh model. In Subsection \ref{EM:mod_2D}, we present the 2D-model

2248: with multi-slip directions. \\

2249:   

2250: \noindent  In the particular geometry where the dislocations densities

2251: only depend  on the  variable $x=x_1+x_2$, this two-dimensional model reduces to

2252: one-dimensional model which presented in In Subsection \ref{EM:mod_1D}. See El Hajj \cite{EL} and El Hajj, Forcadel

2253: \cite{EF} for a  study in the special case of a single slip

2254: direction. Finally in  Subsection \ref{EM:mod_1D_np}, we explain how to

2255: recover equation (\ref{EM:burger}) as a model for dislocation dynamics with 

2256: $\d{a^i(u)=\sum_{j=1,\dots,M}A_{ij}u^j}$ for some particular

2257: non-negative and symmetric matrix $A$.

2258: 

2259: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2260: \subsection{The 2D-model}\label{mod_2D}

2261: 

2262: We now present in details the  two-dimensional model. We denote by ${\bf

2263:   X}$ the vector ${\bf X} = (x_1,x_2)$. We consider a crystal filling

2264: the whole space $\R^2$ and its displacement

2265: $v=(v_1,v_2):\R^2\rightarrow\R^2$, where we have not yet introduced the time

2266: dependence for the moment.\\ 

2267: 

2268: \noindent We define the total strain by

2269: $$\varepsilon(v)=\frac{1}{2}(\nabla v+{}^t\nabla v),$$

2270: 

2271: \noindent where $\nabla v$ is the gradient with $\displaystyle{(\nabla v)_{ij}

2272:   = \frac{\partial v_i}{\partial x_j}},\;\; i,j \in \{1,2\}$.\\

2273: 

2274: 

2275: 

2276: \noindent Now, we assume that the dislocations densities under consideration

2277: are associated to edge dislocations. This means that  we

2278: consider $M$ slip directions where each direction is caraterize by a

2279: Burgers vectors $\vec{b}^k=(b_1^k,b_2^k)\in \R^2$, for $k=1,\dots,M$. This leads

2280: to $M$ type of dislocations which  propagate in the plan $(x_1,x_2)$ following

2281: the direction of $\vec{b}^k$, for $k=1,\dots,M$.\\

2282: 

2283: \noindent The total strain can be splitted in two parts:

2284: 

2285: $$

2286: \varepsilon(v) = \e^e + \e^p.

2287: $$

2288: 

2289: \noindent Here, $\e^e$ is the elastic strain and $\e^p$ the plastic 

2290: strain defined by

2291: \begin{equation}\label{EM:eq:epsilon0}

2292: \varepsilon^p=\sum_{k=1,\dots, M}\varepsilon^{0,k} u^k,

2293: \end{equation}

2294: 

2295: 

2296: \noindent where, for each $k=1,\dots,M$,  the scalar function $u^k$  is the

2297: plastic displacement associated to the $k$-th slip system whose 

2298: matrix $\varepsilon^{0,k}$ is defined by

2299: 

2300: 

2301: \begin{equation}\label{EM:eq:e0}\varepsilon^{0,k}=\frac{1}{2}\left(\vec{b}^k\otimes\vec{n}^{k}

2302:   +\vec{n}^{k}\otimes \vec{b}^k\right),\end{equation} 

2303: 

2304: \noindent where $\vec{n}^{k}$ is unit  vector orthogonal  to $\vec{b}^k$ and 

2305: $\left(\vec{b}^k\otimes\vec{n}^{k}\right)_{ij}=b_i^k n^{k}_j$.\\

2306: 

2307: 

2308: \noindent To simplify the presentation, we assume the simplest possible

2309: periodicity property of the unknowns.\\

2310: 

2311: 

2312: 

2313: 

2314: {\it \noindent \underline{Assumption $(H)$}:

2315: 

2316: 

2317: \noindent i) The function $v$ is $\Z^2$-periodic with $\d{\int_{(0,1)^2}v\;

2318:   d{\bf X}=0}.$ \\

2319: 

2320: \noindent ii)  For each $k=1,\dots,M$, there exists $L^k\in\R

2321: ^2$ such that $u^k-L^k\cdot{\bf X}$ is a $\Z^2$-periodic.\\

2322: 

2323: \noindent iii) The integer $M$ is even with $M=2N$ and  $L^{k+N}=L^k$, and that

2324: 

2325: $$L^{k+N}=L^k,\;\;\vec{b}^{k+N}=-\vec{b}^{k},\;\; \vec{n}^{k+N}=\vec{n}^{k},$$

2326: $$\varepsilon^{0,k+N}=-\varepsilon^{0,k}.$$

2327: 

2328: \noindent iv) We 

2329: denote by $\vec{\tau}^k=(\tau^k_1,\tau^k_2)$ a vector parallel to

2330: $\vec{b}^{k}$ such that $\vec{\tau}^{k+N}=\vec{\tau}^{k}$. We require that $L^k$ is

2331: chosen such  $\vec{\tau}^{k}\cdot L^k \ge 0$.}\\

2332: 

2333: 

2334: \noindent The plastic displacement $u^k$ is related to the dislocation

2335: density associated to the Burgers vector $\vec{b}^{k}$. We have 

2336: 

2337: \begin{equation}\label{EM:posi0}

2338: \mbox{$k$-th dislocation density$\;\;=\vec{\tau}^{k}\cdot \nabla

2339:   u^k\ge0$}.\end{equation}

2340: 

2341: \noindent The stress is then given by 

2342: \begin{equation}\label{EM:eq:sigma}

2343: \sigma=\Lambda :\varepsilon^e,

2344: \end{equation}

2345: 

2346: \noindent {\it i.e.} the coefficients of the matrix $\sigma$ are:

2347: $$

2348: \sigma_{ij} = \sum_{k,l=1,2} \Lambda_{ijkl}

2349: \varepsilon^e_{kl}\quad\mbox{for}\quad i,j=1,2,

2350: $$ 

2351: 

2352: 

2353: \noindent where $\d{\Lambda=\left(\Lambda_{ijkl}\right)_{i,j,k,l=1,2}}$,

2354: are the constant  elastic 

2355:  coefficients of the material, satisfying for $m>0$:

2356: \begin{equation}\label{EM:coercivite}

2357: \sum_{ijkl=1,2} \Lambda_{i,j,k,l}\varepsilon_{ij}\varepsilon_{kl}\geq m\sum_{i,j=1,2}\varepsilon_{ij}^2

2358: \end{equation}

2359: for all symmetric matrices $\varepsilon=\left(\varepsilon_{ij}\right)_{ij}$,

2360: {\it i.e.} such that $\varepsilon_{ij}=\varepsilon_{ji}.$\\

2361: 

2362: \noindent Finally, for $k=1,\dots,M$,  the functions $u^k$ and $v$ are

2363: then assumed to depend on $(t,{\bf X})\in (0,T)\times \R^2$ and to be solutions of the coupled

2364: system (see  Yefimov \cite[ch. 5.]{Yef1} and Yefimov, Van der Giessen \cite{Yef}):

2365: 

2366: 

2367: 

2368: \begin{center}\begin{equation}\label{EM:eq:elasdis}\left\{\begin{array} {lll}

2369:  \displaystyle{\div\;\sigma}& = 0&\mbox{ on $

2370:    (0,T)\times \R^2$},\\

2371: \sigma&=\Lambda :\left(\varepsilon(v)-\varepsilon^p\right)& \mbox{ on $

2372:    (0,T)\times \R^2$},\\

2373: \varepsilon(v) &=\frac{1}{2}\left(\nabla v+{}^t\nabla

2374:                   v\right)& \mbox{ on $

2375:    (0,T)\times \R^2$},\\

2376: \varepsilon^p&=\displaystyle{\sum_{k=1,\dots,

2377:     M}\varepsilon^{0,k}u^k}

2378: & \mbox{ on $

2379:    (0,T)\times \R^2$},\\

2380: $\;$\\

2381: \displaystyle{\partial_t u^k} &

2382: =(\sigma:\varepsilon^{0,k})\displaystyle{\vec{\tau}^k.\nabla u^k} 

2383: & \mbox{ on $

2384:    (0,T)\times \R^2$,\quad for $k=1,\dots,M$}, \\

2385: \end{array} \right.\end{equation}\end{center}

2386: 

2387: \noindent {\it i.e.} in  coordinates

2388: \begin{center}\begin{equation}\label{EM:coord_eq:elasdis}\left\{\begin{array} {lll}

2389: \displaystyle{\sum_{j=1,2}\frac{\partial \sigma_{ij}}{\partial x_j}} =

2390: 0 \hspace{3.5cm}\mbox{ on $(0,T)\times \R^2$, \hspace{0.3cm}\quad for $i=1,2$},\\

2391: 

2392: \left.\begin{array} {lll}

2393: \sigma_{ij} = \displaystyle{\sum_{k,l=1,2}} \Lambda_{ijkl}\left

2394:   (\varepsilon_{kl}(v)-

2395: \varepsilon^p_{kl}\right)& \mbox{ on $

2396:    (0,T)\times \R^2$},\\

2397: 

2398: \varepsilon_{ij}(v) =\d{\frac{1}{2}\left(\frac{\partial v_i}{\partial

2399:     x_j}+

2400: \frac{\partial v_j}{\partial x_i}\right)}& \mbox{ on $

2401:    (0,T)\times \R^2$},\\

2402: 

2403: \varepsilon_{ij}^p=\displaystyle{\sum_{k=1,\dots,

2404:     M}\varepsilon^{0,k}_{ij}u^k}

2405: & \mbox{ on $

2406:    (0,T)\times \R^2$},

2407: \end{array}\right|\mbox{\quad for $i,j=1,2$} \\

2408: \\

2409: \displaystyle{\partial_t u^k} 

2410: =\left( \displaystyle{\sum_{i,j\in\{1,2\}}

2411:     \sigma_{ij}}\varepsilon_{ij}^{0,k}\right)\displaystyle{\vec{\tau}^k.\nabla

2412: u^k}  \hspace{0.3cm}\mbox{ on $

2413:    (0,T)\times \R^2$, \hspace{0.3cm}\quad for $k=1,\dots,M$},

2414: \end{array} \right.

2415: \end{equation}\end{center}

2416: 

2417: \noindent where the unknowns of the system are $u^k$ and the displacement $v

2418: = (v_1,v_2)$ and with $\varepsilon^{0,k}$  defined in

2419: (\ref{EM:eq:e0}). Here the first equation of  (\ref{EM:eq:elasdis}) is the

2420: equation of elasticity, while the last equation of (\ref{EM:eq:elasdis}) is

2421: the transport equation satisfied by the plastic displacement whose

2422: velocity is given by the Peach-Koehler force

2423: $\sigma:\varepsilon^{0,k}$. Remark that this implies in particular that

2424: each dislocation density satisfies a conservation law (see the equation

2425: obtained by derivation, using (\ref{EM:posi0})). Remark also that our

2426: equations are compatible with our periodicity assumptions $(H)$, $(i)$-$(ii)$. \\

2427: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2428: \subsection{Derivation of the 1D-model}\label{EM:mod_1D}

2429: 

2430: \noindent In this Subsection we are interested in a particular geometry where the dislocations  densities

2431: depend only on the  variable $x=x_1+x_2$. This will lead to

2432: 1D-model. More precisely, we make the following:\\

2433: 

2434: {\it \noindent \underline{Assumption $(H')$}:

2435: 

2436: 

2437: \noindent i) The functions $v(t, {\bf X})$ and  $u^k(t, {\bf

2438:   X})-L^k\cdot{\bf X}$  depend on the variable $x=x_1+x_2$.\\

2439: 

2440: \noindent ii)  $\tau^k_1+\tau^k_2=1,$ for $k=1,\dots,M$.\\

2441: 

2442: \noindent iii) $L_1^k=L_2^k$ for $k=1,\dots,M$.}\\

2443: 

2444: \noindent For this particular one-dimensional  geometry, we denote by an

2445: abuse of notation the function $v=v(t,x)$ which is $1$-periodic in

2446: $x$. If we set $l^k=\frac {L_1^k+L_2^k}{2}$, we have 

2447: $$L^k\cdot{\bf X}=l^k\cdot x+\left(\frac{L_1^k-L_2^k}{2}\right)(x_1-x_2).$$

2448: 

2449: \noindent By assumption $(H')$, $(iii)$, we see (again  by an abuse of

2450: notation) that $\d{u=(u^k(t,x))_{k=1,\dots,M}}$ is such that

2451: for $k=1,\dots,M$, $u^k(t,x)-l^k\cdot x$  is  $1$-periodic in $x$.\\

2452: 

2453: \noindent  Now, we can integrate the equations of elasticity, {\it i.e.}

2454: the first equation of (\ref{EM:eq:elasdis}). Using the

2455: $\Z^2$-periodicity of the  unknowns (see assumption $(H)$, $(i)$-$(ii)$),

2456: and the fact that $\varepsilon^{0,k+N}=-\varepsilon^{0,k}$ (see

2457: assumption $(H)$, $(iii)$), we can easily conclude that  the strain 

2458: 

2459: \begin{equation}\label{EM:strain}\mbox{$\e^e$ as a linear function of

2460: $\d{(u^j-u^{j+N})_{j=1,\dots,N}}$ \quad and of

2461: $\d{\left(\int_0^1(u^j-u^{j+N})\ dx\right)_{j=1,\dots,N}}$.}

2462: \end{equation}

2463: 

2464: 

2465: \noindent This leads to the following Lemma 

2466: 

2467: \begin{lem}{\bf (Stress for the 1D-model)}\label{EM:1D}\\

2468: Under assumptions $(H)$, $(i)$-$(ii)$-$(iii)$ and $(H')$, $(i)$-$(iii)$

2469: and (\ref{EM:coercivite}), we have 

2470: 

2471: \begin{equation}\label{EM:stress}-\sigma:\varepsilon^{0,i}=\sum_{j=1,\dots,M}A_{ij}u^j+

2472: \sum_{j=1,\dots,M}Q_{ij}\int_0^1u^j\ dx, \quad \mbox{for $i=1,\dots,N$}.

2473: \end{equation}

2474: 

2475: \noindent where for $i,j=1,\dots,N$

2476: 

2477: \begin{equation}\label{EM:matrix}\left\{\begin{array}{ll}

2478: &\mbox{$A_{i,j}=A_{j,i}$ \quad and\quad

2479:   $A_{i+N,j}=-A_{i,j}=A_{i,j+N}$,}\\

2480: \\

2481: &\mbox{$Q_{i,j}=Q_{j,i}$ \quad and \quad

2482:   $Q_{i+N,j}=-Q_{i,j}=Q_{i,j+N}$.}

2483: \end{array}\right.\end{equation}

2484: 

2485: \noindent Moreover the matrix $A$ is non-negative.

2486: \end{lem}

2487: 

2488: 

2489: 

2490: \noindent The proof of Lemma \ref{EM:1D} will be given at the end of this

2491: Subsection.\\

2492: 

2493: \noindent Finally using Lemma \ref{EM:1D}, we can eliminate the stress and  reduce

2494: the problem  to a one-dimensional system of $M$ transport equations only

2495: depending on the function  $u^i$, for

2496: $i=1,\dots,M$. Naturally, from (\ref{EM:stress}) and $(H')$, $(ii)$ this 1D-model

2497: has the following form

2498: 

2499: 

2500: 

2501: \begin{equation}\label{EM:burger_loc}

2502: \partial_t

2503: u^i+\left(\sum_{j=1,\dots,M}A_{ij}u^j+\sum_{j=1,\dots,M}Q_{ij}\int_0^1u^j\ dx\right)

2504: \partial_x u^i=0,\qquad \mbox{on $(0,T)\times \R$, $\;\;$for $i=1,\dots,M$},

2505: \end{equation}

2506: 

2507: \noindent with from (\ref{EM:posi0})

2508: 

2509: \begin{equation}\label{EM:croissante}\partial_x u^i\ge 0 \quad \mbox{for

2510:     $i=1,\dots,M$.}

2511: \end{equation}

2512: 

2513: \noindent Now, we give the proof of Lemma \ref{EM:1D}.\\

2514: 

2515: \noindent {\bf Proof of Lemma \ref{EM:1D}:}\\

2516: \noindent For the 2D-model, let us consider the elastic energy on the periodic cell

2517: (using the fact that $\e^e$ is $\Z^2$-periodic)

2518: 

2519: $$E^{el}=\frac 12\int_{(0,1)^2} \Lambda:\e^e:\e^e\ d{\bf X}.$$

2520: 

2521: \noindent By definition of $\sigma$ and $\e^e$, we have for

2522: $i=1,\dots,M$

2523: 

2524: 

2525: \begin{equation}\label{EM:energy}

2526: \sigma:\varepsilon^{0,i}=-\nabla_{u^i}E^{el}.

2527: \end{equation}

2528: 

2529: 

2530: \noindent On the other hand usind $(H')$, $(i)$-$(iii)$, (with $x=x_1+x_2$) we can check that we can

2531: rewrite  the elastic energy as 

2532: $$E^{el}=\frac 12\int_{0}^1 \Lambda:\e^e:\e^e\ dx.$$

2533: 

2534: \noindent Replacing $\e^e$ by its expression (\ref{EM:strain}), we get: 

2535: 

2536: 

2537:  $$\begin{array}{ll}\d{E^{el}}

2538: =

2539: &\d{\frac

2540:   12\int_0^1\sum_{i,j=1,\dots,N}A_{ij}(u^j-u^{j+N})(u^i-u^{i+N}) \ dx }\\

2541: \\

2542: &+

2543: \d{\frac12\sum_{i,j=1,\dots,N}Q_{ij}\left(\int_0^1(u^j-u^{j+N})\ dx\right)

2544: \left(\int_0^1(u^i-u^{i+N})\ dx\right),}\end{array}$$

2545: 

2546: \noindent for some symmetric matrices $A_{i,j}=A_{j,i}$,

2547: $Q_{i,j}=Q_{j,i}$. In particular, joint to (\ref{EM:energy}) this gives

2548: exactly (\ref{EM:stress}) with (\ref{EM:matrix}).\\

2549: 

2550:  

2551: \noindent Let us now consider the  functions $w^i=u^i-u^{i+N}$ such

2552: that 

2553: 

2554: \begin{equation}\label{EM:integ}\d{\int_0^1w^i \ dx}=0 \quad \mbox{for

2555:     i=1,\dots,N,}\end{equation}

2556: 

2557: 

2558: 

2559: \noindent From (\ref{EM:coercivite}) that we deduce that 

2560: 

2561: 

2562: $$\d{0\le E^{el}=\frac

2563: 12\int_0^1\sum_{i,j=1,\dots,N}A_{ij}w^iw^j \ dx}.$$

2564: 

2565: \noindent More precisely, for all

2566: $i=1,\dots,N$ and for all $\bar{w}^i\in \R$, we set 

2567: 

2568: $$w^i=\left\{\begin{array}{ll}

2569: \bar{w}^i& \quad \mbox{on}\quad [0,\frac 12],\\

2570: -\bar{w}^i & \quad \mbox{on}\quad [\frac 12,1],\\

2571: \end{array}\right.$$

2572: 

2573: \noindent which satisfies (\ref{EM:integ}). Finally, we obtain that  

2574: $$0\le E^{el}=\frac

2575: 12\int_0^1\sum_{i,j=1,\dots,N}A_{ij}\bar{w}^i\bar{w}^j\ dx.$$

2576: 

2577: \noindent Because this is true for every $\bar{w}^i$, we deduce that $A$

2578: a non-negative matrix. $\hfill\Box$

2579: 

2580: 

2581: 

2582: 

2583: 

2584: 

2585: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2586: \subsection{Heuristic derivation of the non-periodic model}\label{EM:mod_1D_np}

2587: 

2588: \noindent Starting from the model (\ref{EM:burger_loc})-(\ref{EM:croissante})

2589: where for $i=1,\dots,M,$, $u^i(t,x)-l^i\cdot x$  is  $1$-periodic in $x$, we now want to

2590: rescale the  unknowns to make the periodicity disappear. More precisely,

2591: we have the following Lemma:

2592: 

2593: \begin{lem}{\bf (Non-periodic model)}\label{EM:non_per}\\

2594: Let $u$ be a solution of  (\ref{EM:burger_loc})-(\ref{EM:croissante}) assuming Lemma

2595: \ref{EM:1D} and $u^i(t,x)-l^i\cdot x$  is  $1$-periodic in $x$. Let

2596: 

2597: $$u_{\delta}^j(t,x)=u^j(\delta t,\delta x),\quad \mbox{for a small 

2598: $\delta>0$ and  for $j=1,\dots,M$,}

2599: $$

2600: 

2601: \noindent such that, for all $j=1,\dots,M$

2602: 

2603: \begin{equation}\label{EM:limit}u_{\delta}^j(0,\cdot)\to \bar{u}^j(0,\cdot),

2604:   \quad\mbox{as}\quad \delta\to 0, \quad\mbox{and}\quad

2605: \bar{u}^j(0,\pm \infty)=\bar{u}^{j+N}(0,\pm \infty)\end{equation}

2606: 

2607: \noindent Then $\d{\bar{u}=(\bar{u}^j)_{j=1,\dots,M}}$ formally is a

2608: solution of 

2609: 

2610: 

2611: \begin{equation}\label{EM:limit_p}\partial_t

2612: \bar{u}^{i}+\left(\sum_{j=1,\dots,M}A_{ij}\bar{u}^{j}\right)

2613: \partial_x \bar{u}^{i}=0,\qquad \mbox{on $(0,T)\times \R$},\end{equation}

2614: 

2615: \noindent with  the matrix $A$ is non-negative and $\partial_x

2616: \bar{u}^{i} \ge 0$ for $i=1,\dots,M$.

2617: 

2618: \end{lem}

2619: 

2620: \noindent  We remark that the limit problem (\ref{EM:limit_p}) is of type

2621: (\ref{EM:burger}) with $(H1')$ and $(H2')$.\\

2622:  

2623: \noindent Now, we give a formal proof of  Lemma \ref{EM:non_per}.\\ 

2624: 

2625: 

2626: \noindent {\bf  Formal proof of Lemma \ref{EM:non_per}:}\\

2627: \noindent Here, we know that  $u_{\delta}^i-\delta l^i\cdot x$ is  $\d{\frac

2628: {1}{\delta}}$-periodic in $x$, and satisfies for $i=1,\dots,M$

2629: 

2630: \begin{equation}\label{EM:limit_p1}\partial_t

2631: u_{\delta}^i+\left(\sum_{j=1,\dots,M}A_{ij}u_{\delta}^j+\delta\sum_{j=1,

2632: \dots,M}Q_{ij}\int_0^{\frac

2633:       {1}{\delta}}u_{\delta}^j\ dx\right)

2634: \partial_x u_{\delta}^i=0,\qquad \mbox{on $(0,T)\times \R$,}

2635: \end{equation}

2636: 

2637: \noindent To simplify, assume that the initial data

2638: $u_{\delta}(0,\cdot)$ converge to a function $\bar{u}(0,\cdot)$ such

2639: that $\partial_x u_{\delta}(0,\cdot)$ has a support in $(-R,R)$, uniformly

2640: in $\delta$, where $R$ a positve constant. We expect heuristically that the velocity in

2641: (\ref{EM:limit_p1}) remains uniformly bounded  as $\delta\to 0$.\\

2642: 

2643: \noindent Therefore, using the finite propagation speed, we see that,  

2644:  there exists a constant $C$ independent in $\delta$, such that 

2645: $\partial_x u_{\delta}(t,\cdot)$ has a support in $(-R-Ct,R+Ct)$

2646: uniformly in  $\delta$. Moreover, from (\ref{EM:limit}) and the fact that 

2647: 

2648:  $$\sum_{j=1,\dots,M}Q_{ij}\int_0^{\frac

2649:       {1}{\delta}}u_{\delta}^j\ dx=\sum_{j=1,\dots,N}Q_{ij}\int_0^{\frac

2650:       {1}{\delta}}(u^j-u^{j+N})\ dx,$$

2651: \noindent we deduce that 

2652: 

2653: $$\sum_{j=1,\dots,M}Q_{ij}\int_0^{\frac

2654:       {1}{\delta}}u_{\delta}^j\ dx,$$

2655: 

2656: \noindent  remains  bounded uniformly in  $\delta$. Then formally the 

2657: non-local term vanishes and we get for  $i=1,\dots,M$

2658: 

2659: 

2660: $$\sum_{j=1,\dots,M}A_{ij}u_{\delta}^j+ \delta\sum_{j=1,

2661: \dots,M}Q_{ij}\int_0^{\frac {1}{\delta}}u_{\delta}^j\ dx \to

2662: \sum_{j=1,\dots,M}A_{ij}\bar{u}^j,\quad\mbox{as}\quad \delta\to 0,$$

2663: 

2664: 

2665: \noindent which proves that $\bar{u}$ is solution of (\ref{EM:limit_p}),

2666: with the matrix $A$ is non-negative . $\hfill\Box$ 

2667: 

2668:  

2669: 

2670: 

2671: 

2672: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2673: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2674: \section{Appendix: proof of Theorem \ref{EM:unicite}}

2675: 

2676: 

2677: Let $u_1=(u_1^i)_i$ and  $u_2=(u_2^i)_i$, for $i=1,\cdots,M$, be two solutions of

2678: the system (\ref{EM:burger}) in ${[W^{1,\infty}((0,T)\times

2679:   \mathbb{R})]}^M$, such that $u_1^i(0,\cdot)=u_2^i(0,\cdot)$.\\

2680: 

2681: \noindent Then by definition $u_1^i$ and  $u_2^i$ satisfy

2682: respectively  the following system, for $i=1,\cdots,M$:

2683: 

2684: $$\partial_t u^i_1=-a^i(u_1)\partial_x u^i_1,$$

2685: 

2686: $$\partial_t u^i_2=-a^i(u_2)\partial_x u^i_2,$$

2687: \noindent Subtracting the two equations we get:

2688: $$\partial_t \left(u^i_1-u^i_2\right)=

2689: -\left(a^i(u_1)-a^i(u_2)\right)\partial_x u^i_1

2690: -a^i(u_2)\partial_x(u^i_1-u^i_2).

2691: $$

2692:  

2693: \noindent Multiplying this system by

2694: $\left(u^i_1-u^i_2\right)(\psi)^2$ where $\psi(x)=e^{-|x|}$,

2695: and integrating in space, we deduce

2696: that:

2697: $$\begin{array}{ll}\displaystyle{\frac 12\frac

2698:     {d}{dt}\left\|(u^i_1-u^i_2)

2699: \psi\right\|_{L^2(\R)}^2}=

2700: &\displaystyle{-\int_{\R}\left(a^i(u_1)-a^i(u_2)\right)\left(u^i_1-u^i_2\right)\psi^2\partial_x u^i_1}\\

2701: \\

2702: &\displaystyle{-\int_{\R}a^i(u_2)\psi^2\left(u^i_1-u^i_2\right)\partial_x(u^i_1-u^i_2).}

2703: \end{array}$$

2704: \noindent  Taking the sum over $i$, we get: 

2705: $$\begin{array}{ll}\displaystyle{\frac 12 \frac

2706: {d}{dt}\left(\sum_{i=1,\dots ,M}\left\|(u^i_1-u^i_2)\psi

2707: \right\|_{L^2(\R)}^2\right)}=

2708: &\overbrace{ \mathstrut\displaystyle{-\int_{\R}\sum_{i=1,\dots ,M}

2709: \left(a^i(u_1)-a^i(u_2)\right)\left(u^i_1-u^i_2\right)\psi^2\partial_x u^i_1}}^{I_1}\\

2710: \\

2711: &\overbrace{ \mathstrut\displaystyle{-\frac 12\int_{\R}\sum_{i=1,\dots

2712:       ,M}a^i(u_2)\psi^2\partial_x(u^i_1-u^i_2)^2}}^{I_2}.

2713: \end{array}$$

2714: \noindent Integrating  $I_2$ by part,  we obtain:

2715: 

2716: $$\begin{array}{ll}I_2=

2717: &\overbrace{ \mathstrut\displaystyle{\frac 12\int_{\R}\sum_{i,j=1,\dots ,M}

2718: a^i_{,j}(u_2)(\partial_xu^j_2)\psi^2(u^i_1-u^i_2)^2}}^{I_{21}}\\

2719: \\

2720: &+\overbrace{ \mathstrut\displaystyle{\frac 12\int_{\R}\sum_{i=1,\dots

2721:       ,M}a^i(u_2) (u^i_1-u^i_2)^2 

2722: \partial_x(\psi^2)}}^{I_{22}}.

2723: \end{array}$$

2724: \noindent Next, using the fact that $u_2^i$ is bounded in $W^{1,\infty}((0,T)\times

2725: \mathbb{R})$, for $i=1,\dots,M$, we deduce that:

2726: 

2727: \begin{equation}\begin{array}{ll}\label{EM:I21}\left|I_{21}\right|

2728: &\le \frac 12 MM_1\|u_2\|_{[W^{\infty}((0,T)\times\R)]^M}

2729: \displaystyle{\left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2\right),}\\

2730: \\

2731: &\le C

2732: \displaystyle{\left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2\right).}

2733: \end{array}\end{equation}

2734: 

2735: \noindent Since $\partial_x(\psi(x))^2=-2sign(x)(\psi(x))^2$ and $u_2^i$

2736: is bounded in $W^{1,\infty}((0,T)\times \mathbb{R})$, for

2737: $i=1,\cdots,M$, we obtain: 

2738: 

2739: 

2740: \begin{equation}\begin{array}{ll}\label{EM:I22}\left|I_{22}\right|

2741: &\le \frac 12 M_0

2742: \displaystyle{\left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2\right)}\\

2743: \\

2744: &\le C

2745: \displaystyle{\left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2\right)}

2746: \end{array}\end{equation}

2747: 

2748: \noindent Now, using the fact that  $u_1^i$ is bounded in $W^{1,\infty}((0,T)\times

2749: \mathbb{R})$, for $i=1,\cdot,\cdot,M$, and

2750: the inequality $|ab|\le \frac 12 (a^2+b^2)$, we get:

2751: \begin{equation}\begin{array}{ll}\label{EM:I1}

2752: \left|I_1\right|

2753: &\displaystyle{\le \frac{1}{2}M_1 (M+1)\|u_1\|_{[W^{\infty}((0,T)\times\R)]^M}

2754: \displaystyle{\int_{\R}\sum_{i=1,\dots,M}|u^i_1-u^i_2|^2\psi^2},}\\

2755: \\

2756: &\displaystyle{\le\frac{1}{2} M_1 (M+1)\|u_1\|_{[W^{\infty}((0,T)\times\R)]^M}

2757: \left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2\right),}\\

2758: \\

2759: &\le C

2760: \displaystyle{\left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2\right).}

2761: \end{array}\end{equation}

2762: \noindent  Finally,  (\ref{EM:I1}), (\ref{EM:I21})  and (\ref{EM:I22}), imply:

2763: $$\displaystyle{\frac

2764: {d}{dt}\left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi

2765: \right\|_{L^2(\R)}^2\right)}

2766: \le 2\left(\left|I_1\right|+ \left|I_{21}\right|+\left|I_{22}\right|\right)\le  C

2767: \left(\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^2(\R)}^2

2768: \right).$$

2769: \noindent Now, we apply the Gronwall Lemma 

2770: and we use that

2771: $u_1^i(0,\cdot)=u_2^i(0,\cdot)$, to deduce that:

2772: 

2773: $$\displaystyle{\sum_{i=1,\dots,M}\left\|(u^i_1-u^i_2)\psi\right\|_{L^{\infty}((0,T);

2774:   L^2(\R))}^2\le \sum_{i=1,\dots,M}\left\|\left(u^i_1(0,\cdot)-u^i_2(0,\cdot)\right)\psi\right\|_{

2775:   L^2(\R)}^2 e^{CT}=0,}$$

2776: \noindent i.e., $u_1=u_2$ a.e in $(0,T)\times \R$. 

2777: $\hfill\Box$

2778: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2779: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2780: \section{Acknowledgements }

2781: The first author would like to thank M. Cannone and M. Jazar

2782:  for fruitful remarks that helped in the preparation of the paper. This work was partially

2783: supported by the contract JC 1025 ``ACI,

2784: jeunes chercheuses et jeunes chercheurs'' (2003-2007) and the program ``PPF, programme pluri-formations mathématiques

2785: financières et EDP'', (2006-2010), Marne-la-Vall\'ee University and École Nationale

2786: des Ponts et Chaussées. 

2787: 

2788: 

2789: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2790: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2791: \bibliographystyle{siam}

2792: \bibliography{biblio}

2793: \end{document}

2794: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2795: 

2796: 

2797: 

2798: 

2799: 

2800: 

2801: 

2802: 

2803: 

2804: 

2805: