# Regularity for nonlinear evolution variational inequalities with delay terms

## Abstract

In this paper, we deal with the regularity and a variation of constant formula for solutions of the nonlinear differential equation with delay nonlinear terms governed by the variational inequality in Hilbert spaces. Without the conditions of the uniform boundedness of the nonlinear terms and the compactness of the principal operators, we obtain the wellposedness and the norm estimate of the given equation by converting the problem into the contraction mapping principle on state space.

MSC:35K85, 35F25.

## 1 Introduction

Let H and V be two complex Hilbert spaces. Assume that V is dense subspace in H and the injection of V into H is continuous. The norm on V and H will be denoted by $âˆ¥â‹\dots âˆ¥$ and $|â‹\dots |$, respectively. Let A be a continuous linear operator from V into ${V}^{âˆ—}$ which is assumed to satisfy GÃ¥rdingâ€™s inequality, and let $\mathrm{Ï•}:Vâ†’\left(âˆ’\mathrm{âˆž},+\mathrm{âˆž}\right]$ be a lower semicontinuous, proper convex function. Then we study the following variational inequality problem with nonlinear term:

(NVE)

Here, $g=\left({g}^{0},{g}^{1}\right)âˆˆHÃ—{L}^{2}\left(0,T;V\right)$, a forcing term $kâˆˆ{L}^{2}\left(0,T;{V}^{âˆ—}\right)$ and $h:{\mathbb{R}}^{+}Ã—VÃ—Hâ†’H$ is a nonlinear mapping.

By the definition of the subdifferential operator âˆ‚Ï•, the problem (NVE) is represented by the following nonlinear functional differential problem:

