[논문 리뷰] Boundary-Value Problems with Non-Local Initial Condition for Parabolic Equations with Parameter

John Michael Rassias, Erkinjon Karimov|ArXiv.org|2009. 05. 13.

Differential Equations and Boundary Problems참고 문헌 18인용 수 6

한 줄 요약

이 논문은 복소수 파arameter λ를 가진 탈퇴 및 전진-후행 포물형 방정식에 대한 국소적이지 않은 초기 조건을 갖는 경계값 문제를 조사한다. 고전적인 'a-b-c' 방법과 Bessel 함수를 포함하는 적분 항등식을 사용하여, λ와 국소적이지 않은 파arameter α에 대한 특정 조건 하에서 유일성 정리를 증명한다. 이는 비자명한 해가 존재할 수 있는 경우는 Re(λ) < 0 또는 |α| = 1일 때뿐이며, 수정된 Bessel 함수를 통해 명시적인 고유값 표현식을 유도한다.

ABSTRACT

In 2002, J.M.Rassias (Uniqueness of quasi-regular solutions for bi-parabolic elliptic bi-hyperbolic Tricomi problem, Complex Variables, 47 (8) (2002), 707-718) imposed and investigated the bi-parabolic elliptic bi-hyperbolic mixed type partial differential equation of second order. In the present paper some boundary-value problems with non-local initial condition for model and degenerate parabolic equations with parameter were considered. Also uniqueness theorems are proved and non-trivial solutions of certain non-local problems for forward-backward parabolic equation with parameter are investigated at specific values of this parameter by employing the classical "a-b-c" method. Classical references in this field of mixed type partial differential equations are given by: J.M.Rassias (Lecture Notes on Mixed Type Partial Differential Equations, World Scientific, 1990, pp.1-144) and M.M.Smirnov (Equations of Mixed Type, Translations of Mathematical Monographies, 51, American Mathematical Society, Providence, R.I., 1978 pp.1-232). Other investigations are achieved by G.C.Wen et al. (in period 1990-2007).

연구 동기 및 목표

• 탈퇴 포물형 방정식에 복소수 파arameter를 갖는 비국소 초기 조건을 갖는 경계값 문제에 대한 유일성 정리를 수립하기 위해.
• 특정 비국소 조건 하에서 파라미터 λ를 갖는 전진-후행 포물형 방정식에 대한 비자명한 해의 존재성과 구조를 조사하기 위해.
• 비국소 초기 자료와 파arameter 의존적 행동을 통합함으로써 혼합형 PDE에 대한 고전적 결과를 확장하기 위해.
• 수정된 Bessel 함수를 포함하는 고유값 방정식을 통해 해의 스펙트럼 구조를 분석하기 위해.
• 비자명한 해가 존재할 수 있는 파arameter 영역(λ 및 α 기준)을 규명하고, Re(λ) ≥ 0 조건에서의 유일성과 대비하기 위해.

제안 방법

• 에너지 유형 항등식을 유도하고 모순에 의한 증명을 통해 유일성을 증명하기 위해 고전적인 'a-b-c' 방법을 적용하였다.
• 분리 변수법과 변환 기법을 사용하여 PDE를 제1종 수정 Bessel 함수를 포함하는 ODE로 감소시켰다.
• μ_k에 대해 I_{1/(n+2)}(2√μ/(n+2)) = 0을 풀어 고유값 조건을 유도하였으며, 이를 파arameter λ와 연결하였다.
• Green의 공식을 적용하고 D₁ 및 D₂ 부분영역에서의 적분을 수행하여 u 및 u_x를 포함하는 적분 항등식을 도출하였다.
• 경계 S₂–S₅ 및 t=0,1에서 비국소 조건을 도입하였으며, 경계 항을 제거하기 위해 계수 제약 조건(예: k₃k₅ = k₂k₆)을 적용하였다.
• 유도된 에너지 항등식에서 Re(λ)의 부호를 분석하여 Re(λ) ≥ 0일 경우 모순을 보여, 고유성 증명을 완료하였다.

실험 결과

연구 질문

• RQ1 탈퇴 포물형 방정식에 대한 비국소 초기값 문제의 해가 유일해지기 위한 파arameter λ 및 비국소 계수 α에 대한 조건은 무엇인가?
• RQ2 비국소 초기 조건을 갖는 전진-후행 포물형 방정식에 대해 비자명한 해가 존재할 수 있는 α 및 λ의 정확한 조건은 무엇인가?
• RQ3 비국소 문제의 맥락에서 고유값 λ_pk는 수정된 Bessel 함수 I_{1/(n+2)}(·)의 근과 어떻게 관련되어 있는가?
• RQ4 비국소 경계 조건에 혼합 도함수와 함수 값이 포함된 더 일반적인 경우로 유일성 결과를 확장할 수 있는가?
• RQ5 특히 Re(λ) ≥ 0일 경우, 파arameter λ는 비자명한 해의 존재성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• α₁² + α₂² < 1 이고 Re(λ) ≥ 0일 경우, Ω에서 탈퇴 포물형 문제의 해가 유일하다는 것이 증명되었다.
• Re(λ) ≥ 0일 경우 에너지 항등식에서의 모순을 통해 비자명한 해는 Re(λ) < 0일 때만 존재할 수 있음을 보였다.
• 비자명한 해는 u_pk(x,y) = C_pk (2/(n+2))^{1/(n+2)} μ_k^{1/(2(n+2))} x^{1/2} I_{1/(n+2)}(2√μ_k/(n+2) x^{(n+2)/2}) e^{(-ln|α| - ipπ)y^{m+1}}로 명시적으로 구성되었다.
• 고유값은 λ_pk = μ_k + (m+1)ln|α| + i(m+1)pπ로 주어지며, 여기서 μ_k는 I_{1/(n+2)}(2√μ/(n+2)) = 0의 근이다.
• 전진-후행 포물형 방정식의 경우, |α| = 1, λ > 0, 그리고 계수 제약 조건 k₃k₅ = k₂k₆, k₁k₂ < 0, k₄k₅ > 0을 만족할 경우 유일성이 성립한다.
• 에너지 항등식이 Re(λ) ≥ 0일 경우 모순을 일으키므로, 이 조건 하에서 u ≡ 0이 유일한 해임을 증명하였다.