[논문 리뷰] New inequalities of Ostrowski's type for s-convex functions in the second sense with applications

Erhan Set, M. Emіn Özdemіr외 1명|arXiv (Cornell University)|2010. 05. 05.

Mathematical Inequalities and Applications참고 문헌 13인용 수 52

한 줄 요약

이 논문은 절대값의 도함수들이 제2의 의미에서 s-볼록인 함수에 대해 새로운 오스트로프스키 유형 부등식을 도출한다. 적분 표현과 멱평균 부등식을 사용하며, 주요 기여는 매개수 s, p, q를 포함한 날카로운 경계를 제공하는 것이다. 이는 고전적인 오스트로프스키 부등식을 일반화하고 특수 평균 및 중점 구적법의 오차 추정에의 응용을 가능하게 한다.

ABSTRACT

In this paper, we establish some new inequalities of Ostrowski's type for functions whose derivatives in absolute value are the class of s-convex. Some applications for special means of real numbers are also provided. Finally, some error estimates for the midpoint formula are obtained.

연구 동기 및 목표

• 절대값의 도함수가 제2의 의미에서 s-볼록인 함수에 대해 오스트로프스키 부등식을 확장한다.
• s-볼록성 가정 하에 수치적 적분, 특히 중점 공식에 대해 더 날카로운 오차 경계를 유도한다.
• 설립된 부등식을 활용하여 실수의 특수 평균에의 응용을 제공한다.
• 매개수 s ∈ (0,1]과 Lp-Lq 노름을 통합함으로써 기존의 오스트로프스키 유형 부등식 결과를 일반화한다.
• s-볼록성과 멱평균 부등식을 활용하여 수치 해석에서의 오차 추정을 향상시킨다.

제안 방법

• 구간 [0,1]에 정의된 커널 함수 p(t)를 사용하여 새로운 적분 표현을 유도하며, f(x)를 f'를 통해 적분으로 연결한다.
• 공액 지수 p와 q를 만족하는 1/p + 1/q = 1 조건 하에 헬더 부등식을 적용한다.
• 제2의 의미에서의 s-볼록성 정의를 사용한다: α ∈ [0,1], s ∈ (0,1]일 때 f(αx + (1−α)y) ≤ α^s f(x) + (1−α)^s f(y).
• 멱평균 및 볼록성 부등식을 적용하여 도함수의 L1 노름을 끝점 값으로 경계한다.
• 매개수 s, p, q 및 중점 x = (a+b)/2를 포함한 새로운 부등식을 도입하고 증명한다.
• 주요 결과를 활용하여 분할의 부분구간에서 중점 구적 공식의 오차 경계를 도출한다.

실험 결과

연구 질문

• RQ1 절대값의 도함수가 제2의 의미에서 s-볼록인 함수에 대해 오스트로프스키 유형 부등식을 어떻게 일반화할 수 있는가?
• RQ2 |f'|^q 가 s-볼록일 때 중점 법칙의 오차 경계에서 최적의 상수가 무엇인가?
• RQ3 새로운 부등식을 활용하여 산술 평균 및 로그 평균과 같은 특수 평균에 대한 의미 있는 추정치를 도출할 수 있는가?
• RQ4 볼록성 가정 하에 고전적 경계와 비교할 때 유도된 중점 공식의 오차 경계는 어떻게 되는가?
• RQ5 매개수 s ∈ (0,1]은 수치적 적분 법칙의 수렴 속도를 높이는 데 어떤 역할을 하는가?

주요 결과

• 제2의 의미에서 s-볼록인 함수에 대해 새로운 오스트로프스키 유형 부등식이 설립되었으며, 이 경계는 s, p, q에 따라 달라진다: |f(x) − 1/(b−a)∫ₐᵇ f(u)du| ≤ (1/(1+p)^{1/p}) × (2/(s+1))^{1/q} × {(x−a)^2 + (b−x)^2}/(b−a) × M.
• 매개수 s ∈ (0,1]에서 |f'|^q 가 s-볼록일 경우, 상수 (2/(s+1))^{1/q}는 더 이상 향상시킬 수 없으며 최적이다.
• 중점 공식에 대해 오차 경계는 |E(f,d)| ≤ 1/(4(1+p)^{1/p}) × Σ(x_{i+1}−x_i)^2 (|f'(x_i)| + |f'(x_{i+1})|)로 주어지며, 이는 |f'|^q 가 볼록일 경우를 전제로 한다.
• 코로나리 5와 코로나리 6를 사용하여 개선된 오차 추정치를 도출하였으며, 이는 (|f'(x_i)|^q + 3|f'(x_{i+1})|^q)^{1/q} 항을 포함한다.
• 특수 평균에의 응용을 통해 |A^s(a,b) − L_s^s(a,b)| ≤ s(b−a)/4 × 1/(p+1)^{1/p} × [(A^{q(s−1)} + b^{q(s−1)})/(s+1)]^{1/q} + 유사한 항이 도출된다.
• 결과는 고전적인 오스트로프스키 및 에르미트-아다마르 부등식을 일반화하며, s = 1일 때 기존의 볼록성 기반 경계로 복구된다.