# Topological Derivative for Imaging of Thin Electromagnetic Inhomogeneity: Least Condition of Incident Directions.

1. IntroductionIn this paper, we consider topological derivative [1] based imaging technique for thin, curve-like penetrable electromagnetic inhomogeneity with small thickness. Originally, this has been considered for shape optimization problems [2-7] and was then successfully combined with the level-set method (see [8-13]) for various inverse scattering problems. Surprisingly, throughout some researches [14, 15], it has been confirmed that topological derivative is also one of noniterative imaging techniques and very effective algorithm. However, as we can see [15-21], the most work has considered full-aperture problems.

Throughout results of numerical simulations, it has been confirmed that topological derivatives can be applied in limited-aperture problems, and an analysis in limited-aperture problems has been performed in [22]. In this interesting research, a relationship between topological derivative imaging function and an infinite series of Bessel functions of first kind has been established and, correspondingly, a sufficient condition of the range of incident directions for application has been identified theoretically. However, a least condition of application still remains unknown. Motivated by this fact, we identify a least condition of the range of incident directions for a successful application in limited-aperture inverse scattering problem and confirm this condition is highly depending on the unknown shape of thin inhomogeneity.

The remainder of paper is organized as follows. In Section 2, we survey two-dimensional direct scattering problem and topological derivative based imaging technique. In Section 3, we investigate a least condition of the range of incident directions and discuss its properties. In Section 4, several results of numerical simulations with noisy data are presented in order to support our investigation. A brief conclusion is given in Section 5.

2. Introduction to Direct Scattering Problem and Topological Derivative

Let [OMEGA] [subset] [R.sup.2] be a homogeneous domain with smooth boundary [partial derivative][OMEGA] that contains a homogeneous thin inhomogeneity r with a small thickness 2h. That is,

[GAMMA] = {x + [eta]n (x) : x [member of] [sigma], -h [less than or equal to] [eta] [less than or equal to] h}, (1)

where n(x) is the unit normal to a at x and a denotes the a simple, smooth curve in [R.sup.2] which describes the supporting curve of [GAMMA]. In this contribution, we assume that the applied angular frequency is of the form [omega] = 2[pi]f. We assume that all materials are characterized by their dielectric permittivity and magnetic permeability at frequency of operation to; we define the piecewise constant permittivity [epsilon](x) and permeability [mu](x) as

[mathematical expression not reproducible], (2)

respectively. For this sake, we set [[epsilon].sub.0] = [[mu].sub.0] [equivalent to] 1 and denote k = [omega] [square root of [[epsilon].sub.0][[mu].sub.0]] = 2[pi]/[lambda] as the wavenumber, where [lambda] is a given wavelength and satisfies h << A.

Let [u.sup.(n)] (x; [omega]) be the time-harmonic total field that satisfies Helmholtz equation

[mathematical expression not reproducible] (3)

with boundary condition

[mathematical expression not reproducible] (4)

and with transmission conditions on the boundary of [GAMMA]. Here, [[theta].sub.0] = [cos ([[theta].sub.n]), sin ([[theta].sub.n])] denotes a two-dimensional vector on the connected, proper subset of unit circle [S.sup.1] such that

[[theta].sub.n] = [[theta].sub.1] + n - 1/N - 1 ([[theta].sub.N] - [[theta].sub.1]), 0 < [[theta].sub.N] - [[theta].sub.1] < 2[pi]. (5)

Similarly, let [mathematical expression not reproducible] be the background solution of (3) with boundary condition (4).

Now, we introduce the basic concept of topological derivative operated at a fixed single frequency. The problem considered herein is the minimization of the tracking type functional depending on the solution [u.sup.(n)](x;[omega]):

[mathematical expression not reproducible]. (6)

Assume that an electromagnetic inclusion [summation] of small diameter r is created at a certain position z [member of] [OMEGA]\[partial derivative][OMEGA], and let [OMEGA] | [summation] denote this domain. Since the topology of the entire domain has changed, we can consider the corresponding topological derivative [d.sub.T]E(z) based on E([OMEGA]) with respect to point z as

