Next Article in Journal
Progresses on the Use of Two-Photon Absorption Laser Induced Fluorescence (TALIF) Diagnostics for Measuring Absolute Atomic Densities in Plasmas and Flames
Previous Article in Journal
Negative Hydrogen and Deuterium Ion Density in a Low Pressure Plasma in Front of a Converter Surface at Different Work Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

Linear and Nonlinear Plasma Processes in Ionospheric HF Heating

Department of Electrical and Computer Engineering, Tandon School of Engineering, New York University 5 MetroTech Center, Brooklyn, NY 11201, USA
Plasma 2021, 4(1), 108-144; https://doi.org/10.3390/plasma4010008
Submission received: 25 December 2020 / Revised: 26 January 2021 / Accepted: 19 February 2021 / Published: 23 February 2021

Abstract

:
Featured observations of high frequency (HF) heating experiments are first introduced; the uniqueness of each observation is presented; the likely cause and physical process of each observed phenomenon instigated by the HF heating are discussed. A special point in the observations, revealed through the ionograms, is the competition between the Langmuir parametric instability and upper hybrid parametric instability excited in the heating experiments and the impact of the natural cusp at foE (the peak plasma frequency of the ionospheric E region) on the competition. The ionograms also infer the generation of Langmuir and upper hybrid cavitons. Ray tracing theory is formulated. With and without the appearance of large-scale field-aligned density irregularities in the background ionosphere, ray trajectories of the ordinary mode (O-mode) and extraordinary mode (X-mode) sounding pulses are calculated numerically. The results explain the artificial Spread-F recorded by the digisondes in the heating experiments. Parametric instabilities, which are the directly relevant processes to achieve effective heating of the ionospheric F region, are formulated and analyzed. The threshold fields and growth rates of Langmuir and upper hybrid parametric instabilities are derived as the theoretical basis of many radar observations and electron-plasma wave interactions. Harmonic cyclotron resonance interaction processes between electrons and upper hybrid waves are introduced. Formulation and analysis are presented. The numerical results show that ultra-energetic electrons are generated. These electrons enhance airglow at 777.4 nm as well as cause ionization. Physical processes leading to the generation of artificial ionization layers are discussed. The nonlinear Schrodinger equation governing the nonlinear evolution of Langmuir waves and upper hybrid waves are derived and solved. The nonlinear periodic and solitary solutions of the equations are obtained. The localized Langmuir and upper hybrid waves generated by the HF heater form cavitons near the HF reflection layer and near the upper hybrid resonance layer, which induce bumps in the virtual height spread of the ionogram trace similar to that induced by the density cusp at E-F1 transition layer; the down-going Langmuir waves and upper hybrid waves evolve into nonlinear periodic waves propagating along the magnetic field, which backscatter incoherently the sounding pulses to cause downward virtual height spread.

1. Introduction

Using ionosphere as an unbounded plasma laboratory to study linear and nonlinear plasma processes, instigated by high frequency (HF) pump waves, has been a highly active research area over the past four decades [1,2,3]. Experiments were conducted by transmitting powerful HF waves from the ground to observe Ionospheric modification via remote-sensing instruments. A major facility has been built in Gakona, Alaska for conducting ionospheric heating experiments, as part of the High-Frequency Active Auroral Research Program (HAARP) [4]. The HAARP HF transmitting system has a rectangular planar array of 180 elements, which consist of a low band (2.8 to 7.6 MHz) and a high band (7.6 to 10 MHz) crossed dipole antenna in each element. Each crossed dipole radiates circularly polarized wave up to 20 kW, so that the HAARP HF transmitter radiates circularly polarized waves, in the frequency band from 2.8 MHz to 10 MHz, up to 3.6 MW. The antenna gain increases from 15 dB to 30 dB with an increase of the radiating frequency from 2.8 MHz to 10 MHz. An effective radiated power (ERP) up to 93 dBw (at 10 MHz) is available in heating experiments, which explore modification effects on the bottom-side of the ionosphere as illustrated in Figure 1. Through the observations of various heating induced phenomena presented in Section 2, considerable advances are toward the theory of wave–wave and wave–particle interactions.
Electromagnetic waves interact with charged particles; only electrons can effectively respond to the fast oscillation of the HF wave electric field. Through elastic and inelastic collisions with charged particles (mainly electrons), neutral particles can also be indirectly affected by the presence of HF waves. In D and E regions, electron–neutral collision frequency is higher than electron-electron and electron–ion collision frequencies. Although neutral particles can share considerable wave energy with charged particles and rapidly thermalize the indirectly absorbed wave energy, the background temperature elevation is small due to high neutral-particle density. Nevertheless, a long heating period in the daytime could still make an impact on the ionization balance, which involves the processes of (1) photoionization by the solar illumination, (2) electron-heating-caused reduction of the recombination coefficient, and (3) enhancement of the electron attachment to the oxygen molecules. Moreover, electrojet appeared in these regions can be modulated by intensity modulated HF heating waves to become a virtual antenna, which radiates ELF/VLF waves [5]. Applying an HF heating facility to establish an ionospheric virtual ELF/VLF transmitter for undersea communications is another focus of research.
However, most of the HF heating experiments were focused on the F region modification on the bottom side of the ionosphere, where the HF heating wave induces significant electron quiver motion in the region below and near the HF reflection height; parametric instabilities are excited to convert EM wave to plasma (ES) waves [6]. This is done by employing O-mode heating wave with frequency less than the maximum cutoff frequency (FoF2) of the ionosphere to confine the HF wave in the bottom side of the ionosphere. The excitation of parametric instabilities is essential because the collision (electron–electron and electron–ion) processes cannot efficiently absorb the electromagnetic (EM) wave energy delivered to the F region of the ionosphere, and a fast conversion of EM wave into electrostatic (ES) waves (via parametric instabilities) minimizes the loss of the heating power due to reflection back to the ground. The excited plasma waves interact with electrons as well as are interacting among themselves; as a result, new phenomena have been observed in the experiments, which are called for theoretical interpretations.
The present work is aimed at providing theoretical foundation for the understanding of experimental observations in active wave-ionosphere interaction and the underlying linear and nonlinear plasma processes. Among the experimental observations of various heating-induced phenomena, some of those featured are first described physically in Section 2. Theoretical formulations and analyses of the relevant linear and nonlinear mechanisms and processes are presented in Section 3, Section 4, Section 5, Section 6 and Section 7.

2. Featured Observations in HF Heating Experiments

2.1. HFPLs and HFILs

Monostatic backscatter radars record signals from incoherent and coherent backscattering, which are ascribed to the inhomogeneity of the background plasma and to the Bragg scattering by the plasma waves (electron plasma waves as well as ion plasma waves), respectively, and are used to monitor background plasma density variation and plasma wave intensity. A plasma wave ω ,   k scatters the radar signal ω R ,   k R to produce new signals ω Rs ,   k Rs , whose frequencies and wavevectors are imposed by the Bragg scattering (matching) conditions: ω Rs = ω R   ±   ω and k Rs =   k R ± k . Because ω R > >   ω , k Rs k R ; in the backscattering, k Rs k R   and   k =   k p 2   k R . Thus, the plasma waves ω ,   k p that backscatter radar signals have a wavelength λ p half of that of the radar signal (i.e., λ p λ R / 2 ) ,   propagate parallel or antiparallel to the radar signal, and produce frequency down-shifted (i.e., ω Rsd = ω R ω ) and upshifted (i.e., ω Rsu = ω R + ω ) radar returns, respectively. The frequency spectrum of backscatter-radar returns is then offset by the radar frequency to present a distribution (with ∓ω) on both sides of the zero central frequency. The spectral lines on the negative side correspond to up-going plasma lines and those on the positive side correspond to down-going plasma lines.
In the unperturbed ionosphere, the spectral intensity of coherent backscatter lines is at noise level. On the other hand, in HF heating experiments transmitting O-mode heating waves ( ω 0 , k 0 0 ) , both up-going and down-going plasma lines and ion lines were recorded by backscatter radars. The offset (by the radar frequency) frequency spectrum, representing the electron plasma lines, contains discrete spectral peaks located at ± ω 0 of the HF heating wave frequency and at frequencies downshifted from ω 0 by Δ ω 2 N   + 1 2 k R C S ,   N   =   0 ,   1 ,   2 ... , where 2 k R C S is an ion acoustic frequency and C S is the ion acoustic speed. These plasma lines were enhanced by the HF heating waves; thus, they are named “HF enhanced plasma lines (HFPLs)”. The spectral features suggest that HFPLs are correlated to oscillating two stream instability (OTSI), parametric decay instability (PDI), and Langmuir cascade. First, these parametric instabilities are only excited by the O mode HF heating waves. OTSI excites Langmuir waves ω ω 0 ,   k together with non-oscillatory purely growing modes ω S 0 ,   k S   k ; thus, it is revealed by the spectral peaks at the heater frequency ± ω 0 in the distribution of the HFPLs. PDI decays the HF heating wave to Langmuir waves ( ω = ω 0 ω S ,   k ) and ion acoustic waves ω S ,   k S   k . The wavevector of the HFPLs is k p   2   k R , thus the spectral peaks have a downshifted frequency from the heating wave frequency ω 0 by ω sp   =   k sp C S   =   2 k R C S , i.e., located at ± ω 0 ω sp . When the PDI excited Langmuir wave ω ,   k cascades to a new Langmuir wave ω ,   k   k and an ion acoustic wave ω S ,   k S   2 k , the frequency, ω , of the first cascade plasma line is downshifted from ω 0 by about 6 k R C S . In other words, Langmuir cascade lines in the HFPLs are separated by intervals about double the ion-acoustic frequency separating the OTSI line and the PDI line in the HFPLs. At HAARP, cascade lines were observed in lower heating power operation, but not observed in high power operation. Heating power depletion (pump depletion) by the upper-hybrid OTSI/PDI excited in the region below the Langmuir OTSI/PDI as well as the mode competition induced nonlinear-damping are suggested as the mechanisms, suppressing cascade enhanced HFPLs.
Likewise, the offset (by the radar frequency) frequency spectrum, representing the ion lines, contains discrete spectral peaks located at zero (i.e., at ω S 0 ) and at ± ω S of the ion acoustic frequency, which represent non-oscillatory purely growing modes excited by the OTSI and ion acoustic modes excited by the PDI and Langmuir cascade, respectively. These ion lines were enhanced by the HF heater and thus named “HF enhanced ion lines (HFILs)”.
In Arecibo HF heating experiments, overshoot [7,8] of the intensity and down shifting [9,10] of the originating height in time of the HFPLs were observed. It is realized that the relevant parametric instabilities prefer to excite Langmuir waves along the geomagnetic field. On the other hand, the Langmuir waves ascribed to the HFPLs, which must have an oblique propagation angle of 40° at the Arecibo site, are not the preferred ones. Thus, these Langmuir waves are suppressed in time by those preferred ones having much larger growth rates (mode competition nonlinear damping). A spectral distribution of Langmuir waves, excited by the HF heater via parametric instabilities, interact with background electrons. The non-resonance interaction with bulk electrons (wave phase velocity is much larger than the electron velocity) in the velocity distribution broadens the distribution to have an equivalent temperature T eff = T e 0 + T w , where T e 0 is the electron temperature of unperturbed background plasma and T w = 2 ϵ 0 k ω p e 2   E 1 k 2 / n 0 ω k r 2 is the time average wave energy per electron. The matching height of the Langmuir wave decreases with the increase of the effective electron temperature, which is proportional to the total spectral intensity of the Langmuir waves.
Measurements also show asymmetry [11] of the HFPL distribution on the negative side (corresponding to up-going plasma lines) and on the positive side (down-going plasma lines). It is realized that the spectral intensity on the positive side of the HFPLs is ascribed to the excited down-going plasma waves as well as the excited up-going plasma waves after being reflected. Both OTSI and PDI were excited very close to the HF reflection height, and the reflected back plasma waves did not attenuate significantly when combining with the down-going plasma waves.

2.2. Competition between Langmuir PDI and Upper Hybrid PDI

Parametric instabilities excited in the HF heating experiments have been monitored by UHF/VHF radars [1,3], which receive return signals backscattered by the plasma waves. Because of the imposed Bragg backscattering conditions, the exploration of parametric instabilities by UHF/VHF backscatter radars in HF heating experiments is limited to HFPLs and HFILs, which do not represent the spectra of the plasma waves excited by parametric instabilities. Moreover, UHF/VHF radars do not detect magnetic field-aligned waves (i.e., wavevectors are closely perpendicular to the magnetic field), such as the upper and lower hybrid waves, because those waves do not backscatter radar pulses. On the other hand, the O-mode heating wave propagates through the upper hybrid resonance layer before reaching the reflection height in an over-dense ionosphere; thus, Langmuir and upper hybrid parametric instabilities can be excited simultaneously by a HF heating wave [12,13]. Langmuir and upper hybrid waves exert ponderomotive and thermal pressure forces on electrons [14,15], which induce nonlinear feedback on the waves. Thus, intense Langmuir and upper hybrid waves evolve to nonlinear waves, which have periodic and solitary envelopes; solitary waves press out local plasma in a self-consistent way to form cavitons [16,17].
A digisonde [18] was used to explore Langmuir and upper hybrid parametric instabilities excited in the HF heating experiments. The experiment was conducted with 2 min on and 2 min off on 20 November 2009 from 21:00 to 23:04 UT. In the on period, the polarization of the heating wave was switched alternately with O mode and X mode. Echo spread with bump(s) occurs only after O mode heating. The spread was fading away in the subsequent off period and eliminated further by the X-mode heater. In essence, it was 2 min on and 6 min off. The Sun was above the HAARP horizon for the entire experiment period. Therefore, there was no precondition on the background plasma for each O mode heating period. The experimental observations of exciting Langmuir and upper hybrid waves were manifested by bumps in the virtual spread of the ionogram trace, which are located closely below the HF heater frequency and the upper hybrid resonance frequency [12,13]. The time development of bumps in the ionogram trace, which signifies the competition between Langmuir PDI and upper hybrid PDI, was observed [12,13]. This is demonstrated in a sequence of 15 ionograms, presented in Figure 2a–o. The echoes (red dots) in each ionogram were acquired at the beginning of the moment when the O mode heater turned off.
The results show the time change of the virtual height spread as well as the development of bumps next to the HF reflection layer and upper hybrid resonance layer. In Figure 2a–j, bumps, indicated by arrows, appear simultaneously in the regions below 3.2 MHz (i.e., HF reflection height) and 2.88 MHz (upper hybrid resonance height), respectively. Based on the locations of these speculative bumps, one may infer that Langmuir PDI and upper hybrid PDI were excited simultaneously by the HF heater. In the early experimental period (from 21:10 to 21:52 UT), when the natural virtual height bump at E-F1 transition layer was still relatively small, the ionograms in Figure 2a–f show that the Langmuir bump was rising while the upper hybrid bump was dropping. As the experiment proceeded, the natural virtual height bump at E-F1 transition layer was rising; it seems to favor upper hybrid PDI in competing with Langmuir PDI. As shown in Figure 2g–j, the Langmuir bump was weakening and shifting down slightly in frequency while the upper hybrid bump was strengthening. As the experiment proceeded further, the natural virtual height bump at the E-F1 transition layer rose to become very high as shown in Figure 2k–o, and the Langmuir bump was suppressed completely, leaving the strengthened upper hybrid bump to stand out.
The development infers that the Langmuir PDI was suppressed by the upper hybrid PDI. The likely process is the pump depletion. First, the density ledge (cusp) at foE (the peak plasma frequency of the ionospheric E region) increased the loss of the HF heater in the E-F1 transition region; next, the heating power was further drained in the upper hybrid resonance region before the heating wave reaches the HF reflection height.
The impact of the natural cusp at foE on the competition between Langmuir PDI and upper hybrid PDI is further evidenced by the ionograms presented in Figure 3. The ionograms in Figure 3a,b were acquired on 16 November 2009 at 30 s before the heating experiment started and at the beginning of the moment when the O mode heater turned off after on for 2 min, respectively. As shown, the heating induced considerable virtual height spread as well as a bump located slightly below the HF reflection height. The ionograms in Figure 3c,d were acquired, on 20 November 2009, at 90 s after the heating experiment ended and at the beginning of the moment when the O mode heater turned off after on for 2 min, respectively. As shown, the heating also induced considerable virtual height spread as well as a bump but located slightly below the upper hybrid resonance layer. Ionograms in Figure 3a,c represent the background conditions in the two heating periods (21:00 to 21:02) on 16 November and (23:02 to 23:04) on 20 November. The natural cusp on 20 November was considerably large.
The ionograms in Figure 3 indicate that the natural cusp was small on 16 November, thus, Langmuir PDI prevailed. On the other hand, on 20 November when the natural cusp was large, Langmuir PDI was suppressed and upper hybrid PDI prevailed. Because the density cusp introduces anomalous loss of the HF heater, the upper hybrid PDI was not as strongly excited as the Langmuir PDI excited on 16 November. Consequently, the upper hybrid bump in Figure 3d is much smaller than the Langmuir bump in Figure 3b.
Monostatic UHF radar only detect backscattered lines, such as HFPLs and HFILs; on the other hand, parametric instabilities excite plasma waves with broad spectra, and their evolution to the nonlinear states cannot be revealed by the UHF radar. Moreover, due to the field-aligned nature of the upper hybrid waves, these waves also cannot be detected directly by the UHF radar. The distinctive virtual height bumps in Figure 2 and Figure 3 suggest that the digisonde can be a key diagnostic instrument to explore the nonlinear evolution of Langmuir waves and upper hybrid waves excited in the HF heating experiment.

