1: 

2: \documentclass[final]{siamltex}

3: %\linespread{1.6}

4: \usepackage[dvips]{epsfig}

5: %\usepackage{fullpage}

6: %\documentclass[12pt]{article}

7: %\textwidth 6.0in \leftmargin -1.in

8: %%%%%%%%%%%%%%%%%%% PACKAGES %%%%%%%%%%%%%

9: \usepackage{latexsym}

10: \usepackage{amsmath}

11: \usepackage{graphicx}

12: \usepackage{amssymb}

13: \usepackage{amsbsy}

14: \usepackage{subfigure}

15: \usepackage{wrapfig}

16: \usepackage{psfrag}

17: %%%%%%%%%%%%%%%%% NEW COMMANDS %%%%%%%%%%%%

18: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

19: \newcommand{\ep}{\epsilon}

20: \newcommand{\vep}{\varepsilon}

21: \newcommand{\bb}{\bibitem}

22: \newcommand{\wc}{\rightharpoonup}

23: \newcommand{\hneg}{H^{-1}(\Omega)}

24: \newcommand{\hone}{H_0^1(\Omega)}

25: \newcommand{\bal}{{\boldsymbol \alpha}}

26: \newcommand{\bA}{{\boldsymbol A}}

27: \newcommand{\bB}{{\boldsymbol B}}

28: \newcommand{\bC}{{\boldsymbol C}}

29: \newcommand{\bT}{{\boldsymbol T}}

30: \newcommand{\bG}{{\boldsymbol G}}

31: \newcommand{\bP}{{\boldsymbol P}}

32: \newcommand{\bU}{{\boldsymbol U}}

33: \newcommand{\be}{{\boldsymbol e}}

34: \newcommand{\bE}{{\boldsymbol E}}

35: \newcommand{\bk}{{\boldsymbol k}}

36: \newcommand{\bl}{{\boldsymbol l}}

37: \newcommand{\bh}{{\boldsymbol h}}

38: \newcommand{\bd}{{\boldsymbol d}}

39: \newcommand{\bq}{{\boldsymbol q}}

40: \newcommand{\bp}{{\boldsymbol p}}

41: \newcommand{\fbf}{{\boldsymbol f}}

42: \newcommand{\bg}{{\boldsymbol g}}

43: \newcommand{\bF}{{\boldsymbol F}}

44: \newcommand{\bs}{{\boldsymbol s}}

45: \newcommand{\bu}{{\boldsymbol u}}

46: \newcommand{\bv}{{\boldsymbol v}}

47: \newcommand{\bV}{{\boldsymbol V}}

48: \newcommand{\bw}{{\boldsymbol w}}

49: \newcommand{\bx}{{\boldsymbol x}}

50: \newcommand{\by}{{\boldsymbol y}}

51: \newcommand{\bz}{{\boldsymbol z}}

52: \newcommand{\bt}{{\boldsymbol T}}

53: \newcommand{\btt}{{\boldsymbol t}}

54: \newcommand{\bX}{{\boldsymbol X}}

55: \newcommand{\bkap}{{\boldsymbol \kappa}}

56: \newcommand{\bchi}{{\boldsymbol \chi}}

57: \newcommand{\bnu}{{\boldsymbol \nu}}

58: \newcommand{\bphi}{{\boldsymbol \phi}}

59: \newcommand{\bpsi}{{\boldsymbol \psi}}

60: \newcommand{\btau}{{\boldsymbol \tau}}

61: \newcommand{\bvep}{{\boldsymbol \varepsilon}}

62: 

63: \DeclareMathOperator{\m}{m}

64: \DeclareMathOperator{\im}{im}

65: %%%%%%%%%%%%%%%% NEW COMMANDS: CHERKAEV %%%%%%%%%%%%%%%%

66: %%%%%%%%% LATEX-ABBR_03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

67: % Abbreviate symbols for bold-face letters: note you need defs.tex first

68: \newcommand{\Ba}{{\bfm a}}

69: \newcommand{\Bb}{{\bfm b}}

70: \newcommand{\Bc}{{\bfm c}}

71: \newcommand{\Bd}{{\bfm d}}

72: \newcommand{\Be}{{\bfm e}}

73: \newcommand{\Bf}{{\bfm f}}

74: \newcommand{\Bg}{{\bfm g}}

75: \newcommand{\Bh}{{\bfm h}}

76: \newcommand{\Bi}{{\bfm i}}

77: \newcommand{\Bj}{{\bfm j}}

78: \newcommand{\Bk}{{\bfm k}}

79: \newcommand{\Bl}{{\bfm l}}

80: \newcommand{\Bm}{{\bfm m}}

81: \newcommand{\Bn}{{\bfm n}}

82: \newcommand{\Bo}{{\bfm o}}

83: \newcommand{\Bp}{{\bfm p}}

84: \newcommand{\Bq}{{\bfm q}}

85: \newcommand{\Br}{{\bfm r}}

86: \newcommand{\Bs}{{\bfm s}}

87: \newcommand{\Bt}{{\bfm t}}

88: \newcommand{\Bu}{{\bfm u}}

89: \newcommand{\Bv}{{\bfm v}}

90: \newcommand{\Bw}{{\bfm w}}

91: \newcommand{\Bx}{{\bfm x}}

92: \newcommand{\By}{{\bfm y}}

93: \newcommand{\Bz}{{\bfm z}}

94: \newcommand{\BA}{{\bfm A}}

95: \newcommand{\BB}{{\bfm B}}

96: \newcommand{\BC}{{\bfm C}}

97: \newcommand{\BD}{{\bfm D}}

98: \newcommand{\BE}{{\bfm E}}

99: \newcommand{\BF}{{\bfm F}}

100: \newcommand{\BG}{{\bfm G}}

101: \newcommand{\BH}{{\bfm H}}

102: \newcommand{\BI}{{\bfm I}}

103: \newcommand{\BJ}{{\bfm J}}

104: \newcommand{\BK}{{\bfm K}}

105: \newcommand{\BL}{{\bfm L}}

106: \newcommand{\BM}{{\bfm M}}

107: \newcommand{\BN}{{\bfm N}}

108: \newcommand{\BO}{{\bfm O}}

109: \newcommand{\BP}{{\bfm P}}

110: \newcommand{\BQ}{{\bfm Q}}

111: \newcommand{\BR}{{\bfm R}}

112: \newcommand{\BS}{{\bfm S}}

113: \newcommand{\BT}{{\bfm T}}

114: \newcommand{\BU}{{\bfm U}}

115: \newcommand{\BV}{{\bfm V}}

116: \newcommand{\BW}{{\bfm W}}

117: \newcommand{\BX}{{\bfm X}}

118: \newcommand{\BY}{{\bfm Y}}

119: \newcommand{\BZ}{{\bfm Z}}

120: 

121: % Abbreviate symbols for caligraphic letters

122: \newcommand{\Ca}{{\cal a}}

123: \newcommand{\Cb}{{\cal b}}

124: \newcommand{\Cc}{{\cal c}}

125: \newcommand{\Cd}{{\cal d}}

126: \newcommand{\Ce}{{\cal e}}

127: \newcommand{\Cf}{{\cal f}}

128: \newcommand{\Cg}{{\cal g}}

129: \newcommand{\Ch}{{\cal h}}

130: \newcommand{\Ci}{{\cal i}}

131: \newcommand{\Cj}{{\cal j}}

132: \newcommand{\Ck}{{\cal k}}

133: \newcommand{\Cl}{{\cal l}}

134: \newcommand{\Cm}{{\cal m}}

135: \newcommand{\Cn}{{\cal n}}

136: \newcommand{\Co}{{\cal o}}

137: \newcommand{\Cp}{{\cal p}}

138: \newcommand{\Cq}{{\cal q}}

139: \newcommand{\Cr}{{\cal r}}

140: \newcommand{\Cs}{{\cal s}}

141: \newcommand{\Ct}{{\cal t}}

142: \newcommand{\Cu}{{\cal u}}

143: \newcommand{\Cv}{{\cal v}}

144: \newcommand{\Cx}{{\cal x}}

145: \newcommand{\Cy}{{\cal y}}

146: \newcommand{\Cz}{{\cal z}}

147: \newcommand{\CA}{{\cal A}}

148: \newcommand{\CB}{{\cal B}}

149: \newcommand{\CC}{{\cal C}}

150: \newcommand{\CD}{{\mathcal D}}

151: \newcommand{\CE}{{\cal E}}

152: \newcommand{\CF}{{\cal F}}

153: \newcommand{\CG}{{\cal G}}

154: \newcommand{\CH}{{\cal H}}

155: \newcommand{\CI}{{\cal I}}

156: \newcommand{\CJ}{{\cal J}}

157: \newcommand{\CK}{{\cal K}}

158: \newcommand{\CL}{{\cal L}}

159: \newcommand{\CM}{{\cal M}}

160: \newcommand{\CN}{{\cal N}}

161: \newcommand{\CO}{{\cal O}}

162: \newcommand{\CP}{{\cal P}}

163: \newcommand{\CQ}{{\cal Q}}

164: \newcommand{\CR}{{\cal R}}

165: \newcommand{\CS}{{\cal S}}

166: \newcommand{\CT}{{\cal T}}

167: \newcommand{\CU}{{\cal U}}

168: \newcommand{\CV}{{\cal V}}

169: \newcommand{\CW}{{\cal W}}

170: \newcommand{\CX}{{\cal X}}

171: \newcommand{\CY}{{\cal Y}}

172: \newcommand{\CZ}{{\cal Z}}

173: 

174: % Reduce space surrounding equal signs (=) in equation arrays.

175: \setlength{\arraycolsep}{2pt}

176: % Set up counter for list environments

177: \newcounter{itemnbr}

178: % Handy abbreviations for Latex commands.