$\left\{\begin{array}{c}{x}^{â€²}\left(t\right)+Ax\left(t\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left(x\left(t\right)\right)âˆ‹{âˆ«}_{âˆ’r}^{0}h\left(t,s,x\left(t\right),x\left(t+s\right),u\left(t\right)\right)\mathrm{Î¼}\left(ds\right)+k\left(t\right),\phantom{\rule{1em}{0ex}}0
(NDE)

The theory of variational evolution inequalities is one of the most important domains of application of the ideas and techniques of differential equations associated with maximal monotone operators and semigroups of nonlinear contractions. There is extensive literature on parabolic variational inequalities and the Stefan problems (see Lions [1, 2], BrÃ©zis [3, 4], Friedman [5], Elliott and Ockendon [6], Barbu [7, 8]). For more details on the applications of the theory we refer to the survey of Lions [9] and the book by Duvaut and Lions [10].

In this paper we are primarily interested in the regular problem that arise as direct consequences of the general theory developed previously, and we consider to put in perspective those models of initial value problems which can be formulated as nonlinear differential equations of variational inequalities. When the nonlinear mapping h is a Lipschitz continuous from $\mathbb{R}Ã—V$ into H, we will find that the most part of the regularity for parabolic variational inequalities can also be applicable to (NDE) with nonlinear perturbations. The above operator h is the semilinear case of the nonlinear part of quasilinear equations considered by Yong and Pan [11]. The approach used here is similar to that developed in [12â€“14] on the general semilinear evolution equations.

Without conditions of the uniform boundedness of the nonlinear terms and the compactness of the principal operators, we obtain the wellposedness of (NDE) by converting the problem into the contraction mapping principle and the norm estimate of a solution of the above nonlinear equation on ${L}^{2}\left(0,T;V\right)âˆ©{W}^{1,2}\left(0,T;{V}^{âˆ—}\right)âˆ©C\left(\left[0,T\right];H\right)$. Consequently, in view of the monotonicity of âˆ‚Ï• and using the interpolation theory, we show that the solution mapping

$\begin{array}{rcl}HÃ—{L}^{2}\left(âˆ’r,0;V\right)Ã—{L}^{2}\left(0,T;H\right)& âˆ‹& \left({g}^{0},{g}^{1},k\right)â†¦x\\ âˆˆ& {L}^{2}\left(0,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;H\right)\end{array}$

is continuous and the mapping $kâ†¦{x}_{k}$ is compact from ${L}^{2}\left(0,T;H\right)$ to ${L}^{2}\left(0,T;V\right)$, which is useful for physical applications for the equations related with forcing terms containing control part.

## 2 Parabolic variational inequalities

If H is identified with its dual space we may write $VâŠ‚HâŠ‚{V}^{âˆ—}$ densely and the corresponding injections are continuous. The norm on V, H, and ${V}^{âˆ—}$ will be denoted by $âˆ¥â‹\dots âˆ¥$, $|â‹\dots |$, and ${âˆ¥â‹\dots âˆ¥}_{âˆ—}$, respectively. The duality pairing between the element ${v}_{1}$ of ${V}^{âˆ—}$ and the element ${v}_{2}$ of V is denoted by $\left({v}_{1},{v}_{2}\right)$, which is the ordinary inner product in H if ${v}_{1},{v}_{2}âˆˆH$. For the sake of simplicity, we may consider

${âˆ¥uâˆ¥}_{âˆ—}â‰¤|u|â‰¤âˆ¥uâˆ¥,\phantom{\rule{1em}{0ex}}uâˆˆV.$

For $lâˆˆ{V}^{âˆ—}$ we denote $\left(l,v\right)$ by the value $l\left(v\right)$ of l at $vâˆˆV$. The norm of l as an element of ${V}^{âˆ—}$ is given by

${âˆ¥lâˆ¥}_{âˆ—}=\underset{vâˆˆV}{sup}\frac{|\left(l,v\right)|}{âˆ¥vâˆ¥}.$

Therefore, we assume that V has a stronger topology than H and, for brevity, we may regard

${âˆ¥uâˆ¥}_{âˆ—}â‰¤|u|â‰¤âˆ¥uâˆ¥,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}uâˆˆV.$

Let $a\left(â‹\dots ,â‹\dots \right)$ be a bounded sesquilinear form defined in $VÃ—V$ and satisfying GÃ¥rdingâ€™s inequality,

$Rea\left(u,u\right)â‰¥{\mathrm{Ï‰}}_{1}{âˆ¥uâˆ¥}^{2}âˆ’{\mathrm{Ï‰}}_{2}{|u|}^{2},$
(2.1)

where ${\mathrm{Ï‰}}_{1}>0$ and ${\mathrm{Ï‰}}_{2}$ is a real number.

Let A be the operator associated with the sesquilinear form $a\left(â‹\dots ,â‹\dots \right)$:

$\left(Au,v\right)=a\left(u,v\right),\phantom{\rule{1em}{0ex}}u,vâˆˆV.$
(2.2)

Then A is a bounded linear operator from V to ${V}^{âˆ—}$ by the Lax-Milgram theorem. The realization for the operator A in H which is the restriction of A to

$D\left(A\right)=\left\{uâˆˆV;AuâˆˆH\right\}$

can also be denoted by A. We also assume that there exists a constant ${C}_{1}$ such that

$âˆ¥uâˆ¥â‰¤{C}_{1}{âˆ¥uâˆ¥}_{D\left(A\right)}^{1/2}{|u|}^{1/2}$
(2.3)

for every $uâˆˆD\left(A\right)$, where

${âˆ¥uâˆ¥}_{D\left(A\right)}={\left({|Au|}^{2}+{|u|}^{2}\right)}^{1/2}$

is the graph norm of $D\left(A\right)$. Thus, in terms of the intermediate theory we may assume that

${\left(D\left(A\right),H\right)}_{1/2,2}=V,$

where ${\left(D\left(A\right),H\right)}_{1/2,2}$ denotes the real interpolation space between $D\left(A\right)$ and H.

If X is a Banach space, ${L}^{2}\left(0,T;X\right)$ is the collection of all strongly measurable square integrable functions from $\left(0,T\right)$ into X and ${W}^{1,2}\left(0,T;X\right)$ is the set of all absolutely continuous functions on $\left[0,T\right]$ such that their derivative belongs to ${L}^{2}\left(0,T;X\right)$. $C\left(\left[0,T\right];X\right)$ will denote the set of all continuous functions from $\left[0,T\right]$ into X with the supremum norm.

Lemma 2.1 Let $T>0$. Then

$H=\left\{xâˆˆ{V}^{âˆ—}:{âˆ«}_{0}^{T}{âˆ¥A{e}^{tA}xâˆ¥}_{âˆ—}^{2}\phantom{\rule{0.2em}{0ex}}dt<\mathrm{âˆž}\right\}.$

Proof Put $u\left(t\right)={e}^{tA}x$ for $xâˆˆH$. From

$\begin{array}{rl}\frac{1}{2}\frac{d}{dt}|u\left(t\right){|}^{2}& =Re\left(\stackrel{Ë™}{u}\left(t\right),u\left(t\right)\right)=Re\left(Au\left(t\right),u\left(t\right)\right)\\ =âˆ’Rea\left(u\left(t\right),u\left(t\right)\right)â‰¤âˆ’{c}_{0}{âˆ¥u\left(t\right)âˆ¥}^{2},\end{array}$

it follows that

$\frac{1}{2}\frac{d}{dt}|u\left(t\right){|}^{2}+{c}_{0}{âˆ¥u\left(t\right)âˆ¥}^{2}â‰¤0.$

Integrating over t yields

$\frac{1}{2}|u\left(t\right){|}^{2}+{c}_{0}{âˆ«}_{0}^{t}{âˆ¥u\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}dsâ‰¤\frac{1}{2}{|x|}^{2}.$

Hence, we obtain

${âˆ«}_{0}^{T}{âˆ¥A{e}^{tA}xâˆ¥}_{âˆ—}^{2}\phantom{\rule{0.2em}{0ex}}dtâ‰¤{âˆ«}_{0}^{T}{âˆ¥Aâˆ¥}_{B\left(V,{V}^{âˆ—}\right)}{âˆ¥u\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}ds<\mathrm{âˆž}.$

Conversely, suppose that $xâˆˆ{V}^{âˆ—}$ and ${âˆ«}_{0}^{T}{âˆ¥A{e}^{tA}xâˆ¥}_{âˆ—}^{2}\phantom{\rule{0.2em}{0ex}}dt<\mathrm{âˆž}$. Put $u\left(t\right)={e}^{tA}x$. Then since A is an isomorphism operator from V to ${V}^{âˆ—}$ there exists a constant $c>0$ such that

${âˆ«}_{0}^{T}{âˆ¥u\left(t\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}dtâ‰¤c{âˆ«}_{0}^{T}{âˆ¥Au\left(t\right)âˆ¥}_{âˆ—}^{2}\phantom{\rule{0.2em}{0ex}}dt=c{âˆ«}_{0}^{T}{âˆ¥A{e}^{tA}xâˆ¥}_{âˆ—}^{2}\phantom{\rule{0.2em}{0ex}}dt.$

From the assumptions and $\stackrel{Ë™}{u}\left(t\right)=A{e}^{tA}x$ it follows that

$uâˆˆ{L}^{2}\left(0,T;V\right)âˆ©{W}^{1,2}\left(0,T;{V}^{âˆ—}\right)âŠ‚C\left(\left[0,T\right];H\right).$

Therefore, $x=u\left(0\right)âˆˆH$.â€ƒâ–¡

By Lemma 2.1, from Theorem 3.5.3 of Butzer and Berens [12], we can see that

${\left(V,{V}^{âˆ—}\right)}_{1/2,2}=H.$

Using the regularity for the variational inequality of parabolic type (i.e., in case where $gâ‰¡0$) as seen in Section 4.3 of [8] we have the following result on (VE). We denote the closure in H of the set $D\left(\mathrm{Ï•}\right)=\left\{uâˆˆV:\mathrm{Ï•}\left(u\right)<\mathrm{âˆž}\right\}$ by $\stackrel{Â¯}{D\left(\mathrm{Ï•}\right)}$.

Proposition 2.1 (1) Let $kâˆˆ{L}^{2}\left(0,T;{V}^{âˆ—}\right)$ and $\left({g}^{0},{g}^{1}\right)âˆˆ\stackrel{Â¯}{D\left(\mathrm{Ï•}\right)}Ã—{L}^{2}\left(âˆ’r,0;V\right)$. Then (NDE) has a unique solution

$xâˆˆ{L}^{2}\left(0,T;V\right)âˆ©{W}^{1,2}\left(0,T;{V}^{âˆ—}\right)âˆ©C\left(\left[0,T\right];H\right),$

which satisfies

${x}^{â€²}\left(t\right)={\left(k\left(t\right)âˆ’Ax\left(t\right)âˆ’\mathrm{âˆ‚}\mathrm{Ï•}\left(x\left(t\right)\right)\right)}^{0}$

and

${âˆ¥xâˆ¥}_{{L}^{2}âˆ©{W}^{1,2}âˆ©C}â‰¤{C}_{2}\left(1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;{V}^{âˆ—}\right)}\right),$
(2.4)

where ${C}_{2}$ is some positive constant and ${L}^{2}âˆ©C={L}^{2}\left(0,T;V\right)âˆ©C\left(\left[0,T\right];H\right)$.

(2) Let A be symmetric and let us assume that there exists $hâˆˆH$ such that for every $\mathrm{Ïµ}>0$ and any $yâˆˆD\left(\mathrm{Ï•}\right)$

