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를 선물하세요.
-
-
식센모 화이트 왜냐면 점수가 잘나와서
-
이씨발오답률20퍼도안되는거 자꾸 틀려서 개빡치는데 9모때도 문학만 남들...
-
6모2 9모 1 (91점) ; ㅠㅠ 사설 80에서 85 왔다갔다... ㅠㅠ 다시...
-
님들 지거국 4
70 80 4 90 90 나오면 어디까지 갈 수 있나요? 화작확통생윤사문
-
두근두근
-
작년 6월(점수) 언확영정법사문 순 74 72 51 48 50 4 3 5 1 1...
-
주간 프로메테우스, 어삼쉬사 하프모 프랙티컬이 너무 궁금해서 못참겠다..
-
저는 이제 고3올라가는 고2입니다 수학 모의고사는 높2낮1왔다갔다하고요, 가장...
-
과탐 추천 2
안뇽하세요 문과는 비전이 없고 저랑 안 맞는 것 같아서 이과로 전향하려고 하는데...
-
clothing20snu 대성 커피 먹구 가 ~~ ⸝⸝ɞ̴̶̷ ·̮ ɞ̴̶̷⸝⸝ 3
있잖아, 지금 2026 19패스 구매하고, 내 ID를 입력하면 너도, 나도 각각...
-
미안──!!!!고집부려서 미안해─!!! 내가 잘못했어─!!!! 이제 와서...
-
에이어에 못비비는 것 같은데...
-
철철모 미쳤나 1
초반에 ㄱㅊ더니 후반갈수록 1컷 35짜리 시험지를 만들어냄
-
가끔씩 유독 호러물 땡길 때가 있는데 이때 못참고 봐버리면 한 사흘동안은 심신미약상태됨
-
수학 실모 1
수학2등급이 목표인데 실모안풀고 서킷같은 하프모고만 풀어도 괜찮을까요ㅔ
-
D-8 ㄱㅂ 1
아수라 복습 + 총정리 8-1 불꽃모고 3회 - 64 불찍파 12-1,2,3 +...
-
김승리 어떰 1
김동욱 듣는데 김승리 많이 들어서 궁금해여 김승리 수업 방식이 어떰? 뭐를 중요하게...
-
17년 짝사랑 하고 못사귄거 등신같다 생각하면 개추 3
일단 나부터 ㅋㅋ
-
늘 같은곳에 뭔가 기척이 느껴질때가 있긴함 정신적으로 멀쩡하다 이놈들아. 나한테...
첫번째 댓글의 주인공이 되어보세요.