Sunday, August 31, 2014

磁场定矢势之旋度,散度完全自由之。故矢势散度为常数,为任意标量场

磁场定矢势之旋度,散度完全自由之。故矢势散度为常数,为任意标量场


城乡若气液

    城与乡,若物之气液二相。城居若气,有活泼自由之利,乡居类液,有厚实澄净之美,两者皆天存之大道,不可偏废偏爱矣。

    液气共存,和谐之态也。温度稍升,液面渐消而气之,若清晨之湖面,自然缥缈美妙。倘急火至沸,液无上下皆奔腾,无孔不入,必汹涌不可控也。城镇化,化液为气之举也。动员之,运动之,使人人皆兴奋,此沸腾之象也,宜警而忌之。
背景之音,万人同乐之相也。城市爆竹之声,正比乐众人口之密度,又与城市线度对数相关之,诚然一城一市物理特征之量也,倘作模型分析,不亦趣哉?


核能途径之分类
    原子核内核子平均结合能,轻者小,重者亦小,以中等铁核最大。轻者聚,重者裂,皆释能也。故核能分两端,曰裂变,曰聚变。
    聚变者,核裸而近之,须供初始之能,以克两核库仑之阻也。能量约束之时愈长,密度愈大,初始之能愈有效矣,此所谓劳逊判据之由来也。故聚变亦分两途,或惯性约束,求密度极高;或磁场约束,求约束时长;使时间密度之积达标,以获能量增益也。
    又磁约束聚变,依磁场产生之源,装置可分三类。其一磁场出自外电流,典型者曰仿星器也;其二磁场出自等离子体内电流,典型者曰反场箍缩也;其三内外电流之场并重,典型者曰托卡马克也。
    余逐次叙核能分类之要,邀后进及同侪共识,以绝表述之乱也。



http://phy.duke.edu/~rgb/Class/Electrodynamics/Electrodynamics/node30.html


next up previous contents Next: The Lorentz Gauge Up: Potentials Previous: Potentials   Contents


Gauge Transformations

Now comes the tricky part. The following is very important to understand, because it is a common feature to nearly all differential formulations of any sort of potential-based field theory, quantum or classical. We know from our extensive study of elementary physics that there must be some freedom in the choice of $\phi$ and $\mbox{\boldmath$A$}$. The fields are physical and can be ``directly'' measured, we know that they are unique and cannot change. However, they are both defined in terms of derivatives of the potentials, so there is an infinite family of possible potentials that will all lead to the same fields. The trivial example of this, familiar from kiddie physics, is that the electrostatic potential is only defined with an arbitrary additive constant. No physics can depend on the choice of this constant, but some choices make problems more easily solvable than others. If you like, experimental physics depends on potential differences, not the absolute magnitude of the potential. So it is now in grown-up electrodynamics, but we have to learn a new term. This freedom to add a constant potential is called gauge freedom and the different potentials one can obtain that lead to the same physical field are generated by means of a gauge transformation. A gauge transformation can be broadly defined as any formal, systematic transformation of the potentials that leaves the fields invariant (although in quantum theory it can be perhaps a bit more subtle than that because of the additional degree of freedom represented by the quantum phase). As was often the case in elementary physics were we freely moved around the origin of our coordinate system (a gauge transformation, we now recognize) or decided to evaluate our potential (differences) from the inner shell of a spherical capacitor (another choice of gauge) we will choose a gauge in electrodynamics to make the solution to a problem as easy as possible or to build a solution with some desired characteristics that can be enforced by a ``gauge condition'' - a constraint on the final potentials obtained that one can show is within the range of possibilities permitted by gauge transformations. However, there's a price to pay. Gauge freedom in non-elemetary physics is a wee bit broader than ``just'' adding a constant, because gradients, divergences and curls in multivariate calculus are not simple derivatives. Consider $\mbox{\boldmath$B$}= \mbox{\boldmath$\nabla$}\times \mbox{\boldmath$A$}$. $\mbox{\boldmath$B$}$ must be unique, but many $\mbox{\boldmath$A$}$'s exist that correspond to any given $\mbox{\boldmath$B$}$. Suppose we have one such $\mbox{\boldmath$A$}$. We can obviously make a new $\mbox{\boldmath$A$}'$ that has the same curl by adding the gradient of any scalar function $\Lambda$. That is:
\begin{displaymath}
\mbox{\boldmath$B$}= \mbox{\boldmath$\nabla$}\times \mbox{\...
...Lambda) = \mbox{\boldmath$\nabla$}\times \mbox{\boldmath$A$}'
\end{displaymath}(8.36)

We see that:
\begin{displaymath}
\mbox{\boldmath$A$}' = \mbox{\boldmath$A$}+ \mbox{\boldmath$\nabla$}\Lambda
\end{displaymath}(8.37)