${J}_{\mathrm{Ïµ}}\left(y+\mathrm{Ïµ}h\right)âˆˆD\left(\mathrm{Ï•}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\mathrm{Ï•}\left({J}_{\mathrm{Ïµ}}\left(y+\mathrm{Ïµ}h\right)\right)â‰¤\mathrm{Ï•}\left(y\right),$

where ${J}_{\mathrm{Ïµ}}={\left(I+\mathrm{Ïµ}A\right)}^{âˆ’1}$. Then for $kâˆˆ{L}^{2}\left(0,T;H\right)$ and $\left({g}^{0},{g}^{1}\right)âˆˆ\stackrel{Â¯}{D\left(\mathrm{Ï•}\right)}âˆ©VÃ—{L}^{2}\left(âˆ’r,0;V\right)$, (NDE) has a unique solution,

$xâˆˆ{L}^{2}\left(0,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;H\right)âˆ©C\left(\left[0,T\right];H\right),$

which satisfies

${âˆ¥xâˆ¥}_{{L}^{2}âˆ©{W}^{1,2}âˆ©C}â‰¤{C}_{2}\left(1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;H\right)}\right).$
(2.5)

Remark 2.1 In terms of Lemma 2.1, the inclusion

${L}^{2}\left(0,T;V\right)âˆ©{W}^{1,2}\left(0,T;{V}^{âˆ—}\right)âŠ‚C\left(\left[0,T\right];H\right)$

is well known and is an easy consequence of the definition of real interpolation spaces by the trace method (see [9, 15]).

## 3 Regularity for nonlinear variational inequalities

Let â„’ and â„¬ be the Lebesgue Ïƒ-field on $\left[0,\mathrm{âˆž}\right)$ and the Borel Ïƒ-field on $\left[âˆ’r,0\right]$, respectively. Let Î¼ be a Borel measure on $\left[âˆ’r,0\right]$ and $h:\left[0,\mathrm{âˆž}\right)Ã—\left[âˆ’r,0\right]Ã—VÃ—Hâ†’H$ be a nonlinear mapping satisfying the following:

1. (G1)

for any $x,yâˆˆV$ the mapping $h\left(â‹\dots ,â‹\dots ,x,y\right)$ is strongly $\mathcal{L}Ã—\mathcal{B}$-measurable;

2. (G2)

there exist positive constants ${L}_{i}$ ($i=0,1,2$) such that

$\begin{array}{c}|h\left(t,s,x,y\right)âˆ’h\left(t,s,\stackrel{Ë†}{x},\stackrel{Ë†}{y}\right)|â‰¤{L}_{1}âˆ¥xâˆ’\stackrel{Ë†}{x}âˆ¥+{L}_{2}|yâˆ’\stackrel{Ë†}{y}|,\hfill \\ |h\left(t,s,0,0\right)|â‰¤{L}_{0}\hfill \end{array}$

for all $\left(t,s\right)âˆˆ\left[0,\mathrm{âˆž}\right)Ã—\left[âˆ’r,0\right]$ and $x,\stackrel{Ë†}{x},y,\stackrel{Ë†}{y}âˆˆV$.

Remark 3.1 The above operator h is the semilinear case of the nonlinear part of quasilinear equations considered by Yong and Pan [11].

For any $xâˆˆ{L}^{2}\left(âˆ’r,T;V\right)$, $T>0$ we set

$G\left(t,x\right)={âˆ«}_{âˆ’r}^{0}h\left(t,s,x\left(t\right),x\left(t+s\right)\right)\mathrm{Î¼}\left(ds\right).$
(3.1)

Here as in [11] we consider the Borel measurable corrections of $x\left(â‹\dots \right)$.

Lemma 3.1 Let $xâˆˆ{L}^{2}\left(âˆ’r,T;V\right)$, $T>0$. Then the nonlinear term $G\left(â‹\dots ,x\right)$ defined by (3.1) belongs to ${L}^{2}\left(0,T;H\right)$ and

${âˆ¥G\left(â‹\dots ,x\right)âˆ¥}_{{L}^{2}\left(0,T;H\right)}â‰¤\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left\{{L}_{0}\sqrt{T}+\left({L}_{1}+{L}_{2}\right){âˆ¥xâˆ¥}_{{L}^{2}\left(0,T;V\right)}+{L}_{2}{âˆ¥xâˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}\right\}.$
(3.2)

Moreover, if ${x}_{1},{x}_{2}âˆˆ{L}^{2}\left(âˆ’r,T;V\right)$, then

$\begin{array}{c}{âˆ¥G\left(â‹\dots ,{x}_{1}\right)âˆ’G\left(â‹\dots ,{x}_{2}\right)âˆ¥}_{{L}^{2}\left(0,T;H\right)}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left\{\left({L}_{1}+{L}_{2}\right){âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;V\right)}+{L}_{2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}\right\}.\hfill \end{array}$
(3.3)

Proof From (G1) and (G2) it is easily seen that

$\begin{array}{c}{âˆ¥G\left(â‹\dots ,x\right)âˆ¥}_{{L}^{2}\left(0,T;H\right)}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left\{{L}_{0}\sqrt{T}+{L}_{1}{âˆ¥xâˆ¥}_{{L}^{2}\left(0,T;V\right)}+{L}_{2}{âˆ¥xâˆ¥}_{{L}^{2}\left(âˆ’r,T;V\right)}\right\}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left\{{L}_{0}\sqrt{T}+\left({L}_{1}+{L}_{2}\right){âˆ¥xâˆ¥}_{{L}^{2}\left(0,T;V\right)}+{L}_{2}{âˆ¥xâˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}\right\}.\hfill \end{array}$

The proof of (3.3) is similar.â€ƒâ–¡

We denote the closure in H of the set $D\left(\mathrm{Ï•}\right)=\left\{uâˆˆV:\mathrm{Ï•}\left(u\right)<\mathrm{âˆž}\right\}$ by $\stackrel{Â¯}{D\left(\mathrm{Ï•}\right)}$. In what follows this paper, we assume that $\stackrel{Â¯}{D\left(\mathrm{Ï•}\right)}=H$ for the sake of simplicity. First, we are going to give the following result on a local solvability of (NDE). The following lemma is due to BrÃ©zis [[4], Lemma A.5].

Lemma 3.2 Let $mâˆˆ{L}^{1}\left(0,T;\mathbb{R}\right)$ satisfying $m\left(t\right)â‰¥0$ for all $tâˆˆ\left(0,T\right)$ and $aâ‰¥0$ be a constant. Let b be a continuous function on $\left[0,T\right]âŠ‚\mathbb{R}$ satisfying the following inequalities:

$\frac{1}{2}{b}^{2}\left(t\right)â‰¤\frac{1}{2}{a}^{2}+{âˆ«}_{0}^{t}m\left(s\right)b\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,\phantom{\rule{1em}{0ex}}tâˆˆ\left[0,T\right].$

Then

$|b\left(t\right)|â‰¤a+{âˆ«}_{0}^{t}m\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,\phantom{\rule{1em}{0ex}}tâˆˆ\left[0,T\right].$

Let $xâˆˆ{L}^{2}\left(0,T;V\right)âˆ©C\left(\left[0,T\right];H\right)$. Then invoking Proposition 2.1, we see that the problem

