NEW RESULTS ON TRANSMISSION EIGENVALUES. Fioralba Cakoni. Drossos Gintides

Similar documents
Transmission Eigenvalues in Inverse Scattering Theory

Transmission Eigenvalues in Inverse Scattering Theory

ITERATIVE METHODS FOR TRANSMISSION EIGENVALUES

THE INTERIOR TRANSMISSION PROBLEM FOR REGIONS WITH CAVITIES

SPECTRAL APPROXIMATION TO A TRANSMISSION EIGENVALUE PROBLEM AND ITS APPLICATIONS TO AN INVERSE PROBLEM

ON THE EXISTENCE OF TRANSMISSION EIGENVALUES. Andreas Kirsch1

The Imaging of Anisotropic Media in Inverse Electromagnetic Scattering

Transmission Eigenvalues in Inverse Scattering Theory

Estimation of transmission eigenvalues and the index of refraction from Cauchy data

Discreteness of Transmission Eigenvalues via Upper Triangular Compact Operators

Transmission eigenvalues and non-destructive testing of anisotropic magnetic materials with voids

Inverse Scattering Theory: Transmission Eigenvalues and Non-destructive Testing

Inverse Scattering Theory and Transmission Eigenvalues

The Interior Transmission Eigenvalue Problem for Maxwell s Equations

A coupled BEM and FEM for the interior transmission problem

The inverse transmission eigenvalue problem

An eigenvalue method using multiple frequency data for inverse scattering problems

The inverse transmission eigenvalue problem

Computation of Maxwell s transmission eigenvalues and its applications in inverse medium problems

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

STEKLOFF EIGENVALUES AND INVERSE SCATTERING THEORY

Transmission eigenvalues in inverse scattering theory

Factorization method in inverse

Notes on Transmission Eigenvalues

Homogenization of the transmission eigenvalue problem for periodic media and application to the inverse problem

DISTRIBUTION A: Distribution approved for public release.

ON THE MATHEMATICAL BASIS OF THE LINEAR SAMPLING METHOD

Uniqueness in determining refractive indices by formally determined far-field data

Transmission eigenvalues with artificial background for explicit material index identification

The eigenvalue problem for a bianisotropic cavity

Recursive integral method for transmission eigenvalues

Homogenization of the Transmission Eigenvalue Problem for a Periodic Media

Completeness of the generalized transmission eigenstates

The Asymptotic of Transmission Eigenvalues for a Domain with a Thin Coating

LECTURE 5 APPLICATIONS OF BDIE METHOD: ACOUSTIC SCATTERING BY INHOMOGENEOUS ANISOTROPIC OBSTACLES DAVID NATROSHVILI

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION

I teach myself... Hilbert spaces

The factorization method for a cavity in an inhomogeneous medium

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

The Factorization Method for Maxwell s Equations

Monotonicity-based inverse scattering

The Inside-Outside Duality for Scattering Problems by Inhomogeneous Media

Some Old and Some New Results in Inverse Obstacle Scattering

Second Order Elliptic PDE

Your first day at work MATH 806 (Fall 2015)

The Dirichlet-to-Neumann operator

FUNCTIONAL ANALYSIS-NORMED SPACE

Weak Formulation of Elliptic BVP s

The Factorization Method for Inverse Scattering Problems Part I

Spectral theory for compact operators on Banach spaces

Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

A probing method for the transmission eigenvalue problem

Fioralba Cakoni 1, Houssem Haddar 2, Thi-Phong Nguyen 1 1 Department of Mathematics, Rutgers University, 110 Frelinghuysen Road, 1.

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem

Analysis Preliminary Exam Workshop: Hilbert Spaces

A Direct Method for reconstructing inclusions from Electrostatic Data

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Friedrich symmetric systems

The Factorization Method for a Class of Inverse Elliptic Problems

CHAPTER VIII HILBERT SPACES


ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS

Problem Set 6: Solutions Math 201A: Fall a n x n,

On the Spectrum of Volume Integral Operators in Acoustic Scattering

MATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY

An introduction to some aspects of functional analysis

and finally, any second order divergence form elliptic operator

MATH 202B - Problem Set 5

