[논문 리뷰] Landis' conjecture for general second order elliptic equations with singular lower order terms in the plane

Blair Davey, Jenn‐Nan Wang|arXiv (Cornell University)|2017. 09. 26.

Advanced Mathematical Physics Problems참고 문헌 12인용 수 4

한 줄 요약

이 논문은 평면상의 일반적인 2계 타원형 미분방정식에 대해 비대칭이고 비연속적인 계수를 가진 해에 대해 정량적 소멸 차수 추정과 Landis의 추측의 개선된 형태를 수립한다. 방정식을 Beltrami 체계로 변환하고 일반화된 삼원환 정리(Three-circle Theorem)를 적용하여, 해의 $ L^\frown $-노름에 대해 다항식 및 지수하한을 도출한다. 이 하한의 지수는 계수의 적분 가능성에 따라 달라진다.

ABSTRACT

In this article, we study the order of vanishing and a quantitative form of Landis' conjecture in the plane for solutions to second-order elliptic equations with variable coefficients and singular lower order terms. Precisely, we let $A$ be real-valued, bounded and elliptic, but not necessary symmetric or continuous, and we assume that $V$ and $W_i$ are real-valued and belong to $L^p$ and $L^{q_i}$, respectively. We prove that if $u$ is a real-valued, bounded and normalized solution to an equation of the form $- abla \cdot (A abla u + W_1 u) + W_2 \cdot abla u + V u = 0$ in $B_d$, then under suitable conditions on the lower order terms, for any $r$ sufficiently small, the following order of vanishing estimate holds $$\|u\|_{L^\infty(B_r)} \ge r^{C M},$$ where $M$ depends on the Lebesgue norms of the lower order terms. In a number of settings, a scaling argument gives rise to a quantitative form of Landis' conjecture, \[ \inf_{|z_0| = R} \|u\|_{L^\infty(B_1(z_0))} \ge \exp(- C R^β\log R), \] where $β$ depends on $p$, $q_1$, and $q_2$. The integrability assumptions that we impose on $V$ and $W_i$ are nearly optimal in view of a scaling argument. We use the theory of elliptic boundary value problems to establish the existence of positive multipliers associated to the elliptic equation. Then the proofs rely on transforming the equations to Beltrami systems and applying a generalization of Hadamard's three-circle theorem.

연구 동기 및 목표

• 변수이고 비대칭인 계수를 가지며 특이성 있는 1차 항을 포함하는 2차 타원형 미분방정식의 해에 대해 날카로운 소멸 차수 추정을 수립하는 것.
• Landis의 추측의 정량적 형태를 증명하여, 하한 항의 $ L^\frown $-노름에 대해 반경과 1차 항 계수의 적분 가능성에 따라 지수하한을 제공하는 것.
• 스케일링 추론을 통해 잠재력 $ V $ 및 이동항 $ W_1, W_2 $ 에 대한 적분 조건이 거의 최적임을 보이는 것.
• 타원 경계값 문제 이론을 활용하여 양의 승수를 구성함으로써 비대칭이고 비연속인 계수를 가진 방정식으로의 유일연속성 이론을 확장하는 것.
• Beltrami 체계로의 변환을 통해 변수 계수 설정으로의 Hadamard의 삼원환 정리의 일반화를 수행하는 것.

제안 방법

