[논문 리뷰] New Inequalities for Hermite-Hadamard and Simpson Type and Applications

M. Emіn Özdemіr, Çetin Yıldız|arXiv (Cornell University)|2011. 03. 10.

Mathematical Inequalities and Applications인용 수 3

한 줄 요약

이 논문은 두 번째 도함수가 P-볼록인 함수에 대해 헤르마이트-하다마르드 및 심슨 유형의 새로운 부등식을 도출하며, 적분 항등식과 멱평균 부등식을 사용한다. 주요 기여는 |f''|에 대한 P-볼록성 가정 하에 구적법의 오차 한계를 더욱 날카롭게 제시하고, 실수의 특수 평균에의 응용을 통해 기존 결과를 향상시키는 데 있다.

ABSTRACT

In this paper, we obtain new bounds for the inequalities of Simpson and Hermite-Hadamard type for functions whose second derivatives absolute values are P-convex. These bounds can be much better than some obtained bounds. Some applications for special means of real numbers are also given.

연구 동기 및 목표

• P-볼록성 조건 하에서 |f''|의 경우 헤르마이트-하다마르드 및 심슨 유형 부등식의 더 날카로운 오차 한계를 도출하는 것.
• f''와 커널 함수를 포함한 매개변수화된 적분 항등식을 사용하여 기존 적분 부등식을 일반화하는 것.
• 새로운 오차 한계를 산술 평균, 로그 평균, 일반화된 로그 평균과 같은 실수의 특수 평균에 적용하는 것.
• 새로운 한계를 고전적 결과들과 비교하여, 어떤 경우에 더 날카로운지를 보여주는 것.

제안 방법

• 차수 2 도함수 f''와 커널 함수 k(t)를 통해 적분 평균과 함수 값 간의 차이를 연결하는 매개변수화된 적분 항등식(보조정리 1)을 활용한다.
• |f''|의 P-볼록성을 적용하여 [0, 1/2] 및 [1/2, 1]에서의 적분을 |f''(a)|와 |f''(b)|로 상계한다.
• 공액 지수 p와 q를 사용한 헬더 부등식을 적용하여 오차 항에 대한 L^q 유형의 한계를 유도한다.
• λ ∈ [0,1]에 따라 명시적인 한계를 도출하며, λ ≤ 1/2 및 λ ≥ 1/2의 경우를 구분한다.
• f(x) = x^n에 적용하여 산술 평균, 로그 평균, 일반화된 로그 평균 함수를 포함하는 부등식을 도출한다.
• 새로운 한계를 고전적 부등식(예: (1.3), (1.4))과 비교하고, 그들이 더 날카로운 조건을 규명한다.

실험 결과

연구 질문

• RQ1 |f''|가 유계가 아니라 P-볼록일 경우, 헤르마이트-하다마르드 및 심슨 유형 부등식의 더 날카로운 한계를 확립할 수 있는가?
• RQ2 적분 항등식의 매개변수 λ가 다양한 유형의 구적법에 대한 오차 추정치에 어떤 영향을 미치는가?
• RQ3 어떤 조건에서 새로운 한계가 고전적 부등식들(예: (1.3), (1.4))을 초월하는가?
• RQ4 새로운 부등식이 실수의 특수 평균에 대한 한계를 효과적으로 유도하는 데 사용될 수 있는가?
• RQ5 P-볼록성 조건 하에서 날카로운 오차 추정치를 유도하는 데 있어 |f''|의 L^q 노름은 어떤 역할을 하는가?

주요 결과

• λ ∈ [0, 1/2]일 경우 오차 한계는 ≤ (b−a)²/24 × (8λ³ − 3λ + 1)(|f''(a)| + |f''(b)|)이며, |f''|가 P-볼록일 경우 고전적 한계보다 향상된다.
• λ ∈ [1/2, 1]일 경우 한계는 ≤ (b−a)²/24 × (3λ − 1)(|f''(a)| + |f''(b)|)로, K < M일 경우 (1.3)보다 더 날카로운 추정치를 제공한다.
• λ = 1일 경우 한계는 ≤ (b−a)²/24 × (|f''(a)|^q + |f''(b)|^q)^{1/q}로 줄어들며, |f''|가 유계일 경우 (1.4)로 축소된다.
• λ = 1/3일 경우 심슨 유형의 한계는 ≤ (b−a)²/162 × (|f''(a)|^q + |f''(b)|^q)^{1/q}이며, P-볼록성 조건 하에서 고전적 (1.2)보다 향상된다.
• |f''| ≤ M일 경우 한계는 ≤ M(b−a)²/24 × 2^{1/q}로 줄어들며, K < M일 경우 (1.3)보다 더 날카롭다.
• f(x) = x^n에 적용하면 |n(n−1)| ≥ 3 및 q ≥ 1일 때 A(a,b), L_n(a,b), A^n(a,b) 사이의 명시적 부등식이 도출된다.