1: %%%%%%%%%%%%%%FINITE ELEMENT 2%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2: 

3: \documentclass[10pt]{amsart}

4: \usepackage{amssymb,amsmath,amsthm}

5: \usepackage{mathrsfs,a4wide}

6: %\usepackage[scrtime]{prelim2e}

7: %\usepackage[notref,notcite]{showkeys}

8: \usepackage{graphicx}

9: %\input psfig.sty

10: \theoremstyle{plain}

11: \newtheorem{theorem}{Theorem}[section]

12: \newtheorem{lemma}[theorem]{Lemma}

13: \newtheorem{proposition}[theorem]{Proposition}

14: \newtheorem{corollary}[theorem]{Corollary}

15: \newtheorem{remark}[theorem]{Remark}

16: \newtheorem{definition}[theorem]{Definition}

17: \theoremstyle{definition}

18: \theoremstyle{remark}

19: \numberwithin{equation}{section}

20: 

21: 

22: 

23: %Lettere calligrafiche

24: \newcommand{\as}{{\mathcal A}}

25: \newcommand{\hs}{{\mathcal H}}

26: \newcommand{\ks}{{\mathcal K}}

27: \newcommand{\cs}{{\mathcal C}}

28: \newcommand{\gs}{{\mathcal G}}

29: \newcommand{\fs}{{\mathcal F}}

30: \newcommand{\leb}{{\mathcal L}}

31: \newcommand{\ds}{{\mathcal D}}

32: \newcommand{\ms}{M}

33: \newcommand{\ns}{{\mathcal N}}

34: \newcommand{\bs}{{\mathcal B}}

35: \newcommand{\eub}{{\mathcal E}}

36: \newcommand{\vub}{{\mathcal V}}

37: \newcommand{\Ps}{{\mathcal P}}

38: \newcommand{\dis}{{\mathcal D}}

39: \newcommand{\ts}{{\mathcal T}}

40: \newcommand{\rs}{{\mathcal R}}

41: \newcommand{\ws}{{\mathcal W}}

42: \newcommand{\cint}{K}

43: 

44: 

45: %lettere in neretto

46: \newcommand{\tb}{{\bf T}}

47: \newcommand{\rb}{{\bf R}}

48: \newcommand{\seub}{{\bf S}}

49: 

50: 

51: %Insiemi numerici

52: \newcommand{\R}{{\mathbb R}}

53: \newcommand{\N}{{\mathbb N}}

54: 

55: %Matrici

56: \newcommand{\msim}{{\rm M}^{n\times n}_{\rm sym}}

57: \newcommand{\msd}{M^{2\times2}}

58: 

59: %Spazi metrici

60: \newcommand{\Ba}{B_1(0)}

61: \newcommand{\Bb}{\overline{B}_1(0)}

62: \newcommand{\Bbg}{\overline{B}_h(0)}

