Arxiv:2003.07210V4 [Math.FA]
Total Page:16
File Type:pdf, Size:1020Kb
HK-Sobolev spaces WSk,p and Bessel Potential Bipan Hazarikaa 1 and Hemanta Kalitaa aDepartment of Mathematics, Gauhati University, Guwahati 781014, Assam, India Email : bh [email protected]; bh [email protected]; [email protected] Abstract. Our goal in this article is to construct HK-Sobolev spaces on R∞ which contains Sobolev spaces as dense embedding. We show that weakly convergent sequences in Sobolev spaces are strongly convergent in HK-Sobolev spaces. Also, we obtain that the Sobolev space through Bessel potential is densely contained in HK-Sobolev spaces. Finally we find sufficient conditions for the solvability of the divergence equation ∇ · F = f, when f is an element p n k,p n of the subspace KS [RI ] of the HK-Sobolev space WS [RI ] with the help of the Fourier transformation. Keywords and phrases: Sobolev space; continuous embedding; Kuelbs-Steadman space. AMS Subject Classification No(2020): 26A39, 46B25, 46E35, 46E39, 46F25. 1. Introduction and Preliminaries One of the most important problems of mathematical physics in the 20th century was to find the solution to Dirichlet and Neuman problems for Laplace equation (see for instance [19]). This problem attracted famous scientists of that period, namely Hilbert, Courant, Weyl and many more. Russian Mathematician Sergei Sobolev in 1930 overcame the main difficulty of this problem and introduced a functional space called Sobolev space, given by functions in Lp[Rn] whose distributional derivatives of order upto to k exist and are in Lp[Rn]. Today there are many information about Sobolev spaces W k,p[Rn], where p > 1 and k = 0, 1, 2,... , (see [16, 18, 19, 28]). In [11], Gill and Zachary built the KSp-spaces (Kuelbs-Steadman spaces). p n arXiv:2003.07210v4 [math.FA] 25 Jul 2021 See also [26]. The Kuelbs-Steadman spaces KS [R ] were introduced to cover Feynman path integral formulation, an alternative approach to Quantum Mechanics. This spaces have been useful in this approach since they contain Henstock-Kurzweil integrable functions, that are fundamental in order to prove the convergent of highly oscillatory integrals that appear in Feynman approach. Also the space KSp[Rn] is the completion of Lp[Rn] for 1 ≤ p ≤∞. Even more interesting is that Lp[Rn] is continuous densely contained in KSp[Rn] and this spaces contains the spaces of distribution as dense subset. Gill and Myers [12] discussed about a new 1Corresponding author July 27, 2021. 1 2 HK theory of Lebesgue measure on R∞; the construction of which is virtually the same as the development of Lebesgue measure on Rn. This theory can be useful in formulating a new class of spaces which will provide a Banach spaces structure for Henstock-Kurzweil (HK) integrable functions. For details of Henstock-Kurzweil integral (in short HK integral) the readers can see [2, 3, 4, 5, 13, 14, 15, 20, 21, 23, 24, 27, 30]. Motivated by the concept of [11], the fact Lp ⊂ KSp n as continuous dense embedding and parallel approach of R and R∞ (see [12, 29]), we introduce k,p n k,p our function spaces WS [RI ], WS [RI∞], which we will call as HK-Sobolev spaces. n n 1 1 ∞ Definition 1.1. [12, 29] Let B[R ] be the Borel σ-algebra for R , I = [− 2 , 2 ] and In = i=n+1 I. For A ∈ B[Rn] the set A = A × I is called nth order box set in R . We define n n ∞ Q (1) An ∪ Bn =(A ∪ B) × In; (2) An ∩ Bn =(A ∩ B) × In; c c (3) Bn = B × In. n n n Definition 1.2. [12, 29] Define RI = R × In. We denote B[RI ] to be the Borel σ-algebra n n for RI , where the topology for RI is defined via the class of open sets Dn = {U × In : U is n n n open in R }. For any A ∈ B[R ], we define λ (An) on RI by product measure λ (An) = ∞ ∞ n λn(A) × Πi∞=n+1λ1(I)= λn(A), where λn is Lebesgue measure on R . n Theorem 1.3. [11, 12] λ (.) is a measure on B[RI ], which is equivalent to n-dimensional ∞ Lebesgue measure on Rn. Corollary 1.4. [11, 12] The measure λ (.) is both translationally and rotationally invariant ∞ n n on (RI , B[RI ]) for each n ∈ N. n n n n+1 We can construct a theory on RI that completely parallels that on R . Since RI ⊂ RI , we n ∞ n have an increasing sequence, so we define RI∞ = lim RI = RI . In [12] it is shown that the n →∞ n=1 1 1 measure λ (.) can be extended to R∞. Let x =(x1, x2,... ) S∈ RI∞. Also let In = Πk∞=n+1[ − , ] ∞ b 2 2 and let hn(x)= χIn (x), where x =(xi)i∞=n+1. Recalling RI∞ is the closure of RI∞ in the induced topology from R∞. From our construction, it is clear that a set of the form A = An ×(Πk∞=n+1R) b is not in RI∞b for any bn. So, RI∞ b=6 R∞. The natural topology for RI∞ is that induced as a closed subspace of R∞. Thus if x =(xn), y =(yn) are sequences in RI∞, a metric d on RI∞, is defined as b b ∞ 1 |x − y | d(x, y)= n n . 2n 1+ |x − y | n=1 n n X Theorem 1.5. RI∞ = R∞ as sets but not as topological spaces. We call RI∞ the essentially bounded version of R∞. There are certain pathologies of R∞ that are preserved to RI∞, for example, if Ai has measure 1+ǫ for all i then λ (A) = Πi∞=1λ(Ai)= ∞. ∞ On the other hand, if each Ai has measure 1 − ǫ, then λ (A) = Πi∞=1λ(Ai) = 0. Thus the class ∞ HK-Sobolev space. 3 of sets A ∈ B[RI∞] for which 0 < λ (A) < ∞ is relatively small. It follows that the sets of ∞ measure zero need not be small nor sets of infinite measure be large. 1.1. Measurable function. We discuss about measurable function on RI∞ as follows: 1 1 Let x =(x1, x2,... ) ∈ RI∞, In = Πk∞=n+1[ −2 , 2 ] and let hn(x)= χIn (x), where x =(xi)i∞=n+1. n n Definition 1.6. [12] Let M be represented the class of measurable functions on R . If x ∈ RI∞ n n n b b b and f ∈ M , Let x = (xi)i=1 and define an essentially tame measurable function of order n (or en−tame ) on RI∞ by n f(x)= f (x) ⊗ hn(x). n n We let MI = {f(x): f(x)= f (x) ⊗ hn(x), x ∈ RI∞} be the class of all en− tame functions. b Definition 1.7. A function f : RI∞ → R is said to be measurable and we write f ∈ MI , if there n b is a sequence {fn ∈ MI } of en− tame functions, such that lim fn(x) → f(x) µ − (a.e.). n ∞ →∞ 1 1 n n n n+1 1.2. L -Theory in RI∞. Let L [RI ] be the class of integrable functions on RI . Since RI ⊂ RI 1 ∞ 1 n 1 we define L [RI∞] = L [RI ]. We say that a measurable function f ∈ L [RI∞] if there exists n=1 1 1 n a Cauchy sequence {fSn} ⊂ L [RI∞] with fn ∈ L [RI ] and lim fn(x)= f(x) ,λ -(a.e.). b n ∞ 1 →∞ The integral of f ∈ L [RI∞] is defined by b f(x)dλ (x) = lim fn(x)dλ , R∞ ∞ n R∞ ∞ Z I →∞ Z I 1 where {fn} ⊂ L [RI∞] is any Cauchy-sequence converges to f(x)-a.e. 1 1 Theorem 1.8. L [RI∞]= L [RI∞]. Let C [Rn] be the class of continuous function on Rn which vanish outside compact sets. c I b I We say that a measurable function f ∈ Cc[RI∞], if there exists a Cauchy-sequence{fn } ⊂ ∞ n Cc[RI ]= Cc[RI∞] such that lim ||fn −f|| =0. We define Cc[RI∞], the continuous functions n ∞ n=1 →∞ that vanish at ∞, and C [R ] the bounded functions, in similar way. S b 0∞ I∞ Theorem 1.9. C0∞[RI∞]= C0∞[RI∞]. Theorem 1.10. C [R ] is dense in L1[R ]. c b I∞ I∞ 1 Theorem 1.11. C0∞[RI∞] is dense in L [RI∞]. n 1 n n 1 n Proof. Since C0∞[RI ] ⊂ L [RI ] as dense. So ∪C0∞[RI ] ⊂ ∪L [RI ] as dense. This n 1 n n 1 n gives C∞[∪RI ] ⊂ L [∪RI ] as dense. Now lim C∞[∪RI ] ⊂ lim L [∪RI ]. This implies 0 n 0 n n 1 n 1→∞ 1 →∞ C∞[ lim ∪RI ] ⊂ L [ lim ∪RI ]. So, C∞[RI∞] ⊂ L [RI∞]= L [RI∞] as dense. 0 n n 0 →∞ →∞ 1 R Remark 1.12. In a similar fashion web can defineb the Lloc[ I∞]. 4 HK p p 1.3. L -Theory in RI∞: The L spaces are function spaces defined using a natural generaliza- tion of the p-norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces. Lp spaces form an important class of Banach spaces in functional analysis and topo- logical vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces. Lebesgue spaces are also used in the theoretical discussion of problems in physics, statistics, finance, engineering, and other disciplines. We now construct the spaces p 1 p n p n+1 L [RI∞], 1 <p< ∞, using the same approach that led to L [RI∞]. Since L [RI ] ⊂ L [RI ], p p n p we define L [RI∞] = ∪n∞=1L [RI ].