$\left\{\begin{array}{c}{y}^{â€²}\left(t\right)+Ay\left(t\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left(y\left(t\right)\right)âˆ‹G\left(t,x\right)+k\left(t\right),\phantom{\rule{1em}{0ex}}0
(3.4)

has a unique solution $yâˆˆ{L}^{2}\left(0,T;V\right)âˆ©{W}^{1,2}\left(0,T;{V}^{âˆ—}\right)âˆ©C\left(\left[0,T\right];H\right)$.

Lemma 3.3 Let ${y}_{1}$, ${y}_{2}$ be the solutions of (3.4) with x replaced by ${x}_{1},{x}_{2}âˆˆ{L}^{2}\left(0,T;V\right)$, respectively. Then the following inequalities hold:

$\begin{array}{c}\frac{1}{2}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}+{\mathrm{Ï‰}}_{1}{âˆ«}_{0}^{t}{âˆ¥{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{t}{e}^{2{\mathrm{Ï‰}}_{2}\left(tâˆ’s\right)}H\left(s\right)|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds\hfill \end{array}$
(3.5)

and

$|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)|â‰¤{âˆ«}_{0}^{t}{e}^{{\mathrm{Ï‰}}_{2}\left(tâˆ’s\right)}H\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,$
(3.6)

where

$H\left(t\right)=\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{1}âˆ¥{x}_{1}\left(t\right)âˆ’{x}_{2}\left(t\right)âˆ¥+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{C\left(\left[0,t\right];H\right)}.$

Proof For $i=1,2$, we consider the following equation:

$\left\{\begin{array}{c}{y}_{i}^{â€²}\left(t\right)+A{y}_{i}\left(t\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left({y}_{i}\left(t\right)\right)âˆ‹G\left(t,{x}_{i}\right)+k\left(t\right),\phantom{\rule{1em}{0ex}}0
(3.7)

From (3.7) it follows that

$\begin{array}{c}\frac{d}{dt}\left({y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)\right)+A\left({y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left({y}_{1}\left(t\right)\right)âˆ’\mathrm{âˆ‚}\mathrm{Ï•}\left({y}_{2}\left(t\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}âˆ‹G\left(t,{x}_{1}\right)âˆ’G\left(t,{x}_{2}\right),\phantom{\rule{1em}{0ex}}t>0.\hfill \end{array}$

Multiplying on both sides of ${y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)$ and using the monotonicity of âˆ‚Ï•, we get

$\begin{array}{c}\frac{1}{2}\frac{d}{dt}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}+a\left({y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right),{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\left(G\left(t,{x}_{1}\right)âˆ’G\left(t,{x}_{2}\right),{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)\right).\hfill \end{array}$

Noting that since ${x}_{1}\left(s\right)âˆ’{x}_{2}\left(s\right)=0$ for $sâˆˆ\left[âˆ’r,0\right)$,

$|G\left(t,{x}_{1}\right)âˆ’G\left(t,{x}_{2}\right)|â‰¤\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{1}âˆ¥{x}_{1}\left(t\right)âˆ’{x}_{2}\left(t\right)âˆ¥+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{C\left(\left[0,t\right];H\right)},$

and putting

$H\left(t\right)=\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{1}âˆ¥{x}_{1}\left(t\right)âˆ’{x}_{2}\left(t\right)âˆ¥+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{C\left(\left[0,t\right];H\right)},$

by (2.1) and (2.2), we have

$\begin{array}{c}\frac{1}{2}\frac{d}{dt}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}+{\mathrm{Ï‰}}_{1}{âˆ¥{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)âˆ¥}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{\mathrm{Ï‰}}_{2}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}+H\left(t\right)|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)|.\hfill \end{array}$
(3.8)

Hence, integrating (3.8) over $\left(0,t\right)$, this yields

$\begin{array}{c}\frac{1}{2}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}+{\mathrm{Ï‰}}_{1}{âˆ«}_{0}^{t}{âˆ¥{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{\mathrm{Ï‰}}_{2}{âˆ«}_{0}^{t}|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds+{âˆ«}_{0}^{t}H\left(s\right)|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$
(3.9)

From (3.9) it follows that

$\begin{array}{c}\frac{d}{dt}\left\{{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds\right\}\hfill \\ \phantom{\rule{1em}{0ex}}=2{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}\left\{\frac{1}{2}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}âˆ’{\mathrm{Ï‰}}_{2}{âˆ«}_{0}^{t}|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds\right\}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤2{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}H\left(s\right)|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$
(3.10)

Integrating (3.10) over $\left(0,t\right)$ we have

$\begin{array}{c}{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤2{âˆ«}_{0}^{t}{e}^{âˆ’2{\mathrm{Ï‰}}_{2}\mathrm{Ï„}}{âˆ«}_{0}^{\mathrm{Ï„}}H\left(s\right)|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{1}{{\mathrm{Ï‰}}_{2}}{âˆ«}_{0}^{t}\left({e}^{âˆ’2{\mathrm{Ï‰}}_{2}s}âˆ’{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}\right)H\left(s\right)|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds,\hfill \end{array}$

thus, we get

${\mathrm{Ï‰}}_{2}{âˆ«}_{0}^{t}|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}dsâ‰¤{âˆ«}_{0}^{t}\left({e}^{2{\mathrm{Ï‰}}_{2}\left(tâˆ’s\right)}âˆ’1\right)H\left(s\right)|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds.$
(3.11)

From (3.9) and (3.11), (3.5) holds, which implies

$\begin{array}{c}\frac{1}{2}{\left({e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right)|\right)}^{2}+{\mathrm{Ï‰}}_{1}{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}{âˆ¥{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{t}{e}^{âˆ’{\mathrm{Ï‰}}_{2}s}H\left(s\right){e}^{âˆ’{\mathrm{Ï‰}}_{2}s}|{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$

By using Lemma 3.1, we obtain (3.6), as claimed.â€ƒâ–¡

Theorem 3.1 Let the assumptions (G1) and (G2) be satisfied. Assume that $kâˆˆ{L}^{2}\left(0,T;{V}^{âˆ—}\right)$ and $\left({g}^{0},{g}^{1}\right)âˆˆHÃ—{L}^{2}\left(âˆ’r,0;V\right)$. Then there exists a time ${T}_{0}>0$ such that the functional differential equation (NDE) admits a unique solution x in ${L}^{2}\left(âˆ’r,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];{V}^{âˆ—}\right)$.

Proof Let us fix ${T}_{0}>0$ such that

$\frac{M\left({e}^{2{\mathrm{Ï‰}}_{2}{T}_{0}}âˆ’1\right)}{4{\mathrm{Ï‰}}_{2}min\left\{1/2,{\mathrm{Ï‰}}_{2}\right\}}<1,$
(3.12)

where

$Mâ‰¡{\left({L}_{1}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}+2{L}_{1}{L}_{2}\mathrm{Î¼}{\left(\left[âˆ’r,0\right]\right)}^{2}+{\left({L}_{2}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}.$

We are going to show that $xâ†¦y$ is strictly contractive from ${L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)$ to itself if the condition (3.12) is satisfied. The norm in ${L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)$ is given by

${âˆ¥â‹\dots âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}=max\left\{{âˆ¥â‹\dots âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)},{âˆ¥â‹\dots âˆ¥}_{C\left(\left[0,{T}_{0}\right];H\right)}\right\}.$

Let ${y}_{1}$, ${y}_{2}$ be the solutions of (3.7) with x replaced by ${x}_{1},{x}_{2}âˆˆ{L}^{2}\left(0,{T}_{0};V\right)$, respectively. From (3.5) and (3.6) it follows that

$\begin{array}{c}\frac{1}{2}|{y}_{1}\left(t\right)âˆ’{y}_{2}\left(t\right){|}^{2}+{\mathrm{Ï‰}}_{1}{âˆ«}_{0}^{t}{âˆ¥{y}_{1}\left(s\right)âˆ’{y}_{2}\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{âˆ«}_{0}^{t}{e}^{2{\mathrm{Ï‰}}_{2}\left(tâˆ’s\right)}H\left(s\right){âˆ«}_{0}^{s}{e}^{{\mathrm{Ï‰}}_{2}\left(sâˆ’\mathrm{Ï„}\right)}H\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}={e}^{2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}{e}^{âˆ’{\mathrm{Ï‰}}_{2}s}H\left(s\right){âˆ«}_{0}^{s}{e}^{âˆ’{\mathrm{Ï‰}}_{2}\mathrm{Ï„}}H\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}={e}^{2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}\frac{1}{2}\frac{d}{ds}{\left\{{âˆ«}_{0}^{s}{e}^{âˆ’{\mathrm{Ï‰}}_{2}\mathrm{Ï„}}H\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\right\}}^{2}\phantom{\rule{0.2em}{0ex}}ds=\frac{1}{2}{e}^{2{\mathrm{Ï‰}}_{2}t}{\left\{{âˆ«}_{0}^{t}{e}^{âˆ’{\mathrm{Ï‰}}_{2}\mathrm{Ï„}}H\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\right\}}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{1}{2}{e}^{2{\mathrm{Ï‰}}_{2}t}{âˆ«}_{0}^{t}{e}^{âˆ’2{\mathrm{Ï‰}}_{2}\mathrm{Ï„}}\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}{âˆ«}_{0}^{t}H{\left(\mathrm{Ï„}\right)}^{2}\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}=\frac{1}{2}{e}^{2{\mathrm{Ï‰}}_{2}t}\frac{1âˆ’{e}^{âˆ’2{\mathrm{Ï‰}}_{2}t}}{2{\mathrm{Ï‰}}_{2}}{âˆ«}_{0}^{t}H{\left(\mathrm{Ï„}\right)}^{2}\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{1}{4{\mathrm{Ï‰}}_{2}}\left({e}^{2{\mathrm{Ï‰}}_{2}t}âˆ’1\right){âˆ«}_{0}^{t}H{\left(s\right)}^{2}\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$
(3.13)

Here, since

$\begin{array}{rcl}{âˆ«}_{0}^{t}H{\left(s\right)}^{2}\phantom{\rule{0.2em}{0ex}}ds& =& {âˆ«}_{0}^{t}\left\{{\left({L}_{1}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}{âˆ¥{x}_{1}\left(s\right)âˆ’{x}_{2}\left(s\right)âˆ¥}^{2}\\ +2{L}_{1}{L}_{2}\mathrm{Î¼}{\left(\left[âˆ’r,0\right]\right)}^{2}âˆ¥{x}_{1}\left(s\right)âˆ’{x}_{2}\left(s\right)âˆ¥â‹\dots {âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{C\left(\left[0,s\right];H\right)}\\ +{\left({L}_{2}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{C\left(\left[0,s\right];H\right)}^{2}\right\}\phantom{\rule{0.2em}{0ex}}ds\\ â‰¤& \left\{{\left({L}_{1}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}+2{L}_{1}{L}_{2}\mathrm{Î¼}{\left(\left[âˆ’r,0\right]\right)}^{2}\\ +{\left({L}_{2}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}\right\}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,t;V\right)âˆ©C\left(\left[0,t\right];H\right)}^{2},\end{array}$

taking

$Mâ‰¡{\left({L}_{1}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2}+2{L}_{1}{L}_{2}\mathrm{Î¼}{\left(\left[âˆ’r,0\right]\right)}^{2}+{\left({L}_{2}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\right)}^{2},$

from (3.13) it follows that

${âˆ¥{y}_{1}âˆ’{y}_{2}âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}^{2}â‰¤\frac{M\left({e}^{2{\mathrm{Ï‰}}_{2}{T}_{0}}âˆ’1\right)}{4{\mathrm{Ï‰}}_{2}min\left\{1/2,{\mathrm{Ï‰}}_{2}\right\}}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}^{2}.$
(3.14)

Starting from initial value ${x}_{0}\left(t\right)={g}^{0}$, ${x}_{0}\left(s\right)={g}^{1}\left(s\right)$ for $âˆ’râ‰¤sâ‰¤0$, consider a sequence $\left\{{x}_{n}\left(â‹\dots \right)\right\}$ satisfying

$\left\{\begin{array}{c}{x}_{n+1}^{â€²}\left(t\right)+A{x}_{n+1}\left(t\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left({x}_{n+1}\left(t\right)\right)âˆ‹G\left(t,{x}_{n}\right)+k\left(t\right),\phantom{\rule{1em}{0ex}}0

Then from (3.14) it follows that

${âˆ¥{x}_{n+1}âˆ’{x}_{n}âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}^{2}â‰¤\frac{M\left({e}^{2{\mathrm{Ï‰}}_{2}{T}_{0}}âˆ’1\right)}{4{\mathrm{Ï‰}}_{2}min\left\{1/2,{\mathrm{Ï‰}}_{2}\right\}}{âˆ¥{x}_{n}âˆ’{x}_{nâˆ’1}âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}^{2}.$

So by virtue of the condition (3.12) the contraction principle shows that there exists $x\left(â‹\dots \right)âˆˆ{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)$ such that

â€ƒâ–¡

Now we give a norm estimation of the solution of (NDE) and establish the global existence of solutions with the aid of norm estimations.

Theorem 3.2 Let the assumptions (G1) and (G2) be satisfied. Then for any $\left({g}^{0},{g}^{1}\right)âˆˆHÃ—{L}^{2}\left(âˆ’r,0;V\right)$ ($T>0$) and $kâˆˆ{L}^{2}\left(0,T;{V}^{âˆ—}\right)$, the solution x of (NDE) exists and is unique in ${\mathcal{W}}_{1}\left(T\right)â‰¡{L}^{2}\left(âˆ’r,T;V\right)âˆ©{W}^{1,2}\left(0,T;{V}^{âˆ—}\right)$, and there exists a constant ${C}_{2}$ depending on T such that

${âˆ¥xâˆ¥}_{{\mathcal{W}}_{1}\left(T\right)}â‰¤{C}_{2}\left(1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;{V}^{âˆ—}\right)}\right).$
(3.15)

Proof Let y be the solution of

$\left\{\begin{array}{c}\frac{dy\left(t\right)}{dt}+Ay\left(t\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left(y\left(t\right)\right)âˆ‹k\left(t\right),\phantom{\rule{1em}{0ex}}0

Then, since

$\frac{d}{dt}\left(x\left(t\right)âˆ’y\left(t\right)\right)+A\left(x\left(t\right)âˆ’y\left(t\right)\right)+\mathrm{âˆ‚}\mathrm{Ï•}\left(x\left(t\right)\right)âˆ’\mathrm{âˆ‚}\mathrm{Ï•}\left(y\left(t\right)\right)âˆ‹G\left(t,x\right),$

by multiplying by $x\left(t\right)âˆ’y\left(t\right)$ and using the monotonicity of âˆ‚Ï•, (2.1), and (2.2), we obtain

$\begin{array}{c}\frac{1}{2}\frac{d}{dt}|x\left(t\right)âˆ’y\left(t\right){|}^{2}+{\mathrm{Ï‰}}_{1}{âˆ¥x\left(t\right)âˆ’y\left(t\right)âˆ¥}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{\mathrm{Ï‰}}_{2}|x\left(t\right)âˆ’y\left(t\right){|}^{2}+|G\left(t,x\right)|â‹\dots |x\left(t\right)âˆ’y\left(t\right)|.\hfill \end{array}$
(3.16)

By integrating on (3.16) over $\left(0,t\right)$ we have

$\begin{array}{c}\frac{1}{2}|x\left(t\right)âˆ’y\left(t\right){|}^{2}+{\mathrm{Ï‰}}_{1}{âˆ«}_{0}^{t}{âˆ¥x\left(s\right)âˆ’y\left(s\right)âˆ¥}^{2}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{\mathrm{Ï‰}}_{2}{âˆ«}_{0}^{t}|x\left(s\right)âˆ’y\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds+{âˆ«}_{0}^{t}|G\left(s,x\right)|â‹\dots |x\left(s\right)âˆ’y\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$
(3.17)

By a procedure similar to (3.13) regarding

$H\left(t\right)=\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{1}âˆ¥x\left(t\right)âˆ¥+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥xâˆ¥}_{C\left(\left[0,t\right];H\right)},$

we have

${âˆ¥xâˆ’yâˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}^{2}â‰¤\frac{M\left({e}^{2{\mathrm{Ï‰}}_{2}{T}_{0}}âˆ’1\right)}{4{\mathrm{Ï‰}}_{2}min\left\{1/2,{\mathrm{Ï‰}}_{2}\right\}}{âˆ¥xâˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}^{2}.$

Put

$N=\frac{M\left({e}^{2{\mathrm{Ï‰}}_{2}{T}_{0}}âˆ’1\right)}{4{\mathrm{Ï‰}}_{2}min\left\{1/2,{\mathrm{Ï‰}}_{2}\right\}}.$

Then we have

${âˆ¥xâˆ’yâˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}â‰¤{N}^{1/2}{âˆ¥xâˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}$

and hence, from (2.4) in Proposition 2.1, we have

$\begin{array}{c}{âˆ¥xâˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{1}{1âˆ’{N}^{1/2}}{âˆ¥yâˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)âˆ©C\left(\left[0,{T}_{0}\right];H\right)}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{{C}_{2}}{1âˆ’{N}^{1/2}}\left(1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,{T}_{0};{V}^{âˆ—}\right)}\right)\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{C}_{3}\left(1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(0,{T}_{0};V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,{T}_{0};{V}^{âˆ—}\right)}\right)\hfill \end{array}$
(3.18)

for some positive constant ${C}_{3}$. Acting on both side of (NDE) by ${x}^{â€²}\left(t\right)$ and by using

for all $g\left(t\right)âˆˆ\mathrm{âˆ‚}\mathrm{Ï•}\left(x\left(t\right)\right)$, we have

$\begin{array}{c}{âˆ«}_{0}^{t}|{x}_{n}^{â€²}\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds+\frac{1}{2}\left(A{x}_{n}\left(t\right),{x}_{n}\left(t\right)\right)+\mathrm{Ï•}\left({x}_{n}\left(t\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{1}{2}\left(A{x}_{0},{x}_{0}\right)+\mathrm{Ï•}\left({x}_{0}\right)+{âˆ«}_{0}^{t}|G\left(s,{x}_{n}\left(s\right)\right)+k\left(s\right)||{x}_{n}^{â€²}\left(s\right)|\phantom{\rule{0.2em}{0ex}}ds,\hfill \end{array}$
(3.19)

thus, we obtain the norm estimate of x in ${W}^{1,2}\left(0,T;H\right)$ satisfying (3.15). Since the condition (3.12) is independent of initial values we can derive from (3.19) that $\mathrm{Ï•}\left(x\left(n{T}_{0}\right)\right)<\mathrm{âˆž}$, and the solution of (NDE) can be extended to the internal $\left[0,n{T}_{0}\right]$ for the natural number n, i.e., for the initial $x\left(n{T}_{0}\right)$ in the interval $\left[n{T}_{0},\left(n+1\right){T}_{0}\right]$, an analogous estimate (3.18) holds for the solution in $\left[0,\left(n+1\right){T}_{0}\right]$. Furthermore, the estimate (3.15) is easily obtained from (3.18) and (3.19).â€ƒâ–¡

Theorem 3.3 Suppose that the assumptions (G1) and (G2) are satisfied. Let A be symmetric and let us assume that there exists $hâˆˆH$ such that for every $\mathrm{Ïµ}>0$ and any $yâˆˆD\left(\mathrm{Ï•}\right)$

${J}_{\mathrm{Ïµ}}\left(y+\mathrm{Ïµ}h\right)âˆˆD\left(\mathrm{Ï•}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\mathrm{Ï•}\left({J}_{\mathrm{Ïµ}}\left(y+\mathrm{Ïµ}h\right)\right)â‰¤\mathrm{Ï•}\left(y\right).$

If $kâˆˆ{L}^{2}\left(0,T;H\right)$ and $\left({g}^{0},{g}^{1}\right)âˆˆVÃ—{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)$, then

$xâˆˆ{\mathcal{W}}_{0}\left(T\right)â‰¡{L}^{2}\left(âˆ’r,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;H\right),$

and the mapping $\left({g}^{0},{g}^{1},k\right)â†¦uâˆˆ{\mathcal{W}}_{0}\left(T\right)$ is continuous.

Proof It is easy to show that if $\left({g}^{0},{g}^{1}\right)âˆˆVÃ—{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)$ and $kâˆˆ{L}^{2}\left(0,T;H\right)$, then from Proposition 2.1 it follows that u belongs to ${\mathcal{W}}_{0}\left(T\right)$. Let $\left({g}_{i}^{0},{g}_{i}^{1},{k}_{i}\right)âˆˆVÃ—{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)Ã—{L}^{2}\left(0,T;H\right)$, and ${u}_{i}$ be the solution of (NDE) with $\left({g}_{i}^{0},{g}_{i}^{1},{k}_{i}\right)$ in place of $\left({g}^{0},{g}^{1},k\right)$ for $i=1,2$. Then in view of Proposition 2.1 and Lemma 2.1 we have

$\begin{array}{rcl}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{\mathcal{W}}_{0}\left(T\right)}& â‰¤& {C}_{2}\left\{âˆ¥{g}_{1}^{0}âˆ’{g}_{2}^{0}âˆ¥+{âˆ¥{g}_{1}^{1}âˆ’{g}_{2}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}\\ +{âˆ¥G\left(â‹\dots ,{x}_{1}\right)âˆ’G\left(â‹\dots ,{x}_{2}\right)âˆ¥}_{{L}^{2}\left(0,T;H\right)}+{âˆ¥{k}_{1}âˆ’{k}_{2}âˆ¥}_{{L}^{2}\left(0,T;H\right)}\right\}\\ â‰¤& {C}_{2}\left[âˆ¥{g}_{1}^{0}âˆ’{g}_{2}^{0}âˆ¥+{âˆ¥{g}_{1}^{1}âˆ’{g}_{2}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}+{âˆ¥{k}_{1}âˆ’{k}_{2}âˆ¥}_{{L}^{2}\left(0,T;H\right)}\\ +\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left\{\left({L}_{1}+{L}_{2}\right)\left({âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;V\right)}\\ +{L}_{2}{âˆ¥{g}_{1}^{1}âˆ’{g}_{2}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}\right)\right\}\right].\end{array}$
(3.20)

Since

${x}_{1}\left(t\right)âˆ’{x}_{2}\left(t\right)={g}_{1}^{0}âˆ’{g}_{2}^{0}+{âˆ«}_{0}^{t}\left({\stackrel{Ë™}{x}}_{1}\left(s\right)âˆ’{\stackrel{Ë™}{x}}_{2}\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds,$

we get

${âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;H\right)}â‰¤\sqrt{T}|{g}_{1}^{0}âˆ’{g}_{2}^{0}|+\frac{T}{\sqrt{2}}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{W}^{1,2}\left(0,T;H\right)}.$

Hence, arguing as in (2.3) we get

$\begin{array}{rcl}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;V\right)}& â‰¤& {C}_{1}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;D\left(A\right)\right)}^{1/2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;H\right)}^{1/2}\\ â‰¤& {C}_{1}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;D\left(A\right)\right)}^{1/2}\\ Ã—\left\{{T}^{1/4}|{g}_{1}^{0}âˆ’{g}_{2}^{0}{|}^{1/2}+{\left(\frac{T}{\sqrt{2}}\right)}^{1/2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{W}^{1,2}\left(0,T;H\right)}^{1/2}\right\}\\ â‰¤& {C}_{1}{T}^{1/4}|{g}_{1}^{0}âˆ’{g}_{2}^{0}{|}^{1/2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{L}^{2}\left(0,T;D\left(A\right)\right)}^{1/2}+{C}_{1}{\left(\frac{T}{\sqrt{2}}\right)}^{1/2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{\mathcal{W}}_{0}\left(T\right)}\\ â‰¤& {2}^{âˆ’7/4}{C}_{1}|{g}_{1}^{0}âˆ’{g}_{2}^{0}|+2{C}_{1}{\left(\frac{T}{\sqrt{2}}\right)}^{1/2}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{\mathcal{W}}_{0}\left(T\right)}.\end{array}$
(3.21)

