On a condition for the coincidence of transform spaces for functionals in a Hilbert space

V. V. Napalkov (Jr.) ; A. A. Nuyatov

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 28 (2022) no. 3, pp. 142-154

Résumé

The paper considers the following problem. Let $H$ be some reproducing kernel Hilbert space consisting of functions given on a set $\Omega\subset {\mathbb C}^n$, $n\ge1$, and let $\{e_1(\cdot,\xi)\}_{\xi\in \Omega_1}$ and $\{e_2(\cdot,\xi)\}_{\xi\in\Omega_1}$ be some complete systems of functions in $H$, where $\Omega_1\subset {\mathbb C^m}$, $m\ge1$. Define \begin{align*} \widetilde f(z)\stackrel{def}{=}(e_1(\cdot, z), f)_{H}\, \forall z\in \Omega_1,\quad \widetilde H=\{\widetilde f,\, f\in H\}, \\ (\widetilde f_1,\widetilde f_2)_{\widetilde H}\stackrel{def}{=}(f_2,f_1)_{H}, \, \|\widetilde f_1\|_{\widetilde H}=\|f_1\|_{H} \quad\forall \widetilde f_1,\widetilde f_2\in \widetilde H, \\ \widehat f(z)\stackrel{def}{=}(e_2(\cdot, z), f)_{H}\, \forall z\in \Omega_1,\quad \widehat H=\{\widehat f,\, f\in H\}, \\ (\widehat f_1,\widehat f_2)_{\widehat H}\stackrel{def}{=}(f_2,f_1)_{H}, \, \|\widehat f_1\|_{\widehat H}=\|f_1\|_{H} \quad\forall \widehat f_1,\widehat f_2\in \widehat H. \end{align*} It is required to find a condition under which the spaces $\widehat H$ and $\widetilde H$ coincide, i.e., $\widehat H$ and $\widetilde H$ consist of the same functions and \[ \|f\|_{\widehat H}=\|f\|_{\widetilde H} \forall f\in \widehat H=\widetilde H. \] We also study the question of conditions under which the spaces $\widehat H$ and $\widetilde H$ are equivalent. In the case when the systems of functions $\{e_j(\cdot,\xi)\}_{\xi\in\Omega_1}$, $j=1,2$, are orthosimilar decomposition systems in the space $H$ with the same measure $\mu$ given on $\Omega_1$, a criterion is established; more exactly, a condition is found that is necessary and sufficient for the coincidence (equivalence) of the spaces $\widehat H$ and $\widetilde H$. Note that, in the case of an arbitrary space $H$ and arbitrary systems of functions $\{e_1(\cdot,\xi)\}_{\xi\in \Omega_1}$ and $\{e_2(\cdot,\xi)\}_{\xi\in \Omega_1}$ that are complete in $H$, the found condition is always necessary; i.e., if the spaces $\widehat H$ and $\widetilde H$ coincide (are equivalent), then this condition is fulfilled. In the case when the systems of functions $\{e_1(\cdot,\xi)\}_{\xi\in \Omega_1}$ and $\{e_2(\cdot,\xi)\}_{\xi\in \Omega_1}$ are orthosimilar decomposition systems in the space $H$ with different measures $\mu_1$ and $\mu_2$, respectively, given on $\Omega_1$, we construct specific examples of spaces $H$ and systems of functions $\{e_1(\cdot,\xi)\}_{\xi\in \Omega_1}$ and $\{e_2(\cdot,\xi)\}_{\xi\in \Omega_1}$ complete in $H$ and such that the specified condition is met, but the spaces $\widehat H$ and $\widetilde H$ are not the same (not equivalent).

Détail

Keywords: orthosimilar decomposition systems, reproducing kernel Hilbert space, Riesz basis, problem of describing the dual space.

Bibliographie

[1] Khalmosh P., Gilbertovo prostranstvo v zadachakh, Mir, M, 1970, 351 pp.

[2] Lukashenko T.P., “O svoistvakh sistem razlozheniya podobnykh ortogonalnym”, Izv. RAN. Ser. matematicheskaya, 62:5 (1998), 187–206 | MR | Zbl

[3] Napalkov V. V., Napalkov V. V. (ml.), “Ob izomorfizme gilbertovykh prostranstv s vosproizvodyaschim yadrom”, Dokl. AN, 474:6 (2017), 665–667 | Zbl

[4] Kantorovich L.V., Akilov G.P., Funktsionalnyi analiz, Nauka, M., 1984, 752 pp. | MR

[5] Levin B. Ya., Lyubarskii Yu. I., “Interpolyatsiya tselymi funktsiyami spetsialnykh klassov i svyazannye s neyu razlozheniya v ryady eksponent”, Izv. AN SSSR. Ser. matematicheskaya, 39:3 (1975), 657–702 | MR | Zbl

[6] Napalkov V.V. (ml.), “Ob ortopodobnykh sistemakh razlozheniya v prostranstve analiticheskikh funktsii i zadache opisaniya sopryazhennogo prostranstva”, Ufim. mat. zhurn., 3:1 (2011), 31–42 | Zbl

[7] Isaev K.P., Bezuslovnye bazisy iz eksponent v prostranstvakh Bergmana na vypuklykh oblastyakh, dis. ...kand. fiz.-mat. nauk, In-t matematiki s VTs UNTs RAN, Ufa, 2004, 173 pp.

[8] Isaev K. P., Yulmukhametov R.S., “Ob otsutstvii bezuslovnykh bazisov iz eksponent v prostranstvakh Bergmana na oblastyakh, ne yavlyayuschikhsya mnogougolnikami”, Izv. RAN. Ser. matematicheskaya, 71:6 (2007), 69–90 | MR | Zbl

[9] Gaier D., Lektsii po teorii approksimatsii v kompleksnoi oblasti, Mir, M., 1986, 216 pp. | MR

[10] Napalkov V. V., Napalkov V. V. (ml.), “K voprosu o sovpadenii gilbertovykh prostranstv s vosproizvodyaschimi yadrami, svyazannykh spetsialnym preobrazovaniem”, Tr. In-ta matematiki i mekhaniki UrO RAN, 25:2 (2019), 149–159 | DOI | MR