2.3. Airglow Enhancement

Superthermal electron flux excites atomic oxygen via collision to produce airglow, which is emissions mainly at 630 nm and 557.7 nm. The minimum electron energies to stimulate airglow at 630 nm and 557.7 nm are 3.1 eV and 5.4 eV, respectively. Airglow enhancements were observed in the O-mode HF heating experiments. Electron plasma waves excited by parametric instabilities accelerate electrons through Doppler-shifted resonance interaction (quasi-linear diffusion) to reach the energy thresholds [6] for stimulating those airglows.
The enhancement of airglow at 777.4 nm was also observed as the O-mode HF heating wave was transmitted near the second and third harmonic of the electron gyro frequency [19,20]. The minimum electron energy to excite 777.4 nm emissions is 10.7 eV [19], which well exceeds the super thermal energy range and the capacity of quasi-linear diffusion.
Harmonic cyclotron resonances with electrons require the aid of finite Larmour radius effect [21], which is proportional to k v e / Ω e , where k and v e , and Ω e are the transverse wavenumber and electron speed, and the electron gyrofrequency. The finite Larmour radius effect works to shift down the wave frequency to the fundamental cyclotron resonance frequency for Doppler-shifted cyclotron resonance interaction, as well as to provide a positive feedback to the interaction.
Thus, heating at the harmonic cyclotron resonances directly by the HF heating wave is not effective because the wavenumber of the HF heating wave is small. On the other hand, an O-mode HF heating wave can excite parametric instabilities (upper-hybrid OTSI and PDI) in and below the upper hybrid resonance layer to produce short scale upper hybrid waves, which can interact effectively with electrons at cyclotron harmonic resonance. In Section 5, the theory of harmonic cyclotron resonance interaction procedure will be elaborated, and numerical results will be presented to show the generation of very-high-energy electrons by the upper hybrid waves [22,23].

2.4. Energetic Electron Flux

In the O-mode HF heating experiments, electron fluxes in the energy range from 10 to 25 eV were detected in situ by a probe in rocket [24] as well as on the ground by UHF radar inferred by an ultra-upshifted frequency band [25] and by the CCD camera inferred by the airglow enhancement at 777.4 nm [19].
As described in Section 2.1, the spectral lines in the radar returns have a fixed wavelength equal to half of the radar wavelength; thus, an ultra-upshifted frequency band signifies that the radar scatterers are moving at ultra-high phase speeds. These high-speed electron waves, which are not plasma modes, are virtually formed by the wakefields of ultra-high energy electron bunches.
Plasma waves excited by the parametric instabilities are likely to be responsible for the electron acceleration to such a high energy level. Langmuir waves implement quasi-linear diffusion through a Doppler-shifted resonance interaction to produce super-thermal electrons. Upper hybrid waves further accelerate super-thermal electrons to ultra-energy level via Doppler-shifted harmonic cyclotron resonance interaction, which will be demonstrated by the numerical simulations of Section 5.

2.5. Artificial Ionization Layers (AILs)

Optical emissions observed by Pedersen et al. [26,27] indicated that new ionization layers were produced by the O-mode HF heating wave at frequency (~2.85 MHz) set near double the electron gyro frequency. Digisonde [18] echoes, shown in Figure 4a, provided evidence to support the generation of artificial ionization layers, indicated by an arrow. The generation and development of AILs during the heating experiment are seen by a sequence of seven ionograms recorded from 01:59:40 to 02:03:00, as presented in Figure 4b. Ionization energy of the atomic oxygen “O” is 13.6 eV. Experiments [28,29,30] were further conducted during twilight and early evening hours in Alaska local time, when the photoionization was weak. The wave–ionosphere interaction occurs in the region around 230 to 250 km, where the O+ ions are dominant.
Experimental results show that the enhanced optical emissions (inferring ionization enhancement) descend in the background F-region ionosphere [31] and relatively thin artificial ionization structures, seen directly in the ionograms of the digisonde, are emerging from the lower F-region ionosphere and descending (Figure 4b) to settle at the base of the F-region (Figure 4a).
In later experiments with the heating wave frequencies set at 4.34 MHz and at 5.8 MHz, which are around the third and fourth harmonic of the electron gyro frequency, digisonde ionograms show that AILs also emerge from the base of the ambient F region as relatively thin layers, like those formed with the heating wave frequency set near the second harmonic of the electron gyro frequency. Experiments found that AILs were preferred to be generated with the heating wave frequency tuned either slightly above a harmonic of the electron gyro frequency or far below the second harmonic gyro frequency.
The power transfer from wave to the electron moving along the magnetic field, i.e., P = −e Ezvez, depends on the phase of Ez which varies with time due to the mismatch frequency Δω ≠ 0. Although the phase is distributed randomly from 0 to 2π, there are electrons of appropriate phases that will gain energy from the wave, i.e., P > 0 and vez increases. In the case of Δω > 0, Δω decreases to give a positive feedback to enhance wave–electron interaction. When Δω drops to a negative value, the feedback of the interaction becomes negative; thus, a sufficient large Δω0 is necessary to give adequate positive feedback interaction period for the generation of energetic electrons. On the other hand, if Δω0 is too large, the initial interaction will be too weak, and the available interaction spatial length will be too short to generate energetic electrons. When the heating wave frequency is far below the second harmonic of the electron gyro frequency, the excited Langmuir waves can resonantly interact with electrons through Doppler-shifted cyclotron resonance; at fundamental cyclotron resonance, the interaction does not need the aid of the finite Larmour radius effect, and positive feedback to the interaction can still be sufficient at large frequency mismatch.
The numerical results to be presented in Section 5 show that the parametrically excited upper hybrid waves can energize electrons to exceed 13.6 eV, the ionization energy of the atomic oxygen “O”, through the harmonic cyclotron resonance interaction [22,23]. Moreover, the parametrically excited upper hybrid waves have a frequency band, which it makes accessible for the match of cyclotron harmonic resonance over an altitude region. Thus, electrons, while moving downward, can be accelerated continuously along a slightly increasing geomagnetic field, through the Doppler-shifted harmonic cyclotron resonance interaction with a band of spatially distributed upper hybrid waves. It results in a major ionization occurrence at the bottom of the F region. This explains the descending feature of the enhanced optical emissions in the evolution of AILs and the emergence of AILs as relatively thin artificial ionization structures at the bottom of the F region.

2.6. Artificial Spread-F

Digisonde is HF radar, which probes the electron density distribution in the bottom side of the ionosphere. O-mode and X-mode sounding pulses with carrier frequency swept from 1 to 10 MHz are transmitted for sounding echoes, which are then recorded in an ionogram. An O-mode or a X-mode sounding echo represents the backscatter of a corresponding sounding pulse from a layer of the ionosphere, where the electron plasma density N h of the layer matches the O-mode cutoff density N cO =   f / 9000 2 cm−3 or X-mode cutoff density N cX =   f f f e / 9000 2   cm−3 set by the carrier frequency f of the respective sounding pulse, where h and f e are the virtual height of the layer and the electron gyrofrequency. The virtual height h is determined by the time delay τ of the echo to be h = cτ/2, where c is the speed of light in free space. At HAARP site, N ( h ) can be converted to a true height profile N h by a profile conversion (NHPC) algorithm [32], which is available in the software program SAO Explorer [33].
The digisonde radiates at a large cone angle, each sounding pulse can be decomposed into many rays, which have different ray trajectories, and only backscattered rays can return to the digisonde and are recorded as the ionogram echoes.
In the unperturbed ionosphere, only a few rays, which are close to the vertical transmission, are backscattered. The virtual height traces of the sounding echoes in the ionogram have narrow virtual height spreads. When the ionosphere is perturbed, it also affects ray trajectories. In the presence of large-scale field-aligned density irregularities (FAIs with scale lengths of a few hundreds of meters to kilometers), ray trajectories [34] can be significantly modified as elaborated in Section 3.
In general, multiple incident rays (at different oblique angles) are backscattered to the digisonde receiver to produce multiple sounding echoes at the same radar frequency but at different return times [35], resulting in the spread of the virtual height traces. In the naturally perturbed ionosphere, the spread usually appears in the frequency band corresponding to the F region of the ionosphere and is thus termed “Spread-F”.
In HF heating experiments conducted on November 13, 2009 from 21:00 to 23:00 UTC (12:00 to 14:00 local time), spread-F induced by the O-mode HF heater at 5.75 MHz (slightly above the fourth harmonic of the electron gyrofrequency) has also been observed and is termed “artificial spread-F”. This is demonstrated in Figure 5 comparing a pair of ionograms without (Figure 5a) and with heating effect (Figure 5b) [34]. As shown, the artificial spread-F extends from 2.4 MHz (foF1 ~ 2.38 MHz) to foF2 ~ 6.4 MHz; on the other hand, the parametric instabilities excited by the O-mode heating wave of 5.75 MHz occur only locally near the HF reflection height (at 5.75 MHz) and around upper hybrid resonance region (at 5.57 MHz). Although the large-scale FAIs could be generated through the filamentation of the HF heating wave [36], the FAIs responsible for the virtual height spread appearing in Figure 5b are likely generated by the thermal instability [37] driven by the downward and upward heat flow from the heat sources (converted from the plasma waves excited by the parametric instabilities) located near the HF reflection region and near the upper hybrid resonance region.

2.7. Ionization Enhancement

In the 20 November 2009 experiment, although the O-mode heating wave frequency of 3.2 MHz was not close to an electron harmonic cyclotron resonance frequency, artificial ionization enhancement was observed together with artificial spread-F [34]. Experiments were conducted around local solar noon when the photoionization was strong and the wave-electron interaction occurred in the lower F region (<180 km) of the ionosphere, where the electron-ion effective recombination coefficient depends strongly on the electron temperature Te [38]. Anomalous electron heating through parametric instabilities and thermal diffusion it reduces the recombination coefficient to change the balance between the photoionization and the recombination loss over a large region. As a result, there is an electron density enhancement in the heated region below ~180 km.
This is demonstrated in Figure 6, in which electron density distributions at times (a) 21:29:30UT, after the O-mode heater off more than 90 s and (b) 21:28:00UT, off within 10 s, are presented for comparison. As shown, the distribution at time (b) (i.e., blue curve) has a higher density in the entire modified region than that at time (a) (i.e., red curve). The percentage of the electron density increase exceeds 10% over a region extended in height (> 30 Km) from below to above the HF reflection height.

2.8. Artificial Cusp

A virtual height bump usually occurs at frequencies near foE in the presence of an F1 layer, as shown in Figure 5a; the true height profile (the solid line plot) indicates that there is a density ledge (cusp) at foE, which retards the propagation of sounding signals with frequencies f close to foE, causing spread of the sounding echoes in virtual height in the form of a distinct bump. Spread-F normally extends over a frequency band in the ionogram and is recognized to be caused by the large-scale FAIs in the plasma. However, localized anomalous echo spread appearing as a bump in the ionogram trace has also been observed in the O-mode HF heating experiments conducted on 16 November 2009. This is exemplified in Figure 7a, showing a combined ionogram from a pair of heater-off ionograms acquired at 21:18 UT and 21:22 UT after the O mode heater of 3.2 MHz turned on at 21:16 UT for 2 min [12] and the X-mode heater of 3.2 MHz turned on at 21:20 UT for 2 min [12].
The ionogram in 21:18 UT shows considerable spread of echoes and contain a noticeable bump located at 2.92 MHz, slightly above the plasma frequency (fp = (f02 − fce2)1/2 ~ 2.88 MHz) of the upper hybrid resonance layer of the O-mode heating wave at f0 = 3.2 MHz, where fce ~ 1.4 MHz is the electron cyclotron frequency. This heating-induced bump in the ionogram trace is similar in its appearance to the natural virtual height bump induced by the density cusp at E-F1 transition layer (at foE ~ 1.96 MHz in the presence of an F1 layer as shown in Figure 7b); the similarity suggests that a heater-stimulated ionization ledge (cusp) appears near the upper hybrid resonance layer, which causes the virtual height spread in the form of a bump peaked slightly above the upper hybrid resonance layer [12]. This ledge can be created by the thermal pressure force arising from the Langmuir waves (i.e., the localized Langmuir waves form a caviton), which are excited parametrically by the HF heating wave. The matching height of the Langmuir wave drops due to the increase of the effective electron temperature, which is proportional to the total spectral intensity of the Langmuir waves.
The experiment was conducted around local solar noon when the photoionization was strong and the wave–electron interaction occurred in the lower F region (<180 km of the true height) of the ionosphere, where the electron-ion effective recombination coefficient depends strongly on the electron temperature Te [38]. The heat diffusion from the Langmuir PDI region downward and upward excites thermal instability to generate large-scale FAIs [37] as well as to cause ionization enhancement over a large region. An ionization enhancement, like that presented in Figure 6, was observed. On the other hand, the combined ionogram presented in Figure 7a shows that the heating wave induces a downward spread of the ionogram trace in the region from 2.1 to 2.8 MHz, different from that shown in Figure 5b in which the enhanced Spread-F appears with an upward-spread of the virtual height in the ionogram trace. It is likely the spread in Figure 7a is caused by a different mechanism; the down-going Langmuir waves evolve into nonlinear periodic plasma waves propagating along the magnetic field, which backscatter incoherently the sounding pulses to give rise to downward spread of the ionogram trace.
In sum, these observed phenomena are ascribed to various linear and nonlinear wave–plasma and wave–wave interactions instigated by the Langmuir waves, upper hybrid waves, and density irregularities, generated by the HF heating waves. Theoretical formulation and analysis of parametric instabilities and instigated interaction processes are presented in Section 4 as the theoretical basis of HF heating induced phenomena.

3. Ray Tracing

