[논문 리뷰] Local boundedness, maximum principles, and continuity of solutions to infinitely degenerate elliptic equations

Lyudmila Korobenko, Cristian Rios외 2명|arXiv (Cornell University)|2015. 06. 30.

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

한 줄 요약

이 논문은 열등한 계수를 가진 무한히 탈선하는 타원형 편미분방정식의 약한 해에 대해 국소 유계성, 최대원리, 연속성을 확립하며, 탈선 기하학에서의 새로운 피카르 및 오르리츠-소볼레프 부등식을 사용한다. 해는 특정 로그 탈선 조건, 예를 들어 $ f_{k,\sigma}(x) = |x| \left(\ln(k) \frac{1}{|x|}\right)^\sigma $ 로 정의된 가족에 대해 유계이고 연속성을 유지함을 증명하며, 이러한 결과를 활용해 약간의 비선형성과 탈선성을 가진 측정선형 방정식의 약한 초타원성(모든 약한 해가 해석적임)을 증명한다.

ABSTRACT

We develop subrepresentation inequalities for infinitely degenerate metrics, and obtain corresponding Poincare and Sobolev inequalities. We then derive conditions on the degenerate metric under which weak solutions to associated infinitely degenerate equations with rough coefficients are locally bounded, satisfy a maximum principle, or are continuous. As an application we obtain W-hypoellipticity of certain infinitely degenerate quasilinear equations with smooth coefficients having mild nonlinearities and degeneracies.

연구 동기 및 목표

• 무한히 탈선하는 타원형 방정식에 대해 디지오르기-모저 유형의 정규성 이론을 개발한다.
• 타원성의 비선형성이 한 점에서 무한 차수로 0으로 수렴하는 설정으로까지 국소 유계성과 연속성 이론을 일반화한다.
• 약한 해가 국소적으로 유계이고 최대원리를 만족하거나 연속성이 유지되는 조건을 규명하며, 특히 $ f_{k,\sigma}(x) = |x| (\ln(k)/|x|)^\sigma $ 와 같은 탈선 형태를 가진 방정식에 대해 분석한다.
• 이러한 탈선성과 매끄러운 자료를 가진 일부 측정선형 방정식에 대해 약한 초타원성(모든 약한 해가 해석적임)을 증명한다.
• 반례를 통해 결과의 날카로움을 입증하고 이론을 3차원으로 확장한다.

제안 방법

• 무한히 탈선하는 벡터장의 기하학에 맞는 하위표현 부등식을 개발한다.
• 탈선 메트릭 $ f_{k,\sigma} $ 와 관련된 평면 및 고차원에서 피카르 및 오르리츠-소볼레프 부등식을 유도한다.
• 이러한 부등식을 가정할 때 추상적인 모저 및 디지오르기 반복 기법을 적용하여 고전적 방법을 탈선 기하로 일반화한다.
• A-지오데식과 A-호의 길이를 사용하여 탈선 메트릭의 내재 기하를 정의함으로써 적분 및 노름 추정을 가능하게 한다.
• 3차원에서 쿠수카-스트로우크 연산자에 이론을 적용하여 특정 탈선 조건 하에서 무한히 큰 약한 해의 존재를 증명한다.
• 극좌표 및 좌표 변환을 사용하여 회전 대칭성을 분석하고, 비상수 회전 해의 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 $ A \sim \begin{pmatrix} 1 & 0 \\ 0 & f_{k,\sigma}(x)^2 \end{pmatrix} $ 를 만족하는 방정식 $ \text{div}(A(x,y,u)\nabla u) = \varphi(x,y) $ 의 모든 약한 해가 국소적으로 유계일 조건은 $ k $ 와 $ \sigma $ 에 대해 무엇인가?
• RQ2 이 무한히 탈선하는 설정에서 약한 하위해에 대해 최대원리가 성립하는 조건은 언제인가?
• RQ3 동일한 탈선 조건 하에서 약한 해의 연속성을 확보할 수 있으며, 오르리츠-소볼레프 부등식은 어떤 역할을 하는가?
• RQ4 해가 유계이거나 연속성이 유지되지 않을 수 있는 탈선의 날카로운 임계값(\sigma 및 k에 대해)은 무엇인가?
• RQ5 이 이론은 3차원으로 확장 가능한가? 그리고 쿠수카-스트로우크 연산자에 대해 어떤 함의를 갖는가?

주요 결과

• 방정식 $ \partial_x^2 u + f_{k,\sigma}(x)^2 \partial_y^2 u = \varphi(x,y) $ 의 해는 $ \sigma > 1 $ 이고 $ k \geq e $ 일 때 국소적으로 유계이며, 반례를 통해 날카로움이 입증된다.
• 최대원리는 $ \sigma > 1 $ 일 때 약한 하위해에 대해 성립하며, 이 조건 하에서 내부 구의 부등식이 확립된다.
• 약한 해는 $ \sigma > 1 $ 일 때 연속적이며, 보미에리 유형의 반복과 반하른락 부등식을 통해 증명된다.
• 3차원에서 쿠수카-스트로우크 연산자 $ \partial_x^2 + \partial_y^2 + f(x)^2 \partial_z^2 $ 는 $ \lim_{x \to 0} x \ln f(x) = 0 $ 일 때에만 초타원성이며, 이 조건은 날카로운 임계값이다.
• 탈선 기하에서 $ L u = 0 $ 에 대해 비상수 회전 해는 존재하지 않으며, 이는 회전 대칭성이 메트릭의 이방향성과 호환되지 않기 때문이다.
• 논문은 $ \sigma \leq 1 $ 일 때 불연속적인 약한 해의 명시적 예를 구성하여 $ \sigma > 1 $ 조건의 날카로움을 입증한다.