[논문 리뷰] Isoperimetric Inequalities and Sharp Estimate for Positive Solution of Sublinear Elliptic Equations

Qiuyi Dai, Renchu He외 1명|arXiv (Cornell University)|2010. 03. 19.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 3

한 줄 요약

이 논문은 슈바르츠 대칭화와 재배열 기법을 사용하여 비선형 타입의 타원형 방정식의 양해에 대해 날카운 등주 부등식 추정치를 수립한다. $ L^{q+1} $-노름과 해의 본질적 상한이 동일 체적의 구 안에서의 해에 대한 표현식으로 위상이 제한되며, 등호가 성립하는 것은 도메인이 구일 때에만 가능하다는 것을 증명함으로써 대칭화를 통한 날카로운 추정치를 제공하고, 구 위의 모델 문제와의 비교를 통해 이론을 정립한다.

ABSTRACT

In this paper, we prove some isoperimetric inequalities and give a sharp bound for the positive solution of sublinear elliptic equations.

연구 동기 및 목표

• 유계 도메인 내에서 비선형 타원형 방정식의 양해에 대한 $ L^{k} $-노름과 본질적 상한에 대한 날카로운 상계를 유도하기 위해.
• 0 < q < 1 인 $ -\Delta u = u^q $의 해에 대해 등주 유형 부등식을 수립하고, 고유함수 유형 대칭화 방법을 비선형 문제로 확장하기 위해.
• 최적의 상계가 도메인 $ \Omega $ 가 구일 때에만 달성되므로, 대칭성을 통한 극값의 특성화를 위해.
• 예를 들어 치티의 연구에서 비롯된 고유함수 대칭화 기법을 비선형 방정식의 양해에 일반화하기 위해.

제안 방법

• 원래 도메인 $ \Omega $ 를 동일 체적의 구 $ \Omega^* $ 로 변환하는 슈바르츠 대칭화를 사용하여 측도를 유지하고 비교를 가능하게 한다.
• 비교 해를 제공하기 위해 $ \Omega^* $ 에서의 보조 문제를 구성: $ -\Delta h = h^q $ 를 $ \Omega^* $ 에서, $ h = 0 $ 을 $ \partial\Omega^* $ 에서.
• Chiti의 연구에서 알려진 날카로운 부등식을 활용하여 $ u $ 와 $ h $ 의 감소 재배열을 비교하는 재배열 방법을 적용한다.
• 정규화와 스케일링을 통한 추론: $ u $ 의 $ L^k $-노름과 상한 노름은 $ u $ 의 $ L^{q+1} $-노름으로 스케일된 $ h $ 의 노름에 의해 제어된다.
• Faber-Krahn 유형 부등식과 그린 함수 추정치를 사용하여 $ h $ 의 최댓값을 추정하고, 도메인 체적에 대한 명시적 의존성을 도출한다.
• 도메인 간의 노름을 연결하고 대칭화 하에 단조성을 수립하기 위해 기능 $ S_q(\Omega) = \|u\|_{L^{q+1}(\Omega)}^{q-1} $ 를 활용한다.

실험 결과

연구 질문

• RQ1 유계 도메인 $ \Omega $ 내에서 $ -\Delta u = u^q $ 의 양해에 대해 $ L^k $-노름의 날카로운 상계는 그 $ L^{q+1} $-노름에 대해 어떻게 표현될 수 있는가?
• RQ2 해의 최대 국소 값은 그 $ L^{q+1} $-노름의 기능으로 위상이 제한될 수 있으며, 등호가 성립하는 것은 $ \Omega $ 가 구일 때에만 가능한가?
• RQ3 비선형 타원형 방정식의 해에 대한 등주 부등식은 라플라스 연산자의 고유함수에 알려진 것들과 어떻게 비교될 수 있는가?
• RQ4 슈바르츠 대칭화와 구 위의 중심 대칭 해와의 비교가 비선형 문제에 대한 날카로운 추정치 유도에 어떤 역할을 하는가?
• RQ5 추정치의 날카로움은 도메인의 대칭성에 의해 특성화될 수 있으며, 등호는 어떤 조건에서 성립하는가?

주요 결과

• 해 $ u $ 의 $ L^k $-노름은 $ \int_\Omega u^k dx \leq C(q,k,\Omega^*) \|u\|_{L^{q+1}(\Omega)}^{\sigma_1} $ 를 만족하며, 여기서 $ \sigma_1 = \frac{2(1+q)k + (1-q^2)n}{n+2 - (n-2)q} $ 이고, 등호는 $ \Omega $ 가 구일 때에만 성립한다.
• 해 $ u $ 의 본질적 상한은 $ \max_x u(x) \leq C(q,\Omega^*) \|u\|_{L^{q+1}(\Omega)}^{\sigma_2} $ 를 만족하며, 여기서 $ \sigma_2 = \frac{2(1+q)}{n+2 - (n-2)q} $ 이고, 등호는 $ \Omega $ 가 구일 때에만 성립한다.
• 상수 $ C(q,\Omega^*) $ 는 $ \max_{x\in\Omega^*} h(x) / \|h\|_{L^{q+1}(\Omega^*)}^{\sigma_2} $ 로 정의되며, $ \Omega^* $ 에서 대칭화된 문제를 만족하는 $ h $ 에 대해 정의되며, 그린 함수 추정치를 통해 명시적으로 계산 가능하다.
• $ \Omega^* $ 에서 $ h $ 의 최댓값은 $ \left[ \frac{ |\Omega| }{ \omega_n (2n)^{n/2} } \right]^{2/((1-q)n)} $ 로 제한되며, 이는 $ \|u\|_{L^\infty} $ 에 대한 체적 의존적 날카로운 상한을 이끌어낸다.
• $ k \geq q+1 $ 인 조건 하에서 $ u $ 의 $ L^k $-노름은 $ h $ 의 노름에 의해 지배되며, 즉 $ \int_\Omega u^k dx \leq \int_{\Omega^*} h^k dx $ 를 만족하며, 등호는 $ \Omega $ 가 구일 때에만 성립한다.
• 대칭화 비교에서의 등호 조건을 통해 추정치의 날카로움이 증명되며, 이는 $ \Omega $ 가 구일 때에만 성립하므로, 중심 대칭 도메인의 극값 성격을 확인한다.