[논문 리뷰] A shape optimization problem for the $p$-Laplacian

Anisa M. H. Chorwadwala, Rajesh Mahadevan|arXiv (Cornell University)|2012. 06. 19.

Advanced Mathematical Modeling in Engineering참고 문헌 15인용 수 4

한 줄 요약

이 논문은 라플라스 연산자에 대한 고전적 형태 최적화 결과를 비선형 $p$-라플라스 연산자로 확장하여, 구멍이 난 구의 구멍이 외부 구와 공심일 때 $p$-휨 강성은 최소화되고 첫 번째 딜리클레 고유값은 최대화됨을 증명한다. 형태 도함수, 움직이는 평면 방법, 비선형 PDE에 대한 비교 원리들을 사용하여 $1 < p < \infty$ 에서 대칭성과 극값 성질을 확립한다. 주요 기여는 선형 사례를 초월해 공심성의 유일한 최적화자임을 확장한 것이다.

ABSTRACT

It is known that the torsional rigidity for a punctured ball, with the puncture having the shape of a ball, is minimum when the balls are concentric and the first eigenvalue for the Dirichlet Laplacian for such domains is also a maximum in this case. These results have been obtained by Ashbaugh and Chatelain (private communication), Harrell et. al., by Kesavan and, by Ramm and Shivakumar. In this paper we extend these results to the case of $p$-Laplacian for $1 &lt; p &lt; \infty$. For proving these results, we follow the same line of ideas as in the aforementioned articles, namely, study the sign of the shape derivative using the moving plane method and comparison principles. In the process, we obtain some interesting new side results such as the Hadamard perturbation formula for the torsional rigidity functional for the Dirichlet $p$-Laplacian, the existence and uniqueness result for a nonlinear pde and some extensions of known comparison results for nonlinear pdes.

연구 동기 및 목표

• 선형 라플라스 연산자에 대한 알려진 극값 형태 결과를 $1 < p < \infty$ 에서 비선형 $p$-라플라스 연산자로 확장한다.
• 구멍이 난 구 영역의 $p$-휨 강성이 내부 및 외부 구가 공심일 때 최소가 됨을 증명한다.
• 같은 공심 조건 하에서 $p$-라플라스 연산자의 첫 번째 딜리클레 고유값이 최대가 됨을 보인다.
• $p$-라플라스 연산자에 대한 형태 미분 계산 프레임워크를 개발한다. 이는 하다르드 유형의 변형 공식을 포함한다.
• 비선형 $p$-라플라스 연산자 PDE에 대한 새로운 비교 원리와 존재/유일성 결과를 확립하여 기술적 도구로 활용한다.

제안 방법

• 형태 도함수 개념을 사용하여 도메인 변형을 분석하고, $p$-휨 강성 및 첫 번째 고유값 함수의 일阶 변동을 계산한다.
• 도메인 변형에 따른 해의 대칭성과 단조성 성질을 증명하기 위해 움직이는 평면 방법을 적용한다.
• 비영이 아닌 경계 조건을 가진 $p$-라플라스 연산자에 대한 약한 비교 원리를 사용한다. 이는 정리 3.1로 증명된다.
• 비교 분석을 지원하기 위해 비선형 $p$-라플라스 연산자 PDE의 음이 아닌 해의 존재성과 유일성 결과를 확립한다 (예정 4.1).
• 도메인 변형 기법을 사용하여 $p$-라플라스 연산자의 휨 강성과 첫 번째 고유값에 대한 하다르드 변형 공식을 유도한다.
• 최대 원리를 이용하여 균일 타원형 연산자에 대해 형태 도함수의 부호를 분석하고, 공심 구성의 극값 성질을 결론짓는다.

실험 결과

연구 질문

• RQ1 내부 및 외부 구가 구형 경계를 가진 이중 연결 영역에서 $p$-휨 강성이 내부 및 외부 구가 공심일 때 최소가 되는가?
• RQ2 같은 공심 구성 조건에서 $p$-라플라스 연산자의 첫 번째 딜리클레 고유값이 최대가 되는가?
• RQ3 움직이는 평면 방법과 비교 원리를 비선형 $p$-라플라스 연산자 설정에 적응하여 대칭성과 극값 성질을 증명할 수 있는가?
• RQ4 $p$-라플라스 연산자의 휨 강성과 첫 번째 고유값에 대한 하다르드 변형 공식의 형태는 무엇인가?
• RQ5 선형 형태 최적화를 비선형 $p$-라플라스 연산자로 확장하기 위해 어떤 새로운 비교 원리와 존재 결과가 필요한가?

주요 결과

• $p$-휨 강성 기능 $E(\Omega) = \int_\Omega |\nabla y|^p\,dx$ 는 내부 및 외부 구가 공심일 때에만 최소가 된다.
• $p$-라플라스 연산자의 첫 번째 딜리클레 고유값 $\lambda_1(\Omega)$ 는 내부 및 외부 구가 공심일 때에만 최대가 된다.
• 비영이 아닌 경계 조건을 가진 $p$-라플라스 연산자에 대한 새로운 약한 비교 원리가 확립되었으며, 이는 별도의 관심사가 있다.
• 비선형 $p$-라플라스 연산자 PDE에 대한 존재성 및 유일성 결과가 증명되었으며, 비교 기법을 적용하는 데 필수적이다.
• 비선형 사례로 고전 결과를 확장하기 위해 $p$-라플라스 연산자의 휨 강성에 대한 하다르드 유형의 변형 공식이 도출되었다.
• 형태 도함수의 부호는 움직이는 평면 방법과 최대 원리를 통해 분석되어 공심 구성의 극값 성질을 확인한다.