We look for travelling wave fields $$ E(x,y,z,t)= U(x,y) \cos(kz+Ït)+ \widetilde U(x,y)\sin(kz+Ït),\quad (x,y,z)\in\mathbb{R}^3,\, t\in\mathbb{R}, $$ satisfying Maxwell's equations in a nonlinear and cylindrically symmetric medium. We obtain a sequence of solutions with diverging energy that is different from that obtained by McLeod, Stuart, and Troy. In addition, we consider a more general nonlinearity, controlled by an \textit{N}-function.
논문 ID : 2406.01433제목 : Travelling waves for Maxwell's equations in nonlinear and symmetric media저자 : Jarosław Mederski, Jacopo Schino분류 : math.AP (수학 해석)발표 시간 : 2025년 10월 17일논문 링크 : https://arxiv.org/abs/2406.01433 본 논문은 비선형 원통 대칭 매질에서 맥스웰 방정식을 만족하는 진행파 장을 연구합니다:
E ( x , y , z , t ) = U ( x , y ) cos ( k z + ω t ) + U ~ ( x , y ) sin ( k z + ω t ) , ( x , y , z ) ∈ R 3 , t ∈ R E(x,y,z,t) = U(x,y)\cos(kz+\omega t) + \tilde{U}(x,y)\sin(kz+\omega t), \quad (x,y,z) \in \mathbb{R}^3, t \in \mathbb{R} E ( x , y , z , t ) = U ( x , y ) cos ( k z + ω t ) + U ~ ( x , y ) sin ( k z + ω t ) , ( x , y , z ) ∈ R 3 , t ∈ R
핵심 문제 : 비선형 유전 및 원통 대칭 매질에서 전파하는 자기속박 광빔을 찾기. 맥스웰 방정식과 전기장 및 전기변위장 사이의 비선형 구성 관계를 통해 결합됩니다.물리적 의의 : 비선형 광학 재료 모델링에서 원통 대칭성을 가진 해를 찾는 것은 자연스럽습니다. 물리 문헌은 일반적으로 횡전기장 모드(TE 모드) 또는 횡자기장 모드(TM 모드)를 고려합니다.수학적 과제 : TM 모드를 연구할 때, 비선형 광학 매질의 구성 관계 형태로 인해 이러한 횡자기장 모드를 제어하는 방정식이 TE 모드보다 더 복잡합니다.McLeod, Stuart 및 Troy의 작업은 주로 TE 모드에 중점을 두고 ODE 방법을 사용합니다 기존 연구는 주로 점근적 상수 자화율 χ의 경우(포화 효과)에 초점을 맞춥니다 가장 일반적인 Kerr 비선형성 χ ( ⟨ ∣ E ∣ 2 ⟩ ) E = χ ( 3 ) ⟨ ∣ E ∣ 2 ⟩ E \chi(\langle|E|^2\rangle)E = \chi^{(3)}\langle|E|^2\rangle E χ (⟨ ∣ E ∣ 2 ⟩) E = χ ( 3 ) ⟨ ∣ E ∣ 2 ⟩ E 본 논문은 형식 (1.1)의 무한히 많은 전기장 E를 찾는 것을 목표로 합니다. 이러한 장은 발산이 없을 필요가 없으므로 TE 모드와 다릅니다. 본 논문은 변분 방법을 채택하여 r에 따라 달라지는 유전 상수를 허용하며, U는 형식 (1.2)를 가질 필요가 없습니다.
새로운 해의 수열 : 발산하는 에너지를 가진 TM 모드 해의 수열을 얻었으며, 이는 이전의 McLeod, Stuart 및 Troy가 얻은 TE 모드 해와 다릅니다더욱 일반적인 비선형성 : N-함수에 의해 제어되는 일반적인 비선형성을 처리했으며, Kerr 비선형성을 포함하지만 이에 국한되지 않습니다변분 방법 : 강한 부정성 문제를 처리하는 변분 프레임워크를 개발했으며, 연산자 L의 무한 차원 핵 공간으로 인한 어려움을 극복했습니다대칭성 분석 : 원통 대칭성을 활용하여 TE 모드를 배제하고 진정한 TM 모드 해를 보장합니다에너지 유한성 : x₃ 축의 단위 구간에서 전자기 총 에너지의 유한성을 증명했습니다비선형 타원 문제의 약한 해를 찾기:
L ( U U ~ ) − ω 2 ϵ ( x , y ) ( U U ~ ) = ω 2 χ ( 1 2 ( ∣ U ∣ 2 + ∣ U ~ ∣ 2 ) ) ( U U ~ ) L\begin{pmatrix} U \\ \tilde{U} \end{pmatrix} - \omega^2\epsilon(x,y)\begin{pmatrix} U \\ \tilde{U} \end{pmatrix} = \omega^2\chi\left(\frac{1}{2}(|U|^2 + |\tilde{U}|^2)\right)\begin{pmatrix} U \\ \tilde{U} \end{pmatrix} L ( U U ~ ) − ω 2 ϵ ( x , y ) ( U U ~ ) = ω 2 χ ( 2 1 ( ∣ U ∣ 2 + ∣ U ~ ∣ 2 ) ) ( U U ~ )
여기서 L은 2차 미분 연산자입니다:
L = ( − ∂ y y + k 2 ∂ x y 0 0 0 k ∂ x ∂ x y − ∂ x x + k 2 0 0 0 k ∂ y 0 0 − ∂ x x − ∂ y y k ∂ x k ∂ y 0 0 0 − k ∂ x − ∂ y y + k 2 ∂ x y 0 0 0 − k ∂ y ∂ x y − ∂ x x + k 2 0 − k ∂ x − k ∂ y 0 0 0 − ∂ x x − ∂ y y ) L = \begin{pmatrix}
-\partial_{yy} + k^2 & \partial_{xy} & 0 & 0 & 0 & k\partial_x \\
\partial_{xy} & -\partial_{xx} + k^2 & 0 & 0 & 0 & k\partial_y \\
0 & 0 & -\partial_{xx} - \partial_{yy} & k\partial_x & k\partial_y & 0 \\
0 & 0 & -k\partial_x & -\partial_{yy} + k^2 & \partial_{xy} & 0 \\
0 & 0 & -k\partial_y & \partial_{xy} & -\partial_{xx} + k^2 & 0 \\
-k\partial_x & -k\partial_y & 0 & 0 & 0 & -\partial_{xx} - \partial_{yy}
\end{pmatrix} L = − ∂ yy + k 2 ∂ x y 0 0 0 − k ∂ x ∂ x y − ∂ xx + k 2 0 0 0 − k ∂ y 0 0 − ∂ xx − ∂ yy − k ∂ x − k ∂ y 0 0 0 k ∂ x − ∂ yy + k 2 ∂ x y 0 0 0 k ∂ y ∂ x y − ∂ xx + k 2 0 k ∂ x k ∂ y 0 0 0 − ∂ xx − ∂ yy
공간 V와 W를 정의합니다:
V = { u ∈ H 1 ( R 2 ) 6 : ⟨ u , ∇ ∘ ( α , α ~ ) ⟩ 2 = 0 for any α , α ~ ∈ C 0 ∞ ( R 2 ) } V = \{u \in H^1(\mathbb{R}^2)^6 : \langle u, \stackrel{\circ}{\nabla}(\alpha, \tilde{\alpha}) \rangle_2 = 0 \text{ for any } \alpha, \tilde{\alpha} \in C_0^{\infty}(\mathbb{R}^2)\} V = { u ∈ H 1 ( R 2 ) 6 : ⟨ u , ∇ ∘ ( α , α ~ ) ⟩ 2 = 0 for any α , α ~ ∈ C 0 ∞ ( R 2 )} W W W w = ∇ ∘ ( ϕ , ϕ ~ ) w = \stackrel{\circ}{\nabla}(\phi, \tilde{\phi}) w = ∇ ∘ ( ϕ , ϕ ~ ) ∥ w ∥ = ( ∣ w ∣ 2 2 + ∣ w ∣ Φ 2 ) 1 / 2 \|w\| = (|w|_2^2 + |w|_\Phi^2)^{1/2} ∥ w ∥ = ( ∣ w ∣ 2 2 + ∣ w ∣ Φ 2 ) 1/2 X = V ⊕ W X = V \oplus W X = V ⊕ W ∥ ⋅ ∥ \|\cdot\| ∥ ⋅ ∥ C 0 ∞ ( R 2 ) 6 C_0^{\infty}(\mathbb{R}^2)^6 C 0 ∞ ( R 2 ) 6 V ∩ W = { 0 } V \cap W = \{0\} V ∩ W = { 0 }
다음을 만족하는 N-함수 Φ를 도입합니다:
(N1) Φ는 전역적으로 Δ₂ 및 ∇₂ 조건을 만족합니다 (N2) lim t → 0 Φ ( t ) / t 2 = 0 \lim_{t \to 0} \Phi(t)/t^2 = 0 lim t → 0 Φ ( t ) / t 2 = 0 (N3) lim t → ∞ Φ ( t ) / t 2 = ∞ \lim_{t \to \infty} \Phi(t)/t^2 = \infty lim t → ∞ Φ ( t ) / t 2 = ∞ 이는 다음과 같은 더 광범위한 비선형성을 처리할 수 있게 합니다:
f ( u ) = { ∣ u ∣ q − 2 u ln ( 1 + ∣ u ∣ ) , ∣ u ∣ > 1 ∣ u ∣ p − 2 u ln ( 2 ) , ∣ u ∣ ≤ 1 f(u) = \begin{cases}
|u|^{q-2}u \ln(1 + |u|), & |u| > 1 \\
|u|^{p-2}u \ln(2), & |u| \leq 1
\end{cases} f ( u ) = { ∣ u ∣ q − 2 u ln ( 1 + ∣ u ∣ ) , ∣ u ∣ p − 2 u ln ( 2 ) , ∣ u ∣ > 1 ∣ u ∣ ≤ 1
함수를 정의합니다:
J ( u ) = 1 2 b L ( u , u ) − 1 2 ∫ R 2 V ( x ) ∣ u ∣ 2 d x − ∫ R 2 F ( u ) d x J(u) = \frac{1}{2}b_L(u,u) - \frac{1}{2}\int_{\mathbb{R}^2} V(x)|u|^2 dx - \int_{\mathbb{R}^2} F(u) dx J ( u ) = 2 1 b L ( u , u ) − 2 1 ∫ R 2 V ( x ) ∣ u ∣ 2 d x − ∫ R 2 F ( u ) d x
L의 무한 차원 핵 공간으로 인해 J는 위와 아래에서 무한할 수 있으며, 임계점은 무한 Morse 지수를 가질 수 있습니다.
강한 부정성으로 인해 전통적인 Palais-Smale 조건이 적용되지 않습니다. 저자들은 Cerami 수열의 유계성 이론을 개발했습니다:
보조정리 3.5 : ( v n ) ⊂ V (v_n) \subset V ( v n ) ⊂ V J ~ \tilde{J} J ~ lim inf n J ~ ( v n ) ≥ 0 \liminf_n \tilde{J}(v_n) \geq 0 lim inf n J ~ ( v n ) ≥ 0
SO(2) 군 작용을 활용하여 다음을 정의합니다:
V S O ( 2 ) = { v ∈ V : g ⋆ v = v for any g ∈ S O ( 2 ) } V^{SO(2)} = \{v \in V : g \star v = v \text{ for any } g \in SO(2)\} V SO ( 2 ) = { v ∈ V : g ⋆ v = v for any g ∈ SO ( 2 )} W S O ( 2 ) = { w ∈ W : g ⋆ w = w for any g ∈ S O ( 2 ) } W^{SO(2)} = \{w \in W : g \star w = w \text{ for any } g \in SO(2)\} W SO ( 2 ) = { w ∈ W : g ⋆ w = w for any g ∈ SO ( 2 )} 임의의 SO(2)-등변 윤곽 U에 대해 유일한 분해가 존재합니다:
U = U ρ + U τ + U ζ U = U_\rho + U_\tau + U_\zeta U = U ρ + U τ + U ζ U ρ ( x ) = α ρ ( x ) ∣ x ∣ ( x 1 x 2 0 ) , U τ ( x ) = α τ ( x ) ∣ x ∣ ( − x 2 x 1 0 ) , U ζ ( x ) = α ζ ( x ) ( 0 0 1 ) U_\rho(x) = \frac{\alpha_\rho(x)}{|x|}\begin{pmatrix} x_1 \\ x_2 \\ 0 \end{pmatrix}, \quad U_\tau(x) = \frac{\alpha_\tau(x)}{|x|}\begin{pmatrix} -x_2 \\ x_1 \\ 0 \end{pmatrix}, \quad U_\zeta(x) = \alpha_\zeta(x)\begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} U ρ ( x ) = ∣ x ∣ α ρ ( x ) x 1 x 2 0 , U τ ( x ) = ∣ x ∣ α τ ( x ) − x 2 x 1 0 , U ζ ( x ) = α ζ ( x ) 0 0 1
대칭성 원리를 통해 부분공간 ( ( X S O ( 2 ) ) S ) S ~ ((X^{SO(2)})^S)^{\tilde{S}} (( X SO ( 2 ) ) S ) S ~ U n = α n ( x ) ∣ x ∣ ( x 1 x 2 0 ) + γ n ( x ) ( 0 0 1 ) U_n = \frac{\alpha_n(x)}{|x|}\begin{pmatrix} x_1 \\ x_2 \\ 0 \end{pmatrix} + \gamma_n(x)\begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} U n = ∣ x ∣ α n ( x ) x 1 x 2 0 + γ n ( x ) 0 0 1
이는 TE 모드의 가능성을 배제합니다.
조건 (V), (F0)-(F3)이 만족되고 F가 방사형이라고 가정하면, 다음을 만족하는 형식 u n = v n + w n u_n = v_n + w_n u n = v n + w n
J ( u n ) → ∞ J(u_n) \to \infty J ( u n ) → ∞ n → ∞ n \to \infty n → ∞ v n ∈ H 1 ( R 2 ) 6 v_n \in H^1(\mathbb{R}^2)^6 v n ∈ H 1 ( R 2 ) 6 v n ≠ 0 v_n \neq 0 v n = 0 w n ∈ L 2 ( R 2 ) 6 w_n \in L^2(\mathbb{R}^2)^6 w n ∈ L 2 ( R 2 ) 6 Φ ( w n ) ∈ L 1 ( R 2 ) \Phi(w_n) \in L^1(\mathbb{R}^2) Φ ( w n ) ∈ L 1 ( R 2 ) L w n = 0 Lw_n = 0 L w n = 0 g ⋆ u n = u n g \star u_n = u_n g ⋆ u n = u n 각 u n = ( U n , U ~ n ) u_n = (U_n, \tilde{U}_n) u n = ( U n , U ~ n )
전자기 총 에너지의 유한성을 증명했습니다:
L ( t ) = 1 2 ∫ R 2 ∫ a a + 1 ⟨ E , D ⟩ + ⟨ B , H ⟩ d x 3 d ( x 1 , x 2 ) < + ∞ L(t) = \frac{1}{2}\int_{\mathbb{R}^2}\int_a^{a+1} \langle E,D \rangle + \langle B,H \rangle dx_3 d(x_1,x_2) < +\infty L ( t ) = 2 1 ∫ R 2 ∫ a a + 1 ⟨ E , D ⟩ + ⟨ B , H ⟩ d x 3 d ( x 1 , x 2 ) < + ∞
이는 비선형 매질에서 자기속박 광빔을 연구할 때 매우 중요합니다.
N-함수를 사용하여 Orlicz 공간을 정의합니다:
L Φ = { u : R 2 → R 6 : Φ ∘ ∣ u ∣ ∈ L 1 ( R 2 ) } L^\Phi = \{u : \mathbb{R}^2 \to \mathbb{R}^6 : \Phi \circ |u| \in L^1(\mathbb{R}^2)\} L Φ = { u : R 2 → R 6 : Φ ∘ ∣ u ∣ ∈ L 1 ( R 2 )} ∣ u ∣ Φ = inf { α > 0 : ∫ R 2 Φ ( ∣ u ∣ α ) d x ≤ 1 } |u|_\Phi = \inf\left\{\alpha > 0 : \int_{\mathbb{R}^2} \Phi\left(\frac{|u|}{\alpha}\right) dx \leq 1\right\} ∣ u ∣ Φ = inf { α > 0 : ∫ R 2 Φ ( α ∣ u ∣ ) d x ≤ 1 }
Cerami 조건을 가진 분수 정리를 적용합니다:
정규 직교 기저 ( v n ) n = 1 ∞ (v_n)_{n=1}^\infty ( v n ) n = 1 ∞ Y n = ⨁ j = 1 n span { v j } Y_n = \bigoplus_{j=1}^n \text{span}\{v_j\} Y n = ⨁ j = 1 n span { v j } Z n = ⨁ j = n ∞ span { v j } Z_n = \bigoplus_{j=n}^\infty \text{span}\{v_j\} Z n = ⨁ j = n ∞ span { v j } 기하학적 조건을 검증합니다:
lim n inf { J ( v ) : v ∈ Z n , ∥ v ∥ = r n } = ∞ \lim_n \inf\{J(v) : v \in Z_n, \|v\| = r_n\} = \infty lim n inf { J ( v ) : v ∈ Z n , ∥ v ∥ = r n } = ∞ max { J ( v ) : v ∈ Y n , ∥ v ∥ = ρ n } ≤ 0 \max\{J(v) : v \in Y_n, \|v\| = \rho_n\} \leq 0 max { J ( v ) : v ∈ Y n , ∥ v ∥ = ρ n } ≤ 0 McLeod, Stuart, Troy (1992) : TE 모드의 해석 결과를 처음 얻었으며, β(r)이 ODE (1.5)를 만족해야 함을 증명했습니다Stuart 시리즈 작업 (1991-2019) : 점근적 상수 자화율의 경우 TE 및 TM 모드를 연구했습니다Mederski-Reichel (2023) : 처음으로 진행파 문제를 비선형 타원 문제 (1.6)로 축약했습니다McLeod 등과의 차이점 : 본 논문은 TE 모드가 아닌 TM 모드를 얻었으며, 윤곽이 형식 (1.2)로 제한되지 않습니다Stuart 등과의 차이점 : 포화 효과가 아닌 Kerr 비선형성을 처리하며, ODE 방법이 아닌 변분 방법을 사용합니다기술적 혁신 : 강한 부정성 변분 문제를 처리하는 체계적인 방법을 개발했습니다Kerr 비선형 매질에서 무한히 많은 TM 모드 해가 존재함을 증명했습니다 이러한 해는 발산하는 에너지를 가지며 알려진 TE 모드 해와 다릅니다 방법은 N-함수에 의해 제어되는 더욱 광범위한 비선형성에 적용 가능합니다 기술적 제한 : ess sup V < k 2 \text{ess sup } V < k^2 ess sup V < k 2 대칭성 요구사항 : 원통 대칭 경우로 제한됩니다비선형성 조건 : 강한 성장 조건 (F1)-(F3)을 만족해야 합니다더욱 일반적인 기하학적 설정 고려 (비원통 대칭) 해의 안정성 및 동역학 행동 연구 수치 검증 및 물리 실험 비교 다른 유형의 비선형 광학 효과로 확장 이론적 혁신 : 복잡한 전자기장 문제를 처리 가능한 변분 문제로 성공적으로 변환했습니다기술 선진성 : Orlicz 공간 이론, 임계점 이론 및 대칭성 분석을 교묘하게 결합했습니다결과의 참신성 : Kerr 매질에서 TM 모드의 엄격한 수학적 증명을 처음으로 얻었습니다방법의 일반성 : 프레임워크는 다른 비선형 문제로 일반화될 수 있습니다조건 제한 : 일부 기술적 조건이 과도하게 엄격할 수 있습니다물리적 해석 : 수학적 결과의 물리적 의미에 대한 심층 논의가 부족합니다수치 검증 : 이론적 결과를 검증하는 수치 예제가 제공되지 않습니다수학 분야 : 강한 부정성 변분 문제를 처리하기 위한 새로운 도구를 제공합니다물리 응용 : 비선형 광학의 자기속박 현상에 대한 이론적 기초를 제공합니다공학적 가치 : 광섬유 통신 및 레이저 기술에 잠재적 응용이 있습니다비선형 광학 재료의 파 전파 광섬유의 솔리톤 전파 플라즈마 물리의 파 현상 유사한 수학적 구조를 가진 다른 물리 시스템 본 논문은 수학 분석과 물리 응용의 교차 분야에서 중요한 기여를 하였으며, 비선형 매질에서의 전자기파 전파를 이해하기 위한 새로운 이론적 도구와 깊은 통찰력을 제공합니다.
