[논문 리뷰] On Classical Solvability for a Linear 1D Heat Equation with Constant Delay

D. Ya. Khusainov, Michael Pokojovy외 1명|arXiv (Cornell University)|2014. 01. 22.

Stability and Controllability of Differential Equations참고 문헌 13인용 수 6

한 줄 요약

이 논문은 스펙트럼 방법과 에너지 추정을 사용하여 일차원 선형 열 방정식에 대해 상수 지연을 가진 고전적 해의 존재성과 데이터에 대한 연속적 의존성을 확립한다. 호환 조건 하에서 고전적 해의 유일 존재성을 증명하고, 푸리에 급수 및 지연 적분 연산자를 통한 명시적 표현을 제공한다.

ABSTRACT

In this paper, we consider a linear heat equation with constant coefficients and a single constant delay. Such equations are commonly used to model and study various problems arising in ecology and population biology when describing the temporal evolution of human or animal populations accounting for migration, interaction with the environment and certain aftereffects caused by diseases or enviromental polution, etc. Whereas dynamical systems with lumped parameters have been addressed in numerous investigations, there still remain a lot of open questions for the case of systems with distributed parameters, especially when the delay effects are incorporated. Here, we consider a general non-homogeneous one-dimensional heat equation with delay in both higher and lower order terms subject to non-homogeneous initial and boundary conditions. For this, we prove the unique existence of a classical solution as well as its continuous dependence on the data.

연구 동기 및 목표

• 상수 지연을 가진 선형 1D 열 방정식에 대해 고전적 해의 존재성과 유일성을 확립하기.
• 비동차 초기 및 경계 조건 하에서 문제의 잘 정의됨을 분석하기.
• 푸리에 급수와 지연 적분 연산자를 사용하여 해의 명시적 표현 공식 유도하기.
• 초기 자료, 경계 자료 및 소스 자료에 대한 해의 연속적 의존성 조사하기.
• 해가 고전적(즉, 공간-시간에서 C^0이며 연속적인 시간 및 공간 도함수를 가짐)이 되도록 보장하는 충분한 정규성 및 호환 조건 제공하기.

제안 방법

• 하향항을 제거하기 위해 지수 치환을 통해 원래의 지연된 열 방정식을 변형하여, 소스 항이 있는 표준 포물형 방정식으로 환원하기.
• 해를 세 구성요소로 분해하기: 초기 자료가 수정된 동차 방정식을 푸는 항, 소스 항이 있는 비동차 방정식을 푸는 항, 지연 효과를 처리하는 항.
• 공간 영역에서 고유함수 전개를 사용하여 (0,l)에서 푸리에 sin 급수 형태로 해를 표현하기.
• 단계별 방법과 반복 적분을 적용하여 지연을 다루기, 시간 간격 길이 τ에 대해 반복 적분 형태로 해 표현하기.
• 유일성과 데이터에 대한 연속적 의존성을 증명하기 위해 에너지 추정과 그론월레의 부등식 사용하기.
• 푸리에 급수 및 그 도함수의 수렴을 보장하기 위해 초기 자료, 경계 자료, 소스 함수에 대해 소볼레프 및 헬더 유형의 정규성 가정 사용하기.

실험 결과

연구 질문

• RQ1 상수 지연을 가진 선형 1D 열 방정식에 대해 고전적 해가 존재하는 조건은 무엇인가?
• RQ2 해는 초기 자료, 경계 자료 및 소스 자료에 대해 어떻게 연속적으로 의존하는가?
• RQ3 시간 및 공간 도함수에 모두 지연이 존재할 경우 해의 구조는 어떻게 되는가?
• RQ4 스펙트럼 분해와 지연 적분 연산자를 사용하여 해를 어떻게 명시적으로 표현할 수 있는가?
• RQ5 해가 고전적(즉, C^0 공간-시간에서 연속적인 시간 및 공간 도함수를 가짐)이 되기 위해 필요한 정규성 및 호환 조건은 무엇인가?

주요 결과

• t=0에서 호환 조건이 충족될 경우, 유한 시간 간격 [0,T]에서 지연된 1D 열 방정식에 대해 고유한 고전적 해가 존재한다.
• 해는 L²((0,T);L²(0,l)) 노름에서 데이터에 대해 연속적으로 의존하며, 이에 대한 유계는 소스 항, 초기 자료, 경계 자료의 L² 노름에 의존한다.
• 해는 세 구성요소의 합으로 표현되며, 각각은 고유함수 전개를 통한 초기 자료 기반 항, 두하멜 원리 기반 소스 항 기반 항, 반복 적분을 통한 지연 항 기반 항이다.
• 해의 급수 표현 및 그 시간 도함수와 공간 도함수는 자료에 대한 적절한 정규성 가정 하에서 절대적이고 균일하게 수렴한다.
• 소스 및 초기 자료의 푸리에 계수의 감쇠성과 경계 함수의 매끄러움이 해 및 그 도함수의 수렴을 보장한다.
• 초기 자료, 경계 자료, 소스 함수에 대해 충분한 정규성 조건—특히 소볼레프 공간 H^{2m+2k}에서의 조건—이면 고전적 해 성질이 보장된다.