Curl-Div
게시글 주소: https://ebsi.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를 선물하세요.
-
누구를 탓하리오..
-
독재 다니는데 수능 끝나고 사람들 못볼거 나만 슬프나 0
나름 정 많이 들어서 너무 슬픔 난 자퇴한 18살이라 내년에도 또 해야돼서 더...
-
생윤 칼뱅 질문 7
칼뱅은 이미 태어나기 전에 직업적 성공을 하든 말든 구원을 받은 사람은...
-
난 30분 다썻는데 미친물스퍼거들이랑 동점이라니ㅋ
-
07 9모인증 12
님들이 생각하는 이 성적으로 갈수있는 젤 좋은 대학을 댓글에 적고 가주세요 과는 뭐 알아서 정해주셈
-
[신성고] 2024년 1학년 2학기 수학(하) 중간고사 손풀이! 0
안녕하세요. 어수강 박사입니다. 오늘은 [신성고] 2024년 1학년 2학기...
-
아.
-
예전에도 비슷한 쪽지를 받은 적이 있었는데 남에게 도움을 요청하셔봤자 안...
-
9덮 국어 쉬운거였냐 14
6모 에이어는 박살났지만 문학 1개 매체1개 틀림 85점? 9모 100점 8덮...
-
초딩에는 각광받는 인재엿음 폰도없었고 겜도 거의 안했음 학원가면 내가 항상...
-
영어 너무 오랫동안 안했어서 요즘은 2점이니까 걍 버리는 편인데… 님들은 챙기는 편?
-
Oz강대 2
Oz 모의고사랑 강대k 지구랑 차이가 있나요? 딱히 없으면 oz 모의고사 쭉 풀려고...
-
거지 같은 고3 라이프
-
아수라일지라도 이제 시작해서 3주정도 밀렸는데 따라잡으려면 어떤 식으로 계획을...
-
시대인재 수학쌤 조합 11
공통 장재원T 들을 예정이고 미적 안가람T 들을 예정인데요 제가 상위권이 아니라...
-
어그로 ㅈㅅ 오르비가 정작 필요할 땐 답을 안 해주길래 의뱃 계시면 미리...
-
상담은 주변인이 아닌 전문기관에 문의하시고, 도움 역시 이곳에 문의해주세요 낯선...
-
분명 반수 시작할 땐 건대만 갈 수 있어도 감사하다는 마인드였는데 성적 좀 오르고...
-
9덮 국영수 4
보정이지만 222다... 보정이 너무 후한거 같긴함 그치만 9모때 442라 삶을...
-
생명하지말걸 9
ㅅㅂ
-
레츠고 하버드는 분발하자
-
Curl-Div 0
Curl-Divergence lemma라고 함수열의 수렴에 대해서 이야기 하는데...
-
이전 게시물에서 다음 게시물은 무조건 만화를 올린다고 했는데 그 약속을 좀...
-
일반항이 왜이렇게 쓰여지는것이여
-
중위권 분들 질문 주시면 답해드릴께요!! (학교생활, 등등)
-
못참겠다 다풀면 S1도 풀어야지
-
뭔가 실력이 느는거같지 않는...
-
언매 미적 생윤 윤사 원점수 73 77 2 50 47 경희 응수 가능할까요..??
-
현역 수시러라 8월부터 수능 공부 다시 시작해서 현재 미친개념 수1,2 하고...
-
ㅈㄱㄴ
-
제 점수: 국어 94(1) 수학 81(1-2) 영어 1 한국사 1 화학 47(1)...
-
1븐 지각이나 1-2시간 지각이나 똑같아서 여유롭게 씻고 준비하고 1교시 스킵함ㅋㅋ
-
흑흣. 무슨근거가한줄이뗑이야.
-
흠..
-
내 옆자리 친구 정법으로 최저 맞추는 애라서 걔한테 9더프 정법 시험지 줌
-
(의뱃님들 혹시 계시면 답좀..) 며칠 전에 갑자기 심박수 급상승 + 어지러움...
-
불닭볶음면 개맵메 수발 ㅡㅡ;;;;; 애기 운다
-
미적분 모든 어려움을 28에 몰빵해놨네 어캐푸노 이걸..
-
수능 오답률 1위라는걸 애들은 알고 있을까..
-
미적이고 9모 푼 거는 73에 9덮 푼 것만 보면 68인데 9덮은 보정...
-
지구 버리고 투과목이나 할 걸
-
앉아있는 자세가 잘못됬나..?
-
이중차분법 7
이 시발련 뭐냐 학원숙제하다가 어려워서 드랍했는데 독서 내신 학습지에 또 튀어나왔네 이 새끼
-
오르비를 위해서 0
대략 720일+a일을 기다린 나
-
올해 대학가는건 이거일듯
-
지구과학 개념량 진짜 13
찢어버리고 싶을 정도로 많네...강의 언제 다듣냐 하...
-
D-41 1
AM 8 ~ 12 : 30 : 문학론 24 / 7 PM 13 : 30 ~ 18 :...
-
수의대 목표로 재수하려는데 원과목 한 적 없으면 그냥 원과목 공부하는게 낫나요?
-
특모 시즌1,2랑 비슷한 난이도로
-
아니 그럼 고전소설은 대부분 19금내용 있는데 그걸 우리는 야설이라고는 안 하잖음...
첫번째 댓글의 주인공이 되어보세요.