강건한 해를 위한 퍼지 선형 시스템의 일반화 존재·유일성 정리

본 논문은 계수 행렬이 크리스프(정수)이고 우변이 퍼지 수인 퍼지 선형 시스템(FLS)의 강건한 해(strong solution)에 관한 기존 이론의 한계를 지적하고, 이를 일반화한 새로운 존재·유일성 정리를 제시한다. 1. **배경 및 기존 연구** 퍼지 선형 시스템은 경제, 통신, 이미지 처리 등 다양한 분야에서 등장한다. 기존 연구(Friedman et al., 1998; 2000)는 퍼지 시스템을 2n×2n 실수 행렬 S로 변환한 뒤, S가 비특이이면 강건한 해가 존재한다는 조건을 제시했다. 그러나 이 조건은 S가 비특이하기 위해서는 원래 계수 행렬 A가 “순열 행렬 × 대각 행렬” 형태, 즉 각 방정식에 정확히 하나의 변수만 포함해야 함을 의미한다. 따라서 실제 응용에서 적용 가능한 경우가 매우 제한적이다. 2. **수학적 준비** 퍼지 수를 파라메트릭 형태(u⁻(r), u⁺(r))로 정의하고, 덧셈·스칼라 곱 등 기본 연산을 소개한다. 퍼지 선형 시스템은 A·x = b 형태이며, 여기서 b는 퍼지 수 벡터이다. 행렬 A를 양의 원소만 모은 B와 음의 원소 절대값을 모은 C로 분해한다(B와 C는 비음수 행렬). 이때 A = B C⁻ - C B⁺ 로 표현된다. 3. **기존 정리 재검토** Friedman et al.의 정리 1에 따르면 S가 비특이하려면 A와 B C⁺ 두 행렬이 모두 비특이어야 한다. 그러나 예시를 통해 S가 비특이하더라도 강건한 해가 존재하지 않을 수 있음을 보인다. 이는 해 x의 하한과 상한이 퍼지 수 정의를 만족하지 못하기 때문이다. 4. **새로운 존재·유일성 정리** - **Theorem 2**: BC S CB가 비특이이면, 강건한 해가 존재하기 위한 필요·충분 조건은 (B C)·b ≥ 0, 즉 행렬 BC와 우변 b의 곱이 비음수 벡터가 되는 것이다. 증명은 B·C·x = B·b와 C·B·x = C·b 두 식을 이용해 x의 하한·상한 관계를 도출하고, 정의 8에 따라 강건한 해 조건을 만족시키는지를 확인한다. - **Theorem 3**: FLS 전체에 대한 조건을 두 단계로 요약한다. (1) A와 B C⁺가 모두 비특이이어야 한다(기존 정리와 동일). (2) (B C)·b ≥ 0이라는 부등식이 만족되어야 한다. 이 두 조건이 동시에 충족될 때, 시스템은 유일한 강건한 해를 가진다. 5. **특수 경우와 Corollary** BC⁻와 BC⁺가 비음수 행렬이면 BC 자체가 비음수 행렬이 된다. 이 경우 BC⁻+가 비음수이면 임의의 b에 대해서도 강건한 해가 존재한다는 corollary를 제시한다. 그러나 행렬과 그 역행렬이 모두 비음수인 경우는 ‘일반화 순열 행렬(모노미얼 행렬)’에 한정되며, 이는 기존 정리가 적용되는 매우 제한된 상황임을 강조한다. 6. **예시** 2×2 시스템을 통해 A가 비특이이지만 S가 특이하지 않을 수 있음을 보이고, (B C)·b ≥ 0이 만족될 때만 강건한 해가 존재함을 확인한다. 구체적으로 b₁·b₂ 사이의 부등식이 성립해야 함을 보여준다. 7. **결론** 기존의 강건한 해 존재·유일성 조건이 우변에 독립적이어서 적용 범위가 좁았던 문제를 해결하였다. 새로운 정리는 행렬 A와 우변 b 모두를 고려함으로써 보다 일반적인 퍼지 선형 시스템에 적용 가능하며, 기존 정리는 이 새로운 정리의 특수 경우로 포함된다. 이는 퍼지 시스템 해석 및 응용 분야에서 보다 폭넓은 모델링과 해석을 가능하게 한다.