Examples of non-scattering inhomogeneities
Lucas Chesnel1, Houssem Haddar1, Hongjie Li2, Jingni Xiao3
1 IDEFIX, Ensta Paris, Institut Polytechnique de Paris, Palaiseau, France;
2 Yau Mathematical Sciences Center, Tsinghua University, Beijing, China;
3 Department of Mathematics, Drexel University, Philadelphia, Pennsylvania, USA.
E-mails:
lucas.chesnel@inria.fr, houssem.haddar@inria.fr, hongjieli@tsinghua.edu.cn, jingni.xiao@drexel.edu.
(June 25, 2024)
Abstract. We consider the scattering of waves by a penetrable inclusion embedded in some reference medium. We exhibit examples of materials and geometries for which non-scattering frequencies exist, i.e., for which at some frequencies there are incident fields which produce null scattered fields outside of the inhomogeneity. We show in particular that certain domains with corners or even cusps can support non-scattering frequencies. We relate the latter, for some inclusions, to resonance frequencies for Dirichlet or Neumann cavities. We also find situations where incident non-scattering fields solve the Helmholtz equation in a neighborhood of the inhomogeneity and not in the whole space. Finally, in relation with invisibility, we give examples of inclusions of anisotropic materials which are non-scattering for all real frequencies. We prove that corresponding material indices must have a special structure on the boundary.
Key words. Non-scattering frequencies, transmission eigenvalues, interior transmission problem.
Mathematics Subject Classification. 35J05, 35P25, 35N25
1 Introduction
The so-called transmission eigenvalues play an important role in the study of inverse scattering from inhomogeneous media. They can be helpful in addressing theoretical questions such as uniqueness of the perturbation or in the justification of some reconstruction methods such as the Linear Sampling Method [12, 6]. These special frequencies can also be exploited in imaging algorithms for highly cluttered media [1, 2]. In general, transmission eigenvalues are associated with eigenfunctions that cannot be exactly represented as solutions to the Helmholtz equation in the whole space. In that case, exact non-scattering does not occur. Proving that incident fields always scatter in certain configurations has been the subject of several works and is usually associated with the presence of some geometric singularities such as corners in the boundary of the inhomogeneity. The techniques and results differ according to the considered model for the propagation of waves inside the inclusion, namely
(1) |
or
(2) |
Here denotes the frequency and , are functions characterizing the physical properties of the materials. We refer the reader respectively to [3, 25, 16, 9, 28, 19] and [4, 11, 29, 10] for studies concerning cases (1) and (2). In particular, it is proven for model (1) that if there is a corner in the boundary of the support of , then at any frequency an incident wave will always produce a non zero scattered field outside the inhomogeneity, provided that is sufficiently regular and different from the background coefficient near the corner.
However, things can be different for model (2) especially when is different from the background coefficient near the boundary of the support of the inhomogeneity. The main goal of the present article is to provide examples for which non-scattering occur for model (2). We show that this can happen even when the domain has singularities like corners or cusps. This analysis can be helpful in better understanding the optimality of some results concerning the absence of non-scattering frequencies in the literature, and provide some insight on the difference between cases (1) and (2). We also give examples of situations where non-scattering incident fields have some singularities outside the inhomogeneity. This motivates the definition of non-scattering frequencies adopted below.
Let us first describe the scattering problem we are considering. It is associated with the scalar acoustic wave equation in , . We assume that some inclusion is located in a bounded domain with Lipschitz boundary
such that is connected. In accordance with (2), the inclusion is characterized by some material properties , such that
(3) |
Below, we refer without distinction to as the inclusion or the inhomogeneity. Consider some incident field satisfying
(4) |
where is a neighborhood of , more precisely a domain such that . Note that we do not assume be defined and smooth in the whole . This allows us to take into account the possibility of illuminating the inclusion for example by incident fields due to point sources. The scattering of due to the inhomogeneity is governed by the following time-harmonic problem where denotes the scattered field,
(5) |
The derivatives in the first line of (5) are to be understood in the weak sense where is extended by zero outside . The last line of (5), in which , is the so-called Sommerfeld radiation condition. The function is usually referred to as the total field.
For all , Problem (5) has a unique solution belonging to for all bounded domains if . When , the existence of solutions can be established under the same assumptions.
The uniqueness for has been proven with the additional condition that is Lipschitz continuous in , by using the unique continuation principle, see e.g. [6].
We define in the following the so-called non-scattering frequencies.
Definition 1.1.
If is a non-scattering incident field, then by setting , we see that solves the interior transmission eigenvalue problem
(6) |
Here stands for the unit outward normal vector to .
Definition 1.2.
We say that is a transmission eigenvalue if there is a non-zero which satisfies (6). We denote by the set of transmission eigenvalues.
The above discussion shows that . However the converse does not hold in general. More precisely, we have the following characterization result whose proof is straightforward.
Proposition 1.3.
A real frequency is also in if and only if there is a non-zero eigenpair of (6) associated with such that can be extended in , a neighborhood of , as a function satisfying
(7) |
Concerning (6), it has first been shown that is discrete for rather mild conditions on the coefficients and [6]. Under a bit more restrictive hypothesis on and , people have been able to prove that contains a countably infinite sequence of eigenvalues accumulating only at (see [26, 17, 8, 7, 27]). In contrast, the set has been less studied. Certain simple examples of geometries (rectangle, balls) where have been given in [21, 10]. On the other hand, it has been established that for certain scatterers with non-smooth geometries (having corners in 2D or conical tips/edges in 3D), there holds (see [3, 25, 16]).
As indicated above, the main goal of the present article is to provide examples of configurations where . We first consider the case where the material properties have the special form , , with (Section 2). This configuration is interesting for several reasons. For instance, one can completely characterize in this case the set as the union of Dirichlet and Neumann cavity eigenvalues. One can therefore exhibit non-scattering frequencies by considering either Dirichlet or Neumann eigenvalues. We show in particular that some polygonal domains (convex or not) possess non-scattering frequencies. We also exhibit examples, some inspired by and some extracted from [15], where non-scattering incident fields are not entire solutions to the Helmholtz equation (i.e. ). We consider separately Dirichlet and Neumann eigenvalues. While examples for the first case are already present in the literature, the examples for Neumann eigenvalues are harder to find analytically and seem less known. We propose a method to construct such domains based on analysing the characteristics for the gradient of the solutions to the Helmholtz equation. This allows for instance to prove existence of non-scattering frequencies for certain domains with corners of arbitrary angles and even cusps. We emphasize that on the contrary, non-scattering domains for the Dirichlet eigenvalues can only have corners of particular apertures.
In Section 3, we work with anisotropic materials and exhibit configurations where non-scattering occurs at any frequencies. The first examples are inspired by the concept of invisibility by diffeomorphisms [18]. For associated anisotropies we prove in particular that the matrix has a special structure at irregular points of the boundary as it must satisfy (see also [10]). We also provide other examples of anisotropies (not associated with diffeomorphism transformations) for which non-scattering occur at any frequency in the case of regular and non-regular domains.
Note: we say that a function is an entire solution of the Helmholtz equation if it solves the homogeneous Helmholtz equation in .
2 Non-scattering in the case , , with
In this section, we make the assumption that there holds
(8) |
where is a constant such that . In this particular situation, we first show that is formed by the union of the eigenvalues of the Dirichlet and Neumann Laplacians in . More precisely, introduce the problems
(9) |
We denote by (resp. ) the values of such that the Dirichlet (resp. Neumann) problem (9) admits non-zero solutions in . We have the following result.
Lemma 2.1.
When , satisfy (8), we have .
Proof.
Suppose that is a transmission eigenpair solving (6). Define and . Then one readily checks that , solve respectively the Dirichlet and Neumann eigenvalue problems (9). Moreover, at least one of the functions and must be non-trivial. Hence, we have .
Conversely, assume that is a non-zero solution of the Dirichlet problem appearing in (9). Then is a (non-trivial) eigenpair of (6). Similarly, if is a non-zero solution of the Neumann problem appearing in (9), then solves (6). This guarantees that .
∎
Remark 2.2.
From Lemma 2.1, when , satisfy (8), the question of finding non-scattering eigenvalues can be reformulated as “are there eigenfunctions of the Dirichlet or Neumann Laplacian in that can be extended as solutions to the Helmholtz equation in a neighborhood of ?”.
Some positive answers can be given in three situations:
- For certain geometries , one can compute analytically the eigenfunctions of the Dirichlet/Neumann Laplacians and observe that they are defined in larger domains than ;
- For certain , one can use reflections to extend the eigenfunctions of the Dirichlet/Neumann Laplacians in to larger domains;
- Given a function solving the Helmholtz equation (4) in some given domain , one can look for , with , for which is an eigenfunction of the Dirichlet or Neumann Laplacian in .
We present corresponding results in the following subsections.
2.1 Domains where analytic expressions can be obtained for the eigenfunctions
Assume here that coincides with the unit square and consider as well as a corresponding eigenfunction of the Dirichlet problem appearing in (9). In an appropriate set of coordinates, writes as a linear combination of the functions
In the proof of Lemma 2.1, we have seen that constitutes an eigenpair of (6). Clearly extends as a function solving the homogeneous Helmholtz equation (7) in . From Proposition 1.3, we infer that . Interestingly, as explained in [3, 10], in that case one can exhibit non-scattering incident fields which are simple combinations of plane waves. More precisely, such that
produces a scattered field which is exactly zero outside of . Similarly we establish that .
This reasoning can be adapted to deal with other simple domains where we can use separation of variables. This allows one to state the following result.
Proposition 2.3.
Assume that is a rectangle, a disk, or an elliptical domain (whose boundary is an ellipse). Then when , satisfy (8), we have .
Note that to consider the case of elliptic domains, we work with the elliptic coordinates such that, after a rigid change of variables,
where , and stand for the foci of the ellipse. In particular, the curves are confocal ellipses. Solutions of (9) can be decomposed on functions with separate variables in , . For the latter functions, we find that the dependences in , satisfy respectively a modified Mathieu’s equation and a Mathieu’s equation with periodic boundary conditions, which are both Sturm-Liouville problems. Moreover it is known that the solutions of the Mathieu’s equation which are regular at zero can be extended in so that all eigenfunctions of the Dirichlet and Neumann Laplacians in a bounded elliptical domain can be extended as solutions of an Helmholtz equation in . For more details, we refer the readers to [14, 23].
Similar to Proposition 2.3, we have the following statement in .
Proposition 2.4.
Assume that is a ball, an ellipsoid, or, in an appropriate system of coordinates, there holds where is a bounded open interval and is a rectangle, a disk, or an elliptical domain. Then when , satisfy (8), we have .
We now turn our attention to other geometries. Consider some constants and . Define in the sector
and in , the spherical wedge
as well as the cylindrical wedge
(see Figure 1 for illustrations). Here is an open bounded interval. For theses domains, depending on the opening angle, there may exist zero or infinitely many non-scattering frequencies.
Proposition 2.5.
With the notation above, assume that is either a sector in , a spherical wedge in or a cylindrical wedge in , of angle . When , satisfy (8), we have:
- if , then contains an unbounded sequence which accumulates only at ;
- if , then .
Remark 2.6.
In fact, we show in the proof that coincides exactly with if and only if .
Remark 2.7.
Proof.
Let be a sector in . The eigenfunctions of the Dirichlet Laplacian in coincide with the functions , with and such that . Here is the Bessel function of the first kind with order . As a consequence, by looking at the singularity of Bessel functions at the origin and periodicity of the sin function, we infer that an eigenfunction can be extended as an entire solution of the Helmholtz equation if and only if .
The analysis is similar for eigenfunctions of the Neumann Laplacian.
The cases of spherical and cylindrical wedges in can be dealt similarly by working, respectively, with spherical and cylindrical coordinates.
∎
With this approach, we could also consider 3D conical tip, i.e. domains of the form
with . In this case, the possibility of extending eigenfunctions of the Dirichlet/Neumann Laplacians in depends on whether is a zero of the Legendre polynomial for some integers and . We choose not to elaborate much on this direction.
Let us mention that some of the discussions above for 2D cases can also be found in [20].
2.2 Domains where eigenfunctions can be extended by reflections
Now we present other geometries where some or all the Dirichlet/Neumann eigenfunctions of (9) can be extended, this time by working with reflections. We start with a definition.
Definition 2.8.
Let be a polygon of (resp. a polyhedron of ). We say that is a proper paving unit if the following two conditions hold:
- One can find a combination of successive reflections of with respect to the edges (resp. faces) that allows one to cover a domain
with the overlaps only on the skeleton consisting of the edges (resp. faces) of and their images by the reflections.
- If one assigns a different colour to each of the edges (resp. faces) of , then each element of may inherit two or more colours due to reflections. We require
that every element of has only one colour under reflections.
In Figure 2, we present an example of domain and covering which does not satisfy the second item of Definition 2.8.
Proposition 2.9.
Assume that , , is a proper paving unit. Then when , satisfy (8), we have .
Proof.
Let be a proper paving unit. Consider one particular edge or face of and introduce some system of coordinates with , such that this edge or face lies in the hypersurface . Let denote the reflection of with respect to the line or plane . Consider an eigenfunction of the Dirichlet Laplacian in . Classically we can extend it to by defining for all . Similarly, Neumann eigenfunctions can be extended in by defining . It can be verified straightforwardly that such extended function satisfies in the whole interior of . Repeating this reflection argument successively, we can extend Dirichlet/Neumann eigenfunctions to as solutions to the homogeneous Helmholtz equation. The proof is completed. ∎
From classical results of interior regularity, this shows that in proper paving unit, Dirichlet and Neumann eigenfunctions are smooth up to the boundary because their extensions are real-analytic in .
One can check that triangles that are equilateral (60°-60°-60°), hemiequilateral (30°-60°-90°) or isosceles right (45°-45°-90°) are all proper paving unit of . In fact, for these three types of triangles the Dirichlet/Neumann eigenfunctions can be expressed with trigonometric functions as discovered by G. Lamé (see [22]). Besides, observe that if is a proper paving unit of then is a proper paving unit of for any bounded interval .
Finally, let us mention that for domains , with , obtained by “properly” reflecting a given proper paving unit a finite number of times (see an illustration in 2D with Figure 3), contains an unbounded sequence. Indeed, any eigenfunction of the Dirichlet/Neumann Laplacian in extended to according to the process described above is clearly an eigenfunction of the Dirichlet/Neumann Laplacian in .
2.3 Combining solutions to the homogeneous Helmholtz equation
In the previous subsections, we presented canonical examples of geometries where eigenfunctions of the Dirichlet/Neumann Laplacians can be extended as smooth solutions of the homogeneous Helmholtz equation in a neighborhood of . Here, by working directly with solutions to the homogeneous Helmholtz equation, we provide examples of more general domains such that non-scattering frequencies exist. To keep notations simple, we work in only. The ideas can be applied to generate examples in .
2.3.1 Extendable Dirichlet eigenfunctions
Consider the function such that
It is a particular solution of the equation
(10) |
Now let us, roughly speaking, rotate this function by an angle by defining such that
Note that also solves (10). Then for , set
and define the nodal set . As classical in literature (see e.g. [13]), we call nodal domains of the maximally connected subsets of for which does not change sign. From Proposition 1.3 and Lemma 2.1, we obtain the following statement.
Proposition 2.10.
Any bounded nodal domain of is a domain where .
Let us make a few comments concerning this approach. First the choice is arbitrary here and we could consider any other . On the other hand, we combined only two particular solutions of (10). We could have worked similarly with any other linear combinations of functions satisfying (10). To exhibit different solutions of (10), we can proceed to rotations of as we did. We can also translate or its rotated versions. This a priori offers a large variety of functions. A natural question then is “how rich is the family of corresponding bounded nodal domains?”. Finally, observe that we prove only the existence of one element in and not that contains an unbounded sequence as in the statements of the previous subsections.
In Figure 4, we display the nodal sets for and . In each situation we observe that there exist bounded nodal domains. The question of proving the existence of bounded nodal domains would deserve to be studied in more details.
Interestingly, this technique can be exploited to exhibit domains such that eigenfunctions of the Dirichlet Laplacian in can be extended only to an open neighborhood of but not to the whole . This has been found by J. Eckmann and C. Pillet in [15] and we reproduce their work here.
Given and , we define the function such that
(11) |
Here stands for the polar coordinates with , , is again the Bessel function of the first kind with order and , satisfy the relations
with . In particular, the term for in (11) corresponds to the spherical wave function with the center translated from to . If we further rotate the initial spherical wave function clockwise by (resp. ), we obtain the term in (11) for (resp. in general). More generally, we can consider functions of the form
(12) |
with different Bessel orders , rotational parameters , and weights , for each . We can also impose different translational and rotational effects to each term by defining
with different and for each .
Throughout this subsection, we shall let be the first positive zero of .
The following example, taken from [15], gives a bounded and simple connected domain with analytic boundary where the Dirichlet Laplacian has an eigenfunction which is extendable in an open neighborhood of but not to the whole .
Example 2.11.
Let us consider the function in (11) with , , . Since , the function has a derivative which is not continuous at and then is real analytic only in with .
In particular, is real analytic in the open ball centred at the origin and of radius . Let us explain how to prove that there is a bounded and simple-connected domain with real-analytic boundary such that is real-analytic in (an open neighborhood of) and on .
First notice that is positive in and negative in (see Figure 5(a)). Using this property, we display in Figure 5(b) a yellow region where the three terms in the sum defining are all positive and a blue region where these three terms are all negative. We note by the green region in which the sign of is a priori not clear. Looking at every direction , with the intermediate value theorem, we can show that there is in such that . Moreover, by exploiting that is real analytic in , we infer that there is a closed analytic curve such that on (see Figure 5(c) for a plot of ). Denote by the bounded open set surrounded by .
Then is an eigenfunction of the Dirichlet Laplacian in which can be analytically extended to (actually to ) as a solution to the Helmholtz equation. Because of this property, we conclude that we have for this . Let us emphasize however that can not be extended in the whole analytically because its derivative with respect to is not continuous on .
We can modify Example 2.11 by taking different parameters in the definition of the function appearing in (11). This allows us to exhibit other analytic domains where the Dirichlet Laplacian has eigenfunctions which are extendable only in a neighborhood of . In Figure 6, we display certain of these domains.
Note that if we take the Bessel order in (11) in , we can find domains for which the eigenfunctions of the Dirichlet Laplacian can be extended in the whole . We present such examples in Figure 7. Let us emphasize that the domains may have analytic boundaries as in Figure 7(a), or Lipschitz boundaries as in Figures 2–7(c). The latter situation appears when two or more nodal curves of the function intersect. For example, in Figure 2, both and vanishes at the two points , but , the Hessian of , is different from zero at . Hence there are two nodal curves intersecting at . In Figure 7(c), at we have for all multi-indices with but . This explains why there are three nodal curves passing through .
222Here denotes the second positive zero of ., .
, , .
Similarly, we can find Lipschitz domains for which there exist eigenfunctions are the Dirichlet Laplacian which can be extended in a neighborhood of but not to the whole (see Figure 8). We refer the reader to the Appendix for the justification of existence of such nodal curves as shown in Figures 6–8.
We conclude this paragraph with an important result which generalizes the constraint we have in Proposition 2.5 concerning the angle of a sector so that non-scattering frequencies can exist.
(13) |
First, for as in (13), due to the implicit functions theorem, must be piecewise analytic. Additionally, we have the following statement (see also [13, Chapter V, §16]).
Proposition 2.12.
If is a corner point of a domain satisfying (13) with opening angle , then necessarily .
Proof.
We start by observing that belongs to the nodal set of , an eigenfunction of the Dirichlet Laplacian in . In an adapted system of coordinates, we can assume that coincides with the origin . By the assumption that satisfies the Helmholtz equation in an open ball around , we obtain that is of the form
near , where are the polar coordinates of . Here and are constants depending on , is the vanishing order of at and is a real-analytic function in . As a consequence, the Taylor series of near is of the form
with and real-analytic. Hence, there are exactly analytic nodal curves of intersecting at , with tangential directions along angles in the set . Therefore we see that the angle between two tangential directions is necessarily equal to for some . ∎
2.3.2 Extendable Neumann eigenfunctions
What we did in §2.3.1 to find domains where the Dirichlet Laplacian admits extendable eigenfunctions can not be directly applied for Neumann boundary conditions. Instead of looking for nodal curves, we should consider the characteristics associated with the gradient of solutions to the Helmholtz equation.
Let us explain in the following.
Start with some non-zero real valued function satisfying in some domain, say for simplicity, for a given . Pick some point such that . Then consider the gradient system
(14) |
The Cauchy-Lipschitz theorem ensures that (14) admits a unique maximal solution defined on an interval containing . Set and introduce a unit normal vector to the smooth curve whose orientation is arbitrarily fixed. For , we have
because and are respectively tangent and normal to the orbit . Thus satisfies an homogeneous Neumann boundary condition on . Therefore if we are able to find a bounded domain whose boundary coincides with the union of orbits of Problem (14) for different initial conditions , then this shows that belongs to the set associated with . Let us illustrate the approach with some specific examples.
Example 2.13.
Consider the function
(15) |
which satisfies in . For this , (14) reads
(16) |
The stationary points of this system of ordinary differential equations are the , . These are constant orbits. Moreover, one can check that
are also orbits of (16). Now pick some . Since different orbits cannot cross, we know that the one passing through stays inside and so the associated trajectory is global, i.e. defined for all . It turns out that we can compute it explicitly and we find
After a few operations, we obtain that the corresponding orbit coincides with the curve
where (see Figure 9 left for representations of different ). For any , denote the domain located between and . Then is an eigenfunction of the Neumann Laplacian in (see Figure 9 right for pictures of some ). Since satisfies in , we deduce that belongs to for this domain.
Note that we also have for the domain delimited for example by the curves
At this stage, let us make a few comments. First, when one enlarges a bounded domain, due to the min-max principle, the eigenvalues of the Dirichlet Laplacian decrease. This is not true for the eigenvalues of the Neumann Laplacian, roughly speaking because one cannot extend them by zero. This is well illustrated by the above example. We have a family of continously deformed shapes which all have among the eigenvalues of the Neumann Laplacian.
Second, this example shows that one can find domains where the Neumann Laplacian has eigenfunctions which extend as solutions to the Helmholtz solution in the whole space and which admit corners with arbitrary apertures in . This is very different from the Dirichlet case where in order to be able to extend the eigenfunctions of the Laplace operator, the aperture of the corners must be in (see Proposition 2.12).
The reason we can have such domains with corners of arbitrary aperture in Example 2.13 is that , the Hessian of at the stationary point , is equal to the identity matrix. As a consequence, the linearized problem of (16) at simply writes with . Solving it, we get , for some constants , . Thus we see that the curve is a line which can take any direction by choosing properly , . This explains why the orbits of (16) can leave from asymptotically with any angle.
Let us consider a second example.
Example 2.14.
Start from the function such that . It satisfies in . The set of stationary points associated with (14) is . By computing the Hessian , one finds that the are saddle points. At saddle points, orbits of (14) can meet the equilibrium point at only two particular directions (see Figure 10(b)). On the other hand, for , we have . Hence the orbits of (14) are all tangential to the horizontal line at except one that is tangential to the vertical line. Indeed, for example for , the linearized problem associated with (14) writes so that its solution is given by , for some constants , . Thus we see that except when , the curve is tangential to the horizontal line when .
We can make this more explicitly by computing the orbits. First we find that
are particular orbits of (14). Then we obtain that the (global) trajectory passing through is such that
for . We show in Figure 10 the normalized gradient flow and some of the “Neumann curves”. The latter enclose domains for which is a Neumann eigenfunction so that belongs to . We get that can be of class , Lipschitz but may also possess cusps.
Example 2.15 (Neumann eigenfunctions extendable in a neighborhood of but not to the whole ).
Let us defined as in (12) with , , and , with being the first positive zero of (see Figure 8(a)). We can calculate the gradient explicitly, say, when , as
with
It can be shown that at and , where is the (only) solution to in the interval . The normalized gradient flow is shown in Figure 11(a). Moreover, by (numerically) solving the system of ODEs (14), we can construct curves on which , and some of those curves enclose bounded or Lipschitz domains (with corners of opening angle ), or domains with cusps. We display some of these domains in Figure 11, where the starting points satisfy and . In the numerics, we take . The curves on the left side of the starting points are obtained by solving (14) and letting . We get . Those on the right side are obtained by solving the “backward” system , in which case . An explicit computation gives with . As a consequence, though this does not appear clearly in Figure 11(b) because here we do not zoom at , all the orbits except the horizontal one, are tangential to the vertical axis at .
3 Non-scattering with anisotropic materials
In this section, we provide examples of anisotropic materials, more precisely materials for which in (2) is a matrix valued function, that support non-scattering frequencies. For some of them, non-scattering occurs at all so that in particular the set of transmission eigenvalues contains .
3.1 Non-scattering via diffeomorphism
We first look for non-scattering waves and media by using diffeomorphisms following for example [18] (see also [10]). Let be an entire solution to the Helmholtz equation, i.e. such that
Given a bounded Lipschitz domain in , let be a , , diffeomorphism satisfying on . Define
(17) |
where is the Jacobian matrix of . Note in particular that is symmetric. Then the function satisfies on and
(18) |
with . As a consequence, we have the following lemma.
Lemma 3.1.
Remark 3.2.
As observed in [10], given any bounded Lipschitz domain , one can construct infinitely many diffeomorphisms that satisfy the conditions in Lemma 3.1. For instance, let be a map such that in . Then the mapping defined as
(19) |
is a diffeomorphism for sufficiently small that satisfies on .
Next, we give two explicit non-scattering examples (where in (19) does not have to be small) with being a square and a disk, respectively.
Example 3.3 (Geometry with corners).
Let . For a fixed constant , define
It can be verified that is a diffeomorphism with . Then the medium as in (17) is non-scattering for all incident waves at all frequencies. We can express and in a more explicit form as
and
Example 3.4 (Non-spherically stratified disk).
Let satisfy . Define , in polar coordinates, as
Then is a diffeomorphism with (this latter property comes from the constraint ). Moreover, is orientation- and area-preserving with . As a consequence, the inhomogeneity with as in (17) is non-scattering for all incident waves at all frequencies. Note that we find
On the structure of the anisotropy induced by diffemorphism transforms.
The following two results reveal an interesting geometry property of diffeomorphisms satisfying the conditions in Lemma 3.1.
Lemma 3.5.
Let and be as in Lemma 3.1. Then we must have
Proof.
Let be fixed. Let and let . Then , satisfy
with defined in (17). Furthermore, by straightforward calculations we have
The proof is complete by taking all . ∎
Combining this result with [10, Theorem 2.1], we obtain the following statement when is not smooth.
Proposition 3.6.
Let be a bounded domain in , and let be a (resp. or (real) analytic) diffeomorphism on with satisfying . Then
(20) |
where is such that is not (resp. or (real) analytic) in any neighborhood of .
Proof.
Let be such that is not (resp. or (real) analytic) in any neighborhood of . Assume by contradiction that at . Let
Then by Lemma 3.5 we have
and so at . Exploiting this, we can find a solution to the homogeneous Helmholtz equation in such that at . But from Lemma 3.1 we know that is non-scattering for with , given in (17). Hence by [10, Theorem 2.1] we must have that is (resp. or (real) analytic) near , which leads to a contradiction. ∎
Remark 3.7.
In particular, we show in the proof that the matrix defined in (17) must satisfy
at the considered “non-smooth” point of
3.2 Other explicit non-scattering examples
In this section, we are focused on non-scattering examples where the total and incident fields are identical in the whole .
Example 3.8.
Let and
(21) |
with . Assume that these coefficients satisfy one of the following assumptions:
, and there exist , with ), such that ;
, and ;
, and .
Then contains an unbounded sequence which accumulates at .
Remark 3.9.
Proof.
Suppose that satisfy the first set of assumptions. Then it can be verified straightforwardly that for any , the functions , such that
solve the interior transmission eigenvalue problem (ITEP) (6) with .
Now assume that satisfy the second set of assumptions (the third one can be dealt with similarly). Then one can verify that for any , the functions , such that
with and where , are non zero constants, solve (6) for . ∎
Remark 3.10.
By scaling and/or rigid change of coordinates, we can adapt Example 3.8 to the case of any rectangle, with properly modified form of (not necessarily diagonal) and conditions between and . Analogous arguments and results apply when is a cuboid in .
The case in Example 3.8 but for for or can be generalized to the following situation where and is rank deficient. In this situation we lost the discreteness of the sets and . A particular case of this example appears in [21, p.1170].
Example 3.11.
Given any bounded Lipschitz domain in , suppose that satisfies
with some symmetric positive definite matrix and a constant orthogonal matrix . Importantly, note that in this case is an eigenvalue of for all . Then any is a non-scattering frequency for .
Proof.
For any non-zero constants , , define . It can be verified straightforwardly that for any bounded Lipschitz domain and any fixed , is a pair of eigenfunctions to the ITEP (6) for with (note in particular that ). Then consider the change of coordinates for and define such that . The pair satisfies (6) for with . Moreover, is an entire solution to the Helmholtz equation. The proof is complete. ∎
The following can be viewed as a generalization of Example 3.8 when for or .
Example 3.12.
Let with an open interval if or a bounded Lipschitz domain in if . Then there are infinitely many non-scattering frequencies for with
for some positive constant and some symmetric positive definite matrix .
Proof.
It can be verified straightforwardly that is a non-scattering incident field with being the total field for , . ∎
Remark 3.13.
We notice from Example 3.11 that if in Example 3.12, the sets and hence coincide with . However, in some other cases, for example when both and the smallest eigenvalue of are larger than for all in a small neighborhood of , the sets and hence are discrete [5, 24]. The discreteness of or in general is unknown for Example 3.12 especially if on .
Acknowledgements
The work of J. Xiao was supported in part by the National Science Foundation under Grant DMS-2307737.
Appendix
The following figures illustrate how to justify the existence of analytic nodal curves as shown in Figures 6–8. Below the corresponding functions are positive in the yellow regions and negative in the blue regions.
As an example of such justification, let us look at the nodal set of Figure 6(a). That is, when , and in (11).
Based on the “generating function” , we can identify the positive and negative regions of each terms in (11). See Figure 12(a) for an example for the term in (11), where the dashed lines are the nodal curves of the terms in (11). Then we can find certain regions where in (11) has to be either positive/negative, say, the domains where every term is of the same sign (see Figure 12(b)). Therefore, there must be a nodal set in between the strictly positive and the strictly negative regions.
The justification for Figures 6(b), 6(c), and 7(a) is similar.
The situation for the case of Figure 2 is slightly different. First, we can identify the positive and negative regions for each term in (12) as before, and hence some one-sign regions for in (12) (see Figures 16(a) and 16(b)). In particular, thanks to the symmetry of the two terms in (12), we have that on the axis . Additionally, we observe that at the two points , where in fact both terms in (12) are zero. Moreover, it can be verified straightforwardly that at . So there is exactly one (real-analytic) nodal curve of passing through the point . This curve will continue, say, to the right side of until it hits some point for some . On the other hand, using the fact that with the second positive zero of , it can be verified that at the two points and at any with . Therefore, the nodal curve of generated from must also pass through . In fact, one can also verify that the Hessian of satisfies at . Hence there are exactly two (real-analytic) nodal curves passing at : one is the line and the other is the one coming from . Applying analogous arguments for the other three quadrant we can then complete the justification of a closed (real-analytic) nodal curve of .
In Figure 7(c), we make use of the function in (12) with , , , and . The choice of and ensures the symmetry of with respect to the -axis. In particular, on . In addition, thanks to the value of , one can verify that at the point there holds for all but . Hence, there are exactly three nodal curves passing through . Furthermore, one can verify straightforwardly that while at the points , , where the coordinates of each point can be calculated explicitly in terms of , and . Finally, based on the locations of strictly positive and negative regions we can conclude to the existence of real-analytic nodal curves for that enclose some bounded Lipschitz domains, as shown Figure 17(c).
The justification of the results appearing in Figure 8 is similar.
References
- [1] L. Audibert, L. Chesnel, H. Haddar, and K. Napal. Qualitative indicator functions for imaging crack networks using acoustic waves. SIAM J. Sci. Comput., 43(2):B271–B297, 2021.
- [2] L. Audibert, H. Haddar, and F. Pourre. Reconstruction of averaging indicators for highly heterogeneous media. Inverse Probl., 40(4):045028, 2024.
- [3] E. Blåsten, L. Päivärinta, and J. Sylvester. Corners always scatter. Commun. Math. Phys., 331(2):725–753, 2014.
- [4] E. Blåsten, H. Liu, and J. Xiao. On an electromagnetic problem in a corner and its applications. Analysis & PDE, 14(7):2207–2224, 2021.
- [5] A.-S. Bonnet-Ben Dhia, L. Chesnel, and H. Haddar. On the use of -coercivity to study the Interior Transmission Eigenvalue Problem. C. R. Acad. Sci., Ser. I, 340:647–651, 2011.
- [6] F. Cakoni, D. Colton, and H. Haddar. Inverse scattering theory and transmission eigenvalues, volume 98 of CBMS-NSF Regional Conference Series in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, second edition, 2023.
- [7] F. Cakoni, D. Gintides, and H. Haddar. The existence of an infinite discrete set of transmission eigenvalues. SIAM J. Math. Anal., 42(1):237–255, 2010.
- [8] F. Cakoni and H. Haddar. On the existence of transmission eigenvalues in an inhomogeneous medium. Appl. Anal., 88(4):475–493, 2009.
- [9] F. Cakoni and M. Vogelius. Singularities almost always scatter: regularity results for non-scattering inhomogeneities. Comm. Pure Appl. Math., 76(12):4022–4047, 2023.
- [10] F. Cakoni, M. Vogelius, and J. Xiao. On the regularity of non-scattering anisotropic inhomogeneities. Arch. Ration. Mech. Anal., 247(3):31, 2023.
- [11] F. Cakoni and J. Xiao. On corner scattering for operators of divergence form and applications to inverse scattering. Commun. Partial Differ. Equ., 46(3):413–441, 2021.
- [12] D. Colton and A. Kirsch. A simple method for solving inverse scattering problems in the resonance region. Inverse probl., 12(4):383, 1996.
- [13] R. Courant and D. Hilbert. Methods of mathematical physics, volume I. Wiley-Interscience, 1989.
- [14] S. D. Daymond. The principal frequencies of vibrating systems with elliptic boundaries. Q. J. Mech. Appl. Math., 8(3):361–372, 1955.
- [15] J. Eckmann and C. Pillet. Spectral duality for planar billiards. Comm. Math. Phys., 170(2):283–313, 1995.
- [16] J. Elschner and G. Hu. Acoustic scattering from corners, edges and circular cones. Arch. Ration. Mech. Anal., 228(2):653–690, 2018.
- [17] A. Kirsch. On the existence of transmission eigenvalues. Inverse problems and imaging, 3(2):155–172, 2009.
- [18] R. Kohn and M. Vogelius. Identification of an unknown conductivity by means of measurements at the boundary, volume 14 of SIAM-AMS Proc., pages 113–123. Amer. Math. Soc., Providence, RI, 1984.
- [19] P. Kow, S. Larson, M. Salo, and H. Shahgholian. Quadrature domains for the Helmholtz equation with applications to non-scattering phenomena. Potential Anal., 60(1):387–424, 2024.
- [20] J. R. Kuttler and V. G. Sigillito. Eigenvalues of the Laplacian in two dimensions. SIAM Review, 26(2):163–193, 1984.
- [21] E. Lakshtanov and B. Vainberg. Ellipticity in the interior transmission problem in anisotropic media. SIAM J. Math. Anal., 44(2):1165–1174, 2012.
- [22] B. McCartin. Laplacian eigenstructure of the equilateral triangle. Hikari Ltd., Ruse, 2011.
- [23] N. W. McLachlan. Theory and application of Mathieu functions. Dover Publications, Inc., New York, 1964.
- [24] H. Nguyen and Q. Nguyen. Discreteness of interior transmission eigenvalues revisited. Calc. Var. Partial Differ., 56(2):51, 2017.
- [25] L. Päivärinta, M. Salo, and E. Vesalainen. Strictly convex corners scatter. Rev. Mat. Iberoam., 33(4):1369–1396, 2017.
- [26] L. Päivärinta and J. Sylvester. Transmission eigenvalues. SIAM J. Math. Anal., 40(2):738–753, 2008.
- [27] L. Robbiano. Spectral analysis of the interior transmission eigenvalue problem. Inverse Probl., 29(10):104001, 2013.
- [28] M. Salo and H. Shahgholian. Free boundary methods and non-scattering phenomena. Res. Math. Sci., 8(4):58, 2021.
- [29] J. Xiao. A new type of CGO solutions and its applications in corner scattering. Inverse Probl., 38(3):Paper No. 034001, 23, 2022.