The following definition is fundamental.

Metric Spaces and Topology

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

On uniqueness in the inverse conductivity problem with local data

Computations of Critical Groups at a Degenerate Critical Point for Strongly Indefinite Functionals

Problem Set 2: Solutions Math 201A: Fall 2016

Perturbation Theory for Self-Adjoint Operators in Krein spaces

On the spectrum of the Laplacian

Nonlinear error dynamics for cycled data assimilation methods

L<MON P QSRTP U V!WYX7ZP U

NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction

THE ESSENTIAL SELF-ADJOINTNESS OF SCHRÖDINGER OPERATORS WITH OSCILLATING POTENTIALS. Adam D. Ward. In Memory of Boris Pavlov ( )

EXISTENCE OF GUIDED MODES ON PERIODIC SLABS

A Spectral Characterization of Closed Range Operators 1

Asymptotic Behavior of Waves in a Nonuniform Medium

DOUBLY PERIODIC SELF-TRANSLATING SURFACES FOR THE MEAN CURVATURE FLOW

Stability and instability in inverse problems

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

A Short Course on Frame Theory

Appendix A Functional Analysis

1 Functional Analysis

Konstantinos Chrysafinos 1 and L. Steven Hou Introduction

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

A method for creating materials with a desired refraction coefficient

Math 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian

THE STRESS-ENERGY TENSOR AND POHOZAEV'S IDENTITY FOR SYSTEMS. 1. Introduction. n 2. u 2 + nw (u) dx = 0. 2

Review and problem list for Applied Math I

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

Transcription:

Inverse Problems and Imaging Volume 0, No. 0, 0, 0 Web site: http://www.aimsciences.org NEW RESULTS ON TRANSMISSION EIGENVALUES Fioralba Cakoni epartment of Mathematical Sciences University of elaware Newark, elaware 976-2553, USA rossos Gintides epartment of Mathematics National Technical University of Athens Zografou Campus, 5780 Athens, Greece Abstract. We consider the interior transmission eigenvalue problem corresponding to the inverse scattering problem for an isotropic inhomogeneous medium. We first prove that transmission eigenvalues exist for media with index of refraction greater or less than one without assuming that the contrast is sufficiently large. Then we show that for an arbitrary Lipshitz domain with constant index of refraction there exists an infinite discrete set of transmission eigenvalues that accumulate at infinity. Finally, for the general case of non constant index of refraction we provide a lower and an upper bound for the first transmission eigenvalue in terms of the first transmission eigenvalue for appropriate balls with constant index of refraction.. Introduction The interior transmission problem is a boundary value problem in a bounded domain which arises in inverse scattering theory for inhomogeneous media. Although simply stated, this problem is not covered by the standard theory of elliptic partial differential equations since as it stands it is neither elliptic nor self-adjoint. Of particular interest is the spectrum associated with this boundary value problem, more specifically the existence of eigenvalues which are called transmission eigenvalues. Besides the theoretical importance of transmission eigenvalues in connection with uniqueness and reconstruction results in inverse scattering theory, recently they have been used to obtain information about the index of refraction from measured data [], [6]. This is based on the important result that transmission eigenvalues can be determined from the measured far field data which is recently proven in [3]. For information on the interior transmission problem, we refer the reader to [8] and [9]. Up to recently, most of the known results on the interior transmission problem are concerned with when the problem is well-posed. Roughly speaking, two main approaches are available in this direction, namely integral equation methods [7], 2000 Mathematics Subject Classification: Primary: 35R30, 35Q60, 35J40, 78A25. Key words and phrases: Interior transmission problem, transmission eigenvalues, inhomogeneous medium, inverse scattering problem. The research of F. Cakoni was supported in part by the U.S. Air Force Office of Scientific Research under Grant FA-9550-08--038. c 0 AIMSciences

