614 research outputs found
Josephson junction between anisotropic superconductors
The sin-Gordon equation for Josephson junctions with arbitrary misaligned
anisotropic banks is derived. As an application, the problem of Josephson
vortices at twin planes of a YBCO-like material is considered. It is shown that
for an arbitrary orientation of these vortices relative to the crystal axes of
the banks, the junctions should experience a mechanical torque which is
evaluated. This torque and its angular dependence may, in principle, be
measured in small fields, since the flux penetration into twinned crystals
begins with nucleation of Josephson vortices at twin planes.Comment: 6 page
Self-Organized Criticality Effect on Stability: Magneto-Thermal Oscillations in a Granular YBCO Superconductor
We show that the self-organized criticality of the Bean's state in each of
the grains of a granular superconductor results in magneto-thermal oscillations
preceding a series of subsequent flux jumps. We find that the frequency of
these oscillations is proportional to the external magnetic field sweep rate
and is inversely proportional to the square root of the heat capacity. We
demonstrate experimentally and theoretically the universality of this
dependence that is mainly influenced by the granularity of the superconductor.Comment: submitted to Physical Review Letters, 4 pages, RevTeX, 4 figures
available as uufile
A termination proof for epsilon substitution using partial derivations
AbstractEpsilon substitution method introduced by Hilbert is a successive approximation process providing numerical realizations from proofs of existential formulas. Most convergence (termination) proofs for it use assignments of decreasing ordinals to stages of the process and work only for predicative systems. We describe a new ordinal assignment for the case of first-order arithmetic admitting extension to impredicative systems. It is based on an interpretation of individual epsilon substitutions forming the substitution process as incomplete finite proofs, each encoding a complete but infinite proof
- …