Generalized Young Measure Solutions for a Class of Quasilinear Parabolic Equations with Linear Growth

Abstract

Using the generalized Young measure theory, we extend the theory of Young measure solutions to a class of quasilinear parabolic equations with linear growth, and introduce the concept of generalized Young measure solutions. We prove the existence and uniqueness of the generalized Young measure solutions. In addition, for the gradient flow of convex parabolic variational integral, we show that the generalized Young measure solutions are equivalent to the strong solutions.

MSC Classification]35C99, 35D99, 35K59

1 Introduction

Let $\Omega\subset\mathbb{R}^{N}$ be a bounded domain with Lipschitz boundary $\partial\Omega$. Define $\Omega_{T}:=\Omega\times(0,T)$ and $\Gamma:=\partial\Omega\times(0,T)$. We study the following nonlinear parabolic evolution problem of forward-backward type:

$$\left\{\begin{array}[]{ll}\dfrac{{\partial u}}{{\partial t}}={\rm{div}}{\;\overrightarrow{q}\left(\nabla u\right)}&\text{in }\Omega_{T},\\ u(x,t)=0&\text{on }\Gamma,\\ u(x,0)=u_{0}(x)&\text{in }\Omega.\end{array}\right.$$ (4)

The initial data function $u_{0}$ is given in $BV(\Omega)\cap L^{\infty}(\Omega)$ with a trace of zero on $\partial\Omega$. Here $\overrightarrow{q}:\mathbb{R}^{N}\rightarrow\mathbb{R}^{N}$ is a nonlinear, continuous, potential gradient function, satisfying that $\overrightarrow{q}=\nabla\Phi$, where $\Phi\in C^{1}(\mathbb{R}^{N})$ and $\Phi(0)=\inf\limits_{A\in\mathbb{R}^{N}}\Phi(A)$. Moreover, $\Phi$ and $\overrightarrow{q}$ satisfy the following structure conditions:

$${\left({\lambda|A|-1}\right)_{+}}\leqslant\Phi(A)\leqslant\Lambda|A|+1,\;\;\forall A\in\mathbb{R}^{N}$$ (5)

and

$$|\overrightarrow{q}(A)|\leqslant\Lambda,\;\;\forall A\in\mathbb{R}^{N},$$ (6)

for some $0<\lambda\leq\Lambda$, where $s_{+}=\max\{s,0\}$. We would like to point out that no monotonicity requirements such as $(\overrightarrow{q}(A_{1})-\overrightarrow{q}(A_{2}))\cdot(A_{1}-A_{2})\geq 0$ for $A_{1},A_{2}\in\mathbb{R}^{N}$ are imposed.

Before stating our main results, let us mention some related results. Slemrod 1991Dynamics investigated the asymptotic behavior of measure valued solutions to the initial value problem for the nonlinear heat conduction equation

$$\dfrac{{\partial u}}{{\partial t}}={\rm{div}}{\;\overrightarrow{q}\left(\nabla u\right)}\quad\text{in}\;\Omega_{T},$$

where

$${\lambda(|A|^{2}-1)}\leqslant\Phi(A)\quad\text{and}\quad|\overrightarrow{q}(A)|\leqslant\Lambda(1+|A|^{\gamma}),\;1\leq\gamma<2.$$

Demoulini 1996Young further discussed the Young measure solutions for the case that

$${\left({\lambda|A|^{2}-1}\right)_{+}}\leqslant\Phi(A)\leqslant\Lambda|A|^{2}+1$$

and

$$|\overrightarrow{q}(A)|\leqslant\Lambda|A|.$$

With the similar framework as in 1996Young , Yin and Wang 2003Young extended the theory of Young measure solutions to the more general case like that

$${\left({\lambda|A|^{1+\delta}-1}\right)_{+}}\leqslant\Phi(A)\leqslant\Lambda|A|^{1+\delta}+1$$

and

$$|\overrightarrow{q}(A)|\leqslant\Lambda|A|^{\delta},$$

where $0\leq\delta\leq 1$. Especially, for the limit case that $\delta=0$, by assuming that there exists a sequence $\{\Phi_{\delta}\}_{0<\delta\leq 1}$ such that $\{\overrightarrow{q}_{\delta}=\nabla\Phi_{\delta}\}_{0<\delta\leq 1}$ locally and uniformly converges to $\overrightarrow{q}$ in $\mathbb{R}^{N}$, and adding some conditions for $\{\Phi_{\delta}\}_{0<\delta\leq 1}$, they obtained the existence of a kind of biting Young measure solutions. However, the uniqueness is lost due to the failure of the equality of independence (16) below.

When $\Phi$ is convex and $\delta=0$, there have been a lot of research activities in mathematical theory and engineering, see MR571133 ; MR1301176 ; 2001Minimizing ; MR3341130 . One possible approach to consider solutions is to use parabolic variational inequality. Lichnewsky and Temam 1978Pseudo considered the pseudo-solutions of the time-dependent minimal surface equation

$$\frac{{\partial u}}{{\partial t}}={\text{div}}\;\left({\frac{{\nabla u}}{{\sqrt{1{\text{ + }}|{\nabla u}|^{2}}}}}\right).$$

More similar results can be found in MR1148668 ; MR2001660 .

Other possible approaches to define the generalized solutions is to apply the Anzellotti pairing Gabriele1983Pairings . Andreu et al. 2004Parabolic investigated the following nonlinear problem

$$\frac{{\partial u}}{{\partial t}}={\text{div}}\;\left({\overrightarrow{a}(x,\nabla u)}\right),$$

where $\overrightarrow{a}(x,\xi)=\nabla_{\xi}f(x,\xi)$ and $f(x,\cdot)$ is a convex function with linear growth. By virtue of the Anzellotti pairing and nonlinear semigroup theory, they obtained the result of the existence and uniqueness of generalized solutions.

The aim of this paper is to study the existence and uniqueness of solutions for problem $(\mathcal{P})$. The novelties of this paper are as follows. First, inspired by the known theory 2010Characterization ; MR2885572 , we introduce a new framework of generalized Young measure solutions which can ensure the uniqueness of solutions. Second, our proof relies on some viscosity approximation instead of the usual $p$–Laplace type approximation as $p\to 1$. Third, based on the new definition of generalized Young measure solutions, we remark that we can not only deal with the nonlinear parabolic problem with linear growth, but also show the equivalence between the generalized Young measure solutions and the strong solutions (in Definition 6).

This paper is organized as follows. In Section 2, we first present the mathematical preliminaries, some definitions and auxiliary lemmas. In Section 3, we prove the existence of the generalized Young measure solutions. In Section 4, we establish the uniqueness of the generalized Young measure solutions. Finally in Section 5, the equivalence between generalized Young measure solutions and strong solutions is investigated.

2 Mathematical Preliminaries

2.1 The Auxiliary Problem and Young Measure Solutions

By $\mathcal{M}(X)$ we denote the set of finite Radon measures on a Borel set $X$ and by the $M^{+}_{1}(X)$ its subset of probality measures. As usual $\mathcal{L}^{N}$ and $\mathcal{H}^{N-1}$ represent the $N$-dimensional Lebesgue measure and $(N-1)$-dimensional Hausdorff measure in $\mathbb{R}^{N}$, respectively. We denote $\mathcal{M}_{+}(X)$ the positive Radon measures on $X$. For all $\lambda_{1},\lambda_{2}\in\mathcal{M}(X)$,

$${\lambda_{1}}\geqslant{\lambda_{2}}\;\text{ in }\;\mathcal{M}(X)\Leftrightarrow{\lambda_{1}}-{\lambda_{2}}\in\mathcal{M}_{+}(X).$$

Denote ${C_{0}}(\mathbb{R}^{N})$ as the closure of continuous functions on $\mathbb{R}^{N}$ with compact support. The dual of ${C_{0}}(\mathbb{R}^{N})$ can be identified with the Radon measures space $\mathcal{M}(\mathbb{R}^{N})$ via the pairing

$$\left\langle{\nu,f}\right\rangle=\int\limits_{\mathbb{R}^{N}}fd{\nu},\quad\forall\nu\in\mathcal{M}(\mathbb{R}^{N}),\;f\in{C_{0}}(\mathbb{R}^{N}).$$

Let the set $D\subset{\mathbb{R}^{n}}$ be a measurable set with finite measure. A map $\nu:D\to\mathcal{M}(\mathbb{R}^{N})$ is called $weakly^{\ast}$ measurable if the functions $x\mapsto\int\limits_{\mathbb{R}^{N}}fd{\nu_{x}}$ are measurable for all $f\in{C_{0}}(\mathbb{R}^{N})$, where ${\nu_{x}}=\nu(x)$. Young measures on a bounded domain $\Omega\subseteq\mathbb{R}^{N}$ are $weakly^{\ast}$ measurable map**s $x\mapsto\nu_{x},\;x\in\Omega$, with $\nu_{x}:\Omega\to\mathcal{M}^{+}_{1}(\mathbb{R}^{N})$.

Next, the following lemma is a foundamental theorem on Young measures.

Lemma 1 (MR1036070 ).

Let ${z^{j}}:D\to\mathbb{R}^{N}(j\geq 1)$ be a sequence of measurable functions. Then there exists a subsequence $\{{z^{{j_{k}}}}\}_{k=1}^{\infty}$ and a $weakly^{\ast}$ measurable map $\nu:D\to\mathcal{M}(\mathbb{R}^{N})$ such that the following holds:

• $\nu(x)\geq 0,\;{\left\|{\nu(x)}\right\|_{\mathcal{M}(\mathbb{R}^{N})}}=\int\limits_{\mathbb{R}^{N}}d{\nu_{x}}\leq 1\quad\text{a.e.}\;x\in D$;
  

• For all $f\in{C_{0}}(\mathbb{R}^{N}),\;f({z^{{j_{k}}}}(x))$ converges ${weakly^{\ast}}$ to $\int\limits_{\mathbb{R}^{N}}fd{\nu_{x}}$ in ${L^{\infty}}(D)$;
  

• Furthermore, one has

  $${\left\|{\nu(x)}\right\|_{\mathcal{M}(\mathbb{R}^{N})}}=1\quad\text{a.e.}\;x\in D,$$

  if and only if the sequence does not escape to infinity, namely,

  $$\mathop{\lim}\limits_{M\to\infty}\mathop{\sup}\limits_{k\geq 1}\;\mathcal{L}^{N}(\{x\in D:|{{z^{{j_{k}}}}}|\geq M\})=0.$$

Definition 1.

The map $\nu:D\to\mathcal{M}(\mathbb{R}^{N})$ in Lemma 1 is called the Young measure on $\mathbb{R}^{N}$ generated by the sequence $\{{z^{{j_{k}}}}\}_{k=1}^{\infty}$.

For $p\geq 1$, define

$$\mathscr{E}_{0}^{p}(\mathbb{R}^{N})=\left\{{\varphi\in C(\mathbb{R}^{N}):\mathop{\lim}\limits_{|A|\to\infty}\frac{{|{\varphi(A)}|}}{{1+{{|A|}^{p}}}}\;\;exists}\right\}.$$

The space $\mathscr{E}_{0}^{p}(\mathbb{R}^{N})$ is a separable Banach space with the norm

$${\left\|\phi\right\|_{\mathscr{E}_{0}^{p}}}=\mathop{\sup}\limits_{A\in\mathbb{R}^{N}}\frac{{|{\phi(A)}|}}{{1+{{|A|}^{p}}}}.$$

Define

$${\mathscr{E}^{p}}(\mathbb{R}^{N})=\left\{{\varphi\in C(\mathbb{R}^{N}):\mathop{\sup}\limits_{A\in\mathbb{R}^{N}}\frac{{|{\varphi(A)}|}}{{1+{{|A|}^{p}}}}\;<+\infty}\right\},$$

which is an inseparable space in the above norm.

Let $\Phi^{**}$ be the convexification of $\Phi$, namely,

$${\Phi^{**}}(A)=\sup\left\{{f(A):f\leq\Phi,\;f\;\text{is convex}}\right\}.$$

Since $\Phi\in C^{1}(\mathbb{R}^{N})$, then $\Phi^{**}$ is convex and in $C^{1}(\mathbb{R}^{N})$ (see KIRCHHEIM2001725 ).

Lemma 2 (Theorem 2.35, 2007Direct ).

Let $f:\mathbb{R}^{N}\to\mathbb{R}\cup\{+\infty\}$ and, for every $x\in\mathbb{R}^{N}$,

$$Cf(x)=\sup\left\{g(x):g\leq f{\text{ and }}g{\text{ is convex}}\right\}.$$

Assume that $Cf>-\infty$. Then

$$Cf(x)={\rm inf}\left\{\sum\limits_{i=1}^{N+1}{{\alpha_{i}}f({x_{i}})}:\sum\limits_{i=1}^{N+1}{{\alpha_{i}}{x_{i}}}=x,\;{\alpha_{i}}\geqslant 0\;\;{\text{with}}\;\sum\limits_{i=1}^{N+1}{{\alpha_{i}}}=1\right\}.$$

In the rest of this paper, $I$ represents the identity operator in $\mathbb{R}^{N}$.

Set $\overrightarrow{p}=\nabla\Phi^{**}$. We note that $\overrightarrow{q}=\overrightarrow{p}$ on the set $\left\{A\in\mathbb{R}^{N}:\Phi(A)=\Phi^{**}(A)\right\}$. Thus, $\Phi^{**}$ and $\overrightarrow{p}$ satisfy the same structure conditions as $\Phi$ and $\overrightarrow{q}$, respectively.

We consider the following auxiliary problem

$$\left\{\begin{array}[]{ll}\dfrac{{\partial u}}{{\partial t}}={\rm{div}}({\;\overrightarrow{q}_{\varepsilon}\left(\nabla u\right)}):={\rm{div}}({\;\overrightarrow{q}\left(\nabla u\right)+\varepsilon\nabla u})&\text{in }\Omega_{T},\\ u(x,t)=0&\text{on }\Gamma,\\ u(x,0)=u^{\varepsilon}_{0}(x)&\text{in }\Omega,\end{array}\right. \mathcal{P_{\varepsilon}}$$ ()

where $u^{\varepsilon}_{0}(x)\in H^{1}_{0}(\Omega)$ and it satisfies that when $\varepsilon\rightarrow 0$

$$\left\|{u_{0}^{\varepsilon}(x)}\right\|_{BV(\Omega)}\to{\left\|{u_{0}(x)}\right\|_{BV(\Omega)}},$$ (7)

$$u_{0}^{\varepsilon}(x)\to{u_{0}}(x)\quad\text{in}\;{L^{2}}(\Omega),$$ (8)

$${\left\|{u_{0}^{\varepsilon}(x)}\right\|_{{L^{\infty}}(\Omega)}}\leqslant{\left\|{{u_{0}}(x)}\right\|_{{L^{\infty}}(\Omega)}},$$ (9)

$$\sqrt{{\varepsilon_{n}}}{\left\|{u_{0}^{{\varepsilon_{n}}}(x)}\right\|_{{H^{1}}(\Omega)}}\to 0,\;\text{for a subsequence of}\;\{\varepsilon\}.$$ (10)

Definition 2.

A Young measure valued solution of $(\mathcal{P_{\varepsilon}})$ is a pair $(u^{\varepsilon},\nu^{\varepsilon})$, where $u^{\varepsilon}\in{L^{\infty}}(0,T;H_{0}^{1}(\Omega))$, $\dfrac{{\partial u^{\varepsilon}}}{{\partial t}}\in L^{2}(\Omega_{T})$, and $\nu^{\varepsilon}={\left({{\nu^{\varepsilon}_{x,t}}}\right)_{\left({x,t}\right)\in{\Omega_{T}}}}$ is a parametrized family of probability measures on $\mathbb{R}^{N}$ such that

$$\iint_{{\Omega_{T}}}{{\left({\left\langle{\nu^{\varepsilon},\overrightarrow{q}_{\varepsilon}}\right\rangle\cdot\nabla\zeta+\frac{{\partial u^{\varepsilon}}}{{\partial t}}\zeta}\right)}}dxdt=0,\;\forall\zeta\in H^{1}_{0}({\Omega_{T}})$$ , (11)

$$\nabla u^{\varepsilon}(x,t)=\left\langle{{\nu_{x,t}},I}\right\rangle\quad\text{a.e.}\;(x,t)\in{\Omega_{T}}$$ , (12)

and

$$u^{\varepsilon}(x,t) =0,\;(x,t)\in\partial\Omega\times[0,T],$$ (13)

$$u^{\varepsilon}(x,0) ={u^{\varepsilon}_{0}}(x),\;x\in\Omega,$$ (14)

in the sense of trace. Furthermore,

$${\mathrm{supp}}\;\nu^{\varepsilon}\subseteq\left\{{\Phi+\frac{\varepsilon}{2}{{|I|}^{2}}={{\left({\Phi+\frac{\varepsilon}{2}{{|I|}^{2}}}\right)}^{**}}}\right\},$$ (15)

and the equality of independence

$$\left\langle{{\nu^{\varepsilon}_{x,t}},\overrightarrow{q}_{\varepsilon}\cdot I}\right\rangle=\left\langle{{\nu^{\varepsilon}_{x,t}},\overrightarrow{q}_{\varepsilon}}\right\rangle\cdot\left\langle{{\nu^{\varepsilon}_{x,t}},I}\right\rangle\quad\text{a.e.}\;(x,t)\in{\Omega_{T}}$$ (16)

holds, i.e., $\overrightarrow{q}_{\varepsilon}$ and $\nabla u^{\varepsilon}$ are independent with respect to the Young measure $\nu^{\varepsilon}$.

According to Remark 3.1 in 2003Young , the following lemma holds.

Lemma 3.

The problem $(\mathcal{P}_{\varepsilon})$ admits a Young measure solution $u^{\varepsilon}$. And there exists a constant $M$ depending only on ${\left\|{{u_{0}}(x)}\right\|_{{BV}(\Omega)}},{\left\|{{u_{0}}(x)}\right\|_{{L^{\infty}}(\Omega)}},\lambda,\Lambda$, and $\mathcal{L}^{N}(\Omega)$ but independent of $\varepsilon$ and $T$ such that

$${\left\|{{u^{\varepsilon}}}\right\|_{{L^{\infty}}({\Omega_{T}})}}\leqslant M,$$ (17)

$${\left\|{{u^{\varepsilon}}}\right\|_{{L^{\infty}}(0,T;{W^{1,1}_{0}}(\Omega))}}\leqslant M,$$ (18)

$${\left\|{{u^{\varepsilon}}}\right\|_{{L^{\infty}}(0,T;{L^{2}}(\Omega))}}\leqslant M,$$ (19)

$${\left\|{\frac{{\partial{u^{\varepsilon}}}}{{\partial t}}}\right\|_{{L^{2}}\left({{\Omega_{T}}}\right)}}\leqslant M,$$ (20)

$$\sqrt{{\varepsilon_{n}}}{\left\|{{u^{{\varepsilon_{n}}}}}\right\|_{L^{\infty}(0,T;{H^{1}}(\Omega))}}\leqslant M.$$ (21)

2.2 Pairings between Measures and Bounded Functions

A function $u\in L^{1}(\Omega)$ is called a function of bounded variation if its distributional derivative $Du$ is a $\mathbb{R}^{N}$-valued Radon measure with finite total variation in $\Omega$. The vector space of functions of bounded variation in $\Omega$ is denoted by $BV(\Omega)$. The space $BV(\Omega)$ is a non-reflexive Banach space under the norm $\|u\|_{BV}:=\|u\|_{L^{1}}+|Du|(\Omega)$, where $|Du|$ is the total variation measure of $Du$.

For $u\in BV(\Omega)$, the gradient $Du$ is a Radon measure that decomposes into its absolutely continuous and singular parts

$$Du=D^{a}u+D^{s}u.$$

Then $D^{a}u=\nabla u\mathcal{L}^{N}$, where $\nabla u$ is the Radon-Nikodým derivative of the measure $Du$ with respect to the Lebesgue measure $\mathcal{L}^{N}$. There is also the polar decomposition $D^{s}u=\frac{{{D^{s}}u}}{{|{D^{s}}u|}}|{{D^{s}}u}|$, where $\frac{{{D^{s}}u}}{{|{D^{s}}u|}}\in{L^{1}}\left({\Omega,|{{D^{s}}u}|;\partial{\mathbb{B}^{N}}}\right)$ is the Radon-Nikodým derivative of $D^{s}u$ with respect to its total variation measure $|D^{s}u|$.

Set $\tilde{\Omega}$ as a bounded smooth domain satisfying $\Omega\subset\subset\tilde{\Omega}$. For $v\in BV(\Omega)$, we denote $\tilde{v}$ by

$$\tilde{v}(x):=\left\{\begin{gathered}v(x),\;x\in\Omega,\\ 0,\;x\in\tilde{\Omega}\backslash\overline{\Omega}.\end{gathered}\right.$$

Lemma 4 (Theorem B.3, 2004Parabolic ).

Assume that $u\in BV(\Omega)$. There exists a sequence of functions $u_{i}\in W^{1,1}(\Omega)\cap C^{\infty}(\Omega)$ such that

• $u_{i}\to u$ in $L^{1}(\Omega)$;

• $|Du_{i}|(\Omega)\to|Du|(\Omega)$;

• $u_{i}|_{\partial\Omega}=u|_{\partial\Omega}$ for all $i$;

Moreover,

• if $u\in BV(\Omega)\cap L^{q}(\Omega)$, $q<\infty$, we can find functions $u_{i}$ such that $u_{i}\in L^{q}(\Omega)$ and $u_{i}\to u$ in $L^{q}(\Omega)$;

• if $u\in BV(\Omega)\cap L^{\infty}(\Omega)$, we can find $u_{i}$ such that $\|u_{i}\|_{\infty}\leq\|u\|_{\infty}$ and $u_{i}\to u$ weakly* in $L^{\infty}(\Omega)$.

It is well known that summability conditions on the divergence of a vector field $z$ in $\Omega$ yield trace properties for the normal component of $z$ on $\partial\Omega$. As in Gabriele1983Pairings , we define a function $[z,\vec{n}]\in L^{\infty}(\partial\Omega)$ which is associated to any vector field $z\in L^{\infty}(\Omega,\mathbb{R}^{N})$ such that ${\rm{div}}(z)$ is a bounded measures in $\Omega$.

Assume that $\Omega$ is an open bounded set in $\mathbb{R}^{N}$ with $\partial\Omega$ Lipschitz, $N\geq 2$, and $1\leq p\leq N$, $\frac{N}{N-1}\leq q\leq\infty$. Since $\partial\Omega$ is Lipschitz, the outer unit normal $\vec{n}$ exists $\mathcal{H}^{N-1}-\mathrm{a.e.}$ on $\partial\Omega$. We shall consider the following spaces:

$$BV(\Omega)_{q}:=BV(\Omega)\cap L^{q}(\Omega),$$

$$BV(\Omega)_{c}:=BV(\Omega)\cap L^{\infty}(\Omega)\cap C(\Omega),$$

$$X(\Omega)_{p}:=\{z\in L^{\infty}(\Omega,\mathbb{R}^{N}):{\rm{div}}(z)\in L^{p}(\Omega)\},$$

$$X(\Omega)_{\mu}:=\{z\in L^{\infty}(\Omega,\mathbb{R}^{N}):{\rm{div}}(z)\in\mathcal{M}(\Omega)\}.$$

Lemma 5 (Theorem C.2, 2004Parabolic ).

Assume that $\Omega\subseteq\mathbb{R}^{N}$ is an open bounded set with Lipschitz boundary $\partial\Omega$. Then there exists a bilinear map $\langle z,u\rangle_{\partial\Omega}:X(\Omega)_{\mu}\times BV(\Omega)_{c}\to\mathbb{R}$ such that

$$\langle a,u\rangle_{\partial\Omega}=\int\limits_{\partial\Omega}{u(x)z(x)\cdot\vec{n}\;d{\mathcal{H}^{N-1}}}\;\;\text{if}\;z\in C^{1}(\overline{\Omega},\mathbb{R}^{N}),$$ (22)

$$|\langle a,u\rangle_{\partial\Omega}|\leq\|z\|_{\infty}\int\limits_{\partial\Omega}|u(x)|d{\mathcal{H}^{N-1}}.$$ (23)

Lemma 6 (Theorem C.3, 2004Parabolic ).

Assume that $\Omega\subseteq\mathbb{R}^{N}$ is an open bounded set with Lipschitz boundary $\partial\Omega$. Then there exists a linear operator $\gamma:X(\Omega)_{\mu}\to L^{\infty}(\partial\Omega)$ such that

$$\|\gamma\|_{\infty} \leq\|z\|_{\infty},$$ (24)

$$\langle a,u\rangle_{\partial\Omega} =\int\limits_{\partial\Omega}{u(x)\gamma(z)(x)\cdot\vec{n}\;d{\mathcal{H}^{N-1}}}\;\;\text{ for all}\;u\in BV(\Omega)_{c},$$ (25)

$$\gamma(z)(x) =z(x)\cdot\vec{n}\;\;\;\text{ for all}\;x\in\partial\Omega\;\;\text{if}\;\;z\in C^{1}(\overline{\Omega},\mathbb{R}^{N}).$$ (26)

The function $\gamma(z)$ is a weakly defined trace on $\partial\Omega$ of the normal component of $z$. We denote $\gamma(z)$ by $[z,\vec{n}]$.

In the sequel we shall consider pairs $(z,u)$ such that one of the following conditions holds

$$a)\;z\in X(\Omega)_{p},\;u\in BV(\Omega)_{p^{\prime}}\;\text{and}\;1<p\leq N;$$

$$b)\;z\in X(\Omega)_{1},\;u\in BV(\Omega)_{\infty};$$ (27)

$$c)\;z\in X(\Omega)_{\mu},\;u\in BV(\Omega)_{c}.$$

