[논문 리뷰] Counterexamples to quasiconcavity for the heat equation

Albert Chau, Ben Weinkove|arXiv (Cornell University)|2018. 02. 13.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 3

한 줄 요약

이 논문은 볼록 원환도에서 열 방정식에 under quasiconcavity 보존에 대한 명시적 반례를 구축한다. 이는 심지어 매끄럽고, 하모닉보다 더 작은(subharmonic), 그리고 quasiconcave인 초기 데이터가 시간이 지남에 따라 공간 초레벨 집합의 볼록성이 손상될 수 있음을 보여준다. 저자들은 구형이 아닌 등고선을 가진 구형 열 흐름의 변형을 이용하여 quasiconcavity를 깨뜨리며, 추가로 두 점 함수의 방법을 통해 공간-시간 quasiconcavity가 원형 대칭 조건 하에서도 유지되지 않음을 입증한다.

ABSTRACT

We construct solutions to the heat equation on convex rings showing that quasiconcavity may not be preserved along the flow, even for smooth and subharmonic initial data.

연구 동기 및 목표

• 초기 데이터의 quasiconcavity가 열 흐름 하에서 공간적 또는 공간-시간 quasiconcavity를 유지하는 데 충분한지 조사하는 것.
• 초기 데이터의 하모닉성(subharmonicity)이 포물선 흐름에서 quasiconcavity 보존을 보장한다는 가정을 도전하는 것.
• 초기 데이터의 초레벨 집합이 양의 시간 이후에 비볼록이 되는, 차원 $ n \geq 2 $ 에서의 명시적 반례를 구성하는 것.
• 초기 데이터가 원형 대칭이지만 여전히 공간-시간 quasiconcavity가 유지되지 않는다는 것을 보여주는 것.
• 공간-시간 quasiconcavity 파손을 나타내는 두 점 함수 $ \mathcal{H} $ 가 비음성으로 유지되지 않는 원인 분석

제안 방법

• 열 흐름 하에서 등고선이 구형이 되도록, 1에서 0으로 급격히 감쇠하는 원형 초기 함수 $ V $ 를 구성한다.
• 초기 영역 $ \Omega_1 $ 근처에서 등고선이 타원체인 비원형 초기 함수 $ W $ 를 설계한다. 외부로 갈수록 구형 형태로 전환된다.
• 작은 $ \varepsilon > 0 $ 에 대해 볼록 조합 $ u_0 = (1-\varepsilon)V + \varepsilon W $ 를 형성하여, 초기 데이터의 타당성과 quasiconcavity를 유지한다.
• 열 흐름을 통해 $ u_0 $ 를 진화시키며, 구형과 타원형 등고선 간의 상호작용이 양의 시간에 비볼록 초레벨 집합을 유도함을 보여준다.
• 공간-시간 quasiconcavity 파손을 감지하기 위해 두 점 함수 $ \mathcal{H}((x,s),(y,t)) = (Du(y,t)-Du(x,s))\cdot(y-x) + (u_t(y,t)-u_t(x,s))(t-s) $ 를 적용한다.
• 특정 시점 $ s=0 $ 에서 $ \mathcal{H} $ 를 분석하여, 큰 $ t $ 에서 양수가 되는 것을 보여주며, 공간-시간 quasiconcavity를 위한 필수 조건을 위반함을 시사한다.

실험 결과

연구 질문

• RQ1 초기 데이터의 quasiconcavity가 $ t > 0 $ 에서도 $ x \mapsto u(x,t) $ 가 quasiconcave로 유지되는지를 묻는다.
• RQ2 콤팩트 지지가 있는 하모닉보다 더 작은 초기 데이터가 열 방정식 하에서 quasiconcavity를 유지할 수 있는가?
• RQ3 초기 데이터가 원형 대칭이면서 quasiconcave일 경우, 공간-시간 quasiconcavity가 유지되는가?
• RQ4 열 방정식의 해에 대해, 두 점 함수 $ \mathcal{H} $ 가 볼록 고리에서 항상 음수 또는 0으로 유지되는가?
• RQ5 열 흐름 하에서 quasiconcavity 보존을 보장하기 위한 초기 데이터의 최소 정규성 및 기하 조건은 무엇인가?

주요 결과

• 차원 $ n \geq 2 $ 에서, 원환도 $ 1 < r < 2 $ 에서 매끄럽고 quasiconcave이며 하모닉보다 더 작은 초기 함수 $ u_0 $ 가 존재하여, 어떤 $ t_0 > 0 $ 에서 $ u(x,t_0) $ 가 quasiconcave가 아니게 된다.
• 해당 $ u_0 $ 에서 시작하는 열 방정식의 해 $ u(x,t) $ 는 공간에서 비볼록 초레벨 집합을 형성하며, 양의 시간 이후에 공간 quasiconcavity를 위반한다.
• 즉, $ u_0 $ 가 원형 대칭이면서 quasiconcave이더라도, 공간-시간 quasiconcavity는 유지되지 않으며, 큰 $ t $ 에서 양수인 두 점 함수 $ \mathcal{H} $ 를 통해 이를 입증한다.
• 반례는 구형과 비구형 타원체의 합집합이 비볼록이라는 점을 이용하여, 원형 열 흐름의 변형을 통해 구현된다.
• 특정 점 $ ((x,0),(y,t)) $ 에서 두 점 함수 $ \mathcal{H} $ 가 엄격히 양수가 되며, 공간-시간 quasiconcavity를 위한 필수 조건을 위반함을 입증한다.
• 이 구성은 [15, Theorem 3]의 주장에 반박되며, 포물선 quasiconcavity 결과에 대해 더 강력한 가정이 필요함을 시사한다.