2 Fioralba Cakoni and rossos Gintides [0], and variational methods typically applied to a fourth order equivalent boundary value problem [2], [5], [5]. However, except for the case of spherically stratified medium [8], [9], until recently little was known about the existence and properties of transmission eigenvalues. Applying the analytic Fredholm theory it was possible to show that transmission eigenvalues form at most a discrete set with infinity as the only possible accumulation point. However, nothing was known in general about the existence of transmission eigenvalues untill the recent important result of Päivärinta and Sylvester [4] who were the first to show that, in the case of scalar) isotropic media, a finite number of transmission eigenvalues exist provided the index of refraction is bounded away from one. Kirsch [], and Cakoni and Haddar [5] have extended this existence result to the case of anisotropic media for both the scalar case and Maxwell s equations. Most recently, the analysis of the interior transmission problem and the existence of the corresponding eigenvalues have been established for the case when inside the medium there are subregions with index of refraction equal to one i.e cavities) which provides the theoretical background for an application of transmission eigenvalues in non-destructive testing []. However, the existence of transmission eigenvalues is proven under the restriction that the contrast of the inhomogeneous medium is sufficiently large and the larger the contrast is the more transmission eigenvalues are shown to exist. The goal of this paper is to first show that for an inhomogeneous medium with bounded support there exists at least one eigenvalue provided that the index of refraction is less than or greater than one inside the medium, thus removing the restriction on the index of refraction being sufficiently large. This is done using the transmission eigenvalues and eigenvectors corresponding to a ball inside the support of the inhomogeneity with constant index of refraction equal to the supremum of the actual index of refraction. In addition, for the case of a homogneous medium, we show that there exists infinitely many transmission eigenvalues with infinity as the only accumulation point. Our analysis makes use of the analytical framework discussed in [5] in particular of an auxilarly eigenvalue problem for a self adjoint coercive operator which depends in a non-linear fashion on a parameter. Specific values of this parameter correspond to transmission eigenvalues. The main tool of our approach is a monotonicity relation that we establish for the eigenvalues of this auxiliary eigenvalue problem with respect to the domain. Finally, as a byproduct of our analysis we obtain a lower and an upper bound for the first transmission eigenvalue for an arbitrary inhomogeneous medium in terms of the first transmission eigenvalue for the smallest ball containing the scatterer and the largest ball contained in the scatterer for the both cases of a positive or negative contrast in the medium. The lower bound is an improvement of the lower bound obtained in [4] and [9] but is implicit in terms of the supremum of the index of refraction. We conclude by noting that many questions related to the spectrum of interior transmission problems still remain open. In particular, the next step is to show the existence of an infinite discrete set of transmission eigenvalues for the general case of media with non-constant index of refraction and for other scattering problems such as for Maxwell s equations and anisotropic media.

New results on transmission eigenvalues 3 2. Interior transmission eigenvalue problem The interior transmission eigenvalue problem corresponding to the scattering by an isotropic inhomogenous medium in R 3 reads: ) 2) w + k 2 nx)w = 0 in v + k 2 v = 0 in 3) w = v on 4) w ν = v ν on for w L 2 ) and v L 2 ) such that w v H0 2 ) where { } H0 2 ) = u H 2 u ) : u = 0 and = 0 on. ν Here we assume that the index of refraction is a real valued function such that n L ), / nx) L ) and nx) δ > 0 almost everywhere in. It is known that for complex index of refraction n this problem has only the zero solution). Furthermore, we assume that R 3 is a bounded simply connected region with Lipschitz boundary and denote by ν the outward normal vector to. We remark that everything in this paper holds true for the same equations in R 2. Transmission eigenvalues are the values of k > 0 for which the above homogeneous interior transmission problem has non zero solutions. It is possible to write )-4) as an equivalent eigenvalue problem for u = w v H0 2 ) satisfying the following fourth order equation 5) + k 2 n ) + k 2 ) u = 0 n In the variational form 5) is formulated as the problem of finding a function u H0 2 ) such that 6) n u + k2 u) v + k 2 nv) dx = 0 for all v H 2 0 ). Following [5] we set k 2 := τ and define the following bounded sesquilinear forms on H0 2 ) H0 2 ): ) 7) A τ u, v) = u + τu), v + τv) + τ 2 u, v) n, ) 8) Ã τ u, v) = u + τnu), v + τnv) + τ 2 nu, v) n ) n = u + τu), v + τv) + u, v) n and 9) Bu, v) = u, v) where, ) denotes the L 2 ) inner product. Then 6) can be written as either 0) A τ u, v) τbu, v) = 0 for all v H 2 0 ), or ) Ã τ u, v) τbu, v) = 0 for all v H 2 0 ).