One approach to characterize wave propagation in the ionosphere is “ray tracing”. It is applicable when the wave front extends uniformly over several wavelengths and the inhomogeneity scale lengths of the medium are large in comparison to the wavelength, and particularly, the wave has a dominant frequency. In this situation, the wave may be treated as a ray and its trajectory is tracked to explore wave propagation and the ionospheric plasma. The ionosphere is stratified into layers and the Snell’s law of refraction is applied at the interface of two adjacent layers to setup the ray trajectory equation. This is illustrated by applying the arrangement shown in Figure 8, in which an inhomogeneous medium with refractive index n(z) is approximated by a series of plane slabs of thickness Δz, where Δz → 0 and each slab i has a uniform refractive index n i .
As shown in Figure 8, a ray is incident from a uniform medium (e.g., below the ionospheric plasma) of refractive index n 0 at an angle, θ 0 , with respect to the vertical axis into this inhomogeneous medium; the Snell’s law n j sin θ j =   n j + 1 sin θ j + 1 is applied at the interface of two adjacent slabs j and j+1 to determine the moving direction of the ray; n 0 < n 1 < n 2 … is assumed in the plot (however, in the case of propagating upward into the ionospheric plasma, it is n 0 > n 1 > n 2 ….).
The path of the ray in each slab is a straight line, and one can identify the relations: Δ z / Δ x i   =   cot θ i and n i sin θ i = n 0 sin θ 0 , where Δ x i is the horizontal displacement of the ray after transit through slab i. In the limit of Δz → 0, these two relations become dz / dx   =   cot θ and n sin θ = n 0 sin θ 0 , and a trajectory equation is derived to be
dz dx   =   cot θ   =   ( 1 sin 2 θ ) 1 2 sin θ   =   ( n 2     n 0 2   sin 2 θ 0 ) 1 2 n 0 sin θ 0 .
If n2 can be modelled by a second-order polynomial, i.e., n2(z) = a + bz + cz2, (1) can be integrated analytically; otherwise, it is integrated numerically.

3.1. General Formulation of Ray Trajectory Equations

Consider a general case that wave propagation is governed by a dispersion equation with the generic form [39]
G(k, ω; r, t) = 0.
We now introduce a generic variable “τ” and take a total τ derivative on (2), it yields
dG d τ   =   k G   ·   d k d τ   +   G ω d ω d τ   +   G   ·   d r d τ   +   G t   dt d τ =   0 .
The four terms in (3) are arranged into two groups to be
( G t   dt d τ   +   G ω   d ω d τ )   +   ( G   ·   d r d τ   +   k G   ·   d k d τ )   =   0 ,
where the first group of terms is related to the time variation of the media, while the second group related to the spatial variation of the media. Because (4) is obtained from a general approach and the spatial variation and temporal variation are separable, its general solution requires that the following two relations be satisfied simultaneously:
G   ·   d r d τ   +   k G   ·   d k d τ   =   0
and
G t   dt d τ   +   G ω   d ω d τ   =   0 ,
where d r d τ     d k d τ and dt d τ     d ω d τ because r and k and t and ω are independent to each other; thus (5) and (6) deduce to the following relations
d r d τ   =   k G ,
d k d τ   =   G ,
d ω d τ =   G t ,
dt d τ   =   G ω   .
In principle, (2) can be solved to obtain, for instance, ω = ω(k; r, t); in other words, there are only three independent variables in (2). Choose r, t, and k to be independent variables and ω a dependent variable, i.e., G(k, ω; r, t) = G(k, r, t; ω(k, r, t)) then take partial derivatives of (2) with respective to the three independent variables k, r, and t, respectively, it obtains the following three relationships
k G   +   G ω k ω   =   0 ,
G   +   G ω ω   =   0 ,
G t   +   G ω   ω t   =   0 .
With the aid of (8a) and (7d), (7a) becomes
d r d τ   =   k G   =   G ω   k ω   =   d r dt   dt d τ   =   G ω   d r dt   ,
which leads to
d r dt   =   k ω   =   v g .
With the aid of (8b) and (7d), (7b) becomes
d k d τ   =   G   =   G ω ω   =   d k dt   dt d τ   =   G ω   d k dt ,
which leads to
d k dt   =   ω .
With the aid of (8c) and (7d), (7c) becomes
d ω d τ   =   G t   =   G ω   ω t   =   d ω dt   dt d τ   =   G ω   d ω dt ,
which leads to
d ω dt   =   ω t .
Equations (9) to (11), subject to a set of initial conditions, determine the ray trajectory in the phase space (i.e., rk space). In essence, these are the Hamilton’s equations of motion with ω and k to be the Hamiltonian and momentum of the ray.

3.2. Ray Trajectories of Sounding Pulses-Spread-F

This ray tracing technique is applied to explain the virtual height spread (e.g., Figure 5b) of the ionogram trace observed in the HF heating experiments. Digisonde (ionosonde), an HF radar, is a remote-sensing device for monitoring the plasma density profile of the bottom-side ionosphere. It transmits sounding pulses upward and records the return echoes in an ionogram as the virtual height trace. Digisonde radiates at a large cone angle, each sounding pulse can be decomposed into many rays, which have different ray trajectories, and only backscattered rays can return to the digisonde and are recorded as the ionogram echoes. In the unperturbed ionosphere, only a few rays, which are close to the vertical transmission, are backscattered. Thus, the virtual height traces of the sounding echoes in the ionogram have narrow virtual height spreads. However, when the ionosphere is perturbed in the presence of large-scale field-aligned density irregularities, ray trajectories can be significantly modified as elaborated in the following.
A carton of large-scale FAIs appearing in the F region of the ionosphere is presented in Figure 9a; x and z axes are in the horizontal and vertical directions. A sounding pulse of the digisonde is decomposed into a bunch of rays as also shown in Figure 9a. Only plasma affects ray trajectory, thus, from the ground to the reference layer, z = 0, rays are assumed to propagate in a free space, where the plasma density is still low and FAIs do not extend to. Ray trajectories from z = 0 up to their reflection layers and returning to z = 0 are determined via ray tracing technique. In this region, the background plasma has a density distribution N ( z ) = N 0 ( 1 + z L ) , where N 0 and L are the plasma density at the reference layer, z = 0, and the inhomogeneity scale length of the background plasma, respectively. FAIs are represented by a single sinusoidal function with a spatial period d and an amplitude ΔN, i.e., N I ( x ,   z ) = Δ N sin κ ( x   sin θ d   +   z   cos θ d ) , where κ = 2 π / d and θ d is the magnetic dip angle; θ d = 50 ° , 75.6 ° ,   and   78 ° at Arecibo, HAARP, and EISCAT, respectively.
In the model, plasma is uniform in the y direction, only two-dimensional trajectories on the x-z plane are considered in the numerical analysis; (9) and (10) become
dx dt   =   ω k x   and   dz dt   =   ω k z ,
and
dk x dt   =   ω x   and   dk z dt   =   ω z .
Because the ionospheric plasma and FAIs can be stationary in the propagation period of a ray, ω / t   =   0 , (11) leads to d ω / dt   =   0 ; thus ω   =   ω ( k x ,   k z ,   x ,   z ) is a constant of motion. With the aid of the dispersion relation ω   = ω ( k x ,   k z ,   x ,   z ) , right-hand side terms of the Equations in (12) and (13) can be expressed explicitly.
Digisonde transmits linearly polarized sounding pulses, which can be decomposed to RH- and LH-polarizations representing O-mode and X-mode sounding pulses. The dispersion equations for obliquely propagating O-mode and X-mode heating waves are given approximately by
[ ω ω 2 ( ω p 2 + k 2 c 2 ) ] + k 2 k 2 Ω ( ω 2 k 2 c 2 )   ~ 0
and
ω 2 ( ω Ω ) ω ω p 2 ( ω Ω ) ( k 2 + 1 2 k 2 ) c 2 ~ 0 .
where the parallel and perpendicular (to the magnetic field) components, k and k of the wavevector are related to the x and z components, k x and k z of the wavevector by k = k x cos θ d + k z sin θ d and k = k x sin θ d + k z cos θ d ; ω p 2 = ω p 0 2 [ 1 + z L + Δ N N 0 sin   κ ( x   sin θ d + z   cos θ d ) ] and ω p 0 2 = N 0 e 2 m ϵ 0 . With the aid of (14) and (15), right hand side terms of the equations in (12) and (13) can be expressed explicitly for the O-mode and X-mode sounding rays, respectively.
In the numerical calculation, FAIs are represented by a single sinusoidal function with a spatial period of 200 m and an amplitude ΔN; the background plasma density has a linear scale length L = 30 km. Figure 9b demonstrates the change of the trajectory of a vertically incident O-mode ray of 2.8 MHz in the presence of FAIs with the amplitude ΔN increased from 0 to 0.1 N0, where N0 is the plasma density at a reference layer, z = 0, having a plasma frequency ω p 0 = 2.26   MHz (i.e., 3.2/√2 MHz). In the absence of FAIs (ΔN = 0), the vertically incident ray is backscattered. However, in the presence of FAIs (ΔN/N0 = 0.01 to 0.1), the vertically incident ray is not backscattered anymore.
A similar demonstration for the vertically incident x-mode ray of 2.8 MHz is presented in Figure 9c. As shown, the vertically incident ray is backscattered also only in the absence of FAIs (ΔN = 0). In fact, the vertically incident ray is ducted by the FAIs (for Δ N / N 0 0.03 ) , the return signal propagates along the geomagnetic field, rather than propagating vertically downward. The x and z axes in Figure 9b,c are normalized to k0 = ω0/c, where f 0   =   ω 0 / 2 π is the frequency of the sounding pulse. For example, at 2.8 MHz, 1 / k 0 = c / ω 0 =   17.05232   m ; thus, the (x, z) axes for 2.8 MHz ray are normalized to 17.05232 m. The normalization is inversely proportional to the frequency, thereby it decreases to 13.64 m for 3.5 MHz ray.
Therefore, in the presence of FAIs, the traces in an ionogram are not contributed by the returns of the vertically incident rays. In order to achieve backscatter, the incident direction of the ray at the reference layer, z = 0, must have an off vertical angle. The trajectories of backscatter rays in the presence of 15% FAIs for both O- and X-mode sounding signals from 3.5 to 4 MHz are determined. 15% FAIs are relatively large for the general situation; it is adopted in the simulations for a better contrast. The results are shown in Figure 10, the backscatter trajectories in the absence of FAIs are also plotted for comparison.
As shown in Figure 10a, the trajectories of the O-mode backscatter rays [3.5 (red), 3.6 (green), 3.7 (black), 3.8 (pink), 3.9 (blue), 4 (brown) MHz] are modified significantly by the FAI from those (light pink) in the absence of FAI, however the incident off-vertical angles are very small ( < 1 ° ); on the other hand, as shown in Figure 10b, the off-vertical angles of the x-mode backscatter rays in the presence of FAI are very large, and this off-vertical angle ( > 15 ° ) increases as the frequency of the sounding signal decreases. The off-vertical angle also increases with the increase of the FAI amplitude. In general, multiple incident rays (at different oblique angles) are backscattered to the digisonde receiver to produce multiple sounding echoes at the same radar frequency but at different return times [35], resulting in the spread of the virtual height traces. In the HF heating experiments, large-scale FAIs are generated by the O-mode heating waves, causing a spread of the virtual height traces like the natural Spread-F; the heating-wave-induced Spread-F is termed “Artificial Spread-F”.

4. Parametric Instabilities Excited in HF Heating Experiments

