[논문 리뷰] Energy decay for solutions of the wave equation with general memory boundary conditions

Pierre Cornilleau, Serge Nicaise|arXiv (Cornell University)|2009. 02. 11.

Stability and Controllability of Differential Equations참고 문헌 14인용 수 5

한 줄 요약

이 논문은 경계의 일부에서 딜리클레 조건과 나머지 부분에서 일반적인 기억-지연 경계 조건을 갖는 파동 방정식에 대해 지수적 에너지 감쇠를 확립한다. 승수 방법과 적분 부등식을 사용하여, 측도 $\mu$ 에 대한 약한 조건 — 구체적으로 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ for some $\alpha > 0$ — 하에 지수적 안정성을 증명한다. 이는 기억 및 지연 감쇠에 관한 이전 결과들을 일반화하고 확장한다.

ABSTRACT

We consider the wave equation in a smooth domain subject to Dirichlet boundary conditions on one part of the boundary and dissipative boundary conditions of memory-delay type on the remainder part of the boundary, where a general borelian measure is involved. Under quite weak assumptions on this measure, using the multiplier method and a standard integral inequality we show the exponential stability of the system. Some examples of measures satisfying our hypotheses are given, recovering and extending some of the results from the literature.

연구 동기 및 목표

• 혼합 딜리클레 및 기억-지연 경계 조건을 갖는 파동 방정식에 대해 지수적 안정성을 확립하기.
• 경계 감쇠 항에 일반적인 보렐 측도 $\mu$ 를 允허함으로써 기존 감쇠 결과를 일반화하기.
• 감쇠 커널에 대한 가정을 약화시켜, 미분 가능성 또는 지수적 감쇠 요구 조건을 제거하기.
• 문헌에 존재하는 기억 유형 및 지연 유형 감쇠 모델의 결과들을 통합하고 확장하기.

제안 방법

• 파라미터 $\operatorname{div}(m)$ 와 $\nabla m^s$ 의 최소 고유값을 포함하는 기하학적 조건을 만족하는 벡터장 $m$ 을 사용한 승수 방법.
• 리아푸노프 유형 에너지 함수를 정의하고, 그 시간 도함수를 유도하여 감쇠를 분석한다.
• 기억 항 $\int_0^t u'(t-s) d\mu(s)$ 를 제어하기 위해 표준 적분 부등식을 적용한다.
• 지수적 감쇠를 보장하기 위해 핵심 조건인 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ for some $\alpha > 0$ 를 도입한다.
• 피부니의 정리와 측도 이론적 추정을 사용하여 에너지 감쇠 속도를 유계화한다.
• 관측 가능성과 에너지 제어를 보장하기 위해 $c(m) > 0$ 인 $\mathcal{C}^1$ 벡터장 $m$ 의 존재를 기반으로 한다.

실험 결과

연구 질문

• RQ1 기본 측도 $\mu$ 에 어떤 조건이 성립할 경우, 기억-지연 감쇠를 갖는 파동 방정식이 지수적 에너지 감쇠를 보일 수 있는가?
• RQ2 지수적 안정성 결과를 미분 가능성 또는 커널의 감쇠를 요구하지 않는 일반 보렐 측도에 대해 확장할 수 있는가?
• RQ3 제안된 조건 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ 는 문헌에서의 이전 가정과 어떻게 비교되는가?
• RQ4 이 틀은 기억 유형 및 지연 유형 감쇠 모델의 결과들을 통합할 수 있는가?

주요 결과

• 지수적 에너지 감쇠는 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ for some $\alpha > 0$ 의 조건 하에 확립되며, 이는 이전 가정보다 더 약한 조건이다.
• 연속적 커널 $d\mu(s) = k(s)ds$ 와 이산 측도 $\mu = \sum \mu_i \delta_{\tau_i}$ 를 포함한 지연 모델 $\mu = \mu_1 \delta_\tau$ 에도 적용 가능하다.
• 메모리 커널 $k(s)$ 의 미분 가능성이나 균일한 지수 감쇠 요구 조건이 필요 없어, [1, 3, 5, 9]의 결과를 확장한다.
• 이 틀은 지연 유형 감쇠에 대해 [10, 11, 12]의 지수적 안정성 결과를 복원하고 일반화한다.
• 콤팩트 지지 측도의 경우, $\inf_{\partial\Omega_N} m\cdot\nu > 0$ 이 성립하면 지지 조건 없이도 지수적 감쇠를 확보할 수 있다.
• 증명 기법은 메모리, 지연, 그리고 $d\mu(s) = k(s)\chi_{[\tau_1,\tau_2]}(s)ds$ 와 같은 중간 케이스에 대해 균일하게 적용 가능하며, 강인하다.