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를 선물하세요.
-
너무 서울대가 간절해서 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>데브 맞나요??
-
많은 학생들이 시험장에서 실수를 합니다. 어떤 학생들은 고질적인 실수로 항상 자신의...
-
어디서부터 풀어야 할지 모르겠어서 그냥 22 6평부터 평가원 기출 쭉 풀어볼게요 툴...
-
노래방 가고싶다 4
호에에
-
오리스티커 넣을 공간은 있고 Omr넣을 공간은 없나 봄.
-
. 2
-
뭐가 더 모래주머니 같은가요?
-
왁자지껄 우당탕탕 여름청춘고교라이프가 생각나는 밝고 통통튀는 브금
-
우린 야경처럼 반짝거리네에ㅔㅔㅔㅔ에에에ㅔ 나는 널 채우는 샴페인 너는 날 깨우는...
-
수특. 수완 말고 또 뭐가 있나요?? 뭐 봉투모의고사 그런것도 연계인가요..?
-
여기서 보통 9분정도 쓰는데 너무 많이 쓰는거 같음 어떻게 줄이지…
첫번째 댓글의 주인공이 되어보세요.