Combining (3.20) and (3.21) we obtain

$\begin{array}{rcl}{âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{\mathcal{W}}_{0}\left(T\right)}& â‰¤& {C}_{2}\left\{âˆ¥{g}_{1}^{0}âˆ’{g}_{2}^{0}âˆ¥+{âˆ¥{g}_{1}^{1}âˆ’{g}_{2}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}\\ +{âˆ¥{k}_{1}âˆ’{k}_{2}âˆ¥}_{{L}^{2}\left(0,T;H\right)}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥{g}_{1}^{1}âˆ’{g}_{2}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}\right\}\\ +{2}^{âˆ’7/4}{C}_{1}{C}_{2}\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left({L}_{1}+{L}_{2}\right)|{g}_{1}^{0}âˆ’{g}_{2}^{0}|+2{C}_{1}{C}_{2}{\left(\frac{T}{\sqrt{2}}\right)}^{1/2}\\ Ã—\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left({L}_{1}+{L}_{2}\right){âˆ¥{x}_{1}âˆ’{x}_{2}âˆ¥}_{{\mathcal{W}}_{0}\left(T\right)}.\end{array}$
(3.22)

Suppose that $\left({g}_{n}^{0},{g}_{n}^{1},{k}_{n}\right)â†’\left({g}^{0},{g}^{1},k\right)$ in $XÃ—{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)Ã—{L}^{2}\left(0,T;H\right)$, and let ${x}_{n}$ and x be the solutions (SLE) with $\left({g}_{n}^{0},{g}_{n}^{1},{k}_{n}\right)$ and $\left({g}^{0},{g}^{1},k\right)$, respectively. Let $0<{T}_{1}â‰¤T$ be such that

