[논문 리뷰] A note on Aubin-Lions-Dubinskii lemmas

Xiuqing Chen, Ansgar Jüngel외 1명|arXiv (Cornell University)|2013. 05. 27.

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

한 줄 요약

이 논문은 반노름이 부여된 음이 아닌 콘의 함수족에 대해 Aubin-Lions-Dubinskiï¿ 를 개선하여, 더 완화된 조건 하에서 $L^p(0,T;B)$ 에서의 강한 컴팩턴스를 확립한다. Dubinskiï¿, Dreher-Jüringel, 그리고 Chen-Liu의 이전 결과를 일반화하며, 특히 시간에 대해 조각별로 상수인 함수에 대해 적용되며, 다공성 매체 및 빠른 확산 방정식에 응용된다.

ABSTRACT

Strong compactness results for families of functions in seminormed nonnegative cones in the spirit of the Aubin-Lions-Dubinski\uı lemma are proven, refining some recent results in the literature. The first theorem sharpens slightly a result of Dubinski\uı (1965) for seminormed cones. The second theorem applies to piecewise constant functions in time and sharpens slightly the results of Dreher and Jüngel (2012) and Chen and Liu (2012). An application is given, which is useful in the study of porous-medium or fast-diffusion type equations.

연구 동기 및 목표

• 바나흐 공간 내 반노름이 부여된 음이 아닌 콘에서 함수족에 대한 컴팩턴스 결과를 개선하고 일반화하는 것.
• 기본 공간이 전체 바나흐 공간이 아닌 반노름 콘인 경우에 Aubin-Lions-Dubinskiï¿ 를 추상화하는 것.
• 특히 Rothe 방법과 이산 시간 근사에서의 조각별 상수 함수에 대해 기존 결과를 향상시키는 것.
• 다공성 매체 및 빠른 확산 형 방정식과 같은 비선형 진화 방정식에 적용 가능한 $L^p(0,T;B)$ 에서의 컴팩턴스를 위한 통합 프레임워크를 제공하는 것.
• 기존 Aubin-Lions 조건이 완화된 경우에도 시간 이동 경계 조건이 $L^p$-공간에서 상대 컴팩턴스를 유도할 수 있는 조건을 확립하는 것.

제안 방법

• 저자들은 반노름 콘 $M_n$ 에서의 수열에 대해 일반화된 Ehrling 유형 부등식을 도입하여, $B$ 내의 노름과 $M_n$ 에서의 반노름, 그리고 $Y_n$ 내의 노름을 연결한다.
• 수열이 반노름에서 유계이고 $Y_n$ 에서 0으로 수렴하면, $B$ 내의 극한이 반드시 0이 되어야 하며, 이는 상대 컴팩턴스의 한 형태를 보장한다.
• 핵심 기법은 시간 이동 $\|\sigma_h u_n - u_n\|_{L^p(0,T-h;B)}$ 를 시간 이동 조건 $\|\sigma_h u_n - u_n\|_{L^p(0,T-h;Y_n)} \to 0$ 이 $n$ 에 대해 균일하게 $h \to 0$ 일 때, $L^p(0,T;B)$ 에서의 상대 컴팩턴스를 유도하는 방식이다.
• 시간에 대해 조각별 상수인 함수의 경우, Rothe 함수를 구성하지 않기 위해 이산 시간 이동 조건 $\|\sigma_\tau u_\tau - u_\tau\|_{L^r(0,T-\tau;Y)} \leq C\tau$ 를 사용한다.
• 중간 공간에서의 컴팩턴스를 가능하게 하기 위해 $\|u\|_B \leq C_\theta \|u\|_X^{1-\theta} \|u\|_Y^\theta$ 와 같은 보간 부등식을 적용하여 $B$ 내의 노름을 $X$ 와 $Y$ 내의 노름으로 통제한다.
• 증명은 컴팩트 임bedding 정리와 균일한 시간 이동 추정에 기반하며, Simon과 Maitre의 결과를 반노름 콘의 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 함수의 값이 전체 바나흐 공간이 아닌 반노름이 부여된 음이 아닌 콘인 경우에 Aubin-Lions-Dubinskiï¿ 를 강화할 수 있는가?
• RQ2 반노름 콘 $M_+$ 에서 $L^p(0,T;M_+)$ 에서의 유계성과 $Y$ 에서의 균일한 시간 이동 제어가 $L^p(0,T;B)$ 에서의 상대 컴팩턴스를 유도하는 조건은 무엇인가?
• RQ3 Rothe 함수를 구성하지 않고, 시간 이산 근사에 대해 고전적인 Aubin-Lions 를 어떻게 적응시킬 수 있는가?
• RQ4 이산 해 수열에 대한 시간 이동 조건이 만족될 경우, $p=\infty$ 의 경우에도 컴팩턴스 결과를 확장할 수 있는가?
• RQ5 시간에 따라 달라지는 $Y_n$ 에서 $L^p(0,T;M_n)$ 에서의 유계성과 $Y_n$ 에서의 시간 이동이 0으로 수렴하는 조건이 $L^p(0,T;B)$ 에서의 상대 컴팩턴스를 보장하는 조건은 무엇인가?

