前段时间遇到了一个问题,电场和磁场可以被表示为:
E
⃗
=
(
e
⃗
t
+
e
z
z
^
)
exp
(
i
β
z
)
H
⃗
=
(
h
⃗
t
+
h
z
z
^
)
exp
(
i
β
z
)
\begin{align} \vec{\mathrm{E}} &= \left ( \vec{\mathrm{e}}_t + e_z\hat{z} \right )\exp{\left ( i\beta z \right ) } \\ \vec{\mathrm{H}} &= \left ( \vec{\mathrm{h}}_t + h_z\hat{z} \right )\exp{\left ( i\beta z \right ) } \end{align}
EH=(et+ezz^)exp(iβz)=(ht+hzz^)exp(iβz)
显然,
e
⃗
t
\vec{\mathrm{e}}_t
et是x
和y
的函数,进一步我们可得:
∇
t
×
A
⃗
t
=
z
^
(
∂
A
y
∂
x
−
∂
A
x
∂
y
)
\begin{align} \nabla_t \times \vec{\mathrm{A}}_t = \hat{z}\left ( \frac{\partial A_y}{\partial x} - \frac{\partial A_x}{\partial y} \right ) \end{align}
∇t×At=z^(∂x∂Ay−∂y∂Ax)
现在我们有四个场分量表达式:
e
⃗
t
=
−
(
μ
0
ϵ
0
)
1
/
2
1
k
n
2
z
^
×
(
β
h
⃗
t
+
i
∇
t
h
z
)
h
⃗
t
=
(
ϵ
0
μ
0
)
1
/
2
1
k
z
^
×
(
β
e
⃗
t
+
i
∇
t
e
z
)
e
z
=
i
(
μ
0
ϵ
0
)
1
/
2
1
k
n
2
z
^
⋅
∇
t
×
h
⃗
t
=
i
β
[
∇
t
⋅
e
⃗
t
+
(
e
⃗
t
⋅
∇
t
)
ln
n
2
]
h
z
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
z
^
⋅
∇
t
×
e
⃗
t
=
i
β
∇
t
⋅
h
⃗
t
\begin{align} \vec{\mathrm{e}}_t &= -\left ( \frac{\mu_0}{\epsilon_0} \right )^{1/2}\frac{1}{kn^2}\hat{z}\times \left ( \beta \vec{\mathrm{h}}_t + i\nabla_th_z \right ) \\ \vec{\mathrm{h}}_t &= \left ( \frac{\epsilon_0}{\mu_0} \right )^{1/2}\frac{1}{k} \hat{z}\times \left ( \beta\vec{\mathrm{e}}_t + i\nabla_te_z \right ) \\ e_z &= i\left ( \frac{\mu_0}{\epsilon_0} \right ) ^{1/2}\frac{1}{kn^2}\hat{z}\cdot\nabla_t\times\vec{\mathrm{h}}_t = \frac{i}{\beta}\left [ \nabla_t\cdot \vec{\mathrm{e}}_t + \left ( \vec{\mathrm{e}}_t \cdot \nabla_t \right )\ln{n^2} \right ] \\ h_z &= -i\left ( \frac{\epsilon_0}{\mu_0} \right ) ^{1/2}\frac{1}{k}\hat{z}\cdot\nabla_t\times\vec{\mathrm{e}}_t = \frac{i}{\beta}\nabla_t \cdot \vec{\mathrm{h}}_t \end{align}
ethtezhz=−(ϵ0μ0)1/2kn21z^×(βht+i∇thz)=(μ0ϵ0)1/2k1z^×(βet+i∇tez)=i(ϵ0μ0)1/2kn21z^⋅∇t×ht=βi[∇t⋅et+(et⋅∇t)lnn2]=−i(μ0ϵ0)1/2k1z^⋅∇t×et=βi∇t⋅ht
场分量表达式中的第一个等号的推导显而易见,这里我们着重集中于
e
z
e_z
ez和
h
z
h_z
hz分量中的第二个等号的推导。
e z e_z ez推导
我们将(5)式代入(7)式中:
i
β
∇
t
⋅
h
⃗
t
=
i
β
(
ϵ
0
μ
0
)
1
/
2
1
k
∇
t
⋅
z
^
×
(
β
e
⃗
t
+
i
∇
t
e
z
)
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
∇
t
⋅
z
^
×
(
β
e
⃗
t
+
i
β
∇
t
e
z
)
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
(
∇
t
⋅
−
z
^
×
e
⃗
t
−
∇
t
⋅
z
^
×
i
β
∇
t
e
z
)
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
(
∇
t
⋅
e
⃗
t
×
z
^
−
∇
t
⋅
z
^
×
i
β
∇
t
e
z
)
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
(
∂
e
y
∂
x
−
∂
e
x
∂
y
)
\begin{align} \frac{i}{\beta}\nabla_t \cdot \vec{\mathrm{h}}_t &= \frac{i}{\beta}\left ( \frac{\epsilon_0}{\mu_0} \right )^{1/2}\frac{1}{k} \nabla_t \cdot\hat{z}\times \left ( \beta\vec{\mathrm{e}}_t + i\nabla_te_z \right ) \nonumber \\ &= -i\left ( \frac{\epsilon_0}{\mu_0} \right )^{1/2}\frac{1}{k} \nabla_t \cdot \hat{z}\times \left ( \beta\vec{\mathrm{e}}_t + \frac{i}{\beta}\nabla_te_z \right ) \nonumber \\ &= -i\left ( \frac{\epsilon_0}{\mu_0} \right )^{1/2}\frac{1}{k} \left ( \nabla_t \cdot-\hat{z}\times \vec{\mathrm{e}}_t - \nabla_t \cdot\hat{z}\times\frac{i}{\beta}\nabla_te_z \right ) \nonumber \\ &= -i\left ( \frac{\epsilon_0}{\mu_0} \right )^{1/2}\frac{1}{k} \left ( \nabla_t \cdot \vec{\mathrm{e}}_t\times \hat{z} - \nabla_t \cdot\hat{z}\times\frac{i}{\beta}\nabla_te_z \right ) \nonumber \\ &= -i\left ( \frac{\epsilon_0}{\mu_0} \right )^{1/2}\frac{1}{k} \left ( \frac{\partial e_y}{\partial x} - \frac{\partial e_x}{\partial y} \right ) \end{align}
βi∇t⋅ht=βi(μ0ϵ0)1/2k1∇t⋅z^×(βet+i∇tez)=−i(μ0ϵ0)1/2k1∇t⋅z^×(βet+βi∇tez)=−i(μ0ϵ0)1/2k1(∇t⋅−z^×et−∇t⋅z^×βi∇tez)=−i(μ0ϵ0)1/2k1(∇t⋅et×z^−∇t⋅z^×βi∇tez)=−i(μ0ϵ0)1/2k1(∂x∂ey−∂y∂ex)
我们再计算等号左侧部分:
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
z
^
⋅
∇
t
×
e
⃗
t
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
z
^
⋅
z
^
(
∂
e
y
∂
x
−
∂
e
x
∂
y
)
=
−
i
(
ϵ
0
μ
0
)
1
/
2
1
k
(
∂
e
y
∂
x
−
∂
e
x
∂
y
)
\begin{align} -i\left ( \frac{\epsilon_0}{\mu_0} \right ) ^{1/2}\frac{1}{k}\hat{z}\cdot\nabla_t\times\vec{\mathrm{e}}_t &= -i\left ( \frac{\epsilon_0}{\mu_0} \right ) ^{1/2}\frac{1}{k}\hat{z} \cdot \hat{z}\left ( \frac{\partial e_y}{\partial x} - \frac{\partial e_x}{\partial y} \right ) \nonumber \\ &= -i\left ( \frac{\epsilon_0}{\mu_0} \right ) ^{1/2}\frac{1}{k}\left(\frac{\partial e_y}{\partial x} - \frac{\partial e_x}{\partial y}\right) \end{align}
−i(μ0ϵ0)1/2k1z^⋅∇t×et=−i(μ0ϵ0)1/2k1z^⋅z^(∂x∂ey−∂y∂ex)=−i(μ0ϵ0)1/2k1(∂x∂ey−∂y∂ex)
可以看到,(8)式与(9)式完全一致,至此我们证明了第二个等号的正确性。
h z h_z hz推导
暂时未能成功推出, ln n 2 \ln n^2 lnn2项很诡异。
如果大家觉得有用,就点个赞让更多的人看到吧~