arxiv: v1 [physics.plasm-ph] 4 Mar 2019

Transcription

1 Quasioptical modeling of wave beams with and without mode conversion: II. Numerical simulations of single-mode beams arxiv:9.57v [physics.plasm-ph] Mar 9 K. Yanagihara, I. Y. Dodin, and S. Kubo, Nagoya University, -8, Nagoya, Aichi, Japan Princeton Plasma Physics Laboratory, Princeton, New Jersey, 85, USA National Institute for Fusion Science, National Institutes of Natural Sciences, 59-59, Toki, Gifu, Japan (Dated: March 5, 9) This work continues a series of papers where we propose an algorithm for quasioptical modeling of electromagnetic beams with and without mode conversion. The general theory was reported in the first paper of this series, where a parabolic partial differential equation was derived for the field envelope that may contain one or multiple modes with close group velocities. Here, we present a corresponding code PARADE (PAraxial RAy DEscription) and its test applications to singlemode beams in vacuum and also in inhomogeneous magnetized plasma. The numerical results are compared, respectively, with analytic formulas from Gaussian-beam optics and also with coldplasma ray tracing. Quasioptical simulations of mode-converting beams are reported in the next, third paper of this series. I. INTRODUCTION Electron-cyclotron heating and current drive in fusion plasmas involve electron-cyclotron waves (ECWs) and require deposition of the wave power with high precision; hence, accurate modeling of ECWs is required. Full-wave simulations of ECWs [] are computationally-demanding and largely impractical due to the fact that the ECW wavelengths (which are in the mm range) are extremely small compared to the plasma size. Geometrical-optics (GO) ray-tracing simulations [, ] are much faster but cannot adequately describe the structure of the wave beam in the focal region. Many alternatives have been proposed to improve reduced modeling of ECWs, including complex-eikonal methods [ 7], beam tracing [8 ], and the quasioptical approach [ ]. However, none of them account for the possible interaction of the two coldplasma modes (linear mode conversion), which can occur in strongly sheared magnetic field at low density, for example, at the plasma edge [5, ]. Hence, a need remains for a more systematic approach to modeling ECWs. This work continues a series of papers where we propose a new algorithm for quasioptical modeling of electromagnetic (EM) beams propagating in inhomogeneous plasma with and without mode conversion. The general theory was reported in Paper I of our series [7]. There, a parabolic partial differential equation was derived for a certain projection of the field envelope, whose dimension N equals the number of the resonantly-coupled modes. Based on that theory, which is a generalization of extended geometrical optics (XGO) [8 ], we have also developed a code PARADE (PAraxial RAy DEscription) and applied it to several test problems. Paper III of our series [] reports PARADE s applications to quasioptical simulations of mode-converting beams with N =. Here, we present a simplified version of the same code for N =, in which case mode conversion is not considered. This scalar version of PARADE serves two goals: (i) it is a stepping stone towards a more general code reported in Paper III; and (ii) it is useful as an independent tool for quasioptical beam tracing without mode conversion in sufficiently dense plasma, especially when the absorption is strongly inhomogeneous and no simple ansatz can be assumed for the beam structure. In this second capacity, PARADE can also be considered as an alternative to the algorithm proposed in Refs. [ ]. The latter is similar in spirit [] but is limited to single-mode beams by design. This paper is organized as follows. In Sec. II, we introduce the key equations derived in Paper I and also adjust them to numerical modeling. In Sec. III, we outline the numerical algorithm used in PARADE. In Sec. IV, we report simulation results for test problems. In Sec. V, we summarize our main conclusions. II. THEORETICAL MODEL A. Basic equations Here, we outline how the general theory developed in Paper I can be applied, with some adjustments, to describing single-mode ECWs. We start by assuming a general linear equation for the electric field E of a wave, DE =, () where D is a linear dispersion operator discussed below. We also assume that the field can be represented in the eikonal form, E = ψe iθ, () where ψ is a slow complex vector envelope and θ is a fast real reference phase to be prescribed (Sec. II A). The wave is considered stationary, so it has a constant frequency ω; then ψ and θ are functions of the spatial coordinate x. Correspondingly, the envelope ψ satisfies Dψ =, D. = e iθ De iθ, ()

