Curl-Div
게시글 주소: https://w.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 $(\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 학생입니다 1학기...
-
공군,카투사,의무병중에
-
랩퍼블릭 보는데 0
플리키뱅 ㅈㄴ 불쌍하네 ㅋㅋㅋㅋㅋ 벌스 생각보다 많은거에 놀랏는데 다구리 지리노
-
이게 오르비지
-
두근두근
-
요루시카처럼 휘몰아치는 느낌 나는 것도 있고 잔잔한 느낌나는 것도 있고 미세스...
-
질받해요 9
질문 없으면 조용-히 글삭을..
-
그 주인공은 팜하니 입니다 하니야 생일축하해
-
검색하면 실명, 얼굴, 전화번호까지 다 나오는 ㄹㅇ 실명 커뮤있는데 블아 그림같은거...
-
3년한의대생기부 일반고 내신1.9 걍 우주상향카드로 경한 학종 넣었는데 일말의...
-
질받 14
선넘질,공부질,일상질 다 받아요 수능은 언미물2화2봐요
-
이성적으론 알고 있지만 따르기 쉽지 않은 것
-
수능 전날 0
수능 전날에 다들 머하실거에요?? 전 아침에 이감풀고 남은시간 올해 6모(9모는...
-
옯창짓을 좀 해볼까 내일 공부할 거도 뽑을겸
-
ㅈㅂ 한 번 먹어줘라
-
난 잊어주지않을거야
-
가능한가요
-
미필들은 들어라 4
해군에 입대하라 궁금하면 댓글 ㄱㄱ
-
키 180 중후반정도에 덩치 있으면 평소에 시비 걸리진 않죠? 걱정되는 사람이...
-
현재 고1이고 수1 시발점, 킥오프 둘다 워크북까지 다 풀고 있는데 일주일 정도...
-
저는 그냥 지나가는 아저씨인데 여기 수험생 분들 보니까 뭔가 새롭네요 다들 수능에서...
-
올수 끝나고 떠나려 했는데 이미 오르비가 인생이 되어버린
-
큐브 근황 0
열심히 이벤트 하는데 처음 조금 줄더니 다시 수학 질문 수백개 쌓임 ㅋㅋㅋ 쌀먹충...
-
나 그때 현역 수능이었는데 노베여서 국어 3등급(백분위 78이었나 아마) 빼고 싹...
-
그랬다면 1컷이 얼마나 될까요? 45?
-
불닭 자체도 맛있고 어울리는 음식이 너무 많음 컵라면 기준 불닭 >>>>> 넘사...
-
저도 떠나가야지요..
-
낼 아침까지 뭐할까요 17
폰은 있는데 당직사관이랑 같이 있어서 이어폰 끼고 전화하거나 애니도 못봄 아침 8시...
-
벼락치기하고 감 잔뜩 끓어올리고 수능보러가쟈
-
홍대 논술본사람 0
연습지에도 샤프 못 쓰게하던데 이거맞나요.. 다른대학들도 다 그런감
-
날씨도시원해졌고... 물리력 충전을 위해
-
동서양의 조화
-
저는 좀 이해가 안되는데 5번이 너무 답이라서 5번 고르기는 했지만 3번이 아닌...
-
김동욱 독서 4
파이널 찍먹 해보려는데 뭐 들으면 되나요? 그읽그풀파라서 함 들어보고 싶은데 뭐 들으면 될까요?
-
확실히 11
공부 잘하는 사람들은 안 씻는듯...오늘 앞사람 냄새풍기면서 강k 90점대...
-
ㅋ_ㅋ
-
오르비 애니프사들 모아서 아키하바라에 단체로 우르르
-
가장큰 고비는 넘겼군..
-
국어 영어 국사 탐구 다 맘에 드는 강사 골랐고 잘 듣고 있는데 수학만 아직 못 골랐음...
-
문돌이 고2 형이었군
-
상당히 연구해볼만한 주제인듯
-
맛있을거같음 6
먹어본사람?
-
본인특 12
해외여행 한번도 안가봄..여권업슴..
-
대충 10개푼다치면 몇문제정도 맞을려나
-
멀까?
-
심찬우배성민션티현정훈박선
-
이창무 선생님은 4
기출냄새 나면서 그 문제를 가장 심화시켜서 어렵게 만드는걸 잘하시는듯...풀이과정...
-
수학 뭐할까요? 1
2주정도 잡아두고 지금까지 푼 n제 복습 + 서킷x 1일 1회 -> 수완 + 서킷x...
-
이걸 투표해주네 2
이런 착한 옵창들같으니라고
첫번째 댓글의 주인공이 되어보세요.