4 Fioralba Cakoni and rossos Gintides Note that Ãτ = A τ + 2τB. We use different notations A τ and Ãτ to simplify the presentation as it will become clear in the following). In [5] it is proven that if nx) > γ > 0 almost everywhere in then A τ is a coersive sesquilinear form on H0 2 ) H0 2 nx) ) whereas if > γ > 0 almost everywhere in then Ãτ nx) is a coersive sesquilinear form on H0 2 ) H0 2 ). Using the Riesz representation theorem we now define the bounded linear operators A τ : H0 2 ) H0 2 ), Ãτ : H0 2 ) H0 2 ) and B : H0 2 ) H0 2 ) by A τ u, v) H2 ) = A τ u, v), Ãτ u, v) = Ãτ u, v) and Bu, v) H2 ) = Bu, v). H 2 ) As is shown in [5], since n is real the sesquilinear forms A τ, Ã τ and B are hermitian and therefore the operators A τ, Ãτ and B are self-adjoint. Furthermore, by definition, B is a non negative operator and if nx) > γ > 0 then A τ is a positive nx) definite operator, whereas if nx) > γ > 0 then Ãτ is a positive definite operator. Finally, noting that for u H0 2 ) we have that u H0 ) 2, since H0 ) 2 is compactly embedded in L 2 ) 2 we can conclude that B : H0 2 ) H0 2 ) is a compact operator. Also A τ and Ãτ depend continuously on τ 0, + ). From the above discussion, k > 0 is a transmission eigenvalue if for τ = k 2 the kernel of the operator A τ τb if /n ) > γ > 0) or the operator Ãτ τb if n/ n) > γ > 0) is non trivial. In order to analyze the kernel of these operators we consider an auxiliary eigenvalue problem 2) A τ u λτ)bu = 0 u H 2 0 ) if /n ) > γ > 0 and 3) Ã τ u λτ)bu = 0 u H 2 0 ) if n/ n) > γ > 0. The eigenvalue problems 2) and 3) fit into the following abstract analytical framework which is discussed in [5]. In particular, let U be a separable Hilbert space with scalar product, ), A be a bounded, positive definite and self-adjoint operator on U and let B be a non negative, self-adjoint and compact bounded linear operator on U. Then there exists an increasing sequence of positive real numbers λ j ) j and a sequence u j ) j of elements of U such that Au j = λ j Bu j. The sequence u j ) j form a basis of A kerb)) and if kerb) has infinite dimension then λ j + as j see Theorem 2. in [5]). Furthermore these eigenvalues satisfy a min-max principle see Corollary 2. [5]), namely ) Au, u) 4) λ j = min max W U j u W \{0} Bu, u) where U j denotes the set of all j dimensional subspaces W of U such that W kerb) = {0} and λ λ 2.... The following theorem proved in [5] is needed in our analysis for proving the existence of transmission eigenvalues. Theorem 2.. Let τ A τ be a continuous mapping from ]0, [ to the set of self-adjoint and positive definite bounded linear operators on U and let B be a selfadjoint and non negative compact bounded linear operator on U. We assume that there exists two positive constant τ 0 > 0 and τ > 0 such that. A τ0 τ 0 B is positive on U,

New results on transmission eigenvalues 5 2. A τ τ B is non positive on a m dimensional subspace of U. Then each of the equations λ j τ) = τ for j =,..., m, has at least one solution in [τ 0, τ ] where λ j τ) is the j th eigenvalue counting multiplicity) of A τ with respect to B, i.e. ker A τ λ j τ)b) {0}. Returning to 2) and 3) and setting U := H0 2 ), we have that 2) and 3) have a countable set of eigenvalues {λ k τ)} j= that satisfy the min-max principle 4). Moreover, for the above discussion, each λ k τ) is a continuous function of τ and k > 0 is a transmission eigenvalue if τ := k 2 is a zero of any of nonlinear equations 5) λ k τ) τ = 0. Remark 2.. The multiplicity of transmission eigenvalues is finite since, if k 0 is a transmission eigenvalue, then the kernel of I τ 0 A /2 τ 0 BA /2 τ 0 or I τ 0 Ã /2 τ BÃ /2 0 τ 0 where τ 0 := k0 2 is finite because the operators τ 0 Ã /2 τ BÃ /2 0 τ 0 and τ 0 Ã /2 τ BÃ /2 0 τ 0 are compact and self-adjoint if /n ) > γ > 0) and if n/ n) > γ > 0), respectively [2]. Remark 2.2. Based on the analytic Fredholm theory it is shown [8] that transmission eigenvalues can have only + as a possible accumulation point. We end this section by recalling some well-known results on transmission eigenvalues for a ball. Let B be a ball centered at the origin and let us consider the interior transmission problem for the ball B with constant index of refraction n > 0 and n. 6) 7) w + k 2 nw = 0 in B v + k 2 v = 0 in B 8) w = v on B 9) w ν = v ν on B By a separation of variables technique, it is possible to show [9] see also [8]) that 6)-9) has a countable discrete set of eigenvalues {k j } j=. Let vb,n j and w B,n j be a non zero solution of 6)-9) corresponding to k j, j =,... enoting u B,n j := w B,n j v B,n j we have that u B,n j H0 2 B) and 20) n ub,n j + kj 2 u B,n j ) u B,n j + kj 2 nu B,n j ) dx = 0. a transmission eigenfunction corresponding to the transmission eigen- We call u B,n j value k j. B 3. On the existence of a transmission eigenvalue. Now we are ready to prove our fist result, namely the proof of the existence of at least one transmission eigenvalue without the restriction that the index of refraction is sufficiently large [5], [4]. To this end, we show that for the equation 2) if /n ) > γ > 0 and the equation 3) if n/ n) > γ > 0 there exist τ 0 and τ satisfying the assumption and 2, respectively, in Theorem 2.. In the following we denote by n = inf n) and n = sup n) and assume that the origin of the coordinative system is inside.

