Don't understand something in proof

  • Context: Graduate 
  • Thread starter Thread starter WiFO215
  • Start date Start date
  • Tags Tags
    Proof
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
10 replies · 3K views
WiFO215
Messages
417
Reaction score
1
Alfven's theorem:

The change of flux through any closed loop moving through a magnetic field of conducting material is zero.

Imagine a loop S moving with speed v and a time later it is a little ahead. It is now loop S', it's dimensions have somehow changed. The "band" which connects S to S' is R. All this happens in a time dt. Initially, the field was B(t). After some time, it is B(t+dt).

(a) J = [tex]\sigma[/tex](E + v X B); J finite, [tex]\sigma[/tex] --> [tex]\infty[/tex], E + (v XB) = O.Take the curl: [tex]\nabla[/tex]xE + [tex]\nabla[/tex]x(v XB) = O. But
8B 8B
Faraday's law says [tex]\nabla[/tex]xE = -dB/dt. So dB/dt = [tex]\nabla[/tex]x(v XB). qed
(b) [tex]\nabla[/tex].B = 0 --> [tex]\oint[/tex] B. da = a for any closed surface. Apply this at time (t + dt) to the surface consisting of
S, S', and R:

[tex]\int[/tex]S' B(t + dt) .da + [tex]\int[/tex]R B(t + dt) .da - [tex]\int[/tex]S B(t + dt) .da =a

(the sign change in the third term comes from switching outward da to inward da).

d[tex]\phi[/tex]=[tex]\int[/tex]S' B(t + dt) .da - [tex]\int[/tex]S B(t) .da = [tex]\int[/tex] [B(t + dt) - B(t)] .da - [tex]\int[/tex]R B(t + at) .da ~

d[tex]\phi[/tex]= [tex]\int[/tex]dB/dt . da} dt -[tex]\int[/tex] B(t + dt) . [(dl X v)

Since the second term is already first order in dt, we can replace B(t + dt) by B(t) (the distinction would be
second order)
:
d[tex]\phi[/tex]=dt [tex]\int[/tex] (dB/dt.da) - [tex]\int[/tex]B.(dlxv) [this term is the same as (vxB).dl] =dt{[tex]\int[/tex]dB/dt .da - [tex]\nabla[/tex]x(vXB).da}.

So,
d[tex]\phi[/tex]/dt = 0

Now, I don't understand the part in bold. What does first order and second order refer to?
 
Last edited:
Physics news on Phys.org
Oi! When I edited the damn thing didn't update. I noticed that as soon as I typed it in. Stupid thing. I've updated now.
 
this is a non rigorous proof, where dt is ignored in comparison to t. just think of dt as a small change in t. so wherever a small number is added to a large number, the smaller one is ignored. however if you divide one small number by another small number the result may not be small and should not be ignored.
 
I'm sorry. I don't get you.
 
The magnetic field is continuous and slowly varying in time in comparison to dt. dt is some very small infinitesimal time increment, so a first order approximation would be that the magnetic field at time t and time t+dt is the same.
 
Oh. What does "first order" mean? Does it mean making a good approximation for B as it varies slowly with respect to t?
 
first order means that the small number is present as dt. if it is present as a multiple of two small numbers as in dt.ds (or any other thing) it is called second order. second order approximations are even finer and when you are solving problems only crudely, you should ignore all second order terms.
 
nirax said:
first order means that the small number is present as dt. if it is present as a multiple of two small numbers as in dt.ds (or any other thing) it is called second order. second order approximations are even finer and when you are solving problems only crudely, you should ignore all second order terms.

To more explicitly show this you would want to do an expansion of f(t+dt).

[tex]f(t+\Delta t) = f(t) + \Delta t f'(t) + \Delta t^2 \frac{1}{2}f''(t) + O(\Delta t^3)[/tex]

So the first order approximation would drop any terms with \Delta t and above. Keeping the first two terms would be the second order approximation and so on.
 
let me put it in new words but same in spirit to born2bwire

suppose you want to check the value of [tex](t+\Delta t)(s+ \Delta s)[/tex]. you expand this as [tex](t.s + s.\Delta t + t.\Delta s + \Delta t .\Delta s)[/tex]. now what you should take depends upon how closely you want to approximate.

1. suppose you want a very crude answer, you just ignore all the small terms (ie the ones involving [tex]\Delta[/tex]'s). you get [tex]t.s[/tex]. this is zeroth order approximation.

2. if you want to approximate more closely, you keep all terms involving single [tex]\Delta[/tex]'s. that gives you [tex](t.s + s.\Delta t + t.\Delta s )[/tex]. this wud be termed as first order approximation.

3. if you are still not satisfied you can keep the terms involving two (or less) [tex]\Delta[/tex]'s. that gives you full [tex](t.s + s.\Delta t + t.\Delta s + \Delta t .\Delta s)[/tex]. we call this second order approximation. in this case it turns out that this is exact. but there may be cases where third or more orders of approximation is useful.

i think you get the general idea.
 
Right. That cleared it up. Thanks guys!