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

Chenyang An, Yu Wang, Qihao Ye, Zhongqiang Zhang, Qiao Zhuang

arXivarxiv/2609.06283Sep 5, 2026math.APscore 0

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 identity used to derive the Carleman estimate, we derive explicit analytical screening conditions and use an AI system to propose symbolic candidate weights subject to those conditions. The search identifies a logarithmic weight structure with concrete parameter values; the subsequent human verification by the authors then retains this structure, derives the admissible parameter range, and rigorously certifies the…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.06283
curl -X POST /api/v1/records/arxiv/2609.06283/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.06283/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'