[논문 리뷰] Convex integration and infinitely many weak solutions to the Perona-Malik equation in all dimensions

Seonghak Kim, Baisheng Yan|arXiv (Cornell University)|2015. 03. 02.

Numerical methods in inverse problems참고 문헌 15인용 수 3

한 줄 요약

이 논문은 모든 차원에서 부드럽고 유계된 볼록 도메인에서 초기 자료가 초임계, 초임계 또는 임계를 초월하는지 여부에 관계없이, Perona-Malik 방정식에 무수히 많은 리프시츠 약한 해의 존재를 확립한다. 저자들은 새로운 볼록 통합 기법과 바이어 분류 방법을 결합하여, 적절한 함수 공간에서 해 집합이 잔여 집합임을 증명함으로써, 한 차원을 초월하는 영상 처리 PDE 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We prove that for all smooth nonconstant initial data the initial-Neumann boundary value problem for the Perona-Malik equation in image processing possesses infinitely many Lipschitz weak solutions on smooth bounded convex domains in all dimensions. Such existence results have not been known except for the one-dimensional problems. Our approach is motivated by reformulating the Perona-Malik equation as a nonhomogeneous partial differential inclusion with linear constraint and uncontrollable components of gradient. We establish a general existence result by a suitable Baire's category method under a pivotal density hypothesis. We finally fulfill this density hypothesis by convex integration based on certain approximations from an explicit formula of lamination convex hull of some matrix set involved.

연구 동기 및 목표

• 일차원을 초월하는 차원에서 Perona-Malik 방정식의 약한 해 존재성 문제를 해결하기 위해.
• 이전 연구 결과가 일차원 또는 구형 대칭 케이스에 국한되어 있음을 고려하여, 일반적인 부드럽고 유계된 볼록 도메인으로 확장하기 위해.
• 초기 자료가 비정상적이거나 임계를 초월하는 경우를 포함하여, 모든 부드러운 비상수 초기 자료에 대해 무수히 많은 리프시츠 약한 해의 존재를 확립하기 위해.
• 약한 해에 대해 기울기 최대 원칙을 증명하여, 기울기가 초기 기울기의 제어 가능한 배수 이내로 유지됨을 보여주기 위해.

제안 방법

• Perona-Malik 방정식을 선형 제약 조건과 제어할 수 없는 기울기 성분을 가진 비동차 편미분 포함식으로 재구성하기 위해.
• 적절한 함수 공간에서 바이어 분류 방법을 적용하여 잔여 해 집합의 존재를 확립하기 위해.
• 작은 입자나 구간에 진동하는 교정자들을 붙임으로써 근사 해를 구성하기 위해 볼록 통합 기법을 사용하기 위해.
• PDE 포함식에 관련된 행렬 집합에 대한 명시적 공식을 바탕으로 유도된 라미네이션 볼록껍질 근사에 의해 조건을 충족시키기 위해.
• 시간과 공간 도함수를 제어하는 조각별 $ C^1 $ 함수를 사용하여 왜곡을 구성하여 약한 형식을 만족시키기 위해.
• 구성된 해가 약한 형식을 만족하고, $ L^1 $-노름에서 Perona-Malik 함수 $ \sigma(p) = \frac{p}{1+|p|^2} $ 를 근사함을 검증하기 위해.

실험 결과

연구 질문

• RQ1 초기 자료가 임계를 초월하는 경우일지라도, Perona-Malik 방정식에 대해 일차원 이상에서 무수히 많은 약한 해가 존재할 수 있는가?
• RQ2 일차원 또는 구형 대칭 설정을 초월하여 볼록 통합 기법을 사용해 이러한 해를 구성하는 것이 가능한가?
• RQ3 원래 PDE가 불안정한 문제임에도 불구하고, 약한 위상에서 적절한 함수 공간에서 해 집합이 여전히 조밀하거나 잔여 집합인가?
• RQ4 클래식 해가 존재하지 않는 경우에도 이러한 약한 해에 대해 기울기 최대 원칙을 유지할 수 있는가?
• RQ5 이러한 해의 존재에 있어 도메인의 어떤 구조적 성질(예: 볼록성)이 필수적인가?

주요 결과

• 모든 $ n \geq 1 $ 에 대해, $ \mathbb{R}^n $ 내의 모든 부드럽고 유계된 볼록 도메인에서 초기-노이만 경계값 문제는 무수히 많은 리프시츠 약한 해를 가진다.
• 결과는 모든 부드러운 비상수 초기 자료에 대해 성립하며, 이는 하부임계 또는 초임계 영역을 모두 포함하는 임계를 초월하는 경우도 포함된다.
• 약한 해는 거의 기울기 최대 원칙을 만족한다: 임의의 $ \lambda > 0 $ 에 대해 $ \|Du\|_{L^\infty(\Omega_T)} \leq \|Du_0\|_{L^\infty(\Omega)} + \lambda $ 를 만족하여 기울기가 유계임을 보장한다.
• 해 집합은 적절한 함수 공간에서 잔여 집합이므로, 위상적으로 일반적인 성질을 가진다.
• 증명은 고차원에서 기울기 제어가 부족한 문제를 극복하기 위해, 유한 개의 작은 집합에 진동하는 교정자를 붙이는 새로운 볼록 통합 기법에 의존한다.
• 핵심 기술적 진전은 행렬 집합의 라미네이션 볼록껍질을 명시적으로 구성한 것으로, 바이어 분류 논증에 필요한 조건을 충족시킨다.