DIPOLE_UNIFORM_SPHERE Program

Uses

  • program~~dipole_uniform_sphere~~UsesGraph program~dipole_uniform_sphere DIPOLE_UNIFORM_SPHERE module~globals GLOBALS program~dipole_uniform_sphere->module~globals module~kinds KINDS program~dipole_uniform_sphere->module~kinds module~vsh VSH program~dipole_uniform_sphere->module~vsh module~globals->module~kinds module~vsh->module~globals module~vsh->module~kinds

Worked example (2b): uniformly magnetized sphere exterior dipole. Classic textbook magnetostatic boundary-value problem (e.g. Griffiths Ex. 6.1 / Jackson): a sphere of radius with uniform magnetization has a genuinely uniform interior field and a pure exterior dipole field. In the normalized units used here (, i.e. ), the magnetic-scalar-potential solution gives the closed-form relation . Although there is no free surface current in this relation's derivation but the interior/exterior fields are not continuous in (physically: continuity is broken by the sphere's own bound magnetization surface current, ) -- is continuous at , but has a jump. Both are checked below using FORTVSH's PVSH_RAD/PVSH_POL evaluated with the interior (, uniform field) and exterior (, dipole) stream functions. Purely static/magnetostatic: no induction equation, no time evolution.


Calls

program~~dipole_uniform_sphere~~CallsGraph program~dipole_uniform_sphere DIPOLE_UNIFORM_SPHERE dcos dcos program~dipole_uniform_sphere->dcos dsin dsin program~dipole_uniform_sphere->dsin interface~pvsh_pol PVSH_POL program~dipole_uniform_sphere->interface~pvsh_pol interface~pvsh_rad PVSH_RAD program~dipole_uniform_sphere->interface~pvsh_rad proc~pvsh_pol_dp PVSH_POL_DP interface~pvsh_pol->proc~pvsh_pol_dp proc~pvsh_rad_dp PVSH_RAD_DP interface~pvsh_rad->proc~pvsh_rad_dp proc~pvsh_pol_dp->dcos proc~pvsh_pol_dp->dsin interface~assoc_legendre_and_deriv ASSOC_LEGENDRE_AND_DERIV proc~pvsh_pol_dp->interface~assoc_legendre_and_deriv interface~log_fact LOG_FACT proc~pvsh_pol_dp->interface~log_fact interface~ssh SSH proc~pvsh_rad_dp->interface~ssh proc~assoc_legendre_and_deriv_dp ASSOC_LEGENDRE_AND_DERIV_DP interface~assoc_legendre_and_deriv->proc~assoc_legendre_and_deriv_dp proc~log_fact_dp LOG_FACT_DP interface~log_fact->proc~log_fact_dp proc~ssh_dp SSH_DP interface~ssh->proc~ssh_dp proc~assoc_legendre_and_deriv_dp->interface~log_fact proc~ssh_dp->dcos proc~ssh_dp->interface~log_fact interface~assoc_legendre ASSOC_LEGENDRE proc~ssh_dp->interface~assoc_legendre proc~assoc_legendre_dp ASSOC_LEGENDRE_DP interface~assoc_legendre->proc~assoc_legendre_dp proc~assoc_legendre_dp->interface~log_fact

Variables

