[논문 리뷰] Existence and uniqueness results for a class of non linear models

Monica De Angelis, Alfonso Maio외 1명|arXiv (Cornell University)|2012. 03. 11.

Differential Equations and Numerical Methods참고 문헌 8인용 수 9

한 줄 요약

이 논문은 관련 선형 연산자의 기본 해를 바탕으로 한 적분미분형 수식을 사용하여, 확산 현상을 모델링하는 비선형 제3형 편미분방정식의 해의 존재성과 유일성을 확립한다. 커널에 대한 엄밀한 추정을 적용한 고정점 정리에 의해, 적절한 초기 자료와 비선형성의 리프시츠 조건 하에서 해는 시간에 대해 전역적으로 존재하며, 이는 매끄럽고 유일한 해임을 증명한다.

ABSTRACT

The qualitative analysis of the initial value problem P related to a non linear third order parabolic equation typical of diffusive models is discussed. Some basic properties of the the fundamental solution of a related linear operator are determined and are applied to an equivalent integro differential formulation of the problem. By the fixed point theorem, existence and uniqueness results are obtained

연구 동기 및 목표

• 확산 모델에서 유도된 비선형 제3형 편미분방정식의 해의 존재성과 유일성을 확립하기 위해.
• 점성항과 반응항을 포함한 고차수 편미분방정식의 초기값 문제를 분석하기 위해.
• 선형화된 연산자의 기본 해를 사용하여 등가의 적분미분형 수식을 유도하기 위해.
• 고정점 추론을 통한 초기 자료에 대한 연속적 의존성과 안정성 증명하기 위해.
• 반복적 수축 사상에 의한 시간 간격을 초월하여 전역 존재성을 확장하기 위해.

제안 방법

• 라플라스 변환과 수정 베셀 함수 표현을 사용하여 선형 연산자 L의 기본 해 K(x,t)를 유도하기 위해.
• 라플라스 변환 분석를 통해 K의 핵심 성질, 즉 음이 아닌 성질, 적분 가능성, 점 渐진적 행동을 확립하기 위해.
• 공간-시간 영역에서 K와의 컨볼루션을 포함하는 적분미분형 수식으로 초기값 문제를 재구성하기 위해.
• 유계이고 연속적으로 미분 가능한 함수의 바나흐 공간을 정의하며, 이들의 도함수 역시 유계임을 보장하기 위해.
• 시간 국소화 설정에서 수축 사상 원리를 적용하여 작은 시간 간격에서의 존재성과 유일성을 증명하기 위해.
• 수축 성질을 이용하여 연속적인 시간 간격으로 나누어 해를 전역적으로 확장하기 위해 귀납법을 적용하기 위해.

실험 결과

연구 질문

• RQ1 비선형 제3형 편미분방정식의 초기값 문제는 전체 공간-시간 영역에서 유일한 해를 갖는가?
• RQ2 비선형 편미분방정식은 선형화된 연산자의 기본 해를 사용하여 등가의 적분미분형 수식으로 재구성할 수 있는가?
• RQ3 비선형성 F와 초기 자료에 대해 어떤 조건이면 해가 시간에 대해 전역적으로 존재하는가?
• RQ4 해는 초기 자료와 방정식의 매개변수에 대해 연속적으로 의존하는가?
• RQ5 어떤 충분한 조건이 해 연산자가 적절한 함수 공간에서 수축이 되도록 보장하는가?

주요 결과

• 기본 해 K(x,t)는 영역 D에서 C∞이며, a < b = c²/ε일 때 음이 아닌 성질을 가진다.
• 공간에 대한 K의 총 질량은 1/a 이하이며, ∫ℝ K(|x−ξ|,t) dξ = (1/a)(1−e−at) ≤ 1/a 이다.
• 적분형 수식으로 정의된 해 연산자는, 시간 간격 η가 βF(1/a + 1/√(ε(b−a))) < 1 를 만족할 경우, 유계이고 매끄러운 함수의 바나흐 공간에서 수축이 된다.
• 충분히 작은 η에 대해 [0,η]에서 유일한 해가 존재하며, 이는 수축 성질을 이용해 유한한 T까지의 전역으로 확장된다.
• 해는 영역 D에서 원래의 편미분방정식을 점별로 만족하며, 커널과 초기 자료의 매끄러움 성질을 그대로 이어받는다.
• 해는 초기 자료 f₀와 f₁에 대해 연속적으로 의존하며, 수축 추론을 통해 안정성 추정식을 도출할 수 있다.