[논문 리뷰] On the generalization some intgeral inequalities and their applications

Mehmet Zeki Sarıkaya, Nesip Aktan|arXiv (Cornell University)|2010. 05. 17.

Mathematical Inequalities and Applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 볼록 함수에 대한 일반적인 적분 항등식을 유도하고, 이를 통해 두 번째 도함수의 절댓값이 볼록인 함수에 대한 시ม슨 및 에르미트-하다마르드 유형의 새로운 부등식을 수립한다. 주요 기여는 매개수 λ를 통해 중점, 삼각형, 시ม슨 유형의 부등식을 특수 케이스로 포함하는 통합된 프레임워크를 제공하며, 두 번째 도함수의 절댓값의 Lq-노름을 포함한 날카운 오차 한계를 제공한다.

ABSTRACT

In this paper, a general integral identity for convex functions is derived. Then, we establish new some inequalities of the Simpson and the Hermite-Hadamard's type for functions whose absolute values of derivatives are convex. Some applications for special means of real numbers are also provided.

연구 동기 및 목표

• 중점, 삼각형, 시모슨 유형의 부등식을 통합하는 매개수 λ ∈ [0,1]를 포함한 볼록 함수에 대한 일반적인 적분 항등식을 유도하는 것.
• 두 번째 도함수의 절댓값이 볼록일 경우의 구적 규칙에 대한 새로운 오차 한계를 수립하는 것.
• 두 번째 도함수의 Lq-노름을 통합하여 기존의 시모슨 및 에르미트-하다마르드 부등식 결과를 일반화하는 것.
• 유도된 부등식을 사용하여 실수의 특수 평균에 응용하는 것.
• 기존 문헌에서 볼록 함수에 대한 적분 부등식에 관한 결과들을 통합하고 확장하는 것.

제안 방법

• 구간 [0,1]에서 정의된 매개수 λ ∈ [0,1]를 포함하는 일반적인 적분 항등식을 유도하여, 함수 f의 적분과 그 끝점 및 중점에서의 값 사이의 관계를 커널 함수 k(t)를 통해 연결한다.
• λ에 따라 [0,1/2] 및 [1/2,1]에서 정의된 조각별 커널 함수 k(t)를 도입하여, 적분과 구적 근사 간의 차이를 표현한다.
• 적분 표현에 헬더 부등식을 적용하여, |f''|의 Lq-노름에 따라 오차를 한계화한다.
• |f''|의 볼록성을 이용하여, |f''(a)|^q 및 |f''(b)|^q의 가중 조합을 포함한 명시적 상한을 유도한다.
• λ = 0(중점), λ = 1(삼각형), λ = 1/3(시모슨)로 특수화하여 기존 및 새로운 부등식을 복원한다.
• 특정 볼록 함수(예: f(x) = x^n, f(x) = 1/x)에 결과를 적용하여 산술, 기하, 조화, 로그, 등차 평균과 같은 특수 평균에 대한 새로운 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 어떻게 볼록 함수에 대한 시모슨 및 에르미트-하다마르드 유형의 부등식을 일반화할 수 있는 통합 프레임워크를 개발할 수 있는가?
• RQ2 매개수 λ는 중점, 삼각형, 시모슨 규칙을 하나의 적분 항등식 안에서 어떻게 연결하는가?
• RQ3 두 번째 도함수의 절댓값의 Lq-노름은 구적 근사에서 오차 한계에 어떤 영향을 미치는가?
• RQ4 유도된 부등식을 사용하여 실수의 특수 평균 간의 새로운 관계를 수립할 수 있는가?
• RQ5 |f''|가 볼록일 경우 시모슨, 중점, 삼각형 규칙의 날카운 오차 한계는 무엇인가?

주요 결과

• 볼록 함수에 대한 일반적인 적분 항등식은 매개수 λ를 통한 통합된 오차 한계를 도출할 수 있다.
• λ = 0일 때, 중점 부등식이 복원되며, 다음의 한계를 가진다: |∫ₐᵇ f(x)dx / (b−a) − 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}.
• λ = 1일 때, 삼각형 부등식이 도출되며, 다음의 한계를 가진다: |∫ₐᵇ f(x)dx / (b−a) − (f(a)+f(b))/2| ≤ (b−a)²/24 × [ (5|f''(a)|^q + 11|f''(b)|^q)/16 ]^{1/q} + [ (11|f''(a)|^q + 5|f''(b)|^q)/16 ]^{1/q}.
• λ = 1/3일 때, 시모슨 부등식이 도출되며, 다음의 한계를 가진다: |(1/6)(f(a)+4f((a+b)/2)+f(b)) − ∫ₐᵇ f(x)dx / (b−a)| ≤ (b−a)²/162 × [ (59|f''(a)|^q + 133|f''(b)|^q)/(3·2⁶) ]^{1/q} + [ (133|f''(a)|^q + 59|f''(b)|^q)/(3·2⁶) ]^{1/q}.
• p-로그 평균에 대한 부등식이 수립된다: |(1/3)A(aⁿ,bⁿ) + (2/3)Aⁿ(a,b) − Lₙⁿ(a,b)| ≤ n(n−1)(b−a)²/168 × (aⁿ⁻² + bⁿ⁻²) for n > 2.
• 역조화평균과 산술평균에 대해, f(x) = 1/x에 중점 및 삼각형 부등식을 적용하여 |L⁻¹(a,b) − A⁻¹(a,b)| 및 |L⁻¹(a,b) − H⁻¹(a,b)|의 한계를 도출한다.