Definition 3.

Let $(z,u)$ satisfy one of the conditions (27). Then we define a functional $(z,Du):\mathcal{D}(\Omega)\to\mathbb{R}$ as

$$\langle(z,Du),\phi\rangle:=-\int\limits_{\Omega}{u(x)\phi\;{\rm{div}}(z)dx}-\int\limits_{\Omega}{u(x)z\cdot\nabla\phi dx},\;\;\forall\;\phi\in\mathcal{D}(\Omega),$$

where $\mathcal{D}(\Omega)$ represents the space of all infinitely differentiable functions with compact support on $\Omega$.

Lemma 7 (Theorem C.6, 2004Parabolic ).

For any functions $\phi\in\mathcal{D}(V)$ and for any open sets $V\subseteq\Omega$, it follows that

$$|\langle(z,Du),\phi\rangle|\leq{\sup}\;\|\phi\|_{\infty}\|z\|_{L^{\infty}(V)}|Du|(V).$$ (28)

Thus, $(z,Du)$ is a Radon measure in $\Omega$.

Next, we give the Green’s formula related to the function $[z,\vec{n}]$ and the measure $(z,Du)$.

Lemma 8 (Theorem C.9, 2004Parabolic ).

Assume that $\Omega\subseteq\mathbb{R}^{N}$ is an open bounded set with Lipschitz boundary $\partial\Omega$. If $z$ and $u$ ensure that one of the conditions (27) holds, then we have