Plasma supports high-frequency and low-frequency modes; in the absence of external sources, these modes present in plasma as thermal fluctuations. A large-amplitude, high-frequency wave, E p ω 0 ,   k p , (either electromagnetic (EM) or electrostatic (ES)), can be a pump wave, which excites high- and low-frequency plasma waves concurrently [39]. The electric field of the high frequency pump wave sets up a quiver motion in the electron plasma at velocity v eq t . On the other hand, electrons and ions oscillate together to maintain quasi-neutrality, i.e., n es ω s ,   k s     n is ω s ,   k s   =   n s ω s ,   k s , in the low frequency plasma wave field; it facilitates the low-frequency plasma wave to buildup plasma density perturbation n s ω s ,   k s . A coupling of the pump wave and the low-frequency plasma wave induces a high-frequency space charge current density, e n s v eq , in the electron plasma. Such a current drives beat waves, E ω ,   k   and   E   ω   ,   k , with the wavevectors and frequencies satisfying the matching conditions:
ω 0 = ω   +   ω s * =   ω   ω s   and   k p =   k   +   k s =   k   k s
These beat waves, in turn, also couple with the pump wave to induce in the electron plasma a low-frequency nonlinear force, which has the same frequency and wavevector as the density perturbation, n s ω s ,   k s , to drive this density perturbation. When the couplings generate large enough positive feedback to overcome linear losses of the coupled waves, instability is excited to grow the coupled plasma waves exponentially in the expense of the pump wave energy. This is called “parametric instability”; a pump wave, E p ω 0 ,   k p , decays to two sidebands, E ω ,   k and E   ω   ,   k , through coupling to a low-frequency decay mode, n s ω s ,   k s . Parametric coupling is imposed by the frequency and wavevector matching conditions; further, the instability requires the pump electric field intensity to exceed a threshold. When the decay mode, n s ω s ,   k s , has a finite oscillation frequency, two sidebands cannot satisfy the same dispersion relation concurrently. The frequency-upshifted sideband, E   ω   ,   k , has large frequency discrepancy from the plasma mode and can be disregarded to simplify the parametric coupling to be three-wave interaction.
Parametric excitation of Langmuir/upper hybrid waves, ϕ ω ,   k , and low-frequency plasma waves, n s ω s ,   k s , by the electromagnetic or Langmuir/upper hybrid pump waves, E p ω 0 ,   k p , in the bottom-side of the ionosphere, are explored in the following, where E p , ϕ , and n s denote electric field of a pump wave, electrostatic potential of the Langmuir/upper hybrid sideband, and density perturbation of a low frequency decay mode, respectively. Langmuir waves can have large oblique propagation angles (with respect to the geomagnetic field B 0 =   z ^ B 0 ), upper hybrid waves have near 90° propagation angles, and low-frequency plasma waves include ion acoustic/lower hybrid waves as well as purely growing modes.
The most likely parametric instabilities excited directly by a HF heating wave in the bottom-side of the ionosphere include 1) oscillating two-stream instability (OTSI), and 2) parametric decay instability (PDI), in both mid-latitude and high-latitude ionosphere [4,40,41]. The sidebands are Langmuir waves and upper hybrid waves. The instabilities with Langmuir waves as sidebands must compete with those excited in the upper hybrid resonance region, where the upper hybrid waves are the sidebands of the instabilities. The wavenumber k 0 of the HF heating wave is much smaller than the wavenumbers of the electrostatic sidebands and decay modes, thus a dipole pump, i.e., k 0 =   0 , is generally assumed. As the excited Langmuir/upper hybrid sidebands grow to large amplitudes, they also become pump waves to excite parametric instabilities [42,43].
When the theory is used to explain the observations, it is noted that HFPLs and HFILs are monitored by UHF and VHF backscatter radars; those lines are associated with plasma waves propagating oblique to the geomagnetic field at an angle conjugate to the magnetic dip angle. Moreover, upper hybrid waves, lower hybrid waves, and field-aligned purely growing modes cannot be detected.
The coupled mode equation for the Langmuir/upper hybrid sideband ϕ ω ,   k is derived from the electron continuity and momentum equations, together with the Poisson’s equation, to be [44]
t +   ν eh 2 + Ω e 2 t 2 + ν eh t +   ω p 2 3 v te 2 2 2   Ω e 2 ω p 2 3 v te 2 2 2 ϕ = ω p 2 t +   ν eh 2   +   Ω e 2 z ·   E p n s * n 0   +   Ω e t +   ν eh z ^ · n s * n 0 × E p ,
where 〈 〉 represents a filter, which only keeps terms with the same phase function as that of the function ϕ on the left-hand side; Ω e = eB 0 / m , ω p =   n 0 e 2 / m 0 1 / 2 , v te =   T e / m 1 / 2 , and m, are the electron cyclotron frequency, plasma frequency, thermal speed, and mass, respectively. (16) is derived from the fluid equations, however the kinetic effect of electron Landau damping is included phenomenologically in the collision damping rate, i.e., ν eh = ν e + ν eL , which is the effective electron collision frequency, where ν e = ν en + ν ei , a sum of the electron-neutral elastic collision frequency, ν en , and the electron-ion Coulomb collision frequency, ν ei   2.632   n 0 / T e 3 / 2   ln Λ 39.5 n 0 / T e 3 / 2 4.87 × 10 7 f p 2 / T e 3 / 2 , here lnΛ ≅ 15 is assumed; n 0 is in cm−3, T e is in K, and f p is the electron plasma frequency], and ν eL =   π / 2 1 / 2 ω 2 ω p 2 / k z k 2 v te 3 exp ω 2 / 2 k z 2 v te 2 , a phenomenological collision frequency to represent electron Landau damping.
The low-frequency wave fields move both electrons and ions, hence the formulation of the coupled mode equation for the low-frequency decay mode, n s ω s ,   k s , includes electron and ion fluid equations. Because electrons and ions move together in the low frequency field, the formulation is simplified by introducing quasi-neutral condition: n si   n se = n s . The ion fluid equations are similar to the electrons except that the electron mass m is changed to the ion mass M, the charge −e changed to e, and the collision terms in the electron and ion fluid equations are modeled differently by νei(vevi) + (νen + νeL) ve and ν ie v i v e + ν i v i , respectively, where ν i = ν in + ν iL , ν in is the ion-neutral collision frequency, ν iL   π / 2 1 / 2 ω s 2 / k z V s T e / T i 3 / 2 exp ω s 2 / 2 k z 2 v t i 2 represents ion Landau damping on the low frequency decay mode, and V s =   T e / M 1 / 2 .
Neglecting the electron inertial term and the ion convective term in the momentum equations, these two momentum equations are combined into a one fluid equation, where the relations ν ie =   m M ν ei   and   m Ω e =   M Ω i are applied. This equation is then combined with the ion continuity equation to derive a coupled mode equation, for the low-frequency (ion acoustic/lower hybrid) decay mode [45]
t 3 t   +   ν es t t   +   ν i   C s 2 2   +   Ω e Ω i t 2 + Ω e 2 t 2   +   Ω i 2 t t   +   ν i   C s 2 2   +   Ω i 2 C s 2 2 z 2 n s / n 0 =   m M t 2 + Ω i 2 z 2   +   t 2 2 t t   +   ν es   +   Ω e 2 z   · a p   + Ω e t   · a p   ×   z ^ Ω e J B n 0 ,
where Ω i is the ion cyclotron frequency, C s =   T e +   3 T i / M 1 / 2 the ion acoustic speed, and M the ion (O+) mass; m / M ν e < <   ν i is applied; ν es = ν e + ν eLs , and ν eLs = π / 2 1 / 2 ω s 2 ω p 2 / k z k 2 v te 3 exp ω s 2 / 2 k z 2 v te 2 . The coupling terms a p = v e · v e and J B = 〈 n e v e 〉 arise from plasma nonlinearities. The linear responses of the electron density and velocity to the total high frequency wave fields are used to present these coupling terms.
In the following, parametric decays of an O-mode EM dipole pump, E p ω 0 ,   k p = 0 , into Langmuir/upper hybrid sidebands, ϕ ± ω ± ,   k ± , and a low-frequency decay mode,   n s ω s ,   k s , (a purely growing or an ion acoustic mode / FAI or a lower hybrid mode) in the spatial region below the HF reflection height are studied. ϕ + and n s denote the sideband’s electrostatic potentials and the density perturbation of purely growing or ion acoustic/FAI or lower hybrid mode, respectively; ϕ + =   ϕ ω ,   k 1 and ϕ =   ϕ ω ,   k 1 = k 1 , i.e., ω ± =   ω and k + =   k 1   =   k ; k 1   =   z ^ k 1 z   +   x ^ k 1 ; ω   =   ω 0 ω s * and k s   = k 1 are imposed by the frequency and wavevector matching conditions. The O-mode heating wave field is given to be
E p = x ^ +   i y ^ E p + z ^ E pz +   c . c . ,
where E p , z   =   E p , z   exp i ω 0 t ,   E p , z =   E 0 , z / 2 , and c.c. represents complex conjugate. It is noted that E 0 , z varies with the location (i.e., altitude); for instance, in the upper hybrid resonance region, E 0     E 0 and E 0 z   0 , thus   E p x ^ +   i y ^ E p +   c . c . E 0 x ^   cos ω 0 t + y ^   sin ω 0 t , where, neglect D region loss, E 0 =   30 PG / R   , P is the radiated power of the HF heater, G is the heater antenna gain, and R is the distance between the HF antenna and the excited upper hybrid resonance region; usually, it expresses PG = P eff , and P eff is called effective isotropic radiated power (EIRP). Near the HF reflection height, E 0     0   and   E 0 z     2 E 0 and thus   E p z ^ E pz +   c . c .   z ^   2 E 0 cos ω 0 t .
With the aid of (18), Equations (16) and (17) become
t +   ν eh 2 + Ω e 2 t 2 + ν eh t +   ω p 2 3 v te 2 2 z 2 + t +   ν eh t +   ν eh t 2 + ν eh t +   ω p 2 3 v te 2 2 +   Ω e 2 t 2 ϕ ± = ω p 2 t +   ν eh 2   +   Ω e 2   z E p z n s ± n 0 +   t +   ν eh x +   i y t +   ν eh +   i Ω e   E p n s ± n 0
and
t t   +   ν i C s 2 2   t t   +   ν es 2 + Ω e 2 z 2 +   Ω e Ω i t 2 2 n s / n 0 =   e m ω 2 m / M 1 Ω e 2 ω 2 1 t t   +   ν es +   i   Ω e 2 ω u 2   ω 2 ω p 2 ω   2   +   Ω e 2 z 2   × 1 + Ω e ω 1 x + i   y   E p + z E pz   2 ϕ + *   +   1 + Ω e ω 1 x i   y E p * +   z E pz *   2 ϕ   ,
where n s + * = n s ω s ,   k s =   k 1   = n s
Equations (19) and (20) are analyzed in the k-ω domain, where the spatial and temporal variation of physical functions in (19) and (20) are set to have the form of p   =   p   exp i κ · r ϖ t , where κ and ϖ   =   ϖ r +   i γ are the appropriate wavevector and complex frequency of each physical quantity. Thus (19) and (20) are converted to the coupled algebraic equations to be
ω 2 +   i ν eh ω   ω k 2   + Ω e 2 sin 2 θ   k 2 ϕ ± = ± i ω p 2 1 Ω e 2 / ω 2 1 Ω e 2 cos 2 θ / ω 2 k z E pz +   k x   +   ik y 1   +   Ω e / ω E p n s ± n 0
and
ω s ω s +   i ν i   ω s ω s + i ν es +   i ν i / ξ k 2 C s 2   +   Ω e Ω i ξ sin 2 θ +   Ω e 2   k 2 C s 2 cos 2 θ n s n 0 = i ke Ω e m ω 2 m M 1 1 + Ω e ω ω s ω u 2     ω 2 ω p 2 ω sin 2 θ +   cos 2 θ × k z E pz ϕ + * +   E pz * ϕ   +   1 1 + Ω e / ω k x E p ϕ + * +   E p * ϕ   +   ik y E p ϕ + *   E p * ϕ
where sin 2 θ   =   k 2 / k 2 ,   ω k 2 =   ω p 2   +   3 k 2 v te 2   and   ω u 2 =   ω p 2 +   Ω e 2 ; (21) is simplified with the condition Ω e / ω 4 < <   1 ; ξ   =   1   +   M / m cot 2 θ .
In the following, the coupled mode algebraic Equations (21) and (22) are employed to analyze parametric instabilities excited in the ionospheric HF heating experiments.

4.1. OTSI and PDI near the HF Reflection Height

The RH circularly polarized HF heating wave propagates to the region near the reflection height, and it converts to the O-mode with the electric field E p     z ^ E 0 z cos ω 0 t ,   where   E 0 z 2 E 0 .

4.1.1. OTSI—Excitation of Langmuir Sidebands ϕ ± ω , ± k Together with Purely Growing Density Striations n s ω s = i γ s ,   k s by the HF Heating Wave

The parallel (to the magnetic field) component k sz of the wavevector of the small-scale purely growing mode n s ω s = i γ s ,   k s is not negligibly small, and the density striations are mainly driven by the parallel component of the ponderomotive force induced by the high frequency wave fields. Apply the condition Ω e Ω i ξ ~ Ω e 2 k z 2 / k 2 >> k 2 C s 2 to simplify (22) and set ω s = i γ s and ω   =   ω 0 + i γ s , (21) and (22) are combined to be
γ s 2 +   Ω i 2 γ s γ s   + ν i   +   k 2 C s 2 Ω i 2   k 2 C s 2 =   e 2 k 2 cos 2 θ mM γ s 2   +   Ω i 2   cos 2 θ Δ ω 2 Δ ω 4 +   ω 0 2 2 γ s   +   ν eh 2   E 0 2 ,
where Δ ω 2   =   ω p 2   +   3 k 2 v te 2   +   Ω e 2   sin 2 θ ω 0 2 .
Set γ s = 0 in (23), the threshold field is obtained to be
E 0 otsi θ th = E 0 z t h 2   =   mM 1 / 2 e C s Δ ω 4 +   ω 0 2 ν eh 2 / Δ ω 2 1 / 2 cos θ .
It shows that the threshold field of OTSI varies with the propagation angle θ and wavelength λ of the Langmuir sidebands as well as the location of excitation (i.e., Δω2). The threshold field (24) has the minimum
E 0 otsi θ m   =   2 mM 1 / 2 e C s ω 0 ν eh 1 / 2 cos θ .
when the (k,θ) lines are excited in a preferential layer at altitude h(k,θ), where ω p 2 h = ω p 2 k , θ =   ω 0 ω 0 +   ν e 3 k 2 v te 2   Ω e 2   sin 2 θ and Δ ω 2 k , θ =   ω 0 ν eh .

4.1.2. PDI—Decay of HF Heating Wave to Langmuir Sideband ϕ(ω, k) and Ion Acoustic Wave n s ω s ,   k s

