Vector fields with zero flux through spheres of fixed radius

Vit. V. Volchkov   ; N. P. Volchkova

Vladikavkazskij matematičeskij žurnal, Tome 20 (2018) no. 4, pp. 20-34

Résumé

The classical property of a periodic function on the real axis is the possibility of its representation by a trigonometric Fourier series. The natural analogue of the periodicity condition in the Euclidean space $\mathbb{R}^n$ is the constancy of the integrals of the function over all balls (or spheres) of a fixed radius. Functions with the specified property can be expanded in a series in special eigenfunctions of the Laplace operator. This fact admits a generalization to vector fields in $\mathbb{R}^n$, having zero flow through spheres of fixed radius. In this case, Smith's representation arises for them as the sum of a solenoidal vector field and an infinite number of potential vector fields. Potential vector fields satisfy the Helmholtz equation related to the zeros of the Bessel function $J_{n/2}$. The purpose of this paper is to obtain local analogs of the Smith theorem. We study vector fields $\mathbf{A}$ with zero flow through spheres of fixed radius on domains $\mathcal{O}$ in Euclidean space that are invariant with respect to rotations. Cases are considered when $\mathcal{O}=B_{R}=\{x\in\mathbb{R}^n: | x |<R\}$ or $\mathcal{O}=B_{a, b}= \{x\in\mathbb{R}^n: a <| x | <b\} $. The description of the fields $\mathbf{A}$ consists of two steps. The first step proves the equality $\mathbf{A}({x})={\mathbf{A}}^s({x})+B({x}){x}$, ${x}\in\mathcal{O}$, where ${\mathbf{A}}^s$ is a suitable solenoidal vector field and $B$ is a scalar field. The second step is to describe the functions $B(x)$. As the main tool for the description of $B(x)$, multidimensional Fourier series in spherical harmonics are used. If $\mathcal{O}=B_{R}$ then the Fourier coefficients of the function $B(x)$ can be represented in the form of series in the hypergeometric functions ${_1}F_2$. In the case of $\mathcal{O}=B_{a,b}$ the corresponding Fourier coefficients can be expanded in the series containing the Bessel, Neumann and Lommel functions. These results can be used in harmonic analysis of vector fields on domains in $\mathbb{R}^n$.

Bibliographie

[1] Volchkov V. V., “A Definitive Version of the Local Two-Radii Theorem”, Sbornik: Mathematics, 186:6 (1995), 783–802 | DOI | MR | Zbl

[2] Volchkov V. V., “Solution of the Support Problem for Several Function Classes”, Sbornik: Mathematics, 188:9 (1997), 1279–1294 | DOI | DOI | MR | Zbl

[3] Volchkov V. V., Integral Geometry and Convolution Equations, Kluwer Acad. Publ., Dordrecht, 2003, 454 pp. | MR | Zbl

[4] Volchkov V. V., Volchkov V. V., Harmonic Analysis of Mean Periodic Functions on Symmetric Spaces and the Heisenberg Group, Springer-Verlag, London, 2009, 671 pp. | MR | Zbl

[5] Volchkov V. V., Volchkov V. V., Offbeat Integral Geometry on Symmetric Spaces, Birkhäuser, Basel, 2013, 592 pp. | MR | Zbl

[6] Smith J., “Harmonic analysis of scalar and vector fields in $\mathbb{R}^n$”, Math. Proc. Cambridge Philos. Soc., 72:3 (1972), 403–416 | DOI | MR | Zbl

[7] Stein E., Weiss G., Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, Princeton, 1971, 312 pp. | MR | Zbl

[8] Beitmen G., Erdeii A., Vysshie transtsendentnye funktsii, v. 1, 2, Nauka, M., 1974 (in Russian)

[9] Prudnikov A. P., Brychkov Yu. A., Marichev O. I., Integrals and Series. Supplementary Parts, Nauka, M., 1986, 800 pp. (in Russian) | MR

[10] Korenev B. G., Introduction to the Theory of Bessel Functions, Nauka, M., 1971, 287 pp. (in Russian) | MR

[11] Prudnikov A. P., Brychkov Yu. A., Marichev O. I., Integrals and Series. Special Functions, Nauka, M., 1983, 750 pp. (in Russian) | MR