$$\int\limits_{\Omega}{u\;{\rm{div}}(z)dx}+\int\limits_{\Omega}{(z,Du)}=\int\limits_{\partial\Omega}{[z,\vec{n}]\;u\;d\mathcal{H}^{N-1}}.$$ (29)

More details about pairings $\langle z,u\rangle_{\partial\Omega}$ and $(z,Du)$ can be found in Gabriele1983Pairings .

2.3 The Generalized Young Measure Solutions

This subsection gives a brief overview of the basic theory of generalized Young measures, which will be used later. We refer to 2010Characterization ; MR2885572 for further information about the generalized Young measures.

First, we need a suitable class of integrands. Let $\mathcal{E}(\Omega;\mathbb{R}^{N})$ be the set of all $f\in C(\overline{\Omega}\times\mathbb{R}^{N})$ such that

$$(Tf)(x,\hat{A}):=(1-|\hat{A}|)f\left({x,\frac{{\hat{A}}}{{1-|\hat{A}|}}}\right),\;x\in\overline{\Omega},\;\hat{A}\in{\mathbb{B}^{N}},$$ (30)

extends into a continuous function $Tf\in C(\overline{\Omega\times{\mathbb{B}^{N}}})$, where $\mathbb{B}^{N}$ denotes the open unit ball in $\mathbb{R}^{N}$. In particular, it implies that $f$ has linear growth at infinity, i.e., there exists a constant $M>0$ (in fact, $M={\left\|f\right\|_{\mathcal{E}(\Omega;{\mathbb{R}^{N}})}}:={\left\|{Tf}\right\|_{\infty,\overline{\Omega\times{\mathbb{B}^{N}}}}}$ ),

$$|{f(x,A)}|\leqslant M(1+|A|)\;\;\text{for all}\;(x,A)\in\overline{\Omega}\times{\mathbb{R}^{N}}.$$

For all $f\in\mathcal{E}(\Omega;\mathbb{R}^{N})$ the recession function

$${f^{\infty}}(x,A):=\mathop{\lim}\limits_{\begin{subarray}{c}A^{\prime}\to A\\ x^{\prime}\to x\\ t\to\infty\end{subarray}}\frac{{f(x^{\prime},tA^{\prime})}}{t},\;x\in\overline{\Omega},\;A\in{\mathbb{R}^{N}},$$ (31)

exists as a continuous function. Sometimes this notion of a recession function is too strong and so for any function $g\in C(\mathbb{R}^{N})$ with linear growth at infinity, we define the generalized recession function

$${g^{\sharp}}(A):=\mathop{\lim}\limits_{\begin{subarray}{c}A^{\prime}\to A\\ t\to\infty\end{subarray}}\frac{{g(tA^{\prime})}}{t},\;A\in{\mathbb{R}^{N}}.$$ (32)

We remark that for both flavors of recession function one can drop the additional sequence $A^{\prime}\to A$ if the functional is Lipschitz continuous (see 2014A ).

Definition 4.

A generalized Young measure with target space $\mathbb{R}^{N}$ is a triple $\lambda=(\nu_{x},\lambda_{\nu},{\nu}^{\infty}_{x})$ comprising

• a parametrized family of probability measures $(\nu_{x})_{x\in\Omega}\subseteq\mathcal{M}^{+}_{1}(\mathbb{R}^{N})$;

• a positive finite measure $\lambda_{\nu}\in\mathcal{M}_{+}(\overline{\Omega})$;

• a parametrized family of probability measures $(\nu^{\infty}_{x})_{x\in\overline{\Omega}}\subseteq\mathcal{M}^{+}_{1}(\partial\mathbb{B}^{N})$ ($\partial\mathbb{B}^{N}$ denotes the unit sphere in $\mathbb{R}^{N}$);

