[논문 리뷰] On Lipschitz solutions for some forward-backward parabolic equations

Seonghak Kim, Baisheng Yan|arXiv (Cornell University)|2015. 06. 18.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 3

한 줄 요약

이 논문은 편미분 포함을 이용한 베어 기하학적 방법을 적용하여 증가-감소하는 포물형 편미분 방정식에 대해 비단조화 확산 플럭스를 갖는 경우 무수히 많은 리프시츠 해의 존재를 확립한다. 주요 기여는 조건 밀도 조건 하에서 이러한 해가 존재함을 증명한 것으로, 페로나-말릭 및 헬리그 유형 모델에서 이를 실현하였으며, 이는 미세 진동 행동을 포함한다.

ABSTRACT

We investigate the existence and properties of Lipschitz solutions for some forward-backward parabolic equations in all dimensions. Our main approach to existence is motivated by reformulating such equations into partial differential inclusions and relies on a Baire's category method. In this way, the existence of infinitely many Lipschitz solutions to certain initial-boundary value problem of those equations is guaranteed under a pivotal density condition. Finally, we study two important cases of forward-backward anisotropic diffusion in which the density condition can be realized and therefore the existence results follow together with micro-oscillatory behavior of solutions. The first case is a generalization of the Perona-Malik model in image processing and the other that of Höllig's model related to the Clausius-Duhem inequality in the second law of thermodynamics.

연구 동기 및 목표

• 증가-감소 포물형 편미분 방정식에 대해 비단조화 확산 플럭스를 갖는 리프시츠 해의 존재를 확립하기 위해.
• 이러한 방정식에서 역포물형 성질로 인한 초기경계값 문제의 부정확성 문제를 다루기 위해.
• 볼록 통합과 밀도 조건을 활용하여 고전적 포물형 이론을 초월한 존재 결과를 확장하기 위해.
• 대칭 영역에서 원형 및 비원형 리프시츠 해가 동시에 존재할 수 있음을 보여주기 위해.
• 물리적으로 관련된 모델들에 대해 접근 방식을 검증하기 위해: 영상 처리를 위한 페로나-말릭 모델과 열역학적 상전이를 위한 헬리그 유형 모델.

제안 방법

• 플럭스 구조 $ A(p) = f(|p|^2)p $ 를 이용해 증가-감소 포물형 편미분 방정식을 편미분 포함으로 재구성하기 위해.
• 잔여 $ G_\tau $-집합에서 해의 존재를 증명하기 위해 베어 기하학적 방법을 적용하여, 베어 공간 내에서 조밀한 존재를 보장하기 위해.
• 플럭스 프로파일 $ \sigma(s) = s f(s^2) $ 에 대한 밀도 조건을 사용하여 무수히 많은 리프시츠 해의 존재를 보장하기 위해.
• 정규화된 플럭스 $ \tilde{A}(p) = \tilde{f}(|p|^2)p $ 를 통해 근사 해를 구성하기 위해, 여기서 $ \tilde{f} \in C^{1+\alpha} $ 이며, 고전적 해의 존재를 보장하기 위해.
• 공간적 수술을 통해 중심축에서 떨어진 시공간 상자 내의 해 $ u^* $ 에 대해 원형 대칭을 깨뜨리고 비원형 해를 생성하기 위해.
• L^\infty 한계에서의 모순을 이용하여, 만약 비원형 해가 유한 개 뿐이었다면 비원형 함수 $ u^*_{nr} $ 는 원형 해들에 의해 근사될 것이며, 이는 대칭 깨짐을 위반하므로.

실험 결과

연구 질문

• RQ1 증가-감소 포물형 편미분 방정식의 초기경계값 문제에서 어떤 조건 하에 리프시츠 해가 존재하는가?
• RQ2 비단조화 PDE의 맥락에서, 베어 기하학적 방법을 사용하여 무수히 많은 해의 존재를 증명할 수 있는가?
• RQ3 플럭스 프로파일 $ \sigma(s) $ 에 대한 밀도 조건이 페로나-말릭 및 헬리그 유형 모델에서 리프시츠 해의 존재를 보장하는가?
• RQ4 같은 초기경계값 문제에 대해 구 안에서 원형 및 비원형 리프시츠 해가 동시에 존재할 수 있는가?
• RQ5 이러한 방정식의 해들에서 미세 진동 행동의 역할은 무엇인가?

주요 결과

• 초기 기울기가 $ |Du_0(x_0)| \in (s_1^*, s_2^*) $ 를 만족할 경우, 정리 3.5에 의해 초기경계값 문제 (1.2) 에 대해 무수히 많은 리프시츠 해가 존재한다.
• 초기 자료에서 $ \|Du_0\|_{L^\infty(\Omega)} \leq s_1^* $ 를 만족할 경우, 시간 $ \bar{t} $ 이후에 $ |Du^*| \in (s_1^*, s_2^*) $ 가 되는 고전 해 $ u^* $ 와 정리 3.5에서 유도된 새로운 해를 조합하여 무수히 많은 리프시츠 해를 구성할 수 있다.
• 만약 $ \min_{\bar{\Omega}} |Du_0| \geq s_2^* $ 라면, $ |Du^*| $ 가 구간 $ (s_1^*, s_2^*) $ 에 진입할 경우 유사한 조합 절차를 통해 무수히 많은 리프시츠 해를 얻을 수 있다.
• 반지름 초기 자료 $ u_0 $ 를 갖는 구 영역 $ \Omega = B_R(0) $ 의 경우, 해 $ u^* $ 에 대해 공간 수술을 통해 원형 대칭을 깨뜨림으로써 무수히 많은 비원형 리프시츠 해가 존재한다.
• 무수히 많은 비원형 해의 존재는 유한 개의 이러한 해가 존재할 가능성과 모순되며, 이는 $ L^\infty $-한계에서 위상적 추론을 통해 그 풍부성을 증명한다.
• 결과는 두 가지 핵심 물리 모델에서 실현되었는데, 영상 노이즈 제거를 위한 페로나-말릭 모델과 열역학적 상전이를 위한 헬리그의 모델이며, 모두 요구 조건 밀도 조건을 만족한다.