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를 선물하세요.
-
기차 지나간당 0
부지런행
-
리젠 정말 없네 2
새벽5시라니
-
이제 3학년때부터 정시준비할거 같은데 제가 지금 물화지거든요 근데 겨울방학때부터...
-
2025 사만다 시즌2 4회 답지 가지고 계신 분 있으실까요?ㅠ 분실했어요ㅠㅠㅠ...
-
성적 가지고 고민이신분들 많으신데 높은 점수는 아니지만 저 작년에 9모 평백...
-
아무리 생각해도 올해는 역대급인데
-
네
-
베트남전 파병갔던 군인 회고록 일부인데 ㅜㅜ 너무 몰입감있게 잘 읽다가 띠용하네요
-
저 아는분 계신가요 10
입시판 뜬지 좀 됐지만 어쩌다 이쪽 일을 좀 하게 되어서 오랜만에 생각나서...
-
가우스함수꼴로 올라가나?
-
1~13번 까지 품 -> 평균 25~30분 소요 14or15 와꾸보고 둘중 하나...
-
안녕하세요 전역하고 수능을 보는 최저러입니다 제가 69기준 최저를 맞추었으나 수능때...
-
야심한 밤 질받 15
아무거나 다 물어보셈
-
오늘 이감 6-4 풀었는데 페가수스 지문에서 마이농과 러셀이 각각 역설의 이유로...
-
모아보기에선 그 글이 안 보이는 건 무슨 경우인가요?
-
영어 감으로 풀고있다는 느낌들면 잘못된거죠..??? 1
2등급이 목표고 70후반-80초 나오는중인데 진짜 쉬운지문빼고 다 감으로...
-
콜라캔 따서 마시는 중 이게 행복이지
-
1. 모든것⊂(빨갛거나 빨갛지 않은것) 2. (빨갛거나 빨갛지 않은것)⊂모든것 3....
-
오노추 0
누진스 - 노세노세 https://youtu.be/QAeyhDIsXls
-
자다깸뇨 1
다시자러갑니다 일찍 주무세요 다들
-
내년 지구커리 0
그냥 오지 풀커리에 n제 실모 벅벅이 정배겠죠
-
유도과정에서의 발상이 문제풀때 도움되는거 체감하시나요?.?
-
수능 D-40 국어 만점의 생각 마무리-> 피램 옛기출 독서, 문학 -> 실모...
-
뒤늦은 ㅇㅈ 3
함성이 되리
-
씨발 수능을 잘 쳐야 거기에 꺼드럭대기라고 해 보지 하
-
지금 3~4등급인데 실모 안풀때 기출해야함 아니면 그냥 사설 문풀 양 늘려야함...
-
나도 질받해볼랭 15
자기 전에 마지막으롱
-
하.. 찌릿찌릿해서 죽겠는걸 얼마나 방치해둬야 하나
-
문디컬 도전 0
예전 수능때 화작99 미적95 영어2 생명91 지구87 정도 였던 사람입니다....
-
매실문 하는중인데 헷갈리거나 못 푸는 문제만 골라들어도 되나요? 아님 2배속...
-
히마와리 6
아도최애곡이 이거라면믿어주실건가요 너무좋음,,,
-
한지 9덮 0
한지하시는 분들 9덮 보정컷 많이 후한 것 같나요?
-
누구탈릅했나 8
팔로우팔로워둘다빠짐
-
혹시 전남대,제주대 약대 1-2학년 다니시거나 반수하시는분 계실까요? 0
여쭤 보고 싶은게 있습니다! 답변 주시면 정말 감사하겠습니당!
-
무섭다
-
성의수학과외 밑에 “ㅊㅇㅇ”
-
신재호 김종두 0
누가 GOAT?
-
어제 안 자서 6시에 깰 수 있나.. 알람 못 들을 듯여
-
1일차
-
조커 폴리 아 되 아침 9시 대치가는데 볼까말까
-
안녕히 주무세여 1
오늘 아침에 뵈어요
-
가장 안정감 넘치는 형태는 무엇인가요? 아마도 원을 꼽는 사람들도 꽤 있을...
-
공부시간도 빼먹고 물론이거안하면또다른짓거리할듯 비틱하는개씹새끼들보면화나고좆같고...
-
내가 뭘 했는데 갑자기..
-
글리젠용 뻘글 1
글리젠용 뻘글 글리제로따먹고싶다 뻘글
-
씹발 시켜버렸다 6
오늘먹고죽자
-
늦은 현역 인증 5
불금이니깐
첫번째 댓글의 주인공이 되어보세요.