О PCA-разложении в задачах с волновым аттрактором

Научная статья
  • Елистратов Степан Алексеевич0000-0002-7006-6879Институт системного программирования им. В.П. Иванникова, Москва, Российская Федерация; Институт океанологии им. П.П. Ширшова РАН, Москва, Российская Федерация; Научно-технологический университет «Сириус», Сочи, Российская Федерация
https://doi.org/10.60797/COMP.2026.11.3
DOI:
https://doi.org/10.60797/COMP.2026.11.3
EDN:
VQYWIO
Предложена:
15.05.2026
Принята:
13.07.2026
Опубликована:
29.07.2026
Выпуск: № 3 (11), 2026
Выпуск: № 3 (11), 2026
Правообладатель: авторы. Лицензия: Attribution 4.0 International (CC BY 4.0)
34
0
XML
PDF

Аннотация

Волновые аттракторы, представляющие собой особые гидродинамические течения, образующиеся в результате самофокусировки внутренних или инерционных волн, являются довольно сложной задачей как с точки зрения вычислительной гидродинамики, так и визуализации из-за волновой неустойчивости, вызванной увеличением амплитуды волн. В связи с этим использование методов понижения размерности, таких как метод главных компонент (PCA), представляет особый интерес и в последнее время широко применяется к гидродинамическим данным таких потоков, особенно в численных исследованиях. В данной работе мы обсуждаем особенности применения PCA к течениям с волновыми аттракторовами, методы их ускорения и сходимость для этого класса задач.

1. Introduction

Internal waves play an important role in climate formation

,
, vertical mixing in the oceans
, and seabed erosion
. Under certain circumstances
, internal wave may self-focus, forming a coherent structure called a wave attractor
,
. The latter studies showed that wave attractors tend to produce the secondary waves
,
, with the instability being developed of the Triadic Resonance type
,
,
,
. For the real water reservoirs, more typical is the elongated basin form
,
,
. The investigation of wave attractor in large aspect-ratio domains
,
,
(those whose horizontal sizes are larger than vertical ones) revealed that such flows produce more (respectively, small-aspect-ratio ones) intensive instability, whose type is parametric subharmonic.

The attractor has been studied both experimentally

,
,
,
and numerically
,
,
,
; in recent years, the latter approach prevails
,
,
,
. The wave nature of the attractor structure and the instability make the researcher seek advanced methods for wave attractor visualization. The more popular become mode decomposition methods like Principle Component Analysis (PCA)
,
. Mainly, the most significant modes are considered for the attractor subflow, the rest are neglected as parts of instability; only
considers minor modes. This force to investigate the convergence of such methods and to evaluate their accuracy.

In this article, we provide a PCA-decomposition research applyingly to several wave-attractor problems. The questions of numerical application, methods, acceleration and emode number are discussed.

2. Research methods and principles

2.1. Numerical setup

During this research, wave attractor flows were investigated numerically, in 2D formulation, using high-order spectral-element software Nek5000. The numerical approach was validated in

,
,
,
comparing with the experiment results, the 2D approach was verified in
,
,
,
. The work
provides a cross-validation between the current set-up in Nek5000 and the simulation in OpenFOAM (solver mulesQHDFoam). However, the latter approach is mostly aimed to the large-scale structure rather than instability reproduction, while the small-scale modes are usually investigated with POD
; thus, the high-order Nek5000 package known to reproduce the instability structure correctly
was selected.

To simulate an attractor flow, the following equations were used:

Navier-Stokes equation in Boussinesq approximation:

salt transport equation:

The salt transport is obligatory since the startification is required for the internal wave propagation.

The last equation is the continuity one for the incompressible fluid:

In the incompressible flow in Bousinesq approximation energy conservation equation is not required. Here the following notations were used:

is truncated pressure without its hydrostatical part
,
is dissolved salt density admixture,
is the fresh water density,
is salt diffusivity coefficient.

During the simulation, we used the constant uniform viscosity value

and
so that Schmidt number
.

Geometry sketch

Figure 1 - Geometry sketch

The geometry in which the flow was simulated in was trapezium-shaped (Figure 1), since it is the simplest geometry in which a wave attractor can form
. We considered two different domain types: with low and high aspect ratio (by the aspect ratio we mean length-to-height ratio
), since it leads to the different instability formation
; in both height was
, in small-aspect ratio domain
, in large aspect-ratio one
.

The simulation was run from the steady liquid (i.e., initial velocity condition was zero), initial salt density distribution was linear:

so that buoyancy frequency was constant. The flow was exited by a moving-wall wave maker

situated on the top side of the area; the corresponding boundary condition was

The amplitude

was varied to provide different flow regime, the frequency
was different for different geometry types:
for the small aspect ratio geometry and
for the large aspect ratio one, with the forcing amplitude
was used for both geometries. The difference in the frequencies is caused by the conditions of attractor existence
. On the other boundaries, except the top one, vero-velocity condition was used.

For

on all the boundaries impermeability Neumann condition was set.

The high-order spectral element meshes used for the simulation are represented in Figures 2–3. The elements shapes can be arbitrary convex quadrilaterals; the orthogonality in this method is not required.

Low-aspect ratio domain mesh 48x48 spectral element

Figure 2 - Low-aspect ratio domain mesh 48x48 spectral element

Large-aspect ratio domain mesh 208x48 spectral elements

Figure 3 - Large-aspect ratio domain mesh 208x48 spectral elements

2.2. PCA

Principal component analysis represents the spatio-temporal variable

as follows
,
,
:

where spatial modes

are normalized and mutually orthogonal in
integral sense. Their corresponding temporal dependencies
are called temporal coefficients.