2 where D serves as the envelope dispersion operator (. = denotes definitions). We introduce k. = θ for the local wave vector, λ. = π/k for the wavelength, L for the characteristic scale of the beam field ψ along the group velocity at the beam center, and L for the minimum scale of the field in the plane transverse to this group velocity. The medium-inhomogeneity scale is assumed to be larger than or comparable with L. We adopt the quasioptical ordering, specifically, ɛ. = λ/l, ɛ. = λ/l, ɛ ɛ. () Using this ordering, the envelope dispersion operator D can be expressed as Dψ = Dψ + L ɛ ψ. (5) The operator L ɛ = O(ɛ ) is specified in Paper I (also see below). The matrix D serves as the effective dispersion tensor found from D, and satisfies the ordering D H = O(), D A = O(ɛ ), () where the indices H and A denote the Hermitian and anti-hermitian parts, correspondingly. Assuming that spatial dispersion is weak enough, D can be replaced [7] with the homogeneous-plasma dispersion tensor, D(x, p) = c [pp (p p)] + ε(x, p), (7) πω π where is a unit matrix and ε is the homogeneous-plasma dielectric tensor []; its dependence on ω is assumed but not emphasized, since ω is constant. (Here, p denotes any given wave vector, as opposed to k, which is the specific wave vector determined by θ; see above.) Note that Eq. (7) assumes the Euclidean metric. Although we shall also use curvilinear coordinates below, expressing D in those coordinates will not be necessary as explained in Sec. VI D of Paper I. With D D and D given by Eq. (7), Eq. () implies ε A = O(ɛ ). Hence, D H is the dominant part of D, and Eqs. (5) yields D H ψ = O(ɛ ). (8) As a Hermitian matrix, D H has enough (three) eigenvectors η s to form a complete orthonormal basis. Then, it is convenient to represent the envelope in this basis, ψ = η s a s, (9) where a s are the corresponding complex amplitudes. [Summation over repeating indices is assumed. For all functions derived from D, such as η s here, the notation convention f f(x) f(x, k(x)) will also be assumed by default.] Then, D H ψ = η s Λ s a s, D H η s = Λ s η s, () where Λ s are the corresponding eigenvalues. Due to Eq. (8) and the mutual orthogonality of all η s, this means that Λ s a s = O(ɛ ) for every given s individually; hence, either a s is small or Λ s is small. In the latter case, η s approximately satisfies the eigenmode equation, D H η s = Λ s η s, so it can be viewed as the local polarization vector of a GO mode. Then, the corresponding a s can be understood as the local scalar amplitude of an actual GO mode, so that a s = O() is allowed. In this paper, we assume conditions such that only one mode can be excited at given x near the fixed frequency of interest. Then, ψ = Ξa + O(ɛ ), D H Ξ = ΞΛ, () where the polarization vector Ξ is the eigenvector η s corresponding to the excited mode and Λ is the corresponding eigenvalue. (The notation is chosen here such that our formulas extend to mode-converting waves with generalized definitions of Ξ, Λ, and a as in Refs. [7, ].) The O(ɛ ) term in Eq. () can be easily calculated from a and is included in our theory as a perturbation [7] but will not be considered below explicitly. Hence, we shall describe the wave in terms of a, which can also be expressed as follows: a = Ξ + ψ. () Here, the row vector Ξ + is the dual polarization vector, so Ξ + Ξ =. Since we consider the beam dynamics in coordinates that are close to Euclidean, it will be sufficient, within the accuracy of our model, to consider the row vector Ξ + simply as the conjugate transpose of the column vector Ξ. B. Reference ray We shall consider the beam evolution in the coordinate system that is determined by a family of rays. These rays are governed by Hamilton s equations [7] dx α dτ = Λ(x, p) p α, dp α dτ = Λ(x, p) x α, () where τ serves as an effective time variable, x α denote the ray location in the laboratory coordinates, and p α denote the ray wave-vector components in the associated momentum space. The initial conditions are assumed such that Λ(x(), p()) is of order ɛ or smaller [7]. (A more specific definition will not be needed.) Then, it also remains small indefinitely, because Λ is conserved by Eqs. (). Let us introduce the path along each ray, ζ =. τ V dτ, where V =. V and V is given by V α (x, p). = Λ(x, p) p α. () At any given ζ, the coordinates of rays with different initial x form a transverse space. Let us define a twodimensional transverse coordinate ϱ { ϱ, ϱ } on this

