Showing 1–10 of 10 results for author: Hiltunen, S I

Duality of Bochner spaces

Authors: Seppo I. Hiltunen

Abstract: We construct the generalized Lebesgue--Bochner spaces $L^p(μ,\varPi)$ for positive measures $μ$ and for suitable real or complex topological vector spaces $\varPi$ so that for $1<p<+\infty$ and Banachable $\varPi$ with separable topology the strong dual of the classical Bochner space $L^p(μ,\varPi)$ becomes canonically represented by $L^{p^*}(μ,\varPi_σ')\,$. Hence we need no separability assumpti… ▽ More We construct the generalized Lebesgue--Bochner spaces $L^p(μ,\varPi)$ for positive measures $μ$ and for suitable real or complex topological vector spaces $\varPi$ so that for $1<p<+\infty$ and Banachable $\varPi$ with separable topology the strong dual of the classical Bochner space $L^p(μ,\varPi)$ becomes canonically represented by $L^{p^*}(μ,\varPi_σ')\,$. Hence we need no separability assumption of the norm topology of the strong dual $\varPi_β'$ of $\varPi$. For $p=1$ and for suitably restricted positive measures $μ$ we even get a similar result without any separability of the norm topology of the target space $\varPi$. For positive Radon measures on locally compact topological spaces these results are essentially contained on pages 588--606 in R. E. Edwards' classical Functional Analysis. △ Less

Submitted 1 February, 2018; v1 submitted 27 January, 2018; originally announced January 2018.

Comments: 53 pages, AmS-LaTeX. Case (3) in Th A1 and Le A4 are false. Prop 60 is false without reflexivity. The corrections will be made in a later version

MSC Class: 46E40; 46A20; 46G10; 46E30 (Primary) 28A20; 28B05; 46A16; 28C20 (Secondary)

Real analyticity of composition is shy

Authors: Seppo I. Hiltunen

Abstract: Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic Lie group since the group multiplication is not real analytic. The authors considered this result "surprising" for the applied concept of infinite-dimensional re… ▽ More Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic Lie group since the group multiplication is not real analytic. The authors considered this result "surprising" for the applied concept of infinite-dimensional real analyticity for maps $E\to F$, defined by the property that locally a holomorphic extension $E_{\mathbb C}\to F_{\mathbb C}$ exist. In this note we show that this type of real analyticity is quite rare for composition maps ${\rm f\,}\varphi:x\mapsto\varphi\circ x$ when $\varphi$ is real analytic. Specifically, we show that the smooth Fréchet space map ${\rm f\,}\varphi:C\,(\mathbb R)\to C\,(\mathbb R)$ for real analytic $\varphi:\mathbb R\to\mathbb R$ is real analytic in the above sense only if $\varphi$ is the restriction to $\mathbb R$ of some entire function $\mathbb C\to\mathbb C$. We also discuss the possibility of proving that the set of these "admissible" functions $\varphi$ be "small" in the space $A\,(\mathbb R)$ of real analytic functions either in the Baire categorical sense, or in the measure theoretic sense of shyness. △ Less

Submitted 18 December, 2015; v1 submitted 13 December, 2015; originally announced December 2015.

Comments: 5 pages, AmS-LaTeX, v2: added Prop. 6: Every inf-dim Silva space is shy in itself

MSC Class: 46T20; 46T25; 46G20 (Primary); 46G05; 46G12 (Secondary)

The Frolicher--Kriegl differentiabilities as a particular case of the Bertram--Glockner--Neeb construction

Authors: Seppo I. Hiltunen

Abstract: We prove that the order $k$ differentiability classes for $k=0,1,...\infty$ in the "arc-generated" interpretation of the Lipschitz theory of differentiation by Frolicher and Kriegl can be obtained as particular cases of the general construction by Bertram, Glockner and Neeb leading to $C^k$ differentiabilities from a given $C^0$ concept. We prove that the order $k$ differentiability classes for $k=0,1,...\infty$ in the "arc-generated" interpretation of the Lipschitz theory of differentiation by Frolicher and Kriegl can be obtained as particular cases of the general construction by Bertram, Glockner and Neeb leading to $C^k$ differentiabilities from a given $C^0$ concept. △ Less

Submitted 27 April, 2008; originally announced April 2008.

Comments: 8 pages, AmS-LaTeX

MSC Class: 46T20; 46G05 (Primary); 58C25; 58C20; 46A17 (Secondary)

