Carleman Estimates for Wave Equations on the Half-Line: AI-Assisted Weights and Applications

Chenyang An, Yu Wang, Qihao Ye +2

We develop an AI-assisted search-and-certification workflow for constructing Carleman weights for wave equations on semi-infinite domains. Starting from a weighted cross-term ident…