$2{C}_{1}{C}_{2}{\left({T}_{1}/\sqrt{2}\right)}^{1/2}\left({L}_{1}+{L}_{2}{L}_{3}{T}_{1}/\sqrt{2}\right)<1.$

Then by virtue of (3.22) with T replaced by ${T}_{1}$ we see that ${u}_{n}â†’u$ in ${\mathcal{W}}_{0}\left({T}_{1}\right)$. This implies that $\left({x}_{n}\left({T}_{1}\right),{\left({x}_{n}\right)}_{{T}_{1}}\right)â†¦\left(x\left({T}_{1}\right),{x}_{{T}_{1}}\right)$ in $VÃ—{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)$. Hence the same argument shows that ${u}_{n}â†’u$ in

${L}^{2}\left({T}_{1},min\left\{2{T}_{1},T\right\};D\left(A\right)\right)âˆ©{W}^{1,2}\left({T}_{1},min\left\{2{T}_{1},T\right\};H\right).$

Repeating this process we conclude that ${u}_{n}â†’u$ in ${\mathcal{W}}_{0}\left(T\right)$.â€ƒâ–¡

Theorem 3.4 For $kâˆˆ{L}^{2}\left(0,T;H\right)$ let ${x}_{k}$ be the solution of (NDE). Let us assume the natural assumption that the embedding $D\left(A\right)âŠ‚V$ is compact. Then the mapping $kâ†¦{x}_{k}$ is compact from ${L}^{2}\left(0,T;H\right)$ to ${L}^{2}\left(0,T;V\right)$.