On Yamamuro's inverse and implicit function theorems in terms of calibrations

Authors: Seppo I. Hiltunen

Abstract: For the Frechet space E=C^{\infty}(S^1) and for a smooth φ: R to R, we prove that the associated map E to E given by x mapstoφ\circ x satisfies the continuous BΓ--differentiability condition in Yamamuro's inverse function theorem only if φis affine. Via more complicated examples, we also generally discuss the importance of testing the applicability of proposed inverse and implicit function theor… ▽ More For the Frechet space E=C^{\infty}(S^1) and for a smooth φ: R to R, we prove that the associated map E to E given by x mapstoφ\circ x satisfies the continuous BΓ--differentiability condition in Yamamuro's inverse function theorem only if φis affine. Via more complicated examples, we also generally discuss the importance of testing the applicability of proposed inverse and implicit function theorems by this kind of simple maps. △ Less

Submitted 21 December, 2007; v1 submitted 25 September, 2007; originally announced September 2007.

Comments: Comments: 9 pages, AmSLaTeX; versions 2--5: correction of minor mistakes

MSC Class: 46T20; 47J07; 46G05 (Primary); 58C15; 35B30; 58D05; 35A05 (Secondary)

Seip's differentiability concepts as a particular case of the Bertram--Gloeckner--Neeb construction

Authors: Seppo I. Hiltunen

Abstract: From the point of view of unification of differentiation theory, it is of interest to note that the general construction principle of Bertram, Gloeckner and Neeb leading to a C^k differentiability concept from a given C^0 one, besides subsuming the Keller--Bastiani C_c^k differentiabilities on real Hausdorff locally convex spaces, also does the same to the "arc-generated" interpretation of the L… ▽ More From the point of view of unification of differentiation theory, it is of interest to note that the general construction principle of Bertram, Gloeckner and Neeb leading to a C^k differentiability concept from a given C^0 one, besides subsuming the Keller--Bastiani C_c^k differentiabilities on real Hausdorff locally convex spaces, also does the same to the "arc-generated" interpretation of the Lipschitz theory of differentiation by Frolicher and Kriegl, and likewise to the "compactly generated" theory of Seip's continuous differentiabilities. In this article, we give the details of the proof for the assertion concerning Seip's theory. We also give an example indicating that the premises in Seip's various inverse and implicit function theorems may be too strong in order for these theorems to have much practical value. Also included is a presentation of the BGN--setting reformulated so as to be consistent with the Kelley--Morse--Godel--Bernays--von Neumann type approach to set theory, as well as a treatment of the function space constructions and development of their basic properties needed in the proof of the main result. △ Less

Submitted 21 December, 2007; v1 submitted 12 August, 2007; originally announced August 2007.

Comments: Comments: 32 pages, AmSLaTeX; versions 2--7: correction of misprints and minor mistakes, improvement of unhappy wordings, Proposition "C_{Se0} is BGN" added on page 22 in v2, (7) "locality" added to Proposition 47(=v1:46) in v3

MSC Class: 46T20; 46G05; 54C35; 54D50 (Primary); 54C05; 46G10; 46E40 (Secondary)

An inverse function theorem for Colombeau tame Frolicher-Kriegl maps

Authors: Seppo I. Hiltunen

Abstract: For k=1,2,... infty and a Frolicher-Kriegl order k Lipschitz differentiable map f:E supseteq U to E having derivative at x_0 in U a linear homeomorphism E to E and satisfying a Colombeau type tameness condition, we prove that x_0 has a neighborhood V subseteq U with f|V a local order k Lipschitz diffeomorphism. As a corollary we obtain a similar result for Keller C_c^{\infty} maps with E in a cl… ▽ More For k=1,2,... infty and a Frolicher-Kriegl order k Lipschitz differentiable map f:E supseteq U to E having derivative at x_0 in U a linear homeomorphism E to E and satisfying a Colombeau type tameness condition, we prove that x_0 has a neighborhood V subseteq U with f|V a local order k Lipschitz diffeomorphism. As a corollary we obtain a similar result for Keller C_c^{\infty} maps with E in a class including Frechet and Silva spaces. We also indicate a procedure for verifying the tameness condition for maps of the type x mapsto varphi circ [id,x] and spaces E=C^{\infty}(Q) when Q is compact by considering the case Q=[0,1]. Our considerations are motivated by the wish to try to retain something valuable in an interesting but defective treatment of integrability of Lie algebras by J. Leslie. △ Less

