Curl-Div
게시글 주소: https://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 $\operatorname{div} u_m$ and $\operatorname{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
출발~!
-
너무 기본적인게 갑자기 헷갈림
-
교수님께서 유투브 보여주시는데 추천 동영상에 매불쇼랑 이동형tv있는거 보고 웃겨 죽을뻔..
-
닉 바꿀까요 1
한수지 이름 예쁘긴 한데 살짝 질리기도 하고
-
흠냐뇨잇 0
흠냐
-
점수 안 나오고 엉망진창일 때마다 얘들 생각나던데 "얘야. 인생은 자기 뜻대로 되는 게 아니란다."
-
대체 무슨 심보인가요 그나마 오르비가 사람들이 적당히 온건한 분들이 많아서 그렇지...
-
ㄱㅍ ㅇㄹㅂ로 바꿀수도 없고 큰일이네요
-
그래서 풀커리 타는 중이고
-
우리끼리 놀자 0
모여라 딩동댕
-
기각되면 즉시 복귀해야하는데 11시에 선고하면 들어가자마자 점심시간인데, 10시에...
-
유리아누나 3
쌍둥이분 검고생이라네 헉쓰헉쓰
-
와 팔로워 50 1
저도 당당한 올비 고닉임뇨
-
다들 교복입고 학교 캠퍼스 거닐다가 지금 술먹으러 가서임?
-
하 시간 사르르 녹여서 버리고 있네 나레기
-
옯만추나 해볼까 2
하행선 1-1
-
작년에 몆번 봐서... 이번엔 기출은 스블만 하려했는데 스블 미적 4월말은 가능한가...
-
[칼?럼] 기하런 27
1. 기하런이란? 선택과목으로 미적이나 확통이 아닌 "기하"를 택하는 것 2. 왜...
-
미분 가능하려면 케이스가 둘다 미분가능하거나 둘다 미불 아닌가요? 오늘 수업...
-
3점제외
-
시대 김현우 0
이번주 스탠다드 왤케 어려움?? 나만 그런건가…?
-
김범준t 수강후기 중 홍준용 강사님의 사과문과 비교하는 수강후기가 하나 있었음....
-
도전 1일차
-
내일은 수2임 ㅋㅋㅋㅋ
-
레벨업 1
이젠 해야됨 튼튼하게 공식적으로 혁신적으로 준비해야됨
-
푸앙이 vs 부 4
싸우면 누가 이길까 재밌는 vs놀이
-
스타팅 블록에 상당히 많은 기출문제가 수록되어져 있는걸로 알고 있는데 이것을...
-
ㅏㅏㅏㅏㅏㅏㅏㅏ
-
안녕하세요? 기숙학원에 가게되었는데 둘 중에 고민 중입니다.. 혹시 다녀보신 분들...
-
그래서 그런건가 늘 어렵다니까
-
화학화학하악하악 7
더 재밌는 문제... 더 뛰어난 스킬..!! 화학 이야깃거리좀 주쇼
-
내란죄는 타당하다 << 이거라는듯 그래도 헌재 결정은 따르는게 옳다봄
-
강의실 ㅆㅂ 없던 공황도 생기게하는매직
-
기출 다 풀어봤는데 시험장에서 실수 틀만 없으면 틀릴일이 없을거 같은디 실모...
-
내신 n제 0
물1 화1 내신하고 있는데여 기출다 돌리고 (수특도) n제 풀어보고 싶은데...
-
고민상담 좀 10
배고픈데 빼빼로 먹을까요
-
근데 나보고 진짜 중딩같대ㅠ
-
2025학년도 한림대 의대 면접 기출문제(일반.. : 네이버블로그
-
체스 메인 간 글 기보 가져옴 1. e4 c5 2. Bc4 e6 3. Nf3 Nf6...
-
푸쉴
-
https://orbi.kr/00072668191
-
왜 요즘 안보임? 닉네임이 기억이 안나네
-
조건이 이래저래 흩어져잇어서 난잡해보이지만 그만큼 조건이 생각보다 많아서 몇몇...
-
만우절 장난인줄 알았다 ㅅㅂ 왜 의무등원인데 ㅈ대인재야
-
바로 2차계엄 하고 북한 선제타격해서 정신없는 사이에 헌법 바꿔서 영구집권할 새끼임...
-
누가 좀 씻겨주쇼
-
OWL EVO는 4
Owl n제 evo는 뭔가요?? Air하고 pro는 본 적이 있는데 evo는 첨...
-
잠을 못자요 0
다 오르비 때문이야
첫번째 댓글의 주인공이 되어보세요.