[논문 리뷰] On Half Cauchy Sequences

Frank J. Palladino|arXiv (Cornell University)|2011. 02. 23.

Approximation Theory and Sequence Spaces참고 문헌 1인용 수 5

한 줄 요약

이 논문은 상승 또는 하강 반 코시 수열이라 불리는 개념을 도입한다—즉, 상승 또는 하강인 반 코시 수열을 일반화한 것으로, 단조 수열과 코시 수열의 일반화이다. 실수 수열이 수렴하는 것은 유계이면서 반 코시 수열임과 동치임을 증명하여, 단조 수렴 정리의 조건을 더 약한 조건으로 확장하는 새로운 수렴 기준을 제시한다.

ABSTRACT

In this note we introduce and define half Cauchy sequences. We prove that a sequence of real numbers is convergent if and only if it is bounded and half Cauchy. We also provide an example of how the concept may be used.

연구 동기 및 목표

• 단조 수렴 정리를 일반화하기 위해 단조성보다 더 약한 조건을 도입하여 실수 수열의 수렴을 보장하고자 한다.
• 한쪽 방향의 코시 유형 경계를 기반으로 상승 및 하강 반 코시 수열이라는 두 가지 새로운 수열 유형을 정의하고 분석하고자 한다.
• 유계성과 반 코시 성질을 이용하여 실수 수열의 수렴에 대한 필요 및 충분 조건을 설정하고자 한다.
• 동적 시스템 내의 재귀 부등식에 대한 응용을 통해 개념의 유용성을 입증하고자 한다.

제안 방법

• 모든 ε > 0에 대해 어떤 N이 존재하여, 모든 n ≥ m ≥ N에 대해 aₘ − aₙ < ε를 만족하는 수열을 상승 반 코시 수열로 정의한다.
• 모든 ε > 0에 대해 어떤 N이 존재하여, 모든 n ≥ m ≥ N에 대해 aₙ − aₘ < ε를 만족하는 수열을 하강 반 코시 수열로 정의한다.
• 상승 또는 하강 반 코시 수열이거나 둘 다인 수열을 반 코시 수열로 정의한다.
• 수열이 코시 수열임과 동시에 상승 및 하강 반 코시 수열임이 동치임을 증명하여, 표준 코시 조건과의 등가성을 확립한다.
• 수열 aₙ ↦ −aₙ 변환을 통한 상승 및 하강 반 코시 수열 간의 이중성에 기반하여, 수렴성 증명을 한 경우로 줄여서 다룬다.
• 유계성과 반 코시 조건을 재귀 수열에 적용하여 차이를 유계화하고, limsup 및 liminf를 통한 추론을 통해 수렴성을 보여준다.

실험 결과

연구 질문

• RQ1 단조성보다 더 약한 조건을 사용하여 실수 수열의 수렴을 보장할 수 있는가?
• RQ2 전체 대칭성이 필요 없이도 수렴을 포괄하는 의미 있는 코시 조건의 일반화가 존재하는가?
• RQ3 일방향 코시 유형 경계를 사용하여 유계 수열의 수렴성을 특징지을 수 있는가?
• RQ4 반 코시 수열 개념이 재귀 시스템에서 수렴성을 증명하는 데 실용적인 도구가 될 수 있는가?
• RQ5 반 코시 조건은 표준 코시 조건 및 단조 수렴 정리와 어떻게 관련되어 있는가?

주요 결과

• 실수 수열이 수렴하는 것은 유계이면서 반 코시 수열임과 동치이며, 이는 단조 수렴 정리를 일반화한다.
• 모든 단조 비감소 수열은 상승 반 코시 수열이며, 모든 단조 비증가 수열은 하강 반 코시 수열이다.
• 수열이 코시 수열임과 동시에 상승 및 하강 반 코시 수열임이 동치임을 보여주며, 이는 반 코시 조건이 양방향으로 결합될 경우 표준 코시 조건과 동치임을 보여준다.
• 0 ≤ xₙ ≤ xₙ₋₁ + yₙ₋₁ 및 0 ≤ yₙ ≤ λyₙ₋₁ (0 ≤ λ < 1)을 만족하는 재귀 부등식으로 정의된 수열 {xₙ}은 유계이면서 하강 반 코시 수열이므로 수렴한다.
• 수열 {xₙ}에 대해 xₙ ≤ x₀ + y₀/(1 − λ)라는 유계 조건이 확립되었으며, 이는 균일 유계성을 보여준다.
• 모든 n ≥ m ≥ N에 대해 차이 xₙ − xₘ는 λᴺy₀/(1 − λ)로 유계지며, 이는 임의로 작게 만들 수 있어 하강 반 코시 성질이 확인된다.