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 $(\mathrm{div} u_m)$ and $(\mathrm{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를 선물하세요.
-
(수정은 비밀)
-
명상<-최고 2
1교시 국어 종 치기 2분전쯤 눈감고 숨을 2초 크게 들이쉬고 4초 뱉기 2번씩만...
-
0~12분: 개념 16문제(다 손가락 걸기) 12~14분: 개념 1문제(제대로...
-
으으ㅡ으ㅡ 진짜 2~3만 나와도 되는ㄷ......
-
어느 영화와 같은 일들이 이뤄져가기르으을 힘겨워한 날에에 너를 지킬 수 없었던...
-
사고 실험 여태까지 Accident experiment 인줄 처음에 사고실험을...
-
안녕하세요 4
디도
-
갈 수 있다면 어디 가심?
-
슈뢰딩거가 양자역학 실험에서 유명해서 양자역학 주장한 사람인줄 알앗는데 오늘 국어...
-
맞팔9 8
금테 ㄱㅈㅇ
-
저희는 '응, 알아.'에서 끝내지 않겠습니다. 반갑습니다. 국어 연구소 Team....
-
1. 시중에 있는 실모 거의 다 풀어봤다고 자부함. (대성이투스메가 꼴타까지 포함)...
-
EU에서도 일할 수 있고 어느 정도 머리만 있고 영어 잘한다면 충분히 해볼 만 할...
-
함께 있는 이 순간에 내 모든 걸 당신께 주고싶어
-
진짜 큰거안바라고 500억만ㅜ
-
통합수능되고 나서 1컷 원점수는 평가원에서 공개안하나요?
-
이세계에 존재할수도 있고 아닐수도 있고 남자일수도 있고 여자일수도 있고
-
별의 광도, 별의 반지름은 별의 광도 구하는 식을 변형하여 구할 수 있는데 별의...
-
수고했습니다 4
오늘 공부가 유난히 안되던 분들도 늦어서 벼락치기 하시는 분들도 꾸준히 열심히...
-
굳이 고된 나를 택한 그으으대에여어ㅓㅓ
-
우선 저는 뼈 속까지 문과인 예비 고3입니다. 여태껏 학력평가 보면 수학은 항상...
-
머리도 아프고 컨디션이 안좋아서 좀 많이잤네요… 그냥 졸린거면 카페인먹고 버티는데...
-
우우 아가 자야지 15
잠 온다
-
강기본 듣기 시작했어요 끝나면 강기분 이어서 하려는데 빠르게 올리는 효과적인 방법 있을까요?
-
자기전에 마지막 질받 10
사실 자는거 아님
-
레스고 지투 2
잘하네
-
9월더프컷 9
-
냅다 어떻게 사시나요 하면 도믿같냐 편한 애는 이미 달에 몇번씩해도 괜찮은데 뭔가...
-
그래야 스키를 재미있게 탈수있는데
-
고구마님이 올려주신 피뎊으로 하루에 1-2 지문 풀고 분석하고 애매한 선지나 해설...
-
학교 1교시였습니다만, 교실 구석에서 조용히 "우리는 해변에서 싸울 것입니다"...
-
평가원 성적은 잘 안나오면서 실모딸 치고 다른 애들 까내리기 진짜 매일 듣는다..
-
음식이 부글부글 끓다가 폭발하는 꿈꿨음 음식이 폭발할 수도 있구나하고 납득하면서...
-
1) 벌점먹으면 왜 산화됐다고 하나요? 2) 진짜로 덕코 편의점 사용 가능한가요?...
-
꼭 풀어볼것 ㅇㅇ
-
오래되지 않은 최근의 생각이다.
-
아무도날몰라
-
국어 질문 하나만 12
수능날 파본검사할때 문학 연계작 찾으러달리는게 맞죠..??진지하게 한장한장 파본검사 안해도 되는거져
-
덕 코인 6
모으면 뭐가좋음? 기분이좋나?
-
진짜 수능이었으면 지금 텔그정도로 가는건가요?
-
4회에서 처음으로 45점 맞음 ㅜㅜ 기쁘다
-
덕코를 모으면 12
덕코가 증가합니다 그게 덕코니까
-
혼자 개노가다 뺑뺑이 수학 N제 실모 공부하다가 해설강의 들으니까 개좋다......
-
생각 외로 실질적인 교차지원 비율은 줄지 않을듯. 교차지원 할 애들은 이미 사탐런 했거든.
-
수능날 시간부족할까봐 무서운데 왜 난이도가 점점 하향하는거지....
-
이제 5등급만 찍으면 되는거냐구 캬캬
-
왜냐하면 의대 안썼으니까..
-
RF 1
Residually finite: For any nontrivial element...
첫번째 댓글의 주인공이 되어보세요.