The coupled mode equations (21) and (22) are combined to a dispersion equation
[ ω ω   +   i ν eh ω k θ 2 [ ω s * ω s * i ν i k 2 C s 2 =   1 Ω e 2 / ω 0 2 1 Ω e 2 cos 2 θ / ω 0 2   e 2 k z 2 ω p 2 2 mM ω 0 2 E 0 2 .
When the instability is excited at the matching height h of its Langmuir sideband (k, θ), i.e., ω r =   ω k θ   =   ω p 2   +   3 k 2 v te 2   +   Ω e 2   sin 2 θ 1 / 2 and ω sr =   kC s , the minimum threshold field is obtained to be
E 0 pdi ( k , θ ) m = E 0 z t h 2 =   1 Ω e 2 cos 2 θ / ω 0 2 1 Ω e 2 / ω 0 2 1 / 2 2 mM e 2 1 / 2   ν eh ν i   ω sr   ω 0 3 1 / 2   kcos θ ω p .
Equations (25) and (27) show that the layers of exciting OTSI and PDI move downward and the threshold fields increase as the oblique propagation angles θ of the OTSI and PDI lines increase. When the heating wave field E 0 is large, the Langmuir sidebands excited by the OTSI and PDI will have angular (θ) and spectral (k) spread lines, distributed in altitude layers, where are higher and narrower for the OTSI excitation layer than that for the PDI layer.

4.2. Upper Hybrid OTSI and PDI Excited near the Upper Hybrid Resonance Layer

4.2.1. OTSI—HF Heating Wave Decaying to Upper Hybrid Sidebands and Field-Aligned Density Irregularities

The O-mode HF heating wave can access the upper hybrid resonance layer, which is located below the O-mode HF reflection height. In high-latitude regions, such as at Tromso, Norway and Gakona, Alaska, RH circularly polarized heating wave can be transmitted along the geomagnetic field. In the region near the upper hybrid resonance layer, the heating wave field still remain at RH circular polarization, i.e., E p = 1 2 x ^ +   i y ^ E 0 exp i ω 0 t   +   c . c . ; the heating wave decays to two upper hybrid sidebands ϕ + ω ± ,   k ± = ± x ^   k and a field-aligned purely growing mode n s ω s =   i γ s ,   k s = x ^ k , where ω ±   =   ω   =   ω 0   +   i γ s .
Equations (21) and (22) are analyzed in the same way to be combined into a dispersion equation for the upper hybrid OTSI to be
γ 1 +   k 2 C s 2 ω LH 2 γ 1   + 2 m M + k 2 v te 2   Ω e 2 + 2 γ 1 k 2 v te 2 3   Ω e 2   Γ 2   +   ν e 2 ω 0 2   +   Ω e 2 2 / ω 0 2 =   2 / 3 Γ 1     Ω e ω 0 ν e 2 1   +   Ω e 2 ω 0 2   5 / 4 k λ D ω 0 2 1   +   6 m Ω e 2 5 Mk 2 v te 2 ω 0 4     Ω e 4   ω p Ω e ω 0   +   Ω e 2 keE 0 m 2 ,
where γ 1   =   γ s / ν e ,   k D   =   ω p / v te   and   Γ   =   ω p 2   +   3 k 2 v te 2   +   Ω e 2   +   ν eh 2   ω 0 2 .
With Γ   =   Γ 0   =   a   +   a 2 +   ν e 2 ω 0 2   +   Ω e 2 2 / ω 0 2 1 / 2 , where a   =   1   +   Ω e 2 / ω 0 2   ν e 2   +   3 / 2 Ω e Ω i / 1     Ω e / ω 0 , the minimum threshold field is obtained to be
E u o t s i m   =   6 m C s e 1   Ω e / ω 0 3 / 2   Γ 0   1   +   k 2 v te 2 2 Ω e Ω i 1 / 2 .

4.2.2. PDI—Decay of HF Heating Wave to an Upper Hybrid Sideband ϕ(ω, k) and a Lower Hybrid Decay Wave n s ω s ,   k s

A dispersion equation is derived, by combining (21) and (22), to be
Γ   +   i ν e ω   ω s * ω s * ω s * i ν es + ν i / ξ ω Lks 2   =   e Ω e m ω 2 m M 3 k 2 v te 2 4 ω 1 + Ω e ω 2   k 2 E 0 2 ,
where ν i   < <   ν es is assumed.
The minimum threshold field E u p d i m of the instability excited at the matching height of its upper hybrid sideband ϕ k ,   θ is obtained to be
E updi m =   m e 1 + Ω e ω 0 ν e ν es + ν i ξ 1 2 ξ 3 1 2 ω 0 2 k 2 v te 2 ,
where ν e = ν ei   + ν en , ν es = ν e   + ν eLs , and ν eLs = π / 2 1 / 2 M / m 3 / 2 ω LH 4 ξ / k 3 v te 3 ξ 1 1 / 2 exp M ω LH 2 ξ / 2 mk 2 v te 2 ξ 1 . The plasma frequency at the matching height is ω p =   ω 0 2   Ω e 2 3 k 2 v te 2 1 / 2 <   ω 0 2   Ω e 2 1 / 2 ; in other words, the preference region of exciting upper hybrid PDI is below the upper hybrid resonance layer.
The definitions of the symbols in (25), (27), (29), and (31) are summarized in the following: The ion acoustic speed C s   =   T e + 3 T i / M 1 / 2 and the electron thermal speed v te =   T e / m 1 / 2 ;   ω 0 ,   ω sr ,   ω LH =   Ω e Ω i 1 / 2 ,   ω p ,   and   Ω e , i   are the HF heating wave, ion acoustic, lower hybrid, electron plasma, and electron and ion cyclotron radian frequencies; ν eh = ν en + ν ei   + ν eL = ν e   + ν eL , ν en is electron-neutral elastic collision frequency, ν ei is the electron-ion Coulomb collision frequency, ν e = ν en + ν ei , and ν eL   is twice of the electron Landau damping rate; ν es = ν e + ν eLs , and ν eLs is twice of the electron Landau rate on lower hybrid wave; ν i = ν in + ν iL , ν in is the ion-neutral collision frequency, ν iL   is twice of the ion Landau damping rate on ion acoustic wave; ξ = 1 + (M/m)(   k z 2 / k 2 ); θ is the oblique angle of the wavevector with respect to the geomagnetic field; Γ 0   =   a   +   a 2 +   ν e 2 ω 0 2   +   Ω e 2 2 / ω 0 2 1 / 2 accounts for frequency mismatch, where a   =   1   +   Ω e 2 / ω 0 2   ν e 2   +   3 / 2 Ω e Ω i / 1     Ω e / ω 0 .

4.3. Height Separations of the Instability Layers in the Bottom-Side of the Ionosphere

Let h r / ω pr ,   h p / ω pp ,   and   h u / ω pu be the HF reflection height, Langmuir PDI height, and upper hybrid resonance layer height, and the corresponding electron plasma frequency at each height, respectively. In the small region from the upper-hybrid resonance layer to the HF reflection layer, a linear increasing plasma density profile n   =   n 0   1 Δ h / L is assumed, where n 0 is the electron density at h r (i.e., ω pr 2 = ω 0 2 ), L is the linear scale length, and Δh is the distance below h r (i.e., Δ h   =   h r h ). With the aids of the HFPL dispersion relation and the definition of the upper-hybrid resonance frequency, this leads to ω pr 2   ω pp 2   ~   12 k R 2 v te 2 =   ω 0 2 Δ h p / L   and   ω pr 2   ω pu 2   ~   Ω e 2 =   ω 0 2 Δ h u / L ; then, Δ h p =   h r h p   and   Δ h u =   h r h u   are derived to be
Δ h p =   h r h p = 12 k R 2 v te 2 ω 0 2 L
and
Δ h u =   h r h u = Ω e 2 ω 0 2 L ,
where k R is the wavenumber of the UHF radar.
The following parameters corresponding to the HAARP site are adopted: v te =   1.33 × 10 5   m/s, k R = 3 π , Ω e   =   2 π × 1.45 × 10 6   Rad/s, and f 0 =   4.3 MHz. Then (32) and (33) give Δ h p ~ 0.0258L and Δ h u ~ 0.114L ~ 4.4 Δ h p , leading to Δ h u Δ h p   ~   3   km for L ~ 34 km.

4.4. Impact of Double Resonances on Parametric Excitation of Upper Hybrid PDI

Double resonances is the situation where the upper-hybrid sideband of the upper-hybrid PDI excited in the upper hybrid resonance region is also in resonance with electrons at the Doppler-shifted nth harmonic cyclotron resonance, i.e., ω   ~   ω uk = n Ω e +   k z v te , where the upper-hybrid frequency ω uk = ω 0 2 + Ω e 2 +   3 k 2 v te 2 1 / 2 . The frequency matching condition ω 0 = ω + ω s of the upper-hybrid PDI, can be satisfied if ω 0 > n Ω e but close to n Ω e . The lower-hybrid wave frequency at HAARP is given to be f Lk = f LH ξ   ~   8.3 × ξ kHz, where ξ =   1   +   M / m k z / k 2 . For ξ = 3, f Lk ~ 14.4 kHz.
A frequency sweep method can be applied to achieve a double resonance situation. It slowly sweeps the heating wave frequency from n Ω e to a frequency covering the lower-hybrid wave frequency f Lk and the Doppler-shifted frequency Δf =   k z v te / 2 π . The linear velocity response of the electrons in the upper-hybrid wave field E u =   i k ϕ   +   c . c . is given to be v u =   ke / m ω 2 Ω e 2 ω x ^   +   i Ω e   y ^ ϕ   +   c . c . . At the Doppler-shifted cyclotron harmonic resonance, ω = n Ω e   + k z v te , there is an additional resonance response, ascribed to the finite Larmour radius effect; it is derived to be v ur =   i ke / m ω v e n 2 Λ n β e / β e ω   x ^   + i Ω e   y ^ ϕ   +   c . c . , where β e   =   k 2 v te 2 / Ω e 2 , Λ n β e   =   I n β e   exp β e ,   and   I n β e is the modified Bessel function of the first kind. The total electron velocity response to the upper-hybrid wave becomes v ut =   ke / m n 2 1 Ω e 2 ] 1 i   n n 2 1 Ω e Λ n β e / β e ν e ω x ^   + i Ω e   y ^ ϕ +   c . c . ; the electron ponderomotive force, driving the lower-hybrid waves, is then enhanced by g 2 = v ut 2 / v u 2 . It lowers the threshold field, given in (31), by a factor g   =   1   +   n n 2 1 Ω e Λ n β e / 2 β e ν e 2 1 / 2 and elevates the growth rate by g2; thus, the upper-hybrid and lower-hybrid waves will be intensified as the finite Larmour radius factor β e = k 2 v te 2 / Ω e 2 is not too small. For β e 0.1, it requires that the wavelength λ u of the upper-hybrid wave is less than 0.3 m, i.e., λ u ≤ 0.3 m.

4.5. Instabilities under Double Resonance Situation

It was shown by Huang and Kuo [46] that when the heating wave frequency ω0 is near the third harmonic electron cyclotron resonance frequency, i.e., ω 0   ~   3 Ω e , upper-hybrid OTSI is suppressed by the parametric excitation of the electron Bernstein sidebands and small-scale FAIs. As a result, the source upper hybrid waves of the downshifted maximum (DM) lines of the stimulated electromagnetic emissions (SEEs) [47] is effectively suppressed; it explains the quenching of the DM feature in the SEE spectrum observed in the ionospheric heating experiments. However, the upper-hybrid PDI, which decays the HF pump wave into upper-hybrid sidebands and lower hybrid decay modes, can still be excited in the region below the upper-hybrid resonance region. As ω 0 <   3 Ω e , upper-hybrid (OTSI and PDI) instabilities are excited in the upper-hybrid resonance region as well as in a large region underneath. In this case, upper-hybrid instabilities deplete the HF heating power considerably before the HF heating wave reaches the PDI layer, thus the Langmuir PDI is suppressed.
On the other hand, as the heating wave frequency ω0 is ramping-up swept to exceed nΩe (i.e., ω 0 > n Ω e ), the frequency matching condition, ω 0 = ω uk + ω Lk , of the upper-hybrid PDI and the gyro-harmonic resonance condition ω uk = n Ω e +   k z v te , can be satisfied simultaneously in the same altitude region, where ω uk =   ω uh 2 + 3 k 2 v te 2 1 / 2 and ω uh 2 = ω pu 2 + Ω e 2 . Although double resonance suppresses upper-hybrid OTSI, it enhances the excitation of upper-hybrid PDI as discussed in Section 4.4; however, the upper-hybrid PDI zone is narrow; the instability will not be able to suppress the Langmuir PDI/OTSI. Langmuir PDI generated both up-going and down-going HFILs; but only the down-going HFILs will continuously propagate downward. On the other hand, the strongly excited upper-hybrid sidebands propagate downward and upward as electrostatic pump waves [48] that can cascade to down-going Langmuir sidebands and up-going ion-acoustic waves as well as up-going Langmuir sidebands and down-going ion-acoustic waves over an additional altitude range below   h   =   h r . In terms of the wavevector matching conditions for the generation of up-going/down-going HFILs, the cascade processes are illustrated in Figure 11a,b, respectively [49]. Upward propagating upper-hybrid waves stop at a height near the HF reflection layer (at h   =   h r , as shown in Figure 11b).
The Langmuir sidebands in the two cascade instabilities have different wavenumbers and the oblique angles to the magnetic field. The cascade process involving up-going Langmuir sidebands (Figure 11b) has a higher threshold field (due to larger oblique angle) and lower growth rate (due to smaller wavenumber) than the other one involving down-going Langmuir sidebands (Figure 11a). Because the mode characteristic of the HFILs is not sensitive to the background plasma density variation, down-going HFILs mainly attribute to those generated via Langmuir PDI.

5. Harmonic Electron Cyclotron Resonance Interactions

The motion of an electron, starting at origin and interacting with the excited upper hybrid wave field, E r , t   = 1 2 π x ^   k x +   z ^ k z / k E k   cos   k x x   +   k z z   ω t   dk , in a uniform magnetic field z ^ B 0 , is considered, where   k z <   k x and E k is an even function of k; thus, the initial wave field amplitude at origin is given by E u 0 =   E 0 ,   0   = E k   dk / 2 π . The trajectory of the electron is governed by the equations: d r t / dt   =   v t and d v t / dt   =   e E r ,   t / m     Ω v t × z ^ , where Ω =   eB 0 / mc   is the electron cyclotron frequency. The trajectory equations are integrated to be
r t =   r 0 t     c B 0 0 t   H _ ¯ t     s · E r t ,   t   ds ,
v = v 0   e i Ω t   + θ 0   dk 2 π   eE k x m 0 t e i Ω t s   cos   k x x s +   k z z s ω s ds   ,
v z =   v z 0   dk 2 π   eE k z m 0 t e i Ω t s cos k x x s +   k z z s ω s ds ,
where r 0 t   =   H _ ¯ t   ·   v 0 / Ω ,   v 0 = v 0 = v 0 ( x ^ cos θ 0 + y ^ sin 0 )   + z ^   v z 0 , and H _ ¯ t   =   ( x ^ x ^   +   y ^ y ^ ) sin Ω t x ^ y ^     y ^ x ^ ( 1 cos Ω t )   + z ^ z ^ Ω t ; v =   v x iv y ; E kx =   k x E k / k and E kz =   k z E k / k .
At Doppler-shifted cyclotron resonance, ω = n Ω + k z v z 1 , the trajectory would be that determined by the resonant (secular) terms together with small perturbations oscillating at high frequencies due to the non-resonant interactions. v z 1 =   ω n Ω / k z is the harmonic cyclotron shifted wave phase velocity along the magnetic field and the resonant electrons propagate along the magnetic field in the same direction as that of the wave when ω > n Ω .
In the present work, we will focus on the generation of energetic electrons, rather than the bulk heating, which is not directly relevant to the experimental observations. Hence, the non-resonant interaction terms in the trajectory functions (34) to (36) are neglected to focus only on the resonant trajectory. The x coordinate of the electron is obtained to be [21]
x t =   v t Ω sin θ t v 0 Ω sin θ 0   ,
where θ t   = θ 0 + Ω t   +   φ t ; v t   =   v 0 + β 2 + α 2 1 / 2 and α and β are determined self-consistently to be
α = dk 2 π   eE k x 2 m   0 t J n 1 w sin Θ J n + 1 w   sin Θ + ds ,
β =   dk 2 π   eE k x 2 m 0 t J n 1 w cos Θ + J n + 1 w cos Θ + ds ;
where J m w is the Bessel function of order m, w   =   k x v / Ω , and w = w s ; Θ ± = Φ + ( n ± 1 ) φ + k z ( z v z 1 s ) , Φ =   η sin 0 + n θ 0 , η = k x v 0 / Ω , φ = φ s , z = z s , and φ t   =   tan 1 α / v 0   + β .
Substituting (37) into (35) and (36) yields
v = v t e i θ t ,
v z = v z 0 dk 2 π   eE k z m   J n 1 ( η ) 0 t J n w   cos Φ +   n φ +   k z z v z 1 s ds ,
z = v z 0 t dk 2 π   eE k z m   J n 1 η 0 t t s   J n w cos Φ + n φ k z z v z 1 s ds
With the aid of (38), (39), and (41), the temporal evolution of the electron temperature and electron distribution function can be determined. In the collisionless limit, the evolution of the distribution function follows the equation df e v , r , t / dt   =   0 along the trajectories governed by (37) and (40) to (42). This equation provides the relation f e v , r , t   = f e v 0 , 0 , 0 , subjected to the fact that v ,   r are related to v 0 ,   0 through (37) and (40) to (42). Therefore, for a given initial distribution f e v 0 , 0 , 0 , (e.g., a Maxwellian f e v 0 , 0 , 0 = m / 2 π T 0 3 / 2 exp m / 2 T 0 v 0 2 + v z 0 2 ), the time evolved distribution function under the resonance heating limit may be determined. The kinetic perpendicular temperature T t is then given by T t = d v 0   mv 2 / 2   f e v 0 , 0 , 0   =   m / 2   d v 0   v 0 + β t 2 + α 2 t f e v 0 , 0 , 0 .
In the following formulation of harmonic cyclotron resonance interaction between electrons and upper hybrid waves [23], the approximation z v z 0 t is applied, the new notations F = α and G = v 0 + β , are introduced, and the relations cos φ = k x G / w Ω and sin φ = k x F / w Ω are employed.

5.1. Second Harmonic Cyclotron Resonance Case (n = 2)

We keep only the J 1 term in (38) to (42) and J 1 w w / 2 for w <   1 ; (38) and (39) are converted to the differential equations
dF dt   =   a 2 F   +   b 2 G ,
dG dt   =   b 2 F a 2 G ,
where a 2 = k x eE kx / 4 m Ω cos Φ +   k z v z 0 v z 1 t   dk / 2 π and b 2 = k x eE kx / 4 m Ω sin Φ +   k z v z 0 v z 1 t   dk / 2 π . After the spectral integration, we obtain a 2 = γ 2 sin k z v z 0 v z 1 t + 2 θ 0 and b 2 = γ 2 cos k z v z 0 v z 1 t + 2 θ 0 , where γ 2 = k m 2 eE u 0 v 0 / 4 m Ω 2 sin θ 0 ; the even function property of E k is applied and k m is close to the wavenumber of the spatial spectral peak of the upper hybrid wave. The value of γ 2 depends on the initial velocity (speed and phase angle) of the electron and the field intensity. The difference between the parallel velocities v z 0   and   v z 1 causes detuning on the resonance, which results in the reduction of the acceleration. We consider the optimal case that v z 0 = v z 1   =   ω n Ω / k z ; thus a 2 and b 2 are constant parameters, and (43) and (44) are solved analytically. Equations (43) and (44) can be decoupled to become two second-order differential equations:
d 2 F dt 2   = γ 2 2 F   and   d 2 G dt 2   = γ 2 2 G .
Equations in (45) are solved with the initial conditions: F 0 = 0 ,   F 0 = b 2 v 0 ,   G 0 = v 0 , and G 0 =   a 2 v 0 , the results are
F   =   v 0 cos 2 θ 0   sin h γ 2 t   and   G   = v 0 cos h γ 2 t     sin 2 θ 0 sin h γ 2 t .
The resonance electrons have the energy
2 t   = mv 2 / 2 mv 2 / 2   =   0 cos h 2 γ 2 t sin 2 θ 0 sin h 2 γ 2 t   ,
where 0 = mmv 0 2 / 2 is the initial electron transverse kinetic energy. The acceleration time depends on the available interaction time τ, which is determined by the shortest Coulomb collision time τe, and the transit time, τ T , governed by the size of the interaction region. Thus, τ = τ e τ T / τ e + τ T . Since v z is assumed to be small, τ T > > τ e ,   and τ τ e .

5.2. Third Harmonic Cyclotron Resonance Case (n = 3)

Keeping only the J 2 term in (38) to (42) with J 2 w     w 2 / 8 for | w | <   1 and applying the relations cos 2 φ =   k x 2 G 2 F 2 / w 2 Ω 2   and   sin   2 φ =   2   k x 2 FG / w 2 Ω 2 , the differential forms of (38) and (39) are derived to be
dF   dt = 2 a 3 FG     b 3 F 2 G 2 ,
dG   dt = 2 b 3 FG   + a 3 F 2 G 2 ,
where a 3 =   k x 2 eE kx / 16 m Ω 2   cos Φ + k z v z 0 v z 1 t   dk / 2 π and b 3 =   k x 2 eE kx / 16 m Ω 2   sin + k z v z 0 v z 1 t   dk / 2 π . The integrations are carried out to give a 3 = γ 3 cos k z v z 0 v z 1 t + 3 θ 0 and b 3 = γ 3 sin k z v z 0 v z 1 t + 3 θ 0 , where γ 3 =   k m 2 eE u 0 / 16 m Ω 2 . In the optimal situation, v z 0 = v z 1 = ω n Ω / k z , a 3 = γ 3 cos 3 θ 0 and b 3 = γ 3 sin 3 θ 0 are constant parameters. Set X 3 =   a 3 F +   b 3 G   and   Y 3 =   a 3 G b 3 F   , where X 3 2   +   Y 3 2 = γ 3 2 F 2 + G 2   = γ 3 2 v 2 t , (48) and (49) can be combined into two second-order differential equations
d 2 X 3 dt 2 =   2 X 3 X 3 2 + Y 3 2   and   d 2 Y 3 dt 2 =   2 Y 3 X 3 2 + Y 3 2 .
Two equations in (50) are combined to
d   dX 3 / dt 2 + dY 3 / dt 2 dt = 2 dX 3 dt   d 2 X 3 dt 2 + 2 dY 3 dt   d 2 Y 3 dt 2 = 4 X 3 X 3 2 + Y 3 2 dX 3 dt + 4 Y 3 X 3 2 + Y 3 2 dY 3 dt = d   X 3 2 + Y 3 2 2 dt ,
which leads to an adiabatic invariant relationship
dX 3 d t 2 + dY 3 d t 2 = X 3 2 + Y 3 2 2 .
Again, with the aid of (50), we obtain
X 3 d 2 X 3 dt 2   + Y 3 d 2 Y 3 dt 2   =   2 X 3 2 + Y 3 2 2 = ½ d 2 X 3 2 + Y 3 2 dt 2 dX 3 d t 2 +   dY 3 dt 2 .
Substituting (52) into (53), we obtain a single decoupled equation
d 2 X 3 2 + Y 3 2 dt 2 = 6 X 3 2 + Y 3 2 2 .
Expressed in terms of the energy 3 =   mv 2 / 2 of the resonance electrons, (54a) becomes
d 2 3 dt 2   =   12 γ 3 2 m 3 2 .
Equation (54b) is integrated to become a first order differential equation
d 3 d t   =   8 γ 3 2 / m 1 / 2 3 3 0 3   sin 2 3 θ 0 1 / 2   .
Equation (55) indicates that the electron energy may grow explosively with an explosive time τ x   ~   m / 2 0 γ 3 2 1 / 2 , i.e., 3 ~   m / 2 γ 3 2 τ x   t 2 for sin 3 θ 0   ~   0 . The explosive time is inversely proportional to the product of the electron initial energy and the power density of wave and the acceleration time depends on the available interaction time τ ~ τ e , the shortest Coulomb collision time; thus, 3 ~   m / 2 γ 3 2 τ x τ e 2 .

5.3. Fourth Harmonic Cyclotron Resonance Case (n = 4)

We keep only the J 3 term in (38) to (42) and J 3 w   w 3 / 48 for w   <   1 . Applying the relations cos   3 φ   =   G G 2 3 F 2 / F 2 + G 2 3 / 2 and sin   3 φ   =   F 3 G 2 F 2 / F 2 + G 2 3 / 2 , (38) and (39) have the differential forms
dF   dt = a 4 F 3 G 2 F 2 + b 4 G G 2 3 F 2 ,
dG   dt = b 4 F 3 G 2 F 2 +   a 4 G G 2 3 F 2 ,
where a 4 =   k x 3 eE kx / 96 m Ω 3   cos Φ + k z v z 0 v z 1 t   dk / 2 π and b 4 =   k x 3 eE kx / 96 m Ω 3   sin Φ + k z v z 0 v z 1 t   dk / 2 π . The integrations are performed to obtain a 4 = γ 4 sin k z v z 0 v z 1 t + 4 θ 0 and b 4 =   γ 4 cos k z v z 0 v z 1 t + 4 θ 0 , where γ 4 =   k m 4 eE u 0 v 0 / 96 m Ω 4 sin θ 0 . Again, in the optimal case that v z 0 = v z 1 =   ω n Ω / k z , a 4 =   γ 4 sin 4 θ 0 and b 4 =   γ 4 cos 4 θ 0 become constant parameters. Substituting X 4 = F 2 + G 2 ,   Y 4 =   G 2 F 2 , and Z 4 =   FG into (56) and (57), we obtain
dX 4 dt   = 2 X 4 a 4 Y 4 2 b 4 Z 4 ,
dY 4 dt   = 4 Y 4 a 4 Y 4 2 b 4 Z 4 2 a 4 X 4 2 ,
dZ 4 dt   = 4 Z 4 a 4 Y 4 2 b 4 Z 4 + b 4 X 4 2 .
Substituting the relation a 4 Y 4 2 b 4 Z 4 =   1 / 2 X 4   dX 4 / dt , given by (58a), into (58b) and (58c), two equations are derived to be
d Y 4 / X 4 2 dt =   2 a 4   and   d Z 4 / X 4 2 dt   =   b 4 ,
which lead to Y 4 / X 4 2 = 2 a 4   t + C   and   Z 4 / X 4 2 = b 4   t , where the integration constant C   =   v 0 2 ; employing these two relations, (58a) is integrated to obtain X 4 =   C 2 4 a 4 Ct   +   4 γ 4 2 t 2 1 / 2 , which gives the energy function
ε 4 t   =   ε 0 [ sin 2 4 θ 0 ( 1 t τ x ) 2   +   cos 2 4 θ 0 ] 1 2 ,
where the time constant τ x = m   sin 4 θ 0 / 4 γ 4 ε 0 . In the explosive case, i.e., cos 4 θ 0 = 0 and sin 4 θ 0 = 1 , ε 4 t = ε 0 / 1 t / τ x ,   where   τ x = m / 4 γ 4 ε 0 .
We now use (47) and (60) and solve (55) to determine the electron energy distributions over the initial energy ε 0 and the phase angle θ 0 of the initial transverse velocity for the three cases (n = 2, 3, and 4).
In the numerical evaluations, the parameter values used in the (1) second harmonic case are E u 0 =   0.015   V / m , λ m =   0.5   m , and the interaction time τ = τ ei τ en / τ ei + τ en , where τ ei =   0.25 ε 0 3 / 2 and τ en =   0.00285 ε 0 1 / 2 ; (2) third harmonic case are E u 0 =   0.025   V / m , λ m = 0.5   m , and the interaction time τ = τ ei τ en / τ ei + τ en , where τ ei =   0.111293 ε 0 3 / 2 and τ en =   0.00277 ε 0 1 / 2 ; and (3) fourth harmonic case are E u 0 =   0.0295   V / m , λ m =   0.25   m , the interaction time τ = τ ei τ en / τ ei + τ en , where τ ei =   0.06257 ε 0 3 / 2 and τ en =   0.00277 ε 0 1 / 2 , and the explosive time τ x =   473.5   ε 0 3 / 2 sin θ 0 1 .
The numerical results of the three cases are plotted and presented in Figure 12a–c. As shown, ultra-energetic electrons are generated in all three cases. These ultra-energetic electrons enhance airglow and produce ionizations when colliding with the background neutral particles.
It is realized that the geomagnetic field varies slightly with the altitude and it takes time and interaction length to energize electrons in the resonance interaction. Theoretical results [23] indicate that the excited upper hybrid waves have a frequency bandwidth. In the parametric coupling, the upper hybrid wave frequency is f uk = f 0 f Lks , where f 0 is the heating wave frequency and the lower hybrid frequency f Lks =   f LH ξ 1 / 2 . In HAARP, the lower hybrid resonance frequency is f LH   ~   Ω e Ω i 1 / 2 / 2 π   ~   8.3   kHz . For ξ =   1   to   10 , f Lks   ~   8.3   to   26.3   kHz . Hence, f uk has a bandwidth of 18 kHz, which covers the change of the ionospheric electron gyro frequency over an altitude range of over 10 km. This interaction length is crucial for producing energetic electron flux for ionizations.
The plasma frequency increases faster than the decrease of the gyro frequency in the upward direction. Thus, the resonance interaction region is extended only downward from the upper hybrid resonance layer and with the presence of the downward propagating upper hybrid waves. This explains why the artificial ionization layers descend during their development as observed in electron cyclotron harmonic resonance heating experiments.

6. Production of Artificial Ionization Layer (AIL)

6.1. Down-Going Upper Hybrid Waves and Artificial Ionization Layer (AIL) Location

Upward-propagating upper-hybrid waves reflect at a height near the HF reflection layer (h = hr) to become down-propagating upper hybrid waves. These waves ( ω uk ,   k   =   x ^ k +   z ^ k z ) continuously propagate down from the upper-hybrid resonance layer, h   =   h u , along the geomagnetic field, to a height h, and it evolves to ( ω uk ,   k 1   =   x ^ k 1 + z ^ k 1 z ); its wavevector changes the magnitude and direction (i.e., the oblique angle, θ 1 =   tan 1 k 1 / k 1 z , to the geomagnetic field) due to the dropping of the plasma density.
In the propagation, the wave frequency and the horizontal component of the wavevector do not change, i.e., ω uk h u   = ω uk h   and   kcos θ =   k 1 sin θ 1 θ , where θ is the conjugate of the geomagnetic dip angle α ~ 76°, which set up two equations for k 1   and θ 1 to be
θ 1   = θ +   sin 1 k / k 1   cos θ
and
k 1 2 k 2 = ω p 2 h ω p 2 h u + Ω e 2 cos 2 θ 1 3 v te 2 .
These two equations are solved to obtain k 1 z h   =   k 1 cos θ 1   =   k 1 2 k 2 cos 2 θ 1 / 2 cos θ   k / 2 sin 2 θ , which increases with an increase of k 1 and with the decrease of θ as waves propagate down; upper-hybrid waves then convert linearly into oblique propagating Langmuir waves [49].
The process is presented in Figure 13, in which the blue curve, ω / ω p   =   1   +   Ω e 2 +   3 k 2 v te 2 / ω p 2 1 / 2 , and red curve, ω / ω p   =   ω p 2 h a   + Ω e 2 sin 2 θ a   +   3 k 2 v te 2 1 / 2 / ω p are the dispersion curves of the upper-hybrid wave ( k   =   k x ,   i . e . , k z / k x < <   1 ) and the Langmuir wave ( k   =   k 1 ) at the parametric excitation layer (at h   =   h p ) and at the AIL (at h   =   h a ), respectively, where ω p = ω p h p and θ a is the oblique angle (to the geomagnetic field) of the Langmuir wave at AIL location ( h   =   h a ).
As the upper-hybrid wave propagates downward, its frequency does not change, but the wavenumber increases and the wavevector inclines toward the magnetic field. As shown in Figure 13, the cross shifts horizontally to the right to the circle (o) on the red curve to become an obliquely propagating Langmuir wave. The downward change of the wave location can also be represented by rescaling the vertical axis by the ratio ω p 2 h a   + Ω e 2 sin 2 θ a 1 / 2 / ω p h p , which essentially moves the Langmuir wave curve (red curve) up to the dot curve, ω / ω p 2 h a   + Ω e 2 sin 2 θ a 1 / 2 =   1   +   3 k 2 v te 2 / ω p 2 h a   + Ω e 2 sin 2 θ a 1 / 2 . The dot curve intersects with the blue curve at a point also marked with a cross (x), which then represents the new mode appearing in the AIL. It shows that the upper-hybrid wave converts to an obliquely propagating Langmuir wave with k L =   k L   x ^   sin θ a +   z ^   cos θ a . Because the horizontal component of the wavevector does not change, i.e., k L sin θ a θ =   k m cos θ , thus k L = k m cos θ / sin θ a θ , where k m is the initial wavenumber of the upper-hybrid wave in a range ( k 1 ,   k 2 ). The converted Langmuir wave further cascade if it still has a large amplitude.

6.2. Generation of Energetic Electrons

The excited upper-hybrid and lower-hybrid waves accelerate electrons to higher energy. As the heating wave frequency ramps up, the harmonic cyclotron resonance region moves downward because the electron cyclotron frequency increases with lowering the altitude; thus, the double resonance layer shifts downward for shorter wavelength upper hybrid waves; it extends the generation region of the upper-hybrid waves, and also enhances the harmonic cyclotron resonance interaction between the excited waves and the electrons because shorter wavelength upper-hybrid waves provide stronger finite Larmour radius effect, as discussed in Section 5.
Those electrons at Doppler shifted cyclotron harmonic resonance interaction with the excited waves (i.e., ω uk =   n Ω e +   k 1 z v ez ), can be energized to high energy while moving down along the geomagnetic field if the interaction persists long enough. Constant v ez is assumed because the cyclotron harmonic resonance interaction mainly accelerates the gyration speed of the electron. However, if resonance interaction occurs at h   =   h u , i.e., ω uk =   n Ω e +   k z 0 v ez , where   k z 0 =   k z ( h u ), the resonance condition will be detuned as the electron moves downward, and the magnitude |Δω| of the detuning frequency Δ ω   = ω uk n Ω e +   k 1 z   h v ez   =       k 1 z   h   k z 0 v ez increases with the downward distance. It means that the interaction becomes weaker in time. On the other hand, if ω uk >   n Ω e +   k z   v ez at h   =   h u , i.e., ω 0 >   n Ω e by, e.g., 100 kHz, then Δ ω   = ω uk n Ω e +   k 1 z   h v ez   = Δ ω 0     k 1 z   h   k z 0 v ez , where Δ ω 0   = ω uk n Ω e +   k z 0   v ez > 0 , which is a gain factor; Δ ω 0 decreases as the electron moves downward with the wave. Hence, the interaction is continuously enhanced, and reaches cyclotron harmonic resonance at h   =   h i , where n Ω e +   k 1 z   h i v ez = ω uk , and resonant electrons can gain considerable energy from the upper hybrid waves.
The power transfer from wave to the electron moving along the magnetic field, i.e., P | |   =   e   E z v ez , depends on the phase of E z which varies with time due to Δω ≠ 0. Although the phase is distributed randomly from 0 to 2π, there are electrons of appropriate phases that will gain energy from the wave, i.e., P | | > 0 and v ez increases; consequently, Δω decreases to give a positive feedback to enhance wave–electron interaction. When Δω drops to a negative value, the feedback of the interaction becomes negative; thus, a sufficient large Δ ω 0 is necessary to give adequate positive feedback interaction period for the generation of energetic electrons. On the other hand, if Δ ω 0 is too large, the initial electron–wave interaction will be too weak to lock in the positive feedback in the interaction, or the available interaction spatial distance will be too short to generate energetic electrons. A frequency ramp-up sweep serves the purpose of setting the proper gain factor for achieving continuous positive feedback during the wave–electron interaction in the available altitude range.

6.3. Spatial Bunching to Buildup Energetic Electrons Density in a Thin Layer for AIL Production

Only a small fraction of electrons in a height layer can achieve cyclotron harmonic resonance with the upper-hybrid waves at h   =   h i ; as the upper-hybrid waves propagate down, more electrons along the path can meet the condition to be in cyclotron harmonic resonance with the upper-hybrid waves. These electrons can bunch together in a layer, where significant ionizations occur to form an AIL.
Because the cyclotron harmonic resonance interaction mainly accelerates the electron gyration speed, constant v ez is adopted to illustrate the bunching phenomenon in Figure 14. As shown, down-going electrons initially located higher with slightly larger initial v ez (or at the same location but starting later), and those located lower with smaller initial v ez (or at the same location but starting earlier), can bunch together at h   =   h a . Although the three bunches between two dash lines in Figure 14 show the accumulation of energetic electrons at three different times, the time delay (difference) of the bunch converts to the spatial difference of the starting location. In essence, Figure 14 also illustrates that groups of energizing electrons starting at different altitudes can bunch together at the same location and time. Such a bunching process builds up the density of energetic electrons at h   =   h a , where an AIL is produced.

7. Nonlinear Plasma Waves

7.1. Nonlinear Schrodinger Equations for the Langmuir Waves and Upper Hybrid Waves

O-mode heating wave passes the upper hybrid resonance layer before reaching the reflection height in an over-dense ionosphere; Langmuir and upper hybrid (electron plasma) parametric instabilities are excited concurrently by the HF heating wave; those waves form standing waves across the magnetic field B0 = z ^ B0 and propagate along the magnetic field (± z ^ direction).

7.1.1. Density Irregularities Generated by the Parametrically Excited Electron Plasma Waves

Ponderomotive forces [14,47], induced by the excited Langmuir and upper hybrid (electron plasma) waves, are exerted on electrons; ions follow the electron motion, via the induced self-consistent electric field, to maintain quasi-neutrality. Density irregularities along the geomagnetic field are then generated. The governing equation of plasma density irregularity δ n z = δ n e = δ n i , driven by the axial component of induced ponderomotive force, is derived as follows.
The continuity and momentum equations are given to be
t δ n e + n 0 · δ v e =   0   = t δ n i + n 0 · δ v i   ,
m e   t   +   ν e δ v e   + v e ·     v e = m e v te 2 z δ n e n 0   e δ E ,
m i   t   +   ν i δ v i   + v i   ·   v i =   3 m i v ti 2 z n i n 0 +   e δ E ,
where v te , i = T e , i / m e , i 1 / 2 and 〈 〉 operates as a mode type filter.
With the aid of (61), (62), and (63) are combined to be
t t   +   ν i n   C s 2 z 2 δ n n 0   =   m e m i   z 2   v e 2 2 ,  
where the electron inertial term is neglected; C s = T e + 3 T i / m i 1 / 2 is the ion acoustic speed, and m i the ion ( O + ) mass; m e ν e < < m i ν i and m i v i   ·   v i   < <   m e v e   ·   v e are applied.
Because δne is a non-oscillatory density perturbation, t t   +   ν i n δ n / n 0 < < C s 2 z 2 δ n / n 0 , and (64) is approximated to obtain δ n / n 0 m e / m i   V ep 2 / 2 / C s 2 , where V ep is the electron velocity perturbation by the electron plasma wave field.

7.1.2. Nonlinear Envelope Equation of the Electron Plasma Waves

Only electrons respond effectively to the Langmuir and upper hybrid wave fields, and the formulation involves electron fluid equations (61) and (62), which can be combined to an equation for the electrostatic potential ϕ ep of the electron plasma waves, given by the electron plasma wave field E ep   =   ϕ ep .
The continuity and momentum equations and the Poisson’s equation for the electron plasma wave density, velocity, and electrostatic potential perturbation, N ep , V ep ,   and   ϕ ep , are given to be
t   N ep   + ·   n 0 + δ n V ep   =   0 ,
t   +   ν e V ep   Ω e   V ep ×   z ^ = 3 v te 2   N ep n 0   + e m e ϕ ep ,
  2 ϕ ep   = eN ep ε 0 ,
where Ω e =   eB 0 / m e ; the convective term in (66) is separately included in (62). Equations (65) to (67) are then combined to a nonlinear equation for the electron plasma wave potential ϕ ep
t   +   ν e 2 +   Ω e 2 t 2 +   ν e t + ω p 2 3 v t e 2 2 2   Ω e 2 ω p 2 3 v t e 2 2 2 ϕ ep     ω p 2 3 v t e 2 2   t   +   ν e 2 2   +   Ω e 2 z 2   ϕ ep δ n n 0 ,
where 〈 〉 stands for a filter, which keeps only terms having the same phase function as that of the function ϕ ep on the left-hand side.
Set ϕ ep = φ t ,   z   e i ω e p t   cos k x   e ik z z   +   c . c ., where ω e p = ω p 2   + k 2 / k 2   Ω e 2   +   3 k 2 v t e 2 1 / 2 >   Ω e , k 2 = k 2   +   k z 2 , and k z k for Langmuir waves and k > > k z for upper hybrid waves; from the electron momentum equation, we have
V epx   ~   i ω e p ω e p 2   Ω e 2 ek φ t ,   z m e e i ω e p t   sin k x   e ik z z +   c . c . =   V ˜ epx + c . c .
V epy   ~   i Ω e ω e p V epx   +   c . c . = V ˜ epy + c . c .
V epz   ~   ek z φ t ,   z m e ω e p e i ω e p t   cos k x   e ik z z +   c . c . = V ˜ epz + c . c .
lead to
V e p 2 2 = V ˜ epx 2   +   V ˜ epy 2 + V ˜ epz 2 1 2 e m e 2 ω ep 2 +   Ω e 2 ω ep 2   Ω e 2 2 k 2 +   1 ω ep 2 k z 2   φ t ,   z 2 .
We now neglect the collision, and set A   =   3 v te 2 and B   =   ½   e 2 m e m i C s 2 ω ep 2 +   Ω e 2 ω ep 2   Ω e 2 k 2 + k z 2 , where B is applied for the two cases: 1) k z k for Langmuir waves and 2) k > > k z for upper hybrid waves; (68) reduces to
2 i ω e p t 2 ik z A z A z 2 B φ 2 φ =   0 .
This is a one-dimensional nonlinear Schrodinger equation.

