77.8. ADDING A QUASI-BOUNDED OPERATOR 2647

2. Gµ ,Jµ are demicontinuous. That is, strongly convergent sequences are mapped toweakly convergent sequences.

3. For everyx ∈ D(G) ,

∥∥Gµ (x)∥∥≤ |Gx| ≡ inf{∥y∗∥ : y∗ ∈ Gx} .

For every x ∈ conv(D(G)), it follows that limµ→0 Jµ (x) = x. The new symbol meansthe closure of the convex hull. It is the closure of the set of all convex combinationsof points of D(G).

Then A(·,ω)+Gµ will be bounded and have the same limit properties as A(·,ω). Asto measurability, G and hence Gµ do not depend on ω and so the measurability conditionwill hold.

What about the estimates? We need to consider the estimates. Recall what these were:

sup{∥u∗∥V ′I : u∗ ∈ A(u,ω)

}≤ a(ω)+b(ω)∥u∥p−1

VI(77.8.80)

where a(ω) ,b(ω) are nonnegative. Also assume the following coercivity estimate validfor each t ≤ T and for some λ (ω)≥ 0,

inf(∫ t

0⟨u∗,u⟩+λ (ω)⟨Bu,u⟩dt : u∗ ∈ A(u,ω)

)≥ δ (ω)

∫ t

0∥u∥p

V ds−m(ω) (77.8.81)

where m(ω) is some nonnegative constant, δ (ω)> 0.The coercivity is not too bad. This is because Gµ is monotone and 0∈D(G) . Therefore,⟨

Gµ u,u⟩=⟨Gµ u−Gµ (0) ,u

⟩≥ 0

so ⟨Gµ u,u

⟩≥−|G(0)|∥u∥ ≥ δ (ω)

2∥u∥p− m̂(ω)

so the coercivity condition 77.8.81 will end up holding for A+Gµ . However, more needsto be considered for the growth condition.

From the definition of uµ , there exists zµ ∈ Guµ

0 = F(uµ −u

)+µ

p−1zµ

Then from the choice of F, it is also the duality map from V to V ′ corresponding to p > 2.

0 =⟨F(uµ −u

),uµ

⟩V ′,V +µ

p−1 ⟨zµ ,uµ

⟩V ′,V

≥⟨F(uµ −u

),uµ

⟩V ′,V −µ

p−1 |G(0)|∥∥uµ

∥∥V

=∥∥uµ −u

∥∥pV+⟨F(uµ −u

),u⟩−µ |G(0)|

∥∥uµ

∥∥≥∥∥uµ −u

∥∥p−∥∥uµ −u

∥∥p−1 ∥u∥−µ |G(0)|∥∥uµ

∥∥≥ 1

p

∥∥uµ −u∥∥p− 1

p∥u∥p−µ |G(0)|

∥∥uµ

∥∥

77.8. ADDING A QUASI-BOUNDED OPERATOR 26472. Gy,Jy are demicontinuous. That is, strongly convergent sequences are mapped toweakly convergent sequences.3. For everyxED(G),Gy (x)|| < |Gx| = inf {||y*|] : y* € Gx}.For every x € conv (D(G)), it follows that limy-so Ju (x) =x. The new symbol meansthe closure of the convex hull. It is the closure of the set of all convex combinationsof points of D(G).Then A (-,@) + Gy, will be bounded and have the same limit properties as A(-,@). Asto measurability, G and hence G, do not depend on @ and so the measurability conditionwill hold.What about the estimates? We need to consider the estimates. Recall what these were:sup {lel tur eA (u,0)} <a(@)+b(o) |u| (77.8.80)where a(@),b(@) are nonnegative. Also assume the following coercivity estimate validfor each t < T and for some A (@) > 0,int( [wu +2 (0) (Buu) dt su" EA .0)) > 5 (0) [ull ds—m(o) (77.8.81)where m(@) is some nonnegative constant, 6(@) > 0.The coercivity is not too bad. This is because Gy, is monotone and 0 € D(G) . Therefore,(Gyu,u) = (Gyu—Gy (0) ,u) >0(Guin) > ~ |G 0)| Ij) > 2 hay? — a)so the coercivity condition 77.8.81 will end up holding for A+ G,. However, more needsto be considered for the growth condition.From the definition of u,,, there exists zy, € GuyO=F (ty —u) +P euThen from the choice of F, it is also the duality map from VY to VW’ corresponding to p > 2.0(F (up —u) Mn) yy ur (Zulu) yry(F (up —u) Un) yy — bP" |G(0)| |luu | y= lew <ul + CF (tu =u) su) — HIG (0) [lun> fly —ul|? = flee — uf?" Yul] — |G (0)| Jf |IV1 I> =|lu, —ull? — — Jul? —u |G25 \|uu — u| D lull? — 1G )| [uu