第二高調波が外へ出ない周波数の存在を計算機で証明

This paper provides a rigorous computer-assisted proof of the existence of generalized transmission eigenvalues arising in nonlinear optics in the context of high-order harmonic generation, a result conjectured in Cakoni, Hovsepyan, Lassas, and Vogelius, SIAM J. Math. Anal. 57 (2025), 1370-1405. The analysis is carried out for a one-dimensional nonlinear medium, where the problem reduces to a coupled system of nonlinear homogeneous ordinary differential equations subject to nonstandard boundary conditions. These eigenvalues correspond to probing frequencies $\omega$ for which there exists a nontrivial incident $\omega$-wave such that the second-harmonic field generated does not persist outside the compact support of the nonlinear medium, thereby rendering its nonlinear properties undetectable to an external observer. Building on earlier numerical evidence, we establish that, in the low-frequency regime, there exist generalized transmission eigenvalues whose associated eigenfunctions exhibit blow-up behavior as the frequency tends to zero. The proof combines analytical arguments with validated numerics, employing a Newton-Kantorovich framework together with interval arithmetic to rigorously control approximation errors. The algorithmic implementation underlying the computer-assisted proof is made available in the GitHub repository TransmissionEigenvalues.jl by Dominic Blanco (2026).