Constructive analysis in infinitely many variables

MaRDI QIDQ1943531zbMATH OpenFDO

Authors Tepper L. Gill, Gogi Pantsulaia, Woodford W. Zachary

Publication date 20 March 2013

Published in Communications in Mathematical Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1206.1764, https://projecteuclid.org/euclid.cma/1349204802

zbMATH Keywords

average distanceBanach spacedynamic evolutionEuler schemeFourier transformsGaussian measureinfinite-dimensional Lebesgue measurepartial differential operatorsPontryagin duality theory

Mathematics Subject Classification ID

Set functions and measures and integrals in infinite-dimensional spaces (Wiener measure, Gaussian measure, etc.) (28C20) Measures and integration on abstract linear spaces (46G12)

Abstract: In this paper we investigate the foundations for analysis in infinitely-many (independent) variables. We give a topological approach to the construction of the regular $s$-finite Kirtadze-Pantsulaia measure on $R^{i}y$ (the usual completion of the Yamasaki-Kharazishvili measure), which is an infinite dimensional version of the classical method of constructing Lebesgue measure on $R^n$ (see cite{YA1}, cite{KH} and cite{KP2}). First we show that von Neumann's theory of infinite tensor product Hilbert spaces already implies that a natural version of Lebesgue measure must exist on $R^{iy}$. Using this insight, we define the canonical version of $L^2[R^{iy},l{a}_{iy}]$, which allows us to construct Lebesgue measure on $R^{iy}$ and analogues of Lebesgue and Gaussian measure for every separable Banach space with a Schauder basis. When $mcH$ is a Hilbert space and $l{a}_{mcH}$ is Lebesgue measure restricted to $mcH$, we define sums and products of unbounded operators and the Gaussian density for $L^2[mcH,l{a}_{mcH}]$. We show that the Fourier transform induces two different versions of the Pontryagin duality theory. An interesting new result is that the character group changes on infinite dimensional spaces when the Fourier transform is treated as an operator. Since our construction provides a complete $s$-finite measure space, the abstract version of Fubini's theorem allows us to extend Young's inequality to every separable Banach space with a Schauder basis. We also give constructive examples of partial differential operators in infinitely many variables and briefly discuss the famous partial differential equation derived by Phillip Duncan Thompson cite{PDT}, on infinite-dimensional phase space to represent an ensemble of randomly forced two-dimensional viscous flows.

Recommendations

• scientific article; zbMATH DE number 218613
• scientific article; zbMATH DE number 978655
• Analyticity in infinite dimensional spaces
• Analysis of infinite dimensional spaces and convex differential analysis
• Constructive analysis on Banach spaces
• Hilbert spaces of analytic functions of infinitely many variables
• scientific article; zbMATH DE number 1304152
• scientific article; zbMATH DE number 1257291
• Peculiarities of constructive mathematical analysis
• scientific article; zbMATH DE number 3935035

Cited in

(8)

• Infinite-dimensional measure spaces and frame analysis
• On the space of infinite dimensional integrable functions
• Constructive analysis on Banach spaces
• “Lebesgue measure” on ℝ^{∞}, II
• On a generalized Fourier -series in some infinite-dimensional polish topological vector spaces
• Tools for Infinite Dimensional Analysis
• Existence and uniqueness of translation invariant measures in separable Banach spaces
• Completely analytic interactions with infinite values

This page was built for publication: Constructive analysis in infinitely many variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1943531)