Curl-Div
게시글 주소: https://i.orbi.kr/00069376678
Curl-Divergence lemma라고 함수열의 수렴에 대해서 이야기 하는데 희한하게도 Curl과 Divergence에 bound를 주는 것을 가정으로 하고 있다. 직관적으로 이게 어떻게 연관되어 있는지 잘 와닿지 않는데, 일단 statement 먼저 보자.
The Curl-Div lemma. Suppose $u_m\rightharpoonup u, v_m\rightharpoonup v$ weakly in $L^2(\Omega;\Bbb R^3)$ on a domain $\Omega\subset\Bbb R^3$ while the sequences $\operatorname{div} u_m$ and $\operatorname{curl} v_m$ are relatively compact in $H^{-1}(\Omega)$. Then for any $\varphi\in C^\infty_0(\Omega)$ we have
$$\int_{\Omega}u_m\cdot v_m\varphi dx\to\int_{\Omega}u\cdot v\varphi dx$$
as $m\to\infty$.
여기서 나오는 $\cdot$ 은 Euclidean space에서의 내적을 의미한다. Statement의 의미를 다시 말하면, 미분에 bound를 줘서 nonlinear expression 의 weak continuity를 얻어내는 것이다.
이걸 differential form의 언어로 바꿔서 표현을 하기 시작하면, 이 curl과 div에 boundness 조건을 주는 것이 weak convergence에 어떤 영향을 주는지 좀 더 직관적으로 드러난다.
$M$을 closed oriented smooth $n$-manifold라고 하자. 이제 $u_m\rightharpoonup u, v_m\rightharpoonup v$ in $L^2$ such that $(d^* u_m), (dv_m)$ 들이 $H^{-1}$에서 relatively compact라고 하자. 이 조건은 위의 Curl-Div lemma에서 Curl과 Div의 relative compactness와 대응된다. $u_m, v_m$을 $u_m - u, v_m - v$로 바꿔서, $u = 0, v = 0$으로 가정할 수 있다. 그러면 Hodge decomp.에 의해,
$$u_m = da_m + d^* b_m + c_m,$$
$$v_m = df_m + d^* g_m + h_m,$$
where $c_m,h_m$ are harmonic 1-forms and $a_m \rightharpoonup 0, b_m \rightharpoonup 0, f_m \rightharpoonup 0, g_m \rightharpoonup 0$ in $W^{1.2}(M)$, $c_m \rightharpoonup 0, h_m \rightharpoonup 0$ in $L^2(M)$ 이런 것을 얻을 수 있다.
Hodge decomp.의 consequence중 하나가 $M$위에서의 space of harmonic 1-form들의 공간은 locally compact이다. 따라서, smooth하게 $c_m \to 0$, $h_m \to 0$ 된다. 또한 가정에 의해서 $\Delta a_m = d^* u_m, \Delta g_m = dv_m$이 $H^{-1}$에서 relatively compact이기 때문에, $(da_m),(d^* g_m)$은 $L^2$에서 precompact하게 들어가있다. 따라서,
$$u_m = d^* b_m + o(1),\quad v_m = df_m + o(1),$$
in $L^2$가 된다. 또한,
$$\langle u_m,v_m\rangle_g \omega_g = \ast (\langle d^*b_m, df_m\rangle_g) = (d\ast b_m)\wedge df_m = d((\ast b_m)\wedge df_m),$$
임을 알 수 있다. 여기가 그 "미분"의 모습이 드러나는 핵심적인 부분이다.
구체적으로 말하진 않겠지만, Rellich theorem 이라는 것이 있는데, 이것은 $b_m\to 0$ in $L^2$임을 imply한다. 따라서
$$\int_M \langle u_m,v_m\rangle_g\varphi\omega_g = \int_M d((\ast b_m)\wedge df_m)\varphi + o(1) = (-1)^n \int_M (\ast b_m)\wedge df_m\wedge d\varphi + o(1) = o(1).$$
따라서 앞선 Curl-Div lemma와 같은 결론을 낸다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
-
이센스 - 비행
-
내 여친임. 1
-
나 인정받았다 2
개그맨으로,,,
-
진짜 경제가 왜 자꾸 눈에 밟히지...
-
사문 질문 5
분모가 다를때 ㄴ 어떻게 구하나요?
-
내 남친임 2
-
검정고시 !
-
언매
-
그 말이 옳을까?
-
소신발언) 자기가 모솔이라고 모솔만 만나고 싶어하면.. 1
본인은 모를 수 있는데 그걸 보는 주변 사람의 답답함 정도가 미쳐버림. 혹은 양...
-
빼빼로데이란 건 없다
-
아님말고
-
연애 메타는 해롭습니다 얼른 주무세요
-
이웃집토토로 !!
-
이건 사실임
-
어제 오후 6시가 18만 3천원 오늘 지금이 26만 8천원 수능 전이라서 질문...
-
기출도 안풀어봤고 푸는법도 모르는데 등급은 또 잘나오는편이라 지금 절박함이...
-
별게다귀찮네
-
그딴거 없고 덕코나 줘요
-
방금한생각
-
질문해드려요&받아요 20
비용은 건당 500덕.
-
개씨발년 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
부산이나 가야지 4
힘들다 도망치고 다시 돌아오기
-
전 중2때까지 여자에 별로 관심이 없었어서 스스로 게이인가 생각해봤는데 그건 아니었음
-
그러니까 천 덕 만.
-
악깡버 ㄱㄴ????
-
모쏠은 슬퍼서 울었어 공학인데 맨날 염장질 보느라 광광 울었다 공학인데도 여사친...
-
-
범위를 동성까지 늘리면 됨
-
나 무서워,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
-
이상한 거 아니고 같이 전공공부 좀 하기로 했어요
-
실력이 오른건지 뭔지
-
근데좋아할때는 힘든지모르지 뭔가명언같다
-
듣기 좀 하려고 하는대
-
해조요
-
-
질문받아요 27
암거나 선넘는것도 상관없어요
-
수능 일주일 남은시점 모쏠들 멘탈공격들어간거임 버티자
-
끝이 보이긴 하네요
-
평ㅅ균3등급도 3
스나 지름? 보통 어디 노리나요?
-
7일 어려우려나 4
희망이 안 보이는
-
필적 확인란 4
꼭 컴싸로 써야해요? 샤프로 하면 부정행위인가
-
군수 7
군수를 하려고 하는데 일단 군입대는 내년 3월 안으로 할 예정입니다 아버지가 육본에...
-
덕코 내놔 슈밤 4
만덕씩 내놔
-
초딩때 좋아했던 남자애랑 고딩돼서 페북으로 연락 닿고 한 두달 만나고 차임 ㅋㅋ 아...
-
시대다니는 내친구피셜) 물리하는새끼들 물리반만가면 남자고 여자고 존나 안씻어서 냄새난다 진짜임
-
두명생각나네 근데둘다갔고 한명은다시왔어 한명은알아서갔다가다시왔다가가버렸어
-
오르비에 본인 등판 안 하시나
첫번째 댓글의 주인공이 되어보세요.