Low-rank approximation in the numerical modeling of the Farley-Buneman instability in ionospheric plasma

S. V. Dolgov,A. P. Smirnov,E. E. Tyrtyshnikov
DOI: https://doi.org/10.1016/j.jcp.2014.01.029
2013-08-28
Abstract:We consider the numerical modeling of the Farley-Buneman instability development in the earth's ionosphere plasma. The ion behavior is governed by the kinetic Landau equation in the four-dimensional phase space, and since the finite difference discretization on a tensor product grid is used, this equation becomes the most computationally challenging part of the scheme. To relax the complexity and memory consumption, an adaptive model reduction using the low-rank separation of variables, namely the Tensor Train format, is employed. The approach was verified via the prototype MATLAB implementation. Numerical experiments demonstrate the possibility of efficient separation of space and velocity variables, resulting in the solution storage reduction by a factor of order tens.
Numerical Analysis,Computational Physics,Plasma Physics
What problem does this paper attempt to address?
This paper aims to solve the numerical simulation problem of Farley - Buneman instability in the Earth's ionospheric E - region. Specifically, the paper focuses on the low - frequency plasma oscillation phenomenon that occurs when the electric field is perpendicular to the geomagnetic field under the action of the geomagnetic field, where electrons are magnetized while ions are not. This instability mainly occurs in the E - regions at the equator and the poles, and is manifested as low - frequency plasma fluctuations with wavelengths in the meter - level range. ### Core problems of the paper 1. **Challenges in numerical simulation**: The paper points out that discretizing the Landau kinetic equation in the four - dimensional phase space on a tensor - product grid using the finite - difference method is the most computationally challenging part of the entire numerical scheme. This is mainly because the solution in the four - dimensional phase space requires a large amount of memory to store and the computational complexity at each time step is very high. 2. **Need for model simplification**: In order to reduce the computational complexity and memory consumption, the paper proposes a method based on variable low - rank separation, especially using the Tensor Train format to approximate the solution in the four - dimensional phase space. This method significantly reduces the storage requirements of the solution by effectively separating the space and velocity variables. ### Solutions - **Tensor Train format**: The paper adopts the Tensor Train format to perform low - rank approximation of the solution in the four - dimensional phase space. This method can compress a four - dimensional array that originally needs to store \(n^4\) elements to only need to store \(O(dnr^2)\) elements, where \(d\) is the number of dimensions, \(n\) is the number of grid points on each dimension, and \(r\) is the Tensor Train rank. - **Adaptive model order reduction**: Through the adaptive model order reduction technique, the paper effectively separates the space and velocity variables, thereby significantly reducing the storage requirements and computational time. Experimental results show that this separation method can reduce the storage requirements by dozens of times. ### Experimental verification - **MATLAB prototype implementation**: The paper verifies the effectiveness of this method through MATLAB prototype implementation. Numerical experiments show that using the Tensor Train format can efficiently separate the space and velocity variables, thereby significantly reducing the storage requirements of the solution. - **Performance improvement**: Compared with the traditional method of directly storing four - dimensional arrays, using the Tensor Train format not only reduces memory consumption but also improves computational efficiency. Experimental results show that the storage requirements are reduced by dozens of times and the computational time is shortened by at least half. ### Conclusion The method proposed in the paper provides an effective way to solve high - dimensional problems, especially when dealing with plasma kinetic problems in the four - dimensional phase space, which can significantly improve computational efficiency and reduce memory consumption. Future work will further optimize the program code to make it suitable for parallel computing environments and explore higher - order discretization schemes to further improve performance.