We study inverse uniqueness with a knowledge of spectral data of an interior transmission problem in a penetrable simple domain. We expand the solution in a series of one-dimensional problems in the far-fields. We define an ODE by restricting the PDE along a fixed scattered direction. Accordingly, we obtain a Sturm-Liouville problem for each scattered direction. There exists the correspondence between the ODE spectrum and the PDE spectrum. We deduce the inverse uniqueness on the index of refraction from the discussion on the uniqueness anglewise of the Strum-Liouville problem.
1. Introduction
In this paper, we study the inverse spectral problem in the following homogeneous interior transmission problem:(1)Δw+k2nxw=0in D;Δv+k2v=0in D;w=von ∂D;∂w∂ν=∂v∂νon ∂D,where ν is the unit outer normal; D is a simple domain in R3 containing the origin with the Lipschitz boundary ∂D; n(x)∈C2(R3); n(x)>0, for x∈D; n(x)=1, for x∉D. Equation (1) is called the homogeneous interior transmission eigenvalue problem. We say k∈C is an interior transmission eigenvalue of (1) if there is a nontrivial pair of solutions (w,v) such that w,v∈L2(D), w-v∈H02(D). The last two conditions in (1) are the Sommerfeld radiations condition to ensure the uniqueness on the scattered waves. We assume that n(x)≠1 near ∂D from its interior, which minimizes the support of D. To ensure the uniqueness of the scattered solution, we impose the Sommerfeld radiation condition: (2)limx→∞x∂w∂x-ikw=0;limx→∞x∂v∂x-ikv=0.
Problem (1) occurs naturally when one considers the scattering of the plane waves by certain inhomogeneity defined by an index of refraction inside the domain D. The inverse problem is to determine the index of refraction by the measurement of the scattered waves in the far-fields. The inverse scattering problem plays a role in various disciplines of science and technology such as sonar and radar, geophysical sciences, medical imaging, remote sensing, and nondestructive testing in instrument manufacturing. For the origin of interior transmission eigenvalue problem, we refer to Kirsch [1] and Colton and Monk [2]. For theoretical study and historic literature, we refer to [1, 3–13]. To study the existence or location of the eigenvalues is a subject of high research interest [1, 2, 5, 6, 8, 11, 14–18]. Weyl’s type of asymptotics for the interior transmission eigenvalues is expected, even though problem (1) is defined in noncompact R3. In that case, the distribution of the eigenvalues is directly connected to certain invariant characteristics on the scatterer. In this regard, we apply the methods from entire function theory [19–23] to study the distributional laws of the eigenvalues. We also refer to [24] for the reconstruction of the interior transmission eigenvalues and [25] for a numerical description on the distribution of the eigenvalues. It is remarkable that an example on the nonuniqueness of the index of refraction is constructed in [4, Section 6] for the class of radially symmetric indices of refraction with a jump discontinuity of n′(x). Finding the optimal regularity assumption on the index of refraction to attain the uniqueness or the nonuniqueness remains an open problem. The breakthrough is made from the point of view of inverse Sturm-Liouville theory [18] that inverse L2-uniqueness on the radially symmetric index of refraction is obtained if certain extra local information [18, Theorem 1] is provided.
For the nonsymmetrically stratified medium, there are not too many known results [6, 7, 16, 17]. In this paper, we mainly follow the complex analysis methods [3, 14, 18, 26, 27] to study the nonsymmetrical scatterers as a series of one-dimensional problems along the rays scattering from the origin. The analysis along each ray possibly has multiple intersection points with ∂D, so we expect certain tunneling effect in a penetrable domain. In this paper, the new perspective is the asymptotic analysis inside and outside the perturbation. We give a global uniqueness on the index of refraction in simple domain by stating the following result.
Theorem 1.
Let n1, n2 be two unknown indices of refraction as assumed in (1). If they have the same set of eigenvalues, then n1≡n2.
2. Preliminaries
We apply Rellich’s expansion in scattering theory. Firstly we expand the solution (v,w) of (1) in two series of spherical harmonics by Rellich’s lemma [8, page 32] in the far-fields:(3)vx;k=∑l=0∞∑m=-lm=lal,mjlkrYlmx^;wx;k=1r∑l=0∞∑m=-lm=lbl,mylrYlmx^,where r≔x, 0≤r<∞; x^=(θ,φ)∈S2; jl is the spherical Bessel function of first kind of order l. The summations converge uniformly and absolutely on suitable compact subsets in r≥R0, for some R0≫0. We note that expansion (3) holds for the Helmholtz equation outside the simple domain [8, page 31, Lemma 2.11]. Particularly, the spherical harmonics(4)Ylmθ,φ≔2l+14πl-m!l+m!Plmcosθeimφ,m=-l,…,l;l=0,1,2,…,is a complete orthonormal system in L2(S2). Here,(5)Plmt≔1-t2m/2dmPltdtm,m=0,1,…,l,where the Legendre polynomials Pl, l=0,1,…, form a complete orthogonal system in L2[-1,1]. By the orthogonality of the spherical harmonics, the functions in the form(6)vl,mx;k≔al,mjlkrYlmx^;wl,mx;k≔bl,mylr;krYlmx^satisfy the first two equations in (1) independently [8, page 227] for r≥R0.
Now we look for k∈C, al,m, and bl,m, if any satisfies the following independent system for l∈N0 and -l≤m≤l:(7)al,mjlkrr=R0=bl,mylr;krr=R0;al,mjlkr′r=R0=bl,mylr;kr′r=R0.In terms of elementary linear algebra, the existence of the coefficients al,m and bl,m is equivalent to finding the zeros of the following functional determinant:(8)Dlk;R0≔detjlkrr=R0-ylr;krr=R0jlkr′r=R0-ylr;kr′r=R0(9)=-jlkR0yl′R0;kR0+jlkR0ylR0;kR02+kjl′R0ylR0;kR0,in which the system is independent of m and x^. The forward problem describes the distribution of the zeros of Dl(k;R0), while the inverse problem specifies the index of refraction n by the topology of the zero set. In [14, 18, 26, 27], we have discussed the methods to find the zeros of Dl(k;R0).
Let k∈C be a possible eigenvalue of (7). Applying the analytic continuation of the Helmholtz equation and Rellich’s lemma [8, pages 32, 33, and 222], the solutions parameterized by k solve(10)wx;k≡vx;k,x∉D;∂wx;k∂ν≡∂vx;k∂ν,x∉D,outside the simple domain D.
We note that representation (3) initially holds outside x≥R0, and the core of many inverse problems is to extend the solution into the perturbation. For our case, we want to extend representation (3) into x≤R0 for some possible set of k. Let x^1∈S2 be a given scattered direction satisfying the following geometric condition:(11)the line segment from R0,x^1 to r1,x^1,r1≤R0,lie outside D with r1,x^1∈∂D.For x^1, we extend each Fourier coefficient yl(r;k) with k∈C determined by system (7) for all l, toward the origin until it meets the boundary ∂D at (r1,x^1). Along the given x^1, we apply the differential operator Δ+k2n with(12)Δ=1r2∂∂rr2∂∂r+1r2sinφ∂∂φsinφ∂∂φ+1r2sin2φ∂2∂θ2to {wl,m(x)}, which accordingly can solve problem (1) replaced with the manmade radially symmetric index of refraction n(x)=n(rx^)=n(rx^1) for all x^∈S2. More importantly, the interior transmission condition implies the following ODE:(13)yl′′r;k+k2nrx^1-ll+1r2ylr;k=0;Dlk;r1=0.
If there is merely one intersection point for [0,R0]×x^1 with ∂D, then we set the initial conditions of yl(r;k) according to the following condition:(14)limr→0ylr;kr-jlkr=0.The behavior of the Bessel function jl(kr) near r=0 is found in [28, page 437]. We refer initial condition (14) to [18]. That is,(15)Dlk;0=0.
We observe that the uniqueness of the ODE (7) is valid up to the boundary ∂D:(16)al,mjlkr=bl,mylr;kr;al,mjlkr′=bl,mylr;kr′,r=r1,x^1∈S2.In particular, Dl(k;r1)=Dl(k;R0) by the uniqueness of ODE (13) along the line segment (R0,x^1) to (r1,x^1).
For l≥0, we can take al,m=bl,m=1 in (16). From the point of view of the Helmholtz equation, (17)bl,mylr;krYlmx^,ylr;krYlmx^,both satisfy the Sommerfeld radiation condition whenever yl(r;k) solves (13) and (14). By the uniqueness implied by the Sommerfeld radiation condition, we can choose that (18)bl,m=1.Using a similar argument, we deduce that (19)al,m=1.
In general, the solution yl(r;k) depends on the scattered direction x^ whenever entering the perturbation, so we denote the extended solution of (13) as y^l(r;k) and accordingly the functional determinant as D^l(k;r1). Thus, (13) is relabeled as(20)y^l′′r;k+k2nrx^-ll+1r2y^lr;k=0;D^lk;0=0,D^lk;r1=0.The eigenvalues of (20) are discussed in [14, 26, 27] by the singular Sturm-Liouville theory in [29–31].
However, we are working on a simple domain D in this paper. Hence, we modify the solution extension into D in previous discussion. Instead of (16), we now ask for any k∈C that satisfies the following conditions:(21)jlkrr=r^=y^lr;krr=r^;jlkr′r=r^=y^lr;kr′r=r^,r^∈R^,in which R^ is the intersection set along the scattered angle x^ defined by(22)R^≔r^∣r^,x^∈∂D=r^1,…,r^M^,and we will discuss the well-posedness of y^l(r;k). For each fixed x^∈S2, (21) provides an initial condition at r^∈R^. Hence, the solution y^l(r) of(23)y^l′′r;k+k2nrx^-ll+1r2y^lr;k=0is constructed piecewise from infinity to the origin, at which(24)D^lk;0=0.We put it as a lemma.
Lemma 2.
For k∈C, there is unique solution that satisfies (21), (22), (23), and (24) for the fixed x^∈S2.
By the assumption of (1), we deduce that R^ is a finite discrete set and r^1<r^2<⋯<r^M^ for each fixed x^∈S2, in the case that (α,x^), (β,x^), and (γ,x^) are any three consecutive points along the incident direction x^. Whenever (β,x^) is a tangent point at the boundary, we disregard it and consider the line segment from (α,x^) to (γ,x^) as either completely inside or outside the perturbation. Without loss of generality, we assume that R^ contains no tangent point. See Figure 1.
Rays of perturbation.
To sketch an idea of how we construct a discrete set of k for Lemma 2, we start with the first segment into the perturbation and discuss the well-posedness of the initial value problem starting at r^M^:(25)y^l′′r+k2nrx^-ll+1r2y^lr=0,r^M^-1≤r≤r^M^;D^lk;r^M^=0,which has unique solution inward up to r^M^-1 given that jl(kr^) is a known function for k∈C. The behavior of the solution is understood by the singular Sturm-Liouville theory provided in Section 2. Because r^M^ is the first intersection, (26)wl,mx^r^M^;k=vl,mx^r^M^;k,the uniqueness of (25) holds up to r^M^ for k∈C. We deduce from the unique analytic continuation that (27)wl,mx;k=bl,mylr;krYlmx^,vl,mx;k=al,mjlr;kYlmx^hold outside D for each fixed k. In particular, D^l(k;r^M^-1)=0 holds by the construction of y^l(r;k). More importantly, the functional determinant D^l(k;r^M^-1)=0 is an algebraic condition that filters out a discrete set of eigenvalues from C for the problem(28)y^l′′r+k2nrx^-ll+1r2y^lr=0,r^M^-1≤r≤r^M^;D^lk;r^M^=0,D^lk;r^M^-1=0.The spectral theory of (28) is simply singular Sturm-Liouville theory [29–31]. We have taken a similar approach in [14, 26, 27, 32]. Let k1 be one of its eigenvalues. Leaving the perturbation at r^M^-1 toward the origin, k1 defines another ODE system:(29)y^l′′r+k12nrx^-ll+1r2y^lr=0,r^M^-2≤r≤r^M^-1;D^lk1;r^M^-1=0,D^lk1;r^M^-2=0,in which D^l(k1;r^M^-2)=0 holds due to the construction of y^l(r;k) and the analytic continuation of the Helmholtz equation. The same k1 appears at r^M^-2 and is ready to define yet another new ODE:(30)y^l′′r+k12nrx^-ll+1r2y^lr=0,r^M^-3≤r≤r^M^-2;D^lk1;r^M^-2=0,D^lk1;r^M^-3=0.By the analytic continuation of (31)wl,mx;k1=bl,my^lr;k1rYlmx^of the Helmholtz equation, the same k1 satisfies (28), (29), and (30) and appears at r^M^-3 and then consecutively into each intersection interval by its construction. That is, system (28) extends to R+.
There are several ways to produce an ODE flow from the origin to the infinity that satisfies(32)D^lk;r^0=0,D^lk;r^1=0,⋮D^lk;r^M^=0.More importantly, system (30) inside D also produces its group of eigenvalues that appear at r^M^-3 and consecutively into all other intersection intervals by repeating the argument after (28). That is, system (30) extends to R+. In this way, we consider the piecewise construction of eigenfunctions for all possible discrete k∈C that make sense of the following system:(33)y^l′′r+k2nrx^-ll+1r2y^lr=0,r^0≔0<r<∞;D^lk;r^0=0,D^lk;r^1=0,⋮D^lk;r^M^=0.Each element of the zero set of D^l(k;r^j) defines an initial value condition for the ODE and an algebraic condition to filter out a discrete spectrum of (33). There is the uniqueness and the existence to the solution of (33) defined by the piecewise construction as shown above, and we call the extended solution y^l(r;k) for each possible k the eigenvalue tunneling in the interior transmission problem. In this paper, we use the solution y^l(r;k) constructed as the procedure above. Such a construction can be set to initiate at r^0 and tunnels to the infinity.
We have already discussed the simple case in the radially symmetric and starlike domains [14, 26, 27]:(34)y^l′′r+k2nrx^-ll+1r2y^lr=0,r^0<r<∞;D^lk;r^0=0,D^lk;r^1=0.For example, with the initial condition D^l(k;r^0)=0, the function D^l(k;r^1) is an entire function of exponential type [3, 4, 14, 26, 27, 32]. Thus, the eigenvalues of (34) form a discrete set in C, accumulate into the eigenvalues of (33), and tunnel to the infinity.
Conversely, once we find an eigenvalue of (33) for some l along some x^, it solves (7) by the uniqueness of ODE up to x=R0 and then (10) by the analytic continuation of the Helmholtz equation. Whenever we collect all such eigenvalues from each incident x^∈S2, they constitute the interior transmission eigenvalues of (1). The geometric characteristics of the perturbation are connected by rays of ODE system to the far-fields.
3. Asymptotic Expansions and Cartwright-Levinson Theory
To study the functional determinants D^l(k;r), we collect the following asymptotic behaviors of y^l(r;k) and y^l′(r;k). For each fixed x^, we apply the Liouville transformation [7, 8, 29–31, 33]:(35)z^lξ^≔nrx^1/4y^lr;k,where(36)B^r≔ξ^r=∫0rnρx^1/2dρ,0≤r≤r^1.Here we recall that n is 1 outside D:(37)z^l′′+k2-qξ^-ll+1ξ^2z^l=0,in which(38)qξ^≔n′′rx^4nrx^2-516n′rx^2nrx^3+ll+1r2nrx^-ll+1ξ^2.For simplicity of the notation, we drop all the superscripts about x^ whenever the context is clear.
Definition 3.
Let f(z) be an integral function of order ρ and let N(f,α,β,r) denote the number of the zeros of f(z) inside the angle [α,β] and z≤r. One defines the density function as(39)Δfα,β≔limr→∞Nf,α,β,rrρ,Δfβ≔Δfα0,β,with some fixed α0∉E such that E is at most a countable set [21–23, 34].
Lemma 4.
The functional determinant D^l(k;r) is of order one and of type r+B^(r), r^0≤r≤r^1. In particular, one has the following density identity:(40)ΔD^lk;r-ϵ,ϵ=r+B^rπ.
Proof.
We begin with (8):(41)D^lk;r=-jlkry^l′r;kr+jlkry^lr;kr2+kjl′kry^lr;kr=kjl′kry^lr;kr1-1kjlkrjl′kry^l′r;ky^lr;k+1krjlkrjl′kr=kjl′kry^lr;krα^lk+O1k,in which(42)α^lk≔1-1kjlkrjl′kry^l′r;ky^lr;k.We have (43)jlkrjl′kr=O1outside the zeros of jl′(kr); similarly, (44)y^l′r;ky^lr;k=Okoutside the zeros of y^l(r;k). The term α^(k) is bounded and bounded away from zero outside the zeros of jl′(kr) and y^l(r;k) on real axis. The behaviors of the z^l′(r;k) and z^l(r;k) of (35) are well-known from the works [3, 8, 14, 26, 27, 32, 33, 35]. In particular, the following asymptotics hold. For ξ>0 and Rk≥0, there is a constant C such that (45)ulξ;k-sinkξ-lπ/2kl+1≤Ck-l+1expIkξkξ;ul′ξ;k-coskξ-lπ/2kl≤Ck-lexpIkξkξand that (46)zlξ;k-ulξ;k≤Cξ1+kξl+1expIkξEξ,k;zl′ξ;k-ul′ξ;k≤Cξ1+kξlexpIkξEξ,k,with the bounded error term (47)Eξ;k=exp∫0ξtqt1+ktdt-1.
Consequently, we can compute Lindelöf’s indicator function [14, 22, 23, 26, 27, 34] for y^l(r;k) and then D^l(k;r) for (41):(48)hD^lk;rθ=hjl′krθ+hy^lr;kθ=r+B^rsinθ,θ∈0,2π,r^0≤r≤r^1,in which B^(r)=∫0r[n(ρx^)]1/2dρ, and we apply an inequality of Lindelöf’s indicator function in [22, page 51].
In case that α^l(k)≡0, instead of (48), we have(49)hD^lk;rθ=hjlkrθ+hy^lr;kθ=r+B^rsinθ,θ∈0,2π,r^0≤r≤r^1.Referring Cartwright theory to [22, page 251], we conclude that D^l(k;r) is of Cartwright’s class, and the lemma is thus proven.
Let us discuss the special case that α^l(k)≡0.
Lemma 5.
The meromorphic function α^l(k)≡0 if and only if n(rx^)≡1 along the incident angle x^.
Proof.
We begin with(50)y^l′r;ky^lr;k≡kjl′krjlkras a meromorphic function in k. Referring to [29–31, 33], jl′(kr) has zeros asymptotically distributed near the zeros of cos(kr), jl(kr) near the zero set of sin(kr). A similar property holds for y^l′(r;k) and y^l(r;k). Hence, whenever jl′(kr) has a zero, y^l′(r;k) has a zero; y^l(r;k) has one whenever jl(kr) has one. The two perturbations, jl(kr) and y^l(r;k), have the same set of Neumann and Dirichlet eigenvalues. By the inverse spectral uniqueness of Sturm-Liouville problem [3, 33], we have n≡1. The sufficient condition is obvious. This proves the lemma.
Thus, Lemma 4 merely describes the eigenvalue density of problem (34). To describe the density for (33), we may apply the translation invariant properties of interior transmission eigenvalues. Alternatively, we may consider the problem from the point of view of uniqueness theorem of ODE as in Section 1. In [r^1,r^2], except the previous eigenvalues of (34), we consider the new eigenvalue density of the problem produced on the second interval; that is,(51)y^l′′r;k+k2nrx^-ll+1r2y^lr;k=0,r^1<r<r^2;D^lk;r^1=0,D^lk;r^2=0.The density is zero, because y^l(r;k)/r and jl(rk) satisfy the same differential equation and initial condition at r^1 until r^2. Thus, there are only trivial eigenfunctions in [r^1,r^2]. One can prove inductively the density in each intersection interval, so we state the following theorem.
Theorem 6.
Let N^(α,β,R) denote the number of the eigenvalues of (33) inside the angle [α,β] and |z|≤R in C. One defines the density function as(52)Δ^α,β≔limR→∞N^α,β,RR.Then(53)Δ^-ϵ,ϵ=r^χD+∫0∞n1/2ρx^χDdρπ,in which χD is 1 in D, zero otherwise, and · is the Lebesgue measure.
Proof.
This is only Lemma 4 and the discussion on (51).
Now we refresh the idea of the eigenvalue tunneling.
Proposition 7.
If k solves the following ODE for some l≥0,(54)y^l′′r+k2nrx^-ll+1r2y^lr=0,r^0≔0<r<∞;D^lk;r^0=0;D^lk;r^1=0,then k is the eigenvalue to the following system for the same l also:(55)y^l′′r+k2nrx^-ll+1r2y^lr=0,0<r<∞;D^lk;r^0=0,D^lk;r^1=0,⋮D^lk;r^M^=0.
Proof.
Let the eigenvalue k solve the system of (54) for some l≥0, in which the first two equations there give an entire function in k and the third condition implies that the eigenvalues k of (54) form a discrete set in C [14, 26, 27]. With k given by (54), we continue ODE system (54) with the mixed boundary condition:(56)y^l′′r+k2nrx^-ll+1r2y^lr=0,r^1<r<r^2;D^lk;r^1=0;D^lk;r^2=0.The second equation above with D^l(k;r^1)=0 actually gives a new initial value problem at r^1; that is,(57)jlkrr=r^1=y^lr;krr=r^1;jlkr′r=r^1=y^lr;kr′r=r^1.Similarly, y^l(r;k) initiates at r^2 again and then tunnels consecutively into the infinity with the same k according to our construction in Section 1. The solution jl(kr) is a known function throughout R3. Hence, the given k satisfies(58)D^lk;r^0=0,D^lk;r^1=0,⋮D^lk;r^M^=0.This proves the lemma.
Definition 8.
One calls the eigenvalues of (55) that contributed by (59)y^l′′r+k2nrx^-ll+1r2y^lr=0,0<r<∞;D^lk;r^j=0;D^lk;r^j+1=0the eigenvalues generated in interval [r^j,r^j+1], where r^j, r^j+1∈R^.
In general, we can take r^j as the reference point by proceeding with the previous argument.
Proposition 9.
If k satisfies the following ODE for some l≥0 with a nontrivial solution,(60)y^l′′r+k2nrx^-ll+1r2y^lr=0,0<r<∞;D^lk;r^j=0;D^lk;r^j+1=0,then k is the eigenvalue to the following system:(61)y^l′′r+k2nrx^-ll+1r2y^lr=0,0<r<∞;D^lk;r^0=0,⋮D^lk;r^j=0,D^lk;r^j+1=0,⋮D^lk;r^M^=0.
Proof.
ODE (60) has a discrete spectrum. For any k in its spectrum we can extend the solution to the infinity and to the origin as we have argued in Lemma 2 or in Proposition 7.
4. A Proof of Theorem 1
Let k be an eigenvalue of (54). Then it solves (7) at x=R0, and w(x;k) is defined outside D through the analytic continuation of the Helmholtz equation. System (7) is radially symmetrically defined. Thus, with this same k, we can solve the ODE solution of (55) along all other directions in S2 by the piecewise construction in Lemma 2. Accordingly, the Fourier coefficients y^lr;k are defined for all angle x^, and w(x;k) is then extended into D with the given k. That is, the ODE spectrum along each scattered angle makes a part of the PDE spectrum. The spectrum of (54) is a subset of (1).
If nj, j=1,2, are two indices of refraction with solution y^lj(r;k) and determinant D^lj(k;r) and given with identical set of interior transmission eigenvalues, then for all r^1 and all l the following Sturm-Liouville problems in form of (54) hold with identical set of eigenvalues: (62)∂r2y^ljr+k2njrx^-ll+1r2y^ljr=0,0<r<r^1;D^ljk;0=0;D^ljk;r^1=0,j=1,2.This is one-dimensional inverse Sturm-Liouville problem [14, 26, 27, 29–31, 33]. The argument in [14, 26, 27] shows that n1 and n2 have identical solutions y^l1(r;k) and y^l2(r;k), which we briefly explain as follows. Lemma 4 suggests n1 and n2 have zero density of (63)ΔD^0jk;r^1-ϵ,ϵ=r^1+B^jr^1π,j=1,2.On the other hand, the equation (64)y^01r^1;k-y^02r^1;k=0has only density of B^1(r^1)/π or B^2(r^1)/π, and then we deduce from the maximal zero set density from Cartwright theory [22, page 251] that (65)y^01r^1;k-y^02r^1;k≡0.In particular, they have the same set of Dirichlet eigenvalues.
Similar argument shows that (66)∂ry^01r^1;k-∂ry^02r^1;k≡0.Particularly, they have the same set of Neumann eigenvalues. Hence, inverse uniqueness of the Bessel operator [30, Theorems 1.2 and 1.3] is applied to (62) and proves that n1(rx^)≡n2(rx^) in [r^0,r^1] for all x^. In this case, we have n1(rx^)=n2(rx^) for r∈[r^0,r^1] for all x^.
Now we see that n1(rx^)=n2(rx^) trivially in [r^1,r^2]. We use a similar argument on the interval [r^0,r^3]:(67)∂r2y^ljr+k2njrx^-ll+1r2y^ljr=0,0<r<r^1;D^ljk;0=0;D^ljk;r^3=0,j=1,2.If n1 and n2 have the same set of interior transmission eigenvalues, then they have the same spectrum for (67). From previous discussion, we conclude that n1(rx^)=n2(rx^) for r∈[r^0,r^3] for all x^. The argument holds for all intersection points inductively. This proves Theorem 1.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The author wants to thank Professor Chao-Mei Tu at NTNU for proofreading an earlier version of this paper.
KirschA.The denseness of the far field patterns for the transmission problem198637321322510.1093/imamat/37.3.213MR9839872-s2.0-0008426112ColtonD.MonkP.The inverse scattering problem for time-harmonic acoustic waves in an inhomogeneous medium19884119712510.1093/qjmam/41.1.97MR9346952-s2.0-0343683857AktosunT.GintidesD.PapanicolaouV. G.The uniqueness in the inverse problem for transmission eigenvalues for the spherically symmetric variable-speed wave equation20112711500410.1088/0266-5611/27/11/115004MR28519102-s2.0-80155171709AktosunT.GintidesD.PapanicolaouV. G.Reconstruction of the wave speed from transmission eigenvalues for the spherically symmetric variable-speed wave equation2013296065007CakoniF.ColtonD.HaddarH.The interior transmission eigenvalue problem for absorbing media201228404500510.1088/0266-5611/28/4/045005MR29032802-s2.0-84858722954CakoniF.ColtonD.GintidesD.The interior transmission eigenvalue problem20104262912292110.1137/100793542MR27457962-s2.0-78649801117ColtonD.PäivärintaL.SylvesterJ.The interior transmission problem200711132810.3934/ipi.2007.1.13MR2262743ColtonD.KressR.2013933rdNew York, NY, USASpringerApplied Mathematical Sciences10.1007/978-1-4614-4942-3MR2986407HitrikM.KrupchykK.OlaP.PäivärintaL. P.The interior transmission problem and bounds on transmission eigenvalues2011182279293HitrikM.KrupchykK.OlaP.PäivärintaL. P.Transmission eigenvalues for elliptic operators201143626302639KirschA.On the existence of transmission eigenvalues20093215517210.3934/ipi.2009.3.155MR2558284LiuH. Y.Schiffer's conjecture, interior transmission eigenvalues and invisibility cloaking: singular problem vs. nonsingular problem2013598Providence, RI, USAAmerican Mathematical Society147154Contemporary MathematicsRynneB. P.SleemanB. D.The interior transmission problem and inverse scattering from inhomogeneous media19912261755176210.1137/0522109MR1129409ChenL.-H.An uniqueness result with some density theorems with interior transmission eigenvalues20159481527154410.1080/00036811.2014.936403MR33568492-s2.0-84904081234LakshtanovE.VainbergB.Bounds on positive interior transmission eigenvalues2012281010500510.1088/0266-5611/28/10/105005LakshtanovE.VainbergB.Weyl type bound on positive interior transmission eigenvalues20143991729174010.1080/03605302.2014.881853MR32460412-s2.0-84905660318LakshtanovE.VainbergB.Remarks on interior transmission eigenvalues, Weyl formula and branching billiards2012451212520210.1088/1751-8113/45/12/125202McLaughlinJ. R.PolyakovP. L.On the uniqueness of a spherically symmetric speed of sound from transmission eigenvalues1994107235138210.1006/jdeq.1994.1017MR1264527ZBL0803.351632-s2.0-38149147713CartwrightM. L.On the directions of Borel of functions which are regular and of finite order in an angle193338503541CartwrightM. L.1956Cambridge, UKCambridge University PressMR0077622KoosisP.1997New York, NY, USACambridge University PressLevinB. Ja.1972Providence, RI, USATranslations of Mathematical Mongraphs, American Mathematical SocietyMR0156975LevinB. Ja.1996150Providence, RI, USAAMSSunJ.Estimation of transmission eigenvalues and the index of refraction from Cauchy data201127101500910.1088/0266-5611/27/1/015009MR27464122-s2.0-78651351402ZengF.TurnerT.SunJ.Some results on electromagnetic transmission eigenvalues201538115516310.1002/mma.3058ChenL.-H.A uniqueness theorem on the eigenvalues of spherically symmetric interior transmission problem in absorbing medium201560214516710.1080/17476933.2014.900055MR32980752-s2.0-84920648943ChenL.-H.On the inverse spectral theory in a non-homogeneous interior transmission problem201560570773110.1080/17476933.2014.970541MR3326273AbramowitzM.StegunI. A.1956Washington, DC, USANational Bureau of StandardsApplied Mathematics Series 55CarlsonR.Inverse spectral theory for some singular Sturm-Liouville problems1993106112114010.1006/jdeq.1993.1102MR12491802-s2.0-38249000613CarlsonR.A Borg-Levinson theorem for Bessel operators1997177112610.2140/pjm.1997.177.1MR14447692-s2.0-0008070416CarlsonR.Inverse Sturm-Liouville problems with a singularity at zero1994104851864MR1286625ColtonD.LeungY.-J.MengS.Distribution of complex transmission eigenvalues for spherically stratified media201531303500610.1088/0266-5611/31/3/035006PöschelJ.TrubowitzE.1987Orlando, Fla, USAAcademic PressMR894477BoasR. P.1954New York, NY, USAAcademic PressMR0068627MarchenkoV. A.1986Basel, SwitzerlandBirkhaeuser