[논문 리뷰] Global well-posedness for the semilinear wave equation with time dependent damping in the overdamping case

Masahiro Ikeda, Yuta Wakasugi|arXiv (Cornell University)|2017. 08. 26.

Advanced Mathematical Physics Problems참고 문헌 43인용 수 19

한 줄 요약

이 논문은 시간에 의존하는 감쇠를 가진 비선형 파동 방정식에 대해 과감쇠 영역에서 전역 적으로 잘 정의된 해가 존재함을 확립한다. 여기서 과감쇠 조건은 감쇠의 역수 적분이 유한하다는 것을 의미한다. 방정식을 변환하고 과감쇠 조건을 활용하여 해의 L² 노름을 균일하게 유 bounds함으로써, 에너지-하위임계의 경우(1 ≤ p < p₁)에서 소규모 초기값에 대해 전역 존재성을 증명한다. 이는 비-과감쇠 영역에서 관찰된 소규모 초기값의 폭발과는 뚜렷한 대비를 이룬다.

ABSTRACT

We study global existence of solutions to the Cauchy problem for the wave equation with time-dependent damping and a power nonlinearity in the overdamping case. We prove the global well-posedness for small data in the energy space for the whole energy-subcritical case. This result implies that small data blow-up does not occur in the overdamping case, different from the other cases, i.e. effective or non-effective damping.

연구 동기 및 목표

• 시간에 의존하는 감쇠를 가진 비선형 파동 방정식의 과감쇠 영역에서 전역 존재 문제를 해결한다. 여기서 b(t)⁻¹ ∈ L¹(0, ∞)이다.
• 에너지-하위임계 영역(1 ≤ p < p₁)에서 소규모 초기값에 대해 에너지 공간 H¹(Rᵈ) × L²(Rᵈ)에서 전역 적으로 잘 정의된 해를 확립한다.
• 비-과감쇠 영역(b(t)⁻¹ ∉ L¹(0, ∞))에서 관찰된 소규모 초기값 폭발과는 달리, 과감쇠 영역에서는 소규모 초기값 폭발이 발생하지 않음을 보여준다.
• 적절한 특이성 가정 하에, p > p₁일 경우 또는 대규모 비선형성에 대해 국소 약한 해의 존재하지 않음을 증명한다.
• 예를 들어 N(z) = −|z|ᵖ⁻¹z와 같은 비집중(non-focusing) 조건 하에서 소규모 초기값 가정을 제거할 수 있음을 보여준다.

제안 방법

• 변수변환 v(t,x) = exp(½∫₀ᵗ b(s)ds) u(t,x)를 통해 원래의 감쇠 파동 방정식을 제1차 시간 도함수를 포함하지 않는 새로운 비선형 파동 방정식으로 변환한다.
• 과감쇠 조건(b(t)⁻¹ ∈ L¹(0,∞))을 이용하여 국소 해의 L² 노름에 대해 균일한 유계성을 도출하며, 이는 해의 전역 연장에 핵심적이다.
• H¹ × L²에서 에너지-하위임계 비선형 파동 방정식의 국소 적으로 잘 정의된 해 이론을 적용하며, Strichartz 추정과 보간 이론에 의존한다.
• 컴act 지지 집합을 가진 테스트 함수와 동차성을 활용하여 해의 L² 노름에 하한을 도출하고, 폭발 기준을 유도한다.
• |x|⁻ᵏφₗ(x)를 포함하는 적분에 대한 추정을 이용한 모순 추론을 통해, p > p₁ 또는 대규모 초기값일 경우 국소 해의 존재하지 않음을 증명한다.
• 해의 L² 노름이 유한 시간 내에 발산해야 한다는 것을 보여주는 방식으로 폭발 기준을 확립한다.

실험 결과

연구 질문

• RQ1 시간에 의존하는 감쇠를 가진 비선형 파동 방정식이 과감쇠 영역(b(t)⁻¹ ∈ L¹(0,∞))에서 소규모 초기값이 에너지-하위임계 영역일 경우 전역 존재성이 성립하는가?
• RQ2 과감쇠 조건(b(t)⁻¹ ∈ L¹(0,∞))은 비-과감쇠 영역과는 달리 소규모 초기값 폭발을 방지하는가?
• RQ3 비집중 비선형성 조건(N(z) = −|z|ᵖ⁻¹z 등) 하에서 소규모 초기값 가정을 제거할 수 있는가?
• RQ4 비선형성이 에너지-초임계(p > p₁)이거나 초기값이 크고 원점에서 특이성을 가질 경우 해는 어떻게 되는가?
• RQ5 특정 유형의 초기값과 비선형성에 대해 초임계 영역에서 국소 약한 해의 존재하지 않음을 증명할 수 있는가?

주요 결과

• 과감쇠 조건 b(t)⁻¹ ∈ L¹(0,∞) 하에서 소규모 초기값 (u₀, u₁) ∈ H¹(Rᵈ) × L²(Rᵈ)에 대해 에너지-하위임계 영역(1 ≤ p < p₁)에서 전역 적으로 잘 정의된 해가 존재한다.
• 과감쇠 조건을 활용하여 국소 해의 균일한 L² 노름 유계성을 도출함으로써 해의 전역 연장이 가능하다.
• 비-과감쇠 영역(b(t)⁻¹ ∉ L¹(0,∞))에서 관찰된 소규모 초기값 폭발은 과감쇠 영역에서는 발생하지 않는다.
• 비집중 비선형성 N(z) = −|z|ᵖ⁻¹z의 경우 소규모 초기값 가정을 제거할 수 있으며, H¹ × L²에 속하는 모든 초기값에 대해 전역 존재성이 성립한다.
• 집중 비선형성 N(z) = ±|z|ᵖ, p ∈ (1, p₁]일 경우, 원점에서 특이성을 가진 대규모 초기값은 유한 시간 내에 폭발하며, 수명 T₊는 T₊ ≤ C∗₂ λ⁻¹/(p+1)/(p−1)−k (λ > λ₀)를 만족한다.
• b(t)에 대한 적절한 조건 하에서, 초기값이 원점에서 특이성을 가진다 하더라도 p > p₁인 비선형성에 대해 국소 약한 해는 존재하지 않는다.