동적 전자기 채널 용량의 제어 이론적 접근

본 논문은 전자기 파동 전파가 일어나는 파형 가이드, 공동 케이블, 공동 구멍 등 다양한 전자기 채널의 용량을 수학적으로 엄밀히 정의하고, 이를 최적 제어 문제로 전환하는 일련의 과정을 상세히 전개한다. 1. **서론 및 배경** 저자는 기존의 채널 용량 연구가 주로 정보 이론적 관점에 머물렀으며, 맥스웰 방정식에 기반한 물리적 제약을 직접 반영하지 못했다는 점을 지적한다. 따라서 전자기 방정식을 제어 시스템으로 모델링하고, 전력 제약을 2차 모멘트 제약으로 표현함으로써 용량을 최적화 문제로 재구성한다. 2. **기본 기호와 측정 이론** 측정 공간 (Ξ, F) 와 두 개의 정규 Borel 측정 µ, ν 를 도입하고, 절대 연속성 µ≺ν 와 라돈‑니코디므 도함수 g를 정의한다. 또한, Sobolev 공간 H^s(Ω,ℝ^m) 와 그 음수 차수 공간 H^{-s}(Ω,ℝ^m) 을 소개하고, Dirac 측정이 H^{-s} 에 속함을 언급한다. 이러한 기초는 이후 연산자 이론과 변분 해석을 위한 토대가 된다. 3. **채널 동역학 모델** (a) **전류·전하 입력 모델** - Ω⊂ℝ³ 를 파형 가이드 영역으로 두고, 전위 (a, ϕ) 와 라플라스 게이지를 이용해 맥스웰 방정식을 파동 방정식 형태(식 1‑2) 로 변환한다. - 상태 변수 y=(a, ϕ) 를 정의하고, 연산자 C와 경계 연산자 B를 통해 A를 정의한다. A는 비자기적(self‑adjoint)이며, −A는 양의 정의 연산자이다. - 에너지 공간 H = L²(Ω,ℝ⁴) 위에 상태 z=(y, ẏ) 를 두고, 시스템 연산자 A와 입력 연산자 B를 행렬 형태(식 4) 로 명시한다. - 입력 u=(i₁,i₂,i₃,ρ) 를 L²(Ω₀,ℝ⁴) 에 속하는 함수로 가정하고, admissible 입력 집합 U_ad ⊂ L²(I,U) 를 정의한다. - 스톤 정리에 의해 A는 유니터리 군 S(t)를 생성하고, 약해 해는 z(t)=S(t)z₀+∫₀^t S(t−s)Bu(s)ds 로 표현된다. 이로써 존재와 유일성이 정리 2.1 로 제시된다. (b) **디리클레 경계 입력 모델** - 전류·전하를 0 으로 두고, 전기장 E 가 비동질 파동 방정식(식 9) 을 만족하도록 설정한다. 초기 조건과 비동질 디리클레 경계 조건 u(t,ξ) 를 부여한다. - 두 가지 해법을 제시한다. 첫 번째는 반군 접근법으로, 연산자 L=⎡0 I; c²Δ 0⎤ 와 경계 연산자 B를 정의하고, 직접합 분해 W=W₁⊕W₂ 를 이용해 시스템을 Cauchy 형태(식 15‑17) 로 변환한다. 이때 Λ와 ℛ 를 통해 경계 입력을 내부 강제항으로 옮긴다. - 두 번째는 전이 원리(transposition) 방법으로, 연산자 L을 닫힌 연산자로 보고, Ψ={ψ∈L²(Q):Lψ∈L²(Q), ψ(T)=0, ψ|∂Ω=0} 를 정의한다. L은 Ψ와 L²(Q) 사이의 등거리 동형사상이며, 이를 이용해 약해 해의 존재·유일성을 정리 2.3 로 증명한다. 4. **용량 정의와 최적 제어 문제** - 입력 측정 μ∈U_ad 를 확률 측정으로 간주하고, 전력 제약 ∫‖u‖² dμ ≤ P 를 2차 모멘트 제약으로 표현한다. - 채널 용량 C는 C = sup_{μ∈U_ad} I(μ) 로 정의되며, 여기서 I(μ) 는 입력-출력 사이의 상호 정보량(Shannon)이다. - 라그랑주 승수 λ를 도입해 최적화 문제를 변분 형태로 전환하고, 최적성 조건을 연산자 방정식 A*ψ + λB*Bψ = 0 로 도출한다. 이는 최적 입력이 A와 B의 스펙트럼 구조에 의해 결정된다는 의미이다. 5. **최적성 정리와 존재성 증명** - 정리 4.1 (가정)에서는 μ가 제약을 만족할 때 용량이 최대가 되는 측정이 존재함을 보인다. 이는 볼록 최적화와 Banach‑Alaoglu 정리를 활용한 약한* 위상에서의 콤팩트성에 기반한다. - 정리 4.2 에서는 위의 라그랑주 방정식을 만족하는 ψ가 존재하면, 해당 ψ 로부터 최적 입력 u* = (1/λ)B*ψ 를 구성할 수 있음을 증명한다. 6. **수치 알고리즘 및 실용적 적용** - 최적 입력을 구하기 위한 반복적 변분 알고리즘(예: 경사 하강법, 사다리식 근사)을 제안하고, 연산자 A와 B의 행렬 근사(유한 차원 Galerkin 방법)를 통해 실제 파형 가이드에 적용 가능한 시뮬레이션 프레임워크를 제시한다. - 전력 제약을 만족하도록 입력 파형을 정규화하고, 최적 전류·전하 분포 혹은 경계 전압 파형을 실제 전자기 장비에 매핑하는 방법을 논의한다. 7. **결론** - 전자기 파동 방정식을 제어 이론적 관점에서 다루어 채널 용량을 물리적 제약과 함께 엄밀히 정의하였다. - 존재론적 결과와 최적성 조건을 통해 최적 입력이 존재함을 보였으며, 이는 기존 정보 이론과 전자기학 사이의 연결 고리를 제공한다. - 향후 연구에서는 비선형 매질, 시간 변동 경계, 그리고 잡음 모델을 포함한 확장 모델링과 고차원 수치 구현이 기대된다.