[논문 리뷰] Conormal problem of higher-order parabolic systems

Hongjie Dong, Hong Zhang|arXiv (Cornell University)|2014. 01. 30.

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

한 줄 요약

이 논문은 반공간과 $C^{m-1,1}$ 영역에서 고계 발산형 편미분계수를 가진 포물계 시스템에 대해 $L_p$ 및 샤우더 추정을 수립한다. 계수들이 시간에 대해 유계 가측이고 공간에 대해 VMO인 약한 정규성 조건 하에서, 평균 진동도 추정과 정밀 함수 이론에 기반한 변형 기법을 사용하여 $L_p$ 추정을 증명한다. 샤우더 추정은 계수들이 공간에 대해 허들러 연속이고 공간-시간에 대해 공동으로 허들러 연속인 경우에 얻어지며, 불연속 계수를 가진 시스템으로 정규성 이론을 확장한다.

ABSTRACT

The paper is a comprehensive study of the $L_p$ and the Schauder estimates for higher-order divergence type parabolic systems with discontinuous coefficients in the half space and cylindrical domains with conormal derivative boundary condition. For the $L_p$ estimates, we assume that the leading coefficients are only bounded measurable in the $t$ variable and $VMO$ with respect to $x$. We also prove the Schauder estimates in two situations: the coefficients are Hölder continuous only in the $x$ variable; the coefficients are Hölder continuous in both variables.

연구 동기 및 목표

• 계수들이 시간에 대해 유계 가측이고 공간에 대해 VMO인 고계 포물계 시스템에 대해 $L_p$ 추정을 확장한다.
• 계수들이 공간에 대해 허들러 연속이고 공간-시간에 대해 공동으로 허들러 연속인 시스템에 대해 샤우더 추정을 수립한다.
• 반공간과 $C^{m-1,1}$ 영역에서의 공형 도함수 경계 조건을 위한 프레임워크를 개발한다.
• 새로운 변형 및 평균 진동도 접근법을 사용하여 이전의 2계 시스템 결과를 고계 시스템으로 일반화한다.
• 연속성 방법을 통해 존재성 및 정규성 결과를 뒷받침하는 사전 추정을 제공한다.

제안 방법

• 두 단계 접근법을 사용한다: 먼저 계수들이 시간 $t$에만 의존하는 시스템에 대해 평균 진동도 추정을 유도한 후, 변형 기법을 적용한다.
• 계수를 정규 방향 $x_d$에 대해 $m$번 미분하여 공형 도함수 조건을 $D_d^m u$에 대한 딜리클레 조건으로 환원한다.
• $D_d^m u$에 대해 딜리클레 경계 조건이 적용된 비발산형 시스템의 기존 $L_p$ 및 하올더 추정을 적용한다.
• 페퍼만-스타인 정밀 최대함수 정리와 하디-리틀우드 최대함수 정리를 사용하여 진동도를 통제하고 $L_p$ 유계를 도출한다.
• 분할 항등식과 경계 평탄화 기법을 사용하여 $C^{m-1,1}$ 영역에서 국소화된 추정을 확보한다.
• 연속성 방법을 적용하여 존재성을 증명하며, 하올더 공간에서의 사전 추정과 보간 부등식에 의존한다.

실험 결과

연구 질문

• RQ1 공간에 대해 VMO이고 시간에 대해 유계 가측인 계수를 가진 고계 포물계 시스템에 대해 $L_p$ 추정을 수립할 수 있는가?
• RQ2 공간에 대해 허들러 연속이고 공간-시간에 대해 공동으로 허들러 연속인 계수를 가진 고계 시스템에 대해 샤우더 추정을 어떻게 확장할 수 있는가?
• RQ3 공형 도함수 경계 조건이 문제를 딜리클레 유형 추정으로 환원하는 데 어떤 역할을 하는가?
• RQ4 홀수/짝수 확장 방법을 고계 시스템으로 일반화할 수 있는가, 아니면 다른 접근법이 필요한가?
• RQ5 $L_p$ 및 하올더 공간에서의 사전 추정이 연속성 방법을 통해 해의 존재성을 어떻게 뒷받침하는가?

주요 결과

• 계수 $A^{etaeta}$가 $VMO_x$에 있고 시간에 대해 유계 가측일 경우, 해 $u$는 큰 $\lambda$에 대해 다음 $L_p$ 추정을 만족한다: $\sum_{k=0}^{m}\lambda^{1-k/2m}\|D^k u\|_{L_p} \leq N \sum_{|\alpha|\leq m} \lambda^{|\alpha|/2m} \|f_\alpha\|_{L_p}$.
• $D_d^m u$에 대한 $L_p$ 추정은 평균 진동도 추정과 페퍼만-스타인 정리에 기반하여 특수한 $t$-의존 계수를 가진 시스템을 통해 도출된다.
• 샤우더 추정은 두 가지 설정에서 수립된다: 계수들이 공간에 대해만 허들러 연속이고, 공간-시간에 대해 공동으로 허들러 연속인 경우.
• 보간과 에너지 추정을 통해 하올더 노름 추정 $\|u\|_{\frac{a+m}{2m},a+m} \leq N(\|u\|_{L_2} + G)$ 를 확보한다.
• 하올더 공간에서의 해 존재성은 사전 추정과 해의 연속성에 기반한 연속성 방법을 통해 증명된다.
• 충분히 큰 $\kappa$에 대해 사전 추정 $\|u\|_{\frac{a+m}{2m},a+m} \leq NG$ 가 성립하며, $N$ 은 영역, 강도 조건 및 계수 노름에 의존한다.