Concepts de base
시간 분수 부확산 방정식의 연속 콜로케이션 이산화에 대한 충분조건을 제시하여 해의 존재성과 유일성을 보였다.
Résumé
이 논문은 시간 분수 부확산 방정식의 연속 콜로케이션 이산화에 대한 해의 존재성과 유일성을 다룬다.
주요 내용은 다음과 같다:
콜로케이션 이산화 방법을 행렬 표현으로 나타내었다.
Lax-Milgram 정리를 이용하여 해의 존재성과 유일성을 위한 충분조건을 제시하였다. 특히 2차 콜로케이션 방법에 대해 자세히 다루었다.
고유값 테스트를 통해 해의 존재성과 유일성을 위한 다른 충분조건을 제시하였다. 이를 통해 모든 m≥1과 모든 콜로케이션 점에 대해 해의 존재성을 증명하였다.
준계산적 접근법을 통해 m≤20에 대해 콜로케이션 행렬의 고유값을 계산하고 분석하였다.
준선형 문제로의 확장도 다루었다.
Stats
시간 분수 부확산 방정식: ∂α
t u + Lu = f(x, t), (x, t) ∈ Ω × (0, T]
공간 연산자 L: Lu = Pd
k=1{-∂xk(ak(x) ∂xku) + bk(x) ∂xku} + c(x)u
Caputo 시간 분수 도함수: ∂α
t u = 1
Γ(1-α) ∫t
0 (t-s)−α ∂su(·, s) ds
Citations
"시간 분수 방정식에 대한 고차 연속 콜로케이션 이산화는 a-priori 오차 분석에 매우 문제적이지만, 적응형 시간 스텝 알고리즘과 결합하면 신뢰할 수 있는 계산 솔루션과 최적 수렴률을 달성할 수 있다."
"m≥2인 경우 각 시간 수준에서 m개의 연계된 타원 방정식을 해결해야 하므로 이러한 시스템의 잘 정의성은 명확하지 않다."