Type Attributes Name Initial
real(kind=dp) :: A_STREAM
real(kind=dp), parameter :: B0 = 2.0_dp*MU/R_SPHERE**3
real(kind=dp) :: BR_ANALYTIC
real(kind=dp) :: BR_IN
real(kind=dp) :: BR_LIB
real(kind=dp) :: BR_OUT
real(kind=dp) :: BTH_ANALYTIC
real(kind=dp) :: BTH_IN
real(kind=dp) :: BTH_LIB
real(kind=dp) :: BTH_OUT
real(kind=dp) :: C_STREAM
real(kind=dp) :: DR
real(kind=dp) :: DSDR
integer(kind=i4) :: IR
integer(kind=i4) :: ITH
real(kind=dp) :: JUMP_BTH
real(kind=dp) :: JUMP_EXPECTED
real(kind=dp) :: MAX_ERR
real(kind=dp), parameter :: MU = 1.0_dp
integer(kind=i4), parameter :: NR = 61
integer(kind=i4), parameter :: NTHETA_LIST = 3
integer(kind=i4) :: N_FAIL
real(kind=dp) :: PHI
complex(kind=dp), DIMENSION(3) :: POLVEC
real(kind=dp) :: R
complex(kind=dp), DIMENSION(3) :: RADVEC
real(kind=dp), parameter :: R_MAX = 3.0_dp
real(kind=dp), parameter :: R_MIN = 0.2_dp
real(kind=dp), parameter :: R_SPHERE = 1.0_dp
real(kind=dp) :: S
real(kind=dp) :: THETA
real(kind=dp) :: THETA_LIST(NTHETA_LIST)
real(kind=dp), parameter :: TOL = 1.0E-12_dp

Source Code

PROGRAM DIPOLE_UNIFORM_SPHERE
USE KINDS,   ONLY: dp, i4
USE GLOBALS, ONLY: pi
USE VSH,     ONLY: PVSH_RAD, PVSH_POL
IMPLICIT NONE

INTEGER(KIND=i4), PARAMETER :: NR = 61
INTEGER(KIND=i4), PARAMETER :: NTHETA_LIST = 3
REAL(KIND=dp),    PARAMETER :: R_SPHERE = 1.0_dp
REAL(KIND=dp),    PARAMETER :: MU = 1.0_dp        !- exterior dipole moment
REAL(KIND=dp),    PARAMETER :: B0 = 2.0_dp*MU/R_SPHERE**3   !- interior uniform field
REAL(KIND=dp),    PARAMETER :: R_MIN = 0.2_dp, R_MAX = 3.0_dp
REAL(KIND=dp),    PARAMETER :: TOL = 1.0E-12_dp

REAL(KIND=dp) :: THETA_LIST(NTHETA_LIST)
REAL(KIND=dp) :: A_STREAM, C_STREAM, R, THETA, PHI, DR, S, DSDR
REAL(KIND=dp) :: BR_LIB, BTH_LIB, BR_ANALYTIC, BTH_ANALYTIC, MAX_ERR
REAL(KIND=dp) :: BR_IN, BTH_IN, BR_OUT, BTH_OUT, JUMP_BTH, JUMP_EXPECTED
COMPLEX(KIND=dp), DIMENSION(3) :: RADVEC, POLVEC
INTEGER(KIND=i4) :: IR, ITH, N_FAIL

THETA_LIST = (/ 0.0_dp, 0.25_dp*pi, 0.5_dp*pi /)
PHI = 0.0_dp
N_FAIL = 0

A_STREAM = B0 / (2.0_dp*DSQRT(3.0_dp/(4.0_dp*pi)))   !- S_in(r) = A_STREAM * r^2
C_STREAM = MU / DSQRT(3.0_dp/(4.0_dp*pi))             !- S_out(r) = C_STREAM / r

! ── Field profile across the boundary, library vs. closed form ──────────────
OPEN(UNIT=63, FILE="./examples/dipole_uniform_sphere/field_profile.dat")
WRITE(63,'(A)') '# r  theta  Br_lib  Btheta_lib  Br_analytic  Btheta_analytic'

DR = (R_MAX - R_MIN) / (NR - 1)
MAX_ERR = 0.0_dp
DO ITH = 1, NTHETA_LIST
  THETA = THETA_LIST(ITH)
  DO IR = 0, NR-1
    R = R_MIN + IR*DR
    IF (R < R_SPHERE) THEN
      S = A_STREAM * R**2
      DSDR = 2.0_dp * A_STREAM * R
      BR_ANALYTIC  =  B0*DCOS(THETA)
      BTH_ANALYTIC = -B0*DSIN(THETA)
    ELSE
      S = C_STREAM / R
      DSDR = -C_STREAM / R**2
      BR_ANALYTIC  = 2.0_dp*MU*DCOS(THETA)/R**3
      BTH_ANALYTIC =         MU*DSIN(THETA)/R**3
    END IF

    RADVEC = PVSH_RAD(1, 0, THETA, PHI)
    POLVEC = PVSH_POL(1, 0, THETA, PHI)
    BR_LIB  = (2.0_dp*S/R**2) * DBLE(RADVEC(1))
    BTH_LIB = (DSQRT(2.0_dp)/R * DSDR) * DBLE(POLVEC(2))

    MAX_ERR = MAX(MAX_ERR, ABS(BR_LIB-BR_ANALYTIC), ABS(BTH_LIB-BTH_ANALYTIC))
    WRITE(63,*) R, THETA, BR_LIB, BTH_LIB, BR_ANALYTIC, BTH_ANALYTIC
  ENDDO