주요 결과

• 논문은 반노름이 부여된 음이 아닌 콘 $M_+$ 에 대해 Aubin-Lions-Dubinskiï¿ 를 개선한 결과를 증명하며, $M_+ \hookrightarrow B$ 가 컴팩트이고 $M_+ \cap Y \neq \emptyset$ 이면, $L^p(0,T;M_+ \cap Y)$ 에서의 유계성과 $Y$ 에서의 균일한 시간 이동 제어가 $L^p(0,T;B)$ 에서의 상대 컴팩턴스를 유도함을 보였다.
• 시간에 대해 조각별 상수인 함수의 경우, $C$ 가 $\tau$ 에 대해 독립적인 조건 $\|\sigma_\tau u_\tau - u_\tau\|_{L^r(0,T-\tau;Y)} \leq C\tau$ 는 $p < \infty$ 에서 $L^p(0,T;B)$ 에서의 상대 컴팩턴스를 보장하며, $p = \infty$ 일 경우 모든 $q < \infty$ 에 대해 $L^q(0,T;B)$ 로의 수렴을 보장한다. 이는 Dreher와 Jüringel의 이전 결과를 확장한다.
• 저자들은 $L^p(0,T;M_n \cap Y_n)$ 의 수열 $u_n$ 에 대해, $M_n$ 이 $B$ 내의 반노름 콘인 경우에 대해 이산형 Aubin-Lions-Dubinskiï¿ 를 증명하며, $Y_n$ 에서의 균일한 시간 이동 수렴이 $L^p(0,T;B)$ 에서의 상대 컴팩턴스를 유도함을 보였다.
• 반노름 콘에 대해 새로운 Ehrling 유형 부등식을 유도하였다: 임의의 $\varepsilon > 0$ 에 대해 $C_\varepsilon > 0$ 이 존재하여 $\|u-v\|_B \leq \varepsilon([u]_n + [v]_n) + C_\varepsilon \|u-v\|_{Y_n}$ 이 성립하며, 이는 컴팩턴스 증명에 핵심적이다.
• 논문은 $p < \infty$ 에서 [10]의 정리 1을 향상시켜 $r=p$ 가 아닌 $r=1$ 도 허용하며, Maitre의 비선형 컴팩턴스 결과를 $r=1$ 의 경우로 확장한다.
• 논문은 다공성 매체 및 빠른 확산 방정식과 같은 비선형 PDE에 적용 가능한 컴팩턴스 프레임워크를 제공한다. 이들 방정식의 해는 자연스럽게 음이 아닌 콘에 속하고, 시간 이산 근사가 사용된다.