[논문 리뷰] Sectorial forms and degenerate differential operators

Wolfgang Arendt, Tom Ter Elst|arXiv (Cornell University)|2008. 12. 20.

Spectral Theory in Mathematical Physics참고 문헌 21인용 수 73

한 줄 요약

이 논문은 닫히지 않을 수 있는 코어형 형태에 대해 새로운 프레임워크를 도입함으로써 반군 이론을 확장한다. 이는 닫히지 않을 수 있는 형태로부터 직접 헬름홀츠 $C_0$-반군을 생성할 수 있도록 한다. 주요 기여는 기존의 닫힘 조건을 제거한 일반화된 생성 정리로, 이는 비정상적이고 경계 조건이 부여된 미분 연산자(예: 로빈, 웬츠엘, 딜리클레-노이만 경계 조건 포함)를 직접 다룰 수 있게 해주며, 거친 도메인이나 계수의 퇴화가 발생하는 경우에도 적용 가능하다.

ABSTRACT

If $a$ is a densely defined sectorial form in a Hilbert space which is possibly not closable, then we associate in a natural way a holomorphic semigroup generator with $a$. This allows us to remove in several theorems of semigroup theory the assumption that the form is closed or symmetric. Many examples are provided, ranging from complex sectorial differential operators, to Dirichlet-to-Neumann operators and operators with Robin or Wentzell boundary conditions.

연구 동기 및 목표

• 헬름홀츠 반군 생성을 위한 형태 방법에서 표준적인 닫힘 조건을 제거하기 위해.
• 복소수 및 가측 가능한 계수를 가진 퇴화 및 비대칭 미분 연산자를 포함하는 코어형 형태 이론을 일반화하기 위해.
• 비단사적 임bedding $j$를 통한 로빈, 웬츠엘, 딜리클레-노이만 경계 조건을 통합된 프레임워크로 다루기 위해.
• 퇴화 타원형 연산자에 의해 생성된 반군의 하위마르코프성 및 국소성 성질을 확립하기 위해.
• 이전의 정규성 가정에 의존하지 않고 리프시츠 도메인에서의 경계 연산자 및 경계 조건을 직접적이고 내재적인 방식으로 다루기 위해.

제안 방법

• 닫힘 조건이 필요 없이, $H$ 내의 조밀한 도메인 $D(a) \subset H$에서 정의된 코어형 형태 $a$를 정의하며, 어떤 $\theta < \pi/2$에 대해 $a(u) - \gamma\|u\|^2 \in \Sigma_\theta$ 를 만족시킨다.
• 한계 과정을 통해 연산자 $A$를 구성한다: $x \in D(A)$ 이고 $Ax = f$ 이면, $u_n \in D(a)$ 인 수열이 존재하여 $u_n \to x$ in $H$, $\operatorname{Re}a(u_n)$ 가 유계이며, 모든 $v \in D(a)$ 에 대해 $a(u_n, v) \to (f, v)_H$ 를 만족시킨다.
• 비단사적 임bedding $j: V \to H$를 사용한 일반화된 형태 방법을 적용하여 완전한 경우를 다루며, 고전 결과를 비단사적 설정으로 확장한다.
• 형식 $a$가 닫히지 않더라도, $-A$ 가 $\Sigma_{\pi/2 - \theta}$ 의 내부에서 헬름홀츠 $C_0$-반군을 생성함을 증명한다.
• 복소수 및 가측 가능한 계수를 가진 퇴화 타원형 연산자에 이 이론을 적용하여, 다비스–가프니 추정과 국소성의 성립을 증명한다.
• 비단사적 $j$-사상으로 인해, 거친 도메인에서도 동일한 프레임워크를 사용하여 경계 조건(예: 로빈, 웬츠엘)의 실현과 경계값 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 닫히지 않는 코어형 형태로부터 헬름홀츠 반군을 생성할 수 있는가? 즉, 형태 방법에서 표준적인 닫힘 조건을 제거할 수 있는가?
• RQ2 계수의 퇴화 또는 복소수 계수를 가진 퇴화 타원형 연산자는 형태 방법 프레임워크 내에서 어떻게 다룰 수 있는가?
• RQ3 경계가 매끄럽지 않은 도메인에서도, 딜리클레-노이만 연산자를 코어형 형태를 통해 직접 구성할 수 있는가?
• RQ4 퇴화된 연산자에 의해 생성된 반군이 하위마르코프성 또는 양의 성질을 유지하기 위한 조건은 무엇인가?
• RQ5 이 형태 이론적 접근을 통해 로빈 및 웬츠엘 경계 조건에 대한 경계값 연산자를 일반적인 설정에서 엄밀하게 정의하고 실현할 수 있는가?

주요 결과

• 형식 $a$가 닫히지 않더라도, 한계 조건을 통해 정의된 연산자 $A$는 잘 정의되어 있으며, $-A$ 는 $\Sigma_{\pi/2 - \theta}$ 에서 헬름홀츠 $C_0$-반군을 생성한다.
• 이 이론은 복소수 및 가측 가능한 계수를 가진 퇴화 타원형 연산자에 직접 적용 가능하며, 계수가 도메인의 일부에서 0이 되는 경우에도 $L_2(\Omega)$ 에서 반군 생성을 보장한다.
• 다비스–가프니 추정이 증명되었으며, 이는 반군의 국소성과 실계수를 가진 노이만 조건 하에서 상수 함수의 불변성을 보장한다.
• 리프시츠 도메인에서의 로빈 경계 조건에 대해, $L_2(\partial\Omega, \sigma)$ 에서 유일한 경계값이 존재하며, 생성자는 $L_2(\Omega)$ 에서 헬름홀츠 반군을 가진다.
• 리프시츠 도메인에서의 딜리클레-노이만 연산자는 $L_p(\partial\Omega)$ 에 하위마르코프 반군을 생성하며, 이 구성은 비단사적 $j$-사상으로도 유효하다.
• 거친 도메인에서의 경계값 존재성에 대한 새로운 단순한 증명이 제시되었으며, 계수의 퇴화가 있는 경우에도 웬츠엘 경계 조건이 포괄적으로 다뤄진다.