• the map $x\mapsto\nu_{x}$ is weakly* measurable with respect to $\mathcal{L}^{N}$, i.e., the function $x\mapsto\langle\nu_{x},f(x,\cdot)\rangle$ is $\mathcal{L}^{N}$-measurable for all bounded Borel functions $f:\Omega\times\mathbb{R}^{N}\to\mathbb{R}$;

• The map $x\mapsto\nu^{\infty}_{x}$ is weakly* measurable with respect to $\lambda_{\nu}$;

• $x\mapsto\langle\nu_{x},|\cdot|\rangle\in L^{1}(\Omega)$.

By $Y(\Omega;\mathbb{R}^{N})$ we denote the set of all such generalized Young measures. The parametrized measure $(\nu_{x})$ is called the oscillation measure, the measure $\lambda_{\nu}$ is the concentration measure, and $(\nu^{\infty}_{x})$ is the concentration-angle measure.

The duality pairing $\langle\langle\lambda,f\rangle\rangle$ for $\lambda\in Y(\Omega;\mathbb{R}^{N})$ and $f\in\mathcal{E}(\Omega;\mathbb{R}^{N})$ is defined via

$$\left\langle{\left\langle{\lambda,f}\right\rangle}\right\rangle :=\int\limits_{\Omega}{\left\langle{{\nu_{x}},f(x,\cdot)}\right\rangle dx}+\int\limits_{\overline{\Omega}}{\left\langle{\nu_{x}^{\infty},{f^{\infty}}(x,\cdot)}\right\rangle d{\lambda_{\nu}}(x)}$$

$$=\int\limits_{\Omega}{\int\limits_{{\mathbb{R}^{N}}}{f(x,A)d{\nu_{x}}\left(A\right)}dx}+\int\limits_{\overline{\Omega}}{\int\limits_{\partial{\mathbb{B}^{N}}}{{f^{\infty}}(x,\cdot)d\nu_{x}^{\infty}\left(A\right)}d{\lambda_{\nu}}(x)}.$$

The space $Y(\Omega;\mathbb{R}^{N})$ of Young measures can be considered as a part of the dual space $\mathcal{E}(\Omega;\mathbb{R}^{N})^{*}$ (the inclusion is strict since, for instance, $f\mapsto r\int\limits_{\Omega}{f(x,A_{0})dx}$ lies in $\mathcal{E}(\Omega;\mathbb{R}^{N})^{*}\setminus Y(\Omega;\mathbb{R}^{N})$ whenever $r\neq 1$ and $A_{0}\in\mathbb{R}^{N}$). This embedding gives rise to a weak* topology on $Y(\Omega;\mathbb{R}^{N})$ and so we say that $(\lambda_{j})\subseteq Y(\Omega;\mathbb{R}^{N})$ (where $\lambda_{j}:=(\nu^{j}_{x},\lambda_{\nu_{j}},{\nu}_{x}^{\infty,j}$) weakly* converges to $\lambda\in Y(\Omega;\mathbb{R}^{N})$, in symbols $\lambda_{j}\stackrel{{\scriptstyle*}}{{\rightharpoondown}}\lambda$, if $\langle\langle\lambda_{j},f\rangle\rangle\to\langle\langle\lambda,f\rangle\rangle$ for all $f\in\mathcal{E}(\Omega;\mathbb{R}^{N})$. The set $Y(\Omega;\mathbb{R}^{N})$ is topologically weakly*-closed in $\mathcal{E}(\Omega;\mathbb{R}^{N})^{*}$.

The main compactness result in the space $Y(\Omega;\mathbb{R}^{N})$ is listed as follows.

Lemma 9 (Corollary 2, 2010Characterization ).

Let $(\lambda_{j})\subseteq Y(\Omega;\mathbb{R}^{N})$ be a sequence such that

• the functions $x\mapsto\langle\nu_{x}^{j},|\cdot|\rangle$ are uniformly bounded in $L^{1}(\Omega)$;

• the sequence $(\lambda_{\nu_{j}}(\overline{\Omega}))$ is uniformly bounded.

Then, $(\lambda_{j})$ is weakly* sequentially relatively compact in $Y(\Omega;\mathbb{R}^{N})$, i.e., there exists $\lambda\in Y(\Omega;\mathbb{R}^{N})$ and a subsequence of $(\lambda_{j})$ (not relabeled) such that $\lambda_{j}\stackrel{{\scriptstyle*}}{{\rightharpoondown}}\lambda$.

Next, we define the set $GY(\Omega;\mathbb{R}^{N})$ of generalized gradient Young measures as the collection of the generalized Young measures $\lambda\in Y(\Omega;\mathbb{R}^{N})$ with the property that there exists a norm-bounded sequence $(u_{j})\subseteq BV(\Omega)$ such that the sequence $(Du_{j})$ generates $\lambda$, denoted as $Du_{j}\stackrel{{\scriptstyle Y}}{{\to}}\lambda$, meaning that

$$\int\limits_{\Omega}{f(x,\nabla{u_{j}}(x))dx}+\int\limits_{\overline{\Omega}}{{f^{\infty}}(x,\frac{{{D^{s}}{u_{j}}}}{{\left|{{D^{s}}{u_{j}}}\right|}})d}\left|{{D^{s}}{u_{j}}}\right|\to\left\langle{\left\langle{\lambda,f}\right\rangle}\right\rangle$$

for all $f\in\mathcal{E}(\Omega;\mathbb{R}^{N})$.

The following lemma can been found in 2014A , see also 2010Characterization .

Lemma 10 (Theorem 9, 2010Characterization ).

Let $\lambda\in Y(\Omega;\mathbb{R}^{N})$ be a generalized Young measure with $\lambda_{\nu}(\partial\Omega)=0$. Then $\lambda\in GY(\Omega;\mathbb{R}^{N})$, if and only if there exists $u\in BV(\Omega)$ with

$$Du=\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\Omega\quad\text{ in }\;\mathcal{M}(\Omega),$$

and for all quasiconvex $g\in C(\mathbb{R}^{N})$ with linear growth at infinity the following Jensen-type inequalities hold:

• $$g\left({\left\langle{\nu,I}\right\rangle+\left\langle{{\nu^{\infty}},I}\right\rangle\dfrac{{d{\lambda_{\nu}}}}{{d{\mathcal{L}^{N}}}}}\right)\leqslant\left\langle{\nu,g}\right\rangle+\left\langle{{\nu^{\infty}},{g^{\sharp}}}\right\rangle\dfrac{{d{\lambda_{\nu}}}}{{d{\mathcal{L}^{N}}}},$$

  for $\mathcal{L}^{N}$-a.e. $x\in\Omega$, where $\dfrac{{d{\lambda_{\nu}}}}{{d{\mathcal{L}^{N}}}}$ is the Radon-Nikodým derivative of the measure $\lambda$ with respect to the Lebesgue measure $\mathcal{L}^{N}$;

• $${g^{\sharp}}\left({\left\langle{{\nu^{\infty}},I}\right\rangle}\right)\leqslant\left\langle{{\nu^{\infty}},{g^{\sharp}}}\right\rangle$$

  for $\lambda^{s}_{\nu}$-a.e. $x\in\Omega$, where $\lambda^{s}_{\nu}$ is the singular part of $\lambda$ with respect to the Lebesgue measure $\mathcal{L}^{N}$.

Given $u\in BV(\Omega)$, denote $\sigma_{Du}:=(\delta_{\nabla u},|D^{s}u|,\delta_{p})\in GY(\Omega;\mathbb{R}^{N})$ and $p:=\frac{{{D^{s}}u}}{{|{{D^{s}}u}|}}\in{L^{1}}\left({\Omega,|{{D^{s}}u}|;\partial{\mathbb{B}^{N}}}\right)$. $\delta_{A}$ denotes the Dirac measure on $\mathbb{R}^{N}$ giving unit mass to the point $A\in\mathbb{R}^{N}$.

In the rest of this paper, $u^{\Omega}$ represents the trace of $u\in BV(\Omega)$ on $\partial\Omega$.

Definition 5.

A generalized Young measure valued solution of $(\mathcal{P})$ is a pair $(u,\lambda)$, if $u\in{L^{\infty}}(0,T;BV(\Omega)\cap L^{2}(\Omega))$, $\dfrac{\partial u}{{\partial t}}\in L^{2}(\Omega_{T})$, $\lambda=(\nu_{x,t},\lambda_{\nu},\nu^{\infty}_{x,t})_{x\in\Omega}\in Y(\Omega;\mathbb{R}^{N})$, $\langle\langle|\cdot|,\lambda\rangle\rangle\in L^{\infty}(0,T)$, and for almost all $t\in(0,T)$ they satisfy

$$u_{t}=\rm{div}\langle\nu,\overrightarrow{q}\rangle\quad\text{in}\;\mathcal{D}^{\prime}(\Omega),$$ (33)

$$Du=\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\Omega\quad\text{in}\;\mathcal{M}(\Omega),$$ (34)

and

$$\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\partial\Omega=\left({-u^{\Omega}\otimes\vec{n}}\right){\mathcal{H}^{N-1}}\llcorner\partial\Omega\quad\text{in}\;\mathcal{M}(\overline{\Omega}),$$ (35)

$$u(x,0)={u_{0}}(x),\;x\in\Omega.$$ (36)

Furthermore,

$${\mathrm{supp}}\;\nu\subseteq\left\{\Phi=\Phi^{**}\right\},$$ (37)

and the (JF) inequality

$$\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\left(\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\overline{\Omega}\right)$$

$$\geq \left\langle{\nu,\overrightarrow{q}\cdot I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},(\overrightarrow{q}\cdot I)^{\infty}}\right\rangle{\lambda_{\nu}}\llcorner\overline{\Omega}$$ (38)

holds in $\mathcal{M}(\overline{\Omega})$.

Remark 1.

If $(u,\lambda)$ is a generalized Young measure solution, and for almost all $t\in(0,T)$, $\lambda\in GY(\Omega;\mathbb{R}^{N})$, we call $(u,\lambda)$ is a generalized gradient Young measure solution.

3 Existence Results

In this section, we are ready to prove the existence of generalized Young measure solutions of $(\mathcal{P})$.

