[논문 리뷰] Eigenvectors and eigenfunctionals of homogeneous order-preserving maps

Horst R. Thieme|arXiv (Cornell University)|2013. 02. 15.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 25인용 수 8

한 줄 요약

이 논문은 정규 순서 있는 노름 벡터 공간의 정규 코네에서 동차이자 순서를 유지하는 사상에 대해, 사상의 거듭제곱이 컴팩트일 조건 하에 양의 고유벡터와 고유함수를 존재함을 보여준다. 주요 기여는 코네 스펙트럼 반경과 관련된 양의 고유벡터를 갖는다는 비선형적 확장된 크라인-루타먼 정리의 증명으로, 이는 이인성 인구 모델에 응용된다.

ABSTRACT

This paper considers homogeneous order preserving continuous maps on the normal cone of an ordered normed vector space. It is shown that certain operators of that kind which are not necessarily compact themselves but have a compact power have a positive eigenvector that is associated with the cone spectral radius. We also derive conditions for the existence of homogeneous order preserving eigenfunctionals. Our results are illustrated in a model for spatially distributed two-sex populations.

연구 동기 및 목표

• 순서 있는 노름 벡터 공간에서 비선형 동차 순서 유지 사상으로 고전적 크라인-루타먼 정리를 확장한다.
• 이러한 사상이 코네 스펙트럼 반경과 관련된 양의 고유벡터를 갖는 조건을 설정한다.
• 동차 순서 유지 고유함수의 존재 조건을 유도한다.
• 이론적 결과를 공간적으로 구조화된 이인성 인구 모델과의 동적 결합에 적용한다.
• 양의 선형 연산자의 스펙트럼 이론을 비선형 동차 순서 유지 사상의 클래스로 일반화한다.

제안 방법

• B의 코네 스펙트럼 반경 r₊(B)를 ‖x‖ ≤ 1 인 x ∈ X₊ 에서 Bx의 노름의 상한으로 정의한다.
• 사상의 거듭제곱이 컴팩트함을 의미하는 '거듭제곱 컴팩트성' 개념을 도입한다.
• 사상의 점에서의 방향도함수를 이용해 동차 사상을 구성하며, 원래 사상이 순서를 유지하면 이 사상도 순서를 유지함을 보인다.
• 만약 동차이자 순서를 유지하는 사상이 거듭제곱 컴팩트성을 갖는다면, 이는 코네 스펙트럼 반경에 대응하는 양의 고유벡터를 가짐을 증명한다.
• B∘φ = r₊(B)φ 를 만족하는 양의 유계 동차 고유함수 φ: X₊ → ℝ₊ 가 존재함을 확립한다.
• 측도 이론적 접근을 통해 L¹ 공간과 바이어 측도를 이용한 추론을 통해, 두 성별 인구 모델에서 관련 연산자의 컴팩트성을 증명한다.

실험 결과

연구 질문

• RQ1 정규 코네에서 동차이자 순서를 유지하는 사상이 양의 고유벡터를 갖는 조건은 무엇인가?
• RQ2 콤팩트 양의 선형 연산자 스펙트럼 이론을 비선형 동차 순서 유지 사상으로 확장할 수 있는가?
• RQ3 이러한 사상에 대해 동차 순서 유지 고유함수의 존재를 보장하는 조건은 무엇인가?
• RQ4 비선형 동차 순서 유지 사상에 대해 코네 스펙트럼 반경을 어떻게 특징지을 수 있는가?
• RQ5 사상의 거듭제곱의 컴팩트성이 고유벡터와 고유함수의 존재 보장에 어떤 역할을 하는가?

주요 결과

• 만약 동차이자 순서를 유지하는 사상 B가 거듭제곱 컴팩트성을 갖는다면, Bf = r₊(B)f 를 만족하는 X₊ 내의 양의 고유벡터 f ∈ X₊, f ≠ 0 가 존재한다.
• 코네 스펙트럼 반경 r₊(B)는 연산자 스펙트럼 반경 ro(B)와 일치하여 선형 스펙트럼 이론과 일관성을 유지한다.
• B∘φ = r₊(B)φ 를 만족하고, 고유벡터 f 에 대해 φ(f) > 0 인 양의 유계 동차 고유함수 φ: X₊ → ℝ₊ 가 존재한다.
• 두 성별 인구 모델의 가정 하에, X₊ ∩ Xu 공간에서 u-노름을 통해 X₊ = L¹₊(Ω) 로의 사상 B 는 컴팩트하다.
• 두 성별 인구 모델에서, 관련 적분 연산자의 컴팩트성과 Theorem 7.1 의 적용을 통해 양의 고유벡터의 존재가 입증된다.
• 증명은 L¹(udη) 에서의 대각선화 추론과 유계 측도에 대한 가산 밀도 부분집합의 사용에 기반한다.