3 space such that its origin corresponds to the location of some reference ray (RR). This ray can be chosen arbitrarily as long as it is representative of the rays within the beam. The coordinate and the wave vector of the RR are denoted as X and K, respectively. Like the coordinate and momentum of other rays [Eqs. ()], they can be found by solving the ray equations dx α dζ = V α, V dk α dζ = V Λ X α, (5) where the index denotes evaluation at (X, K). Note that we require Λ to be exactly zero initially; then, it also remains zero at all ζ, Λ =. () C. Ray-based coordinates Since there is a one-to-one correspondence between the laboratory coordinates x α {x, x, x } and x µ {ζ, ϱ, ϱ }, one can choose the latter as the new coordinates. The two sets of coordinates are connected via dx = ẽ µ d x µ, (7) where ẽ µ are the basis vectors of the tilded coordinate system. Accordingly, the transformation matrices X and where X α µ. = (ẽ µ ) α, are given by X α µ = xα x µ, X. = X, (8) X µ α = xµ x α. (9) We choose the transverse coordinates such that [ ẽ µ ẽ ν = δ µν, ẽσ ( x)/ ϱ σ] =. () (Here and further, the indices σ and σ span from to ; other Greek indices span from to. The specific choice of ẽ µ used in PARADE is discussed in Sec. III.) Then, x X(ζ) + ( ) ( ) ϱ ẽ ẽ ϱ () and X α ζ (ẽ ζ ) α + [(ẽ σ ) α ] ϱ σ, X α σ (ẽ σ ) α, () where the prime denotes the derivative with respect to ζ. This leads to X = X + X, X Y σ ϱ σ, () where Y σ is a matrix given by [(ẽ σ ) ] Y σ = [(ẽ σ ) ]. () [(ẽ σ ) ] Using that X X =, we also obtain X = X + X, X X ( X ) X X Y σ X ϱ σ. (5) For future references, note that we shall use tilde also to mark the components of vectors and tensors measured in these new coordinates. As usual, these components are connected to those in the laboratory coordinates via [5] A α = X α µãµ, A α = õ X µ α, A αβ = X α µx β νãµν, A αβ = õν X µ α X ν β, A α β = X α µ X ν βãµ ν, A α β = X µ αx β νãµ ν. We also introduce first-order partial derivatives f α. = f(x, k) x α, f α. = f(x, k) k α, () and the second-order derivatives are denoted as follows:. f(x, k) f αβ = x α x β, f αβ. f(x, k) =, f α. k α k β = f(x, k) β k α x β. Accordingly, f µ. = f(x, k)/ x µ, and so on. D. Quasioptical equation. Basic formulas Using the fact that the metric in the assumed ray-based coordinates is Euclidean on the RR and overall smooth, the envelope equation can be represented as follows [7]: Λa + iγa iṽ µ µ a i ( µṽ µ )a Ua Here, we introduced σ( Φ σ σ σ a) =. (7) Γ. = Ξ + D A Ξ, (8) Ṽ µ. = Λ µ, Φσ σ. = Λ σ σ, (9) U. = Im (Λ α Ξ + Ξ α Λ α Ξ + Ξ α + Ξ + α D H Ξ α ), () and also the following notation for the derivatives: µ x µ, σ ϱ σ, σ. () ϱ σ Note that all coefficients in Eq. (7) are considered as functions of x, namely, f f(x, k(x)) for any f. Accordingly, the derivatives () act on both arguments. Also note that Γ and U are calculated in the laboratory coordinates; otherwise, additional terms would emerge [7]. Within the assumed accuracy, Φ σ σ and U can be replaced with those evaluated on the RR, Φ σ σ = X σ α X σ βλ αβ, () U = Im (Λ α Ξ + Ξ α Λ α Ξ + Ξ α + Ξ + α D H Ξ α ). ()