We first introduce the following assumptions (SH):
$\rm{(SH_{1})}$ $\Phi\in C^{1}(\mathbb{R}^{N})$, $\Phi(0)=\inf\limits_{A\in\mathbb{R}^{N}}\Phi(A)$ and $\Phi\in\mathcal{E}(\Omega;\mathbb{R}^{N})$.
$\rm(SH_{2})$ $\Phi$ and $\overrightarrow{q}=\nabla\Phi$ satisfy the structure conditions:

$${\left({\lambda|A|-1}\right)_{+}}\leqslant\Phi(A)\leqslant\Lambda|A|+1,\;\forall A\in\mathbb{R}^{N},$$ (39)

and

$$|\overrightarrow{q}(A)|\leqslant\Lambda,\;\;\forall A\in\mathbb{R}^{N},$$ (40)

for some $0<\lambda\leq\Lambda$.
$\rm(SH_{3})$ $\overrightarrow{q}\cdot I\in\mathcal{E}(\Omega;\mathbb{R}^{N})$ and $(\overrightarrow{q}\cdot I)^{\infty}={\Phi}^{\infty}=(\Phi^{**})^{\infty}$.
$\rm(SH_{4})$ $\forall\eta\in\partial\mathbb{B}^{N}$, $\forall\xi\in\left\{{A\in{R^{N}}\mid{{\Phi^{**}}(A)=\Phi(A)}}\right\}$,

$$\overrightarrow{q}(\xi)\cdot\eta\leqslant{\left({\overrightarrow{q}\cdot I}\right)^{\infty}}(\eta).$$

Theorem 1.

Under the assumptions of (SH). Given $u_{0}\in BV(\Omega)\cap L^{\infty}(\Omega)$ with a trace of zero on $\partial\Omega$, there exists a generalized Young measure solution of $(\mathcal{P})$ for every $T>0$.

Proof: According to Lemma 3, for almost all $t\in(0,T)$, we can extract from $\{u^{\varepsilon_{n}}\}$ and $\{\nu^{\varepsilon_{n}}\}$, a subsequence (still labeled by $\{u^{\varepsilon_{n}}\}$ and $\{\nu^{\varepsilon_{n}}\}$) such that

$${u^{{\varepsilon_{n}}}}\to u\quad\text{in}\;{L^{2}}(\Omega),$$ (41)

$${u^{{\varepsilon_{n}}}}\stackrel{{\scriptstyle*}}{{\rightharpoonup}}u\quad\text{in}\;{L^{\infty}}(\Omega),$$ (42)

$$u_{t}^{{\varepsilon_{n}}}{\rightharpoonup}{u_{t}}\quad\text{in}\;{L^{2}}(\Omega),$$ (43)

$$\nabla\tilde{u}^{\varepsilon_{n}}{\mathcal{L}^{N}}\llcorner\tilde{\Omega}\stackrel{{\scriptstyle*}}{{\rightharpoondown}}D\tilde{u}\quad\text{in}\;\mathcal{M}(\tilde{\Omega}),$$ (44)

$${\varepsilon_{n}}|{\nabla{u^{{\varepsilon_{n}}}}}|\to 0\quad\text{in}\;{L^{2}}(\Omega),$$ (45)

and

$$\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}}\right\rangle\stackrel{{\scriptstyle*}}{{\rightharpoonup}}\left\langle{\nu,\overrightarrow{q}}\right\rangle\quad\text{in}\;{L^{\infty}}(\Omega;\mathbb{R}^{N}),$$ (46)

$$\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}\cdot I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega\stackrel{{\scriptstyle*}}{{\rightharpoondown}}\left\langle{\nu,\overrightarrow{q}\cdot I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+$$

$$\left\langle{{\nu^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle{\lambda_{\nu}}\quad\text{in}\;\mathcal{M}(\overline{\Omega}),$$ (47)

$${\lambda^{{\varepsilon_{n}}}}\stackrel{{\scriptstyle*}}{{\rightharpoondown}}\lambda\quad\text{in}\;Y\left({\Omega;{\mathbb{R}^{N}}}\right),$$ (48)

where $\lambda^{\varepsilon_{n}}:=(\nu^{\varepsilon_{n}},0,\delta_{0})$ and $\lambda=(\nu,\lambda_{\nu},\nu^{\infty})$.

We divide the proof into the following steps.

Step 1. For all $\varphi\in\mathcal{D}(\Omega)$,

$$\int\limits_{\Omega}{{\varepsilon_{n}}\left\langle{{\nu^{{\varepsilon_{n}}}},I}\right\rangle\cdot\nabla\varphi dx}=\int\limits_{\Omega}{\nabla{u^{{\varepsilon_{n}}}}\cdot\nabla\varphi dx}\to 0,\;n\to\infty,$$

and

$$\int\limits_{\Omega}{u_{t}^{{\varepsilon_{n}}}\varphi dx}=-\int\limits_{\Omega}{\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle\cdot\nabla\varphi dx}.$$

Letting $n\to\infty$, we have

$$\int\limits_{\Omega}{{u_{t}}\varphi dx}=-\int\limits_{\Omega}{\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\nabla\varphi dx},$$

i.e.,

$$u_{t}=\rm{div}\langle\nu,\overrightarrow{q}\rangle\quad\text{in}\;\mathcal{D}^{\prime}(\Omega).$$

Since $u^{{\varepsilon_{n}}}\in H^{1}_{0}(\Omega)$, then

$$D{{\tilde{u}}^{{\varepsilon_{n}}}}=\left\langle{{\nu^{{\varepsilon_{n}}}},I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega.$$

As

$$D{\tilde{u}}^{{\varepsilon_{n}}}\stackrel{{\scriptstyle*}}{{\rightharpoondown}}D{\tilde{u}}\quad\text{in}\;\mathcal{M}(\tilde{{\Omega}}),$$

and

$$\left\langle{{\nu^{{\varepsilon_{n}}}},I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega\stackrel{{\scriptstyle*}}{{\rightharpoondown}}\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},{I}}\right\rangle{\lambda_{\nu}}\;\text{in}\;\mathcal{M}(\overline{\Omega}),$$ (49)

we obtain

$$D{\tilde{u}}=\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},{I}}\right\rangle{\lambda_{\nu}}\quad\text{in}\;\mathcal{M}(\tilde{{\Omega}}).$$ (50)

Therefore,

$$Du=\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\Omega\quad\text{in}\;\mathcal{M}(\Omega),$$ (51)

and by boundary trace theorem (see (MR1857292, , Theorem 3.87)),

$$D{\tilde{u}}\llcorner\partial\Omega=\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\partial\Omega=\left({-u^{\Omega}\otimes\vec{n}}\right){\mathcal{H}^{N-1}}\llcorner\partial\Omega\quad\text{in}\;\mathcal{M}(\overline{\Omega}).$$ (52)

Step 2. Prove

$$\text{supp }\nu\subseteq\left\{\Phi=\Phi^{**}\right\}.$$

Set

$${B_{\varepsilon}}:=\left\{{A\in{\mathbb{R}^{N}}\mid{{{\left({\Phi+\varepsilon{{|I|}^{2}}}\right)}^{**}}(A)=\left({\Phi+\varepsilon{{|I|}^{2}}}\right)(A)}}\right\},$$

and

$$B:=\left\{{A\in{R^{N}}:{{\Phi^{**}}(A)=\Phi(A)}}\right\}.$$

By the definition of $\Phi^{**}$ and ${{\left({\Phi+\varepsilon{{|I|}^{2}}}\right)}^{**}}$, we arrive at

$${\Phi^{**}}+\varepsilon{|I|^{2}}\leqslant{\left({\Phi+\varepsilon{{|I|}^{2}}}\right)^{**}}\leqslant\Phi+\varepsilon{|I|^{2}}.$$

Thus, we get $B\subseteq B_{\varepsilon}$, for all $\varepsilon>0$.

Similarly, it follows that $B_{\varepsilon_{1}}\subseteq B_{\varepsilon_{2}}$, for all $0\leq\varepsilon_{1}\leq\varepsilon_{2}$.

Now, assume $\mathop{\cap}\limits_{\varepsilon>0}{B_{\varepsilon}}\not\subset B$. Since $B\subset\mathop{\cap}\limits_{\varepsilon>0}{B_{\varepsilon}}$, there exists $x_{0}\in\mathop{\cap}\limits_{\varepsilon>0}{B_{\varepsilon}}\setminus B$ and $\delta>0$ such that

$$\Phi({x_{0}})>{\Phi^{**}}({x_{0}})+2\delta.$$ (53)

According to Lemma 2, there exist $\alpha_{i}$, $x_{i}$, $N$ such that

$$\sum\limits_{i=1}^{N+1}{{\alpha_{i}}{x_{i}}}={x_{0}},\;\sum\limits_{i=1}^{N+1}{{\alpha_{i}}}=1,\;{\alpha_{i}}\geqslant 0,$$

and

$${\Phi^{**}}({x_{0}})\geqslant\sum\limits_{i=1}^{N+1}{{\alpha_{i}}\Phi({x_{i}})}-\delta.$$ (54)

Observe that

$$\mathop{\cap}\limits_{\varepsilon>0}{B_{\varepsilon}}\subseteq{B_{\varepsilon}},\;\forall\varepsilon>0,$$

one has

$${\left({\Phi+\varepsilon{{|I|}^{2}}}\right)^{**}}({x_{0}})=\Phi({x_{0}})+\varepsilon{|{{x_{0}}}|^{2}}.$$

Hence, by (53) and (54), it follows that

$$\begin{gathered}\sum\limits_{i=1}^{N+1}{\left({{\alpha_{i}}\Phi({x_{i}})+{\alpha_{i}}\varepsilon{{|{{x_{i}}}|}^{2}}}\right)}\hfill\\ \geqslant{\left({\Phi+\varepsilon{{|I|}^{2}}}\right)^{**}}({x_{0}})\hfill\\ =\Phi({x_{0}})+\varepsilon{|{{x_{0}}}|^{2}}\hfill\\ >{\Phi^{**}}({x_{0}})+\varepsilon{|{{x_{0}}}|^{2}}+2\delta\hfill\\ \geqslant\sum\limits_{i=1}^{N+1}{{\alpha_{i}}\Phi({x_{i}})}+\varepsilon{|{{x_{0}}}|^{2}}+\delta.\hfill\\ \end{gathered}$$

Then, we obtain

$$\varepsilon\left({\sum\limits_{i=1}^{N+1}{{\alpha_{i}}{{|{{x_{i}}}|}^{2}}}-{{|{{x_{0}}}|}^{2}}}\right)>\delta,\;\forall\varepsilon>0,$$

we deduce that it is a contradiction by letting $\varepsilon\rightarrow 0$.
Thus,

$$\mathop{\cap}\limits_{\varepsilon>0}{B_{\varepsilon}}=B.$$

Moreover, recall that

$${\lambda^{{\varepsilon_{n}}}}\stackrel{{\scriptstyle*}}{{\rightharpoondown}}\lambda\quad\text{in}\;Y\left({\Omega;{\mathbb{R}^{N}}}\right)$$

and

$$\text{supp }\nu^{\varepsilon}\subseteq B_{\frac{\varepsilon}{2}}.$$

Finally, we get

$$\text{supp }\nu\subseteq\left\{\Phi=\Phi^{**}\right\}.$$

Step 3. Since

$$u_{t}=\rm{div}\langle\nu,\overrightarrow{q}\rangle\quad\text{in}\;\mathcal{D}^{\prime}(\Omega),$$

with ${u_{t}}\in{L^{2}}(\Omega)$, we get

$$\left\langle{\nu,\overrightarrow{q}}\right\rangle\in{X_{2}}(\Omega).$$

For any $0\leq\varphi\in C^{\infty}_{c}(\tilde{\Omega})$, one has

$$-\int\limits_{\tilde{\Omega}}{u_{t}^{{\varepsilon_{n}}}\varphi{u^{{\varepsilon_{n}}}}dx}=-\int\limits_{\tilde{\Omega}}{{\rm div}\left({\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle}\right)\varphi{u^{{\varepsilon_{n}}}}dx}$$

$$= \int\limits_{\tilde{\Omega}}{\varphi\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle\cdot\nabla{u^{{\varepsilon_{n}}}}dx}+\int\limits_{\tilde{\Omega}}{{u^{{\varepsilon_{n}}}}\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle\cdot\nabla\varphi dx}.$$ (55)

Observe that by (12) and (16),

$$\int\limits_{\tilde{\Omega}}{\varphi\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle\cdot\nabla{u^{{\varepsilon_{n}}}}dx}$$

$$= \int\limits_{\tilde{\Omega}}{\varphi\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle\cdot\left\langle{{\nu^{{\varepsilon_{n}}}},I}\right\rangle dx}$$

$$= \int\limits_{\tilde{\Omega}}{\varphi\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}\cdot I}\right\rangle dx}+{\varepsilon_{n}}\int\limits_{\tilde{\Omega}}{\varphi{{|{\left\langle{{\nu^{{\varepsilon_{n}}}},I}\right\rangle}|}^{2}}dx}$$

