arxiv: v1 [math.fa] 19 Sep 2018
|
|
- Judith Allen
- 5 years ago
- Views:
Transcription
1 arxiv: v [math.fa] 9 Sep 208 Product of extension domains is still an extension domain Pekka Koskela and Zheng Zhu Abstract Our main result Theorem. gives the following functional property of the class of W,p -extension domains. Let Ω R n and Ω 2 R m both be W,p -extension domains for some < p. We prove that Ω Ω 2 R n+m is also a W,p -extension domain. We also establish the converse statement. Introduction LetΩ R n beanopenset. For < p, weletw,p (Ω)denotethecorresponding Sobolev space of all functions u L p (Ω) whose first order distributional partial derivatives on Ω belong to L p (Ω). This space is normed by u W,p (Ω) := 0 α D α u L p (Ω). We say that u L p (Ω) is ACL (absolutely continuous on lines), if u has a representative ũ that is absolutely continuous on almost all line segments in Ω parallel to the coordinate axes. Then u W,p (Ω) if and only if u belongs to L p (Ω) and has a representative ũ which is ACL and whose (classical) partial derivatives belong to L p (Ω), see e.g. Theorem A.5 in [] and Theorem 2..4 in [20]. We say that Ω R n is a W,p -extension domain if there exists a constant C which only depends onω,n,p such thatforevery u W,p (Ω) thereexists afunction Eu W,p (R n ) with Eu Ω u and Eu W,p (R n ) C u W,p (Ω). For example, every Lipschitz domain is a W,p -extension domain for all p by the result of Calderón and Stein [7]. It is easy to give examples of domains that fail to be extension domains, for example, the slit disk Ω := D 2 (0,)\{(x,0) : 0 x < }. In general, the extension property for a fixed Ω may depend on the value of p, see [3], [6] and [2].
2 2 P. Koskela and Z. Zhu In [9], it was shown that any bi-lipschitz image of a W,p -extension domain is also a W,p -extension domain: if Ω R n is a W,p -extension domain and f : Ω Ω R n is bi-lipschitz, then Ω is also a W,p -extension domain. Our main result gives another functional property of Sobolev extension domain. Theorem.. Let < p. If Ω R n and Ω 2 R m are W,p -extension domains, then Ω Ω 2 R n+m is also a W,p -extension domain. Conversely, if Ω R n and Ω 2 R m are domains so that Ω Ω 2 R n+m is a W,p -extension domain, then both Ω and Ω 2 are necessarily W,p -extension domains. According to Theorem 7 in [9] (see [2] for related results), a domain Ω is a W, -extension domain if and only if it is uniformly locally quasiconvex, that is, there exist positive constants C and R, such that for all x,y Ω with x y < R, there exists a curve γ x,y Ω from x to y with l(γ x,y ) C x y. Here l(γ x,y ) is the length of the curve γ x,y. It is easy to check that the product of uniformly locally quasiconvex domains is still uniformly locally quasiconvex, and hence we only need to prove the first part of Theorem. for < p <. Our proof of the first part of Theorem. is based on the existence of an explicit extension operator constructed by Shvartsman in [4]. A result from [9] allows us to employ this operator. This procedure could in principle also be tried for the case of the higher order Sobolev spaces W k,p, k 2, but one does not seem to obtain suitable norm estimates. We would like to know whether the first part of Theorem. extends to the case of higher order Sobolev spaces or not; the second part does extend as can be seen from our proof below. 2 Preliminaries 2. Definitions and preliminary results Our notation is fairly standard. Throughout the paper C,C,C 2,... or γ,γ,γ 2,... will be generic positive constants which depend only on the dimension n, the domain Ω and indexes of spaces (s, p, q, etc.). These constants may change even in a single string of estimates. The dependence of a constant on certain parameters is expressed, for example, by the notation γ = γ(n,p). We write A B if there is a constant C such that A/C B CA. Definition 2.. A measurable set A R n is said to be Ahlfors regular (shortly, regular) if there are constants C A and δ A > 0 such that, for every cube Q with center in A and with diameter diamq δ A, we have (2.) Q C A Q A.
3 The product of Sobolev-extension domains 3 Given u L p loc (Rn ), < p, and a cube Q, we set ( ) Λ(u;Q) L p := Q p inf u C L C R p (Q) = inf u C p p dx, C R Q Q see Brudnyi [3] for the definition of a more general case. Sometimes, Λ(u;Q) L p is also called the local oscillation of u, for instance, see Triebel [8]. This quantity is the main object on the theory of local polynomial approximations which provides a unified framework for the description of a large family of spaces of smooth functions. We refer the readers to Brudnyi []-[6] for the main ideas and results in local approximation theory. Given a locally integrable function u on R n, we define its sharp maximal function u # by setting (2.2) u # (x) := supr Λ(u;Q(x,r)) L. r>0 In [8], Calderón proved that, for < p, a function u is in W,p (R n ), if and only if u and u # are both in Lp (R n ). Moreover, up to constants depending only on n and p, we have that (2.3) u W,p (R n ) u L p (R n ) + u # L p (R n ). This characterization motivates the following definition. Given < p, a function u L p loc (A), and a cube Q whose center is in A, we let Λ(u;Q) L p (A) denote the normalized best approximation of f on Q in L p -norm: (2.4) Λ(u;Q) L p (A):= Q p inf ( = inf C R Q C R u C L p (Q A) Q A u C p dx ) p. By u #,A, we denote the sharp maximal function of u on A, u #,A (x) := supr Λ(u;Q(x,r)) L (A), x A. r>0 Notice that u # = u #,R n. The following trace theorem by Shvartsman from [4], relates local polynomial approximation to extendability. Theorem 2.. Let A be a regular subset of R n. Then a function u L p (A), < p, can be extended to a function Eu W,p (R n ) if and only if u #,A := supr Λ(u;Q(,r)) L (A) L p (A). r>0
4 4 P. Koskela and Z. Zhu In addition, (2.5) u W,p (R ) u n L p (A) + u #,A L p (A) A with constants of equivalence depending only on n,k,p,c A and δ A. Here u W,p (R n ) A := inf{ Eu W,p (R n ) : Eu W,p (R n ),Eu A u a.e.}. For a set A R n of positive Lebesgue measure, we set C,p (A) = {u L p (A) : u #,A Lp (A)}, u C,p (A) = u L p (A) + u #,A L p (A). A result of Haj lasz, Koskela and Tuominen (Theorem 5 in [9]) that partially relies on Theorem 2. states the following Theorem 2.2. Let Ω R n be a domain and fix < p <. Then the following conditions are equivalent: (a) For every u W,p (Ω) there exists a function Eu W,p (R n ) such that Eu Ω = f a.e. (b) Ω satisfies the measure density condition (2.) and C,p (Ω) = W,p (Ω) as sets and the norms are equivalent. (c) Ω R n is a W,p -extension domain. In [4], Shvartsman constructed an extension operator for Theorem 2. explicitly as a variant of the Whitney-Jones extension. We describe this procedure in the next section. In particular, based on Theorem 2.2, for an arbitrary W,p -extension domainωwith < p <, thereisawhitney-type extensionoperatorfromw,p (Ω) to W,p (R n ). For an alternate Whitney-type extension operator see [0]. 2.2 Whitney type extension It will be convenient for us to measure distance via the uniform norm Thus every Euclidean cube x := max{ x i : i =,...,n}, x = (x,...,x n ) R n. Q = Q(x,r) = {y R n : y x r} is a ball in the -norm. Given a constant λ > 0, we let λq denote the cube Q(x,λr). By Q we denote the cube Q := 9 8 Q. As usual, given subsets A,B R n, we put diama := sup{ a a : a,a A} and dist(a,b) := inf{ a b : a A,b B}. We also set dist(x,a) := dist({x},a) for x R n. By A we denote the closure of A in R n and A := A\A the boundary of A. Finally, χ A denotes the characteristic function of A; we put χ A 0 if A =. The following property for Ahlfors-regular sets is well-known (see, e.g. [5]).
5 The product of Sobolev-extension domains 5 Lemma 2.. If A is an Ahlfors-regular subset of R n, then A = 0. In the remaining part of the paper, we will assume that S is a closed Ahlforsregular subset of R n. Since now R n \S is an open set, it admits a Whitney decomposition W S (e.g. see Stein [7]). We recall the main properties of W S. Theorem 2.3. W S = {Q k } is a countable family of closed cubes such that (i) R n \S = {Q : Q W S }; (ii) For every cube Q W S diamq dist(q,s) 4diamQ; (iii) No point of R n \S is contained in more than N = N(n) distinct cubes from W S. We also need certain additional properties of Whitney cubes which we present in the next lemma. These properties readily follow from (i)-(iii). Lemma 2.2. () If Q,K W S and Q K, then diamq diamk 4diamQ. 4 (2) For every cube K W S there are at most N = N(n) cubes from the family W S := {Q : Q W S } which intersect K. Let Φ S := {φ Q : Q W S } be a smooth partition of unity subordinated to the Whitney decomposition W S, see [7]. Proposition 2.. Φ S is a family of functions defined on R n with the following properties: (a) 0 φ Q (x) for every Q W S ; (b) suppφ Q Q (:= 9 8 Q),Q W S; (c) {φ Q (x) : Q W S } = for every x R n \S; (d) For every multiindex β, β k, and every cube Q W S D β φ Q (x) C(diamQ) β, x R n, where C is a constant depending only on n and k. Observe that the family of cubes W S constructed in [7] satisfies the conditions of Theorem 2.3 and Lemma 2.2 with respect to the Euclidean norm rather than the uniform one. However, a simple modification of this construction provides a family of Whitney cubes which have the analogous properties with respect to the uniform norm.
6 6 P. Koskela and Z. Zhu Let K = Q(x K,r K ) W S and let a K S be the point nearest to x K on S. Then by the property (ii) of Theorem 2.3, Q(a K,r K ) 0K. Fix a small 0 < ǫ and set K ǫ := Q(a K,ǫr K ). Let Q = Q(x Q,r Q ) be a cube from W S with diamq δ S, where δ S is as in Definition 2. for our regular sets. Set A Q := {K = Q(x K,r K ) W S : K ǫ Q ǫ,r K ǫr Q }. (Similar with K ǫ, we set Q ǫ := Q(a Q,ǫr Q )) we define a quasi-cube H Q by letting ) H Q := (Q ǫ S)\( {Kǫ : K A Q }. If diamq > δ S, we put H Q :=. The following result is Theorem 2.4 in [4]. Theorem 2.4. Let A be a closed regular subset of R n. Then there is a family of quasi-cubes H Ω = {H Q : Q W A } as discussed above with (i) H Q (0Q) A,Q W A ; (ii) Q γ H Q whenever Q W A with diamq δ A ; (iii) Q W A χ HQ γ 2. Here γ and γ 2 are positive constants depending only on n and C A. Next we present estimates of local polynomial approximations of the extension Ef, via corresponding local approximation of a function f defined on a closed regular subset A R n. We start by presenting two lemmas about properties of polynomials on subsets of R n. Given a measurable subset A R n and a function u L p (A), p, we let Ê (u;a) L p denote the local best constant approximation in L p -norm, see Brudnyi [3], (2.6) Ê (u;a) L p := inf C R u C L p (A). Thus Λ(u;Q) L p (A) = Q p Ê (u;q A) L p see (2.4). We note a simple property of Λ(u; ) L p (A) as a function of cubes: for every pair of cubes Q Q 2 ( ) Q2 p (2.7) Λ(u;Q ) L p (A) Λ(u;Q2 ) L Q p (A). Let A be a subset of R n with A > 0. We put (2.8) P A (u) := u(x)dx = A A A u(x)dx. Then from a result of Brudnyi in [5], also see Proposition 3.4 in [4], we have
7 The product of Sobolev-extension domains 7 Proposition 2.2. Let A be a subset of a cube Q with A > 0. Then the linear operator P A : L (A) R has the property that for every p and every u L p (A) u P A (u) L p (A) CÊ(u;A) L p. Here C = C(n, Q A ). According to Lemma 2., the boundary of a regular set is of measure zero, so Proposition 2.2 and Theorem 2.4 immediately imply the following corollary. Corollary 2.. Let S be a closed regular set and let Q W S be a cube with diamq δ S. There is a continuous linear operator P HQ : L (H Q ) R such that for every function u L p (S), p, Here γ = γ(n,k,θ S ). We put u P HQ (u) L p (H Q ) γê(u;h Q ) L p. (2.9) P HQ u = 0, if diamq > δ S. Now the map Q P HQ (f) is defined on all of the cubes in the family W S. This map gives rise to a bounded linear extension operator from L p (S) to L p (R n ), which is defined by the formula (2.0) Eu(x) := { u(x), x S, Q W S φ Q (x)p HQ u(x), x R n \S. Given a regular domain Ω R n, Ω is a closed regular set with Ω \ Ω = 0. Given a function u L p (Ω), the zero extension of u to the boundary Ω \ Ω (still denoted by u) belongs to L p (S), and we define the extension Eu of u to R n by the formula (2.0). When u C,p (S), Eu here is exactly the Eu from Theorem 2..By combining Theorem 2. and Theorem 2.2 together, we obtain the following result. Theorem 2.5. Let Ω R n be a W,p -extension domain for some < p <. Then for every u W,p (Ω) and Eu defined as in (2.0) for the zero extension of u to the boundary, we have Eu W,p (R n ) and Eu W,p (R n ) C u W,p (Ω), with come positive constant C independent of u.
8 8 P. Koskela and Z. Zhu 3 Proof of Theorem. Thefirstpartofourmaintheorem(for < p < )willbeobtainedasaconsequence of the following extension result. Theorem 3.. Let Ω R n be a W,p -extension domain for some < p <, and Ω 2 R m be a domain. Then for every function u W,p (Ω Ω 2 ), there exists a function E u W,p ( ) such that E u Ω Ω 2 u and E u W,p ( ) C u W,p (Ω Ω 2 ) with a positive constant C independent of u. Proof. Theorem2.3.2inZiemer s book[20] tellsusthatc (Ω Ω 2 ) W,p (Ω Ω 2 ) is dense in W,p (Ω Ω 2 ). With a small mollification in the proof of this result, it is easy to see that C (Ω Ω 2 ) L (Ω Ω 2 ) W,p (Ω Ω 2 ) isdense inw,p (Ω Ω 2 ). We begin by showing that we can extend the functions in C (Ω Ω 2 ) L (Ω Ω 2 ) W,p (Ω Ω 2 ). According to Theorem 2.2, Ω is Ahlfors regular. Let u C (Ω Ω 2 ) L (Ω Ω 2 ) W,p (Ω Ω 2 ). Then for y Ω 2, using the extension (2.0), we set { u y (x), x Ω, (3.) E u(x,y) = Eu y (x) := Q W Ω φ Q (x)p HQ u y (x), x R n \Ω. Here u y in (3.) is the zero extension of u y to the boundary Ω. In order to show E u W,p (R n Ω 2 ), we need to show that E u L p (R n Ω 2 ), and for every β with β =, we need to find a function v β L p (R n Ω 2 ), such that for every ψ C0 ( ) we have E u(x,y)d β ψ(x,y)dxdy = v β (x,y)ψ(x,y)dxdy. For the convenience of discussion and reading, we divide the rest of proof into three steps. Step : In this step, we show that E u L p ( ) and that the L p -norm of E u is controlled by the W,p -norm of u. By the Fubini theorem, u y W,p (Ω ) for almost every y Ω 2. Since Ω is a W,p -extension domain, Theorem 2.5 gives that E u(x,y) = Eu y (x) W,p (R n ) and Eu y L p (R n ) Eu y W,p (R n ) C u y W,p (Ω ), for every y Ω 2 with u y W,p (Ω ). Then by integrating with respect to y Ω 2, we obtain the desired result.
9 The product of Sobolev-extension domains 9 Step 2: Inthisstep, weshowthatthereexistfunctions x i E u L p ( )(i =,...,n) such that E u(x,y)ψ(x,y)dxdy = E u(x,y) ψ(x,y)dxdy x i x i for every ψ C c (Rn Ω 2 ). For simplicity of notation, we assume that i =. Fubini s theorem tells us that u y W,p (Ω ) for almost every y Ω 2. Then by Theorem 2.5, (3.) gives an extension Eu y W,p (R n ) for every y Ω 2 with u y W,p (Ω ). Then we set (3.2) { E u(x,y) := x Eu y (x), if y Ω 2 with u y W,p (Ω ), x 0, otherwise. Since Eu y W,p (R n ) for almost every y Ω 2, using Fubini s theorem, we obtain E u(x,y)ψ(x,y)dxdy= Eu y (x)ψ(x,y)dxdy x x Ω 2 = = Ω 2 R n R n Eu y (x) x ψ(x,y)dxdy E u(x,y) x ψ(x,y)dxdy, which means that (3.2) gives a first order distributional derivative of E u with respect to x. Then using the Fubini theorem twice and the fact that the linear operator E from W,p (Ω ) to W,p (R n ) is bounded, we obtain E u(x,y) p dxdy= Eu y (x) p dxdy x x Ω 2 C C Ω 2 R n Ω Ω Ω 2 ( u y (x) p + x u y (x) p ( u(x,y) p + x u(x,y) p ) dxdy ) dxdy, we have obtained the desired norm estimate. Step 3: Inthisstep, weshowthatthereexistfunctions y j E u L p ( )(j =,...,m) such that E u(x,y)ψ(x,y)dxdy = E u(x,y) ψ(x,y)dxdy y j y j for every ψ C c (Rn Ω 2 ). For simplicity of notation, we assume that j =.
10 0 P. Koskela and Z. Zhu Consider the projection which is defined by setting P : Ω 2 R m, P (y) = (y 2,y 3,...,y m ) =: ˇy for y = (y,...,y m ) Ω 2. Set Sˇy := P (ˇy ) Ω 2, the preimage of ˇy P (Ω 2 ). Then Sˇy is the union of at most countably many pairwise disjoint segments. Fix x R n \ Ω and ˇy P (Ω 2 ). To begin, we assume that Sˇy is a single segment. Now for y,ˇy,y 2,ˇy Sˇy, according to (3.), we have (3.3) E u(x,y,ˇy ) E u(x,y,ˇy 2 ) = Q W Ω φ Q (x) ( (P HQ u(x,y,ˇy ) (P HQ u(x,y 2,ˇy ) ). By the definition (2.8) of P HQ u and the facts that u is C and H Q Sˇy Ω Ω 2, we have (3.4) (P HQ u)(x,y,ˇy ) (P HQ u)(x,y 2,ˇy ) ( = u(w,y,ˇy ) u(w,y,ˇy 2 ) ) dw H Q ( ) y u(w,s,ˇy ) = ds dw. H Q y 2 Combining (3.3) and (3.4), we obtain (3.5) E u(x,y,ˇy ) E u(x,y,ˇy 2 ) = φ Q (x) Q W Ω y H Q y 2 u(w,s,ˇy ) dsdw; noticethatxiscontainedinthesupportofonlyfinitemanyφ Q, hencee u(x,s,ˇy )is absolutelycontinuousasafunctionofsonsˇy. Byrepeatingthisforeachcomponent of Sˇy, we conclude that E u(x,s,ˇy ) is absolutely continuous as a function of s on every component of Sˇy. From (3.5) and the Lebesgue differentiation theorem, we deduce that (3.6) E u(x,s,ˇy ) E u(x,s,ˇy ) E u(x,s,ˇy ) := lim s s s s = u(w,s,ˇy ) u(x,s,ˇy ) φ Q (x) dw = E, Q W H Q Ω
11 The product of Sobolev-extension domains exists for H a.e. s with (s,ˇy ) Sˇy. Fix ψ Cc (Rn Ω 2 ). Since E u(x,s,ˇy ) is absolutely continuous as a function of s on each segment of Sˇy, we conclude that E u(x,s,ˇy ) ψ(x,s,ˇy ) E u(x,s,ˇy ) ds= ψ(x,s,ˇy )ds. Sˇy In order to complete the definition of E u, we define E u = u when (x,y) Ω Ω 2 and E u = 0 when (x,y) Ω Ω 2. Then let us show that E u is a first order distributional derivative of E u with respect to y -coordinate. By the Fubini theorem, (3.6) and the fact that Ω = 0, we have E u(x,y) ψ(x,y) dxdy= R n = = R n P (Ω 2 ) Sˇy P (Ω 2 ) Sˇy E u(x,y) ψ(x,y) dy dˇy dx Sˇy E u(x,y) E u(x,y) ψ(x,y)dy dˇy dx ψ(x,y)dxdy. Now we show that E u L p (R n Ω 2 ) and that its norm is controlled by the Sobolev norm of u. Since Ω = 0, we have E u(x,y) p dxdy= u(x,y) p dxdy Ω Ω 2 + E u(x,y) (R n \Ω ) Ω 2 p dxdy. u As we know, for almost every y Ω 2, y L p (Ω ). Using the fact that E : L p (Ω ) L p (R n ) is a bounded linear operator, we obtain E u(x,y) R y n p dx C u(x,y) Ω p dx, for almost every y Ω 2. Then we do the integration with respect to y Ω 2 on the two sides of the inequality above, we obtain the desired inequality E u(x,y) p dxdy C u(x,y) p dxdy. Ω Ω 2 In conclusion, we have showed that the linear extension operator E is bounded from C (Ω Ω 2 ) L (Ω Ω 2 ) W,p (Ω Ω 2 ) to W,p ( ) for our fixed < p <. Since C (Ω Ω 2 ) L (Ω Ω 2 ) W,p (Ω Ω 2 ) is dense in W,p (Ω Ω 2 ), E extends to a bounded linear extension operator from W,p (Ω Ω 2 ) to W,p ( ).
12 2 P. Koskela and Z. Zhu Proof of Theorem.. Regarding the first part of the claim, by Theorem 3. we have a bounded extension operator E : W,p (Ω Ω 2 ) W,p (R n Ω 2 ), and it thus suffices to extend functions in W,p (R n Ω 2 ) to W,p (R n R m ). Given u W,p (R n Ω 2 ), define û(x,y) = u(y,x). Then û W,p (Ω 2 R n ) and the desired extension is obtained via Theorem 3. as Ω 2 R m is a W,p -extension domain. Towards the second part, by symmetry, it suffices to prove that Ω R n must be a W,p -extension domain whenever Ω Ω 2 is such a domain. Suppose first that Ω 2 has finite measure. Given u W,p (Ω), define v(x,y) = u(x). Then v W,p (Ω Ω 2 ). Let Ev W,p (R n R m ) be an extension of v. Then Ev W,p (R n {y}) for almost every y Ω 2. This follows via the Fubini theorem from the ACL-characterization of W,p given in our introduction. Since v(x,y) = u(x), we conclude that u must be the restriction of some function w W,p (R n ). This allows us to infer from Theorem 2.2 that Ω must be a W,p -extension domain. In case Ω 2 has infinite measure, we fix a ball B Ω 2 and pick a smooth function ψ with compact support so that ψ is identically on B. We still define v as above and set w = ψv. Then w W,p (Ω Ω 2 ) and we may repeat the above argument as w(x,y) = u(x) for almost every y B Ω 2. Pekka Koskela Zheng Zhu Department of Mathematics and Statistics, University of Jyväskylä, FI-4004, Finland. address: pekka.j.koskela@jyu.fi zheng.z.zhu@jyu.fi References [] Yu. A. Brudnyi, A multidimensional analog of a certain theorem of Whitney, Mat. Sb. (N.S.)82(24), 69-9 (970); English transl.: Math. USSR-Izv. 4, (970). [2] Yu. A. Brudnyi, Approximations of functions of n variables by quasipolynomials, Izv. Akad. Nauk SSSR Ser. Mat. 34, (970); English transl.: Math. USSR-Izv, (970). [3] Yu. A. Brudnyi, Spaces that are definable by means of local approximations, Trudy Moskov. Math. Obshch. 24, (97); English transl.: Trans. Moscow Math Soc. 24, (974). [4] Yu. A. Brudnyi, Piecewise polynomial approximation, embedding theorem and rational approximation, Lecture Notes in Mathematics Vol. 556 (Springer- Verlag, Berlin, 976), pp [5] Yu. A. Brudnyi, Investigation in the Theory of Local Approximations, Doctoral Dissertation, Leningrad University (977) (in Russian).
13 The product of Sobolev-extension domains 3 [6] Yu. A. Brudnyi, Adaptive approximation of functions with singularities, Trudy Moskov. Mat. Obshch. 55, (994); English transl.: Trans. Moscow Math. Soc. 55, (995). [7] Yu. A. Brudnyi and M. I. Ganzburg, On an Extremal Problem for Polynomials in n Variables, Izv. Akad. Nauk SSSR Ser. Mat. 37, (973); English transl.: Math. USSR Izv. 7, (973). [8] A. P. Calderón, Estimates for singular integral operators in terms of maximal functions, Studia Math. 44, (972). [9] P. Haj lasz, P. Koskela and H. Tuominen, Sobolev embeddings, extensions and measure density condition, J. Funct. Anal. 254 (2008), no.5, [0] P. Haj lasz, P. Koskela and H. Tuominen, Measure density and extendability of Sobolev functions, Rev. Mat. Iberoam. 24 (2008), no. 2, [] S. Hencl and P. Koskela, Lectures on Mappings of finite distortion, Lecture Notes in Mathematics. 2096, Springer, Cham, 204. [2] P. Koskela, T. Rajala and Y. Zhang, A geometric characterization of planar Sobolev extension domains, preprint. [3] P. Koskela, Extensions and imbeddings, J. Funct. Anal. 59, (998) [4] P. Shvartsman, Local approximations and intrinsic characterizations of spaces of smooth functions on regular subset of R n, Math. Nachr. 279 () (2006) [5] P. Shvartsman, On extension of Sobolev functions defined on regular subsets of metric measure spaces, J. Approx. Theory. 44 (2007) 396. [6] P.Shvartsman, OnSobolevextensiondomainsinR n,j.funct.anal.258(200), no. 7, [7] E. M. Stein, Singular Integrals and Differentiability Properties of Functions (Princeton Univ. Press, Princeton, NJ, 970). [8] H. Triebel, Theory of Function Spaces. II, Monographs in Mathematics Vol. 84 (Birkhäuser, Basel, 992). [9] H. Whitney, Functions differentiable on the boundaries of regions, Ann of Math. 35(3) (934) [20] W. P. Ziemer, Weakly Differentiable Functions, Graduate Texts in Mathematics, vol. 20. New York: Springer-verlag. [2] N. Zobin, Whitney s problem on extendability of functions and an intrinsic metric, Adv. Math. 33 (998)
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationA capacity approach to the Poincaré inequality and Sobolev imbeddings in variable exponent Sobolev spaces
A capacity approach to the Poincaré inequality and Sobolev imbeddings in variable exponent Sobolev spaces Petteri HARJULEHTO and Peter HÄSTÖ epartment of Mathematics P.O. Box 4 (Yliopistonkatu 5) FIN-00014
More informationMODULUS AND CONTINUOUS CAPACITY
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 26, 2001, 455 464 MODULUS AND CONTINUOUS CAPACITY Sari Kallunki and Nageswari Shanmugalingam University of Jyväskylä, Department of Mathematics
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationarxiv: v1 [math.ca] 7 Aug 2015
THE WHITNEY EXTENSION THEOREM IN HIGH DIMENSIONS ALAN CHANG arxiv:1508.01779v1 [math.ca] 7 Aug 2015 Abstract. We prove a variant of the standard Whitney extension theorem for C m (R n ), in which the norm
More informationON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION
ON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION PIOTR HAJ LASZ, JAN MALÝ Dedicated to Professor Bogdan Bojarski Abstract. We prove that if f L 1 R n ) is approximately differentiable a.e., then
More informationJ. Kinnunen and R. Korte, Characterizations of Sobolev inequalities on metric spaces, arxiv: v2 [math.ap] by authors
J. Kinnunen and R. Korte, Characterizations of Sobolev inequalities on metric spaces, arxiv:79.197v2 [math.ap]. 28 by authors CHARACTERIZATIONS OF SOBOLEV INEQUALITIES ON METRIC SPACES JUHA KINNUNEN AND
More informationPROPERTIES OF CAPACITIES IN VARIABLE EXPONENT SOBOLEV SPACES
PROPERTIES OF CAPACITIES IN VARIABLE EXPONENT SOBOLEV SPACES PETTERI HARJULEHTO, PETER HÄSTÖ, AND MIKA KOSKENOJA Abstract. In this paper we introduce two new capacities in the variable exponent setting:
More informationON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationRaanan Schul Yale University. A Characterization of Subsets of Rectifiable Curves in Hilbert Space p.1/53
A Characterization of Subsets of Rectifiable Curves in Hilbert Space Raanan Schul Yale University A Characterization of Subsets of Rectifiable Curves in Hilbert Space p.1/53 Motivation Want to discuss
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationABSOLUTE CONTINUITY OF FOLIATIONS
ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this
More informationA lower bound for the Bloch radius of K-quasiregular mappings
A lower bound for the Bloch radius of K-quasiregular mappings Kai Rajala Abstract We give a quantitative proof to Eremenko s theorem [6], which extends the classical Bloch s theorem to the class of n-dimensional
More informationMeasure density and extendability of Sobolev functions
Measure density and extendability of Sobolev functions Piotr Haj lasz, Pekka Koskela and Heli Tuominen Abstract We study necessary and sufficient conditions for a domain to be a Sobolev extension domain
More informationAn Example on Sobolev Space Approximation. Anthony G. O Farrell. St. Patrick s College, Maynooth, Co. Kildare, Ireland
An Example on Sobolev Space Approximation Anthony G. O Farrell St. Patrick s College, Maynooth, Co. Kildare, Ireland Abstract. For each d 2 we construct a connected open set Ω d such that Ω =int(clos(ω))
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationANALYSIS IN METRIC SPACES
ANALYSIS IN METRIC SPACES HELI TUOMINEN Contents 1. About these notes 2 2. Classical extension results 3 2.1. Tietze(-Urysohn) extension theorem 3 2.2. Extension of Lipschitz functions 5 2.3. Whitney covering,
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationSOBOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOUBLING MORREY SPACES
Mizuta, Y., Shimomura, T. and Sobukawa, T. Osaka J. Math. 46 (2009), 255 27 SOOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOULING MORREY SPACES YOSHIHIRO MIZUTA, TETSU SHIMOMURA and TAKUYA
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationMathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio
Mathematical Research Letters 4, 489 500 1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Juha Kinnunen and Olli Martio Abstract. The fractional maximal function of the gradient gives a pointwise interpretation
More informationAn example related to Whitney extension with almost minimal C m norm
An example related to Whitney extension with almost minimal C m norm Charles Fefferman and Bo az Klartag Department of Mathematics Princeton University Washington Road Princeton, NJ 8544, USA Abstract
More informationFriedrich symmetric systems
viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmetric systems, which gives the existence and uniqueness of weak solutions of boundary
More informationOn m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry
On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry Ognjen Milatovic Department of Mathematics and Statistics University of North Florida Jacksonville, FL 32224 USA. Abstract
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationGeometric and isoperimetric properties of sets of positive reach in E d
Geometric and isoperimetric properties of sets of positive reach in E d Andrea Colesanti and Paolo Manselli Abstract Some geometric facts concerning sets of reach R > 0 in the n dimensional Euclidean space
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationOn pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa)
On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa) Abstract. We prove two pointwise estimates relating some classical maximal and singular integral operators. In
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationHerz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,
REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES. Jesús Bastero*, Mario Milman and Francisco J. Ruiz** Abstract. For the classical Hardy-Littlewood maximal function M f, a well known
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationExtensions of Lipschitz functions and Grothendieck s bounded approximation property
North-Western European Journal of Mathematics Extensions of Lipschitz functions and Grothendieck s bounded approximation property Gilles Godefroy 1 Received: January 29, 2015/Accepted: March 6, 2015/Online:
More informationfür Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig A short proof of the self-improving regularity of quasiregular mappings. by Xiao Zhong and Daniel Faraco Preprint no.: 106 2002 A
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationRemarks on the Gauss-Green Theorem. Michael Taylor
Remarks on the Gauss-Green Theorem Michael Taylor Abstract. These notes cover material related to the Gauss-Green theorem that was developed for work with S. Hofmann and M. Mitrea, which appeared in [HMT].
More informationA Note on the Class of Superreflexive Almost Transitive Banach Spaces
E extracta mathematicae Vol. 23, Núm. 1, 1 6 (2008) A Note on the Class of Superreflexive Almost Transitive Banach Spaces Jarno Talponen University of Helsinki, Department of Mathematics and Statistics,
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationA SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM
A SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM CAMIL MUSCALU, JILL PIPHER, TERENCE TAO, AND CHRISTOPH THIELE Abstract. We give a short proof of the well known Coifman-Meyer theorem on multilinear
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationLUSIN PROPERTIES AND INTERPOLATION OF SOBOLEV SPACES. Fon-Che Liu Wei-Shyan Tai. 1. Introduction and preliminaries
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 9, 997, 63 77 LUSIN PROPERTIES AND INTERPOLATION OF SOBOLEV SPACES Fon-Che Liu Wei-Shyan Tai. Introduction and preliminaries
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
More informationHERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 HERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS JAY EPPERSON Communicated by J. Marshall Ash) Abstract. We prove a multiplier
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationHIGHER INTEGRABILITY WITH WEIGHTS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 19, 1994, 355 366 HIGHER INTEGRABILITY WITH WEIGHTS Juha Kinnunen University of Jyväskylä, Department of Mathematics P.O. Box 35, SF-4351
More informationMinimization problems on the Hardy-Sobolev inequality
manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev
More informationON ASSOUAD S EMBEDDING TECHNIQUE
ON ASSOUAD S EMBEDDING TECHNIQUE MICHAL KRAUS Abstract. We survey the standard proof of a theorem of Assouad stating that every snowflaked version of a doubling metric space admits a bi-lipschitz embedding
More informationThe local equicontinuity of a maximal monotone operator
arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T
More informationA NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION
A NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION JOHNNY GUZMÁN, ABNER J. SALGADO, AND FRANCISCO-JAVIER SAYAS Abstract. The analysis of finite-element-like Galerkin discretization techniques for the
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationHardy inequalities and thickness conditions
Hardy inequalities and thickness conditions Juha Lehrbäck University of Jyväskylä November 23th 2010 Symposium on function theory Nagoya, Japan Juha Lehrbäck (University of Jyväskylä) Hardy inequalities
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
More informationand BV loc R N ; R d)
Necessary and sufficient conditions for the chain rule in W 1,1 loc R N ; R d) and BV loc R N ; R d) Giovanni Leoni Massimiliano Morini July 25, 2005 Abstract In this paper we prove necessary and sufficient
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationA BOREL SOLUTION TO THE HORN-TARSKI PROBLEM. MSC 2000: 03E05, 03E20, 06A10 Keywords: Chain Conditions, Boolean Algebras.
A BOREL SOLUTION TO THE HORN-TARSKI PROBLEM STEVO TODORCEVIC Abstract. We describe a Borel poset satisfying the σ-finite chain condition but failing to satisfy the σ-bounded chain condition. MSC 2000:
More informationBoth these computations follow immediately (and trivially) from the definitions. Finally, observe that if f L (R n ) then we have that.
Lecture : One Parameter Maximal Functions and Covering Lemmas In this first lecture we start studying one of the basic and fundamental operators in harmonic analysis, the Hardy-Littlewood maximal function.
More informationarxiv: v2 [math.ca] 22 Mar 2018
ACCESSIBLE PARTS OF BOUNDARY FOR SIMPLY CONNECTED DOMAINS PEKKA KOSKELA, DEBANJAN NANDI, AND ARTUR NICOLAU arxiv:1709.06802v2 [math.ca] 22 Mar 2018 Abstract. For a bounded simply connected domain Ω R 2,
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More informationOn a compactness criteria for multidimensional Hardy type operator in p-convex Banach function spaces
Caspian Journal of Applied Mathematics, Economics and Ecology V. 1, No 1, 2013, July ISSN 1560-4055 On a compactness criteria for multidimensional Hardy type operator in p-convex Banach function spaces
More informationarxiv: v1 [math.ap] 12 Mar 2009
LIMITING FRACTIONAL AND LORENTZ SPACES ESTIMATES OF DIFFERENTIAL FORMS JEAN VAN SCHAFTINGEN arxiv:0903.282v [math.ap] 2 Mar 2009 Abstract. We obtain estimates in Besov, Lizorkin-Triebel and Lorentz spaces
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationIn this note we give a rather simple proof of the A 2 conjecture recently settled by T. Hytönen [7]. Theorem 1.1. For any w A 2,
A SIMPLE PROOF OF THE A 2 CONJECTURE ANDREI K. LERNER Abstract. We give a simple proof of the A 2 conecture proved recently by T. Hytönen. Our proof avoids completely the notion of the Haar shift operator,
More informationGlobal unbounded solutions of the Fujita equation in the intermediate range
Global unbounded solutions of the Fujita equation in the intermediate range Peter Poláčik School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA Eiji Yanagida Department of Mathematics,
More informationA PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS
A PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS EMANUELA RADICI Abstract. We prove that a planar piecewise linear homeomorphism ϕ defined on the boundary of the square can be extended
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More informationOn non negative solutions of some quasilinear elliptic inequalities
On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional
More informationA NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES
A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Abstract. A new proof is given of the atomic decomposition of Hardy spaces H p, 0 < p 1,
More informationA NOTE ON CORRELATION AND LOCAL DIMENSIONS
A NOTE ON CORRELATION AND LOCAL DIMENSIONS JIAOJIAO YANG, ANTTI KÄENMÄKI, AND MIN WU Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit
More informationCoupled second order singular perturbations for phase transitions
Coupled second order singular perturbations for phase transitions CMU 06/09/11 Ana Cristina Barroso, Margarida Baía, Milena Chermisi, JM Introduction Let Ω R d with Lipschitz boundary ( container ) and
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationINSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Note on the fast decay property of steady Navier-Stokes flows in the whole space
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Note on the fast decay property of stea Navier-Stokes flows in the whole space Tomoyuki Nakatsuka Preprint No. 15-017 PRAHA 017 Note on the fast
More informationRolle s Theorem for Polynomials of Degree Four in a Hilbert Space 1
Journal of Mathematical Analysis and Applications 265, 322 33 (2002) doi:0.006/jmaa.200.7708, available online at http://www.idealibrary.com on Rolle s Theorem for Polynomials of Degree Four in a Hilbert
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationA Generalized Sharp Whitney Theorem for Jets
A Generalized Sharp Whitney Theorem for Jets by Charles Fefferman Department of Mathematics Princeton University Fine Hall Washington Road Princeton, New Jersey 08544 Email: cf@math.princeton.edu Abstract.
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationPACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 489 500 PACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS Mika Leikas University of Jyväskylä, Department of Mathematics and
More informationVANISHING-CONCENTRATION-COMPACTNESS ALTERNATIVE FOR THE TRUDINGER-MOSER INEQUALITY IN R N
VAISHIG-COCETRATIO-COMPACTESS ALTERATIVE FOR THE TRUDIGER-MOSER IEQUALITY I R Abstract. Let 2, a > 0 0 < b. Our aim is to clarify the influence of the constraint S a,b = { u W 1, (R ) u a + u b = 1 } on
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationBesov-type spaces with variable smoothness and integrability
Besov-type spaces with variable smoothness and integrability Douadi Drihem M sila University, Department of Mathematics, Laboratory of Functional Analysis and Geometry of Spaces December 2015 M sila, Algeria
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationA NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY. 1. Introduction
A NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY ARMIN SCHIKORRA Abstract. We extend a Poincaré-type inequality for functions with large zero-sets by Jiang and Lin
More information