7.2. Analysis

In the following, (70) is analyzed by first converting it to an eigenvalue equation, which is derived by introducing φ   =   φ ( ξ ,   t ) = ϕ ( ξ ) e i ( ϖ t + θ ) , where ξ   =   z Vt ;   V   =   Ak z / ω e p ; (70) becomes
  ϕ +   2 a ϕ   +   2 b ϕ 3 = 0 ,
where   ϕ =   d ξ 2 ϕ ; a = ω e p ϖ/A and b = B/2A. Consider (ϕ, ξ) as the equivalent spatial coordinate and time of a system, (71) represents an equation of motion of a unit mass object moving in this one-dimensional space and being accelerated by a force of −2(aϕ + bϕ3). Multiply   ϕ to both sides of (71), it leads to
d d ξ ½ d ϕ d ξ 2 + a ϕ 2 + ½   b ϕ 4 = 0 .
It is recognized that the quantity in the parenthesis on the LHS of (72) is invariant with ξ . This quantity is the total energy, H, of the object, in which the first term represents the kinetic energy, T, and the second term the potential energy, P. The object is trapped in the potential well P ϕ = a ϕ 2 + ½   b ϕ 4 ; it moves back and forth in the potential well to have an oscillatory trajectory in the case of H ≠ 0, and a non-oscillatory trajectory in the case of H = 0 and a < 0.

