[논문 리뷰] Existence and mutiplicity of solutions to elliptic equations of fourth order on compact manifolds

Mohammed Benalili|arXiv (Cornell University)|2007. 09. 30.

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

한 줄 요약

이 논문은 $ n \geq 5 $ 차원의 컴acts Riemannian 다양체 위에서 제4형 타입 타원형 미분방정식에 대해 부호가 변화하는 비선형성 $ f(x) $ 를 갖는 약한 해의 존재성과 다중성을 확립한다. 변분 방법과 농도-콤팩트성 기법을 사용하여, 임계 지수 $ N = \frac{2n}{n-4} $ 를 갖는 임계 케이스에서 비자명한 해가 존재하고, 하위임계 케이스에서는 최소 두 개의 비자명한 해가 존재함을 증명한다. 계수와 $ f $ 에 대한 적절한 조건 하에 성립한다. 주요 기여는 에너지 최소화와 약한 수렴 논증을 통해 부호가 변화하는 비선형성에 대처하는 데 있다.

ABSTRACT

This paper deals with a fourth order elliptic equation on compact Riemannian manifolds.We establish the existence of solutions to the equation with critical Sobolev growth which is the subject of the first theorem. In the second one, we prove the multiplicity of solutions in the subcritical case.

연구 동기 및 목표

• 차원 $ n \geq 5 $ 인 컴팩트 Riemannian 다양체 위에서 하위임계 제4형 타원형 미분방정식에 대해 최소 두 개의 비자명한 약한 해의 존재성을 확립한다.
• 부호가 변화하는 $ f(x) $ 를 갖는 임계 케이스의 방정식에 대해 비자명한 약한 해의 존재성을 증명한다.
• 부호가 변화하는 비선형성에 대해 변분 방법을 제4형 방정식에 확장하여, $ f $ 가 정의된 부호가 없는 경우 발생하는 어려움을 극복한다.
• 하위임계 지수 $ q \to N = \frac{2n}{n-4} $ 일 때 해의 행동을 약한 수렴과 콤팩트성 논증을 통해 분석한다.
• 한계 해가 비자명하고 $ C^{4,\alpha} $ 정규성을 갖는다는 것을 보이며, 부트스트랩 및 Vaugon의 방법을 적용한다.

제안 방법

• 차원 $ n \geq 5 $ 인 컴팩트 $ n $-차원 다양체 위에서 제4형 타원형 방정식 $ \Delta^2 u + \nabla^i(a(x)\nabla_i u) + h(x)u = f(x)|u|^{q-2}u $ 를 $ H_2^2(M) $ 소수공간을 사용하여 기술한다.
• 에너지 함수 $ F_q(u) = \|\Delta u\|_2^2 - \int_M a|\nabla u|^2 dv_g + \int_M h u^2 dv_g - \int_M f |u|^q dv_g $ 를 정의하고, $ L^q $-노름 제약 조건 집합 위에서의 최소화를 통해 임계점을 찾는다.
• 농도-콤팩트성 원리를 적용하고 약한 하향 연속성을 사용하여 $ q \to N $ 일 때 최소화 수열의 약한 극한을 추출한다. 이는 $ L^{N/(N-1)} $ 에서 수렴하고 $ H_2 $ 에서 약한 수렴을 보장한다.
• 비선형 항의 유계성과 약한 수렴을 보장하기 위해 $ \|u_q |u_q|^{q-2}\|_{L^{N/(N-1)}} \leq C \|u_q\|_{H_2}^{N-1} $ 를 이용한다.
• 에너지의 약한 하향 연속성과 약한 수렴을 통해 최소화 수열의 약한 극한 $ v $ 가 임계 방정식 $ \Delta^2 u + \nabla^i(a\nabla_i u) + h u = f |u|^{N-2}u $ 를 만족함을 증명한다.
• 비자명성은 $ \int_M f |v|^N dv_g < 0 $ 를 통해 보이며, 이는 $ u \neq 0 $ 를 의미한다. 부트스트랩 논증을 적용하여 $ C^{4,\alpha} $ 정규성을 도출한다.

실험 결과

연구 질문

• RQ1 차원 $ n \geq 5 $ 인 컴팩트 Riemannian 다양체 위에서 부호가 변화하는 비선형성 $ f(x) $ 를 갖는 하위임계 제4형 타원형 미분방정식이 최소 두 개의 비자명한 약한 해를 갖는가?
• RQ2 하위임계 문제의 근사에 의해, 부호가 변화하는 $ f(x) $ 를 갖는 임계 제4형 방정식에 대해 비자명한 약한 해를 구성할 수 있는가?
• RQ3 부호가 일정하지 않은 $ f $ 에 대해, 특히 임계 지수 케이스에서 해의 존재성을 보장하기 위한 $ f $, $ a $, $ h $ 에 대한 조건은 무엇인가?
• RQ4 하위임계 문제의 해들이 $ q \to N $ 일 때의 행동이 임계 문제의 해와 어떻게 관련되어 있는가?
• RQ5 임계 방정식의 한계 해는 비자명하고 부드럽고, 그 정규성은 약한 해를 초월하여 향상될 수 있는가?

주요 결과

• 논문은 $ f $, $ a $, $ h $ 에 대한 적절한 가정 하에, 하위임계 제4형 방정식 $ \Delta^2 u + \nabla^i(a\nabla_i u) + h u = f |u|^{q-2}u $ ($ 2 < q < N $) 에 대해 최소 두 개의 서로 다른 비자명한 약한 해의 존재성을 증명한다.
• 임계 케이스 $ q = N = \frac{2n}{n-4} $ 에서도, $ f $ 가 부호를 변화시켜도 $ \Delta^2 u + \nabla^i(a\nabla_i u) + h u = f |u|^{N-2}u $ 에 대해 비자명한 약한 해의 존재성을 확립한다.
• 최소화 수열 $ (u_q) $ 에 대해 $ q \to N $ 일 때의 약한 극한 $ v $ 는 임계 방정식을 만족하며, $ u = \left(\frac{N}{2}\right)^{1/(N-2)} v $ 는 $ \int_M f |v|^N dv_g < 0 $ 를 통해 비자명함을 보인다.
• 수열 $ \mu_{k_q,q} = \inf_{\|u\|_q^q \leq l_q} F_q(u) $ 는 $ q \to N $ 일 때 균일하게 아래로 유계이며, 이는 최소화 수열의 수렴을 보장한다.
• 한계 해 $ u $ 는 부트스트랩 방법과 Vaugon의 기법을 통해 어떤 $ \alpha \in (0,1) $ 에 대해 $ C^{4,\alpha} $ 정규성을 갖는다.
• 증명은 $ \|u_q |u_q|^{q-2}\|_{L^{N/(N-1)}} \leq C \|u_q\|_{H_2}^{N-1} $ 라는 사실에 기반하며, 이는 $ L^{N/(N-1)} $ 에서의 유계성과 약한 수렴을 보장하여 극한으로의 전환을 가능하게 한다.