Field patterns without blow up

TL;DR

This paper investigates space-time microstructures, showing that certain checkerboard patterns support only propagating modes without blow-up, leading to stable wave propagation and implications for wave control.

Contribution

It demonstrates that specific space-time checkerboard microstructures can have transfer matrices with only eigenvalues on the unit circle, ensuring no exponential blow-up of modes.

Findings

Certain checkerboard microstructures support only propagating modes.

Waves generated resemble shocks with oscillatory wakes.

No blow-up modes are found within specific parameter ranges.

Abstract

Field patterns, first proposed by the authors in [Milton, Mattei. Proc R Soc A. 2017], are orderly patterns of characteristic lines that arise in specific space-time microstructures whose geometry in one spatial dimension plus time is somehow commensurate to the slope of the characteristic lines. In particular, in [Milton, Mattei. Proc R Soc A. 2017] the authors propose two examples of space-time geometries in which field patterns occur: they are two-phase microstructures in which rectangular space-time inclusions of one material are embedded in another material. After a sufficient large period of time, the field patterns in both microstructures have local periodicity both in time and space, due to the PT-symmetry of the chosen space-time geometries. This allows one to focus only on solving the problem on a discrete network and to define a suitable transfer matrix that, given the solution at a certain time, provides the solution after one time period. Many of the eigenvalues of this transfer matrix have unit norm and hence the corresponding eigenvectors correspond to propagating modes. However, there are also modes that blow up exponentially with time coupled with modes that decrease exponentially with time. The question as to whether there are space-time microstructures such that the transfer matrix only has eigenvalues on the unit circle finds answer in this paper where we see that certain space-time checkerboards have the property that all the modes are propagating modes, within a certain range of the material parameters. Interestingly, when there is no blow-up, the waves generated by an instantaneous disturbance at a point look like shocks with a wake of oscillatory waves. This sets an arrow of time in the sense that it would be extremely difficult to produce the initial conditions necessary to create the corresponding time-reversed waves.

Equations

$${\bf j}({\bf x})=\mbox{\boldmath${\sigma}$}({\bf x}){\bf e}({\bf x}),\quad{\rm where}\quad\nabla\cdot{\bf j}=0,\quad{\bf e}=-\nabla V,$$

$$\mbox{\boldmath${\sigma}$}({\bf x})=\sum_{i=1,p}\chi_{i}({\bf x})\mbox{\boldmath${\sigma}$}_{i},$$

$$\mbox{\boldmath${\sigma}$}_{i}=\begin{pmatrix}\alpha_{i}&0\\ 0&-\beta_{i}\end{pmatrix}$$

$$V(\mathbf{x})=\sum _{i=1,p}{\chi }_i(\mathbf{x})V_i(\mathbf{x}),$$

$${\alpha }_i\frac{{\partial }^2{V}_i}{\partial x_1^2}={\beta }_i\frac{{\partial }^2{V}_i}{\partial x_2^2}$$

$$V_i(x,t)=V_i^{+}(x-c_{i}t)+V_i^{-}(x+c_{i}t)$$

$$c_i=\sqrt{{\alpha }_i/{\beta }_i}.$$

$$V(x,0)=v_{0}H(x-a),j_t(x,0)=\delta (x-a)j_0,$$

$$V_k^{+}(x,t)=s_k^{+}[1-H(x-c_{k}t)],V_k^{-}(x,t)=s_k^{-}H(x+c_{k}t),$$

$${\mathbf{j}}_k^{+}=s_k^{+}\sqrt{{\alpha }_k{\beta }_k}\left(\begin{array}{c}{c}_k\\ 1\end{array}\right)\delta (x-c_{k}t)\equiv \frac{s_k^{+}}{{\gamma }_k}\frac{1}{\sqrt{1+c_k^2}}\left(\begin{array}{c}{c}_k\\ 1\end{array}\right)\delta (x-c_{k}t),$$

$${\mathbf{j}}_k^{-}=s_k^{-}\sqrt{{\alpha }_k{\beta }_k}\left(\begin{array}{c}-c_i\\ 1\end{array}\right)\delta (x+c_{k}t)\equiv \frac{s_k^{-}}{{\gamma }_k}\frac{1}{\sqrt{1+c_k^2}}\left(\begin{array}{c}-c_k\\ 1\end{array}\right)\delta (x-c_{k}t),$$

$${\gamma }_k=\frac{1}{\sqrt{{\alpha }_k({\alpha }_k+{\beta }_k)}}.$$

$$V_k(x,t)=V_l(x,t)$$

$$\displaystyle{\bf n}\cdot\mbox{\boldmath${\sigma}$}_{k}\nabla V_{k}(x,t)={\bf n}\cdot\mbox{\boldmath${\sigma}$}_{l}\nabla V_{l}(x,t)\,,$$

$$j(k,m,n)=\sum _{k^{\prime },m^{\prime }}{T}_{(k,m),(k{,}^{\prime }{m}^{\prime })}j(k^{\prime },m^{\prime },n-1),$$

$$T_{(k,m),(k{,}^{\prime }{m}^{\prime })}=G_{k,k^{\prime }}(m-m^{\prime })$$

$${\gamma }_1\ge {\gamma }_3\ge {\gamma }_2\ge {\gamma }_4,{\gamma }_1\ge {\gamma }_3\ge {\gamma }_4\ge {\gamma }_2,{\gamma }_1\ge {\gamma }_4\ge {\gamma }_3\ge {\gamma }_2,$$

$${\gamma }_2\ge {\gamma }_3\ge {\gamma }_4\ge {\gamma }_1,{\gamma }_2\ge {\gamma }_4\ge {\gamma }_3\ge {\gamma }_1,{\gamma }_2\ge {\gamma }_4\ge {\gamma }_1\ge {\gamma }_3,$$

$${\gamma }_3\ge {\gamma }_1\ge {\gamma }_2\ge {\gamma }_4,{\gamma }_3\ge {\gamma }_1\ge {\gamma }_4\ge {\gamma }_2,{\gamma }_3\ge {\gamma }_2\ge {\gamma }_1\ge {\gamma }_4,$$