7.2.1. Periodic Solutions

For H ≠ 0, (71) is solved analytically in the cases of
  • H > 0 and a > 0
Set η 1   =   2 a / 1 2 k 1 2 1 / 2 ξ , ϕ ξ = ϕ 10 y 1 η 1 , and k 1 2 = 1 2 k 1 2 b ϕ 10 2 2 a =   1 2 1 1 1 + 2 bH / a 2 < 1 2 , where ϕ 10 2 = a b 1 + 2 bH / a 2 1 , (71) is normalized to be
y 1 + 1 2 k 1 2 y 1 + 2 k 1 2 y 1 3 = 0 ,
where y 1 = d 2 d η 1 2 y 1 . The solution of (73a) is a Jacobi elliptic (cosine amplitude) function c n   η 1 , k 1 ; thus,
ϕ p 1 ξ = ϕ 10   c n   η 1 , k 1 ,
which is a symmetric alternate function.
2.
H > 0 and a < 0
Again, set η 2   =   2 a / 1 2 k 2 2 1 / 2 ξ , ϕ ξ = ϕ 20 y 2 η 2 , and k 2 2 = 1 2 k 2 2 b ϕ 20 2 2 a =   1 2 1 + 1 1 + 2 bH / a 2 > 1 2 , where ϕ 20 2 = a b 1 + 2 bH / a 2 + 1 , (71) is normalized to be
y 2 + 1 2 k 2 2 y 2 + 2 k 2 2 y 2 3 = 0   ,
where y 2 = d 2 d η 2 2 y 2 . (73b) has the same form as (73a), its solution is also a Jacobi elliptic function c n   η 2 , k 2 . Thus,
ϕ p 2 ( ξ ) = ϕ 20   c n   η 2 , k 2 ;
likewise, it is a symmetric alternate function.
3.
a < 0 and H < 0
Set η 3   =   2 a / 2 k 3 2 1 / 2 ξ , ϕ ξ = ϕ 30 y 3 η 3 , and 2 k 3 2 b ϕ 30 2 a =   2 , i.e., k 3 2 = 2 1 + 1 1 + 2 bH / a 2 1 , where ϕ 30 2 = a b 1 + 2 bH / a 2 + 1 , (71) is normalized to be
  y 3 2 k 3 2 y 3 + 2 y 3 3 = 0 ,
where y 3 = d 2 d η 3 2 y 3 . The solution of (73c) is a Jacobi elliptic (delta amplitude) function d n   η 3 , k 3 ; thus,
ϕ p 3 ξ = ξ 30   d n   η 3 , k 3 ,
which is a non-alternate periodic function.

7.2.2. Solitary Solution

A localized solution of (71) requires ϕ = 0 = ϕ′ as ξ   ; thus H = 0 in the case of a < 0 is considered. Set x   =   2 a ξ , ϕ ( ξ )   = ϕ s 0 Y s x , and where ϕ s 0 = 2 a b , (71) is normalized to be
Y s Y s + 2 Y s 3 = 0 ,
where Y s = d 2 dx 2 Y s . Compare (74) with (73b) and (73c), the solution of (74) is c n   x , 1 = d n   x , 1 = sech x .     Thus
ϕ s ξ = 2 a b sech 2 a ξ ,
This is a solitary solution that ϕ s = 0 = ϕ s as ξ     . Its width (∝   1 / 2 a   ) is inversely proportional to its amplitude. The cubic nonlinearity of the medium mitigates wave dispersion in the propagation; when the nonlinear effect (∝ square of the amplitude) and the dispersion effect (inversely proportional to the square of the width of the wave packet) reach a balance, a shape-preserved solitary wave is formed and trapped in the self-induced density well (∝ ϕ s 2 ).
With the aid of (75a), the induced density cavity is given to be
δ n 4 ϖ ω e p n 0 sech 2 2 a ξ ,

7.3. Discussion

Langmuir waves and Upper hybrid waves are excited by the O-mode HF heater through parametric decay instabilities in HF heating experiments. Those waves are excited in narrow spatial regions below HF reflection layer and the upper hybrid resonance layer, respectively. Artificial density cusps, manifested by bumps in the virtual height spread of the ionogram trace (Figure 2), are induced. The two bumps are in the plasma frequency regions corresponding to the excitation regions of the Langmuir PDI and upper hybrid PDI.
The experimental results also show that the heater caused a significant range spread of the sounding echoes; the range spread was mainly downward, different from the upward spread phenomenon caused by large-scale field-aligned density irregularities. Thus, the observation manifests not only the generation of density ledges signified by bumps expanding the virtual height spread upward, but also the generation of density irregularities along the magnetic field over a large altitude region below the heater-induced density ledges.
The theory and analysis presented in Section 7.1 and Section 7.2 show that the localized Langmuir and upper hybrid waves generated by the HF heater form cavitons near the HF reflection layer and near the upper hybrid resonance layer, which induce bumps in the virtual height spread of the ionogram trace similar to that induced by the density cusp at E-F1 transition layer; incoherent scatter radar (ISR) will be another remote-sensing instrument to diagnose the formation of cavitons, cross checking ionograms’ inference. The down-going Langmuir waves and upper hybrid waves evolve into nonlinear periodic waves propagating along the magnetic field, which backscatter incoherently the sounding pulses to cause downward virtual-height spread.

Funding

This work was supported by the High Frequency Active Auroral Research Program (HAARP), Air Force Research Laboratory (AFRL) at Hanscom AFB, MA, and by the Office of Naval Research, Grant No. ONR-N00014-10-1-0856. Part of the financial support was arranged through NorthWest Research Associates, Inc. under AFRL contract FA8718-08-C-0049.

Acknowledgments