• 변수 계수 타원형 연산자에 대한 양의 승수 이론과 변수 변화를 이용해 원래의 타원형 방정식을 Beltrami 체계로 변환하는 것.
• 변환된 Beltrami 체계에 일반화된 Hadamard의 삼원환 정리를 적용하여 링형 영역에서 해의 성장도를 통제하는 것.
• 타원 경계값 문제 이론을 활용해 원래 연산자와 관련된 양의 승수를 구성하여 적절한 비교 함수의 존재를 보장하는 것.
• 기본 해와 그 정규화된 근사값 $ \rho $-절단 $ \rho \to 0 $ 에 대해 점별 및 $ L^p $-기반 추정을 수립하고, 그 수렴이 Green 함수로 이르는 것을 증명하는 것.
• 평균 함수 $ \fint_{B_\rho(y)} $ 와 Sobolev 공간에서의 약한 수렴을 포함하는 이중 극한 추론을 통해 대칭 항등식 $ \rho(x,y) = \rho^*(y,x) $ 를 증명하여 Green 함수의 대칭성을 확인하는 것.
• 스케일링과 삼원환 부등식을 이용해 $ \norm{u}_{L^\frown(B_r)} $ 에 대한 정량 하한을 도출하고, 최종적으로 $ R^\beta \log R $ 에 따라 지수 감쇠 추정에 이를 도출하는 것.

실험 결과

연구 질문

• RQ1 비대칭이고 비연속적인 계수를 가지며 특이성 있는 1차 항을 포함하는 평면상의 2계 타원형 미분방정식의 해에 대해 최적의 소멸 속도는 무엇인가?
• RQ2 하나의 항 계수의 $ L^p $-노름에 대해 명시적인 의존성을 포함하는 Landis의 추측의 정량적 형태를 수립할 수 있는가?
• RQ3 스케일링 추론에 의해 제안된 바와 같이, $ V $, $ W_1 $, $ W_2 $ 에 대한 적분 조건은 거의 최적인가?
• RQ4 Beltrami 체계 수식을 통해 변수 계수 타원형 방정식으로의 삼원환 정리를 어떻게 일반화할 수 있는가?
• RQ5 양의 승수는 비대칭적이며 비연속적인 계수를 가진 방정식으로의 유일연속성과 소멸 차수 추정을 어떻게 확장하는 데 기여하는가?

주요 결과

• 유계이자 정규화된 해 $ u $ 에 대해 $ B_d $ 내에서 $ -\text{div}(A\nabla u + W_1 u) + W_2 \nabla u + V u = 0 $ 를 만족할 때, $ L^\frown $-노름은 $ r \to 0 $ 일 때 $ \norm{u}_{L^\frown(B_r)} \to r^{C K^{1+\frown}} $ 로 수렴한다. 여기서 $ K = \norm{W_1}_{L^{q_1}} $ 이며, $ C $ 는 $ \frown, \frown, q_1, q_2, p $, 그리고 $ C_0 $ 에 따라 달라진다.
• 만약 $ W_2, V \not\to 0 $ 이면, $ q_1 > 2 $ 이면 지수 $ \frown $ 를 0으로 취할 수 있고, 이 경우 하한은 $ \norm{u}_{L^\frown(B_r)} \to r^{C K} $ 로 변형된다.
• 만약 $ W_1, V \to 0 $ 이고 $ A $ 가 리프시츠 연속인 대칭 행렬이면, 강한 유일연속성 성질이 성립하여 $ u \not\to 0 $ 이다. 이는 어떤 다항식보다도 더 빠르게 수렴하지 않는다.
• 정량 Landis 추측이 성립한다: $ \text{ess inf}_{|z_0|=R} \norm{u}_{L^\frown(B_1(z_0))} \to \text{exp}(-C R^\beta \log R) $, 여기서 $ \beta = \frac{1}{q_1} + \frac{1}{q_2} + \frac{1}{p} $ 이며, $ q_1, q_2 > 2 $, $ p > 1 $ 이다.
• 적분 조건 $ V \to L^p $, $ W_1 \to L^{q_1} $, $ W_2 \to L^{q_2} $ 는 스케일링 추론을 통해 거의 최적임을 입증하였으며, 지수 감쇠의 지수 $ \beta $ 와 일치함을 보였다.
• Green 함수 $ \frown(x,y) $ 는 $ \frown(x,y) = \frown^*(y,x) $ 를 만족한다. 여기서 $ \frown^* $ 는 수반 연산자의 Green 함수이며, 평균 함수에 대한 이중 극한 추론과 Sobolev 공간에서의 약한 수렴을 통해 확인되었다.