[논문 리뷰] An elementary proof of the continuity from $L_0^2(Ω)$ to $H^1_0(Ω)^n$ of Bogovskii's right inverse of the divergence

Ricardo G. Durán|arXiv (Cornell University)|2011. 03. 18.

Advanced Mathematical Theories and Applications인용 수 15

한 줄 요약

이 논문은 별형 도메인에 대해 $L_0^2(Ω)$ 에서 $H_0^1(Ω)^n$ 으로의 발산 연산자의 보고프스키의 우측 역연산자의 연속성에 대한 기본적인 푸리에 변환 기반 증명을 제시한다. 이 방법은 캘러손-지그문트 이론을 회피하여 도메인 기하학적 비율 $R/\rho$ 에 대한 명시적인 추정치를 제공하며, 이는 코른 부등식과 향상된 파oin카레 부등식의 상수에 대한 추정치를 이끌어낸다.

ABSTRACT

The existence of right inverses of the divergence as an operator form $H^1_0(Ω)^n$ to $L_0^2(Ω)$ is a problem that has been widely studied because of its importance in the analysis of the classic equations of fluid dynamics. When $Ω$ is a bounded domain which is star-shaped with respect to a ball $B$, a right inverse given by an integral operator was introduced by Bogovskii, who also proved the continuity using the Calderón-Zygmund theory of singular integrals. In this paper we give an alternative elementary proof using the Fourier transform. As a consequence, we obtain estimates of the constant in the continuity in terms of the ratio between the diameters of $Ω$ and $B$. Moreover, using the relation between the existence of right inverses of the divergence with the Korn and improved Poincaré inequalities, we obtain estimates for the constants in these two inequalities.

연구 동기 및 목표

• 캘러손-지그문트 이론에 의존하지 않고 보고프스키의 발산 연산자에 대한 우측 역연산자의 연속성을 증명하기 위한 간단한 대안을 제공하는 것.
• 도메인의 지름 $R$ 와 기준 구의 반지름 $\rho$ 의 비율 $R/\rho$ 에 따라 역발산 연산자의 연속 상수에 대한 명시적 추정치를 도출하는 것.
• 역발산 연산자의 연속 상수와 코른 부등식 및 향상된 파oin카레 부등식의 상수 사이의 정량적 연결 고리를 설정하는 것.
• 새로운 추정치를 사용하여 평면 별형 도메인에서 향상된 파oin카레 부등식 상수가 $R/\rho$ 에 따라 유계임을 보이는 것.

제안 방법

• 함수 $f$ 를 영으로 확장하여 오른쪽 역연산자를 전체 공간 $\mathbb{R}^n$ 으로 확장하는 것.
• 해당 역발산 연산자를 정의하는 특이 적분 연산자의 분석을 위해 푸리에 변환을 사용하며, 항등식 $\widehat{\partial_j f}(\xi) = 2\pi i \xi_j \widehat{f}(\xi)$ 를 활용하는 것.
• 특이 커널의 구조를 다루기 위해 해의 연산자를 두 부분 $u_{k,1}$ 과 $u_{k,2}$ 로 분해하는 것.
• 푸리에 승수 연산자의 $L^2$-유계성을 적용하여 해의 $H^1_0$ 노름을 $f$ 의 $L^2$ 노름에 따라 통제하는 것.
• 스케일링과 국소화 기법을 사용하여 기하학적 비율 $R/\rho$ 에 따라 정밀한 추정치를 도출하는 것.
• 쌍대성과 단위 분할 기법을 통해 역발산 연산자와 향상된 파oin카레 및 코른 부등식 사이의 연결 고리를 설정하는 것.

실험 결과

연구 질문

• RQ1 캘러손-지그문트 이론에 의존하지 않고 보고프스키의 발산 연산자에 대한 우측 역연산자의 연속성을 증명할 수 있는가?
• RQ2 별형 도메인에서 연속 상수의 기하학적 비율 $R/\rho$ 에 대한 의존성은 어떠한가?
• RQ3 역발산 연산자의 연속 상수는 어떻게 코른 부등식과 향상된 파oin카레 부등식의 상수를 추정하는 데 사용될 수 있는가?
• RQ4 평면 별형 도메인에서 향상된 파oin카레 부등식 상수는 $ (R/\rho) \log(R/\rho) $ 의 배수로 유계가 되는가?
• RQ5 하디 부등식을 사용하여 역발산 상수와 향상된 파oin카레 상수 사이의 역추정을 확립할 수 있는가?

주요 결과

• 푸리에 변환과 기본적인 $L^2$-이론만을 사용하여 $L_0^2(\Omega)$ 에서 $H_0^1(\Omega)^n$ 으로의 보고프스키의 우측 역연산자의 연속성에 대한 간단한 증명이 확립된다.
• 연속 상수 $C_{\text{div},\Omega}$ 는 비율 $R/\rho$ 에 따라 명시적으로 추정되며, $C_{\text{div},\Omega} \leq C_n (1 + C_{\text{iP},\Omega})$ 라는 추정치를 얻는다.
• 평면 별형 도메인의 경우, 향상된 파oin카레 부등식 상수는 $C_{\text{iP},\Omega} \leq C (R/\rho) \log(R/\rho)$ 를 만족하며, 여기서 $C$ 는 절대 상수이다.
• 하디 부등식을 가정할 경우 $C_{\text{iP},\Omega} \leq C_{H,\Omega} C_{\text{div},\Omega}$ 라는 추정치를 확립하며, 단순연결 평면 도메인의 경우 $C_{H,\Omega} \leq 4$ 임을 보인다.
• 추정치 $C_{\text{iP},\Omega} \leq C (R/\rho) \log(R/\rho)$ 는 거의 최적임이 입증되며, 일부 도메인에 대해서는 $C_{\text{iP},\Omega} \geq c_1 (R/\rho)$ 라는 하한이 존재한다.
• 이 방법은 역발산 연산자와 소볼레프 공간 내 기본 부등식 사이의 구성적이고 정량적인 연결 고리를 제공하며, 도메인 기하학에 대한 명시적 의존성을 가진다.