$$\geqslant \int\limits_{\tilde{\Omega}}{\varphi\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}\cdot I}\right\rangle dx}.$$ (56)

From (41),(43),(45) and (46), we get

$$\int\limits_{\tilde{\Omega}}{{u^{{\varepsilon_{n}}}}\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}+{\varepsilon_{n}}I}\right\rangle\cdot\nabla\varphi dx}$$

$$= \int\limits_{\tilde{\Omega}}{{u^{{\varepsilon_{n}}}}\left\langle{{\nu^{{\varepsilon_{n}}}},\overrightarrow{q}}\right\rangle\cdot\nabla\varphi dx}+\int\limits_{\tilde{\Omega}}{{u^{{\varepsilon_{n}}}}\left({{\varepsilon_{n}}\nabla{u^{{\varepsilon_{n}}}}\cdot\nabla\varphi}\right)dx}$$

$$\to \int\limits_{\tilde{\Omega}}{u\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\nabla\varphi dx},\;\;n\to\infty.$$ (57)

On the other hand, by Green’s formula of Lemma 8, it follows that

$$-\int\limits_{\tilde{\Omega}}{{u_{t}}\varphi udx}$$

$$= -\int\limits_{\tilde{\Omega}}{{\rm div}\left({\left\langle{\nu,\overrightarrow{q}}\right\rangle}\right)\varphi udx}$$

$$= \int\limits_{\tilde{\Omega}}{\varphi\left({\left\langle{\nu,\overrightarrow{q}}\right\rangle,D\tilde{u}}\right)}+\int\limits_{\tilde{\Omega}}{u\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\nabla\varphi dx}$$

$$= \int\limits_{\tilde{\Omega}}\varphi\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\left({\left\langle{\nu,I}\right\rangle dx+\left\langle{{\nu^{\infty}},I}\right\rangle d{\lambda_{\nu}}}\right)+\int\limits_{\tilde{\Omega}}{u\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\nabla\varphi dx}.$$ (58)

Hence, by (55),(56),(57) and (58), letting $n\to\infty$, we have

$$\int\limits_{\tilde{\Omega}}\varphi\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\left({\left\langle{\nu,I}\right\rangle dx+\left\langle{{\nu^{\infty}},I}\right\rangle d{\lambda_{\nu}}}\right)$$

$$\geqslant \int\limits_{\tilde{\Omega}}\varphi\left({\left\langle{\nu,\overrightarrow{q}\cdot I}\right\rangle dx+\left\langle{{\nu^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle d{\lambda_{\nu}}}\right).$$

Furthermore, by the arbitrariness of $\phi$ and the definition of $\tilde{u}$,

$$\left\langle{\nu,\overrightarrow{q}}\right\rangle\cdot\left(\left\langle{\nu,I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},I}\right\rangle{\lambda_{\nu}}\llcorner\overline{\Omega}\right)$$

$$\geq \left\langle{\nu,\overrightarrow{q}\cdot I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\nu^{\infty}},(\overrightarrow{q}\cdot I)^{\infty}}\right\rangle{\lambda_{\nu}}\llcorner\overline{\Omega}$$ (59)

holds in $\mathcal{M}(\overline{\Omega})$. $\hfill\blacksquare$

Remark 2.

Actually, the (JF) inequality (38) is also an equality. According to monotonicity of $\overrightarrow{p}$, one has $(\overrightarrow{p}(A)-\overrightarrow{p}(A_{0}))\cdot(A-A_{0})\geq 0$. By (37), taking $A_{0}=\langle\nu,I\rangle$, we get $\langle\nu,\overrightarrow{q}\cdot I\rangle\geq\langle\nu,\overrightarrow{q}\rangle\cdot\langle\nu,I\rangle.$ On the other hand, by $\rm(SH_{4})$, we have $\langle\nu^{\infty},(\overrightarrow{q}\cdot I)^{\infty}\rangle\geq\langle\nu,\overrightarrow{q}\rangle\cdot\langle\nu^{\infty},I\rangle.$ These two inequalities lead to the conclusion.

4 Uniqueness Results

The (JF) inequality (38) describes a property of the solution upon which the uniqueness proof relies. Similar to the situation of Young measure solutions, we note that there is no claim that the parametrized measure $\lambda$ is unique, which is false in general.

Theorem 2.

Under the assumptions of (SH). If both $(u_{1},\lambda_{1})$ and $(u_{2},\lambda_{2})$ are the generalized Young measure solutions of $(\mathcal{P})$, then

$$u_{1}=u_{2}\quad\textrm{{a.e. in }}\Omega_{T}$$

for every $T>0$.

Proof: Note $\lambda_{1}=(\nu_{1},\lambda^{1}_{\nu},\nu^{\infty}_{1})$, $\lambda_{2}=(\nu_{2},\lambda^{2}_{\nu},\nu^{\infty}_{2})$. Since

$$-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\frac{{\partial({u_{1}}-{u_{2}})}}{{\partial t}}({u_{1}}-{u_{2}})dx}}dt$$

$$= -\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{{\rm div}\left({\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle-\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle}\right)({u_{1}}-{u_{2}})dx}}dt$$

$$= \int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle,D{{\tilde{u}}_{1}}}\right)}}dt-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle,D{{\tilde{u}}_{1}}}\right)}}dt$$

$$+\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle,D{{\tilde{u}}_{2}}}\right)}}dt-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle,D{{\tilde{u}}_{2}}}\right)}}dt$$

$$= \int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle\left({\left\langle{{\nu_{1}},I}\right\rangle dx+\left\langle{\nu_{1}^{\infty},I}\right\rangle d\lambda_{\nu}^{1}}\right)}}dt$$

$$+\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left({\left\langle{{\nu_{2}},I}\right\rangle dx+\left\langle{\nu_{2}^{\infty},I}\right\rangle d\lambda_{\nu}^{2}}\right)}}dt$$

$$-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left({\left\langle{{\nu_{1}},I}\right\rangle dx+\left\langle{\nu_{1}^{\infty},I}\right\rangle d\lambda_{\nu}^{1}}\right)}}dt$$

$$-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle\left({\left\langle{{\nu_{2}},I}\right\rangle dx+\left\langle{\nu_{2}^{\infty},I}\right\rangle d\lambda_{\nu}^{2}}\right)}}dt$$

$$\geqslant \int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{1}},\overrightarrow{q}\cdot I}\right\rangle dx+\left\langle{\nu_{1}^{\infty},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle d\lambda_{\nu}^{1}}\right)}}dt$$

$$+\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{2}},\overrightarrow{q}\cdot I}\right\rangle dx+\left\langle{\nu_{2}^{\infty},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle d\lambda_{\nu}^{2}}\right)}}dt$$

$$-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left({\left\langle{{\nu_{1}},I}\right\rangle dx+\left\langle{\nu_{1}^{\infty},I}\right\rangle d\lambda_{\nu}^{1}}\right)}}dt$$

$$-\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle\left({\left\langle{{\nu_{2}},I}\right\rangle dx+\left\langle{\nu_{2}^{\infty},I}\right\rangle d\lambda_{\nu}^{2}}\right)}}dt$$

$$= \int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{{\nu_{1}},\overrightarrow{q}\cdot I}\right\rangle+\left\langle{{\nu_{2}},\overrightarrow{q}\cdot I}\right\rangle-\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left\langle{{\nu_{1}},I}\right\rangle-\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle\left\langle{{\nu_{2}},I}\right\rangle}\right)dx}}dt$$

$$+\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{\nu_{1}^{\infty},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle-\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left\langle{\nu_{1}^{\infty},I}\right\rangle}\right)d\lambda_{\nu}^{1}}}dt$$

$$+\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\left({\left\langle{\nu_{2}^{\infty},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle-\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle\left\langle{\nu_{2}^{\infty},I}\right\rangle}\right)d\lambda_{\nu}^{2}}}dt$$