4 In contrast, Λ, Γ, and Ṽ µ generally must be calculated with a higher accuracy. (An example of a numerical simulation that ignores this fact is presented in Sec. IV C for a reference.) In order to do that, we need to find k(x), so we start by specifying θ, through which k is defined (Sec. II A). Let us adopt θ(ζ, ϱ) = K ζ (ζ) dζ + K σ (ζ) ϱ σ. () (This choice of θ is different from the one assumed in Paper I but similar to that in Ref. [].) Hence, k σ (x) = σ θ = K σ (ζ), (5) k ζ (x) = ζ θ = K ζ (ζ) + K σ(ζ) ϱ σ. () To simplify this, note that dθ = K µ d X µ = K α dx α (7) by definition. Hence, the transformation (X α, K α ) ( X µ, K µ ) is symplectic (canonical), so the tilded coordinates satisfy Hamilton s equations similar to Eq. (5), d X µ dζ = Ṽ µ, V d K µ dζ = Λ µ V. (8) By combining Eqs. (5), (), and (8), one arrives at k µ (x) = K µ (ζ) + π µ, π µ = ϱ σ Λ σ Ṽ µ /V, (9) where we used Ṽµ = V δ ζ µ, and δ ζ µ is a Kronecker symbol.. Calculating Λ and Γ Expanding Λ(x, k(x)) around the RR, one obtains Λ(x, k(x)) = Λ + Λ σ ϱ σ + + Λ µ π µ + Λ σ σ ϱ σ ϱ σ µ Λ σ ϱσ π µ + µν Λ π µ π ν +... () Using Eqs. () and (9), one can reduce this down to Λ(x, k(x)) ( Λ σ σ ϱ σ ϱ σ µ + Λ σ ϱσ µν π µ + Λ π µ π ν ), which is of the order of O(ɛ ) O(ɛ ), as needed. Since the metric on the RR is Euclidean, the secondorder derivatives entering this equation are transformed as true tensors. Hence, they can be mapped to the laboratory coordinates with X and X. This leads to Λ(x, k(x)) L σ σ ϱ σ ϱ σ with L σ σ = ( Λ αβ V γ V Λ γ α Λ β + V γv δ V Λ γδ Λ α Λ β )X α σx β σ, () where we substituted [cf. Eq. (9)] π β ϱ α Λ α V β /V, ϱ α. = X α σ ϱ σ. () (Note that, to the leading order, ϱ {ϱ, ϱ } can be considered as a true vector and transforms accordingly.) Using Eqs. (), one can also adopt the following approximation of Eq. (8) for Γ: Γ(x, k(x)) = Ξ + D A (X(ζ) + ϱ, K(ζ) + π(ζ, ϱ))ξ. () Here, the polarization vectors Ξ and Ξ + are evaluated at the RR (hence the stars), because they are determined by D H, which is a slow function. In contrast, D A can vary substantially in the beam cross-section, so it can be important to calculate D A separately at each point.. Calculating Ṽ In order to calculate the terms involving Ṽ µ = X µ αv α, let us represent this function as Ṽ µ = Ṽ µ + ṽ µ, ṽ µ (x) = ( X µ α)v α + X µ α( V α ), () where denotes deviations from the corresponding values of the RR. Using Eq. (5), we obtain Also note that ( X µ α)v α = ( X Y σ X V ) µ ϱ σ. (5) V α Λ α (x, k(x)) Λ α Λ α β ϱβ + Λ αγ Hence, ṽ µ (x) ϑ µ σ ϱ σ, where π γ = [Λ α β (V γ/v ) Λ αγ Λ β ]ϱ β, () [ ] ϑ µ σ = Λ α β (V γ/v ) Λ αγ Λ β X µ α X β σ Then, since Ṽ σ ( X Y σ X V ) µ. (7) = and ṽ ζ ζ = O(ɛ ), one obtains Ṽ µ µ a V ζ a + ṽ σ σ a, µ Ṽ µ V (ζ) + ϑ σ σ, (8) where ϑ σ σ can be calculated from Eq. (7) by taking µ = σ = σ and summing over σ accordingly. Also, V = K Λ(X, K). (9). Final result Using the above results, one can express Eq. (7) as L σ σ ϱ σ ϱ σ a + iγa iv ζ a i ϑ σ σ ϱ σ σ a i (V + ϑ σ σ)a U a σ σ Φ σ σa =, (5)

