![Arxiv:2003.07210V4 [Math.FA]](http://data.docslib.org/img/5fe35a534137571a41cb7833c848ff56-1.webp)
arXiv:2003.07210v4 [math.FA] 25 Jul 2021 hspolmaditoue ucinlsaecle ooe space Sobolev called space functional overcame a 1930 L in introduced Sobolev and Hilb Sergei problem namely Mathematician this period, Russian that of more. scientists many equatio famous Laplace attracted for problems problem Neuman This and Dirichlet to solution the find r ayifrainaotSblvspaces Sobolev about information many are 1,1,1,2].I 1] iladZcaybitthe built Zachary and Gill [11], In 28]). 19, 18, [16, otistesae fdsrbto sdnesbe.Gl n Myers and Gill subset. dense as distribution of spaces the contains e lo[6.TeKeb-tamnspaces Kuelbs-Steadman The [26]. also See udmna nodrt rv h ovreto ihyoscillatory highly of space convergent the the inte Also prove Henstock-Kurzweil approach. Feynman to contain order they in since fundamental approach Mechan this Quantum in to approach useful alternative an formulation, integral oeitrsigi that is interesting more p uy2,2021. 27, July 1 [ R orsodn author Corresponding n ftems motn rbeso ahmtclpyisi h 2 the in physics mathematical of problems important most the of One n a hs itiuinldrvtvso re poto upto order of derivatives distributional whose ] eateto ahmtc,GuaiUiest,Gwht 7 Guwahati University, Gauhati Mathematics, of Department Abstract. odtosfrteslaiiyo h iegneequation divergence the of solvability space HK-Sobolev the in for ob contained we conditions densely Also, converge is weakly potential spaces. Bessel that HK-Sobolev through in show convergent We strongly are embedding. spaces dense as spaces Sobolev ftesubspace the of M ujc lsicto o22) 63,4B5 63,46E3 46E35, 46B25, 26A39, No(2020): Classification Subject AMS phrases: and Keywords transformation. KSblvspaces HK-Sobolev mi bh : Email u oli hsatcei ocntutH-ooe pcson spaces HK-Sobolev construct to is article this in goal Our KS ia Hazarika Bipan p L [ R 1. p I n [ R fteH-ooe space HK-Sobolev the of ] nrdcinadPreliminaries and Introduction n [email protected] ooe pc;cniuu medn;Keb-tamnspace. Kuelbs-Steadman embedding; continuous space; Sobolev [email protected];bh [email protected]; scniuu esl otie in contained densely continuous is ] KS sa,India Assam, p [ R a S W n 1 stecmlto of completion the is ] KS n eat Kalita Hemanta and W 1 k,p k,p p [ R [ n eslPotential Bessel and R n S W eeitoue ocvrFymnpath Feynman cover to introduced were ] n ,where ], KS k,p k [email protected]; · ∇ [ xs n r in are and exist p R sae Keb-tamnspaces). (Kuelbs-Steadman -spaces I n F ihtehl fteFourier the of help the with ] > p = anta h ooe space Sobolev the that tain ,46F25. 9, .Fnlyw n sufficient find we Finally s. f, L tsqecsi Sobolev in sequences nt c.Ti pcshv been have spaces This ics. p and 1 1]dsusdaotanew a about discussed [12] rbefntos htare that functions, grable when [ KS R nerl htapa in appear that integrals a r,Cuat eland Weyl Courant, ert, sefrisac [19]). instance for (see n ie yfntosin functions by given , n R o 1 for ] ∞ p h andffiut of difficulty main the f [ R L k hc contains which t etr a to was century 0th sa element an is n p 0 = [ n hsspaces this and ] R ≤ n ] , . 81014, p 1 oa there Today , ∞ ≤ 2 . . . , . (see , Even 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 Definition 1.14. If bf ∈ L [RI∞], we define the integral of f by f(x)dλ (x) = lim fn(x)dλ (x). (1) R∞ ∞ n R∞ ∞ Z I →∞ Z I p Theorem 1.15. If f ∈ L [RI∞], then above integral exists. Proof. The proof follows from the fact that the sequence in the Definition 1.14 is of Lp-Cauchy. If f is a measurable function on RI∞ and 1 p Theorem 1.17. Cc[RI∞] is dense in L [RI∞]. p Theorem 1.18. C0∞[RI∞] is dense in L [RI∞]. p 1.4. Theory of KS [RI∞]. Gill and Zachary in [11] introduced a new Banach space of non- absolute integrable funcions. Kuelbs lemma (see [17]) was the main tool of their work with approach of [26], they found a kind of Banach spaces called Kuelbs-Steadman spaces that contain Henstock-Kurzweil integrable functions. Construction of KSp[Rn] was discussed in detailed in their work. We adopt their approach with virtual concept of Lebesgue measure in p R∞. We now construct the spaces KS [RI∞], 1 ≤ p ≤∞, using the same approach that led to 1 p n p n+1 p ∞ p n the construction of L [RI∞]. Since KS [RI ] ⊂ KS [RI ], we define KS [RI∞]= KS [RI ]. n=1 b S HK-Sobolev space. . . 5 p Definition 1.19. We say that a measurable function f ∈ KS [RI∞], for 1 ≤ p ≤∞, if there is p p n a Cauchy sequence {fn} ⊂ KS [RI∞] with fn ∈ KS [RI ] and lim fn(x)= f(x) µ -a.e. n ∞ →∞ p p The functions in KS [RI∞] differb from functions in its closure KS [RI∞], by sets of measure zero. b p p Theorem 1.20. KS [RI∞]= KS [RI∞] p Definition 1.21. If f b∈ KS [RI∞], we define the integral of f by f(x)dλ (x) = lim fn(x)dλ (x), R∞ ∞ n Rn ∞ Z I →∞ Z I p n where fn ∈ KS [RI ] is any Cauchy sequence converging to f. p Theorem 1.22. If f ∈ KS [RI∞], then the integral of f defined in Definition 1.21 exists and p is unique for every f ∈ KS [RI∞]. Proof. Since the family of functions {fn} is Cauchy, it follows that if the integral exists, it is unique. To prove the existence, follow the standard argument. First assume that f(x) ≥ 0. In this case, the sequence can always be chosen increasing, so that the integral exists. The general case now follows by the standard decomposition. n ∞ k n n 1.5. Construction: Fix n ∈ N and let QI∞ = lim QI = QI , where QI is the set {x ∈ RI : n →∞ k=1 n the coordinates of x are rational}. Since this is a countableS dense set in RI , we can arrange it n b n as QI = {x1, x2, ...}. For each k and i, let Bk(xi) be a closed cube in R centered at xi with 1 sides parallel to the coordinate axes and edge ek = 2k√n . Now choose the natural order which maps N × N bijectively to N, and let {Bk : k ∈ N} be the resulting set of (all) closed cubes {Bk(xi)| (k, i) ∈ N × N} n centered at a point in QI . Let ζk(x) be the characteristic function of Bk, so that ζk(x) ∈ p 1 L [RI∞] ∩ L∞[RI∞] for 1 ≤ p< ∞. Define Fk(.) on L [RI∞] by Fk(f)= ζk(x)f(x)dλ (x). R∞ ∞ Z I Since each Bk is a cube with sides parallel to the coordinate axes, Fk(.) is well defined for all p HK-integrable functions. Also it is a bounded linear functional on L [RI∞] for 1 ≤ p ≤∞. Fix 1 τk > 0 such that k∞=1 τk = 1 and defined an inner product (·) on L [RI∞] by c P ∞ (f,g)= τk ζk(x)f(x)dλ (x) ζk(y)g(y)dλ (y) . R∞ ∞ R∞ ∞ r=1 " I # " I # X Z Z 1 2 The completion of L [RI∞] in the inner product is the space KS [RI∞]. To see directly that 2 KS [RI∞] contains the HK-integrable functions, observe 6 HK 2 ∞ 2 ||f||KS2 = τk ζk(x)f(x)dλ (x) R∞ ∞ k I X=1 Z 2 ≤ sup f(x)dλ (x) < ∞. k ∞ ZBk f ∈ KS2 R . So, [ I∞] 2 p Theorem 1.23. The space KS [RI∞] contains L [RI∞] for 1 ≤ p ≤∞ as dense subspace. 2 n p n 2 Proof. Since KS [RI ] contains L [RI ] for each p, 1 ≤ p ≤∞ as dense subspace and KS [RI∞] ∞ 2 n 2 ∞ p n is the closure of KS [RI ], it follows that KS [RI∞] contains the closure of L [RI ], but n=1 n=1 p this closure is L [SRI∞]. S p Before proceeding more, we define a norm on L [RI∞] as 1 p p ∞ τk R∞ ζk(x)f(x)dλ (x) , for 1 ≤ p< ∞; I ∞ ||f|| p R∞ = k=1 KS [ I ] P R sup R∞ ζk(x)f(x)dλ ( x) , for p = ∞ k 1 I ∞ ≥ R p x x , x , x ,... R . f p ∞ L R . where = ( 1 2 3 ) ∈ I∞ It is easy to see that || ||KS [RI ] defines a norm on [ I∞] p p The completion of L [RI∞] with this norm is KS [RI∞]. p q Theorem 1.24. For each q with 1 ≤ q ≤ ∞, KS [RI∞] ⊃ L [RI∞] as a dense continuous embedding. p n q n Proof. This is easily deduced from the fact that KS [RI ] ⊃ L [RI ] as a dense continuous embedding for each q, 1 ≤ q ≤∞. Theorem 1.25. For 1 ≤ p ≤∞, we have p p (1) If fn → f weakly in L [RI∞] then fn → f strongly in KS [RI∞]. p (2) If 1 Our goal of the article: p n In this article we first observe that the weak differentiability in L [RI ] is the strong differ- p n n entiability in KS [RI ] and this is also true when we replace RI∞ by RI . Secondly, our purpose k,p n k,p n is to claim that weakly differentiability in W [RI ] is strongly differentiability in WS [RI ]. HK-Sobolev space. . . 7 k,p n k,p Finally we show that weakly convergent sequences in W [RI ] and W [RI∞] are strongly con- k,p n k,p vergent in WS [RI ] and WS [RI∞], respectively. As an application, in the last section we found sufficient conditions to solve the equation ∇· F = f, for f an element of the subspace p n k,p n KS [RI ] of the HK-Sobolev space WS [RI ], with the help of the Fourier transformation. Meaning of k when 2. D f(x) x ∈ RI∞ n n n The test functions D[RI ] on RI are similar as test functions on R , so ignore the detailed n of the test functions on RI . We denote test functions on RI∞ as D[RI∞], to construct this spaces we use the same approach 1 n n+1 n that led to L [RI∞] in subsection 1.2. Since D[RI ] ⊂D[RI ], we define D[RI∞]= ∪n∞=1D[RI ]. Definition 2.1. We say that a measurable function f ∈ D[RI∞] if and onlyb if there exists a ∞ n sequence of functions {fm}⊂D[RI∞]= D[RI ] and a compact set K ⊂ RI∞, which contains n=1 α α the support of f − fm for all m, and D fm → D f uniformly on K, for every multi index d S α ∈ N0∞. We call the topology of D[RI∞] as the compact sequential limit topology. n p n Theorem 2.2. For each p, 1 ≤ p ≤∞, then test function D[RI ] ⊂ KS [RI ] as a continuous embedding. Proof. Proof is similar as the proof of the Theorem 3.47 of [11]. Remark 2.3. The Theorem (2.2) is hold for RI∞. The mollifiers are used in distribution theory to create sequences of smooth functions that approximate non smooth functions via convolution. Sergie Sobolev [25] in the year 1938 used mollifier functions in his work Sobolev embedding theorem. Modern approach of mollifier was introduced by Kurt Otto Friedrichs [10] in the year 1944. Definition 2.4. (Friedrichs’s Definition) Mollifier identified the convolution operator as φǫ(f)(x)= ϕǫ(x − y)f(y)dy n ZR n x where ϕǫ(x)= ǫ− ϕ( ǫ ) and ϕ is a smooth function satisfying (1) ϕ(x) ≥ 0 for all x ∈ Rn. (2) ϕ(x)= µ(|x|) for some infinitely differentiable function µ : R+ → R. To construct mollifier in RI∞, for each ǫ> 0, let ϕǫ ∈ C0∞[RI∞] be given with the property ϕǫ ≥ 0, supp(ϕǫ) ⊂{x ∈ RI∞ : |x| ≤ ǫ}, ϕǫ =1 Z 8 HK such functions can be constructed (see page 32 [22]), for example, by taking an appropiate multiple of 2 2 1 exp(|x| − ǫ )− , |x| < ǫ; ϕǫ(x)= ( 0 , |x| ≥ ǫ 1 Let f ∈ L [G], where G is open in RI∞. Suppose that the support of f satisfies supp(f) ⊂⊂ G (compact support), then the distance from supp(f) to ∂G is a positive number ∆. We extend 1 f as zero on complement of G and also we denote the extension in L [RI∞] by f. Define for each ǫ the mollifier: fǫ(x)= f(x − y)ϕǫ(y)dλ , x ∈ RI∞. (2) R∞ ∞ Z I From now on we consider functions f ∈ KSp so, f = 0 almost everywhere. We obtain the following lemma Lemma 2.5. (1) For each ǫ> 0, supp(fǫ) ⊂ supp(f)+ {y : |y| ≤ ǫ} and fǫ ∈ C∞[RI∞]. p (2) If f ∈ C0[G], then fǫ → f uniformly on G. If f ∈ KS [G], 1 ≤ p < ∞ then p ||fǫ||KSp[G] ≤ ||f||KSp[G] and fǫ → f in KS [G]. Proof. For (1), the proof is similar to that of [22, Lemma 1.1]. For (2), use the fact that Lp[G] is dense as continuous embedding on KSp[G] and follow the proof of [22, Lemma 1.2]. 2 p Theorem 2.6. C0∞[G] is a dense subset of KS [G] and KS [G]. 2 p 2 Proof. Since C0∞[G] is dense in L [G] and L [G], it follows that C0∞[G] is dense in KS [G] and KSp[G]. It follows the result. Definition 2.7. A distribution on G is a conjugate linear functional on C0∞[G], that is C0∞[G]∗ is the linear space of distributions on G. 1 1 Example 2.8. The space Lloc[G] = {L [K]: K ⊂⊂ G} of locally integrable functions on G can be identified with a subspace of distributions on G. That is , f ∈ L1 [G] is assigned the T loc distribution Tf ∈ C0∞[G]∗ defined by c Tf (ϕ)= fϕ , ϕ ∈ C0∞[G] ZG where the HK integral over the support of ϕ is used. 1 2 Remark 2.9. If T : Lloc[G] → C0∞[G]∗ is an injection, then the functions in KS [G] will be identified as a subspace of D∗[G]. HK-Sobolev space. . . 9 ∞ Let α = (α1,α2, .., ) be multi-index of non negative integers with |α| = αk. We define k=1 α the operators Dn and Dα,n by P αk αk α n ∂ n 1 1 Dn = Πk=1 Dα,n = Πk=1 , ∂xαk 2πi ∂x k respectively. Definition 2.10. (1) We say that a sequence of functions {fm} ⊂ C∞[RI∞] converges to α a function f ∈ C∞[RI∞] if and only if for all multi-indices α, D f ∈ C[RI∞] and for x ∈ RI∞ for all n ∈ N, such that α α lim sup[sup sup |D f(x) − D fm(x)|]=0. m α x N →∞ || ||≤ 2.1. Observation. : We say that a function f ∈ C∞[RI∞] if and only if there exists a sequence ∞ n of functions {fm} ⊂ C∞[RI∞]= C∞[RI ] such that for all x ∈ RI∞ and n ∈ N, n=1 S α α dlim sup[sup sup |D f(x) − D fm(x)|]=0. m α x N →∞ || ||≤ From the above we can say the set of all continuous linear functionals T ∈D∗[RI∞] is called the space of distributions on RI∞. A family of distributions {Ti}⊂D∗[RI∞] is said to converge to T ∈D∗[RI∞] if for every ϕ ∈D[RI∞], the numbers Ti(ϕ) converge to T (ϕ). We define derivatives of distributions in such a way that it agrees with the usual notion of derivative in those distributions which arise from continuously differentiable functions. We α α m define ∂ : D∗[RI∞] → D∗[RI∞] as ∂ (Tf ) = TDαf , |α| ≤ m, f ∈ C [RI∞]. By integration by parts we obtain α α TDαf (y)=(−1)| |Tf (D ϕ), ϕ ∈ C0∞[RI∞] and this identity suggest the following definition: The αth partial derivative of the distribution T is the distribution ∂αT defined by α α α ∂ T (ϕ)=(−1)| |T (D ϕ), ϕ ∈ C0∞[RI∞]. α α Since D ∈ L(C0∞[RI∞],C0∞[RI∞), it follows that ∂ T is linear. Every distribution has derivatives of all orders and so is every function. For distribution theory one can see [1, 8, 9] and references therein. Example 2.11. It is clear that the derivatives ∂α and Dα are compatible with identifications of C∞[RI∞] in D∗[RI∞]. For example: 1 (1) If f ∈ C [RI∞] then ∂f(ϕ)= −f(Dϕ)= − f(Dϕc)= (Df)ϕc = Df(ϕ) Z Z 10 HK where the equality follows by integration by parts. In particular, if f(x)= H(x), where H is the Heaveside function on RI∞, 1 for x ≥ 0; H(x)= i ( 0 for xi < 0, i ∈ N for x =(x1, x2, x3,... ) ∈ RI∞, then DH(x)ϕ(x)dλ (x)= H(x)Dϕ(x)dλ (x) R∞ ∞ R∞ ∞ Z I Z I = ϕ(0) ∂ ∞ x ϕ x dλ x . = RI ( ) ( ) ( ) R∞ ∞ Z I That is, in the generalized sense of distributions, DH(x)= ∂(x) the Dirac delta function on RI∞ (2) Let f : RI∞ → K be satisfy f R∞− ∈ C∞(−∞, 0] and f R∞+ ∈ C∞[0, ∞) and denote the | I | I jump in the various derivatives at 0 by m + m σm(f)= D f(0 ) − D f(0−), m ≥ 0. Then we obtain ∂f(ϕ)= Df(ϕ)+ σ0(f)∂(ϕ), ϕ ∈ C0∞[RI∞]. That is ∂f = Df + σ0(f)δ, we can compute derivatives of higher order as : 2 2 ∂ f = D f + σ1(f)δ + σ0(f)∂δ 3 3 2 ∂ f = D f + σ2(f)δ + σ1(f)∂δ + σ0(f)∂ δ eg ∂(H · sin) = H · cos ∂(H · cos) = −H · sin +δ. So, H · sin is a generalized solution of the ODE (δ2 +1)y = δ. 1 th Definition 2.12. If α is a multi-index and u, v ∈ Lloc[RI∞], we say that v is the α weak (or distributional) partial derivative of u and write Dαu = v provided that α α u(D ϕ)dλ =(−1)| | ϕvdλ R∞ ∞ R∞ ∞ Z I Z I for all functions ϕ ∈ Cc∞[RI∞]. Thus v is in the dual space D∗[RI∞] of D[RI∞]. 1 If u ∈ Lloc[RI∞] and ϕ ∈D[RI∞] then we can define Tu(·) by Tu(ϕ)= uϕdλ . R∞ ∞ Z I HK-Sobolev space. . . 11 This is a linear functional on D[RI∞]. If {ϕn}⊂D[RI∞] and ϕn → ϕ in D[RI∞], with the support of ϕn − ϕ contained in a compact set K ⊂ RI∞, then we have |Tu(ϕn) − Tu(ϕ)| = u(x)[ϕn(x) − ϕ(x)]dλ (x) R∞ ∞ Z I ≤ sup |ϕn(x) − ϕ(x)| |u(x)|dλ (x). x K R∞ ∞ ∈ Z I By uniform convergence on K, we see that T is continuous, so T ∈D∗[RI∞]. We assume α ||ϕ|| = sup {|D ϕ(x)| : α ∈ N0∞, |α| ≤ N}. x R∞ ∈ I Theorem 2.13. Let D∗[RI∞] be the dual space of D[RI∞]. α (1) Every differentiable operator D , α ∈ N0∞ defines a bounded linear operator on D[RI∞]. α (2) If T ∈D∗[RI∞] and α ∈ N0∞, then D T ∈D∗[RI∞] and α α α (D T )(ϕ)=(−1)| |T (D ϕ), ϕ ∈D[RI∞]. α (3) If |T (ϕ)| ≤ c||ϕ||N for all ϕ ∈D[K], for some compact set K ⊂ RI∞, then |(D T )(ϕ)| ≤ α β β α c||ϕ||N+ ϕ and D D T = D D T. | | α 1 (4) If g = D f exists as a classical derivative and g ∈ Lloc[RI∞], then Tg ∈D∗[RI∞] and α α (−1)| | f(x)(D ϕ)dλ (x)= g(x)ϕ(x)dλ (x) R∞ ∞ R∞ ∞ Z I Z I for all ϕ ∈D[RI∞]. (5) If f ∈ C∞[RI∞] and T ∈ D∗[RI∞] then fT ∈ D∗[RI∞], with fT (ϕ) = T (fϕ) for all α α β β ϕ ∈D[RI∞] and D (fT )= Cαβ(D − f)(D T ). β α ≤ P Proof. The proofs are similar to those of Rn. p n The weak and strong derivative for L [RI ] can be defined like the weak and strong derivative for Lp[Rn]. For theory of the weak derivative and strong derivative for Lp[Rn] we follow the definition 29.15 of [6]. p n Theorem 2.14. Strong differentiable implies weak differentiable in L [RI ]. Proof. The proof is similar as (4) =⇒ (2) of the theorem 29.18 of [6] those of Lp[Rn]. p We state the weak and strong derivative for L [RI∞] as: p 1 w Definition 2.15. Let v ∈ RI∞ and f ∈ L [RI∞](f ∈ Lloc[RI∞]), then ∂v f is said to exists weakly p 1 p 1 in L [RI∞](Lloc[RI∞]) if there exists a function g ∈ L [RI∞](g ∈ Lloc[RI∞]) such that < f,∂vϕ>= − < g, ϕ >, ∀ϕ ∈ Cc∞[RI∞]. w In this case ∂v f = g. 12 HK Definition 2.16. (1) For v ∈ RI∞, h ∈ R −{0} and a function f : RI∞ → C, let f(x + hv) − f(x) ∂ h f(x)= v h for those x ∈ RI∞ such that x + hv ∈ RI∞. When v is one of the standard basis elements h ei, for 1 ≤ i ≤ d, we will write ∂ f(x) rather than ∂ h f(x). i ei p s p h (2) Let v ∈ RI∞ and f ∈ L [RI∞], then it is said that ∂vf exists strongly in L [RI∞], if lim ∂v f h 0 p s → exists in L [RI∞]. In this case ∂vf = lim ∂vh f. h 0 → p Now we give the strong and the weakly differentiability for functions in KS [RI∞]. However, p n to understand this, we need little work on KS [RI ]. n p n w Definition 2.17. Let v ∈ R and f ∈ KS [RI ]. Then it is said that ∂v f exists weakly in p n p n KS [RI ], if there exists a function g ∈ KS [RI ] such that n < f,∂vϕ>= − p n p n p n Since KS [RI ] is the completion of L [RI ], we define the strongly differentiability in KS [RI ] p n as was done in L [RI ]. n p n s p n Definition 2.18. Let v ∈ R and f ∈ KS [RI ]. Then ∂vf exists strongly in KS [RI ], if p n s lim ∂vh f exists in KS [RI ]. We define ∂v f = lim ∂vh f. h 0 h 0 → → p n Strongly differentiable implies weakly differentiability in L [RI ] and weakly convergent in p n p n L [RI ] is strongly convergence in KS [RI ] with compact support. This lead our investigation is more interesting, we want to find a relation between strongly differentiable and weakly p n p n d s p n differentiable in KS [RI ]. Easily we can find for f ∈ KS [RI ] and v ∈ R , if ∂v f ∈ KS [RI ] p n exists weakly then ∂vf ∈ KS [RI ] and they are equal. Now ∞ h f(x + hv) − f(x) < ∂v f,ϕ > = τr ζr(x) ϕ(x)dλn(x) d h r=1 R X Z ∞ ϕ(x − hv) − ϕ(x) = τr ζr(x){f(x)} dλn(x) d h k R X=1 Z ∞ ϕ(x − hv) − ϕ(x) = τr ζr(x)f(x) dλn(x) d h r=1 ZR X h =< f,∂ vϕ>KSp . − HK-Sobolev space. . . 13 s h p n d If ∂vf = lim ∂v f exists in KS [RI ] and ϕ ∈ Cc∞[R ] then h 0 → s h < ∂v f,ϕ > = lim < ∂v f,ϕ > h 0 → h = lim < f,∂ vϕ> h 0 − → = − < f,∂vϕ > . p n Our main purpose is now to find whether weakly differentiable in L [RI ] implies strongly p n p n differentiable in KS [RI ]. This comes from the fact that weakly differentiable in L [RI ] implies p n p n weakly convergence in L [RI ], moreover weakly convergence in L [RI ] is strongly convergence p n p n in KS [RI ]. The fact that f is strongly convergence in KS [RI ] gives ζr(x)[fn(x) − f(x)]dλ (x) → 0 for each n. Rn ∞ Z I h p n This gives us lim ∂v f = 0 in KS [RI ]. h 0 → n p n Remark 2.19. Any function in L∞[RI ] is weakly derivable in L [RI ] so p n n ζr(f) ∈ L [RI ] ∩ L∞[RI ] is also in the sense of weak if we consider in weak derivative. p n n From this remark we can conclude that weakly differentiable in L [RI ] ∩ L∞[RI ] is also p n strongly differentiable in KS [RI ]. p n n Proposition 2.20. If ∂vf exists in Lloc[RI ] weakly then there exists fn ∈ Cc∞[RI ] such that p fn → f in KS [K] strongly, i.e lim ||f − fn||KSp[K] =0 n →∞ p n and ∂vfn → ∂vf in KS [K] strongly for all K ⊂⊂ RI . Proof. Proof is easy so we left to the readers. p We can construct above concept for KS [RI∞], which we mention now: d p p Definition 2.21. Let v ∈ R and f ∈ KS [RI∞] then ∂vf is said to exist weakly in KS [RI∞] p if there exists a function g ∈ KS [RI∞] such that < f,∂vϕ>= − α p p If α ∈ N0∞ then ∂ f is exists weakly in KS [RI∞] if and only if there exists g ∈ KS [RI∞] such that α α < f,∂ ϕ>=(−1) p p p Since KS [RI∞] is completion of L [RI∞], we define strongly differentiable as like of L [RI∞]. 14 HK d p p Definition 2.22. Let v ∈ R and f ∈ KS [RI∞], then ∂vf is exists strongly in KS [RI∞] if h p lim ∂v f exists in KS [RI∞]. h 0 → p Same way the strongly differentiable implies weakly differentiable in L [RI∞] and weakly p p convergent in L [RI∞] is strongly convergence in KS [RI∞] with compact support. Easily we p d s p p can find for f ∈ KS [RI∞] and v ∈ R , if ∂v f ∈ KS [RI∞] exists then ∂vf ∈ KS [RI∞] weakly p and they are equal. Moreover weakly differentiable in L [RI∞] implies strongly differentiable p p in KS [RI∞]. This comes from the fact that weakly differentiable in L [RI∞] implies weakly p p p convergence in L [RI∞], with weakly convergence in L [RI∞] is strongly convergence in KS [RI∞]. p Any function in L∞[RI∞] is weakly derivable in L [RI∞] so p ζr(f) ∈ L [RI∞] ∩ L∞[RI∞] is also in the sense of weak if we consider in weak derivative. From this we can conclude that p p weakly differentiable in L [RI∞] ∩ L∞[RI∞] is also strongly differentiable in KS [RI∞]. 1 1 Lemma 2.23. (1) Suppose f ∈ Lloc[RI∞] and ∂vf exists weakly in Lloc[RI∞]. Then suppm(∂vf) ⊂ suppm(f), where suppm(f) is essential support of f relative to Lebesgue measure. (2) If f is continuously differentiable on u ⊂ RI∞ then ∂vf = ∂u(f) (weakly) a.e. on f p Proposition 2.24. If ∂vf exists in Lloc[RI∞] weakly then there exists fn ∈ Cc∞[RI∞] such that p fn → f in KS [K] strongly, i.e lim ||f − fn||KSp[K] =0 n →∞ p and ∂vfn → ∂vf in KS [K] strongly for all K ⊂⊂ RI∞. 3. HK-Sobolev spaces p n The function f(x) = |x| is weak derivable in KS (RI ) which is not strongly derivable in p n p n KS (RI ). This type of functions motivate us to think in a space like Sobolev for KS (RI ) and p KS (RI∞). In the one dimensional case the HK-Sobolev space WSk,p[R] for 1 ≤ p ≤ ∞ is defined as the subset of functions f in KSp[R] such that f and its weak derivatives upto order k have a finite KSp norm. (k 1) In one dimensional problem it is enough to assume that f − , the (k − 1)th derivative of the function f is differentiable almost every where. That is WSk,p[R]= {f(x): Dkf(x) ∈ KSp[R]}. For multi-dimensional case the transition to multiple dimensions entails more difficulties, start- (k 1) (k) ing with the definition itself. The requirement that f − be the integral of f does not HK-Sobolev space. . . 15 generalize, and the simplest solution is to consider derivatives in the sense of distribution the- ory. k,p n A formal definition we now state as: Let k ∈ N, 1 ≤ p ≤∞. The HK-Sobolev space WS [RI ] n is defined as the set of all functions f on RI such that for every multi-index α with |α| ≤ k, the mixed partial derivative ∂ α f f (α) = | | α1 αn ∂x1 ....∂xn p n (α) exists in the weak sense in KS [RI ] that is ||f ||KSp < ∞. k,p n Therefore the HK-Sobolev space WS [RI ] is the space k,p n p n α p n WS [RI ]= {f ∈ KS [RI ]: D f ∈ KS [RI ], ∀|α| ≤ k}. k,p n k,p n We called k as the order of the HK-Sobolev space WS [RI ]. We define a norm for WS [RI ] as: 1 p α p ||D f|| p , for 1 ≤ p< ∞; KS ||f||WSk,p[Rn] = α k ! I | |≤ P k ∞ max ||D f||KS , for p = ∞ α k | |≤ k For =1 1 p p ||f||WS1,p[Rn] = ||f|| p n + ||Df||KSp[Rn] I KS [RI ] I 1 p p p ∞ ∞ = τr ζr(x)f(x)dλ (x) + τr ζr(x)Df(x)dλ (x) n ∞ n ∞ ( RI RI ) r=1 Z r=1 Z X X and ||f|| 1,∞ n = sup ζ (x)f(x)dλ (x) + sup ζ (x)Df(x)dλ (x) . WS [RI ] r r r 1 Rn ∞ r 1 Rn ∞ ≥ Z I ≥ Z I We can consider equivalent norms 1 n p p p ||f||WS1,p[Rn] = ||f|| p n + ||Djf|| p n , I KS [RI ] KS [RI ] j=1 ! X n ||f|| 1,p n = ||f|| p n + ||D f|| p n WS [RI ] KS [RI ] j KS [RI ] j=1 X when 1 ≤ p< ∞ and f 1,∞ f ∞ n , Df ∞ n ,..., D f ∞ n . || ||WS = max{|| ||L [RI ] || ||L [RI ] || n ||L [RI ]} k,p n Remark 3.1. The elements of WS [RI ] are equal a.e. 16 HK k,p n 3.1. Completeness of HK-Sobolev Spaces: A sequence (fi) of functions fi ∈ WS [RI ] i = k,p n 1, 2, ... converges to a function f ∈ WS [RI ] if for every ǫ> 0 there exists iǫ such that ||f − f|| k,p n < ǫ when i ≥ i . i WS [RI ] ǫ Equivalently lim ||fi − f||WSk,p[Rn] =0 i I →∞ k,p n A sequence (fi) is a Cauchy sequence in WS [RI ] if for every ǫ> 0 there exists iǫ such that ||f − f || k,p n < ǫ when i, j ≥ i . i j WS [RI ] ǫ k,p n Theorem 3.2. WS [RI ] is Banach space. Proof. First we prove ||.|| k,p n is a norm. WS [RI ] n (1) ||f|| k,p n =0 ⇔ f = 0 a.e. in R . WS [RI ] I n ||f|| k,p n =0 ⇒ ||f|| p Rn = 0 which implies f = 0 a.e. in R . WS [RI ] KS [ I ] I n Now f = 0 a.e. in RI , implies α α α n D fϕdλ =(−1)| | fD ϕdλ = 0 for all ϕ ∈ C0∞[RI ]. Rn ∞ Rn ∞ Z I Z I 1 n n n As f ∈ Lloc[RI ] satisfies Rn fϕdλ = 0 for every ϕ ∈ C0∞[RI ] then f = 0 a.e. in RI . I ∞ Dαf Rn α, α k. This implies = 0 a.e.R in I for all | | ≤ (2) ||αf|| k,p n = |α|||f|| k,p n , α ∈ R. WS [RI ] WS [RI ] (3) The triangle inequality for 1 ≤ p < ∞ follows from elementary inequality (a + b)α ≤ aα + bα, 0 <α ≤ 1 and Minkowski’s inequality. k,p n Now, let (fi) be Cauchy sequence in WS [RI ], since α α ||D f − D f || p Rn ≤ ||f − f || k,p n , |α| ≤ k i j KS [ I ] i j WS [RI ] α p n p n it follows that (D fi) is Cauchy in KS [RI ], |α| ≤ k, next follow the completeness of KS [RI ] p n α p n implies that there exists fα ∈ KS [RI ] such that D fi → fα in KS [RI ]. k,p n 1, n Remark 3.3. WS [RI ], 1 ≤ p< ∞ is separable, however WS ∞[RI ] is not separable. k,2 n The space WS [RI ] is a Hilbert space with the inner product α α 1,p n 1,p n (1) If fn → f weakly in W [RI ] then fn → f strongly in WS [RI ] i.e. every weakly 1,p n 1,p n compact subset of W [RI ] is compact in WS [RI ]. k,p n (2) If 1 1,p n 1,p n Proof. (1) Using [16, Theorem 1.38] and (fn) is weakly convergence in W [RI ] to f ∈ W [RI ], p n p n we have that fn → f ∈ L [RI ] weakly. This implies fn → f ∈ KS [RI ] strongly. Consequently, α α Rn ζr(x)[fn(x) − f(x)]dλ (x) → 0 and so Rn ζr(x)[D fn(x) − D f(x)]dλ (x) → 0. Therefore, I ∞ I ∞ 1,p Rn Rfn → f ∈ WS [ I ]. R k,p n p n α (2) Let T : WS [RI ] → KS [RI ], defined as x → (D x) α k, be a closed and isometric | |≤ p n embedding. Since KS [RI ] is uniformly convex for 1 k,p n k,p n Theorem 3.5. W [RI ] ⊂ WS [RI ] as continuous dense embedding for 1 ≤ p< ∞. k,p n Proof. Let f ∈ W [RI ] for 1 ≤ p< ∞. Then we have 1 p α p ||f||WSk,p Rn = ||D f|| p [ I ] KS α k |X|≤ 1 p p ∞ α = τr ζr(x)D f(x)dλ (x) Rn ∞ α k r=1 Z I |X|≤ X ∞ 1 α p ≤ τr ζr(x)|D f(x)| dλ (x)) p Rn ∞ α k r=1 Z I |X|≤ X 1 p α p ≤ sup ζ (x)|D f(x)| dλ (x) ≤ ||f|| k,p n . r W [RI ] α k Rn ∞ | |≤ Z I ! 18 HK 1,p n p n Theorem 3.6. WS [RI ] → KS [RI ] as continuous embedding for 1 ≤ p< ∞. 1,p n q n q n p n Proof. As [28], we have W [RI ] → L [RI ] for 1 ≤ p ≤ q < ∞. Also, L [RI ] ⊂ KS [RI ] as 1,p n p n continuous dense for 1 ≤ p < ∞. So, W [RI ] → KS [RI ] for 1 ≤ p < ∞. We need to prove 1,p n p n WS [RI ] → KS [RI ]. For this we find ||f|| p n ≤ ||f|| 1,p n KS [RI ] WS [RI ] 1,p n for f ∈ WS [RI ], which gives our result. k,p 3.2. HK-Sobolev Spaces on R∞: In this section we will discuss about WS [RI∞]. As k,p n k,p n+1 WS [RI ] ⊂ WS [RI ], we can define ∞ k,p k,p n WS [RI∞]= WS [RI ]. n=1 [ d k,p Definition 3.7. We say that for 1 ≤ p < ∞, a measurable function f ∈ WS [RI∞], if there k,p k,p n exists a Cauchy sequence {fn} ⊂ WS [RI∞] with fn ∈ WS [RI ] and α α lim D fn(x)= D f(x), λ − a.e. n d ∞ →∞ k,p Definition 3.8. Let f ∈ WS [RI∞], we define the integral by α α D f(x)dλ (x) = lim D fn(x)dλ (x) R∞ ∞ n R∞ ∞ Z I →∞ Z I k,p where fn ∈ WS [RI∞] for all n and the family {fn} is a Cauchy sequence. k,p k,p Theorem 3.9. WS [RI∞]= WS [RI∞]. k,p We define HK-Sobolevd space WS [RI∞] as k,p p α p WS [RI∞]= {f ∈ KS [RI∞]: D f ∈ KS [RI∞], ∀|α| ≤ k}. k,p k,p We called k as the order of the HK-Sobolev space WS [RI∞]. We define a norm for WS [RI∞] as: 1 p α p ||D f||KSp , for 1 ≤ p< ∞; ∞ ||f||WSk,p[R ] = α k ! I | |≤ P k ∞ max ||D f||KS , for p = ∞ α k | |≤ For k =1 1 p p ∞ ∞ ||f||WS1,p[R ] = ||f|| p ∞ + ||Df||KSp[R ] I KS [RI ] I 1 p p p ∞ ∞ = τr ζr(x)f(x)dλ (x) + τr ζr(x)Df(x)dλ ∞ ∞ ∞ ∞ ( RI RI ) n=1 Z r=1 Z X X HK-Sobolev space. . . 19 and f 1,∞ ∞ ζ x f x dλ x ζ x Df x dλ x . || ||WS [RI ] = sup r( ) ( ) ( ) + sup r( ) ( ) ( ) r 1 R∞ ∞ r 1 R∞ ∞ ≥ Z I ≥ Z I We can consider equivalent norms 1 n p p p ∞ ||f||WS1,p[R ] = ||f|| p ∞ + ||Djf|| p ∞ , I KS [RI ] KS [RI ] j=1 ! X n ||f|| 1,p ∞ = ||f|| p ∞ + ||D f|| p ∞ WS [RI ] KS [RI ] j KS [RI ] j=1 X when 1 ≤ p< ∞ and f 1,∞ f ∞ ∞ , Df ∞ ∞ , .., D f ∞ ∞ . || ||WS = max{|| ||L [RI ] || ||L [RI ] || n ||L [RI ]} k,p Remark 3.10. The functions WS [RI∞] are equal a.e. k,p Theorem 3.11. Let f ∈ WS [RI∞], then α α D f(x)dλ (x) = lim D fn(x)dλ (x) R∞ ∞ n R∞ ∞ Z I →∞ Z I k,p where fn ∈ WS [RI∞] for all n and the family {fn} is a Cauchy sequence. For the proof of this theorem, we follow the Section 3.1. Theorem 3.12. For 1 ≤ p< ∞, we have 1,p 1,p (1) If fn → f weakly in W [RI∞] then fn → f strongly in WS [RI∞] i.e. every weakly 1,p 1,p compact subset of W [RI∞] is compact in WS [RI∞]. k,p (2) If 1 1,p Proof. (1) Let {fn} be a weakly convergence sequence in W [RI∞] with limit f. Then α α ζr(x)|D fn(x) − D f(x)|dλ (x) → 0 Rn ∞ Z I 1,p n for each r. Now, since each fn ∈ WS [RI ], it follows α α lim ζr(x)|D fn(x) − D f(x)|dλ (x) → 0. n Rn ∞ →∞ Z I k,p n (2) As W [RI ] is uniformly convex for each n and that is dense and compactly embedded in k,p ∞ k,p n WS [RI∞] for all p, 1 ≤ p ≤ ∞. So, W [RI ] is uniformly convex for each n and that is n=1 S 20 HK ∞ k,p dense and compactly embedded in WS [RI∞] for all p, 1 ≤ p ≤∞. n=1 k,p ∞ k,p n S k,p However W [RI∞]= W [RI ]. That is W [RI∞] is uniformly convex, dense and compactly n=1 k,p RS k,p R k,p R embedded in WSd [ I∞] for all p, 1 ≤ p ≤ ∞d. As WS [ I∞] is closure of WS [ I∞]. k,p Therefore WS [RI∞] is uniformly convex. d k,p d (3) From (2) we have WS [RI∞] is reflexive for 1 α ζr(x)D f(x)dλ (x) R∞ ∞ Z I p α is uniformly bounded for all r. It follows that R∞ ζr(x)D f (x)dλ (x) is uniformly bounded I ∞ for 1 ≤ p< ∞. It is clear from the definition of WSk,p[R ] that R I∞ 1 p p ∞ α τr ζr(x)D f(x)dλ (x) ≤ M||f||WSk,p[R∞] < ∞. ∞ ∞ I " RI # r=1 Z X k,p R So, f ∈ WS [ I∞]. 1,p p Theorem 3.13. WS [RI∞] → KS [RI∞] as continuous embedding for 1 ≤ p< ∞. 1,p n p n Proof. As WS [RI ] −→ KS [RI ] as continuous embedding for 1 ≤ p < ∞. So, ∞ 1,p n ∞ p n WS [RI ] −→ KS [RI ] as continuous embedding for 1 ≤ p < ∞. Therefore n=1 n=1 1,p p 1,p p WSS [RI∞] −→ KS S[RI∞] for 1 ≤ p < ∞. Hence, WS [RI∞] −→ KS [RI∞] as continuous embedding for 1 ≤ p< ∞. d d 4. HK-Sobolev spaces through Bessel Potential Definition 4.1. [19] n n β α (1) S[RI ]= {f ∈ Cc∞[RI ] : sup |x ∂ f| < ∞} for all multi-indices α, β. n n (2) S∗[RI ] is the set of sequentially continuous functionals on the space S[RI ]. For s ∈ R, Bessel potential of order s to be the sequentially continuous bijective linear s n n operator P : S[RI ] → S[RI ] by s s i πξ.x P f(x)= (1 + |ξ|2) 2 f(ξ)e 2 dξ Rn Z I n b for x ∈ RI . That is s 2 s Fx ξ{P f(x)} = (1+ |ξ| ) 2 f(ξ). → b HK-Sobolev space. . . 21 Definition 4.2. [19] For s ∈ R, the Sobolev space through Bessel potential is s,p n n s 2 n W [RI ]= {f ∈ S∗[RI ]: P f ∈ L [RI ]}, B where Ps is a kind of differential operator of order s. s+t s t s 1 s 0 Recalling that P = P .P , (P )− = P− , P = Identity operator. It is found that < s s s s n P f,g >=< f, P g >KS2 and < P f,g >=< f, P g >KS2 for all f,g ∈ S[RI ], giving a natural s s s extension of Bessel potential to a linear operator P : S∗ → S∗ by < P f,ϕ >=< f, P ϕ> for n all ϕ ∈ S[RI ]. We define for s ∈ R, s,p n n s 2 n WS [RI ]= {f ∈ S∗[RI ]: P f ∈ KS [RI ]}. B n Theorem 4.3. Let h ∈ S∗[RI ]. Then h ∈ A there exists g ∈ A such that n n Proof. From [19], for h ∈ S∗[RI ], then h ∈ A there exists g ∈ A such that n 2 n Therefore f ∈ KS [RI ]. Hence we can conclude n s,p n WS [RI ] equipped with the inner product B s s s s,p n 2 n The Bessel Potential P : WS [RI ] → KS [RI ] is a unitary isomorphism and in particular 0 0,p n 2B n P f = f so, WS [RI ]= KS [RI ]. B s,p n Remark 4.4. WS [RI ] is separable Hilbert space. B s,p n s,p n Theorem 4.5. WS [RI ] contains W [RI ] as continuous dense embedding. B B s,p n Proof. Let f ∈ WS [RI ]. Then B s ||f|| s,p n = ||P f|| 2 n WSB [RI ] KS [RI ] 1 2 2 ∞ s = τr ζr(x)(P f)(x)dλ (x) Rn ∞ r=1 I X Z 1 2 ≤ |(Psf)(x)|2dλ (x) Rn ∞ "Z I # ≤ ||f|| s,p n . WB [RI ] Hence the result. s,p n s,p n Theorem 4.6. (1) If fn → f weakly in W [RI ] then fn → f strongly in WS [RI ]. s,p n B B (2) If 1 n s,p n Theorem 4.7. (1) D[RI ] is dense in WS [RI ]. n s,p n B (2) S[RI ] is dense in WS [RI ] t,p nB s,p n R R s,p t,p (3) If s ≤ t then WS [ I ] ⊂ WS [ I ] and ||f||WSB ≤ ||f||WS . B B B n s,p n s,p n s,p n n Proof. (1) D[RI ] is dense in W [RI ] and W [RI ] is dense in WS [RI ]. Hence D[RI ] is dense s,p n B B B in WS [RI ]. B For (2) and (3) we can follow the similar arguments like part (1). n Definition 4.8. For any closed set F ⊂ RI , the associated HK-Sobolev space of order s, denoted by Bs,F is defined by s,F s,p n B = {f ∈ WS [RI ]: suppf ⊂ F }. B s,F s,p n Theorem 4.9. B is a closed subspace of WS [RI ]. B HK-Sobolev space. . . 23 s,F s,p n Proof. Let {fi}i∞=1 be in B converges to f in WS [RI ]. c B n If F∈D(F ), and let F denote the extension of F to D[RI ] by zero. Then =< f, F > b | =< f − f , F > + < f , F > b i i =< f − f , F > i b b s s =< P f − P fi, F >KSp Rn . b [ I ] c Using Cauchy-Schwartz inequality we get < f F c , F >= 0 for all f ∈ D(F ). This implies | b suppf ⊂ F. b n n+1 4.1. HK-Sobolev spaces through Bessel Potential on R∞. As S[RI ] ⊂ S[RI ] so we ∞ n can define S[RI∞]= S[RI ]. n=1 S d β α Definition 4.10. (1) S[RI∞] = {f ∈ Cc∞[RI∞] : sup |x ∂ f| < ∞} for all multi-indices α, β. (2) S∗[RI∞] is the set of sequentially continuous functionals on the space S[RI∞]. Definition 4.11. For s ∈ R, Bessel potential of order s to be the sequentially continuous s bijective linear operator P : S[RI∞] → S[RI∞] by s s i πξ.x P f(x)= (1 + |ξ|2) 2 f(ξ)e 2 dξ R∞ Z I for x ∈ RI∞. That is b s 2 s Fx ξ{P f(x)} = (1+ |ξ| ) 2 f(ξ). → Definition 4.12. For s ∈ R, the Sobolev space through Besselb potential is s,p s 2 W [RI∞]= {f ∈ S∗[RI∞]: P f ∈ L [RI∞]}. B As Ps is one kind of differential operator of order s. s+t s t s 1 s 0 We can find easily P = P .P , (P )− = P− , P = Identity operator. It is found that < s s s s P f,g >=< f, P g >KS2 and < P f,g >=< f, P g >KS2 for all f,g ∈ S[RI∞], giving a natural s s s extension of Bessel potential to a linear operator P : S∗ → S∗ by < P f,ϕ >=< f, P ϕ> for all ϕ ∈ S[RI∞]. s,p n s,p n+1 s,p ∞ s,p n As WS [RI ] ⊂ WS [RI ] Thus we can find WS [RI∞] = WS [RI ]. We say that B B B n=1 B s,p for 1 ≤ p < ∞, a measurable function f ∈ WS [RI∞] if thereS exists a Cauchy-sequence s,p s,p n B d {fn} ⊂ WS [RI∞] with fn ∈ WS [RI ] and B B α α lim D fn(x)= D f(x), λ − a.e. d n ∞ →∞ 24 HK k,p s,p Using same approach of construction of WS [RI∞] we build up WS [RI∞]. B We define for s ∈ R, s,p s 2 WS [RI∞]= {f ∈ S∗[RI∞]: P f ∈ KS [RI∞]}. B Theorem 4.13. Let h ∈ S∗[RI∞], then h ∈ A there exists g ∈ A such that Proof. For h ∈ S∗[RI∞], then h ∈ A there exists g ∈ A such that 2 Let f ∈ L [RI∞]. Then 1 2 2 ∞ ||f|| 2 ∞ = τ ζ (x)f(x)dλ (x) KS [RI ] r r R∞ ∞ r=1 I X Z 1 2 ∞ 2 ≤ τr ζr(x)|f(x)| dλ (x) R∞ ∞ " r=1 Z I # X 1 2 2 ≤ sup ζr(x)|f(x)| dλ (x) R∞ ∞ "Z I # ≤ ||f||L2 . 2 Therefore f ∈ KS [RI∞]. Hence we can conclude s,p The space WS [RI∞] equipped with the inner product B s s s,p n s,p n s,p Proof. Since WS [RI ] contains W [RI ] as continuous dense embedding. However WS [RI∞] B B B ∞ s,p s,p ∞ s,p n is the closure of WS [RI∞]. It follows WS [RI∞] contains W [RI ] which is dense in n=1 B B n=1 B s,p W [RI∞] as it isS the closure. Hence the result. S B s,p Theorem 4.16. (1) D[RI∞] is dense in WS [RI∞]. s,p B (2) S[RI∞] is dense in WS [RI∞] t,p B s,p R R s,p t,p (3) If s ≤ t then WS [ I∞] ⊂ WS [ I∞] and ||f||WSB ≤ ||f||WS . B B B Proof. Using the similar approach of the proof of Theorem 4.15, then we get the results. s,p Remark 4.17. In the space WS [RI∞] also we get similar type of results like Theorem 4.6 B and Theorem 4.9. Application of k,p n 5. WS [RI ] In this section we will find sufficient condition for the solvability of the divergence equation p n ∇.F = f, for f is an element of the subspace KS [RI ] and m ∈ N, in the HK-Sobolev space k,p n WS [RI ], with the help of Fourier transformation. 1 n p n 1 n n p n Recalling L [RI ] ⊂ KS [RI ] and the second dual of {L [RI ]}∗∗ = M[RI ] ⊂ KS [RI ], where n n M[RI ] is the space of bounded finitely additive set functions defined on the Borel sets B[RI ]. p n Let us define the Fourier transformation on KS [RI ] by f(f)= f(y)= exp{−2πi . n p n Proposition 5.1. (1) S [RI ] is contained in KS [RI ], 1 ≤ p ≤∞ and all boundedb random n measure on RI . p n q n (2) For 1 ≤ p ≤ 2, ‘f applies KS [RI ] into KS [RI ] and there exists a positive real number p n Mp such that ||f||p ≤ Mp||f||p, f ∈ KS [RI ]. 2 n 2 n (3) f applies KS [RI ] onto itself and ||f||2 = ||f||2, f ∈ KS [RI ]. b n Let µ be a fixed bounded Radon measure on RI . For any real number t > 0 and any ∞ b n complex function f on RI which is continuous and with compact support, we set µ t(f) = f(x)dµ t(x) ∞ Rn ∞ Z I = f(tx)dµ (x). Rn ∞ Z I 26 HK Proposition 5.2. Suppose 1 ≤ p ≤ ∞. For any real number t > 0 and any element f of p n t KS [RI ] the function Mµ∞ (f) is defined by t Mµ∞ f(x)= µ t ∗ f(x) ∞ = f(x − ty)dµ (y) Rn ∞ Z I p n t n represents an element of KS [RI ] such that ||Mµ∞ f|| ≤ C|µ |[RI ]||f||, where C is a real ∞ number not depending on (f, t). p n t If Rn dµ (x)=1 and f ∈ KS [RI ] with 1 ≤ p ≤∞ then for any real number t> 0, Mµ∞ f(x) I ∞ n as a mean of f on the subset x − tsupp(µ ) of RI , where supp(µ ) is the support of µ . R ∞ ∞ ∞ n Let us assume there exists a HK-integrable function Φ on RI such that n Φ(x)dx = 1 and RI p n dµ (x)=Φ(x)dx, we obtain for any element f of KS [RI ] and for almost every element x of ∞ R n RI as Φt ∗ f(x)= f(x − y)Φt(y)dy Rn Z I = f(x − ty)Φ(y)dy Rn Z I t = Mµ∞ f(x). 1,p n Theorem 5.3. Assume Rn dµ (x)=1, 1 ≤ p ≤ ∞ and f ∈ WS [RI ] that is f and all its I ∞ partial derivatives ∂f (1 ≤ j ≤ m) are element of KSp[Rn] then ∂xi R I 1 q 1 ∞ t n q, q ||f − Mµ∞ f|| ≤ C[|µ |[RI ]] |||∇f||| τr ζr(x)|y| d|µ |(y) t, t ∈ (0, ∞), ∞ Rn ∞ r=1 I ! X Z 1 d 2 where |∇f| = | ∂f |2 and C is a positive real number not depending on (µ ,f,t). ∂xj j=1 ! ∞ P Using Theorem of Titchmarsh (see [7]) we can mention the following theorem. Theorem 5.4. If the divergence equation ∇.F = f (Ef ), where (Ef ) has a solution F = p n p n (Fj)i j d in KS [RI ] and f ∈ KS [RI ] and there exists a positive real number F such that the ≤ ≤ k,p n equation (Ef ) has a solution in WS [RI ]. Proof. For proof of the result, readers can see [7, Proposition 3.3]. 6. Open Problem n The Rellich-Kondrachov theorem gives us for Ω ⊂ RI is a bounded open set then 1,p n 1,p 1 n WS [RI ] → WS − [RI ] HK-Sobolev space. . . 27 is compact. This will help us to study the PDE in our space. We are leaving this paper with an open problem: Is the weak solution of PDE in Sobolev space also the strong solution in HK-Sobolev Space? 7. Conclusion p n We conclude this paper with weakly differentiable in L [RI ] is strongly differentiable in p n n k,p n KS [RI ] and this true when we replace RI∞ by RI . Weakly differentiable in W [RI ] is strongly k,p n k,p n k,p differentiable in WS [RI ] and weakly convergence of W [RI ] and W [RI∞] are strongly k,p n k,p convergence in WS [RI ] and WS [RI∞]. 8. Declaration Funding: Not Applicable, the research is not supported by any funding agency. Conflict of Interest/Competing interests: The authors declare that there is no conflicts of interest. Availability of data and material: The article does not contain any data for analysis. Code Availability: Not Applicable. Author’s Contributions: All the authors have equal contribution for the preparation of the article. Acknowledgment: The authors would like to thank Prof. Tepper L. Gill for his valuable suggestions that improve the presentation of the paper. References [1] M.A-Algwaiz Theory of Distributions, Pure and Applied Mathematics, Monograph, Marcel Dekker, Inc, 1992. [2] T. P´erez-Becerra, S. S´anchez-Perales, J.J. Oliveros-Oliveros, The HK-Sobolev space and appli- cations to one-dimensional boundary value problems, J. King Saud University-Science (2020), doi.org/10.1016/j.jksus.2020.06. [3] T. P´erez-Becerra, S. S´anchez-Perales, Juan A. Escamilla-Reyna, Henstock–Kurzweil Vector Distributions, Mediterranean J. Math. Vol 17, Article number: 195 (2020), https://doi.org/10.1007/s00009-020-01612-5 [4] S. Bhatnagar, The Radon Nikodym Property and Multipliers of HK-Integrable Functions, Real Anal. Exchange 44(2) (2019) 391–402. [5] A. Boccuto, B. Hazarika and H. Kalita, Kuelbs-Steadman Spaces for Banach Space-Valued Measures, Mathematics, 2020, 8(6), 1005, 12 pages, DOI:10.3390/math8061005. [6] Bruce K. Driver, Analysis tools with application, Springer, 2003. [7] S. Coulibalt, I. Fofana, On Lebesgue Integrability of Fourier Transforms and Amalgam Spaces, J. Fourier Anal. Appl. 25(2019) 184–209. 28 HK [8] N. Dunford, J.T. Schwartz, Linear operators part I: General Theory, Wiley classics edition ( Wiley Inter- science, New York, 1988). [9] F. G. Friedlander, M. Joshi, Introduction to the theory of Distributions, Cambridge University Press, 1982. [10] K. O. Friedrichs, The identity of weak and strong extensions of differential operators, Trans. Amer. Math. Soc. 55 (1)(1944) 132–151. [11] T. L. Gill, W. W. Zachary, Functional Analysis and the Feynman operator Calculus, Springer New York, (2016). [12] T. L. Gill, T. Myers, Constructive Analysis on Banach spaces, Real Analysis Exchange 44 (2019) 1–36. [13] R.A. Gordon, The Integrals of Lebesgue, Denjoy, Perron and Henstrock, Graduate Studies in Mathematics Vol 4, AMS, 1994. [14] B. Hazarika, H. Kalita, Henstock-Orlicz space and its dense space, Asian-European J. Math. (2021), DOI: 10.1142/S179355712150114X, 17 pages. [15] R. Henstrock, The General Theory of Integration, Oxford Mathematical Monographs, Clarendo Press, Oxford. 1991. [16] J. Kinnunen, Sobolev Spaces Department of Mathematics and Systems Analysis, Aalto University 2017. [17] J. Kuelbs, Gaussian measures on a Banach space, J. Funct. Anal. 5(1970), 354-367. [18] G. Leoni, A first course in Sobolev spaces, AMS Graduate studies in Mathematics, Vol. 105, American Mathematical Society, Providence, RI, 2009 [19] W. Mclean, Strongly Elliptic Systems and boundary Integral equation, Cambridge University Press, 2000. [20] S. S´anchez-Perales, The initial value problem for the Schr¨odinger equation involving the Henstock-Kurzweil integral. Revista de la Uni´on Matem´atica Argentina 58(2)(2017) 297–306. [21] S. S´anchez-Perales, F. J. Mendoza-Torres, Boundary value problems for the Schr¨odinger equation involving the Henstock-Kurzweil integral, Czechoslovak Math. J. 70(145)(2020) 519–537. [22] R. E. Showalter, Hilbert Space Methods for Partial Differential Equations, Electronic Journal of Differential Equations Monograph 01, 1994. [23] V.A. Skvortsov, F. Tulone, Henstock type integral in harmonic analysis on zero-dimensional groups, J. Math. Anal. Appl. 322 (2006) 621–628. [24] V.A. Skvortsov, F. Tulone, A version of Hake’s theorem for Kurzweil–Henstock integral in terms of varia- tional measure, Georgian Math. J. 2019; aop, https://doi.org/10.1515/gmj-2019-2074 [25] S. L. Sobolev, Sur un th´or ´me d´analyse fonctionnelle Recueil Math´ematique (Matematicheskii Sbornik) (in Russian and French), 4(46)(3)(1938) 47–497. [26] V. Steadman, Theory of operators on Banach spaces, Ph.D thesis, Howard University, 1988. [27] C. Swartz, Introduction to Gauge Integral, World Scientific Publisher, 2004. [28] M. Vladimir, Localization moduli of Sobolov embeddings for general domains. In Sobolov spaces (A series of Comprehensive studies in Mathematics) Vol 342, pp 435–459, Springer, Berlin, Heidelberg 2011. [29] Y. Yamasaki, Measures on infinite dimensional spaces, Series in Pure Mathematics, Volume 5, World Scientific Publishing Co. Pvt. Ltd, 1985. [30] L. Tuo-Yeong, Henstock-Kurweil Integration on Euclidean Spaces, Series in Real Analysis, vol 12, World Scientific, New Jersey, 2011.