[논문 리뷰] Estimate of the Fundamental Solution for Parabolic Operators with Discontinuous Coefficients

Michele Di Cristo, Kyoungsun Kim외 1명|ArXiv.org|2009. 06. 24.

Advanced Mathematical Modeling in Engineering참고 문헌 6인용 수 4

한 줄 요약

이 논문은 발산형으로 표현된 비연속 계수를 가진 포물형 연산자의 기본해에 대해 날카로운 기울기 추정을 수립한다. Li-Nirenberg의 접근 방식을 수정하여 해의 공간 기울기에 대한 내부 $L^∞$ 유계성을 증명함으로써, 핵심 추정 $| abla_x au(x,t;y,s)| \leq C(t-s)^{-(n+1)/2} \exp(-c|x-y|^2/(t-s))$를 도출한다. 이 추정은 비연속 포함체를 가진 열전도성 매질에서의 역문제에 필수적이다.

ABSTRACT

We will show that the same type of estimates known for the fundamental solutions for scalar parabolic equations with smooth enough coefficients hold for the first order derivatives of fundamental solution with respect to space variables of scalar parabolic equations of divergence form with discontinuous coefficients. The estimate is very important for many applications. For example, it is important for the inverse problem identifying inclusions inside a heat conductive medium from boundary measurements.

연구 동기 및 목표

• 비연속적이며 유계이고, 균일 타원형인 계수를 가진 스칼라 포물형 연산자의 기본해에 대한 기울기 추정을 수립하는 것.
• 기본해에 대한 기존의 점별 추정을 그 첫 번째 순서 공간 도함수로 확장하는 것.
• 경계 측정을 통한 비연속 포함체의 식별을 포함하는 역문제에 대한 이론적 기초를 제공하는 것.
• 비연속 계수를 가진 포물형 방정식의 해에 대한 내부 정규성 추정을 일반화하여, 포함체가 경계에 접촉하는 경우에도 적용 가능한 것.

제안 방법

• 타원계 시스템에 대한 Li-Nirenberg 방법을 포물형 설정으로 적응시키며, 스케일링, 이동, 회전을 통해 문제를 원점에서의 국소 추정으로 환원한다.
• 문헌 [7]의 보조정리 4.3의 수정된 버전을 사용하여, 계수 행렬 $A$의 하위영역에서 $C^\mu$ 성질을 가질 경우의 호일더 노름을 제어한다.
• 더 큰 포물형 실린더에서 $u$의 $L^2$ 노름에 따라 $|\nabla_x u|$에 대한 내부 $L^\infty$ 유계성을 유도한다.
• 디리클레 경계 조건을 가진 이중층 큐브에서의 그린 함수 존재성과 추정을 기초 도구로 사용한다.
• 푸리에 표현을 통한 기본해에서 발생하는 진동적 적분을 제어하기 위해 부분적 적분과 복소해석 기법을 적용한다.
• 주파수 도메인에서 기호와 그 역행렬의 행동을 분석함으로써 기본해와 그 기울기에 대한 점별 지수 감쇠 추정을 수립한다.

실험 결과

연구 질문

• RQ1 클래식한 포물형 방정식 기본해에 대한 기울기 추정이 비연속 계수의 경우로 확장될 수 있는가?
• RQ2 비연속적이며 균일 타원형인 계수를 가진 포물형 연산자에 대해 해의 공간 기울기에 대한 내부 $L^\infty$ 유게가 성립하는가?
• RQ3 이러한 기울기 추정을 이용하여 역동적 探침 방법에 기반한 역문제의 엄밀한 정당화가 가능한가?
• RQ4 비연속성이 있는 하위영역에서 계수의 $C^\mu$-정규성이 가정될 경우, 기본해의 정규성이 유지되는가?
• RQ5 이 추정은 시스템이나 저차항을 포함한 연산자로 확장될 수 있는가?

주요 결과

• 모든 $t>s$ 및 거의 모든 $x,y\in D$에 대해 기울기 추정 $|\nabla_x \Gamma(x,t;y,s)| \leq C(t-s)^{-(n+1)/2} \exp(-c|x-y|^2/(t-s))$가 성립하며, $C$는 $n$과 계수 행렬 $A$에만 의존한다.
• 이 추정은 포물형 방정식의 해 $u$에 대해 $|\nabla_x u|$에 대한 내부 $L^\infty$ 유게로부터 유도되며, 이는 Li-Nirenberg의 접근 방식을 국소화한 것으로 증명된다.
• 증명은 디리클레 경계 조건을 가진 이중층 큐브에서의 그린 함수 존재성과 점별 추정에 의존한다.
• 기울기 추정은 역경계값 문제의 안정성 분석과 역동적 探침 방법의 수렴성에 있어 핵심적이다.
• 결과는 비록 비록의 경우나 저차항을 포함한 연산자로도 확장 가능하며, 이는 비고 1.2에서 언급되어 있다.
• 포함체가 매질의 경계에 접촉하는 경우에도 증명 방법은 그대로 유지되며, 내부 추정의 강건성에 의해 이를 보여준다.