5 5 which also has the following corollary: dp dζ = Γ a d ϱ, P =. V a d ϱ. (5) Equation (5) shows that P is conserved when Γ is zero. As explained in Paper I, this represents the conservation of the wave action, and P equals the energy flux up to a constant coefficient. Assuming the notation φ. = V a, (5) so P = φ d ϱ, one can also rewrite Eq. (5) as V ζ φ = ϑ σ σ ϱ σ σ φ ϑ σ σ φ + Γφ i( L σ σ ϱ σ ϱ σ U )φ + i Φ σ σ σ σφ. (5) Equation (5) is the main quasioptical equation used in PARADE. As a reminder, we assume Eq. (9) for V, Eq. () for Γ, Eq. () for L σ σ, Eq. () for U, σ σ and Eq. () for Φ. We also assume Eq. (7) for ϑ σ σ, with Eq. () for Y. The quantity ϑ σ σ can be calculated from Eq. (7) by taking µ = σ = σ and summing over σ accordingly. The matrix X is given by Eq. (), and the matrix X is given by Eq. (8). The index denotes that the corresponding quantities are evaluated at the RR (i.e., at ϱ = ) and thus are independent of the transverse coordinates. III. NUMERICAL ALGORITHM The code PARADE is based on the model described in Sec. II. The RR starting point X, the orientation of the RR initial wave vector, the frequency f =. ω/π, the initial profile of the complex amplitude a, the magnetic field profile B(x), and the plasma density profile n(x) are considered pre-determined. Currently, they are entered as analytic functions, but it is also possible to use experimental data or profiles generated numerically. The value of K is determined by the local dispersion relation at X. The collisionless cold-electron-plasma model is assumed for the dielectric tensor [] here, but the code can also accept a general dispersion tensor D. In particular, warm-plasma simulations will be reported separately. Figure outlines the code operation. At each point on the RR, starting from the initial point X, the dispersion tensor D = D H + id A is calculated. Then, the eigenvalues of D H are calculated, and the eigenvalue Λ is found that has the least absolute value. This Λ is then numerically differentiated and used as the Hamiltonian in Eqs. (5) to propagate the RR using the fourth-order Runge Kutta method. Based on the knowledge of the RR trajectory X(ζ), the ray-based coordinates x µ are constructed by choosing the basis vectors ẽ µ, which is done as follows. We adopt ẽ ζ to be the unit vector along the RR group velocity. The other two vectors ẽ σ (where σ =, ) can, in principle, be chosen arbitrarily as long as they satisfy Eqs. () and the resulting metric is smooth. The traditional Frenet Serret frame can be used but sometimes fails the latter requirement. Instead, we choose ẽ ζ = X X, (5) ẽ = X (ẽ X ) X (ẽ X ), (55) ẽ = X ẽ X ẽ (5) at each given time step, where the vectors marked with are those from the previous time step. (The prime denotes the derivative with respect to ζ, so X =.) For the very first time step, ẽ and ẽ can be chosen arbitrarily as long as they are orthogonal to each other and to the initial group velocity on the RR. This ensures that the basis vectors ẽ µ transform continuously along the RR and result in a smooth ray-based metric. As the next step, the polarization eigenvector Ξ is calculated as the eigenvector of D H corresponding to the eigenvalue Λ ; also, its complex conjugate Ξ + is determined. After these vectors are numerically differentiated, the coefficients in Eq. (5) are calculated as outlined in Sec. II D. The field a is mapped to φ using Eq. (5), and φ is differentiated with respect to ϱ σ at fixed ζ using the finite-difference approach. Then, φ is propagated by solving Eq. (5) using the fourth-order Runge Kutta method. Finally, φ is mapped back to a, and the threedimensional profile a(x) is yielded as a data array. IV. SIMULATION RESULTS In this section, test simulation results are reported. These results were obtained by applying PARADE to sample problems that fit the assumptions of the model described above. Simulations that involve mode conversion are presented in Paper III. A. Beams in vacuum As the first example, we simulated the propagation of a wave beam in vacuum. For the initial beam profile, we assumed a Gaussian profile a = [ exp ( ϱ ) πw w w ( ϱ ) w + ik( ϱ ) R + ik( ϱ ) R + i (g + g ) ], (57)

6 Input Initial spatial coordinate : Initial wave vector : Initial complex amplitude profile : a ( ϱ) Wave frequency : f Variable transformation φ ( ϱ) =. V / a ( ϱ) Profiles on transverse plane Transverse profile of the field : σ φ( ϱ), σ σφ( ϱ) Rate of change along the RR : ζ φ( ϱ) Integration K X Spatial coordinate of the RR : X Wave vector on the RR : K Wave field : φ( ϱ) Inverse variable transformation a( ϱ) =. V / φ( ϱ) Parameters on the reference ray Dispersion matrix : D, Eigenvalue of : Eigenvector of : RR phase-space velocity : Transformation matrices : X, X X X Coefficients in the field equation : L σ σ, Γ,U, ϑσ σ, Φσ σ Output D H D H Λ ζ reaches the threshold or Ξ Derivatives : Λ α, Λ α, Λ αβ, Λ αβ, Λ α β, Ξ α, Ξ α NO d ζ X, d ζ K 99% intensity is dissipated YES FIG. : A flowchart outlining the operation of PARADE. where w µ. = w,µ + ς, R µ. = Zµ ( + ς ), (58) g µ. = tan ς, ς. = kw,µ /(Z µ ), (59) and k = πf/c, with the focal lengths Z =. m and Z =. m, the waist sizes w, =. cm and w, =. cm, and the wave frequency f = 5. GHz, which corresponds to the vacuum wavelength λ mm. The results are shown in Fig.. At ζ >, the beam width w σ is determined numerically as the distance on which a drops one e-fold from its maximum along the ϱ σ -axis. As seen from Fig. (d), PARADE demonstrates good agreement with the analytical formula from Gaussian-beam optics []. B. Straight beams in cold plasma As the second example, we simulated the propagation of waves in collisionless magnetized cold electron plasma. From now on, we introduce the standard notation {x, y, z} for the laboratory coordinates and e α for the unit vectors along the corresponding axes. In particular, the x axis is chosen to be along the initial direction of the wave vector. We assume a slab geometry with n = n ( + x/l n ), B = e z B. () Here, n =. 9 m, L n =. m, and B =. T. The initial field has the Gaussian profile (57) with the focal lengths Z = Z =. m, the waist sizes w, = w, =. cm, and the wave frequency f = 5. GHz. The simulation results are presented in Fig.. Since the waves propagate along the gradient of n, the RR trajectory is straight and does not depend on the polarization, just like in the vacuum case. However, the intensity profiles of the waves with different polarizations, which are the O and X waves here, are different from each other and from those in vacuum. The X wave is affected by the plasma more significantly. This is explained by the fact that the wave frequency f is closer to the X-wave cutoff frequency f rc than to the O-wave cutoff frequency f pc. In addition, although Z and Z are assumed to be equal initially [dashed line in Fig. (b) and (c)], they start to differ within the plasma [solid lines in Fig. (b) and (c)] due to the magnetic field. Also, while the focal lengths are different from those in vacuum, the waist sizes are, in fact, the same. This is because k is uniform in the transverse plane for the lack of the density gradient in that plane. Simulations with transverse gradients are presented in Sec. IV C. Then, we have also tested PARADE for the energy conservation [Eq. (5)], which is expected here because waves in collisionless cold plasma have Γ =. While the wave intensity and group velocity change considerably along the RR path, the wave-energy

