[논문 리뷰] Asymptotic analysis of vibrating system containing stiff-heavy and flexible-light parts

Natalia Babych, Yuriy Golovaty|ArXiv.org|2007. 12. 05.

Advanced Mathematical Modeling in Engineering참고 문헌 15인용 수 4

한 줄 요약

이 논문은 강성과 밀도 비가 극적으로 대비되는 1차원 진동 시스템에서 고유값과 고유함수의 점근적 행동을 분석한다. 여기서 강성 비와 밀도 비는 각각 ε과 ε⁻¹ 비율로 척도가 조정된다. 원래 문제는 매개변수에 의존하는 가중치 공간에서 자기수반임에도 불구하고, 극한 연산자는 자기수반적이 아니며 조르당 블록을 지닌다. 이는 고유값 분기와 표준 L² 공간에서의 완전성 상실을 초래한다. 주요 기여는 고유값과 고유함수에 대한 완전한 점근 전개를 엄밀히 구성한 것으로, 밀접하게 간격이 맞춰진 고유값이 이중 고유값으로 수렴하고, 이에 관련된 루트 공간이 극한 연산자의 일반화된 고유공간을 근사함을 보여준다.

ABSTRACT

A model of strongly inhomogeneous medium with simultaneous perturbation of rigidity and mass density is studied. The medium has strongly contrasting physical characteristics in two parts with the ratio of rigidities being proportional to a small parameter $ε$. Additionally, the ratio of mass densities is of order $ε^{-1}$. We investigate the asymptotic behaviour of spectrum and eigensubspaces as $ε o 0$. Complete asymptotic expansions of eigenvalues and eigenfunctions are constructed and justified. We show that the limit operator is nonself-adjoint in general and possesses two-dimensional Jordan cells in spite of the singular perturbed problem is associated with a self-adjoint operator in appropriated Hilbert space $L_ε$. This may happen if the metric in which the problem is self-adjoint depends on small parameter $ε$ in a singular way. In particular, it leads to a loss of completeness for the eigenfunction collection. We describe how root spaces of the limit operator approximate eigenspaces of the perturbed operator.

연구 동기 및 목표

• 강성과 질량 밀도에 동시에 심한 섭동이 발생하는 1차원 진동 시스템의 스펙트럼 점근적 행동을 연구한다.
• 작은 매개변수 ε → 0일 때 고유값과 고유함수의 행동을 분석하며, 특히 강성 비율이 ε이고 밀도 비율이 ε⁻¹인 임계 경우를 다룬다.
• 원래 문제는 ε에 의존하는 힐버트 공간에서 자기수반임에도 불구하고 극한 연산자가 조르당 블록을 지닌 비자기수반임을 보여주는 명백한 역설을 해결한다.
• 편미분 문제에서의 고유함수 분기와 극한 비자기수반 연산자의 루트 공간 구조 사이의 연결 고리를 설정한다.
• 고유값과 고유함수에 대한 완전한 점근 전개를 정당화하고, 고유함수 평면이 극한 연산자의 루트 부분공간으로 수렴하는 것을 보여준다.

제안 방법

• 강성-중량성 부분(a,0)과 유연성-경량성 부분(0,b)으로 나누어진 영역에서 스펙트럼 문제를 수립한다. 여기서 (a,0)에서는 작은 강성과 큰 밀도를, (0,b)에서는 큰 강성과 작은 밀도를 가진다.
• 각 ε > 0에 대해 자기수반이 되는 가중치 L² 공간 Lε를 정의한다.
• 비스킷-류스테르니크 방법을 적용하여 ε^{1/2}의 거듭제곱으로 된 고유값과 고유함수의 형식적 점근 전개를 구성한다.
• 가짜모드(quasimodes)를 도입하여, 극한에서 이중 고유값에서 두 개의 밀접한 고유값이 분기함을 검증한다.
• 직교 투영과 수렴 분석을 사용하여, 편미분 문제에서 두 고유함수에 의해 생성된 평면이 극한 연산자의 루트 부분공간으로 수렴함을 보인다.
• 고유함수는 동일한 극한 고유함수 U로 수렴하지만, 그 차이를 ε^{-1/2}로 스케일링한 것은 관련 벡터(연결된 함수) γU∗로 수렴하며, 이는 극한 연산자의 연결된 함수임을 증명함으로써 루트 공간의 구조를 확립한다.

실험 결과

연구 질문

• RQ1 작은 매개변수 ε에 따라 메트릭이 특이하게 의존할 때, 자기수반 문제의 극한 연산자가 어떻게 비자기수반이 되는가?
• RQ2 강성과 밀도 섭동이 서로 반비례하는 임계 경우(k1/k2 = ε, r1/r2 = ε⁻¹)에서 고유값은 어떻게 분기하는가?
• RQ3 ε → 0일 때 이와 같은 심한 섭동이 가해진 진동 시스템에서 고유함수와 고유값의 점근적 구조는 어떠한가?
• RQ4 ε에 의존하는 Lε 공간에서 정규직교성을 유지하고 있음에도 불구하고, 왜 고유함수의 완전성이 표준 L² 공간에서 실패하는가?
• RQ5 편미분 문제에서의 고유함수 평면은 어떻게 극한 비자기수반 연산자의 루트 부분공간으로 수렴하는가?

주요 결과

• 원래 문제는 ε에 의존하는 힐버트 공간 Lε에서 자기수반임에도 불구하고, 극한 연산자는 비자기수반이며 2차원 조르당 셀을 지닌다.
• 고유값 λ⁻_ε 와 λ⁺_ε 는 이중 고유값 µj 에서 점근 전개 λ±_ε / ε = µj ± √ε ω + ε ν±₂ + ⋯ + ε^{n/2} ν±_n + O(ε^{(n+1)/2}) 로 분기한다.
• 고유함수 uε,j 와 uε,j+1 는 동일한 극한 고유함수 U 로 수렴하지만, 그 차이를 ε^{-1/2}로 스케일링한 것은 관련 벡터 γU∗ 로 수렴하며, 이는 극한 연산자의 연결된 함수이다.
• uε,j 와 uε,j+1 가 생성하는 평면 π(ε) 는 노름에서 이중 고유값 µj 에 대응하는 루트 부분공간 π 로 수렴하며, ε → 0 일 때 ∥Pπ(ε) − Pπ∥ → 0 이다.
• 점근 전개의 나머지 항은 고유값의 경우 O(ε^{(n+1)/2}) 의 주기이며, 고유함수 오차의 H¹-노름의 경우도 O(ε^{(n+1)/2}) 의 주기이다.
• 고유함수 집합은 L²(a,b)에서 완전성이 상실되지만, 극한 비자기수반 연산자에 대해 고유함수와 그 연결된 벡터를 통해 일반화된 의미에서 완전성이 유지된다.