179: \newcommand\eq[1] {(\ref{#1})}

180: \newcommand\eqp[1] {(\ref{eq:#1})}

181: \newcommand\defn[1] {\ref{def:#1}}

182: \newcommand\thm[1] {\ref{thm:#1}}

183: \newcommand\sect[1] {\ref{sec:#1}}

184: \newcommand\fig[1] {\ref{fig:#1}}

185: \newcommand\labeq[1] {\label{eq:#1}}

186: \newcommand\labdefn[1] {\label{def:#1}}

187: \newcommand\labthm[1] {\label{thm:#1}}

188: \newcommand\labsect[1] {\label{sec:#1}}

189: \newcommand\labfig[1] {\label{fig:#1}}

190: \newcommand\etal{{\it et al.}}

191: \newcommand\pd[2] {{\frac{\partial{#1}}{\partial{#2}}  }}

192: \newcommand\od[2] {{d{#1} \over d{#2}  }}

193: \newcommand\f[2] {{\frac{#1}{#2} }}

194: % Math environments

195: 

196: %%\newcommand\remark{{\it Remark:}\quad}

197: %\newcommand\qed{\ \rule[-0.2ex]{0.3em}{1.5ex}}

198: % De-verbose the LaTeX math environment

199: \newcommand{\bfm}[1]{\mbox{\boldmath ${#1}$}}

200: \newcommand{\nonum}{\nonumber \\}

201: \newcommand{\beqa}{\begin{eqnarray}}

202: \newcommand{\eeqa}[1]{\label{#1}\end{eqnarray}}

203: \newcommand{\beqan}{\begin{eqnarray*}}

204: \newcommand{\eeqan}{\end{eqnarray*}}

205: \newcommand{\beq}{\begin{equation}}

206: \newcommand{\eeq}[1]{\label{#1}\end{equation}}

207: \newcommand{\bay}{\begin{array}}

208: \newcommand{\eay}{\end{array}}

209: 

210: % abbreviations for symbols

211: \newcommand{\sign}{\mbox{sign\,}}

212: \newcommand{\hf}{\frac{1}{2}}

213: \newcommand{\Grad}{\nabla}

214: \newcommand{\Ink}{\mbox{Ink~}}

215: \newcommand{\Def}{\mbox{Def~}}

216: \newcommand{\Div}{\nabla \cdot}

217: \newcommand{\Curl}{\nabla \times}

218: \newcommand{\Md}{\partial}

219: \newcommand{\Tr}{\mbox{ \rm{Tr\,}}}

220: \newcommand{\In}{\mbox{ \rm{in }}}

221: \newcommand{\On}{\mbox{ \rm{on }}}

222: %\newcommand{\And}{\mbox{ \rm{and }}}

223: \newcommand{\Or}{\mbox{ \rm{or }}}

224: \newcommand{\If}{\mbox{ \rm{if }}}

225: \newcommand{\Cnst}{\mbox{ \rm{constant}}}

226: %\newcommand{\inf}{\mbox{\rm{inf}}\;}

227: \newcommand{\sub}[1]{_{\mbox{\footnotesize{\rm{#1}}}}}

228: %\newcommand{\sup}[1]{^{\mbox{\footnotesize{\rm{#1}}}}}

229: %\newcommand{\Than\mbox{ \rm{than} }}

230: %%\newcommand{\In}{\quad \mbox{\rm{in} }}

231: %%\newcommand{\On}{\quad \mbox{\rm{on} }}

232: 

233: 

234: 

235: \newcommand{\xfgr}[2] {%

236: \begin{figure}

237:     %

238: %    \centerline{\epsfxsize=#5\textwidth

239:  %                \epsfxsize=1.25\epsfxsize %% Final book production: enlarge figures by 25%

240:  %                \epsffile{#1.eps}}%

241:   %  \hspace{1in}

242:     \caption

243:   %[{#3}]

244:     {#1}%

245:     \label{#2}%

246: \end{figure}

247: }

248: \newcommand{\X}[1]{#1\index{#1}}

249: 

250: 

251: 

252: 

253: % Abbreviate definitions of bold Greek symbols: note that defs.tex is

254: % needed first

255: \newcommand{\BGa}{\bfm\alpha}

256: \newcommand{\BGb}{\bfm\beta}

257: \newcommand{\BGd}{\bfm\delta}

258: \newcommand{\BGe}{\bfm\epsilon}

259: \newcommand{\BGve}{\bfm\varepsilon}

260: \newcommand{\BGf}{\bfm\phi}

261: \newcommand{\BGvf}{\bfm\varphi}

262: \newcommand{\BGg}{\bfm\gamma}

263: \newcommand{\BGc}{\bfm\chi}

264: \newcommand{\BGi}{\bfm\iota}

265: \newcommand{\BGk}{\bfm\kappa}

266: \newcommand{\BGl}{\bfm\lambda}

267: \newcommand{\BGn}{\bfm\eta}

268: \newcommand{\BGm}{\bfm\mu}

269: \newcommand{\BGv}{\bfm\nu}

270: \newcommand{\BGp}{\bfm\pi}

271: \newcommand{\BGt}{\bfm\theta}

272: \newcommand{\BGvt}{\bfm\vartheta}

273: \newcommand{\BGr}{\bfm\rho}

274: \newcommand{\BGvr}{\bfm\varrho}

275: \newcommand{\BGs}{\bfm\sigma}

276: \newcommand{\BGj}{\bfm\tau}

277: \newcommand{\BGu}{\bfm\upsilon}

278: \newcommand{\BGo}{\bfm\omega}

279: \newcommand{\BGx}{\bfm\xi}

280: \newcommand{\BGy}{\bfm\psi}

281: \newcommand{\BGz}{\bfm\zeta}

282: \newcommand{\BGD}{\bfm\Delta}

283: \newcommand{\BGF}{\bfm\Phi}

284: \newcommand{\BGG}{\bfm\Gamma}

285: \newcommand{\BGL}{\bfm\Lambda}

286: \newcommand{\BGP}{\bfm\Pi}

287: \newcommand{\BGT}{\bfm\Theta}

288: \newcommand{\BGS}{\bfm\Sigma}

289: \newcommand{\BGU}{\bfm\Upsilon}

290: \newcommand{\BGO}{\bfm\Omega}

291: \newcommand{\BGX}{\bfm\Xi}

292: \newcommand{\BGY}{\bfm\Psi}

293: 

294: % Abbreviate definitions of greek symbols

295: \newcommand{\Ga}{\alpha}

296: \newcommand{\Gb}{\beta}

297: \newcommand{\Gd}{\delta}

298: \newcommand{\Ge}{\epsilon}

299: \newcommand{\Gve}{\varepsilon}

300: \newcommand{\Gf}{\phi}

301: \newcommand{\Gvf}{\varphi}

302: \newcommand{\Gg}{\gamma}

303: \newcommand{\Gc}{\chi}

304: \newcommand{\Gi}{\iota}

305: \newcommand{\Gk}{\kappa}

306: \newcommand{\Gl}{\lambda}

307: \newcommand{\Gn}{\eta}

308: \newcommand{\Gm}{\mu}

309: \newcommand{\Gv}{\nu}

310: \newcommand{\Gp}{\pi}

311: \newcommand{\Gt}{\theta}

312: \newcommand{\Gvt}{\vartheta}

313: \newcommand{\Gr}{\rho}

314: \newcommand{\Gvr}{\varrho}

315: \newcommand{\Gs}{\sigma}

316: \newcommand{\Gj}{\tau}

317: \newcommand{\Gu}{\upsilon}

318: \newcommand{\Go}{\omega}

319: \newcommand{\Gx}{\xi}

320: \newcommand{\Gy}{\psi}

321: \newcommand{\Gz}{\zeta}

322: \newcommand{\GD}{\Delta}

323: \newcommand{\GF}{\Phi}

324: \newcommand{\GG}{\Gamma}

325: \newcommand{\GL}{\Lambda}

326: \newcommand{\GP}{\Pi}

327: \newcommand{\GT}{\Theta}

328: \newcommand{\GS}{\Sigma}

329: \newcommand{\GU}{\Upsilon}

330: \newcommand{\GO}{\Omega}

331: \newcommand{\GX}{\Xi}

332: \newcommand{\GY}{\Psi}

333: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

334: %%%%%%%%%%%%%%%%% GADGET_05 %%%%%%%%%%%%%%%%%%%%%%

335: \newcommand{\into}{\int_{\Omega}}

336: \newcommand{\intb}{\int_{\partial \Omega}}

337: \newcommand\cond[4] {\left\{\begin{array}{ll}{#1} & \mbox{if } {#2} \\

338: {#3} & \mbox{if } {#4} \end{array} \right.}

339: \newcommand\rec[1] {\frac{1}{{#1}}}

340: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

341: %%%%%%%%%%% PREAMBULA%%%%%%%%%%%%%%%%%%%%%%%%%%%

342: % Bibliography style:

343: %\citationstyle{dcu}

344: %\bibliographystyle{dcu}

345: %\usepackage{theorem}

346: %{\theorembodyfont{\sffamily}{

347: %\newtheorem{example}{Example}[section]}

348: %\newtheorem{definition}{Definition}[section]

349: %\newtheorem{lemma}{Lemma}[section]

350: %\newtheorem{theorem}{Theorem}[section]

351: %\newtheorem{corollary}{Corollary}[section]

352: %\newtheorem{problem}{Problem}[section]

353: %{\theorembodyfont{\sffamily}{

354: %\newtheorem{remark}{Remark}[section]}

355: %\newcommand\proof{{\it Proof:}\quad}

356: %%%%%%%%%%% THEOREMS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

357: %\newtheorem{theorem}{Theorem}[section]

358: %\newtheorem{lemma}[theorem]{Lemma}

359: %\newtheorem{proposition}[theorem]{Proposition}

360: %\theoremstyle{definition}

361: %\newtheorem{definition}[theorem]{Definition}

362: %\newtheorem{example}[theorem]{Example}

363: \newtheorem{xca}[theorem]{Exercise}

364: 

365: %\theoremstyle{remark}

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

367: 

368: \numberwithin{equation}{section}

369: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

370: \title{Still states of bistable lattices, compatibility, and phase transition}

371: \author{

372: 	Andrej Cherkaev

373: 	\thanks{Department of Mathematics, University of Utah ({\tt cherk@math.utah.edu}).

374: Supported in part by NSF grant DMS-0707974.

375: }

376: \and

377: 	Andrei Kouznetsov

378: 	\thanks{Department of Mathematics, Washington State University ({\tt akouznet@math.wsu.edu}).

379: Work of Andrei Kouznetsov was supported in part by DOE grant DE-FG02-05ER25709.

380: }

381: \and

382: 	Alexander Panchenko

383: 	\thanks{Department of Mathematics, Washington State University ({\tt panchenko@math.wsu.edu}). Work of Alexander Panchenko was supported in part by DOE grant DE-FG02-05ER25709 and by NSF grant

384: OISE-0438765.}

385: }

386: 

387: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

388: \begin{document}

389: \maketitle

390: \markboth{A. CHERKAEV, A. KOUZNETSOV AND A.~ PANCHENKO}{STILL STATES AND PHASE TRANSITION}

391: \begin{abstract}

392: A two-dimensional bistable lattice is a periodic triangular network of non-linear bi-stable rods. The energy of each rod is piecewise quadratic and has two minima. Consequently, a rod undergoes a reversible phase transition when its elongation reaches a critical value.

393: We study an energy minimization problem for such lattices. The objective is to characterize the effective energy of the system when the number of nodes in the network approaches infinity.

394: The most important feature of the effective energy is its "flat bottom". This  means that the effective energy density is zero

395: for all strains inside a certain three-dimensional set in the strain space. The flat bottom occurs because the microscopic discrete model has a large number of deformed states that carry no forces. We call such deformations \emph{still states}.  In the paper, we present a complete characterization of the "flat bottom" set in terms of the parameters of the network.  This is done by constructing a family of still states whose average strains densely fill the set in question.

396: 

397: The two-dimensional case is more difficult than the previously studied case of one-dimensional chains, because the elongations in two-dimensional  networks must satisfy certain compatibility conditions that do not arise in the one-dimensional case.

398: We derive these conditions for small and arbitrary deformations. For small deformations a complete analysis is provided.

399: \end{abstract}

400: 

401: 

402: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

403: %\tableofcontents

404: 

405: \begin{keywords} Phase transformation in solids, Bi-stable lattice, Eigenstrain, Compatibility conditions. \end{keywords}

406: \begin{AMS}70C20, 74N15, 74Q05, 74Q15, 74A50\end{AMS}

407: 

408: \section{Introduction}

409: 

410: This paper suggests a simple discrete model for phase transition

411: theory.  In two dimensions, we study deformation of {\it bi-stable lattices} (BL), which are periodic triangular networks of bistable

412: elastic rods. A similar network with linearly elastic rods has been

413: used by Cauchy,

414: %****** Theory of elasticity is started with Cauchy

415: %discrete model: a triangular grid with linearly elastic rods.

416: who formally averaged this assembly and obtained one of the first equations of

417: continuum elasticity \cite{theory_elasticity_love}. Here, we

418: consider the same assembly, assuming, however, that the rods are

419: bi-stable. The bi-stability models phase transitions: it is assumed

420: that each rod has two equilibrium states that of length

421: $l$ and $l (1+s)$, respectively. Here, $s$ can vary between $\hf$ and $2$, so that

422: a triangle of transformed rods still remains a triangle.

423: 

424: 

425: We believe that this bi-stable lattice model

426: %{\em triangular network o bistable

427: %rods (TBR)} --

428: is the simplest and natural finite dimensional model

429: for phase transitions in solids. Although it does not have all the

430: features of continuum model, it appears to capture most of the

431: expected features. At the same time this model allows for detailed

432: description of inhomogeneous deformations and does not involve ad

433: hoc assumptions of the continuum theory.

434: 

435: One dimensional chains of bi-stable rods are well investigated

436: \cite{braides_interactions, braidis, cherkaev_1, cherkaev_2,  truskinovsky-siam, truskinovsky}.

437: %We briefly

438: %discuss the results in section \ref{subsection:one_dimensional_rod}.

439: Each bistable element can be in one of the two  states ({\em short}

440: and {\em long} mode) that differ by the equilibrium length. It is

441: assumed for definiteness that initially all rods are in short mode

442: and can transit to the long mode.  The state of a chain with some

443: transited elements is characterized by a scalar relative elongation, or one-dimensional strain, that is

444: the normalized difference between the length in the deformed configuration

445: and reference length.

446: 

447: Some results on the two-dimensional bi-stable lattices can be found in \cite{slepyan_surprise, slepyan04-waves} (explicit construction of certain special solutions, discrete Green functions), and \cite{cherkaev_vinogradov, cherkaev_protective} (direct numerical simulations of time-dependent impact fracture problems). Other related problems are treated in the book \cite{slepyan-book} that also contains a wealth of additional references.

448: 

449: The present work differs from the above mentioned papers both in approach and in scope.

450: It addresses the specific difficultly of the two-dimensional

451: problem --  \emph{compatibility

452: conditions} on the rods' length.  These conditions are automatically satisfied in

453: one dimensional chains. In two-dimensional lattice, the transition of links to a new state

454: generally leads to elastic deformation of all rods. For example, one

455: transformed (elongated) rod does not fit into a triangular lattice

456: of non-transformed (short) links without distorting the lattice.

457: Each such distortion increases the energy of the assembly.

458: 

459: One of the objectives of the paper is to describe special lattice deformations that we call

460: {\em still states}. These deformations carry zero forces in each rod, and thus the energy of each still state is zero.  In any such state the length of each rod should be either $l$ or $l(1+s)$.

461: Since the number of rods is larger than the number of nodes times the dimension, an arbitrary assignment of lengths may not correspond to an actual lattice deformation. Therefore

462: compatibility conditions must be satisfied at a still state.

463: 

464: We describe the set of

465: average strains of still states. First, we consider the network of rods undergoing arbitrary

466: deformations. We assume that  an effective strain tensor is represented by its

467: eigenvalues. In the plane of eigenvalues, the set ${\mathcal H}_L$ of all still

468: states is a nonconvex curvilinear hexagon. We demonstrate structures

469: that densely fill ${\mathcal H}_L$ and derive nonlinear compatibility

470: conditions.

471: 

472: Further, we consider the case of small deformation, linearize the

473: compatibility conditions and develop  the theory in more detail.

474: We show that the linearized compatibility conditions are necessary and sufficient for existence of a

475: lattice deformation with a given set of link elongations. In this

476: sense, the conditions are analogous to the compatibility

477: conditions in continuum elasticity. We also describe a sequence of still

478: states whose average strains reach the average strain of any still state by incremental change of the

479: structure starting from the reference configuration. This

480: procedure can describe an evolutionary irreversible process of phase

481: transition, such as the damage distribution. In this case, the

482: initial state corresponds to  "undamaged" configuration and structural change -- to irreversible

483: damage propagation.

484: 

485: We also construct the set $\mathcal{D}$ of all average strain

486: tensors corresponding to still states and sets of deformed elements that densely fill that

487: set. In the space of entries of the strain tensor,  the

488: set $\mathcal{D}$  turns out to be a parallelepiped. We obtain explicit formulas that relate the side lengths and orientation of this parallelepiped to the non-dimensional critical elongation parameter $s$, and three lattice direction vectors.

489: 

490: Finally, we suggest an equation for the effective energy density as a function of the total strain.

491: It

492: is as follows: if a strain is inside of the set

493: $\mathcal{D}$, then the energy density is asymptotically close to zero as

494: the number of the network nodes goes to infinity. If the strain is

495: outside of this set, the energy density is proportional to the

496: square of the distance between the strain tensor and

497: $\mathcal{D}$.

498: 

499: The paper is organized as follows. Section 2 contains formulation of the problem and derivation of compatibility conditions

500: for arbitrary deformations. Small deformation compatibility conditions are also obtained here. In Section 3 we describe several explicit constructions of still states for arbitrary deformations, as well as a set of eigenstrains of all still states. The remainder of the paper deals with the small deformation case. In Section 4.1 we formulate the problem. A new formula for average strain is obtained in Section 4.2. Unlike existing formulas that relate average strain to nodal displacements, our formula gives an expression in terms of rod elongations. This allows to relate components of strain to the average elongations along lattice directions. Such formulas seem to be of independent interest.  In section 5 we provide a complete analysis of the compatibility conditions.

501: %We show that these conditions are necessary and sufficient for existence of a lattice deformation realizing a given set of rod elongations.

502: In Section 6, we prove a characterization theorem for ${\mathcal D}$. This is done by constructing another family of still states called stripes. The eigenstrains of the stripes fill ${\mathcal D}$ densely, in the sense that every strain within this set can be approximated by an average strain of some stripe, with an error of order $N^{-1/2}$ where

503:  $N$ is the number of nodes.  Section 7 contains a discussion of the effective energy density. Conclusions are provided in Section 8.

504: 

505: %%%%%%%%%% ANDREJ'S PART BEGINS HERE %%%%%%%%%%%%%%%%%%%

506: 

507: \section{The problem} \label{section:problem}

508: \subsection{Energy of one bistable rod} \label{subsection:one_dimensional_rod}

509: Consider a  bistable elastic rod with the energy $W_r(x)$ that

510: possesses two equal minima $ W_r(l)= W_r(\alpha l)=0$. Let us also

511: assume that $W_r(x)$ is convex outside of the interval $[l, ~l(1+s)]$,

512: and its

513: second derivative is positive in a proximity of each minima $x=l$ and

514: $x=l(1+s)$.

515: For definiteness, we may assume that the dependence of $W_r(x)$ on the

516: length $x>0$

517: is piece-wise quadratic $(W_r^q)$ or polynomial $(W_r^p)$

518: \begin{eqnarray}

519: \label{rod-energy} W_r^q(x) &=& \min\left\{ \hf (x-l)^2, \hf C

520: (x-l(1+s))^2\right\}, \nonum

521: W_r^p(x) &= &  (x-l)^2

522: (x-l(1+s))^2,

523: \end{eqnarray}

524: where  $l$ is the length of the rod in the reference configuration,

525: $l+s$ is the length in the elongated mode, and

526: $\hf <1+s< 2$.

527: 

528: The rods are  elastic and locally stable in a proximity of the

529: equilibria. The elastic force $f_r$ in the rod is

530:  $$

531: f_r(x)=\pd{W_r}{x}.

532:  $$

533: The rod has two equilibrium states $x=l$ and $x=l(1+s)$ of equal

534: energy

535: $$ f_r(x)=0, \quad  W_r(x)=0 \quad \If x=l,\;l(1+s).$$

536: The magnitude of the force monotonically increases with the elongation $l$ in the proximity of equilibria.

537: 

538: There are several equilibrium lengths $x_\Ga$ and $x_\Gb$ for every

539: $f_r$ in a proximity of zero. They are solutions of the equation

540: $$ \pd{W_r}{x}= C $$

541: 

542: \begin{figure}

543:         \begin{center}

544:                 \psfrag{w}{$W_r(x)$} \psfrag{l(1+s)}{$l(1+s)$} \psfrag{x}{$x$} \psfrag{l}{$l$}

545:                 \includegraphics[width=3in]{energy2.eps}

546:                 \caption{Energy of a bistable rod} \label{f:1}

547:         \end{center}

548: \end{figure}

549: 

550: 

551: \subsection{Triangular network}

552: 

553: Consider a triangular periodic network made of the links defined above. For each node, there are

554: six rods joining it with six neighbors.

555: When the rods are of equal lengths, the network is elastically

556: isotropic, its Poisson coefficient is equal to $\rec{4}$,

557: \cite{theory_elasticity_love}. The number of nodes in the period is three times less

558: than the number of rods between them. There are three families of the

559: parallel rods in the network

560: 

561: When the rods transit to a different state, the network becomes

562: inhomogeneous (each rod can have a different length). We assume that the transition is periodic. Each period

563: consists of $N$ nodes where $N$ can be arbitrary large. The

564: network's energy is the sum of energies stored in all $3 N$ links.

565: The length of a link can be expressed through the position of its ends, that

566: is the nodes. The nodes are determined by $N$ pairs of coordinates

567: in a plane, or by $2N$ parameters. Hence, the links' lengths can not be

568: arbitrary (for example, see Figure \ref{f:2}). We conclude that they

569: are subject to $N$ {\em compatibility conditions} that we

570: derive now.

571: 

572: \begin{figure}

573: \begin{center}

574: \includegraphics[height=2in]{tocompatibility.eps}

575: \caption{To compatibility} \label{f:2}

576: \end{center}

577: \end{figure}

578: 

579: \subsection{Compatibility conditions}

580: 

581: \subsubsection{Necessary condition}

582: There are conditions that constrain the lengths of the rods that can

583: be joined in a hexagonal lattice. Consider an inner node in the

584: lattice. There are six rods that link the node with the neighbors;

585: let us denote the lengths of them as $a_1, \ldots a_6$. Consider

586: also six rods that surround the node forming a hexagon around it;

587: let us denote the lengths of them as $b_1, \ldots b_6$. These rods

588: form six triangles joined at the node. The angles at the node will be denoted by $\phi_1, \ldots,

589: \phi_6$ .

590: 

591: The lengths of the listed twelve rods cannot be arbitrary.  The sum

592: of angles of the six triangles $a_1a_2, b_1$, .. is equal to $2

593: \pi$,

594:  \beq

595: \sum_{i=1}^6 \phi_i=2\pi.

596:  \eeq{comp1}

597: To express this condition in terms of the lengths, we use

598: trigonometry. Cosine of each angle $\phi_i$ is expressed through the

599: lengths of the links as

600:  \beq

601: \cos( \phi_i)=\frac{a_i^2 + a_{i+1}^2  -  b_i^2}{2 a_i a_{i+1}},

602: \quad i=1, \ldots, 6.

603:  \eeq{comp2}

604: Here, $a_{7}=a_1$. Therefore, the lengths of rods are constrained as

605: follows \beq \sum_{i=1}^6 \arccos \left(  \frac{a_i^2+ a_{i+1}^2   -

606: b_i^2}{2 a_i a_{i+1}}\right) =2\pi. \eeq{comp3} The number of these

607: constraints is equal to the number of inner nodes in the structure.

608: 

609: \subsubsection{Linearized compatibility conditions} In a linearized case when the

610: lengths of the rods are close to $l$, constraints \eq{comp3} are

611: simplified. Assuming that

612:  \beq

613: a_i=l(1+ \kappa_{a_i}), \quad b_i=l (1+ \kappa_{b_i}), \quad i=1, \ldots, 6

614:  \eeq{comp4}

615: we write $\phi_i$ as the function of $\kappa_{a_i}$, $\kappa_{a_{i+1}}$, $\kappa_{b_i}$:

616: $$ \phi_i = \arccos \frac{(1+ \kappa_{a_i})^2 + (1+ \kappa_{a_{i+1}})^2  -  (1+ \kappa_{b_i})^2}{2 (1+ \kappa_{a_i}) (1+ \kappa_{a_{i+1}})} . $$

617: Linearizing near

618: $$\left(\begin{array}{l}

619: \kappa_{a_i} \\

620: \kappa_{a_{i+1}} \\

621: \kappa_{b_i}

622: \end{array}\right) = \left(\begin{array}{c}

623: 0 \\

624: 0 \\

625: 0

626: \end{array}\right) $$

627: we find

628: $$ \sum_{i=1}^6 \phi_i = 2 \pi + \frac{\sqrt{3}}{3}\left(\sum_{i=1}^6 \kappa_{a_i} + \sum_{i=1}^6 \kappa_{a_{i+1}} - 2 \sum_{i=1}^6\kappa_{b_i}\right) $$

629: Substituting this expression into \eq{comp1}, we obtain an elegant

630: {\em linearized compatibility condition for lattices}

631: \beq

632: \sum_{i=1}^6 \kappa_{a_i} = \sum_{i=1}^6\kappa_{b_i}

633: \eeq{comp6}

634: It states that the sum of the elongations of the spokes that come out of a

635: node is equal to the elongation of the hexagonal rim around this node.

636: 

637: %\subsection{Sufficiency}

638: 

639: 

640: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

641: \section{Eigenstrains and still states}

642: \subsection{Definitions}

643: \subsubsection{Still configurations}

644: In this section we consider {\em still configurations}. These are deformed states with zero force

645: in each rod. Because of the force-elongation dependence, this requires the length of each rod to be either

646: $l$ or $l(1+s)$. To simplify presentation, in this section we scale $l=1$ and denote $l(1+s)=a$.

647: Given a collection of such rod lengths, we call a

648: configuration {\em still} if it is geometrically compatible, that is

649: the ends of the link of the length one and $a$ can meet in the

650: nodes. The examples of still configurations are given below in

651: Figure \ref{fig:hex_strips}. This section contains somewhat informal, but explicit description of the set of

652: (average) {\em eigenstrains} of all still states corresponding to arbitrary (not necessarily small), deformations. We recall that eigenstrain is a generic name given to various non-elastic strains, such as strains due to thermal expansion, phase transformation, initial strains and so on.

653: 

654: 

655: Notice that the problem is reduced to a geometric problem of {\em

656: tiling} of the plane with triangles of four types with the

657: lengths of the sides being equal to $(1, 1, 1)$, $(1, 1, a)$, $(1,

658: a, a)$. and $(a,a, a)$, respectively.

659: 

660: 

661: Any still configuration can be split into parts that are also still

662: configurations. Each configuration is characterized by a symmetric

663: second-rank {\em eigenstrain tensor } which shows the change

664: of the initial shape of a periodic cell. Assume that a unit square

665: element of periodicity of an initial (non-transformed) network

666: contains a very large number of triangles. After deformation, it

667: changes its shape. Asymptotically, this element is close to a

668: parallelogram. The eigenstrain tensor describes the shape of

669: it: the lengths of its sides and the angle between them.

670: 

671: \subsubsection{Eigenstrain of still states}

672: Generally, a deformation due to transformation is followed by

673: elastic deformation of all links due to compatibility conditions

674: \eq{comp3}. Therefore, eigenstrain of the composite network is

675: not a convex combination of eigenstrains of its components that

676: are, in principle, incompatible and lead to additional distortions

677: on the boundaries of components.

678: %\end{remark}

679:  The eigenstrain of a compatible

680: configurations of still states is an affine function (the average)

681: of the eigenstrains of the phases. It is independent of the

682: structure of the mixture

683:  \beq

684: \bE\sub{mixture}=\sum_i^k\Gm_i \bE_i,  \quad \sum_i^k\Gm_i=1 , \quad

685: \Gm_i =\f{k_i}{N}, ~i=0, \ldots, N

686:  \eeq{10}

687: where $\mu_i $ is the volume fraction of the phase with

688: eigenstrain $\bE_i$. The only role of the structure is the selection

689: of compatible states.

690: 

691: %However, the eigenstrain of a still state is a convex

692: %combination of the components that also are still states, as it

693: %follows from the definition.

694: Next, we describe the variety of still states.

695: \subsection{The homogeneous still states}

696: In the initial network, there are three families of codirected rods.

697: The {\em homogeneous still states} are the states in which all the

698: rods in one family are in either "short" or "long" mode.

699: \subsubsection{Classification of homogeneous states}

700: There are eight $(2^3=8) $ homogeneous states that consist of

701: periodic arrays of equal triangles and their reverses.

702: 

703: \begin{figure}

704: \begin{center}

705: \includegraphics[height=3in]{hex.eps}

706: \caption{The homogeneous still states} \label{f:3}

707: \end{center}

708: \end{figure}

709: 

710: \begin{enumerate}

711: \item

712: Initial state $S_\Ga$ with the lengths of the links equal to $(1, 1,

713: 1)$. The elementary square of the state (the eigenstrain) is

714: assumed to be an identity matrix,

715:  \beq

716: \bE_\Ga=\begin{pmatrix} 1 & 0 \cr 0 & 1

717: \end{pmatrix}

718:  \eeq{bas1}

719: \item

720: The dual state $S_\Gb$ with the lengths of the links equal to

721: $(a,a,a)$. The unit square element $E_\Ga$ of the initial state is

722: transformed to

723:  \beq

724: \bE_\Gb=\begin{pmatrix}a & 0 \cr 0 & a

725: \end{pmatrix}

726:  \eeq{bas2}

727: and it is still proportional to an identity matrix. We call $\bE_\Gb$

728: the eigenstrain of the state $S_\Gb$.

729: \item

730: State $S_\Gg$ with the lengths of the links equal to $(a,a, 1)$ that

731: consists of  isosceles triangles. The  square element $\bE_\Ga$ of the

732: initial state is transformed to

733:  \beq

734: \bE_\Gg=\begin{pmatrix}\f{\tan  \Gg}{\sqrt{3}} & 0 \cr 0 & 1

735: \end{pmatrix}

736:  \eeq{bas3}

737: Here, $ \Gg$ is the angle between the base of the isosceles triangle

738: and its side, $\Gg$ is expressed through $a$ as

739: $$

740: a=\rec{2 \cos \Gg}

741: $$

742:  $\bE_\Gg$ is the eigenstrain of the state $S_\Gg$.

743: 

744: \item Together with $S_\Gg$, there are two twin states, $S_\Gg'$ with

745: the lengths of the links equal to $(a,1, a)$ and $S_\Gg''$ with the

746: lengths of the links equal to $(1,a, a)$. The eigenstrains of

747: these states are obtained from $\bE_\Gg$ by rotating it to the angle

748: of $\pm 60^\circ$, respectively.

749:  \beq

750: \bE_\Gg'=R^T\,\bE_\Gg\,R \quad \bE_\Gg''=R\,\bE_\Gg\,R^T

751:  \eeq{tw1}

752: where $R$ is the  $60^0$ rotation matrix.

753: \item

754: State $S_\Gd$ with the lengths of the links equal to $(1,1,a)$ that

755: consists of  isosceles triangles. The  square element $\bE_\Ga$ of the

756: initial state is transformed to

757:  \beq

758: \bE_\Gd=\begin{pmatrix}\f{2\sin \Gd}{\sqrt{3}} & 0 \cr 0 &

759: a

760: \end{pmatrix}

761: =

762: \begin{pmatrix}\f{2\sin  \Gd}{\sqrt{3}} & 0 \cr 0 & {2 \cos \Gd}

763: \end{pmatrix}

764:  \eeq{bas4}

765: Here, $ \Gd$ is the angle between the base of the isosceles triangle

766: and its side, $\Gd$ is expressed through $a$ as

767: $$

768: a={2 \cos \Gd}

769: $$

770: The angles $\Gd$ and $\Gg$ are related as

771: $$

772: \cos \Gg\,\cos \Gd=\rec{4}

773: $$

774: \item

775: State $S_\Gd$ is also accompanied by the two twin states,

776: $S_\Gd'$ with the lengths of the links equal to $(a,1, 1)$ and

777: $S_\Gd''$ with the lengths of the links equal to $(1,a, 1)$. The

778: eigenstrains of these states are obtained from $\bE_\Gg$ by

779: rotating it by the angle of $60^\circ$, and $-60^\circ$, respectively.

780:  \beq

781: \bE_\Gd'=R^T\,\bE_\Gd\,R \quad \bE_\Gd''=R\,\bE_\Gd\,R^T

782:  \eeq{tw2}

783: 

784: 

785: \end{enumerate}

786: 

787: 

788: \begin{remark}

789: Pairs $S_\Ga$ , $S_\Gb$ and $S_\Gg$ , $S_\Gd$ are dual: each of them

790: is transferred into another by mutually replacing rods of the length

791: $1$ and $a$.

792: \end{remark}

793: 

794: \subsubsection{Vertices of the eigenstrain states set}

795: Consider a set $\CD$ of all possible eigenstrains. In

796: a three-dimensional space where coordinates are entries of the eigenstrain tensor, this set is a

797: bounded region. The eigenstrains of the homogeneous states correspond

798: to the vertices of $\CD$. Indeed, there the elongation of the each family of the rods is extreme, that is the deformation

799: in the directions of the rods' families is extreme. The rods cannot be elongated

800: (contracted) in these directions without an elastic deformation.

801: Therefore, there exist three trial matrices

802: $\bE_{{tr}_1}$ $\bE_{{tr}_2}$ and $\bE_{{tr}_2}$ of deformation that correspond to impossible change of

803: eigenstrain in the sense that

804: $$\bE_z+ \Ge \bE_{{tr}_i}, \quad z=\Ga,\ldots, \Gb, ~i=1,2,3 $$

805: does not correspond to any still state, for any $\Ge>0$.

806: 

807: Consider, for example, state $S_\Ga$. Set of impossible deformations

808: $\bE_{tr}$ contains a cone of matrices  of the form

809: \beqa

810: 	\bE^\Ga_{tr} = \sum_{i=1}^3 d_i\Bt_i\Bt_i^T \label{trial-a}\\

811: 	d_i<0,

812: 	\quad \Bt_1 = \begin{pmatrix} 1\cr 0 \end{pmatrix} ,

813: 	\Bt_3 = \hf \begin{pmatrix} 1 \cr \sqrt{3} \end{pmatrix},

814: 	\Bt_3 = \hf \begin{pmatrix}-1 \cr \sqrt{3} \end{pmatrix},\nonumber

815: \eeqa

816: where $d<0$ is arbitrary.

817: These deformations require contraction of one of the rods. In the state $S_\Ga$ such contraction is

818: impossible. The impossible deformations form a cone in

819: the eigenstrain space. Similar cones can be established for all

820: homogeneous states because the structure cannot be extended

821: (compressed) in the direction  of  long (short) rods.

822: Below we describe the two- and three-phase composites of still states.

823: The eigenstrain of any still state composite is a convex combination of eigenstrains of its phases,

824: therefore, the two-phase composites correspond to edges of $\CD$ and  two-phase composites -- to its phases.

825: Set $\CD$ is a polyhedron.

826: 

827: We also describe a two-dimensional set ${\mathcal H}_L$ of eigenvalues $(\GL_A, \GL_B)$ of eigenstrains.

828: This set is also bounded and symmetric (includes pairs $(\GL_A, \GL_B)$ and $(\GL_B, \GL_A)$).

829: The eigenstrains of the homogeneous states correspond

830: to vertices of ${\mathcal H}_L$, and the differently oriented homogeneous still states $S_\Gg$, $S_\Gg' $ and $S_\Gg''$ (and

831: $S_\Gd$, $S_\Gd' $ and $S_\Gd''$) correspond to the same pairs of eigenvalues -- vertices of ${\mathcal H}_L$.

832: However, the eigenvalues of a two-phase composite are convex combinations of eigenvalues of components only if

833: their vertices are coaxial tensors (the eigen-axes are codirected). Otherwise, they are located along a curve that

834: join the vertices. Therefore,  ${\mathcal H}_L$ is a symmetric curvilinear hexagon.

835: 

836: \subsection{Laminate structures}

837: There are still states composed from several basis homogeneous

838: states. We call two still states $\bE_y$ and $\bE_z$ are called {\em laminate

839: compatible} if lengths of their rods along the layers are the same.

840: In terms of eigenstrains, the states are laminate compatible if

841: a vector $\tau$ (the tangent) exists such that

842:  \beq

843: \tau^T(\bE_y-\bE_z) \tau=0

844:  \eeq{comp11}

845: that is, matrices $\bE_y$ and $\bE_z$ have the same tangent component. All

846: pairs of homogeneous states except $S_\Ga$ and $S_\Gb$ can be

847: laminated together, along the side of a common self-strain, if the states are allowed to rotate freely.

848: We also remark that threads in laminate-compatible structures may possess kinks, as in Figure 4. The continuity of the angles is not required for compatibility of a lattice, in contrast with continuum mechanics.

849: 

850: 

851: 

852: \subsubsection{Structures from an isotropic and anisotropic phases}

853: States $S_\Ga$ and $S_\Gd$ are laminate compatible. The

854: eigenstrains of mixture are

855: $$\bE_{\Ga\Gd}=\mu \bE_\Ga+ (1-\mu) \bE_\Gd, ~~~~~~~~\mu=\f{k_\Ga}{k_\Ga+k_\Gd}$$

856: where $\mu$ is the volume fraction of phase

857: $S_\Ga$, $k_\Ga$ is the thickness of the layer,  and $k_\Gd$ is the

858: thickness of the layer of phase $S_\Gd$. The laminate is shown in

859: Figure \ref{fig:hex_strips}.

860: 

861: In addition, the eigenstrains $\bE_\Ga$ and $\bE_\Gb$ are isotropic

862: and therefore their eigenvectors are codirected with eigenvalues of

863: any phase they are mixed with. A structure of one of them and

864: another phase leads to average of eigenvalues $\Gl_1, \Gl_2$ of

865: eigenstrain. The eigenvalues $\Gl^x_{\Ga \Gd}, \Gl^y_{\Ga \Gd}$

866: of $E_{\Ga \Gd} $ are located at the straight line between

867: eigenvalues of $\bE_\Ga$ and $\bE_\Gd$.

868: $$

869: \Gl^x_{\Ga \Gd}=\mu \Gl^x_{\Ga}+ (1-\mu) \Gl^x_{\Gd},

870: \quad \Gl^y_{\Ga \Gd} =\mu \Gl^y_{\Ga}+ (1-\mu) \Gl^y_{\Gd}

871: $$

872: Similar laminates can be built for $\bE_{\Ga\Gg}$, $\bE_{\Gb\Gd}$,

873: $\bE_{\Gg\Gb}$, and $\bE_{\Gd\Gg}$. The eigenvalues of these structures

874: span the intervals between the eigenvalues of the homogeneous states.

875: 

876: \begin{figure}

877: 	\begin{center}

878: 		\subfigure[an isotropic and anisotropic phases]{

879: 			\label{fig:laminates_ai}

880: 			\includegraphics[width=0.25\textwidth]{layers.eps}

881: 		}

882: 		\subfigure[two-phase twin]{

883: 			\label{fig:laminates_tw}

884: 			\includegraphics[width=0.25\textwidth]{layers2.eps}

885: 		}

886: 		\subfigure[two anisotropic phases]{

887: 			\label{fig:laminates_aa}

888: 			\includegraphics[width=0.25\textwidth]{layers3.eps}

889: 		}

890: 	\end{center}

891: 	\caption{Examples of laminates}

892: 	\label{fig:4}

893: \end{figure}

894: 

895: \subsubsection{Laminates from two anisotropic phases $S_\Gd$ and $S_\Gg$}

896: Consider the compatibility of two anisotropic states  $S_\Gd$.

897: Each of them consists of "long" and "short" rods.

898: Assume for definiteness, that tangent $\tau$ to laminates corresponds to the line of  "short" links.

899: This line is an axis of symmetry for the state $\bE_\Gg$ that consists of two families of long

900: and one family of short rods. In orthogonal coordinates $\tau, \nu$, the eigenstrain $\bE_\Gg$

901: is diagonal, its eigenvectors are codirected with $\tau$ and $ \nu$.

902: 

903: The state $\bE_\Gd$ (that consists of two families of short

904: and one family of long rods) can be made compatible with $\bE_\Gg$ if it is rotated so that its

905: $\tau\tau$ line consists of short rods.

906: In other words, tensor of eigenstrain $\bE_\Gd$ must be rotated to a proper angle  so that its tangent

907: entry becomes compatible with $\bE_\gamma$ \eq{bas3}, $\left[\bE_\Gd\right]_{\tau \tau}=1$, see compatibility

908: conditions \eq{comp11}.  The rotated matrix is computed from the additional conditions that trace and

909: determinant are independent of rotation. The rotated

910: eigenstrain becomes

911: $${\bE_\Gd}\sub{(rotated)}=

912: \begin{pmatrix}

913: \f{2}{\sqrt{3}}\sin(b)+2\cos(b)-1 & \Gr \cr \Gr & 1

914: \end{pmatrix}

915: $$

916: where $\Gr^2=\f{1}{3}(2\cos(b)-1)(2\sin(b)\sqrt{3}-3)$.

917: Eigenstrain $\bE_{\Gd\Gg}$ of the mixture is still an average of

918: those in the phases according to \eq{10}. \beqa \mu

919: {\bE_\Gd}\sub{(rotated)}+ (1-\mu) \bE_\Gg= \nonum

920: \begin{pmatrix}

921: \mu\left(\f{2}{\sqrt{3}}\sin(b)+2\cos(b)-1\right)+ (1-\mu) \f{\tan

922: \Gg}{\sqrt{3}} & \mu \Gr \cr \mu \Gr & 1

923: \end{pmatrix}

924: \eeqa{lam-anis} where $\mu$ is the volume fraction, as before.

925: 

926: Eigenvalues $\GL_{\Gd\Gg}$ of a

927: composite $\bE_{\Gd\Gg}$ are parametrized by $\mu\in [0,1]$. They depend on $\mu$ nonlinearly.

928: In the eigenvalue plane, they are located at an arch that spans $\GG_\Gd$

929: and $\GL_\Gg$, not at an interval between them.

930: 

931: \subsubsection{Two-phase twins} Besides these structures, there are

932: two-phase twins: the laminates of differently oriented phase $\bE_\Gd$

933: or $\bE_\Gg$. These structures preserve the trace of $\bE_\Gd$ and

934: $\bE_\Gg$, respectively, and their eigenstrain is as follows

935: $${\bE_\Gd}\sub{(twin)}= \begin{pmatrix}  \f{2 }{\sqrt{3}}

936: \sin(b)+2\cos(b)-1   & (1-2\mu) \Gr \cr (1-2\mu)\Gr & 1

937: \end{pmatrix}

938: $$

939: where $ \mu =k/N$, $k\in [-N, N]$. One could check that the eigenvalues of these

940: twins are never isotropic, Figure \ref{fig:laminates_tw}.

941: 

942: 

943: Together, all listed structures form a region $\GO$ in the plane of

944: eigenvalues of $\bE$. The boundary has three components corresponding

945: to  structures $ S_{\Ga\Gd}$ (an interval), $ S_{\Gd\Gg}$ (an arch),

946: and $ S_{\Gg\Gb}$ (an interval) and four vertices, see Figure \ref{fig:region_eigenvalues}.

947: 

948: \begin{figure}

949: \begin{center}

950: \psfrag{gamma}{$\gamma$}\psfrag{alpha}{$\alpha$}\psfrag{beta}{$\beta$}\psfrag{eta}{$\eta$}\psfrag{delta}{$\delta$}

951: \includegraphics[width=0.5\textwidth]{eigen_strain_2.eps}

952: \caption{Region of eigenvalues of still states}

953: \label{fig:region_eigenvalues}

954: \end{center}

955: \end{figure}

956: 

957: \subsubsection{Three-phase laminates} There exist three-phase still

958: structures with eigenstrains that densely cover the domain

959: $\GO$ bounded by the eigenstrains of two-phase structures.

960: Curvilinear triangular domain $\Ga, \Gd,\Gg$ is covered with

961: laminates from three phases, obtained by laminating the isotropic

962: phase $S_\Ga$ with the laminate $S_{\Gd\Gg}$. The tangents to

963: laminates correspond to the sides of unit lengths in all three

964: components. The eigenstrain $\bE_{\Ga \Gd\Gg}$ is

965: $$\bE_{\Ga \Gd\Gg}=\nu \bE_\Ga+ \mu {\bE_\Gd}\sub{(rotated)}+ (1-\mu-\nu)

966: \bE_\Gg

967: $$

968: where

969: $$

970: \mu=\f{k}{N}, ~k=0, \ldots, N, \quad \nu=\f{p}{N}, ~p=0, \ldots,

971: N-k,

972: $$

973: The corresponding eigenvalue pairs cover the part of $\Omega$ that lies outside

974: the rectangle, three of whose  vertices are $\alpha, \eta, beta$ in Figure \ref{fig:region_eigenvalues}.

975: 

976: 

977: \subsection{Hexagon-triangles-strips}

978:  The central triangle $\Ga, \eta, \Gb$ can be covered by

979: mosaic assembly from elements of $S_\Ga$, $S_\Gb$ and differently

980: oriented elements $S_\Gd$, $S_\Gd'$  $S_\Gd''$ shown in Figure

981: \ref{fig:hex_strips}. Notice that  $S_\Ga$ and $S_\Gb$ are incompatible, and

982: the assembly uses anisotropic elements  $S_\Gd$ between them. The

983: assembly is as follows.

984: \begin{enumerate}

985: \item First, three parallelograms from  $S_\Gd$, $S_\Gd'$ and

986: $S_\Gd''$ are formed of the sizes $k, n_1$, $k, n_2$, and $k, n_3$,

987: respectively. The links of the unit length form the base of each

988: parallelogram and the links of the length $a$ form the sides (Figure \ref{fig:hex_strips}, (a)).

989: \item

990: Second, these parallelograms are joined by the edges with the

991: equilateral triangle with the side $k a$ in between, forming the

992: structure shaped as Y (Figure \ref{fig:hex_strips}, (b)).

993: \item

994:  Third, the obtained figure is copied and

995: translated. The copies are joined by edges, leaving empty triangles

996: and hexagons with the parallel sides of $n_1$, $n_2$ and $n_3$

997: unit-length elements.

998: \item

999: Finally, the triangular parts are filled with $S_\Gd$ and the hexagon

1000: parts with $S_\Ga$. The obtained periodic assembly covers the whole

1001: plane (Figure \ref{fig:hex_strips}, (c)).

1002: \end{enumerate}The obtained periodic assembly covers the whole plane.

1003: 

1004: \begin{figure}

1005: \begin{center}

1006: 	\subfigure[Step 1]{\includegraphics[height=0.3\textwidth]{step_1.eps}}

1007: 	\subfigure[Step 2]{\includegraphics[height=0.3\textwidth]{step_2.eps}}

1008: 	\subfigure[Step 3, the structure]{\includegraphics[width=0.8\textwidth]{step_3.eps}}

1009: \end{center}

1010: \caption{Hexagon-triangle strips and the assembly}

1011: \label{fig:hex_strips}

1012: \end{figure}

1013: 

1014:  The periodicity element consists of

1015: 

1016: -- three parallelograms from  $S_\Gd$, $S_\Gd'$  $S_\Gd''$

1017: respectively, of $2n_1\, k$, $2n_2\, k$, and $2n_3\, k$ triangles

1018: each,

1019: 

1020: -- two triangles composed of $S_\Gg$ of $  k(k+1)$ triangles each.

1021: 

1022: -- one hexagon containing $S_a$ of $ 2 (n_1 n_2+ n_2 n_3+ n_3 n_1)$

1023: triangles.

1024: 

1025: Thus the element consists of $$N=k(k+1+ n_1+n_2+n_3) +n_1 n_2+ n_2 n_3+ n_3 n_1$$

1026: pairs of triangles.

1027: 

1028: The eigenstrain $\bE\sub{hex}$ of the assembly is a sum of

1029: eigenstrains of its pieces,

1030:  \beq

1031: \bE\sub{hex}=\f{D}{N}

1032:  \eeq{def}

1033: where

1034:  \beq

1035:  D= k(k+1)\bE_a+n_1\, k \bE_\Gd+ n_2\, k \bE_\Gd'+

1036: n_3\, k \bE_\Gd''+(n_1 n_2+ n_2 n_3+ n_3 n_1)\bE_\Gb

1037:  \eeq{D}

1038: $$

1039: \bE\sub{hex}=\f{k(k+1)\bE_a+n_1\, k \bE_\Gd+ n_2\, k \bE_\Gd'+ n_3\, k

1040: \bE_\Gd''+(n_1 n_2+ n_2 n_3+ n_3 n_1)\bE_\Gb}{k(k+1+ n_1+n_2+n_3) +n_1

1041: n_2+ n_2 n_3+ n_3 n_1}

1042: $$

1043: 

1044: \subsubsection{Asymptotics}

1045: 

1046: In particular, $\bE\sub{hex}$ is isotropic if $n_1=n_2=n_3=n$. Then

1047:  \beqa

1048: \bE\sub{hex}&=&\Ge\sub{is} I,\nonum \Ge\sub{is}&=&   \f{ k(k+1)+

1049: \f{3}{2} n\, k \Tr (\bE_\Gd)+3 n^2 a}{k(k+1) + 3 n +3 n^2}

1050:  \eeqa{is}

1051: When $n\to \infty$ and $\f{k}{n}$ varies in $[0, \infty]$, the isotropic deformation

1052: $\Ge\sub{is}$ varies from one to $a$.

1053: 

1054: The described structures degenerate into two-phase structures

1055: $\bE_{\Gd\Gb}$ and $\bE_{\Ga\Gd} $.

1056:  If $n_1 \gg n_2, n_3, k$, then

1057: $$

1058: \bE\sub{hex}\to \f{  k \bE_\Gd + (n_2+n_3) \bE_\Gb}{k+ n_2+ n_2 +

1059: n_3}=\bE_{\Gd\Gb}

1060: $$

1061: If $n_2\ll n_1, k$ and $n_3\ll n_1, k$, we have

1062: $$

1063: \bE\sub{hex}\to \f{k(k+1)\bE_a+n_1\, k \bE_\Gd}{k(k+1)+ n_1 k}=

1064: \bE_{\Ga\Gd} $$

1065: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1066: \subsection{Covering of the whole domain $\GO$}

1067: Together, the hexagonal and three-phase-laminate structures densely fill the whole curved

1068: hexagon of eigenvalues of still states. The two types of covers are

1069: met on the line $\Ga, \Gg$ when $k_h\to 1$ in hexagons and $\mu\to

1070: 0$ in three-phase laminates. $ \GL_\Ga \GL_\Gd \GL_\Gg \GL_\Gb$. The

1071: covering is non-unique: For instance, one can replace $S_\Ga$ with $

1072: S_\Gb$ and $S_\Gd$ with $S_\Gg$ everywhere (complementary or dual

1073: replacement) and obtain another  complete coverage. The density of

1074: the coverage is easy to estimate through the explicitly given

1075: parameters $k, p$. The distance from an eigenstrain of a

1076: discrete $N\times N$ periodic structure to the arbitrary point of

1077: the domain is of the order of $N^{-1}$, as follows from the above

1078: explicit formulas.

1079: 

1080: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1081: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1082: %%%%%%%%%%%%%%% THE SECOND PART BEGINS HERE %%%%%%%%%%%%%%%%%%%%%%%%

1083: 

1084: \section{Small deformations}

1085: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1086: \subsection{Linearized elongations}

1087: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1088: In the remainder of this paper we consider the case of small deformations which means that rod elongations are linearized near the reference configuration. The linearized relative elongation $\kappa_{ij}$ of the rod $(i, j)$ can be written as

1089: \begin{equation}

1090: \label{kappa}

1091: \kappa_{ij} = \bq_{ij} \cdot \frac{\bu_j - \bu_i}{l},

1092: \end{equation}

1093: where $\bq_{ij}$ is the unit direction from

1094: node $i$ to node $j$, $\bu_i$ and $\bu_j$ are the displacements of

1095: nodes $i$ and $j$, respectively.

1096: 

1097: Consider a triangular periodic network of $N$ nodes, where $N$ is finite, even though it can be arbitrary large.

1098: We also suppose that the nodes are arranged into a hexagonal shape containing $n$ nodes along a side

1099: (see Figure 5.1 for an example).

1100: 

1101: Factoring out $l^2$ in (\ref{rod-energy}) and using nodal displacements instead of the rod length, we write the energy of a rod $(i,j)$ as

1102: %connecting nodes $i$ and $j$ as

1103: \begin{equation}

1104: \label{spring-energy}

1105:  w(\kappa_{ij}) = \frac{C l^2}{2} \min \{\kappa_{ij}^2, (\kappa_{ij} - s)^2\}, \qquad

1106:  \end{equation}

1107: where, $s>0 $ is a dimensionless parameter characterizing the

1108: critical relative elongation. The graph of the dependence

1109: $w(\kappa_{ij})$ is shown on figure \ref{fig:link_energy} (Compare with (\ref{rod-energy}), where $x$ denotes the actual rod length).

1110: \begin{figure}[htp]

1111: \begin{center}

1112: \psfrag{w}{$w$} \psfrag{s}{$s$} \psfrag{kappa}{$\kappa$} \psfrag{0}{$0$}

1113: \includegraphics[width=3in]{energy.eps}

1114: \caption{Energy of a single rod}

1115: \label{fig:link_energy}

1116: \end{center}

1117: \end{figure}

1118: 

1119: The displacements $\Bu_k$ in the equilibrium state are found by

1120: minimizing the total energy of the network:

1121: $$ W(\bu_1, \ldots \bu_N) = \sum_{(i,j)} w(\kappa_{ij}) = \sum_{(i,j)} w\left(\bq_{ij} \cdot \frac{\bu_j - \bu_i}{l}\right) $$

1122: %If an external elongation is applied to the network, it is count on

1123: %by the boundary conditions for the displacements.

1124: 

1125: 

1126: \subsection{Average strain}

1127: An effective homogeneous deformation state of the network is characterized by an average (linearized) strain tensor $\bE$. In this section we obtain a formula for the average strain in terms of elongations $\kappa_{ij}$.

1128: 

1129: Denote the number of nodes in the network by $N$.

1130: Given a set of displacements of nodes $\bu_1, \ldots \bu_N$ we define a continuum deformation

1131: $\bu(x)$ that coincides with $\bu_i$ at each $\bx_i$. This can be done by interpolating. In the present case, the lattice

1132: forms a triangulation of the physical domain $\Omega$. Therefore it is easy to construct a piecewise linear interpolant, using finite elements. After this is done we obtain

1133: a continuous function $\bu(\bx), \bx\in \Omega$ such that

1134: \begin{itemize}

1135: \item $\bu(\bx_i) = \bu_i$ for $i = 1, \ldots N$ and $\bx_i$ being the position of node $i$;

1136: \item $\bu(\bx)$ is linear on every elementary triangle of the lattice.

1137: \end{itemize}

1138: 

1139: To $\bu(\bx)$ we associate strain tensor $\bvep$:

1140: $$ \bvep = \frac{\nabla \bu + (\nabla \bu)^T}{2} $$

1141: 

1142: Average strain $\bE$ is defined by the formula

1143: \begin{equation} \label{eq:astrain_def} \bE = \frac{1}{|\Omega|} \int_\Omega \bvep(\bx) d\bx, \end{equation}

1144: where $\Omega$ is the domain of $\bu$ and $|\Omega|$ is

1145: $$ |\Omega| = \int_\Omega d\bx $$

1146: 

1147: There exist formulas for $\bE$ in terms of displacements $\bu_i$ (see \cite{stress_and_strain_bagi}, \cite{t_definitions_sataki}).

1148: However, for our purposes

1149: it is better to work with the relative elongations $\kappa_{ij}$ because we would often prescribe elongations, rather than displacements. To use standard formulas one would have to solve the system (\ref{r-system}) (see the next section) that relates elongations and displacements. We choose a more direct route that involves relating three average elongations along the lattice directions with the three independent components of the average strain.

1150: 

1151: Rewrite (\ref{eq:astrain_def}) as

1152: $$ \bE = \frac{1}{|\Omega|} \int_\Omega \bvep(\bx) d\bx = \frac{1}{|\mathcal T|} \sum_{\Delta \in \mathcal T} \bvep_\Delta, $$

1153: where $\mathcal T$ is the set of elementary triangles of the network, $|\mathcal T|$ is the number of elementary triangles

1154: in the network, and $\bvep_\Delta$ is the strain tensor on elementary triangle $\Delta$:

1155: $$ \bvep_\Delta = \frac{\nabla \bu_\Delta + (\nabla \bu_\Delta)^T}{2} = \frac{1}{|\Omega_\Delta|} \int_{\Omega_\Delta} \bvep(\bx) d\bx $$

1156: 

1157: Since the average strain tensor $\bE$ is a $2 \times 2$ symmetric matrix, it has three independent components:

1158: $$

1159: \bE = \left[\begin{array}{cc}

1160: a & b \\

1161: b & c

1162: \end{array}\right]

1163: $$

1164: 

1165: Consider three lattice direction vectors $\bq_1$, $\bq_2$, and $\bq_3$ (see figure \ref{fig:three_directions}):

1166: $$

1167: \bq_1 = \frac{1}{2}\left[\begin{array}{r} 2 \\0 \end{array}\right], \quad

1168: \bq_2 = \frac{1}{2}\left[\begin{array}{r} 1 \\ \sqrt 3 \end{array}\right], \quad

1169: \bq_3 = \frac{1}{2}\left[\begin{array}{r} -1 \\\sqrt 3 \end{array}\right],

1170: $$

1171: \begin{figure}[htp]

1172: \begin{center}

1173: 	\subfigure[Three lattice directions]{

1174: 		\psfrag{q1}{$\bq_1$}\psfrag{q2}{$\bq_2$}\psfrag{q3}{$\bq_3$}\psfrag{u1}{$\bu_1$}\psfrag{u2}{$\bu_2$}

1175: 		\includegraphics[width=0.3\textwidth]{three_directions.eps}

1176: 		\label{fig:three_directions}

1177: 	}

1178: 	\subfigure[Definition of vector $\bk_\Delta$]{

1179: 		\psfrag{q1}{$\bq_1$}\psfrag{q2}{$\bq_2$}\psfrag{q3}{$\bq_3$} \psfrag{i}{$i$}\psfrag{j}{$j$}\psfrag{h}{$h$}

1180: 		\includegraphics[width=0.3\textwidth]{k_delta.eps}

1181: 		\label{fig:k_delta}

1182: 	}

1183: \caption{}

1184: \end{center}

1185: \end{figure}

1186: 

1187: We can find the components of $\bE$ using the values $\bq_r \cdot (\bE \bq_r)$, $r=1,2,3$. Hence, consider

1188: \begin{equation}

1189: \label{m1}

1190: \bq_r \cdot (\bE \bq_r) = \frac{1}{|\mathcal T|} \sum_{\Delta \in \mathcal T} \bq_r \cdot (\bvep_\Delta \bq_r)

1191: = \frac{1}{|\mathcal T|} \sum_{\Delta \in \mathcal T} \bq_r \cdot (\nabla \bu_\Delta \bq_r) .

1192: \end{equation}

1193: 

1194: 

1195: Using linearity of $\bu$ on triangle $\Delta$ for edge $(i,j)$ of the triangle we find

1196: $$ \bq_{ij} \cdot (\bvep_\Delta \bq_{ij}) = \bq_{ij} \cdot (\nabla \bu_\Delta \bq_{ij}) = \bq_{ij} \cdot \frac{\bu_j - \bu_i}{l} = \kappa_{ij} $$

1197: 

1198: Given a triangle $\Delta$ with vertices $h,i,j$ (see figure

1199: \ref{fig:k_delta}) define vector $\bk_\Delta \in \mathbb R^3$ as:

1200: $$ \bk_\Delta = \left[\begin{array}{c}

1201: \kappa_{hj} \\

1202: \kappa_{hi} \\

1203: \kappa_{ij}

1204: \end{array}\right] $$

1205: 

1206: Using this notation we rewrite (\ref{m1}) as

1207: a linear system for finding the components $a,b,c$ of $\bE$ given elongations $\kappa_{ij}$:

1208: \begin{equation} \label{eq:astrain_system}

1209: %\left[\begin{array}{rrr}

1210: %1 & 0 & 0 \\

1211: %\frac{1}{4} & \frac{\sqrt 3}{2} & \frac{3}{4} \\

1212: %\frac{1}{4} & -\frac{\sqrt 3}{2} & \frac{3}{4}

1213: %\end{array}\right]

1214: Q

1215: \left[\begin{array}{c}

1216: a \\

1217: b \\

1218: c

1219: \end{array}\right] = \frac{1}{|\mathcal T|}\sum_{\Delta \in \mathcal T} \bk_\Delta,

1220: \end{equation}

1221: where the matrix $Q$ is given by

1222: \begin{equation}

1223: \label{eq:matrix_q}

1224: Q =

1225: \left[\begin{array}{rrr}

1226: q_{1, 1}^2 ~~~~~& 2q_{1, 1} q_{1, 2}~~~~~ &  q_{1, 2}^2\\

1227: q_{2, 1}^2 ~~~~~ & 2q_{2, 1} q_{2, 2}~~~~~ &  q_{2, 2}^2\\

1228: q_{3, 1}^2~~~~~   & 2q_{3, 1} q_{3, 2}~~~~~ & q_{3, 2}^2

1229: \end{array}\right]=

1230: \left[\begin{array}{rrr}

1231: 1 & 0 & 0 \\

1232: \frac{1}{4} & \frac{\sqrt 3}{2} & \frac{3}{4} \\

1233: \frac{1}{4} & -\frac{\sqrt 3}{2} & \frac{3}{4}

1234: \end{array}\right]

1235: \end{equation}

1236: and function $\m:\mathbb R^3 \to \mathbb R^{2\times2}$ by

1237: $$ \m(\bx) = \bx_1 \left[\begin{array}{cc}

1238: 1 & 0 \\

1239: 0 & 0

1240: \end{array}\right] + \bx_2 \left[\begin{array}{cc}

1241: 0 & 1 \\

1242: 1 & 0

1243: \end{array}\right] + \bx_3 \left[\begin{array}{cc}

1244: 0 & 0 \\

1245: 0 & 1

1246: \end{array}\right] $$

1247: Function $\m$ is simply a linear 1-1 mapping from the space of three dimensional

1248: vectors to the space of $2\times 2$ symmetric matrices.

1249: 

1250: Solving (\ref{eq:astrain_system}) we find average strain $\bE$:

1251: \begin{equation} \label{eq:astrain_expr}

1252: \bE = \frac{1}{|\mathcal T|} \m\left(Q^{-1}\sum_{\Delta \in \mathcal T} \bk_\Delta\right),

1253: \end{equation}

1254: where

1255: $$ Q^{-1} = \left[\begin{array}{rrr}

1256: 1 & 0 & 0 \\

1257: 0 & \frac{\sqrt 3}{3} & -\frac{\sqrt 3}{3} \\

1258: -\frac{1}{3} & \frac{2}{3} & \frac{2}{3}

1259: \end{array}\right] $$

1260: 

1261: Further, we will rewrite the sum over triangles in

1262: (\ref{eq:astrain_expr}) as the sum over edges (this is just the change in indexing). Denote all edges of

1263: the array by $\mathcal E$, all boundary edges of the array by

1264: $\mathcal E_B$ and all non-boundary edges of the array by $\mathcal

1265: E_I$ ($\mathcal E_I = \mathcal E \backslash \mathcal E_B$). Then

1266: $$ \sum_{\Delta \in \mathcal T} \bk_\Delta = 2 \sum_{e \in \mathcal E} \bk_e - \sum_{e \in \mathcal E_B} \bk_e, $$

1267: where vector $\bk_e \in \mathbb R^3$ has the components defined by

1268: $$ (\bk_e)_r = \left\{\begin{array}{ll}

1269: \kappa_e, & \mbox{ if edge $e$ is parallel to $\bq_r$} \\

1270: 0, & \mbox{ else}

1271: \end{array}\right. , \quad r = 1, 2, 3 $$

1272: Next, equation (\ref{eq:astrain_expr}) can be rewritten as

1273: $$ \bE = \frac{2}{|\mathcal T|} \m\left(Q^{-1}\sum_{e \in \mathcal E} \bk_e\right) - \frac{1}{|\mathcal T|} \m\left(Q^{-1}\sum_{e \in \mathcal E_B} \bk_e\right) .$$

1274: 

1275: Denote the average elongation by $\bar \bk$:

1276: \begin{equation}\label{eq:average_elong}

1277: \bar \bk = \frac{1}{|\mathcal E|} \sum_{e \in \mathcal E} \bk_e .

1278: \end{equation}

1279: Then we rewrite (\ref{eq:astrain_expr}) and obtain the desired formula for the average strain in terms of average elongations:

1280: \begin{equation}\label{eq:astrain_expr2}

1281: \bE = 2\frac{|\mathcal E|}{|\mathcal T|} \m(Q^{-1}\bar \bk) - \frac{1}{|\mathcal T|} \m\left(Q^{-1}\sum_{e \in \mathcal E_B} \bk_e\right).

1282: \end{equation}

1283: This formula is used extensively in the remainder of the paper. The first term in the right hand side contains contributions from all interior edges of the lattice, while the second term contains the contributions from the boundary edges only. As the number of nodes increases, the second term becomes a small perturbation of the first. This becomes clear from the following estimate

1284: \begin{equation}

1285: \label{eq:average_strain_tail}

1286: \left\| m\left(\frac{1}{|\mathcal T|} Q^{-1} \sum_{e \in \mathcal E_B} \bk_e \right)\right\|_F \leq \sqrt{2} \frac{|\mathcal E_B|}{|\mathcal T|} ||Q^{-1}||_2  \max_{e \in \mathcal E_B} ||\bk_e||_2.

1287: \end{equation}

1288: Here $\parallel \cdot\parallel_F$ denotes the Frobenius norm of a matrix, and $\parallel\cdot\parallel_2$ is the Euclidean norm. Note that the ratio

1289: $$

1290: \frac{|\mathcal E_B|}{|\mathcal T|}

1291: $$

1292: of the number of the boundary edges to the number of all elementary triangles goes to zero as the number of nodes approaches infinity.

1293: 

1294: \section{Compatibility conditions}

1295: \label{section:hex_equations}

1296: In the next two sections, we study the linearized version of the problem of finding still states. The linearized

1297: formulation is as follows. Equations (\ref{kappa}) relating node displacements with link elongations can be concisely

1298: written as

1299: \begin{equation}

1300: \label{r-system}

1301: R\bU = \bkap ,

1302: \end{equation}

1303: where $\bU$ is a tuple of displacements $\bu_i$, say $(\bu_1,

1304: \ldots \bu_N)$, and $\bkap$ is a tuple of $\kappa_{ij}$. The number

1305: of unknowns in (\ref{r-system}) is $2N$ (since

1306: each $\bu_i$ has two independent components). The number of equations

1307: is larger,  approximately $3N$ (see Lemma 5.1 below for the exact count). Therefore, we have an overdetermined

1308: system (the number of unknowns is less than the number of

1309: equations). As a consequence, (\ref{r-system}) may be

1310: unsolvable for some $\bkap$. The values of $\bkap$ for which

1311: (\ref{r-system}) is solvable are called {\it admissible}.

1312: 

1313: \subsection{Compatibility conditions characterize range of $R$}

1314: 

1315:  In this section we show that

1316: compatibility conditions (\ref{comp6}) ar necessary and sufficient for solvability of

1317: (\ref{r-system}). Necessity is clear from the derivation of (\ref{comp6}), so we focus on sufficiency.

1318: 

1319: Suppose that we have the hexagonal array with a side of $n$ points (see figure \ref{fig:sample_array}).

1320: 

1321: \begin{figure}[htp]

1322: \begin{center}

1323:     \includegraphics[height=2in]{sample_hex_array.eps}

1324: \end{center}

1325: \caption{Example of the network with $N=19$, $n=3$. A hexagon that forms a hexagonal equations shown in bold}

1326: \label{fig:sample_array}

1327: \end{figure}

1328: 

1329: For every hexagon consisting of 6 vertices we formulate the condition (\ref{comp6}): the sum of elongations

1330: of the outer edges equals to the sum of elongations of the inner edges.

1331: For example, for figure \ref{fig:sample_array}

1332: the equation will be

1333: $$ \kappa_{12} + \kappa_{23} + ... + \kappa_{56} + \kappa_{61} = \kappa_{71}+\kappa_{72}+...+\kappa_{75}+\kappa_{76} $$

1334: The collection of all such equations will be called {\em hexagonal equations}.

1335: 

1336: Next, we need a preliminary result giving the exact count of the number of nodes, edges and hexagonal equations. The following lemma is used later to carry out proofs by induction.

1337: 

1338: \begin{lemma} The total number of nodes $N$, the number of edges $E$,

1339: and the number of hexagonal equations $M$ depend on $n$ as follows.

1340: $$ N(n) = 3 n^2 - 3 n + 1 , \qquad E(n) = 9 n^2 - 15 n + 6 , \qquad M(n) = 3 n^2 - 9 n + 7 . $$

1341: \end{lemma}

1342: \begin{proof}

1343: We will prove the lemma using mathematical induction.

1344: 

1345: For $n = 2$ we have a hexagon that has 7 vertices, 12 edges, and 1 hexagonal equation. Indeed,

1346: $$ N(2) = 3 \cdot 2^2 - 3 \cdot 2 + 1 = 7, \quad E(2) = 9 \cdot 2^2 - 15 \cdot 2 + 6 = 12, \quad M(2) = 3 \cdot 2^2 - 9 \cdot 2 + 7 = 1 $$

1347: Thus, the formulas are true for $n=2$.

1348: 

1349: Suppose that given formulas are true for $n=k$. Let's prove that they are true for $n = k+1$.

1350: 

1351: When we increase $n=k$ by 1 we ``wrap'' the array by a layer of points. Therefore, we add

1352: $6k$ vertices, we allow $6(k-1)$ new hexagonal equations, and add $6(3k-1)$ edges.

1353: Thus, the number of vertices $N^*$ for the size $n = k+1$ is:

1354: \begin{eqnarray*}

1355: N^* &=& N(k) + 6k = 3 k^2 - 3 k + 1 + 6k = 3 (k+1-1)^2 + 3 k + 1 \\

1356: &=& 3 (k+1)^2 - 6(k+1) + 3 + 3k + 1 = 3 (k+1)^2 - 3 (k+1) + 1,

1357: \end{eqnarray*}

1358: the number of equations $M^*$ is

1359: \begin{eqnarray*}

1360: M^* &=& M(k) + 6(k-1) = 3 k^2 - 9 k + 7 + 6(k-1) = 3 (k+1-1)^2 - 3 k + 1 \\

1361: &=& 3 (k+1)^2 - 6(k+1) + 3 - 3k + 1 = 3 (k+1)^2 - 9 (k+1) + 7,

1362: \end{eqnarray*}

1363: and the number of edges $E^*$ is

1364: \begin{eqnarray*}

1365: E^* &=& E(k) + 6(3k-1) = 9 k^2 - 15 k + 6 + 18k - 6 = 9 (k+1-1)^2 + 3 k \\

1366: &=& 9 (k+1)^2 - 18(k+1) + 9 + 3k = 9 (k+1)^2 - 15 (k+1) + 6,

1367: \end{eqnarray*}

1368: Since $N^* = N(k+1)$, $M^* = M(k+1)$, and $E^* = E(k+1)$, the formulas are true.

1369: \end{proof}

1370: 

1371: Observe that

1372: $$2 N - 3 = E - M . $$

1373: 

1374: We know that for the mapping $R: \mathbb R^{2N} \to \mathbb R^E$ we have $\dim (\ker R) = 3$. This follows from the well known results on graph rigidity, in particular theorems on the first-order rigidity of triangulations

1375: (see e.g. \cite{ABP} and references therein).

1376: Thus,

1377: $$ \dim(\mathrm{im}\ R) = 2N-3 $$

1378: 

1379: The hexagonal equations can be concisely written in the form

1380: \begin{equation}

1381: \label{zkappa} Z \bkap = 0 ,

1382: \end{equation}

1383: where $Z$ is a matrix, $Z: \mathbb R^E \to \mathbb R^M$; $i$-th row of this matrix corresponds to $i$-th equation.

1384: \begin{lemma}

1385: Matrix $Z$ has full rank $M$.

1386: \end{lemma}

1387: \begin{proof}

1388: We will restate the lemma in the form: all hexagonal equations are linearly independent.

1389: 

1390: We will prove the lemma in its new form using mathematical induction on $n$. For $n=2$ we have $M=1$. One

1391: equation is linearly independent.

1392: 

1393: Suppose, the lemma is true for $n=k$. Let's prove it for $n=k+1$.

1394: 

1395: Increasing $n=k$ by 1 we wrap a hexagon of side size $k$ with a layer of points. Doing so we add some number

1396: of hexagonal equations to those that we had in the original hexagon. The hexagonal equations of the original

1397: hexagon are linearly independent. Each new hexagonal equation contains an edge that is present in no

1398: other equation. Thus, all equations are linearly independent.

1399: \end{proof}

1400: 

1401: Since matrix $Z$ has rank $M$, we find $\dim(\ker Z) = E-M$. Thus,

1402: \begin{equation}

1403: \label{eq_hex_dim}

1404: \dim(\im R) = \dim(\ker Z)

1405: \end{equation}

1406: 

1407: Necessity of hexagonal equations implies that each admissible $\bkap$ satisfies them. This fact can be stated as

1408: follows:

1409: for any $\bkap \in \im R$ we have $Z \bkap = 0$. This in turn implies

1410: \begin{equation}

1411: \label{eq_hex_subset}

1412: \mathrm{im}\ R \subset \ker Z .

1413: \end{equation}

1414: 

1415: \begin{theorem}

1416: For any vector $\bkap \in \mathbb R^E$ satisfying $Z \bkap = 0$ there is a unique (up to translation and rotation)

1417: vector $\bu \in \mathbb R^{2N}$ satisfying $R \bu = \bkap$.

1418: \end{theorem}

1419: \begin{proof}

1420: The conditions (\ref{eq_hex_dim}) and (\ref{eq_hex_subset}) imply

1421: $$\im R = \ker Z . $$

1422: Thus, for any $\bkap \in \mathbb R^E$ we can find a vector $\bu \in \mathbb R^{2N}$.

1423: If we neglect rigid rotations and translations of the whole lattice (they form the null space of $R$ by the well known results on rigidity of triangulations, (\cite{ABP} and references therein),  then this vector is unique.

1424: \end{proof}

1425: 

1426: 

1427: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1428: \section{Still states and small deformation eigenstrains}

1429: In the small deformation case,

1430: a still state is a collection of nodal displacements $\bu_i$)

1431:  satisfying equations (\ref{r-system})

1432: with the right hand side $\bkap$ of special form. The components $\kappa_{ij}$ can take only two values:

1433: $0$ and $s/2$, where $s/2$ is the critical elongation from (\ref{spring-energy}).

1434: %Rescaling we can assume that

1435: %the two allowed values are $0$ and $1$.

1436: If $\kappa_{ij}=0$ we call the corresponding edge $(i, j)$ {\it

1437: short}, otherwise the edge is called {\it long}. To

1438: construct a still state, one could choose

1439: a length for each edge (long or short). The resulting configuration

1440: is accepted if the resulting triangles form a

1441: tessellation. Otherwise the configuration is rejected. In the case of small deformations, an admissible

1442: elongation vector $\bkap$ should lie in the range of the matrix $R$ from (\ref{r-system}). Equivalently, such

1443: $\bkap$ must be a solution of the hexagonal equations (\ref{zkappa}).

1444: 

1445: 

1446: 

1447: Denote the set  of all still states by $\mathcal U$. To characterize  $\mathcal U$,

1448: one needs to solve the following problem.

1449: \begin{quote}

1450: Given $\bkap$ with $\bkap_{ij} \in \{0,s\}$, find $\bU$ realizing that

1451: $\bkap$, that is, find $\bU$such that $R\bU=\bkap$.

1452: \end{quote}

1453: This is possible only if $\bkap$ satisfies hexagonal equations from

1454: Section \ref{section:hex_equations}. Complete

1455: characterization of ${\mathcal U}$ seems very difficult, and is not

1456: addressed in this paper. The reason for the difficulty is the lack

1457: of a convenient structure. It is easily checked that ${\mathcal U}$ is not a linear space, or even a convex set.

1458: Therefore, a description of this set cannot be obtained by linear algebra methods.

1459: 

1460: 

1461:  \subsection{An algorithm of adding still states}

1462: In this section we characterize the set of strains that can

1463: be well approximated by the average strains of still states. An average

1464: strain of a still state can be conveniently described by a triple of concentrations of

1465: long edges parallel to the lattice directions. In this section we propose

1466: an explicit construction that furnishes a large number of still

1467: states. Concentrations of these states densely fill a certain unit

1468: cube in the concentration space. Our construction is based on two

1469: observations. First, one needs a binary operation that produces new

1470: still states by combining two already known still states. Second,

1471: one needs a simple "building block", that is, a still state that

1472: could be easily combined with its slightly modified (e.g. translated and rotated)

1473: replicas. In view of the linear structure of $\operatorname{im} R$, the convenient operation

1474: is summation. However, summation of two still states does not always produce a still state.

1475: An additional condition that ensures that the sum of still states remains a still state is

1476: non-overlapping of the long edges (see Lemma \ref{sum_of_ss} below):

1477: if a particular edge is long in the first state, then it should be short in the second state, and visa versa.

1478: 

1479: From this we deduce that

1480: the building block should have low concentrations of

1481: long edges, and the placement of these edges should be localized as

1482: highly  as possible. If both of these requirements are satisfied,

1483: one can add together shifted copies of the building block to

1484: generate new still states with higher concentrations.

1485: 

1486: 

1487: 

1488: 

1489: \begin{lemma} \label{sum_of_ss}

1490: The sum $\bkap_1 + \bkap_2$ of two still states $\bkap_1$ and $\bkap_2$

1491: is a still state provided $\bkap_1 \cdot \bkap_2 = 0$.

1492: \end{lemma}

1493: \begin{proof}

1494: Since $\bkap_1$ and $\bkap_2$ are still states, their components satisfy

1495: $$ (\bkap_1)_{ij} \in \{0,s\}, \quad (\bkap_2)_{ij} \in \{0,s\} $$

1496: for all connected nodes $i$ and $j$. Moreover, the condition of orthogonality $\bkap_1 \cdot \bkap_2 = 0$ says that

1497: for each certain pair $(i,j)$ the values $(\bkap_1)_{ij}$ and $(\bkap_2)_{ij}$ cannot equal $s$ simultaneously. Thus,

1498: $$ (\bkap_1)_{ij} + (\bkap_2)_{ij} \in \{0, s\} $$

1499: 

1500: Also, since $\bkap_1$ and $\bkap_2$ are still states, we have

1501: $$ Z \bkap_1 = 0, \quad Z \bkap_2 = 0, $$ where $Z$ is the matrix of the hexagonal system (\ref{zkappa}).

1502: By linearity $Z$,

1503: $$ Z(\bkap_1 + \bkap_2) = Z \bkap_1 + Z \bkap_2 = 0 $$

1504: 

1505: Since the necessary conditions hold, the sum $\bkap_1 + \bkap_2$ is a still state.

1506: 

1507: \end{proof}

1508: 

1509: Notice that Lemma \ref{sum_of_ss} states that  sum

1510: $$ \bkap_1 + \bkap_2 + \ldots + \bkap_m $$

1511: is a still state, provided $\bkap_i$, $i=1, \ldots, m$ have non-overlapping long edges.

1512: 

1513: 

1514: For a still state in (\ref{eq:average_strain_tail}) we have $||\bk_e||_2 \leq s$. Thus

1515: \begin{equation}\label{eq:astrain_tail2}

1516: \left\|\m\left( \frac{1}{|\mathcal T|} Q^{-1} \sum_{e \in \mathcal E_B} \bk_e \right)\right\|_F \leq \sqrt{2}\frac{|\mathcal E_B|}{|\mathcal T|} ||Q^{-1}||_2 s

1517: \end{equation}

1518: 

1519: \begin{theorem} \label{main_still_theorem}

1520: For any $\alpha_i \in [0,1]$, $i=1,2,3$, and any $n\geq 3$ there exists

1521: a still state $\bkap^*$ such that its concentrations

1522: $\alpha_i^*$, $i=1, 2, 3$, satisfy

1523: $$ |\alpha_i - \alpha_i^*| < \frac{1}{n} $$

1524: \end{theorem}

1525: \begin{proof}

1526: To prove the theorem we will use special still states called {\it stripes}. These

1527: states have $\bkap_{ij} = 0$ everywhere except for one stripe that has non-zero elements in one direction

1528: (figure \ref{fig:sample_still_s}). We can see that these stripes are still states

1529: because their components are either 0 or $s$ and they satisfy the hexagonal equations:

1530: each hexagon has either all zero elongations or one non-zero inner elongation and one non-zero outer

1531: elongation.

1532: \begin{figure}[ht]

1533: \begin{center}

1534:     \subfigure[A horizontal stripe, group 1]{ \label{fig:ss_1} \includegraphics[width=0.47\textwidth]{hexagonal_grid_1.eps} }

1535:     \subfigure[Rotated stripe, group 2]{ \label{fig:ss_2} \includegraphics[width=0.47\textwidth]{hexagonal_grid_2.eps} }

1536:     \subfigure[Rotated stripe, group 3]{ \label{fig:ss_3} \includegraphics[width=0.47\textwidth]{hexagonal_grid_3.eps} }

1537:     \subfigure[Compound still state]{ \label{fig:cs} \includegraphics[width=0.47\textwidth]{hexagonal_grid_4.eps} }

1538: \end{center}

1539: \caption{

1540:     \ref{fig:ss_1}, \ref{fig:ss_2}, and \ref{fig:ss_2} are ``stripe'' still states. \ref{fig:cs}

1541:     is a still state composed of \ref{fig:ss_1}, \ref{fig:ss_2}, and \ref{fig:ss_3}.

1542:     Solid line corresponds to $\kappa = s$, dotted line is 0.

1543: }

1544: \label{fig:sample_still_s}

1545: \end{figure}

1546: 

1547: Observe, that for two different stripes $\bkap_1$ and $\bkap_2$ we have $\bkap_1 \cdot \bkap_2 = 0$. In other words,

1548: the long edges of $\bkap_1$ do not overlap the long edges of $\bkap_2$, and thus $\bkap_1+\bkap_2$ is a still state (figure \ref{fig:cs}).

1549: 

1550: We have 3 different groups of stripes, $\mathcal G_1$, $\mathcal G_2$, and $\mathcal G_3$, one for each direction:

1551: one group of horizontal stripes and two groups of rotated stripes. The number of stripes in each group is $2(n-1)$.

1552: 

1553: Next, define the vectors $\bd_r$, $r \in \{1,2,3\}$ as follows. The dimension of $\bd_r$ is $E$ (the number of edges), and

1554: the components are equal to one if the corresponding edge is parallel to $\bq_r$ (a lattice direction vector), and equal to zero otherwise.

1555: It is easy to see that if $\bkap \in \mathcal G_r$ for some $r \in \{1,2,3\}$ then $\bkap \cdot \bd_r < 2 n$,

1556: $r = 1, 2, 3$, since each ``stripe'' has no more than $2n$ long edges.

1557: Also, since each stripe has long edges only in $r$-th direction, we get

1558: $$ \bkap \cdot \bd_r = \frac{E}{3} \alpha_r, \quad \bkap \cdot \bd_t = 0 \mbox{ for } t \neq r. $$

1559: This implies

1560: $$ \alpha_r < \frac{6 n}{E} = \frac{6 n}{9 n^2 - 15 n + 6} < \frac{1}{n} \mbox{ for } n \geq 3. $$

1561: 

1562: First, we explain the main idea of the proof. Consider $i$-th group (stripes of one certain direction). If we add all stripes of this group

1563: then we'll get $\alpha_i = 1$. For the still state $\bkap = 0$ we have $\alpha_i = 0$. Therefore, adding stripes one by one we

1564: increase $\alpha_i$ from 0 to 1 with steps less than $n^{-1}$. Hence, for any $x \in [0,1]$ there exists a step when $|\alpha_i - x| < n^{-1}$.

1565: Finally, since different directions are independent from each other, we can run this algorithm for $i=1, 2, 3$ and at the end

1566: add all still states together to get what we need. Next, we present the technical details.

1567: 

1568: For any subset $\mathcal S$ of set $\mathcal G_i$ we will define functions $\hat \bkap(\mathcal S)$ and $\hat \alpha_j(\mathcal S)$ by

1569: $$ \hat \bkap(\mathcal S) = \sum_{\bkap \in \mathcal S} \bkap \quad \mbox{ and }

1570: \quad \hat \alpha_j(\mathcal S) = \sum_{\bkap \in \mathcal S} \frac{3}{E} \bkap \cdot \bd_j = \frac{3}{E} \hat \bkap(\mathcal S) \cdot \bd_j $$

1571: 

1572: Since $\hat \bkap(\mathcal G_i) = \bd_i$, we have $\hat \alpha_i(\mathcal G_i) = 1$ and

1573: $\hat \alpha_j(\mathcal G_i) = 0$ for $j \neq i$. Also, we define $\hat \bkap(\emptyset) = 0$ and $\hat \alpha_j(\emptyset) = 0$, $j=1,2,3$.

1574: 

1575: From the corollary of lemma \ref{sum_of_ss} it follows that for any $\mathcal S \subset \mathcal G_i$ the value of function

1576: $\hat \bkap(\mathcal S)$ is a still state with concentrations $\hat \alpha_j(\mathcal S)$.

1577: 

1578: Suppose we are given values $\alpha_i \in [0,1]$, $i=1,2,3$. Let's define sets $\mathcal H_i$, $i=1,2,3$, as

1579: $$ \mathcal H_i = \{\mathcal S \subset \mathcal G_i : \hat \alpha_i(\mathcal S) \leq \alpha_i\} $$

1580: Having defined $\mathcal H_i$ we define values $\mathcal S^*_i$, $i=1,2,3$, by

1581: $$ \mathcal S^*_i = \begin{array}[t]{c}\mathrm{argmax} \\ ^{\mathcal S \in \mathcal H_i} \end{array} \hat \alpha_i(\mathcal S) $$

1582: Since the sets $\mathcal G_i$ are finite, the sets $\mathcal H_i$ are finite and the maximum exists. Therefore, the definition of $\mathcal S_i^*$

1583: is consistent.

1584: 

1585: Now if for some $i \in \{1,2,3\}$ we have $\mathcal G_i \backslash \mathcal S^*_i = \emptyset$ then

1586: $\mathcal S^*_i = \mathcal G_i$ and $\hat \alpha(\mathcal S_i^*) = 1$.

1587: From the definition of $\mathcal S_i^*$ we have

1588: $$ \hat \alpha_i(\mathcal S^*_i) \leq \alpha_i $$

1589: Since $\alpha_i \leq 1$, we get $\hat \alpha_i(\mathcal S^*_i)=\alpha_i$.

1590: 

1591: If for some $i \in \{1,2,3\}$ we have $\mathcal G_i \backslash \mathcal S^*_i \neq \emptyset$

1592: then there exists $\bk \in \mathcal G_i \backslash \mathcal S^*_i$.

1593: 

1594: From the definition of function $\hat \alpha$ we get

1595: $$ \hat \alpha(\mathcal S_i^* \cup \{\bk\}) = \hat \alpha(\mathcal S_i^*) + \hat \alpha (\{\bk\}) > \hat \alpha(\mathcal S_i^*) $$

1596: And, since $\mathcal S_i^*$ has maximal value in $\mathcal H_i$, we have $\mathcal S_i^* \cup \{\bk\} \not \in \mathcal H_i$.

1597: Hence,

1598: $$ \alpha_i < \hat \alpha_i(\mathcal S^*_i \cup \{\bk\}) $$

1599: Now using

1600: $$ \hat \alpha_i(\mathcal S_i^*) \leq \alpha_i < \hat \alpha_i(\mathcal S^*_i \cup \{\bk\}) $$

1601: and

1602: $$ \hat \alpha_i(\mathcal S^*_i \cup \{\bk\}) - \hat \alpha_i(\mathcal S^*_i) = \hat \alpha_i(\{\bk\}) < \frac{1}{n} $$

1603: we get

1604: $$ 0 \leq \alpha^*_i - \hat \alpha_i(\mathcal S^*_i) < \hat \alpha_i(\mathcal S^*_i \cup \{\bk\}) - \hat \alpha_i(\mathcal S^*_i) < \frac{1}{n} $$

1605: 

1606: Finally, for the still state $\bkap^*$ defined by

1607: $$ \bkap^* = \hat \bkap(\mathcal S^*_1 \cup \mathcal S^*_2 \cup \mathcal S^*_3) $$

1608: we have

1609: $$ |\alpha^*_i - \alpha_i| < \frac{1}{n} $$

1610: \end{proof}

1611: 

1612: 

1613: Let us define a set $\mathcal D$:

1614: \begin{equation}

1615: \label{DD}

1616:  \mathcal D = \{s \m(Q^{-1} \bx): \bx \in \mathbb R^3, 0 \leq x_r \leq 1, r = 1, 2, 3 \},

1617:  \end{equation}

1618:  where $Q^{-1}$ is the inverse of the matrix given by Eq. (\ref{eq:matrix_q}).

1619: Set $\mathcal D$ is a convex polygon in the space of $2\times 2$ symmetric matrices, since it is an image

1620: of a cube under a non-singular linear transformation. The components of the elements of $\mathcal D$ form

1621: a set shown on figure \ref{fig:cube_image}.

1622: \begin{figure}[htp]

1623: \begin{center}

1624:     \subfigure[The cube ${[0,1]}^3$]{\includegraphics[width=0.3\textwidth]{cube_1.eps} }

1625:     \subfigure[$Q^{-1}{[0,1]}^3$]{\includegraphics[width=0.3\textwidth]{cube_2.eps} }

1626:     \subfigure[Eigenvalues of $\bar E$]{\psfrag{L_1}{$\lambda_1$}\psfrag{L_2}{$\lambda_2$}\includegraphics[width=0.3\textwidth]{eigen_strain.eps} }

1627: \end{center}

1628: \caption{ The cube and its image under $Q^{-1}$ }

1629: \label{fig:cube_image}

1630: \end{figure}

1631: 

1632: \begin{theorem}

1633: For any $\bE \in \mathcal D$ there exists a still state of the hexagonal array with a side of $n \geq 3$ points

1634: such that average strain $\bE^*$ of this still state satisfies

1635: $$ ||\bE^* - \bE||_F \leq s ||Q^{-1}||_2 \frac{8}{n-1} $$

1636: \end{theorem}

1637: \begin{proof}

1638: Since $\bE \in \mathcal D$, there exists $\bal \in \mathbb R^3$, $0 \leq \alpha_r \leq 1$, such that

1639: $$ \bE = s \m(Q^{-1} \bal) $$

1640: Using theorem \ref{main_still_theorem} we can claim that for $n \geq 3$ there is a still state with the concentration values $\bal^*$ such that

1641: $$ ||\bal^* - \bal||_2 \leq \frac{\sqrt 3}{n} $$

1642: Hence, using (\ref{eq:astrain_expr2}) we find

1643: \begin{eqnarray*}

1644: ||\bE^* - \bE||_F &=& \left\|2 \frac{|\mathcal E|}{|\mathcal T|} \m(Q^{-1} \bar \bk^*) - \frac{1}{|\mathcal T|} \m(Q^{-1} \sum_{e \in \mathcal E_B} \bk_e^*) - \bE\right\|_F \\

1645: &=& \left\|\frac{2s}{3} \frac{|\mathcal E|}{|\mathcal T|} \m(Q^{-1} \bal^*) - \frac{1}{|\mathcal T|} \m(Q^{-1} \sum_{e \in \mathcal E_B} \bk_e^*) - s \m (Q^{-1}\bal)\right\|_F \\

1646: &\leq& \sqrt{2} ||Q^{-1}||_2 \left\|\frac{2s}{3} \frac{|\mathcal E|}{|\mathcal T|} \bal^* - s \bal\right\|_2 + \left\|\m\left(\frac{1}{|\mathcal T|} Q^{-1}\sum_{e \in \mathcal E_B} \bk_e^* \right)\right\|_F

1647: \end{eqnarray*}

1648: Next,

1649: \begin{eqnarray*}

1650: \left\|\frac{2s}{3} \frac{|\mathcal E|}{|\mathcal T|} \bal^* - s\bal\right\|_2 &\leq&

1651: s||\bal^* - \bal||_2 + s\left|1-\frac{2}{3} \frac{|\mathcal E|}{|\mathcal T|}\right| ||\bal^*||_2 \\

1652: &\leq& \frac{\sqrt 3}{n} s + s\left|1-\frac{2}{3} \frac{|\mathcal E|}{|\mathcal T|}\right| \sqrt{3}

1653: \end{eqnarray*}

1654: 

1655: Further, using

1656: $$ |\mathcal T| = 6 (n-1)^2, \quad |\mathcal E| = 9n^2 - 15n+6, \quad |\mathcal E_B| = 6(n-1) $$

1657: and estimation (\ref{eq:astrain_tail2}) we find

1658: \begin{eqnarray*}

1659: ||\bE^* - \bE||_F &\leq& \sqrt{2} ||Q^{-1}||_2 \left(\frac{\sqrt 3}{n} s + s\left|1-\frac{2}{3} \frac{|\mathcal E|}{|\mathcal T|}\right| \sqrt{3}\right)

1660: +\sqrt{2}\frac{|\mathcal E_B|}{|\mathcal T|} ||Q^{-1}||_2 s \\

1661: &=& \sqrt{2} s ||Q^{-1}||_2 \left(\frac{\sqrt 3}{n} + \frac{\sqrt{3}}{3 (n-1)} + \frac{1}{n-1}\right) \\

1662: &\leq& s ||Q^{-1}||_2 \frac{8}{n-1}

1663: \end{eqnarray*}

1664: \end{proof}

1665: 

1666: Let us now discuss the significance of the Theorem 6.3 for linking the microscopic (lattice-level) and macroscopic (continuum) models.  First, it is of interest to understand how geometry of ${\mathcal D}$ depends on the microstructure. We observe that ${\mathcal D}$ is the

1667: image of a unit cube under a linear mapping defined in (\ref{DD}). The unit cube and the mapping $m$ are both independent of the lattice geometry and particulars of the microscopic force definition. The two microstructure-dependent

1668: quantities in (\ref{DD}) are the relative (non-dimensional) critical elongation $s$ and the matrix $Q^{-1}$.

1669: The actual critical elongation is $sl$, where $l$ is the equilibrium edge length.  Passing to the $\Gamma$-limit requires proper scaling of $l$ with $N$, a typical scaling being $l\sim N^{-1/2}$. In the most natural setting, $sl$ should scale as $l$. If that is the case, then

1670:  $s=O(1)$ as $N\to\infty$. The set ${\mathcal D}$ in that case is independent of $N$, and $s$ is a non-dimensional constant of the problem that determines susceptibility of the material to phase transition. The diameter of ${\mathcal D}$  increases linearly with $s$.

1671:  The matrix $Q^{-1}$ determines orientation of ${\mathcal D}$ in the strain space and provides the explicit dependence of ${\mathcal D}$ on the lattice geometry. Indeed, by definition (\ref{eq:matrix_q}),  $Q$ depends only on the products of components of the lattice direction vectors $\bq_r, r=1, 2, 3$.

1672: 

1673:  If $s=O(1)$, then ${\mathcal D}$ is the "flat bottom" of the macroscopic energy density because, by Theorem 6.3, any strain in this set can be approximated by a still state eigenstrain and the error

1674: of this approximation vanishes in the limit $N\to\infty$. Since the energy of every still state is zero, and  ${\mathcal D}$ is fixed as $N\to\infty$, the conclusion follows.

1675: 

1676: 

1677: 

1678: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1679: \section{Effective energy of the network}

1680: In the previous section, we described the set ${\mathcal D}$ of all  strains that

1681: corresponds to zero effective energy. Here, we suggest the effective energy equation that corresponds

1682: to strains outside this set.

1683: 

1684: The average elastic energy $W$ of the network without  the transition is

1685: described by Cauchy formula \cite{theory_elasticity_love}

1686: $$

1687: W(\bvep)=\f{2C}{3} \left[\Tr (\bvep^2) - \rec{4} (\Tr \bvep)^2 \right],

1688: $$

1689: where $\bvep$ is the average strain of the network.

1690: Assume first that the transition state is fixed in one of the still states

1691: ${\bE}\in {\mathcal D}$. In other words, assume that no Long-to-Short and

1692: Short-to-Long transition are allowed.

1693: Let us denote the total average strain as $\be$.

1694: This strain consists of  an eigenstrain  ${\bE}$ and

1695: elastic strain $ \boldsymbol \varepsilon$:

1696: $$ \be={\bE}+\boldsymbol \varepsilon .$$

1697: The network is elastically inhomogeneous. However, we will assume for

1698: simplicity that the elastic properties stay constant. We neglect the

1699: effect of density variation in the transition which is reasonable for

1700: small elongations $s$. Under this assumption, the average elastic energy

1701: of the network is

1702: $$

1703: W(\bvep)=W( \be-{\bE}).

1704: $$

1705: Minimizing the energy over all still state strains ${\bE}$, we conclude

1706: that, for each fixed $n$, the energy density $J_n$ can be written as follows

1707: \begin{equation}

1708: \label{inner}

1709: J_n(\be)= \min_{{\bE}\in{\mathcal D}} W(\be-{\bE})= O(n^{-1}) \quad \If ~ \be \in{\mathcal D}.

1710: \end{equation}

1711: Assume now that $  \be \not \in {\mathcal D}$. The density becomes

1712: \begin{equation}

1713: \label{outer}

1714: J_n(\be)= \min_{{\bE}\in {\mathcal D}} W(\be-\bar{\bE})

1715: \end{equation}

1716: 

1717: Notice that $J$ is a convex linear combination of the energies of homogeneous

1718: states that correspond to the vertices of ${\mathcal D}$. This follows from convexity of ${\mathcal D}$ and $W(\bvep)$.

1719: Motivated by this, we suggest a representation for the effective energy density $J$ in the limit $n\to\infty$ ($\Gamma$-limit).

1720: By the well known argument \cite{braides_gamma}, using density of piecewise linear deformations, it is enough to consider only linear deformations

1721: (equivalently, constant effective strains). For these strains,

1722: \begin{equation}

1723: \label{eff-energy}

1724: J(\be)=

1725: \left\{

1726: \begin{array}{cc}

1727: \min_{{\bE}_i} W(\be-{\bE}_i), &\quad \If ~ \be \notin{\mathcal D},\\

1728: 0 ,\hspace*{2.5cm}&\quad \If ~ \be \in{\mathcal D}.\\

1729: \end{array}

1730: \right.

1731: \end{equation}

1732: Here ${\bE}_i$ are the eigenstrains corresponding to the corners of ${\mathcal D}$.

1733: 

1734: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1735: \section{Conclusions}

1736: We studied the discrete model of solid-solid phase transitions. The model consists of a two-dimensional triangular periodic lattice of nonlinear bi-stable rods.

1737: In order to characterize the effective energy of the lattice, we obtained the description of the set

1738: of the average eigenstrain tensors corresponding to so called still states, e.g. microstructure deformations that

1739: carry no forces. We also proposed several explicit constructions of such states for small and large deformations.

1740: 

1741: The compatibility conditions for rod elongations were derived. In the small deformation case, these conditions are necessary and sufficient for the existence

1742: of a deformation realizing a given set of elongations.

1743: To characterize the states with zero effective energy, we proposed a construction of a special class of still states.

1744: The eigenstrains of these special

1745: patterns densely cover the set $\mathcal{D}$ of all

1746: eigenstrains corresponding to still states.  We showed that the set

1747: $\mathcal{D}$ for our network is a parallelepiped in 3D space of

1748: independent components of the strain tensor. The orientation and side lengths of ${\mathcal D}$ were explicitly described

1749: in terms of the parameters of the underlying microscopic discrete model: the side lengths are proportional to $s$ and orientation is determined by the components of the lattice direction vectors via the matrix $Q^{-1}$. Components of the inverse matrix $Q$ are defined via components of the direction vectors according to (\ref{eq:matrix_q}).

1750: 

1751: 

1752: 

1753: The above results suggest the following properties of the energy density:

1754: \begin{itemize}

1755: \item if a strain is inside of $\mathcal{D}$, then

1756: the energy density is asymptotically close to zero as the number of the lattice nodes approaches infinity;

1757: \item If the strain is outside of this set,

1758: the energy density is proportional to the square of the distance between the strain and $\mathcal{D}$.

1759: \end{itemize}

1760: 

1761: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1762: \bibliographystyle{siam}

1763: \bibliography{bibliography}

1764: \end{document}

1765: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1766: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1767: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% O U T T A K E S %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1768: