$L_p$-포물선 방정식의 공법선 미분 문제에 대한 추정: 시간 가측 계수와 $A_p$-가중치

기본 정보

• 논문 ID: 2510.21139
• 제목: $L_p$-estimates of the conormal derivative problem for parabolic equations with time measurable coefficients and $A_p$-weights
• 저자: Hongjie Dong (Brown University), Pilgyu Jung (Yonsei University), Doyoon Kim (Korea University)
• 분류: math.AP (편미분방정식 해석)
• 제출 시간: 2025년 10월 24일
• 논문 링크: https://arxiv.org/abs/2510.21139v1

초록

본 논문은 Reifenberg-flat 영역 위에서 공법선 미분(conormal derivative) 경계 조건을 갖는 산발형(divergence-type) 포물선 방정식의 가중 혼합 범수 추정을 연구한다. 주도 계수는 시간 변수에 대해서만 가측이고 공간 변수에 대해서는 작은 평균 진동을 갖는다. 경계 추정을 유도할 때, 반시간 미분 추정을 채용함으로써 정칙성 문제를 극복한다.

연구 배경 및 동기

문제의 핵심

본 논문은 다음의 2차 산발형 포물선 방정식의 $L_p$ 이론을 연구한다: $u_t - D_i(a_{ij}D_ju) + \lambda u = D_t^{1/2}h + D_ig_i + f \quad \text{in } \mathbb{R} \times \Omega$ 공법선 미분 경계 조건을 갖추고 있으며, 여기서 $\Omega$는 Reifenberg-flat 영역이다.

연구의 중요성

1. 이론적 의의: 타원 및 포물선 방정식의 $L_p$ 이론은 지난 수십 년간 광범위하게 연구되었으나, 시간 불규칙 계수와 불규칙 경계를 갖는 Neumann 경계 조건 문제에 대한 이론은 여전히 대부분 미해결 상태이다.
2. 기술적 도전: 계수의 시간 불규칙성이 경계의 기하학적 불규칙성과 결합될 때, 문제는 진정으로 비자명해진다: $u_t$를 $L_p$ 공간의 함수가 아닌 분포로 취급해야 한다.
3. 기존 방법의 한계:
   • Dirichlet 문제에 대해서는 내부 및 경계 추정에 관한 많은 결과가 있다
   • 타원 방정식의 공법선 미분 문제에 대해서는 결과가 있다 (예: Byun-Wang 2005)
   • 그러나 시간 불규칙 계수를 갖는 포물선 공법선 미분 문제에 대해서는 이전에 어떤 결과도 없었다

본 논문의 혁신적 동기

전통적 방법이 마주친 장애물: Reifenberg-flat 영역에서 기존 기법을 적용할 때, 우변에 $u_t I_{\Omega^*}$ 항이 생긴다 (여기서 $\Omega^*$는 영역 외부 반공간의 일부). 그러나 산발형 포물선 방정식의 해는 일반적으로 $u_t \in L_p$를 만족하지 않는다. 계수가 $t$와 무관하면 $u_t$ 자체도 해라는 사실을 이용할 수 있으나, 계수가 $t$에 의존하고 정칙성이 없을 때는 이 방법이 더 이상 적용되지 않는다.

핵심 기여

1. 반시간 미분 기법 도입: 포물선 방정식의 공법선 미분 문제에서 반시간 미분 $D_t^{1/2}u$를 처음으로 체계적으로 사용하며, 이는 시간 불규칙성을 극복하는 핵심 혁신이다.
2. 새로운 방정식 형태 확립: 반시간 미분 항 $D_t^{1/2}h$를 포함하는 비전통적 포물선 방정식을 연구하며, 이는 Reifenberg-flat 영역에서 시간 불규칙 계수를 갖는 방정식을 다루는 데 필수적이다.
3. 가중 혼합 범수 추정: $L_{p,q,\omega}$ 공간에서 추정을 확립하며, 여기서 가중함수 $\omega(t,x) = \omega_1(x)\omega_2(t)$, $\omega_1 \in A_p(\mathbb{R}^d)$, $\omega_2 \in A_q(\mathbb{R})$이다.
4. 완전한 존재 및 유일성 이론: $\lambda$가 충분히 클 때 해의 존재성과 유일성을 증명한다.
5. 전통적 방정식으로의 응용: 반시간 미분 항이 없는 전통적 포물선 방정식 $(0,T) \times \Omega$에 결과를 적용한다.

방법론 상세 설명