I am grateful to Min-Chang Leeing, MIT, to Brenton Watkins, Univ. Alaska at Fairbanks, to Paul Kossey, AFRL at Hanscom Air Force Base, to Lee Snyder, NorthWest Research Associates, Inc., and to Edward Kennedy, Naval Research Laboratory, for helpful discussions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Gordon, W.E.; Carlson, H.C. Arecibo heating experiments. Radio Sci. 1974, 9, 1041–1047. [Google Scholar] [CrossRef]
  2. Hagfors, T.; Kofman, W.; Kopka, H.; Stubbe, P.; Äijanen, T. Observations of enhanced plasma lines by EISCAT during heating experiments. Radio Sci. 1983, 18, 861–866. [Google Scholar] [CrossRef]
  3. Stubbe, P.; Kohl, H.; Rietveld, M.T. Langmuir turbulence and ionospheric modification. J. Geophys. Res. Space Phys. 1992, 97, 6285–6297. [Google Scholar] [CrossRef]
  4. Kossey, P.; Heckscher, J.; Carlson, H.; Kennedy, E. HAARP: High Frequency Active Auroral Research Program. J. Arctic Res. USA 1999, 1, 1. [Google Scholar]
  5. Stubbe, P.; Kopka, H.; Dowden, R.L. Generation of ELF and VLF waves by polar electrojet modulation: Experimental results. J. Geophys. Res. Space Phys. 1981, 86, 9073. [Google Scholar] [CrossRef]
  6. Fejer, J.A. Ionospheric modification and parametric instabilities. Rev. Geophys. 1979, 17, 135–153. [Google Scholar] [CrossRef]
  7. Showen, R.L.; Kim, D.M. Time variations of HF-enhanced plasma waves. J. Geophys. Res. 1978, 83, 623–628. [Google Scholar] [CrossRef]
  8. Kuo, S.P.; Lee, M.C.; Djuth, F.T. A new interpretation of plasma-line overshoot phenomena. Geophys. Res. Lett. 1987, 14, 961–964. [Google Scholar] [CrossRef]
  9. Djuth, F.T. High-resolution observations of HF-enhanced plasma waves at Arecibo. Geophys. Res. Lett. 1990, 17, 1893–1896. [Google Scholar] [CrossRef]
  10. Kuo, S.P.; Ho, A.Y.; Lee, M.C. temporal evolution of HF-enhanced plasma lines. Geophys. Res. Lett. 1990, 17, 2209–2212. [Google Scholar] [CrossRef]
  11. Showen, R.L. The spectral measurement of plasma lines. Radio Sci. 1979, 14, 503–508. [Google Scholar] [CrossRef]
  12. Kuo, S.; Snyder, A. Artificial plasma cusp generated by upper hybrid instabilities in HF heating experiments at HAARP. J. Geophys. Res. Space Phys. 2013, 118, 2734–2743. [Google Scholar] [CrossRef]
  13. Kuo, S.; Snyder, A.; Lee, M.C. Experiments and theory on parametric instabilities excited in HF heating experiments at HAARP. Phys. Plasmas 2014, 21, 062902. [Google Scholar] [CrossRef]
  14. Schmidt, G. Physics of High Temperature Plasmas; Elsevier BV: Amsterdam, The Netherlands, 1979; pp. 304–318. [Google Scholar]
  15. Davidson, R.C. Methods in Nonlinear Plasma Theory. Academic Press: New York, NY, USA, 1972. [Google Scholar]
  16. Kaufman, A.N.; Stenflo, L. Upper-Hybrid Solitons. Phys. Scr. 1975, 11, 269–270. [Google Scholar] [CrossRef]
  17. Kuo, S.P.; Brenton, W. Nonlinear upper hybrid waves generated in ionospheric HF heating experiments at HAARP. IEEE Trans. Plasma Sci. 2019, 47, 5334–5338. [Google Scholar] [CrossRef]
  18. Reinisch, B.W.; Galkin, I.A.; Khmyrov, G.M.; Kozlov, A.V.; Bibl, K.; Lisysyan, I.A.; Cheney, G.P.; Huang, X.; Kitrosser, D.F.; Paznukhov, V.V.; et al. New Digisonde for research and monitoring applications. Radio Sci. 2009, 44. [Google Scholar] [CrossRef]
  19. Djuth, F.T.; Pedersen, T.R.; Gerken, E.A.; Bernhardt, P.A.; Selcher, C.A.; Bristow, W.A.; Kosch, M.J. Ionospheric Modification at Twice the Electron Cyclotron Frequency. Phys. Rev. Lett. 2005, 94, 125001. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  20. Kosch, M.J.; Pedersen, T.; Hughes, J.; Marshall, R.; Gerken, E.; Senior, A.; Sentman, D.; McCarrick, M.; Djuth, F.T. Artificial optical emissions at HAARP for pump frequencies near the third and second electron gyro-harmonic. Ann. Geophys. 2005, 23, 1585–1592. [Google Scholar] [CrossRef] [Green Version]
  21. Kuo, S.P.; Cheo, B.R. Perpendicular electron cyclotron resonance heating by ordinary modes. Phys. Fluids 1981, 24, 778–784. [Google Scholar] [CrossRef]
  22. Kuo, S.P.; Rubinraut, M. Generation of energetic electrons at second harmonic cyclotron resonance in ionospheric HF heating experiments. Geophys. Res. Lett. 2005, 32. [Google Scholar] [CrossRef]
  23. Kuo, S.P. Electron cyclotron harmonic resonances in high-frequency heating of the ionosphere. Phys. Plasmas 2013, 20, 092124. [Google Scholar] [CrossRef]
  24. Rose, G.; Grandal, B.; Neske, E.; Ott, W.; Spenner, K.; Holtet, J.; Måseide, K.; Trøim, J. Experimental results from the HERO Project: In situ measurements of ionospheric modifications using sounding rockets. J. Geophys. Res. Space Phys. 1985, 90, 2851. [Google Scholar] [CrossRef]
  25. Carlson, H.C.; Wickwar, V.B.; Mantas, G.P. Observation of fluxes of superthermal electron accelerated by HF excited instabilities. J. Atmos. Terr. Phys. 1982, 44, 1089–1100. [Google Scholar] [CrossRef]
  26. Pedersen, T.; Gustavsson, B.; Mishin, E.; MacKenzie, E.; Carlson, H.C.; Starks, M.; Mills, T. Optical ring formation and ionization production in high-power HF heating experiments at HAARP. Geophys. Res. Lett. 2009, 36. [Google Scholar] [CrossRef]
  27. Pedersen, T.; Gustavsson, B.; Mishin, E.; Kendall, E.; Mills, T.; Carlson, H.C.; Snyder, A.L. Creation of artificial ionospheric layers using high-power HF waves. Geophys. Res. Lett. 2010, 37. [Google Scholar] [CrossRef] [Green Version]
  28. Pedersen, T.R.; Holmes, J.M.; Gustavsson, B.; Mills, T.J. Multisite Optical Imaging of Artificial Ionospheric Plasmas. IEEE Trans. Plasma Sci. 2011, 39, 2704–2705. [Google Scholar] [CrossRef]
  29. Pedersen, T.; McCarrick, M.; Reinisch, B.; Watkins, B.; Hamel, R.; Paznukhov, V. Production of artificial ionospheric layers by frequency sweeping near the 2nd gyroharmonic. Ann. Geophys. 2011, 29, 47–51. [Google Scholar] [CrossRef] [Green Version]
  30. Pedersen, T.; Reinisch, B.; Paznukhov, V.; Hamel, R. HF propagation characteristics of artificial ionospheric layers. In Proceedings of the 2011 XXXth URSI General Assembly and Scientific Symposium, Istanbul, Turkey, 13–20 August 2011; pp. 1–4. [Google Scholar] [CrossRef]
  31. Mishin, E.; Pedersen, T. Ionizing wave via high-power HF acceleration. Geophys. Res. Lett. 2011, 38. [Google Scholar] [CrossRef] [Green Version]
  32. Reinisch, B.W.; Huang, X. Automatic calculation of electron density profiles from digital ionograms, 3, Processing of bottomside ionograms. Radio Sci. 1983, 18, 477–492. [Google Scholar] [CrossRef]
  33. Galkin, I.A.; Khmyrov, G.M.; Reinisch, B.W.; McElroy, J. The SAOXML 5: New format for ionogram-derived data. In Proceedings of the Fourth Huntsville Gamma-Ray Burst Symposium, Lowell, MA, USA, 27 April–3 May 2007; 974, pp. 160–166. [Google Scholar] [CrossRef]
  34. Kuo, S.; Snyder, A. Observation of artificial spread-F and large region ionization enhancement in an HF heating experiment at HAARP. Geophys. Res. Lett. 2010, 37. [Google Scholar] [CrossRef]
  35. Kuo, S.P.; Lee, M.C.; Kuo, S.C. A theoretical model of artificial spread F echoes. Radio Sci. 1985, 20, 546–552. [Google Scholar] [CrossRef]
  36. Kuo, S.P.; Schmidt, G. Filamentation Instability in Magneto Plasmas. Phys. Fluids 1983, 26, 2529–2536. [Google Scholar] [CrossRef]
  37. Kuo, S.P.; Djuth, F.T. A thermal instability for the spread-F echoes from HF-heated ionosphere. Geophys. Res. Lett. 1988, 15, 1345–1348. [Google Scholar] [CrossRef]
  38. Gurevich, V.A. Nonlinear Phenomena in the Ionosphere; Chapter 2; Springer-Verlag: New York, NY, USA, 1978. [Google Scholar]
  39. Kuo, S.P. Plasma Physics in Active Wave Ionosphere Interaction; World Scientific: Toh Tuck Link, Singapore, 2017. [Google Scholar]
  40. Perkins, F.W.; Oberman, C.; Valeo, E.J. Parametric instabilities and ionospheric modification. J. Geophys. Res. Space Phys. 1974, 79, 1478–1496. [Google Scholar] [CrossRef]
  41. Kuo, S.P. Oscillating two-stream instability in ionospheric heating experiments. Phys. Plasmas 2002, 9, 1456–1459. [Google Scholar] [CrossRef]
  42. Kuo, S.P. Cascade of the parametric decay instability in ionospheric heating experiments. J. Geophys. Res. Space Phys. 2001, 106, 5593–5597. [Google Scholar] [CrossRef]
  43. Kuo, S.P.; Lee, M.C. Cascade spectrum of HFPLs generated in HF heating experiments. J. Geophys. Res. 2005, 110, 1–7. [Google Scholar]
  44. Kuo, S.P.; Cheo, B.R.; Lee, M.C. The role of parametric decay instabilities in generating ionospheric irregularities. J. Geophys. Res. Space Phys. 1983, 88, 417. [Google Scholar] [CrossRef]
  45. Kuo, S.P. The role of nonlinear beating currents on parametric instabilities in magnetoplasmas. Phys. Plasmas 1996, 3, 3957–3965. [Google Scholar] [CrossRef]
  46. Huang, J.; Kuo, S.P. Cyclotron harmonic effect on the thermal oscillating two-stream instability in the high latitude ionosphere. J. Geophys. Res. Space Phys. 1994, 99, 2173–2181. [Google Scholar] [CrossRef]
  47. Stenflo, L. Comments on Stimulated Electromagnetic Emissions in the Ionospheric Plasma. Phys. Scr. 2004, 107, 262–263. [Google Scholar] [CrossRef]
  48. Kuo, S.P.; Lee, M.C.; Kossey, P. Excitation of oscillating two stream instability by upper hybrid pump waves in ionospheric heating experiments at Tromso. Geophys. Res. Lett. 1997, 24, 2969–2972. [Google Scholar] [CrossRef]
  49. Watkins, B.; Kuo, S.; Secan, J.; Fallen, C. Ionospheric HF Heating Experiment With Frequency Ramping-up Sweep: Approach for Artificial Ionization Layer Generation. J. Geophys. Res. Space Phys. 2020, 125, 1–12. [Google Scholar] [CrossRef]
Figure 1. Ionospheric heating experiments and some remote-sensing facilities.
Figure 1. Ionospheric heating experiments and some remote-sensing facilities.
Plasma 04 00008 g001
Figure 2. A sequence of ionograms (ao) showing the evolution of the virtual height spread. Arrows locate the likely bumps in the virtual height spread and the two lines at 2.88 MHz and 3.2 MHz label the plasma frequencies of the upper hybrid resonance layer and high frequency (HF) reflection layer.
Figure 2. A sequence of ionograms (ao) showing the evolution of the virtual height spread. Arrows locate the likely bumps in the virtual height spread and the two lines at 2.88 MHz and 3.2 MHz label the plasma frequencies of the upper hybrid resonance layer and high frequency (HF) reflection layer.
Plasma 04 00008 g002
Figure 3. Comparison of ionograms recorded on 16 and 20 November 2009. (a) and (c) Recorded 30 s before the heater turned on and 90 s after the heater turned off; (b) and (d) recorded at the beginning of the moment when the O mode heater turned off.
Figure 3. Comparison of ionograms recorded on 16 and 20 November 2009. (a) and (c) Recorded 30 s before the heater turned on and 90 s after the heater turned off; (b) and (d) recorded at the beginning of the moment when the O mode heater turned off.
Plasma 04 00008 g003
Figure 4. Ionograms of digisonde echoes recorded on 16 November 2009 during HF heating experiment at High-Frequency Active Auroral Research Program (HAARP). (a) An additional echo trace (pointed by an arrow) appears below the normal echo trace. It signifies artificial ionization structures, and (b) a sequence of seven ionograms recorded from 01:59:40 to 02:03:00 showing the generation and evolution of the artificial ionization structures. Courtesy of Bo Reinisch.
Figure 4. Ionograms of digisonde echoes recorded on 16 November 2009 during HF heating experiment at High-Frequency Active Auroral Research Program (HAARP). (a) An additional echo trace (pointed by an arrow) appears below the normal echo trace. It signifies artificial ionization structures, and (b) a sequence of seven ionograms recorded from 01:59:40 to 02:03:00 showing the generation and evolution of the artificial ionization structures. Courtesy of Bo Reinisch.
Plasma 04 00008 g004
Figure 5. A pair of ionograms (a) without heating effect and (b) with heating effect; the ionogram in (b) was acquired at the beginning of the moment the heater turned off after the 5.75 MHz O-mode heater turned on for 2 min.
Figure 5. A pair of ionograms (a) without heating effect and (b) with heating effect; the ionogram in (b) was acquired at the beginning of the moment the heater turned off after the 5.75 MHz O-mode heater turned on for 2 min.
Plasma 04 00008 g005
Figure 6. Electron density distributions at the two recording times.
Figure 6. Electron density distributions at the two recording times.
Plasma 04 00008 g006
Figure 7. (a) The unique echoes (red triangles) extracted from the 21:18 UT ionogram and (black dash) the common echoes of 21:18 UT and 21:22 UT ionograms, recorded during heating experiment conducted on 16 November 2009, and (b) an ionogram showing that the natural cusp near foE (the peak plasma frequency of the ionospheric E region) in the density distribution causes spread of the sounding echoes to also appear as a bump.
Figure 7. (a) The unique echoes (red triangles) extracted from the 21:18 UT ionogram and (black dash) the common echoes of 21:18 UT and 21:22 UT ionograms, recorded during heating experiment conducted on 16 November 2009, and (b) an ionogram showing that the natural cusp near foE (the peak plasma frequency of the ionospheric E region) in the density distribution causes spread of the sounding echoes to also appear as a bump.
Plasma 04 00008 g007
Figure 8. Ray trajectory in a planar stratified medium.
Figure 8. Ray trajectory in a planar stratified medium.
Plasma 04 00008 g008
Figure 9. (a) Field-aligned density irregularity (FAI) geometry and digisonde beam. (b) and (c) Vertically incident ray trajectories of (b) O-mode ray of 2.8 MHz and (c) X-mode ray of 2.8 MHz, in the presence of 0 to 10 % FAI. The axes x and z in (b) and (c) are normalized to k0 = ω0/c.
Figure 9. (a) Field-aligned density irregularity (FAI) geometry and digisonde beam. (b) and (c) Vertically incident ray trajectories of (b) O-mode ray of 2.8 MHz and (c) X-mode ray of 2.8 MHz, in the presence of 0 to 10 % FAI. The axes x and z in (b) and (c) are normalized to k0 = ω0/c.
Plasma 04 00008 g009
Figure 10. (a) Trajectories of backscatter rays of 3.5 to 4 MHz in the absence of FAI and in the presence of 15% FAIs, (a) o-mode rays and (b) x-mode rays.
Figure 10. (a) Trajectories of backscatter rays of 3.5 to 4 MHz in the absence of FAI and in the presence of 15% FAIs, (a) o-mode rays and (b) x-mode rays.
Plasma 04 00008 g010
Figure 11. Cascade of down-going and up-going upper hybrid waves, in terms of the wavevector matching condition, over an altitude range is illustrated; (a) cascade to down-going Langmuir sidebands and up-going ion acoustic waves; and (b) cascade to up-going Langmuir sidebands and down-going ion acoustic waves.
Figure 11. Cascade of down-going and up-going upper hybrid waves, in terms of the wavevector matching condition, over an altitude range is illustrated; (a) cascade to down-going Langmuir sidebands and up-going ion acoustic waves; and (b) cascade to up-going Langmuir sidebands and down-going ion acoustic waves.
Plasma 04 00008 g011
Figure 12. The dependencies of the steady state electron energy ε on the initial energy ε0 and the phase angle θ0 of the initial transverse velocity after acceleration by upper hybrid waves through (a) second harmonic, (b) third harmonic, and (c) fourth harmonic resonance interactions.
Figure 12. The dependencies of the steady state electron energy ε on the initial energy ε0 and the phase angle θ0 of the initial transverse velocity after acceleration by upper hybrid waves through (a) second harmonic, (b) third harmonic, and (c) fourth harmonic resonance interactions.
Plasma 04 00008 g012
Figure 13. Mode conversion as the upper hybrid wave (the crossing point x on the blue curve) propagates down to becoming a parallel propagating Langmuir wave (the circle o on the red curve) in the artificial ionization layers (AIL) region.
Figure 13. Mode conversion as the upper hybrid wave (the crossing point x on the blue curve) propagates down to becoming a parallel propagating Langmuir wave (the circle o on the red curve) in the artificial ionization layers (AIL) region.
Plasma 04 00008 g013
Figure 14. Trajectories of electrons with different velocities and starting time at z = 0. Electron bunching as a function of position and time is illustrated.
Figure 14. Trajectories of electrons with different velocities and starting time at z = 0. Electron bunching as a function of position and time is illustrated.
Plasma 04 00008 g014
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Kuo, S. Linear and Nonlinear Plasma Processes in Ionospheric HF Heating. Plasma 2021, 4, 108-144. https://doi.org/10.3390/plasma4010008

AMA Style

Kuo S. Linear and Nonlinear Plasma Processes in Ionospheric HF Heating. Plasma. 2021; 4(1):108-144. https://doi.org/10.3390/plasma4010008

Chicago/Turabian Style

Kuo, Spencer. 2021. "Linear and Nonlinear Plasma Processes in Ionospheric HF Heating" Plasma 4, no. 1: 108-144. https://doi.org/10.3390/plasma4010008

APA Style

Kuo, S. (2021). Linear and Nonlinear Plasma Processes in Ionospheric HF Heating. Plasma, 4(1), 108-144. https://doi.org/10.3390/plasma4010008

Article Metrics

Back to TopTop