Proof If $kâˆˆ{L}^{2}\left(0,T;H\right)$, noting ${âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;{V}^{âˆ—}\right)}â‰¤{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;H\right)}$, then in view of Theorem 3.2

${âˆ¥{x}_{k}âˆ¥}_{{\mathcal{W}}_{1}\left(T\right)}â‰¤{C}_{2}\left(1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;H\right)}\right).$
(3.23)

Since ${x}_{k}âˆˆ{L}^{2}\left(0,T;V\right)$, $G\left(â‹\dots ,{x}_{k}\right)âˆˆ{L}^{2}\left(0,T;H\right)$. Consequently ${x}_{k}âˆˆ{L}^{2}\left(0,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;H\right)$ and with aid of Proposition 2.1, Lemma 3.1, and (3.23),

$\begin{array}{c}{âˆ¥{x}_{k}âˆ¥}_{{L}^{2}\left(0,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;V\right)}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{C}_{2}\left(âˆ¥{g}^{0}âˆ¥+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}+{âˆ¥G\left(â‹\dots ,{x}_{k}\right)+kâˆ¥}_{{L}^{2}\left(0,T;H\right)}\right)\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{C}_{2}\left\{âˆ¥{g}^{0}âˆ¥+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{0}\sqrt{T}\hfill \\ \phantom{\rule{2em}{0ex}}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left({L}_{1}+{L}_{2}\right){âˆ¥xâˆ¥}_{{L}^{2}\left(0,T;V\right)}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;H\right)}\right\}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤{C}_{2}\left[âˆ¥{g}^{0}âˆ¥+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;D\left(A\right)\right)}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{0}\sqrt{T}\hfill \\ \phantom{\rule{2em}{0ex}}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right)\left({L}_{1}+{L}_{2}\right){C}_{2}\left\{1+|{g}^{0}|+{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;H\right)}\right\}\hfill \\ \phantom{\rule{2em}{0ex}}+\mathrm{Î¼}\left(\left[âˆ’r,0\right]\right){L}_{2}{âˆ¥{g}^{1}âˆ¥}_{{L}^{2}\left(âˆ’r,0;V\right)}+{âˆ¥kâˆ¥}_{{L}^{2}\left(0,T;H\right)}\right].\hfill \end{array}$

