-
Banach spaces for the Schwartz distributions
Authors:
Tepper L Gill
Abstract:
This paper is a survey of a new family of Banach spaces ${KS}^2$ and $SD^2$ that provide the same structure for the Henstock-Kurzweil (HK) integrable functions as the $L^p$ spaces provide for the Lebesgue integrable functions. These spaces also contain the wide sense Denjoy integrable functions. They were first use to provide the foundations for the Feynman formulation of quantum mechanics. It has…
▽ More
This paper is a survey of a new family of Banach spaces ${KS}^2$ and $SD^2$ that provide the same structure for the Henstock-Kurzweil (HK) integrable functions as the $L^p$ spaces provide for the Lebesgue integrable functions. These spaces also contain the wide sense Denjoy integrable functions. They were first use to provide the foundations for the Feynman formulation of quantum mechanics. It has recently been observed that these spaces contain the test functions $\mathcal{D}$ as a continuous dense embedding. Thus, by the Hahn-Banach theorem, $\mathcal{D}' \subset \mathcal{B}'$. A new family that extend the space of functions of bounded mean oscillation $BMO[\mathbb{R}^n]$, to include the HK-integrable functions are also introduced. We provide a few applications. We use ${KS}^2$ to provide a simple solution to the generator (with unbounded coefficients) problem for Markov processes. We also use $SD^2$ to provide the best possible a priori bound for the nonlinear term of the Navier-Stokes equation.
△ Less
Submitted 29 March, 2017;
originally announced April 2017.
-
The S-basis and M-basis Problems for Separable Banach Spaces
Authors:
Tepper L Gill
Abstract:
This note has two objectives. The first objective is show that, even if a separable Banach space does not have a Schauder basis (S-basis), there always exists Hilbert spaces $\mcH_1$ and $\mcH_2$, such that $\mcH_1$ is a continuous dense embedding in $\mcB$ and $\mcB$ is a continuous dense embedding in $\mcH_2$. This is the best possible improvement of a theorem due to Mazur (see \cite{BA} and als…
▽ More
This note has two objectives. The first objective is show that, even if a separable Banach space does not have a Schauder basis (S-basis), there always exists Hilbert spaces $\mcH_1$ and $\mcH_2$, such that $\mcH_1$ is a continuous dense embedding in $\mcB$ and $\mcB$ is a continuous dense embedding in $\mcH_2$. This is the best possible improvement of a theorem due to Mazur (see \cite{BA} and also \cite{PE1}). The second objective is show how $\mcH_2$ allows us to provide a positive answer to the Marcinkiewicz-basis (M-basis) problem.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Some Banach spaces are almost Hilbert
Authors:
Tepper L. Gill,
Marzett Golden
Abstract:
The purpose of this note is to show that, if $\mcB$ is a uniformly convex Banach, then the dual space $\mcB'$ has a "Hilbert space representation" (defined in the paper), that makes $\mcB$ much closer to a Hilbert space then previously suspected. As an application, we prove that, if $\mcB$ also has a Schauder basis (S-basis), then for each $A \in \C[\mcB]$ (the closed and densely defined linear op…
▽ More
The purpose of this note is to show that, if $\mcB$ is a uniformly convex Banach, then the dual space $\mcB'$ has a "Hilbert space representation" (defined in the paper), that makes $\mcB$ much closer to a Hilbert space then previously suspected. As an application, we prove that, if $\mcB$ also has a Schauder basis (S-basis), then for each $A \in \C[\mcB]$ (the closed and densely defined linear operators), there exists a closed densely defined linear operator $A^* \in \C[\mcB]$ that has all the expected properties of an adjoint. Thus for example, the bounded linear operators, $L[\mcB]$, is a $^*$algebra. This result allows us to give a natural definition to the Schatten class of operators on a uniformly convex Banach space with a S-basis. In particular, every theorem that is true for the Schatten class on a Hilbert space, is also true on such a space. The main tool we use is a special version of a result due to Kuelbs \cite{K}, which shows that every uniformly convex Banach space with a S-basis can be densely and continuously embedded into a Hilbert space which is unique up to a change of basis.
△ Less
Submitted 27 July, 2015;
originally announced July 2015.
-
The Jones Strong Distribution Banach Spaces
Authors:
Tepper L. Gill
Abstract:
In this note, we introduce a new class of separable Banach spaces, ${SD^p}[{\mathbb{R}^n}],\;1 \leqslant p \leqslant \infty$, which contain each $L^p$-space as a dense continuous and compact embedding. They also contain the nonabsolutely integrable functions and the space of test functions ${\mathcal{D}}[{\mathbb{R}^n}]$, as dense continuous embeddings. These spaces have the remarkable property th…
▽ More
In this note, we introduce a new class of separable Banach spaces, ${SD^p}[{\mathbb{R}^n}],\;1 \leqslant p \leqslant \infty$, which contain each $L^p$-space as a dense continuous and compact embedding. They also contain the nonabsolutely integrable functions and the space of test functions ${\mathcal{D}}[{\mathbb{R}^n}]$, as dense continuous embeddings. These spaces have the remarkable property that, for any multi-index $α, \; \left\| {{D^α}{\mathbf{u}}} \right\|_{SD} = \left\| {\mathbf{u}} \right\|_{SD}$, where $D$ is the distributional derivative. We call them Jones strong distribution Banach spaces because of the crucial role played by two special functions introduced in his book (see \cite{J}, page 249). After constructing the spaces, we discuss their basic properties and their relationship to ${\mathcal{D}}[{\mathbb{R}^n}]$ and ${\mathcal{D'}}[{\mathbb{R}^n}]$. As an application, we obtain new a priori bounds for the Navier-Stokes equation.
△ Less
Submitted 10 April, 2015;
originally announced April 2015.
-
The M-basis Problem for Separable Banach Spaces
Authors:
Tepper L Gill
Abstract:
In this note we show that, if $\mcB$ is separable Banach space, then there is a biorthogonal system $\{x_n, x_n^*\}$ such that, the closed linear span of $\{x_n\},\bar{\left\langle {\{x_n\}}\right\rangle}=\mcB$ and $\left\| {x_n} \right\|\left\| {x_n^*} \right\| = 1$ for all $n$.
In this note we show that, if $\mcB$ is separable Banach space, then there is a biorthogonal system $\{x_n, x_n^*\}$ such that, the closed linear span of $\{x_n\},\bar{\left\langle {\{x_n\}}\right\rangle}=\mcB$ and $\left\| {x_n} \right\|\left\| {x_n^*} \right\| = 1$ for all $n$.
△ Less
Submitted 30 April, 2013;
originally announced May 2013.
-
Note on the Spectral Theorem
Authors:
Tepper L Gill,
Daniel Williams
Abstract:
In this note, we show that the spectral theorem, has two representations; the Stone-von Neumann representation and one based on the polar decomposition of linear operators, which we call the deformed representation. The deformed representation has the advantage that it provides an easy extension to all closed densely defined linear operators on Hilbert space. Furthermore, the deformed representati…
▽ More
In this note, we show that the spectral theorem, has two representations; the Stone-von Neumann representation and one based on the polar decomposition of linear operators, which we call the deformed representation. The deformed representation has the advantage that it provides an easy extension to all closed densely defined linear operators on Hilbert space. Furthermore, the deformed representation can also be extended all separable reflexive Banach spaces and has a limited extension to non-reflexive Banach spaces.
△ Less
Submitted 31 October, 2012;
originally announced November 2012.
-
Constructive Analysis in Infinitely many variables
Authors:
Tepper L. Gill,
Gogi R. Pantsulaia,
Woodford W. Zachary
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^\iy$ (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…
▽ More
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^\iy$ (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}, \la_{\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 $\la_{\mcH}$ is Lebesgue measure restricted to $\mcH$, we define sums and products of unbounded operators and the Gaussian density for $L^2[\mcH, \la_{\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.
△ Less
Submitted 26 June, 2012; v1 submitted 3 June, 2012;
originally announced June 2012.
-
Adjoint Operators on Banach Spaces
Authors:
Tepper L Gill,
Francis Mensah,
Woodford W. Zachary
Abstract:
In this paper, we report on new results related to the existence of an adjoint for operators on separable Banach spaces and discuss a few interesting applications. (Some results are new even for Hilbert spaces.) Our first two applications provide an extension of the Poincaré inequality and the Stone-von Neumann version of the spectral theorem for a large class of $C_0$-generators of contraction se…
▽ More
In this paper, we report on new results related to the existence of an adjoint for operators on separable Banach spaces and discuss a few interesting applications. (Some results are new even for Hilbert spaces.) Our first two applications provide an extension of the Poincaré inequality and the Stone-von Neumann version of the spectral theorem for a large class of $C_0$-generators of contraction semigroups on separable Banach spaces. Our third application provides a natural extension of the Schatten-class of operators to all separable Banach spaces. As a part of this program, we introduce a new class of separable Banach spaces. As a side benefit, these spaces also provide a natural framework for the (rigorous) construction of the path integral as envisioned by Feynman.
△ Less
Submitted 23 October, 2010;
originally announced October 2010.
-
Global (in Time) Solutions to the 3D-Navier-Stokes Equations on R^3
Authors:
Tepper L Gill,
Woodford W. Zachary
Abstract:
A well-known unsolved problem (in the classical theory of fluid mechanics) is to identify a set of initial velocities, which may depend on the viscosity, the body forces and possibly the boundary of the fluid that will allow global in time solutions to the three-dimensional Navier-Stokes equations. (These equations describe the time evolution of the fluid velocity and pressure of an incompressib…
▽ More
A well-known unsolved problem (in the classical theory of fluid mechanics) is to identify a set of initial velocities, which may depend on the viscosity, the body forces and possibly the boundary of the fluid that will allow global in time solutions to the three-dimensional Navier-Stokes equations. (These equations describe the time evolution of the fluid velocity and pressure of an incompressible viscous homogeneous Newtonian fluid in terms of a given initial velocity and given external body forces.) A related problem is to provide conditions under which we can be assured that the numerical approximation of these equations, used in a variety of fields from weather prediction to submarine design, have only one solution. In earlier papers, we solved this problem for a bounded domain. In this paper, we use an approach based on additional physical insight, that allows us to prove that there exists unique global in time solutions to the Navier-Stokes equations on R^3.
△ Less
Submitted 26 January, 2007;
originally announced January 2007.
-
Constructive Representation Theory for the Feynman Operator Calculus
Authors:
Tepper L Gill,
Woodford W Zachary
Abstract:
In this paper, we survey recent progress on the constructive theory of the Feynman operator calculus. (The theory is constructive in that, operators acting at different times, actually commute.) We first develop an operator version of the Henstock-Kurzweil integral, and a new Hilbert space that allows us to construct the elementary path integral in the manner originally envisioned by Feynman. Afte…
▽ More
In this paper, we survey recent progress on the constructive theory of the Feynman operator calculus. (The theory is constructive in that, operators acting at different times, actually commute.) We first develop an operator version of the Henstock-Kurzweil integral, and a new Hilbert space that allows us to construct the elementary path integral in the manner originally envisioned by Feynman. After developing our time-ordered operator theory we extend a few of the important theorems of semigroup theory, including the Hille-Yosida theorem. As an application, we unify and extend the theory of time-dependent parabolic and hyperbolic evolution equations. We then develop a general perturbation theory and use it to prove that all theories generated by semigroups are asympotic in the operator-valued sense of Poincare. This allows us to provide a general theory for the interaction representation of relativistic quantum theory. We then show that our theory can be reformulated as a physically motivated sum over paths, and use this version to extend the Feynman path integral to include more general interactions. Our approach is independent of the space of continuous functions and thus makes the question of the existence of a measure more of a natural expectation than a death blow to the foundations for the Feynman integral.
△ Less
Submitted 25 January, 2011; v1 submitted 12 January, 2007;
originally announced January 2007.
-
Sufficiency Class for Global (in Time) Solutions to the 3D-Navier-Stokes Equations
Authors:
Tepper L Gill,
Woodford W. Zachary
Abstract:
A well-known unsolved problem (in the classical theory of fluid mechanics) is to identify a set of initial velocities, which may depend on the viscosity, the body forces and possibly the boundary of the fluid that will allow global in time solutions to the three-dimensional Navier-Stokes equations. (These equations describe the time evolution of the fluid velocity and pressure of an incompressible…
▽ More
A well-known unsolved problem (in the classical theory of fluid mechanics) is to identify a set of initial velocities, which may depend on the viscosity, the body forces and possibly the boundary of the fluid that will allow global in time solutions to the three-dimensional Navier-Stokes equations. (These equations describe the time evolution of the fluid velocity and pressure of an incompressible viscous homogeneous Newtonian fluid in terms of a given initial velocity and given external body forces.) A related problem is to provide conditions under which we can be assured that the weak solution is unique. In this paper we prove that there exists a number u+ such that for all initial velocities in a ball of radius u+, the Navier-Stokes equations have unique strong global in time solutions, and that the corresponding weak solution is unique.
△ Less
Submitted 20 September, 2010; v1 submitted 12 January, 2007;
originally announced January 2007.
