[논문 리뷰] On homogenization estimates in Neuman boundary value problem for an elliptic equation with multiscale coefficients

S. E. Pastukhova, R. N. Tikhomirov|arXiv (Cornell University)|2015. 12. 20.

Advanced Mathematical Modeling in Engineering인용 수 3

한 줄 요약

이 논문은 노이만 경계 조건 하에서 이중 스케일 계수를 가진 스칼라 타원 방정식의 동질화에 대해 연산자 노름 추정을 수립한다. 수정된 일阶 근사 방법과 스테클로프 평균화를 사용하여, $\varepsilon \to 0$ 일 때 $\delta/\varepsilon \to 0$ 라는 조건 하에 $L^2$-노름 오차 추정을 순서 $\max\{\varepsilon, \delta/\varepsilon\}$ 와 $H^1$-노름 추정을 순서 $\sqrt{\tau}$ 로 도출한다. 여기서 $\tau = \max\{\varepsilon, \delta/\varepsilon\}$ 이다. 결과적으로 동질화 이론의 연산자 추정을 재귀적 구조를 가진 다중스케일 노이만 문제로 확장한다.

ABSTRACT

Homogenization of a scalar elliptic equation in a bounded domain with Neuman boundary condition is studied. Coefficients of the operator are oscillating over two different groups of variables with different small periods $\varepsilon$ and $δ=δ(\varepsilon)$. We assume that $δ/{\varepsilon}$ tends to zero as $\varepsilon$ tends to zero. It is known that the limit problem is obtained through reiterated homogenization procedure and corresponds to an elliptic equation with constant coefficients. The difference for resolvents of the initial and the limit problems is estimated in operator $(L^2 o L^2)$-norm. This estimate is of order $τ=τ(\varepsilon)$ which is the maximum of $\ve$ and $δ/{\varepsilon}$. We find also the approximation of the initial resolvent in operator $(L^2 o H^1)$-norm, it is of order $\sqrtτ$.

연구 동기 및 목표

• 이중 스케일 타원 노이만 문제의 해와 그 동질화 극한 사이의 차이에 대해 날카로운 연산자 노름 추정을 수립하는 것.
• 지크로프의 수정된 일계 근사 방법을 비대칭이고 진동하는 계수를 가진 이중 스케일 노이만 문제로 확장하는 것.
• 두 개의 서로 다른 작은 스케일 $\varepsilon$ 와 $\delta = \delta(\varepsilon)$ 가 존재할 때, 해의 점근적 행동을 분석하는 것. 여기서 $\delta/\varepsilon \to 0$ 이다.
• 효율적 매개변수 $\tau = \max\{\varepsilon, \delta/\varepsilon\}$ 를 통해 $L^2$ 와 $H^1$ 오차 추정을 도출하는 것. 이 매개변수는 진동의 지배적 스케일을 반영한다.
• 이중 스케일 구조가 존재함에도 불구하고 단일 매개변수를 가진 스테클로프 평균화만으로도 효과적인 $H^1$-근사가 구성 가능함을 보여주는 것. 이는 구성 과정을 단순화한다.

제안 방법

• 문제는 유계 $C^{1,1}$ 영역에서 $L^2$-수직인 자료와 해 공간을 가진 노이만 경계값 문제로 공식화된다.
• 계수 행렬 $a^\varepsilon(x) = a(x/\varepsilon, x/\delta)$ 는 각각 주기 $\varepsilon$ 와 $\delta$ 에 대해 주기적이며, 균일 타원성 및 허더링 연속성 조건을 만족한다.
• 재귀적 동질화를 통해 동질화 극한 문제를 유도하며, $Y \times Z$ 에서 세포 문제를 통해 정의된 상수 계수 타원 방정식과 행렬 $a^0$ 을 얻는다.
• 단일 스무딩 매개변수를 가진 스테클로프 평균화를 사용하여 수정된 일계 근사를 구성한다. 이는 일반적인 벡터형 경우에 비해 $H^1$-근사 구축을 단순화한다.
• 에너지 방법과 보조 세포 문제를 통한 보정자에 의존하여 $H^1$-오차 추정을 유도한다. 이는 효과적 행렬 $\hat{a}(y)$ 의 리프시츠 연속성에 기반한다.
• $L^2$-오차 추정은 $H^1$-유계성과 해 공간이 상수에 대해 $L^2$-수직이라는 사실을 이용하여 파incare 부등식을 통해 유도된다.

실험 결과

연구 질문

• RQ1 모든 $\varepsilon \to 0$ 과 $\delta/\varepsilon \to 0$ 일 때, 이중 스케일 계수를 가진 노이만 문제의 해에 대해 $L^2$-노름에서 최적 수렴 속도는 무엇인가?
• RQ2 이중 스케일 특성을 가진 스칼라 문제에 대해 단일 매개변수를 가진 스테클로프 평균화를 사용하여 단순화된 $H^1$-근사가 구성 가능한가?
• RQ3 다중스케일 설정에서 효과적 매개변수 $\tau = \max\{\varepsilon, \delta/\varepsilon\}$ 에 따라 $H^1$-오차 추정은 어떻게 척도화되는가?
• RQ4 연산자 추정의 타당성을 보장하기 위해 효과적 행렬 $a^0$ 과 보정자에 어떤 정규성 조건이 필요한가?
• RQ5 지크로프의 수정된 일계 근사 방법이 비대칭이고 다중스케일 계수를 가진 노이만 문제로 어떻게 확장되는가?

주요 결과

• 원래 해와 동질화된 해 사이의 $L^2$-노름 차이는 $\|u^\varepsilon - u^0\|_{L^2(\Omega)} \leq C \max\{\varepsilon, \delta/\varepsilon\} \|f\|_{L^2(\Omega)}$ 라는 추정을 만족한다. 여기서 $C$ 는 $d$, $\mu$, $c_L$, $\Omega$ 에만 의존한다.
• $H^1$-노름 오차는 $\|u^\varepsilon - u^0\|_{H^1(\Omega)} \leq C \sqrt{\tau} \|f\|_{L^2(\Omega)}$ 로 유계되며, 여기서 $\tau = \max\{\varepsilon, \delta/\varepsilon\}$ 이다. 이는 주어진 조건 하에서 최적이다.
• 효과적 행렬 $a^0$ 은 상수이며, $Y \times Z$ 에서의 세포 문제를 통해 정의되며, $\hat{a}(y)$ 는 $y$ 에 대해 리프시츠 연속적이다.
• $H^1$-근사의 구성은 단일 매개변수를 가진 스테클로프 평균화에 의존하며, 일반적인 벡터형 문제에 비해 방법을 크게 단순화한다.
• 동질화된 문제의 해 $u^0$ 은 $H^2(\Omega)$ 에 속하며, 표준적인 $H^2$-정규성 추정 $\|u^0\|_{H^2(\Omega)} \leq c_0 \|f\|_{L^2(\Omega)}$ 을 만족한다. 이는 추정의 타당성을 보장한다.
• 핵심 기술적 단계는 보정자 $M(y,z)$ 와 $N_j(y)$ 의 유계성과 정규성에 기반하여 행렬 $\hat{a}(y)$ 의 리프시츠 연속성을 증명하는 것이다.