[논문 리뷰] Parametrix for a hyperbolic initial value problem with dissipation in some region

Christiaan C. Stolk|arXiv (Cornell University)|2003. 12. 05.

Advanced Mathematical Physics Problems참고 문헌 6인용 수 7

한 줄 요약

이 논문은 1차 초구형 초기값 문제에 대해, $γ > 0$ 인 순수 비선형 항을 포함하는 경우, 주어진 조건 하에 파arametrix를 구축한다. 이 조건은 주어진 기호가 0이 되는 곳에서 비선형 기호의 도함수들이 차수 $L-1$까지 0이 되며, $2\gamma < L$ 라는 조건을 만족한다. 얻어진 parametrix는 $ρ = 1 - \gamma/L$ 유형의 푸리에 적분 연산자이며, 비선형성에 의한 감쇠 효과와 초구형 전파를 동시에 반영하는 미세해석적 해 구조를 제공한다.

ABSTRACT

We consider the initial value problem for a pseudodifferential equation with first order hyperbolic part, and an order $γ&gt; 0$ dissipative term. Under an assumption, depending on an integer parameter $L \geq 2$ such that $2 γ&lt; L$, we construct for this initial value problem a parametrix that is a Fourier integral operator of type $ρ= 1 - γ/L$. The assumption implies that where the principal symbol of the dissipative term is zero, the terms of order up to $L-1$ in its Taylor series also vanish.

연구 동기 및 목표

• 1차 초구형 초기값 문제에 대해 비선형 편미분 연산자 $B$의 순서 $γ > 0$ 에 의해 교란된 경우, parametrix를 개발하는 것.
• 비선형성의 지지집합 경계에서 비선형성의 도함수가 고차수로 0이 되는 경우 해의 미세해석적 구조를 기술하는 것.
• 비선형 항이 비선형 기호의 원점에서 차수 $L-1$까지 0이 되는 경우, 고전적 푸리에 적분 연산자 프레임워크를 확장하여 이를 포함하는 것.
• 기호 클래스 $S^\mu_{\rho,\delta}$ 에서의 정규성 및 parametrix의 유형을 $ρ = 1 - \gamma/L$ 으로 기술하는 것.
• parametrix가 이중특성선 전파와 비선형성에 의한 지수적 감쇠를 모두 반영하도록 보장하는 것.

제안 방법

• 초구형 부분 $A(z,x,D_x)$ 에 기반한 위상 함수를 사용하여, 비선형 항 $B$ 를 $\exp(-I)$ 를 포함한 진폭에 통합함으로써 parametrix를 푸리에 적분 연산자로 구성한다. 여기서 $I$ 는 이중특성선 沿해 $b$ 의 적분이다.
• 비표준적인 감쇠 특성을 다루기 위해 $S^\mu_{\rho,\delta}$ 클래스를 기반으로 한 기호 계산법을 사용하며, 이는 $ρ = 1 - \gamma/L$, $\delta = \gamma/L$ 이다.
• parametrix 기호 $W = \sum W^{(j)}$ 의 재귀적 점근 전개를 적용한다. 각 $W^{(j)}$ 는 $S^{-j(1 - 2\gamma/L)}_{1 - \gamma/L, \gamma/L}$ 에 속하며, 기호 클래스 내에서 수렴함을 보장한다.
• 기호 $b$ 와 $B_s = B - b$ 의 도함수에 대한 유계성 조건을 설정한다. 조건은 $|\partial^{\alpha}_{(z,x)}\partial^{\beta}_{\xi} b| \leq C(1+|\xi|)^{-|\beta| + \frac{|\alpha|+|\beta|}{L}\gamma}(1+b)^{1 - \frac{|\alpha|+|\beta|}{L}}$ 이며, $|\alpha|+|\beta| < L$ 일 때 성립한다. 이는 $b=0$ 에서 도함수가 차수 $L-1$까지 0이 됨을 암시한다.
• 이중특성선 흐름에 따라 기호 정규성을 유지하기 위해 에고로프 정리를 적용하여 parametrix에서 기호 클래스를 변환된 연산자로 전달한다.
• 주파수 영역에서의 컷오프 $\chi$ 를 사용하여 해 연산자를 부드러운 부분과 주요 부분의 합으로 분해한다. 이로 인해 주요 성분은 $ρ = 1 - \gamma/L$ 유형의 푸리에 적분 연산자가 된다.

실험 결과

연구 질문

• RQ1 비선형 기호 $b$ 가 어떤 조건을 만족할 경우, 순서 $γ > 0$ 인 비선형 편미분 연산자 $B$ 를 포함한 초구형 초기값 문제에 대해 parametrix를 구성할 수 있는가?
• RQ2 비선형 기호 $b$ 의 도함수가 $b=0$ 에서 차수 $L-1$까지 0이 되는 것이, 얻어진 parametrix의 정규성 및 유형에 어떤 영향을 미치는가?
• RQ3 비선형성 조건 $2\gamma < L$ 을 만족할 경우, parametrix의 정확한 기호 클래스 $S^\mu_{\rho,\delta}$ 는 무엇인가?
• RQ4 parametrix는 푸리에 적분 연산자로 표현될 수 있으며, 이때 $γ$ 와 $L$ 에 따라 유형 $ρ$ 은 어떻게 정의되는가?
• RQ5 적분 $I(z,x,\xi) = \int_{z_0}^z b(z', \Gamma_x(z',z,x,\xi), \Gamma_\xi(z',z,x,\xi)) \, dz'$ 는 해의 진폭 및 감쇠 구조에 어떤 영향을 미치는가?

주요 결과

• 조건 $2\gamma < L$ 하에, 초기값 문제에 대한 parametrix는 $ρ = 1 - \gamma/L$, $δ = \gamma/L$ 유형의 푸리에 적분 연산자이다.
• 조건 $|\partial^{\alpha}_{(z,x)}\partial^{\beta}_{\xi} b| \leq C(1+|\xi|)^{-|\beta| + \frac{|\alpha|+|\beta|}{L}\gamma}(1+b)^{1 - \frac{|\alpha|+|\beta|}{L}}$ 가 $|\alpha|+|\beta| < L$ 일 때 성립하면, $b=0$ 에서 $b$ 의 모든 도함수들이 차수 $L-1$까지 0이 된다.
• 진폭 인자 $\exp(-I(z,x,\xi))$ 는 $S^0$ 에 속하지 않는 표준 기호이지만, $S^\mu_{1 - \gamma/L, \gamma/L}$ 클래스를 통해 다루어져 잘 정의된 parametrix를 구성할 수 있다.
• 해 연산자 $E$ 는 $ρ = 1 - \gamma/L$ 유형의 푸리에 적분 연산자와 미세해석적으로 동치이며, parametrix는 초구형 전파와 비선형성에 의한 감쇠를 모두 반영한다.
• $b(z,x,\xi) = |\xi|^\gamma W(z,x,\xi/|\xi|) h(\rho(z,x,\xi/|\xi|))$ 형태의 $b$ 에 대해, $h$ 가 부드럽고 비음이면서 $y=0$ 에서 차수 $L-1$까지 0이 되는 경우, 조건 (2) 는 $h$ 가 $|h^{(j)}(y)| \leq C h(y)^{1 - j/L}$ 를 만족할 경우 성립한다. ($j=1,\dots,L-1$)
• W 가 아래에서 유계임을 가정함으로써 비선형 항이 $h>0$ 에서 비퇴화되며, 기호 클래스의 정규성은 이중특성선 흐름 동안 유지된다. 이에 따라 parametrix 구성은 안정적이다.