scholarly journals Numerical description of mode coupled waves in inhomogeneous magnetized plasmas

2019 ◽  
Vol 203 ◽  
pp. 01011
Author(s):  
Kota Yanagihara ◽  
Shin Kubo ◽  
Toru Tsujimura

Geometrical optics (GO) ray tracing has been widely used for a description of electron cyclotron resonance waves in inhomogeneous magnetized fusion plasmas. However, this reduced approach is not correct in sufficient low density plasmas with a sheared magnetic field, where mode coupling between two electromagnetic-like cold plasma modes can occur. Here, we extend a ray tracing method based on the first-order theory of extended geometrical optics (XGO), which captures mode coupled complex amplitude between O and X mode along the ray trajectory. In our approach, reference ray is calculated with ray equation to satisfy the lowest-order part of XGO theory and an evolution of complex amplitude profile along the reference ray is calculated with partial differential equation derived from first-order terms. Calculation results performed by extended ray tracing are in good agreement with 1D full wave analysis. By introducing second-order terms into our numerical approach, diffraction will be treated.

Computability ◽  
2019 ◽  
Vol 8 (3-4) ◽  
pp. 347-358
Author(s):  
Matthew Harrison-Trainor

2015 ◽  
Vol 57 (2) ◽  
pp. 157-185 ◽  
Author(s):  
Peter Franek ◽  
Stefan Ratschan ◽  
Piotr Zgliczynski

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.


1974 ◽  
Vol 17 (4) ◽  
pp. 471-477 ◽  
Author(s):  
Paul D. Bacsich

Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .


Sign in / Sign up

Export Citation Format

Share Document