[논문 리뷰] Variational problems on classes of convex domains

Nicolas Van Goethem|arXiv (Cornell University)|2007. 03. 25.

Advanced Mathematical Modeling in Engineering참고 문헌 14인용 수 6

한 줄 요약

이 논문은 유계 집합 $D \subset \mathbb{R}^N$ 내에 있는 고정된 부피를 가진 볼록 도메인의 클래스 위에서 변분 문제의 최소화자를 존재함을 확립한다. 균일 수렴(하우스도르프 거리와 동치)과 하방 연속성의 활용을 통해 타원형 작용소의 고유값과 뉴턴의 최소 저항 문제와 같은 작용소들이 이 클래스 위에서 최소를 갖음을 증명하며, 일반적인 짝수계 타원형 작용소로의 일반화를 수행한다.

ABSTRACT

We prove the existence of minimizers for functionals defined over the class of convex domains contained inside a bounded set D of R^N and with prescribed volume. Some applications are given, in particular we prove that the eigenvalues of differential operators of second and fourth order with non-constant coefficients as well as integral functionals depending on the solution of an elliptic equation can be minimized over this class of domains. Another application of this result is related to the famous Newton problem of minimal resistance. In general, all the results we shall develop hold for elliptic operators of any even order larger that 0.

연구 동기 및 목표

• 유계 집합 $D \subset \mathbb{R}^N$ 내에 있는 고정된 부피를 가진 볼록 도메인 위에서 정의된 작용소에 대한 최소화자의 존재성을 확립하는 것.
• 형태 최적화에서의 컴팩턴스 문제를 해결하기 위해 볼록 도메인의 클래스 위에서 균일 수렴을 위상으로 사용하는 것.
• 균일성과 단조성 등의 가정을 완화함으로써 기존의 형태 최적화 결과를 일반화하는 것.
• 고정된 부피를 가진 볼록 도메인 위에서 두 번째 및 네 번째 계 타원형 작용소의 고유값을 포함한 광범위한 작용소 클래스에 대해 최소화의 존재성을 증명하는 것.
• 추상적 프레임워크를 실질 문제인 뉴턴의 최소 저항 문제에 적용하는 것.

제안 방법

• 최적화의 정의역으로서, $D$ 내에 있는 열린 볼록 도메인 중 부피가 고정된 $m$인 클래스 $C_m(D)$ 를 사용한다.
• 볼록 도메인 공간에서 컴팩턴스를 확보하기 위해 균일 수렴(하우스도르프 거리와 동치)을 수렴 위상으로 활용한다.
• 균일 수렴 하에서 작용소의 하방 연속성을 증명함으로써 변분법의 직접 방법을 적용한다.
• 라데마처의 정리와 볼록 집합의 성질을 활용하여 경계의 거의 everywhere에서의 미분 가능성과 법선 벡터의 존재를 보장한다.
• 파투의 보조정리와 경계 간의 거의 everywhere에서 미분 가능한 사상에 의한 자코비안 수렴을 활용하여 표면 적분의 하방 연속성을 증명한다.
• Lebesgue 공간 $L^p(S^{N-1})$ 에서의 리에스-콜모고로프 컴팩턴스 정리를 적용하여 경계에서 법선 벡터의 수렴하는 부분수열을 추출한다.

실험 결과

연구 질문

• RQ1 유계 집합 $D \subset \mathbb{R}^N$ 내에 있는 고정된 부피를 가진 볼록 도메인 위에서 일반적인 작용소에 대해 최소화자가 존재하는가?
• RQ2 작용소의 균일성 또는 단조성 조건을 가정하지 않고도 최소화자의 존재성을 확보할 수 있는가?
• RQ3 고정된 부피를 가진 볼록 도메인의 클래스 내에서 뉴턴의 최소 저항 문제는 해를 갖는가?
• RQ4 비정수 계수를 가진 두 번째 및 네 번째 계 타원형 작용소의 고유값을 볼록 도메인 위에서 최소화할 수 있는가?
• RQ5 볼록 도메인에서의 균일 수렴이 직접 방법을 적용하기에 충분한 컴팩턴스와 하방 연속성을 보장하는가?

주요 결과

• 유계 집합 $D \subset \mathbb{R}^N$ 내에 있는 고정된 부피를 가진 볼록 도메인의 클래스는 균일 수렴(하우스도르프 거리)에 대해 컴팩트하다.
• 함수 $f$ 가 법선 벡터 $\nu(x)$ 에 대해 측도 가능하고 하방 연속적이라면, $F(\Omega) = \int_{\partial\Omega} f(x,\nu(x))\,d\mathcal{H}^{N-1}$ 의 형태를 가진 작용소는 균일 수렴에 대해 하방 연속적이다.
• 전체 저항 작용소 $\int_{\partial\Omega} \left( (\nu(x) \cdot A(x))^+ \right)^3 d\mathcal{H}^{N-1}$ 에 대해 최소화자가 존재하며, 이는 볼록 클래스 내에서 뉴턴의 최소 저항 문제를 해결한다.
• 이 결과는 임의의 양의 짝수계 타원형 작용소의 고유값으로까지 확장되며, 비정수 계수를 가진 경우에도 적용 가능하다.
• 볼록 도메인의 균일 수렴 하에서 경계점에서의 법선 벡터 수렴이 유지되어, 극한에서 기하학적 양의 일관성이 보장된다.