이산 연산자 하에서 Carleman 가중치 함수의 점근적 거동과 완전 이산 시스템의 φ‑제어 가능성

초록

본 논문은 평균·차분 연산자를 반복 적용했을 때 연속적인 Carleman 가중치 함수가 어떻게 변형되는지를 일반 차원에서 정확히 기술한다. 이를 기반으로 전 공간·시간 이산화된 열 방정식에 대한 Carleman 추정식을 구축하고, φ(h)=e^{-C/h^{\min{\mu/4,1}}} 형태의 감쇠율을 갖는 φ‑null controllability 결과를 제시한다.

상세 분석

논문은 먼저 연속 함수 f에 대해 방향 e_i 로 정의된 평균 연산자 A_i와 차분 연산자 D_i의 기본 곱셈 규칙(Lemma 2.1)을 정리하고, 이를 n‑차 반복에 일반화한 Leibniz 형태(Proposition 2.2)를 도출한다. 핵심은 Proposition 2.4와 Corollary 2.5에서 제시된 “점근적 전개”이다. 여기서는 A_i^n f = f + R_{A_i^n}(f), D_i^n f = ∂i^n f + R{D_i^n}(f) 형태로, 잔여항 R이 h^{2n}·(고차 미분) 형태임을 명시한다. 이러한 전개는 차원 d에 관계없이 동일하게 적용되며, 다중 방향 조합에서도 교차항이 명시적으로 제시된다(식 2.11‑2.12).

다음 단계에서는 Carleman 가중치 r=e^{sφ}, ρ=r^{-1}에 대해 ∂^β(r ∂^α ρ)와 같은 연속 미분 형태를 Lemma 3.1, Corollary 3.2을 통해 O(λ^{s|α|}) 수준으로 추정한다. 여기서 λ와 s는 각각 공간·시간 스케일 파라미터이며, φ는 ψ의 지수형 변환으로 정의된다. 핵심은 Theorem 3.5, 3.7, 3.13에서 제시된 “이산 Carleman 가중치 추정”이다. 평균·차분 연산자를 n‑번 적용한 뒤, 앞서 얻은 점근 전개와 Lemma 3.1의 연계로 r·D_i^n ρ, A_i^n r·ρ 등 복합 연산의 오차가 O(h^{2})·λ^{s|α|} 수준으로 제어됨을 보인다. 이는 기존 1‑차원 전용 결과(