[논문 리뷰] Solving pseudo-differential equations

Nicolás Lerner|ArXiv.org|2003. 04. 22.

Algebraic and Geometric Analysis참고 문헌 14인용 수 4

한 줄 요약

이 논문은 Nirenberg-Treves의 조건 (ψ) 하에서 1차 미분형식의 pseudo-differential 방정식의 해가 존재하는지 조사하며, 이전의 가정과는 달리 조건 (ψ)가 1계 파생의 손실을 보장하지는 않지만, 2계 파생의 손실을 보장한다는 것을 보여준다. 이 작업은 오랫동안 남아있던 추측을 해결하며, 1계 파생 손실에 대한 반례들 역시 여전히 $ H^{-1}_{\text{loc}} $ 에서 해가 존재한다는 것을 입증하고, 조건 (ψ)가 2계 파생 손실을 유도한다는 것을 확인한다. 다만 전체 증명은 여전히 검토 중이다.

ABSTRACT

In 1957, Hans Lewy constructed a counterexample showing that very simple and natural differential equations can fail to have local solutions. A geometric interpretation and a generalization of this counterexample were given in 1960 by L.Hörmander. In the early seventies, L.Nirenberg and F.Treves proposed a geometric condition on the principal symbol, the so-called condition $(ψ)$, and provided strong arguments suggesting that it should be equivalent to local solvability. The necessity of condition $(ψ)$ for solvability of pseudo-differential equations was proved by L.Hörmander in 1981. In 1994, it was proved by N.L. that condition $(ψ)$ does not imply solvability with loss of one derivative for pseudo-differential equations, contradicting repeated claims by several authors. However in 1996, N.Dencker proved that these counterexamples were indeed solvable, but with a loss of two derivatives. We shall explore the structure of this phenomenon from both sides: on the one hand, there are first-order pseudo-differential equations satisfying condition $(ψ)$ such that no $L^2_{ ext{loc}}$ solution can be found with some source in $L^2_{ ext{loc}}$. On the other hand, we shall see that, for these examples, there exists a solution in the Sobolev space $H^{-1}_{ ext{loc}}$.

연구 동기 및 목표

• 조건 (ψ) 가 1차 pseudo-differential 연산자의 국소적 해가 존재하는 데서 수행하는 역할을 명확히 하기 위해.
• 이전에 주장된 1계 파생 손실과 반례에서 실제로 이러한 추정이 실패하는 것 사이의 모순을 해결하기 위해.
• 조건 (ψ) 가 2계 파생 손실을 유도한다는 것을 입증하기 위해, 이는 이전에 잘못된 1계 파생 손실 주장과는 다름.
• 1계 파생 해가 존재하지 않는 반례의 구조를 분석하고, 이들이 더 약한 Sobolev 공간에서 해가 존재하는지 확인하기 위해.
• Dencker의 2001년 발표에서 Nirenberg-Treves 추측의 완전한 증명을 주장한 바의 타당성을 평가하기 위해.

제안 방법

• 실수부와 허수부의 주요 기호의 Poisson 괄호를 통해 기하학적 조건 (ψ) 를 분석한다.
• 에너지 방법을 사용하여 연산자의 수반 $ L^* $ 와 다중변수 $ b(t,x,D_x) $ 를 포함하는 사전 추정을 유도한다.
• 1계 파생 해가 존재하지 않는 명시적 반례를 구성하며, 특정한 $ f \in L^2_{\text{loc}} $ 에 대해 $ L^2_{\text{loc}} $ 에서의 해 $ u $ 가 존재하지 않음을 보여준다.
• 이러한 반례들이 여전히 $ H^{-1}_{\text{loc}} $ 에서 해가 존재함을 입증함으로써, 2계 파생 손실이 최적임을 시사한다.
• 기호의 순서가 0과 1인 pseudo-differential 연산자의 이론을 적용하며, $ \partial_t b \geq 0 $ 와 같은 가정을 한다.
• 형태 $ L = D_t + i a(t,x,D_x) b(t,x,D_x) + r(t,x,D_x) $ 의 연산자들에 의존하며, 여기서 $ a \leq 0 $, $ b $ 는 실수이며, $ r $ 은 복소수 계수이다.

실험 결과

연구 질문

• RQ1 조건 (ψ) 는 1차 pseudo-differential 연산자에 대해 국소적 해가 존재할 때 1계 파생 손실을 유도하는가?
• RQ2 조건 (ψ) 를 만족하는 1차 pseudo-differential 연산자 중 $ L^2_{\text{loc}} $ 에서 해가 존재하지 않는 것은 존재하는가?
• RQ3 그러한 해가 존재하지 않는 연산자들 역시 더 약한 Sobolev 공간, 예를 들어 $ H^{-1}_{\text{loc}} $ 에서 해가 존재하는가?
• RQ4 조건 (ψ) 하에서 해가 존재할 때의 최적의 파생 손실은 무엇이며, 이는 1이 아니라 2인가?
• RQ5 조건 (ψ) 는 3차원 이상의 모든 pseudo-differential 연산자에 대해 2계 파생 손실을 유도하는가?

주요 결과

• 이전에 주장된 바와 달리, 조건 (ψ) 는 1차 pseudo-differential 방정식에 대해 1계 파생 손실을 보장하지 않는다.
• 일부 $ f \in L^2_{\text{loc}} $ 에 대해서는 $ u \in L^2_{\text{loc}} $ 가 존재하지 않으며, 이는 국소적으로도 $ Lu = f $ 를 만족하는 해가 없다는 것을 의미한다.
• 그럼에도 불구하고, 이러한 모든 반례들은 여전히 $ H^{-1}_{\text{loc}} $ 에서 해가 존재하므로, 2계 파생 손실이 충분함을 시사한다.
• 정리 2.2 는 $ a \leq 0 $, $ b $ 가 실수이며 $ \partial_t b \geq 0 $ 인 형태의 연산자 $ L = D_t + i a b + r $ 가 2계 파생 손실을 동반한 국소적 해가 존재함을 증명한다.
• 사전 추정 $ \|L^*u\|_{H^0} \gtrsim \|u\|_{H^{-1}} $ 이 성립함으로써, 2계 파생 손실이 확인된다.
• Dencker의 1996년 결과는 반례들이 실제로 2계 파생 손실을 동반한 해가 존재함을 확인하며, 이전의 모순을 해결한다.