Curl-Div
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
잇올 다니시는분들 달그락달그락 거리는거 이것도 민원넣나요?? 계속 그러는건 아닌데...
-
69 ㅇㅈ 7
(야한의미아님)
-
으흐흐
-
킬캠 4회 1
좀 쉬운 회차였나요? 3점부터 막혀서 비명횡사 했다가 겨우 끝까지가서 88점...
-
공부시간만 보면 나름 꽤 되는데... 전 한번에 길게 집중을 잘 못하는거같음요 제...
-
울학교 수학쌤이 수특수완 5회독하면 좋은 결과 있을거라고 함 3
어케 생각하시나요?? ㄹㅇ 딱 저거만 하라하심.. 참고로 6모때 출제하셨다고 들음..
-
공부를 너무 안해서괴로움 수능이 40일 너무 짧게 남았는데 난 재수는 진짜 하기...
-
지금보니 틀린게 왜 틀렸지 라는 생각만 드네.. 근데 이걸 이제서야 다시 본 나 ㅁㅊ놈인듯
-
한국에서 개봉한지 10년 다 되어감 시간 참 빠르당
-
과학하는데 지금 화가 너무 남….. 혼자 문제풀면서 욕하다가ㅜㅡㅜ 더더화날것가타서...
-
너무 서울대가 간절해서 7수하고있어요.. 다들 화이팅합시다
-
네. 2
ㅋㅋ
-
머리 길었는데 7
잘라 말아 눈 덮을정도?
-
ㅠㅠㅜㅠㅠㅠㅠㅠㅠ 나머지눈 유지여도 괜찮은디
-
더프 망했네 2
딴건 괜찮은데 물리 보정 6은 진짜 어케한거지 ㅋㅋㅋㅋㅋ 미치겠다 증말...
-
하고싶네요 3
...
-
기출문제집 추천 부탁드립니다
-
9월부터 다이어트 해서 5kg? 정도 빠졌었는데 기존에 너무 부어있었고 어차피...
-
따스한점심햇살을음미하며닌텐도하고피아노치던내초딩시절은어디로갔는가...
-
일취월장에도 없고 체크메이트에도 없는데...
-
들어보고 싶은데…
-
어쩌다 시간이 이렇게…
-
국어는 보정 그닥 많이 안드가던데 무보 보 92 87이였나
-
형총 공부하면서 여지껏 느껴본 적 없는 걸 느끼고있음 11
내가 드디어 미친건가?
-
은 범준이햄 책처럼 강k 시험본 문제 다시 정리하는 느낌의 책인가요? 아니면 모고랑...
-
말 안하기
-
아 40점만 넘기자
-
다 푸는 게 맞나요? 소스가 얼마 없으니 가리지 말고 풀어야겠져..?
-
난이도 ㄷㄷ 다음회차는 또 내가 어디서틀릴까 뭔 선지를 보게될까 두려움 ㅋㅋ...
-
돌돌돌돌 4바퀴 말음
-
89 98 3 96 96 고려대에 가기에 40일은 너무 길다
-
내일 일반상대성 ㄱㄱ혓 10
오늘은 케플러까지 마스터 그나저나 타원넓이공식 쓸만하네여
-
다들 어디서 오시나오??
-
돈없어서 넷플릭스로 못보고 유툽으로 볼려는데, 요약본같은거말고 걍 전편 처음부터...
-
자기 ㄷ 안자기 4
-
라이더
-
님들의 도움이 필요함 12
야식먹고 자기vs 그냥자기
-
고백받았는데 내가 거절했어한순간에 남같이 돌변하더라너무 힘들어 지금도 울고 있어보고...
-
ㅋㅋ
-
현재 숭실상경+군필 9모 원점수로 92 92 2 47 46 화확영생사 기필코 수능날...
-
팜하니 4
-
세지 사설모고 0
jit도 풀까 이기상쌤꺼만 해도 31회인데 음.. 사탐 존나해서 풀 시간은 될거...
-
그저 평범한 고등학생이 쓰는 아무 보잘것 없는 글이지만 조금만 횡설수설해보겠습니다...
-
??
-
막곡은 역시 1
맨! 정신이 난 힘들어 아!무것도 할 수가 없어 맨! 정신이 난 제일 싫어 너!...
-
. 7
-
적중예감 파이널 5
등급컷 따로 있나요.? 글고 파이널이 더 어려움? 아직1회차라 넘쉬운데
-
오지2>식센모 블랙>오지3>식센모 화이트>오지 1>데브 맞나요??
첫번째 댓글의 주인공이 되어보세요.