[논문 리뷰] On the equivalence between moderate growth-type conditions in the weight matrix setting

Gerhard Schindl|arXiv (Cornell University)|2021. 06. 27.

Stability and Controllability of Differential Equations인용 수 4

한 줄 요약

이 논문은 가중치 행렬 설정에서 중간 성장 조건의 동치성에 대해 조사하며, 단일 가중치 수열에서의 고전적 중간 성장 조건의 동치성이 가중치 행렬로의 확장이 되지 않음을 보여준다. 특히, 가중치 함수와 관련된 가중치 행렬에 대해 혼합 조건—고전적 (mg) 조건의 일반화—이 매트릭스 프레임워크 내에서 동치가 아니며, 일반화된 (1.1)-유형 조건의 실패를 보여주는 반례를 구성한다.

ABSTRACT

We study the generalizations of the known equivalent reformulations of condition moderate growth from the single weight sequence to the weight matrix setting. This condition, also known in the literature under the name stability under ultradifferentiable operators, plays a significant role in the theory of ultradifferentiable (and ultraholomorophic) function classes defined in terms of weight sequences and its generalization becomes relevant when dealing with classes defined by weight matrices. In the matrix setting, we prove that the different mixed conditions are in general not equivalently satisfied anymore and we focus on weight matrices associated with (associated) weight functions.

연구 동기 및 목표

• 단일 가중치 수열 설정에서의 중간 성장 조건 유형의 동치성 개념이 가중치 행렬 설정으로 확장되는지 조사하는 것.
• 가중치 행렬의 맥락에서 혼합 조건 (M{mg})와 (M(mg))의 타당성과 상호관계를 분석하는 것.
• 가중치 함수와 관련된 가중치 행렬에서 일반화된 (1.1)-유형 조건이 실패함을 보여주는 반례를 구성하는 것.
• 가중치 수열에서 유도된 가중치 행렬에 대해 정리 3.1의 일반화가 언제 성립하는지 특성화하는 것.
• 가용 가중치 행렬이 초미분 가능성 함수 클래스의 바람직한 성질을 유지하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 가중치 수열 M에서 유도된 관련 가중치 함수를 통한 가중치 행렬 MωM에 초점을 맞춘다.
• ϕω = ω ◦ exp의 양성 함수 ϕ∗ω의 볼록성을 사용하여 수열 W(x)의 성장 행동을 분석한다.
• 로그-볼록성과 몫 수열 µp = Mp/Mp−1에 대한 점근적 추정을 적용하여 성장 지수를 유도한다.
• ϑ(x)p / ϑ(x)p−1에 대한 lim inf 추정을 사용하여 일반화된 (1.1)-유형 조건의 확인 또는 부정을 한다.
• 정리 4.8에서 혼합된 (1.1) 유형의 조건이 일반적으로 만족되지 않음을 보여주는 반례를 구성한다.
• 가용성 평가를 위해 [20, Def. 4.6] 및 [23, Prop. 3.6]의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 단일 수열 케이스에서 (mg) 조건이 동치임과 마찬가지로, 가중치 행렬 설정에서 혼합 중간 성장 조건 (M{mg})와 (M(mg))는 동치인가?
• RQ2 가중치 함수와 관련된 가중치 행렬에 대해 (1.1)의 일반화된 형태, 예를 들어 (4.1)과 (4.2)는 여전히 유효한가?
• RQ3 고전적 중간 성장 조건의 동치성은 매트릭스 프레임워크로 확장될 수 있는가, 아니면 근본적인 장애물이 존재하는가?
• RQ4 가중치 수열에서 유도된 가중치 행렬 MωM에 대해 정리 3.1의 일반화가 언제 유효한가?
• RQ5 가용 가중치 행렬이 초미분 가능성 함수 클래스에서 정규성 및 성장 성질을 유지하는 데서 수행하는 역할은 무엇인가?

주요 결과

• 고전적 중간 성장 조건의 동치성은 가중치 행렬 설정으로 확장되지 않는다: 일반적으로 (M{mg})와 (M(mg))는 동치가 아니다.
• 가장자리 수열가 중간 성장 조건을 만족하더라도, 가중치 수열에서 유도된 가중치 행렬 MωM에 대해 일반화된 (1.1)-유형 조건은 일반적으로 만족되지 않으며, 정리 4.8에서 구성된 반례로 이를 입증한다.
• 가중치 수열에서 유도된 가중치 행렬 MωM에 대해, 원래 수열이 (mg)를 만족하더라도 일반화된 (1.1)-유형 조건은 실패한다.
• 행렬 M′ωM = {M(c) : c ∈ N>0}는 원래 수열 M이 (β1), (4.7), 및 (A.3)를 만족할 경우 [20, Def. 4.6]의 의미에서 가용하다. 이는 바람직한 정규성 성질을 보장한다.
• 행렬 M′ωM 내의 각 M(c)는 (β1)과 (A.3)를 상속받으며, 그 후손 수열과 동치이므로 가용성 정의의 핵심 요소들이 검증된다.
• 결과적으로 매트릭스 설정은 단일 수열 케이스와 본질적인 차이를 보이며, 특히 혼합 성장 조건의 행동에서 그러한 차이가 두드러진다.