Submitted 22 March, 2007; v1 submitted 5 March, 2007; originally announced March 2007.

Comments: AmSLaTeX, 8 pages; v2: scope of Corollary 9 extended, misprints corrected; v3: inaccuracies in 3 Def:s, misprints corrected, reorganization of proofs suggested in the former footnote; v4: minor specifications added, misprints corrected; v5: a forgotten detail added in the proof of 10 Prop., minor rewording in the proof of 8 Thm

MSC Class: 58C15; 46A61; 46T20

On an assertion about Nash--Moser applications

Authors: Seppo I Hiltunen

Abstract: By an example we show that Olaf Mueller's assertion about his new theorems being able to give anew some classical results previously obtained via applications of Nash--Moser type theorems is unfounded. We also give another example indicating some limitations in possible applications of related new inverse function theorems. By an example we show that Olaf Mueller's assertion about his new theorems being able to give anew some classical results previously obtained via applications of Nash--Moser type theorems is unfounded. We also give another example indicating some limitations in possible applications of related new inverse function theorems. △ Less

Submitted 8 February, 2007; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: 3 pages, AmS-LaTeX; v2: some clarification of wordings

MSC Class: 46A61

A holomorphic map in infinite dimensions

Authors: Seppo I Hiltunen

Abstract: We prove holomorphy E sqcap C(I,varPi) to C(I,varPi) of the map (x,y) mapsto x circ [id,y] where [id,y]:I owns t mapsto (t,y(t)) for a real compact interval I, and where varPi is a complex Banach space and E is a certain locally convex space of continuous functions x:I times varPi to varPi for which x(t,.) is holomorphic for all t in I. We also discuss application of this result to establishing… ▽ More We prove holomorphy E sqcap C(I,varPi) to C(I,varPi) of the map (x,y) mapsto x circ [id,y] where [id,y]:I owns t mapsto (t,y(t)) for a real compact interval I, and where varPi is a complex Banach space and E is a certain locally convex space of continuous functions x:I times varPi to varPi for which x(t,.) is holomorphic for all t in I. We also discuss application of this result to establishing a holomorphic solution map (xi,varphi) mapsto y for functions y:I to varPi satisfying the ordinary differential equation y' = varphi circ [id,y] with initial condition y(t_0) = xi . △ Less

Submitted 19 October, 2006; v1 submitted 22 September, 2006; originally announced September 2006.

Comments: 7 pages, LaTeX; v2: a misprint corrected (p. 1, `x' added); v3(="v4"): " if we fix xi=xi^0, " added on p. 6

MSC Class: 46G20

On the definition of some Banach spaces over bounded domains with irregular boundary

Authors: Seppo I Hiltunen

Abstract: This note aims to clarify the interrelations of certain inequivalently defined Banach spaces denoted by C^i(\barΩ) for a natural number i and a bounded open set Ω. We give some sufficient conditions for the equality of these spaces, and present examples to show that the spaces indeed can be unequal for Ωhaving irregular boundary. This note aims to clarify the interrelations of certain inequivalently defined Banach spaces denoted by C^i(\barΩ) for a natural number i and a bounded open set Ω. We give some sufficient conditions for the equality of these spaces, and present examples to show that the spaces indeed can be unequal for Ωhaving irregular boundary. △ Less

Submitted 8 November, 2005; v1 submitted 18 May, 2005; originally announced May 2005.

Comments: 4 pages, AmSTeX; v2: Added: 'surjection' in Exa 1, subscript 'Hö' in Exa 3. Removed: use of AC in Prop 2; v3: a reference updated, two misprints corrected

MSC Class: 46E15

Differentiation, implicit functions, and applications to generalized well-posedness

Authors: Seppo I Hiltunen

Abstract: This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i . We prove theorems about existence and differentiability of functions g satisfying f(x,g(x))=b constant. In addition to these abstract theorems, we give severa… ▽ More This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i . We prove theorems about existence and differentiability of functions g satisfying f(x,g(x))=b constant. In addition to these abstract theorems, we give several examples of applications to proving smooth dependence of the solution on initial/boundary values and the nonlinearity in nonlinear (partial) differential equations. △ Less

Submitted 19 August, 2005; v1 submitted 13 April, 2005; originally announced April 2005.

Comments: AmS-TeX, 36 pages; v2: added some details of proof; v3: '4 Remarks' in Section 2 supplemented and modified, few misprints corrected

MSC Class: 58C15; 47J07; 46T20; 46T25; 35B30