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를 선물하세요.
-
아따 마 스울애들은 선민이라 답지 안본다 그쟈이?
-
재수 중인데 소개팅 성공해서 연애하는 꿈 꿨음 ...
-
ㄹㅇ 도토리 먹네 ㅋㅋ 개귀엽
-
확통입니다
-
설공도 설자연도 아닌 메디컬에 발 담그고 안정성 따지면서 도전을 무서워하는 시점에서...
-
퇴근 4
걸어오는데 더워 죽을뻔..
-
??
-
아빠미안 5
성적표 유기할게...
-
자이랑 프메 하고있는데요 자이도 어려운데 제가 프메를 하는게 맞는건지… 원솔멀텍도...
-
누가 비번 안 걸어놨네 ㅋㅋㅋ
-
???: 이게 왜 어려워?
-
백분위 몇정도 예상하시나요?
-
친해진 오르비언들 내년되면 떠날꺼 생각하니 참으로 슬프다
-
문제만 슥 봤는데 죄다 15 22 비주얼이네 ㅋㅋㅋㅋㅋ 맨 앞 문제가 그나마 14...
-
얘네가 월마다 보정기준을 올려서
-
사실 헛된 희망인 거 같긴 한데 가능성 없을까요
-
제출하는데 04라 써있으면 으흐흐
-
나이땜에 내년부터 못치네 난 아직 애긴데
-
지인선vs샤인미 5
다음엔제 뭐풀지 고민되는데 뭐 먼저 풀까요??
-
보정 2컷은 81이던데 더프 보정이 좀 후한걸로 알아서 실제로 2 될려나
-
궁금스
-
언매 6모보다 어렵던데…? 화작이 어려웠나
-
혼자 쓰나요 아니면 컨설팅 받나요?
-
문제가 뭐였나요 저는 14번 같은거 복병임
-
이런 날씨에 보강을 가야 한다니.....
-
ㅅㅅ
-
답지 보는 이유 4
아 에피 센츄는 못참지 ㅋㅋㅋ
-
실모 8번도 못풀겠노
-
훔 10분째고민중
-
하고싶은일은한가득인데몸이안따라주네
-
천덕만 보내줘
-
학점을 앵간히 챙기며 반수를 하면 대학을 높일 만한 퍼포먼스가 나오련지 모르겠고,...
-
ㅈㄱㄴ
-
나 쌀먹해야하는데...돈...벌어야하는데...
-
4규 어렵나여? 0
대성패스는 없어서 문제만 풀어도 가능할지 궁금하네연 또 엔티켓보다는 어렵나요
-
그럼 이게 진짜 내 실력이구나..
-
잇올 업키 0
잇올 업키 통보 받으신 분 있너요..? 통보 문자로 오나요 아니면 직원분이 직접...
-
아니근데이건진짜너무억울하다이게어떻게하진짜
-
어쩌라고 이 파스퇴르야
-
보정했을 때 백분위 몇정도 될까요??
-
흠
-
오늘 한것 0
수학 서바풀기 아폴로 밀린거 풀기 파이널브릿지 물리지구 스팀팩풀기
-
빵이면 몰라도 도시락은 몰래 먹고 처리하기가 힘들어서 포기함
-
한달 차이가 애매하긴해
-
대학어디가에 연대 신소재공학과 돌려봤는데 교과등급은 작년 컷에 턱없이 모자른데 또...
-
아니 그래서 대학연에 1차컷이라고 나와있는거는 뭐임? 3
뭐라는거임
첫번째 댓글의 주인공이 되어보세요.