7 a. (a) rho [m] (d) Beam widths [m] rho [m] (c).8 -. a. (b) [m] paraxial amp check rho [m] a paraxial amp check rho [m] paraxial amp check [m] rho [m] [m] rho [m] w w wgb, wgb, 5 5 Distance along the RR, [m] Ray path length, ζ [m] FIG. : PARADE simulation of a wave beam in vacuum. Shown is the transverse intensity profile at different locations along the beam trajectory: (a) ζ =. m, (b) ζ =. m, and (c) ζ =. m. (d) shows the corresponding beam widths w and w along the two orthogonal transverse axes. The analytic solution for w, (ζ) from Gaussian-beam optics is also presented for comparison (denoted wgb, and wgb,, respectively). flux is conserved by the code with high accuracy, as seen in Figs. (d) and (e). C. Bended beams in cold plasma As another example, we applied PARADE to simulate the propagation of bended wave beams launched at generic angles relative to the density gradient and the magnetic field. The assumed density and magnetic-field profiles are as follows: (x xc ) n = n exp, () Ln (x xc ) B = ez B exp, () Lb where n = 5. 9 m, xc =. m, Ln =. m, B =. T, and Lb =. m. The RR starting point is {x, y, z} = {.,.,.} m, and the target point used to fix the orientation of the RR initial wave vector is {x, y, z} = {.,.,.} m. For the initial profile, we adopted the Gaussian profile (57) with the focal lengths Z = Z =.5 m, the waist sizes w, = w, =.7 cm, and the wave frequency f = 77. GHz (or λ mm). A simulation of the X-mode propagation is shown in Fig. (a). Since PARADE accounts for diffraction, the beam retains a nonzero width on the whole trajectory. This is different from conventional ray tracing, where diffraction is neglected and each ray propagates independently. A comparison is presented in Fig. (b). The difference is essential for resonant-plasma heating and current drive, where the ECW energy deposition must be calculated accurately, as also discussed in Refs. [ ]. The corresponding evolution of the key frequencies along the RR is presented in Fig. 5(a), and the corresponding beam widths are presented in Fig. 5(b). For a reference, Fig. 5(c) shows the same widths calculated -dependence of k. (In the latter case, with neglected % the waist sizes are almost the same as for vacuum waves.) These results show that capturing the transverse inhomogeneity of k in practical simulations can be important. We also note that in our cold-plasma PARADE simulations, the beams remain Gaussian with high accuracy (Fig. ). However, it is generally not the case when resonant dissipation is included, for such dissipation can be strongly inhomogeneous in the beam cross-section. PARADE simulations of dissipative beams in hot plasma will be reported in a separate publication. V. CONCLUSIONS We report the first quasioptical simulations of ECWs in cold magnetized plasma using a new code PARADE. This code does not assume any particular beam structure

