[논문 리뷰] Mass-conserving solutions to coagulation-fragmentation equations with non-integrable fragment distribution function

Philippe Laurençot|arXiv (Cornell University)|2018. 04. 24.

Coagulation and Flocculation Studies참고 문헌 38인용 수 8

한 줄 요약

이 논문은 비적분 가능 분열 분포 함수를 가진 응집-분열 방정식에 대해 질량을 보존하는 약한 해의 존재성을 확립한다. 특히 분열 시 무한히 많은 조각이 생성되는 경우(예: bν(x,y) = (ν+2)x^ν/y^{ν+1}, ν ∈ (−2,−1])를 다룬다. 비적분 가능 분열을 다루기 위해 m > −1−ν 인 가중 L1 공간 X_{m} 를 사용하고, 응집 핵심 K 와 분열 속도 a 가 영역 근처에서 충분히 빨리 사라지는 조건 하에서 존재성을 증명한다. 주요 결과는 표준 L1 설정이 bν 의 특이성으로 인해 실패할 수 있는 상황에서도 질량을 보존하는 전역 약한 해 f ∈ C([0,∞); X_{m0},w ∩ X_1,w) 의 구성이다.

ABSTRACT

Existence of mass-conserving weak solutions to the coagulation-fragmentation equation is established when the fragmentation mechanism produces an infinite number of fragments after splitting. The coagulation kernel is assumed to increase at most linearly for large sizes and no assumption is made on the growth of the overall fragmentation rate for large sizes. However, they are both required to vanish for small sizes at a rate which is prescribed by the (non-integrable) singularity of the fragment distribution.

연구 동기 및 목표

• 비적분 가능 분포 함수 b 를 가진 응집-분열 방정식에 대해 질량을 보존하는 약한 해의 존재성을 확립하는 것. 특히 bν(x,y) = (ν+2)x^ν/y^{ν+1} (ν ∈ (−2,−1]) 와 같이 분열 시 무한히 많은 조각이 생성되는 경우를 다룬다.
• 표준 L1 이론이 bν 의 비적분 가능성으로 인해 실패하는 것을 극복하기 위해 가중 L1 공간 X_m = L1((0,∞), x^m dx) 를 도입하고, m > −1−ν 를 만족하도록 한다.
• 초기 자료 f_in ∈ X_{m0} ∩ X_1 이고 ∫ x ln(ln(x+5)) f_in(x) dx < ∞ 를 만족할 때, X_{m0} ∩ X_1 의 약한 위상에서 전역 약한 해의 존재성을 증명한다.
• bν 의 비적분 가능 특이성으로 인해 해의 존재성이 보장되지 않을 수 있는 상황에서, 응집 핵심 K 와 총 분열 속도 a 가 x→0 에서 충분히 빨리 사라져야 하며, 큰 크기에서는 임의의 성장 가능성을 허용한다.
• 만일 f_in ∈ X_m 이고 m > 1 이면, 모든 T > 0 에 대해 f ∈ L∞(0,T; X_m) 이 되도록 결과를 확장한다.

제안 방법

• 증명은 잘라내기 방법을 사용한다: 정규화된 응집-분열 방정식을 구성하고, 적절한 함수 공간에서 바나흐 고정점 정리에 의해 잘 정의됨을 증명한다.
• 가중 공간 X_{m0} 에서의 약한 컴actness 는 x^{m0}f_j 의 L1 노름에 대한 균일한 유계성과 시간에 대한 등속성에 기반하며, 시간 정규성 추정과 큰 크기에서의 감쇠 제어를 활용한다.
• 컴팩트니스는 X_{m0} 의 약한 위상에서 아르체라-아스coli 정리의 변형을 통해 유도되며, 대각선 수열 추론을 통해 극한 함수 f ∈ C([0,∞); X_{m0},w ∩ X_1,w) 를 추출한다.
• 극한 함수 f 는 잘라낸 방정식에서 극한을 취함으로써 원래 방정식의 약한 형태를 만족함을 보이며, 분열 항의 균일 적분 가능성과 무한대에서의 행동 제어를 활용한다.
• 질량 보존 증명은 X_1 에서의 약한 수렴과 총 질량 M_1(f_j(t)) 가 균일하게 유계이고 M_1(f_in) 으로 수렴한다는 사실에 기반한다.
• 유일성은 가중 함수 ξ(x) = max{x^{m0}, x^{1+δ}} 를 사용한 상대 엔트로피 유형의 접근과 그로워발의 부등식을 통한 미분 부등식의 해법을 통해 증명된다.

실험 결과

연구 질문

• RQ1 비적분 가능 분포 함수 b 를 가진 응집-분열 방정식에 대해 질량을 보존하는 약한 해가 존재할 수 있는가? 특히 bν(x,y) = (ν+2)x^ν/y^{ν+1} (ν ∈ (−2,−1]) 와 같이 분열 시 무한히 많은 조각이 생성되는 경우에 대해.
• RQ2 b 가 비적분 가능할 경우 적절한 함수 설정은 무엇이며, 표준 L1 프레임워크는 비적분 가능 b 를 제어하기 위해 가중 L1 공간 X_m 로 대체될 수 있는가?
• RQ3 b 가 비적분 가능 특이성을 가질 경우, 응집 핵심 K 와 총 분열 속도 a 는 영역 근처에서 어떻게 행동해야 해의 존재성을 보장할 수 있는가?
• RQ4 분열 과정에서 무한히 많은 조각이 생성되고 표준 적분 가능성 가정이 실패하는 상황에서도 질량을 보존하는 전역 약한 해를 구성하는 것이 가능한가?
• RQ5 동일한 조건 하에서 시간에 따라 고차원 모멘트가 유지되는가? 그리고 해가 모든 T > 0 에 대해 L∞(0,T; X_m) 에 속하기 위한 조건은 무엇인가? (m > 1)

주요 결과

• 논문은 f_in ∈ X_{m0} ∩ X_1 이고 ∫ x ln(ln(x+5)) f_in(x) dx < ∞ 를 만족할 경우, 비적분 가능 bν 를 가진 응집-분열 방정식에 대해 적어도 하나의 약한 해 f ∈ C([0,∞); X_{m0},w ∩ X_1,w) 가 존재함을 증명한다.
• 해 f 는 질량을 보존한다: 모든 t ≥ 0 에 대해 M_1(f(t)) = M_1(f_in) 이다. 이는 bν 의 비적분 가능성으로 인해 표준 L1 공간이 부적절할 수 있음에도 불구하고 성립한다.
• 만일 초기 자료 f_in ∈ X_m 이고 m > 1 이면, 모든 T > 0 에 대해 해 f 는 L∞(0,T; X_m) 에 속한다. 이는 고차원 모멘트의 유지됨을 나타낸다.
• 응집 핵심 K 와 분열 속도 a 는 x→0 에서 bν 의 특이성과 호환되는 속도로 사라져야 하며, 특히 K(x,y) ≤ K_0(2+x+y) 와 a(x) ≤ A_R x^{m_0 + ν + 1} 이고, m_0 > −1−ν 를 만족해야 한다.
• 유일성은 유한한 m_0 와 2+δ 모멘트를 가지는 함수의 클래스에서 증명되며, 가중 L1 추정과 ξ(x) = max{x^{m_0}, x^{1+δ}} 를 사용하고, 그로워발의 부등식을 적용한다.
• 증명은 ∫_T^0 ∫_R^∞ a(x)f_j(s,x) dx ds → 0 (R→∞ 일 때) 를 통해 분열 항의 무한대에서의 균일 제어에 의존하며, 이는 약한 형태에서 극한을 취하는 데에 유리하다.