Eigenvalue homogenization for the $p-$Laplacian with rapidly oscillating $L^q$ weights

기술 요약: 급격히 진동하는 $L^q$ 가중치를 갖는 $p$-Laplacian의 고유값 균질화

문제 정의
본 논문은 급격히 진동하는 가중 함수($\rho_\varepsilon$)와 포텐셜($V_\varepsilon$)이 작용하는 $p$-Laplacian 연산자의 변분 고유값에 대한 수렴성 및 수렴 속도를 조사한다. 본 연구는 유계된 열린 집합 $\Omega \subset \mathbb{R}^n$ ($n \ge 1$)와 리프시츠(Lipschitz) 경계를 가진 디리클레(Dirichlet) 및 노이만(Neumann) 경계 조건을 모두 다룬다.

디리클레 경우의 주요 문제는 다음과 같이 주어진 $(D_\varepsilon)$이다:
$$\begin{cases} -\Delta_p u_\varepsilon + V_\varepsilon |u_\varepsilon|^{p-2}u_\varepsilon = \lambda_\varepsilon \rho_\varepsilon |u_\varepsilon|^{p-2}u_\varepsilon & \text{in } \Omega \\ u_\varepsilon = 0 & \text{on } \partial\Omega \end{cases}$$
여기서 $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$이며, $p > 1$이고, $\lambda_\varepsilon$는 고유값, $u_\varepsilon$는 고유함수이다. 수열 $\{\rho_\varepsilon\}$와 $\{V_\varepsilon\}$는 $L^q(\Omega)$에 속하며 균등하게 양수이다. 본 연구는 두 가지 시나리오를 고려한다:

1. 일반 수열: $\rho_\varepsilon \rightharpoonup \rho_0$ 이고 $V_\varepsilon \rightharpoonup V_0$ 이며, 이는 $L^q(\Omega)$에서 약수렴(weakly)하거나 $L^\infty$에서 약별수렴(weakly*)한다.
2. 주기적 수열: $\rho_\varepsilon(x) = \rho(x/\varepsilon)$ 이고 $V_\varepsilon(x) = V(x/\varepsilon)$ 이며, 여기서 $\rho$와 $V$는 $Q$($Q$는 단위 입방체) 주기 함수이다.

극한 문제 $(D_0)$는 균질화된 계수 $\rho_0$와 $V_0$를 포함한다. 여기서 $\rho_0$와 $V_0$는 주기 함수의 평균값이다.

방법론
분석은 미니맥스 방법(Krasnoselskii genus)을 이용한 고유값의 변분적 특성화에 기초한다. 핵심적인 기술적 기여는 $\int_\Omega (\rho_\varepsilon - \bar{\rho})|u|^p dx$ 형태의 진동 적분에 대한 상세한 검토이다.

1. 진동 적분 추정: 저자는 스케일링된 입방체 상의 푸앵카레형 부등식(Poincaré-type inequalities)과 소볼레프/모리 임베딩(Sobolev/Morrey embeddings)을 사용하여 이러한 적분에 대한 명시적인 유계성을 도출한다.

   • 디리클레 경우($u \in W^{1,p}_0(\Omega)$)에 대해, 명제 3.2는 해당 적분이 $C\varepsilon^\alpha \|\rho_\varepsilon - \bar{\rho}\|_{L^q} \|\nabla u\|_{L^p}^p$로 유계됨을 확립한다. 지수 $\alpha$는 $p, n, q$ 사이의 관계에 따라 결정된다.
   • 노이만 경우($u \in W^{1,p}(\Omega)$)에 대해, 명제 3.4는 튜브 근방(tubular neighborhood) 논법을 사용하여 경계층 효과를 처리하며, $\varepsilon^{1-1/q}$를 포함하는 유계값을 산출한다.

2. 변분 섭동: 섭동된 문제 $(D_\varepsilon)$와 극한 문제 $(D_0)$의 레일리 몫(Rayleigh quotients)을 비교함으로써 수렴 속도를 도출한다. 진동 적분에 대한 추정치는 저자가 고유값 $\lambda_{k,\varepsilon}$와 $\lambda_{k,0}$ 사이의 차이를 제어할 수 있게 한다.

