WennA
ist kein reines Messgerät, oder schwächer wenn∇ × A ≠ 0
, dann ist das falsch
∇R∫RR0Ein (R') ⋅ dR'= A ( r )(0)
Ohne dieses Ergebnis sehen Sie durch direkte Inspektion, dass Ihre Aussage falsch ist. Ansonsten stimmt es. Der Beweis ist einfach, es ist die direkte Verallgemeinerung dieser elementaren Identität
( - d.hDDX+ f( x ) ) ψ ( x ) = − iche+ ich∫X0F( J) djDDXe− ich∫X0F( J) djψ ( x ).(1)
Aus (1) noch einmal die Identität implementieren, die Sie haben
( - d.hDDX+ f( x ) ) ( - ichDDX+ f( x ) ) ψ ( x )= ( - d.h)2e+ ich∫X0F( J) djDDXe− ich∫X0F( J) dje+ ich∫X0F( J) djDDXe− ich∫X0F( J) djψ ( x ),
das ist
( - d.hDDX+ f( x ) )2ψ ( x ) =e+ ich∫X0F( J) djD2DX2e− ich∫X0F( J) djψ ( x )
und schlussendlich
e− ich∫X0F( J) dj[( - d.hDDX+ f( x ) )2+ u( x ) ] ψ = ( −D2DX2+ u( x ) )e− ich∫X0F( J) djψ ( x ).
Der entscheidende Punkt in den obigen Berechnungen ist das
DDX∫X0F( J) dj= f( x ) .(2)
Leider funktioniert das Verfahren nicht in der Dimension
> 1
, seit der Verallgemeinerung von
∫X0F( J) dj
hängt vom Integrationspfad ab, es sei denn, das Vektorfeld
A
was ersetzt
F
hat null curl. Auch wenn ein Pfad willkürlich festgelegt wird, gilt die Verallgemeinerung (0) von (2) im Allgemeinen nicht in einer Dimension größer als
1
. Gültigkeit von (2) für Dimension größer als
1
ist gleichbedeutend damit, das zu sagen
A
ist zumindest lokal ein reines Messgerät, und doch
B = ∇ × A = 0
.
Wladimir Kalitwjanski
wahrscheinlich_jemand
Stein-zeng
Wladimir Kalitwjanski
Wladimir Kalitwjanski