[mathematical expression not reproducible], (7)

where [phi](r;[omega]) [right arrow] 0 as r [right arrow] 0+. From (7), we can obtain an asymptotic expansion:

E ([OMEGA] | [summation];[omega]) = E ([OMEGA]; [omega]) + [phi] (r; [omega]) [d.sub.T]E (z;[omega])

+ o([phi] (r; [omega])). (8)

In [21], the following normalized topological derivative imaging function [E.sub.TD](z; [omega]) has been introduced:

[mathematical expression not reproducible]. (9)

Here, [d.sub.T][E.sub.[epsilon]](z;[omega]) and [d.sub.T][E.sub.[mu]](z;[omega]) satisfying (8) for purely dielectric permittivity contrast ([epsilon] [not equal to] [[epsilon].sub.0] and [mu] = [[mu].sub.0]) and magnetic permeability contrast ([epsilon] [not equal to] [[epsilon].sub.0] and [mu] = [[mu].sub.0]) cases, respectively, are explicitly expressed as (see [21])

[mathematical expression not reproducible], (10)

where [u.sup.(n).sub.A](x; [omega]) satisfies the adjoint problem

[mathematical expression not reproducible]. (11)

3. Least Condition of Incident Directions

In this section, we identify the least condition of incident directions for applying topological derivative. For this, we introduce the structure of [d.sub.T][E.sub.[epsilon](z;[omega]) and [d.sub.T][E.sub.[mu]](z;[omega]) as follows.

Lemma 1 (see [20,21]). Suppose that N and to are sufficiently large; then

[mathematical expression not reproducible], (12)

where t(x) and n(x) are unit vectors that are, respectively, tangent and normal to the supporting curve [sigma] at x, and

[mathematical expression not reproducible]. (13)

Based on Lemma 1, the structure of (9) in limited-aperture problem can be represented as follows. This result plays an important role in identifying least condition of incident directions. For a detailed proof, we refer to [22].

Theorem 2. Let [theta] = [[cos [theta], sin [theta]].sup.T] and x - z = r[[cos [phi], sin [phi]].sup.T]. If [omega] and N are sufficiently large, the structure of (9) becomes

[mathematical expression not reproducible], (14)

where

[mathematical expression not reproducible] (15)

with

[mathematical expression not reproducible] (16)

and the term [W.sub.2](z, [omega]>) does not contribute to the imaging performance.

In recent work [20], it has been confirmed that the application of multifrequencies guarantees better a imaging performance than the application of a single frequency. Therefore, we consider the following normalized multifrequency topological derivative: for several frequencies : f = 1,2, ..., F}, define

[mathematical expression not reproducible]. (17)

