[논문 리뷰] Some Simpson type inequalities for h-convex and (\alpha,m)-convex functions

Wenjun Liu|arXiv (Cornell University)|2012. 10. 15.

Mathematical Inequalities and Applications참고 문헌 11인용 수 5

한 줄 요약

이 논문은 적분 항등식과 헬더 부등식을 사용하여, 절대값이 h-볼록 또는 (α,m)-볼록인 함수의 경우 새로운 심슨형 부등식을 수립한다. 이는 이전의 s-볼록 및 m-볼록 함수에 대한 결과를 일반화하며, 더 넓은 볼록성 조건 하에서 심슨 적분 규칙의 더 날카운 오차 한계를 제공한다.

ABSTRACT

In this paper, we establish some Simpson type inequalities for functions whose third derivatives in the absolute value are h-convex and (\alpha,m)-convex, respectively.

연구 동기 및 목표

• 고전적 볼록성 이상의 일반화된 볼록성 가정 하에서 심슨 적분 공식의 오차 한계를 새롭게 개발한다.
• 이전의 s-볼록 및 m-볼록 함수에 대한 심슨형 부등식 결과를 h-볼록 및 (α,m)-볼록 함수의 더 넓은 클래스로 확장한다.
• 세 번째 도함수가 일반화된 볼록성 조건을 만족할 때 수치 적분의 오차를 추정하기 위한 통합 프레임워크를 제공한다.
• h-볼록 및 (α,m)-볼록 프레임워크를 도입하여 기존의 s-볼록 및 m-볼록 함수에 대한 알려진 부등식을 일반화한다.
• 적분 항등식과 헬더의 부등식, 멱평균 부등식과 같은 고전적 부등식을 사용하여 날카운 오차 추정을 수립한다.

제안 방법

• f의 적분과 그 심슨 근사 간의 차이를 세 번째 도함수로 표현하는 적분 항등식을 [2]에서 유도한다.
• 헬더 부등식을 적용하여 커널 함수와 세 번째 도함수의 곱의 L1 노름을 상한으로 제시한다.
• h-볼록성 조건 |f'''(tx + (1-t)y)| ≤ h(t)|f'''(x)| + h(1-t)|f'''(y)|를 사용하여 적분 내의 세 번째 도함수를 상향 제한한다.
• (α,m)-볼록성 조건 |f'''(tx + m(1-t)y)| ≤ t^α |f'''(x)| + m(1-t^α) |f'''(y)|를 (α,m)-볼록 케이스에 적용한다.
• 멱평균 부등식을 적용하여 q > 1일 때의 대체 상한을 유도하고, 더 정밀한 추정을 얻는다.
• 오차 상한 내의 상수를 평가하기 위해 t^α 및 (1-t^α)를 포함한 다항식 항의 명시적 적분을 수행한다.

실험 결과

연구 질문

• RQ1 세 번째 도함수가 h-볼록인 함수에 대해 심슨형 부등식을 어떻게 일반화할 수 있는가?
• RQ2 세 번째 도함수가 표준 볼록성 대신 (α,m)-볼록성을 만족할 경우 어떤 오차 상한을 도출할 수 있는가?
• RQ3 h(t) = t^s 또는 α=1일 때, 새로운 부등식이 알려진 결과들(예: s-볼록 또는 m-볼록 함수의 경우)로 어떻게 축소되는가?
• RQ4 심슨 오차의 적분 표현에서 커널 함수 p(t)의 역할은 무엇인가?
• RQ5 오차 상한 내의 상수들이 h(t), α, m의 매개변수에 어떻게 의존하는가?

주요 결과

• 논문은 h-볼록 함수에 대해 새로운 심슨형 부등식을 유도하였으며, 오차 상한은 (b−a)^4/6 곱하기 t^2(1/2−t)h(t)와 h(1−t)의 적분으로 표현되며, 각각 |f'''(a)|와 |f'''(b)|에 가중치가 붙는다.
• h(t) = t^s일 경우, 부등식은 [14]의 정리 A로 축소되어 기존의 s-볼록 케이스를 복원한다.
• (α,m)-볼록 함수의 경우, 오차 상한은 (mb−a)^4/96 곱하기 감마 함수와 α 및 m에 의존하는 상수를 포함하는 항으로 표현된다.
• (α,m)-볼록 함수의 상한에는 |f'''(a)|^q 및 |f'''(b)|^q 항이 포함되며, 계수로 2^α(1+α) 및 (2^{1+α}−1)가 포함된다.
• 멱평균 부등식을 사용하여 유도된 정리 5의 부등식은 특히 α ∈ (0,1)일 때 정리 4보다 더 정밀한 상한을 제공한다.
• α=1 및 m=1일 경우, (α,m)-볼록 상한은 [14]에서 연구된 m-볼록 케이스로 축소되어 이전 연구와의 일관성을 확인한다.