[논문 리뷰] Vector analysis for Dirichlet forms and quasilinear PDE and SPDE on metric measure spaces

Michael Hinz, Michael Röckner외 1명|arXiv (Cornell University)|2012. 02. 03.

Mathematical Dynamics and Fractals참고 문헌 32인용 수 5

한 줄 요약

이 논문은 메트릭 측도 공간 위의 정규 딜레르흐 형식에 대해 벡터 해석학 프레임워크를 개발하며, 힐베르트 공간 $\mathcal{H}$의 직접 적분 표현을 통해 1형식의 공간 $\mathcal{H}$를 이용해 벡터장의 $L_p$-공간과 소볼레프 공간을 정의한다. 단조성과 고정점 방법을 사용하여 비선형 타원형 PDE 및 SPDE(예: 스토하스틱 $p$-라플라스 방정식)의 존재성과 유일성을 확립하며, 시어핀스키 카펫과 같은 프랙탈 공간에 적용 가능하다.

ABSTRACT

Starting with a regular symmetric Dirichlet form on a locally compact separable metric space $X$, our paper studies elements of vector analysis, $L_p$-spaces of vector fields and related Sobolev spaces. These tools are then employed to obtain existence and uniqueness results for some quasilinear elliptic PDE and SPDE in variational form on $X$ by standard methods. For many of our results locality is not assumed, but most interesting applications involve local regular Dirichlet forms on fractal spaces such as nested fractals and Sierpinski carpets.

연구 동기 및 목표

• 일반적인 메트릭 측도 공간에 정규 딜레르흐 형식을 갖춘 상황, 특히 비가속성 및 프랙탈 환경에서의 벡터 해석학을 확장하는 것.
• 섬세한 필드 $\mathcal{H}_x$ 위의 직접 적분 구조를 통해 벡터장의 $L_p$-공간과 함수 및 벡터장의 소볼레프 공간을 정의하는 것.
• 단조성과 고정점 추론을 이용해 변분 형태의 비선형 타원형 PDE 및 SPDE에 대한 존재성과 유일성 결과를 확립하는 것.
• 적분형 함수 및 레보츠 조건을 통한 힐베르트 공간 $\mathcal{H}$의 1형식에 대한 확률적 해석을 제공하는 것.
• 에너지 측도의 가중치와 변형 기법을 도입하여 딜레르흐 형식의 비발산형 연산자 일반화를 위한 것.

제안 방법

• 스무스 설정에서의 $L_2$-미분 1형식을 일반화하기 위해 텐서곱과 에너지 노름을 사용하여 1형식의 힐베르트 공간 $\mathcal{H}$를 구성한다.
• 모든 $p \in [1,\infty)$에 대해 $\mathcal{H}$를 측도 가능 필드의 힐베르트 공간 $(\mathcal{H}_x)_{x\in X}$로의 직접 적분 표현으로 표현함으로써, 벡터장의 $L_p$-공간을 정의한다.
• 벡터장 위의 기울기 및 발산 연산자를 정의하며, 발산은 부호가 있는 레보츠 측도 $\mu_{\Gamma(M)}$에 대한 적분을 통해 해석한다.
• 프랙탈에서의 특이 에너지 측도를 다루기 위해 가중 에너지 측도와 에너지 지배 측도(예: 쿠수카 측도)를 활용한다.
• 편미분 이론을 적용하여 드리프트 및 포텐셜 항을 포함하는 닫힌 이항형식 $\mathcal{Q}(f,g)$를 구성함으로써 비발산형 연산자를 일반화한다.
• 쌍대 연산자 $\partial^*\omega$의 표현을 $m$에 대해 절대 연속인 측도로 유도하며, 밀도는 $\partial^*\omega(x) = (\partial^*\hat{b})(x)u(x) + \langle \hat{b}_x, \partial_x u \rangle_{\mathcal{H}_x}$이다.

실험 결과

연구 질문

• RQ1 정규 딜레르흐 형식을 갖춘 메트릭 측도 공간에서, 특히 비가속성 또는 프랙탈인 기저 공간일 경우, 어떻게 체계적으로 벡터 해석학을 발전시킬 수 있는가?
• RQ2 비국소 딜레르흐 형식의 맥락에서, 벡터장의 $L_p$-공간과 함수 및 벡터장의 소볼레프 공간에 대한 적절한 일반화 형태는 무엇인가?
• RQ3 이 추상적 프레임워크에서 단조성과 고정점 방법을 사용하여 변분 형태의 비선형 타원형 PDE 및 SPDE에 대한 존재성과 유일성 결과를 확립할 수 있는가?
• RQ4 레보츠 측도와 적분형 함수를 통한 $\partial^*$의 외부 미분의 쌍대 연산자는 어떻게 확률적으로 표현할 수 있는가?
• RQ5 이 설정에서 비발산형 연산자의 일반화 형태는 무엇이며, 딜레르흐 형식의 변형과 어떻게 관련이 있는가?

주요 결과

• 에너지 노름과 텐서곱을 통해 구성된 1형식의 힐베르트 공간 $\mathcal{H}$는 고전적 스무스 리만 기하학 설정에서의 $L_2$-미분 1형식 공간과 일치한다.
• 직접 적분 표현을 통해 $\mathcal{H}$를 정의함으로써, 모든 $p \in [1,\infty)$에 대해 벡터장의 $L_p$-공간을 정의할 수 있으며, $\mathcal{H}$는 $p=2$에 해당한다.
• $\omega = \Theta^{-1}(M) \in \mathcal{H}$이면, 쌍대 연산자 $\partial^*\omega$는 부호가 있는 레보츠 측도 $\mu_{\Gamma(M)}$에 대한 적분으로 표현되며, $\omega \in \text{dom}\,\partial^*$이면 $\mu_{\Gamma(M)}$는 $\mu$에 대해 절대 연속이며, 밀도 $\partial^*\omega \in L_2(X,\mu)$이다.
• $\mathcal{Q}(f,g)$는 드리프트 항 $b, \hat{b} \in \mathcal{H}_\infty$와 포텐셜 항 $c \in L_\infty(X,m)$을 포함하여 $L_2(X,m)$ 위에서 닫혀 있으며, 큰 $\alpha > 0$에 대해 관련된 반군은 양의 보존성을 갖는다.
• $\mathcal{Q}_\alpha$의 생성자 $L^\mathcal{Q}$는 $m$-거의 모든 $x$에 대해 $L^\mathcal{Q}u(x) = L^{(m)}u(x) + \langle b_x, \partial_x u \rangle_{\mathcal{H}_x} - \partial^*(u\hat{b})(x) + c(x)u(x)$를 만족하며, 비발산형 연산자를 일반화한다.
• $\mathcal{H}$의 적분형 함수 및 레보츠 측도를 통한 확률적 해석은 스토하스틱 미적분학과 딜레르흐 형식의 변형 이론과 연결되며, 특히 $\partial^*\omega(h) = \int_X h \, d\mu_{\Gamma(M)}$의 표현을 통해 나타난다.