6 Fioralba Cakoni and rossos Gintides Theorem 3.. Let n L ) satisfying either one of the following assumptions ) + α n nx) n <, 2) 0 < n nx) n < β. for some α > 0 and β > 0 positive constants. transmission eigenvalue. Then, there exists at least one Proof. First assume that assumption ) holds. This assumption also implies that 0 < n nx) n < and according to the above, A τ and B, τ > 0 satisfy the assumptions of Theorem 2. with U = H 2 0 ). Using the Poincaré inequality 2) u 2 L 2 ) λ 0 ) u 2 L 2 ) we have that see [5] for more details) 22) A τ u τbu, u) H 2 γ γ2 0 ɛ τ ) u 2 L λ 0 ) + τ + γ 2 ɛ) u 2 L 2 with γ = n and γ < ɛ < γ +. Hence A τ τb is positive as long as τ < ) γ γ2 λ 0 ). In particular, taking ɛ arbitrary close to γ +, the latter becomes ɛ τ < γ +γ λ 0) = λ0) sup n). Then any positive number τ 0 smaller then λ0) sup n) satisfies assumption of Theorem 2.. Next we have that A τ u τbu, u) H 2 0 ) = n u + τu 2 dx + τ 2 u 2 dx τ u 2 dx 23) n u + τu 2 dx + τ 2 u 2 dx τ u 2 dx Now let B be a ball contained in centered at the origin and u := w B,n j 0 H0 2 B ) be a transmission eigenfunction corresponding to the transmission v B,n j 0 eigenvalue k j0 for some j 0 for the ball B with index of refraction n and let τ = k 2 j 0. The extension by zero ũ in the whole of u is a function in H 2 0 ). Using 20) and 23) we have that A τ ũ τ Bũ, ũ ) H 2 0 ) 0. Hence from Theorem 2. there exists a transmission eigenvalue k > 0 such that k 2 is between τ 0 and τ. Next we assume that assumption 2) holds. The proof for this case uses similar arguments as in the previous case after replacing A τ with Ãτ. In this case we have that 0 < n nx) n nx) n n <, and therefore according to the above, Ã τ and B, τ > 0 satisfy the assumptions of Theorem 2. with U = H0 2 ). Now we have see [5] for more details) 24) Ãτ u τbu, u) + γ ɛ τ ) ) u γ 2L2 λ 0 ) + τ γ2 u 2 L ɛ 2 H 2 0