$$:= {I_{1}}+{I_{2}}+{I_{3}}.$$

Observe that by (37),

$$\left\langle{{\nu_{1}},\overrightarrow{q}\cdot I}\right\rangle+\left\langle{{\nu_{2}},\overrightarrow{q}\cdot I}\right\rangle-\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left\langle{{\nu_{1}},I}\right\rangle-\left\langle{{\nu_{1}},\overrightarrow{q}}\right\rangle\left\langle{{\nu_{2}},I}\right\rangle$$

$$= \int\limits_{{\mathbb{R}^{N}}}{\int\limits_{{\mathbb{R}^{N}}}{\overrightarrow{q}(A)\cdot I(A)+\overrightarrow{q}(B)\cdot I(B)-\overrightarrow{q}(A)\cdot I(B)-\overrightarrow{q}(B)\cdot I(A)d{\nu_{1}}(A)d{\nu_{2}}(B)}}$$

$$= \int_{\left\{{\Phi={\Phi^{**}}}\right\}}{\int_{\left\{{\Phi={\Phi^{**}}}\right\}}{\left({\overrightarrow{q}(A)-\overrightarrow{q}(B)}\right)\cdot\left({I(A)-I(B)}\right)d{\nu_{1}}(A)d{\nu_{2}}(B)}}$$

$$= \int_{\left\{{\Phi={\Phi^{**}}}\right\}}{\int_{\left\{{\Phi={\Phi^{**}}}\right\}}{\left({\overrightarrow{p}(A)-\overrightarrow{p}(B)}\right)\cdot\left({I(A)-I(B)}\right)d{\nu_{1}}(A)d{\nu_{2}}(B)}}$$

$$\geqslant 0.$$

Hence, it follows that $I_{1}\geq 0$.

On the other hand, by $\rm(SH_{4})$ and (37),

$$\left\langle{\nu_{1}^{\infty},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle-\left\langle{{\nu_{2}},\overrightarrow{q}}\right\rangle\left\langle{\nu_{1}^{\infty},I}\right\rangle$$

$$= \int_{\left\{{\Phi={\Phi^{**}}}\right\}}{\int_{\partial{\mathbb{B}^{N}}}{{{(\overrightarrow{q}\cdot I)}^{\infty}}(A)-\overrightarrow{q}(B)\cdot I(A)d\nu_{1}^{\infty}(A)d{\nu_{2}}(B)}}$$

$$\geqslant 0.$$

Therefore, $I_{2}\geq 0$. Similarly, we get $I_{3}\geq 0$.

Now, by

$$\int_{0}^{s}{\int\limits_{\tilde{\Omega}}{\frac{{\partial({u_{1}}-{u_{2}})}}{{\partial t}}({u_{1}}-{u_{2}})dx}}dt\leq 0,$$

we have

$$u_{1}=u_{2}\quad\text{a.e. in}\;\Omega,\;\forall T>0,$$

and this leads to the uniqueness. $\hfill\blacksquare$

5 Equivalence between Generalized Young Measure Solutions and Strong Solutions

It doesn’t make much sense just to propose a concept of generalized solution with existence and uniqueness. Next, we will establish the relationship between this generalized solution and other types of generalized solutions.

When the parabolic variational integral $\Phi$ is convex, Andreu et al.2004Parabolic combined nonlinear semigroup theory with Anzellotti’s dual theoryGabriele1983Pairings to give a definition of semigroup strong solutions to this equation, and systematically studied the existence, uniqueness and asymptotic behavior of this kind of solutions. In this section, we study the relationship between generalized Young measure solutions and strong solutions ((2004Parabolic, , Definition 6.5)).

The additional assumptions (H) are the following:
$\rm(H_{1})$ $\widehat{\Phi}(\xi,s)$ is continuous on $\mathbb{R}^{N}\times[0,+\infty)$ and convex in $(\xi,s)$, where

$$\widehat{\Phi}(\xi,s):=\left\{\begin{gathered}\Phi\left({\frac{\xi}{s}}\right)s,\quad if\;s>0,\hfill\\ {\Phi^{\infty}}\left(\xi\right),\quad if\;s=0.\hfill\\ \end{gathered}\right.$$

$\rm(H_{2})$ ${\Phi^{\infty}}\left({-\xi}\right)={\Phi^{\infty}}\left(\xi\right)$ and $\overrightarrow{q}(\xi)\cdot\xi\geqslant 0$ holds, $\forall\xi\in\mathbb{R}^{N}$.

Definition 6.

A measurable function $u:(0,T)\times\Omega\to\mathbb{R}$ is a strong solution of $(\mathcal{P})$ in $\Omega_{T}$ if $u\in C([0,T],L^{2}(\Omega))$, $u(0)=u_{0}$, $u^{\prime}(t)\in L^{2}(\Omega)$, $u(t)\in BV(\Omega)\cap L^{2}(\Omega)$, $\overrightarrow{q}(\nabla u(t))\in X(\Omega)_{1}$ a.e. $t\in[0,T]$, and for almost all $t\in[0,T]$ $u(t)$ satisfies:

$$u^{\prime}(t)={\rm{div}}(\overrightarrow{q}(\nabla u(t)))\;\;\text{in}\;\mathcal{D}(\Omega),$$ (60)

$$\overrightarrow{q}(\nabla u(t))\cdot D^{s}u(t)=\Phi^{\infty}(D^{s}u(t)),$$ (61)

$$[\overrightarrow{q}(\nabla u(t)),\vec{n}]\in{\rm sign}(-u^{\Omega}(t))\Phi^{\infty}(\vec{n})\quad\mathcal{H}^{N-1}\text{-a.e.}\;\text{on}\;\partial\Omega.$$ (62)

Using the theory of nonlinear semigroups, Andreu et al. proved the existence and uniqueness of strong solutions (2004Parabolic, , Theorem 6.6) and the following lemma follows.

Lemma 11.

Under the assumptions of $\bf{(SH)}$ and $\bf{(H)}$. Given $u_{0}\in L^{2}(\Omega)$, there exists a unique strong solution $u$ of $(\mathcal{P})$ in $\Omega_{T}$ for every $T>0$ such that $u(0)=u_{0}$.

Assume that $\Phi$ satisfies $\bf(SH)$ and $u$ is a solution in the Definition 6, by calculation, we can verify that $(u,\sigma_{Du})$ is a generalized gradient Young solution. The following theorem follows.

Theorem 3.

If $u$ is a strong solution of $(\mathcal{P})$ in the Definition 6, then $(u,\sigma_{Du})$ is a generalized gradient Young measure solution of $(\mathcal{P})$.

On the other hand, if $\Phi$ is convex and satisfies (SH), the generalized Young solution of $(\mathcal{P})$ uniquely determines a strong solution in Definition 6.

Theorem 4.

Let $u_{0}\in BV(\Omega)\cap L^{\infty}(\Omega)$. If $(u,\lambda)$ is a generalized Young measure solution of $(\mathcal{P})$, then $u$ is a strong solution of $(\mathcal{P})$ in Definition 6.

Proof: Since $\Phi$ is convex function, by the usual theory of monotone operators, there exists a unique weak solution (of usual sense) to problem $(\mathcal{P}_{\varepsilon})$, then $(u^{\varepsilon},\delta_{\nabla u_{\varepsilon}})$ is a Young measure solution to the problem $(\mathcal{P}_{\varepsilon})$.

Using $(u^{\varepsilon},\delta_{\nabla u_{\varepsilon}})$, by the method in Theorem 1, there exist a subsequence $(u^{\varepsilon_{n}},\delta_{\nabla u_{\varepsilon_{n}}})$ and a generalized gradient Young measure solution $(\bar{u},\bar{\lambda})$ ($\bar{\lambda}:=(\bar{\nu},\bar{\lambda}_{\nu},\bar{\nu}^{\infty})$) satisfying that

$$\begin{gathered}{u^{{\varepsilon_{n}}}}\to\bar{u}\quad{\text{in}}\;{L^{2}}(\Omega),\hfill\\ {\varepsilon_{n}}|{\nabla{u^{{\varepsilon_{n}}}}}|\to 0\quad{\text{in}}\;{L^{2}}(\Omega),\hfill\\ \left\langle{{\delta_{\nabla{u^{{\varepsilon_{n}}}}}},\overrightarrow{q}}\right\rangle\mathop{\rightharpoonup}\limits^{*}\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\quad{\text{in}}\;{L^{\infty}}(\Omega;{\mathbb{R}^{N}}),\hfill\\ u_{t}^{{\varepsilon_{n}}}{\rightharpoonup}{\bar{u}_{t}}\quad\text{in}\;{L^{2}}(\Omega).\hfill\\ \end{gathered}$$

Since

$${{\bar{u}}_{t}}={\text{div}}\langle\bar{\nu},\overrightarrow{q}\rangle\quad{\text{in}}\;\mathcal{D}^{\prime}(\Omega),$$ (63)

we get $\langle\bar{\nu},\overrightarrow{q}\rangle\in X_{2}(\Omega)$.

Let $0\leq\theta\in\mathcal{D}(\Omega)$ and $\eta\in C^{1}(\overline{\Omega})$. By the convexity of $\Phi$ and $\overrightarrow{q}=\nabla\Phi$, it follows that

$$\int\limits_{\Omega}{\theta\left({\overrightarrow{q}_{{\varepsilon_{n}}}\left({\nabla{u^{{\varepsilon_{n}}}}}\right)-\overrightarrow{q}_{\varepsilon_{n}}\left({\nabla\eta}\right)}\right)\cdot\left({\nabla{u^{{\varepsilon_{n}}}}-\nabla\eta}\right)dx}\geqslant 0.$$ (64)

Since

$$\int\limits_{\Omega}{\theta\overrightarrow{q}_{\varepsilon_{n}}\left({\nabla{u^{{\varepsilon_{n}}}}}\right)\cdot\nabla\left({{u^{{\varepsilon_{n}}}}-\eta}\right)dx}$$

$$= -\int\limits_{\Omega}{\theta u_{t}^{{\varepsilon_{n}}}\left({{u^{{\varepsilon_{n}}}}-\eta}\right)dx}-\int\limits_{\Omega}{\left({{u^{{\varepsilon_{n}}}}-\eta}\right)\nabla\theta\cdot\overrightarrow{q}_{\varepsilon_{n}}\left({\nabla{u^{{\varepsilon_{n}}}}}\right)dx},$$

we have

$$\mathop{\lim}\limits_{n\to\infty}\int\limits_{\Omega}{\theta\overrightarrow{q}_{\varepsilon_{n}}\left({\nabla{u^{{\varepsilon_{n}}}}}\right)\cdot\nabla\left({{u^{{\varepsilon_{n}}}}-\eta}\right)dx}$$

$$= -\int\limits_{\Omega}{\theta\bar{u}_{t}\left({\bar{u}-\eta}\right)dx}-\int\limits_{\Omega}{\left({\bar{u}-\eta}\right)\nabla\theta\cdot\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle dx}$$

$$= -\int\limits_{\Omega}{\theta{\rm{div}}\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle}\right)\left({\bar{u}-\eta}\right)dx}-\int\limits_{\Omega}{\left({\bar{u}-\eta}\right)\nabla\theta\cdot\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle dx}$$