is a gauge transformation of the vector potential that leaves the field invariant.
Note that it probably isn't true that $\Lambda$ can be any scalar function - if this were a math class I'd add caveats about it being nonsingular, smoothly differentiable at least one time, and so on. Even if a physics class I might say a word or two about it, so I just did. The point being that before you propose a $\Lambda$ that isn't, you at least need to think about this sort of thing. However, great physicists (like Dirac) have subtracted out irrelevant infinities from potentials in the past and gotten away with it (he invented ``mass renormalization'' - basically a gauge transformation - when trying to derive a radiation reaction theory), so don't be too closed minded about this either. It is also worth noting that this only shows that this is a possible gauge transformation of $\mbox{\boldmath$A$}$, not that it is sufficiently general to encompass all possible gauge transformations of $\mbox{\boldmath$A$}$. There may well be tensor differential forms of higher rank that cannot be reduced to being a ``gradient of a scalar function'' that still preserve $\mbox{\boldmath$B$}$. However, we won't have the algebraic tools to think about this at least until we reformulate MEs in relativity theory and learn that $\mbox{\boldmath$E$}$ and $\mbox{\boldmath$B$}$ are not, in fact, vectors! They are components of a second rank tensor, where both $\phi$ and $\mbox{\boldmath$A$}$ combine to form a first rank tensor (vector) in four dimensions. This is quite startling for students to learn, as it means that there are many quantities that they might have thought are vectors that are not, in fact, vectors. And it matters - the tensor character of a physical quantity is closely related to the way it transforms when we e.g. change the underlying coordinate system. Don't worry about this quite yet, but it is something for us to think deeply about later. Of course, if we change $\mbox{\boldmath$A$}$ in arbitrary ways, $\mbox{\boldmath$E$}$ will change as well! Suppose we have an $\mbox{\boldmath$A$}$ and $\phi$ that leads to some particular $\mbox{\boldmath$E$}$ combination:
\begin{displaymath}
\mbox{\boldmath$E$}= -\mbox{\boldmath$\nabla$}\phi - \frac{\partial \mbox{\boldmath$A$}}{\partial t}
\end{displaymath}(8.38)

If we transform $\mbox{\boldmath$A$}$ to $\mbox{\boldmath$A$}'$ by means of a gauge transformation (so $\mbox{\boldmath$B$}$ is preserved), we (in general) will still get a different $\mbox{\boldmath$E$}'$:
$\displaystyle \mbox{\boldmath$E$}'$$\textstyle =$$\displaystyle -\mbox{\boldmath$\nabla$}\phi - \frac{\partial \mbox{\boldmath$A$}'}{\partial t}$ 
 $\textstyle =$$\displaystyle -\mbox{\boldmath$\nabla$}\phi - \frac{\partial }{\partial t}(\mbox{\boldmath$A$}+ \mbox{\boldmath$\nabla$}\Lambda)$ 
 $\textstyle =$$\displaystyle \mbox{\boldmath$E$}- \frac{\partial \mbox{\boldmath$\nabla$}\Lambda}{\partial t} \ne \mbox{\boldmath$E$}$(8.39)



as there is no reason to expect the gauge term to vanish. This is baaaaad. We want to get the same $\mbox{\boldmath$E$}$.
To accomplish this, as we shift $\mbox{\boldmath$A$}$ to $\mbox{\boldmath$A$}'$ we must also shift $\phi$ to $\phi'$. If we substitute an unknown $\phi'$ into the expression for $\mbox{\boldmath$E$}'$ we get:
$\displaystyle \mbox{\boldmath$E$}'$$\textstyle =$$\displaystyle -\mbox{\boldmath$\nabla$}\phi' - \frac{\partial }{\partial t}(\mbox{\boldmath$A$}+ \mbox{\boldmath$\nabla$}\Lambda)$ 
$\displaystyle \mbox{\boldmath$E$}'$$\textstyle =$$\displaystyle -\mbox{\boldmath$\nabla$}\phi' - \frac{\partial \mbox{\boldmath$A$}}{\partial t} -
\mbox{\boldmath$\nabla$}\frac{\partial \Lambda}{\partial t}$(8.40)



We see that in order to make $\mbox{\boldmath$E$}' = \mbox{\boldmath$E$}$ (so it doesn't vary with the gauge transformation) we have to subtract a compensating piece to $\phi$ to form $\phi'$:
\begin{displaymath}
\phi' = \phi - \frac{\partial \Lambda}{\partial t}
\end{displaymath}(8.41)

so that:
$\displaystyle \mbox{\boldmath$E$}'$$\textstyle =$$\displaystyle -\mbox{\boldmath$\nabla$}\phi' - \frac{\partial \mbox{\boldmath$A...
...$A$}}{\partial t} -
\mbox{\boldmath$\nabla$}\frac{\partial \Lambda}{\partial t}$ 
 $\textstyle =$$\displaystyle -\mbox{\boldmath$\nabla$}\phi - \frac{\partial \mbox{\boldmath$A$}}{\partial t} = \mbox{\boldmath$E$}$(8.42)



In summary, we see that a fairly general gauge transformation that preserves both $\mbox{\boldmath$E$}$ and $\mbox{\boldmath$B$}$ is the following pair of simultaneous transformations of $\phi$ and $\mbox{\boldmath$A$}$. Given an arbitrary (but well-behaved) scalar function $\Lambda$:
$\displaystyle \phi'$$\textstyle =$$\displaystyle \phi - \frac{\partial \Lambda}{\partial t}$(8.43)
$\displaystyle \mbox{\boldmath$A$}'$$\textstyle =$$\displaystyle \mbox{\boldmath$A$}+ \mbox{\boldmath$\nabla$}\Lambda$(8.44)



will leave the derived fields invariant.
As noted at the beginning, we'd like to be able to use this gauge freedom in the potentials to choose potentials that are easy to evaluate or that have some desired formal property. There are two choices for gauge that are very common in electrodynamics, and you should be familiar with both of them.

No comments:

Post a Comment