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를 선물하세요.
-
꼭 풀어볼것 ㅇㅇ
-
오래되지 않은 최근의 생각이다.
-
아무도날몰라
-
국어 질문 하나만 12
수능날 파본검사할때 문학 연계작 찾으러달리는게 맞죠..??진지하게 한장한장 파본검사 안해도 되는거져
-
덕 코인 6
모으면 뭐가좋음? 기분이좋나?
-
진짜 수능이었으면 지금 텔그정도로 가는건가요?
-
4회에서 처음으로 45점 맞음 ㅜㅜ 기쁘다
-
덕코를 모으면 12
덕코가 증가합니다 그게 덕코니까
-
생각 외로 실질적인 교차지원 비율은 줄지 않을듯. 교차지원 할 애들은 이미 사탐런 했거든.
-
수능날 시간부족할까봐 무서운데 왜 난이도가 점점 하향하는거지....
-
왜냐하면 의대 안썼으니까..
-
RF 1
Residually finite: For any nontrivial element...
-
ㅋㅋ 딱 저느낌임 오만하게 살다가 멀리 못간다 ㅋㅋ
-
오공완 8
오늘 독감 주사 맞아서 힘들어요
-
D-41 오공완 4
이것도 힘들어 죽겠는데 정오에 7시간 찍히는 분들은 대체 어떤 분들이실까요…. 대단….
-
마지막게시물로 서울대 성적표 올려놓고 끝내고싶다 엉엉
-
님들은대학왜감 10
원하는 학과?명성?행복?
-
작년에 월화 풀실모에 추가 공부 더하니까 목요일에 컨디션이 별로였어서 저는 토요일...
-
9모 언매 4 확통 5 영어 4 정법 4 사문 4 농어촌 버프로 현역 서울대...
-
버스땜에 시간을 1시간 정도 날렸네요… 내일부터는 더 열심히 하겠습니다!
-
잇올에서 강K 샀던거 오늘 왔는데 화학 K+는 답지 같이 왔는데 K는 왜 답지...
-
오늘의공부 1
국어:비문핟 3지문 문학 3지문 언매한세트(다맞음ㅎㅎ) 영어 10지뮨 수학...
-
오르비가 야해지고 있다 -> 제 댓글 중 너무 야해요의 비중이 급증했어요 너무 야해요
-
한병훈쌤 왤케 훈훈하심 큐앤에이도 하트남발이고 큩보이야완전~..프로필사진올블랙어쩜ㅜㅜ 나미친듯
-
바이퍼존나멋있다 0
박쌤이랑사귀고싶다
-
뭐 외우면 잘풀리는게 있는건가요? 진짜 준킬러가 너무 안풀려요 ㅜㅜ 공부법이라도...
-
카톡을 차단시켜버려서 그렇게 차단하고 못 푼 사람만 근 20명임 ㅋㅋㅋㅋㅋ 다시...
-
개념 특강도 어려움? 상위권 위주인가
-
일단 기만은 아니고 이 성적에 이게 말이 되나요..? 걍 애초에 신빙성이 떨어지긴...
-
오르비언이랑 만나서 술마시기
-
갈까 말까
-
김범준쌤 질문점 6
지금 김범준쌤 강k현강 들을까 고민중인데 수업 이해할 수 있나요?? 지금은 걍 굳이...
-
이거지 사문의 신 폼 되찾았노 20번 좃같이 어려워서 유기함 ㅅㅃ
-
ㅈㄴ 떨리네 ㅈ박을듯
-
전 수능 수험생은 아니지만 오늘 공부 할당량 다 채우느라 이제 귀가했네요 수험생들 ㅍㅇㅌ
-
옆에 있으면 되게 서운한 일이 많은거 같아요 예민한것 같아서 나름 눈치 많이...
-
평가원 수능 언매만큼의 위압감을 따라오지 못하는거같음... 특히 24수능 지문형...
-
오랜만에 오운완 2
시원하니좋네요
-
하루에 실모하나 하프모하나 정도 할생각인데 ㄱㅊ나요?
-
이3끼들은 왜 컨텐츠 설명을 똑바로 안적어두는지
-
역겨워서 토나옴 2
어떻게 생각이 그리 어린지
-
오늘한거 8
14시간실패!
-
미적, 과탐런 문과 현역입니다. 국어 어쩌죠? 고대 하위과라도 갈 수 있을까요.?
-
우와 은테 달았다 32
오르비 가입한지 거의 한달만에 은테찍었네요 기쁘다 뉴비인데 이렇게 해주셔서 고마울따름
-
날 묶어줘 14
보채고 혼내줘너의 강아지처럼 길들여줘어ㅓ어ㅓㅓㅓ어어ㅓ네 침대에 네 품에...
-
D-66에 최선을 다하겠다 다짐을 한지 이 주가 넘게 지났네요. 그래서 최선을...
-
수학공부 안해도 되죠..?
-
질받 16
아무거나 다 됨 씻고와서 답장함 시작!
-
나를 혼자 남겨 두지마~나를 방치 하지마~ 자 다음 가사를 불러볼 옯붕쿤?
첫번째 댓글의 주인공이 되어보세요.