Beruflich Dokumente
Kultur Dokumente
] 0 on ,
If the vortices become unpinned, they move in the direction
of this force, and so their velocity v is parallel to F
L
. The
where [] denotes the jump across the boundary. We ne-
movement of vortices induces the electric eld
glect the surface current, which is much less than the total
current in most applications of type-II superconductors
[16]. The tangential component of magnetic eld H on this E B v,
boundary is thus assumed to be continuous too:
which is thus parallel to B (J B). If B is perpendicular
[H
] 0 on . (9)
to J, as is always the case for two-dimensional problems
and also for some three-dimensional problems, e.g., those
with axial symmetry, the vectors of current density and We also suppose that H 0 as x .
192 LEONID PRIGOZHIN
The mathematical model obtained contains a system The model now consists of Eqs. (3), (5)(10) and the
boundary condition at innity. The electric eld has been of equations and inequalities which is difcult to attack
directly. Furthermore, in accordance with the postulates excluded and there remain only two unknowns: the
magnetic eld and the effective resistivity. We will now of the Bean model, the effective resistivity is not dened
explicitly but only implicitly determined by (5)(7). How- also exclude from the model the resistivity, an auxiliary
variable introduced to specify the possible direction of ever, it can be shown that this model is well posed mathe-
matically and a much more convenient variational formula- electric eld.
Let us dene the external magnetic eld H
e
as a quasista- tion of this model can be derived. Below we present an
outline of transition to such formulation; see [17] for the tionary magnetic eld induced by the external current in
the absence of the superconductor, i.e., as a solution of mathematical details.
the problem
3. VARIATIONAL FORMULATIONS
curl H
e
J
e
, div H
e
0,
(11) 3.1. Magnetic Field Formulation
H
e
0 as x .
Let us dene a space of test vector functions whose
curl vanishes in the exterior and whose tangential compo-
Since div J
e
0, the problem has a unique solution and
nents are continuous across the boundary ,
it is the curl of convolution [18],
V (x, t) curl 0 in , [
] 0 on
H
e
curl (G J
e
),
(the functions and their curls are assumed to be square
where G 1/4 x is the Green function of Laplace equa- integrable). Multiplying (1) by an arbitrary function from
tion (G (1/2) ln (1/x) for two-dimensional problems). V and integrating in time and over , we obtain
We can now introduce a new variable, h H H
e
, satis-
fying
0
T
0
B
t
curl E
curl h 0 in , (12)
0
T
0
H
t
T
0
[E curl div(E )]
curl h J
c
(h H
e
) in , (13)
[h
] 0 on . (14)
0
T
0
H
t
T
0
(E ) n,
Let us dene the set of functions
since curl 0 in . (The normal n is directed towards
K (h) V curl J
c
(h H
e
) in .
the domain .) Similarly, in (1), (2), and (4) yield
This set depends on h and, due to (12)(14), h itself belongs
0
0
T
0
H
t
T
0
curl H curl
to K (h). Furthermore, since curl h curl H in , the
relations (6), (7) yield
T
0
(E ) n.
T
0
curl h
2
T
0
J
2
c
(h H
e
).
Here
and
0
T
0
R
3
h H
e
t
( h)
0
T
0
R
3
H
t
T
0
T
0
curl h curl( h)
which is valid for all test functions from V (R
3
denotes
T
0
(J
2
c
(h H
e
) curl curl h) 0.
the entire space).
BEAN CRITICAL-STATE PROBLEMS 193
This proves that h is a solution to the problem Variational reformulations of free boundary problems
are very convenient for numerical solution because the
free boundary does not appear in such formulations
nd function h such that
explicitly. The same numerical algorithm can be applied
everywhere, e.g., in the critical and subcritical regions
h K (h),
(15)
of the superconductor, and the front-tracking becomes
(h H
e
/t, h) 0 for any K (h),
unnecessary (see [23]). However, the solution of (16)
must be calculated in an innite domain, and this is an
h
t0
h
0
,
additional complication. To avoid this difculty, we now
derive an equivalent variational formulation for the cur-
where (u, w)
T
0
R
3 u w is the scalar product of two
rent density.
vector functions and h
0
B
0
/
0
H
e
t0
.
A problem of the form (15) is called a quasivariational
3.2. Current Density Formulation
inequality. More familiar are variational formulations
Let us rst note that instead of the set of admissible
where the solution is sought as an extremal point of some
functions K in the variational inequality (16) we can use
variational functional. If the problem contains a unilateral
the subset
constraint, like condition (6) in our case, the extremum is
to be found on the set of functions satisfying this constraint.
The variational (if the admissible set does not depend K
0
K div 0.
on the unknown solution) or quasivariational inequalities
express then an optimality condition for the constrained
Indeed, if h is a solution to (16), there exists a function
optimization problems [19]. Although for the nonstation-
such that the pair H, , where H h H
e
, is a solution
ary problems, like the critical-state problem under consid-
of the critical state problem. Since div H 0, we have
eration, no appropriate variational functional exists [20], a
div h 0 and h belongs to K
0
. Thus h is a solution to
formulation in the form of a variational or quasivariational
(16) with the set K
0
instead of K. It can be proved that
inequality may, as we saw, be still available.
this new variational inequality has also only one solution,
The problem (15) is equivalent to the Bean model: as
and so it is equivalent to (16).
proved in [17], the function h(x, t) is a solution of the
Furthermore, for any function from K
0
, the function
quasivariational inequality (15) if and only if there exists
curl belongs to the set
(x, t) such that the pair H, , where H h H
e
, is a
solution of the critical-state problem (3), (5)(10). It is also
shown in [17] that the effective resistivity is a Lagrange
multiplier related to the current density constraint in the
K
1
(x, t)
|
J
c
in ,
0 in ,
div 0 in R
3
,
Bean model.
It may be noted that the variational inequalities arise
also in models of some other electromagnetic phenomena
[21]. Also, the similarity of magnetic eld accumulation in
which can be regarded a set of possible current densities
type-II superconductors to the growth of a sandpile has
in the superconductor. On the other hand, for any function
been mentioned by several authors [16, 3]. Indeed, the
which belongs to K
1
, there exists a unique solution to
inequality (15) is similar to a scalar variational inequality
the problem
arising in the model of pile growth [22].
If, as was assumed by Bean, the critical current density
curl , div 0,
does not depend on the magnetic eld, the set of admissible
functions is xed: K (h) K. The inequality (15) becomes
0 as x .
a variational inequality:
This solution, which we denote by R , belongs to K
0
and
nd h K such that
may be written as a curl of a convolution,
(h H
e
/t, h) 0 for any K, (16)
R curl(G ).
h
t0
h
0
.
We have already considered such a problem above
and dened H
e
as R J
e
. It is easy to see that h R J The existence and uniqueness of solution to this problem
were proved in [17]. and we can rewrite inequality (16) with the admissible set
194 LEONID PRIGOZHIN
K
0
as eld. Such a uniform eld H
e
(t) in the neighborhood of a
superconductor can be generated by placing the supercon-
ductor inside a long solenoid. For two-dimensional cong- nd J K
1
such that
urations, i.e., a long cylinder in perpendicular eld, the
(R J J
e
/t, R R J) 0 for any K
1
,
uniform external eld could be generated by two parallel
innite sheets of current. Since H
e
curl A
e
, we can easily
R J
t0
h
0
,
nd the vector potential corresponding to the uniform eld
H
e
up to a constant of integration. For two-dimensional
or, equivalently,
problems, the potential of the current which induces the
eld H
e
H
e,1
e
1
H
e,2
e
2
is A
e
(x
2
H
e,1
x
1
H
e,2
C)e
3
nd J K
1
such that
in the space between the two plates. The potential inside
(R *R J J
e
/t, J) 0 for any K
1
,
the solenoid, where H
e
H
e
e
z
, is A
e
(rH
e
/2 C/r)e
T
0
R
3
curl(G ) curl(G )
nd J K
2
such that
T
0
R
3
G curl curl(G )
(G J/t x
2
H
e,1
/t x
1
H
e,2
/t, J) 0
for any K
2
,
T
0
R
3
G [graddiv(G ) (G )]
J
t0
J
0
, (19)
T
0
R
3
G [G (graddiv ) (G ) ]
where J
0
is the only nonzero component of curl h
0
and
T
0
R
3
G ,
K
2
(x, t) J
c
J
c
2
k
2
K(k) E(k) K(k)
,
k 2
rr
(r r)
2
(z z)
2
1/2
.
The current J and all functions K
2
are, in this case,
dened in the half cross section of the superconductor,
FIG. 2. Long superconductor in perpendicular eld and nite ele-
which is a body of rotation.
ment discretization.
4. NUMERICAL SOLUTION
be placed into a perpendicular magnetic eld (Fig. 2). We
The rst step in the numerical solution of (19) and (20)
dene a regular nite element net with square elements
is the nite difference approximation in time. This leads
in a rectangle, covering domain , and denote by I
the
to stationary variational inequalities at each time layer,
set of elements which lie mostly inside this domain. At
each time layer, the current density is approximated by a
nd J K
3
such that
(22)
constant, J
i
, within each nite element e
i
. The discretized
optimization problem (23) can be written as
(L J f, J) 0 for any K
3
,
where
min
J
1
,..., J
N
J
m
J
c
if nI
J
m
0 if nI
1
2
N
i, j1
J
i
M
i, j
J
j
N
i1
f
i
J
i
(24)
K
3
(x) J
c
J
c
.
For axially symmetric problems, the operator L is dened Here N is the number of nite elements,
by (21), f L J
r
2
(H
e
H
e
), and
e
i
e
j
G (x x) dx
1
dx
2
dx
1
dx
2
,
sional problems, L is the convolution with G (1/2) ln(1/
x) and f L J
x
2
(H
e,1
H
e,1
) x
1
(H
e,2
H
e,2
).
It can be shown that these stationary variational inequal-
f
i
e
i
f(x)
N
j1
M
i, j
J
j
(H
e,1
H
e,1
)
e
i
x
2
ities are equivalent to constrained optimization problems
(H
e,2
H
e,2
)
e
i
x
1
.
min
JK
3
1
2
(L J, J) ( f, J)
. (23)
For axially symmetric problems we approximate half the
cross section in a similar way and obtain (24) with the coef-
cients
Indeed, let J
M
i, j
e
i
e
j
a(r, z; r, z) drdzdrdz,
(1 )J
also belongs to K
3
. Since J
is the point
of minimum,
f
i
N
j1
M
i, j
J
j
(H
e
H
e
)
e
i
r
2
drdz.
0
d
d
1
2
(L J
, J
) ( f, J
0
(L J f, J),
Below we compare the numerical and analytical solutions
also for innitely thin strips and disks in perpendicular
elds. The cross sections are then intervals; to nd the and J also solves the variational inequality (22). The con-
verse is also true. numerical solutions we solve (24) with the appropriate co-
efcients. To proceed with the solution, we now discretize the
problem in space and perform the optimization numeri- Some of the integrals M
i, j
are singular and their evalua-
tion needs special consideration (Appendix). Provided the cally. Let an innitely long cylinder with a cross section
196 LEONID PRIGOZHIN
The zero eld core shrinks with the growth of external
eld and completely disappears when this eld becomes
sufciently strong (Fig. 4). Note that the possible direction
of current density is known and the magnitude can take
only the values J
c
or zero. This fact can be used in the
numerical procedure; instead of performing the minimiza-
tion in (24) with high accuracy, one can simply round the
values of current density, obtained at some stage of minimi-
zation, to the closest of these three possible values. By a
different method, a similar result was recently obtained by
Brandt [24].
Results of numerically simulating the penetration of per-
pendicular magnetic eld into cylindrical superconductors
of various cross sections are shown in Fig. 5.
In [4], Bean presented an asymptotic solution for the
magnetization of a superconducting half space in a rotating
FIG. 3. Thin strip in a perpendicular eld. The distribution of current
density: , analytical; , numerical solutions. Numbers indicate
the ratio H
e
/H
c
.
coefcients are found, solving the optimization problem is
not difcult. We used the method of point underrelaxation
with projection [23], which in this case was more efcient
than the relaxation or overrelaxation algorithms. The com-
putation of a typical example (see below) needed about
20 min of IBM RS6000/370 time for the nite-element grid
80 80.
5. EXAMPLES
In all examples below we assume the superconductor is
initially in the virgin (zero eld) state. Let us consider rst
a long strip in a perpendicular external eld. If the strip
thickness is much smaller than the strip width 2L, the
current density integrated across the strip thickness,
I(x
1
, t)
0
J(x
1
, x
2
, t) dx
2
,
can be found analytically [5, 6]. For a growing external
magnetic eld H
e
H
e
(t)e
2
,
I
I
c
arctg[cx
1
/(b
2
x
2
1
)
1/2
], x
1
b,
x
1
/x
1
, b x
1
L,
where I
c
J
c
, c tgh(H
e
/H
c
), b L(1 c
2
)
1/2
, and
H
c
I
c
/. The numerical solution of (19) approximates
the analytical one very well (Fig. 3).
The real strips have a nite thickness, and the magnetic
FIG. 4. Thick strip in a perpendicular eld. The shrinking zero eld
eld rst penetrates into their surface region. This is the
core (left) and current density (right). Numbers indicate H
e
/LJ
c
, where
2L is the strip width. region of shielding current which has the critical density.
BEAN CRITICAL-STATE PROBLEMS 197
and H
c
I
c
/2. The numerical and analytical solutions are
presented in Fig. 7.
The problem of magnetic eld penetration into a super-
conducting ball has been solved asymptotically for weak
external elds H
e
in [3],
() R
3H
e
2J
c
sin ,
where is the azimuth angle, R is the ball radius, and ()
is the boundary of the zero eld core. The asymptotic
and numerical solutions are close (Fig. 8). The further
magnetization of a superconducting ball and some other
bodies of rotation in a growing uniform eld has also been
simulated numerically (Fig. 9).
6. CONCLUSION
The Bean critical-state model is a quasistationary macro-
scopic model of equilibrium of the system of magnetic
FIG. 5. The penetration of a perpendicular magnetic eld into cylin-
drical superconductors of different cross sections. Numbers indicate H
e
/
RJ
c
, R is the radius of circular cross section.
parallel external eld. As shown in his work, a stationary
rotating solution develops as t . We simulated the
magnetization of long cylinders with square and circular
cross sections in the rotating perpendicular external eld
(Fig. 6). In these two examples, the external eld rst grows
up to a given magnitude and then starts to rotate. The zero
eld core may only shrink and, as is apparent from these
examples, has almost reached its nal shape even before
the rst turn of external eld is completed.
The magnetization of a thin disk in a perpendicular eld
has been recently considered in [7], and the distribution
of integrated current density I(r, t) was found analytically.
In an increasing magnetic eld,
I
I
c
arctg(r/R)[(R
2
b
2
)/(b
2
r
2
)]
1/2
, 0 r b,
1, b r R,
FIG. 6. Cylindrical superconductors in a rotating eld: the evolution
of zero-eld core. The external eld (right column) rst reaches the value
H
e
/RJ
c
0.2 and then starts to rotate. where I
c
J
c
, R is the disk radius, b R/cosh(H
e
/H
c
),
198 LEONID PRIGOZHIN
FIG. 7. Thin disk in a perpendicular eld. Current density: ,
analytical; , numerical solutions. Numbers indicate H
e
/H
c
.
vortices in type-II superconductors. In this model, the ef-
fective resistivity characterizing the energy dissipation due
to the movement of vortices is determined by the external
conditions and the systems state in a nonlocal way. Physi-
FIG. 9. Magnetization of bodies of rotation: ball, hollow ball, two
cally, this results from the assumption that when the equi-
adjacent cylinders, cone (half cross sections are shown). Numbers are
librium is violated the time needed for the system of vorti-
H
e
/RJ
c
, R is the ball radius.
ces to reach a new metastable state is negligible on the
time scale of observations. Mathematically, the resistivity
in the critical-state model is a Lagrange multiplier and it
variational or quasivariational inequality describing pene-
is excluded as the model is formulated as an evolutionary
tration of the magnetic eld.
In our work such a formulation has been proposed for
two-dimensional and axially symmetric congurations. We
further reformulated the model and derived an equivalent
evolutionary variational inequality in terms of the current
density, which is unknown only in a bounded domain.
This variational inequality served as a basis for an efcient
numerical solution of critical-state problems with the eld-
independent critical current density. The numerical results
were tested by comparison with the known analytical solu-
tions for simple geometries and good accuracy was demon-
strated.
Provided the current distribution in the superconductor
is found, the magnetic eld in any area of interest can be
calculated via the BiotSavart law. This allows us to ac-
count also for any given dependence of critical current
density on the magnetic eld. In this case the inequality
is quasivariational and its numerical solution would need
an additional loop of iterations.
The main advantage of the proposed approach is its
universality; the method allows one to completely avoid
FIG. 8. Ball in a weak external eld. The zero-eld core boundary:
the tracking of the free boundary, does not need any a
, numerical, ---, asymptotic solutions. H
e
/J
c
R 0.1, half cross
section is shown. priori information on the free boundary behavior, and is
BEAN CRITICAL-STATE PROBLEMS 199
therefore applicable without modications even if the free A3. Axially Symmetric Problems
boundary topology is complicated and changes in time.
Transforming each nite element in the cross section
into the unit square by a change of variables, we obtain
APPENDIX: EVALUATION OF INTEGRALS
M
i
1
i
2
, j
1
j
2
e
i
1
i
2
e
j
1
j
2
a(r, z; r, z) d
5
I
i
1
, j
1
,i
2
j
2
,
A1. Innitely Thin Strip in a Perpendicular Field
The nite elements e
i
are intervals (x
i1
, x
i
), x
i
x
i1
d. In this case
where
I
i, j,m
1
0
1
0
1
0
1
0
[(r i)(r j)]
1/2
M
i, j
1
2
e
i
e
j
ln
1
x x
dx dx
d
2
2
ln(d) I
ij
,
k
2
k
2
K(k) E(k) K(k)
,
where the integrals I
m
1
0
1
0
ln(x x m) are evalu-
ated analytically: I
0
, I
1
2 ln(2), and for
m 1
k 2
(r i)(r j)
(r r i j)
2
(z z m)
2
1/2
.
I
m
(m1)
2
ln(m1) m
2
ln(m)
(m1)
2
ln(m1).
The integrand is singular at the points where r i
r j and z z m 0 because at these points k 1
A2. Cylinder in a Perpendicular Field
and the complete elliptic integral of the rst type, K(k),
becomes innite. If there are no such points in the region
The cross section of a cylinder is approximated by a
of integration, a numerical quadrature with a few knots
regular nite element mesh with the same step d in x
1
and
can be used to estimate the integral. Otherwise, one can
x
2
. Denote by e
mn
the element with the left lower corner
use the asymptotic expansion [25]
at the node with coordinates (x
1,m
, x
2,n
). Changing the
variables to transform each element into the unit square,
we obtain
K(k) ln
4
k
1
4
ln
4
k
1
(k)
2
...,
M
i
1
i
2
, j
1
j
2
e
i
1
i
2
e
j
1
j
2
G (x x)
where k 1 k
2
, to single out the nonregular part of
the integrand. In the neighborhood of a singular point,
d
4
4
2 ln(d) I
i
1
j
1
,i
2
j
2
,
k
2
k
2
K(k) E(k) K(k)
K(k) ln
4
k
where the integrals
1
2
ln((r r i j)
2
(z z m)
2
),
I
m,n
1
0
1
0
1
0
1
0
ln((x
1
x
1
m)
2
(x
2
x
2
n)
2
)
and so the singular part of a is
can be evaluated analytically (we used the program for
symbolic computations Maple to nd some of them). How-
a
s
[(r i)(r j)]
1/2
ln((r r i j)
2
ever, the resulting expressions are complicated and it is
(z z m)
2
).
much easier to estimate the nonsingular integrals by means
of a simple (with a few knots) quadrature. The values of
The regular part, a
r
a a
s
, can be integrated numerically,
the singular integrals are given in Table I.
while the singular part can be rst integrated analytically
in z and z, which removes the singularity, and then numer-
ically in r and r. For the innitely thin disk in a perpendicu-
lar eld, the singular part of the integral can be evalu-
TABLE I
ated analytically.
Singular Integrals I
m,n
ACKNOWLEDGMENTS
I
0,0
I
0,1
I
1,0
I
1,1
The author is grateful to S. J. Chapman, J. R. Ockendon, and J. F.
1.610173 0.0130569 0.6885433
Rodrigues for helpful comments on this work. The hospitality of the
200 LEONID PRIGOZHIN
Oxford Centre for Industrial and Applied Mathematics and Centro de 12. K. L. Telschow and L. S. Koo, Phys. Rev. B 50, 6923 (1994).
Matema` tica e Aplicaco