-
Rapidly convergent series expansions for a class of resolvents
Authors:
Graeme W. Milton
Abstract:
Following advances in the abstract theory of composites, we develop rapidly converging series expansions about $z=\infty$ for the resolvent ${\bf R}(z)=[z{\bf I}-{\bf P}^\dagger{\bf Q}{\bf P}]^{-1}$ where ${\bf Q}$ is an orthogonal projection and ${\bf P}$ is such that ${\bf P}{\bf P}^\dagger$ is an orthogonal projection. It is assumed that the spectrum of ${\bf P}^\dagger{\bf Q}{\bf P}$ lies with…
▽ More
Following advances in the abstract theory of composites, we develop rapidly converging series expansions about $z=\infty$ for the resolvent ${\bf R}(z)=[z{\bf I}-{\bf P}^\dagger{\bf Q}{\bf P}]^{-1}$ where ${\bf Q}$ is an orthogonal projection and ${\bf P}$ is such that ${\bf P}{\bf P}^\dagger$ is an orthogonal projection. It is assumed that the spectrum of ${\bf P}^\dagger{\bf Q}{\bf P}$ lies within the interval $[z^-,z^+]$ for some known $z^+\leq 1$ and $z^-\geq 0$ and that the actions of the projections ${\bf Q}$ and ${\bf P}{\bf P}^\dagger$ are easy to compute. The series converges in the entire $z$-plane excluding the cut $[z^-,z^+]$. It is obtained using subspace substitution, where the desired resolvent is tied to a resolvent in a larger space and ${\bf Q}$ gets replaced by a projection $\underline{\bf Q}$ that is no longer orthogonal. When $z$ is real the rate of convergence of the new method matches that of the conjugate gradient method.
△ Less
Submitted 1 August, 2024; v1 submitted 22 July, 2024;
originally announced July 2024.
-
Complete characterization of symmetric Kubo-Ando operator means satisfying Molnár's weak associativity
Authors:
Yury Grabovsky,
Graeme W. Milton,
Aaron Welters
Abstract:
We provide a complete characterization of a subclass of weakly associative means of positive operators in the class of symmetric Kubo-Ando means. This class, which includes the geometric mean, was first introduced and studied in L. Molnár, ``Characterizations of certain means of positive operators," Linear Algebra Appl. 567 (2019) 143-166, where he gives a characterization of this subclass (which…
▽ More
We provide a complete characterization of a subclass of weakly associative means of positive operators in the class of symmetric Kubo-Ando means. This class, which includes the geometric mean, was first introduced and studied in L. Molnár, ``Characterizations of certain means of positive operators," Linear Algebra Appl. 567 (2019) 143-166, where he gives a characterization of this subclass (which we call the Molnár class of means) in terms of the properties of their representing operator monotone functions. Molnár's paper leaves open the problem of determining if the geometric mean is the only such mean in that subclass. Here we give a negative answer to this question by constructing an order-preserving bijection between this class and a class of real measurable odd periodic functions bounded in absolute value by $1/2$. Each member of the latter class defines a Molnar mean by an explicit exponential-integral representation. From this we are able to understand the order structure of the Molnár class and construct several infinite families of explicit examples of Molnár means that are not the geometric mean. Our analysis also shows how to modify Molnár's original characterization so that the geometric mean is the only one satisfying the requisite set of properties.
△ Less
Submitted 18 February, 2025; v1 submitted 30 May, 2024;
originally announced May 2024.
-
A theory of composites perspective on matrix valued Stieltjes functions
Authors:
Graeme W. Milton,
Mihai Putinar
Abstract:
A series of physically motivated operations appearing in the study of composite materials are interpreted in terms of elementary continued fraction transforms of matrix valued, rational Stieltjes functions.
A series of physically motivated operations appearing in the study of composite materials are interpreted in terms of elementary continued fraction transforms of matrix valued, rational Stieltjes functions.
△ Less
Submitted 18 November, 2022; v1 submitted 6 June, 2022;
originally announced June 2022.
-
The obstacle problem in masonry structures and cable nets
Authors:
Ada Amendola,
Ornella Mattei,
Graeme W. Milton,
Pierre Seppecher
Abstract:
We consider the problem of finding a net that supports prescribed forces applied at prescribed points, yet avoids certain obstacles, with all the elements of the net under compression (strut net) or under tension (cable web). In the case of masonry structures, for instance, this consists in finding a strut net that supports the forces, is contained within the physical structure, and avoids regions…
▽ More
We consider the problem of finding a net that supports prescribed forces applied at prescribed points, yet avoids certain obstacles, with all the elements of the net under compression (strut net) or under tension (cable web). In the case of masonry structures, for instance, this consists in finding a strut net that supports the forces, is contained within the physical structure, and avoids regions that may be not accessible due, for instance, to the presence of holes. We solve such a problem in the two-dimensional case, where the prescribed forces are applied at the vertices of a convex polygon, and we treat the cases of both single and multiple obstacles. By approximating the obstacles by polygonal regions, the task reduces to identifying the feasible domain in a linear programming problem. For a single obstacle we show how the region $Γ$ available to the obstacle can be enlarged as much as possible in the sense that there is no other strut net, having a region $Γ_1$ available to the obstacle with $Γ_1 \subsetΓ$. The case where some of the forces are reactive, unprescribed but reacting to the other prescribed forces, is also treated. It again reduces to identifying the feasible domain in a linear programming problem. Finally, one may allow a subset of the reactive forces to each act not at a prescribed point, but rather at any point on a prescribed line segment. Then the task reduces to identifying the feasible domain in a quadratic programming problem.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Edge Waves and Transmissions for Temporal Laminates and Imperfect Chiral Interfaces
Authors:
A. B. Movchan,
N. V. Movchan,
I. S. Jones,
G. W. Milton,
H. -M. Nguyen
Abstract:
The analysis of wave patterns in a structure which possesses periodicity in the spatial and temporal dimensions is presented. The topic of imperfect chiral interfaces is also considered. Although causality is fundamental for physical processes, natural wave phenomena can be observed when a wave is split at a temporal interface. A wave split at a spatial interface is a more common occurrence; howev…
▽ More
The analysis of wave patterns in a structure which possesses periodicity in the spatial and temporal dimensions is presented. The topic of imperfect chiral interfaces is also considered. Although causality is fundamental for physical processes, natural wave phenomena can be observed when a wave is split at a temporal interface. A wave split at a spatial interface is a more common occurrence; however when the coefficients of the governing equations are time-dependent, the temporal interface becomes important. Here, the associated edge waves are studied, and regimes are analysed where the growth of the solution in time is found. Imperfect interfaces, across which the displacements are discontinuous, are also considered in the vector case of chiral elastic systems. Analytical study and asymptotic approximations are supplied with illustrative numerical examples.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
A unifying perspective on linear continuum equations prevalent in physics. Part VII: Boundary value and scattering problems
Authors:
Graeme W. Milton
Abstract:
We consider simply connected bodies or regions of finite extent in space or space-time and write conservation laws associated with the equations in Parts I-IV. We review earlier work where, for elliptic equations,the boundary value problem is reformulated as a problem in the abstract theory of composites and the associated effective operator is equated with the Dirichlet-to-Neumann map that govern…
▽ More
We consider simply connected bodies or regions of finite extent in space or space-time and write conservation laws associated with the equations in Parts I-IV. We review earlier work where, for elliptic equations,the boundary value problem is reformulated as a problem in the abstract theory of composites and the associated effective operator is equated with the Dirichlet-to-Neumann map that governs the response of the body. The dielectric polarizability problem and acoustic and electromagnetic scattering by an inclusion are formulated as problems in the extended abstract theory of composites. The scattering response can be determined from appropriate integrals over the inclusion.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Some open problems in the theory of composites
Authors:
Graeme W. Milton
Abstract:
A selection of open problems in the theory of composites is presented. Particular attention is drawn to the question of whether two-dimensional, two-phase, composites with general geometries have the same set of possible effective tensors as those of hierarchical laminates. Other questions involve the conductivity and elasticity of composites. Finally, some future directions for wave and other equ…
▽ More
A selection of open problems in the theory of composites is presented. Particular attention is drawn to the question of whether two-dimensional, two-phase, composites with general geometries have the same set of possible effective tensors as those of hierarchical laminates. Other questions involve the conductivity and elasticity of composites. Finally, some future directions for wave and other equations are mentioned.
△ Less
Submitted 7 August, 2020;
originally announced August 2020.
-
A unifying perspective on linear continuum equations prevalent in science. Part VI: rapidly converging series expansions for their solution
Authors:
Graeme W. Milton
Abstract:
We obtain rapidly convergent series expansions of resolvents of operators taking the form ${\bf A}=Γ_1{\bf B}Γ_1$ where $Γ_1({\bf k})$ is a projection that acts locally in Fourier space and ${\bf B}({\bf x})$ is an operator that acts locally in real space. Such resolvents arise naturally when one wants to solve any of the large class of linear physical equations surveyed in Parts I, II, III, and I…
▽ More
We obtain rapidly convergent series expansions of resolvents of operators taking the form ${\bf A}=Γ_1{\bf B}Γ_1$ where $Γ_1({\bf k})$ is a projection that acts locally in Fourier space and ${\bf B}({\bf x})$ is an operator that acts locally in real space. Such resolvents arise naturally when one wants to solve any of the large class of linear physical equations surveyed in Parts I, II, III, and IV that can be reformulated as problems in the extended abstract theory of composites. We show how the information about the spectrum of ${\bf A}$ can be used to greatly improve the convergence rate.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
A unifying perspective on linear continuum equations prevalent in physics. Part V: resolvents; bounds on their spectrum; and their Stieltjes integral representations when the operator is not selfadjoint
Authors:
Graeme W. Milton
Abstract:
We consider resolvents of operators taking the form ${\bf A}=Γ_1{\bf B}Γ_1$ where $Γ_1({\bf k})$ is a projection that acts locally in Fourier space and ${\bf B}({\bf x})$ is an operator that acts locally in real space. Such resolvents arise naturally when one wants to solve any of the large class of linear physical equations surveyed in Parts I, II, III, and IV that can be reformulated as problems…
▽ More
We consider resolvents of operators taking the form ${\bf A}=Γ_1{\bf B}Γ_1$ where $Γ_1({\bf k})$ is a projection that acts locally in Fourier space and ${\bf B}({\bf x})$ is an operator that acts locally in real space. Such resolvents arise naturally when one wants to solve any of the large class of linear physical equations surveyed in Parts I, II, III, and IV that can be reformulated as problems in the extended abstract theory of composites. We review how $Q^*$-convex operators can be used to bound the spectrum of ${\bf A}$. Then, based on the Cherkaev-Gibiansky transformation and subsequent developments, that we reformulate, we obtain for non-Hermitian ${\bf B}$ a Stieltjes type integral representation for the resolvent $(z_0{\bf I}-{\bf A})^{-1}$. The representation holds in the half plane $\Re(e^{i\vartheta}z_0)>c$, where $\vartheta$ and $c$ are such that $c{\bf I}-[e^{i\vartheta}{\bf B}+e^{-i\vartheta}{\bf B}^\dagger]$ is positive definite (and coercive).
△ Less
Submitted 14 June, 2020; v1 submitted 4 June, 2020;
originally announced June 2020.
-
A unifying perspective on linear continuum equations prevalent in science. Part IV: Canonical forms for equations involving higher order gradients
Authors:
Graeme W. Milton
Abstract:
Enlarging on Parts I, II, and III we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of equations involving higher order derivatives. The motivation is that results and methods in the theory of composites then extend to these equations.
Enlarging on Parts I, II, and III we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of equations involving higher order derivatives. The motivation is that results and methods in the theory of composites then extend to these equations.
△ Less
Submitted 12 July, 2020; v1 submitted 4 June, 2020;
originally announced June 2020.
-
A unifying perspective on linear continuum equations prevalent in science. Part II: Canonical forms for time-harmonic equations
Authors:
Graeme W. Milton
Abstract:
Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those equations. Here in part II we elucidate the form for many time-harmonic equations that do not involve higher order gradients.
Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those equations. Here in part II we elucidate the form for many time-harmonic equations that do not involve higher order gradients.
△ Less
Submitted 31 December, 2022; v1 submitted 3 June, 2020;
originally announced June 2020.
-
A unifying perspective on linear continuum equations prevalent in science. Part III: Canonical forms for dynamic equations with moduli that may, or may not, vary with time
Authors:
Graeme W. Milton
Abstract:
Enlarging on Parts I and II we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of full dynamic equations, including equations where the medium is moving or otherwise changing in time. The motivation is that results and methods in the theory of composites then extend to these equations.
Enlarging on Parts I and II we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of full dynamic equations, including equations where the medium is moving or otherwise changing in time. The motivation is that results and methods in the theory of composites then extend to these equations.
△ Less
Submitted 12 July, 2020; v1 submitted 3 June, 2020;
originally announced June 2020.
-
A unifying perspective on linear continuum equations prevalent in science. Part I: Canonical forms for static, steady, and quasistatic equations
Authors:
Graeme W. Milton
Abstract:
Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those equations. Here in part I we elucidate the form for many static, steady, and quasistatic equations.
Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those equations. Here in part I we elucidate the form for many static, steady, and quasistatic equations.
△ Less
Submitted 12 July, 2020; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Planar polycrystals with extremal bulk and shear moduli
Authors:
Graeme W. Milton
Abstract:
Here we consider the possible bulk and shear moduli of planar polycrystals built from a single crystal in various orientations. Previous work gave a complete characterization for crystals with orthotropic symmetry. Specifically, bounds were derived separately on the effective bulk and shear moduli, thus confining the effective moduli to lie within a rectangle in the (bulk, shear) plane. It was est…
▽ More
Here we consider the possible bulk and shear moduli of planar polycrystals built from a single crystal in various orientations. Previous work gave a complete characterization for crystals with orthotropic symmetry. Specifically, bounds were derived separately on the effective bulk and shear moduli, thus confining the effective moduli to lie within a rectangle in the (bulk, shear) plane. It was established that every point in this rectangle could be realized by an appropriate hierarchical laminate microgeometry, with the crystal taking different orientations in the layers, and the layers themselves being in different orientations. The bounds are easily extended to crystals with no special symmetry, but the path to constructing microgeometries that achieve every point in the rectangle defined by the bounds is considerably more difficult. We show that the two corners of the box having minimum bulk modulus are always attained by hierarchical laminates. For the other two corners we present algorithms for generating hierarchical laminates that attain them. Numerical evidence strongly suggests that the corner having maximum bulk and maximum shear modulus is always attained. For the remaining corner, with maximum bulk modulus and minimum shear modulus, it is not yet clear whether the algorithm always succeeds, and hence whether all points in the rectangle are always attained. The microstructures we use are hierarchical laminate geometries that at their core have a self-similar microstructure, in the sense that the microstructure on one length scale is a rotation and rescaling of that on a smaller length scale.
△ Less
Submitted 16 June, 2021; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Substitution of subspace collections with nonorthogonal subspaces to accelerate Fast Fourier Transform methods applied to conducting composites
Authors:
Graeme W. Milton
Abstract:
We show the power of the algebra of subspace collections developed in Chapter 7 of the book "Extending the Theory of Composites to Other Areas of Science (edited by Milton, 2016). Specifically we accelerate the Fast Fourier Transform schemes of Moulinec and Suquet and Eyre and Milton (1994, 1998) for computing the fields and effective tensor in a conducting periodic medium by substituting a subspa…
▽ More
We show the power of the algebra of subspace collections developed in Chapter 7 of the book "Extending the Theory of Composites to Other Areas of Science (edited by Milton, 2016). Specifically we accelerate the Fast Fourier Transform schemes of Moulinec and Suquet and Eyre and Milton (1994, 1998) for computing the fields and effective tensor in a conducting periodic medium by substituting a subspace collection with nonorthogonal subspaces inside one with orthogonal subspaces. This can be done when the effective conductivity as a function of the conductivity $σ_1$ of the inclusion phase (with the matrix phase conductivity set to $1$) has its singularities confined to an interval $[-β,-α]$ of the negative real $σ_1$ axis. Numerical results of Moulinec and Suquet show accelerated convergence for the model example of a square array of squares at $25\%$ volume fraction. For other problems we show how $Q^*_C$-convex functions can be used to restrict the region where singularities of the effective tensor as a function of the component tensors might be found.
△ Less
Submitted 20 February, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Exact relations for Green's functions in linear PDE and boundary field equalities: a generalization of conservation laws
Authors:
Graeme W. Milton,
Daniel Onofrei
Abstract:
Many physics problems have $J(x)=L(x)E(x)+h(x)$, source $h(x)$, fields $E$,$J$ satisfying differential constraints, symbolized by $E\in\cal E$,$J\in\cal J$ where $\cal E$,$\cal J$ are orthogonal spaces. If $L(x)$ takes values in certain nonlinear manifolds $\cal M$, and coercivity, boundedness hold, then the Green's function satisfies exact identities. We also link Green's functions of different p…
▽ More
Many physics problems have $J(x)=L(x)E(x)+h(x)$, source $h(x)$, fields $E$,$J$ satisfying differential constraints, symbolized by $E\in\cal E$,$J\in\cal J$ where $\cal E$,$\cal J$ are orthogonal spaces. If $L(x)$ takes values in certain nonlinear manifolds $\cal M$, and coercivity, boundedness hold, then the Green's function satisfies exact identities. We also link Green's functions of different problems. The analysis, based on the theory of exact relations for composites, does not assume microscale variations in $L(x)$, and allows for other equations, such as for waves in lossy media. For bodies $Ω$, in which $L(x)\in{\cal M}$, the Dirichlet-to-Neumann map satisfies boundary field equalities. These generalize the notion of conservation laws: the constraints on the fields inside $Ω$ give identities satisfied by the boundary fields, and provide extra constraints on the interior fields. A consequence is this: if a matrix valued field $Q(x)$ with $\nabla\cdot Q=0$ takes values in a set $\cal B$ (independent of $x$) that lies on a nonlinear manifold, we find conditions on the manifold, and on $\cal B$, that with appropriate conditions on the boundary fluxes $q(x)=n(x)\cdot Q(x)$ (where $n(x)$ is the outwards normal to $\partialΩ$) force $Q(x)$ within $Ω$ to take values in a subspace $\cal D$. This forces $q(x)$ to take values in $n(x)\cdot\cal D$. We find there are additional divergence free fields inside $Ω$ that in turn generate additional boundary field equalities. There exist partial Null-Lagrangians, functionals $F(w,\nabla w)$ of a vector potential $w$ and its gradient, that act as null-Lagrangians when $\nabla w$ is constrained for $x\inΩ$ to take values in certain sets $\cal A$, of appropriate non-linear manifolds, and when $w$ satisfies appropriate boundary conditions. The extension to certain non-linear minimization problems is also sketched.
△ Less
Submitted 15 November, 2018; v1 submitted 10 December, 2017;
originally announced December 2017.
-
Near optimal pentamodes as a tool for guiding stress while minimizing compliance in $3d$-printed materials: a complete solution to the weak $G$-closure problem for $3d$-printed materials
Authors:
Graeme W. Milton,
Mohamed Camar-Eddine
Abstract:
For a composite containing one isotropic elastic material, with positive Lame moduli, and void, with the elastic material occupying a prescribed volume fraction $f$, and with the composite being subject to an average stress, ${ σ}^0$, Gibiansky, Cherkaev, and Allaire provided a sharp lower bound $W_f({ σ}^0)$ on the minimum compliance energy $σ^0:ε^0$, in which ${ ε}^0$ is the average strain. Here…
▽ More
For a composite containing one isotropic elastic material, with positive Lame moduli, and void, with the elastic material occupying a prescribed volume fraction $f$, and with the composite being subject to an average stress, ${ σ}^0$, Gibiansky, Cherkaev, and Allaire provided a sharp lower bound $W_f({ σ}^0)$ on the minimum compliance energy $σ^0:ε^0$, in which ${ ε}^0$ is the average strain. Here we show these bounds also provide sharp bounds on the possible $({ σ}^0,{ ε}^0)$-pairs that can coexist in such composites, and thus solve the weak $G$-closure problem for $3d$-printed materials. The materials we use to achieve the extremal $(σ^0,ε^0)$-pairs are denoted as near optimal pentamodes. We also consider two-phase composites containing this isotropic elasticity material and a rigid phase with the elastic material occupying a prescribed volume fraction $f$, and with the composite being subject to an average strain, $ε^0$. For such composites, Allaire and Kohn provided a sharp lower bound $\widetilde{W}_f({ ε}^0)$ on the minimum elastic energy $σ^0:ε^0$. We show that these bounds also provide sharp bounds on the possible $({ σ}^0,{ ε}^0)$-pairs that can coexist in such composites of the elastic and rigid phases, and thus solve the weak $G$-closure problem in this case too. The materials we use to achieve these extremal $({ σ}^0,{ ε}^0)$-pairs are denoted as near optimal unimodes.
△ Less
Submitted 3 February, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Convergence of iterative methods based on Neumann series for composite materials: theory and practice
Authors:
Hervé Moulinec,
Pierre Suquet,
Graeme W. Milton
Abstract:
Iterative Fast Fourier Transform methods are useful for calculating the fields in composite materials and their macroscopic response. By iterating back and forth until convergence, the differential constraints are satisfied in Fourier space, and the constitutive law in real space. The methods correspond to series expansions of appropriate operators and to series expansions for the effective tensor…
▽ More
Iterative Fast Fourier Transform methods are useful for calculating the fields in composite materials and their macroscopic response. By iterating back and forth until convergence, the differential constraints are satisfied in Fourier space, and the constitutive law in real space. The methods correspond to series expansions of appropriate operators and to series expansions for the effective tensor as a function of the component moduli. It is shown that the singularity structure of this function can shed much light on the convergence properties of the iterative Fast Fourier Transform methods. We look at a model example of a square array of conducting square inclusions for which there is an exact formula for the effective conductivity (Obnosov). Theoretically some of the methods converge when the inclusions have zero or even negative conductivity. However, the numerics do not always confirm this extended range of convergence and show that accuracy is lost after relatively few iterations. There is little point in iterating beyond this. Accuracy improves when the grid size is reduced, showing that the discrepancy is linked to the discretization. Finally, it is shown that none of the three iterative schemes investigated over-performs the others for all possible microstructures and all contrasts.
△ Less
Submitted 24 January, 2018; v1 submitted 15 November, 2017;
originally announced November 2017.
-
On ideal dynamic climbing ropes
Authors:
Davit Harutyunyan,
Graeme W. Milton,
Trevor J. Dick,
Justin Boyer
Abstract:
We consider the rope climber fall problem in two different settings. The simplest formulation of the problem is when the climber falls from a given altitude and is attached to one end of the rope while the other end of the rope is attached to the rock at a given height. The problem is then finding the properties of the rope for which the peak force felt by the climber during the fall is minimal. T…
▽ More
We consider the rope climber fall problem in two different settings. The simplest formulation of the problem is when the climber falls from a given altitude and is attached to one end of the rope while the other end of the rope is attached to the rock at a given height. The problem is then finding the properties of the rope for which the peak force felt by the climber during the fall is minimal. The second problem of our consideration is again minimizing the same quantity in the presence of a carabiner. We will call such ropes \textit{mathematically ideal.} Given the height of the carabiner, the initial height and the mass of the climber, the length of the unstretched rope, and the distance between the belayer and the carabineer, we find the optimal (in the sense of minimized the peak force to a given elongation) dynamic rope in the framework of nonlinear elasticity. Wires of shape memory materials have some of the desired features of the tension-strain relation of a mathematically ideal dynamic rope, namely a plateau in the tension over a range of strains. With a suitable hysteresis loop, they also absorb essentially all the energy from the fall, thus making them an ideal rope in this sense too.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
Bounds on Herglotz functions and fundamental limits of broadband passive quasi-static cloaking
Authors:
Maxence Cassier,
Graeme W. Milton
Abstract:
Using a sum rule, we derive new bounds on Herglotz functions that generalize those given in (Gustafson and Sjöberg 2010) and (Bernland, Luger and Gustafson 2011). These bounds apply to a wide class of linear passive systems such as electromagnetic passive materials. Among these bounds, we describe the optimal ones and also discuss their meaning in various physical situations like in the case of a…
▽ More
Using a sum rule, we derive new bounds on Herglotz functions that generalize those given in (Gustafson and Sjöberg 2010) and (Bernland, Luger and Gustafson 2011). These bounds apply to a wide class of linear passive systems such as electromagnetic passive materials. Among these bounds, we describe the optimal ones and also discuss their meaning in various physical situations like in the case of a transparency window, where we exhibit sharp bounds. Then, we apply these bounds in the context of broadband passive cloaking in the quasi-static regime to negatively answer the following challenging question: is it possible to construct a passive cloaking device that cloaks an object over a whole frequency band? Our rigorous approach, although limited to quasi-statics, gives quantitative limitations on the cloaking effect over a finite frequency range by providing inequalities on the polarizabilty tensor associated with the cloaking device. We emphasize that our results hold for a cloak or object of any geometrical shape.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
On the possible effective elasticity tensors of 2-dimensional and 3-dimensional printed materials
Authors:
Graeme W. Milton,
Marc Briane,
Davit Harutyunyan
Abstract:
The set $GU_f$ of possible effective elastic tensors of composites built from two materials with elasticity tensors $\BC_1>0$ and $\BC_2=0$ comprising the set $U=\{\BC_1,\BC_2\}$ and mixed in proportions $f$ and $1-f$ is partly characterized. The material with tensor $\BC_2=0$ corresponds to a material which is void. (For technical reasons $\BC_2$ is actually taken to be nonzero and we take the li…
▽ More
The set $GU_f$ of possible effective elastic tensors of composites built from two materials with elasticity tensors $\BC_1>0$ and $\BC_2=0$ comprising the set $U=\{\BC_1,\BC_2\}$ and mixed in proportions $f$ and $1-f$ is partly characterized. The material with tensor $\BC_2=0$ corresponds to a material which is void. (For technical reasons $\BC_2$ is actually taken to be nonzero and we take the limit $\BC_2\to 0$). Specifically, recalling that $GU_f$ is completely characterized through minimums of sums of energies, involving a set of applied strains, and complementary energies, involving a set of applied stresses, we provide descriptions of microgeometries that in appropriate limits achieve the minimums in many cases. In these cases the calculation of the minimum is reduced to a finite dimensional minimization problem that can be done numerically. Each microgeometry consists of a union of walls in appropriate directions, where the material in the wall is an appropriate $p$-mode material, that is easily compliant to $p\leq 5$ independent applied strains, yet supports any stress in the orthogonal space. Thus the material can easily slip in certain directions along the walls. The region outside the walls contains "complementary Avellaneda material" which is a hierarchical laminate which minimizes the sum of complementary energies.
△ Less
Submitted 14 October, 2016; v1 submitted 10 June, 2016;
originally announced June 2016.
-
Criteria for guaranteed breakdown in two-phase inhomogeneous bodies
Authors:
Patrick Bardsley,
Michael S. Primrose,
Michael Zhao,
Jonathan Boyle,
Nathan Briggs,
Zoe Koch,
Graeme W. Milton
Abstract:
Lower bounds are obtained on the maximum field strength in one or both phases in a body containing two-phases. These bounds only incorporate boundary data that can be obtained from measurements at the surface of the body, and thus may be useful for determining if breakdown has necessarily occurred in one of the phases, or that some other nonlinearities have occurred. It is assumed the response of…
▽ More
Lower bounds are obtained on the maximum field strength in one or both phases in a body containing two-phases. These bounds only incorporate boundary data that can be obtained from measurements at the surface of the body, and thus may be useful for determining if breakdown has necessarily occurred in one of the phases, or that some other nonlinearities have occurred. It is assumed the response of the phases is linear up to the point of electric, dielectric, or elastic breakdown, or up to the point of the onset of nonlinearities. These bounds are calculated for conductivity, with one or two sets of boundary conditions, for complex conductivity (as appropriate at fixed frequency when the wavelength is much larger than the body, i.e., for quasistatics), and for two-dimensional elasticity. Sometimes the bounds are optimal when the field is constant in one of the phases, and using the algorithm of Kang, Kim, and Milton (2012) a wide variety of inclusion shapes having this property, for appropriately chosen bodies and appropriate boundary conditions, are numerically constructed. Such inclusions are known as $E_Ω$-inclusions.
△ Less
Submitted 11 April, 2017; v1 submitted 17 April, 2016;
originally announced April 2016.
-
High frequency homogenization for travelling waves in periodic media
Authors:
Davit Harutyunyan,
Richard V. Craster,
Graeme W. Milton
Abstract:
We consider high frequency homogenization in periodic media for travelling waves of several different equations: the wave equation for scalar-valued waves such as acoustics; the wave equation for vector-valued waves such as electromagnetism and elasticity; and a system that encompasses the Schr{ö}dinger equation. This homogenization applies when the wavelength is of the order of the size of the me…
▽ More
We consider high frequency homogenization in periodic media for travelling waves of several different equations: the wave equation for scalar-valued waves such as acoustics; the wave equation for vector-valued waves such as electromagnetism and elasticity; and a system that encompasses the Schr{ö}dinger equation. This homogenization applies when the wavelength is of the order of the size of the medium periodicity cell. The travelling wave is assumed to be the sum of two waves: a modulated Bloch carrier wave having crystal wave vector $\Bk$ and frequency $ω_1$ plus a modulated Bloch carrier wave having crystal wave vector $\Bm$ and frequency $ω_2$. We derive effective equations for the modulating functions, and then prove that there is no coupling in the effective equations between the two different waves both in the scalar and the system cases. To be precise, we prove that there is no coupling unless $ω_1=ω_2$ and $(\Bk-\Bm)\odotΛ\in 2π\mathbb Z^d,$ where $Λ=(λ_1λ_2\dotsλ_d)$ is the periodicity cell of the medium and for any two vectors $a=(a_1,a_2,\dots,a_d), b=(b_1,b_2,\dots,b_d)\in\mathbb R^d,$ the product $a\odot b$ is defined to be the vector $(a_1b_1,a_2b_2,\dots,a_db_d).$ This last condition forces the carrier waves to be equivalent Bloch waves meaning that the coupling constants in the system of effective equations vanish.
We use two-scale analysis and some new weak-convergence type lemmas. The analysis is not at the same level of rigor as that of Allaire and coworkers who use two-scale convergence theory to treat the problem, but has the advantage of simplicity which will allow it to be easily extended to the case where there is degeneracy of the Bloch eigenvalue.
△ Less
Submitted 24 June, 2016; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Analyticity of the Dirichlet-to-Neumann map for the time-harmonic Maxwell's equations
Authors:
Maxence Cassier,
Aaron Welters,
Graeme W. Milton
Abstract:
In this chapter of the book entitled, "Extending the Theory of Composites to Other Areas of Science" [edited by Graeme W. Milton, 2016] we derive the analyticity properties of the electromagnetic Dirichlet-to-Neumann map for the time-harmonic Maxwell's equations for passive linear multicomponent media. Moreover, we discuss the connection of this map to Herglotz functions for isotropic and anisotro…
▽ More
In this chapter of the book entitled, "Extending the Theory of Composites to Other Areas of Science" [edited by Graeme W. Milton, 2016] we derive the analyticity properties of the electromagnetic Dirichlet-to-Neumann map for the time-harmonic Maxwell's equations for passive linear multicomponent media. Moreover, we discuss the connection of this map to Herglotz functions for isotropic and anisotropic multicomponent composites.
△ Less
Submitted 8 October, 2016; v1 submitted 17 December, 2015;
originally announced December 2015.
-
Towards characterization of all $3\times3$ extremal quasiconvex quadratic forms
Authors:
Davit Harutyunyan,
Graeme W. Milton
Abstract:
Given a $d\times d$ quasiconvex quadratic form, $d\geq 3,$ we prove that if the determinant of its acoustic tensor is an irreducible extremal polynomial that is not identically zero, then the form itself is an extremal quasiconvex quadratic form, i.e. it loses its quasiconvexity whenever a convex quadratic form is subtracted from it. In the special case $d=3,$ we slightly weaken the condition, nam…
▽ More
Given a $d\times d$ quasiconvex quadratic form, $d\geq 3,$ we prove that if the determinant of its acoustic tensor is an irreducible extremal polynomial that is not identically zero, then the form itself is an extremal quasiconvex quadratic form, i.e. it loses its quasiconvexity whenever a convex quadratic form is subtracted from it. In the special case $d=3,$ we slightly weaken the condition, namely we prove, that if the determinant of the acoustic tensor of the quadratic form is an extremal polynomial that is not a perfect square, then the form itself is an extremal quadratic form. In the case $d=3$ we also prove, that if the determinant of the acoustic tensor of the form is identically zero, then the form is either an extremal or polyconvex. Also, if the determinant of the acoustic tensor of the form is a perfect square, then the form is either extremal, polycovex, or is a sum of a rank-one form and an extremal, whose acoustic tensor determinant is identically zero. Here we use the notion of extremality introduced by Milton in [\ref{bib:Mil3}]
△ Less
Submitted 16 January, 2017; v1 submitted 14 December, 2015;
originally announced December 2015.
-
Superfunctions and the algebra of subspace collections and their association with rational functions of several complex variables
Authors:
Graeme W. Milton
Abstract:
A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of subspace collections. Operations on subspace collections are found to correspond to various operations on rational functions, such as addition, multiplication and su…
▽ More
A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of subspace collections. Operations on subspace collections are found to correspond to various operations on rational functions, such as addition, multiplication and substitution. It is established that every rational matrix valued function which is homogeneous of degree 1 can be generated from an appropriate, but not necessarily unique, subspace collection: the mapping from subspace collections to rational functions is onto, but not one to one. For some applications superfunctions may be more important than functions, as they incorporate more information about the physical problem, yet can be manipulated in much the same way as functions. Previously subspace collections had been introduced when there was an inner product on the vector (or Hilbert) space, and appropriate subspaces were mutually orthogonal. In that setting certain normalization and reduction operations on subspace collections led to a continued fraction expansion of the associated function, which allowed one to bound the function in terms of a set of weight matrices and normalization matrices that are derived from series expansions. Here we also initiate the theory of normalization and reduction operations, appropriate when there is no inner product on the space.
△ Less
Submitted 20 February, 2016; v1 submitted 29 April, 2015;
originally announced April 2015.
-
On the relation between extremal elasticity tensors with orthotropic symmetry and extremal polynomials
Authors:
Davit Harutyunyan,
Graeme Walter Milton
Abstract:
We prove that an elasticity tensor with orthotropic symmetry is extremal if the determinant of its acoustic tensor is an extremal polynomial that is not a perfect square.
We prove that an elasticity tensor with orthotropic symmetry is extremal if the determinant of its acoustic tensor is an extremal polynomial that is not a perfect square.
△ Less
Submitted 16 November, 2014;
originally announced November 2014.
-
Isotropic realizability of current fields in R^3
Authors:
Marc Briane,
Graeme W. Milton
Abstract:
This paper deals with the isotropic realizability of a given regular divergence free field j in R^3 as a current field, namely to know when j can be written as sigma Du for some isotropic conductivity sigma, and some gradient field Du. The local isotropic realizability in R^3 is obtained by Frobenius' theorem provided that j and curl j are orthogonal in R^3. A counter-example shows that Frobenius'…
▽ More
This paper deals with the isotropic realizability of a given regular divergence free field j in R^3 as a current field, namely to know when j can be written as sigma Du for some isotropic conductivity sigma, and some gradient field Du. The local isotropic realizability in R^3 is obtained by Frobenius' theorem provided that j and curl j are orthogonal in R^3. A counter-example shows that Frobenius' condition is not sufficient to derive the global isotropic realizability in R^3. However, assuming that (j, curl j, j x curl j) is an orthogonal basis of R^3, an admissible conductivity sigma is constructed from a combination of the three dynamical flows along the directions j/|j|, curl j/|curl j| and (j/|j|^2) x curl j. When the field j is periodic, the isotropic realizability in the torus needs in addition a boundedness assumption satisfied by the flow along the third direction (j/|j|^2) x \curl j. Several examples illustrate the sharpness of the realizability conditions.
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
-
Sensitivity of anomalous localized resonance phenomena with respect to dissipation
Authors:
Taoufik Meklachi,
Graeme W. Milton,
Daniel Onofrei,
Andrew E. Thaler,
Gregory FUnchess
Abstract:
We analyze cloaking due to anomalous localized resonance in the quasistatic regime in the case when a general charge density distribution is brought near a slab superlens. If the charge density distribution is within a critical distance of the slab, then the power dissipation within the slab blows up as certain electrical dissipation parameters go to zero. The potential remains bounded far away fr…
▽ More
We analyze cloaking due to anomalous localized resonance in the quasistatic regime in the case when a general charge density distribution is brought near a slab superlens. If the charge density distribution is within a critical distance of the slab, then the power dissipation within the slab blows up as certain electrical dissipation parameters go to zero. The potential remains bounded far away from the slab in this limit, which leads to cloaking due to anomalous localized resonance. On the other hand, if the charge density distribution is further than this critical distance from the slab, then the power dissipation within the slab remains bounded and cloaking due to anomalous localized resonance does not occur. The critical distance is shown to strongly depend on the the rate at which the dissipation outside of the slab goes to zero.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
Exact determination of the volume of an inclusion in a body having constant shear modulus
Authors:
Andrew E. Thaler,
Graeme W. Milton
Abstract:
We derive an exact formula for the volume fraction of an inclusion in a body when the inclusion and the body are linearly elastic materials with the same shear modulus. Our formula depends on an appropriate measurement of the displacement and traction around the boundary of the body. In particular, the boundary conditions around the boundary of the body must be such that they mimic the body being…
▽ More
We derive an exact formula for the volume fraction of an inclusion in a body when the inclusion and the body are linearly elastic materials with the same shear modulus. Our formula depends on an appropriate measurement of the displacement and traction around the boundary of the body. In particular, the boundary conditions around the boundary of the body must be such that they mimic the body being placed in an infinite medium with an appropriate displacement applied at infinity.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Explicit examples of extremal quasiconvex quadratic forms that are not polyconvex
Authors:
Davit Harutyunyan,
Graeme Walter Milton
Abstract:
We prove that if the associated fourth order tensor of a quadratic form has a linear elastic cubic symmetry then it is quasiconvex if and only if it is polyconvex, i.e. a sum of convex and null-Lagrangian quadratic forms. We prove that allowing for slightly less symmetry, namely only cyclic and axis-reflection symmetry, gives rise to a class of extremal quasiconvex quadratic forms, that are not po…
▽ More
We prove that if the associated fourth order tensor of a quadratic form has a linear elastic cubic symmetry then it is quasiconvex if and only if it is polyconvex, i.e. a sum of convex and null-Lagrangian quadratic forms. We prove that allowing for slightly less symmetry, namely only cyclic and axis-reflection symmetry, gives rise to a class of extremal quasiconvex quadratic forms, that are not polyconvex. Non-affine boundary conditions on the potential are identified which allow one to obtain sharp bounds on the integrals of these extremal quasiconvex quadratic forms of $\nabla u$ over an arbitrary region.
△ Less
Submitted 16 November, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
Bounds on the size of an inclusion using the translation method for two-dimensional complex conductivity
Authors:
Hyeonbae Kang,
Kyoungsun Kim,
Hyundae Lee,
Xiaofei Li,
Graeme W. Milton
Abstract:
The size estimation problem in electrical impedance tomography is considered when the conductivity is a complex number and the body is two-dimensional. Upper and lower bounds on the volume fraction of the unknown inclusion embedded in the body are derived in terms of two pairs of voltage and current data measured on the boundary of the body. These bounds are derived using the translation method. W…
▽ More
The size estimation problem in electrical impedance tomography is considered when the conductivity is a complex number and the body is two-dimensional. Upper and lower bounds on the volume fraction of the unknown inclusion embedded in the body are derived in terms of two pairs of voltage and current data measured on the boundary of the body. These bounds are derived using the translation method. We also provide numerical examples to show that these bounds are quite tight and stable under measurement noise.
△ Less
Submitted 9 October, 2013;
originally announced October 2013.
-
Bounds on the volume of an inclusion in a body from a complex conductivity measurement
Authors:
Andrew E. Thaler,
Graeme W. Milton
Abstract:
We derive bounds on the volume of an inclusion in a body in two or three dimensions when the conductivities of the inclusion and the surrounding body are complex and assumed to be known. The bounds are derived in terms of average values of the electric field, current, and certain products of the electric field and current. All of these average values are computed from a single electrical impedance…
▽ More
We derive bounds on the volume of an inclusion in a body in two or three dimensions when the conductivities of the inclusion and the surrounding body are complex and assumed to be known. The bounds are derived in terms of average values of the electric field, current, and certain products of the electric field and current. All of these average values are computed from a single electrical impedance tomography measurement of the voltage and current on the boundary of the body. Additionally, the bounds are tight in the sense that at least one of the bounds gives the exact volume of the inclusion for certain geometries and boundary conditions.
△ Less
Submitted 27 June, 2013;
originally announced June 2013.
-
The searchlight effect in hyperbolic materials
Authors:
Graeme W. Milton,
Ross C. McPhedran,
Ari Sihvola
Abstract:
The quasistatic field around a circular hole in a two-dimensional hyperbolic medium is studied. As the loss parameter goes to zero, it is found that the electric field diverges along four lines each tangent to the hole. In this limit, the power dissipated by the field in the vicinity of these lines, per unit length of the line, goes to zero but extends further and further out so that the net power…
▽ More
The quasistatic field around a circular hole in a two-dimensional hyperbolic medium is studied. As the loss parameter goes to zero, it is found that the electric field diverges along four lines each tangent to the hole. In this limit, the power dissipated by the field in the vicinity of these lines, per unit length of the line, goes to zero but extends further and further out so that the net power dissipated remains finite. Additionally the interaction between polarizable dipoles in a hyperbolic medium is studied. It is shown that a dipole with small polarizability can dramatically influence the dipole moment of a distant polarizable dipole, if it is appropriately placed. We call this the searchlight effect, as the enhancement depends on the orientation of the line joining the polarizable dipoles and can be varied by changing the frequency. For some particular polarizabilities the enhancement can actually increase the further the polarizable dipoles are apart.
△ Less
Submitted 24 February, 2013;
originally announced February 2013.
-
Effective Conductivities of Thin-Interphase Composites
Authors:
Bacim Alali,
Graeme W. Milton
Abstract:
A method is presented for approximating the effective conductivity of composite media with thin interphase regions, which is exact to first order in the interphase thickness. The approximations are computationally efficient in the sense the fields need to be computed only in a reference composite in which the interphases have been replaced by perfect interfaces. The results apply whether any two p…
▽ More
A method is presented for approximating the effective conductivity of composite media with thin interphase regions, which is exact to first order in the interphase thickness. The approximations are computationally efficient in the sense the fields need to be computed only in a reference composite in which the interphases have been replaced by perfect interfaces. The results apply whether any two phases of the composite are separated by a single interphase or multiple interphases, whether the conductivities of the composite phases are isotropic or anisotropic, and whether the thickness of an interphase is uniform or varies as a function of position. It is assumed that the conductivities of the interphase materials have intermediate values as opposed to very high or very low conductivities.
△ Less
Submitted 15 August, 2013; v1 submitted 12 February, 2013;
originally announced February 2013.
-
Sharp inequalities which generalize the divergence theorem--an extension of the notion of quasiconvexity, with an addendum
Authors:
Graeme W. Milton
Abstract:
Subject to suitable boundary conditions being imposed, sharp inequalities are obtained on integrals over a region $Ω$ of certain special quadratic functions $f(\bf{E})$ where $\bf{E}(\bf{x})$ derives from a potential $\bf{U}(\bf{x})$. With $\bf{E}=\nabla\bf{U}$ it is known that such sharp inequalities can be obtained when $f(\bf{E})$ is a quasiconvex function and when $\bf{U}$ satisfies affine bou…
▽ More
Subject to suitable boundary conditions being imposed, sharp inequalities are obtained on integrals over a region $Ω$ of certain special quadratic functions $f(\bf{E})$ where $\bf{E}(\bf{x})$ derives from a potential $\bf{U}(\bf{x})$. With $\bf{E}=\nabla\bf{U}$ it is known that such sharp inequalities can be obtained when $f(\bf{E})$ is a quasiconvex function and when $\bf{U}$ satisfies affine boundary conditions (i.e., for some matrix $\bf{D}$, $\bf{U}=\bf{D}\bf{x}$ on $\partialΩ$). Here we allow for other boundary conditions and for fields $\bf{E}$ that involve derivatives of a variety orders of $\bf{U}$. We define a notion of convexity that generalizes quasiconvexity. $Q^*$-convex quadratic functions are introduced, characterized and an algorithm is given for generating sharply $Q^*$-convex functions. We emphasize that this also solves the outstanding problem of finding an algorithm for generating extremal quasiconvex quadratic functions. We also treat integrals over $Ω$ of special quadratic functions $g(\bf{J})$ where $\bf{J}(\bf{x})$ satisfies a differential constraint involving derivatives with, possibly, a variety of orders. The results generalize an example of Kang and the author in three spatial dimensions where $\bf{J}(\bf{x})$ is a $3\times 3$ matrix valued field satisfying $\nabla\cdot\bf{J}=0$. In the addendum the paper is clarified. Notably, much more general boundary conditions are given under which sharp lower bounds on the integrals of certain quadratic functions of the fields can be obtained. As a consequence, strict $Q^*$-convexity is found to be an appropriate condition to ensure uniqueness of the solutions of a wide class of partial differential equations with constant coefficients, in a given domain $Ω$ with appropriate boundary conditions.
△ Less
Submitted 12 November, 2014; v1 submitted 5 February, 2013;
originally announced February 2013.
-
Anomalous localized resonance using a folded geometry in three dimensions
Authors:
Habib Ammari,
Giulio Ciraolo,
Hyeonbae Kang,
Hyundae Lee,
Graeme W. Milton
Abstract:
If a body of dielectric material is coated by a plasmonic structure of negative dielectric material with nonzero loss parameter, then cloaking by anomalous localized resonance (CALR) may occur as the loss parameter tends to zero. It was proved in other papers by authors that if the coated structure is circular (2D) and dielectric constant of the shell is a negative constant (with loss parameter),…
▽ More
If a body of dielectric material is coated by a plasmonic structure of negative dielectric material with nonzero loss parameter, then cloaking by anomalous localized resonance (CALR) may occur as the loss parameter tends to zero. It was proved in other papers by authors that if the coated structure is circular (2D) and dielectric constant of the shell is a negative constant (with loss parameter), then CALR occurs, and if the coated structure is spherical (3D), then CALR does not occur. The aim of this paper is to show that the CALR takes place if the spherical coated structure has a specially designed anisotropic dielectric tensor. The anisotropic dielectric tensor is designed by unfolding a folded geometry.
△ Less
Submitted 24 January, 2013;
originally announced January 2013.
-
Which electric fields are realizable in conducting materials?
Authors:
Marc Briane,
Graeme W. Milton,
Andrejs Treibergs
Abstract:
In this paper we study the realizability of a given smooth periodic gradient field $\nabla u$ defined in $\RR^d$, in the sense of finding when one can obtain a matrix conductivity $\si$ such that $\si\nabla u$ is a divergence free current field. The construction is shown to be always possible locally in $\RR^d$ provided that $\nabla u$ is non-vanishing. This condition is also necessary in dimensio…
▽ More
In this paper we study the realizability of a given smooth periodic gradient field $\nabla u$ defined in $\RR^d$, in the sense of finding when one can obtain a matrix conductivity $\si$ such that $\si\nabla u$ is a divergence free current field. The construction is shown to be always possible locally in $\RR^d$ provided that $\nabla u$ is non-vanishing. This condition is also necessary in dimension two but not in dimension three. In fact the realizability may fail for non-regular gradient fields, and in general the conductivity cannot be both periodic and isotropic. However, using a dynamical systems approach the isotropic realizability is proved to hold in the whole space (without periodicity) under the assumption that the gradient does not vanish anywhere. Moreover, a sharp condition is obtained to ensure the isotropic realizability in the torus. The realizability of a matrix field is also investigated both in the periodic case and in the laminate case. In this context the sign of the matrix field determinant plays an essential role according to the space dimension.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
-
Spectral theory of a Neumann-Poincaré-type operator and analysis of anomalous localized resonance II
Authors:
Habib Ammari,
Giulio Ciraolo,
Hyeonbae Kang,
Hyundae Lee,
Graeme W. Milton
Abstract:
If a body of dielectric material is coated by a plasmonic structure of negative dielectric constant with nonzero loss parameter, then cloaking by anomalous localized resonance (CALR) may occur as the loss parameter tends to zero. The aim of this paper is to investigate this phenomenon in two and three dimensions when the coated structure is radial, and the core, shell and matrix are isotropic mate…
▽ More
If a body of dielectric material is coated by a plasmonic structure of negative dielectric constant with nonzero loss parameter, then cloaking by anomalous localized resonance (CALR) may occur as the loss parameter tends to zero. The aim of this paper is to investigate this phenomenon in two and three dimensions when the coated structure is radial, and the core, shell and matrix are isotropic materials. In two dimensions, we show that if the real part of the permittivity of the shell is -1 (under the assumption that the permittivity of the background is 1), then CALR takes place. If it is different from -1, then CALR does not occur. In three dimensions, we show that CALR does not occur. The analysis of this paper reveals that occurrence of CALR is determined by the eigenvalue distribution of the Neumann-Poincaré-type operator associated with the structure.
△ Less
Submitted 20 December, 2012;
originally announced December 2012.
-
Bounds on the volume fractions of two materials in a three dimensional body from boundary measurements by the translation method
Authors:
Hyeonbae Kang,
Graeme W. Milton
Abstract:
Using the translation method of Tartar, Murat, Lurie, and Cherkaev bounds are derived on the volume occupied by an inclusion in a three-dimensional conducting body. They assume electrical impedance tomography measurements have been made for three sets of pairs of current flux and voltage measurements around the boundary. Additionally the conductivity of the inclusion and surrounding medium are ass…
▽ More
Using the translation method of Tartar, Murat, Lurie, and Cherkaev bounds are derived on the volume occupied by an inclusion in a three-dimensional conducting body. They assume electrical impedance tomography measurements have been made for three sets of pairs of current flux and voltage measurements around the boundary. Additionally the conductivity of the inclusion and surrounding medium are assumed to be known. If the boundary data (Dirichlet or Neumann) is special, i.e. such that the fields inside the body would be uniform were the body homogeneous, then the bounds reduce to those of Milton and thus when the volume fraction is small to those of Capdeboscq and Vogelius.
△ Less
Submitted 4 June, 2012;
originally announced June 2012.
-
Adaptable nonlinear bimode metamaterials with rigid bars, pivots, and actuators
Authors:
Graeme Walter Milton
Abstract:
A large family of periodic planar non-linear bimode metamaterials are constructed from rigid bars and pivots. They are affine materials in the sense that their macroscopic deformations are only affine deformations: at large distances any deformation must be close to an affine deformation. Bimode means that the paths of all possible deformations of Bravais lattices that preserve the periodicity of…
▽ More
A large family of periodic planar non-linear bimode metamaterials are constructed from rigid bars and pivots. They are affine materials in the sense that their macroscopic deformations are only affine deformations: at large distances any deformation must be close to an affine deformation. Bimode means that the paths of all possible deformations of Bravais lattices that preserve the periodicity of the lattice lie on a two dimensional surface in the three dimensional space of invariants describing the deformation (excluding translations and rotations). By adding two actuators inside a single microscopic cell one can control the macroscopic deformation, which may be useful for the design of adaptive structures. The design of adaptable nonlinear affine trimode metamaterials (for which the macroscopic deformations lie within a three-dimensional region in the space of invariants) is discussed, although their realization remains an open problem. Examples are given of non-affine unimode and non-affine bimode materials. In these materials the deformation can vary from cell to cell in such a way that the macroscopic deformation is non-affine.
△ Less
Submitted 22 August, 2012; v1 submitted 1 June, 2012;
originally announced June 2012.
-
Complete characterization of the macroscopic deformations of periodic unimode metamaterials of rigid bars and pivots
Authors:
Graeme Walter Milton
Abstract:
A complete characterization is given of the possible macroscopic deformations of periodic nonlinear affine unimode metamaterials constructed from rigid bars and pivots. The materials are affine in the sense that their macroscopic deformations can only be affine deformations: on a local level the deformation may vary from cell to cell. Unimode means that macroscopically the material can only deform…
▽ More
A complete characterization is given of the possible macroscopic deformations of periodic nonlinear affine unimode metamaterials constructed from rigid bars and pivots. The materials are affine in the sense that their macroscopic deformations can only be affine deformations: on a local level the deformation may vary from cell to cell. Unimode means that macroscopically the material can only deform along a one dimensional trajectory in the six dimensional space of invariants describing the deformation (excluding translations and rotations). We show by explicit construction that any continuous trajectory is realizable to an arbitrarily high degree of approximation provided at all points along the trajectory the geometry does not collapse to a lower dimensional one. In particular, we present two and three dimensional dilational materials having an arbitrarily large flexibility window. These are perfect auxetic materials for which a dilation is the only easy mode of deformation. They are free to dilate to arbitrarily large strain with zero bulk modulus.
△ Less
Submitted 22 August, 2012; v1 submitted 28 May, 2012;
originally announced May 2012.
-
Bounds on the volume fraction of the two-phase shallow shell using one measurement
Authors:
Hyeonbae Kang,
Graeme W. Milton,
Jenn-Nan Wang
Abstract:
We study the size estimate problem for the two-phase shallow shell equations in this paper. Our aim is to derive bounds on the volume fraction of each phase assuming that the material properties of the two phases are given. The approach in this paper is based on the translation method. One of the key steps is to connect the shallow shell equations to the thin plate equation.
We study the size estimate problem for the two-phase shallow shell equations in this paper. Our aim is to derive bounds on the volume fraction of each phase assuming that the material properties of the two phases are given. The approach in this paper is based on the translation method. One of the key steps is to connect the shallow shell equations to the thin plate equation.
△ Less
Submitted 22 April, 2012;
originally announced April 2012.
-
Spectral theory of a Neumann-Poincare-type operator and analysis of cloaking due to anomalous localized resonance
Authors:
Habib Ammari,
Giulio Ciraolo,
Hyeonbae Kang,
Hyundae Lee,
Graeme W. Milton
Abstract:
The aim of this paper is to give a mathematical justification of cloaking due to anomalous localized resonance (CALR). We consider the dielectric problem with a source term in a structure with a layer of plasmonic material. Using layer potentials and symmetrization techniques, we give a necessary and sufficient condition on the fixed source term for electromagnetic power dissipation to blow up as…
▽ More
The aim of this paper is to give a mathematical justification of cloaking due to anomalous localized resonance (CALR). We consider the dielectric problem with a source term in a structure with a layer of plasmonic material. Using layer potentials and symmetrization techniques, we give a necessary and sufficient condition on the fixed source term for electromagnetic power dissipation to blow up as the loss parameter of the plasmonic material goes to zero. This condition is written in terms of the Newtonian potential of the source term. In the case of concentric disks, we make the condition even more explicit. Using the condition, we are able to show that for any source supported outside a critical radius CALR does not take place, and for sources located inside the critical radius satisfying certain conditions CALR does take place as the loss parameter goes to zero.
△ Less
Submitted 27 May, 2012; v1 submitted 2 September, 2011;
originally announced September 2011.
-
Bounds on the volume fraction of 2-phase, 2-dimensional elastic bodies and on (stress, strain) pairs in composites
Authors:
Graeme Walter Milton,
Loc Hoang Nguyen
Abstract:
Bounds are obtained on the volume fraction in a two-dimensional body containing two elastically isotropic materials with known bulk and shear moduli. These bounds use information about the average stress and strain fields, energy, determinant of the stress, and determinant of the displacement gradient, which can be determined from measurements of the traction and displacement at the boundary. The…
▽ More
Bounds are obtained on the volume fraction in a two-dimensional body containing two elastically isotropic materials with known bulk and shear moduli. These bounds use information about the average stress and strain fields, energy, determinant of the stress, and determinant of the displacement gradient, which can be determined from measurements of the traction and displacement at the boundary. The bounds are sharp if in each phase certain displacement field components are constant. The inequalities we obtain also directly give bounds on the possible (average stress, average strain) pairs in a two-phase, two-dimensional, periodic or statistically homogeneous composite
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
Spectral super-resolution in metamaterial composites
Authors:
Johan Helsing,
Ross C. McPhedran,
Graeme W. Milton
Abstract:
We investigate the optical properties of periodic composites containing metamaterial inclusions in a normal material matrix. We consider the case where these inclusions have sharp corners, and following Hetherington and Thorpe, use analytic results to argue that it is then possible to deduce the shape of the corner (its included angle) by measurements of the absorptance of such composites when the…
▽ More
We investigate the optical properties of periodic composites containing metamaterial inclusions in a normal material matrix. We consider the case where these inclusions have sharp corners, and following Hetherington and Thorpe, use analytic results to argue that it is then possible to deduce the shape of the corner (its included angle) by measurements of the absorptance of such composites when the scale size of the inclusions and period cell is much finer than the wavelength. These analytic arguments are supported by highly accurate numerical results for the effective permittivity function of such composites as a function of the permittivity ratio of inclusions to matrix. The results show that this function has a continuous spectral component with limits independent of the area fraction of inclusions, and with the same limits for both square and staggered square arrays.
△ Less
Submitted 25 May, 2011;
originally announced May 2011.
-
Bounds on strong field magneto-transport in three-dimensional composites
Authors:
Marc Briane,
Graeme W. Milton
Abstract:
This paper deals with bounds satisfied by the effective non-symmetric conductivity of three-dimensional composites in the presence of a strong magnetic field. On the one hand, it is shown that for general composites the antisymmetric part of the effective conductivity cannot be bounded solely in terms of the antisymmetric part of the local conductivity, contrary to the columnar case. So, a suitabl…
▽ More
This paper deals with bounds satisfied by the effective non-symmetric conductivity of three-dimensional composites in the presence of a strong magnetic field. On the one hand, it is shown that for general composites the antisymmetric part of the effective conductivity cannot be bounded solely in terms of the antisymmetric part of the local conductivity, contrary to the columnar case. So, a suitable rank-two laminate the conductivity of which has a bounded antisymmetric part together with a high-contrast symmetric part, may generate an arbitrarily large antisymmetric part of the effective conductivity. On the other hand, bounds are provided which show that the antisymmetric part of the effective conductivity must go to zero if the upper bound on the antisymmetric part of the local conductivity goes to zero, and the symmetric part of the local conductivity remains bounded below and above. Elementary bounds on the effective moduli are derived assuming the local conductivity and effective conductivity have transverse isotropy in the plane orthogonal to the magnetic field. New Hashin-Shtrikman type bounds for two-phase three-dimensional composites with a non-symmetric conductivity are provided under geometric isotropy of the microstructure. The derivation of the bounds is based on a particular variational principle symmetrizing the problem, and the use of Y-tensors involving the averages of the fields in each phase.
△ Less
Submitted 19 May, 2011;
originally announced May 2011.
-
Universal bounds on the electrical and elastic response of two-phase bodies and their application to bounding the volume fraction from boundary measurements
Authors:
Graeme W. Milton
Abstract:
Universal bounds on the electrical and elastic response of two-phase (and multiphase) ellipsoidal or parallelopipedic bodies have been obtained by Nemat-Nasser and Hori. Here we show how their bounds can be improved and extended to bodies of arbitrary shape. Although our analysis is for two-phase bodies with isotropic phases it can easily be extended to multiphase bodies with anisotropic constitue…
▽ More
Universal bounds on the electrical and elastic response of two-phase (and multiphase) ellipsoidal or parallelopipedic bodies have been obtained by Nemat-Nasser and Hori. Here we show how their bounds can be improved and extended to bodies of arbitrary shape. Although our analysis is for two-phase bodies with isotropic phases it can easily be extended to multiphase bodies with anisotropic constituents. Our two-phase bounds can be used in an inverse fashion to bound the volume fractions occupied by the phases, and for electrical conductivity reduce to those of Capdeboscq and Vogelius when the volume fraction is asymptotically small. Other volume fraction bounds derived here utilize information obtained from thermal, magnetic, dielectric or elastic responses. One bound on the volume fraction can be obtained by simply immersing the body in a water filled cylinder with a piston at one end and measuring the change in water pressure when the piston is displaced by a known small amount. This bound may be particularly effective for estimating the volume of cavities in a body. We also obtain new bounds utilizing just one pair of (voltage, flux) electrical measurements at the boundary of the body.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
Sharp bounds on the volume fractions of two materials in a two-dimensional body from electrical boundary measurements: the translation method
Authors:
Hyeonbae Kang,
Eunjoo Kim,
Graeme W. Milton
Abstract:
We deal with the problem of estimating the volume of inclusions using a finite number of boundary measurements in electrical impedance tomography. We derive upper and lower bounds on the volume fractions of inclusions, or more generally two phase mixtures, using two boundary measurements in two dimensions. These bounds are optimal in the sense that they are attained by certain configurations with…
▽ More
We deal with the problem of estimating the volume of inclusions using a finite number of boundary measurements in electrical impedance tomography. We derive upper and lower bounds on the volume fractions of inclusions, or more generally two phase mixtures, using two boundary measurements in two dimensions. These bounds are optimal in the sense that they are attained by certain configurations with some boundary data. We derive the bounds using the translation method which uses classical variational principles with a null Lagrangian. We then obtain necessary conditions for the bounds to be attained and prove that these bounds are attained by inclusions inside which the field is uniform. When special boundary conditions are imposed the bounds reduce to those obtained by Milton and these in turn are shown here to reduce to those of Capdeboscq-Vogelius in the limit when the volume fraction tends to zero. The bounds of this paper, and those of Milton, work for inclusions of arbitrary volume fractions. We then perform some numerical experiments to demonstrate how good these bounds are.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
Progress on the Strong Eshelby's Conjecture and Extremal Structures for the Elastic Moment Tensor
Authors:
Habib Ammari,
Yves Capdeboscq,
Hyeonbae Kang,
Hyundae Lee,
Graeme W. Milton,
Habib Zribi
Abstract:
We make progress towards proving the strong Eshelby's conjecture in three dimensions. We prove that if for a single nonzero uniform loading the strain inside inclusion is constant and further the eigenvalues of this strain are either all the same or all distinct, then the inclusion must be of ellipsoidal shape. As a consequence, we show that for two linearly independent loadings the strains insi…
▽ More
We make progress towards proving the strong Eshelby's conjecture in three dimensions. We prove that if for a single nonzero uniform loading the strain inside inclusion is constant and further the eigenvalues of this strain are either all the same or all distinct, then the inclusion must be of ellipsoidal shape. As a consequence, we show that for two linearly independent loadings the strains inside the inclusions are uniform, then the inclusion must be of ellipsoidal shape. We then use this result to address a problem of determining the shape of an inclusion when the elastic moment tensor (elastic polarizability tensor) is extremal. We show that the shape of inclusions, for which the lower Hashin-Shtrikman bound either on the bulk part or on the shear part of the elastic moment tensor is attained, is an ellipse in two dimensions and an ellipsoid in three dimensions.
△ Less
Submitted 10 September, 2009;
originally announced September 2009.
