Don't understand something in proof

  • Context: Graduate 
  • Thread starter Thread starter WiFO215
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Discussion Overview

The discussion revolves around understanding a proof related to Alfven's theorem, specifically addressing the concepts of first order and second order approximations in the context of changes in magnetic fields over small time increments. Participants explore the implications of these approximations in the proof's context.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Alfven's theorem states that the change of flux through any closed loop moving through a magnetic field of conducting material is zero.
  • Some participants discuss the meaning of first order and second order approximations, with one suggesting that first order refers to treating the magnetic field as constant over a small time increment dt.
  • Another participant emphasizes that ignoring dt in comparison to t is a common practice in non-rigorous proofs.
  • One participant explains that a first order approximation keeps terms linear in dt, while second order approximations include terms that are products of small increments.
  • There is a clarification that second order terms should be ignored in crude approximations, but may be relevant in more precise calculations.
  • Participants provide examples of how to expand functions to illustrate the concept of approximations, discussing the implications of keeping or ignoring various terms.

Areas of Agreement / Disagreement

Participants generally agree on the definitions of first and second order approximations, but there is some uncertainty regarding their application in the context of the proof. The discussion remains somewhat unresolved as participants clarify their understanding without reaching a consensus on the implications for the proof itself.

Contextual Notes

The discussion involves assumptions about the continuity and variation of the magnetic field with respect to time, as well as the treatment of small increments in mathematical expressions. These assumptions are not fully explored or resolved.

Who May Find This Useful

Readers interested in mathematical physics, particularly those studying electromagnetic theory and approximation methods in proofs, may find this discussion relevant.

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
Nice how you copied the theorem and the proof. But you mind telling us what you don't understand, or should we just go through it step by step for you?
 
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.
 
  • #10
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.
 
  • #11
Right. That cleared it up. Thanks guys!
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
5
Views
966
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K