[논문 리뷰] Hyers-Ulam stability of higher-order Cauchy-Euler dynamic equations on time scales

Douglas R. Anderson|arXiv (Cornell University)|2012. 12. 17.

Functional Equations Stability Results참고 문헌 24인용 수 4

한 줄 요약

이 논문은 임의의 시간 체계에서 고차 비동차 코시-오일러 동적 방정식에 대한 하이어스-울람 안정성을 확립한다. 이를 위해 계수의 초등 대칭 다항식을 통해 유도된 특성근 $ \lambda_1, \dots, \lambda_n $ 를 활용한 재귀적 인수분해 기법을 사용하여 문제를 일阶 동적 방정식의 연립으로 환원한다. 주요 결과는 임의의 근사해가 정확한 해로부터 유계 오차 $ K\varepsilon $ 이내에 유지됨을 보여주며, 이때 $ K $ 는 방정식의 계수와 시간 체계의 매개변수에 의존한다.

ABSTRACT

We establish the stability of higher-order linear non-homogeneous Cauchy-Euler dynamic equations on time scales in the sense of Hyers and Ulam. That is, if an approximate solution of a higher-order Cauchy-Euler equation exists, then there exists an exact solution to that dynamic equation that is close to the approximate one.

연구 동기 및 목표

• 시간 체계 상의 두 차수 코시-오일러 방정식에 대한 하이어스-울람 안정성 결과를 일반적인 $ n $차 수준으로 확장한다.
• 비동차 고차 코시-오일러 동적 방정식의 근사해가 정확한 해와 균일하게 가까워지는 데 필요한 충분조건을 설정한다.
• 근사해로부터 정확한 해를 반복적이고 명시적인 방법으로 구성함으로써 오차 전파가 유계임을 보장한다.
• 기본 대칭 다항식과 시간 체계 동적 연산자의 구조를 활용하여 이전의 두 차수 방정식 결과를 일반화한다.
• 특히 $ \mathbb{R} $, $ \mathbb{Z} $, 양자 영역 포함 임의의 이산적이고 조밀한 시간 체계에서 안정성 프레임워크를 검증한다.

제안 방법

• 계수 $ \alpha_k $ 를 통해 초등 대칭 다항식을 통해 유도된 특성근 $ \lambda_1, \dots, \lambda_n $ 를 이용해 $ n $차 코시-오일러 동적 방정식을 $ n $개의 일阶 동적 방정식 연립으로 분해한다.
• 재귀적 함수 수열 $ g_k $ 를 정의하여 $ g_k = \varphi \cdot (g_{k-1})^\Delta - \lambda_{n-k+1} g_{k-1} $ 를 만족시키며, 단계별로 차수를 낮춘다.
• Anderson 등 [2, Lemma 2.3]에서 알려진 안정성 결과를 체인 내 각 일阶 방정식에 적용하여, 각 방정식의 근사해가 정확한 해와 균일하게 가까이 있음을 보장한다.
• 특히 시간 체계 상의 $ \lambda $-지수 함수 $ e_\lambda(t,s) $ 를 활용한 지수 $ \Delta $-미적분을 적용하여, 근사 함수 $ x $ 로부터 정확한 해를 반복적으로 구성한다.
• 임의의 점 $ \tau_k \in [a, \sigma^k(b)]_{\mathbb{T}} $ 에서 초기 조건을 설정함으로써 정확한 해 $ u $ 의 재귀적 공식을 유도하며, $ u $ 가 최대 $ n $차 $ \Delta $-미분 가능함을 보장한다.
• 시간 체계 $ [a, \sigma^n(b)]_{\mathbb{T}} $ 상에서 균일한 오차 한계 $ |x(t) - u(t)| \leq K\varepsilon $ 를 유도하며, 여기서 $ K = \prod_{j=1}^n L_j / A^n $, $ A = \inf_{t \in [a,b]_{\mathbb{T}}} |\varphi(t)| > 0 $ 이다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 시간 체계 상의 고차 코시-오일러 동적 방정식이 하이어스-울람 안정성을 갖는가?
• RQ2 두 차수 코시-오일러 방정식의 하이어스-울람 안정성 결과를 임의의 시간 체계 상의 $ n $차 수준으로 일반화할 수 있는가?
• RQ3 비동차 $ n $차 코시-오일러 동적 방정식의 근사해를 체계적으로 수정하여 정확한 해를 얻을 수 있으며, 이때 오차가 유계가 되는가?
• RQ4 특성근 $ \lambda_k $ 와 함수 $ \varphi(t) $ 는 안정성 확보 및 오차 제어에 어떤 역할을 하는가?
• RQ5 고차 동적 방정식에 대해 근사해로부터 정확한 해를 명시적인 오차 한계와 함께 체계적으로 복원할 수 있는 구축 가능한 방법이 존재하는가?

주요 결과

• 비동차 $ n $차 코시-오일러 동적 방정식 $ \sum_{k=0}^n \alpha_k M_k y(t) = f(t) $ 는 $ \varphi(t) \neq 0 $ 이고 특성근이 일정한 정규성 조건을 만족할 경우 $ [a,b]_{\mathbb{T}} $ 상에서 하이어스-울람 안정성을 갖는다.
• 모든 함수 $ x \in C^{\Delta^n}_{rd}[a,b]_{\mathbb{T}} $ 가 $ \left| \sum_{k=0}^n \alpha_k M_k x(t) - f(t) \right| \leq \varepsilon $ 를 만족할 경우, $ [a, \sigma^n(b)]_{\mathbb{T}} $ 상에서 $ |x(t) - u(t)| \leq K\varepsilon $ 를 만족하는 정확한 해 $ u $ 가 존재하며, 이때 $ K = \prod_{j=1}^n L_j / A^n $ 이다.
• 정확한 해 $ u $ 는 $ u(t) = e_{\lambda_1/\varphi}(t, \tau_n)x(\tau_n) + \int_{\tau_n}^t e_{\lambda_1/\varphi}(t,\sigma(s)) \frac{w_{n-1}(s)}{\varphi(s)} \Delta s $ 의 공식을 통해 반복적으로 구성되며, $ w_k $ 는 재귀적으로 정의된다.
• 안정성 상수 $ K $ 는 시간 체계의 곡률과 계수 $ \lambda_k $ 에 따라 달라지며, $ A = \inf |\varphi(t)| > 0 $ 는 오차 배수의 유계성을 보장한다.
• 시간 체계 지수 함수와 [2]의 안정성 보조정리의 활용을 통해, 이전의 두 차수 방정식 결과를 재귀적 일阶 시스템 환원 기법을 통해 일반화한다.
• 실수 및 복소수 공액 특성근 모두에 대해 결과가 성립하므로, 시간 체계 상의 진동 및 감쇠 동적 시스템에까지 적용 가능성이 확장된다.