DIPOLE_FLUX_EXPULSION Program

Uses

  • program~~dipole_flux_expulsion~~UsesGraph program~dipole_flux_expulsion DIPOLE_FLUX_EXPULSION module~globals GLOBALS program~dipole_flux_expulsion->module~globals module~kinds KINDS program~dipole_flux_expulsion->module~kinds module~vsh VSH program~dipole_flux_expulsion->module~vsh module~globals->module~kinds module~vsh->module~globals module~vsh->module~kinds

Worked example (2c): idealized superconducting-core flux expulsion. Ties to Elfritz (2016), cited in the manuscript, on field expulsion from superconducting neutron-star cores. Simplified to the standard "perfectly conducting sphere in a uniform ambient field" textbook problem: a sphere of radius totally excludes flux (idealized Meissner/Type-I limit -- real neutron-star cores are believed Type-II, with flux confined to quantized fluxoids rather than fully excluded; that fuller picture is not computed here). The boundary condition for all (no field may cross into a perfect diamagnet) fixes the induced dipole moment in closed form: , which superposes on the uniform ambient field to give the exterior field. Interior field is exactly zero. Purely magnetostatic: no induction equation, no time evolution.


Calls

program~~dipole_flux_expulsion~~CallsGraph program~dipole_flux_expulsion DIPOLE_FLUX_EXPULSION dcos dcos program~dipole_flux_expulsion->dcos dsin dsin program~dipole_flux_expulsion->dsin interface~pvsh_pol PVSH_POL program~dipole_flux_expulsion->interface~pvsh_pol interface~pvsh_rad PVSH_RAD program~dipole_flux_expulsion->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_AMB
real(kind=dp), parameter :: B0_AMB = 1.0_dp
real(kind=dp) :: BR_ANALYTIC
real(kind=dp) :: BR_LIB
real(kind=dp) :: BR_OUT_AT_R
real(kind=dp) :: BTH_ANALYTIC
real(kind=dp) :: BTH_LIB
real(kind=dp) :: BTH_OUT_AT_R
real(kind=dp) :: C_IND
real(kind=dp) :: DR
real(kind=dp) :: DSDR
integer(kind=i4) :: IR
integer(kind=i4) :: ITH
real(kind=dp) :: JUMP_EXPECTED
real(kind=dp) :: MAX_ERR
real(kind=dp), parameter :: MU_IND = -B0_AMB*R_SPHERE**3/2.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_FLUX_EXPULSION
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 :: B0_AMB = 1.0_dp     !- ambient uniform field
REAL(KIND=dp),    PARAMETER :: MU_IND = -B0_AMB*R_SPHERE**3/2.0_dp   !- induced dipole
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_AMB, C_IND, R, THETA, PHI, DR, S, DSDR
REAL(KIND=dp) :: BR_LIB, BTH_LIB, BR_ANALYTIC, BTH_ANALYTIC, MAX_ERR
REAL(KIND=dp) :: BR_OUT_AT_R, BTH_OUT_AT_R, 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_AMB = B0_AMB / (2.0_dp*DSQRT(3.0_dp/(4.0_dp*pi)))   !- ambient term: S = A_AMB * r^2
C_IND = MU_IND / DSQRT(3.0_dp/(4.0_dp*pi))             !- induced term: S = C_IND / r

! ── Field profile across the boundary, library vs. closed form ──────────────
OPEN(UNIT=65, FILE="./examples/dipole_flux_expulsion/field_profile.dat")
WRITE(65,'(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
      ! Perfect flux exclusion: field is exactly zero inside.
      BR_LIB = 0.0_dp
      BTH_LIB = 0.0_dp
      BR_ANALYTIC = 0.0_dp
      BTH_ANALYTIC = 0.0_dp
    ELSE
      S    = A_AMB*R**2 + C_IND/R
      DSDR = 2.0_dp*A_AMB*R - C_IND/R**2
      BR_ANALYTIC  = B0_AMB*DCOS(THETA) + 2.0_dp*MU_IND*DCOS(THETA)/R**3
      BTH_ANALYTIC = -B0_AMB*DSIN(THETA) +        MU_IND*DSIN(THETA)/R**3

      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))
    END IF

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

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

! ── Boundary check at r=R: Br(R)=0 (defining condition), Btheta jump ────────
OPEN(UNIT=66, FILE="./examples/dipole_flux_expulsion/boundary_check.dat")
WRITE(66,'(A)') '# theta  Br_out(R)  Btheta_out(R)  jump_Btheta  jump_expected'
DO ITH = 1, NTHETA_LIST
  THETA = THETA_LIST(ITH)

  S    = A_AMB*R_SPHERE**2 + C_IND/R_SPHERE
  DSDR = 2.0_dp*A_AMB*R_SPHERE - C_IND/R_SPHERE**2
  RADVEC = PVSH_RAD(1, 0, THETA, PHI)
  POLVEC = PVSH_POL(1, 0, THETA, PHI)
  BR_OUT_AT_R  = (2.0_dp*S/R_SPHERE**2) * DBLE(RADVEC(1))
  BTH_OUT_AT_R = (DSQRT(2.0_dp)/R_SPHERE * DSDR) * DBLE(POLVEC(2))

  JUMP_EXPECTED = -1.5_dp*B0_AMB*DSIN(THETA)   !- Btheta_out(R) - 0 (interior)

  WRITE(66,*) THETA, BR_OUT_AT_R, BTH_OUT_AT_R, BTH_OUT_AT_R, JUMP_EXPECTED

  IF (ABS(BR_OUT_AT_R) > TOL) THEN
    N_FAIL = N_FAIL + 1
    WRITE(*,'(A,ES10.3)') "FAIL  Br_zero_at_surface  Br=", BR_OUT_AT_R
  END IF
  IF (ABS(BTH_OUT_AT_R-JUMP_EXPECTED) > TOL) THEN
    N_FAIL = N_FAIL + 1
    WRITE(*,'(A,ES10.3)') "FAIL  Btheta_jump  absdiff=", ABS(BTH_OUT_AT_R-JUMP_EXPECTED)
  END IF
ENDDO
CLOSE(66)
IF (N_FAIL == 0) WRITE(*,'(A)') "PASS  Br_zero_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_flux_expulsion"
END IF

END PROGRAM DIPOLE_FLUX_EXPULSION