To calculate modes, the eigenvectors of the covariation matrix

are considered. It can be shown that the same vectors can be obtained as right singular vectors of the original matrix
(which is called Singular Values Decomposition (SVD)), and the coefficients can be obtained as the projection:

Such a procedure saves computational costs (time and memory).

Nevertheless, the direct SVD calculation can also be time-costly, since it calculates all the singular values and vectors (their number corresponds to the number of spatial points of the grid). For the amplification, several numerical methods are used; the most popular are ARPACK and randomized SVD. The first one creates the solution iteratively from the random initial approximation, constructing the Krylov subspace, calculating the required number of the first singular vectors; the latter one projects the original data into a random subspace with the following corrections. All the methods are available in python3 (scikit-learn package).

Despite both of these methods being well-tested and reported to yield results close to the full SVD, the wave attractor flows can have a developed secondary-wave subflow that should be correctly reconstructed, and the convergence of the PCA on these problems was not investigated.

3. Main results

Due to the internal wave focusing, the liquid motion is localized in a specific figure, and the oscillation amplitude increases. Figure 4 represents a typical non-linear regime in the small-aspect ratio domain: the parallelogram-shaped

coherent structure is distorted by the secondary waves. In large-aspect ratio domain problems, this effect manifests more clearly
,
,
.

 Wave attractor in small-aspect ratiodo main, vy snapshot

Wave attractor in small-aspect ratiodo main, vy snapshot

colorbar in cm/s

The main feature of the wave attractor flow is the tendency to turn into the unstable non-linear regime even at the respectively small external forcing amplitudes
. In Figure 5–6, wave attractor in a large-aspect ratio domain; the coherent structure, formed soon after the beginning, becomes fully covered by the instability waves, and the initially monochromatic flow becomes complex (Figure 7). The black dot on Figures 5–6 is the middle of the attractor ray typically considered
,
,
,
for the velocity evolution behaviour. In Figure 7, non-dimensional time is used on the horizontal axis (
— wavemaker period). Note that the wave maker amplitude, regulating the energy input in the system, was the same for both geometries.
 Large-aspect ratio domain problem, initial attractor development befor the instability formation

Large-aspect ratio domain problem, initial attractor development befor the instability formation

colorbar in cm/s; black dot is the characteristical point

 Large-aspect ratio problem, vy snapshot developed non-linear regime

Large-aspect ratio problem, vy snapshot developed non-linear regime

colorbar in cm/s, black dot is the characteristical point

Temporal behaviour of vy in the point selected

Figure 7 - Temporal behaviour of vy in the point selected

The initial monochromacy of the wave attractor became the main idea for several of the visualization methods
,
using mode decomposition. Despite the elder modes being extracted correctly and representing the attractor, nothing is said about the minor modes behavior. However, they can be used for studies of the instability of spatial structure
,
, and for this purpose, it is reasonable to use the methods that calculate them properly. The physical sense of the modes is the following: the first two modes correspond to the large-scale wave structure of the attractor itself
,
, and the rest represent the instability structure.

To check the quality of PCA decomposition, full

norm residuals were calculated depending on the reconstruction modes number:

where the solution reconstruction

for
modes is:

where

is a selected number of modes to reconstruct. The results of residual calculation by different methods are represented in Figure 8. All the methods yield approximately the same results.

Residuals in small-aspect ratio problem decomposition

Figure 8 - Residuals in small-aspect ratio problem decomposition

Since that, all the methods can be used for the detailed reconstruction of the solution. The advantages of the non-full methods are their time-loss gain. In Figure 9, the computational times for the methods considered depending on the mode numbers are represented. The randomized SVD is only a little faster than the APRACK method, and both are 30–100 times faster than full SVD. The computational time only slightly depends on the mode number; full SVD is mode number-independent since all the modes are calculated and then the minor ones are neglected.
Execution times for different SVD calculation methods

Figure 9 - Execution times for different SVD calculation methods

The large-aspect ratio flow has a more developed instability (Figure 6), which results in slower residual attenuation compared to small-aspect ratio flows, as shown in Figure 10. This means that far more mode numbers should be considered to reach the same reconstructuon error level.
Comparison of reconstruction residuals for different aspect ratio

Figure 10 - Comparison of reconstruction residuals for different aspect ratio

Despite this, all the methods yield the same result, the same as for the small-aspect ratio problem (Figure 11), which allows to extrapolate the ability of the indirect SVD computation method using a wide class of wave attractor problems.
Large-aspect problem residuals

Figure 11 - Large-aspect problem residuals

Despite the advantages of the acceleration, the PCA method does not turn out to be very fine itself. As can be comprehended from Figure 10, for a 3% residual, it requires 200 modes for the small-aspect ratio case and 400 modes for the large-aspect ratio one. The convergence is stable but slow, which limits the investigation of the instability by PCA modes with moderate-instability cases only.

4. Conclusion

The PCA decomposition was considered for the wave attractor problems. Both full SVD and reduced methods yield the same accuracy of by-mode reconstruction, which allows to use the latter one without significant losses. It was found that their use can accelerate the computation up to 100 times, with the fastest being the randomized SVD approach.

The large-aspect ratio problems demonstrate less residual decrease with the used mode number and thus require more modes for the same accuracy in comparison with the small-aspect ratio problems. This makes the indirect SVD methods application even more preferable.

Withal, PCA method converges slowly and requires about several hundred modes for a precise enough reconstruction, which limits the investigation of secondary waves, forming the instability, with this method.

Метрика статьи

Просмотров:34
Скачиваний:0
Просмотры
Всего:
Просмотров:34