[논문 리뷰] Homogenization of the Oscillating Dirichlet Boundary Condition in General Domains

William M. Feldman|arXiv (Cornell University)|2013. 03. 07.

Advanced Mathematical Modeling in Engineering인용 수 4

한 줄 요약

이 논문은 일반적인 매끄러운 유계 도메인에서 연산자와 딜리클레 경계 조건 양쪽에 주기적인 진동을 갖는 완전 비선형 타원형 방정식의 동질화를 확립한다. 부분 경계 데이터를 갖는 새로운 비교 원리(Comparison Principle)를 사용하여, 해가 국소적으로 균일하게 수렴함을 증명한다. 이는 해가 불연속적인 동질화 경계 데이터를 가질 수 있음에도 불구하고 성립하며, 이는 이전 결과를 반공간에서 일반 도메인으로 확장한 것으로, 연산자에 대한 최소한의 가정 조건 하에서 성립한다.

ABSTRACT

We prove the homogenization of the Dirichlet problem for fully nonlinear elliptic operators with periodic oscillation in the operator and of the boundary condition for a general class of smooth bounded domains. This extends the previous results of Barles and Mironescu in half spaces. We show that homogenization holds despite a possible lack of continuity in the homogenized boundary data. The proof is based on a comparison principle with partial Dirichlet boundary data which is of independent interest.

연구 동기 및 목표

• 반공간에서의 진동하는 딜리클레 경계 조건의 동질화를 일반적인 매끄러운 유계 도메인으로 확장한다.
• 동질화된 경계 데이터가 불연속일 경우에도 해의 수렴성을 보장한다.
• 부분 경계 데이터를 갖는 비교 원리를 사용하여 동질화된 해의 존재성과 유일성을 증명한다.
• 동질화된 경계 데이터가 연속이 되는 조건을 규명하며, 특히 하우스도르프 차원이 작은 집합을 제외한 대부분의 경계점에서의 연속성을 고려한다.

제안 방법

• 경계점 근처에서의 붓업 분석(Blow-up analysis)을 통해 반공간에서의 셀 문제를 유도하여, 경계 근처에서 해의 국소적 행동을 모델링한다.
• 셀 문제의 해의 점근적 극한을 통해 동질화된 경계 데이터를 정의하며, 이는 법선 방향과 연산자의 주기적 구조에 따라 달라진다.
• 부분 경계 데이터를 갖는 비교 원리를 사용하여 근사 해의 상한 및 하한 연약한 극한(relaxed limits)을 제어한다.
• 도메인의 정규성과 연산자 및 법선의 수렴성에 기반하여, 전체 측도를 갖는 잔여집합(residual set)에서 동질화된 경계 데이터의 연속성을 확보한다.
• (barrier) 기반 접근과 연약한 극한을 적용하여, 내부 영역에서 해의 상한 및 하한 극한이 일치함을 보여, 국소 균일 수렴을 유도한다.
• 완전 비선형 연산자에 대한 내부 동질화 결과를 활용하여, 경계에서 벗어난 영역의 행동을 동질화 방정식과 연결한다.

실험 결과

연구 질문

• RQ1 일반 도메인에서 주기적인 연산자와 경계 조건을 갖는 완전 비선형 타원형 방정식의 딜리클레 문제에 대해, 동질화가 성립하는가? 특히 동질화된 경계 데이터가 불연속일 경우에도 성립하는가?
• RQ2 경계 데이터가 소규모 스케일에서 진동할 경우, 부분 경계 데이터를 갖는 비교 원리를 사용하여 수렴성을 확보할 수 있는가?
• RQ3 도메인과 연산자에 어떤 조건이 성립하면, 동질화된 경계 데이터가 대부분의 경계점에서 연속이 되는가?
• RQ4 특히 법선 벡터와 탄성 도함수(tangential derivatives)의 기하학적 성질이 동질화된 경계 조건의 연속성에 어떤 영향을 미치는가?
• RQ5 유사한 기법을 사용하여, 동질화된 노이만 경계 조건으로의 결과 확장을 어느 정도까지 가능하게 할 수 있는가?

주요 결과

• 해 $ u^\varepsilon $ 는 $ \Omega $ 내에서 국소적으로 균일하게 수렴하며, 이는 동질화된 경계 데이터 $ \overline{g} $ 가 불연속일지라도 성립한다.
• 동질화된 경계 데이터 $ \overline{g}(x) = \overline{\mu}(g(x,\cdot), F^x, \nu_x) $ 는 하우스도르프 차원이 $ \beta_0 $ 미만인 집합 $ \Gamma $ 를 제외한 모든 점 $ x \in \partial\Omega \setminus \Gamma $ 에서 연속이다.
• 수렴성은 부분 경계 데이터를 갖는 비교 원리에 의해 확보되며, 이는 주요 결과와 독립적인 핵심 기술적 기여이다.
• 상한 및 하한 연약한 극한이 $ \Omega $ 내에서 일치함을 보여, $ R $ 과 $ \eta $ 의 선택에 의해 경계층 효과가 제어됨으로써 국소 균일 수렴이 유도된다.
• 증명은 바리어 구축과 연산자 및 경계 데이터의 수렴성 하에서 볼록 해의 안정성에 기반하며, 등연속성 조건이 없더라도 성립한다.
• 이 결과는 바르레스와 미로네스크의 반공간에서의 이전 작업을 일반 도메인으로 일반화하며, 동질화된 경계 데이터의 회전 대칭성 또는 연속성 가정이 필요 없어진다.