[논문 리뷰] On ancient solutions of the heat equation

Fanghua Lin, Qi S. Zhang|arXiv (Cornell University)|2017. 12. 12.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 6

한 줄 요약

이 논문은 유클리드 공간과 비음성 리만 곡률을 가진 리만 다양체에서 열 방정식의 모든 양의 古典적 해에 대해 명시적인 적분 표현을 제공한다. 이들 해는 $ s > 0 $ 인 타원형 방정식 $ \Delta h - s h = 0 $ 의 양의 해들의 라플라스 변환으로 표현되며, 구 위와 양의 시간 축 위의 보렐 측도의 가중치를 통해 표현되며, 음의 시간에서 완전히 단조 감소하는 함수를 통한 완전한 특성화를 확립한다.

ABSTRACT

An explicit representation formula for all positive ancient solutions of the heat equation in the Euclidean case is found. In the Riemannian case with nonnegative Ricci curvature, a similar but less explicit formula is also found. Here it is proven that any positive ancient solution is the standard Laplace transform of positive solutions of the family of elliptic operator $Δ- s$ with $s>0$. Further relaxation of the curvature assumption is also possible. It is also shown that the linear space of ancient solutions of polynomial growth has finite dimension and these solutions are polynomials in time.

연구 동기 및 목표

• 열 방정식의 모든 양의 古典적 해를 $ \mathbb{R}^n \times (-\infty, 0] $ 에서 특성화하는 것 — 파라볼릭 PDE 이론에서의 근본적인 열린 문제.
• 이 특성화를 비음성 리치 곡률을 가진 리만 다양체로 확장하여, 가능한 한 곡률 조건을 완화하는 것.
• 다항식 성장도를 가지는 古典적 해의 공간에 대해 유한차원적 구조를 확립하는 것.
• 무한대에서의 포물형 마틴 경계가 $ s > 0 $ 인 타원형 방정식 $ \Delta u - s u = 0 $ 의 마틴 경계들의 합집합임을 규명하는 것.

제안 방법

• 양의 古典적 해에 대해 $ u(x, -t) $ 가 $ t $ 에 대해 완전히 단조 감소함을 이용하여, 완전히 단조 감소 함수에 관한 버니스타인 정리를 활용한다.
• 라플라스 변환 표현을 적용하여 $ u(x,t) $ 를 $ s \in [0, \infty) $ 에 대해 $ e^{st} $ 와 $ \Delta h - s h = 0 $ 의 양의 해 $ h(s,x) $ 의 적분으로 표현하며, 보렐 측도 $ \rho(s) $ 를 사용한다.
• 해를 $ u(x,t) = \int_0^\infty \int_{S^{n-1}} e^{st + \sqrt{s}\, x \cdot \xi} \, d\mu(\xi,s) \, d\rho(s) $ 로 표현하며, 여기서 $ \mu $ 는 구 위의 보렐 측도이고 $ \rho $ 는 $[0,\infty)$ 위의 보렐 측도이다.
• 역 라플라스 변환과 측도 이론적 추론을 통해, 타원형 방정식을 만족하는 조건부 해 $ h(s,x) $ 의 가중치를 통해 해를 복원한다.
• 하르나크 부등식과 코셰의 정리를 적용하여, 해 공간의 극단점이 타원형 방정식의 최소 양의 해들임을 규명한다.
• 라돈-니코다임 도함수를 사용하여, 해의 시간에 대한 마진 측도가 기준 측도에 대해 절대 연속임을 보이고, 이를 통해 구 위의 고유함수를 통한 표현을 도출한다.

실험 결과

연구 질문

• RQ1 열 방정식의 모든 양의 古典적 해는 $ \mathbb{R}^n \times (-\infty, 0] $ 에서 어떻게 표현될 수 있는가?
• RQ2 이러한 해의 표현 방식을 비음성 리치 곡률을 가진 리만 다양체로 확장할 수 있는가?
• RQ3 시간에 대해 다항식 성장을 가지는 古典적 해의 공간의 구조는 어떠한가?
• RQ4 무한대에서의 포물형 마틴 경계는 타원형 방정식 $ \Delta u - s u = 0 $ 의 마틴 경계들과 어떻게 관련이 있는가?
• RQ5 해 공간을 파arameter $ s > 0 $ 를 가진 타원형 방정식의 해들의 라플라스 변환으로 분해할 수 있는가?

주요 결과

• 모든 양의 古典적 해는 $ \mathbb{R}^n \times (-\infty, 0] $ 에서 $ u(x,t) = \int_0^\infty \int_{S^{n-1}} e^{st + \sqrt{s}\, x \cdot \xi} \, d\mu(\xi,s) \, d\rho(s) $ 의 형태로 표현되며, 이때 $ \mu $ 와 $ \rho $ 는 비음성 보렐 측도이다.
• 해 $ u(x, -t) $ 는 $ t $ 에 대해 완전히 단조 감소하므로, 버니스타인 정리를 적용하여 적분 표현을 도출할 수 있다.
• 비음성 리치 곡률을 가진 리만 다양체에서는 양의 古典적 해가 $ \Delta h - s h = 0 $ 의 양의 해들의 라플라스 변환으로 표현되며, 유클리드 경우에 비해 공식이 덜 명시적이다.
• 공간과 시간에 대해 다항식 성장을 가지는 古典적 해의 선형 공간은 유한 차원이며, 이러한 해들은 시간에 대한 다항식이다.
• 무한대에서의 포물형 마틴 경계는 $ s > 0 $ 인 타원형 방정식 $ \Delta u - s u = 0 $ 의 마틴 경계들의 합집합으로 규명되며, 이는 해의 구조에 기하학적 의미를 제공한다.
• 해의 시간 마진 측도는 기준 측도에 대해 절대 연속이며, 그 라돈-니코다임 도함수는 타원형 방정식 $ \Delta h = s h $ 를 만족하여 스펙트럼 분해를 확인한다.