New results on transmission eigenvalues 7 with γ = n n and γ < ɛ < γ +. Hence Ãτ τb is positive as long as τ < + γ ɛ) λ 0 ). In particular letting ɛ be arbitrarily close to γ shows in this case that any τ 0 < λ 0 ) satisfies the assumption in Theorem 2.. Next we have n Ãτ u τbu, u) = H0 2) n u + τu 2 dx + u 2 dx τ u 2 dx 25) n n u + τu 2 dx + u 2 dx τ u 2 dx. Again we consider B be a ball contained in centered at the origin and u := w B,n j 0 v B,n j 0 H0 2 B ) be a transmission eigenfunction corresponding to the transmission eigenvalue k j0 for some j 0 for the ball B now with index of refraction n and let τ = kj 2 0. The extension by zero ũ in the whole of u is a function in H0 2 ). Using 20) and 25) we now have that ) Ãτ ũ τ Bũ, ũ 0 H0 2) and the existence of a transmission eigenvalue k > 0 such that k 2 is between τ 0 and τ is guaranteed by Theorem 2.. 3.. The existence of an infinite discrete set of transmission eigenvalues for constant index of refraction. Our next goal is to show that for an arbitrary domain there exists indeed an infinite countable number of transmission eigenvalues in the case when the index of refraction is a positive constant n > 0 such that n. Note that for a ball and spherically stratified medium the result has been proven in [9].) We consider two balls B and B 2 centered at the origin with radius r and r 2, respectively such that B B 2. Next we consider the interior transmission eigenvalue problem for B, B 2 and with index of refraction n, i.e. 6)-9) with B replaced by B and B 2, respectively and )-4) with nx) replaced by the constant n. We denote by A B τ on H0 2 B ), A B2 τ on H0 2 B 2 ) and A τ on H0 2 ) the corresponding operators defined in Section 2 and similarly we also have ÃB τ, à B2 τ and à τ. The eigenvalues of these operators with respect to the operator B defined on the corresponding space), i.e. the eigenvalues of corresponding problems 2) or 3), are denoted by λ j τ, B ), λ j τ, B 2 ) and λ j τ, ), j =,... The inclusion B induces a natural embedding H0 2 B ) H0 2 ) just by extending by zero functions in H0 2 B ) to the whole. Similarly, because B 2 we also have H0 2 ) H0 2 B 2 ). In particular, min-max principle 4) implies the following monotonocity 26) λ j τ, B 2 ) λ j τ, ) λ j τ, B ). Note that the kernel of B contains only constant functions which are not in H 2 0 except for the zero function). Theorem 3.2. Assume that the index of refraction n > 0 is a positive constant such that n. Then there exists an infinite discrete set of transmission eigenvalues with + as accumulation point. Proof. Let us denote by a = r 2 /r > and make the change of variable x = ax. Obviously, if x B then x B 2. Scaling properties of the Helmholz equation give that if k j,b, j =,... is a transmission eigenvalue for the ball B and u B j x) = w B j x) v B j x) is a corresponding eigenfunction then k j,b2 := k j,b /a

