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 $\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시간 하다가 집오겠네
-
미안해 관심 좀 줄게
-
와....
-
-
이대로라면 국회에서 윤석열 대통령 탄핵 소추하고 헌재에서 의결하는건 시간문제인거...
-
ㅎㅎ
-
오히려 더 ㅈ된거같은데 왜 자기무덤을 자기가팜?? 다른이유가 있나
-
이과인데 고대를 온다면 안암공전의 언덕맛을 볼거에요
-
10시즌급 개노잼 같아보이는디
-
-
닉변 완 8
민족고대를 달라
-
근혜때마냥 탄핵집회 화력 안나와서 장작 던진건가
-
ㄷㄷ..
-
설치기원1일차 6
컷 10점 정도만 완화해주라ㅎㅎ..
-
대통령이 이정도까지 멍청할 수 있나 여기서 끝이라고..? 서울법대 검찰총장 한사람인데
-
님들이 대통령이면 안누름? ㅋㅋ
-
고대기원4일차 6
계엄메타 잠잠해진 틈을 타
-
음음 비상계엄도 서울대 합격을 막지 못해
-
개인적인의견인데 잠시조정은오더라도 결국1450원까지는찍을거같음...
-
엄 ㅋㅋ
-
-
동덕여대도 파보니까 무슨 이상한 정당 나왔다는 음모론이 있던데 계엄도 파보면 북한 나오는 거 아님?
-
9수했다는것도 구라인듯 한 20수는 해야될 머리인거같은데
-
와.. 0
ㄷㄷ
-
대선부터 총선까지 2번으로 도배했는데 살려주십시오
-
내가 282930을 맞출수있을까
-
둘중 하나는 갑시다… 법이 어떻고 진실이 어떻든지간에 여론은이미…
-
너무 황당하네 4
너무 wwe같음 진짜 너무 각본같은데 이거 진짜 뭐임 의도를 모르겠음 진짜로
-
이쯤에서 지지정당 ㄱㄱ 10
.
-
-
국가비상사태라며
-
수학 고정백 만들면 돌아올게오, 아마 금방 올꺼임뇨
-
환율떡상해서개이득이네 라고밖에생각안했었음
-
대놓고 훈련용탄창 가져왔더만
-
예 작년에 있었던 일련의 사건으로 인해서 지문이 부드럽게 읽힌 친구들이 많을겁니다....
-
??
-
니니 말 들을걸 2
곱버스도 국장이규나
-
노베 입갤 되냐 1
여기 있으면 다 잘하는 사람인 거 아는데 눈치 없게 한 번 껴본다
-
.
-
-
그정도로 머가리가 텅텅 비었겠냐고
-
사죄의 의미로 손가락 한개씩 잘라라 이게 뭔 국제망신이냐 내일 장 열리면 재밌겠네ㅋㅋ
-
에타 근황 5
-
표지 예뻐서
-
문제 시 내릴 거긴 한데 어차피 퀄리티 개구려서 뭐.. 평가 좀요.
-
탄핵 2배는 못이기지 ㅋㅋㅋ
-
나 석열이 친구인데 숏쳤다고 전해 들음 ㅇㅇ
첫번째 댓글의 주인공이 되어보세요.