Curl-Div
게시글 주소: https://d.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
시원하니좋네요
-
인생 쓰네요...
-
하루에 실모하나 하프모하나 정도 할생각인데 ㄱㅊ나요?
-
이3끼들은 왜 컨텐츠 설명을 똑바로 안적어두는지
-
역겨워서 토나옴 2
어떻게 생각이 그리 어린지
-
오늘한거 8
14시간실패!
-
미적, 과탐런 문과 현역입니다. 국어 어쩌죠? 고대 하위과라도 갈 수 있을까요.?
-
우와 은테 달았다 32
오르비 가입한지 거의 한달만에 은테찍었네요 기쁘다 뉴비인데 이렇게 해주셔서 고마울따름
-
날 묶어줘 14
보채고 혼내줘너의 강아지처럼 길들여줘어ㅓ어ㅓㅓㅓ어어ㅓ네 침대에 네 품에...
-
D-66에 최선을 다하겠다 다짐을 한지 이 주가 넘게 지났네요. 그래서 최선을...
-
수학공부 안해도 되죠..?
-
질받 16
아무거나 다 됨 씻고와서 답장함 시작!
-
나를 혼자 남겨 두지마~나를 방치 하지마~ 자 다음 가사를 불러볼 옯붕쿤?
-
소리 치고 싶음 정말 정말 정말 잘 보고싶다 정말
-
질받메타 참전 14
선넘질 가능 사실 전에도 별 질문 없었긴 했는데 캬캬
-
수능 물리 3
수능 물1에서 이번 특모 1, 2 만큼 나오면 불수능인거 맞나요?
-
생지 하자 ~ 생지 하자~ 나대지 말고~ 나대지 말고~ 4
화지선택한 사람인데 작년에도 느껐지만 화학은 진짜… 고일대로 고인듷 3년째 계속하고...
-
다른게 뭔가요??? 할줄은 아는데 두개가 좀 비슷한 것 같아서.. 음함수 —> y를...
-
설마 그정도로 내가 운이 없을까 싶기도 하면서 그정도로 운이 없었으니 이렇게 된게 아닐까 싶기도 함
-
따따라라따라따다라따라따라라 액팅라잌 앤 엔젤 드렠스라잌 크레이지 야!
-
둘 다 백해무익하지만 공부에는 뭐가 더 해로울까 내 주관으론 술인듯 전에 어른들...
-
국어 듄스트라다무스 고전 3~5강
-
예전에 비키니,크롭티사진같은거 올렸는데 요즘 딥페이크다뭐다말마나서
-
홍대 논술 2
얼마 안남았따 민철게이를 선배님으로 부르는 날이 오기를....
-
나도 질받해볼가 16
할 질문이있으려나 선넘질도 받음
-
붙잡지 못해 아프으으다ㅏ아ㅏ아ㅏ
-
오늘한거!!!!! 15
담주월요일이내신셤이라 하루종일 자습 주심 !! -3- 매일 이러면 학교 즐겁게...
-
맞팔로우 구해요 15
고고
-
저 곧 은테란 말이에요..얼마나 힘들게 여기까지 왔는데 흑흑
-
초월론적 경험론, 시뮬라크르, 배치(assemblage) 초월론적 장(champ...
-
단종된듯.. 게다가 중고매물도 거의 없음
-
9덮 성적이 9
수능성적 이었으면,,, 나중에 약대 합격증 인증할 날이 오겠죠
-
N제 위주로 더 할까하는데
-
6, 9 평, 그리고 수능까지 40일 가량 남은 지금 해야 할 것 (국어) 5
안녕하세요 오늘은 수능이 얼마 남지 않은 시점, 국어 과목에서 어떤 공부를 해야...
-
아는문제 vs 모르는문제
-
더 떡상해야하는거 아님요?
-
귀엽게 생겨서 뭐라하지를 못하겄다
-
질문 받습니다 16
아무 질문이나 ㄱㄱ 선넘는 질문 상관 없음
-
지1실력 사람 만들려고 생1유기했더니 생명 실모 개박고 6
지1 사람되니까 생1 병신되네... 병신력 총합 보존의 법칙인가
-
니코틴말고 카페인든거 있으면 좋겠다
-
하루에 하나씩 풀까 하는데
-
저 확통 72점이고 이번에 첨으로 수학 2등급 받아봐서 행복햇는데.. 역시...
-
각성이나 그런 거 보다 삐가리 와서 드러눕고 싶어지는게 더 큼 그냥 손을 안 디는게 베스트
-
ㄹㅇ 딩초때부터 있었는데 그땐 거들떠도 안봤지 이제와서 보니까 그냥...
-
[반박환영] 재외국민전형 3특 12특이 필요한이유 28
전 10년 해외거주 이후 3특으로 국제고 -> 연고 공대 루트를 탔고 현재 2학년,...
-
우이꽁따이생들은 다 고만고만하게 생겼거든 위 짤은 수업끝나고 셔틀타러 가다가 찍힌거라카더라
-
현실이 아닌 세상은 게임 속 세계같은 가상세계도 있고, 저세상도 있는 건데...
-
인사해주세요 1
상냥한 사람이 되고 싶어요,, 반가워요 선생님,, 안녕히 주무세요,,
-
관념적 흡연 2
쓰으으으읍 한숨
-
수학 인강추천 1
9평 92 9덮 84 뉴런정도만 듣긴했는데 앞에 개념은 졸아서 잘 기억안남...
첫번째 댓글의 주인공이 되어보세요.