Based on the structure of ETD(z;[omega]) in Theorem 2, we can observe that the terms [J.sub.0]([[omega].sub.f][absolute value of (x - z)] and D([[omega].sub.f][absolute value of (x - z)],[[theta].sub.1],[[theta].sub.N]) contribute to and disturb the imaging performance, respectively, for f = 1,2, ..., F. Hence, eliminating the term D([[omega].sub.f] [absolute value of (x - z)], [[theta].sub.1],[[[theta].sub.N]) will guarantee a good result. This means that the least condition comes from

[mathematical expression not reproducible] (18)

for all z [member of] [OMEGA] and f = 1,2, ..., F. Note that since [J.sub.m] satisfies the asymptotic property

[J.sub.m] (x)_[approximately equal to] [square root of 2/x cos (x - m[pi]/2 - [pi]/4) (19)

for x >> [absolute value of ([m.sup.2] - 0.25)], good results can appear in the map of E(z; F) when [[omega].sub.f] [approximately equal to] + [infinity]. Unfortunately, this is an ideal condition. Furthermore, since z is arbitrary, we cannot control the value of the term [J.sub.2m] [absolute value of (x - z)]. So, we must find a condition of [[theta].sub.1] and [[theta].sub.N]:

sin {m([[theta].sub.N] - [[theta].sub.1])} cos {m([[theta].sub.N] + [[theta].sub.1] - 2[phi])} [equivalent to] 0 (20)

for all m [member of] N. A simple way is to select [[theta].sub.1] and [[theta].sub.N] such that

[[theta].sub.N] - [[theta].sub.1] = [pi]/2,

[[theta].sub.N] + [[theta].sub.1] - 2[phi] = [pi]/2, (21)

that is, for any [alpha] [member of] R, a selection [[theta].sub.1] = [phi] + [alpha] and [[theta].sub.N] = [phi] - [alpha] + ([pi]/2) will guarantee good results via topological derivative. Based on this, we can obtain the following theoretical result of the range of incident directions, which has been examined heuristically.

Theorem 3 (least condition of range). The least range of incident directions for successful application of topological derivative is highly depending on the shape of unknown thin inhomogeneity and the range of directions must be wider than [pi]/2.

4. Simulations Results and Discussions

In this section, some results of numerical simulations are exhibited to support identified condition mentioned in previous section. The homogeneous domain [OMEGA] is chosen as a unit circle centered at the origin, and two supporting curves [[sigma].sub.j] of the [[GAMMA].sub.j] are selected as

[mathematical expression not reproducible]. (22)

The thickness h of all [[GAMMA].sub.j] is set to 0.02, and parameters [[epsilon].sub.0], [[mu].sub.0] are chosen as 1. Let [[epsilon].sub.j] and [[mu].sub.j] for j = 1,2, 3 denote the permittivity and permeability of [[GAMMA].sub.j], respectively. The applied frequency is selected as [[omega].sub.f] = 2[pi]/[[lambda].sub.f], f = 1,2, ..., F(= 10) with [[lambda].sub.1] = 0.7, [[lambda].sub.10] = 0.4, and N = 16 different incident directions chosen. In order to show the robustness, a white Gaussian noise with 20 dB signal-to-noise ratio (SNR) was added to the unperturbed boundary data.

First, let us consider the imaging of straight line shaped thin inhomogeneity [[GAMMA].sub.1]. In this case, since [phi] [equivalent to] 0, when x, z [member of] [[GAMMA].sub.1], [[theta].sub.1] = [alpha] and [[theta].sub.N] = [alpha] + ([pi]/2) will be a good choice for any [alpha]. Corresponding results for [alpha] = 0, [alpha] = [pi]/6, [alpha] = [pi]/4, and [alpha] = 3[pi]/4 are exhibited in Figure 1. Based on these results, we can observe that, for any value of [alpha], the shape of [[GAMMA].sub.1] was retrieved satisfactorily via E(z; F) with the [pi]/2 range of incident directions. However, although one can recognize the existence of inhomogeneity, the shape of [[GAMMA].sub.1] cannot be reconstructed satisfactorily when [alpha] = 3[pi]/4.

Based on the results in Figure 1, we can conclude that one can identify the shape of existence of [[GAMMA].sub.1] for any choice of a. But if the values of [[theta].sub.1] and [[theta].sub.N] are satisfying

[mathematical expression not reproducible], (23)

the result via the map of E(z; F) is very poor. This is the worst choice of the selection. In contrast, if the values of [[theta].sub.1] and [[theta].sub.N] are satisfying

[mathematical expression not reproducible], (24)

an acceptable result should be obtained via the map of E(z; F) ; refer to Figure 2. With this observation, we can conclude that if [[theta].sub.1] and [[theta].sub.N] are satisfying

0 [less than or equal to] [[theta].sub.1] [less than or equal to] [[xi].sub.n] - [pi]/4, [[x].sub.n] + [pi]/4 [less than or equal to] [[theta].sub.N] [less than or equal to] 2[pi], (25)

a good result of [[GAMMA].sub.1] can be obtained; refer to Figure 3.

Now, let us consider the influence of range of incident directions when the shape of thin inhomogeneity is no more straight line. For this purpose, we choose thin inclusion [[GAMMA].sub.2] and compare maps of E(z; F) for various range of incident directions. Figure 4 shows maps of E(z; F) for

[[theta].sub.1] = [pi]/4 - [alpha], [[theta].sub.N] = [pi]/4 + [alpha], (26

where [alpha] = [pi]/12, [pi]/6, [pi]/4, and [pi]/2. Based on these result, we can observe that if the range of directions is narrow, we cannot recognize the existence of [[GAMMA].sub.2]; refer to Figures 4(a) and 4(b). Note that when the range of directions satisfies the sufficient condition in [22], the shape of [[GAMMA].sub.2] can be identified; refer to Figure 4(d). However, if one selects the optimal range, adopted for imaging of [[GAMMA].sub.1], the result is still poor (see Figure 4(c)).

In order to find the least condition, let us reconsider the imaging of [[GAMMA].sub.1]. In this case, the selection of (24) was a good choice. Following this observation, one of the possible choices of [alpha] is that, for n(x) = [[cos([[xi].sub.x]), sin([[xi].sub.x])].sup.T], x [member of] [[sigma].sub.2], select

[[theta].sub.1] = min {[[xi].sub.x] : x [member of] [[sigma].sub.2]} - [pi]/4, [[theta].sub.N] = max {[[xi].sub.x] : x [member of] [[sigma].sub.2]} + [pi]/4. (27)

Then, it is expected that identified shape of inhomogeneity will be close to the shape of [[GAMMA].sub.2]. Notice that, throughout the numerical computation,

[[theta].sub.N] - [[theta].sub.1] = max {[[xi].sub.x] : x [member of] [[sigma].sub.2]} - min {[[xi].sub.x] : x [member of] [[sigma].sub.2]} + [pi]/2 < [pi]. (28)

Thus, selection of (27) is the least condition of the range of incident directions. Figure 6 exhibits maps of E(z;F) for [[theta].sub.1] and [[theta].sub.N] in (27) and for [[theta].sub.1] = 0 and [[theta].sub.N] = 2[pi] (see Figure 5 for instance). Since these conditions satisfy least condition, the shape of [[GAMMA].sub.2] seems retrieved well, and this result supports Theorem 3.

For the final example, let us consider the imaging of two, nonoverlapped thin inhomogeneities [[GAMMA].sub.2] and [[GAMMA].sub.3], where the supporting curve [[sigma].sub.3] of [[GAMMA].sub.3] is

[[sigma].sub.3] = {[[s - 0.2, -0.5[s.sup.2] + 0.5].sup.T] : -0.5 [less than or equal to] s [less than or equal to] 0.5} (29)

and [[epsilon].sub.2] = [[epsilon].sub.3] = [[mu].sub.2] = [[mu].sub.2] = 5. Based on the results in Figure 7, we can conclude that it is hard to recognize the shape of [[GAMMA].sub.2] [union] [[GAMMA].sub.3] when the range [[theta].sub.N] - [[theta].sub.1] < [pi], but we can identify when

[[theta].sub.N] - [[theta].sub.1] [approximately equal to] [pi]. With this, we end up this section with the following remark.

Remark 4 (condition for imaging of multiple inhomogeneities). Due to the shape dependency of the range of directions, when the shapes of thin inhomogeneities are not straight line, the range of directions must be close to n, which is the sufficient condition of range of application. Related results of numerical simulations can be found in [22] also.

5. Conclusion

In this paper, we have considered the topological derivative in a limited-aperture inverse scattering problem for a noniterative imaging of thin inhomogeneity. Based on the relationship between topological derivative imaging function and infinite series of Bessel functions of integer order of the first kind, we discovered a least condition of the range of incident directions for successful application. We presented the results of some numerical simulations, which show that the discovered condition is valid for the imaging of a thin inclusion. Here, we have considered an imaging of thin penetrable inhomogeneity but the analysis could be carried out for a perfectly conducting crack. Furthermore, the extension to inverse elasticity problems will be an interesting subject. Finally, extension to the three-dimensional [23, 24] and real-world problem [25,26] will be a remarkable research topic.

https://doi.org/10.1155/2018/2096058

Conflicts of Interest

The author declares that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. NRF2017R1D1A1A09000547) and the research program of Kookmin University in Korea.

References

[1] A. A. Novotny and J. Sokolowski, Topological derivatives in shape optimization, Interaction of Mechanics and Mathematics, Springer, Heidelberg, Berlin, 2013.

[2] A. Carpio and M.-L. Rapun, "Solving inhomogeneous inverse problems by topological derivative methods," Inverse Problems, vol. 24, no. 4, Article ID 045014, 2008.

[3] J. Cea, S. Garreau, P. Guillaume, and M. Masmoudi, "The shape and topological optimizations connection," Computer Methods Applied Mechanics and Engineering, vol. 188, no. 4, pp. 713-726, 2000.

[4] H. A. Eschenauer, V. V. Kobelev, and A. Schumacher, "Bubble method for topology and shape optimization of structures," Journal of Structural Optimization, vol. 8, no. 1, pp. 42-51, 1994.

[5] G. R. Feijoo, "A new method in inverse scattering based on the topological derivative," Inverse Problems, vol. 20, no. 6, pp. 1819-1840, 2004.

[6] J. Sokolowski and A. Zochowski, "On the topological derivative in shape optimization," SIAM Journal on Control and Optimization, vol. 37, no. 4, pp. 1251-1272, 1999.

[7] H. Yuan, G. Bracq, and Q. Lin, "Inverse acoustic scattering by solid obstacles: topological sensitivity and its preliminary application," Inverse Problems in Science and Engineering, vol. 24, no. 1, pp. 92-126, 2016.

[8] D. Alvarez, O. Dorn, N. Irishina, and M. Moscoso, "Crack reconstruction using a level-set strategy," Journal of Computational Physics, vol. 228, no. 16, pp. 5710-5721, 2009.

[9] M. Burger, B. Hackl, and W. Ring, "Incorporating topological derivatives into level set methods," Journal of Computational Physics, vol. 194, no. 1, pp. 344-362, 2004.

[10] O. Dorn and D. Lesselier, "Level set methods for inverse scattering," Inverse Problems, vol. 22, no. 4, article no. R01, pp. R67-R131, 2006.

[11] L. He, C.-Y. Kao, and S. Osher, "Incorporating topological derivatives into shape derivatives based level set methods," Journal of Computational Physics, vol. 225, no. 1, pp. 891-909, 2007.

[12] W.-K. Park, "Shape reconstruction of thin electromagnetic inclusions via boundary measurements: level-set method combined with the topological derivative," Mathematical Problems in Engineering, vol. 2013, Article ID 125909, 2013.

[13] W.-K. Park and D. Lesselier, "Reconstruction of thin electromagnetic inclusions by a level-set method," Inverse Problems, vol. 25, no. 8, Article ID 085010, 2009.

[14] H. Ammari, H. Kang, H. Lee, and W.-K. Park, "Asymptotic imaging of perfectly conducting cracks," SIAM Journal on Scientific Computing, vol. 32, no. 2, pp. 894-922, 2010.

[15] M. Bonnet, B. Guzina, and N. Nemitz, "Fast non-iterative methods for defect identification," Revue europeenne de mecanique numerique, vol. 17, no. 5-6-7, pp. 571-582, 2008.

[16] H. Ammari, J. Garnier, V. Jugnon, and H. Kang, "Stability and resolution analysis for a topological derivative based imaging functional," SIAM Journal on Control and Optimization, vol. 50, no. 1, pp. 48-76, 2012.

[17] M. Bonnet, "Fast identification of cracks using higher-order topological sensitivity for 2-D potential problems," Engineering Analysis with Boundary Elements, vol. 35, no. 2, pp. 223-235, 2011.

[18] M. Jleli, B. Samet, and G. Vial, "Topological sensitivity analysis for the modified Helmholtz equation under an impedance condition on the boundary of a hole," Journal de Mathematiques Pures et Appliquees, vol. 103, no. 2, pp. 557-574, 2015.

[19] A. Malcolm and B. Guzina, "On the topological sensitivity of transient acoustic fields," Wave Motion, vol. 45, no. 6, pp. 821-834, 2008.

[20] W.-K. Park, "Multi-frequency topological derivative for approximate shape acquisition of curve-like thin electromagnetic inhomogeneities," Journal of Mathematical Analysis and Applications, vol. 404, no. 2, pp. 501-518, 2013.

[21] W.-K. Park, "Topological derivative strategy for one-step iteration imaging of arbitrary shaped thin, curve-like electromagnetic inclusions," Journal of Computational Physics, vol. 231, no. 4, pp. 1426-1439, 2012.

[22] C. Y. Ahn, K. Jeon, Y.-K. Ma, and W.-K. Park, "A study on the topological derivative-based imaging of thin electromagnetic inhomogeneities in limited-aperture problems," Inverse Problems, vol. 30, no. 10, Article ID 105004, 2014.

[23] S. Amstutz and N. Dominguez, "Topological sensitivity analysis in the context of ultrasonic non-destructive testing," Engineering Analysis with Boundary Elements, vol. 32, no. 11, pp. 936-947, 2008.

[24] F. Le Louer and M. a. Rapun, "Topological sensitivity for solving inverse multiple scattering problems in three-dimensional electromagnetism. Part I: one step method," SIAM Journal on Imaging Sciences, vol. 10, no. 3, pp. 1291-1321, 2017.

[25] W.-K. Park, H. P. Kim, K.-J. Lee, and S.-H. Son, "MUSIC algorithm for location searching of dielectric anomalies from S-parameters using microwave imaging," Journal of Computational Physics, vol. 348, pp. 259-270, 2017.

[26] S.-T. Yang and H. Ling, "Application of compressive sensing to two-dimensional radar imaging using a frequency-scanned microstrip leaky wave antenna," Journal of Electromagnetic Engineering and Science, vol. 17, no. 3, pp. 113-119, 2017.

Won-Kwang Park (iD)

Department of Information Security, Cryptology, and Mathematics, Kookmin University, Seoul, Republic of Korea

Correspondence should be addressed to Won-Kwang Park; parkwk@kookmin.ac.kr

Received 19 June 2017; Accepted 28 January 2018; Published 22 February 2018

Academic Editor: Antonio Scarfone

Caption: Figure 1: Maps of E(z; F) for [[GAMMA].sub.1]. Violet-colored solid line describes the range of incident directions.

Caption: Figure 2: Description of best (blue-colored range) and worst (red-colored range) choice of the range of incident directions.

Caption: Figure 3: Same as Figure 1 except the range of the incident directions.

Caption: Figure 4: Maps of E(z; F) for [[GAMMA].sub.1]. Violet-colored solid line describes the range of incident directions.

Caption: Figure 5: Description of best choice of the range of incident directions.

Caption: Figure 6: Map of E(z;F) for when inhomogeneity is [[GAMMA].sub.2].

Caption: Figure 7: Maps of E(z; F) for [[GAMMA].sub.2] [union] [[GAMMA].sub.3]. Violet-colored solid line describes the range of incident directions.

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Park, Won-Kwang |

Publication: | Advances in Mathematical Physics |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2018 |

Words: | 3589 |

Previous Article: | Global Energy Solution to the Schrodinger Equation Coupled with the Chern-Simons Gauge and Neutral Field. |

Next Article: | The Application of Minimal Length in Klein-Gordon Equation with Hulthen Potential Using Asymptotic Iteration Method. |

Topics: |