Starting Over 3_14_14 REVIEWED
DOCX · 62.0 KB
Open DOCX file
Phil's rambling working notes dated 3.14.14 and updated 3.17.14, with a status report, four conjectures and Ideas A to K tried against the odd asymmetry of Jz at low omega. It questions whether King's W(z) theory holds near DC, since Az is not constant on the conductors. It covers the capacitor problem, Appendix D Bessel field solutions, the deep skin effect limit, and the Z0 to infinity "escape hatch" (I to 0 at omega 0) in Idea K.
AI-written summary; may contain errors. This description is approximate.
Extracted text (machine-read; may contain errors)
Starting Over 3_14_14 PhL 3.14.14
updated 3.17.14
This is a long rambling document. I give a status report, then make some conjectures, then I try various "Ideas" to solve the low ω mysterious asymmetry of Jz problem. Some ideas led to new Appendices and various ideas are incorporated into lines doc. But the mystery remains. The escape hatch Z0 idea is discovered here in Idea K!
Idea A. Something is screwy with the BC between the inside and outside for a wave? Losses?
Idea B. The Debye currents bugaboo.
Idea C. Try simpler case of parallel plates. I did a whole huge effort on this, no big conclusion.
Idea D. I compute Ez for strong skin effect. This improves what I had in Sec 6.5 so I updated!
Idea E. Atomic forms, Helm vs Laplace for small ω, all makes sense.
Idea F. Try do ω→0 first THEN compute am and Km App D. Made no difference.
Idea G. Idea that n(θ) "gets into "Jz(r,θ) through the cpbc. This is now in Section 6.5.
Idea H. Search for others claiming non-uniform Jz at DC, including King and Matick.
Idea I. How explain uniform Jz at DC? Leads to notion of Radial Hall Effect, more web scan.
Idea J. Given the weird ω=0 Jz asym, what B field does it create? I state a result.
Idea K. Here I discover the Escape Hatch: since Z0 → ∞ we must have I → 0 at ω = 0
1. Status Report
I have been unsuccessful after working for a month trying to "repair" lines doc. There are so many equations and so many field variables, I cannot get them under control. I cannot seem to get any firm stakes in the sand, everything moves every day. I seem far from justifying the King Ch 4 approach, for example.
I cling very firmly to "the capacitor problem" as a starting point, only because most supporting data items use this theory to find things like Z0 for a transmission line. The capacitor problem provides a "stake in the sand" only for the following field variables:
φ in the dielectric
I want to say that this determines E in the dielectric, but for ω > 0 we have
E = -φ -jωA
At DC, you can ignore the A term and go on to compute E and then n(θ) as I have done. But at AC, I don't seem to know anything about A, so this pathway to n(θ) is just not valid. For the capacitor problem, the above equation may be written
Et = -tφ -jωAt
I do know that At is the integral of Jt over both conductors, but I don't know Jt so this gives no grip on the field At. In Appendix D I do get these Helmholtz/divE =0 solutions before boundary conditions:
First summary of the E field solutions (D.2.21)
Ez(r,m) = - j (β'/βd) Jm(x) x = β'r (D.1.27)
Er(r,m) = am x-1 Jm(x) + Jm+1(x) β'2 = β2 - βd2 (D.2.11)
jEθ(r,m) = - am x-1 Jm(x) + ( + ) Jm+1(x) (D.2.15)
and all I can say is that this "suggests" that there might be Er and Eθ fields inside the wire, which of course means there might be Jr and Jθ inside the wire. But I don't know the constants Km and am so I have little to say about Jr and Jθ. At DC I think both are 0. Notice how indirect the path is here:
At = Helm Integral (Jt) but Jt = unknown
I do know that
Eθ = - (1/a)∂θφ -jωAθ at conductor outside surface
and I do know that ∂θφ = 0 from the capacitor problem. So this leaves me with
Eθ = -jωAθ at conductor outside surface
I have been somehow assuming this is the same as Eθ = 0 based on some vague ansatz that Aθ is "small", but in retrospect, I see no support at all for that claim. This has been an Achilles Heel of the theory for me since 1991 and for the last 6 months of resumed effort on this problem.
The capacitor problem comes into the picture when you look at the ω = 0 "end" of the transmission line problem. You have a transverse PDE in the low-loss case which says 2φ = 0 with the two boundary conditions. This PDE system IS "the capacitor problem" and that gives φ. Perhaps we are treating a transmission line as "quasi static".
I would like to have some sort of similar PDE equation for A or maybe Az. That is to say, some sort of magnetic "starting point" which goes with the electric starting point of the capacitor problem. At DC we do seem to have a physical starting point of uniform current in each conductor. I have shown that this starting point leads to a B field as shown here:
These are the B field lines. It happens that they do not line up with the conductor boundaries. This is similar to the plot Purcell makes on page 209 where the reader assumes constant Jz in the bus bars. The point I make is that the B lines do not match the conductor boundaries, so the fact that this happens in my picture above is not surprising.
Now there is a fixed relationship between B and A which is this:
curl A = B C A ds = ∫S B dS . (1.1.39)
I have often done my "thin math loop" analysis as follows: Place a thin rectangular math loop such that the long direction is into paper, and such that the loop lies right on a B field line such that there is then no B flux going through the loop. For such a math look, C A ds = 0. Since the loop is differentially thin, and since we assume A is finite everywhere. this means that the two sizes of the loop must give equal and opposite contributions. This says that Az on the two sides of the loop must be the same. This in turn means that these red B lines are also equipotential surfaces for Az. We thus arrive at the conclusion that at the DC "end" of the transmission line problem, the conductors do NOT have constant Az on their surfaces. This is of course in direct conflict with King's analysis with his function W(z). This then puts me in a difficult position if I am trying to be a presenter of King's development! I think this basically says that his theory is invalid at low frequencies at least, where the capacitor problem is "most valid".
In addition to the argument just made, I have computed Az directly for the DC case (assuming uniform current density) in "two cylinder calculations.doc", and the lines of constant Az are the same as the lines of B, reaffirming the conclusion just stated.
Fact #1. The King theory of W(z) does not extend down to low frequencies near DC. This theory requires that Az be constant on the conductor cross section, and that is clearly not true in the above picture, and it is clearly not going to true at .0001 Hz or 1 Hz. [ correct ]
Conjecture #1. The King theory applies at ω such that δ < a/10, where a is a transverse dimension of the conductor and δ is the skin depth. This then puts a lower limit on the ω of applicability. [An upper limit on ω is provided by the transmission line limit and perhaps other factors.] [ sounds right ]
Fact #2. The argument that Hn = 0 just above the surface requires that Hn = 0 at some small distance below the surface, such as below δ. Distance δ must be small so that the sides of the Gaussian box don't admit significant B flux. This is all based on div B = 0 and so ∫BdS = 0 for the little box. If Hn = 0 at the surface, then Az lines are tangent to the surface, and then the King W(z) theory works! [ yes ]
Conjecture #2. First, the King Gauge says
div A = - μεjωφ - μσφ = -jωμ(ε+σ/jω)φ = -jωμξφ = -j(β2/ω) φ King gauge (1.5.5)
which we can write as: ∂xAx + ∂yAy + ∂zAz = -j(βd2/ω) φ // dielectric
If we can ignore the first two terms, and if we assume z wave motion, this equation says
Az = (1/vd) φ
and this is very consistent with the King W(z) and V(z) theory. So the conjecture is that if you go below the ω boundary where δ is no longer small, you no longer have | ∂xAx + ∂yAy | << βd |Az|. And the conjecture also claims that above this ω boundary, we DO have this inequality. [ all in Sec 3.7 now ]
Conjecture #3. I suspect that in the skin effect limit if we consider Et = -tφ -jωAt, it can be shown that the last term -jωAt can be neglected compared to the first term -tφ.
[ I have a proof of this now in Section 3.7 for extreme skin limit ]
Notice that both conjectures #2 and #3 assume in some sense that "transverse potential is small".
Conjecture #4. Even in the skin effect limit, there must be some notion of an "active region" along a conductor surface which has some kind of well-defined Zs that can go into the King model. [ I have solved this problem in Chapter 4 where Zs is a certain average.]
Exercise: It would be nice to actually demonstrate the validity of these conjectures in the two-cylinder case about which we think we know a lot.
Problem #1. Why are the Appendix D equations for E wrong at low ω ? It would seem that Conjecture #3 is satisfied in this limit so that Et = -tφ is valid and therefore BC#2 is valid. I have no conjecture to answer this question! Is there something wrong with BC#1 ?
Idea A. Appendix D assumes ej(ωt-βz) wave action. The use of βd here implies no loss. But no loss implies very good conductor. That in turn implies small δ and therefore high ω. Although this βd wave based solution for E and B satisfies Maxwell's equations in the dielectric perfectly, it does not satisfy the phase match in z BC at the conductor surface and that is why it fails [ just an idea ]. So there is then some boundary condition OTHER THAN BC#1 and BC#2 that I always use. Maybe things could be rescued if I replaced the parameter βd with something else which includes loss effects. // I did this in doc "including loss in" and it did not pan out. It does not force all moments m≠0 of Ez to vanish at ω = 0.
Idea B. Try including the Debye surface currents in the charge pump BC, maybe things near DC are dominated by surface charges. // I did this in a new section in doc "the surface currents", but it did not pan out. I computed new Km and am constants, but since (β'δdebye) << 1 at all reasonable ω, the original constants came back.
3/18/14
Idea C. Let's write a version of Appendix D for a parallel plate transmission line where we can use Cartesian geometry and not worry about the "y" dimension. Maybe this will shed light on the problem. // I did this in a single shot, and the conclusion is that at DC ω→0 you get Jz = constant!! There is no DC asymmetry in that simpler problem. [ see "App D for par plates" doc and supporting mws and vsd ]
Idea D. Examine the Ez(r,m) solution for strong skin effect where x = β'r is large. I do this right here, and steal a result from "the current asymmetry" doc for the large x limit of Bessel,
β = (j-1)(1/δ) x = βr = (j-1)(r/δ)
Jm(x) = (2/πx)1/2 cos(x-mπ/2-π/4) = (2/πx)1/2 (1/2) e+r/δ ej[(r/δ)+mπ/2+π/4]
= (1/πβr)1/2 e+r/δ ej[(r/δ)+mπ/2+π/4]
which shows m appears only in the phase. Then consider
fm = [ - ]
Now
= = (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ-π/2]
= (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ+π/2]
Then
fm = [ - ] = (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ [e-jπ/2 - e+jπ/2]
= (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ [-j - j]
= -2j (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ = independent of m !
and there you see the classic skin effect including its phase. Note that it was crucial to keep track of the m dependent phase. If we ignored it, we would have said fm = 0. The total solution is then
Ez(r,m) = (1/4) ηm I Rdc (aβ) [-2j (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ]
= (1/4) ηm I Rdc ((j-1)(a/δ)) [-2j (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ]
All the Ez(r,m) are identical and only ηm makes them different! Thus I would claim that
Ez (r,θ) =!Syntax Error, I Ez (r,m) ejmθ = Ez(r,0) + !Syntax Error, Iηm (stuff) ejmθ
= (stuff) + !Syntax Error, I ηm (stuff) cos(mθ)
= (stuff) [ 1 + !Syntax Error, I ηm cos(mθ) ]
= (1/4) I Rdc ((j-1)(a/δ)) [-2j (a/r)1/2 e-(a-r)/δ ej[(r-a)/δ] [ 1 + !Syntax Error, I ηm cos(mθ) ]
where
= [ 1 + !Syntax Error, I ηm cos(mθ) ] = 1 + 2 !Syntax Error, I (-1)m e-m|ξ| cos(mθ) = shape of n1(ξ1,θ)
So in the deep skin effect limit, we have the n(θ) shape around azimuth, and expo decay in r, and this is exactly what I expect it to be for high frequency. [ correct ]
Idea E. Let's check atomic forms. I peruse Appendix D. I start with
(2 + β2) Ez = 0 a true 3D Helm scalar Helm equation
[∂r2 + (1/r) ∂r + (1/r2) ∂θ2 + ∂z2 + β2 ] Ez(r,θz,t) = 0 . // cylindricals (1)
Moon and Spencer page 15 suggests these atomic forms (I replace their p and ψ by my m and θ)
ejmθ sin(z) Jm(jqr) // recall that β'2 = β2 - βd2 from (D.2.2)
Now replace jq by β' and we then have, reading from M&S, β2- β'2 = βd2
ejmθ sin (z) Jm(β'r) = ejmθ sin (βdz) Jm(β'r) = ejmθ Jm(β'r) e-jβz
so OK, my solution contains exactly the right atomic forms for this Helm equation (just checking).
Now, as ω → 0 we know that β→0 so we should then have 2Ez = 0 which is Laplace. When I look at the 3D Laplace atoms in my cylindrical area, I see this
e±kz [ Jm(kr), Nm(kr)] e±imθ
How does this jibe with the ω→0 limit of my solution, which is this
Ez(r,θ) = I Rdc [ 1 + !Syntax Error, I (-1)m e-m|ξ| (r/a)m [ (m+1)] cos(mθ) ]
The only thing that seems "right" here is the cos(mθ) factor.
But trace what happened. We started with 3D Helmholtz, I assumed an atomic form that was totally correct, and I ended up with
[2D2 + β'2] Ez(r,θ) = 0
which is a 2D Helmholtz in polars. Now I take ω→0 and β'→0 (since both β and βd → 0), and then that leaves me with [2D2] Ez(r,θ) = 0 which is 2D Laplace in polars. But I know the atomic forms for the 2D Laplace to be r±m cos(mθ) from good old Stak, and this is exactly what you see above for Ez(r,θ). So I think all is well regarding atomic forms. Very generally, I know that in my limit of interest, we must have
Ez(r,θ) = A + Σm=1∞Bm rm cos(mθ)
to be correct at r = 0. It's just that I was expecting Bm = 0 as ω→ 0. Instead I got
Ez(r,m) = { (1/4) ηm I Rdc (aβ') [ - ] } Jm(x)
≈ (1/2) ηm I Rdc (m+1)(r/a)m
so the coefficient is then
Bm = (1/2) ηm I Rdc (m+1)(1/a)m
Easy viewing comes from recasting the above as
=
Then the limit (r/a)m is inescapable.
3/19/14
Idea F. What happens if you take the ω→0 limit first, then solve for coefficients? That is to say, suppose we are at this point in Appendix D, prior to coefficient evaluation,
Ez(r,m) = - j (β'/βd) Jm(x) x = β'r (D.1.27) (D.2.21)
Er(r,m) = am x-1 Jm(x) + Jm+1(x) β'2 = β2 - βd2 (D.2.11)
jEθ(r,m) = - am x-1 Jm(x) + ( + ) Jm+1(x) (D.2.15)
And here are the BC's,
Er(r=a,m) = (jω/σ) Nm (D.2.26)
Eθ(r=a,m) = 0 (D.2.27)
Write this out like so:
am xa-1 Jm(xa) + Jm+1(xa) = (jω/σ) Nm (1)
- am xa-1 Jm(xa) + ( + ) Jm+1(xa) = 0 . (2)
Now first take this to the small ω limit without going all the way, replacing the J functions,
Jm(x) = (x/2)m / m! = this is the small-x leading term and m > 0 here only let's say
am xa-1 (xa/2)m / m! + (xa/2)m+1 / (m+1)! = (jω/σ) Nm (1) low ω
- am xa-1 (xa/2)m / m! + ( + ) (xa/2)m+1 / (m+1)! = 0 . (2) low ω
or
am xa-1 (xa/2)m / m! + (xa/2)m+1 / (m+1)! = (jω/σ) Nm (1) low ω
- am xa-1 (xa/2)m / m! + ( + ) (xa/2)m+1 / (m+1)! = 0 . (2) low ω
Now use
xa-1 (xa/2)m = (1/2)(2/xa) (xa/2)m = (1/2) (xa/2)m-1
so
am/2 (xa/2)m-1 / m! + (xa/2)m+1 / (m+1)! = (jω/σ) Nm (1) low ω
- am/2 (xa/2)m-1 / m! + ( + ) (xa/2)m+1 / (m+1)! = 0 . (2) low ω
Next, replace xa = β'r to get
am/2 (β'r /2)m-1 / m! + (β'r /2)m+1 / (m+1)! = (jω/σ) Nm (1) low ω
- am/2 (β'r /2)m-1 / m! + ( + ) (β'r /2)m+1 / (m+1)! = 0 . (2) low ω
Next, replace β' by its low ω limit which I already computed somewhere. Have to be very careful right here!
Branch F.1. (ignoring loss). From "current asym" I write
β = (j-1)(1/δ) δ ≡ β = (j-1) ω1/2
βd = βd0 [1 - j (1/2)tanL] ≈ βd0 = (ω/vd)
β'2 = β2 - βd2 = (j-1)2(μσ/2)ω - ω2/vd2 = ω [ (j-1)2(μσ/2) - ω/vd2] → ω [ (j-1)2(μσ/2)
β' → (j-1) ω1/2 = β
So in the small ω limit, βd can be ignored here. We then rewrite our two BC's:
am/2 ((j-1) ω1/2r /2)m-1 / m! + ((j-1) ω1/2r /2)m+1 / (m+1)! = (jω/σ) Nm
- am/2 ((j-1) ω1/2r /2)m-1 / m! + ( + ) ((j-1) ω1/2r /2)m+1 / (m+1)! = 0
and now all the ω's are exposed. but do them more explicitly
am/2 ((j-1) r /2)m-1 ω(m-1)/2 / m! + ((j-1) r /2)m+1 ω(m+1)/2 / (m+1)! = (jω/σ) Nm
- am/2 ((j-1) r /2)m-1 ω(m-1)/2 / m! + ( + ) ((j-1) r /2)m+1 ω(m+1)/2 / (m+1)! = 0
The general form of these equations is the following
+A(ω) ω(m-1)/2 + B(ω) ω(m+1)/2 = (jω/σ) Nm
-A(ω) ω(m-1)/2 + C(ω) ω(m+1)/2 = 0
Add these equations to get
B(ω) ω(m+1)/2 + C(ω) ω(m+1)/2 = (jω/σ) Nm
or
[B(ω) + C(ω)] ω(m+1)/2 = (jω/σ) Nm
In order to have the LHS behave as ω1 we have to have
[B(ω) + C(ω)] = (j/σ)Nm ω ω-(m+1)/2 = (j/σ)Nm ω-(m-1)/2
We then find that Nm "stays in the problem" because it is now installed in coefficient B+C.
Now we have really
A(ω) = am/2 ((j-1) a /2)m-1/ m!
B(ω) = ((j-1) a /2)m+1 / (m+1)!
C(ω) = ( + ) ((j-1) a /2)m+1 / (m+1)!
so they are linearly related. I am sure that if we now solve for the coefficients, we just duplicate the solution found in Appendix D.
Branch F.2. (including loss). Go back now to our starting position,
am/2 (β'r /2)m-1 / m! + (β'r /2)m+1 / (m+1)! = (jω/σ) Nm (1) low ω
- am/2 (β'r /2)m-1 / m! + ( + ) (β'r /2)m+1 / (m+1)! = 0 . (2) low ω
If we include loss, we know from "including loss" doc that
β'2 → 2j [(Rdc1+ Rdc2)C ] (vd/2) ≡ β'20 0
In this case, if we take the ω→ 0 limit of the above two equations, we get just this
am/2 (β'a /2)m-1 / m! + (β'a /2)m+1 / (m+1)! = 0 [wrong!] (1) low ω
- am/2 (β'a /2)m-1 / m! + ( + ) (β'a /2)m+1 / (m+1)! = 0 . (2) low ω
.
where β' stands for this limit 2j [(Rdc1+ Rdc2)C ] (vd/2). NOW for the first time ever we have something new! The first equation says that
= c am/2 for c = a constant I could write out
Then the second equation says
c1 am + c2 c am/2 + c2 = 0 => am = 0 => Km = 0
Well, this is just a Cramer's rule problem with a null right side vector and that is the solution. Here then is what we find:
Ez(r,m) = - j (β'/βd) Jm(x) = 0 [wrong] x = β'r (D.1.27) (D.2.21)
Er(r,m) = am x-1 Jm(x) + Jm+1(x) = 0 β'2 = β2 - βd2 (D.2.11)
jEθ(r,m) = - am x-1 Jm(x) + ( + ) Jm+1(x) = 0 (D.2.15)
and then in the DC limit ALL moments vanish for m > 0 , something I have been looking for now for several days. But does this kill off the m = 0 as well??
Let's go back and examine m = 0 separately:
a0/2 (β'r /2)-1 / 0! + (β'r /2)1 / (1)! = (jω/σ) N0 (1) low ω
- a0/2 (β'r /2)-1 / 0! + (+ ) (β'r /2)1 / (1)! = 0 . (2) low ω
Recall from the box that
Er(r,m) = am x-1 Jm(x) + Jm+1(x) → am x-1 (x/2)m / m! + (x/2)m+1 / (m+1)!
so then
Er(r,0) → a0 x-1 + (x/2)1
With no doubt at all, this tells us that a0 ≡ 0, no way around that. So our two m = 0 BC's are then
(β'a /2)1 / (1)! = (jω/σ) N0 (1) low ω
+ (+ ) (β'a /2)1 / (1)! = 0 . (2) low ω
But we know that
N0 = (βd/2πωa) I = I/(2πavd) = a constant [ wrong] (D.2.31)
We have to use the new βd here and then we get (jω/σ) N0 → constant, not 0.
The first equation can be written differently:
(β'a /2)1 = (jω/σ) (βd/2πωa) I = (j/σ) (βd/2πa) I = Iβd(j/2πaσ)
While ω is still small but not zero, divide by βd to get
(β'/βd) (a/2) = (j/2πaσ)I
This says that
(β'/βd) = (j/2πaσ)(2/a)I = (j/πσa2)I
Now take limit and we find that
limω→0 [ (β'/βd)] = (j/πσa2)I
Now since
Ez(r,m) = - j (β'/βd) Jm(x)
we get
Ez(r,0) = - j (β'/βd) J0(x) = -j (j/πσa2)I J0(x)
= (1/πσa2)I J0(x)
= I Rdc J0(x) J0(x) = (x/2)0 / 0! = 1
= I Rdc
which is the correct result.
So perhaps, just maybe, this resolves our problem. So far this is just Idea F, but I will try to write this up in a separate doc and see if it survives more scrutiny.
// I did this, and under increased scrutiny, this idea has failed, so once again we are back to Square Zero. See "DC limit of App....".
Idea G. In a pure math sense, given the Helmholtz equation and div E = 0 and the boundary conditions, exactly what is the math mechanism that is causing the external charge density n(θ) with its peaked shape to find its way into the DC Ez(r,θ) distribution? After all n(θ) is on the outside surface, whereas Ez(r,θ) is inside, and seemingly in a non-related direction!
First of all consider the charge pump boundary condition.
Er(r=a,θ) = (jω/σ) n(θ) . (D.2.24)
Er(r=a,m) = (jω/σ) Nm . (D.2.25)
This does establish some kind of connection between the exterior n(θ) and something on the interior. Since we find in the DC limit that Er(r=a,m) = 0, and then since both LHS and RHS of the above equation is 0, it is hard to see how 0 = 0 can transmit those ηm moments to the interior. But as usual, we need to think of ω = 0.1 so it is not zero, and then the connection still exists.
Note: Due to this BC, Er(a,θ) has the same strong peak that n(θ) has. The shape of the peak is the same at any frequency.
But how does Er affect Ez ? Of the four underlying equations, only div E = 0 mixes Ez with some other field! It says
∂r (r Er(a,θ)) + ∂θEθ(a,θ) + r ∂zEz(a,θ) = 0 .
My other BC says that Eθ(a,θ) = 0 since I am in the low frequency capacitor limit let's say. This says φ is constant on the circle. Then of course ∂θEθ(a,θ) = 0 of necessity, and then we have
∂r (r Er(a,θ)) + ∂zEz(a,θ) = 0.
∂r (r Er(a,θ)) -jβd Ez(a,θ) = 0.
jβdEz(a,θ) = ∂r (r Er(a,θ))
Ez(a,θ) = -j (1/βd) ∂r (r Er(a,θ)) = -j (vd/ω) ∂r (r Er(a,θ))
Now you see from BC#1 that Er(a,θ) = (jω/σ) n(θ) that mag of Er(a,θ) → 0 as ω → 0, and so probably we expect ∂r (r Er(a,θ)) → 0 in magnitude as well. But (vd/ω) → ∞ and these offset each other allowing the function Ez(a,θ) to retain the peak in θ and a finite value as ω → 0.
So here is the answer to the question: It is the charge pump BC which causes the shape of Er(a,θ) to have the same shape as n(θ). It is then divE = 0 together with BC Eθ(a,θ) = 0 which then moves this shape into Ez(a,θ) . It is not that mysterious after all.
Idea H. Suppose it were really true that Jz is non-uniform at DC. You would think someone in the world would know about that!
King? In his page 24 discussion of the "closely space round conductors", he still states the idea that there is some Wz = A1z - A2z which does not depend on θ, so he is assuming that the conductor surfaces really are Az equipotentials. Page 25 he comes right out and says it: "Az has a constant but different value on each conductor surface". Bang! He claims Az = K ln(s2/s1) and then shows the contours are circles. He then goes on and on to obtain the usual two-cylinder solution (all in Cartesians). He then makes his page 30 statement that no one has ever computed Zs for the two cylinder problem, but he gives a "high frequency formula". I keep browsing King's early pages and I NEVER see any mention of skin effect or that his results are only valid in the skin effect regime. The word "skin" does not appear in King's book until page 361 where he is talking about a coaxial resistor. This is the only appearance. [ Another term people use is "perfect conductor" ]
Matick? He Chapter 8 is exactly on "transmission line parameters" so he must say something! He says that at DC or low ω a "true TEM" cannot exist due I guess to losses ( p 310). But, he says, as you increase ω and get into the skin depth regime. But they he says if you are in the TL limit, a true TEM exists at any ω. After this opening text, he dives into the coax line which does not exhibit my problem. But then 8.3 is the "two wire line". In this very short section he does comment on "proximity effect" causing a "redistribution of charge and current on the conductor surfaces", but he does not mention whether this is at all frequencies or not. He then does some stripline examples. Then in 8.5 we have more interesting text: he claims that the surfaces stay equipotential up to 1019 Hz, which is no doubt my same calculation, and this is my diffusion to the surface problem! So he is confirming that the basic capacitor approach works up to very high ω ! I need confirmation from time to time! Aha. Now: "for very low frequencies, a uniform current distribution can be assumed throughout the conductor cross sectional area." He claims you can compute the current distribution using Maxwell's Equations, but he does not do this, but refers to Sec 4.5 where he does show (as I recently did show) that as δ gets larger, you lose your expo decay and Jz becomes uniform, albeit very small! And that is the end of Matick.
Idea I. How do you explain either uniform or non-uniform Jz in a pure DC analysis?
I.1 The Radial Hall Effect // I make this up, have never it anywhere
For the single wire, electrons deflect at first toward the center line. I think we then get a radial Hall effect where there is a thin line of polarization charge at the conductor center since electrons crowd to that area. Then at the surface there is a positive "ion" charge density. This radial E field then causes Jz electrons to have no deflection at all. Then the question is: does this cause some sort of Jz(r) radial variation? The situation is super thin charge on the line and on the surface, and in the bulk of the conductor, there is no deflection. Charges enter at one end all across the cross section, they do their collision thing and drift between collisions with no transverse force. So I guess the argument is that "there is no reason" for Jz to be radially non-uniform once the radial Hall field has been "set up". In effect the Hall field is set up by a temporary radial current which shifts electrons from the surface to that center line, but this then stops. So I guess this explains why Jz is uniform at DC in a round wire.
I.2 Bringing in the second wire. Since the first wire is "in balance" with respect to its own field, we need only consider the effect of the field of the second wire. We don't need details on that "external" field other than it will have a gradient across the first wire. We then find that the Lorentz force is different as a function of position in the first wire. I have not proven it, but I think a Hall surface charge distribution could exist which makes the net transverse force be 0 at every point in the first wire cross section. If something were not balanced, more electron charge would build up to correct for it. Even if there were some fancy non-uniform Jz , the magnitude of Jz at some point would have no effect on deflection, unless of course there were a smaller v where there is a smaller Jz. Hmm, that would be a mechanism. This is too hard a problem for me, I definitely need help on it.
I.3 Web search on this subject.
"direct current proximity effect" nothing
"dc proximity effect" nothing
"low frequency proximity effect" not much
"current distribution inside a wire" some
"current distribution inside the wire"
"current distribution in the wire"
I keep trying this kind of search, and I never find anything.
Idea J. What does the B field look like?
Let's assume that my fields are correct at all frequencies because Helm and divE = 0 are correct at all frequencies and so are the Maxwells. I have seen the strange shape of the DC current Jz distribution. What does the corresponding B field look like? Are the conductor surfaces by any change equipotentials? Well, I did this in my first "very low freq" doc, and I got this result
ω Bθ(r,m) = - (j/2a) ηm I Rdc m(m+1)(r/a)m-1
which I did two different ways with the same answer. This says Bθ → ∞ which is totally strange.
Idea K. Look more closely at I !! If you look at the network model for the transmission line at ω = 0, you get nothing but little resistors top and bottom, and you get this formula for Z0
Z0 = → = = ∞
So in my thought experiment with the two cylinders, if you hold V constant at the source and vary ω, you find that as ω → 0, you must have I → 0 since I = V/Z0 !! This idea solves two problems:
(1) It makes Ez(r,m) → 0 and then I get a uniform Jz maybe, instead of my crazy pattern
(2) It makes Bθ → I/ω which has a chance of being finite.
So maybe this is my low-ω model for Z0 (remember that my charge pump condition assumes G = 0! )
Z0 ≈ =
Then
I = V/Z0 = V = eiπ/4 V ω1/2
Then look back at our Ez equation which are
Ez(r,m) = (1/2) ηm I Rdc (m+1)(r/a)m for m > 0
Ez(r,0) = I Rdc for m = 0
Then these say
Ez(r,m) = (1/2) ηm eiπ/4 V ω1/2 Rdc (m+1)(r/a)m for m > 0
Ez(r,0) = eiπ/4 V ω1/2 Rdc for m = 0
and both these go to zero. So this does not kill the m>0 terms relative to the m = 0 term.
So OK, I agree, at ω = 0, we must have I = 0. But for small ω, we still have the problem that, although I is small, the ratio of Ez(r,m)/ Ez(r,0) = I Rdc has a problem, In fact
Ez(r,m)/ Ez(r,0) = (1/2) ηm (m+1)(r/a)m
so once again, the strange distribution refuses to go away.