8 8 freq. parameters parameters (b) O mode 5 9 (c) X mode (d) O mode 5.5 (a).5 (e) X mode 5 Distance Ray path along length, the ζ RR, [m] [m] f uh f rc f ce f pc w w w VAC w w w VAC v g /c a P v g /c a P but instead solves a parabolic equation for the wave envelope; hence, it is particularly well-suited to modeling strongly inhomogeneous resonant dissipation in the future. The general theoretical model underlying PARADE was largely derived in the previous paper [7] and describes multi-mode beams that can experience mode conversion. Here, we consider a simplified version of this theory in which mode conversion is not considered and a beam can be described as a scalar field. We adjust the theory to numerical modeling and simulate the propagation of wave beams in vacuum and inhomogeneous magnetized plasma. Our numerical results show good agreement with Gaussian-beam optics and surpass conventional ray tracing. Quasioptical simulations of modeconverting beams are reported in the next, third paper of this series. FIG. : PARADE simulation of a straight wave beam propagating perpendicular to a homogeneous magnetic field and parallel to the density gradient [Eq. ()] in cold electron plasma. (a) shows how the key frequencies that determine the wave dispersion evolve along the RR; specifically, shown are the upper-hybrid frequency f uh, the right-cutoff frequency f rc, the electron cyclotron frequency f ce, and the plasma frequency f pc, all in units f. (b) and (c) show the beam widths for the O mode and the X mode, respectively. To demonstrate the importance of plasma dispersion, simulation results for a wave beam in vacuum are also presented as a reference. The notation is the same as in Fig.. (d) and (e) show the group velocity v g in units c, the normalized intensity a, and the wave-energy flux P [see Eq. (5)] in arbitrary units for the O mode and the X mode, respectively. The work was supported by the U.S. DOE through Contract No. DE-AC-9CH. [] V. Vdovin, Role of upper hybrid resonance and diffraction effects at electron cyclotron heating in tokamaks, Proc. th Joint Workshop on Electron Cyclotron Emission and Electron Cyclotron Heating (Santorini, Greece, May 9-, ). [] T. I. Tsujimura, S. Kubo, H. Takahashi, R. Makino, R. Seki, Y. Yoshimura, H. Igami, T. Shimozuma, K. Ida, C. Suzuki, M. Emoto, M. Yokoyama, T. Kobayashi, C. Moon, K. Nagaoka, M. Osakabe, S. Kobayashi, S. Ito, Y. Mizuno, K. Okada, A. Ejiri, T. Mutoh, and the LHD Experiment Group, Development and application of a ray-tracing code integrating with D equilibrium mapping in LHD ECH experiments, Nucl. Fusion 55, 9 (5). [] N. B. Marushchenko, Y. Turkin, and H. Maassberg, Raytracing code TRAVIS for ECR heating, EC current drive and ECE diagnostic, Comput. Phys. Commun. 85, 5 (). [] E. Mazzucato, Propagation of a Gaussian beam in a nonhomogeneous plasma, Phys. Fluids B, 855 (989). [5] S. Nowak and A. Orefice, Quasioptical treatment of electromagnetic Gaussian beams in inhomogeneous and anisotropic plasmas, Phys. Fluids B 5, 95 (99). [] A. G. Peeters, Extension of the ray equations of geometric optics to include diffraction effects, Phys. Plasmas, 8 (99). [7] D. Farina, A quasi-optical beam-tracing code for electron cyclotron absorption and current drive: GRAY, Fusion Sci. Tech. 5, 5 (7). [8] G. V. Pereverzev, Beam tracing in inhomogeneous anisotropic plasmas, Phys. Plasmas 5, 59 (998). [9] E. Poli, G. V. Pereverzev, A. G. Peeters, and M. Bornatici, EC beam tracing in fusion plasmas, Fusion Eng. Des. 5, 9 ().