8 Fioralba Cakoni and rossos Gintides is a transmission eigenvalue for the ball B 2 and ũ B2 j x) := u B j x/a) is a corresponding eigenfunction and conversely. Hence there is a one to one correspondence between transmission eigenvalues for B and B 2 and we count them accordingly. Obviously, from Section 2 we have that for any j N there exists a m j such that kj,b 2 = λ mj kj,b 2, B ). The same scaling property is inherited by the eigenvalue problem 2) or 3). Indeed, if n > we have that for u H0 2 B ) and ũ H0 2 B 2 ) Ru, τ, B ) = 27) n u + τu 2 B + τ 2 u 2 B u 2 B = = a 2 n ũ + τ a 2 ũ 2 B 2 + τ a 2 ) 2 ũ 2 B2 ũ 2 B 2 Similarly, for 0 < n < we have that Ru, τ, B ) = 28) n n u + τu 2 B + u 2 B u 2 B = = a 2 n n ũ + τ a 2 ũ 2 B 2 + ũ 2 B 2 ũ 2 B 2 Hence form 27) and 28) for both cases we have 29) a 4 n ũ + τ a 2 ũ 2 B 2 + τ 2 ũ 2 B 2 a 2 ũ 2 B 2 = a 2 R ũ, τ ) a 2, B 2. a 4 n n ũ + τ a ũ 2 2 B 2 + a 4 ũ 2 B 2 a 2 ũ 2 B 2 = a 2 R ũ, τ a 2, B 2 ). λ j τ, B ) = min max Ru, τ, B ) W U j u W \{0} = a 2 min max R ũ, τ ) τ ) ũ W \{0} a 2, B 2 = a 2 λ j a 2, B 2 W Ũj where U j denotes the set of all j dimensional subspaces W of H0 2 B ) and Ũj denotes the set of all j dimensional subspaces W of H0 2 B 2 ). Thus, from 29) we can write ) k 2 j,b 2 = a 2 k2 j,b = a 2 λ m j k 2 j,b, B ) = λ mj k 2 j,b a 2, B 2 = λ mj k 2 j,b 2, B 2 ). Hence we have proven that for every j =,..., there exists a m j such that 30) k 2 j,b = λ mj k 2 j,b, B ) and k 2 j,b 2 = λ mj k 2 j,b 2, B 2 ) where k j,b > 0 and k j,b2 > 0 are the transmission eigenvalue for the ball B and B 2. Recall that k j,b = ak j,b2 > k j,b2. Now as mentioned before transmission eigenvalues for are the zeros of continuous functions f j τ) := λ j τ, ) τ j N. For τ = kj,b 2 2 we have that and f mj k 2 j,b 2 ) = λ mj k 2 j,b 2, ) k 2 j,b 2 λ mj k 2 j,b 2, B 2 ) k 2 j,b 2 = 0 f mj k 2 j,b ) = λ mj jk 2 j,b, ) k 2 j,b λ mj k 2 j,b, B ) k 2 j,b 2 = 0. Therefore by continuity f mj has a zero in the interval [kj,b 2, kj,b 2 ], whence there exists a transmission eigenvalue in each of the intervals [kj,b 2 2, kj,b 2 ], for j N. Since k j,b2 + and k j,b + as j +, we have shown the existence of an infinite set of transmission eigenvalues.

New results on transmission eigenvalues 9 Note that form [9] and [3] one has the following asymptotic behavior of the transmission eigenvalues for a ball B of radius r with constant index of refraction n k 2 j,b = j 2 π 2 r 2 n ) 2 + O) for j large enough. Now for the arbitrary domain, let {k j } be the sequence of transmission eigenvalues that we recovered in the above analysis. Hence for j large enough we have j 2 π 2 r2 2 n ) + C 2 kj 2 j 2 π 2 r 2 n ) + C 2 2 where C and C 2 are two constant independent of n and j) and r is the radius of the ball B and r 2 is the radius of the ball B 2. 3.2. Bounds for the first transmission eigenvalue. We end by providing a lower and an upper bound for the first transmission eigenvalue for an arbitrary domain and index of refraction nx) in terms of the first eigenvalue for appropriate balls with constant index of refraction. Corollary 3.. Let n L ) and let B be the largest ball B and B 2 the smallest ball B 2. Then ) If + α n nx) n < then 2) If 0 < n nx) n < β then 0 < k,b2,n k,,nx) k,b,n 0 < k,b2,n k,,nx) k,b,n where k,b2,n and k,b2,n are the first transmission eigenvalue corresponding to the ball B 2 with constant index of refraction n and n respectively, k,,nx) is the first transmission eigenvalue of with the given index of refraction nx) and k,b,n and k,b,n are the first transmission eigenvalue for the ball B with index of refraction n and n, respectively. Proof. Assume first that + α n nx) n <. Then obviously for any u H0 2 ) we have n u + τu 2 + τ 2 u 2 nx) u 2 u + τu 2 dx + τ 2 u 2 u 2 n u + τu 2 + τ 2 u 2 3) u 2. Therefore from 4) we have that for an arbitrary τ > 0 32) λ τ, B 2, n ) λ τ,, n ) λ τ,, nx)) λ τ,, n ) λ τ, B, n ) where λ τ,, n ), λ τ,, nx)) and λ τ,, n ) are the fist eigenvalue of the auxiliary problem for and n, nx) and n, respectively, and λ τ, B 2, n ) and λ τ, B, n ) are the first eigenvalue of the auxiliary problem for B 2, n and B, n, respectively. Now for τ := k,b,n, B we have that λ τ,, nx)) τ 0 since in the subspace spanned by the extension by zero to the whole of the the eigenfunction ũ B,n the Rayleigh quotient minus τ for τ = τ becomes negative. On the other hand, for τ 0 := k,,b2,n B 2 we have λ τ 0, B 2, n ) τ 0 = 0 and hence λ τ 0,, nx)) τ 0 0. Therefore the first eigenvalue k,,nx) corresponding

