[논문 리뷰] The Riemann-Stieltjes integral on time scales

Dorota Mozyrska, Ewa Pawłuszewicz외 1명|arXiv (Cornell University)|2009. 03. 06.

Nonlinear Differential Equations AnalysisMathematics참고 문헌 15인용 수 22

한 줄 요약

이 논문은 상자 기호(□)를 사용하여 델타 및 나블라 적분을 통합하는 공통 프레임워크를 통해 시간 척도 위의 리만-스틸티jes 적분을 도입한다. 존재성, 선형성, 부분 적분 등 기본 성질들을 수립하며, f에 대한 g에 대한 리만-스틸티제스 □-적분이 f와 g□의 리만 □-적분과 같음을 증명함으로써 고전적 부등식의 일반화를 가능하게 하고, 시간 척도 위의 헨스톡-쿠르츠바일-스틸티제스 적분으로의 확장을 위한 길을 열어 놓는다.

ABSTRACT

We study the process of integration on time scales in the sense of Riemann-Stieltjes. Analogues of the classical properties are proved for a generic time scale, and examples are given.

연구 동기 및 목표

• 스틸티제스 적분이 체계적으로 연구되지 않은 문헌의 빈도를 메우기 위해 시간 척도 위의 리만-스틸티제스 적분을 공식화하는 것.
• 델타 및 나블라 적분을 둘 다에 대해 동일한 기호(□)를 사용하여 통합함으로써 증명의 중복을 줄이는 것.
• 유계 구간에서 리만-스틸티제스 □-적분의 존재성, 선형성, 범위와 같은 기본 성질을 수립하는 것.
• 델타 및 나블라 리만-스틸티제스 적분에 대한 부분 적분 공식을 증명하고, 적분자 함수의 도함수를 통해 표준 리만 적분과 연결하는 것.
• 현재 시간 척도 위의 적분 이론을 확장하고, 헨스톡-쿠르츠바일-스틸티제스 적분으로의 일반화 가능성을 위한 기초를 마련하는 것.

제안 방법

• 논문은 시간 척도의 구간 I=[a,b]𝕋의 분할을 정의하고, 하한과 상한을 사용하여 하한 및 상한 다브라-스틸티제스 □-합을 구성한다.
• I 위에서 엄격하게 증가하는 함수 g를 도입하고, Δgⱼ = g(tⱼ)−g(tⱼ₋₁)를 합에 가중치를 주기 위해 정의한다.
• 핵심 기술적 도구로, 임의의 δ>0에 대해 각 부분구간의 g-증가량이 ≤δ 또는 ρ(tⱼ)=tⱼ₋₁인 점프에 해당하는 부분구간이 되는 분할이 존재함을 보장하는 보조정리 2.1을 사용한다.
• 리만-스틸티제스 □-적분은 상한 및 하한 적분이 일치할 경우 그 공통 값으로 정의되며, 고전적 리만-스틸티제스 적분과 유사하다.
• 주요 결과(정리 4.3)는 ∫_a^b f □g = ∫_a^b f g□ □t임을 증명함으로써, 리만-스틸티제스 적분과 가중 리만 □-적분 간의 등가성을 확립한다.
• 부분 적분은 □-버전의 평균값 정리와 σ 및 ρ 연산자의 성질을 사용하여 유도되며, 델타의 경우 ∫f □g = [fg]_a^b − ∫g^σ □f, 나블라의 경우 ∫f □g = [fg]_a^b − ∫g^ρ □f를 도출한다.

실험 결과

연구 질문

• RQ1 고전적 리만-스틸티제스 적분은 임의의 시간 척도로 일반화될 수 있는가? 존재성 및 부분 적분과 같은 핵심 성질을 유지하는가?
• RQ2 델타 및 나블라 적분을 둘 다에 대해 통일된 표기법을 사용하여 시간 척도 위에서 리만-스틸티제스 적분을 일관되게 정의할 수 있는가?
• RQ3 f에 대한 g에 대한 리만-스틸티제스 □-적분이 f와 g□의 리만 □-적분과 같아지는 조건은 무엇인가?
• RQ4 이 등가성은 시간 척도 위의 부등식과 동적 방정식의 확장을 위해 어떤 영향을 미치는가?
• RQ5 이 프레임워크는 시간 척도 위의 헨스톡-쿠르츠바일-스틸티제스 적분으로의 확장이 가능한가?

주요 결과

• 유계 함수 f와 유계 시간 척도 구간 I=[a,b]𝕋 위에서 엄격하게 증가하는 함수 g에 대해 리만-스틸티제스 □-적분이 존재하고 잘 정의되어 있다.
• 논문은 ∫_a^b f(t) □g(t) = ∫_a^b f(t)g^□(t) □t임을 증명하며, 리만-스틸티제스 □-적분과 가중 리만 □-적분 간의 등가성을 보여준다.
• 부분 적분 공식이 성립한다: 델타의 경우 ∫_a^b f □g = [fg]_a^b − ∫_a^b g^σ □f, 나블라의 경우 ∫_a^b f □g = [fg]_a^b − ∫_a^b g^ρ □f이다.
• 각 부분구간의 Δgⱼ ≤ δ 또는 Δgⱼ > δ 이면서 ρ(tⱼ)=tⱫ₋₁인 조건을 만족하는 분할 P_δ의 존재는 적분의 균일한 근사화를 보장한다.
• 결과는 고전적 리만-스틸티제스 이론을 시간 척도로 일반화하며, ℝ에서의 부등식을 임의의 시간 척도로 확장할 수 있게 한다.
• 이 프레임워크는 향후 시간 척도 위의 헨스톡-쿠르츠바일-스틸티제스 적분에 대한 연구를 위한 기초를 제공한다.