Carleman不等式的下界改进及改进式的自动发现

Improvements on Lower Bound of Carleman Inequalities and Automatic Finding of Enhanced Carleman Inequalities

对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式下界的一个改进,根据其证明规律,编写程序cdiscover2,实现了此类Carleman不等式下界改进式的自动发现.

Finite-term Carleman inequalities are made non-rigid and an improvement is made on lower bound of enhanced infinite-term Carleman inequalities. A computer program, cdiscover2, is written to automatically find lower bounds of the class of enhanced Carleman inequalities.