[논문 리뷰] New Inequalities Of Hermite-Hadamard Type For Convex Functions With Applications

Havva Kavurmacı, Merve Avcı외 1명|arXiv (Cornell University)|2010. 06. 08.

Mathematical Inequalities and Applications인용 수 17

한 줄 요약

이 논문은 절대값의 첫 번째 도함수가 볼록인 미분 가능한 볼록 함수에 대해 새로운 힐베르트-하다마르드 유형 부등식을 도출하며, 적분 항등식과 헬더 부등식을 사용한다. 주요 기여는 수치적 적분에서 삼각형 법칙의 날카운 오차 한계를 개선한 것으로, 도함수 노름에 대한 정교화된 볼록성 기반의 경계를 통해 이루어진다.

ABSTRACT

In this paper, some new inequalities of the Hermite-Hadamard type for functions whose modulus of the derivatives are convex and applications for special means are given. Finally, some error estimates for the trapezoidal formula are obtained.

연구 동기 및 목표

• 절대 도함수가 볼록인 미분 가능한 함수에 대해 새로운 힐베르트-하다마르드 유형 적분 부등식을 유도하기.
• |f′|의 볼록성을 활용하여 기존 삼각형 법칙 오차 경계를 개선하기.
• 산술 평균과 로그 평균과 같은 특수 평균에 새로운 부등식을 적용하기.
• 이전 연구들보다 더 약한 부드러움 조건 하에서 구적법 규칙에 대해 더 날카운 오차 추정 제공하기.

제안 방법

• 구간 [a,b] 내의 매개변수 x ∈ [a,b]를 포함하는 새로운 적분 항등식을 유도하여, f(a), f(b)의 가중 평균과 적분 평균 간의 차이를 표현한다.
• 헬더 부등식과 |f′|의 볼록성을 적용하여 적분 항등식의 나머지 항을 경계한다.
• 거듭제곱 평균 및 헬더 유형 부등식을 사용하여 |f′|의 p 및 q 노름에 의존하는 경계를 도출한다.
• f(x) = xⁿ 및 f(x) = 1/x와 같은 특정 함수에 주요 부등식을 적용하여 특수 평균에 대한 명시적 추정을 유도한다.
• [a,b]의 분할에 따른 국소 오차 경계를 합산하여 복합 삼각형 법칙으로 일반화한다.
• |f′|^{p/(p−1)}가 볼록이거나 |f′|^q가 오목일 조건 하에서 삼각형 공식의 오차 추정을 수립한다.

실험 결과

연구 질문

• RQ1 절대값의 첫 번째 도함수가 볼록인 함수에 대해 새로운 힐베르트-하다마르드 유형 부등식을 어떻게 도출할 수 있는가?
• RQ2 |f′|의 볼록성을 활용하여 삼각형 법칙에 대해 더 날카운 오차 경계를 얻을 수 있는가?
• RQ3 드라고미르와 아가르왈(1998) 또는 킴라치 등(2003)의 기존 결과와 비교해 볼 때 이러한 새로운 경계는 어떻게 다른가?
• RQ4 새로운 부등식을 활용하여 A(a,b), L(a,b), A(a⁻¹,b⁻¹)와 같은 특수 평균에 대해 명시적 추정을 도출할 수 있는가?
• RQ5 |f′|^q가 오목이거나 |f′|^{p/(p−1)}가 볼록일 때 오차 추정의 최적 상수는 무엇인가?

주요 결과

• 새로운 부등식이 수립된다: x ∈ [a,b]일 때, 가중 평균 ((b−x)f(b)+(x−a)f(a))/(b−a)와 적분 평균 사이의 오차는 |f′(x)|, |f′(a)|, |f′(b)|를 포함하는 (x−a)² 및 (b−x)² 항의 조합으로 경계된다.
• x = (a+b)/2일 때, 경계는 |(f(a)+f(b))/2 − 1/(b−a)∫ₐᵇ f(u)du| ≤ (b−a)/12 (|f′(a)| + |f′((a+b)/2)| + |f′(b)|)로 단순화되며, 이는 고전적 1/8 경계를 개선한다.
• f(x) = xⁿ (|n| ≥ 2)일 경우, 부등식은 산술 평균과 거듭제곱 평균에 대해 명시적 추정을 도출하며, 오차 항은 A(|a|ⁿ⁻¹, |b|ⁿ⁻¹)를 포함한다.
• f(x) = 1/x (x ≠ 0)일 경우, 부등식은 조화 평균과 로그 평균의 차이에 대한 경계를 제공하며, 오차 항은 A(|a|⁻², |b|⁻²)에 비례한다.
• 분할 간격 d를 가진 삼각형 법칙에 대해, |f′|^{p/(p−1)}가 볼록일 경우 오차는 (1/(p+1))¹ᐟᵖ (1/2)¹ᐟᑫ ∑(xᵢ₊₁−xᵢ)²/2 (|f′(xᵢ)| + |f′(xᵢ₊₁)|)로 경계된다.
• |f′|^q가 오목일 경우 오차 경계는 ( (q−1)/(2q−1) )^{(q−1)/q} ∑(xᵢ₊₁−xᵢ)²/4 (|f′((3xᵢ+xᵢ₊₁)/4)| + |f′((xᵢ+3xᵢ₊₁)/4)|)로 변형되며, 이는 이전 결과보다 더 날카운 추정을 제공한다.