$${\gamma }_4\ge {\gamma }_1\ge {\gamma }_2\ge {\gamma }_3,{\gamma }_4\ge {\gamma }_2\ge {\gamma }_1\ge {\gamma }_3,{\gamma }_4\ge {\gamma }_2\ge {\gamma }_3\ge {\gamma }_1.$$

$$\begin{array}[]{l}\text{Point 1 of cell 0}:\\ j(1,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(1,1,-1)=1;\,\,G(2,1,-1)=-\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\,\,G(3,1,-1)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{1}(\gamma_{1}+\gamma_{2})};\\ &G(4,1,-1)=\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{1}};\,\,G(2,1,0)=-\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\,\,G(3,1,0)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{1}(\gamma_{1}+\gamma_{2})};\\ &G(4,1,0)=\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{1}}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 2 of cell 0}:\\ j(2,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(3,2,-1)=\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{1}};\,\,G(4,2,-1)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{1}(\gamma_{1}+\gamma_{2})};\,\,G(1,2,0)=-\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\\ &G(3,2,0)=\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{1}};\,\,G(4,2,0)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{1}(\gamma_{1}+\gamma_{2})};\,\,G(1,2,1)=-\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\\ &G(2,2,1)=1\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 3 of cell 0}:\\ j(3,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(3,3,-1)=1;\,\,G(4,3,-1)=\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\,\,G(1,3,0)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{2}(\gamma_{1}+\gamma_{2})};\\ &G(2,3,0)=-\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{2}};\,\,G(4,3,0)=\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\,\,G(1,3,1)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{2}(\gamma_{1}+\gamma_{2})};\\ &G(2,3,1)=-\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{2}}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 4 of cell 0}:\\ j(4,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(1,4,0)=-\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{2}};\,\,G(2,4,0)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{2}(\gamma_{1}+\gamma_{2})};\,\,G(3,4,0)=\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\\ &G(1,4,1)=-\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{2}};\,\,G(2,4,1)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{2}(\gamma_{1}+\gamma_{2})};\,\,G(3,4,1)=\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\\ &G(4,4,1)=1\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 1 of cell 0}:\\ j(1,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(1,1,-1)=1;\,\,G(2,1,-1)=-\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\,\,G(3,1,-1)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{1}(\gamma_{1}+\gamma_{2})};\\ &G(4,1,-1)=\frac{(\gamma_{1}+\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{1}(\gamma_{1}+\gamma_{3})};\,\,G(2,1,0)=-\frac{\gamma_{1}-\gamma_{3}}{\gamma_{1}+\gamma_{3}};\\ &G(3,1,0)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{1}(\gamma_{1}+\gamma_{3})};\,\,G(4,1,0)=\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{1}}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 2 of cell 0}:\\ j(2,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(3,2,-1)=\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{1}};\,\,G(4,2,-1)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{1}(\gamma_{1}+\gamma_{3})};\\ &G(1,2,0)=-\frac{\gamma_{1}-\gamma_{3}}{\gamma_{1}+\gamma_{3}};\,\,G(3,2,0)=\frac{(\gamma_{1}+\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{1}(\gamma_{1}+\gamma_{3})};\\ &G(4,2,0)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{1}(\gamma_{1}+\gamma_{2})};\,\,G(1,2,1)=-\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\,\,G(2,2,1)=1\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 3 of cell 0}:\\ j(3,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(3,3,-1)=1;\,\,G(4,3,-1)=\frac{\gamma_{1}-\gamma_{3}}{\gamma_{1}+\gamma_{3}};\,\,G(1,3,0)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{2}(\gamma_{1}+\gamma_{3})};\\ &G(2,3,0)=-\frac{(\gamma_{1}+\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{2}(\gamma_{1}+\gamma_{3})};\,\,G(4,3,0)=\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\\ &G(1,3,1)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{2}(\gamma_{1}+\gamma_{2})};\,\,G(2,3,1)=-\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{2}}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 4 of cell 0}:\\ j(4,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(1,4,0)=-\frac{\gamma_{1}-\gamma_{2}}{2\gamma_{2}};\,\,G(2,4,0)=\frac{(\gamma_{1}-\gamma_{2})^{2}}{2\gamma_{2}(\gamma_{1}+\gamma_{2})};\,\,G(3,4,0)=\frac{\gamma_{1}-\gamma_{2}}{\gamma_{1}+\gamma_{2}};\\ &G(1,4,1)=-\frac{(\gamma_{1}+\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{2}(\gamma_{1}+\gamma_{3})};\,\,G(2,4,1)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})}{2\gamma_{2}(\gamma_{1}+\gamma_{3})};\\ &G(3,4,1)=\frac{\gamma_{1}-\gamma_{3}}{\gamma_{1}+\gamma_{3}};\,\,G(4,4,1)=1\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 1 of cell 0}:\\ j(1,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(1,1,-1)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(2,1,-1)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(3,1,-1)=-\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(4,1,-1)=\frac{-\gamma_{2}(\gamma_{1}^{2}-\gamma_{1}\gamma_{2}+3\gamma_{1}\gamma_{3}+\gamma_{2}\gamma_{3})+\gamma_{4}(\gamma_{1}^{2}-\gamma_{1}\gamma_{3}+3\gamma_{1}\gamma_{2}+\gamma_{2}\gamma_{3})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(1,1,0)=-\frac{(\gamma_{2}-\gamma_{3})(\gamma_{1}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(2,1,0)=-\frac{(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(3,1,0)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(4,1,0)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 2 of cell 0}:\\ j(2,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(3,2,-1)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(1,2,0)=\frac{(\gamma_{3}-\gamma_{1})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(2,2,0)=-\frac{(\gamma_{2}-\gamma_{3})(\gamma_{1}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(3,2,0)=\frac{-\gamma_{2}(\gamma_{1}^{2}-\gamma_{1}\gamma_{2}+3\gamma_{1}\gamma_{3}+\gamma_{2}\gamma_{3})+\gamma_{4}(\gamma_{1}^{2}-\gamma_{1}\gamma_{3}+3\gamma_{1}\gamma_{2}+\gamma_{2}\gamma_{3})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(4,2,0)=-\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(1,2,1)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(2,2,1)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(4,2,-1)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{1}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 3 of cell 0}:\\ j(3,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(3,3,-1)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(4,3,-1)=\frac{(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(1,3,0)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(3,3,0)=-\frac{(\gamma_{2}-\gamma_{3})(\gamma_{1}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(2,3,0)=\frac{\gamma_{2}(\gamma_{1}^{2}-\gamma_{1}\gamma_{2}+3\gamma_{1}\gamma_{3}+\gamma_{2}\gamma_{3})-\gamma_{4}(\gamma_{1}^{2}-\gamma_{1}\gamma_{3}+3\gamma_{1}\gamma_{2}+\gamma_{2}\gamma_{3})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(4,3,0)=-\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(1,3,1)=-\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(2,3,1)=-\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})}\end{aligned}\right.$$

$$\displaystyle\begin{array}[]{l}\text{Point 4 of cell 0}:\\ j(4,0,0)=1\end{array}\quad\Rightarrow\quad\left\{\begin{aligned} &G(1,4,0)=-\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(3,4,0)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{4}-\gamma_{2})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(4,4,0)=-\frac{(\gamma_{2}-\gamma_{3})(\gamma_{1}-\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(1,4,1)=\frac{\gamma_{2}(\gamma_{1}^{2}-\gamma_{1}\gamma_{2}+3\gamma_{1}\gamma_{3}+\gamma_{2}\gamma_{3})-\gamma_{4}(\gamma_{1}^{2}-\gamma_{1}\gamma_{3}+3\gamma_{1}\gamma_{2}+\gamma_{2}\gamma_{3})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(2,4,1)=\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(3,4,1)=\frac{(\gamma_{1}-\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\\ &G(4,4,1)=\frac{(\gamma_{1}+\gamma_{3})(\gamma_{2}+\gamma_{4})}{(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})};\,\,G(2,4,0)=-\frac{(\gamma_{1}-\gamma_{2})(\gamma_{1}+\gamma_{3})(\gamma_{2}-\gamma_{4})}{2\gamma_{2}(\gamma_{1}+\gamma_{2})(\gamma_{3}+\gamma_{4})}\end{aligned}\right.$$

Full text

1 Introduction

Field patterns [1] are a new sort of wave that occur in space-time microstructures with a geometry chosen such that a disturbance does not generate a complicate cascade of subsequent disturbances, but rather concentrates on a periodic space-time pattern, that we call the field pattern. The examples of field patterns discovered by the authors in [1] support both propagating waves and also waves that can blow-up exponentially with time, or decay exponentially with time. This paper presents the first examples of space-time microstructures that support field patterns such that all the modes are propagating modes, with no blow-up.

The study of space-time materials and, more specifically, of space-time microstructures was initiated in the late nineteen fifties [2, 3, 4, 5, 6] and has seen a recent surge of interest [7, 8, 9, 10, 11, 12, 13, 14, 15, 16]: see, for example, the book [17] and the introduction in [1] for a more comprehensive review of the relevant literature, as well as references to ways in which space-time microstructures can be generated. Space-time microstructures represent composites whose material properties vary not just with respect to space, like standard composites, but also with respect to time. In particular, space-time microstructures can be divided into two groups depending on how the properties of the material are changed in time: the so-called activated materials are realized by an external mechanism that produces a time switching of the space pattern of the material in a pre-determined manner, whereas the so-called kinetic materials are realized by an actual mechanical motion of the various parts of the composite system with respect to the laboratory frame (see [17]).

Wave propagation in space-time geometries can have some interesting properties beyond the occurence of field patterns. For instance, by suitably controlling the design parameters of a space-time activated laminate it is possible to selectively screen large space-time domains from long wave disturbances, see [18, 19]; or, if the parameters of the constituents of a space-time checkerboard are suitably chosen, one has, within each space period, disturbances converging towards a so-called “limit cycle” after a few time periods and when this happens the energy in the system grows exponentially (see, e.g., [20]). In general, every time a wave hits a space-time boundary it splits into two waves and consequently a single disturbance usually evolves into a complicated cascade of disturbances. Thus keeping track of how the wave propagates through the space-time microstructure leads to complex numerical simulations. With the aim of overcoming such a disadvantage, and in the process of revealing dramatically new wave behavior, the authors introduced in [1] the theory of field patterns: the space-time microstructure is chosen in such a way that its geometry is, in a sense, related to the slope of the characteristic lines so that the disturbance does not evolve into a cascade of disturbances but rather concentrates on a pattern of characteristic lines: this is the field pattern. In particular, the space-time geometries giving rise to field patterns that were proposed by the authors in [1] are two-phase composites made of space-time rectangular inclusions of a certain material embedded in a space-time matrix made of another material. The placement of the rectangular inclusions is such that the space-time geometry is endowed with both ${\cal P}$ symmetry and ${\cal T}$–symmetry, where ${\cal P}$–symmetry refers to reflection invariance of the microstructure under the parity operation of spatial reflection $x\rightarrow-x$ when the origin is chosen at the center of an inclusion, and ${\cal T}$-symmetry stands for time symmetry, the reflection invariance of the microstructure under time reversal $t\rightarrow-t$ (when again the origin is chosen at the center of an inclusion).

The key idea of studying the dynamics of systems with ${\cal P}{\cal T}$–symmetry was made by Bender and coauthors in the context of quantum physics (see, e.g., the pioneering paper [21] by Bender and Boettcher). They proved that the Hermiticity condition of the Hamiltonian, guaranteeing that the time evolution is unitary, is only sufficient but not necessary to have a real spectrum. Under the weaker condition of ${\cal P}{\cal T}$–symmetry, where the system is invariant under the combined operation of spatial reflection and time reversal, the spectrum can be real and positive below a certain threshold, above which the eigenvalues become complex conjugates of each other (see also [22] for a comprehensive review). Due to the isomorphism between the Schrödinger equation and the paraxial Helmholtz equation, ${\cal P}{\cal T}$–symmetry has been extended to optical and plasmonic systems, with the role of the potential in quantum mechanics replaced by the refractive index of the material (see, e.g., the review article [23]). In particular, the ${\cal P}{\cal T}$–symmetry condition implies that the real part of the permittivity coefficient is an even function of position while its imaginary part is odd. When the optical eigenvalues are complex, certain eigenmodes will experience increased loss whereas other eigenmodes will exhibit strong optical gain, thus leading to the asymmetric and unidirectional optical properties observed in ${\cal P}{\cal T}$–metamaterials (see, for instance, [24, 25, 26, 27, 28, 29]).

As a consequence of the special geometry of the space-time microstructures presented in [1], endowed with both ${\cal P}$ and ${\cal T}$–symmetry, the network of characteristic lines on which the field pattern lives is periodic both in space and time. An individual field pattern has ${\cal P}{\cal T}$–symmetry, but breaks the separate symmetries under spatial reflection and time reversal of the underlying space-time microgeometry. The network nature of field patterns allows one to discretize the problem. Everything boils down to the calculation of a discrete Green function, involving one cell and its neighbours, which enables one to generate an associated transfer matrix that allows one to step through time. The transfer matrix relates the solution on the discrete network at a certain time to the solution on the discrete network after one time period. In general, the transfer matrix has determinant equal to one (due to the ${\cal P}{\cal T}$–symmetry) and its eigenvalues could have either modulus one (in this case the corresponding mode is a propagating mode), or modulus greater than one, thus corresponding to modes that blow up exponentially with time (due to the ${\cal P}{\cal T}$–symmetry, these eigenvalues are coupled with eigenvalues with modulus less than one, corresponding to modes that decrease exponentially with time): it is the choice of the initial conditions that, within the same field pattern, leads to either a propagating or an increasing (or decreasing) mode.

Besides opening new avenues of research regarding wave propagation in space-time microstructures, the theory of field patterns is particularly interesting also for some of its features which hint at a possible connection with quantum mechanics: field patterns exhibit both a particle-like aspect and a wave-like aspect, as they are propagating waves concentrated on lines in a space-time diagram. Furthermore, even though they appear in scalar wave equations, they have a multidimensional or multicomponent nature. In fact, in the linear model developed in [1], field patterns with different spatial shifts do not interact, but rather evolve as if they lived in separate dimensions (as many dimensions as the number of field patterns), with each dimension playing the same role of the others, as do the different dimensions associated with say the multielectron Schrödinger equation with noninteracting electrons.

Moreover, the theory of field patterns could be very useful in the study of spatially periodic composites of hyperbolic materials. We recall that a material is called hyperbolic (see, e.g., [30]) if the dielectric tensor has both positive and negative eigenvalues, with at least the negative one having a small imaginary part that represents loss and causes absorption of electromagnetic energy into heat. The important feature about these materials is that they can direct radiation along the “characteristic lines” in the hyperbolic medium, thus giving rise, for specific configurations, to the so-called hyperlenses (see, for instance, [31, 32, 33, 34]). In the limit where the loss goes to zero, a two-dimensional spatially periodic hyperbolic material can be viewed as a space-time microstructure in one spatial dimension plus time, if one reinterprets one of the two spatial coordinates as time. Therefore, the results obtained within the theory of field patterns may be applicable to hyperbolic materials in the limit where the imaginary part of the dielectric tensor goes to zero. Of course the physics should dictate which modes are relevant in this limit (in an infinite two-phase hyperbolic material, with no defects, one does not expect the exponentially growing modes or exponentially decaying modes to have a physical significance). It remains to determine the conditions under which a solution in a hyperbolic material with non-zero loss converges to a solution of the equations with zero loss, as the loss (imaginary part of the dielectric tensor) goes to zero.

Among all the research avenues launched by the theory of field patterns that still have to be explored, here we focus on finding space-time microstructures, in which field patterns occur, such that there are no modes which blow-up in time. In other words, we seek field patterns such that the transfer matrix has all its eigenvalues on the unit circle, so that there are only propagating modes. In particular, we achieve such a goal by considering space-time multi-component checkerboards in which the wave speeds of the constituents satisfy special relations.

We find some curious features associated with the waves generated by a single, instantaneous, point disturbance, i.e., with the Green function, that can be seen in figures  2,  7 and  16. It is almost as if a shock is generated leaving a wake behind it of oscillatory waves and very interestingly, the amplitude of the oscillations does not tend to zero as one goes away from the wave-front. This seems vaguely similar to the way a real shock heats air and leaves in its wake thermal oscillations. However, in contrast to real shocks where energy in the shock is transferred to heat, the magnitude of the "shock" in a field pattern wave does not decrease in time".

2 The fundamentals of the theory of field patterns

The theory of field patterns can be formulated in various ways that reduce to a wave equation in a space-time geometry. Here we find it mathematically convenient to use a formalism close to that of the electric conductivity problem, that is also the point of view considered in [1]. Let us focus then on the two-dimensional conductivity equation

[TABLE]

with ${\bf j}({\bf x})$ the electric current, ${\bf e}({\bf x})$ the electric field, $V({\bf x})$ the electric potential, and \mbox{\boldmath{\sigma}}({\bf x}) the conductivity tensor. We consider a $p$-component composite, where the phases have conductivities \mbox{\boldmath{\sigma}}_{i}, $i=1,\dots,p$ so that \mbox{\boldmath{\sigma}}({\bf x}) can be written as

[TABLE]

where $\chi_{i}({\bf x})$ is the characteristic function of phase $i$ (equal to 1 if ${\bf x}$ belongs to phase $i$ and zero otherwise), and we suppose that all the \mbox{\boldmath{\sigma}}_{i}, with $i=1,\dots,p$, take the form

[TABLE]

where the parameters $\alpha_{i}$ and $\beta_{i}$, $i=1,\dots,p$ are, in general, real and positive. Note that if \mbox{\boldmath{\sigma}}({\bf x}) and \mbox{\boldmath{\sigma}}_{i}, with $i=1,\dots,p$, were dielectric tensors and the coefficients $\alpha_{i}$ and $\beta_{i}$, $i=1,\dots,p$, were complex-valued functions with non-negative imaginary part, then the material under study would be a hyperbolic material.

The global potential $V({\bf x})$ can be written as

[TABLE]

$V_{i}({\bf x})$ being the potential in phase $i$, $i=1,\dots,p$, fulfilling within that phase the following wave equation, obtained by combining equations (2.1) and (2.3):

[TABLE]

where we can think of $x_{1}$ as representing the space variable $x$, and $x_{2}$ as representing the time variable $t$. This corresponds to considering a one-dimensional space plus time distribution of $p$ materials, each having conductivity coefficient in the space direction equal to $\alpha_{i}$ and conductivity coefficient in the time direction equal to $-\beta_{i}$, $i=1,\dots,p$. The D’Alembert solution of equation (2.5) gives the local (not global) solution in phase $i$ as the sum of two independent waves:

[TABLE]

with $V^{+}_{i}(x-c_{i}t)$ the wave moving upwards to the right in a space-time diagram and $V^{-}_{i}(x+c_{i}t)$ the wave moving upwards to the left, with the wave speed $c_{i}$ defined as

[TABLE]

To determine the explicit expression of the potentials $V_{i}(x,t)$, $i=1,\dots,p$, and therefore the solution of the problem in terms of the global potential $V(x,t)$, we need to choose the initial conditions (for what concerns the boundary conditions, we suppose the medium to be infinite in the $x$ direction). Let us suppose that $V(x,t)$ satisfies the following initial conditions:

[TABLE]

with $H(y)$ the Heaviside function and $\delta(y)$ the Dirac delta function. Thus, at time $t=0$, we are injecting, in the time direction ($j_{t}$ is the $t$-component of ${\bf j}$), a total current flux $j_{0}$ concentrated at $x=a$, in correspondence to which there is a jump in potential. Such a current flux will split along the two characteristic lines starting at the point $(x,t)=(a,0)$ and having slope respectively equal to $c_{k}$ and $-c_{k}$, with $k$ the phase the point $(a,0)$ belongs to. If the initial jump in potential, $v_{0}$, is equal to $v_{0}={j_{0}}/{c_{k}\,\beta_{k}}$, then the potentials $V^{+}_{k}(x,t)$ and $V^{-}_{k}(x,t)$ in phase $k$ will take the following expressions:

[TABLE]

with $s_{k}^{+}=-{j_{0}}/(c_{k}\beta_{k})=-s_{k}^{-}$, and the currents flowing along the characteristic lines in phase $k$ will be

[TABLE]

with

[TABLE]

Therefore, in phase $k$ the potential is piecewise constant and the amplitude of the potential jump across a certain characteristic line is given by the product of the coefficient $\gamma_{k}$ and the modulus of the current flowing through that characteristic.

Now, when the disturbance, moving along the characteristic lines in phase $k$, hits a space-time interface, it splits into two waves and as demanded by the weak form of (2.1) we suppose that, when this happens, the continuity of the potential and the continuity of the current flux are preserved, that is

[TABLE]

with ${\bf n}^{\mbox{\footnotesize{T}}}=(n_{x}\,\,n_{t})$ being the normal vector to the interface between phase $k$ and phase $l$, and $\nabla^{\mbox{\footnotesize{T}}}=(\partial/\partial x\,\,\,\,\partial/\partial t)$. In general, if the space-time boundaries between phases are not suitably placed, the disturbances will branch giving rise to a complicated cascade of current lines that is difficult to analyze. However, when the geometry of the space-time microstructure is chosen in an appropriate way (see Figure 1 as an example), the characteristic lines will form an orderly pattern, called a field pattern [1], with a locally periodic behavior in space and time. For instance, in [1], the authors proposed two types of space-time geometries composed of rectangular inclusions of material 2 immersed in material 1, with the size of the rectangles and the distance between them chosen in relation to the slopes of the characteristics. Both geometries, one presenting aligned inclusions and the other one with staggered inclusions, are examples of microstructures endowed with ${\cal P}{\cal T}$–symmetry. We point out that these space–time microstructures (as all the other geometries presented in the following, see Sections 3 and 4) are all endowed with ${\cal P}$–symmetry and ${\cal T}$–symmetry separately, if one chooses the origin of the axes in a space time–diagram to coincide with the center of one of the inclusions, for the geometries proposed in [1], or with the center of one of the squares composing the checkerboard, for the materials presented in Sections 3 and 4. In the chosen coordinate system, the periodic pattern of characteristics associated with a single field pattern is ${\cal P}{\cal T}$–symmetric (but generally not separately ${\cal P}$– and ${\cal T}$–symmetric). Note that ${\cal P}{\cal T}$–symmetric field patterns can occur in space–time microstructures without both ${\cal P}$– and ${\cal T}$–symmetry (maybe only with ${\cal P}{\cal T}$–symmetry) as will be clear later from th examples in Figure 3.

One of the key features of the theory of field patterns is that, since a field pattern lives on its own discrete network111We recall that, in general, the choice of a different $x$–coordinate of the launching point $(a,0)$ generates a different network of characteristic lines, and thus a different field pattern. If current is initially injected at multiple launching points, the field patterns that arise in the space–time microstructure will not in general interact but each will evolve on its own network as if living in a separate dimension, see [1]., it is only necessary to study the dynamics of field patterns on these discrete networks, that is, it suffices to study the current distribution along the characteristic lines at discrete moments of time, say $t=\tau+n\,t_{0}$ for $n=0,1,2,...$, where $t_{0}$ is the periodicity in the time direction of the discrete network and $\tau$ is some fixed time (for simplicity $\tau$ is chosen in such a way that none of the characteristic lines intersect at $t=\tau$, see Figure 1 as an example). Then, the state of the system is captured by the function $j(k,m,n)$, where the integer $k$ indexes the current line within the unit cell ($k$ is the number of intersection points between the characteristic lines and the horizontal line $t=\tau$ within a unit cell), the integer $m$ indexes the cell, and the integer $n$ indexes the discrete time. To determine the evolution of the state function $j(k,m,n)$ as $n=0,1,2,...$ increases, one has to calculate the Green function that allows one to recover the currents at a certain time $t=\tau+n\,t_{0}$ with $n$ fixed, given the currents at time $t=\tau+(n-1)\,t_{0}$. We recall that the components of the Green function are determined by taking one unit cell, say with $m=m_{0}$ and injecting, at $t=\tau$ ($n=0$), a unit current in each of the $k$ intersecting points, one at a time, and by calculating how such a current flows along the characteristic lines to determine the currents at $t=\tau+t_{0}$ ($n=1$). We denote the Green function by $G_{k,k^{\prime}}(m-m^{\prime})$ to indicate that it provides the current at point $k$ of cell $m$, given the current at point $k^{\prime}$ of cell $m^{\prime}$. Such a function obviously only depends on the differences $m-m^{\prime}$. Then, the current at the point $k$ of cell $m$ at time $t=\tau+n\,t_{0}$ is determined by the currents at points $k^{\prime}$ of cells $m^{\prime}$ at the previous time $t=\tau+(n-1)\,t_{0}$ by

[TABLE]

where

[TABLE]

is the ${\cal P}{\cal T}$–symmetric transfer matrix.

The space-time microstructures presented in [1], although very interesting as they represent the first examples of geometries in which field patterns occur, are such that the associated transfer matrix has eigenvalues with modulus equal to one (giving rise to propagating modes) but also eigenvalues with modulus bigger than one (coupled with eigenvalues with modulus less than one, due to the ${\cal P}{\cal T}$-symmetry of the geometry), thus corresponding to modes that blow up (decrease) exponentially with time. In the following sections we will present examples of ${\cal P}{\cal T}$–symmetric space-time microstructures, in particular checkerboards, for which all the eigenvalues of the transfer matrix have modulus equal to one so that there are only propagating modes. We will see that for some of the microstructures analyzed in the following section, the condition of ${\cal P}{\cal T}$–symmetry is “unbroken” (all the eigenvalues lie on the unit circle) independently of the choice of the material parameters, whereas for other materials there will be sets of parameters leading to “unbroken ${\cal P}{\cal T}$–symmetry” and others yielding “broken ${\cal P}{\cal T}$–symmetry” (some of the eigenvalues lie on the unit circle and those that do not are complex conjugates of each other).

We point out that, in the numerical analyses presented in the next sections, to approximate the hypothesis of an infinite medium in the $x$ direction, we will consider periodic boundary conditions, so that we can think of the discrete network as lying on the surface of a cylinder, with the axis variable corresponding to time and the angle variable corresponding to space. Thus, in (2.14) cell $M$ is identified with cell [math] and cell $-1$ is identified with cell $M-1$: equivalently, the argument $m-m^{\prime}$ of $G_{k,k^{\prime}}(m-m^{\prime})$ in (2.14) should be replaced with $(m-m^{\prime})\mod M$.

We also remark that, to test numerically the ${\cal P}{\cal T}$–symmetry of the transfer matrix, one has first to reflect all the columns with respect to, say, the central column (due to the periodic boundary conditions any column can be considered as the reference column), so that, for instance, the entries of the first column become the entries of the last one and vice versa (this corresponds to applying the ${\cal P}$–operator of space reflection). Then, one has to calculate the inverse of the matrix so obtained (this corresponds to applying the ${\cal T}$–operator of time reversal). Finally, after reflecting again the columns of this new matrix with respect to its central column, one has to calculate the inverse (this operation corresponds to applying the $({\cal P}{\cal T})^{-1}$ operator). The result is a matrix that is equal to the original transfer matrix.

3 Multi-component space-time checkerboards with phases having the same wave speed

To start with, we look for space–time microstructures that give rise to field patterns supporting only propagating modes by looking at the simplest non-trivial geometry, that is, the checkerboard geometry, already studied by Lurie and coworkers (see, for instance, [8]). For simplicity, and to generate a microstructure that supports a field pattern, we consider a two-phase space-time checkerboard with the two components having the same wave speed, $c_{1}=c_{2}=c$ and with the diagonals of the rectangles composing the checkerboard having the same slope of the characteristic lines (see Figure 1, left). If we suppose the height of each rectangle to be unity, its width will be equal to $c$. The unit cell of the field pattern, periodic both in space and time, corresponds to the unit cell of the checkerboard geometry (see Figure 1, on the right). Obviously, the ratio between its space dimension $x_{0}$ and its time dimension $t_{0}$ is equal to $c$.

To determine the transfer matrix for this space-time geometry we follow the procedure introduced in [1] and recalled at the end of the previous section. First, we fix a specific moment of time $\tau$ such that none of the current lines in the discrete network intersect at $t=\tau$, as in Figure 1. In this case, the number of current lines intersected by the horizontal line $t=\tau$ in a unit cell is equal to 4 (the 4 points marked by blue dots in Figure 1 on the right). Now, the components of the Green function are determined by taking one unit cell and injecting, at $t=\tau$ ($n=0$), a unit current in each of the $4$ intersecting points, one at a time, and by calculating how such a current flows along the characteristic lines to determine the currents at $t=\tau+t_{0}$ ($n=1$). Since the Green function $G_{k,k^{\prime}}(m-m^{\prime})$ only depends on $m-m^{\prime}$, the case where the currents are injected at points in other cells is straightforward: one has just to suitably translate the expressions of the components of the Green function. If for simplicity we set $m^{\prime}=0$, then $m=-1$ refers to the cell on the left of cell [math], i.e. cell $M-1$, and $m=+1$ refers to the cell on the right of cell [math], i.e. cell $1$. The expression of the components $G_{k,k^{\prime}}(m-m^{\prime})$ of the Green function so derived are provided in Section 6, and the components of the associated transfer matrix, a $4M\times 4M$ matrix, are easily recovered by virtue of (2.15). For the space-time geometry considered here, all the eigenvalues of the transfer matrix lie on the unit circle so that the corresponding eigenvectors are all propagating modes. There are no modes that blow up with time.

Suppose one injects a unit current at one of the $4M$ points and wonders how such a current propagates through the space-time microstructure in Figure 1 as time evolves. If we look at the expression of the components of the Green function, we see that $G(1,1,-1)=1$, $G(2,2,1)=1$, $G(3,3,-1)=1$, and $G(4,4,1)=1$, that is, the current injected at a certain point along a certain characteristic line will be flowing along the same characteristic line with the same intensity as time evolves. Note that, every time current is injected at a specific point, after one time period, it will reach 7 points: the point belonging to the same characteristic line will have the same current and the other 6 points, due to the conservation of current flux, will have currents whose sum is equal to zero. This implies also that, after the initial front has passed, the net current flowing across a unit cell is zero. Moreover, the current distribution along the characteristic lines is periodic: the intensity of the current along a certain characteristic line does not change in time, thus giving rise to a periodic solution, as shown in Figure 2 which represents the evolution of the current flow with respect to time when we inject a unit current at point 1 of cell 50, that is, at the point labeled with 201. Furthermore, Video1 shows the evolution in time of the current flow and the electric potential for the field pattern of Figure 1: the electric potential, piecewise constant, has jumps in correspondence to the characteristic lines that are proportional to the modulus of the current flowing through them.

Notice that, by suitably changing the slope of the space–time interfaces between the phases in the geometry of Figure 1, one could obtain an infinite number of different space-time checkerboards, each one providing the same field pattern. In fact, recalling that the global potential is piecewise constant due to the initial conditions (2.8) and that the jumps in potential occur along characteristic lines, one can change the slope of the space-time interfaces (within each area enclosed by the characteristics the potential will still be constant) so that the intersection points between the characteristic lines and the space-time interfaces do not change, thus obtaining an equivalent space-time microstructure. As an example, in Figure 3 we see that there are many space-time checkerboards composed by trapezoids, parallelograms, pentagons, and hexagons that are equivalent to the checkerboard illustrated in Figure 1 for the given initial condition.

Now the question is, what happens when one considers a more-than-two-component space-time checkerboard with the constituents having the same wave speed? Are all the eigenvalues of the corresponding transfer matrix still on the unit circle? Let us consider then a three-component space-time checkerboard with phases having the same wave speed such as the one shown in Figure 4.

The components of the associated Green function are given in Section 7. Also for this space-time checkerboard the transfer matrix has determinant equal to one and all its eigenvalues lie on the unit circle: all the eigenmodes are propagating modes. Furthermore, if one compares the expression of the components of the Green function for this microstructure with those for the two-phase checkerboard, it is clear that the same features leading to the evolution of current flow shown in Figure 2 still hold. Therefore, if one injects current at one of the $4M$ points on the dynamic network taking place in the three-phase checkerboard, the result will be similar to the one depicted in Figure 2.

Clearly, even in this case, the field pattern shown in Figure 4 can be obtained by an infinite number of space-time microstructures equivalent to the three-component checkerboard illustrated in Figure 4.

Finally, let us consider a four-component space-time checkerboard with the four phases having the same wave speed, i.e., $c_{1}=c_{2}=c_{3}=c_{4}=c$, like the microstructure illustrated in Figure 5.

The expression of the Green function for this case, whose components are provided in Section 8, is significantly different from the one corresponding to the two-phase and three-phase checkerboard geometries and this yields very interesting results. First of all, the distribution of the eigenvalues of the transfer matrix in the complex plane depends on the ratio between the coefficients $\gamma_{1}$, $\gamma_{2}$, $\gamma_{3}$ and $\gamma_{4}$. In particular, by numerical exploration, we observe that among the 24 combinations in which one can order these 4 parameters, only 12 seem to lead to the case of the so-called “unbroken ${\cal P}{\cal T}$–symmetry” (e.g., [22]) for which all the eigenvalues have unit modulus. In particular, the numerical evidence points to this happening when and only when the parameters are chosen in the following orderings:

[TABLE]

Interestingly enough, in such a case, the distribution of the eigenvalues on the unit circle has a gap, as shown, for instance, on the left of Figure 7, illustrating the eigenvalues of the transfer matrix for the case in which $\gamma_{4}\geq\gamma_{1}\geq\gamma_{2}\geq\gamma_{3}$. The corresponding eigenvectors are all propagating modes, as shown in Figure 6 representing the evolution of the current flow in time when two specific eigenvectors are applied as initial distribution of currents. Furthermore, if we inject a unit current at a specific point in the discrete network, as on the right of Figure 7, we obtain a solution quite different from the one related to the two-phase space-time checkerboard case (see Figure 2), according to the differences in the expression of the associated Green functions: the current disperses along the characteristic lines and the solution inside the conic shape is not periodic anymore.

When the parameters $\gamma_{1}$, $\gamma_{2}$, $\gamma_{3}$ and $\gamma_{4}$ do not fulfill any of the relations presented in (3.16), the numerical results indicate that one always has “broken ${\cal P}{\cal T}$–symmetry” (e.g., [22]), the eigenvalues of the transfer matrix can have modulus equal, greater or smaller than one, thus giving rise, respectively, to propagating modes, modes that blow up exponentially with time and modes that decrease exponentially with time. In particular, the eigenvalues that do not lie on the unit circle are all real, as shown on the left of Figure 8. When one injects current at one point of the discrete network, the solution blows up exponentially with time, as depicted on the right of Figure 8 where the growth in time of the current distribution is captured using a logarithmic scale for the amplitude.

4 Three-component space-time checkerboards with phases having wave speeds in a certain ratio

Another example of space-time geometries giving rise to field patterns is the case of three-component space-time checkerboards in which the ratio between the wave speeds of the three phases is constant, say, $c_{2}/c_{1}=c_{1}/c_{3}=r$, with $r$ an integer. Figure 9 and Figure 10 depict the case in which $r=2$ and $r=3$, respectively (if phase 1 is the one colored in white, phase 2 the one in light gray and phase 3 the one in dark gray).

Due to the complicated expression of the components of the Green function associated with the two space-time microstructures above, we do not include them but we recall that, as usual, to recover the components of the Green function one has just to inject a unit current at each of the relevant points of the unit cell (6 for the space-time geometry depicted in Figure 9 and 8 for the one in Figure 10) and calculate how the current flows along the characteristic lines to determine the current distribution after one time period. In particular, for the microstructure in Figure 9 the current injected at a point reaches 11 points after one time period, whereas for the microstructure in Figure 10 it reaches 15 points.

For the space-time checkerboard of Figure 9, the distribution of the eigenvalues of the transfer matrix depends on the choice of the three parameters $\gamma_{1}$, $\gamma_{2}$ and $\gamma_{3}$. In particular, by numerical exploration we found that, if $\gamma_{1}\leq\gamma_{2}\leq\gamma_{3}$, then the scenario is that shown in Figure 11; if $\gamma_{3}\leq\gamma_{1}$ and $\gamma_{3}\leq\gamma_{2}$, it is the one depicted in Figure 12; otherwise, the situation is the one represented in Figure 13.

In each scenario, the eigenvalues do not all lie on the unit circle: the ${\cal P}{\cal T}$–symmetry condition is broken. Therefore, the modes associated with the space-time checkerboard of Figure 9 could be propagating modes, growing modes or decreasing modes.

Very different results are obtained for the space-time geometry of Figure 10. Numerically we see that two possible scenarios can occur: if $\gamma_{3}\leq\gamma_{1}$ and $\gamma_{3}\leq\gamma_{2}$ or if $\gamma_{1}\leq\gamma_{2}\leq\gamma_{3}$, then we are in the case of “broken ${\cal P}{\cal T}$–symmetry” and the eigenvalues are distributed as in Figure 14; otherwise, the eigenvalues are all on the unit circle (“unbroken ${\cal P}{\cal T}$–symmetry”) and the corresponding eigenmodes are all propagating modes. For example, Figure 15 represents the time evolution of the current distribution when we apply two specific eigenvectors as initial distributions of currents. If one considers this last case and injects a unit current at a specific point at $t=0$, the evolution of the distribution of the currents within the discrete network is shown in Figure 16: there is no blow up.

5 Concluding remarks

In this paper we presented some space–time microstructures whose geometry is such that they give rise to field patterns supporting only propagating modes (for a specific range of the material parameters). Accordingly, the transfer matrix that relates the current distribution within the field pattern at a certain time to that after one time period only has eigenvalues on the unit circle. In particular, field patterns supporting only propagating modes occur in two– and three–phase space–time checkerboards in which the phases all have the same wave speed, independently of the phase impedances, whereas in four–phase checkerboards (with phases having equal wave speed) field patterns support only propagating modes if the impedances of the phases are suitably chosen. Another example of field–pattern space–time microstructure is given by a three–phase checkerboard in which the wave speeds of the constituents are in a certain ratio (i.e., $c_{2}/c_{1}=c_{1}/c_{3}=r$, with $r$ an integer). Specifically, we analyzed two cases: $r=2$ and $r=3$. The first case corresponds to the case of “broken ${\cal P}{\cal T}$–symmetry” as, for any choice of the material parameters, field patterns support both propagating modes and modes that blow up (decrease) exponentially with time, whereas for the $r=3$ case, there exists a range of the constituent impedances for which the modes are only propagating modes.

It is still unclear, either physically or mathematically, why for some space–time microstructures that support field patterns the condition of ${\cal P}{\cal T}$–symmetry is always “unbroken” and why for other space–time geometries it could be “broken” or “unbroken” depending on the choice of the set of material parameters. Deeper insight is needed.

The very interesting feature related to field patterns without blow-up is that the waves generated by an instantaneous disturbance at a point look like shocks with a wake of oscillatory waves. Most remarkably, the amplitude of the oscillations does not tend to zero away from the wave front. It is a new type of wave that we need to better understand.

Acknowledgements

The authors are grateful to the National Science Foundation for support through grant DMS-1211359, and for support from the Institutute for Mathematics and its Applications at the University of Minnesota where this work was begun. They thank Daniel Onofrei for suggesting that it may be worthwhile to look for field patterns in checkerboard geometries.

6 Appendix A: Green’s function for the two-component space-time checkerboard with phases having the same wave speed

The components of the Green function for the two-component checkerboard illustrated in Figure 1 take the following expressions when current is injected at

[TABLE]

[TABLE]

with $\gamma_{1}$ referring to the phase colored in white in Figure 1 and $\gamma_{2}$ referring to the phase colored in gray. Obviously, all the other components are equal to zero.

7 Appendix B: Green’s function for the three-component space-time checkerboard with phases having the same wave speed

By suitably replacing the coefficient $\gamma_{2}$ with $\gamma_{3}$ (in Figure 4 phase 1 is white, phase 2 light gray and phase 3 dark gray) in the components of the Green function of the two-phase checkerboard geometry (see Section 6), we can recover the components of the Green function for the three-phase checkerboard as follows

[TABLE]

[TABLE]

All the other components are equal to zero.

8 Appendix C: Green’s function for the four-component space-time checkerboard with phases having the same wave speed

In this case, the components of the Green function can be obtained from the case of a three-phase checkerboard (see Section 7) by suitably substituting the parameter $\gamma_{1}$ with $\gamma_{4}$, where phase 1 is the one colored in white and phase 4 the one colored in very light gray in Figure 5 (phase 2 is gray and phase 3 dark gray). Therefore, we have:

[TABLE]

[TABLE]

All the other components are equal to zero.