Hence if k is bounded in ${L}^{2}\left(0,T;H\right)$, then so is ${x}_{k}$ in ${L}^{2}\left(0,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;H\right)$. Since $D\left(A\right)$ is compactly embedded in V by assumption, the embedding

${L}^{2}\left(0,T;D\left(A\right)\right)âˆ©{W}^{1,2}\left(0,T;H\right)âŠ‚{L}^{2}\left(0,T;V\right)$

is compact in view of Theorem 2 of Aubin [16].â€ƒâ–¡

Remark 3.2 Since the operator $A:D\left(A\right)âŠ‚Hâ†’H$ is an unbounded operator, we will make use of the hypothesis (G2). If A is a bounded operator from H into itself, we may assume that $h:\left[0,\mathrm{âˆž}\right)Ã—\left[âˆ’r,0\right]Ã—VÃ—Hâ†’H$ is a nonlinear mapping satisfying the following: there exist positive constants ${L}_{i}$ ($i=1,2$) such that

$|h\left(t,s,x,y\right)âˆ’h\left(t,s,\stackrel{Ë†}{x},\stackrel{Ë†}{y}\right)|â‰¤{L}_{1}|xâˆ’\stackrel{Ë†}{x}|+{L}_{2}|yâˆ’\stackrel{Ë†}{y}|$

for all $\left(t,s\right)âˆˆ\left[0,\mathrm{âˆž}\right)Ã—\left[âˆ’r,0\right]$ and $x,\stackrel{Ë†}{x},y,\stackrel{Ë†}{y}âˆˆV$, then our results can be obtained directly.

## References

1. Lions JL: Quelques mÃ©thodes de rÃ©solution des problÃ¨mes aux limites non linÃ©aires. Gauthier-Villars, Paris; 1969.

2. Lions JL, Magenes E: Non-Homogeneous Boundary value Problems and Applications. Springer, Berlin; 1972.

3. BrÃ©zis H: ProblÃ¨mes unilatÃ©raux. J. Math. Pures Appl. 1972, 51: 1-168.

4. BrÃ©zis H: OpÃ©rateurs Maximaux Monotones et Semigroupes de Contractions dans les Espaces de Hilbert. North-Holland, Amsterdam; 1973.

5. Friedman A: Variational Principle and Free-Boundary Problems. Wiley, New York; 1982.

6. Elliott CM, Ockendon JR Research Notes in Mathematics 59. In Weak and Variational Methods for the Moving Boundary Problems. Pitman, Boston; 1982.

7. Barbu V: Analysis and Control of Nonlinear Infinite Dimensional Systems. Academic Press, San Diego; 1993.

8. Barbu V: Nonlinear Semigroups and Differential Equations in Banach space. Noordhoff, Leiden; 1976.

9. Lions JL: Quelques ProblÃ¨mes de la ThÃ©orie des Ã©quations non linÃ©aires dâ€™Ã©volution. In Problems in Nonlinear Analysis. Ed. Cremonese, Rome; 1971: 191-342. (C.I.M.E., Varenna, 1970)

10. Duvaut J, Lions J: Sur les inÃ©quations en mÃ©canique et en physique. Dunod, Paris; 1972.

11. Yong J, Pan L: Quasi-linear parabolic partial differential equations with delays in the highest order partial derivatives. J. Aust. Math. Soc. 1993, 54: 174-203. 10.1017/S1446788700037101

12. Butzer PL, Berens H: Semi-Groups of Operators and Application. Springer, Berlin; 1967.

13. Jeong JM, Kwun YC, Park JY: Approximate controllability for semilinear retarded functional differential equations. J.Â Dyn. Control Syst. 1999, 3: 329-346.

14. Jeong JM, Roh HH: Approximate controllability for semilinear retarded systems. J. Math. Anal. Appl. 2006, 321: 961-975. 10.1016/j.jmaa.2005.09.005

15. Triebel H: Interpolation Theory, Function Spaces, Differential Operators. North-Holland, Amsterdam; 1978.

16. Aubin JP: Un thÃ©orÃ¨me de compacitÃ©. C. R. Acad. Sci. 1963, 256: 5042-5044.

## Acknowledgements

This research was supported by Basic Science Research Program through the National research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2014045161).

## Author information

Authors

### Corresponding author

Correspondence to Jin-Mun Jeong.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

H-HR drafted the manuscript and corrected the main results, J-MJ carried out the main proof of this paper and participated in its design and coordination. Both authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Rho, HH., Jeong, JM. Regularity for nonlinear evolution variational inequalities with delay terms. J Inequal Appl 2014, 387 (2014). https://doi.org/10.1186/1029-242X-2014-387