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를 선물하세요.
-
둘 다 백해무익하지만 공부에는 뭐가 더 해로울까 내 주관으론 술인듯 전에 어른들...
-
국어 듄스트라다무스 고전 3~5강
-
예전에 비키니,크롭티사진같은거 올렸는데 요즘 딥페이크다뭐다말마나서
-
홍대 논술 2
얼마 안남았따 민철게이를 선배님으로 부르는 날이 오기를....
-
나도 질받해볼가 16
할 질문이있으려나 선넘질도 받음
-
붙잡지 못해 아프으으다ㅏ아ㅏ아ㅏ
-
오늘한거!!!!! 15
담주월요일이내신셤이라 하루종일 자습 주심 !! -3- 매일 이러면 학교 즐겁게...
-
맞팔로우 구해요 15
고고
-
저 곧 은테란 말이에요..얼마나 힘들게 여기까지 왔는데 흑흑
-
초월론적 경험론, 시뮬라크르, 배치(assemblage) 초월론적 장(champ...
-
단종된듯.. 게다가 중고매물도 거의 없음
-
9덮 성적이 9
수능성적 이었으면,,, 나중에 약대 합격증 인증할 날이 오겠죠
-
N제 위주로 더 할까하는데
-
6, 9 평, 그리고 수능까지 40일 가량 남은 지금 해야 할 것 (국어) 5
안녕하세요 오늘은 수능이 얼마 남지 않은 시점, 국어 과목에서 어떤 공부를 해야...
-
시리우스 B는 태어난지 2억 2000만 년 정도 밖에 안 지났는데 벌써 백색왜성이...
-
아는문제 vs 모르는문제
-
더 떡상해야하는거 아님요?
-
귀엽게 생겨서 뭐라하지를 못하겄다
-
질문 받습니다 16
아무 질문이나 ㄱㄱ 선넘는 질문 상관 없음
-
지1실력 사람 만들려고 생1유기했더니 생명 실모 개박고 6
지1 사람되니까 생1 병신되네... 병신력 총합 보존의 법칙인가
-
니코틴말고 카페인든거 있으면 좋겠다
-
하루에 하나씩 풀까 하는데
-
저 확통 72점이고 이번에 첨으로 수학 2등급 받아봐서 행복햇는데.. 역시...
-
각성이나 그런 거 보다 삐가리 와서 드러눕고 싶어지는게 더 큼 그냥 손을 안 디는게 베스트
-
ㄹㅇ 딩초때부터 있었는데 그땐 거들떠도 안봤지 이제와서 보니까 그냥...
-
[반박환영] 재외국민전형 3특 12특이 필요한이유 27
전 10년 해외거주 이후 3특으로 국제고 -> 연고 공대 루트를 탔고 현재 2학년,...
-
우이꽁따이생들은 다 고만고만하게 생겼거든 위 짤은 수업끝나고 셔틀타러 가다가 찍힌거라카더라
-
현실이 아닌 세상은 게임 속 세계같은 가상세계도 있고, 저세상도 있는 건데...
-
인사해주세요 1
상냥한 사람이 되고 싶어요,, 반가워요 선생님,, 안녕히 주무세요,,
-
관념적 흡연 2
쓰으으으읍 한숨
-
수학 인강추천 1
9평 92 9덮 84 뉴런정도만 듣긴했는데 앞에 개념은 졸아서 잘 기억안남...
-
목소리가 생각보다 잘생기신듯 사투리 패시브인가
-
요즘 상태: 제목 그대로 속으로는 ㅈ됨을감지
-
국어 고민... 7
독서 35분 컷은 도대체 어떻게 하는거죠 저는 빠르게 읽는게 안돼요... 적어도...
-
고2 정시런데 수1수2 동네학원 다니면서 내신은 1등급 유지했고 고2모고 백분위...
-
스포 안당했으면 애니로 보는게 더 재밌죠? 만화도 좋아하지만 개인적으로 애니를 더 선호해서
-
작수 미적 27번인데 계속 헷갈려서 기출에 이거랑 비슷한 문항 없나요 그것만 조질려구요
-
오르비 즐거웠습니당 26
떠나는김에 댓 선착 5분 1000덕코씩 드릴게요!! 차단한사람제외 외로운 수험생활...
-
지금 괴델 형 무덤 파서 나오는 중이라던데
-
감기에 걸렸지만 열공하게 해주셔서 감삼다. 내일도 아플것같지만 의지가 꺾이지 않아서...
-
뭐가 제일 싼맛에풀기 좋을까요?? 9모 통통76허수라 강사든 실모사면 어려워서 다못풂ㅎ
-
극한상쇄 0
어디잇음 좌표좀
-
나 오르비 할 때는 글 리젠 안되더만
-
이게젤편함
-
제목은 어그로고 당연히 할 줄 알아야함. 근데 학원에서 스킬이랍시고 도표적분만...
-
호감 오비르언 21
덕코 주는 오비르언
-
질받 11
신상빼고 모든것이 질문 가능
-
모든것⊂(빨갛거나 빨갛지 않은것) (빨갛거나 빨갛지 않은것)⊂모든것...
첫번째 댓글의 주인공이 되어보세요.