[논문 리뷰] Asymptotics for the solutions of elliptic systems with fast oscillating coefficients

D. I. Borisov|ArXiv.org|2006. 12. 04.

Advanced Mathematical Modeling in Engineering참고 문헌 17인용 수 5

한 줄 요약

이 논문은 느린 및 빠른 공간 변수에 따라 변하는 빠르게 진동하는 계수를 가진 2계 타원계의 해석적 연산자에 대한 균일한 노름 점근적 성질을 확립한다. Birman와 Suslina의 기법을 확장하여, 계수의 매끄럽고 주기적인 성질을 가정함으로써 스무딩 기법을 피하면서 균질화된 연산자를 구성하고, $L_2$ 및 $W_2^1$ 노름에서 스펙트럼과 해석적 연산자의 수렴성을 증명하며, 오차 한계는 $\varepsilon$의 차수를 갖는다.

ABSTRACT

We consider a singularly perturbed second order elliptic system in the whole space. The coefficients of the systems fast oscillate and depend both of slow and fast variables. We obtain the homogenized operator and in the uniform norm sense we construct the leading terms of the asymptotics expansion for the resolvent of the operator described by the system. The convergence of the spectrum is established. The convergence of the spectrum is established. The examples are given.

연구 동기 및 목표

• 다양한 공간 차원 $\mathbb{R}^d$에서 느린 및 빠른 변수에 따라 변하는 계수를 가진 2계 타원계의 균질화 분석을 수행하는 것.
• 균질화된 연산자를 구성하고, 균일한 노름 기준으로 해석적 연산자의 주요 항의 점근적 전개를 유도하는 것.
• 모든 스펙트럼 매개변수들이 균질화된 스펙트럼에서 분리되어 있을 경우, 변형된 연산자의 스펙트럼이 균질화된 연산자로 수렴하는 것을 확립하는 것.
• 행렬 $\mathsf{f}_\varepsilon$를 이용한 변환을 통해, $\varepsilon \to 0$일 때 계수의 크기가 증가할 수 있는 시스템으로도 균질화 결과의 적용 범위를 확장하는 것.

제안 방법

• 스펙트럼 이론에 기반하며, Birman와 Suslina의 접근법을 확장하여 계수의 주기성과 매끄러움 조건을 활용함으로써 스무딩 기법을 피한다.
• 균질화된 연산자는 주기적 보정자 방법을 통해 유도되며, 보정자는 빠른 변수 $\xi = x/\varepsilon$ 에서의 세포 문제를 해결한다.
• 해석적 연산자의 점근적 전개는 $ (\mathcal{H}_\varepsilon - \lambda G_\varepsilon)^{-1} = (\mathcal{H}_0 - \lambda G_0)^{-1} + \varepsilon \mathcal{L}_\varepsilon + \text{오차} $ 형태로 구성되며, 오차는 $C\varepsilon$로 유계이다.
• 해석적 연산자는 $L_2$에서의 연산자 노름과 $W_2^1$으로의 연산자 노름 모두에서 분석되어, 두 노름에서의 수렴성을 보장한다.
• 행렬 $\mathsf{f}_\varepsilon \in W_\infty^1(\mathbb{R}^d; C^{2+\beta}_{\text{per}}(\overline{\square}))$ 를 통한 변환은 $\varepsilon \to 0$일 때 계수가 증가하는 시스템으로의 확장을 가능하게 하며, 적용 가능한 연산자 클래스를 넓힌다.
• 분석은 원래 연산자가 $\varepsilon$에 대해 일관되게 자기수반이고 하부준유계임을 가정하며, 계수들이 $x$와 $\xi$ 양쪽 모두에서 일관되게 유계이고 매끄럽다고 가정한다.

실험 결과

연구 질문

• RQ1 빠르게 진동하는 계수를 가진 2계 타원계의 해석적 연산자가 $\varepsilon \to 0$일 때 느린 변수와 빠른 변수에 따라 어떻게 점근적으로 행동하는가?
• RQ2 이러한 시스템에 대한 균질화된 연산자는 어떤 형태를 가지며, 원래 시스템으로부터 어떻게 도출되는가?
• RQ3 변형된 연산자의 해석적 연산자와 스펙트럼이 균일한 노름에서 균질화된 연산자로 수렴하는 속도는 무엇인가?
• RQ4 계수들이 $\varepsilon \to 0$일 때 증가하는 경우에도 결과를 확장할 수 있는가?
• RQ5 예를 들어 파울리 연산자나 탄성 연산자와 같은 물리적 또는 수학적 연산자 클래스 중에서 조건을 만족하고, 따라서 이러한 점근적 분석이 가능한 것은 무엇인가?

주요 결과

• 균질화된 연산자 $\mathcal{H}_0$ 는 빠른 변수 $\xi = x/\varepsilon$ 에서의 세포 문제의 해를 통해 명시적으로 구성되며, 보정자가 주기적이고 매끄럽다는 것을 보장한다.
• 변형된 연산자 $\mathcal{H}_\varepsilon$ 의 해석적 연산자는 스펙트럼 매개변수 $\lambda$ 가 $\mathcal{H}_0$ 의 스펙트럼에서 분리되어 있을 경우, $L_2 \to L_2$ 연산자 노름에서 오차 $O(\varepsilon)$ 로 $\mathcal{H}_0$ 의 해석적 연산자로 수렴하며, 이는 균일하게 성립한다.
• 해석적 연산자의 $L_2 \to W_2^1$ 연산자 노름 수렴성 또한 동일한 $O(\varepsilon)$ 오차 한계로 확립되어 기울기의 강한 수렴성을 나타낸다.
• $\mathcal{H}_\varepsilon$ 의 스펙트럼은 $\mathcal{H}_0$ 의 스펙트럼에서 분리되어 있는 유계 스펙트럼 매개변수에 대해 하우스도르프 거리 기준으로 수렴한다.
• 이 방법은 변환 $\widetilde{\mathcal{H}}_\varepsilon = \mathsf{f}_\varepsilon^* \mathcal{H}_\varepsilon \mathsf{f}_\varepsilon$ 를 통해 $\varepsilon \to 0$일 때 계수가 증가하는 시스템으로도 확장 가능하며, 이 경우에도 $O(\varepsilon)$ 수렴 속도를 유지한다.
• 결과는 파울리 연산자(메트릭과 포텐셜 포함) 및 탄성 연산자와 같은 넓은 범위의 연산자 클래스에 적용 가능하며, 적절한 매끄러움 및 주기성 조건을 만족할 경우 성립한다.