[논문 리뷰] Some new integral inequalities for twice differentiable convex mappings

Mehmet Zeki Sarıkaya, Hüseyin Yıldırım|arXiv (Cornell University)|2010. 05. 04.

Mathematical Inequalities and Applications참고 문헌 7인용 수 7

한 줄 요약

이 논문은 조각별 커널 함수를 포함하는 새로운 적분 표현을 사용하여 두 번 미분 가능한 볼록 함수에 대한 새로운 적분 부등식을 수립한다. 이는 허미트-하담르드 유형의 기존 부등식을 헬더 부등식과 두 번째 도함수의 볼록성 가정을 통해 개선하며, 적분 평균과 중점 및 끝점 값 간의 이탈에 대한 날카운 경계를 도출한다. 실수의 특수 평균에의 응용을 포함한다.

ABSTRACT

In this paper, we establish several new inequalities for some twice differantiable mappings that are connected with the celebrated Hermite-Hadamard integral inequality. Some applications for special means of real numbers are also provided.

연구 동기 및 목표

• 두 번 미분 가능한 볼록 매핑에 대한 새로운 적분 부등식을 유도하여 고전적인 허미트-하담르드 부등식을 개선한다.
• 두 번째 도함수의 볼록성과 적분 가능성 성질을 통합함으로써 기존 볼록 함수 결과를 확장한다.
• 적분 평균과 중점/끝점 평균 간의 차이에 대한 더 날카운 오차 경계를 제공한다.
• 유도된 부등식을 산술, 조화, 로그, 거듭제곱 평균과 같은 실수의 특수 평균에 적용한다.
• 매개변수를 통합하고 새로운 적분 프레임워크에서 헬더 부등식을 사용함으로써 이전 결과를 일반화한다.

제안 방법

• 구간 [0, 1/2)과 [1/2, 1]에서 정의된 조각별 커널 함수 m(t)를 사용하여 적분 평균과 두 번째 도함수 사이의 새로운 적분 표현을 유도한다.
• 두 번째 도함수와 커널 함수를 포함하는 적분 표현에 헬더 부등식을 적용하며, |f''|^q의 볼록성을 활용한다.
• 대칭성과 경계 최적화를 위해 커널 함수를 두 구간으로 나누어 [0, y]와 [y, 1]에서 조각별 적분을 수행한다.
• 특정 매개변수 선택(예: y = 1/2, c = 0, d = 1)은 명시적인 상수를 포함한 간소화되고 날카운 부등식을 유도한다.
• 적분 평균을 f''(a)와 f''(b)의 가중 평균으로 연결하는 보조정리를 사용하여 볼록성 가정 하에서 정밀한 추정을 가능하게 한다.
• 특정 볼록 함수(예: f(x) = x^n, f(x) = 1/x)를 일반 부등식에 대입하여 특수 평균에 대한 응용을 도출한다.

실험 결과

연구 질문

• RQ1 두 번 미분 가능한 볼록 함수의 적분 평균과 중점 값 간의 차이에 대해 더 날카운 경계를 어떻게 확립할 수 있는가?
• RQ2 두 번째 도함수가 볼록하거나 p-적분 가능할 경우 기존의 허미트-하담르드 유형 부등식에 어떤 개선을 가질 수 있는가?
• RQ3 매개변수화된 커널과 헬더 부등식은 적분 부등식에서 오차 추정의 정밀도를 어떻게 향상시키는가?
• RQ4 유도된 부등식은 로그 평균이나 거듭제곱 평균과 같은 특수 평균을 추정하는 데 효과적으로 적용될 수 있는가?
• RQ5 |f''|^q에 대한 볼록성 가정 하에서 이러한 부등식의 최적 상수는 무엇인가?

주요 결과

• 논문은 커널 기반 적분 표현과 헬더 부등식을 사용하여 적분 평균과 중점 값 간의 이탈을 묶는 새로운 부등식 (2.6)을 수립한다.
• q ≥ 1일 때, 경계는 (2.6)로 주어진다: |(1/(b−a))∫ₐᵇ f(x)dx − f((a+b)/2)| ≤ (b−a)²/48 × {[(3|f''(a)|^q + 5|f''(b)|^q)/8]^{1/q} + [(5|f''(a)|^q + 3|f''(b)|^q)/8]^{1/q}}.
• f(x) = x^n일 때, 부등식은 |Lₙⁿ(a,b) − Aⁿ(a,b)| ≤ n(n−1)(b−a)²/48 × (a^{n−2} + b^{n−2})를 도출하며, 기존 추정치를 개선한다.
• f(x) = 1/x일 때, 부등식은 |L⁻¹(a,b) − A⁻¹(a,b)| ≤ (b−a)²/24 × {[(3a^{-3q} + 5b^{-3q})/8]^{1/q} + [(5a^{-3q} + 3b^{-3q})/8]^{1/q}}를 제공한다.
• 보조정리 4의 경계는 q = 1일 때 이전 결과보다 더 날카롭게, 분모의 상수를 24에서 48로 감소시킨다.
• 드라고미르, 피어스, 사리카야의 이전 부등식을 일반화하고 개선하며, 비대칭 가중치와 향상된 상수를 통합함으로써 특히 향상된 결과를 도출한다.