Curl-Div
게시글 주소: https://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를 선물하세요.
-
비문학 공부법 0 0
고3인데 제가 모의고사를 보면 비문학이 한 지문에서 와르르 틀리는게 아니고 한지문당...
-
이미지 커리후 현우진 0 0
이미지쌤 세젤쉬부터 미친기분 완성까지 했는데 현우진 수분감이랑 뉴런 문풀만 해도조을까요
-
앱에선 댓글 금은동 안 뜨네 0 0
개발팀 이것도 업뎃해주시오
-
ㅇㅂㄱ 0 0
다들 굿모닝
-
개추워 0 0
ㅠ
-
시험 3일 남았다 0 0
이제 사람이 미쳐가는 거 같음
-
세상이 진짜 생각보다 좁구나 0 0
내 맞선임이 내 친구랑 특학 동기였음 ㄷㄷ 같은 호실 썼다더라 이거진짜에요…
-
. 0 0
안냐세여
-
이거 오타임? 0 0
저거 - 오타임? 아니면 크기 같고 방향 반대라는 뜻임?
-
얼버기 1 0
-
일욜날 등원해야한다니..
-
국제캠 도서관 옥상.jpg 4 2
비록 옥상에 편의시설은 없지만 경치는 좋아요
-
진짜 너무 무섭다 0 1
연세대 지하연구실에서 만든 터미네이터가 아니라면 말이 안된다 이 아침부터 단체 러닝...
-
토요일에는 왜 헬스장 안열어요 0 1
국제캠 헬스장은 반성하라 우우
-
이번주 평균 휴대폰 사용시간 0 0
"8시간"오바야 진짜로,;;
-
확통 어케함 0 0
뉴런+기생집 공통은 다끝남 확통을 미루다가 이제서야 기출 풀고있는데 실전개념은...
-
연세대 온 거 체감되네 0 1
그러니까 내 주변의 상당수가 고등학교 때 변태같이 공부했던 1점대~2점대 초반...
-
Good Morning 5 0
-
수학 어떡해야하나요… 0 0
아이디어 다 듣고 기생집 푸는데 점프 문항(22번급)은 거의 접근이 안 되는데...
-
기차지나간당 0 0
부지런행
-
내가 밤새면서 한것 2 1
12:00 ~ 5:57-> 아 ㅅ발 공부 진짜 해야되는데5:57~6:18 ->...
-
오늘은 뭐하지 4 0
할게 없는데 공부나 할까
-
시험기간동안4키로빠짐 4 1
ㄴㅇㅅ
-
밤새는건 아니었다 7 0
세시반쯤 잘걸
-
그냥 이대로 안자고 공부나할까 3 0
근데그럼무조건도서관이나카페앉자마자잘거같은데
-
얼버기 13 1
오늘도 힘찬 하루
-
얼버기 2 0
다들 좋은 해루 되세용
-
1게임 4블런더 0 0
ㄹㅈㄷ 우당탕탕 아무튼 승리
-
미치겟다 그냥 0 0
도대체 밤에 어떻게 자는거냐
-
화학과제레전드미친놈이네진짜 5 2
겨우마감시간내에제출함 제미나이는 신이다
-
불시점검 나왔어 4 0
무탈하네?
-
새벽 4시까지 놀기 2 0
아 지쳤슨
-
오르비는 내가 점령한다 6 0
으하하
-
심심한데 1 1
애니나 볼까
-
벌써 3시반이네 1 2
이왜진
-
아 야무진 자유여 0 0
-
이 수면패턴을 0 0
작년 10월에 본거같음
-
왜안자 2 1
-
나 잘래 0 0
오늘따라 복권이 안되는듯 일어나서 다시해야지
-
룸메 진짜 와 2 0
새워실에 물기가 흥건하게 남아있는데도 환풍기 계속 끄네 대체 어떻게 살아왔길래
-
연대 엘베 이거 뭐에요 7 2
이거 왜 문도 안닫히고 단차도 안맞음 무섭다
-
개털렸음 4 2
중학교 오목 1짱의 존심이 무너졌다
-
참고로 나는 3 0
6시간 46분 뒤에 시험임
-
애니 추천 1 0
부탁합니노
-
체스 할 사람은 없나 5 0
불렛으로 10000덕빵
-
킬캠 객관식 다맞 ㅅㅅ 1 0
근데 21 22 28 30 틀렷어
-
체감상 2609가 고2 2509보다 쉽고 30번 같은 경우에는 고2 문제가 ㅈㄴ게...
-
0.1초 차이 2 0
씨봉방 ㅋㅋㅋㅋㅋㅋ
-
이거보셈 3 0
-
맞팔구 4 0
ㄱㄱ
첫번째 댓글의 주인공이 되어보세요.