Magnetic Field Lines: Proving c(T)=c(0) with T≠0

Click For Summary

Discussion Overview

The discussion revolves around the conditions necessary for a function B, which defines a magnetic field, to ensure that a differentiable curve c returns to its initial position after some non-zero time T. The focus is on exploring the implications of the properties of B on the behavior of c, particularly in the context of magnetic field lines.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant poses a question regarding the assumptions needed for the function B to prove that c(T) = c(0) for some T ≠ 0.
  • Another participant seeks clarification, interpreting the question as asking whether c(dot)(T) = c(dot)(0) instead.
  • The original poster clarifies that they are interested in the curve returning to its starting point, not necessarily having the same direction.
  • A suggestion is made that for the condition c(T) = c(0) to hold, B must be divergence-free or that the integral of B over a boundary must equal zero.
  • A counterexample is provided, where for n=2, the functions B(x) = (x_1, -x_2) and c(t) = (e^t, e^{-t}) demonstrate that the previous assertion is incorrect.

Areas of Agreement / Disagreement

Participants do not appear to reach consensus, as there is disagreement regarding the conditions under which c(T) = c(0) can be proven, with at least one counterexample challenging the proposed conditions.

Contextual Notes

The discussion highlights the need for specific assumptions about the function B, but these assumptions remain unresolved. The implications of the counterexample also suggest limitations in the initial claims made about B's properties.

jostpuur
Messages
2,112
Reaction score
19
Suppose that a function [itex]B:\mathbb{R}^n\to\mathbb{R}^n[/itex] and [itex]c:\mathbb{R}\to\mathbb{R}^n[/itex] are defined such that [itex]c[/itex] is differentiable, and

[tex] \dot{c}(t) = B(c(t))[/tex]

for all [itex]t[/itex]. The question is that what must be assumed of [itex]B[/itex], so that it would become possible to prove that

[tex] c(T)=c(0)[/tex]

with some [itex]T\neq 0[/itex]?
 
Physics news on Phys.org
Do you mean prove that c(dot)(T) = c(dot)(0)?
 
No. I mean that the curve comes back to where it started from. (Not that it would point in the same direction at least twice.)
 
jostpuur said:
Suppose that a function [itex]B:\mathbb{R}^n\to\mathbb{R}^n[/itex] and [itex]c:\mathbb{R}\to\mathbb{R}^n[/itex] are defined such that [itex]c[/itex] is differentiable, and

[tex] \dot{c}(t) = B(c(t))[/tex]

for all [itex]t[/itex]. The question is that what must be assumed of [itex]B[/itex], so that it would become possible to prove that

[tex] c(T)=c(0)[/tex]

with some [itex]T\neq 0[/itex]?

[tex]\oint _{\partial S}B \bullet ndS = 0[/tex] or B must be divergence free.
 
That answer is incorrect.

[itex]n=2[/itex], [itex]B(x)=(x_1,-x_2)[/itex], [itex]c(t)=(e^t,e^{-t})[/itex] give a counter example.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K