9 9 z [m]. (a) PARADE x [m] z [m]. (b) Multiple rays x [m] a a a a a a (a) (b) (c) (d) (e) (f) =. m =.5 m =.75 m =. m =.5 m =.75 m -8-8 [cm] fit simul. FIG. : (a) shows PARADE simulation of a bended X wave beam in inhomogeneous plasma with inhomogeneous magnetic field [Eqs. () and ()]. The dashed curves show the RR trajectory; the solid curves show the beam width as defined in Sec. IV B. (b) shows ray tracing simulations of the same beam as in (a). Unlike in the PARADE simulation, here diffraction is neglected and each ray propagates independently. FIG. : The transverse intensity profile of a bended X wave beam, same as in Fig.. The figures (a)-(f) correspond to ζ =., ζ =.5, ζ =.75, ζ =., ζ =.5, and ζ =.75 m, respectively. Shown in crosses are the results of PARADE simulations of a (in arbitrary units) versus ϱ at fixed ϱ =. The solid curves are Gaussian fits a = A exp[ ( ϱ /w ) ( ϱ /w ) ], where w, w, and A were fitted numerically. Similar figures (not shown) have been also produced for a versus ϱ at fixed ϱ =. freq (a) (b) (c).5.5 Distance Ray path along length, the RR, ζ [m] [m] f uh f rc f ce f pc w w w VAC w w w VAC FIG. 5: PARADE simulation of a bended X wave beam, same as in Fig.. (a) shows the key frequencies along the RR trajectory. (b) shows the beam widths. For a reference, (c) illustrates the same simulation where the ϱ-dependence of k is neglected. The dashed lines in (b) and (c) show the corresponding vacuum solutions. Note that both the focal lengths and waist sizes in (b) are considerably different from those in (c) and vacuum solutions. [] E. Poli, A. G. Peeters, and G. V. Pereverzev, TOR- BEAM, a beam tracing code for electron-cyclotron waves in tokamak plasmas, Comput. Phys. Commun., 9 (). [] E. Poli, A. Bock, M. Lochbrunner, O. Maj, M. Reich, A. Snicker, A. Stegmeir, F. Volpe, N. Bertelli, R. Bilato, G. D. Conway, D. Farina, F. Felici, L. Figini, R. Fischer, C. Galperti, T. Happel, Y. R. Lin-Liu, N. B. Marushchenko, U. Mszanowski, F. M. Poli, J. Stober, E. Westerhof, R. Zille, A. G. Peeters, and G. V. Pereverzev, TORBEAM., a paraxial beam tracing code for electron-cyclotron beams in fusion plasmas for extended physics applications, Comput. Phys. Commun. 5, (8). [] A. A. Balakin, M. A. Balakina, and E. Westerhof, ECRH power deposition from a quasi-optical point of view, Nucl. Fusion 8, 5 (8). [] A. A. Balakin, M. A. Balakina, G. V. Permitin, and A. I. Smirnov, Quasi-optical description of wave beams in smoothly inhomogeneous anisotropic media, J. Phys. D: Appl. Phys., 85 (7). [] A. A. Balakin, M. A. Balakina, G. V. Permitin, and A. I. Smirnov, Scalar equation for wave beams in a magnetized plasma, Plasma Phys. Rep., (7). [5] I. Y. Dodin, D. E. Ruiz, and S. Kubo, Mode conversion

10 in cold low-density plasma with a sheared magnetic field, Phys. Plasmas, (7). [] S. Kubo, H. Igami, T. I. Tsujimura, T. Shimozuma, H. Takahashi, Y. Yoshimura, M. Nishiura, R. Makino, and T. Mutoh, Plasma interface of the EC waves to the LHD peripheral region, AIP Conf. Proc. 89, 9 (5). [7] I. Y. Dodin, D. E. Ruiz, K. Yanagihara, Y. Zhou, and S. Kubo, Quasioptical modeling of wave beams with and without mode conversion: I. Basic theory, arxiv:9.8v. [8] D. E. Ruiz, Geometric theory of waves and its applications to plasma physics, Ph.D. Thesis, Princeton Univ. (7), arxiv:78.5. [9] D. E. Ruiz and I. Y. Dodin, Extending geometrical optics: A Lagrangian theory for vector waves, Phys. Plasmas, 557 (7). [] D. E. Ruiz and I. Y. Dodin, Lagrangian geometrical optics of nonadiabatic vector waves and spin particles, Phys. Lett. A 79, 7 (5). [] D. E. Ruiz and I. Y. Dodin, First-principles variational formulation of polarization effects in geometrical optics, Phys. Rev. A 9, 85 (5). [] K. Yanagihara, I. Y. Dodin, and S. Kubo, Quasioptical modeling of wave beams with and without mode conversion: III. Numerical simulations of mode-converting beams, submitted in parallel. [] A comprehensive comparison of our model with those presented in Refs. [ ] would be cumbersome and is not attempted here also for the lack of detailed derivations in the mentioned papers. The verification of our model relies instead on the numerical results presented here and in Paper III, and also on the XGO applications to several test problems reported earlier [5, 8 ]. [] T. H. Stix, Waves in Plasmas (AIP, New York, 99). [5] L. D. Landau and E. M. Lifshitz, The Classical Theory of Fields (Pergamon Press, New York, 97). [] A. Yariv, Quantum electronics (Wiley, New Jersey, 97).