새로운 열린 집합 클래스의 콤팩트성 및 형태 최적화 적용

본 논문은 “거리‑확장 연결성”(CM)이라는 새로운 기하학적 성질을 만족하는 열린 집합들의 클래스를 정의하고, 이 클래스가 Hausdorff‑Pompeiu 거리 하에서 콤팩트함을 증명한다. 먼저 ℝ^k의 열린 연결 집합 Ω에 대해 두 점 x, y∈Ω를 잡고, d∗=min{dist(x,∂Ω),dist(y,∂Ω)}라 정의한다. M>1인 고정 상수 M에 대해, x와 y를 포함하고 모든 점 z∈K에 대해 B(z,M·d∗)⊂Ω인 연결 컴팩트 집합 K가 존재하면 Ω는 (CM) 성질을 가진다. 이 조건은 두 점 사이에 “두껍게” 연결된 경로가 존재함을 의미한다. 다음으로, 고정된 유계 영역 B*와 양의 실수 R을 잡아 B(x_Ω,R)⊂Ω⊂⊂B*이며 (CM) 성질을 만족하는 모든 열린 집합들의 모임을 C_{M,R}이라 정의한다. 여기서 B(x_Ω,R)⊂Ω는 비공허성을 보장하기 위한 보조 조건이다. 위상은 보완집합 B*\Ω에 대한 Hausdorff 거리 ρ(Ω₁,Ω₂)=δ(B*\Ω₁,B*\Ω₂) 로 정의한다. δ는 전통적인 Hausdorff 거리이며, 두 보완집합 사이의 최대 최소 거리로 측정한다. 주요 정리(Theorem 2.1)는 (C_{M,R},ρ) 가 완비이며, 특히 콤팩트 메트릭 공간이라는 것이다. 이를 증명하기 위해 다음과 같은 보조 결과들을 활용한다. 1. Lemma 2.1‑2.2: Hausdorff 수렴열의 극한은 누적점들의 집합이며, 컴팩트 집합들의 공간이 로컬 콤팩트임을 보인다. 2. Lemma 2.3: 포함 관계 A_n⊂\tilde A_n 가 Hausdorff 수렴하면 극한도 포함 관계를 유지한다. 3. Lemma 2.4 (Γ‑property): C_{M,R} 안의 수열이 Hausdorff‑한계 Ω₀를 갖는 경우, Ω₀ 안의 임의의 열린 부분 K는 충분히 큰 n에 대해 Ω_n에 포함된다. 4. Lemma 2.5‑2.6: 구의 중심과 반지름이 수렴하면 구 자체가 Hausdorff‑한계에 포함되고, 연결 컴팩트 집합들의 Hausdorff‑한계도 연결임을 보인다. 5. Lemma 2.7: 거리 함수 d(K)=dist(K,∂Ω) 가 Hausdorff 거리 하에서 연속임을 증명한다. 위 결과들을 조합해, 임의의 {Ω_m}⊂C_{M,R}에 대해 부분수열 {Ω_{m_k}}가 존재해 Hausdorff‑한계 Ω∈C_{M,R} 로 수렴함을 보인다. 증명 과정은 다음 네 단계로 나뉜다. (i) 비공허성: 각 Ω_m에 포함된 구 B(x_m,R) 가 수렴해 B(x₀,R)⊂Ω를 만든다. (ii) Ω가 실제 도메인임을 보이기 위해, Ω가 두 개 이상의 연결 성분을 가질 경우 모순을 유도한다. (iii) (CM) 성질이 극한에서도 유지됨을 보이기 위해, 두 점 x,y∈Ω에 대해 연결 컴팩트 집합 K_m을 구성하고, 그 극한 K₀가 연결이며 B(z,M·d∗)⊂Ω임을 증명한다. (iv) 위 네 단계가 모두 만족되면 Ω∈C_{M,R} 가 된다. 그 후, 이 콤팩트 클래스를 이용해 형태 최적화 문제를 설정한다. 고정된 유계 영역 B* 위에 매끄러운 대칭 양의 definite 행렬 A∈C¹(B*)와 f∈H^{-1}(B*)를 두고, Ω∈C_{M,R}에 대해 경계조건이 0인 타원형 방정식 -div(A∇u)=f 를 풀어 u_Ω∈H¹₀(Ω) 를 얻는다. u_Ω를 B* 전체에 0으로 연장한 u⁰_Ω∈H¹₀(B*) 로 간주하고, 목적함수 J(Ω)=∫_{B*}|u⁰_Ω−g|² dx (g∈L²(B*)) 를 최소화한다. C_{M,R} 의 콤팩트성으로부터 최소화 문제는 최소점이 존재함을 보인다. 구체적으로, {Ω_n}⊂C_{M,R}가 J(Ω_n)→inf J(Ω) 를 만족하면, 위의 콤팩트성에 의해 부분수열이 Ω*∈C_{M,R} 로 수렴하고, u_{Ω_n}→u_{Ω*} 강한 H¹‑수렴을 이용해 J(Ω_n)→J(Ω*) 가 된다. 따라서 (P) 문제는 최소해를 갖는다. 논문의 의의는 기존에 많이 사용된 “볼록 도메인”, “리프시츠 조건”, “용량 제약” 등과는 다른, (CM) 성질을 기반으로 한 보다 일반적인 열린 집합 클래스를 제시하고, 그 콤팩트성을 직접적인 Hausdorff 거리 분석을 통해 증명함으로써, 타원형 PDE 기반 형태 최적화 문제의 존재론적 근거를 새롭게 제공한다는 점이다. 또한, (CM) 성질이 γ‑수렴보다 강력한 연결성 보장을 제공함에도 불구하고, 일부 “거친” 혹은 “코너가 있는” 도메인도 포함할 수 있어 실제 응용에 유연성을 높인다.