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

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

作　　者：何灯 王少光 

机构地区：[1]福建省福清港头中学,福建福清350317 [2]福建省福清东张中学,福建福清350305

出　　处：《汕头大学学报（自然科学版）》2012年第1期27-34,41,共9页Journal of Shantou University：Natural Science Edition

摘　　要：对有限项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.

关 键 词：CARLEMAN不等式 最值单调定理 STIRLING公式 自动发现 

分 类 号：O122.3[理学—数学]