Transmission Eigenvalues and Non-scattering

In this paper we survey some recent results concerning scattering and non-scattering in the context of the linear Helmholtz equation and inhomogeneities of nontrivial contrast. We examine isotropic as well as anisotropic media. Part of the survey deals with the so-called transmission spectrum, namely those wave numbers at which non-scattering potentially may occur. For wave numbers that are not transmission eigenvalues any incident wave leads to scattering, however, being at a transmission eigenvalue is far from su!cient to guarantee the occurence of non-scattering for even a single incident wave. For instance the inhomogeneity generically has to be smooth for non-scattering to occur. Similarly many smooth geometric shapes will be scattering for natural incident waves even at a transmission eigenvalue. Part of the survey discusses recent results of that nature.

💡 Research Summary

This paper surveys recent advances concerning scattering and non‑scattering for the linear Helmholtz equation in the presence of inhomogeneities with non‑trivial contrast. The authors treat both isotropic (A ≡ I) and anisotropic (A ≠ I) media, and they focus on the so‑called transmission spectrum, i.e., the set of wave numbers k for which a non‑scattering incident field may exist.

The basic model consists of a bounded domain D⊂ℝᵈ (d = 2, 3) occupied by a material characterized by a symmetric positive‑definite matrix‑valued coefficient A_D(x) and a scalar refractive index n_D(x). Both coefficients equal the identity and one, respectively, outside D. An incident time‑harmonic field u_in satisfies the Helmholtz equation in the homogeneous background, while the total field u = u_in + u_sc satisfies a transmission problem across ∂D. The scattered field u_sc obeys the Sommerfeld radiation condition at infinity.

A wave number k>0 is called a non‑scattering wave number if there exists a non‑trivial incident field u_in such that the corresponding scattered field vanishes identically outside D. This definition leads directly to an over‑determined boundary value problem: inside D the scattered field must satisfy a second Helmholtz‑type equation with source terms generated by u_in, while on ∂D it must satisfy both Dirichlet and Neumann homogeneous conditions.

Relaxing the requirement that u_in be prescribed, the authors introduce the transmission eigenvalue problem (TEP): find k∈ℂ and a pair (u, v) with u solving ∇·A_D∇u + k²n_D u = 0 in D, v solving Δv + k²v = 0 in D, and the Cauchy data u = v, ν·A_D∇u = ν·∇v on ∂D. Non‑scattering can only occur at transmission eigenvalues, but the converse is false in general because the interior eigenfunction v need not extend to a global incident field that solves the Helmholtz equation in the whole space.

The paper emphasizes that regularity of the inhomogeneity is essential for genuine non‑scattering. If D has corners, edges, or conical singularities, any incident wave is scattered; this follows from earlier works and is reiterated here. Conversely, for sufficiently smooth (Lipschitz, W¹,∞) coefficients and smooth boundaries, the TEP becomes a well‑posed non‑selfadjoint eigenvalue problem. The authors connect this situation to free‑boundary regularity theory: a non‑scattering medium essentially solves a hidden free‑boundary problem, and recent results show that almost all singularities force scattering.

A detailed analysis is given for the isotropic case A ≡ I. Here the transmission eigenvalue problem reduces to finding u∈H²₀(D) and v∈L²(D) such that
Δu + k²n_D u = 0, Δv + k²v = 0 in D,
u = v, ∂_νu = ∂_νv on ∂D.
The authors rewrite this as a compact operator equation (T + k²T₁ + k⁴T₂)u = 0, where T, T₁, T₂ are self‑adjoint and T is positive invertible. Introducing K₁ = −T⁻¹ᐟ²T₁T⁻¹ᐟ² and K₂ = T⁻¹ᐟ²T₂T⁻¹ᐟ², the eigenvalue problem becomes a non‑selfadjoint matrix operator equation (K − k²I)U = 0. This formulation shows that the spectrum consists of a discrete set of real and complex transmission eigenvalues, each of finite multiplicity.

The spherically symmetric example (D = unit ball, n(r) depending only on radius) is treated explicitly. By expanding solutions in spherical harmonics Y_ℓ and spherical Bessel functions j_ℓ, the transmission condition reduces to the determinant
d_ℓ(k) = det