63: \newcommand{\tint}[1]{{\rm int}(#1)}

64: 

65: %Aperti

66: \newcommand{\Om}{\Omega}

67: \newcommand{\Omb}{\overline{\Omega}}

68: \newcommand{\OmB}{\Om_B}

69: \newcommand{\OmBb}{\overline{\Om}_B}

70: 

71: %Convergenze

72: \newcommand\aplim{\mathop{\rm ap\,lim}}

73: \newcommand{\weakst}{\stackrel{\ast}{\rightharpoonup}}

74: \newcommand{\weakstloc}{{\stackrel{\ast}{\rightharpoonup}}_{loc}}

75: \newcommand{\weak}{\rightharpoonup}

76: 

77: %Definizioni ad hoc

78: \newcommand{\eps}{\varepsilon}

79: \newcommand{\e}{\varepsilon}

80: \newcommand{\tsub}{\,\widetilde{\subset}\,}

81: 

82: %Triangolazioni

83: \newcommand{\enkpt}{\tilde{E}^{k,+}_\eps}

84: \newcommand{\enkmt}{\tilde{E}^{k,-}_\eps}

85: \newcommand{\rskn}{\rs_\eps(Q_k)}

86: \newcommand{\treaom}{\ts_{\varepsilon,a}(\Om)}

87: \newcommand{\trenaom}{\ts_{\varepsilon_n,a}(\Om)}

88: \newcommand{\trea}{\ts_{\varepsilon,a}(\Om')}

89: \newcommand{\trena}{\ts_{\varepsilon_n,a}(\Om')}

90: \newcommand{\ueps}{u_\varepsilon}

91: \newcommand{\veps}{v_\varepsilon}

92: \newcommand{\uepsn}{u_{\varepsilon_n}}

93: \newcommand{\vepsn}{v_{\varepsilon_n}}

94: 

95: %Spazi funzionali su triangolazioni

96: \newcommand{\afeaom}{\as_{\varepsilon,a}(\Om;\R^2)}

97: \newcommand{\afenaom}{\as_{\varepsilon_n,a}(\Om;\R^2)}

98: \newcommand{\afenanom}{\as^B_{\varepsilon_n,a_n}(\Om;\R^2)}

99: \newcommand{\afeanom}{\as^B_{\varepsilon,a_n}(\Om;\R^2)}

100: \newcommand{\afeaomp}{\as_{\varepsilon,a}(\Om';\R^2)}

101: \newcommand{\afeanomp}{\as_{\varepsilon,a_n}(\Om';\R^2)}

102: \newcommand{\afeaomb}{\as^B_{\varepsilon,a}(\Om;\R^2)}

103: \newcommand{\afeaombp}{\as^B_{\varepsilon,a}(\Om';\R^2)}

104: \newcommand{\afenab}{\as^B_{\varepsilon_n,a}(\Om;\R^2)}

105: \newcommand{\afeom}{\as \fs_{\varepsilon}(\Om;\R^2)}

106: \newcommand{\afenom}{\as \fs_{\varepsilon_n}(\Om;\R^2)}

107: \newcommand{\afeomp}{\as \fs_{\varepsilon}(\Om';\R^2)}

108: \newcommand{\afenomp}{\as \fs_{\varepsilon_n}(\Om';\R^2)}

109: \newcommand{\afeaombg}[1]{\as^B_{\varepsilon,a}(#1)}

110: \newcommand{\afeabg}[1]{\as_{\varepsilon,a}^{B,#1}(\Om')}

111: \newcommand{\afenabp}{\as_{\varepsilon,a}^{B}(\Om';\R^2)}

112: \newcommand{\aft}[1]{\as(#1)}

113: 

114: %Spazi funzionali

115: \newcommand{\wplq}{W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)}

116: \newcommand{\gsbvpq}{GSBV^p_q(\Om;\R^2)}

117: 

118: %Funzionali di energia

119: \newcommand{\Eub}{\mathcal E}

120: \newcommand{\Eb}{{\mathcal E}^{el}}

121: \newcommand{\Es}{{\mathcal E}^s}

122: \newcommand{\Ebn}{{\mathcal E}^{el}_n}

123: \newcommand{\Esn}{{\mathcal E}^s_n}

124: \newcommand{\rbepsd}{\rb_\eps^D}

125: 

126: %Salto modificato

127: \newcommand{\Sg}[2]{S^{#1}(#2)}

128: 

129: %Cracks

130: \newcommand{\radm}{\rs(\OmBb; \partial_N \Om)}

131: \newcommand{\gadm}{{\mathbf \Gamma}(\Om)}

132: \newcommand{\gadmea}{{\mathbf \Gamma}_{\eps,a}(\Om)}

133: 

134: 

135: \newcommand{\res}{\mathop{\hbox{\vrule height 7pt width .5pt depth 0pt

136: \vrule height .5pt width 6pt depth 0pt}}\nolimits}

137: 

138: \input psfig.sty

139: 

140: 

141: \title

142: [A discontinuous finite element approximation

143: %of quasistatic growth of brittle fracture

144: ]

145: {Discontinuous finite element approximation of \\

146: quasistatic crack growth in finite elasticity}

147: \author[A. Giacomini]

148: {Alessandro Giacomini}

149: \address[Alessandro Giacomini]{S.I.S.S.A., Via Beirut 2-4, 34014, Trieste,

150: Italy}

151: \email[A. Giacomini]{giacomin@sissa.it}

152: \author[M. Ponsiglione]

153: {Marcello Ponsiglione}

154: \address[Marcello Ponsiglione]{S.I.S.S.A., Via Beirut 2-4, 34014, Trieste,

155: Italy}

156: \email[M. Ponsiglione]{ponsigli@sissa.it}

157: \begin{document}

158: \vskip .2truecm

159: \begin{abstract}

160: \small{

161: We propose a time-space discretization of a general

162: notion of quasistatic growth of brittle

163: fractures in elastic bodies proposed in \cite{DMFT}

164: by G. Dal Maso, G.A. Francfort, and R. Toader,

165: which takes into account body forces and

166: surface loads. We employ adaptive triangulations and

167: prove convergence results for the total,

168: elastic and surface energies. In the case in which

169: the elastic energy is strictly convex,

170: we prove also a convergence result

171: for the deformations.

172: \vskip .3truecm

173: \noindent Keywords : variational models,

174: energy minimization, free discontinuity

175: problems, crack propagation, quasistatic

176: evolution, brittle fracture,

177: finite elements.

178: \vskip.1truecm

179: \noindent 2000 Mathematics Subject Classification:

180: 35R35, 35J25, 74R10, 35A35, 65L60.}

181: \end{abstract}

182: \maketitle

183: {\small \tableofcontents}

184: 

185: 

186: \section{Introduction}

187: \label{intr}

188: The aim of this paper is to provide a discontinuous finite

189: element approximation of a model of

190: quasistatic growth of

191: brittle fractures in finite elasticity recently

192: proposed in \cite{DMFT} by Dal Maso, Francfort, and Toader

193: in the framework of the variational theory

194: of crack propagation proposed by Francfort

195: and Marigo in \cite{FM}. This theory is inspired to Griffith's

196: criterion and determines the crack path through a competition

197: between bulk and surface energies.

198: \par

199: In the case of linearized elasticity,

200: a first precise mathematical formulation of the model \cite{FM}

201: has been given by Dal Maso and Toader \cite{DMT}:

202: they treat the case of

203: {\it anti-planar shear} in dimension two assuming that the fractures

204: are compact sets with a finite number of connected components.

205: This analysis has been extended to the case of plane elasticity

206: by Chambolle in \cite{Ch}. Francfort and Larsen \cite{FL},

207: using the framework of

208: $SBV$ functions (see Section \ref{notprel}),

209: proved the existence of a quasistatic growth of brittle

210: fractures in the case of {\it anti-planar shear} in any dimension

211: $N \ge 2$ and without

212: assumptions on the structure of the fractures which are dealt with

213: the set of jumps of the displacements.

214: Approximation results for the quasistatic

215: evolution of \cite{FL} has been given in \cite{G} and in \cite{GP}

216: and provide a theoretical basis to the numerical study of

217: the model given in \cite{BFM}.

218: \par

219: The quasistatic crack growth proposed by Dal Maso, Francfort,

220: and Toader in

221: \cite{DMFT} consider the case of finite elasticity,

222: and takes into account possible volume and traction forces applied

223: to the elastic body.

224: In order to describe the result of \cite{DMFT} (a complete

225: description is given in Section \ref{qsedmft}),

226: let us assume that the

227: elastic body has a reference configuration given by $\Om \subseteq \R^N$

228: open, bounded and with Lipschitz boundary. Let

229: $\partial_D \Om \subseteq \partial \Om$ be

230: open in the relative topology, and let

231: $\partial_N \Om := \partial \Om \setminus \partial_D \Om$.

232: Let $\Om_B \subseteq \Om$, and let

233: $\partial_S \Om \subseteq \partial_N \Om$ be such that

234: $\OmBb \cap \partial_S \Om=\emptyset$. $\Om_B$ is the {\it brittle part}

235: of $\Om$, and $\partial_S \Om$ is the part of the boundary where

236: traction forces are supposed to act.

237: A crack is given by any rectifiable set in $\OmBb$ with finite

238: $(N-1)$ Hausdorff measure. Given a boundary deformation $g$ on

239: $\partial_D \Om$ and a crack $\Gamma$,

240: the family of all admissible deformation of

241: $\Om$ is given by the set $AD(g,\Gamma)$ of all function

242: $u \in GSBV(\Om;\R^N)$ (see Section \ref{notprel}) such that

243: $S(u) \subseteq \Gamma$ and $u=g$ on $\partial_D \Om \setminus \Gamma$.

244: Here $S(u)$ denotes the set of jumps of $u$, and the equality $u=g$

245: is intended in the sense of traces. Requiring

246: $u=g$ only on $\partial_D \Om \setminus \Gamma$ means that

247: the deformation is assumed not to be transmitted through the fracture.

248: The bulk energy considered in \cite{DMFT} is of the form

249: \begin{equation*}

250: %\label{elenintr}

251: \int_\Om W(x,\nabla u(x))\,dx,

252: \end{equation*}

253: where $W(x,\xi)$ is quasiconvex in $\xi$, and satisfies suitable

254: regularity and growth assumptions (see \eqref{scisandb1}

255: and \eqref{scisandb2}). Moreover

256: the time dependent body and traction forces

257: are supposed to be conservative with work given by

258: $$

259: -\int_{\Om \setminus \Gamma} F(t,x,u(x))\,dx

260: -\int_{\partial_S \Om} G(t,x,u(x))\,d\hs^{N-1}(x),

261: $$

262: where $F$ and $G$ satisfy suitable regularity and growth

263: conditions (see Section \ref{qsedmft}). Finally the work

264: made to produce the crack $\Gamma$ is given by

265: $$

266: \Es(\Gamma):=

267: \int_\Gamma k(x,\nu(x))\,d\hs^{N-1}(x),

268: $$

269: where $\nu(x)$ is the normal to $\Gamma$ at $x$, and $k(x,\nu)$

270: satisfies

271: standard hypotheses which guarantee lower semicontinuity

272: (see Section \ref{qsedmft}). Clearly,

273: $W,F,G$ and $k$ depend on the material.

274: Let us set

275: $$

276: \Eb(t)(u):=\int_\Om W(x,\nabla u(x))\,dx

277: -\int_{\Om \setminus \Gamma} F(t,x,u(x))\,dx

278: -\int_{\partial_S \Om} G(t,x,u(x))\,d\hs^{N-1}(x),

279: $$

280: and

281: \begin{equation}

282: \label{totintr}

283: \Eub(t)(u,\Gamma):=\Eb(t)(u)+\Es(\Gamma).

284: \end{equation}

285: Given a boundary deformation $g(t)$ with $t \in [0,T]$ and a preexisting

286: crack $\Gamma_0$, a quasistatic crack growth relative to $g$ and $\Gamma_0$

287: is a map $\{t \to (u(t),\Gamma(t))\,:\,t \in [0,T]\}$ such that the following

288: conditions hold:

289: \begin{itemize}

290: \item[(1)] for all $t \in [0,T]$: $u(t) \in AD(g(t),\Gamma(t))$;

291: \item[]

292: \item[(2)] {\it irreversibility}:

293: $\Gamma_0 \subseteq \Gamma(s) \subseteq \Gamma(t)$

294: for all $0 \le s \le t \le T$;

295: \item[]

296: \item[(3)] {\it static equilibrium}: for all $t \in [0,T]$ and

297: for all admissible configurations $(u,\Gamma)$ with

298: $\Gamma(t) \subseteq \Gamma$

299: $$

300: \Eub(t)(u(t),\Gamma(t)) \le \Eub(t)(u,\Gamma);

301: $$

302: \item[]

303: \item[(4)] {\it nondissipativity}: the time derivative of the

304: total energy $\Eub(t)(u(t),\Gamma(t))$ is equal to the power of external

305: forces (see \eqref{nondissqse}).

306: \end{itemize}

307: \par

308: In this paper we discretize the model using a suitable finite

309: element method and prove its convergence to this notion of

310: quasistatic crack growth.

311: We restrict our analysis to a two dimensional setting considering only a

312: polygonal reference configuration $\Om \subseteq \R^2$.

313: \par

314: The discretization of the domain $\Om$ is carried out as in

315: \cite{GP} employing {\it adaptive triangulations} introduced 

316: by M. Negri in \cite{N} (see also \cite{N2}). Let us fix

317: two parameters $\eps>0$ and $a \in ]0,\frac{1}{2}[$.

318: We consider a regular triangulation $\rb_\eps$ of size $\eps$

319: of $\Om$, i.e. we assume that there exist two constants

320: $c_1$ and $c_2$ so that

321: every triangle $T \in \rb_\eps$ contains a ball of diameter

322: $c_1 \eps$ and is contained in a ball of diameter $c_2 \eps$.

323: In order to treat the boundary data,

324: we assume also that $\partial_D \Om$ is composed of edges of $\rb_\eps$.

325: On each edge $[x,y]$ of $\rb_\eps$ we consider a point $z$

326: such that $z=tx+(1-t)y$ with

327: $t \in [a, 1-a]$. These points are called {\it adaptive vertices}.

328: Connecting

329: together the adaptive vertices, we divide every $T \in \rb_\eps$

330: into four triangles.

331: We take the new triangulation $\tb$ obtained after this

332: division as the discretization

333: of $\Om$. The family of all such triangulations will be denoted by

334: $\ts_{\eps,a}(\Om)$.

335: \par

336: The discretization of the energy functional is obtained restricting

337: the total energy \eqref{totintr} to the family of functions $u$

338: which are affine on the triangles of some triangulation

339: $\tb(u) \in \ts_{\eps,a}(\Om)$

340: and are allowed to jump across the edges of $\tb(u)$ contained

341: in $\OmBb$.

342: We indicate this space by $\afeaomb$.

343: The boundary data is assumed to belong

344: to the space $\afeom$ of continuous functions which are affine

345: on every triangle $T \in

346: \rb_\eps$.

347: \par

348: Given the boundary data

349: $g_\eps \in W^{1,1}([0,T], W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2))$

350: with $g_\eps(t) \in \afeom$ for all $t \in [0,T]$ ($p,q$ are related

351: to the growth assumptions on $W,F,G$) and an initial crack

352: $\Gamma^0_{\eps,a}$ (see Section \ref{devol}),

353: we divide $[0,1]$ into subintervals $[t^\delta_i,t^\delta_{i+1}]$

354: of size $\delta>0$ for $i=0, \ldots, N_\delta$, and

355: for all $u \in \afeaomb$ we indicate by $S_D^{g_\eps(t)}(u)$ the edges

356: of the triangulation $\tb(u)$ contained in

357: $\partial_D \Om$ on which $u \not= g_\eps(t)$.

358: Using a variational argument (Proposition \ref{discrevol}),

359: we construct a {\it discrete evolution}

360: $\{(u^{\delta,i}_{\eps,a},\Gamma^{\delta,i}_{\eps,a})\,:

361: \,i=0, \ldots,N_\delta\}$ such that for all $i=0, \ldots, N_\delta$

362: we have

363: $u^{\delta,i}_{\eps,a} \in \afeaomb$,

364: \begin{equation*}

365: \Gamma^{\delta,i}_{\eps,a}:=

366: \bigcup_{r=0}^i \big[ S(u^{\delta,r}_{\eps,a}) \cup

367: S_D^{g_\eps(t^\delta_r)}(u^{\delta,r}_{\eps,a}) \big],

368: \end{equation*}

369: and the following {\it unilateral minimality property} holds:

370: for all $v \in \afeaomb$

371: \begin{equation}

372: \label{pieceminintr}

373: \Eb(t^\delta_i)(u^{\delta,i}_{\eps,a}) \le

374: \Eb(t^\delta_i)(v)+

375: \Es\left( \big( S(v) \cup S_D^{g_\eps(t^\delta_i)}(v) \big) \setminus

376: \Gamma^{\delta,i-1}_{\eps,a}\right).

377: \end{equation}

378: Notice that by construction $u^{\delta,i}_{\eps,a} \in

379: AD(g_\eps(t^\delta_i),\Gamma^{\delta,i}_{\eps,a})$.

380: Moreover the definition

381: of the discrete fracture ensures that

382: $\Gamma^{\delta,i}_{\eps,a} \subseteq

383: \Gamma^{\delta,j}_{\eps,a}$

384: for all $i \le j$, recovering in this discrete

385: setting the irreversibilty

386: of the crack growth given in $(2)$.

387: The minimality property \eqref{pieceminintr}

388: is the reformulation in the finite element space of

389: the equilibrium condition $(3)$.

390: Finally we obtain an estimate from above for

391: $\Eub(t^\delta_i)(u^{\delta,i}_{\eps,a},\Gamma^{\delta,i}_{\eps,a})$

392: (see Proposition \ref{dener}) which is a discrete version of $(4)$.

393: \par

394: In order to perform the asymptotic analysis of the

395: {\it discrete evolution}

396: $\{(u^{\delta,i}_{\eps,a},\Gamma^{\delta,i}_{\eps,a})

397: \,:\,i=0, \ldots,N_\delta\}$ we make

398: the piecewise constant interpolation in time

399: $u^{\delta}_{\eps,a}(t)=u^{\delta,i}_{\eps,a}$ and

400: $\Gamma^{\delta}_{\eps,a}(t)=\Gamma^{\delta,i}_{\eps,a}$ for all

401: $t^\delta_i \le t <t^\delta_{i+1}$.

402: Let us suppose that

403: $$

404: g_\eps \to g

405: \quad

406: \quad

407: \text{strongly in }W^{1,1}([0,T],W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2))

408: $$

409: (where on $W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)$ we take the norm

410: $\|u\|:=\|u\|_{W^{1,p}(\Om;\R^2)}+\|u\|_{L^q(\Om;\R^2)}$),

411: and that $\Gamma^0_{\eps,a}$ approximate an initial crack

412: $\Gamma^0$ in the sense of Proposition \ref{gammazero}.

413: \par

414: The main result of the paper (Theorem \ref{mainthm}) states that

415: there exist a quasistatic evolution $\{t \to (u(t),\Gamma(t))\,:\,

416: t \in [0,T]\}$

417: in the sense of \cite{DMFT} relative to the boundary deformation $g$

418: and the preexisting crack $\Gamma^0$

419: and sequences $\delta_n \to 0$, $\eps_n \to 0$,

420: $a_n \to 0$,

421: such that setting

422: $$

423: u_n(t):=u^{\delta_n}_{\eps_n,a_n}(t),

424: \quad\quad

425: \Gamma_n(t):=\Gamma^{\delta_n}_{\eps_n,a_n}(t),

426: $$

427: for all $t \in [0,T]$ the following facts hold:

428: \begin{itemize}

429: \item[]

430: \item[(a)] $(u_n(t))_{n \in \N}$

431: is weakly precompact in

432: $GSBV^p_q(\Om;\R^2)$, and every

433: accumulation point $\tilde{u}(t)$ is such that

434: $\tilde{u}(t) \in AD(g(t),\Gamma(t))$, and $(\tilde{u}(t),\Gamma(t))$

435: satisfy the static equilibrium $(2)$; moreover there exists a 

436: subsequence $(\delta_{n_k}, \eps_{n_k}, a_{n_k})_{k \in \N}$

437: of $(\delta_n, \eps_n, a_n)_{n \in \N}$ (depending on $t$)

438: such that

439: $$

440: u_{n_k}(t) \weak u(t)

441: \quad

442: \text{ weakly in } GSBV^p_q(\Om; \R^2)

443: $$

444: (see Section \ref{notprel} for a precise definition of

445: $GSBV^p_q(\Om;\R^2)$, and of weak convergence in this space);

446: \item[]

447: \item[(b)]

448: convergence of the total energy holds, and

449: more precisely elastic and surface energies

450: converge separately, that is

451: \begin{equation*}

452: \Eb(t)(u_n(t)) \to \Eb(t)(u(t)),

453: \quad\quad

454: \Es(\Gamma_n(t)) \to \Es(\Gamma(t)).

455: \end{equation*}

456: \end{itemize}

457: By point $(a)$, the approximation of the deformation $u(t)$ is available only

458: up to a subsequence depending on $t$: this is due to the possible non uniqueness

459: of the minimum energy deformation associated to $\Gamma(t)$. In the case

460: $\Eb(t)(u)$ is strictly convex, it turns out that

461: the deformation $u(t)$ is uniquely determined, and we prove that

462: (Theorem \ref{main2})

463: $$

464: \nabla u_n(t) \to \nabla u(t)

465: \quad\quad

466: \text{strongly in }L^p(\Om;\msd),

467: $$

468: and

469: $$

470: u_n(t) \to u(t)

471: \quad\quad

472: \text{strongly in }L^q(\Om;\R^2).

473: $$

474: The main difficulty to prove Theorem \ref{mainthm} consists

475: in passing to the limit in the static equilibrium

476: \eqref{pieceminintr}. In order to find the fracture $\Gamma(t)$

477: in the limit, in Lemma \ref{agamma} and Lemma \ref{ato0}

478: we adapt to the context of finite elements

479: the notion of $\sigma^p${-} convergence of sets formulated in \cite{DMFT}.

480: This is the key tool to obtain the convergence of elastic and

481: surface energies at all times $t \in [0,T]$ (while

482: in \cite{GP} this was available only at the continuity points

483: of $\hs^1(\Gamma(t))$).

484: In order to infer the static equilibrium of $\Gamma(t)$

485: from that of $\Gamma_n(t)$, we employ a generalization of the

486: piecewise affine transfer of jumps \cite[Proposition 5.1]{GP}

487: (see Proposition \ref{piecetransf2}).

488: \par

489: The paper is organized as follows. In Section \ref{notprel}

490: we introduce the basic notation, and some tools employed

491: throughout the paper. In Section \ref{qsedmft}

492: we describe the quasistatic crack growth of \cite{DMFT}

493: precising the functional setting and the hypotheses on

494: the elastic and surface energies involved. In Section

495: \ref{femspace} we introduce the finite element space, and

496: in Section \ref{secincrack} we prove an approximation result for

497: a preexisting crack configuration.

498: In Section \ref{devol} we prove the existence of a discrete

499: evolution, and in Section \ref{approx} we prove the main

500: approximation result (Theorem \ref{mainthm}). In Section

501: \ref{convexcase} we treat the case of strictly convex total energy.

502: 

503: 

504: 

505: %%%%%%%%%NOTAZIONI E PRELIMINARI%%%%%%%

506: \section{Notations and Preliminaries}

507: \label{notprel}

508: 

509: In this section we introduce the main notations and the

510: preliminary results employed in

511: the rest of the paper.

512: 

513: 

514: \vskip10pt\noindent

515: {\bf Basic notation.}

516: We will employ the following basic notation:

517: \begin{itemize}

518: %\item[-] $\Om$ is a polygonal open subset of $\R^2$;

519: \item[-] $\ms^{n\times m}$ is the space of

520: ${n\times m}$ matrices;

521: \item[-] $\hs^{1}$ is the one-dimensional Hausdorff measure;

522: \item[-] for $p \in [1,+\infty]$, 

523: $\|\cdot\|_p$ denotes the usual $L^p$ norm;

524: \item[-] if $\mu$ is a measure on $\R^2$ and $A$ is a

525: Borel subset of $\R^2$,

526: $\mu \res A$ denotes the restriction of $\mu$ to $A$, i.e.

527: $(\mu \res A)(B):=\mu(B \cap A)$ for all Borel sets

528: $B \subseteq \R^2$;

529: \item[-] if $A,B \subseteq \R^2$, $A \tsub B$ means that

530: $A \subseteq B$ up to a set of $\hs^1${-}measure zero.

531: \end{itemize}

532: 

533: \vskip20pt\noindent

534: {\bf SBV and GSBV spaces.}

535: Let $A$ be an open subset of $\R^n$, and let

536: $u: A \to \R^m$ be a measurable function.

537: Given $x \in A$, we say that $\tilde{u}(x)$ is the

538: {\it approximate limit}

539: of $u$ at $x$, and we write 

540: $\tilde{u}(x)=\aplim\limits_{y \to x}u(y)$, 

541: if for every $\eps>0$

542: $$

543: \lim_{r \to 0} r^{-n} \leb^n 

544: \left( \{y \in B_r(x)\,:\,

545: |u(y)-\tilde{u}(x)|>\eps\} \right)=0.

546: $$

547: Here $B_r(x)$ denotes the ball of center $x$ and radius $r$.

548: We indicate by $S(u)$ the set of points where the approximate

549: limit of $u$ does not exist.

550: We say that the matrix $m \times n$ $\nabla u(x)$ is the

551: approximate gradient of $u$ at $x$ if

552: $$

553: \aplim\limits_{y \to x}

554: \frac{u(y)-u(x)-\nabla u(x)(y-x)}{|y-x|}=0.

555: $$

556: \par

557: We say that $u \in BV(A;\R^m)$ if $u \in L^1(A;\R^m)$,

558: and its distributional

559: derivative $Du$ is a vector-valued Radon measure on $A$.

560: In this case, it turns out

561: that $S(u)$ is rectifiable, that is there exists a sequence

562: $(M_i)_{i \in \N}$ of $C^1${-}manifolds such that

563: $S(u) \subseteq \bigcup_i M_i$ up to a set of

564: $\hs^{n-1}${-}measure zero;

565: as a consequence $S(u)$ admits a normal $\nu_x$ for

566: $\hs^{n-1}${-}almost every

567: $x \in S(u)$. Moreover the approximate gradient

568: $\nabla u(x)$ exists for a.e. $x \in A$, and

569: $\nabla u$ is the density of the absolutely

570: continuous part of $Du$.

571: \par

572: We say that $u \in SBV(A;\R^m)$ if $u \in BV(A;\R^m)$

573: and the singular

574: part $D^su$ of its distributional derivative $Du$ is

575: concentrated on $S(u)$.

576: The space $SBV(A;\R^m)$ is called the space of $\R^m$-valued

577: {\it special functions of bounded variation}.

578: For more details, the reader is referred to \cite{AFP}.

579: We indicate with $SBV_{loc}(A,\R^m)$ the space of functions

580: which belong to $SBV(A',\R^m)$

581: for every open set $A'$ with compact closure in $A$.

582: \par

583: The set $GSBV(A,\R^m)$ is defined as the set of functions

584: $u:A \to \R^m$ such

585: that $\varphi(u) \in SBV_{loc}(A)$ for every

586: $\varphi \in C^1(\R^m)$

587: such that the support of $\nabla \varphi$ has compact

588: closure in $\R^m$.

589: If $p \in ]1,+\infty[$, we set

590: \begin{equation*}

591: %\label{GSBVP}

592: GSBV^p(A,\R^m):=

593: \{u\in GSBV(A,\R^m)\,:\, \nabla u \in L^p(A,\ms^{m\times n}),\,

594: \hs^{n-1}(S(u)) <+\infty\}.

595: \end{equation*}

596: By \cite[Proposition 2.2]{DMFT} the space $GSBV^p(A,\R^m)$

597: coincide with

598: $(GSBV^p(A,\R))^m$, that is $u:=(u_1, \dots,u_m) \in

599: GSBV^p(A,\R^m)$

600: if and only if $u_i \in GSBV^p(A,\R)$ for every

601: $i=1,\dots,m$.

602: \par

603: The following compactness and lower semicontinuity result

604: will be used in the following sections.

605: For a proof, we refer to \cite{A2}.

606: 

607: \begin{theorem}

608: \label{GSBVcompact}

609: Let $A$ be an open and bounded subset of $\R^n$. Let

610: $g(x,u): \, A\times \R^m \to [0,\infty]$ be a Borel function,

611: lower semicontinuous in $u$ and satisfying the condition

612: $$

613: \lim_{|u|\to \infty} g(x,u)=+\infty \text{ for a.e. } x \in A.

614: $$

615: Let $(u_k)_{k \in \N}$ be a sequence in $GSBV^p(A;\R^m)$ such that

616: $$

617: \limsup_k \int_A |\nabla u_k(x)|^p \,dx+

618: \hs^{n-1} \left( S(u_k) \right)+

619: \int_A g(x, u_k(x)) \, dx <+\infty.

620: $$

621: Then there exists a subsequence $(u_{k_h})_{h \in \N}$ and

622: a function $u \in GSBV^p (A;\R^m)$ such that

623: \begin{align}

624: \label{gsbvconv}

625: u_{k_h} \to u &\quad\quad\text{in measure}, \\ \nonumber

626: \nabla u_{k_h} \weak \nabla u &\quad\quad\text{weakly in }

627: L^p(A;M^{m \times n}).

628: \end{align}

629: Moreover we have that

630: \begin{equation*}

631: %\label{gsbvlsc}

632: \hs^{n-1} \left( S(u) \right)

633: \le \liminf_h

634: \hs^{n-1} \left( S(u_{k_h}) \right).

635: \end{equation*}

636: \end{theorem}

637: 

638: Let $q \in ]1,+\infty[$ and let us set

639: \begin{equation}

640: \label{defgsbvpq}

641: GSBV^p_q(A;\R^m):=GSBV^p(A;\R^m) \cap L^q(A;\R^m).

642: \end{equation}

643: We say that $u_k \weak u$ weakly in $GSBV^p_q(A;\R^m)$ if

644: \begin{align}

645: \nonumber

646: u_k \to u &\quad\quad\text{in measure} \\

647: \nabla u_k \weak \nabla u &\quad\quad\text{weakly in }

648: L^p(A; M^{m \times n}) \\

649: \nonumber

650: u_k \weak u &\quad\quad\text{weakly in }L^q(A;\R^m).

651: \end{align}

652: We will often use the following fact: if $u_k \weak u$

653: weakly in $GSBV^p_q(A;\R^m)$ and $\Gamma \subseteq A$

654: is such that $\hs^{N-1}(\Gamma)<+\infty$ and $S(u_k) \subseteq \Gamma$

655: up to a set of $\hs^{N-1}${-}measure zero for all $k$,

656: then $S(u) \subseteq \Gamma$ up to a set of $\hs^{N-1}${-}measure zero.

657: 

658: 

659: \vskip20pt\noindent

660: {\bf $\Gamma$-convergence.}

661: Let us recall the definition of De Giorgi's

662: {\it $\Gamma$-convergence} in metric spaces:

663: we refer the reader to \cite{dm} for an exhaustive

664: treatment of this subject.

665: Let $(X,d)$ be a metric space. We say that a sequence

666: $F_h:X\to [-\infty ,+\infty

667: ]$ $\Gamma $-converges to $F:X\to [-\infty ,+\infty ]$

668: (as $h\to +\infty$) if for all $u \in X$ we have

669: \begin{itemize}

670: \item[{\rm (i)}] ({\it $\Gamma${-}liminf inequality})

671: for every sequence $(u_h)_{h \in \N}$ converging to

672: $u$ in $X$,

673: $$

674: \liminf\limits _{h\to+\infty }F_h(u_h)\geq F(u);

675: $$

676: \item[{\rm (ii)}] ({\it $\Gamma${-}limsup inequality})

677: there exists a sequence

678: $(u_h)_{h \in \N}$ converging to $u$ in $X$, such that

679: $$

680: \limsup\limits _{h\to +\infty }F_h(u_h)\leq F(u).

681: $$

682: \end{itemize}

683: The function $F$ is called the $\Gamma${-}limit of $(F_h)$

684: (with respect to $d$),

685: and we write $F\,=\,\Gamma{-}\lim_{h}F_h$.

686: \par

687: We say that a family of functionals $\{F_\eps\}$

688: $\Gamma${-}converges to $F$ as

689: $\eps \to 0$ if for every sequence $\eps_h \to 0$ as

690: $h \to +\infty$ we have

691: $\Gamma{-}\lim_h F_{\eps_h}=F$.

692: \par

693: The peculiarity of this type of convergence

694: is its variational

695: character explained in the following proposition.

696: 

697: \begin{proposition}

698: %\label{Gamma-conv-prop}

699: Assume that the sequence $(F_h)_{h \in \N}$

700: $\Gamma${-}converges to

701: $F$ and that there

702: exists a compact set $K\subseteq X$ such that for all

703: $h \in \N$

704: $$

705: \inf\limits _{u\in K}F_h(u)=\inf\limits _{u\in X}

706: F_h(u).

707: $$

708: Then $F$ admits a minimum on $X$,

709: $\inf_{X}F_h \to \min_X F$, and

710: any limit point of any sequence $(u_h)_{h \in \N}$ such that

711: $$

712: \lim\limits _{h\to +\infty }\Bigl( F_h(u_h)-

713: \inf\limits _{u\in X}F_h(u)\Bigr) =0

714: $$

715: is a minimizer of $F$.

716: \end{proposition}

717: 

718: \vskip20pt\noindent

719: {\bf Hausdorff metric on compact sets.}

720: Let $A \subseteq \R^2$ be open and bounded, and

721: let $\ks(\overline{A})$

722: be the set of all compact subsets of $\overline{A}$.

723: $\ks(\overline{A})$ can be endowed by the

724: Hausdorff metric $d_H$ defined by

725: $$

726: d_H(K_1,K_2) :=

727: \max \left\{ \sup_{x \in K_1} {\rm dist}(x,K_2),

728: \sup_{y \in K_2} {\rm dist}(y,K_1)\right\},

729: $$

730: with the conventions

731: ${\rm dist}(x, \emptyset)= {\rm diam}(A)$ and

732: $\sup\emptyset=0$, so that $d_H(\emptyset, K)=0$ if

733: $K=\emptyset$ and

734: $d_H(\emptyset,K)={\rm diam}(A)$ if $K \not=\emptyset$.

735: It turns out that

736: $\ks(\overline{A})$ endowed with the Hausdorff metric

737: is a compact space

738: (see e.g. \cite{Ro}).

739: 

740: 

741: %%%Evoluzione quasistatica%%%

742: \section{The quasistatic crack growth of

743: Dal Maso-Francfort-Toader}

744: \label{qsedmft}

745: In this section we describe the quasistatic evolution of brittle

746: fractures proposed in

747: \cite{DMFT}. They consider the case of  $n$-dimensional

748: finite elasticity, for an

749: arbitrary $n\ge1$, with a quasiconvex bulk energy and with

750: prescribed boundary deformations and applied loads, depending on

751: time. Since we are going to approximate the case $n=2$,

752: we prefer to introduce the model

753: in this particular case. For more details, we refer the

754: reader to \cite{DMFT}.

755: \par

756: Let $\Om$ be a bounded open set of $\R^2$ with Lipschitz boundary

757: and let $\Om_B$

758: be an open subset of $\Om$. Let $\partial_N \Om \subseteq \partial \Om$

759: be closed in the relative topology,

760: and let $\partial_D\Om:= \partial\Om\setminus \partial_N\Om$.

761: Let $\partial_S\Om \subseteq \partial_N\Om$ be closed in the

762: relative topology and such that

763: $\OmBb\cap \partial_S\Om = \emptyset$.

764: In the model proposed in \cite{DMFT},

765: $\Om_B$ represents the brittle part of $\Om$, and $\partial_D \Om$

766: the part of the boundary on which

767: the deformation is prescribed. Moreover the elastic body $\Om$ is

768: supposed to be subject to surface forces

769: acting on $\partial_S \Om$.

770: \par\medskip\noindent

771: {\bf Admissible cracks and deformations.}

772: The set of admissible cracks is given by

773: \begin{equation*}

774: %\label{adc}

775: \radm:= \{\Gamma:\Gamma\text{ is rectifiable },

776: \Gamma \tsub (\OmBb \setminus \partial_N\Om),

777: \, \hs^1(\Gamma)<+\infty\}.

778: \end{equation*}

779: Here $A \tsub B$ means that $A \subseteq B$ up to a set of

780: $\hs^1$-measure zero, and $\Gamma$ rectifiable

781: means that there exists a sequence $(M_i)$ of $C^1${-}manifolds 

782: such that $\Gamma \tsub \bigcup_i M_i$.

783: If $\Gamma$ is rectifiable, we can define normal vector fields 

784: $\nu$ to $\Gamma$ in the following way:

785: if $\Gamma=\bigcup_i \Gamma_i$ with $\Gamma_i \tsub M_i$ and 

786: $\Gamma_i \cap \Gamma_j=\emptyset$ for $i \not= j$,

787: given $x \in \Gamma_i$, we take $\nu(x)=\nu_{M_i}(x)$, where

788: $\nu_{M_i}(x)$ is a normal vector to the

789: $C^1${-}manifold $M_i$ at $x$. It turns out that 

790: two normal vector fields

791: associated to different decompositions 

792: $\bigcup_i \Gamma_i$ of $\Gamma$

793: coincide up to the sign $\hs^{1}$ almost everywhere.

794: \par

795: Given a crack $\Gamma$, an admissible deformation is given by 

796: any function $u \in

797: GSBV(\Om;\R^2)$ such that $S(u) \tsub \Gamma$.

798: \par\medskip\noindent

799: {\bf The surface energy.}

800: The surface energy of a crack $\Gamma$ is given by

801: \begin{equation}

802: \label{crackener}

803: \Es(\Gamma):=\int_\Gamma k(x,\nu(x)) \,d\hs^1(x),

804: \end{equation}

805: where $\nu$ is a unit normal vector field on $\Gamma$.

806: Here $k:\OmBb\times\R^2 \to \R$ is continuous, 

807: $k(x,\cdot)$ is a norm in $\R^2$

808: for all $x \in \OmBb$ and for all

809: $x\in  \OmBb$

810: and $\nu\in \R^2$

811: \begin{equation}

812: \label{ik3}

813: K_1|\nu| \le k(x, \nu) \le K_2|\nu|,

814: \end{equation}

815: where $K_1,K_2>0$. Notice that since $k$ is even in the

816: second variable,

817: we have that the integral \eqref{crackener} is independent 

818: of the

819: orientation given to $\Gamma$, that is independent of 

820: the particular choice of the unit

821: normal vector field $\nu$.

822: \par\medskip\noindent

823: {\bf The bulk energy.}

824: Let $p>1$ be fixed.

825: Given a deformation $u \in GSBV^p(\Om;\R^2)$ the

826: associated {\it bulk energy}

827: is given by

828: \begin{equation}

829: \label{bws}

830: \ws(\nabla u):= \int_\Om W(x,\nabla u(x)) \, dx,

831: \end{equation}

832: where $W: \Om \times \msd \to [0,+\infty)$ is a

833: Carath\'eodory function satisfying

834: \begin{align}

835: \label{scisandb1}

836: & \text{ for every } x \in \Om:\,

837: W(x,\cdot) \text{ is quasiconvex and }

838: C^1 \text{ on }\msd,\\

839: \label{scisandb2}

840: & \text{ for every } (x,\xi) \in \Om\times \msd:

841: a_0^W|\xi|^p - b_0^W(x)\le W(x,\xi)\le

842: a_1^W |\xi|^p + b_1^W(x).

843: \end{align}

844: Here $a_0^W, a_1^W>0$, and

845: $b_0^W, b_1^W \in L^1(\Om)$

846: are nonnegative functions. Quasiconvexity

847: of $W$ means that for all $\xi \in \msd$ and

848: for all $\varphi \in C^\infty_c(\Om;\R^2)$

849: $$

850: W(\xi) \le \int_\Om W(\xi +\nabla \varphi)\,dx.

851: $$

852: If we denote by

853: $\partial_\xi W: \Om \times \msd \to \msd$

854: the partial derivative of $W$ with respect to

855: $\xi$, it turns out that

856: there exists a positive constant $a_2^W>0$ and a

857: nonnegative function $b_2^W\in L^{p'}(\Om)$, with

858: $p':=p/(p-1)$, such that for all

859:  $(x,\xi)\in \Om\times  \msd$

860: \begin{equation}

861: \label{estgradxi}

862: |\partial_\xi W(x,\xi)|\le a_2^W |\xi|^{p-1} + b_2^W(x).

863: \end{equation}

864: By \eqref{scisandb2} and  \eqref{estgradxi} the functional

865: $\ws$, defined for all $\Phi \in L^p(\Om; \msd)$ by

866: $$

867: \ws(\Phi):=\int_\Om W(x,\Phi(x)) \, dx,

868: $$

869: is of class $C^1$ on $L^p(\Om;\msd)$, and its differential

870: $\partial \ws:L^p(\Om;\msd) \to L^{p'}(\Om;\msd)$ is given by

871: \begin{equation*}

872: %\label{padews}

873: \langle \partial \ws(\Phi),\Psi \rangle =

874: \int_\Om \partial_\xi W(x,\Phi(x)) \Psi(x)\, dx,

875: \quad\quad

876: \Phi,\Psi \in L^p(\Om;\msd),

877: \end{equation*}

878: where $\langle \cdot,\cdot \rangle$ denotes the duality

879: pairing between the spaces

880: $L^{p'}(\Om;\msd)$ and $L^p(\Om;\msd)$.

881: By \eqref{scisandb2} and  \eqref{estgradxi},

882: there exist six positive constants

883: $\alpha_0^{\ws}>0$, $\alpha_1^{\ws}>0$,

884: $\alpha_2^{\ws}>0$, $\beta_0^{\ws} \ge 0$,

885: $\beta_1^{\ws} \ge 0$,

886: $\beta_2^{\ws} \ge 0$ such that for every

887: $\Phi,\,\Psi\in L^p(\Om;\msd)$

888: \begin{equation*}

889: %\label{wsa}

890: \alpha_0^{\ws}\|\Phi\|_p^p - \beta_0^{\ws} \le

891: \ws(\Phi)\le \alpha_1^{\ws}\|\Phi\|_p^p

892: +\beta_1^{\ws},

893: \end{equation*}

894: \begin{equation}

895: \label{wsb}

896: |\langle \partial \ws(\Phi),\Psi \rangle|\le

897: (\alpha_2^{\ws}\|\Phi\|_p^{p-1} + \beta_2^{\ws})

898: \|\Psi\|_p.

899: \end{equation}

900: \par\medskip\noindent

901: {\bf The body forces.} Let $q>1$ be fixed.

902: The density of applied

903: body forces per unit volume in the

904: reference configuration relative to the deformation

905: $u$ at time $t \in [0,T]$

906: is given by $\partial_z F(t,x,u(x))$.

907: Here $F:[0,T]\times \Om \times \R^2 \to \R$ is such that:

908: \begin{align*}

909: %\label{hpf1}

910: &\text{ for every } z\in \R^2:\, (t,x)\to F(t,x,z)

911: \text{ is }\leb^1 \times \leb^2 \text{ measurable on }

912: [0,T]\times \Om, \\

913: %\label{hpf2}

914: &\text{ for every } (t,x)\in [0,T] \times \Om:\,

915: z \to F(t,x,z) \text{ belongs to } C^1(\R^2),

916: %\label{hpf3}

917: %&\text{ for every } (t,x) \in [0,T] \times \Om:\, F(t,x,x)=0,

918: \end{align*}

919: and satisfies the following growth conditions

920: \begin{align}

921: \label{hpf4}

922: &a_0^F|z|^q - b_0^F(t,x) \le -F(t,x,z)\le a_1^F|z|^q + b_1^F(t,x), \\

923: \nonumber

924: %\label{hpf5}

925: &|\partial_z F(t,x,z)| \le a_2^F |z|^{q-1} + b_2^F(t,x)

926: \end{align}

927: for every $(t,x,z) \in [0,T]\times \Om \times \R^2$, with

928: $a_0^F>0$, $a_1^F>0$ and $a_2^F>0$, and

929: where $b_0^F, b_1^F \in C^0([0,T];L^1(\Om))$,

930: $b_2^F \in C^0([0,T];L^{q'}(\Om))$

931: are nonnegative functions, with $q':=q/(q-1)$.

932: \par

933: In order to deal with time variations, we assume also that

934: for every $(t,z) \in [0,T] \times \R^2$

935: \begin{align*}

936: %\label{ac}

937: &F(t,x,z) = F(0,x,z)+ \int_0^t \dot{F}(s,x,z) \,ds

938: \quad\quad \text{ for a.e. }

939: x \in \Om, \\

940: \nonumber

941: &\partial_z F(t,x,z)= \partial_z F(0,x,z)+

942: \int_0^t \partial_z \dot{F}(s,x,z) \,ds \quad\quad

943: \text{ for a.e. }x \in \Om,

944: \end{align*}

945: where $\dot{F}:[0,T] \times \Om \times \R^2 \to \R$ is

946: such that

947: \begin{align*}

948: %\label{hpderf1}

949: & \text{ for all } z \in \R^2:\, (t,x) \to \dot{F}(t,x,z)

950: \text{ is }\leb^1 \times \leb^2

951: \text{ measurable on } [0,T]\times \Om,  \\

952: %\label{hpderf2}

953: & \text{ for all }(t,x) \in [0,T] \times \Om:\,

954: z \to \dot{F}(t,x,z)

955: \text{ is of class $C^1$ on }\R^2,

956: \end{align*}

957: and satisfies the growth conditions

958: \begin{align*}

959: %\label{hpderf3}

960: & |\dot{F}(t,x,z)|\le a_3^F(t)|z|^{\dot{q}} + b_3^F(t,x), \\

961: & |\partial_z \dot{F}(t,x,z)|\le a_4^F(t)|z|^{\dot{q}-1}

962: + b_4^F(t,x)

963: \end{align*}

964: for all $(t,x,z) \in [0,T] \times \Om \times \R^2$. Here

965: $1 \le \dot{q} < q$, and $a_3^F, a_4^F \in L^1([0,T])$,

966: $b_3^F \in L^1([0,T];L^1(\Om))$,

967: $b_4^F \in L^1([0,T]; L^{\dot{q}'}(\Om))$ are nonnegative

968: functions with

969: $\dot{q}':=\frac{\dot{q}}{\dot{q}-1}$.

970: \par

971: Under the previous assumptions, for every $t\in [0,T]$

972: the functionals

973: \begin{equation}

974: \label{bodyenergy}

975: \fs(t)(u):= \int_\Om F(t,x,u(x))\,dx, \quad\quad

976: \dot{\fs}(t)(u):= \int_\Om \dot{F}(t,x,u(x))\,dx

977: \end{equation}

978: are well defined on $L^q(\Om;\R^2)$ and $L^{\dot{q}}(\Om;\R^2)$

979: respectively.

980: Moreover we have that $\fs(t)$ is of class $C^1$ on

981: $L^q(\Om;\R^2)$, with differential $\partial \fs(t):

982: L^q(\Om;\R^2)\to L^{q'}(\Om;\R^2)$

983: defined by

984: $$

985: \langle \partial \fs(t)(u),v \rangle =

986: \int_\Om \partial_z F(t,x,u(x)) v(x)\, dx,

987: \quad\quad

988: u,v \in L^q(\Om;\R^2),

989: $$

990: where $\langle \cdot,\cdot \rangle$ denotes now the duality

991: pairing between

992: $L^{q'}(\Om;\R^2)$ and $L^q(\Om;\R^2)$.

993: $\dot{\fs(t)}$ is $C^1$ on $L^{\dot{q}}(\Om;\R^2)$ with

994: differential defined by

995: $$

996: \langle \partial \dot{\fs}(t)(u),v \rangle =

997: \int_\Om \partial_z \dot{F}(t,x,u(x)) v(x)\, dx,

998: \quad\quad

999: u,v \in L^{\dot{q}}(\Om;\R^2),

1000: $$

1001: where $\langle \cdot,\cdot \rangle$ denotes the duality

1002: pairing between

1003: $L^{\dot{q}'}(\Om;\R^2)$ and $L^{\dot{q}}(\Om;\R^2)$.

1004: For all $u,v \in L^q(\Om;\R^2)$ and for all $t \in [0,T]$

1005: we have

1006: \begin{equation*}

1007: %\label{ac2}

1008: \fs(t)(u) = \fs(0)(u)+ \int_0^t \dot{\fs}(s)(u) \,ds,

1009: \end{equation*}

1010: \begin{equation}

1011: \label{ac2bis}

1012: \langle \partial \fs(t)(u),v\rangle=

1013: \langle \partial \fs(0)(u),v\rangle+

1014: \int_0^t \langle\partial \dot{\fs}(s)(u),v\rangle \,ds.

1015: \end{equation}

1016: Moreover we have that for every $t\in [0,T]$ and for every $u$,

1017: $v\in L^q(\Om;\R^n)$

1018: \begin{align}

1019: \nonumber

1020: %\label{fs1}

1021: & \alpha_0^{\fs} \|u\|_q^q - \beta_0^{\fs} \le -\fs(t)(u)

1022: \le \alpha_1^{\fs}\|u\|_q^q + \beta_1^{\fs},\\

1023: \label{fs2}

1024: & |\langle\partial \fs(t)(u),v\rangle|\le

1025: (\alpha_2^{\fs}\|u\|_q^{q-1}

1026: +\beta_2^{\fs})\|v\|_q,\\

1027: \label{fs3}

1028: & |\dot{\fs}(t)(u)|\le \alpha_3^{\fs}(t)

1029: \|u\|_{\dot{q}}^{\dot{q}} + \beta_3^{\fs}(t), \\

1030: \label{fs4}

1031: & |\langle\partial \dot{\fs}(t)(u),v\rangle|\le

1032: (\alpha_4^{\fs}(t) \|u\|_{\dot{q}}^{\dot{q}-1}+\beta_4^{\fs}(t))

1033: \|v\|_{\dot{q}} ,

1034: \end{align}

1035: where $\alpha_0^{\fs}>0$, $\alpha_1^{\fs}>0$, $\alpha_2^{\fs}>0$,

1036: $\beta_0^{\fs} \ge 0$, $\beta_1^{\fs} \ge 0$,

1037: $\beta_2^{\fs} \ge 0$ are positive constants,

1038: and $\alpha_3^{\fs}, \alpha_4^{\fs}, \beta_3^{\fs},

1039: \beta_4^{\fs} \in L^1([0,T])$

1040: are nonnegative functions.

1041: \par\medskip\noindent

1042: {\bf The surface forces.}

1043: The density of the surface forces on $\partial_S \Om$ at

1044: time $t$ under the

1045: deformation $u$ is given by $\partial_z G(t,x,u(x))$,

1046: where $G:[0,T] \times \partial_S \Om \times \R^2 \to \R$

1047: is such that

1048: \begin{align*}

1049: %\label{hpg1}

1050: & \text{ for every } z \in \R^2:\,(t,x) \to G(t,x,z)

1051: \text{ is } \leb^1 \times \hs^1\text{{-}measurable},\\

1052: %\label{hpg2}

1053: & \text{ for every } (t,x) \in [0,T] \times \partial_S\Om:\,

1054: z \to G(t,x,z) \text{ belongs to } C^1(\R^2),

1055: %\label{hpg3}

1056: %& \text{ for every } (t,x) \in [0,T] \times \partial_S\Om:\, G(t,x,x)=0,

1057: \end{align*}

1058: and satisfies the growth conditions

1059: \begin{align*}

1060: %\label{sf4}

1061: & -a_0^G(t,x)|z|- b_0^G(t,x) \le -G(t,x,z) \le a_1^G |z|^r

1062: + b_1^G(t,x),\\

1063: %\label{sf5}

1064: & |\partial_z G(t,x,z)|\le a_2^G |z|^{r-1} + b_2^G(t,x),

1065: \end{align*}

1066: for every $(t,x,z)\in[0,T]\times\partial_S\Om\times\R^2$.

1067: Here $r$ is an exponent related to the trace operators on

1068: Sobolev spaces: if $p<2$, then we suppose

1069: that $p \le r \le \frac{p}{2-p}$, while if $p \ge 2$,

1070: we suppose $p \le r$. Moreover

1071: $a_1^G \ge 0$, $a_2^G \ge 0$ are two nonnegative constants,

1072: and

1073: $a_0^G\in L^\infty([0,T]; L^{r'}(\partial_S\Om))$,

1074: $b_0^G, b_1^G \in C^0([0,T];L^1(\partial_S\Om))$,

1075: and $b_2^G\in C^0([0,T];L^{r'}(\partial_S\Om))$ are

1076: nonnegative functions with $r':=r/(r-1)$

1077: \par

1078: We assume that for every $(t,z) \in [0,T] \times \R^2$

1079: \begin{align*}

1080: %\label{acg1}

1081: & G(t,x,z) = G(0,x,z) + \int_0^t \dot{G}(s,x,z) ds

1082: \quad\quad \text{ for }

1083: \hs^1\text{{-}a.e. }x\in\partial_S\Om,\\

1084: %\label{acg2}

1085: & \partial_z G(t,x,z) = \partial_z G(0,x,z) +

1086: \int_0^t \partial_z \dot{G}(s,x,z) ds \quad\quad

1087: \text{ for }\hs^1\text{{-}a.e. }x\in\partial_S\Om,

1088: \end{align*}

1089: where $\dot{G}: [0,T]\times\partial_S\Om\times\R^2 \to \R$

1090: is such that

1091: \begin{align*}

1092: %\label{gd1}

1093: & \text{ for all }z \in \R^2:\, (t,x)\to \dot{G}(t,x,z)

1094: \text{ is } \leb^1\times\hs^1 \text{{-}measurable, } \\

1095: %\label{gd2}

1096: & \text{ for all } (t,x)\in [0,T]\times\partial_S\Om:\,

1097: z \to \dot{G}(t,x,z)

1098: \text{ belongs to } C^1(\R^2),

1099: \end{align*}

1100: and satisfies the the growth conditions

1101: \begin{align*}

1102: %\label{gd3}

1103: & |\dot{G}(t,x,z)|\le a_3^G(t)|z|^r + b_3^G(t,x), \\

1104: %\label{gd4}

1105: & |\partial_z\dot{G}(t,x,z)|\le a_4^G(t)|z|^{r-1} +

1106: b_4^G(t,x)

1107: \end{align*}

1108: for all $(t,x,z)\in[0,T]\times\partial_S\Om\times\R^2$.

1109: Here

1110: $a_3^G,\,a_4^G \in L^1([0,T])$,

1111: $b_3^G\in L^1([0,T];L^1(\partial_S\Om))$ and

1112: $b_4^G \in L^1([0,T];L^{r'}(\partial_S \Om))$ are

1113: nonnegative functions.

1114: \par

1115: By the previous assumptions, the following functionals on

1116: $L^r(\partial_S \Om;\R^2)$

1117: \begin{equation}

1118: \label{tracener}

1119: \gs(t)(u):= \int_{\partial_S\Om} G(t,x,u(x)) \,d\hs^1(x),\quad

1120: \dot{\gs}(t)(u):=\int_{\partial_S\Om} \dot{G}(t,x,u(x)) \,d\hs^1(x)

1121: \end{equation}

1122: are well defined. For every $t \in [0,T]$ we have that

1123: $\gs(t)$ is of class $C^1$ on

1124: $L^r(\partial_S \Om;\R^2)$ and its differential

1125: is given by

1126: \begin{equation*}

1127: %\label{pargs}

1128: \langle\partial\gs(t)(u),v\rangle =

1129: \int_{\partial_S\Om} \partial_z G(t,x,u(x)) v(x) \,d\hs^1(x),

1130: \quad\quad

1131: u,v \in L^{r}(\partial_S\Om;\R^2),

1132: \end{equation*}

1133: where $\langle\cdot,\cdot\rangle$ denotes now the duality

1134: pairing between

1135: $L^{r'}(\partial_S\Om;\R^2)$ and $L^{r}(\partial_S\Om;\R^2)$. 

1136: Moreover, $\dot{\gs}(t)$ is of class $C^1$ on 

1137: $L^{r}(\partial_S \Om;\R^2)$, and its differential

1138: is given by

1139: \begin{equation*}

1140: %\label{pargsdot}

1141: \langle\partial\dot{\gs}(t)(u),v\rangle =

1142: \int_{\partial_S\Om} \partial_z \dot{G}(t,x,u(x)) v(x)

1143: \,d\hs^1(x)

1144: \end{equation*}

1145: for all $u,v \in L^{r}(\partial_S\Om;\R^2)$. Finally we have

1146: \begin{equation*}

1147: %\label{pargs2}

1148: \gs(t)(u) = \gs(0)(u) + \int_0^t \dot{\gs}(s)(u) \,ds,

1149: \end{equation*}

1150: \begin{equation*}

1151: %\label{pargsdot2}

1152: \langle\partial \gs(t)(u),v\rangle =

1153: \langle\partial \gs(0)(u),v\rangle +

1154: \int_0^t \langle\partial \dot{\gs}(s)(u),v\rangle

1155: \,ds,

1156: \end{equation*}

1157: for every $u,v\in L^{r}(\partial_S\Om;\R^2)$.

1158: \par

1159: Let $\Om_S \subseteq \Om\setminus \OmBb$ be open

1160: with Lipschitz boundary, and such

1161: that $\partial_S \Om \subseteq \partial \Om_S$; the trace

1162: operator from $W^{1,p}(\Om_S;\R^2)$

1163: into $L^{r}(\partial \Om_S;\R^2)$ is then compact, and

1164: so there exists a constant

1165: $\gamma_S>0$ such that

1166: \begin{equation}

1167: \label{sf1}

1168: \|u\|_{r,\partial_S \Om} \le

1169: \gamma_S ( \|\nabla u\|_{p, \Om_S} +\|u\|_{p, \Om_S})

1170: \end{equation}

1171: for every $u \in W^{1,p}(\Om_S;\R^2)$.

1172: By the previous assumptions, we have that

1173: there exist six nonnegative constants

1174: $\alpha_0^{\gs}$, $\alpha_1^{\gs}$, $\alpha_2^{\gs}$, $\beta_0^{\gs}$,

1175: $\beta_1^{\gs}$,

1176: $\beta_2^{\gs}$ and four nonnegative functions $\alpha_3^{\gs}$,

1177: $\alpha_4^{\gs}$, $\beta_3^{\gs}$,

1178: $\beta_4^{\gs} \in L^1([0,T])$, such that

1179: \begin{align}

1180: \nonumber

1181: %\label{gbou1}

1182: & -\alpha_0^G\|u\|_{r,\partial_S\Om} - \beta_0^G

1183: \le -\gs(t)(u)\le

1184: \alpha_1^{\gs} \|u\|^{r}_{r,\partial_S\Om}+ \beta_1^G,\\

1185: \label{gbou2}

1186: & |\langle\partial \gs(t)(u),v\rangle| \le

1187: (\alpha_2^{\gs}\|u\|^{r-1}_{r,\partial_S\Om} +

1188: \beta_2^{\gs})

1189: \|v\|_{r,\partial_S\Om},\\

1190: \label{gbou3}

1191: & |\dot{\gs}(t)(u)| \le \alpha_3^{\gs}(t)\|u\|^{r}_{r,\partial_S\Om} +

1192: \beta_3^{\gs}(t),\\

1193: \nonumber

1194: %\label{gbou4}

1195: & |\langle\partial \dot{\gs}(t)(u),v\rangle| \le

1196: (\alpha_4^{\gs}(t)\|u\|^{r-1}_{r, \partial_S\Om} + \beta_4^{\gs}(t))

1197: \|v\|_{r,\partial_S\Om}

1198: \end{align}

1199: for every $t \in [0,T]$ and $u,v \in L^r(\partial_S \Om;\R^2)$.

1200: \par\medskip\noindent

1201: {\bf Configurations with finite energy.}

1202: The deformations on the boundary $\partial_D \Om$ are given by

1203: (the traces of) functions

1204: $g \in W^{1,p}(\Om;\R^2)\cap L^q(\Om;\R^2)$, where $p,q$ are the

1205: exponents in \eqref{scisandb2} and

1206: \eqref{hpf4} respectively. Given a crack $\Gamma \in \radm$ and 

1207: a boundary deformation $g$,

1208: the set of {\it admissible deformations with finite energy} 

1209: relative to $(g,\Gamma)$

1210: is defined by

1211: \begin{equation*}

1212: %\label{soadwfe}

1213: AD(g,\Gamma):= \{u \in GSBV^p_q(\Om;\R^2):

1214: S(u) \tsub \Gamma, u=g\,

1215: \;\hs^1\text{{-}a.e. on }\partial_D\Om\setminus\Gamma\},

1216: \end{equation*}

1217: where we recall that

1218: $$

1219: GSBV^p_q(\Om;\R^2):=GSBV^p(\Om;\R^2) \cap L^q(\Om;\R^2),

1220: $$

1221: and the equality $u=g$ on $\partial_D\Om\setminus\Gamma$ is

1222: intended in the sense of traces

1223: (see \cite[Section 2]{DMFT}).

1224: \par

1225: Note that if $u \in GSBV^p_q(\Om;\R^2)$, then

1226: $\ws(u)<+\infty$ and

1227: $|\fs(t)(u)|<+\infty$ for all $t \in [0,T]$. Moreover

1228: since $\Gamma \in \radm$ and $S(u) \tsub \Gamma$,

1229: we have that

1230: $u \in W^{1,p}(\Om_S;\R^2) \cap L^q(\Om_S;\R^2)$ so that

1231: $\gs(t)(u)$ is well defined and

1232: $|\gs(t)(u)|<+\infty$ for all $t \in [0,T]$.

1233: Notice that  there exists always a deformation without

1234: crack which satisfies the boundary condition,

1235: namely the function $g$ itself.

1236: %Let us set

1237: %\begin{equation}

1238: %\label{ADpsi}

1239: %AD(\psi):= \{(u,\Gamma):\, \Gamma \in \radm,\, u \in AD(\psi,\Gamma)\}.

1240: %\end{equation}

1241: \par\medskip\noindent

1242: {\bf The total energy.}

1243: For every $t\in [0,T]$, the total energy relative to the

1244: configuration $(u,\Gamma)$ with $u \in AD(g,\Gamma)$

1245: is given by

1246: \begin{equation}

1247: \label{totalener}

1248: \Eub(t)(u,\Gamma):=\Eb(t)(u)+\Es(\Gamma),

1249: \end{equation}

1250: where

1251: \begin{equation}

1252: \label{elener}

1253: \Eb(t)(u):=\ws(u)-\fs(t)(u)-\gs(t)(u),

1254: \end{equation}

1255: and $\ws$, $\fs(t)$, $\gs(t)$ and $\Es$ are defined in

1256: \eqref{bws}, \eqref{bodyenergy},

1257: \eqref{tracener} and \eqref{crackener} respectively.

1258: It turns out that

1259: there exist four constants $\alpha^{\Eub}_0>0$,

1260: $\alpha^{\Eub}_1>0$, $\beta^{\Eub}_0 \ge 0$,

1261: $\beta^{\Eub}_1 \ge 0$ such that

1262: \begin{equation}

1263: \label{totenerbelow}

1264: \Eb(t)(u) \ge \alpha^{\Eub}_0( \|\nabla u\|_p^p+

1265: \|u\|_q^q)- \beta^{\Eub}_0,

1266: \end{equation}

1267: \begin{equation*}

1268: %\label{totabove}

1269: \Eb(t)(u) \le \alpha^{\Eub}_1( \|\nabla u\|_p^p+ \|u\|_q^q+

1270: \|u\|_{r, \partial_S \Om}^r)+ \beta^{\Eub}_1,

1271: \end{equation*}

1272: for every $t \in [0,T]$ and $u \in GSBV^p_q(\Om;\R^2)$.

1273: \par\medskip\noindent

1274: {\bf The time dependent boundary deformations.}

1275: We will consider boundary deformations $g(t)$ such that

1276: $$

1277: t \to g(t) \in \,AC([0,T];

1278: W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)),

1279: $$

1280: so that

1281: $$

1282: t \to \dot{g}(t) \in L^1([0,T];

1283: W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)),

1284: $$

1285: and

1286: $$

1287: t \to \nabla\dot{g}(t)\in L^1([0,T];L^p(\Om;\msd)).

1288: $$

1289: \par\medskip\noindent

1290: {\bf The existence result.}

1291: Let $\Gamma_0 \in \radm$ be a preexisting crack.

1292: %such that

1293: %$u_0\in AD(g(0),\Gamma_0)$ such that

1294: %\begin{equation}

1295: %\label{minini}

1296: %\eub(0)(u_0,\Gamma_0) = \min \{ \eub(0)(u,\Gamma):

1297: %u \in AD(g(0),\Gamma),

1298: %\Gamma_0 \tsub \Gamma\}.

1299: %\end{equation}

1300: The next Theorem proved in \cite{DMFT} establishes

1301: the existence of a quasistatic evolution with preexisting crack

1302: $\Gamma_0$.

1303: 

1304: \begin{theorem}

1305: \label{qse}

1306: Let $\Gamma_0 \in \radm$ be a preexisting crack.

1307: Then there exists

1308: a quasistatic evolution with preexisting

1309: crack $\Gamma_0$ and boundary deformation $g(t)$, i.e.,

1310: there exists a function $t \to (u(t),\Gamma(t))$ from

1311: $[0,T]$ to $GSBV^p_q(\Om;\R^2)\times \radm$

1312: with the following properties:

1313: \begin{itemize}

1314: \item[]

1315: \item[(a)] $(u(0),\Gamma(0))$ is such that

1316: $$

1317: \eub(0)(u(0),\Gamma(0)) = \min \{\eub(0)(v,\Gamma): v \in

1318: AD(g(0),\Gamma), \Gamma_0 \tsub \Gamma\};

1319: $$

1320: \item[]

1321: \item[(b)]

1322: $u(t) \in AD(g(t),\Gamma(t))$  for all $t\in [0,T]$;

1323: \item[]

1324: \item[(c)]

1325: {\it irreversibility}:\,\,

1326: $\Gamma_0 \tsub \Gamma(s)\tilde{\subset}\Gamma(t)$ whenever

1327: $0\le s<t \le T$;

1328: \item[]

1329: \item[(d)]

1330: {\it static equilibrium}:\,\,

1331: for all  $t\in [0,T]$

1332: $$

1333: \eub(t)(u(t),\Gamma(t)) = \min \{\eub(t)(v,\Gamma): v \in

1334: AD(g(t),\Gamma), \Gamma(t) \tsub \Gamma\};

1335: $$

1336: \item[]

1337: \item[(e)]

1338: {\it nondissipativity}:\,\,

1339: the function $t \to E(t):=\eub(t)(u(t),\Gamma(t))$ is

1340: absolutely continuous on  $[0,T]$,

1341: and for a.e.  $t\in [0,T]$

1342: \begin{eqnarray}

1343: \label{nondissqse}

1344: \dot{E}(t) = \langle\partial\ws(\nabla u(t)),

1345: \nabla \dot{g}(t)\rangle

1346: -\langle\partial \fs(t)(u(t)),\dot{g}(t)\rangle-

1347: \dot{\fs}(t)(u(t)) \\

1348: \nonumber

1349: -\langle\partial \gs(t)(u(t)),\dot{g}(t)\rangle-

1350: \dot{\gs}(t)(u(t)).

1351: \end{eqnarray}

1352: \end{itemize}

1353: \end{theorem}

1354: 

1355: The next theorem gives a compactness and lower

1356: semicontinuity result with respect

1357: to weak convergence in $GSBV^p_q(\Om,\R^2)$ which

1358: will be often used in the next sections.

1359: 

1360: \begin{theorem}

1361: \label{gsbvcomp}

1362: Let $t_k \in [0,T]$ with $t_k \to t$, and let

1363: $(u_k)\subset GSBV^p_q(\Om;\R^2)$,

1364: $C \in ]0;+\infty[$ such that $S(u_k) \tsub \Omb_B$ and

1365: $$

1366: \Eb(t_k)(u_k)+\Es(S(u_k))  \le C,

1367: $$

1368: where $\Eb$ and $\Es$ are defined as in \eqref{elener} and

1369: \eqref{crackener}.

1370: Then there exists a subsequence $(u_{k_h})_{h \in \N}$ converging to

1371: some $u$ weakly

1372: in $GSBV^p_q(\Om;\R^2)$ such that $S(u) \tsub \Omb_B$,

1373: $$

1374: \Eb(t)(u) \le \liminf_{h\to \infty} \Eb(t_{k_h})(u_{k_h}),

1375: $$

1376: and

1377: $$

1378: \Es(S(u)) \le  \liminf_{h\to \infty} \Es(S(u_{k_h})).

1379: $$

1380: \end{theorem}

1381: 

1382: \begin{proof}

1383: By \eqref{totenerbelow} and \eqref{ik3}, we have that there

1384: exists $C' \in ]0,+\infty[$ such that

1385: $$

1386: \|\nabla u_k\|_p^p+ \|u_k\|_q^q +\hs^1(S(u_k)) \le C'.

1387: $$

1388: Then we can apply  Theorem \ref{GSBVcompact} with

1389: $g(x,u_k)=|u_k|^q$, obtaining a subsequence $(u_{k_h})_{h \in \N}$

1390: and $u \in GSBV^p(\Om;\R^2)$

1391: such that \eqref{gsbvconv} holds: in particular we may assume

1392: that $u_{k_h} \to u$ pointwise a.e..

1393: We have $u_{k_h} \to u$ strongly in $L^1(\Om;\R^2)$, and by

1394: Fatou's Lemma we have that

1395: $u \in L^q(\Om;\R^2)$ so that $u \in GSBV^p_q(\Om;\R^2)$.

1396: We conclude $u_{k_h} \weak u$ weakly

1397: in $GSBV^p_q(\Om;\R^2)$. By \cite[Theorem 3.7]{A2} we

1398: have that

1399: $$

1400: \Es(S(u)) \le \liminf_h \Es(S(u_{k_h})),

1401: $$

1402: by \cite{K} we have that

1403: $$

1404: \int_\Om W(x,\nabla u)\, dx \le

1405: \liminf_h \int_\Om W(x,\nabla u_{k_h})\, dx,

1406: $$

1407: and by Fatou's Lemma (in the limsup version) we have

1408: $$

1409: \limsup_h \int_\Om F(t_{k_h},x,u_{k_h}(x))\,dx \le

1410: \int_\Om  F(t,x,u(x))\,dx.

1411: $$

1412: Since ${(u_{h_k})}_{|\Om_S}$ is bounded in

1413: $W^{1,p}(\Om_S;\R^2) \cap L^q(\Om_S;\R^2)$,

1414: and the trace operator from $W^{1,p}(\Om_S;\R^2)$

1415: into $L^{r}(\Om_S;\R^2)$ is compact, we get

1416: $$

1417: \lim_h \gs(t_{k_h})(u_{k_h}) = \gs(t)(u),

1418: $$

1419: and so the proof is thus concluded.

1420: \end{proof}

1421: 

1422: %%%Elementi finiti%%%

1423: \section{The finite element space and

1424: the transfer of jump}

1425: \label{femspace}

1426: Let $\Om \subseteq \R^2$ be a polygonal set and

1427: let us fix two positive

1428: constants $0<c_1<c_2<+\infty$. By a

1429: {\it regular triangulation} of $\Om$ of

1430: size $\eps$ we intend a finite family of (closed)

1431: triangles $T_i$ such that $\Omb=\bigcup_i T_i$,

1432: $T_i \cap T_j$ is either empty or equal to a common

1433: edge or to a common vertex,

1434: and each $T_i$ contains a ball of diameter

1435: $c_1 \eps$ and is contained in a ball of

1436: diameter $c_2 \eps$.

1437: \par

1438: We indicate by $\rs_\eps(\Om)$ the family of all

1439: regular triangulations of

1440: $\Om$ of size $\eps$.

1441: It turns out that there exist

1442: $0<\vartheta_1 < \vartheta_2 <\pi$

1443: such that for all triangle $T$ belonging to

1444: a regular triangulation

1445: $\tb \in \rs_\eps(\Om)$, the inner angles of $T$ are between

1446: $\vartheta_1$ and $\vartheta_2$. Moreover, every

1447: edge of $T$ has length greater than

1448: $c_1 \eps$ and lower than $c_2 \eps$.

1449: \par

1450: Let $\eps>0$, $\rb_\eps \in \rs_\eps(\Om)$,

1451: and let $a \in ]0,\frac{1}{2}[$.

1452: Let us consider a triangulation $\tb$ nested in

1453: $\rb_\eps$ obtained

1454: dividing each triangle $T \in \rb_\eps$ into four

1455: triangles taking over every edge $[x,y]$ of $T$

1456: a knot $z$ which satisfies

1457: $$

1458: z=tx+(1-t)y, \quad \quad t \in [a,1-a].

1459: $$

1460: We will call these vertices {\it adaptive}, the

1461: triangles obtained gluing these points

1462: {\it adaptive triangles}, and their edges

1463: {\it adaptive edges}.

1464: We denote by $\ts_{\eps,a}(\Om)$ the set of

1465: triangulations $\tb$ constructed in this way.

1466: Note that for all $\tb \in \ts_{\eps,a}(\Om)$

1467: there exist $0<c_1^a<c_2^a<+\infty$ such that

1468: every $T_i \in \tb$ contains a ball of diameter

1469: $c_1^a \eps$ and is contained in a ball

1470: of diameter $c_2^a \eps$. Then there exist

1471: $0<\vartheta_1^a < \vartheta_2^a <\pi$

1472: such that for all $T$ belonging to

1473: $\tb \in \ts_{\eps,a}(\Om)$, the inner angles of $T$ are between

1474: $\vartheta_1^a$ and $\vartheta_2^a$.

1475: Moreover, every edge of $T$ has length greater than

1476: $c_1^a \eps$ and lower than $c_2^a \eps$.

1477: \begin{center}

1478: \label{fig1}

1479: \begin{figure}

1480: \input{fig1.pstex_t}

1481: \caption{}

1482: \end{figure}

1483: \end{center}

1484: \vskip-17pt

1485: \par

1486: From now on for all $\varepsilon>0$ we

1487: fix $\rb_\varepsilon \in \rs_\varepsilon(\Om)$.

1488: We suppose that the brittle part $\Om_B$ and

1489: the region

1490: $\Om_S$ introduced before for the model of

1491: quasistatic growth of fractures

1492: are composed of triangles of

1493: $\rb_\eps$ for all $\eps$.

1494: Moreover we suppose that $\partial_D \Om$ and

1495: $\partial_S \Om$ are composed of edges of $\rb_\eps$ 

1496: for all $\eps$ up to a finite number of points.

1497: Finally, in order to deal with the deformation

1498: at the boundary, it will be useful to consider

1499: $\Om_D$ polygonal such that

1500: $\Om_D \cap \Om=\emptyset$, and

1501: $\partial \Om_D \cap \partial \Om=\partial_D \Om$

1502: up to a finite number of

1503: points. We set

1504: \begin{equation}

1505: \label{omprimo}

1506: \Om':=\Om \cup \Om_D \cup \partial_D \Om,

1507: \end{equation}

1508: and we suppose that the regular triangulation

1509: $\rb_{\eps}$ can be extended to a regular triangulation

1510: of $\Om'$, so that every triangulation $\tb$ in

1511: $\treaom$ can be extended to a triangulation of

1512: $\trea$ considering the middle points of the new edges

1513: as adaptive vertices: we indicate these

1514: extended triangulation with the same symbol

1515: $\tb$.

1516: \par

1517: We consider the following discontinuous finite element space.

1518: We indicate by $\afeaom$ the set of all $u:\Om \to \R^2$

1519: such that there exists a triangulation

1520: $\tb(u) \in \treaom$ nested in $\rb_\varepsilon$ with

1521: $u$ affine on every triangle

1522: $T \in \tb(u)$. For every $u \in \afeaom$,

1523: we indicate by $S(u)$ the family of edges of

1524: $\tb(u)$ inside $\Om$ across which $u$ is discontinuous.

1525: Notice that $u \in SBV(\Om;\R^2)$

1526: and that the notation is consistent with the usual one

1527: employed in the

1528: theory of functions of bounded variation.

1529: Let us set

1530: \begin{equation}

1531: \label{affini}

1532: \afeom:=

1533: \{u:\Om \to \R^2\,:\,u \text{ is continuous and affine

1534: on each triangle }T \in \rb_\eps\}.

1535: \end{equation}

1536: \par

1537: The discretization of the problem will be carried

1538: out using the space

1539: \begin{equation}

1540: \label{fespace}

1541: \afeaomb:=\{u \in \afeaom\,:\,

1542: S(u) \subseteq \OmBb\}.

1543: \end{equation}

1544: Given any $g \in \afeom$, for every

1545: $u \in \afeaomb$ let

1546: \begin{equation}

1547: \label{jump*}

1548: S_D^g(u):= \{x \in \partial_D \Om\,:\,

1549: u(x) \not= g(x) \},

1550: \end{equation}

1551: that is $S_D^g(u)$ denotes the set of edges

1552: of $\partial_D \Om$

1553: at which the boundary condition is not

1554: satisfied. For every $u \in \afeaomb$,

1555: let us also set

1556: \begin{equation}

1557: \label{newjump}

1558: \Sg{g}{u}:=S(u) \cup S_D^g(u).

1559: \end{equation}

1560: 

1561: An essential tool in the approximation result of this paper

1562: is Proposition \ref{piecetransf2} which

1563: generalizes the piecewise affine transfer of jump

1564: \cite[Proposition 5.1]{GP} to the case of vector valued 

1565: functions with bulk energy $\Eb$

1566: and surface energy $\Es$ of the form \eqref{elener} and

1567: \eqref{crackener} respectively. 

1568: \par

1569: In order to deal with the surface energy $\Es$

1570: we will need the

1571: following geometric construction.

1572: Let $S \subseteq \Om$ be a segment and let us suppose

1573: that $S$ intersects the edges

1574: of $\rb_\eps$ at most in one point for all $\eps>0$.

1575: Let $a \in ]0,\frac{1}{2}[$,

1576: and let $P=S \cap \zeta$, where $\zeta=[x,y]$ is an

1577: edge of $\rb_\eps$: we indicate with $\pi_a(P)$

1578: the projection of $P$ on the segment

1579: $\{tx+(1-t)y\,:\,t \in [a,1-a]\}$.

1580: The {\it interpolating curve} $S_{\eps,a}$ of

1581: $S$ in $\rb_\eps$ with parameter $a$

1582: is given connecting all the $\pi_a(P)$'s belonging to

1583: the same triangle of $\rb_\eps$ (see Figure 2).

1584: \begin{center}

1585: \label{fig2}

1586: \begin{figure}

1587: \input{fig2.pstex_t}

1588: \caption{}

1589: \end{figure}

1590: \end{center}

1591: 

1592: 

1593: \begin{lemma}

1594: \label{appes}

1595: Under the previous assumptions, there exists a function

1596: $\eta(a)$ independent of $S$ with

1597: $\eta(a) \to 0$ as $a \to 0$ such that

1598: \begin{equation*}

1599: %\label{esnear}

1600: \limsup_{\eps \to 0} |\Es(S_{\eps,a})-\Es(S)|

1601: \le \eta(a) \Es(S),

1602: \end{equation*}

1603: where $\Es$ is defined in \eqref{crackener}.

1604: \end{lemma}

1605: 

1606: \begin{proof}

1607: By \eqref{ik3}, we have that there exist $\omega$

1608: and $K_3>0$ such that for all $x_1,x_2 \in \Omb$ and

1609: $|\nu_1|=|\nu_2|=1$

1610: $$

1611: |k(x_1,\nu_1)-k(x_2,\nu_2)| \le \omega(|x_1-x_2|)+

1612: K_3|\nu_1-\nu_2|,

1613: $$

1614: where $\omega\,:\,]0,+\infty[ \to ]0,+\infty[$ is

1615: a decreasing function

1616: such that $\omega(s) \to 0$ as $s \to 0$.

1617: Let $T \in \rb_\eps$ be such that

1618: $T \cap S \not= \emptyset$, and let us choose

1619: $x_T \in T \cap S$ and

1620: $x_T^{\eps,a} \in T \cap S_{\eps,a}$. Let $c_2>0$

1621: denote the characteristic constant of $\rb_\eps$

1622: such that

1623: every $T \in \rb_\eps$ is contained in a ball

1624: of diameter $c_2 \eps$.

1625: Then we have

1626: \begin{multline*}

1627: \left| \int_{S_{\eps,a} \cap T} k(x,\nu_T^{\eps,a})

1628: \,d\hs^1-

1629: \int_{S \cap T} k(x,\nu_T) \,d\hs^1 \right| \\

1630: \le \left|\int_{S_{\eps,a} \cap T}

1631: k(x_T^{\eps,a},\nu_T^{\eps,a}) \,d\hs^1-

1632: \int_{S \cap T} k(x_T,\nu_T) \,d\hs^1 \right|

1633: +\omega(c_2 \eps) \hs^1(S_{\eps,a} \cap T)+

1634: \omega(c_2 \eps) \hs^1(S \cap T) \\

1635: \le

1636: \left|k(x_T^{\eps,a},\nu_T^{\eps,a})

1637: \hs^1(S_{\eps,a} \cap T)- k(x_T,\nu_T)

1638: \hs^1(S \cap T)\right|

1639: +\omega(c_2 \eps) \left[ \hs^1(S_{\eps,a} \cap T)

1640: +\hs^1(S \cap T) \right],

1641: \end{multline*}

1642: where $\nu_T^{\eps,a},\nu_T$ are the (constant) normal

1643: to $S_{\eps,a} \cap T$ and $S \cap T$ respectively.

1644: We have

1645: \begin{multline*}

1646: \left|k(x_T^{\eps,a},\nu_T^{\eps,a})

1647: \hs^1(S_{\eps,a} \cap T)- k(x_T,\nu_T)

1648: \hs^1(S \cap T)\right|

1649: \\

1650: \le k(x_T^{\eps,a},\nu_T^{\eps,a})

1651: \left|\hs^1(S_{\eps,a} \cap T)-

1652: \hs^1(S \cap T) \right|+

1653: \left|k(x_T^{\eps,a},\nu_T^{\eps,a}) -k(x_T,\nu_T)\right|

1654: \hs^1(S \cap T) \\

1655: \le K_2 \left|\hs^1(S_{\eps,a} \cap T)-

1656: \hs^1(S \cap T) \right|+

1657: \omega(|x_T^{\eps,a}-x_T|)\hs^1(S \cap T)

1658: +K_3|\nu_T^{\eps,a}-\nu_T|\hs^1(S \cap T),

1659: \end{multline*}

1660: where $K_2$ is defined in \eqref{ik3}.

1661: We are now ready to conclude: in fact, following

1662: \cite[Lemma 5.2.2]{N}, we can choose the orientation

1663: of $\nu_T^{\eps,a}$

1664: in such a way that

1665: $$

1666: |\nu_T^{\eps,a}-\nu_T|\hs^1(S \cap T) \le  D_2 a \eps,

1667: \quad \quad

1668: \left|\hs^1(S_{\eps,a} \cap T)-\hs^1(S \cap T) \right|

1669: \le D_1 a \eps,

1670: $$

1671: with $D_1,D_2>0$ independent of $T,\eps,a$.

1672: Then, summing up the preceding

1673: inequalities, recalling that the number of triangles of

1674: $\rb_\eps$ intersecting

1675: $S$ is less than $\tilde{c} \eps^{-1} \hs^1(S)$ for

1676: $\eps$ small enough, with $\tilde{c}$

1677: independent of $S$ and $\eps$ (see for example

1678: \cite[Lemma 2.5]{GP}),

1679: we obtain

1680: $$

1681: \limsup_{\eps \to 0} |\Es(S_{\eps,a})-\Es(S)|

1682: \le \rho(a) \hs^1(S),

1683: $$

1684: where $\rho(a):=\tilde{c}(K_2 D_1+ K_3 D_2)a$.

1685: In view of \eqref{ik3}, we conclude that

1686: $$

1687: \limsup_{\eps \to 0} |\Es(S_{\eps,a})-\Es(S)|

1688: \le K_1^{-1} \rho(a) \Es(S),

1689: $$

1690: and so the proof is concluded choosing

1691: $\eta(a):=K_1^{-1} \rho(a)$.

1692: \end{proof}

1693: 

1694: For all $u \in GSBV^p_q(\Om;\R^2)$ and for all

1695: $g \in W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)$, let us set

1696: \begin{equation}

1697: \label{jumpg}

1698: \Sg{g}{u}:=S(u) \cup \{x \in \partial_D \Om\,:\,

1699: u(x) \not= g(x)\},

1700: \end{equation}

1701: where the inequality is intended in the sense of traces.

1702: We are now in a position to state the piecewise affine transfer

1703: of jump proposition in our setting.

1704: 

1705: \begin{proposition}

1706: \label{piecetransf2}

1707: Let $a \in ]0,\frac{1}{2}[$, and for all $i=1,\dots,m$

1708: let

1709: $$

1710: u^i_\eps \in \afeaomb,

1711: \quad\quad

1712: u^i \in GSBV^p_q(\Om;\R^2)

1713: $$

1714: be such that

1715: $$

1716: u^i_\eps \weak u^i \quad\quad \text{ weakly in }

1717: GSBV^p_q(\Om;\R^2).

1718: $$

1719: Let moreover $g^i_\eps,h_\eps \in \afeom$,

1720: $g^i,h \in W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)$

1721: be such that

1722: $$

1723: g^i_\eps \to g^i, \quad h_\eps \to h \quad\quad

1724: \text{ strongly in }W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2).

1725: $$

1726: Then for every $v \in GSBV^p_q(\Om;\R^2)$ with

1727: $S(v) \tsub \OmBb$,

1728: there exists $v_\eps \in \afeaomb$ such that

1729: \begin{equation*}

1730: %\label{nablatransfconv}

1731: \nabla v_\eps \to \nabla v

1732: \quad\quad \mbox{ strongly in }L^p(\Om;\msd),

1733: \end{equation*}

1734: \begin{equation*}

1735: %\label{gradtransfconv}

1736: v_\eps \to v

1737: \quad\quad \mbox{ strongly in }L^q(\Om;\R^2),

1738: \end{equation*}

1739: and such that

1740: \begin{equation*}

1741: %\label{jumptransfconv}

1742: \limsup_{\eps \to 0} \Es \left (\Sg{h_\eps}{v_\eps}

1743: \setminus \bigcup_{i=1}^m \Sg{g^i_\eps}{u^i_\eps}\right)

1744: \le \mu(a)

1745: \Es \left( \Sg{h}{v}

1746: \setminus \bigcup_{i=1}^m \Sg{g^i}{u^i} \right),

1747: \end{equation*}

1748: where $\mu(a)$ depends only on $a$, $\mu(a) \to 1$ as

1749: $a \to 0$, and $\Es$ is defined in \eqref{crackener}.

1750: In particular for all $t \in [0,T]$ and for all

1751: $t_\eps \to t$ we have

1752: \begin{equation*}

1753: %\label{bulktransfconv}

1754: \Eb(t_\eps)(v_\eps) \to \Eb(t)(v),

1755: \end{equation*}

1756: where $\Eb$ is defined in \eqref{elener}.

1757: \end{proposition}

1758: 

1759: The proof of Proposition \ref{piecetransf2} can be obtained from

1760: that of \cite[Proposition 5.1]{GP} taking into account

1761: the following modifications. We can consider $v$ scalar valued

1762: since vector valued maps can be easily dealt componentwise.

1763: Even if the surface energy is of the form

1764: \eqref{crackener}, we can still restrict ourselves to the case

1765: in which $v$ has piecewise linear jumps outside a suitable

1766: neighborhood of $\bigcup_{i=1}^m \Sg{g^i}{u^i}$ by using the

1767: density result of \cite{CT}. In order to approximate the piecewise

1768: linear jumps, we use Lemma \ref{appes}. Finally the fact that

1769: $p \not= 2$ prevents us from considering the piecewise jumps

1770: as union of disjoint segments: we overcome this difficulty

1771: choosing $v_\eps=0$ in the regular triangles which contain

1772: the intersection points, and then interpolating $v$ outside

1773: as in \cite[Proposition 5.1]{GP}.

1774: 

1775: 

1776: %%%Taglio iniziale%%%

1777: \section{Preexisting cracks and their approximation}

1778: \label{secincrack}

1779: In Section \ref{approx}, we will need to approximate the

1780: surface energy of a given preexisting crack $\Gamma^0$.

1781: We take the initial crack in the class

1782: \begin{multline}

1783: \label{gammaom}

1784: \gadm:=\{\Gamma \tsub \OmBb\,:\, \hs^1(\Gamma)<+\infty,\,

1785: \Gamma=\Sg{h}{z}  \\

1786: \mbox{ for some }

1787: h \in W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)

1788: \text{ and }z \in GSBV^p_q(\Om;\R^2)

1789: \}.

1790: \end{multline}

1791: Notice that it is not restrictive to assume $h \equiv 0$.

1792: We take as discretization of $\gadm$ the following class

1793: \begin{equation}

1794: \label{gammaomea}

1795: \gadmea:=\{\Gamma \tsub \OmBb\,:\, \hs^1(\Gamma)<+\infty,\,

1796: \Gamma=\Sg{0}{z} \mbox{ for some }

1797: z \in \afeaomb\}.

1798: \end{equation}

1799: We have the following approximation result.

1800: 

1801: \begin{proposition}

1802: \label{gammazero}

1803: Let $\Gamma^0 \in \gadm$. Then for every

1804: $\eps>0$ and $a \in ]0,\frac{1}{2}[$

1805: there exists $\Gamma^0_{\eps,a} \in \gadmea$ such that

1806: $$

1807: \lim_{\eps,a \to 0}

1808: \Es(\Gamma^0_{\eps,a})=\Es(\Gamma^0),

1809: $$

1810: where $\Es$ is defined in \eqref{crackener}.

1811: \par

1812: Moreover let $g_{\eps} \in \afeom$,

1813: $g \in W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)$ be such that

1814: as $\eps \to 0$

1815: $$

1816: g_{\eps} \to g \text{ strongly in }

1817: W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2),

1818: $$

1819: and let us consider

1820: $$

1821: F_{\eps,a}(v):=

1822: \begin{cases}

1823: \Eb(0)(v)+\Es \left( \Sg{g_{\eps}}{v}

1824: \setminus  \Gamma^0_{\eps,a} \right)

1825: \quad &\mbox{if }v \in \afeaomb,\\

1826: +\infty \quad &\mbox{otherwise in } L^1(\Om;\R^2),

1827: \end{cases}

1828: $$

1829: and

1830: $$

1831: F(v):=

1832: \begin{cases}

1833: \Eb(0)(v)+\Es \left( \Sg{g}{v} \setminus \Gamma^0 \right)

1834: \quad &\mbox{if }v \in GSBV^p_q(\Om;\R^2),

1835: S(v) \tsub \OmBb, \\

1836: +\infty \quad &\mbox{otherwise in } L^1(\Om;\R^2),

1837: \end{cases}

1838: $$

1839: where $\Eb$ is defined in \eqref{elener}.

1840: Then the family $(F_{\eps,a})$ $\Gamma${-}converges to

1841: $F$ in the strong topology of $L^1(\Om;\R^2)$

1842: as $\eps \to 0$ and $a \to 0$.

1843: \end{proposition}

1844: 

1845: \begin{proof}

1846: Let us consider $\Gamma^0 \in \gadm$ with

1847: $\Gamma^0=\Sg{0}{z}$ for some $z \in GSBV^p_q(\Om;\R^2)$.

1848: Then by Proposition \ref{piecetransf2}

1849: for every $\eps>0$ and $a\in (0,\frac{1}{2})$,

1850: there exists $\tilde{z}_{\eps,a} \in \afeaom$

1851: such that for $\eps \to 0$ and for all $a$

1852: $$

1853: \nabla \tilde{z}_{\eps,a} \to \nabla z

1854: \quad\quad

1855: \text{ strongly in }L^p(\Om;\msd),

1856: $$

1857: $$

1858: \tilde{z}_{\eps,a} \to z

1859: \quad\quad

1860: \text{ strongly in }L^q(\Om;\R^2),

1861: $$

1862: and

1863: $$

1864: \limsup_{\eps \to 0}\Es(\Sg{0}{\tilde{z}_{\eps,a}}) \le \mu(a)\Es(\Sg{0}{z})

1865: $$

1866: with $\mu(a) \to 1$ as $a \to 0$,

1867: where $\Es$ is defined in \eqref{crackener}.

1868: Let $a_i \searrow 0$, and let $\eps_i \searrow 0$ be

1869: such that for all $\eps \le \eps_i$

1870: $$

1871: \Es(\Sg{0}{\tilde{z}_{\eps,a_i}}) \le \mu(a_i)\Es(\Sg{0}{z})+a_i,

1872: $$

1873: and

1874: $$

1875: \|\nabla \tilde{z}_{\eps,a_i} -\nabla z\|_{L^p(\Om;\msd)} \le a_i,

1876: \quad\quad

1877: \|\tilde{z}_{\eps,a_i} -z\|_{L^q(\Om;\R^2)} \le a_i.

1878: $$

1879: Setting

1880: \begin{equation*}

1881: %\label{defv}

1882: z_{\eps,a}:=

1883: \begin{cases}

1884: \tilde{z}_{\eps,a_i}

1885: & \eps_{i+1}<\eps \le \eps_i,\,\,a \le a_i, \\

1886: \tilde{z}_{\eps,a_{j-1}}

1887: & \eps_{i+1}<\eps \le \eps_i,\,\, a_j< a \le a_{j-1},\,j \le i,

1888: \end{cases}

1889: \end{equation*}

1890: we have that

1891: $$

1892: \lim_{\eps,a \to 0}\nabla z_{\eps,a}=\nabla z

1893: \quad\quad\text{ strongly in }L^p(\Om;\msd),

1894: $$

1895: $$

1896: \lim_{\eps,a \to 0}z_{\eps,a}=z

1897: \quad\quad\text{ strongly in }L^q(\Om;\R^2),

1898: $$

1899: and

1900: $$

1901: \limsup_{\eps,a \to 0}\Es(\Sg{0}{z_{\eps,a}})

1902: \le \Es(\Sg{0}{z}).

1903: $$

1904: Since by Theorem \ref{gsbvcomp} we have $\Es(\Sg{0}{z_{\eps,a}})

1905: \le \liminf_{\eps,a \to 0}\Es(\Sg{0}{z_{\eps,a}})$, we conclude that

1906: $$

1907: \lim_{\eps,a \to 0}\Es(\Sg{0}{z_{\eps,a}})

1908: =\Es(\Sg{0}{z}).

1909: $$

1910: Let us set for every $\eps,a$

1911: \begin{equation*}

1912: %\label{defgammazero}

1913: \Gamma^0_{\eps,a}:=\Sg{0}{z_{\eps,a}}.

1914: \end{equation*}

1915: We have that

1916: \begin{equation*}

1917: %\label{conveszero}

1918: \lim_{\eps,a \to 0}\Es(\Gamma^0_{\eps,a})=

1919: \Es(\Gamma^0).

1920: \end{equation*}

1921: \par

1922: Let us come to the second part of the proof.

1923: Let us consider $(\eps_n,a_n)_{n \in \N}$ such that

1924: $\eps_n \to 0$ and $a_n \to 0$. If we prove that

1925: $(F_{\eps_n,a_n})_{n \in \N}$

1926: $\Gamma${-}converges to $F$

1927: in the strong topology of $L^1(\Om;\R^2)$, the proposition

1928: is proved since the sequence is arbitrary. Since we can

1929: reason up to subsequences, it is not restrictive to assume

1930: $a_n \searrow 0$.

1931: \par

1932: Let us start with the $\Gamma${-}limsup inequality

1933: considering $v \in GSBV^p_q(\Om;\R^2),$ with

1934: $S(v) \subseteq \OmBb$. For any $n$ fixed,

1935: by Proposition \ref{piecetransf2} there

1936: exists $\tilde{v}_{\eps,a_n} \in \afeanom$ 

1937: such that for $\eps \to 0$

1938: $$

1939: \nabla \tilde{v}_{\eps,a_n} \to \nabla v

1940: \quad\quad

1941: \text{ strongly in } L^p(\Om;\msd),

1942: $$

1943: $$

1944: \tilde{v}_{\eps,a_n} \to v

1945: \quad\quad

1946: \text{ strongly in } L^q(\Om;\R^2),

1947: $$

1948: and such that

1949: $$

1950: \limsup_{\eps \to 0}

1951: \Es(\Sg{g_\eps}{\tilde{v}_{\eps,a_n}} \setminus

1952: \Gamma^0_{\eps,a_n}) \le

1953: \mu(a_n) \Es(\Sg{g_\eps}{v} \setminus \Gamma^0)

1954: $$

1955: with $\mu(a) \to 1$ as $a \to 0$.

1956: For every $m \in \N$ let $\eps^m$ be

1957: such that for all $\eps \le \eps^m$

1958: $$

1959: \Es(\Sg{g_\eps}{\tilde{v}_{\eps,a_m}} \setminus

1960: \Gamma^0_{\eps,a_m}) \le

1961: \mu(a_m)\Es(\Sg{g}{v} \setminus \Gamma^0)+a_m,

1962: $$

1963: and

1964: $$

1965: \|\nabla \tilde{v}_{\eps,a_m} -\nabla v\|_{L^p(\Om;\msd)} \le a_m,

1966: \quad\quad

1967: \|\tilde{v}_{\eps,a_m} -v\|_{L^q(\Om;\R^2)} \le a_m.

1968: $$

1969: We can assume $\eps^m \searrow 0$. Setting

1970: \begin{equation*}

1971: %\label{defw}

1972: v_{\eps_n,a_n}:=

1973: \begin{cases}

1974: \tilde{v}_{\eps_n,a_m}

1975: & \eps^{m+1}<\eps_n \le \eps^m,\,\, n \ge m, \\

1976: \tilde{v}_{\eps_n,a_n}

1977: & \eps^{m+1}<\eps_n \le \eps^m,\,\, n<m,

1978: \end{cases}

1979: \end{equation*}

1980: we have that

1981: $$

1982: \lim_n\nabla v_{\eps_n,a_n}=\nabla v

1983: \quad\text{ strongly in }L^p(\Om;\msd),

1984: $$

1985: $$

1986: \lim_n v_{\eps_n,a_n}=v

1987: \quad\text{ strongly in }L^q(\Om;\R^2),

1988: $$

1989: and

1990: $$

1991: \limsup_n\Es(\Sg{g_\eps}{v_{\eps_n,a_n}}

1992: \setminus \Gamma^0_{\eps,a}) \le

1993: \Es(\Sg{g}{v} \setminus \Gamma^0).

1994: $$

1995: Then we get

1996: \begin{align*}

1997: \limsup_n

1998: F_{\eps_n,a_n}(v_{\eps_n,a_n}) &\le

1999: \limsup_n \Eb(0)(v_{\eps_n,a_n})+

2000: \limsup_n

2001: \Es(\Sg{g_{\eps_n}}{v_{\eps_n,a_n}} \setminus \Gamma^0_{\eps_n,a_n}) \\

2002: &\le \Eb(0)(v)+\Es(\Sg{g}{v} \setminus \Gamma^0)=F(v),

2003: \end{align*}

2004: so that the $\Gamma${-}limsup inequality holds.

2005: \par

2006: Let us come to the $\Gamma${-}liminf inequality.

2007: Let $v_n,v \in L^1(\Om;\R^2)$ be

2008: such that $v_n \to v$ strongly in $L^1(\Om;\R^2)$ and

2009: $\liminf_n F_{\eps_n,a_n}(v_n)<+\infty$.

2010: By Theorem \ref{gsbvcomp}, we have

2011: $v \in GSBV^p_q(\Om;\R^2)$ with

2012: $S(v) \tsub \OmBb$ and

2013: $$

2014: \Eb(0)(v) \le \liminf_n \Eb(0)(v_n).

2015: $$

2016: Let us consider $\Om'$ defined in \eqref{omprimo}.

2017: Let us extend $g_{\eps_n}$ and $g$ to

2018: $W^{1,p}(\Om';\R^2) \cap L^q(\Om';\R^2)$

2019: in such a way that

2020: $g_{\eps_n} \to g$ strongly in

2021: $W^{1,p}(\Om';\R^2) \cap L^q(\Om';\R^2)$,

2022: and let us also extend $v_n,v$ to

2023: $\Om'$ setting $v_n=g_{\eps_n}$ and

2024: $v=g$ on $\Om_D$. We indicate these

2025: extensions with $w_n$ and $w$ respectively.

2026: Let us also set $z_{\eps_n,a_n}=z=0$ on $\Om_D$,

2027: where $z_{\eps_n,a_n}$ and $z$ are such that

2028: $\Gamma^0_{\eps,a}=z_{\eps_n,a_n}$ and $\Gamma^0=S(z)$.

2029: We indicate these extension by $\zeta_{\eps_n,a_n}$ and

2030: $\zeta$ respectively.

2031: Then for every $\eta>0$ we have by Theorem

2032: \ref{gsbvcomp}

2033: $$

2034: \Es(S(w+\eta \zeta)) \le \liminf_n

2035: \Es( S(w_n+\eta \zeta_{\eps_n,a_n})).

2036: $$

2037: Since for a.e. $\eta>0$ we have

2038: $S(w+\eta \zeta)=S(w) \cup S(\zeta)$ and

2039: $S(w_n+\eta \zeta_{\eps_n,a_n})=S(w_n) \cup

2040: S(\zeta_{\eps_n,a_n})$, we deduce that

2041: $$

2042: \Es(\Sg{g}{v} \cup \Gamma^0) \le

2043: \liminf_n \Es(\Sg{g_{\eps_n}}{v_n} \cup

2044: \Gamma^0_{\eps_n,a_n}).

2045: $$

2046: Since by assumption

2047: $\Es(\Gamma^0_{\eps_n,a_n}) \to \Es(\Gamma^0)$,

2048: we conclude that

2049: $$

2050: \Es(\Sg{g}{v} \setminus \Gamma^0) \le

2051: \liminf_n \Es(\Sg{g_{\eps_n}}{v_n} \setminus

2052: \Gamma^0_{\eps_n,a_n}).

2053: $$

2054: We deduce that

2055: $$

2056: \Eb(0)(v)+ \Es(\Sg{g}{v} \setminus \Gamma^0) \le

2057: \liminf_n

2058: \left[ \Eb(0)(v_n)+ \Es(\Sg{g_{\eps_n}}{v_n}

2059: \setminus \Gamma^0_{\eps_n,a_n}) \right]

2060: $$

2061: that is

2062: $$

2063: F(v) \le \liminf_n F_{\eps_n,a_n}(v_n).

2064: $$

2065: The $\Gamma${-}liminf inequality holds, and so

2066: the proof is concluded.

2067: \end{proof}

2068: 

2069: %%%%Evoluzione discreta%%%

2070: \section{The discontinuous finite element approximation}

2071: \label{devol}

2072: In this section we construct a discrete approximation

2073: of the quasistatic evolution

2074: of brittle fractures proposed in \cite{DMFT} and

2075: described in the Preliminaries:

2076: the discretization is done both in space and time.

2077: Let us consider

2078: $$

2079: g_\eps \in W^{1,1}([0,T];

2080: W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)),

2081: \quad

2082: g_\eps(t) \in \afeom \text{ for all }t \in [0,T],

2083: $$

2084: where $\afeom$ is defined in \eqref{affini}.

2085: Let $\delta>0$, and

2086: let $N_\delta$ be the largest integer such that

2087: $\delta (N_\delta-1) < T$; we set

2088: $t_i^\delta:=i\delta$ for

2089: $0\le i \le N_\delta-1$,

2090: $t^\delta_{N_\delta}:=T$ and

2091: $g_\eps^{\delta,i}:=g_\eps(t_i^\delta)$.

2092: Let $\Gamma^0 \in \gadmea$ be a preexisting crack in $\Om$,

2093: where $\gadmea$ is defined in \eqref{gammaomea}.

2094: 

2095: \begin{proposition}

2096: \label{discrevol}

2097: Let $\eps>0$, $a \in ]0,\frac{1}{2}[$ and

2098: $\delta>0$ be fixed. Then for all

2099: $i=0, \ldots, N_\delta$ there exists

2100: $u^{\delta,i}_{\eps,a} \in \afeaomb$

2101: such that, setting

2102: \begin{equation*}

2103: \Gamma^{\delta,i}_{\eps,a}:=

2104: \Gamma^0 \cup \bigcup_{r=0}^i

2105: \Sg{g_\eps^{\delta,r}}{u^{\delta,r}_{\eps,a}},

2106: \end{equation*}

2107: we have for all

2108: $v \in \afeaomb$

2109: \begin{equation}

2110: \label{MSdiscr}

2111: \Eb(0)(u^{\delta,0}_{\eps,a})+

2112: \Es \left(

2113: \Sg{g_\eps^{\delta,0}}{u^{\delta,0}_{\eps,a}}

2114: \setminus \Gamma^0 \right)

2115: \le \Eb(0)(v)+

2116: \Es \left( \Sg{g_\eps^{\delta,0}}{v}

2117: \setminus \Gamma^0 \right),

2118: \end{equation}

2119: and for $1 \le i \le N_\delta$

2120: \begin{equation}

2121: \label{piecemin}

2122: \Eb(t^\delta_i)(u^{\delta,i}_{\eps,a})+

2123: \Es\left( \Sg{g_\eps^{\delta,i}}{u^{\delta,i}_{\eps,a}}

2124: \setminus \Gamma^{\delta, i-1}_{\eps,a} \right)

2125: \le \Eb(t^\delta_{i})(v)+

2126: \Es\left( \Sg{g_\eps^{\delta,i}}{v}

2127: \setminus \Gamma^{\delta, i-1}_{\eps,a} \right).

2128: \end{equation}

2129: \end{proposition}

2130: 

2131: \begin{proof}

2132: Let $u^{\delta,0}_{\eps,a}$ be a minimum of the

2133: following problem

2134: \begin{equation}

2135: \label{step0}

2136: \min_{u \in \afeaomb}

2137: \left\{ \Eb(0)(u)+

2138: \Es(\Sg{g_\eps^{\delta,0}}{u} \setminus \Gamma^0)\right\}.

2139: \end{equation}

2140: We set $\Gamma^{\delta,0}_{\eps,a}:= \Gamma^0 \cup

2141: \Sg{g_\eps^{\delta,0}}{u^{\delta,0}_{\eps,a}}$.

2142: Recursively, supposing to have constructed

2143: $u^{\delta,i-1}_{\eps,a}$ and

2144: $\Gamma^{\delta,i-1}_{\eps,a}$, let

2145: $u^{\delta,i}_{\eps,a}$ be a minimum for

2146: \begin{equation}

2147: \label{stepj}

2148: \min_{u \in \afeaomb}

2149: \left\{ \Eb(t^\delta_i)(u)+

2150: \Es(\Sg{g_\eps^{\delta,i}}{u}

2151: \setminus \Gamma^{\delta,i-1}_{\eps,a})

2152: \right\}.

2153: \end{equation}

2154: We set $\Gamma^{\delta,i}_{\eps,a}:=

2155: \Gamma^{\delta,i-1}_{\eps,a} \cup

2156: \Sg{g_\eps^{\delta,i}}{u^{\delta,i}_{\eps,a}}$.

2157: It is clear by construction that

2158: \eqref{MSdiscr} and \eqref{piecemin} hold.

2159: \par

2160: Let us prove that problem \eqref{stepj} admits a

2161: solution, problem \eqref{step0} being similar.

2162: Let $(u_n)_{n \in \N}$ 

2163: be a minimizing sequence for problem

2164: \eqref{stepj}: since

2165: $g_\eps^{\delta,i}$ is an admissible test function,

2166: we deduce that for $n$ large

2167: \begin{equation*}

2168: \Eb(t^\delta_i)(u_n)+ \Es \left( \Sg{g_\eps^{\delta,i}}{u_n}

2169: \setminus \Gamma^{\delta,i-1}_{\eps,a} \right) \le

2170: \Eb(t^\delta_i)(g_\eps^{\delta,i})+1.

2171: \end{equation*}

2172: By the lower estimate on the elastic energy \eqref{totenerbelow},

2173: we deduce that for $n$ large

2174: \begin{equation}

2175: \label{boundstepj}

2176: \alpha^{\Eub}_0 \left( \|\nabla u_n\|^p_p

2177: +\|u_n\|^q_q \right)

2178: +\Es \left( \Sg{g_\eps^{\delta,i}}{u_n}

2179: \setminus \Gamma^{\delta,i-1}_{\eps,a} \right)

2180: \le \Eb(t^\delta_i)(g_\eps^{\delta,i})+1+

2181: \beta^\eub_0.

2182: \end{equation}

2183: Let us indicate by $T_n^1, \ldots, T_n^k$ the

2184: triangles of $\tb(u_n)$.

2185: Up to a subsequence, there exists

2186: $\tb=\{T^1, \ldots, T^k\} \in \treaom$ such that for all

2187: $i=1, \ldots, k$ we have $T_n^i \to T^i$ in the Hausdorff metric

2188: (see Section \ref{notprel} for a precise definition). Let us consider

2189: $T^i \in \tb$, and let $\tilde{T}^i$ be contained in

2190: the interior of $T^i$. For $n$

2191: large enough, $\tilde{T}^i$ is contained in the

2192: interior of $T^i_n$; moreover

2193: $(u_n)_{|\tilde{T}^i}$ is affine and by

2194: \eqref{boundstepj} we have

2195: $\int_{\tilde{T}^i} |\nabla u_n|^p \,dx +

2196: \|u_n\|_{L^\infty(\tilde{T}^i;\R^2)}

2197: \le C$, with $C$ independent of $n$.

2198: We deduce that there exists a function $u^i$

2199: affine on $\tilde{T}^i$ such that up to a

2200: subsequence $u_n \to u$ uniformly on $\tilde{T}^i$.

2201: Since $\tilde{T}^i$ is arbitrary,

2202: it turns out that $u^i$ is actually defined on

2203: $T^i$ and

2204: \begin{equation*}

2205: \Eb(t^\delta_i)_{|T^i}(u^i) \le

2206: \liminf_n \Eb(t^\delta_i)_{|T^i}(u_n^i),

2207: \end{equation*}

2208: where $\Eb(t^\delta_i)_{|T^i}$ denotes the restriction

2209: of $\Eb(t^\delta_i)$ to the

2210: maps defined on $T^i$.

2211: Let $u \in \afeaom$ be such that $u=u^i$ on $T^i$ for every

2212: $i=1,\dots,k$: we have

2213: \begin{equation*}

2214: \Eb(t^\delta_i)(u) \le \liminf_n \Eb(t^\delta_i)(u_n).

2215: \end{equation*}

2216: On the other hand, it is easy to see that

2217: $\Sg{g_\eps^{\delta,i}}{u}$ is contained in the Hausdorff limit

2218: of $\Sg{g_\eps^{\delta,i}}{u_n}$, and so $u \in \afeaomb$;

2219: moreover we deduce

2220: \begin{equation*}

2221: \Es \left( \Sg{g_\eps^{\delta,i}}{u} \setminus

2222: \Gamma^{\delta,i-1}_{\eps,a}

2223: \right)

2224: \le

2225: \liminf_n \Es \left( \Sg{g_\eps^{\delta,i}}{u_n} \setminus

2226: \Gamma^{\delta,i-1}_{\eps,a}

2227: \right).

2228: \end{equation*}

2229: We conclude that $u$ is a minimum point for the problem

2230: \eqref{stepj}, so that the proof is concluded.

2231: \end{proof}

2232: 

2233: The following estimate on the total energy is essential

2234: in order to study the asymptotic behavior of

2235: the discrete evolution as $\delta \to 0$, $\eps \to 0$

2236: and $a \to 0$.

2237: Let us set $u^\delta_{\eps,a}(t):=u^{\delta,i}_{\eps,a}$

2238: for all $t^\delta_i \le t <t^\delta_{i+1}$ and

2239: $i=0,\dots,N_\delta-1$, $u^\delta_{\eps,a}(T)=

2240: u^{\delta,N_\delta}_{\eps,a}$.

2241: 

2242: \begin{proposition}

2243: \label{dener}

2244: For all $0 \le j \le i \le N_{\delta}$ we have

2245: \begin{multline}

2246: \label{discrenergy}

2247: \eub(t^\delta_i)(u^{\delta,i}_{\eps,a},\Gamma^{\delta,i}_{\eps,a})

2248:  \le

2249: \eub(t^\delta_j)(u^{\delta,j}_{\eps,a},\Gamma^{\delta,j}_{\eps,a})

2250: +\int_{t^\delta_j}^{t^\delta_i}

2251: \langle \partial \ws(\nabla u^\delta_{\eps,a}(\tau)),

2252: \nabla \dot{g}_\eps(\tau) \rangle \,d\tau \\

2253: -\int_{t^\delta_j}^{t^\delta_i}

2254: \dot{\fs}(\tau)(u^\delta_{\eps,a}(\tau))\,d\tau

2255: -\int_{t^\delta_j}^{t^\delta_i}

2256: \langle \partial \fs(\tau)(u^\delta_{\eps,a}(\tau)),

2257: \dot{g}_\eps(\tau) \rangle \,d\tau \\

2258: -\int_{t^\delta_j}^{t^\delta_i}

2259: \dot{\gs}(\tau)(u^\delta_{\eps,a}(\tau))\,d\tau

2260: -\int_{t^\delta_j}^{t^\delta_i}

2261: \langle \partial \gs(\tau)(u^\delta_{\eps,a}(\tau)),

2262: \dot{g}_\eps(\tau) \rangle \,d\tau

2263: +e^\delta_{\eps,a},

2264: \end{multline}

2265: where $e^\delta_{\eps,a} \to 0$ as $\delta \to 0$ uniformly in

2266: $\eps$ and $a$.

2267: \end{proposition}

2268: 

2269: \begin{proof}

2270: By the minimality property \eqref{piecemin}, comparing

2271: $u^{\delta,i}_{\eps,a}$ with

2272: $u^{\delta,i-1}_{\eps,a}-g_\eps^{\delta,i-1}+g_\eps^{\delta,i}$

2273: we get

2274: \begin{multline}

2275: \label{comparison}

2276: \ws(\nabla u^{\delta,i}_{\eps,a})-

2277: \fs(t^\delta_{i})(u^{\delta,i}_{\eps,a})

2278: -\gs(t^\delta_{i})(u^{\delta,i}_{\eps,a})+

2279: \Es(\Sg{g^\delta_i}{u^{\delta,i}_{\eps,a}}

2280: \setminus \Gamma^\delta_{i-1}) \\

2281: \le \ws(\nabla u^{\delta,i-1}_{\eps,a}-

2282: \nabla  g_\eps^{\delta,i-1}+\nabla  g_\eps^{\delta,i})

2283: -\fs(t^\delta_{i})(u^{\delta,i-1}_{\eps,a}-

2284: g_\eps^{\delta,i-1}+ g_\eps^{\delta,i}) \\

2285: -\gs(t^\delta_{i})(u^{\delta,i-1}_{\eps,a}-

2286: g_\eps^{\delta,i-1}+ g_\eps^{\delta,i}).

2287: \end{multline}

2288: We have

2289: \begin{multline}

2290: \label{ws}

2291: \ws(\nabla u^{\delta,i-1}_{\eps,a}-

2292: \nabla  g_\eps^{\delta,i-1}+\nabla g_\eps^{\delta,i})

2293: = \ws(\nabla u^{\delta,i-1}_{\eps,a}) \\

2294: +\langle \partial

2295: \ws(\nabla u^{\delta,i-1}_{\eps,a}+ \vartheta_{\eps,a}^{\delta,i-1}

2296: (\nabla  g_\eps^{\delta,i}-\nabla  g_\eps^{\delta,i-1})),

2297: \nabla  g_\eps^{\delta,i}-\nabla  g_\eps^{\delta,i-1} \rangle \\

2298: =\ws(\nabla u^{\delta,i-1}_{\eps,a})+

2299: \int_{t^\delta_{i-1}}^{t^\delta_i}

2300: \langle \partial \ws(\nabla u^{\delta}_{\eps,a}(\tau)+

2301: v_{\eps,a}^\delta(\tau)),

2302: \nabla  \dot{g}_\eps(\tau) \rangle \,d\tau,

2303: \end{multline}

2304: where $\vartheta_{\eps,a}^{\delta,i-1} \in ]0,1[$ and

2305: $v_{\eps,a}^\delta(\tau):= \vartheta_{\eps,a}^{\delta,i-1}

2306: (\nabla g_\eps^{\delta,i}-  \nabla g_\eps^{\delta,i-1})$

2307: for all $\tau \in [t^\delta_{i-1}, t^\delta_i[$.

2308: \par

2309: Similarly we obtain

2310: \begin{equation}

2311: \label{fs}

2312: \fs(t^\delta_i)(u^{\delta,i-1}_{\eps,a}

2313: -g_\eps^{\delta,i-1}+  g_\eps^{\delta,i})

2314: = \fs(t^\delta_i)(u^{\delta,i-1}_{\eps,a})+

2315: \int_{t^\delta_{i-1}}^{t^\delta_i}

2316: \langle \partial

2317: \fs(t^\delta_i)(u^{\delta}_{\eps,a}(\tau)+ w_{\eps,a}^\delta(\tau)),

2318: \dot{g}_\eps(\tau) \rangle \,d\tau,

2319: \end{equation}

2320: and

2321: \begin{equation}

2322: \label{gs}

2323: \gs(t^\delta_i)(u^{\delta,i-1}_{\eps,a}

2324: - g_\eps^{\delta,i-1}+ g_\eps^{\delta,i})

2325: = \gs(t^\delta_i)(u^{\delta,i-1}_{\eps,a})+

2326: \int_{t^\delta_{i-1}}^{t^\delta_i}

2327: \langle \partial

2328: \gs(t^\delta_i)(u^{\delta}_{\eps,a}(\tau)+ z_{\eps,a}^\delta(\tau)),

2329: \dot{g}_\eps(\tau) \rangle \,d\tau,

2330: \end{equation}

2331: where $w_{\eps,a}^\delta(\tau):= \lambda_{\eps,a}^{\delta,i-1}

2332: (g_\eps^{\delta,i}-g_\eps^{\delta,i-1})$,

2333: $z_{\eps,a}^\delta(\tau):=\nu_{\eps,a}^{\delta,i-1}

2334: (g_\eps^{\delta,i}-g_\eps^{\delta,i-1})$

2335: for all $\tau \in [t^\delta_{i-1}, t^\delta_i[$,

2336: and $\lambda_{\eps,a}^{\delta,i-1}, \nu_{\eps,a}^{\delta,i-1}

2337: \in ]0,1[$.

2338: \par

2339: Since by \eqref{ac2bis} we have for

2340: $\tau \in [t^\delta_{i-1},t^\delta_i[$

2341: \begin{multline*}

2342: %\label{fstime}

2343: \langle \partial

2344: \fs(t^\delta_i)(u^{\delta}_{\eps,a}(\tau)+ w_{\eps,a}^\delta(\tau)),

2345:  \dot{g}_\eps(\tau) \rangle -

2346: \langle \partial

2347: \fs(\tau)(u^{\delta}_{\eps,a}(\tau)+ w_{\eps,a}^\delta(\tau)),

2348:  \dot{g}_\eps(\tau) \rangle \\

2349: = \int_{\tau}^{t^\delta_i}

2350: \langle \partial

2351: \dot{\fs}(s)(u^{\delta}_{\eps,a}(\tau)+ w_{\eps,a}^\delta(\tau)),

2352:  \dot{g}_\eps(\tau) \rangle \,ds

2353: \end{multline*}

2354: we get by \eqref{fs4}

2355: \begin{multline}

2356: \label{fstime2}

2357: \left|

2358: \langle \partial

2359: \fs(t^\delta_i)(u^{\delta}_{\eps,a}(\tau)+ w_{\eps,a}^\delta(\tau)),

2360:  \dot{g}_\eps(\tau) \rangle -

2361: \langle \partial \fs(\tau)(u^{\delta}_{\eps,a}(\tau)+

2362: w_{\eps,a}^\delta(\tau)),

2363:  \dot{g}_\eps(\tau) \rangle

2364: \right|  \\

2365: \le \int_{\tau}^{t^\delta_i}

2366: | \langle \partial

2367: \dot{\fs}(s)(u^{\delta}_{\eps,a}(\tau)+

2368: w_{\eps,a}^\delta(\tau)), \dot{g}_\eps(\tau) \rangle |\,ds \\

2369: \le \int_{\tau}^{t^\delta_i}

2370: \left[ \alpha_4^\fs(s) \|u^\delta_{\eps,a}(\tau)+

2371: w_{\eps,a}^\delta(\tau)\|^{\dot{q}-1}_{\dot{q}} +\beta_4^\fs(s) \right]

2372: \|\dot{g}_\eps(\tau)\|_{\dot{q}}\,ds

2373: \le \gamma^{\delta,\eps,a}_\fs \|\dot{g}_\eps(\tau)\|_{\dot{q}},

2374: \end{multline}

2375: where

2376: \begin{equation*}

2377: %\label{gammaf}

2378: \gamma^{\delta,\eps,a}_\fs:= \max_{1 \le i \le N_\delta}

2379: \left(

2380: \|u^{\delta,i-1}_{\eps,a}+

2381: \lambda_{\eps,a}^{\delta,i-1}

2382: (g_\eps^{\delta,i}-g_\eps^{\delta,i-1})\|_{\dot{q}-1}^{\dot{q}}

2383: \int_{t^\delta_{i-1}}^{t^\delta_i} \alpha_4^\fs(s) \,ds

2384: +\int_{t^\delta_{i-1}}^{t^\delta_i} \beta_4^\fs(s) \,ds

2385: \right).

2386: \end{equation*}

2387: Similarly we obtain

2388: \begin{equation}

2389: \label{gstime}

2390: \left|

2391: \langle \partial \gs(t^\delta_i)(u^{\delta}_{\eps,a}(\tau)+

2392: z_{\eps,a}^\delta(\tau)),

2393: \dot{g}_\eps(\tau) \rangle -

2394: \langle \partial \gs(\tau)(u^{\delta}_{\eps,a}(\tau)+

2395: z_{\eps,a}^\delta(\tau)),

2396: \dot{g}_\eps(\tau) \rangle

2397: \right|

2398: \le \gamma^{\delta,\eps,a}_\gs \| \dot{g}_\eps(\tau)\|_{r, \partial_S \Om},

2399: \end{equation}

2400: where

2401: \begin{equation*}

2402: %\label{gammag}

2403: \gamma^{\delta,\eps,a}_\gs:= \max_{1 \le i \le N_\delta}

2404: \left(

2405: \|u^{\delta,i-1}_{\eps,a}+ \nu_{\eps,a}^{\delta,i-1}

2406: (g_\eps^{\delta,i}-g_\eps^{\delta,i-1})\|^{r-1}_{r, \partial_S \Om}

2407: \int_{t^\delta_{i-1}}^{t^\delta_i} a_4^\gs(s) \,ds

2408: +\int_{t^\delta_{i-1}}^{t^\delta_i} b_4^\gs(s) \,ds

2409: \right).

2410: \end{equation*}

2411: From \eqref{comparison}, taking into account \eqref{ws},

2412: \eqref{fs}, \eqref{gs}, \eqref{fstime2}, \eqref{gstime},

2413: we have

2414: \begin{multline}

2415: \label{denergy}

2416: \eub(t^\delta_i)(u^{\delta,i}_{\eps,a},

2417: \Gamma^{\delta,i}_{\eps,a}) \le

2418: \eub(t^\delta_{i-1})(u^{\delta,{i-1}}_{\eps,a},

2419: \Gamma^{\delta,i-1}_{\eps,a})

2420: +\int_{t^\delta_{i-1}}^{t^\delta_i}

2421: \langle \partial \ws(\nabla u^\delta_{\eps,a}(\tau)

2422: +v_{\eps,a}^\delta(\tau)),

2423: \nabla  \dot{g}_\eps(\tau) \rangle \,d\tau \\

2424: -\int_{t^\delta_{i-1}}^{t^\delta_i}

2425: \dot{\fs}(\tau)(u^\delta_{\eps,a}(\tau)) \,d\tau-

2426: \int_{t^\delta_{i-1}}^{t^\delta_i}

2427: \langle \partial \fs(\tau)(u^\delta_{\eps,a}(\tau)

2428: +w_{\eps,a}^\delta(\tau)),  \dot{g}_\eps(\tau) \rangle \,d\tau \\

2429: -\int_{t^\delta_{i-1}}^{t^\delta_i}

2430: \dot{\gs}(\tau)(u^\delta_{\eps,a}(\tau)) \,d\tau-

2431: \int_{t^\delta_{i-1}}^{t^\delta_i}

2432: \langle \partial

2433: \gs(\tau)(u^\delta_{\eps,a}(\tau)+z_{\eps,a}^\delta(\tau)),

2434: \dot{g}_\eps(\tau) \rangle \,d\tau \\

2435: +\gamma^{\delta,\eps,a}_\fs\int_{t^\delta_{i-1}}^{t^\delta_i}

2436: \| \dot{g}_\eps(\tau)\|_{\dot{q}} \,d\tau

2437: +\gamma^{\delta,\eps,a}_\gs \int_{t^\delta_{i-1}}^{t^\delta_i}

2438: \| \dot{g}_\eps(\tau)\|_{r, \partial_S \Om} \,d\tau.

2439: \end{multline}

2440: Taking now $0 \le j \le i \le N_\delta$, summing in

2441: \eqref{denergy} form $t^\delta_j$ to $t^\delta_i$, we obtain

2442: \begin{multline}

2443: \label{denergy2}

2444: \eub(t^\delta_i)(u^{\delta,i}_{\eps,a},

2445: \Gamma^{\delta,i}_{\eps,a}) \le

2446: \eub(t^\delta_j)(u^{\delta,j}_{\eps,a},

2447: \Gamma^{\delta,j}_{\eps,a})

2448: +\int_{t^\delta_j}^{t^\delta_i}

2449: \langle \partial

2450: \ws(\nabla u^\delta_{\eps,a}(\tau)+v_{\eps,a}^\delta(\tau)),

2451: \nabla\dot{g}_\eps(\tau) \rangle \,d\tau \\

2452: -\int_{t^\delta_j}^{t^\delta_i}

2453: \dot{\fs}(\tau)(u^\delta_{\eps,a}(\tau)) \,d\tau-

2454: \int_{t^\delta_j}^{t^\delta_i}

2455: \langle \partial

2456: \fs(\tau)(u^\delta_{\eps,a}(\tau)+w_{\eps,a}^\delta(\tau)),

2457: \dot{g}_\eps(\tau) \rangle \,d\tau \\

2458: -\int_{t^\delta_j}^{t^\delta_i}

2459: \dot{\gs}(\tau)(u^\delta_{\eps,a}(\tau)) \,d\tau-

2460: \int_{t^\delta_j}^{t^\delta_i}

2461: \langle \partial

2462: \gs(\tau)(u^\delta_{\eps,a}(\tau)+z_{\eps,a}^\delta(\tau)),

2463: \dot{g}_\eps(\tau) \rangle \,d\tau \\

2464: +\gamma^{\delta,\eps,a}_\fs\int_{t^\delta_j}^{t^\delta_i}

2465: \| \dot{g}_\eps(\tau)\|_{\dot{q}} \,d\tau

2466: +\gamma^{\delta,\eps,a}_\gs \int_{t^\delta_j}^{t^\delta_i}

2467: \|\dot{g}_\eps(\tau)\|_{r, \partial_S \Om} \,d\tau.

2468: \end{multline}

2469: Setting

2470: \begin{multline}

2471: \label{opiccolo}

2472: e^\delta_{\eps,a}:=

2473: \int_0^1

2474: |\langle \partial

2475: \ws(\nabla u^\delta_{\eps,a}(\tau)+v_{\eps,a}^\delta(\tau)),

2476: \nabla\dot{g}_\eps(\tau) \rangle

2477: -\langle \partial \ws(\nabla u^\delta_{\eps,a}(\tau)),

2478: \nabla\dot{g}_\eps(\tau) \rangle| \,d\tau \\

2479: +\int_0^1

2480: |\langle \partial

2481: \fs(\tau)(u^\delta_{\eps,a}(\tau)+w_{\eps,a}^\delta(\tau)),

2482: \dot{g}_\eps(\tau) \rangle

2483: -\langle \partial \fs(\tau)(u^\delta_{\eps,a}(\tau)),

2484: \dot{g}_\eps(\tau) \rangle| \,d\tau \\

2485: +\int_0^1

2486: |\langle \partial

2487: \gs(\tau)(u^\delta_{\eps,a}(\tau)+z_{\eps,a}^\delta(\tau)),

2488: \dot{g}_\eps(\tau) \rangle

2489: -\langle \partial \gs(\tau)(u^\delta_{\eps,a}(\tau)),

2490: \dot{g}_\eps(\tau) \rangle| \,d\tau \\

2491: +\gamma^{\delta,\eps,a}_\fs\int_0^1

2492:  \|\dot{g}_\eps(\tau)\|_{\dot{q}} \,d\tau

2493: +\gamma^{\delta,\eps,a}_\gs \int_0^1

2494:  \| \dot{g}_\eps(\tau)\|_{r, \partial_S \Om} \,d\tau,

2495: \end{multline}

2496: from \eqref{denergy2} we formally obtain \eqref{discrenergy}.

2497: Let us prove that $e^\delta_{|eps,a} \to 0$

2498: as $\delta \to 0$ uniformly in $\eps$ and $a$. 

2499: By \eqref{piecemin}, comparing

2500: $u^{\delta,i}_{\eps,a}$ with $g_\eps^{\delta,i}$,

2501: and taking into account \eqref{totenerbelow},

2502: we get for all $i=1,\dots,N_\delta$,

2503: $$

2504: \|\nabla u^{\delta,i}_{\eps,a}\|_p+

2505: \|u^{\delta,i}_{\eps,a}\|_{q}

2506: \le C',

2507: $$

2508: where

2509: $$

2510: C':=\frac{1}{\alpha^\Eub_0} \max_{i=0,\dots,N_\delta}

2511: \left( \Eb(t^\delta_i)(g_\eps^{\delta,i})+ \beta^\Eub_0 \right).

2512: $$

2513: Since $\Om_S$ is Lipschitz, there exists $K_S>0$

2514: depending only on $p,q$ such that

2515: $$

2516: \|u\|_{p,\Om_S} \le K_S(\|\nabla u\|_{p,\Om_S}+\|u\|_{q,\Om_S})

2517: $$

2518: for all $u \in W^{1,p}(\Om_S;\R^2) \cap L^q(\Om_S;\R^2)$.

2519: Taking into account \eqref{sf1}, we obtain

2520: $$

2521: \|u^{\delta,i}_{\eps,a}\|_{r, \partial_S \Om} \le C''

2522: $$

2523: for some $C''$ independent of $\delta$.

2524: Since $g_\eps \in W^{1,1}([0,T];W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2))$,

2525: we obtain that for all $\tau \in [0,T]$

2526: as $\delta \to 0$

2527: $$

2528: v_{\eps,a}^\delta(\tau) \to 0 \text{ strongly in }L^p(\Om;\msd),

2529: $$

2530: $$

2531: w_{\eps,a}^\delta(\tau) \to 0 \text{ strongly in } L^{q}(\Om;\R^2),

2532: $$

2533: $$

2534: z_{\eps,a}^\delta(\tau) \to 0 \text{ strongly in }

2535: L^{r}(\partial_S \Om;\R^2).

2536: $$

2537: Moreover $\gamma^{\delta,\eps,a}_\fs \to 0$ and 

2538: $\gamma^{\delta,\eps,a}_\gs \to 0$ as

2539: $\delta \to 0$. Finally, by

2540: \cite[Lemma 4.9]{DMFT}, as $\delta \to 0$

2541: we have that for all $\tau \in [0,T]$

2542: $$

2543: |\langle \partial

2544: \ws(\nabla u^\delta_{\eps,a}(\tau)+v_{\eps,a}^\delta(\tau)),

2545: \nabla\dot{g}_\eps(\tau) \rangle

2546: -\langle \partial

2547: \ws(\nabla u^\delta_{\eps,a}(\tau)),

2548: \nabla\dot{g}_\eps(\tau) \rangle| \to 0,

2549: $$

2550: $$

2551: |\langle \partial

2552: \fs(\tau)(u^\delta_{\eps,a}(\tau)+w_{\eps,a}^\delta(\tau)),

2553: \dot{g}_\eps(\tau) \rangle

2554: -\langle \partial \fs(\tau)(u^\delta_{\eps,a}(\tau)),

2555: \dot{g}_\eps(\tau) \rangle| \to 0,

2556: $$

2557: $$

2558: |\langle \partial

2559: \gs(\tau)(u^\delta_{\eps,a}(\tau)+z_{\eps,a}^\delta(\tau)),

2560:  \dot{g}_\eps(\tau) \rangle

2561: -\langle \partial \gs(\tau)(u^\delta_{\eps,a}(\tau)),

2562: \dot{g}_\eps(\tau) \rangle| \to 0,

2563: $$

2564: uniformly in $\eps,a$.

2565: By the Dominated Convergence Theorem, we conclude that

2566: $e^\delta_{\eps,a} \to 0$ as $\delta \to 0$ uniformly in $\eps$ and $a$,

2567: and the proof is finished.

2568: \end{proof}

2569: 

2570: %%%APPROSSIMAZIONE%%%

2571: \section{The approximation result}

2572: \label{approx}

2573: In this section we study the asymptotic behavior of the

2574: discrete evolution obtained in Section

2575: \ref{devol}.

2576: Let us consider a given initial crack

2577: $\Gamma^0 \in \gadm$ where $\gadm$ is defined as in

2578: \eqref{gammaom}, and a boundary deformation

2579: $g \in W^{1,1}\big([0,T], W^{1,p}(\Om;\R^2) 

2580: \cap L^q(\Om;\R^2)\big)$.

2581: Let $\Gamma^0_{\eps,a} \in \gadmea$ be an approximation

2582: of $\Gamma^0$ in the sense of Proposition \ref{gammazero},

2583: and let us consider

2584: $$

2585: g_\eps \in W^{1,1}\big([0,T], W^{1,p}(\Om;\R^2)

2586: \cap L^q(\Om;\R^2)\big),

2587: $$

2588: such that

2589: $$

2590: g_\eps(t) \in \afeom \text{ for all }t \in [0,T],

2591: $$

2592: and such that for $\eps \to 0$

2593: \begin{equation*}

2594: %\label{strconv}

2595: g_\eps \to g

2596: \quad \mbox{ strongly in }W^{1,1}([0,T],

2597: W^{1,p}(\Om;\R^2) \cap L^q(\Om;\R^2)).

2598: \end{equation*}

2599: Let

2600: \begin{equation*}

2601: %\label{defdevol}

2602: \{(u^{\delta,i}_{\eps,a},\Gamma^{\delta,i}_{\eps,a}),\,i=0, \ldots,N_\delta\}

2603: \end{equation*}

2604: be the discrete evolution relative to the initial crack

2605: $\Gamma^0_{\eps,a}$ and

2606: boundary data $g_\eps$ given by Proposition \ref{discrevol}.

2607: We make the following piecewise constant interpolation in time:

2608: \begin{equation}

2609: \label{discrinterp}

2610: u^\delta_{\eps,a}(t):=u^{\delta,i}_{\eps,a},

2611: \quad\quad

2612: \Gamma^\delta_{\eps,a}(t):=\Gamma^{\delta,i}_{\eps,a},

2613: \quad\quad

2614: g^\delta_\eps(t):=g_\eps(t^\delta_i)

2615: \quad\quad \text{for } t^\delta_i \le t <t^\delta_{i+1},

2616: \end{equation}

2617: $i=0,\dots,N_\delta-1$,

2618: and $u^\delta_{\eps,a}(T):=u^{\delta,N_\delta}_{\eps,a}$,

2619: $\Gamma^\delta_{\eps,a}(T):=\Gamma^{\delta,N_\delta}_{\eps,a}$,

2620: $g^\delta_\eps(T):=g_\eps(T)$.

2621: \par

2622: By Proposition \ref{dener}, for all $v \in \afeaomb$ we have

2623: \begin{equation*}

2624: %\label{MSdiscr2}

2625: \Eb(0)(u^{\delta}_{\eps,a}(0))

2626: +\Es \left( \Sg{g^\delta_\eps(0)}{u^{\delta}_{\eps,a}(0)}

2627: \setminus \Gamma^0_{\eps,a} \right)

2628: \le \Eb(0)(v)+

2629: \Es\left( \Sg{g^\delta_\eps(0)}{v}

2630: \setminus \Gamma^0_{\eps,a}\right),

2631: \end{equation*}

2632: and for all $t \in [t^\delta_i, t^\delta_{i+1}[$ and for all

2633: $v \in \afeaomb$

2634: \begin{equation}

2635: \label{piecemin2*}

2636: \Eb(t^\delta_i)(u^{\delta}_{\eps,a}(t)) \le \Eb(t^\delta_i)(v) +

2637: \Es \left( \Sg{g^\delta_\eps(t)}{v}

2638: \setminus \Gamma^{\delta}_{\eps,a}(t) \right).

2639: \end{equation}

2640: Here $\Eb$ and $\Es$ are defined in

2641: \eqref{elener} and \eqref{crackener}

2642: respectively. Finally for all $0 \le s \le t \le 1$ we have

2643: \begin{align}

2644: \label{discrenergy2*}

2645: \Eub(t^\delta_i)(u^{\delta}_{\eps,a}(t),\Gamma^\delta_{\eps,a}(t))

2646: \le

2647: &\Eub(s^\delta_j)(u^{\delta}_{\eps,a}(s),\Gamma^\delta_{\eps,a}(s))

2648: +\int_{s^\delta_j}^{t^\delta_i}

2649: \langle \partial \ws(\nabla u^\delta_{\eps,a}(\tau)),

2650: \nabla \dot{g}_\eps(\tau) \rangle \,d\tau \\

2651: \nonumber

2652: &-\int_{s^\delta_j}^{t^\delta_i}

2653: \dot{\fs}(\tau)(u^\delta_{\eps,a}(\tau))

2654: -\int_{s^\delta_j}^{t^\delta_i}

2655: \langle \partial \fs(\tau)(u^\delta_{\eps,a}(\tau)),

2656:  \dot{g}_\eps(\tau) \rangle \,d\tau \\

2657: \nonumber

2658: &-\int_{s^\delta_j}^{t^\delta_i}

2659: \dot{\gs}(\tau)(u^\delta_{\eps,a}(\tau))

2660: -\int_{s^\delta_j}^{t^\delta_i}

2661: \langle \partial \gs(\tau)(u^\delta_{\eps,a}(\tau)),

2662: \dot{g}_\eps(\tau) \rangle \,d\tau

2663: +e^\delta_{\eps,a},

2664: \end{align}

2665: where $s^\delta_j \le s <s^\delta_{j+1}$ and

2666: $t^\delta_i \le t <t^\delta_{i+1}$,

2667: $e^{\delta}_{\eps,a}$ is defined as in

2668: \eqref{opiccolo}, and

2669: $\Eub(t)(u,\Gamma)$ is as in \eqref{totalener}.

2670: Recall that $e^{\delta}_{\eps,a} \to 0$ as $\delta \to 0$

2671: uniformly in $\eps,a$.

2672: \par

2673: Comparing $u^{\delta}_{\eps,a}(t)$ with

2674: $g^\delta_\eps(t)$ by \eqref{piecemin2*},

2675: and in view of \eqref{wsb}, \eqref{fs2}, \eqref{fs3},

2676: \eqref{gbou2}, \eqref{gbou3},

2677: \eqref{MSdiscr} and \eqref{ik3},

2678: by \eqref{discrenergy2*} with $s=0$

2679: we deduce that there exists

2680: $C' \in ]0,+\infty[$ such that for all

2681: $t$, $\delta$, $\eps$ and $a$

2682: \begin{equation}

2683: \label{discrenergybis}

2684: \|\nabla u^\delta_{\eps,a}(t)\|_p+\|u^\delta_{\eps,a}(t)\|_q+

2685: \hs^1(\Gamma^\delta_{\eps,a}(t)) \le C'.

2686: \end{equation}

2687: By the time dependence of $\Eb(\cdot,\cdot)$,

2688: in view of \eqref{discrenergybis}, by \eqref{piecemin2*} and 

2689: \eqref{discrenergy2*} we have that there exists

2690: $o^\delta_{\eps,a} \to 0$ as $\delta, \eps \to 0$

2691: uniformly in $a$ such that for all $t \in [0,T]$ and

2692: for all $v \in \afeaomb$

2693: \begin{equation}

2694: \label{piecemin2}

2695: \Eb(t)(u^{\delta}_{\eps,a}(t)) \le \Eb(t)(v) +

2696: \Es \left( \Sg{g^\delta_\eps(t)}{v}

2697: \setminus \Gamma^{\delta}_{\eps,a}(t) \right)+o^\delta_{\eps,a},

2698: \end{equation}

2699: and for all $0 \le s \le t \le T$

2700: \begin{align}

2701: \label{discrenergy2}

2702: \Eub(t)(u^\delta_{\eps,a}(t),\Gamma^\delta_{\eps,a}(t)) \le&

2703: \Eub(s)(u^\delta_{\eps,a}(s),\Gamma^\delta_{\eps,a}(s))

2704: +\int_{s}^{t}

2705: \langle \partial \ws(\nabla u^\delta_{\eps,a}(\tau)),

2706: \nabla \dot{g}_\eps(\tau) \rangle \,d\tau \\

2707: \nonumber

2708: &-\int_{s}^{t}

2709: \dot{\fs}(\tau)(u^\delta_{\eps,a}(\tau))

2710: -\int_{s}^{t}

2711: \langle \partial \fs(\tau)(u^\delta_{\eps,a}(\tau)),

2712:  \dot{g}_\eps(\tau) \rangle \,d\tau \\

2713: \nonumber

2714: &-\int_{s}^{t}

2715: \dot{\gs}(\tau)(u^\delta_{\eps,a}(\tau))

2716: -\int_{s}^{t}

2717: \langle \partial \gs(\tau)(u^\delta_{\eps,a}(\tau)),

2718: \dot{g}_\eps(\tau) \rangle \,d\tau

2719: +o^\delta_{\eps,a}.

2720: \end{align}

2721: \par

2722: Inequality \eqref{discrenergybis} gives a natural precompactness

2723: of $(u^\delta_{\eps,a}(t))$ in

2724: $GSBV^p_q(\Om;\R^2)$. The main result of the paper

2725: is the following.

2726: 

2727: \begin{theorem}

2728: \label{mainthm}

2729: Let $\delta>0$, $\eps>0$, $a \in ]0,\frac{1}{2}[$, and

2730: let $\left \{t \to \left( u_{\eps,a}^\delta(t),

2731: \Gamma_{\eps,a}^\delta(t) \right)\,:\,t \in [0,T] \right\}$

2732: be the discrete evolution

2733: given by \eqref{discrinterp} relative to the initial crack

2734: $\Gamma^0_{\eps,a}$ and the boundary data $g_\eps$.

2735: Then there exist a quasistatic evolution

2736: $\{t \to (u(t),\Gamma(t))\}$ in the sense of Theorem

2737: \ref{qse} and sequences $\delta_n \to 0$, $\eps_n \to 0$,

2738: $a_n \to 0$,

2739: such that setting

2740: $u_n(t):=u^{\delta_n}_{\eps_n,a_n}(t)$ and

2741: $\Gamma_n(t):=\Gamma^{\delta_n}_{\eps_n,a_n}(t)$,

2742: for all $t \in [0,T]$ the following facts hold.

2743: \begin{itemize}

2744: \item[]

2745: \item[(a)]

2746: For every $t \in [0,T]$, $(u_n(t))_{n \in \N}$

2747: is weakly precompact in

2748: $GSBV^p_q(\Om;\R^2)$, and every

2749: accumulation point $\tilde{u}(t)$ is such that

2750: $\Sg{g(t)}{\tilde{u}(t)} \tsub \Gamma(t)$,

2751: \begin{equation}

2752: \label{minimality}

2753: \Eb(t)(\tilde{u}(t)) \le \Eb(t)(v)+

2754: \Es \left(\Sg{g(t)}{v}\setminus \Gamma(t) \right)

2755: \end{equation}

2756: for all $v \in GSBV^p_q(\Om;\R^2)$ with

2757: $S(v) \tsub \OmBb$, and

2758: $$

2759: \Eb(t)(u_n(t)) \to \Eb(t)(\tilde{u}(t)).

2760: $$

2761: Moreover there exists a subsequence of

2762: $(\delta_n, \eps_n, a_n)_{n \in \N}$ (depending on $t$)

2763: such that

2764: $$

2765: u_n(t) \weak u(t)

2766: \quad

2767: \text{ weakly in } GSBV^p_q(\Om; \R^2).

2768: $$

2769: \item[]

2770: \item[(b)]

2771: For every $t \in [0,T]$ we have

2772: \begin{equation}

2773: \label{convenergy}

2774: \Eub(t)(u_n(t),\Gamma_n(t)) \to \Eub(t)(u(t),\Gamma(t));

2775: \end{equation}

2776: more precisely elastic and surface energies

2777: converge separately, that is

2778: \begin{equation}

2779: \label{separateconv}

2780: \Eb(t)(u_n(t)) \to \Eb(t)(u(t)),

2781: \quad\quad

2782: \Es(\Gamma_n(t)) \to \Es(\Gamma(t)).

2783: \end{equation}

2784: \end{itemize}

2785: \end{theorem}

2786: 

2787: For the proof of Theorem \ref{mainthm} we need two

2788: preliminary steps.

2789: First of all, we fix $a$ and study the asymptotic

2790: for $\delta,\eps \to 0$ (Lemma \ref{agamma}),

2791: and then we let $a \to 0$ using a diagonal argument

2792: (Lemma \ref{ato0}).

2793: 

2794: \begin{lemma}

2795: \label{agamma}

2796: Let $a$ be fixed, $t \in [0,T]$, and let $\delta_n \to 0$

2797: and $\eps_n \to 0$.

2798: There exists $\Gamma_a(t) \in \radm$ and a subsequence

2799: of $(\delta_n,\eps_n)_{n \in \N}$ (which we denote with the same symbol),

2800: such that the following facts hold:

2801: \begin{itemize}

2802: \item[(a)] if $w_n \in \afenab$ is such that

2803: $\Sg{g^{\delta_n}_{\eps_n}(t)}{w_n}

2804: \subseteq \Gamma^{\delta_n}_{\eps_n,a}(t)$

2805: and

2806: $$

2807: w_n \weak w

2808: \quad\quad

2809: \text{weakly in }GSBV^p_q(\Om;\R^2),

2810: $$

2811: then we have

2812: $$

2813: \Sg{g(t)}{w} \tsub \Gamma_a(t);

2814: $$

2815: \item[]

2816: \item[(b)]

2817: there exists $\mu(a)$ with $\mu(a) \to 1$ as $a \to 0$ such that

2818: for every accumulation point $u_a(t)$ of

2819: $(u^{\delta_n}_{\eps_n,a}(t))_{n \in \N}$ for the weak convergence in

2820: $GSBV^p_q(\Om;\R^2)$ and for all $v \in GSBV^p_q(\Om;\R^2)$

2821: with $S(v) \tsub \OmBb$, we have

2822: \begin{equation}

2823: \label{aminimality}

2824: \Eb(t)(u_a(t)) \le \Eb(t)(v)

2825: +\mu(a) \Es \left( \Sg{g(t)}{v}

2826: \setminus \Gamma_a(t) \right);

2827: \end{equation}

2828: moreover

2829: \begin{equation}

2830: \label{abulkconv}

2831: \lim_n \Eb(t)(u^{\delta_n}_{\eps_n,a}(t))=

2832: \Eb(t)(u_a(t));

2833: \end{equation}

2834: \item[]

2835: \item[(c)] we have

2836: $$

2837: \Es(\Gamma_a(t)) \le \liminf_n \Es(\Gamma^{\delta_n}_{\eps_n,a}(t)).

2838: $$

2839: \end{itemize}

2840: \end{lemma}

2841: 

2842: \begin{proof}

2843: We now perform a variant of \cite[Theorem 4.7]{DMFT}.

2844: Let $(\varphi_k)_{k \in \N}

2845: \subseteq L^1(\Om;\R^2)$

2846: be dense in $L^{1}(\Om;\R^2)$.

2847: For every $\varphi_k$ and for every $m \in \N$, let

2848: $v^{n,a}_{k,m}(t)$ be a minimum of

2849: the problem

2850: $$

2851: \min\{

2852: \|\nabla v\|_p+\|v\|_q+

2853: m\|v-\varphi_k\|_1\,:\, v \in V^n_a\},

2854: $$

2855: where

2856: $$

2857: V^n_a:=\{v \in \afenab,\;

2858: \Sg{g^{\delta_n}_{\eps_n}(t)}{v}

2859: \subseteq \Gamma^{\delta_n}_{\eps_n,a}(t)\}.

2860: $$

2861: Since by \eqref{discrenergybis} we have

2862: $\hs^1(\Gamma^{\delta_n}_{\eps_n,a}(t)) \le C'$,

2863: by Theorem \ref{GSBVcompact}

2864: there exists a subsequence of $(\delta_n,\eps_n)_{n \in \N}$

2865: (which we denote with the same symbol)

2866: such that $v^{n,a}_{k,m}(t)$ weakly converges to some

2867: $v^a_{k,m}(t) \in GSBV^p_q(\Om;\R^2)$

2868: as $n \to +\infty$ for all $k,m \in \N$. We set

2869: \begin{equation}

2870: \label{firstdefgammaat}

2871: \Gamma_a(t):=

2872: \bigcup_{k,m} \Sg{g(t)}{v^a_{k,m}(t)}.

2873: \end{equation}

2874: Let us see that $\Gamma_a(t)$ satisfies all the

2875: properties of the lemma.

2876: Clearly $\Gamma_a(t) \in \radm$ and point $(c)$

2877: is a consequence of Theorem \ref{GSBVcompact}.

2878: In particular by

2879: \eqref{discrenergybis} we have that

2880: \begin{equation}

2881: \label{h1finitea}

2882: \hs^1(\Gamma_a(t)) \le C'.

2883: \end{equation}

2884: \par

2885: Let us come to point $(a)$. Let $w_n \in \afenab$ be such that

2886: $\Sg{g^{\delta_n}_{\eps_n}(t)}{w_n}

2887: \subseteq \Gamma^{\delta_n}_{\eps_n,a}(t)$

2888: and

2889: $$

2890: w_n \weak w

2891: \quad\quad

2892: \text{weakly in }GSBV^p_q(\Om;\R^2).

2893: $$

2894: We claim that there exists $k_m \to +\infty$ such that

2895: \begin{equation}

2896: \label{convkm}

2897: v^a_{k_m,m}(t) \weak w

2898: \quad\quad

2899: \text{weakly in }GSBV^p_q(\Om;\R^2).

2900: \end{equation}

2901: Then since

2902: $\Sg{g(t)}{v^a_{k_m,m}(t)} \subseteq \Gamma_a(t)$ for all $m$

2903: and in view of \eqref{h1finitea},

2904: we deduce that

2905: $\Sg{g(t)}{w} \tsub \Gamma_a(t)$. Let us prove \eqref{convkm}.

2906: Fixed $m \in \N$, let us choose $k_m$ in such a way that

2907: $$

2908: m\|w-\varphi_{k_m}\|_1 \to 0.

2909: $$

2910: By minimality of $v^{n,a}_{k_m,m}(t)$ we have for all $n$

2911: \begin{equation*}

2912: \|\nabla v^{n,a}_{k_m,m}(t)\|_p

2913: +\|v^{n,a}_{k_m,m}(t)\|_q

2914: +m\|v^{n,a}_{k_m,m}(t)-\varphi_{k_m}\|_1

2915: \le

2916: \|\nabla w_n\|_p

2917: +\|w_n\|_q

2918: +m\|w_n-\varphi_{k_m}\|_1.

2919: \end{equation*}

2920: Passing to the limit in $n$, by lower semicontinuity

2921: we get for some $C \ge 0$

2922: \begin{equation*}

2923: \|\nabla v^a_{k_m,m}(t)\|_p

2924: +\|v^a_{k_m,m}(t)\|_q

2925: +m\|v^a_{k_m,m}(t)-\varphi_{k_m}\|_{1}

2926: \le C+m\|w-\varphi_{k_m}\|_1.

2927: \end{equation*}

2928: We deduce for $m \to +\infty$

2929: $$

2930: \|v^a_{k_m,m}(t)-\varphi_{k_m}\|_1 \to 0,

2931: $$

2932: which together with $\|\varphi_{k_m}-w\|_1 \to 0$

2933: implies that

2934: $$

2935: v^a_{k_m,m}(t) \to w

2936: \quad\quad

2937: \text{strongly in }L^{1}(\Om;\R^2).

2938: $$

2939: Since

2940: $$

2941: \|\nabla v^a_{k_m,m}(t)\|_p

2942: +\|v^a_{k_m,m}(t)\|_q \le

2943: C+m\|w-\varphi_{k_m}\|_1 \le C+1

2944: $$

2945: for $m$ large, we have that

2946: $v^a_{k_m,m}(t) \weak w$ weakly in $GSBV^p_q(\Om;\R^2)$,

2947: and this proves \eqref{convkm}.

2948: \par

2949: Finally, let us come to point $(b)$.

2950: Let $v \in GSBV^p_q(\Om;\R^2)$ with

2951: $S(v) \subseteq \OmBb$, and let us

2952: fix $k_1,\dots,k_s$ and $m_1,\dots, m_r$ in $\N$.

2953: By Proposition \ref{piecetransf2}, there exists

2954: $v_n \in \afenab$ such that

2955: $$

2956: \lim_n \Eb(t)(v_n)=\Eb(t)(v)

2957: $$

2958: and

2959: \begin{multline*}

2960: \limsup_n

2961: \Es \left( \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n} \setminus

2962: \Gamma^{\delta_n}_{\eps_n,a}(t) \right) \le

2963: \limsup_n \Es \big( \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n}

2964: \setminus

2965: \bigcup_{i \le s,\,j \le r}

2966: S(v^{n,a}_{k_i,m_j}) \big) \\

2967: \le \mu(a) \Es \big( \Sg{g(t)}{v} \setminus

2968: \bigcup_{i \le s,\,j \le r} S(v^a_{k_i,m_j}) \big),

2969: \end{multline*}

2970: where $\mu(a) \to 1$ as $a \to 0$.

2971: Since the $k_i$'s and the $m_j$'s are arbitrary,

2972: we obtain that

2973: \begin{equation}

2974: \label{limsupcrack}

2975: \limsup_n \Es \left(

2976: \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n}

2977: \setminus \Gamma^{\delta_n}_{\eps_n,a}(t)

2978: \right) \le

2979: \mu(a) \Es \left( \Sg{g(t)}{v}

2980: \setminus \Gamma_a(t) \right).

2981: \end{equation}

2982: Let us suppose that

2983: $u^{\delta_n}_{\eps_n,a}(t) \weak u_a(t)$

2984: weakly in $GSBV^p_q(\Om;\R^2)$

2985: along a suitable subsequence which we indicate by the same symbol.

2986: By the minimality property \eqref{piecemin2},

2987: comparing $u^{\delta_n}_{\eps_n,a}(t)$ with $v_n$ we get

2988: \begin{equation}

2989: \label{comparing}

2990: \Eb(t)(u^{\delta_n}_{\eps_n,a}(t)) \le

2991: \Eb(t)(v_n)+

2992: \Es \left( \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n}

2993: \setminus \Gamma^{\delta_n}_{\eps_n,a}(t) \right)+o_n,

2994: \end{equation}

2995: with $o_n \to 0$ as $n \to +\infty$.

2996: Then we have

2997: \begin{multline*}

2998: \Eb(t)(u_a(t)) \le \liminf_n

2999: \Eb(t)(u^{\delta_n}_{\eps_n,a}(t)) \\

3000: \le \limsup_n

3001: \left( \Eb(t)(v_n)+

3002: \Es \left( \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n}

3003: \setminus \Gamma^{\delta_n}_{\eps_n,a}(t) \right)

3004: \right) \\

3005: \le \Eb(t)(v)+ \limsup_n \Es \left(

3006: \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n} \setminus

3007: \Gamma^{\delta_n}_{\eps_n,a}(t) \right) \\

3008: \le \Eb(t)(v)+\mu(a) \Es \left( \Sg{g(t)}{v}

3009: \setminus \Gamma_a(t) \right),

3010: \end{multline*}

3011: that is \eqref{aminimality} holds.

3012: Choosing $v=u_a(t)$, passing to the limsup in

3013: \eqref{comparing}, and taking into account

3014: \eqref{limsupcrack} we obtain that

3015: $$

3016: \limsup_n \Eb(t)(u^{\delta_n}_{\eps_n,a}(t)) \le

3017: \Eb(t)(u_a(t)).

3018: $$

3019: Since by \eqref{aminimality} $\Eb(t)(u_a(t))$ is independent

3020: of the accumulation point $u_a(t)$, we conclude that

3021: \eqref{abulkconv} holds.

3022: \end{proof}

3023: 

3024: \begin{remark}

3025: \label{evola}

3026: {\rm

3027: Using Lemma \ref{agamma}, it is possible to construct

3028: an increasing family $\{t \to \Gamma_a(t)\,:\,t \in [0,T]\}$ and

3029: a subsequence of $(\delta_n,\eps_n)_{n \in \N}$ such that

3030: points $(a)$, $(b)$ and $(c)$ of Lemma \ref{agamma} hold

3031: for every $t \in [0,T]$. This evolution

3032: $\{t \to \Gamma_a(t)\,:\,t \in [0,T]\}$

3033: can be considered as an approximate quasistatic evolution,

3034: in the sense that it satisfies irreversibility, but satisfies

3035: static equilibrium and nondissipativity up to a small error

3036: due to the fact that $a$ is kept fixed.

3037: The presence of $\mu(a)$ in the minimality property

3038: \eqref{aminimality} takes into account the anisotropy in the

3039: approximation of the surface energy:

3040: in fact, since $a$ is kept fixed, the adaptive

3041: edges of the triangulations $\treaom$ cannot recover all the possible

3042: directions. The nondissipativity condition

3043: up to a small error can be obtained

3044: using the minimality property \eqref{aminimality} and

3045: following \cite[Theorem 3.13]{DMFT} (estimate from below of

3046: the total energy).

3047: \par

3048: The construction of $\{t \to \Gamma_a(t)\,:\,t \in [0,T]\}$

3049: is the following.

3050: If $D \subseteq [0,T]$ is countable and dense, by Lemma

3051: \ref{agamma} and using a diagonalization argument,

3052: we can find a subsequence of $(\delta_n,\eps_n)_{n \in \N}$ and an

3053: increasing family $\Gamma_a(t) \in \radm$, $t \in D$, such

3054: that points $(a)$, $(b)$ and $(c)$ hold for every $t \in D$.

3055: Let us set for every $t \in [0,T]$

3056: $$

3057: \Gamma^+_a(t):= \bigcap_{s \ge t, s \in D} \Gamma_a(s).

3058: $$

3059: Clearly $\{t \to \Gamma^+_a(t)\,:\,t \in[0,T]\}$ is increasing, in

3060: the sense that $\Gamma_a(s) \tsub \Gamma_a(t)$ for all

3061: $s \le t$. As a consequence, the set

3062: $J$ of discontinuity points of $\hs^1(\Gamma^+_a(t))$

3063: is at most countable.

3064: We can extract a further subsequence of $(\delta_n,\eps_n)_{n \in \N}$

3065: such that $\Gamma_a(t)$ is determined

3066: also for all $t \in J$ (notice that

3067: $\Gamma_a(t) \tsub \Gamma^+_a(t)$). For all

3068: $t \in [0,T] \setminus (D \cup J)$ we set

3069: $\Gamma_a(t):=\Gamma^+_a(t)$.

3070: We have that $\Gamma_a(t) \in \radm$ and

3071: $\{t \to \Gamma_a(t)\,:\,t \in [0,T]\}$ is increasing.

3072: %moreover $\Gamma_a(t)=\Gamma^+_a(t)$ for all

3073: %$t \in [0,T] \setminus (J \setminus D)$.

3074: \par

3075: For $t \in D \cup J$, $\Gamma_a(t)$ satisfies by construction

3076: points $(a)$, $(b)$ and $(c)$ of Lemma \ref{agamma}.

3077: Let us consider the case

3078: $t \in [0,T] \setminus (D \cup J)$.

3079: \par

3080: Concerning point $(a)$, we have that

3081: $\Sg{g(t)}{w} \tsub \Gamma_a(s)$

3082: for every $s \in D \cap [t,T]$, so that

3083: passing to the intersection we get

3084: $\Sg{g(t)}{u_a(t)} \tsub \Gamma_a(t)$.

3085: \par

3086: As for point $(b)$,

3087: considering $s \in D \cap [0,t[$, for every $v \in

3088: GSBV^p_q(\Om;\R^2)$ with $S(v) \tsub \OmBb$,

3089: we have there exists $v_n \in \afenab$ such that

3090: $$

3091: \lim_n \Eb(t)(v_n)=\Eb(t)(v),

3092: $$

3093: and

3094: \begin{multline*}

3095: \limsup_n

3096: \Es \left( \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n}

3097: \setminus \Gamma^{\delta_n}_{\eps_n,a}(t) \right) \le

3098: \limsup_n

3099: \Es \left( \Sg{g^{\delta_n}_{\eps_n}(t)}{v_n}

3100: \setminus \Gamma^{\delta_n}_{\eps_n,a}(s) \right) \\

3101: \le \mu(a) \Es \left( \Sg{g(t)}{v}

3102: \setminus \Gamma_a(s) \right).

3103: \end{multline*}

3104: Then by minimality property \eqref{piecemin2} and passing

3105: to the limit in $n$ we have

3106: $$

3107: \Eb(t)(u(t)) \le \Eb(t)(v)+\mu(a) \Es \left( \Sg{g(t)}{v}

3108: \setminus \Gamma_a(s) \right).

3109: $$

3110: Letting $s \to t$ we get

3111: that \eqref{aminimality} holds. Reasoning as in

3112: Lemma \ref{agamma}, we get that also \eqref{abulkconv} holds.

3113: \par

3114: Finally, coming to point $(c)$,

3115: we have that for all $s \in D \cap [0,t[$

3116: $$

3117: \liminf_n \Es(\Gamma^{\delta_n}_{\eps_n,a}(t)) \ge

3118: \liminf_n \Es(\Gamma^{\delta_n}_{\eps_n,a}(s)) \ge

3119: \Es(\Gamma_a(s)),

3120: $$

3121: so that letting $s \nearrow t$, and recalling that

3122: $t$ is a continuity point for 

3123: $\Es(\Gamma^{\delta_n}_{\eps_n,a}(\cdot))$,

3124: we obtain that the lower semicontinuity holds.

3125: }

3126: \end{remark}

3127: 

3128: We can now let $a \to 0$.

3129: 

3130: \begin{lemma}

3131: \label{ato0}

3132: There exist a map

3133: $\{t \to \Gamma(t) \in \radm, t \in [0,T]\}$

3134: and sequences $\delta_n \to 0$,

3135: $\eps_n \to 0$, $a_n \to 0$ such that

3136: the following facts hold:

3137: \begin{itemize}

3138: \item[]

3139: \item[(a)] $\Gamma^0 \tsub \Gamma(s) \tsub \Gamma(t)$ 

3140: for all $0 \le s \le t \le T$;

3141: \item[]

3142: \item[(b)] for all $t \in [0,T]$, if $w_n \in \afenab$

3143: with $\Sg{g^{\delta_n}_{\eps_n}(t)}{w_n} \subseteq

3144: \Gamma^{\delta_n}_{\eps_n,a_n}(t)$ is such that

3145: $$

3146: w_n \weak w

3147: \quad\quad

3148: \text{weakly in }GSBV^p_q(\Om;\R^2),

3149: $$

3150: then we have

3151: $$

3152: \Sg{g(t)}{w} \tsub \Gamma(t);

3153: $$

3154: \item[]

3155: \item[(c)] for all $t \in [0,T]$ and

3156: for every accumulation point $u(t)$ of

3157: $(u^{\delta_n}_{\eps_n,a_n}(t))_{n \in \N}$

3158: for the weak convergence in $GSBV^p_q(\Om;\R^2)$

3159: and for all $v \in GSBV^p_q(\Om;\R^2)$ with

3160: $S(v) \tsub \OmBb$, we have

3161: \begin{equation}

3162: \label{minimality2}

3163: \Eb(t)(u(t)) \le \Eb(t)(v)

3164: +\Es \left( \Sg{g(t)}{v} \setminus \Gamma(t) \right),

3165: \end{equation}

3166: and

3167: \begin{equation}

3168: \label{bulkconv}

3169: \Eb(t)(u(t))=

3170: \lim_n

3171: \Eb(t)(u^{\delta_n}_{\eps_n,a_n}(t));

3172: \end{equation}

3173: \item[]

3174: \item[(d)] for all $t \in [0,T]$ we have

3175: \begin{equation}

3176: \label{liminfcrack}

3177: \Es(\Gamma(t)) \le \liminf_n

3178: \Es(\Gamma^{\delta_n}_{\eps_n,a_n}(t)).

3179: \end{equation}

3180: \end{itemize}

3181: \end{lemma}

3182: 

3183: \begin{proof}

3184: Let us consider $\delta_h \to 0$ and $\eps_h \to 0$.

3185: Given $a \in ]0,\frac{1}{2}[$ and $t \in [0,T]$,

3186: let $\Gamma_a(t)$ be the rectifiable set

3187: given by Lemma \ref{agamma}.

3188: Recall that by \eqref{firstdefgammaat}

3189: we have

3190: $$

3191: \Gamma_a(t)= \bigcup_{k,m} \Sg{g(t)}{v^a_{k,m}(t)},

3192: $$

3193: where

3194: $v^a_{k,m}(t)$ is the weak limit in $GSBV^p_q(\Om;\R^2)$

3195: along a suitable subsequence depending on $a$

3196: of a minimum $v^{h,a}_{k,m}(t)$ of

3197: the problem

3198: \begin{equation}

3199: \label{defvhakm}

3200: \min \{ \|\nabla v\|_p

3201: +\|v\|_q

3202: +m\|v-\varphi_k\|_1\,:\, v \in V^h_a(t)\},

3203: \end{equation}

3204: where $(\varphi_k)_{k \in \N} \subseteq L^1(\Om;\R^2)$

3205: is dense in $L^1(\Om;\R^2)$ and

3206: $$

3207: V^h_a(t):=\{v \in \afenabp,

3208: \Sg{g^{\delta_h}_{\eps_h}(t)}{v}

3209: \subseteq \Gamma^{\delta_h}_{\eps_h,a}(t)\}.

3210: $$

3211: \par

3212: Let $a_n \to 0$, and let $D:=\{t_j\,:\,j \in \N\}

3213: \subseteq [0,T]$

3214: be countable and dense with $0 \in D$.

3215: Using a diagonal argument,

3216: up to a subsequence of $(\delta_h,\eps_h)_{h \in \N}$,

3217: we may suppose that for all $t \in D$ and for all $n$

3218: $$

3219: v^{h,a_n}_{k,m}(t) \weak v^{a_n}_{k,m}(t)

3220: \quad\quad

3221: \text{weakly in }GSBV^p_q(\Om;\R^2).

3222: $$

3223: Moreover, we may assume that for all $t \in D$ and for all $n$

3224: $$

3225: u^{\delta_h}_{\eps_h,a_n}(t) \weak u_{a_n}(t)

3226: \quad\quad

3227: \text{weakly in }GSBV^p_q(\Om;\R^2)

3228: $$

3229: with

3230: $$

3231: \Eb(t)(u^{\delta_h}_{\eps_h,a_n}(t))

3232: \to \Eb(t)(u_{a_n}(t)).

3233: $$

3234: By Lemma \ref{agamma}, we have that $u_{a_n}(t)$

3235: satisfies the minimality property

3236: \eqref{aminimality}.

3237: \par

3238: Up to a subsequence of $(a_n)_{n \in \N}$, we may suppose that

3239: for all $k,m$ and $t \in D$ we have

3240: \begin{equation}

3241: \label{convvkm}

3242: v^{a_n}_{k,m}(t) \weak v_{k,m}(t)

3243: \quad\quad

3244: \text{weakly in }GSBV^p_q(\Om;\R^2),

3245: \end{equation}

3246: and

3247: \begin{equation}

3248: \label{convuan}

3249: u_{a_n}(t) \weak u(t)

3250: \quad\quad

3251: \text{weakly in }GSBV^p_q(\Om;\R^2).

3252: \end{equation}

3253: For all $t \in D$, let us set

3254: \begin{equation}

3255: \label{defgammat1}

3256: \Gamma(t):= \bigcup_{k,m} \Sg{g(t)}{v_{k,m}(t)}.

3257: \end{equation}

3258: By Proposition \ref{piecetransf2}, in view of the

3259: minimality property \eqref{aminimality} and taking into account

3260: that $\mu(a_n) \to 1$, we have that for all

3261: $v \in GSBV^p_q(\Om;\R^2)$ with $S(v) \tsub

3262: \OmBb$

3263: \begin{equation}

3264: \label{minaftera}

3265: \Eb(t)(u(t)) \le \Eb(t)(v)+\Es( \Sg{g(t)}{v} \setminus \Gamma(t)),

3266: \end{equation}

3267: and as a consequence, we obtain

3268: \begin{equation*}

3269: %\label{convent}

3270: \Eb(t)(u_{a_n}(t)) \to \Eb(t)(u(t)).

3271: \end{equation*}

3272: \par

3273: We now perform the following diagonal argument. Choose

3274: $\delta_{h_0},\eps_{h_0}$ in such a way that

3275: \begin{multline*}

3276: %\label{diagstep1}

3277: \|v^{h_0,a_0}_{0,0}(t_0)

3278: -v^{a_0}_{0,0}(t_0)\|_1 +

3279: \|u^{\delta_{h_0}}_{\eps_{h_0},a_0}(t_0)-u_{a_0}(t_0)

3280: \|_1 \\

3281: +|\Eb(t_0)(u^{\delta_{h_0}}_{\eps_{h_0},a_0}(t_0))-

3282: \Eb(t_0)(u_{a_0}(t_0))|

3283: \le 1.

3284: \end{multline*}

3285: Supposing to have constructed

3286: $\delta_{h_n},\eps_{h_n}$, we choose

3287: $\delta_{h_{n+1}},\eps_{h_{n+1}}$

3288: in such a way that for all

3289: $k \le n+1$, $m \le n+1$ and for all

3290: $t_i$ with $1 \le i \le n+1$ we have

3291: \begin{multline*}

3292: %\label{diagstepj}

3293: \|v^{h_{n+1},a_{n+1}}_{k,m}(t_i)

3294: -v^{a_{n+1}}_{k,m}(t_i)\|_1 +

3295: \|u^{\delta_{h_{n+1}}}_{\eps_{h_{n+1}},a_{n+1}}(t_i)

3296: -u_{a_{n+1}}(t_i)\|_1 \\

3297: +|\Eb(t_i)(u^{\delta_{h_{n+1}}}_{\eps_{h_{n+1}},a_{n+1}}(t_i))-

3298: \Eb(t_i)(u_{a_{n+1}}(t_i))|

3299: \le \frac{1}{n+1}.

3300: \end{multline*}

3301: Let us set $\delta_n:=\delta_{h_n}$ and $\eps_n:=\eps_{h_n}$, and

3302: let us prove that $\Gamma(t)$ defined in \eqref{defgammat1}

3303: satisfies the properties of the Lemma.

3304: We have immediately that $\Gamma(t) \in \radm$.

3305: \par

3306: Concerning point $(d)$, notice that

3307: $$

3308: \Gamma^{\delta_n}_{\eps_n,a_n}(t)=

3309: \bigcup_{m,k} \Sg{g^{\delta_n}_{\eps_n}(t)}{v^{h_n,a_n}_{k,m}(t)},

3310: \quad\quad

3311: \Gamma(t)=\bigcup_{m,k} \Sg{g(t)}{v_{k,m}(t)},

3312: $$

3313: and that for all $k,m$

3314: $$

3315: v^{h_n,a_n}_{k,m}(t) \weak v_{k,m}(t)

3316: \quad\quad

3317: \text{weakly in }GSBV^p_q(\Om;\R^2);

3318: $$

3319: then \eqref{liminfcrack} is a consequence

3320: of Theorem \ref{GSBVcompact}. In particular,

3321: by \eqref{discrenergybis}, we get that

3322: \begin{equation}

3323: \label{h1finite}

3324: \hs^1(\Gamma(t)) \le C'.

3325: \end{equation}

3326: \par

3327: Let us come to point $(b)$. Let $w_n \in \afenab$

3328: with $\Sg{g^{\delta_n}_{\eps_n}(t)}{w_n}

3329: \subseteq \Gamma^{\delta_n}_{\eps_n,a_n}(t)$

3330: be such that

3331: $$

3332: w_n \weak w

3333: \quad\quad

3334: \text{weakly in }GSBV^p_q(\Om;\R^2).

3335: $$

3336: For every $m \in \N$, let us choose $k_m$ in such a way that

3337: $$

3338: m\|w-\varphi_{k_m}\|_1 \to 0.

3339: $$

3340: By minimality of $v^{h_n,a_n}_{k_m,m}(t)$ we have for all $n$

3341: \begin{equation*}

3342: \|\nabla v^{h_n,a_n}_{k_m,m}(t)\|_p

3343: +\|v^{h_n,a_n}_{k_m,m}(t)\|_q

3344: +m\|v^{h_n,a_n}_{k_m,m}(t)-\varphi_{k_m}\|_1

3345: \le

3346: \|\nabla w_n\|_p

3347: +\|w_n\|_q

3348: +m\|w_n-\varphi_{k_m}\|_1.

3349: \end{equation*}

3350: By construction of $h_n$, and in view of \eqref{convvkm}, we have

3351: $$

3352: v^{h_n,a_n}_{k_m,m}(t) \weak v_{k_m,m}(t)

3353: \quad\quad

3354: \text{weakly in }GSBV^p_q(\Om;\R^2).

3355: $$

3356: Then passing to the limit in $n$, by lower semicontinuity

3357: we get for some $C \ge 0$

3358: \begin{equation*}

3359: \|\nabla v_{k_m,m}(t)\|_p

3360: +\|v_{k_m,m}(t)\|_q

3361: +m\|v_{k_m,m}(t)-\varphi_{k_m}\|_1 \le

3362: C+m\|w-\varphi_{k_m}\|_1.

3363: \end{equation*}

3364: We deduce for $m \to +\infty$

3365: $$

3366: \|v_{k_m,m}(t)-\varphi_{k_m}\|_1 \to 0,

3367: $$

3368: which together with

3369: $\|\varphi_{k_m}-w\|_1 \to 0$

3370: implies that

3371: $$

3372: v_{k_m,m}(t) \to w \quad

3373: \text{ strongly in }L^{1}(\Om;\R^2).

3374: $$

3375: Since

3376: $$

3377: \|\nabla v_{k_m,m}(t)\|_p

3378: +\|v_{k_m,m}(t)\|_q

3379: \le C+m\|w-\varphi_{k_m}\|_1 \le C+1

3380: $$

3381: for $m$ large, we have that

3382: $$

3383: v_{k_m,m}(t) \weak w

3384: \quad\quad

3385: \text{weakly in }GSBV^p_q(\Om;\R^2).

3386: $$

3387: Since $\Sg{g(t)}{v_{k_m,m}(t)} \subseteq \Gamma(t)$

3388: for all $m$, and

3389: since $\hs^1(\Gamma(t))<C'$, we deduce that

3390: $\Sg{g(t)}{w} \tsub \Gamma(t)$.

3391: \par

3392: Coming to point $(c)$, we have that \eqref{bulkconv}

3393: holds by construction.

3394: Moreover \eqref{minimality2} holds in view 

3395: of \eqref{minaftera} and by the fact that

3396: $u^{\delta_n}_{\eps_n,a_n}(t)$ weakly

3397: converges in $GSBV^p_q(\Om;\R^2)$ to $u(t)$

3398: defined in \eqref{convuan}.

3399: \par

3400: In order to prove point $(a)$, notice that if $s \le t$

3401: with $s,t \in D$, we have for all $k,m \in \N$

3402: that

3403: $$

3404: \Sg{g^{\delta_n}_{\eps_n}(t)}{v^{h_n,a_n}_{k,m}(s)+

3405: g^{\delta_n}_{\eps_n}(t)-g^{\delta_n}_{\eps_n}(s)}

3406: \subseteq \Gamma^{\delta_n}_{\eps_n,a_n}(s)

3407: \subseteq \Gamma^{\delta_n}_{\eps_n,a_n}(t),

3408: $$

3409: and

3410: $$

3411: v^{h_n,a_n}_{k,m}(s)+

3412: g^{\delta_n}_{\eps_n}(t)-g^{\delta_n}_{\eps_n}(s)

3413: \weak

3414: v_{k,m}(s)+g(t)-g(s)

3415: \quad\quad

3416: \text{weakly in }GSBV^p_q(\Om;\R^2),

3417: $$

3418: where $v^{h,a}_{k,m}(s)$ and $v_{k,m}(s)$

3419: are defined in \eqref{defvhakm} and

3420: \eqref{convvkm}.

3421: By point $(b)$ we deduce that

3422: $$

3423: \Sg{g(t)}{v_{k,m}(s)+g(t)-g(s)}=\Sg{g(s)}{v_{k,m}(s)}

3424: \tsub \Gamma(t).

3425: $$ 

3426: Then by the definition of $\Gamma(s)$

3427: we get $\Gamma(s) \tsub \Gamma(t)$. Finally,

3428: by the same argument, we deduce $\Gamma^0 \tsub \Gamma(s)$.

3429: \par

3430: In order to deal with all $t \in [0,T]$,

3431: we proceed as in Remark \ref{evola}.

3432: For all $t \in [0,T] \setminus D$ let us set

3433: $$

3434: \Gamma^+(t):= \bigcap_{s \ge t, s \in D} \Gamma(s).

3435: $$

3436: Clearly $\Gamma^+(t) \in \radm$ and satisfies point $(a)$,

3437: so that the set $J$ of discontinuity points

3438: of $\hs^1(\Gamma^+(\cdot))$ is at most countable.

3439: We can then extract a further subsequence

3440: of $(\delta_n,\eps_n, a_n)_{n \in \N}$

3441: such that $\Gamma(t)$ is determined

3442: also for all $t \in J \setminus D$

3443: (notice that $\Gamma(t) \tsub \Gamma^+(t)$).

3444: For all $t \in [0,T] \setminus (D \cup J)$ we set

3445: $\Gamma(t):=\Gamma^+(t)$.

3446: We have that $\Gamma(t) \in \radm$ and

3447: that $\Gamma(t)$ satisfies point $(a)$.

3448: Let us see that $\Gamma(t)$ satisfies also

3449: points $(b)$, $(c)$ and $(d)$ also for $t \in

3450: [0,T] \setminus (D \cup J)$.

3451: \par

3452: Concerning point $(b)$, for every

3453: accumulation point  $u(t)$

3454: of $(u^{\delta_n}_{\eps_n,a_n}(t))_{n \in \N}$

3455: for the weak convergence in

3456: $GSBV^p_q(\Om;\R^2)$, by the first part of the proof,

3457: we have that $\Sg{g(t)}{u(t)} \tsub \Gamma(s)$

3458: for all $s \in D$ with

3459: $s \ge t$, so that passing to the intersection,

3460: we get that $\Sg{g(t)}{u(t)} \tsub \Gamma(t)$.

3461: \par

3462: Let us come to point $(c)$.

3463: Let

3464: $$

3465: u_j(t):=u^{\delta_{n_j}}_{\eps_{n_j},a_{n_j}}(t) \weak u(t)

3466: \quad\quad

3467: \text{weakly in }GSBV^p_q(\Om;\R^2)

3468: $$

3469: along a subsequence $n_j \nearrow +\infty$. Let us set

3470: $\Gamma_j:=\Gamma^{\delta_{n_j}}_{\eps_{n_j},a_{n_j}}$ and

3471: $g_j:=g^{\delta_{n_j}}_{\eps_{n_j}}$.

3472: Up to a further subsequence there exists

3473: $s_j \in D$ with $s_j \nearrow t$, and such that setting

3474: $u_j(s_j):=u^{\delta_{n_j}}_{\eps_{n_j},a_{n_j}}(s_j)$, we have

3475: \begin{equation}

3476: \label{controlconv}

3477: \|u_j(s_j)-u(s_j)\|_1

3478: +

3479: |\Eb(s_j)(u_j(s_j))-\Eb(s_j)(u(s_j))| \to 0.

3480: \end{equation}

3481: We have that there exists

3482: $u^*(t) \in GSBV^p_q(\Om;\R^2)$ such that up

3483: to a subsequence

3484: $$

3485: u(s_j) \weak u^*(t)

3486: \quad\quad

3487: \text{weakly in }GSBV^p_q(\Om;\R^2).

3488: $$

3489: By the minimality property \eqref{minimality2} of $u(s_j)$,

3490: for all $v \in GSBV^p_q(\Om;\R^2)$

3491: with $S(v) \tsub \Omb_B$, we have that

3492: $$

3493: \Eb(s_j)(u(s_j)) \le \Eb(s_j)(v-g(t)+g(s_j))

3494: +\Es(\Sg{g(t)}{v} \setminus \Gamma(s_j)).

3495: $$

3496: Passing to the limit in $j$ we have that

3497: for all $v \in GSBV^p_q(\Om;\R^2)$

3498: with $S(v) \tsub \Omb_B$

3499: \begin{equation}

3500: \label{min*}

3501: \Eb(t)(u^*(t)) \le \Eb(t)(v)+\Es(\Sg{g(t)}{v}

3502: \setminus \Gamma(t)).

3503: \end{equation}

3504: As a consequence of the stability of this unilateral

3505: minimality property, it follows that

3506: \begin{equation*}

3507: \Eb(s_j)(u(s_j)) \to \Eb(t)(u^*(t)).

3508: \end{equation*}

3509: By \eqref{controlconv} we get

3510: $$

3511: u_j(s_j) \weak u^*(t)

3512: \quad\quad

3513: \text{weakly in }GSBV^p_q(\Om;\R^2),

3514: $$

3515: and

3516: \begin{equation}

3517: \label{conv*}

3518: \Eb(s_j)(u_j(s_j)) \to \Eb(t)(u^*(t)).

3519: \end{equation}

3520: By \eqref{piecemin2}, comparing $u_j(t)$

3521: with $u_j(s_j)-g_j(s_j)+g_j(t)$,

3522: taking into account that

3523: $$

3524: \Sg{g_j(s_j)}{u_j(s_j)}

3525: \subseteq

3526: \Gamma_j(s_j) \subseteq \Gamma_j(t),

3527: $$

3528: we obtain

3529: \begin{equation*}

3530: %\label{compare*}

3531: \Eb(t)(u_j(t)) \le

3532: \Eb(s_j)(u_j(s_j))+o_j

3533: \end{equation*}

3534: where $o_j \to 0$ as $j \to +\infty$.

3535: Passing to the limit in $j$ we have by \eqref{conv*}

3536: $$

3537: \Eb(t)(u(t)) \le \liminf_j \Eb(t)(u_j(t)) \le

3538: \limsup_j \Eb(t)(u_j(t)) \le \Eb(t)(u^*(t)).

3539: $$

3540: By \eqref{min*} we deduce that

3541: \eqref{minimality2} holds. Moreover

3542: we have that $\Eb(t)(u(t))=\Eb(t)(u^*(t))$

3543: and that $\Eb(t)(u(t))$ is independent of the

3544: accumulation point $u(t)$. Then we deduce that

3545: \eqref{bulkconv} holds.

3546: \par

3547: Finally, concerning point $(d)$, we have that for all

3548: $s \in D \cap [0,t[$

3549: $$

3550: \liminf_n \Es(\Gamma^{\delta_n}_{\eps_n,a_n}(t)) \ge

3551: \liminf_n \Es(\Gamma^{\delta_n}_{\eps_n,a_n}(s)) \ge

3552: \Es(\Gamma(s)),

3553: $$

3554: so that letting $s \nearrow t$ we obtain \eqref{liminfcrack}.

3555: The proof is now complete.

3556: \end{proof}

3557: 

3558: We can now prove Theorem \ref{mainthm}.

3559: 

3560: \begin{proof}[\underline{\rm PROOF OF THEOREM \ref{mainthm}}]

3561: Let $(\delta_n,\eps_n,a_n)_{n \in \N}$ and

3562: $\{t \to \Gamma(t) \in \radm, t \in [0,T]\}$

3563: be given by Lemma \ref{ato0}. For all $t \in [0,T]$, let us set

3564: $$

3565: u_n(t):=u^{\delta_n}_{\eps_n,a_n}(t), \quad\quad

3566: \Gamma_n(t):= \Gamma^{\delta_n}_{\eps_n,a_n}(t).

3567: $$

3568: Let us see that it is possible to choose an accumulation point

3569: $u(t) \in GSBV^p_q(\Om;\R^2)$ of $(u_n(t))_{n \in \N}$

3570: such that $\{t \to (u(t),\Gamma(t))\,:\,

3571: t \in [0,T]\}$ is a quasistatic growth of brittle fractures

3572: in the sense of Dal Maso-Francfort-Toader.

3573: Let us set

3574: \begin{multline*}

3575: \vartheta_n(s):=

3576: \langle \partial \ws(\nabla u_n(s)),

3577: \nabla \dot{g}_{\eps_n}(s) \rangle \\

3578: -\dot{\fs}(s)(u_n(s))-

3579: \langle \partial \fs(s)(u_n(s)),

3580: \dot{g}_{\eps_n}(s) \rangle \\

3581: -\dot{\gs}(s)(u_n(s))-

3582: \langle \partial \gs(s)(u_n(s)),

3583: \dot{g}_{\eps_n}(s) \rangle.

3584: \end{multline*}

3585: By growth conditions of $\ws, \fs, \gs$ and

3586: by \eqref{discrenergybis} we have that

3587: there exists $\psi \in L^1(0,T)$ such that

3588: $\vartheta_n(s) \le \psi(s)$ for all $n$.

3589: Let us consider

3590: $$

3591: \vartheta(s):= \limsup_n \vartheta_n(s).

3592: $$

3593: By \cite[Theorem 5.5 and Lemma 4.11]{DMFT},

3594: for every $s \in [0,T]$

3595: there exists $u(s)$ accumulation point of

3596: $(u_n(s))_{n \in \N}$ for the weak convergence

3597: in $GSBV^p_q(\Om;\R^2)$

3598: such that

3599: \begin{multline*}

3600: \vartheta(s):=

3601: \langle \partial \ws(\nabla u(s)),

3602: \nabla \dot{g}(s) \rangle \\

3603: -\dot{\fs}(s)(u(s))-

3604: \langle \partial \fs(s)(u(s)),

3605: \dot{g}(s) \rangle \\

3606: -\dot{\gs}(s)(u(s))-

3607: \langle \partial \gs(s)(u(s)),

3608: \dot{g}(s) \rangle.

3609: \end{multline*}

3610: Applying  Fatou's Lemma (in the limsup version) to

3611: \eqref{discrenergy2} with $s=0$, we have that

3612: $$

3613: \Eub(t)(u(t),\Gamma(t))

3614: \le \limsup_n \Eub(0)(u_n(0),\Gamma_n(0))+

3615: \int_0^t \vartheta(s) \,ds.

3616: $$

3617: By Proposition \ref{gammazero}, we have that

3618: $\limsup_n \Eub(0)(u_n(0),\Gamma_n(0))=\Eub(0)(u(0),\Gamma(0))$, so

3619: that we get

3620: $$

3621: \Eub(t)(u(t),\Gamma(t)) \le

3622: \Eub(0)(u(0),\Gamma(0))+ \int_0^t \vartheta(s) \,ds.

3623: $$

3624: Moreover, again by \cite[Theorem 3.13]{DMFT},

3625: $$

3626: \Eub(t)(u(t),\Gamma(t))

3627: \ge \Eub(0)(u(0),\Gamma(0))

3628: +\int_0^t \vartheta(s) \,ds,

3629: $$

3630: so that

3631: \begin{equation}

3632: \label{nondiss}

3633: \Eub(t)(u(t),\Gamma(t))=

3634: \Eub(0)(u(0),\Gamma(0))+

3635: \int_0^t \vartheta(s) \,ds.

3636: \end{equation}

3637: We deduce that $\{t \to (u(t),\Gamma(t))\,:\,t \in [0,T]\}$

3638: is a quasistatic growth of brittle fractures:

3639: in fact by Lemma \ref{ato0} we get that

3640: $\Gamma(\cdot)$ is increasing, and for

3641: $t \in [0,T]$ $(u(t),\Gamma(t)) \in AD(g(t))$

3642: and the static equilibrium holds; moreover

3643: the nondissipativity condition is given by \eqref{nondiss}.

3644: \par

3645: Let us see that points $(a)$ and $(b)$ of Theorem \ref{mainthm}

3646: holds. By \eqref{discrenergybis}, $(u_n(t))_{n \in \N}$

3647: is weakly precompact in $GSBV^p_q(\Om;\R^2)$

3648: for all $t \in [0,T]$.

3649: Moreover by Lemma \ref{ato0} every accumulation point

3650: $\tilde{u}(t)$ of $(u_n(t))_{n \in \N}$ for

3651: the weak convergence in

3652: $GSBV^p_q(\Om;\R^2)$ is such that

3653: $\Sg{g(t)}{\tilde{u}(t)} \subseteq \Gamma(t)$

3654: and the minimality property \eqref{minimality} holds.

3655: Moreover we have

3656: $$

3657: \Eb(t)(\tilde{u}(t))=

3658: \lim_n \Eb(t)(u_n(t)).

3659: $$

3660: Since $\Eb(t)(\tilde{u}(t))$

3661: is independent of the particular accumulation point

3662: $\tilde{u}(t)$, we have that point $(a)$ is proved.

3663: \par

3664: Let us come to point $(b)$.

3665: Taking into account \eqref{bulkconv} and

3666: \eqref{liminfcrack}, for all $t \in [0,T]$ we have

3667: $$

3668: E(t) \le \liminf_n E_n(t) \le

3669: \limsup_n E_n(t) \le E(0)+ \int_0^t \vartheta(s) \,ds=E(t),

3670: $$

3671: so that \eqref{convenergy} holds.

3672: Moreover we deduce that separate convergence of elastic and

3673: surface energies holds at any time, so that

3674: \eqref{separateconv} is proved.

3675: The proof is now concluded.

3676: \end{proof}

3677: 

3678: 

3679: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3680: %%%%%%%%%%%%IL CASO CONVESSO%%%%%%%%%%%%%%%%%%%%%%%%

3681: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3682: 

3683: \section{The strictly convex case}

3684: \label{convexcase}

3685: In this section we assume that the function $W(x,\xi)$

3686: is strictly convex in $\xi$ for a.e. $x \in \Om$

3687: and that the function $F(t,x,z)$ is strictly

3688: convex in $z$ for all $t \in [0,T]$ and for a.e.

3689: $x \in \Om$: as a consequence, the elastic energy

3690: $\Eb(t,v)$ is strictly

3691: convex in $v$ for all $t \in [0,T]$, and a stronger

3692: approximation result is available.

3693: 

3694: \begin{theorem}

3695: \label{main2}

3696: Let $g \in W^{1,1}\big([0,T], W^{1,p}(\Om;\R^2)

3697: \cap L^q(\Om;\R^2)\big)$ and let

3698: $$

3699: g_\eps \in W^{1,1}\big([0,T], W^{1,p}(\Om;\R^2)

3700: \cap L^q(\Om;\R^2)\big),

3701: \quad\quad

3702: g_\eps(t) \in \afeom

3703: \quad

3704: \text{for all }t \in [0,T]

3705: $$

3706: be such that for $\eps \to 0$

3707: $$

3708: g_\eps \to g

3709: \quad\quad

3710: \text{strongly in }W^{1,1}([0,T], W^{1,p}(\Om;\R^2)

3711: \cap L^q(\Om;\R^2)).

3712: $$

3713: Let $\Gamma^0 \in {\mathbf \Gamma}(\Om)$ be an initial crack

3714: and let

3715: $\Gamma^0_{\eps,a}$ be its approximation in the sense of

3716: Proposition \ref{gammazero}.

3717: Let us suppose that

3718: \begin{align}

3719: \label{assumptions}

3720: W(x,\cdot) &\mbox{ is strictly convex for a.e. }x \in \Om, \\

3721: \nonumber

3722: F(t,x,\cdot) &\mbox{ is strictly convex for a.e. }

3723: (t,x) \in [0,T] \times \Om.

3724: %\\

3725: %\nonumber

3726: %G(t,x,\cdot) &\mbox{ is strictly convex for a.e. }

3727: %(t,x) \in [0,T] \times \Om.

3728: \end{align}

3729: Given  $\delta>0$, $\eps>0$, $a \in ]0,\frac{1}{2}[$,

3730: let $\left \{t \to \left( u_{\eps,a}^\delta(t),

3731: \Gamma_{\eps,a}^\delta(t) \right)\,:\,t \in [0,T] \right\}$

3732: be the piecewise constant interpolation of the discrete

3733: evolution given by Proposition \ref{discrevol}

3734: relative to the initial crack $\Gamma^0_{\eps,a}$

3735: and the boundary data $g_{\eps}$.

3736: Then there exists a quasistatic evolution

3737: $\{t \to (u(t),\Gamma(t))\,:\,t \in [0,T]\}$ relative

3738: to the initial

3739: crack $\Gamma^0$ and the boundary data $g$ in the

3740: sense of Theorem \ref{qse}, and

3741: sequences $\delta_n \to 0$, $\eps_n \to 0$, $a_n \to 0$,

3742: such that setting

3743: $$

3744: u_n(t):=u^{\delta_n}_{\eps_n,a_n}(t),

3745: \quad\quad

3746: \Gamma_n(t):=\Gamma^{\delta_n}_{\eps_n,a_n}(t),

3747: $$

3748: for all $t \in [0,T]$ the following facts hold:

3749: \begin{itemize}

3750: \item[]

3751: \item[(a)] $\nabla u_n(t) \to \nabla u(t)$ strongly

3752: in $L^p(\Om;\msd)$ and

3753: $u_n(t) \to u(t)$ strongly in

3754: $L^q(\Om;\R^2)$;

3755: \item[]

3756: \item[(b)]

3757: $\Eub(t)(u_n(t),\Gamma_n(t)) \to \Eub(t)(u(t),\Gamma(t))$,

3758: and in particular elastic and

3759: surface energies converge separately, that is

3760: \begin{equation*}

3761: \Eb(t)(u_n(t)) \to \Eb(t)(u(t)),

3762: \quad \quad \Es(\Gamma_n(t)) \to \Es(\Gamma(t)).

3763: \end{equation*}

3764: \end{itemize}

3765: \end{theorem}

3766: 

3767: \begin{proof}

3768: Let us consider the sequence

3769: $(\delta_n, \eps_n, a_n)_{n \in \N}$

3770: and the quasistatic growth of brittle fractures

3771: $\{t \to (u(t),\Gamma(t))\,:\,t \in [0,T]\}$

3772: given in Theorem \ref{mainthm}. Under assumptions

3773: \eqref{assumptions},

3774: we have that $u(t)$ is uniquely determined, because

3775: by \eqref{minimality} $u(t)$ minimizes

3776: $$

3777: \min \{ \Eb(t)(v) \,:\, v \in GSBV^p_q(\Om;\R^2),\;

3778: \Sg{g(t)}{v} \subseteq \Gamma(t) \},

3779: $$

3780: and $\Eb(t)(\cdot)$ is strictly convex.

3781: We conclude by point $(a)$ of

3782: Theorem \ref{mainthm} that $u_n(t) \weak u(t)$ weakly in

3783: $GSBV^p_q(\Om;\R^2)$.

3784: Point $(b)$ is a direct consequence of

3785: Theorem \ref{mainthm}. By the convergence of the

3786: elastic energy, we deduce that

3787: \begin{align*}

3788: %\label{convW}

3789: \lim_n \int_{\Om} W(x, \nabla u_n(t)) \,dx&=

3790: \int_{\Om} W(x, \nabla u(t)) \,dx, \\

3791: \lim_n \int_\Om F(t,x,u_n(t))\,dx&=

3792: \int_\Om F(t,x,u(t))\,dx.

3793: \end{align*}

3794: By the assumption on the strict convexity

3795: of $W$ and $F$ we deduce by \cite{Bre2}

3796: $$

3797: \nabla u_n(t) \to \nabla u(t)

3798: \quad\quad

3799: \text{strongly in }L^p(\Om;\msd),

3800: $$

3801: and

3802: $$

3803: u_n(t) \to u(t)

3804: \quad\quad

3805: \text{strongly in }L^q(\Om;\R^2).

3806: $$

3807: Point $(a)$ is now proved, and the proof is concluded.

3808: \end{proof}

3809: 

3810: \bigskip

3811: \bigskip

3812: \centerline{ACKNOWLEDGMENTS}

3813: \bigskip\noindent

3814: The authors wish to thank Gianni Dal Maso

3815: for many helpful and interesting discussions.

3816: 

3817: 

3818: %%%%%%%%%BIBLIOGRAFIA%%%%%%%%%%%%%%%%%%%%%

3819: 

3820: \begin{thebibliography}{99}

3821: 

3822: \bibitem{A1}{Ambrosio L.}:

3823: A compactness theorem for a new class of functions

3824: of bounded variations.

3825: {\it Boll. Un. Mat. Ital.}\,{\bf 3-B} (1989), 857-881.

3826: 

3827: \bibitem{A2}{Ambrosio L.}:

3828: Existence theory for a new class of variational problems.

3829: {\it Arch. Ration. Mech. Anal.}\,{\bf 111} (1990), 291-322.

3830: 

3831: \bibitem{A3}{Ambrosio L.}:

3832: A new proof of the SBV compactness theorem.

3833: {\it Calc. Var. Partial Differential Equations}

3834: \,{\bf 3} (1995), 127--137.

3835: 

3836: \bibitem{AFP}{Ambrosio L., Fusco N., Pallara D.}:

3837: {\it Functions of bounded

3838: variations and Free Discontinuity Problems}. 

3839: Clarendon Press, Oxford, 2000.

3840: 

3841: \bibitem{BFM}{Bourdin B., Francfort G.A., Marigo J.J.}: 

3842: Numerical experiments in

3843: revisited brittle fracture. 

3844: {\it J. Mech. Phys. Solids}\,{\bf 48-4} (2000), 797-826.

3845: 

3846: \bibitem{Br}{Brezis, H.}: 

3847: {\it Op\'erateurs maximaux monotones et semi-groupes de

3848: contractions dans les espaces de Hilbert}. 

3849: North-Holland, Amsterdam, 1973.

3850: 

3851: \bibitem{Bre2}{Brezis H.}: 

3852: Convergence in ${\mathcal D}'$ and in $L^1$

3853: under strict convexity. {\it Boundary value problems for partial

3854: differential equations and applications\/},  43-52, {\it RMA Res.

3855: Notes Appl. Math., 29, Masson, Paris\/}, (1993).

3856: 

3857: \bibitem{Cia}{Ciarlet P.G.}:

3858: {\it The Finite Element Method for Elliptic Problems},

3859: North Holland, Amsterdam (1978).

3860: 

3861: \bibitem{Ch} Chambolle A.:

3862: A density result in two-dimensional 

3863: linearized elasticity, and applications.

3864: {\it Arch. Ration. Mech. Anal.\/} {\bf 167} (2003), 211-233.

3865: 

3866: \bibitem{CT}{Cortesani G., Toader R.}: 

3867: A density result in SBV with respect to

3868: non-isotropic energies.

3869: {\it Nonlinear Anal.  Ser. B: Real World Appl.}\,{\bf 38}

3870: (1999), 585-604.

3871: 

3872: \bibitem{dm}{Dal Maso G.}: 

3873: {\it An Introduction to $\Gamma${-}Convergence},

3874: Birkh\"{a}user, Boston (1993).

3875: 

3876: \bibitem{DMT}{Dal Maso G., Toader R.}: 

3877: A model for the quasistatic growth of brittle fractures: 

3878: existence and approximation results.

3879: {\it Arch. Ration. Mech. Anal.}\,{\bf 162} (2002), 101-135.

3880: 

3881: \bibitem{DMFT}{Dal Maso G., Francfort G.A., Toader R.}:

3882: Quasi-static growth of brittle fractures: the case of

3883: quasiconvex bulk energies with applied body and surface

3884: forces. Preprint SISSA, Trieste, (2004).

3885: 

3886: \bibitem{FL}{Francfort G.A., Larsen C.J.}:

3887: Existence and convergence for quasistatic

3888: evolution in brittle fracture.

3889: {\it Comm. Pure Appl. Math.}\,{\bf 56} (2003), 1465--1500.

3890: 

3891: \bibitem{FM}{Francfort G.A., Marigo J.-J.}:

3892: Revisiting brittle fractures as an energy

3893: minimization problem.

3894: {\it J. Mech. Phys. Solids}\,{\bf 46} (1998), 1319-1342.

3895: 

3896: \bibitem{G}{Giacomini A.}: Ambrosio-Tortorelli approximation of

3897: quasistatic evolution of brittle fractures.

3898: Preprint SISSA, Trieste, (2003).

3899: 

3900: \bibitem{GP}{Giacomini A., Ponsiglione M.}:

3901: A discontinuous finite element approximation

3902: of quasistatic growth of brittle fractures.

3903: {\it Numer. Funct. Anal. Optim.}\,{\bf 24} (2003),

3904: 813-850.

3905: 

3906: \bibitem{K}{Kristensen J.}:

3907: Lower semicontinuity in spaces of weakly

3908: differentiable functions.

3909: {\it Math. Ann.}\,{\bf 313} (1999), 653-710.

3910: 

3911: \bibitem{N}{Negri M.}:

3912: Numerical methods for free-discontinuity problems

3913: based on approximations

3914: by $\Gamma${-}convergence.

3915: PhD Thesis, SISSA/ISAS, Trieste, (2001).

3916: 

3917: \bibitem{N2}{Negri M.}:

3918: A discontinuous finite element

3919: approach for the approximation of free

3920: discontinuity problems.

3921: Preprint University of Pavia, (2003).

3922: 

3923: \bibitem{Ro}{Rogers C.A.}:

3924: {\it Hausdorff Measures}. Cambridge University Press,

3925: Cambridge, 1970.

3926: 

3927: \end{thebibliography}

3928: 

3929: 

3930: \end{document}

3931: