Curl-Div
게시글 주소: https://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를 선물하세요.
-
이거 들어봐 4
허접:p
-
디시에 검색해봤더니 작가가 디시에서 몇주째 키배벌이고 있으면 어떻게 해야함
-
굿모닡 2
4시간취침
-
궁금하네
-
지금이라도 탄다
-
개인적으로 비운의 애니 세손가락안에 든다고 생각함 Ost도 진짜 좋은데.......
-
잠 자는법.. 1
제가 원래도 잠을 잘 못잤는데 갈수록 더 심해지는 것 같습니다 아무래도 생각이...
-
무휴학 반수라서 고전문학 연계만 보려는데 너무 깊지 않게 해석이랑 출제 포인트...
-
물론 사람마다다른거 아는데 약대 표본에서 뛰어나지 않아도 고수입 루트 탈수 있는지
-
1세트때 많이 못함? 그래도 작년 디펜딩챔피언인데 개인적으로 이해가안되네 하위조에서...
-
교재 만들때 유용한 팁이나 기능 있을까요
-
재수하면서 나름 열심히 살았습니다. 아직 많이 부족하지만…작년에비해 많이...
-
아시발자야되는데 1
7시 기상해야 하는데 잠이 안 옴
-
너무처음와보는스테이진데 내신이없는건 내일 눈떳는데 다시 1학년이면? ㅈㅉ이런거아니겠지 바로자살해야시
-
살아있는사람? 7
빨리 주무세요.
-
집값의 거품, 토허제, 등등을 비롯한 우리나라의 특이한 상황과 제도들은 2
하나같이 우리나라만 시행하고 있는 "전세"의 작품... 전세라는 제도가 사라지긴...
-
달려!!!
-
반수생 사탐런 10
작수 지구 43점인데 버리고 한지런하기에는 아깝나요? 작년에 지구 공부하는데 너무...
-
몰랐는데 3
경제 인구수가 투과목 급이네요? 왜 하는 거지 등급컷 때문에 하는 건가
-
기상 2
공부나해야지
-
하자살마려움 0
시험까지7시간남음
-
존댓말하다가 반말되고 언제부턴가 확친해지는 그 과정 보는게 재밌는데
-
100퍼 떨어지나 하.. 이게실력인지 모르겠다 다심풀어서...
-
자니? 밖이야?
-
탐구 고민입니다 4
반수를 하려고하는게 탐구가 고민입니다 현역때 물리 생명 3 3 이 나왔고 사탐런을...
-
우ㅜㄴ래3인데 마킹나갓나봐요 4로나오는데 3후반이거든요 두개중에 머해야할가교
-
임강만 보면 졸아서 도저히 안 되겠어서 바꾸려고 하는데 너무 늦었나
-
과탐 선택 0
제가 쓸수잇는 학교 맞추기에 수학은 거의 완성한거같고 탐구만 하면 되는데요. 과탐...
-
갑자기막유명해짐
-
대구경북지역의 한의대나 메디컬 암데나 좋으니까 확통사탐으로 갈수잇는곳 평백이...
-
6모는 생1 36 (지우개 안들고가서 평소보다 못치긴 함, 수시최저충이라 막전위...
-
현역 내신에서 통합사미에 흥미, 재능없음 이슈로 고2때 화생지함. 물론 화학은...
-
인증이라도 해보삼
-
외모정병 와꾸 컨디션 ㅈㄴ 좋을때 or 꾸밈 잘 먹을때 빼고는 항상 스트레스
-
진짜 기만말고 5
누구 서울대 식품 동물생명공학부 다니는 사람 없음? 인증하면 2000 xdk 줌
-
목동역에 있는 이투스 247어떤지 아시는분 있으실까요??
-
술게임 존나 배움 두부게임, 출석부, 지하철(<-- 개 시발새끼들 제주사람 끼고...
-
서성한도 조금은 될라나?
-
국어 어휘문제 1
국어 모고 풀때 어휘문제 하나씩 틀리면 어떡하나요?
-
지금 14분 걸리는데 세부내용까지 챙기면서 읽는게 맞죠??
-
문제가 쉬웠던 건가요? 고여서 그런가요? 화2 2개 틀렸는데 백 95에...
-
힘내자 다들
-
빨리 졸업해서 9
외모 컴플렉스 성형조지고 늦게나마 나도 이성한테 사랑받아볼거야 너무 믾이 남았지만...
-
손좀요
-
방금일어났는데 1
공부가하기싫구나
-
욕심 많은 0
현실에 타협하기 싫다면서 현실 직시는 못하는 메타인지가 부족하고 자기합리화만 하는...
-
-기하: 벡터 실전개념 체화용 문제 16,17,18번 -시스템 개념완성 코어 8강
-
왤케 미련을 못버리고 있지
-
터덜터덜,, 퇴근 후 샤워하고 누웠음
첫번째 댓글의 주인공이 되어보세요.