[论文解读] Landis' conjecture for general second order elliptic equations with singular lower order terms in the plane

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

Advanced Mathematical Physics Problems参考文献 12被引用 4

一句话总结

本文針對平面內具有奇異低階項的廣義二階橢圓方程之實值解，建立了漸近零點的定量估計，並提出 Landis 猜想的改良形式。透過將方程轉換為 Beltrami 系統，並應用推廣的三圓定理，作者推導出解在原點附近 $ 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.

研究动机与目标

• 針對二維空間中係數變動且非對稱、且具有奇異低階項的二階橢圓方程，建立解的漸近零點估計之精確形式。
• 證明 Landis 猜想的定量形式，提供解在 $ L^\frown $-範數上的指數下界，其表達式與半徑及低階係數的可積性有關。
• 透過尺度分析，顯示對勢能 $ V $ 及漂移項 $ W_1, W_2 $ 的可積性假設近乎最佳。
• 透過構造與橢圓邊值理論相關的正乘子，將唯一性延拓理論推廣至非對稱、不連續係數的方程。
• 透過轉換至 Beltrami 系統，將 Hadamard 的三圓定理推廣至變係數設定。

提出的方法

• 利用變數變換與變係數橢圓算子的正乘子理論，將原橢圓方程轉換為 Beltrami 系統。
• 對轉換後的 Beltrami 系統應用推廣版的 Hadamard 三圓定理，以控制解在環形區域內的增長。
• 運用橢圓邊值問題理論，構造與原算子相關的正乘子，確保適當比較函數的存在。
• 對基本解及其正則化近似 $ \rho $-截斷（$ \rho \to 0 $）建立點態與 $ L^p $-基估計，證明其收斂至格林函數。
• 利用包含平均函數 $ \fint_{B_\rho(y)} $ 與 Sobolev 空間弱收斂性的雙重極限定理，證明對稱性恆等式 $ \rho(x,y) = \rho^*(y,x) $，從而確認格林函數的對稱性。
• 透過尺度變換與三圓不等式推導 $ \norm{u}_{L^\frown(B_r)} $ 的定量下界，進而導出以 $ R^\beta \log R $ 表示的最終指數衰減估計。

实验结果

研究问题

• RQ1 當係數矩陣非對稱且不連續時，平面內具有奇異低階項的二階橢圓方程之解的最優漸近零點速率為何？
• RQ2 能否針對此類方程建立 Landis 猜想的定量形式，並明確表達低階項 $ L^p $-範數的依賴關係？
• RQ3 根據尺度分析，$ V $、$ W_1 $、$ W_2 $ 的可積性條件是否近乎最佳？
• RQ4 如何透過 Beltrami 系統形式，將三圓定理推廣至變係數橢圓方程？
• RQ5 正乘子在將唯一性延拓與漸近零點估計推廣至非對稱、不連續係數方程中扮演何種角色？

主要发现

• 對於方程 $ -\text{div}(A\nabla u + W_1 u) + W_2 \nabla u + V u = 0 $ 在 $ B_d $ 內的解 $ u $，若 $ u $ 有界且歸一化，則其 $ L^\frown $-範數滿足 $ \norm{u}_{L^\frown(B_r)} \to r^{C K^{1+\frown}} $ 當 $ r \to 0 $，其中 $ 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 $ 為對稱且具有 Lipschitz 係數時，強唯一性延拓性質成立，意味著 $ 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 $ 的尺度分析所證實。
• 格林函數 $ \frown(x,y) $ 滿足 $ \frown(x,y) = \frown^*(y,x) $，其中 $ \frown^* $ 為共軛算子的格林函數，此結果透過對平均函數的雙重極限定理與 Sobolev 空間弱收斂性確認。