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를 선물하세요.
-
요즘 상태: 제목 그대로 속으로는 ㅈ됨을감지
-
국어 고민... 7
독서 35분 컷은 도대체 어떻게 하는거죠 저는 빠르게 읽는게 안돼요... 적어도...
-
고2 정시런데 수1수2 동네학원 다니면서 내신은 1등급 유지했고 고2모고 백분위...
-
스포 안당했으면 애니로 보는게 더 재밌죠? 만화도 좋아하지만 개인적으로 애니를 더 선호해서
-
작수 미적 27번인데 계속 헷갈려서 기출에 이거랑 비슷한 문항 없나요 그것만 조질려구요
-
오르비 즐거웠습니당 26
떠나는김에 댓 선착 5분 1000덕코씩 드릴게요!! 차단한사람제외 외로운 수험생활...
-
지금 괴델 형 무덤 파서 나오는 중이라던데
-
감기에 걸렸지만 열공하게 해주셔서 감삼다. 내일도 아플것같지만 의지가 꺾이지 않아서...
-
뭐가 제일 싼맛에풀기 좋을까요?? 9모 통통76허수라 강사든 실모사면 어려워서 다못풂ㅎ
-
극한상쇄 2
어디잇음 좌표좀
-
나 오르비 할 때는 글 리젠 안되더만
-
이게젤편함
-
제목은 어그로고 당연히 할 줄 알아야함. 근데 학원에서 스킬이랍시고 도표적분만...
-
호감 오비르언 22
덕코 주는 오비르언
-
질받 11
신상빼고 모든것이 질문 가능
-
모든것⊂(빨갛거나 빨갛지 않은것) (빨갛거나 빨갛지 않은것)⊂모든것...
-
그놈의 국어 때문에... 진짜 국어는 어떻게해야하냐 항상 시간이 부족함 타임어택...
-
리만 적분, 코시 적분, 다르부 적분, 르베그 적분, 스틸체스 적분
-
고3때 그닥 상위권 아니었던 친구들도 부엉이 되더니 죄다 메디컬성적 뽑아내고있음 나도 내년엔.
-
시행년도 기준 21년도부터 24년도(올해)시험까지 평가원 교육청 모두 담았습니다....
-
진짜 그냥 탈곡기마냥 털림 영혼이...
-
고1때 잠깐 동네학교 다니다가 자퇴함 남은 고등학교에서만 사겼던 친구는 한두명?...
-
9평은 96임(30번 곡선2개로 보다가 30분 가까이 박고 터침) 강x는...
-
누구를 탓하리오..
-
독재 다니는데 수능 끝나고 사람들 못볼거 나만 슬프나 0
나름 정 많이 들어서 너무 슬픔 난 자퇴한 18살이라 내년에도 또 해야돼서 더...
-
생윤 칼뱅 질문 7
칼뱅은 이미 태어나기 전에 직업적 성공을 하든 말든 구원을 받은 사람은...
-
난 30분 다썻는데 미친물스퍼거들이랑 동점이라니ㅋ
-
07 9모인증 13
님들이 생각하는 이 성적으로 갈수있는 젤 좋은 대학을 댓글에 적고 가주세요 과는 뭐 알아서 정해주셈
-
[신성고] 2024년 1학년 2학기 수학(하) 중간고사 손풀이! 0
안녕하세요. 어수강 박사입니다. 오늘은 [신성고] 2024년 1학년 2학기...
-
아.
-
예전에도 비슷한 쪽지를 받은 적이 있었는데 남에게 도움을 요청하셔봤자 안...
-
9덮 국어 쉬운거였냐 14
6모 에이어는 박살났지만 문학 1개 매체1개 틀림 85점? 9모 100점 8덮...
-
초딩에는 각광받는 인재엿음 폰도없었고 겜도 거의 안했음 학원가면 내가 항상...
-
영어 너무 오랫동안 안했어서 요즘은 2점이니까 걍 버리는 편인데… 님들은 챙기는 편?
-
Oz강대 2
Oz 모의고사랑 강대k 지구랑 차이가 있나요? 딱히 없으면 oz 모의고사 쭉 풀려고...
-
아수라일지라도 이제 시작해서 3주정도 밀렸는데 따라잡으려면 어떤 식으로 계획을...
-
시대인재 수학쌤 조합 11
공통 장재원T 들을 예정이고 미적 안가람T 들을 예정인데요 제가 상위권이 아니라...
-
어그로 ㅈㅅ 오르비가 정작 필요할 땐 답을 안 해주길래 의뱃 계시면 미리...
-
상담은 주변인이 아닌 전문기관에 문의하시고, 도움 역시 이곳에 문의해주세요 낯선...
-
분명 반수 시작할 땐 건대만 갈 수 있어도 감사하다는 마인드였는데 성적 좀 오르고...
-
9덮 국영수 4
보정이지만 222다... 보정이 너무 후한거 같긴함 그치만 9모때 442라 삶을...
-
생명하지말걸 9
ㅅㅂ
-
레츠고 하버드는 분발하자
-
Curl-Div 0
Curl-Divergence lemma라고 함수열의 수렴에 대해서 이야기 하는데...
-
이전 게시물에서 다음 게시물은 무조건 만화를 올린다고 했는데 그 약속을 좀...
-
일반항이 왜이렇게 쓰여지는것이여
-
중위권 분들 질문 주시면 답해드릴께요!! (학교생활, 등등)
-
못참겠다 다풀면 S1도 풀어야지
-
뭔가 실력이 느는거같지 않는...
첫번째 댓글의 주인공이 되어보세요.