76 Int. J. Computing Science and Mathematics, Vol. 3, Nos. /2, 200 Creating materials with a desired refraction coefficient: numerical experiments Sapto W. Indratno and Alexander G. Ramm* Department of Mathematics, Kansas State University, Manhattan, KS 66506-2602, USA E-mail: sapto@math.ksu.edu E-mail: ramm@math.ksu.edu *Corresponding author Abstract: A recipe for creating materials with a desired refraction coefficient is implemented numerically. An error estimate is given for the approximate solution of the many-body scattering problem in the case of small scatterers. This result is used for the estimate of the minimal number of small particles to be embedded in a given domain D in order to get a material whose refraction coefficient approximates the desired one with the relative error not exceeding a desired small quantity. Keywords: many-body wave scattering problem; metamaterials; refraction coefficient. Reference to this paper should be made as follows: Indratno, S.W. and Ramm, A.G. (200) Creating materials with a desired refraction coefficient: numerical experiments, Int. J. Computing Science and Mathematics, Vol. 3, Nos. /2, pp.76 0. Biographical notes: Sapto W. Indratno is currently a PhD student at Kansas State University under the supervision of Prof. Alexander G. Ramm. He is a co-author of four accepted papers. His fields of interest are numerical analysis, optimisation, stochastic processes, inverse and ill-posed problems, scattering theory, differential equations and applied mathematics. Alexander G. Ramm is an author of more than 590 papers, 2 patents, 2 monographs, an Editor of 3 books. He is an Associate Editor of several journals. He gave more than 40 addresses at various conferences, visited many Universities in Europe, Asia, Australia and USA. He won Khwarizmi International Award in Mathematics, was a London Mathematical Society Speaker, distinguished HKSTAM Speaker, CNRS Research Professor, Fulbright Professor in Israel, distinguished Foreign Professor in Mexico and Egypt. His research interests include many areas of analysis, numerical analysis and mathematical physics. Copyright 200 Inderscience Enterprises Ltd.
Creating materials with a desired refraction coefficient 77 Introduction A theory of wave scattering by many small bodies embedded in a bounded domain D filled with a material with known refraction coefficient was developed in Ramm (2007a, 2007b, 2008a, 2008b). It was assumed in Ramm (2007a) that d = O(a /3 ), M = O(a ), u M ν = ζ mu M on S m, m M, where a is the characteristic size of the small particles, d is the distance between two neighbouring particles, M is the total number of the embedded particles, S m is the boundary of mth particle D m, ν is the unit normal to S m directed out of D m, and ζ m = h m /a, where h m,imh m 0, m M, are constants independent of a. Let us assume that D is filled with a material with known refraction coefficient n 2 0(x), Imn 2 0(x) 0, n 2 0(x) = in D := R 2 \D, n 2 0(x) is Riemann integrable. The governing equation is L 0 u 0 := [ + k 2 n 2 0]u 0 =0, in R 3, () u 0 = exp(ikx α)+v 0 (2) where k is the wave number, α S 2 is the direction of the incident plane wave, S 2 is the unit sphere in R 3, and v 0 is the scattered field satisfying the radiation condition ( ) lim r v0 r r ikv 0 =0 r := x, (3) and the limit is attained uniformly with respect to the directions x 0 := x/r. Let n 2 (x) be a desired refraction coefficient in D. We assume that n 2 (x) is Riemann integrable, Im n 2 (x) 0, n 2 (x) = in D. Our objective is to create materials with the refraction coefficient n 2 (x) in D by embedding into D many small non-intersecting balls B m, m M, of radius a, centred at some points x m D. If one embeds M small particles B m in the bounded domain D, then the scattering problem consists of finding the solution to the following problem: L 0 u M := [ + k 2 n 2 0]u M (x) =0 x R 3 \ M m= B m, (4) u M ν = ζ mu M on S m := B m, m M, (5) u M = u 0 + v M, (6) where u 0 solves problem () (3), and v M satisfies the radiation condition. The following theorem is proved in Ramm (2008b) under the assumptions ζ m = h(x m )/a κ, d = O(a (2 κ)/3 ), M = O ( /a 2 κ), κ (0, ), (7) where h(x) is a continuous function in D, Imh 0, κ (0, ) is a parameter, and one can choose h(x) and κ as one wishes. Below it is always assumed that conditions (7) hold. Theorem. (Ramm, 2008b): Assume that conditions (7) are satisfied, and D m is a ball of radius a centred at a point x m. Let h(x) in (7) be an arbitrary continuous
78 S.W. Indratno and A.G. Ramm function in D, Im h(x) 0, p D be any subdomain of D, and N ( p ) be the number of particles in p, N ( p )= a 2 κ N(x)dx[ + o()], a 0, (8) p where N(x) 0 is a given continuous function in D. Then where lim a 0 u e(x) u(x) C(D) =0, (9) u e (x) :=u 0 (x) 4π G(x, x j )h(x j )u e (x j )a 2 κ [ + o()], a 0, (0) j= where min j x x j a, and G(x, y) is the Green function of the operator L 0 in R 3, L 0 G = δ(x y) in R 3, G(x, y) satisfies the radiation condition. The numbers u e (x j ), j M, are found from the following linear algebraic system: u e (x m )=u 0 (x m ) 4π j=,j m G(x m,x j )h(x j )u e (x j )a 2 κ, m =, 2,...,M, () which is uniquely solvable for all sufficiently large M. The function solves the following limiting equation: u(x) = lim a 0 u e (x) u(x) =u 0 (x) G(x, y)p(y)u(y)dy, (2) D where u 0 satisfies equations () (3), p(x) :=4πN(x)h(x), (3) n 2 (x) := k 2 q(x), (4) q(x) :=q 0 (x)+p(x), q 0 (x) :=k 2 k 2 n 2 0(x), (5) and n 2 0(x) is the coefficient in (). In Ramm (2008b) a recipe for creating material with a desired refraction coefficient is formulated. The goal of this paper is to implement numerically the recipe for creating materials with a desired refraction coefficient in a given domain D by embedding in D many small particles with prescribed physical properties. These particles are balls of radius a, centred at the points x m D, and their physical properties are described
Creating materials with a desired refraction coefficient 79 by the boundary impedances ζ m = h(x m )/a κ. A formula for embedding the small balls in D is given in Section 2. We give an estimate for the error in the refraction coefficient of the medium obtained by embedding finitely many (M < ) small particles, compared with the refraction coefficient of the limiting medium (M ). This is important because in practice one cannot go to the limit M, i.e., a 0, and one has to know the maximal a (i.e., minimal M) such that the corresponding to this a refraction coefficient differs from the desired refraction coefficient by not more than a given small quantity. In Section 3 we give an algorithm for finding the minimal number M of the embedded small balls which generate a material whose refraction coefficient differs from a desired one by not more than a desired small quantity. In Section 4 some numerical experiments are described. 2 Embedding small balls into a cube In this section we give a formula for distributing small balls in a cube in such a way that the second and third restrictions (7) are satisfied. Without loss of generality let us assume that the domain D is the unit cube: Let D := [0, ] [0, ] [0, ]. (6) D = n3 q= q, n N, i j = for i j, (7) where N is the set of positive integers, X is the closure of the set X, and q, q =, 2,...,n 3, are cubes of side length /n. Definition: We say that D has property Q n if each small cube q contains a ball of radius a n, 0 <a n < /n, centred at the centroid of the cube q, and the following condition holds d n := min q j dist(b a n (x q ),B an (x j )) = γa (2 κ)/3 n, (8) where x q is the centroid of the cube q, q =, 2,...,n 3, B a (x) :={y R 3 y x <a}, (9) and γ>0 is a constant which is not too small (see formula (25)). From (7) and (8) one gets d n = l n 2a n = γa (2 κ)/3 n, l n := /n. (20) Since l n =/n, the quantity a n solves the equation γa (2 κ)/3 +2a /n =0. (2)
80 S.W. Indratno and A.G. Ramm The function f(a) :=γa (2 κ)/3 +2a is strictly growing on [0, ). Thus, the solution to equation (2) exists, is unique, and can be calculated numerically, for example, by the bisection method. However, it is easy to derive an analytic asymptotic formula for a n as n. This formula is simple and can be used for all n we are interested in, since these n are sufficiently large. Let us derive this asymptotic formula. Since /3 < (2 κ)/3 < 2/3, one has a a (2 κ)/3 if a. Therefore, a n =[/(nγ)] 3/(2 κ) [ + o()], as n, (22) is the desired asymptotic formula for the solution to (2). Note that lim n a n =0 and lim n na n =0, (23) as follows from (22) because 3/(2 κ) >. Note that a n /d n, if n, because (20) yields a n /d n = a n /(γa n (2 κ)/3 )=a n (+κ)/3 /γ. (24) Let us choose n sufficiently large so that γ (l n /2) (+κ)/3, κ (0, ), l n =/n, (25) and make the following assumption: Assumption A): The domain D has property Q. This assumption means that the following conditions are satisfied: D = P q=ω 3 q, Ω j Ω i = for j i, where each cube Ω q has side length /P, and m 3 small balls are embedded in Ω q so that the following two conditions hold: Each cube Ω q is a union of small sub-cubes j,q : Ω q = m3 j= j,q, i,q j,q = for i j, (26) where j,q, j =, 2,...,m 3, q =, 2,...,P 3, are cubes of side length /( ), 2 In each sub-cube j,q there is a ball of radius a, 0 <a < /( ), centred at the centroid of the sub-cube j,q, and the radius a of the embedded balls satisfies the relation /( ) 2a = γa (2 κ)/3, γ [/(2 )] (κ+)/3, (27) where γ>0 is a fixed constant. Lemma 2.2: If Assumption A) holds, then lim m Ma2 κ =/γ3, (28)
Creating materials with a desired refraction coefficient 8 where M =( ) 3 is the total number of small balls embedded in the unit cube D, γ>0 is fixed, and a =[/(γ)] 3/(2 κ) [ + o()] as m. (29) Proof: obtains Relation (29) is an immediate consequence of (27). Using this relation, one lim m Ma2 κ = lim ( m )3 a 2 κ = lim m ( )3 [/(γ)] 3 [ + o()] = lim m (/γ3 )[ + o()] = /γ 3. (30) Lemma 2.2 is proved. 3 A recipe for creating materials with a desired refraction coefficient In this section the recipe given in Ramm (2008b) is used for creating materials with a desired refraction coefficient by embedding into D small balls so that Assumption A) holds. Step : Given the refraction coefficient n 2 0(x) of the original material in D and the desired refraction coefficient n 2 (x) in D, one calculates where Choose p(x) =k 2 [n 2 0(x) n 2 (x)] = p (x)+ip 2 (x), (3) p := Re p(x) and p 2 (x) :=Im p(x). N(x) =/γ 3, (32) where γ is the constant γ in Assumption A). Step 2: Choose h(x) =h (x)+ih 2 (x), (33) where the functions h (x) and h 2 (x) are defined by the formulas: h i (x) =γ 3 p i (x)/(4π), i =, 2, (34) and the functions p i (x) are defined in Step. Step 3: Partition D into P small cubes Ω p with side length /P, and embed m 3 small balls in each cube Ω p so that Assumption A) holds.
82 S.W. Indratno and A.G. Ramm Then N (Ω p )= a 2 κ N(x)dx = Ω p /(γ 3 a 2 κ )=/[ γpa (2 κ)/3 ] 3, (35) Ω p where N ( p ) is the number of the balls embedded in the cube Ω p, κ (0, ), a is the radius of the embedded balls, and Ω p is the volume of the cube Ω p. Since a =[/(mγp )] 2 κ [ + o()] 3 as m, it follows that N (Ω p ) lim m m 3 =. (36) By Assumption A) the balls are situated at the distances γa 2 κ +κ 3 3,γ>[/( )]. Therefore, all the assumptions, made in Theorem., hold. Thus, max x D u e(x) u(x) 0 as M, (37) where u e (x) is defined in (0) and u(x) solves (2). Let us assume for simplicity that n 2 0(x) =, so that Then G(x, y) =g(x, y) := exp(ik x y )/(4π x y ). u e (x) =u 0 (x) 4π j= g(x, x j )h(x j )u e (x j )a 2 κ, x x j >a, M := ( ) 3, (38) and the limiting function u(x) = lim u e(x) M solves the integral equation where u(x)+tu(x) =u 0 (x), (39) Tu(x) := D g(x, y)p(y)u(y)dy, (40) g(x, y) := exp(ik x y )/(4π x y ), (4)
Creating materials with a desired refraction coefficient 83 M := ( ) 3, h(x) =h (x)+ih 2 (x), h i (x),i=, 2, are defined in (34), p(x) =k 2 [n 2 0(x) n 2 (x)]=4π[h (x)+ih 2 (x)]n(x) =4π[h (x)+ih 2 (x)]/γ 3, (42) and the function u 0 (x) in (38) solves the scattering problem () (3). It follows from (37) that max u(x l) u e (x l ) 0 as M, (43) where u e (x) and u(x) are defined in (38) and (39), respectively. Here and throughout this paper D := M j=, M := ( ) 3, (j =, 2,...,M) are cubes with the side length /( ), D l = for j l, and x j denotes the centre of the cube. In the following paragraphs we derive the rate of convergence in (43). We denote u := sup u(x) and v C M := max v j, v := x D j M v v 2.. v M CM, where C is the set of complex numbers. Consider the following piecewise-constant function as an approximate solution to equation (39): u (M) (x) := χ j (x)u j,m, (44) j= where u j,m (j =, 2,...,M) are constants and χ j (x) := {, x Dj, 0, otherwise. (45) Substituting u (M) (x) for u(x) in (39) and evaluating at points x l, one gets the following Linear Algebraic System (LAS) which is used to find the unknown u j,m : ũ (M) + T d,m ũ (M) = u 0,M, (46) where T d,m is a discrete version of T M, defined below, ũ (M) := u,m u 2,M. u M,M CM, u 0,M := u 0 (x ) u 0 (x 2 ). u 0 (x M ) CM, (47)
84 S.W. Indratno and A.G. Ramm u 0 (x) solves problem () (3), and v v 2 (T d,m v) l := g(x l,y)p(y)dyv j, l =, 2,...,M, v :=. j=. CM. v M (48) Multiplying the lth equation in (46) by χ l (x), l =, 2,...,M,and summing up over l from to M, one gets u (M) (x) =u 0,(M) (x) T M u (M) (x), (49) where u (M) (x) is defined in (44), u 0,(M) (x) := χ j (x)u 0 (x j ), (50) j= and T M u(x) := j= χ j (x) g(x j,y)p(y)u(y)dy, M =( ) 3. (5) D It was proved in Ramm (2009) that equation (49) is equivalent to (46) in the sense that {u j,m } M j= solves (46) if and only if function (44) solves (49). Lemma 3.: For all sufficiently large M equation (46) has a unique solution, and there exists a constant c > 0 such that (I d,m + T d,m ) c, M >M 0, (52) where M 0 > 0 is a sufficiently large number. Proof: Consider the operators T and T M as operators in the space L (D) with the sup-norm. Let (T T M )u := sup x D (T T M )u(x). Then (T T M )u max i This implies sup x D i j= u p max i (g(x, y) g(x i,y))p(y)u(y) dy sup x x j j= g(x, y) g(x i,y) dy O(/( )). (53) T T M = O(/( )) = O(/M /3 ) 0 as M. (54)
Creating materials with a desired refraction coefficient 85 The operator I + T is known to be boundedly invertible if k>0, so (I + T ) <c, where c>0 is a constant. Therefore, I + T M =(I + T )[I +(I + T ) (T M T )]. (55) By (54) there exists M 0 such that (I + T ) (T M T ) c T M T <δ<, M >M 0, (56) where δ>0 is a constant. From (56) we obtain, M >M 0, [I +(I + T ) (T M T )] (I + T ) /( δ). (57) (T M T ) Therefore, it follows from (55) that I + T M is boundedly invertible and (I + T M ) =[I +(I + T ) (T M T )] (I + T ), (58) so there exists a constant c 0 > 0 such that (I + T M ) c 0, M >M 0. (59) Since (49) is equivalent to (46), it follows that the homogeneous equation v + T d,m v =0 has only trivial solution for M>M 0, i.e., N (I d,m + T d,m )={0} for M>M 0, where N (A) is the nullspace of the operator A, I d,m is the identity operator in C M and T d,m is defined in (48). Therefore, by the Fredholm alternative equation (46) is solvable for M>M 0. This together with (59) yield the existence of a constant c > 0 such that (I d,m + T d,m ) c for M>M 0. Lemma 3. is proved. Define T d : C 2 (D) C M as follows (T d w) l := (Tw)(x l )= g(x l,y)p(y)w(y)dy, l =, 2,...,M, (60) j= and u M := u(x ) u(x 2 ). u(x M ) CM, (6)
86 S.W. Indratno and A.G. Ramm where T is defined in (40) and u(x) solves (39). Then it follows from (39), (60) and (6) that the following equation holds u M + T d u = u 0,M, (62) where u 0,M is defined in (47). Using equations (46) and (62), we derive the following equality: (I d,m + T d,m )(ũ (M) u M )=(I d,m + T d,m )ũ (M) (I d,m + T d,m )u M = u 0,M (I d,m u M + T d,m u M ) where ũ (M) and u 0,M are defined in (47), = u 0,M u M T d,m u M = T d u T d,m u M, (63) v I d,m v = v, v 2 v =.. CM. (64) v M Using relation (63), one gets ũ (M) u M =(I d,m + T d,m ) (T d u T d,m u M ). (65) Lemma 3.2: Let Assumption A) hold (see Section 2 below (25)). Suppose u(x) solves (39) and p(x) C. Then ũ (M) u M C M = O(/M 2/3 ) as M, (66) where u M and ũ (M) are defined in (6) and (47), respectively. Proof: By (65) and estimate (52) we obtain ũ (M) u M C M (I d,m + T d,m ) T d u T d,m u M C M c T d u T d,m u M C M, (67) where T d,m and T d are defined in (48) and (60), respectively. Let us derive an estimate for T d u T d,m u M C M. We have where T d u T d,m u M C M = max J := max g(x l,y)p(y)(u(y) u(x j ))dy j= J + J 2, (68) g(x l,y)p(y)(u(y) u(x l ))dy D l
Creating materials with a desired refraction coefficient 87 and J 2 := max g(x l,y)p(y)(u(y) u(x j ))dy. Since u(x),p(x) C(D), we get 3/(2 ) J 2 p u max dy c(p, u) rdr D l 4π x l y 0 3c(p, u) = 2(2 ) 2, (69) where c(p, u) :=2 p u. Using the identity u(y) u(x j )=u(y) u(x j ) Du(x j )(y x j )+Du(x j )(y x j ) and applying the triangle inequality, we get the estimate J 2 I + I 2, (70) where I := max g(x l,y)p(y)(u(y) u(x j ) Du(x j )(y x j ))dy (7) and I 2 := max g(x l,y)p(y)du(x j )(y x j )dy. (72) Let us derive an estimate for I. Using the Taylor expansion, one gets I p max g(x l,y) sup D 2 u(sy +( s)x j ) y x j 2 dy. 0 s (73) Since p C (D), u C 2 (D), D g(x, y) dy < and y x j 3 2 for y, it follows from (73) that I = O(/( ) 2 )=O(/M 2/3 ), as M. (74) Estimate of I 2 is obtained as follows. Since x j is the centre of the cube, one has (y x j )dy =0,
88 S.W. Indratno and A.G. Ramm so it follows that g(x l,x j )p(x j )Du(x j )(y x j )dy =0, j =, 2,...,M. (75) Therefore, using (75), I 2 can be rewritten as follows: I 2 = max (g(x l,y)p(y) g(x l,x j )p(x j ))Du(x j )(y x j )dy. (76) Let g l (y) :=g(x l,y), (g l p)(y) =g l (y)p(y), l =, 2,...,M. (77) Then the formulas (g l p)(y) (g l p)(x j ) = and 0 sup 0 t D y (g l p)(y) =p(y)d y g l (y)+g l (y)dp(y), yield the following estimate: 3 Du I 2 max 2 p 3 Du + max 2 c(k) Du ( ) 2 max p + c Du ( ) 2 Dp max Dp t (g lp)(ty +( t)x j )dt D y (g l p)(ty +( t)x j ) y x j (78) sup D 0 t D ( D D y g l (ty +( t)x j ) y x j dy sup D 0 t g l (ty +( t)x j ) y x j dy 4π x l y + 4π x l y 2 ) dy 4π x l y dy = O(/( )2 ) = O(/M 2/3 ), (79) where c >0 is a constant and c(k) is a constant depending on the wave number k. Here the estimates y x j 3/(2 ) for y, D 4π x l dy < for β<3, y β and x l y 2 x l s for y, j l, s = tx j +( t)y, t [0, ], were used. The relation (66) follows from (67), (68), (69), (70), (74) and (79). Lemma 3.2 is proved. Lemma 3.3: Let the Assumption A) hold. Consider the linear algebraic system for the unknowns u e (x l ): u e (x l )=u 0 (x l ) 4π g(x l,x j )h(x j )a 2 κ u e(x j ), l =, 2,...,M, (80)
Creating materials with a desired refraction coefficient 89 where p(x) =4πh(x)N(x) C 2 (D), N(x) =/γ 3, M =( ) 3, and g(x, y) is defined in (40). Then ũ (M) u e,m C M where ũ (M) is defined in (47), u e,m := u e (x ) u e (x 2 ). u e (x M ) ( ) log M = O M + 2/3 γ3 Ma 2 κ and u e (x j ), j =, 2,...,M, solve system (80). as M, (8) CM, (82) Proof: Let us rewrite (80) as u e (x l )=u 0 (x l ) a 2 κ g(x l,x j )p(x j ) N(x j ) u e(x j ) = u 0 (x l ) (T e u e,m ) l, l =, 2,...,M, (83) where p(x) =4πh(x)N(x), =/( ) 3 is the volume of the cube, N(x) = /γ 3, and (T e v) l := ( g(x l,x j )p(x j ) γa (2 κ)/3 ) 3 Dj v j, v = v v 2.. v M CM, l =, 2,...,M. Let us derive an estimate for ũ (M) u e,m C M. Using equations (46) and (83), we obtain (84) (I d,m + T d,m )(ũ (M) u e,m )=(I d,m + T d,m )ũ (M) (I d,m + T d,m )u e,m = u 0,M u e,m T d,m u e,m = T e u e,m T d,m u e,m, (85) where ũ (M) and u 0,M are defined in (47), u e,m,t d,m and T e are defined in (82), (48) and (84), respectively. Relation (85) implies ũ (M) u e,m C M (I d,m + T d,m ) T e u e,m T d,m u e,m C M c T e u e,m T d,m u e,m C M, (86) where estimate (52) was used.
90 S.W. Indratno and A.G. Ramm Let us derive an estimate for T e u e,m T d,m u e,m C M. Using definitions (48) and (84), one gets (T e T d,m )u e,m C M = max g l (x j )p a (x j )u e (x j ) g l (y)p(y)dy u e (x j ) j= = max (g l (x j )p a (x j ) g l (y)p(y)) dy u e (x j ) g l (y)p(y)dy u e (x l ). D l Applying the triangle inequality to the above equation, we obtain (T e T d,m )u e,m C M max g l (y)p(y)u e(x l )dy D l + max g l (y)(p(y) p(x j))u e(x j)dy + max g l (y)(p(x j) p a (x j))u e(x j)dy + max p a (x j) (g l (y) g l (x j))u e(x j)dy max (J0(l)+J(l)+J2(l)+J3(l)), (87) ( where g l (y) :=g(x l,y), p a (x) :=p(x) γa (2 κ)/3 J 0 (l) := g(x l,y)p(y)u e (x l ) dy, (88) D l J (l) := g(x l,y)(p(y) p(x j ))u e (x j )dy, (89) J 2 (l) := g(x l,y)(p(x j ) p a (x j ))u e (x j ) dy, (90) ) 3, and J 3 (l) := p a (x j ) (g(x l,y) g(x l,x j ))u e (x j )dy. (9)
Creating materials with a desired refraction coefficient 9 Using the estimate x l y 3/(2 ) for y D l, one gets the following estimate of J 0 (l): J 0 (l) p u e C M g(x l,y) dy D ( l ) B 3/(2 ) (x l) 4π x l y dy p u e C M ( ) 3/(2 ) = 0 rdr p u e C M = 3 p u e C M 2(2 ) 2 = O(/M 2/3 ), (92) where B a (x) is defined in (9). Let us estimate J (l). Using the identity p(y) p(x j )=p(y) p(x j ) Dp(x j ) (y x j )+Dp(x j ) (y x j ) (93) in (89) and applying the triangle inequality, one obtains where J (l) J, + J,2, (94) J, := g(x l,y)[p(y) p(x j ) Dp(x j ) (y x j )]u e (x j )dy, (95) and J,2 := g(x l,y)dp(x j ) (y x j )u e (x j )dy. (96) To get an estimate for J,, we apply the Taylor expansion of p(x) and get J, u e C M 2 3 D2 p u e C M 8( ) 2 g(x l,y) sup D 2 p(ty +( t)x j ) y x j 2 dy 0 t g(x l,y) dy = O(/( ) 2 )=O(/M 2/3 ) as M, (97) where B a (x) is defined in (9), and the estimate y x j 3/(2 ), y, was used. Using the identity g(x l,x j )Dp(x j )(y x j )u e (x j )dy =0, j =, 2,...,M, (98)
92 S.W. Indratno and A.G. Ramm one gets J,2 = (g(x l,y) g(x l,x j ))Dp(x j ) (y x j )u e (x j )dy. Using the assumption p C (D), one derives the following estimate of J,2 : J,2 u e C M 3 Dp u e C M 2 3 Dp u e C M 2 c(k) Dp u e C M ( ) 2 + c(k) Dp u e C M ( ) 2 c(k) Dp u e C M ( ) 2 (g(x l,y) g(x l,x j ))Dp(x j ) (y x j ) dy g(x l,y) g(x l,x j ) dy B 3 (x l) ( sup Dg(x l,ty+( t)x j ) y x j dy 0 t sup 0 t sup 0 t 4π x l ty ( t)x j 2 dy 4π x l ty ( t)x j dy 4π x l y + 4π x l y 2 ) dy = O(/( ) 2 )=O(/M 2/3 ) as M, (99) where c(k) is a constant depending on the wave number k and B a (x) is defined in (9). Here the estimates y x j 3/(2 ) for y, D 4π x l dy < y β for β<3, and x l y 2 x l s for y, j l, s = tx j +( t)y, t [0, ], were used. Applying estimates (97) and (99) to (94), we get J (l) =O(/M 2/3 ), as M. (00) Let us derive an estimate for J 2 (l). From (90) and the definition p a (x) = p(x)(γa (2 κ)/3 ) 3 we get J 2 (l) u e C M u e C M p (γa (2 κ)/3 ) 3 g(x l,y) p(x j ) (γa (2 κ)/3 ) 3 dy u e C M p (γa (2 κ)/3 ) 3 B 3 (x l) ( ) 3 = rdr u e C M p (γa (2 κ)/3 ) 3 0 g(x l,y) dy 4π x l y dy = 3 2 u e C M p γ 3 Ma (2 κ) = O( γ 3 Ma (2 κ) ), (0)
Creating materials with a desired refraction coefficient 93 where B a (x) is defined in (9). Estimate of J 3 (l) is derived as follows. Using the identity Dg(x l,x j )(y x j )u e (x j )dy =0, j =, 2,...M, (02) one gets the following estimate: J 3(l) = p a (x j) D ue(xj) [ g(xl,y) g(x l,x j) Dg(x l,x j) (y x ] j) dy j p ue C M γ3 Ma 2 κ 2 3cM 8( ) 2 c(k)cm ( ) 2 + c(k)cm ( ) 2 + c(k)cm ( ) 2 c(k)cm ( ) 2 c(k)cm ( ) 2 sup D 2 g(x l,ty+( t)x j) y x j 2 dy 0 t sup D 2 g(x l,ty+( t)x j) dy 0 t sup 0 t sup 0 t sup 0 t /(2 )< x l y < 3 3 /(2 ) ( r ++ r 4π x l ty ( t)x j dy [ 2c(k)cM + log( 3) log (/(2 )) ( ) 2 [ = 2c(k)cM + log( 3) log M 2/3 4π x l ty ( t)x j 2 dy 4π x l ty ( t)x dy j 3 ( 4π x l y + 4π x l y + 2 4π x l y 3 ) dr ] ( )] /(2M /3 ) = O ) dy ( ) log M, (03) M 2/3 where c M := p u e C M γ 3 Ma 2 κ, c(k) is a constant depending on the wave number k. Here the estimates y x j 3/(2 ) for y, and x l y 2 x l s for y, j l, s = tx j +( t)y, t [0, ], were used. Using estimates (97), (99), (0) and (03), one gets relation (8). Lemma 3.3 is proved. The following theorem is a consequence of Lemmas 3.2 and 3.3. Theorem 3.4: u M u e,m C M Suppose that the assumptions of Lemmas 3.2 and 3.3 hold. Then ( ) log M = O M + 2/3 γ3 Ma 2 κ where u M and u e,m are defined in (6) and (82), respectively. as M, (04)
94 S.W. Indratno and A.G. Ramm To get the rate of convergence (04) we have assumed that p(x) C 2 (D). If p(x) C(D) then the rate given in Theorem 3.4 is no longer valid. The rate of u M u e,m C M when p(x) C(D) is given in the following theorem. Theorem 3.5: Let Assumption A) hold and p C(D) satisfies p(x) p(y) ω p ( x y ), x, y D, (05) where ω p is the modulus of continuity of the function p(x).then u M u e,m C M ( ) log M = O M + /3 γ3 Ma 2 κ + ω p(/m /3 ), (06) where u M and u e,m are defined in (6) and (82), respectively. Proof: We have u M u e,m C M u M ũ M C M + ũ M u e,m C M. (07) Let us estimate u M ũ M C M. From (67) we have u M ũ M C M c T d u T d,m u M C M, (08) where c is defined in (52). Using the similar steps given in (68) we get the following estimate for T d u T d,m u M C M : T d u T d,m u M C M 3 p u 2( ) 2 + I + I 2, (09) where I and I 2 are defined in (7) and (72), respectively. It is shown in (74) that I = O(/M 2/3 ). Since p(x) C(D), the steps (76) (79) are no longer valid. The estimate of I 2 can be derived as follows. Since p C(D) and u C (D), it follows from (72) that I 2 p Du 3 p Du 2 max j=, l max g(x l,y) x l y dy B 3 (x l) 4π x l y dy = O(/( )) = O(/M /3 ). (0) This together with (09) and I = O(/M 2/3 ) yield u M ũ M C M = O(/M /3 ). () Let us estimate ũ M u e,m C M. From (86) we have ũ M u e,m C M c T e u e,m T d,m u e,m C M, (2)
Creating materials with a desired refraction coefficient 95 where c is defined in (52). By definitions (48) and (84), and use the triangle inequality, we get T e u e,m T d,m u e,m C M J + J 2, (3) where and p a J := max J 2 := max g(x l,y)p(y)dy u e (x l )dy (4) D l (g(x l,x j )p a (x j ) g(x l,y)p(y)) u e (x j )dy, (5) := p(x)(γa (2 κ)/3 ) 3. It is proved in (92) that J = O(/M 2/3 ). The estimate of J 2 is derived as follows. By the triangle inequality we obtain J 2 J 2, + J 2,2, (6) where J 2, := max (g(x l,x j ) g(x l,y))p a (x j )u e (x j )dy (7) and J 2,2 := max u e C M g(x l,y) p a (x j ) p(y) dy. (8) It is proved in (03) that ( ) log M J 2, = O. (9) M 2/3 To estimate J 2,2, we apply the triangle inequality and get J 2,2 u e C M max + u e C M max γ 3 Ma 2 κ p max u e C M g(x l,y) p a (x j ) p(x j ) dy g(x l,y) p(x j ) p(y) dy g(x l,y) dy + max sup ω p ( x j y ) u e C M max j y ( ) g(x l,y) dy = O γ 3 Ma 2 κ + ω p(/m /3 ), (20)
96 S.W. Indratno and A.G. Ramm where ω p is the modulus of continuity of p(x). This together with J = O(/M 2/3 ) and (9) yield ( ) log M ũ M u e,m C M = O M + 2/3 γ3 Ma 2 κ + ω p(/m /3 ). (2) Relation (06) follows from (07), () and (2). Theorem 3.5 is proved. It has been mentioned in the introduction that our main goal is to develop an algorithm for obtaining the minimal number of the embedded small balls which generate a material whose refraction coefficient differs from the desired one by not more than a desired small quantity. Let us derive an approximation of the desired refraction coefficient n 2 (x) generated by the embedded small balls. We rewrite the sum in (38) as g(x, x j )p a (x j )u(x j ), (22) j= where x x j >a, j =, 2,...,M, =/( ) 3 is the volume of the cube, and p a (x) :=4πh(x)N(x)(γa (2 κ)/3 ) 3, N(x) =/γ 3. (23) Since (γa (2 κ)/3 ) 3 as m, it follows that (22) is a Riemannian sum for the integral g(x, y)p(y)u(y)dy, where p(x) =4πh(x)N(x). This motivates us D to define the following approximation of the refraction coefficient n 2 (x): n 2 a (x) :=n 2 0(x) k 2 p a (x), (24) where p a is defined in (23). We are interested in finding the largest radius a (or the smallest M =( ) 3 ) such that e(m) := max n2 (x l ) n 2 a (x l ) δ/k 2 := δ(k), (25) where k is the wave number, δ>0 is a given small quantity and n 2 a (x) is defined in (24). An estimate of the error e(m), defined in (25), is given in the following theorem. Theorem 3.6: Suppose Assumption A) holds and N(x) =/γ 3. Then max l ( ) n2 (x l ) n 2 3 a (x l ) k 2 (2 κ)/3 p (γa ) 3, (26) where x l is the centre of the lth small ball, p(x) is defined in (4), n 2 (x) =n 2 0(x) k 2 p(x), and n 2 a is defined in (24). Consequently, lim max l ( ) n2 (x l ) n 2 3 a (x l ) =0. (27) m
Creating materials with a desired refraction coefficient 97 Proof: Let I l := n 2 (x l ) n 2 a (x l ). Then I l = k 2 p(x l ) p(x l )[γa (2 κ)/3 ] 3 k 2 p(x l ) [γa (2 κ)/3 ] 3 k 2 p [γa (2 κ)/3 ] 3. (28) This together with relation (22) yield (27). Theorem 3.6 is proved. Using Theorem 3.6 one can calculate the smallest M satisfying (25) by the following algorithm: Algorithm Initialisations: Let the wave number k, the constant δ>0, n 2 0(x) and n 2 (x) be given. Fix P>, m = m 0 :=, κ (0, ), γ>[/(2p )] (κ+)/3 and N(x) =/γ 3. Partition D into P 3 cubes Ω q, D = P q=ω 3 q, Ω j Ω i = for j i, where each cube Ω j has side length /P. Step : Solve the equation γa (2 κ)/3 + a /( )=0 (29) Step 2: Step 3: for a. Embed m 3 small balls of radius a in each cube Ω q so that Assumption A) holds. Compute p(x l )=k 2 (n 2 0(x l ) n 2 (x l )) and p a (x l )=p(x l )[γa (2 κ)/3 ] 3, l =, 2,...,( ) 3, Step 4: where x l is the centre of the lth small ball and k is the wave number. If max l ( ) 3 p(x l ) p a (x l ) >δ, then set m = m +and go to Step. Otherwise the number M =( ) 3 is the smallest number of the balls embedded in D such that inequality (25) holds, and a is the radius of each embedded ball.
98 S.W. Indratno and A.G. Ramm 4 Numerical experiments In this section we give the results of the numerical experiments. Suppose the refraction coefficient of the original material in D is n 2 0(x) = and the desired refraction coefficients are: Example : n 2 (x) =5, Example 2: n 2 2(x) = 5 + exp( x x 0 2 /(2σ 2 ))/( 2πσ), where x 0 =(0.5, 0.5, 0.5) and σ = 3. Here M is the smallest number of the embedded small balls taken 2M /3 from Example. Example 3: n 2 3(x)=+0.5 sin(x ), where x is the first component of the vector x, Example 4: n 2 4(x)=+0.5sin(00x ), where x is the first component of the vector x. Example 5: n 2 5(x) =n 2 3(x)+iε, where n 2 3(x) is defined in Example 3, i = and ε is a small positive number. By the recipe we choose p(x) =k 2 (n 2 0(x) n 2 (x)) = k 2 ( n 2 (x)), k > 0. (30) Let us take P =, κ =0.99, γ =0 k[/(2p )] (+κ)/3, m 0 =, (3) where k is the wave number and m 0 is the initial number of small balls described in the algorithm. Here the parameters P =and m 0 =are chosen so that the approximation error in Lemma 3.2 is at most c(k)0 4, where c(k) is a constant depending on the wave number k. We apply the algorithm given in Section 3 to get the minimal total number of small balls embedded in the cube D such that inequality (25) holds for various values of δ, where the quantity δ was defined in the Algorithm (see the Initialisation and Step 4 of the Algorithm). The smallest number of the balls embedded in D increases as δ decreases. The radius a and the ratio a /d decrease as M increases, which agrees with the theory. The results are shown in Tables 6. In these tables we define d := min dist(b a (x i ),B a (x j )), (32) i,j M,i j where B a (x) is defined in (9), and E j := max n2 j(x l ) n 2 j,a (x l ) = max n2 j(x l ) n 2 0(x l ) γ 3 Ma 2 κ, (33) where n 2 j,a (x) :=n 2 0(x) k 2 p j,a (x), p j,a (x) :=p j (x)γ 3 Ma 2 κ, M is the smallest total number of small balls embedded in the domain D, a is the radius
Creating materials with a desired refraction coefficient 99 Table Example k = δ m M a a /d E 5.000 0 2.33 0 3 3.768 0 4 5.467 0 2 4.953 0 2 5.000 0 3 4 8.58 0 4 6.206 0 6.372 0 2 3.276 0 3 k =5 δ m M a a /d E 5.000 0 2 2.065 0 4 4.457 0 6 5.489 0 3.77 0 3 5.000 0 3 5.664 0 5 2.932 0 7 2.96 0 3.935 0 4 Table 2 Example 2 k = δ m M a a /d E 2 5.000 0 2 2.065 0 4 4.852 0 5 2.742 0 2.82 0 2 5.000 0 3 6 2.875 0 5.862 0 6 9.49 0 3 3.904 0 3 k =5 δ m M a a /d E 2 5.000 0 2 3 3.594 0 4.337 0 6 3.660 0 3 9.765 0 4 5.000 0 3 9 9.703 0 5 5.6 0 8.220 0 3.89 0 4 Table 3 Example 3 k = δ m M a a /d E 3 5.000 0 2.33 0 3 3.768 0 4 5.467 0 2 5.052 0 3.000 0 4 8 6.85 0 5 7.923 0 7 6.862 0 3 8.768 0 5 k =5 δ m M a a /d E 3 5.000 0 2.33 0 3 3.490 0 5.098 0 2 4.698 0 4.000 0 4 2 2.300 0 6 2.77 0 8 9.50 0 4 3.68 0 6 of the embedded small balls and x l is the centre of the lth small ball. In Example we choose a constant refraction coefficient n 2 (x). For k = the total number of small balls M increases by 8.385 0 4 when the error level δ is decreased by 4.5%, while for k =5the value of M increases by.558 0 5 as the error level δ decreases by 4.5%, as shown in Table. In Example 2 we add a Gaussian function to the constant refraction coefficient n 2 (x) considered in Example. Since n 2 0(x) n 2 (x) n 2 0(x) n 2 2(x), it follows from (33) that E E 2. Therefore, in this example one may need to embed more small balls to reach the same error level δ as in Example. The numerical results
00 S.W. Indratno and A.G. Ramm Table 4 Example 4 k = δ m M a a /d E 4 5.000 0 2.33 0 3 3.768 0 4 5.467 0 2 6.88 0 3.000 0 4 9 9.703 0 5 5.584 0 7 6.099 0 3 8.289 0 5 k =5 δ m M a a /d E 4 5.000 0 2.33 0 3 3.490 0 5.098 0 2 5.754 0 4.000 0 4 3 2.924 0 6.76 0 8 8.446 0 4 3.68 0 6 Table 5 Example 5 with Im n 2 5(x) =0.02 k = δ m M a a /d E 5 5.000 0 2.33 0 3 3.490 0 5.098 0 2 4.703 0 4.000 0 4 8 6.85 0 5 7.923 0 7 6.862 0 3 8.778 0 5 k =5 δ m M a a /d E 5 5.000 0 2.33 0 3 3.490 0 5.098 0 2 4.703 0 4.000 0 4 2 2.300 0 6 2.77 0 8 9.50 0 4 3.622 0 6 Table 6 Example 5 with Im n 2 5(x) =0.2 k = δ m M a a /d E 5 5.000 0 2.33 0 3 3.768 0 4 5.467 0 2 5.626 0 3.000 0 4 8 6.85 0 5 7.923 0 7 6.862 0 3 9.74 0 5 k =5 δ m M a a /d E 5 5.000 0 2.33 0 3 3.490 0 5.098 0 2 5.232 0 4.000 0 4 3 2.924 0 6.76 0 8 8.446 0 4 3.424 0 6 show that the values of M in Example 2 are higher than the values of M of Example, see Table 2. The refraction coefficients n 2 (x) considered in Examples 3 and 4 are periodic. In Example 3 for k = the total number of the embedded small particles M increases by 6.802 0 5 as the error level δ decreases by 5%. A significant increment of M is obtained for k =5. These results are shown in Table 3. In Example 4 the angular frequency of the sine function is 00 times the angular frequency of the sine function given in Example 3. In this case we get that for k = the value of M increases by 9.690 0 5 as the error level δ decreases by 5% which
Creating materials with a desired refraction coefficient 0 is higher than the increment given in Example 3. Similarly, for k =5the increment of M in this example is higher than the increment of M obtained in Example 3. In Example 5 we add a small positive imaginary part to the refraction coefficient n 2 3(x) defined in Example 3. We observe that if the value of the small imaginary ε is chosen from the interval (0, 0.2) then the values of M obtained in this example are equal to the values of M obtained in Example 3. For simplicity we show only the results of n 2 5(x) with Im n 2 5(x) =0.02 in Table 5. The value of M starts increasing when k =5 and the value of the small positive imaginary part ε is equal to 0.2 as shown in Table 6. References Ramm, A.G. (2007a) Many body wave scattering by small bodies and applications, J. Math. Phys., Vol. 48, No. 0, pp.035. Ramm, A.G. (2007b) Material with the desired refraction coefficients can be made by embedding small particles, Phys. Lett. A, Vol. 370, Nos. 5 6, pp.522 527. Ramm, A.G. (2008a) A recipe for making materials with negative refraction in acoustic, Phys. Lett. A, Vol. 372, No. 3, pp.239 232. Ramm, A.G. (2008b) Wave scattering by many small particles embedded in a medium, Phys. Lett. A, Vol. 372, No. 7, pp.3064 3070. Ramm, A.G. (2009) A collocation method for solving integral equations, Internat. Journ. of Comput. Sci. and Math., Vol. 2, No. 3, pp.222 228.