[논문 리뷰] A boundary problem with integral gluing condition for a parabolic-hyperbolic equation involving the Caputo fractional derivative

Erkinjon Karimov, J. S. Akhatov|arXiv (Cornell University)|2013. 05. 22.

Differential Equations and Boundary Problems참고 문헌 12인용 수 14

한 줄 요약

이 논문은 파라볼릭-하이퍼볼릭 방정식에 대한 캡투 분수도함수와 적분 접합 조건을 포함한 트리코미 문제를 조사한다. 에너지 적분 방법을 사용하여 커널 조건 하에서 유일성이 증명되고, 프레드홀름 적분방정식과 그린 함수를 통해 존재성이 확립되어 각 영역에서 명시적인 해 표현식을 도출한다.

ABSTRACT

In the present work we investigate the Tricomi problem with integral gluing condition for parabolic-hyperbolic equation with the Caputo fractional order derivative. Using the method of energy integrals we prove the uniqueness of the solution for considered problem. The existence will be proved using methods of ordinary differential equations, Fredholm integral equations and solution will be represented in an explicit form.

연구 동기 및 목표

• 파라볼릭-하이퍼볼릭 방정식에 대한 캡투 분수도함수를 포함한 트리코미 문제를 조사한다.
• 파라볼릭-하이퍼볼릭 경계에서 해의 행동에 영향을 미치는 적분 접합 조건의 영향을 분석한다.
• 특정 커널 및 계수 제약 조건 하에서 해의 유일성을 확립한다.
• 일반 미분방정식과 프레드홀름 적분방정식의 방법을 사용하여 해의 존재성을 증명한다.
• 파라볼릭 영역 및 하이퍼볼릭 영역에서 해의 명시적 표현을 유도한다.

제안 방법

• 커널 및 계수 제약 조건 하에서 해의 유일성을 증명하기 위해 에너지 적분 방법을 사용한다.
• 경계 조건과 접합 조건을 통해 해를 표현함으로써 문제를 적분방정식의 체계로 변환한다.
• 파라볼릭 영역에서 제1경계값 문제의 그린 함수를 사용하여 해를 명시적으로 표현한다.
• 특성 방법과 데알망의 공식을 적용하여 하이퍼볼릭 영역에서 해를 표현한다.
• 트레이스 함수 τ₁(x)에 대한 프레드홀름 적분방정식 제2형을 구성하며, 이는 리졸베이트 커널을 통해 해결 가능하다.
• 에너지 추정 분석과 유일성 증명을 용이하게 하기 위해 ∂Q/∂t = −Q₁(x)Q₁(t) 구조의 커널을 도입한다.

실험 결과

연구 질문

• RQ1 캡투 분수도함수를 포함한 트리코미 문제의 해가 커널 Q(x,t)에 대해 어떤 조건에서 유일한가?
• RQ2 적분 접합 조건은 혼합형 방정식에서 고전적 연속 접합 조건을 어떻게 일반화하는가?
• RQ3 일반적인 연속 데이터 및 커널 함수에 대해 해의 존재성을 확립할 수 있는가?
• RQ4 파라볼릭 및 하이퍼볼릭 부분영역에서 해에 대한 명시적 표현을 어떻게 도출할 수 있는가?
• RQ5 계수 γ₁과 γ₂, 그리고 커널 Q(x,t)는 해의 정칙성과 유일성에 어떻게 영향을 미치는가?

주요 결과

• γ₂ ≥ 0, Q(x,x) > 0, 그리고 ∂Q/∂t = −Q₁(x)Q₁(t) 조건 하에서 해의 유일성이 증명되며, 동차 경우에 τ₁(x) ≡ 0임을 보장한다.
• φ₁, φ₂, ψ ∈ C[0,1] ∩ C¹(0,1) 이고 Q ∈ C¹([0,1]×[0,1]) 이면 해가 존재하며 닫힌 형태로 표현 가능하다.
• Ω⁺에서의 해는 공식 (24)로 명시적으로 주어지며, 그린 함수와 τ₁(ξ)에 대한 컨볼루션을 포함한다. 이는 프레드홀름 적분방정식에서 유도된다.
• Ω⁻에서의 해는 데알망의 공식 (6)으로 주어지며, 동차 경우에 ψ(x) = 0 조건 하에서 ν₂(x)는 τ′₂(x)로부터 결정된다.
• 적분방정식 (20)의 커널 K(x,ξ)는 연속적이며, 이는 리졸베이트 커널 R(x,ξ)의 존재를 보장한다. 이를 통해 τ₁(x)는 식 (23)을 통해 표현 가능하다.
• 최종 해는 요구 조건인 해 공간 W의 정의에 따라 경계 y=0에서 연속이며, 모든 경계 및 접합 조건을 만족한다.