[논문 리뷰] Consequences of the product rule in Stieltjes differentiability

Francisco J. Fernández, Ignacio Márquez Albés외 1명|arXiv (Cornell University)|2022. 05. 20.

Functional Equations Stability Results인용 수 4

한 줄 요약

이 논문은 스틸티제스 미분 하에서 함수 곱의 고차 미분 가능성에 대해 연구하며, 점 이동 t*와 점프 함수 Δg를 포함하는 추가 항을 가진 수정된 곱의 법칙을 유도한다. 주요 기여는 곱의 일阶 스틸티제스 도함수의 g-연속성을 보장하는 필요 및 충분 조건을 제시하는 것으로, 이 조건은 점프 함수 Δg의 행동과 t*에서의 함수 도함수의 행동에 따라 달라진다.

ABSTRACT

This work revolves around the study of differentiability in the Stieltjes sense of a product of functions. A formula for the first order derivative has been obtained in the past, which is similar to the usual one with some extra terms in its expression. The aim of this paper is to take this behavior into account to study under which conditions we can guarantee the existence of higher order derivatives, while obtaining some other interesting results for the Stieltjes derivative along the way. We also investigate the regularity of the product of two functions.

연구 동기 및 목표

• 두 g-미분 가능한 함수의 곱이 고차 스틸티제스 도함수를 갖는 조건을 조사하는 것.
• 점 이동 t*와 점프 함수 Δg가 스틸티제스 도함수의 곱의 법칙에서 수행하는 역할를 분석하는 것.
• 곱의 스틸티제스 도함수가 g-연속 유지되는 조건을 특정하는 것, 특히 Δg*와 t*에서 평가된 함수의 행동에 초점을 맞추는 것.
• 두 함수가 𝒞g¹에 속할 경우 그 곱이 동일한 클래스에 남아 있도록 하는 필요 및 충분 조건을 설정하는 것. 이는 곱 연산 하에 표준 대수적 구조가 실패하는 문제를 다루는 것.
• 스틸티제스 해석학의 맥락에서 Δg*와 f* (f가 t*에서 평가된 값)의 미분 가능성 성질을 명확히 하는 것. 이는 고차 분석에 있어 핵심적인 역할을 한다.

제안 방법

• 스틸티제스 도함수의 일반화된 곱의 법칙 유도: (f₁f₂)′_g(t) = f′₁(t)f₂(t*) + f′₂(t)f₁(t*) + f′₁(t)f′₂(t)Δg(t*), 여기서 t*는 t에 따라 달라진다.
• f* (f가 t*에서 평가된 값)의 개념을 도입하고, g-미분 가능성에 대해 분석하며, f*가 특정한 정규성 조건을 만족할 때에만 g-미분 가능하다는 것을 보여준다.
• Δg* (점프 함수가 t*에서 평가된 값)의 g-미분 가능성에 대해 연구하고, 반례를 제시하여 Δg*가 항상 g-미분 가능하지 않음을 보여준다.
• μg-적분 가능성과 g-거의곳 과 같은 측도 이론적 도구를 사용하여 도함수 항의 연속성과 적분 가능성 분석.
• 주요 연속성 결과를 증명하기 위해 Lemma 2.14를 활용하고, 컴팩트 집합에서 ∑Δg(s)의 유한성을 고려한다.
• g(tₙ)→g(t)이고 |h(tₙ)|≥ε₀를 만족하는 수열 {tₙ}을 이용한 모순 증명 기법을 통해 도함수 항의 g-연속성에 대한 조건 ∑Δg(s) < ∞의 필수성을 증명한다.

실험 결과

연구 질문

• RQ1 두 g-미분 가능한 함수의 곱이 두 번 g-미분 가능한가에 대한 조건은 무엇인가?
• RQ2 함수 f* (f가 t에서 평가된 값)가 점 t에서 g-미분 가능한가?
• RQ3 점프 함수 Δg*는 언제 g-미분 가능하며, 곱의 법칙에서 어떤 역할을 하는가?
• RQ4 곱의 일阶 스틸티제스 도함수의 g-연속성에 대한 필요 및 충분 조건은 무엇인가?
• RQ5 Dg에서 Δg의 행동이 곱의 도함수의 정규성에 어떤 영향을 미치는가?

주요 결과

• 곱 f₁f₂의 일阶 스틸티제스 도함수는 f₂(t*), f₁(t*), Δg(t*)를 포함하는 수정된 곱의 법칙으로 주어지며, 이는 고전적 미적분학에 존재하지 않는 새로운 항을 포함한다.
• 함수 f* (f가 t*에서 평가된 값)는 f가 t*에서 연속이고 f′_g(t) = 0일 때에만 t에서 g-미분 가능하다. 이는 매우 제한적인 조건이다.
• 점프 함수 Δg*는 반드시 g-미분 가능하지 않다. 반례를 통해 g가 비감소적이며 왼쪽 연속일지라도 Δg*가 g-미분 가능하지 않을 수 있음을 보여준다.
• t ∈ ((a*,b) ∩ A_g) \ H_g 에서 (f₁f₂)′_g의 g-연속성은 lim_{s→t} (f′₁(s)f′₂(s)Δg(s)) = 0 인 것과 동치이며, 이는 ∑_{s∈[a,b]∩D_g} Δg(s) < ∞ 라는 조건과 동치이다.
• ∑_{s∈[a,b]∩D_g} Δg(s) < ∞ 조건은 도함수 항 h = f′₁f′₂Δg*의 g-연속성에 대해 필요 및 충분하다.
• 결과는 [4, Proposition 3.17]을 일반화하며, 한 함수가 고전적으로 연속이어야 한다는 요구 조건 없이도 필요 및 충분 조건을 제공한다.