ENDDO
CLOSE(63)

IF (MAX_ERR > TOL) THEN
  N_FAIL = N_FAIL + 1
  WRITE(*,'(A,ES10.3)') "FAIL  uniform_sphere_accuracy  max_err=", MAX_ERR
ELSE
  WRITE(*,'(A,ES10.3)') "PASS  uniform_sphere_accuracy  max_err=", MAX_ERR
END IF

! ── Boundary check at r=R: Br continuous, Btheta jumps by 3*MU*sin(theta)/R^3
OPEN(UNIT=64, FILE="./examples/dipole_uniform_sphere/boundary_check.dat")
WRITE(64,'(A)') '# theta  Br_in  Br_out  absdiff_Br  Btheta_in  Btheta_out  jump_Btheta  jump_expected'
DO ITH = 1, NTHETA_LIST
  THETA = THETA_LIST(ITH)

  RADVEC = PVSH_RAD(1, 0, THETA, PHI)
  POLVEC = PVSH_POL(1, 0, THETA, PHI)

  S    = A_STREAM * R_SPHERE**2
  DSDR = 2.0_dp * A_STREAM * R_SPHERE
  BR_IN  = (2.0_dp*S/R_SPHERE**2) * DBLE(RADVEC(1))
  BTH_IN = (DSQRT(2.0_dp)/R_SPHERE * DSDR) * DBLE(POLVEC(2))

  S    = C_STREAM / R_SPHERE
  DSDR = -C_STREAM / R_SPHERE**2
  BR_OUT  = (2.0_dp*S/R_SPHERE**2) * DBLE(RADVEC(1))
  BTH_OUT = (DSQRT(2.0_dp)/R_SPHERE * DSDR) * DBLE(POLVEC(2))

  JUMP_BTH = BTH_OUT - BTH_IN
  JUMP_EXPECTED = 3.0_dp*MU*DSIN(THETA)/R_SPHERE**3

  WRITE(64,*) THETA, BR_IN, BR_OUT, ABS(BR_OUT-BR_IN), &
              BTH_IN, BTH_OUT, JUMP_BTH, JUMP_EXPECTED

  IF (ABS(BR_OUT-BR_IN) > TOL) THEN
    N_FAIL = N_FAIL + 1
    WRITE(*,'(A,ES10.3)') "FAIL  Br_continuity  absdiff=", ABS(BR_OUT-BR_IN)
  END IF
  IF (ABS(JUMP_BTH-JUMP_EXPECTED) > TOL) THEN
    N_FAIL = N_FAIL + 1
    WRITE(*,'(A,ES10.3)') "FAIL  Btheta_jump  absdiff=", ABS(JUMP_BTH-JUMP_EXPECTED)
  END IF
ENDDO
CLOSE(64)
IF (N_FAIL == 0) WRITE(*,'(A)') "PASS  Br_continuity_and_Btheta_jump (all theta)"

! ── Summary ──────────────────────────────────────────────────────────────────
IF (N_FAIL > 0) THEN
  WRITE(*,'(A,I0,A)') "RESULT: FAILED - ", N_FAIL, " check(s) failed"
  STOP 1
ELSE
  WRITE(*,'(A)') "RESULT: PASSED - dipole_uniform_sphere"
END IF

END PROGRAM DIPOLE_UNIFORM_SPHERE