位数qの関数空間に属する整関数の導関数評価に関する注意

Various types of inequalities are used in the study of pseudo-differential operators (ΨDOs) and their applications to PDE theory. And also some inequalities are quite useful in the estimation of the ΨDOs. The inequality which we are going to introduce in this article is one of them, especially it is extremely useful and powerful, too, in the study of pseudo-differential equations whose symbols are formal series [7]. So that, the inequality stated in succeeding Proposition is not our original result, however, we are going to discuss the formulation of the inequality in the standpoint of the asymptotic behaviors of a specific pilot functions related to the inequality, which arise naturally in the discussion of extreme point problem