0 Fioralba Cakoni and rossos Gintides to and nx) is between k,b2,n and k,b,n. Note that there is no transmission eigenvalue for and nx) that is less then k,b2,n. Indeed if there is a transmission eigenvalue strictly less then k,b2,n then by the monotonocity of the eigenvalues of the auxiliary problem with respect to the domain and the fact that for τ small enough there are no transmission eigenvalues we would have found an eigenvalue of the ball B 2 and n that is strictly smaller then the first eigenvalue. The case for 0 < n nx) n < β can be proven in the same way if n is replaced by n. References [] F. Cakoni, M. Cayoren and. Colton, Transmission eigenvalues and the nondestructive testing of dielectrics, Inverse Problems 24 2008), 06606. [2] F. Cakoni, Colton and H Haddar, The linear sampling method for anisotropic media, J. Comput. Appl. Math., 46, 285-299 2002). [3] F. Cakoni, Colton and H Haddar, On the determination of irichlet and transmission eigenvalues from far field data, submitted for publication. [4] F. Cakoni,. Colton and H. Haddar, The interior transmission problem for region with cavities, submitted for publication. [5] F. Cakoni,. Colton and P. Monk, On the use of transmission eigenvalues to estimate the index of refraction from far field data, Inverse Problems 23 2007), 507-522. [6] F. Cakoni and H Haddar, On the existence of transmission eigenvalues in an inhomogeneous medium, Applicable Analysis, to appear. [7]. Colton, A. Kirsch and L. Päivärinta, Far eld patterns for acoustic waves in an inhomogeneous medium, SIAM Jour. Math. Anal., 20, 472-483 989). [8]. Colton and R. Kress, Inverse Acoustic and Electromagnetic Scattering Theory, 2nd edition, Vol. 93 in Applied Mathematical Sciences, Springer, New York, 998. [9]. Colton, L. Päivärinta and J. Sylvester, The interior transmission problem, Inverse Problems and Imaging 2007), 3-28. [0] A. Kirsch, An integral equation approach and the interior transmission problem for Maxwell s equations, Inverse Problems and Imaging,, 59-79 2007). [] A. Kirsch, On the existence of transmission eigenvalues, Inverse Problems and Imaging 3 2009), 55-72. [2] E Kreyszig, Introductory Functional Analysis with Applications, John Wiley, New York. 978). [3] J. R. McLaughlin and P. L. Polyakov, On the uniqueness of a spherically symmetric speed of sound from transmission eigenvalues, Jour. ifferential Equations 07 994), 35-382. [4] L. Päivärinta and J. Sylvester, Transmission Eigenvalues, SIAM J. Math. Anal. 40 2008), 738-753. [5] B. P. Rynne and B.. Sleeman, The interior transmission problem and inverse scattering from inhomogeneous media, SIAM J. Math. Anal. 22 992), 755-762. Received for publication E-mail address: cakoni@math.udel.edu E-mail address: dgindi@math.ntua.gr