[논문 리뷰] On Some New Hadamard-Type Inequalities for Coordinated Quasi-convex Functions

M. Emіn Özdemіr, Çetin Yıldız외 1명|arXiv (Cornell University)|2011. 07. 20.

Mathematical Inequalities and ApplicationsMathematics참고 문헌 6인용 수 21

한 줄 요약

이 논문은 ℝ² 내 직사각형에서의 좌표화된 준볼록 함수에 대해 새로운 하다르드 유형 부등식을 수립하며, 좌표화된 준볼록성과 관련된 새로운 매핑 G(t,s)를 도입하고, 그 것이 좌표상에서 리프시츠 연속성과 볼록성을 갖는다는 것을 증명한다. 주요 기여는 f의 평균을 꼭짓점 및 중점에서의 값들로 표현하는 날카로운 적분 부등식을 유도하는 것이다.

ABSTRACT

In this paper, we establish some Hadamard-type inequalities based on coordinated quasi-convexity. Also we define a new mapping associated to coordinated convexity and we prove some properties of this mapping.

연구 동기 및 목표

• 클래식한 하다르드 부등식을 좌표화된 준볼록 함수의 설정으로 확장하기.
• 직사각형 Δ 위에서 함수 f의 행동을 일반화하는 새로운 적분 매핑 G(t,s)를 정의하고 분석하기.
• 직사각형 Δ 위에서 f의 이重적분에 대해 꼭짓점과 중심에서의 값들을 사용하여 날카로운 경계를 설정하기.
• 적절한 가정 하에 매핑 G가 좌표상에서 볼록임을 증명하고, 리프시츠 조건을 만족함을 보이기.

제안 방법

• 저자는 Δ 위에서 G(t,s) = 1/((b−a)(d−c)) ∫∫ f(tx+(1−t)(a+b)/2, sy+(1−s)(c+d)/2) dxdy 라는 새로운 매핑을 정의한다.
• 좌표화된 준볼록성의 정의를 사용하여 G가 [0,1]×[0,1]에서 좌표상으로 볼록 임을 증명한다.
• f가 변수에 대해 L-리프시츠 조건을 만족한다고 가정할 경우, 매핑 G가 리프시츠 연속임을 보인다.
• 삼각 부등식과 리프시츠 조건을 사용하여 |G(t₂,s₂)−G(t₁,s₁)| 를 |t₂−t₁|과 |s₂−s₁|로 bound하는 증명을 한다.
• 핵심 단계로는 t와 s에 대해 볼록성 기반 부등식을 통합하여 최종 이중적분 경계를 유도한다.
• 최종 부등식은 Δ 위에서 f의 평균값을 꼭짓점, 변의 중점, 그리고 중심점 (a+b)/2, (c+d)/2에서의 f 값들의 가중합으로 연결한다.

실험 결과

연구 질문

• RQ1 좌표화된 준볼록 함수는 좌표화된 볼록 함수보다 더 넓은 클래스이므로, 하다르드 유형 부등식을 좌표화된 준볼록 함수로 확장할 수 있는가?
• RQ2 좌표화된 준볼록성 하에서 새로운 적분 매핑 G(t,s)는 어떤 성질을 갖는가?
• RQ3 f가 L-리프시츠 조건을 만족할 경우, G의 리프시츠 연속성은 어떻게 확립할 수 있는가?
• RQ4 f의 이중적분에 대해 가장 날카로운 경계는 어떤 키 포인트에서의 값들로 표현할 수 있는가?
• RQ5 유도된 부등식은 날카로운가? 그리고 좌표화된 볼록 함수에 대한 기존 부등식과 비교해보면 어떻게 되는가?

주요 결과

• 매핑 G(t,s)는 [0,1]×[0,1]에서 좌표상으로 볼록하며, 원래 함수 f의 행동을 일반화한다.
• G(t,s)의 하한은 (0,0)에서 도달하며, 그 값은 f((a+b)/2, (c+d)/2)와 같다. 반면 상한은 (1,1)에서 도달하며, Δ 위에서 f의 이중적분 평균과 같다.
• L-리프시츠 조건 하에서 G는 리프시츠 연속이며, (b−a)|t₂−t₁| + (d−c)|s₂−s₁| 비례하는 상한을 갖는다.
• 논문은 날카로운 부등식을 도출한다: f의 이중적분은 네 꼭짓점, 변의 중점, 중심점에서의 f 값들의 가중합으로 상한이 둔다.
• 최종 부등식은 날카롭게, f가 좌표화된 볼록일 경우 기존 결과로 축소된다.
• 경계는 다음과 같이 표현된다: ∫∫f/(b−a)(d−c) ≤ (1/4)[f(a,c)+f(b,c)+f(a,d)+f(b,d)]/4 + [f((a+b)/2,c)+f((a+b)/2,d)]/2 + f((a+b)/2,(c+d)/2).