문제 정의

주요 방정식 (방정식 2.2): $u_t - D_i(a_{ij}D_ju) + \lambda u = D_t^{1/2}h + D_ig_i + f \quad \text{in } Q = \mathbb{R} \times \Omega$ 공법선 미분 경계 조건을 갖춘다.

약해의 정의 (정의 2.1): $h, g_i, f \in L_{p,q,\omega}(Q)$에 대해, $u \in H_p^{1/2,1}(Q)$는 임의의 $\phi \in H_{p',q',\omega'}^{1/2,1}(Q)$에 대해 다음을 만족하면 해이다: $\int_Q \left(-\mathcal{H}(D_t^{1/2}u)D_t^{1/2}\phi + a_{ij}D_juD_i\phi + b_iD_iu\phi + cu\phi\right) dX = \int_Q \left(hD_t^{1/2}\phi - g_iD_i\phi + f\phi\right) dX$

여기서 $\mathcal{H}$는 Hilbert 변환이다.

핵심 기술 혁신

1. 반시간 미분의 정의 및 성질

$\phi \in C_0^\infty(Q)$에 대해: $D_t^{1/2}\phi(t,x) = \frac{1}{\sqrt{8\pi}} \int_{\mathbb{R}} \frac{\phi(t+\ell, x) - \phi(t,x)}{|\ell|^{3/2}} d\ell$

일반 함수에 대해서는 약형식을 통해 정의된다 (방정식 2.1).

핵심 항등식 (비고 2.4): $\int_Q \mathcal{H}(D_t^{1/2}u)D_t^{1/2}\phi dX = \int_Q u\phi_t dX$

이는 반시간 미분과 통상적 시간 미분을 연결한다.

2. 경계 불규칙성 처리의 핵심 기법

보조정리 4.1의 핵심 아이디어: Reifenberg-flat 영역 $\Omega_R(x_0)$에 대해, 좌표 변환을 통해 국소 경계를 평면에 가깝게 만든다. $\Omega_R^*(x_0) = \mathbb{R}^d_- \cap \Omega_R(x_0)$를 영역 외부 반공간의 작은 부분이라 하자.

핵심 변환: $u_t I_{\Omega^*}$를 다음과 같이 다시 쓴다: $u_t I_{\Omega^*} = -D_t^{1/2}(\mathcal{H}(D_t^{1/2}u)I_{\Omega^*})$

이렇게 하면, 평탄 경계를 갖는 부분 영역 근처에서 방정식은 다음과 같이 변한다: $u_t - D_i(a_{ij}(t)D_ju) + \lambda u \approx D_t^{1/2}(\mathcal{H}(D_t^{1/2}u)I_{\Omega^*}) + D_ig_i + f$

$h=0$이더라도 우변에 반시간 미분 항이 나타난다.

3. 계층적 추정 전략

제1층: 기초 $L^2$ 가해성 (정리 3.1): Lax-Milgram 정리를 이용하여, 임의의 영역 (정칙성 요구 없음)과 계수 (타원성만 만족)에 대해 $L^2$ 추정을 확립한다: $\|D_t^{1/2}u\|_2 + \|Du\|_2 + \sqrt{\lambda}\|u\|_2 \leq N(\|h\|_2 + \|g_i\|_2 + \lambda^{-1/2}\|f\|_2)$

제2층: 특수 계수의 $L^p$ 이론 (명제 3.3): 가정 3.2를 만족하는 계수 (t, $x_1$ 또는 $(t,x_1)$에 의존)에 대해, $\mathbb{R} \times \mathbb{R}^d$에서 $L^p$ 추정을 확립한다.

제3층: 국소 추정 (보조정리 3.6): 원통형 영역 $\Pi_R = (0,R) \times \mathbb{R}^{d-1}$에서의 국소 추정: $\left(2^{-1}R^{-2}\int_{-R^2}^{R^2}\int_{\Pi_R} |D_t^{1/2}u|^p + |Du|^p + \lambda^{p/2}|u|^p dx dt\right)^{1/p} \leq N\sum_{j=0}^\infty 2^{-j/4}(\cdots)$

제4층: Reifenberg-flat 영역에서의 분해 (명제 4.2): $U = (Du, \sqrt{\lambda}u)$에 대해, 분해 $U = W + V$가 존재하며, 여기서:

• $W$: 제어 가능한 부분, $L^p$ 추정을 만족
• $V$: 정칙 부분, $L^{p_1}$ 추정을 만족 ($p_1 > p$)

핵심 추정 (경계 경우, 방정식 4.7-4.8): $(|W|^p)^{1/p}_{C_R(X_0)} \leq N\gamma_0^{1/\nu'}\sum_{j=0}^\infty 2^{-j/4}(|U|^\nu)^{1/\nu}_{C_{2^{j/2}R,R}(X_0)} + \cdots$

4. 수준 집합 방법

핵심 부등식 (방정식 5.9): $s > s_0$에 대해, $\omega(A(\kappa s)) \leq N\gamma^\beta \omega(B(s))$

여기서:

• $A(s) = \{|U| > s\}$
• $B(s)$는 극대함수 $M(I_Q|U|^{p_0})$, $SM(I_Q|U|^\nu)$ 등을 포함
• $\gamma$는 선택 가능한 작은 매개변수, $\gamma_0$는 계수 가정에서 나옴

"잉크 얼룩의 기어가기(crawling of ink spots)" 보조정리와 Hardy-Littlewood 극대함수 정리를 통해: $\|U\|_{L_p^p} = p\int_0^\infty \omega(A(s))s^{p-1}ds \leq I_1 + I_2$

여기서 $I_1$은 작은 원통체 위의 추정을 포함하고, $I_2$는 Hardy-Littlewood 극대함수 정리로 제어된다.

$\gamma$와 $\gamma_0$를 충분히 작게 선택하면 좌변 항을 흡수할 수 있다.

기술적 가정

가정 2.6 ($\gamma_0$):

1. 계수의 작은 BMO 조건 (방정식 2.6): $\frac{1}{|Q_r|}\int_{Q_r(X)} |a_{ij}(s,y) - \frac{1}{|B_r|}\int_{B_r(x)} a_{ij}(s,z)dz| dy ds \leq \gamma_0$
2. Reifenberg-flat 조건: 임의의 $(t,x) \in \mathbb{R} \times \partial\Omega$와 $r \in (0, R_0]$에 대해, 좌표계가 존재하여: $\{y_1 > 0\} \cap B_r(x) \subset \Omega_r(x) \subset \{y_1 > -2\gamma_0 r\} \cap B_r(x)$

주요 결과

정리 2.8 (주요 정리)

$p, q \in (1,\infty)$, $\omega_1 \in A_p(\mathbb{R}^d)$, $\omega_2 \in A_q(\mathbb{R})$, $[\omega_1]_{A_p} + [\omega_2]_{A_q} \leq K$라 하자. $\gamma_0 = \gamma_0(d,\delta,p,q,K)$와 $N = N(d,\delta,p,q,K)$가 존재하여, 가정 2.6 ($\gamma_0$) 하에서, 방정식 (2.7)과 공법선 미분 경계 조건을 만족하는 $u \in H_{p,q,\omega}^{1/2,1}(Q)$에 대해 다음이 성립한다:

$\|D_t^{1/2}u\|_{L_{p,q,\omega}(Q)} + \|Du\|_{L_{p,q,\omega}(Q)} + \sqrt{\lambda}\|u\|_{L_{p,q,\omega}(Q)}$$\leq N(\|h\|_{L_{p,q,\omega}(Q)} + \|g_i\|_{L_{p,q,\omega}(Q)} + \lambda^{-1/2}\|f\|_{L_{p,q,\omega}(Q)})$

$\lambda \geq \lambda_0$일 때 성립한다. $\lambda > \lambda_0$일 때 해가 존재하고 유일하다.

정리 2.9 (전통적 방정식)

반시간 미분을 포함하지 않는 전통적 방정식: $u_t - D_i(a_{ij}D_ju) + \lambda u = D_ig_i + f \quad \text{in } \Omega_T = (-\infty, T) \times \Omega$

동일한 가정 하에서 다음이 성립한다: $\|Du\|_{L_{p,q,\omega}(\Omega_T)} + \sqrt{\lambda}\|u\|_{L_{p,q,\omega}(\Omega_T)} \leq N(\|g_i\|_{L_{p,q,\omega}(\Omega_T)} + \lambda^{-1/2}\|f\|_{L_{p,q,\omega}(\Omega_T)})$

따름정리 2.10 (Cauchy 문제)

$(0,T) \times \Omega$에서의 초기값 문제, 초기값 $u(0,x) = 0$, $\lambda = 0$일 때: $\|Du\|_{L_{p,q,\omega}((0,T)\times\Omega)} + \|u\|_{L_{p,q,\omega}((0,T)\times\Omega)} \leq N(\|g_i\|_{L_{p,q,\omega}} + \|f\|_{L_{p,q,\omega}})$

증명 프레임워크

단계 1: 기초 가해성 (섹션 3)

• 정리 3.1: 정칙성 가정 없는 $L^2$ 가해성 (Lax-Milgram)
• 명제 3.3: 특수 계수 하의 $L^p$ 가해성
• 보조정리 3.6: 국소 추정 (반복 논증)
• 보조정리 3.7-3.12: 반공간 및 내부의 추정과 임의 차수 적분성

단계 2: Reifenberg-flat 영역에서의 추정 (섹션 4)

• 보조정리 4.1: 핵심 방정식 변환, 반시간 미분 도입
• 명제 4.2: $W+V$ 분해, 열 방정식의 특수 처리
• 명제 4.5: $D_t^{1/2}u$를 포함하는 추정

단계 3: 주요 정리의 증명 (섹션 5)

• 수준 집합 논증:
  • $A(s) = \{|U| > s\}$와 $B(s)$ 정의 (극대함수 포함)
  • $CR(X_0) \subset B(s)$가 $|QR(X_0) \cap A(\kappa s)| < \gamma|QR(X_0)|$를 함축함을 증명
  • "잉크 얼룩의 기어가기" 보조정리를 적용하여 $\omega(A(\kappa s)) \leq N\gamma^\beta\omega(B(s))$ 획득
• 범수 추정: $\|U\|_{L_p^p} = p\int_0^\infty \omega(A(s))s^{p-1}ds \leq I_1 + I_2$ 여기서 $I_1$은 작은 원통체 위의 추정을 포함하고, $I_2$는 Hardy-Littlewood 극대함수 정리를 통해 제어된다.
• 외삽 정리: $p=q$ 경우에서 일반 $p \neq q$로 일반화 (18의 외삽 정리 이용)

단계 4: 전통적 방정식 (정리 2.9 & 따름정리 2.10)

• 영함수 연장을 통해 $(−\infty,T)$ 문제를 $\mathbb{R}$에서의 문제로 변환
• 정리 2.8의 결과 활용
• 유일성: 보조정리 5.1을 통해 쌍대 논증 ($p \geq 2$)과 에너지 방법으로 증명

기술적 난제 및 혁신

난제 1: 시간 불규칙성

문제: 계수 $a_{ij}(t)$는 단지 가측이며, $t$에 대해 직접 미분할 수 없다.

해결:

• $u_t$를 직접 처리하지 않음
• 대신 $D_t^{1/2}u$ (반정수 차수 미분)를 추정
• $u_t I_{\Omega^*} = -D_t^{1/2}(\mathcal{H}(D_t^{1/2}u)I_{\Omega^*})$ 활용

난제 2: 경계 불규칙성

문제: Reifenberg-flat 영역은 단지 $\epsilon$-평면 근사 조건을 만족한다.

해결:

• 국소 좌표 변환으로 경계를 근사적으로 평탄하게 만듦
• "나쁜 집합" $\Omega^*$의 측도 제어 ($|\Omega^*| \leq N\gamma_0 R^d$)
• Hölder 부등식과 $\gamma_0$의 소성을 통해 오차항 흡수

난제 3: 가중 혼합 범수

문제: $L_{p,q,\omega}$ 공간이 $L_p$보다 복잡하다.

해결:

• $A_p$ 가중의 역 Hölder 부등식 활용 (방정식 5.1)
• 이중화(doubling) 성질을 통해 다양한 척도에서 가중 제어
• 외삽 정리로 $p=q$에서 $p \neq q$로 일반화

혁신점 요약

1. 반시간 미분의 첫 체계적 사용: 공법선 미분 문제에서의 혁신적 응용
2. 새로운 방정식 형태: $D_t^{1/2}h$ 항을 포함하는 방정식 연구
3. 정교한 분해 기법: $W+V$ 분해, $W$는 제어 가능, $V$는 정칙
4. 작은 매개변수 전략: $\gamma_0$와 $\gamma$를 충분히 작게 선택하여 흡수 실현

관련 연구

타원 방정식

• VMO 계수: Chiarenza-Frasca-Longo 9,10, Caffarelli-Peral 8의 특이 적분 기법
• Reifenberg-flat 영역: Byun-Wang 3,5,6의 수준 집합 논증과 "잉크 얼룩의 기어가기" 보조정리
• 공법선 미분 문제: Byun-Wang 6 (타원 경우), Dong-Kim 17 (고차 시스템)

포물선 방정식

• 특이 적분 방법: Bramanti-Cerutti 2
• 시간 가측 계수: Krylov 26의 최초 연구, sharp function과 Fefferman-Stein 정리 사용
• Dirichlet 문제: Dong-Kim 14,16의 내부 및 경계 추정
• 가중 이론: Dong-Kim 18, Choi-Kim 12

본 논문의 위치

• 최초 결과: 시간 가측 계수 + Reifenberg-flat 영역 + 공법선 미분 경계 조건
• 방법 혁신: 반시간 미분 기법이 핵심 돌파구
• 이론 완성: 포물선 방정식 $L_p$ 이론의 중요한 공백 채우기

결론 및 논의

주요 결론

1. 시간 가측 계수, Reifenberg-flat 영역에서의 공법선 미분 문제에 대한 완전한 $L_p$ 이론 확립
2. 반시간 미분이 시간 불규칙성 처리의 효과적 도구임을 입증
3. 가중 혼합 범수 추정이 최적성을 가짐 (알려진 타원 결과와 일치)

이론적 의의

• 포물선 방정식의 $L_p$ 이론 체계 완성
• 더 일반적인 포물선 경계값 문제에 새로운 방법 제공
• 반시간 미분 기법의 광범위한 응용 가능성

한계

1. 매개변수 제약: $\lambda \geq \lambda_0$ 필요 (지수 변환 $w = e^{-\lambda t}u$로 Cauchy 문제 해결)
2. 계수 조건: 공간 변수에서 작은 BMO 필요 (임의 VMO 불가)
3. 영역 제약: Reifenberg-flat 조건, 더 일반적인 Lipschitz 영역 미포함
4. 차원 의존: 상수가 차원 $d$에 의존

향후 방향

1. 일반화: 포물선 시스템으로 확장
2. 시간 가중: 더 일반적인 시간 가중 $\omega_2 \in A_q((0,T))$ 고려 (비고 2.11)
3. 비선형 문제: 준선형 방정식으로의 방법 적용 가능성
4. 최적 $\gamma_0$: $\gamma_0$의 정확한 의존성 규명
5. $\lambda_0 = 0$: $\lambda$의 하한 요구 제거 가능성

심층 평가

장점

1. 방법론의 혁신성 ★★★★★

• 돌파적 기법: 공법선 미분 문제에서의 반시간 미분 응용은 진정한 혁신으로, 오래 미해결이던 문제를 우아하게 해결
• 기술 깊이: 수준 집합, 극대함수, 가중 이론, 분수 미적분 등 다양한 고급 기법 결합
• 체계성: $L^2$에서 $L_p$로, 무가중에서 가중으로의 명확한 계층 구조

2. 이론적 완전성 ★★★★★

• 존재 및 유일성: 추정뿐 아니라 완전한 가해성 이론 제시
• 다양한 경계 조건: Dirichlet, Neumann, 혼합 경계 조건 포함
• 일반화: 반시간 미분 포함 방정식에서 전통적 방정식 결과 유도

3. 기술적 엄밀성 ★★★★★

• 증명 정교함: 42쪽의 상세 증명, 모든 기술 세부사항 명시
• 보조정리 완비: 주요 결과를 뒷받침하는 다수의 보조정리
• 경계 경우 처리: 내부, 경계, 혼합 등 다양한 경계 상황의 세심한 처리

4. 저술 품질 ★★★★☆

• 구조 명확성: 도입→주요 결과→보조 결과→경계 추정→주정리 증명
• 동기 명확: 제1절에서 반시간 미분 필요성을 명확히 설명
• 기호 규범: 기호 정의 완전 (제2절)

부족한 점

1. 기술적 복잡성

• 가독성: 비전문가에게는 어려움, 깊은 PDE 배경 필요
• 계산 번거로움: 많은 추정이 복잡한 부등식 연쇄 포함 (예: (4.11) 유도)
• 매개변수 선택: $\gamma_0, \gamma, p_0, p_1, \nu$ 등 다수 작은 매개변수의 선택 논리 이해 필요

2. 결과의 한계

• $\lambda$ 제약: $\lambda \geq \lambda_0 > 0$ 필요 (Cauchy 문제는 변환으로 해결하나)
• 계수 조건: 작은 BMO가 VMO보다 강함
• 상수 의존성: 상수의 매개변수 의존성 명시 부재

3. 응용 지도

• 구체적 예제: 가정 2.6 검증 방법의 구체적 예제 부재
• 수치 측면: 수치 실험이나 알고리즘 없음
• 물리적 배경: 실제 응용 시나리오 미논의

4. 기존 결과와의 비교

• 정량적 비교: 시간 연속 계수 경우와의 정량적 비교 부재
• 최적성: 추정의 sharp성 미논의

영향력 평가

영역에 대한 기여 ★★★★★

• 공백 해결: 포물선 방정식 $L_p$ 이론의 중요한 미해결 문제 해결
• 방법론: 반시간 미분 기법이 다른 문제 연구에 영감 제공 가능
• 인용 잠재력: 해당 분야의 중요 참고문헌이 될 것으로 예상

실용적 가치 ★★★☆☆

• 이론 중심: 주로 이론적 기여, 직접 응용 가치는 제한적
• 잠재적 응용: 유체역학, 열전도 등 불규칙 경계 문제에 활용 가능
• 수치 방법: 수치 방법의 이론적 기초 제공

재현 가능성 ★★★★☆

• 증명 완전성: 모든 증명 단계가 상세히 전개됨
• 인용 명확성: 사용된 알려진 결과에 대한 명확한 인용
• 기술 진입장벽: 전문 지식 필요로 검증 및 응용에 높은 진입장벽

적용 시나리오

1. 이론 연구:
   • 더 일반적인 포물선 경계값 문제 연구
   • 분수 차수 시간 미분 이론 발전
   • 비선형 또는 고차 방정식으로의 확장
2. 수치 해석:
   • 불규칙 영역에서의 수치 방법 오차 추정
   • 적응형 격자 알고리즘 지도
3. 응용 분야:
   • 비균질 매질의 열전도 (불규칙 계수)
   • 복잡 기하 경계의 유체 문제
   • 금융수학의 옵션 가격 결정 (불규칙 경계 조건)

후속 연구 제안

1. 단기:
   • Reifenberg-flat 영역의 구체적 예제 제시
   • $\lambda_0$의 정확한 값 규명
   • 포물선 시스템으로의 확장
2. 중기:
   • 수치 방법 개발
   • 구체적 물리 모델에의 응용
   • 비선형 일반화
3. 장기:
   • 분수 차수 시간 미분 이론의 일반화
   • 더 불규칙한 영역과 계수 처리
   • 확률적 PDE 이론으로의 확장

종합 평가

이것은 뛰어난 이론 연구로, 포물선 방정식 $L_p$ 이론의 중요한 미해결 문제를 해결한다. 반시간 미분 기법의 도입은 진정한 혁신으로, 시간 불규칙성과 경계 불규칙성의 결합이 야기하는 기술적 장애물을 우아하게 극복한다. 증명은 엄밀하고 완전하며, 이론 체계는 완성도 높다.

추천 지수: ★★★★★ (강력 추천)

적합 독자:

• 편미분방정식 이론 연구자
• 조화 해석 및 실해석 전문가
• 수치 해석 연구자 (이론 기초)

독서 제안:

1. 먼저 제1절의 동기 이해 (반시간 미분 필요성)
2. 보조정리 4.1 정교하게 연구 (핵심 기법)
3. 제5절의 수준 집합 논증 추적
4. 초학자는 $L^2$ 경우 (정리 3.1)와 무가중 경우부터 시작

참고문헌 (핵심 문헌)

6 S.-S. Byun and L. Wang, The conormal derivative problem for elliptic equations with BMO coefficients on Reifenberg flat domains, Proc. London Math. Soc. (2005) - 타원 경우의 선구적 연구

16 H. Dong and D. Kim, On the $L_p$-solvability of higher order parabolic and elliptic systems with BMO coefficients, Arch. Ration. Mech. Anal. (2011) - Dirichlet 문제의 중요 참고문헌

18 H. Dong and D. Kim, On $L_p$-estimates for elliptic and parabolic equations with $A_p$ weights, Trans. Amer. Math. Soc. (2018) - 가중 이론의 기초

24 P. Jung and D. Kim, $L_p$-estimates for parabolic equations in divergence form with a half-time derivative, J. Differential Equations (2025) - 반시간 미분 기법의 직접적 선행 연구

26 N. V. Krylov, Parabolic and elliptic equations with VMO coefficients, Comm. Partial Differential Equations (2007) - 시간 가측 계수의 획기적 연구