$$= \int\limits_{\Omega}{\theta\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle,D\left({\bar{u}-\eta}\right)}\right)}.$$

From this, and

$$\mathop{\lim}\limits_{n\to\infty}\int\limits_{\Omega}{\theta\overrightarrow{q}_{\varepsilon_{n}}\left({\nabla\eta}\right)\cdot\nabla\left({{u^{{\varepsilon_{n}}}}-\eta}\right)dx}=\int\limits_{\Omega}{\theta\overrightarrow{q}\left({\nabla\eta}\right)\cdot D\left({\bar{u}-\eta}\right)},$$

letting $n\to\infty$ in (64), we obtain

$$\int\limits_{\Omega}{\theta\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle-\overrightarrow{q}\left({\nabla\eta}\right),D\left({\bar{u}-\eta}\right)}\right)}\geqslant 0.$$

Hence,

$${\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle-\overrightarrow{q}\left({\nabla\eta}\right),D\left({\bar{u}-\eta}\right)}\right)}\geqslant 0\quad\text{in }\mathcal{M}(\Omega),$$

then, its absolutely continuous part satisfies that

$$\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle-\overrightarrow{q}\left({\nabla\eta}\right)}\right)\cdot\nabla\left({\bar{u}-\eta}\right)\geqslant 0\quad\text{a.e. in }\Omega.$$

Since $C^{1}(\overline{\Omega})$ is separable, by taking a countable set dense in $C^{1}(\overline{\Omega})$, we have that the above inequality holds for all $x\in\Omega^{\prime}$, where $\Omega^{\prime}\subseteq\Omega$ is such that $\mathcal{L}^{N}(\Omega\setminus\Omega^{\prime})=0$, and all $\eta\in C^{1}(\overline{\Omega})$. Now, fixed $x\in\Omega^{\prime}$ and given $A\in\mathbb{R}^{N}$, there is $\eta\in C^{1}(\overline{\Omega})$ such that $\nabla\eta=A$. Thus,

$$\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle-\overrightarrow{q}\left(A\right)}\right)\cdot\left({\nabla\bar{u}(x)-A}\right)\geqslant 0,\;\forall A\in\mathbb{R}^{N}.$$

By choosing $A=\nabla\bar{u}(x)\pm\epsilon\xi$, $\forall\xi\in\mathbb{R}^{N}$, and letting $\epsilon\to 0^{+}$, we obtain

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle=\overrightarrow{q}(\nabla{\bar{u}}(x))\quad\text{a.e.}\;x\in\Omega.$$ (65)

Similar to (50) and (59), we have

$$D{\tilde{\bar{u}}}=\left\langle{\bar{\nu},I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\bar{\nu}^{\infty}},{I}}\right\rangle{\bar{\lambda}_{\nu}}\quad\text{in}\;\mathcal{M}(\tilde{{\Omega}}),$$ (66)

and

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\cdot\left(\left\langle{\bar{\nu},I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\bar{\nu}^{\infty}},I}\right\rangle{\bar{\lambda}_{\nu}}\llcorner\overline{\Omega}\right)$$

$$\geqslant \left(\left\langle{\bar{\nu},\overrightarrow{q}\cdot I}\right\rangle{\mathcal{L}^{N}}\llcorner\Omega+\left\langle{{\bar{\nu}^{\infty}},(\overrightarrow{q}\cdot I)^{\infty}}\right\rangle{\bar{\lambda}_{\nu}}\llcorner\overline{\Omega}\right),$$ (67)

in $\mathcal{M}(\overline{\Omega})$.

Thus,

$$\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{\bar{\nu},I}\right\rangle-\left\langle{\bar{\nu},\overrightarrow{q}\cdot I}\right\rangle}\right){\mathcal{L}^{N}}\llcorner\Omega$$

$$+\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{{{\bar{\nu}}^{\infty}},I}\right\rangle-\left\langle{{{\bar{\nu}}^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle}\right){{\bar{\lambda}}_{\nu}}\llcorner\overline{\Omega}\geqslant 0,$$ (68)

and its singular parts satisfies that

$$\left({\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{{{\bar{\nu}}^{\infty}},I}\right\rangle-\left\langle{{{\bar{\nu}}^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle}\right)\bar{\lambda}_{\nu}^{s}\llcorner\overline{\Omega}\geqslant 0\quad\text{in}\;\mathcal{M}(\overline{\Omega}).$$

Then, it follows that

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{{{\bar{\nu}}^{\infty}},I}\right\rangle\geqslant\left\langle{{{\bar{\nu}}^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle\quad\bar{\lambda}_{\nu}^{s}{\text{-a.e.}}\;{\text{in}}\;\overline{\Omega}.$$ (69)

By (66), we get

$${D^{s}}\tilde{\bar{u}}=\left\langle{{{\bar{\nu}}^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle\bar{\lambda}_{\nu}^{s}\quad{\text{in}}\;\mathcal{M}(\overline{\Omega}).$$ (70)

Since $\bar{\lambda}$ is a generalized gradient Young measure, by $(ii)$ of Lemma 10, it follows that

$$\left\langle{{{\bar{\nu}}^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle=\left\langle{{{\bar{\nu}}^{\infty}},{\Phi^{\infty}}}\right\rangle\geqslant{\Phi^{\infty}}\left({\left\langle{{{\bar{\nu}}^{\infty}},I}\right\rangle}\right)\quad\bar{\lambda}_{\nu}^{s}{\text{-a.e.}}\;{\text{in}}\;\overline{\Omega},$$

i.e.,

$$\left\langle{{{\bar{\nu}}^{\infty}},{{(\overrightarrow{q}\cdot I)}^{\infty}}}\right\rangle\bar{\lambda}_{\nu}^{s}\geqslant{\Phi^{\infty}}\left({\left\langle{{{\bar{\nu}}^{\infty}},I}\right\rangle}\right)\bar{\lambda}_{\nu}^{s}={\Phi^{\infty}}\left({\frac{{{D^{s}}\tilde{\bar{u}}}}{{|{{D^{s}}\tilde{\bar{u}}}|}}}\right)|{{D^{s}}\tilde{\bar{u}}}|\quad{\text{in}}\;\mathcal{M}(\overline{\Omega}).$$ (71)

On the other hand, by (70), we have

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{{{\bar{\nu}}^{\infty}},I}\right\rangle\bar{\lambda}_{\nu}^{s}=\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle{D^{s}}\tilde{\bar{u}}=\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{{\delta_{p}},I}\right\rangle|{{D^{s}}\tilde{\bar{u}}}|,$$

where $p=\frac{{{D^{s}}\tilde{\bar{u}}}}{{|{{D^{s}}\tilde{\bar{u}}}|}}$.

Then, by $\rm(SH_{4})$, we find

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle\left\langle{{\delta_{p}},I}\right\rangle$$

$$= \int\limits_{{\mathbb{R}^{N}}}{\int\limits_{\partial{\mathbb{B}^{N}}}{\overrightarrow{q}(B)\cdot Ad{\delta_{p}}(A)d\bar{\nu}(B)}}$$

$$\leqslant \int\limits_{{\mathbb{R}^{N}}}{\int\limits_{\partial{\mathbb{B}^{N}}}{{{(\overrightarrow{q}\cdot I)}^{\infty}}(A)d{\delta_{p}}(A)d\bar{\nu}(B)}}$$

$$= {\Phi^{\infty}}\left({\frac{{{D^{s}}\tilde{\bar{u}}}}{{|{{D^{s}}\tilde{\bar{u}}}|}}}\right)$$

holds $|{{D^{s}}\tilde{\bar{u}}}|{\text{-a.e.}}\;{\text{in}}\;\overline{\Omega}$.

Combining this inequality with (69) and (71), we obtain

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle{D^{s}}\tilde{\bar{u}}={\Phi^{\infty}}\left({\frac{{{D^{s}}\tilde{\bar{u}}}}{{|{{D^{s}}\tilde{\bar{u}}}|}}}\right)|{{D^{s}}\tilde{\bar{u}}}|={\Phi^{\infty}}\left({{D^{s}}\tilde{\bar{u}}}\right)\quad{\text{in}}\;\mathcal{M}(\overline{\Omega}).$$

Therefore,

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle{{D^{s}}\bar{u}}\;\llcorner\Omega={\Phi^{\infty}}\left({{D^{s}}\bar{u}}\right)\llcorner\Omega\quad{\text{in}}\;\mathcal{M}(\overline{\Omega}),$$ (72)

and

$$\left\langle{\bar{\nu},\overrightarrow{q}}\right\rangle{D^{s}}\tilde{\bar{u}}\llcorner\partial\Omega={\Phi^{\infty}}\left({{D^{s}}\tilde{\bar{u}}}\right)\quad{\text{in}}\;\mathcal{M}(\overline{\Omega}).$$ (73)

Since $\bar{u}\in BV(\Omega)$, we get

$${D^{s}}\tilde{\bar{u}}\llcorner\partial\Omega=D\tilde{\bar{u}}\llcorner\partial\Omega=\left({-{{\bar{u}}^{\Omega}}\otimes\vec{n}}\right){\mathcal{H}^{N-1}}\llcorner\partial\Omega\quad{\text{in}}\;\mathcal{M}(\overline{\Omega}).$$ (74)

According to Theorem 2, $\bar{u}=u$.

Combining (63),(65) and (72)–(74), we arrive at (60)–(62). The proof is complete. $\hfill\blacksquare$

Acknowledgments

Data Availability

The authors declare that data sharing not applicable to this article, as no datasets were generated or analysed during the study.