3. 1차원 축소: 주 부분(principal part)에 진동하는 계수를 갖는 1차원 가중 $p$-Laplacian의 특정 사례(즉, $-(a(x/\varepsilon)|u'|^{p-2}u')' = \lambda \rho(x/\varepsilon)|u|^{p-2}u$)의 경우, 저자는 변수 변환을 사용한다. 이 변환은 문제를 우변에 진동하는 가중치를 갖는 표준 $p$-Laplacian으로 축소하여, 앞서 도출된 추정치를 적용할 수 있게 한다.

주요 기여 및 결과

• 고유값의 수렴: 본 논문은 특정 적분 가능성 조건($1 < p \le n$인 경우 $n/p < q \le \infty$, $p > n$인 경우 $q=1$)을 만족하는 일반 수열에 대해, $k$번째 변분 고유값 $\lambda_{k,\varepsilon}$가 $\varepsilon \to 0$일 때 $\lambda_{k,0}$로 수렴함을 디리클레 및 노이만 경계 조건 모두에서 증명한다 (정리 4.1 및 4.5).

• 명시적 수렴 속도 (주기적 경우):

  • 디리클레 경우: 주기적 가중치에 대해, 본 논문은 다음의 속도를 확립한다:
    $$|\lambda_{k,0} - \lambda_{k,\varepsilon}| \le C \varepsilon^\alpha \left( \lambda_{k,0} \|V_\varepsilon - \bar{V}\|_{L^q} + \lambda_{k,0}^2 \|\rho_\varepsilon - \bar{\rho}\|_{L^q} \right)$$
    여기서 $\alpha = p - n/q$ (만약 $n/p < q \le \infty, 1 < p \le n$) 또는 $\alpha = 1 - n/p$ (만약 $q=1, p > n$)이다.
  • 노이만 경우: $1 < p \le n$ 이고 $(n-1)/(p-1) < q \le \infty$ 인 경우, 유사한 추정치가 $\alpha = 1 - 1/q$와 함께 성립한다.
  • $k$에 대한 의존성: 극한 문제의 Weyl 추정치를 사용하여, 저자는 고유값 인덱스 $k$에 명시적으로 의존하는 속도를 도출하며, 포텐셜과 가중치 항에 대해 각각 $k^{p/n}$ 및 $k^{2p/n}$의 차수의 성장을 보여준다 (따름정리 4.4).

• 1차원 가중 연산자: 본 논문은 진동이 연산자의 주 부분에서 발생하는 1차원 사례를 다룬다. 문제를 표준 형태로 축소함으로써, $1/\varepsilon$이 정수인지 여부에 따라 달라지는 수렴성과 구체적인 속도를 증명한다 (정리 5.4).

의의 및 범위
본 논문은 고유값 균질화에 관한 기존 문헌의 결과들을 확장한다고 주장한다.

• 선형 사례($p=2$)와 특정 주기적 설정을 $p$-Laplacian의 더 넓은 적분 지수 $q$ 범위로 일반화한다.
• 고유값 인덱스 $k$와 진동 매개변수 $\varepsilon$에 대한 명시적 의존성을 제공하여, 선형 사례에 대한 [21, 24, 26] 및 비선형 주기적 사례에 대한 [9, 10, 23]의 기존 차수-의-크기(order-of-magnitude) 추정치를 정교화한다.
• 결과는 복합 재료, 최적 설계, 형상 최적화 등의 문제를 다루는 데 적용 가능하며, 서론에서 언급되었듯이, 진동하는 재료 특성이 스펙트럼 특성에 얼마나 빠르게 영향을 미치는지에 대한 엄밀한 경계값을 제공한다.

저자는 본 결과가 특정 구조적 조건(Carathéodory, 응집성, 단조성 등)을 만족하는 더 넓은 클래스의 준선형 연산자(quasi-linear operators)에도 적용될 수 있음을 언급하였으나, 표기상의 단순함을 위해 본 원고에서는 $p$-Laplacian에 집중하였다.